Results 271 to 280 of about 23,407,383 (367)

Approximating Attractors of Boolean Networks by Iterative CTL Model Checking. [PDF]

Front Bioeng Biotechnol, 2015
Klarner H, Siebert H.
europepmc   +1 more source

Logical Quality Check of Landscape BIM Models Using Visual Programming Languages† - Case Study on Calculating the Amount of Stormwater Management Facilities in Apartment Complexes -

Bok-Young Kim
openalex   +2 more sources

Understanding Decoherence of the Boron Vacancy Center in Hexagonal Boron Nitride

Advanced Functional Materials, EarlyView.
State‐of‐the‐art computations unravel the intricate decoherence dynamics of the boron vacancy center in hexagonal boron nitride across magnetic fields from 0 to 3 T. Five distinct regimes emerge, dominated by nuclear spin interactions, revealing optimal coherence times of 1–20 µs in the 180–350 mT range for isotopically pure samples.
András Tárkányi, Viktor Ivády
wiley   +1 more source

Automated parameter estimation for biological models using Bayesian statistical model checking. [PDF]

BMC Bioinformatics, 2015
Hussain F, Langmead CJ, Mi Q, Dutta-Moscato J, Vodovotz Y, Jha SK.   +5 more
europepmc   +1 more source

Reduction of test set generation using model-checking

, 2012
Hongwei Zeng
openalex   +1 more source

Clean‐Limit 2D Superconductivity in a Thick Exfoliated Kagome Film

Advanced Functional Materials, EarlyView.
This study reports clean‐limit 2D superconductivity in a thick kagome system, analogous to the 3D case. It observes a drop in superfluid stiffness near the superconducting transition and a cusp‐like feature in the angular dependence of the upper critical field.
Fei Sun, Andrea Capa Salinas, Stephen D. Wilson, Haijing Zhang   +3 more
wiley   +1 more source

A formal algorithm for verifying the validity of clustering results based on model checking. [PDF]

PLoS One, 2014
Huang S, Cheng Y, Lang D, Chi R, Liu G.
europepmc   +1 more source

A Bespoke Programmable Interpenetrating Elastomer Network Composite Laryngeal Stent for Expedited Paediatric Laryngotracheal Reconstruction

Advanced Functional Materials, EarlyView.
A programmable interpenetrating double‐network architecture, created via 3D‐TIPS printing and resin infusion, synergistically combines thermoplastic and thermosetting elastomers to balance structural rigidity and surface softness—crucial for paediatric laryngeal stents.
Elizabeth F. Maughan, Lei Wu, Dong Zhang, Linxiao Wu, Graca Ferreira Vaz Pinto Mendes, Wanqiao J. Tu, Heping Ma, Toby J. Proctor, Colin R. Butler, Thomas Kjærgaard, Mark W. Lowdell, Martin A. Birchall, Robert E. Hynds, Richard Hewitt, Wenhui Song   +14 more
wiley   +1 more source

Functional Materials for Environmental Energy Harvesting in Smart Agriculture via Triboelectric Nanogenerators

Advanced Functional Materials, EarlyView.
This review explores functional and responsive materials for triboelectric nanogenerators (TENGs) in sustainable smart agriculture. It examines how particulate contamination and dirt affect charge transfer and efficiency. Environmental challenges and strategies to enhance durability and responsiveness are outlined, including active functional layers ...
Rafael R. A. Silva, Giulio Fatti, Emanuel Carlos, Guilherme Ferreira, Sumita Goswami, Suman Nandy, Luiz H. C. Mattoso, Elvira Fortunato, Caio G. Otoni, Rodrigo Martins   +9 more
wiley   +1 more source