25 papers · ranked by Valyu relevance
Xu Yang, Masahiro Kasahara
Background Delivering tools for genome analysis to users is often difficult given the complex dependencies and conflicts of such tools. Container virtualization systems (such as Singularity) isolate environments, thereby helping developers package tools. However, these systems lack mutual composability, i.e., an easy…
Benjamin Lion, Farhad Arbab, Carolyn Talcott
We propose a component-based semantic model for Cyber-Physical Systems (CPSs) wherein the notion of a component abstracts the internal details of both cyber and physical processes, to expose a uniform semantic model of their externally observable behaviors expressed as sets of sequences of observations. We introduce…
Benjamin Lion, Farhad Arbab, Carolyn Talcott
We propose a component-based semantic model for Cyber-Physical Systems (CPSs) wherein the notion of a component abstracts the internal details of both cyber and physical processes, to expose a uniform semantic model of their externally observable behaviors expressed as sets of sequences of observations. We introduce…
Alexander Mazein, Adrien Rougny, Jonathan R. Karr, Julio Saez Rodriguez + 2 more
Detailed maps of the molecular basis of the disease are powerful tools for interpreting data and building predictive models. Modularity and composability are considered necessary network features for large-scale collaborative efforts to build comprehensive molecular descriptions of disease mechanisms. An effective way…
Alexander Mazein, Adrien Rougny, Jonathan R Karr, Julio Saez-Rodriguez + 2 more
'Julio Saez-Rodriguez' 'Marek Ostaszewski' 'Reinhard Schneider'] Title: Abstract Detailed maps of the molecular basis of the disease are powerful tools for interpreting data and building predictive models. Modularity and composability are considered necessary network features for large-scale collaborative efforts to…
Xu Yang, Masahiro Kasahara
Delivering tools for genome analysis to users is often difficult given their complex dependencies and conflicts. Container virtualization systems such as Singularity isolate environments, helping developers avoid conflicts between tools. However, they lack composability, an easy way to integrate multiple tools in…
Dipankar Sarkar
In the rapidly evolving domain of distributed ledger technology, scalability and interoperability have become paramount challenges for both academic and industry sectors. In this paper, we introduce a comprehensive formal model to address atomic composability across multiple rollups on Ethereum. The proposed model…
Rachel Zhang
A permutation class C is said to be splittable if there exist two proper subclasses A, B ( C such that any σ ∈ C can be red-blue colored so that the red (respectively, blue) subsequence of σ is order isomorphic to an element of A (respectively, B). The class C is said to be composable if there exists some number of…
Rafael Dowsley, Jörn Müller-Quade, Anderson C. A. Nascimento
We show that random oblivious transfer protocols that are statistically secure according to a definition based on a list of information-theoretical properties are also statistically universally composable. That is, they are simulatable secure with an unlimited adversary, an unlimited simulator, and an unlimited…
Massimo Bartoletti, Riccardo Marchesin, Roberto Zunino
Complex DeFi services are usually constructed by composing a variety of simpler smart contracts. The permissionless nature of the blockchains where these smart contracts are executed makes DeFi services exposed to security risks, since adversaries can target any of the underlying contracts to economically damage the…
Mariusz P. Da̧browski, Stephen Hsu, Xavier Calmet, Roberto Casadio
We present a comparative analysis of the plethora of nonextensive and/or nonadditive entropies which go beyond the standard Boltzmann-Gibbs formulation. After defining the basic notions of additivity, extensivity, and composability, we discuss the properties of these entropies and their mutual relations, if they exist.…
Samuel Haynes, Jamie Auxillos, Weronika Danecka, Abhishek Jain + 2 more
Genes are commonly abstracted into a coding sequence and cis-regulatory elements (CREs), such as promoters and terminators, and short sequence motifs within these regions. Modern cloning techniques allow easy assembly of synthetic genetic constructs from discrete cis-regulatory modules. However, it is unclear how much…
Eric Schulz, Joshua B. Tenenbaum, David Duvenaud, Maarten Speekenbrink + 1 more
How do people recognize and learn about complex functional structure? Taking inspiration from other areas of cognitive science, we propose that this is achieved by harnessing compositionality: complex structure is decomposed into simpler building blocks. We formalize this idea within the framework of Bayesian…
Arafat Abdulgader Mohammed Elhag, Radziah Mohamad, Muhammad Waqar Aziz, Furkh Zeshan + 1 more
'Muhammad Waqar Aziz' 'Furkh Zeshan' 'Cheng-Yi Xia'] The composite service design modeling is an essential process of the service-oriented software development life cycle, where the candidate services, composite services, operations and their dependencies are required to be identified and specified before their design.…
Efim Grinkrug
This paper presents an approach to dynamic component composition that facilitates creating new composed components using existing ones at runtime and without any code generation. The dynamic abilities are supported by extended type notion and implementation based on additional superstructure provided with its Java API…
Authors not listed
Self-driving laboratories (SDLs) promise accelerated scientific discovery and product development by closing the loop between robotic execution and AI/ML-driven decision making. In practice, however, SDL orchestration remains fragmented; workflows are typically encoded as laboratory-specific scripts or bespoke…
Vanessa Cedeno-Mieles, Zhihao Hu, Yihui Ren, Xinwei Deng + 13 more
'Noshir Contractor' 'Saliya Ekanayake' 'Joshua M. Epstein' 'Brian J. Goode' 'Gizem Korkmaz' 'Chris J. Kuhlman' 'Dustin Machi' 'Michael Macy' 'Madhav V. Marathe' 'Naren Ramakrishnan' 'Parang Saraf' 'Nathan Self' 'Ning Cai'] There is large interest in networked social science experiments for understanding human behavior…
Authors not listed
Curried functions provide a systematic way of transforming multi-argument functions into nested singleargument functions. This transformation allows partial application and supports many central principles of functional programming. Their extension, called curried 𝑘-ary functions, naturally generalizes the familiar…
Megan Stanley, Marwin Segler
Computational techniques, including virtual screening, de novo design, and generative models, play an increasing role in expediting DMTA cycles for modern molecular discovery. However, computationally proposed molecules must be synthetically feasible for laboratory testing. In this perspective, we offer a succinct…
Eric Smith, Harrison B. Smith, Jakob Lykke Andersen
We consider problems in the functional analysis and evolution of combinatorial chemical reaction networks as rule-based, or three-level systems. The first level consists of rules, realized here as graph-grammar representations of reaction mechanisms. The second level consists of stoichiometric networks of molecules and…
Authors not listed
Synthetic accessibility is a key issue in the current compound generation. Unlike conventional approaches that assess synthetic accessibility after compound generation, the fragment-based method proposed in this study links the fragments in the reverse direction of the retrosynthesis analysis guaranteeing the synthetic…
Ruben Sanchez-Garcia, Dávid Havasi, Gergely Takács, Matthew C. Robinson + 3 more
Compound availability is a critical property for design prioritization across the drug discovery pipeline. Historically, and despite their multiple limitations, compound-oriented synthetic accessibility scores have been used as proxies for this problem. However, the size of the catalogues of commercially available…
Ruben Sanchez-Garcia, Dávid Havasi, Gergely Takács, Matthew C. Robinson + 3 more
Compound availability is a critical property for design prioritization across the drug discovery pipeline. Historically, and despite their multiple limitations, compound-oriented synthetic accessibility scores have been used as proxies for this problem. However, the size of the catalogues of commercially available…
Ruben Sanchez-Garcia, Dávid Havasi, Gergely Takács, Matthew C. Robinson + 3 more
Compound availability is a critical property for design prioritization across the drug discovery pipeline. Historically, and despite their multiple limitations, compound-oriented synthetic accessibility scores have been used as proxies for this problem. However, the size of the catalogues of commercially available…
Ruben Sanchez-Garcia, Dávid Havasi, Gergely Takács, Matthew C. Robinson + 3 more
Compound availability is a critical property for design prioritization across the drug discovery pipeline. Historically, and despite their multiple limitations, compound-oriented synthetic accessibility scores have been used as proxies for this problem. However, the size of the catalogues of commercially available…