Results 251 to 260 of about 23,407,383 (367)

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

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

Controlled Aggregation of Pyrene‐Based Supramolecular Nanostructures for Light‐Driven Switchable H2 or H2O2 Production

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, Matilde Doardo, Ilaria Fortunati, Anna Fortunato, Elisabetta Collini, Francesca Arcudi, Luka Ðorđević   +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

The Influence of Annealing on the Sb Layer in the Synthesis of [001]‐Oriented Sb2Se3 Film for Photoelectrochemical Hydrogen Gas Generation

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, Moisés A. de Araújo, Joaquim Puigdollers, Pablo Ortega, Teresa Andreu, Cristobal Voz, Edgardo Saucedo, Lucia H. Mascaro   +7 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

Improved Algorithms for the Automata-Based Approach to Model-Checking

, 2007
Laurent Doyen, Jean-François Raskin
openalex   +1 more source

New model of identity checking in telecommunication digital channels

, 2006
Piotr Gajewski, Jerzy Łopatka, Zbigniew Piotrowski   +2 more
openalex   +2 more sources

Printed Integrated Logic Circuits Based on Chitosan‐Gated Organic Transistors for Future Edible Systems

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, Valerio Francesco Annese, Valerio Galli, Ilaria Penna, Debora Russo, Marina Veronesi, Rita Scarpelli, Stefania Sabella, Mario Caironi   +8 more
wiley   +1 more source