Results 231 to 240 of about 1,197,029 (323)
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
Counterexamples in Probabilistic LTL Model Checking for Markov Chains
, 2009 Matthias Schmalz +2 more
openalex +2 more sources
Advanced Functional Materials, EarlyView.This work reports the self‐assembly of a pyrene derivative into two distinct nanostructures and their application in visible‐light photocatalysis. The two nanostructures exhibit completely different yet complementary photocatalytic activities, promoting either H2 or H2O2 evolution.
Marianna Barbieri +6 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
Advanced Functional Materials, EarlyView.[001]‐oriented Sb2Se3 film with improved crystallinity and adjusted composition is achieved via a new thermal treatment approach consisting of preliminary annealing of the Sb layer before its selenization. The findings of this work demonstrate enhanced charge carriers' transportation, a stable performance, and an improvement of H2 generation from ...
Magno B. Costa +7 more
wiley +1 more source
Discovering vesicle traffic network constraints by model checking. [PDF]
PLoS One, 2017 Shukla A +4 more
europepmc +1 more source
Advanced Functional Materials, EarlyView.Edible electronics needs integrated logic circuits for computation and control. This work presents a potentially edible printed chitosan‐gated transistor with a design optimized for integration in circuits. Its implementation in integrated logic gates and circuits operating at low voltage (0.7 V) is demonstrated, as well as the compatibility with an ...
Giulia Coco +8 more
wiley +1 more source