Results 181 to 190 of about 21,783,491 (356)

Formal modeling of a causal consistent distributed system and verification of its history <i>via</i> model checking using colored Petri net. [PDF]

PeerJ Comput Sci
Alsaegg KAM, Pashazadeh S, Zolfy Lighvan M.   +2 more
europepmc   +1 more source

Temporal Logic Model Checking [PDF]

, 1997

openalex   +1 more source

Highly Stable Low‐Temperature Phosphate Glass as a Platform for Multimaterial 3D Printing of Integrated Functional Microfluidic Devices

Advanced Engineering Materials, EarlyView.
A highly stable, low‐temperature phosphate glass is developed for multimaterial additive manufacturing of multifunctional microfluidics. Glass, metal conductors, and sacrificial polymer are coprinted, enabling monolithic fabrication. The sacrificial paste forms precise channels and decomposes during sintering.
Babak Mazinani, Mustafa M. Fadlelmula, Vivek Subramanian   +2 more
wiley   +1 more source

Integration in PVS: Tables, types, and model checking

, 1997
Sam Owre, John Rushby, Natarajan Shankar
openalex   +1 more source

3D Bioprinting of Thick Adipose Tissues with Integrated Vascular Hierarchies

Advanced Functional Materials, Volume 35, Issue 12, March 18, 2025.
An advanced 3D bioprinting technique is used here to create thick adipose tissues with a central, vessel and extensive branching. The construct is made using alginate, gelatin and collagen‐based bioinks. Flow through the complex vessel network is demonstrated as well as its successful integration with a femoral artery following implantation in a rat ...
Idit Goldfracht, Majd Machour, Inbal Michael, Maria Bulatova, Janette Zavin, Shulamit Levenberg   +5 more
wiley   +1 more source

An approach leveraging radiomics and model checking for the automatic early diagnosis of adhesive capsulitis. [PDF]

Sci Rep
Varriano G, Nardone V, Brunese MC, Bruno M, Santone A, Brunese L, Zappia M.   +6 more
europepmc   +1 more source

An automata-theoretic approach to modular model checking [PDF]

, 2000
Orna Kupferman, Moshe Y. Vardi
openalex   +1 more source

Exploring Dipolar Dynamics and Ionic Transport in Metal‐Organic Frameworks: Experimental and Theoretical Insights

Advanced Functional Materials, EarlyView.
In this study, the interplay of dipolar dynamics and ionic charge transport in MOF compounds is investigated. Synthesizing the novel structure CFA‐25 with integrated freely rotating dipolar groups, local and macroscopic effects, including interactions with Cs cations are explored.
Ralph Freund, Arthur Schulz, Peter Lunkenheimer, Maryana Kraft, Thomas Bergler, Harald Oberhofer, Dirk Volkmer   +6 more
wiley   +1 more source

Model Checking for Logistic Models with Study of Telehealth During the COVID-19 Pandemic Among PWH in DC. [PDF]

Stat Biosci
Yang Z, Liang H, Liu H, Barth S, Byrne M, Andersen E, Bhandaru V, Castel A.   +7 more
europepmc   +1 more source

An automata-theoretic approach to branching-time model checking [PDF]

, 2000
Orna Kupferman, Moshe Y. Vardi, Pierre Wolper   +2 more
openalex   +1 more source