Results 1 to 10 of about 4,082,982 (293)
Micro-Macro Analysis of Complex Networks [PDF]
PLoS ONE, 2015 Complex systems have attracted considerable interest because of their wide range of applications, and are often studied via a \u201cclassic\u201d approach: study a specific system, find a complex network behind it, and analyze the corresponding ...
Marchiori, Massimo, Possamai, Lino
core +4 more sources
Weaving System-Level Properties with Architectural Decomposition for Mechatronic Co-Design
2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), 2023 Abstract: As mechatronic systems become more complex, their design requires different engineering teams, each specialized in their own domain, to cooperate. This is often accomplished through a co-design process, which aims to parallelize the engineering work and therefore improve the time-efficiency and cost of system development.
Milan Cornelis +3 more
openaire +2 more sources
Metabolic Compartmentation – A System Level Property of Muscle Cells [PDF]
International Journal of Molecular Sciences, 2008 Problems of quantitative investigation of intracellular diffusion and compartmentation of metabolites are analyzed. Principal controversies in recently published analyses of these problems for the living cells are discussed. It is shown that the formal theoretical analysis of diffusion of metabolites based on Fick’s equation and using fixed diffusion ...
Saks, Valdur +2 more
openaire +6 more sources
Correlating the nanostructure of Al-oxide with deposition conditions and dielectric contributions of two-level systems in perspective of superconducting quantum circuits [PDF]
, 2017 This work is concerned with Al/Al-oxide(AlO$_{x}$)/Al-layer systems which are important for Josephson-junction-based superconducting devices such as quantum bits.
Fritz, S. +6 more
core +3 more sources
Characterization and Prediction of Haploinsufficiency Using Systems-Level Gene Properties in Yeast [PDF]
G3 Genes|Genomes|Genetics, 2013 AbstractVariation in gene copy number can significantly affect organism fitness. When one allele is missing in a diploid, the phenotype can be compromised because of haploinsufficiency. In this work, we identified associations between Saccharomyces cerevisiae gene properties and genome-scale haploinsufficiency phenotypes from previous work. We compared
Norris, Matthew +2 more
openaire +3 more sources
On the verification of system-level information flow properties for virtualized execution platforms [PDF]
Journal of Cryptographic Engineering, 2019 The security of embedded systems can be dramatically improved through the use of formally verified isolation mechanisms such as separation kernels, hypervisors, or microkernels. For trustworthiness, particularly for system-level behavior, the verifications need precise models of the underlying hardware.
Christoph Baumann +2 more
openaire +2 more sources
Proving transaction and system-level properties of untimed SystemC TLM designs [PDF]
Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010 Electronic System Level (ESL) design manages the enormous complexity of todays systems by using abstract models. In this context Transaction Level Modeling (TLM) is state-of-the-art for describing complex communication without all the details. As ESL language, SystemC has become the de facto standard.
Daniel Große +2 more
openaire +1 more source
Remote operations and interactions for systems of arbitrary dimensional Hilbert space: a state-operator approach [PDF]
, 2001 We present a systematic simple method for constructing deterministic remote operations on single and multiple systems of arbitrary discrete dimensionality. These operations include remote rotations, remote interactions and measurements.
Benni Reznik +9 more
core +2 more sources
Feedback-Based, System-Level Properties of Vertebrate-Microbial Interactions
PLoS ONE, 2013 Improved characterization of infectious disease dynamics is required. To that end, three-dimensional (3D) data analysis of feedback-like processes may be considered.To detect infectious disease data patterns, a systems biology (SB) and evolutionary biology (EB) approach was evaluated, which utilizes leukocyte data structures designed to diminish data ...
A. L. Rivas +20 more
openaire +6 more sources
, 2008 Problems of quantitative investigation of intracellular diffusion and compartmentation of metabolites are analyzed. Principal controversies in recently published analyses of these problems for the living cells are discussed. It is shown that the formal theoretical analysis of diffusion of metabolites based on Fick’s equation and using fixed diffusion ...
Saks, Valdur +2 more
openaire +2 more sources