Results 241 to 250 of about 23,407,383 (367)

Parameterized model checking of rendezvous systems. [PDF]

Distrib Comput, 2018
Aminof B, Kotek T, Rubin S, Spegni F, Veith H.   +4 more
europepmc   +1 more source

Gas Exchange Process of Four-Stroke Spark Ignition Engines under the Condition of Partial load at Medium or Low Speed : 4th Report, Checking of Volume Model by Calculation

, 1979
Hidenori Tasaka, Shin Matsuoka
openalex   +2 more sources

Model checking programs

Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering, 2000
W. Visser, K. Havelund, G. Brat, Seungjoon Park, Flavio Lerda   +4 more
semanticscholar   +1 more source

Cu‐Based MOF/TiO2 Composite Nanomaterials for Photocatalytic Hydrogen Generation and the Role of Copper

Advanced Functional Materials, EarlyView.
HKUST‐1/TiO2 composite materials show a very high photocatalytic hydrogen evolution rate which increases as a function of the irradiation time until reaching a plateau and even surpasses the performance of the 1%Pt/TiO2 material after three photocatalytic cycles.
Alisha Khan, Marie Le Pivert, Alireza Ranjbari, Diana Dragoe, Daniel Bahena‐Uribe, Christophe Colbeau‐Justin, Christian Herrero, Dorota Rutkowska‐Zbik, Johnny Deschamps, Hynd Remita   +9 more
wiley   +1 more source

Lipid Nanoparticles for the Delivery of CRISPR/Cas9 Machinery to Enable Site‐Specific Integration of CFTR and Mutation‐Agnostic Disease Rescue

Advanced Functional Materials, EarlyView.
Lipid nanoparticles (LNPs) are optimized to co‐deliver Cas9‐encoding messenger RNA (mRNA), a single guide RNA (sgRNA) targeting the endogenous cystic fibrosis transmembrane conductance regulator (CFTR) gene, and homologous linear double‐stranded donor DNA (ldsDNA) templates encoding CFTR.
Ruth A. Foley, Paul G. Ayoub, Vrishti Sinha, Colin Juett, Alicia Sanoyca, Emily C. Duggan, Lindsay E. Lathrop, Priyanka Bhatt, Kevin Coote, Beate Illek, Brigitte N. Gomperts, Donald B. Kohn, Steven J. Jonas   +12 more
wiley   +1 more source

Spatial quorum sensing modelling using coloured hybrid Petri nets and simulative model checking. [PDF]

BMC Bioinformatics, 2019
Gilbert D, Heiner M, Ghanbar L, Chodak J.   +3 more
europepmc   +1 more source

Penerapan Siklus Plan-Do-Check-Action untuk Mengurangi Cacat Permukaan pada Produk Outer Tube Model 2DP di PT. XYZ

Naufal Bahy Putra, Deni Fajar Fitriyana, Samsudin Anis, Rahmat Doni Widodo, Janviter Manalu, Januar Parlaungan Siregar, Tezara Cionita, Mochammad Marte Ardianto   +7 more
openalex   +2 more sources

Dynamic abstraction model checking

, 2013
Wanwu Wang
openalex   +2 more sources