Results 241 to 250 of about 1,133,638 (315)

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

Which Chromium–Sulfur Compounds Exist as 2D Material?

Advanced Functional Materials, EarlyView.
2D chromium sulfides synthesized using molecular beam epitaxy on graphene. Structural characterization reveals two novel 2D materials, Cr2S3‐2D, which lacks a direct bulk counterpart, and Cr223S${\rm Cr}_{2\frac{2}{3}}{\rm S}$4‐2D, a minimum thickness version of Cr5S6. However, attempts to synthesize CrS2 are unsuccessful. Both new 2D phases are stable
Affan Safeer, Mahdi Ghorbani‐Asl, Wouter Jolie, Arkady V. Krasheninnikov, Thomas Michely, Jeison Fischer   +5 more
wiley   +1 more source

Physical-Model-Checking to Detect Switching-Related Attacks in Power Systems. [PDF]

Sensors (Basel), 2018
El Hariri M, Faddel S, Mohammed O.
europepmc   +1 more source

Photoactivation of NV Centers in Diamond via Continuous Wave Laser Illumination of Shallow As‐Implanted Nitrogen

Advanced Functional Materials, EarlyView.
This study demonstrates an alternative method of creating charge‐stable negatively charged nitrogen vacancy (NV−) centers close to the diamond surface without high‐temperature annealing. By illuminating nitrogen‐implanted regions with a continuous‐wave 405 nm laser, NV− centers are induced, exhibiting electron spin coherence properties suitable for ...
Jens Fuhrmann, Christoph Findler, Michael Olney‐Fraser, Lev Kazak, Fedor Jelezko   +4 more
wiley   +1 more source

Model Checking Temporal Logic Formulas Using Sticker Automata. [PDF]

Biomed Res Int, 2017
Zhu W, Feng C, Wu H.
europepmc   +1 more source

Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking

, 2000
Poul Frederick Williams, Armin Biere, Edmund M. Clarke, Anubhav Gupta   +3 more
openalex   +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

Discovering vesicle traffic network constraints by model checking. [PDF]

PLoS One, 2017
Shukla A, Bhattacharyya A, Kuppusamy L, Srivas M, Thattai M.   +4 more
europepmc   +1 more source