Results 241 to 250 of about 21,783,491 (356)

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

Metal‐Organic Framework Embedded Electrospun Fibrous Membranes‐Based Hybrid Nanogenerators with Hierarchical Modified Polyamide Films for Mechanical Energy Harvesting and IoT Applications

Advanced Functional Materials, EarlyView.
Hybrid nanogenerator (HNG) based on a zinc‐metal‐organic framework‐loaded fibrous film integrated with a hierarchically modified nylon film having micropatterns and micropores is fabricated via an electrospinning technique, and its electrical properties are optimized. The HNGs are incorporated into wearable garments and automobile systems for practical
Sontyana Adonijah Graham, Anand Kurakula, Venkata Siva Kavarthapu, Jun Kyu Lee, Punnarao Manchi, Mandar Vasant Paranjape, Jae Su Yu   +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

Efficient Algorithms for Model Checking Pushdown Systems

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

Probing Early Particle‐Cell Membrane Interactions via Single‐Cell and Single‐Particle Interaction Analysis

Advanced Functional Materials, EarlyView.
The pre‐internalization phase of endocytosis remains poorly characterized at single‐cell levels. Single‐cell pre‐internalization mechanics are investigated using advanced robotic techniques. Cancer cells exhibit biphasic adhesion – rapid initial binding followed by reinforcement – while fibroblasts show gradual engagement.
Houari Bettahar, Christos Tapeinos, Oğulcan Işıtman, Carmine D'Amico, Alexandra Correia, Hélder A. Santos, Quan Zhou   +6 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

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

Boolean Satisfiability Solvers and Their Applications in Model Checking

Proceedings of the IEEE, 2015
Y. Vizel, Georg Weissenbacher, S. Malik
semanticscholar   +1 more source

Self‐Assembled Gallium Sulfide (GaS) Heterostructures Enabling Efficient Water Splitting and Selective Ammonia Sensing

Advanced Functional Materials, EarlyView.
Gallium sulfide (GaS) forms self‐assembled heterostructures with its native oxide, exhibiting high performance in water splitting and ultrasensitive and selective ammonia detection. Surface defects and controlled oxidation enhance catalytic activity and sensing response.
Danil W. Boukhvalov, Gianluca D'Olimpio, Tsotne Dadiani, Jyayasi Sharma, Ashraf Abdelrahman Assadig Elameen, Stefano Zenone, Marcin Rosmus, Bekir Gürbulak, Emir Çepni, Eduard Llobet, Elena Magnano, Federica Bondino, Songül Duman, Antonio Politano   +13 more
wiley   +1 more source