Results 221 to 230 of about 1,197,029 (323)

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

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

Model checking in multiple imputation: an overview and case study. [PDF]

Emerg Themes Epidemiol, 2017
Nguyen CD, Carlin JB, Lee KJ.
europepmc   +1 more source

Combining Proof and Model-checking to Validate Reconfigurable Architectures

, 2011
Arnaud Lanoix, Julien Dormoy, Olga Kouchnarenko   +2 more
openalex   +1 more source

Model Pembelajaran Pair Checks Berbasis Tat Twam Asi Terhadap Kompetensi Pengetahuan PPKn Siswa

, 2020
I Made Wahyu Adi Sanjaya, I.G.A. Agung Sri Asri, Ni Wayan Suniasih   +2 more
openalex   +2 more sources

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

Fault tolerance for distributed explicit-state model checking

, 2014
Valerie Lynn Ishida
openalex   +1 more source

Micropatterned Biphasic Printed Electrodes for High‐Fidelity on‐Skin Bioelectronics

Advanced Functional Materials, EarlyView.
Micropatterned biphasic printed electrodes achieve unprecedented skin conformity and low impedance by combining liquid‐metal droplets with microstructured 3D lattices. This scalable approach enables high‐fidelity detection of ECG, EMG, and EEG signals, including alpha rhythms from the forehead, with long‐term comfort and stability.
Manuel Reis Carneiro, Telmo Lopes, André F. Silva, Carmel Majidi, Mahmoud Tavakoli   +4 more
wiley   +1 more source