Results 51 to 60 of about 103,221 (295)

Analysis of Timed and Long-Run Objectives for Markov Automata [PDF]

Logical Methods in Computer Science, 2014
Markov automata (MAs) extend labelled transition systems with random delays and probabilistic branching. Action-labelled transitions are instantaneous and yield a distribution over states, whereas timed transitions impose a random delay governed by an ...
Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer   +4 more
doaj   +1 more source

Condition Monitoring of Slow-speed Gear Wear using a Transmission Error-based Approach with Automated Feature Selection

International Journal of Prognostics and Health Management, 2021
Gear flank changes caused by wear do not only affect the dynamic behavior of gear systems, but they can also compromise the load-carrying capacity of gear teeth up to critical failure.
Stefan Sendlbeck, Alexander Fimpel, Benedikt Siewerin, Michael Otto, Karsten Stahl   +4 more
doaj   +1 more source

Unleashing the Power of Machine Learning in Nanomedicine Formulation Development

Advanced Functional Materials, EarlyView.
A random forest machine learning model is able to make predictions on nanoparticle attributes of different nanomedicines (i.e. lipid nanoparticles, liposomes, or PLGA nanoparticles) based on microfluidic formulation parameters. Machine learning models are based on a database of nanoparticle formulations, and models are able to generate unique solutions
Thomas L. Moore, Cristiano Pesce, Antonietta Greco, Claudia Pisante, Greta Avancini, Valentina Di Francesco, Yosi Shamay, Paolo Decuzzi   +7 more
wiley   +1 more source

Fast and Compact Distributed Verification and Self-Stabilization of a DFS Tree [PDF]

, 2014
We present algorithms for distributed verification and silent-stabilization of a DFS(Depth First Search) spanning tree of a connected network. Computing and maintaining such a DFS tree is an important task, e.g., for constructing efficient routing ...
A. Cournier, A. Korman, A. Korman, A. Korman, A.K. Datta, B. Awerbuch, B. Awerbuch, C. Johnen, E.W. Dijkstra, F. Petit, F. Petit, F. Petit, F. Petit, G. Varghese, I. Chlamtac, I. Cidon, S. Dolev, S. Dolev, S. Dolev, S. Even, S. Katz, S.-T. Huang, Z. Collin   +22 more
core   +1 more source

Predicting Atomic Charges in MOFs by Topological Charge Equilibration

Advanced Functional Materials, EarlyView.
An atomic charge prediction method is presented that is able to accurately reproduce ab‐initio‐derived reference charges for a large number of metal–organic frameworks. Based on a topological charge equilibration scheme, static charges that fulfill overall neutrality are quickly generated.
Babak Farhadi Jahromi, Sumukh Shankar Sharadaprasad, Rochus Schmid   +2 more
wiley   +1 more source

Modelling and Resolution of Dynamic Reliability Problems by the Coupling of Simulink and the Stochastic Hybrid Fault Tree Object Oriented (SHyFTOO) Library

Information, 2019
Dependability assessment is one of the most important activities for the analysis of complex systems. Classical analysis techniques of safety, risk, and dependability, like Fault Tree Analysis or Reliability Block Diagrams, are easy to implement, but ...
Ferdinando Chiacchio, Jose Ignacio Aizpurua, Lucio Compagno, Soheyl Moheb Khodayee, Diego D’Urso   +4 more
doaj   +1 more source

Rich Interfaces for Dependability: Compositional Methods for Dynamic Fault Trees and Arcade models [PDF]

, 2008
This paper discusses two behavioural interfaces for reliability analysis: dynamic fault trees, which model the system reliability in terms of the reliability of its components and Arcade, which models the system reliability at an architectural level. For
Boudali, Hichem, Crouzen, Pepijn, Haverkort, Boudewijn R., Kuntz, Matthias, Stoelinga, Mariëlle   +4 more
core   +2 more sources

Fault isolation procedure analysis method based on dynamic fault tree

Hangkong gongcheng jinzhan, 2023
The traditional fault isolation program uses the conventional static fault tree for fault analysis,which may lead to incomplete fault cause analysis,too cumbersome fault isolation path and other problems. A method of fault isolation program analysis based on system principle and dynamic fault tree is proposed. Taking the fault of the bleed air overheat
KE Qianyun, TU Zhiqi, LIU Yaqi
openaire   +1 more source

Computational Modeling Meets 3D Bioprinting: Emerging Synergies in Cardiovascular Disease Modeling

Advanced Healthcare Materials, EarlyView.
Emerging advances in three‐dimensional bioprinting and computational modeling are reshaping cardiovascular (CV) research by enabling more realistic, patient‐specific tissue platforms. This review surveys cutting‐edge approaches that merge biomimetic CV constructs with computational simulations to overcome the limitations of traditional models, improve ...
Tanmay Mukherjee, Mehdi Salar Amoli, Sarah Rezapourdamanab, Lama Rita El Shammas, Martin L. Tomov, Emilio A. Mendiola, Vahid Serpooshan, Reza Avazmohammadi   +7 more
wiley   +1 more source

Towards an Accurate Probabilistic Modeling and Statistical Analysis of Temporal Faults via Temporal Dynamic Fault-Trees (TDFTs)

IEEE Access, 2019
Fault tree (FT) is a standardized notation for representing relationships between a system's reliability and the faults and/or the events associated with it.
Marwan Ammar, Ghaith Bany Hamad, Otmane Ait Mohamed, Yvon Savaria   +3 more
doaj   +1 more source