21 papers · ranked by Valyu relevance
Pritam Choudhury
Dependency analysis is vital to several applications in computer science. It lies at the essence of secure information flow analysis, binding-time analysis, etc. Various calculi have been proposed in the literature for analysing individual dependencies. Abadi et. al., by extending Moggi's monadic metalanguage, unified…
V. Repinskiy, V. Kovalenko
—Dependency analysis is recognised as an important field of software engineering due to a variety of reasons. There exists a large pool of tools providing assistance to software developers and architects. Analysis of inter- and intra-project dependencies can help provide various insights about the entire development…
Zuguang Gu, Daniel Hübschmann
Numerous R packages have been developed for bioinformatics analysis in the last decade and dependencies among packages have become critical issues to consider. In this work, we proposed a new metric named dependency heaviness that measures the number of unique dependencies that a parent brings to a package, and we…
Yael Jacob, Yonatan Winetraub, Gal Raz, Eti Ben-Simon + 4 more
'Hadas Okon-Singer' 'Keren Rosenberg-Katz' 'Talma Hendler' 'Eshel Ben-Jacob'] Communication between and within brain regions is essential for information processing within functional networks. The current methods to determine the influence of one region on another are either based on temporal resolution, or require a…
Lukas Linsbauer, Roberto Erick Lopez-Herrejon, Alexander Egyed
Fast-changing hardware and software technologies in addition to larger and more specialized customer bases demand software tailored to meet very diverse requirements. Software development approaches that aim at capturing this diversity on a single consolidated platform often require large upfront investments, e.g.…
Seongmin Lee, David Binkley, Robert Feldt, Nicolas Gold + 1 more
We introduce Causal Program Dependence Analysis (CPDA), a dynamic dependence analysis that applies causal inference to model the strength of program dependence relations in a continuous space. CPDA observes the association between program elements by constructing and executing modified versions of a program. One…
Ivan Pashchenko, Henrik Plate, Serena Elisa Ponta, Antonino Sabetta + 1 more
'Fabio Massacci'] Aims: In this paper we aim to present a precise methodology, that combines the code-based analysis of patches with information on build, test, update dates, and group extracted from the very code repository, and therefore, caters to the needs of industrial practice for correct allocation of…
Victor Prokhorenko, Chadni Islam, Muhammad Ali Babar
An Operating System (OS) combines multiple interdependent software packages, which usually have their own independently developed architectures. When a multitude of independent packages are placed together in an OS, an implicit inter-package architecture is formed. For an evolutionary effort, designers/developers of OS…
Gökmen Altay, Zeyneb Kurt, Nejla Altay, Nizamettin Aydin
Gene network inference algorithms (GNI) are popular in bioinformatics area. In almost all GNI algorithms, the main process is to estimate the dependency (association) scores among the genes of the dataset. We present a bioinformatics tool, DepEst (Dependency Estimators), which is a powerful and flexible R package that…
J. Andrés Díaz‐Pace, Antonela Tommasel, Daniela Godoy
DRAFTSoftware systems naturally evolve, and this evolution often brings design problems that cause system degradation. Architectural smells are typical symptoms of such problems, and several of these smells are related to undesired dependencies among modules. The early detection of these smells is important for…
Rongcun Wang, Rubing Huang, Binbin Qu
The object-oriented software systems frequently evolve to meet new change requirements. Understanding the characteristics of changes aids testers and system designers to improve the quality of softwares. Identifying important modules becomes a key issue in the process of evolution. In this context, a novel…
Nasif Imtiaz, Seaver Thorn, Laurie Williams
Background: Modern software uses many third-party libraries and frameworks as dependencies. Known vulnerabilities in these dependencies are a potential security risk. Software composition analysis (SCA) tools, therefore, are being increasingly adopted by practitioners to keep track of vulnerable dependencies. Aim: The…
Takashi Morita, Hiroki Koda, Kazuo Okanoya, Ryosuke O. Tachibana + 1 more
'Frédéric E. Theunissen'] Context dependency is a key feature in sequential structures of human language, which requires reference between words far apart in the produced sequence. Assessing how long the past context has an effect on the current status provides crucial information to understand the mechanism for…
Florian Griessenberger, Wolfgang Trutschnig, Robert R. Junker
Correlations belong to the standard repertoire of ecologists for quantifying the strength of dependence between two random variables. Classical dependence measures are usually not capable of detecting non-monotonic or non-functional dependencies. Furthermore, they completely fail to detect asymmetry and direction in…
Shuvendu K. Lahiri, Chao Wang, Sriram Sankaranarayanan
In this paper, we study efficient approaches to reachability analysis for discrete-time nonlinear dynamical systems when the dependencies among the variables of the system have low treewidth. Reachability analysis over nonlinear dynamical systems asks if a given set of target states can be reached, starting from an…
Tomáš Peitl, Friedrich Slivovsky, Stefan Szeider
Resolution proof systems for quantified Boolean formulas (QBFs) provide a formal model for studying the limitations of state-of-the-art search-based QBF solvers that use these systems to generate proofs. We study a combination of two proof systems supported by the solver DepQBF: Q-resolution with generalized universal…
Jordi Poater, Diego M. Andrada, Miquel Sola, Cina Foroutan-Nejad
Here, we provide evidence of the path-dependency of the energy components of the energy decomposition analysis scheme, EDA, by studying a set of thirty-one closed-shell model systems with D2h symmetry point group. For each system, we computed EDA components from nine different pathways and numerically showed that the…
Manvel Gasparyan, Satya Tamby, G.V. HarshaRani, Upinder S. Bhalla + 1 more
Biochemical networks are models of biological functions and processes in biomedicine. Hierarchical decomposition simplifies complex biochemical networks by partitioning them into smaller blocks (modules), facilitating computationally intensive analyses and providing deeper insights into cellular processes and…
Manvel Gasparyan, Satya Tamby, G.V. HarshaRani, Upinder S. Bhalla + 1 more
Biochemical networks are models of biological functions and processes in biomedicine. Hierarchical decomposition simplifies complex biochemical networks by partitioning them into smaller blocks (modules), facilitating computationally intensive analyses and providing deeper insights into cellular processes and…
Brandon Walker, Nathan Miller, Brett Yang, Dhatri V. L. Penna + 15 more
Rapid generation and evaluation of diverse synthesis pathways play a critical role in exploring a broader chemical space and identifying potent drug candidates. Drug discovery often relies on laborintensive manual processes for retro synthetic route finding, resulting in challenges related to scalability and…
Authors not listed
Identifying synthesis routes from knowledge graphs poses challenges beyond retrosynthesis, including path–finding artifacts and data issues. We introduce “SynGPS”, a novel algorithm that overcomes these limitations by identifying viable routes even with common artifacts. SynGPS can resolve nonsensical cycles…