Results 51 to 60 of about 60,348 (227)
A case study in model-driven synthetic biology [PDF]
, 2008 We report on a case study in synthetic biology, demonstrating the modeldriven design of a self-powering electrochemical biosensor. An essential result of the design process is a general template of a biosensor, which can be instantiated to be adapted ...
B.M. Willardson +6 more
core +2 more sources
Modelling, reduction and analysis of Markov automata (extended version) [PDF]
, 2013 Markov automata (MA) constitute an expressive continuous-time compositional modelling formalism. They appear as semantic backbones for engineering frameworks including dynamic fault trees, Generalised Stochastic Petri Nets, and AADL.
Guck, Dennis +4 more
core +2 more sources
Advanced Materials, EarlyView.The artesunate nanoplatform selectively targets ECM CAF, functioning as a GTPase inhibitor through disruption of intracellular serine homeostasis. This metabolic intervention effectively suppresses MAPK cascade activity, which consequently inhibits PTT‐induced CAF to ECM CAF differentiation.
Dongdong Zheng +19 more
wiley +1 more source
Structural characterization of decomposition in rate-insensitive stochastic Petri nets [PDF]
, 2012 This paper focuses on stochastic Petri nets that have an equilibrium distribution that is a product form over the number of tokens at the places. We formulate a decomposition result for the class of nets that have a product form solution irrespective of ...
Boucherie, Richard J. +3 more
core +10 more sources
Advanced Optical Materials, Volume 13, Issue 8, March 13, 2025.Correlative super‐resolution optical imaging of the ultrastructure of rat liver sinusoidal endothelial cells (LSECs) across a large field of view (FOV) with 3D structured illumination microscopy (3D‐SIM) and single‐molecule localization microscopy (SMLM), facilitated by a transparent polymer photonic waveguide chip, is presented.
Surjendu Bikash Dutta +9 more
wiley +1 more source
Applied Sciences, 2019 Maintainability is a critical design characteristic of products. Maintainability evaluation plays an important role in maintainability design. Existing maintainability evaluation approaches neglect logistic effects on system maintainability.
Zhong Lu, Jie Liu, Li Dong, Xihui Liang
doaj +1 more source
Petri nets for systems and synthetic biology [PDF]
, 2008 We give a description of a Petri net-based framework for modelling and analysing biochemical pathways, which uni¯es the qualita- tive, stochastic and continuous paradigms.
Donaldson, R, Gilbert, D, Heiner, M
core +1 more source
Quantitative evaluation of Pandora Temporal Fault Trees via Petri Nets [PDF]
, 2015 © 2015, IFAC (International Federation of Automatic Control) Hosting by Elsevier Ltd. All rights reserved. Using classical combinatorial fault trees, analysts are able to assess the effects of combinations of failures on system behaviour but are unable ...
Kabir, Sohag +2 more
core +1 more source
Advanced Science, EarlyView.Based on a well‐established in vitro directed differentiation model and an integrated analysis of high‐density cell lineage trees (CLTs) and single‐cell transcriptomes, it is demonstrated that many subclones are formed by sub‐CLTs resembling each other in terms of both cell type compositions and topological structures.
Xiaoyu Zhang +14 more
wiley +1 more source
PERFORMANCE MODELING OF E-PROCUREMENT WORKFLOW USING GENERALISED STOCHASTIC PETRI NET (GSPN)
Journal of ICT, 2022 This paper proposes a Generalised Stochastic Petri net (GSPN) model representing a generic e-procurement workflow process. The model displays the dynamic behaviour of the system and shows the inter relationship of process activities.
Rahela Rahim +2 more
doaj