Results 261 to 270 of about 1,133,638 (315)

Model checking to assess T-helper cell plasticity. [PDF]

Front Bioeng Biotechnol, 2014
Abou-Jaoudé W, Monteiro PT, Naldi A, Grandclaudon M, Soumelis V, Chaouiya C, Thieffry D.   +6 more
europepmc   +1 more source

Efficient Algorithms for Model Checking Pushdown Systems

, 2000
Javier Esparza, D. Hansel, Peter Rossmanith, Stefan Schwoon   +3 more
openalex   +1 more source

Bioinspired Shape Reconfigurable, Printable, and Conductive “E‐Skin” Patch with Robust Antibacterial Properties for Human Health Sensing

Advanced Functional Materials, EarlyView.
In this article, Hojin Kim, Sayan Deb Dutta, and co‐workers report a shape‐reconfigurable, 3D printable, and highly adhesive slime‐like ‘electronic skin’ or ‘E‐skin’ patch for human health sensing and tissue engineering applications. The dual reinforcement of hydrogel patch with carbon nanotubes (CNTs) and cellulose nanocrystals (CNCs) improve the ...
Hojin Kim, Sayan Deb Dutta, Myoung Joon Jeon, Jieun Lee, Hyeonseo Park, Youjin Seol, Ki‐Taek Lim   +6 more
wiley   +1 more source

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

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

Model Checking Continuous-Time Markov Chains by Transient Analysis

, 2000
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen   +3 more
openalex   +1 more source

Achieving Chemical Recognition, Recycling, and Circularity With Radical Nanostructures

Advanced Functional Materials, EarlyView.
Here, innovative 3D radical nanostructures based on 4,4′‐dicyano‐2,2′‐biphenylene‐fused tetrazolinyl radical, fabricated on interdigitated gold‐SiO2 hybrid surfaces are presented. They retain their magnetic properties, their morphology and size can can tune, selectively remove them from specific substrate regions using distilled water, and return the ...
Arkaprava Das, Ewa Malgorzata Nowik‐Boltyk, Tobias Junghöfer, Elke Nadler, Farzan Gity, Paul K. Hurley, Zhimin Yang, Andrzej Rajca, Francesco Tavanti, Arrigo Calzolari, Maria Benedetta Casu   +10 more
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

Model-Checking of Correctness Conditions for Concurrent Objects

, 2000
Rajeev Alur, Ken McMillan, Doron Peled
openalex   +1 more source

Ultrahigh‐resolution (λ/10) Femtosecond Laser Writing of Polymer‐Encapsulated Multicolor Perovskite Patterns Beyond the Diffraction Limit

Advanced Functional Materials, EarlyView.
Fabrication of in situ polymer‐encapsulated stable perovskite patterns of arbitrary shapes and pixel arrays with a resolution of 80 nm is reported by the femtosecond (fs) laser (800 nm) super‐resolution writing technique. The two‐photon absorption‐induced laser ablation is attributed to the achieved feature sizes as small as λ/10.
Xuebing Wen, Weiluo Ouyang, Zekai Chen, Yuyang Pu, Yifan Feng, Xiao‐Fang Jiang, Lakshminarayana Polavarapu, Guofu Zhou, Xiaowen Hu   +8 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