Related papers: Quality control by a mobile molecular workshop: qu…
Nowadays, systems containing components based on machine learning (ML) methods are becoming more widespread. In order to ensure the intended behavior of a software system, there are standards that define necessary quality aspects of the…
Quality control (QC) in medical image analysis is time-consuming and laborious, leading to increased interest in automated methods. However, what is deemed suitable quality for algorithmic processing may be different from human-perceived…
We examine the dynamics of the translation stage of cellular protein production, in which ribosomes move uni-directionally along mRNA strands building an amino acid chain as they go. We describe the system using a timed event graph - a…
Translation is a crucial step in gene expression. During translation, macromolecules called ribosomes "read" the mRNA strand in a sequential manner and produce a corresponding protein. Translation is known to consume most of the cell's…
Molecular machines are stochastic systems that catalyze the energetic processes keeping living cells alive and structured. Inspired by the examples of F1-ATP synthase and the bacterial flagellum, we present a minimal model of an externally…
Protein synthesis is one of the most fundamental biological processes, which consumes a significant amount of cellular resources. Despite existence of multiple mathematical models of translation, varying in the level of mechanistical…
Proteins are miniature machines whose function depends on their three-dimensional (3D) structure. Determining this structure computationally remains an unsolved grand challenge. A major bottleneck involves selecting the most accurate…
Multi-fidelity Bayesian Optimization (MFBO) is a promising framework to speed up materials and molecular discovery as sources of information of different accuracies are at hand at increasing cost. Despite its potential use in chemical…
The two-sided Bogoliubov inequality for classical and quantum many-body systems is a theorem that provides rigorous bounds on the free-energy cost of partitioning a given system into two or more independent subsystems. This theorem…
Quantum tomography is the main method used to assess the quality of quantum information processing devices, but its complexity presents a major obstacle for the characterization of even moderately large systems. The number of experimental…
Software engineering and information systems practices seek ultimately to create the flawless product. One of the tools used to improve the quality of software development is the use of metrics. In this paper, metrics retrieved from open…
The full understanding of cellular functions requires information about protein numbers for various biomolecular assemblies and their dynamics, which can be partly accessed by super-resolution fluorescence microscopy. Yet, many protein…
In $\textit{Escherichia coli}$ bacterium, the molecular compounds involved in protein synthesis, messenger RNAs (mRNAs) and ribosomes, show marked intracellular localization patterns. Yet a quantitative understanding of the physical…
The production processes of proteins in prokaryotic cells are investigated. Most of the mathematical models in the literature study the production of {\em one} fixed type of proteins. When several classes of proteins are considered, an…
Living cells use readout molecules to record the state of receptor proteins, similar to measurements or copies in typical computational devices. But is this analogy rigorous? Can cells be optimally efficient, and if not, why? We show that,…
We introduce a stochastic model describing aggregation of misfolded proteins and degradation by the protein quality control system in a single cell. In analogy with existing literature, aggregates can grow, nucleate and fragment…
Software product quality can be defined as the features and characteristics of the product that meet the user needs. The quality of any software can be achieved by following a well defined software process. These software process results…
The ribosome flow model (RFM) is a phenomenological model for the flow of particles along a 1D chain of $n$ sites. It has been extensively used to study ribosome flow along the mRNA molecule during translation. When the transition rates…
A measure of quality of a control system is a quantitative extension of the classical binary notion of controllability. In this article we study the quality of linear control systems from a frame-theoretic perspective. We demonstrate that…
Crowdsourcing enables one to leverage on the intelligence and wisdom of potentially large groups of individuals toward solving problems. Common problems approached with crowdsourcing are labeling images, translating or transcribing text,…