Results 231 to 240 of about 21,783,491 (356)

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

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

Algorithms for Model Checking HyperLTL and HyperCTL ^*

International Conference on Computer Aided Verification, 2015
B. Finkbeiner, M. Rabe, César Sánchez
semanticscholar   +1 more source

Quantifying Electron and Ion Transfers in Contact Electrification with Ionomers

Advanced Functional Materials, EarlyView.
The concurrent existence of both electron and ion transfers in solid‐ionomer contact electrification is reported. The ion transfer contributes significantly to the process of contact electrification, especially at high humidity, although only less than 2% of ions participate in the ion transfer, suggesting that there is room for further performance ...
Xiaoting Ma, Jiaming Zhou, Eunjong Kim, Jingyi Gao, Wenyi Hu, Dong‐Myeong Shin   +5 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

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

NuSMV 2: An OpenSource Tool for Symbolic Model Checking

International Conference on Computer Aided Verification, 2002
A. Cimatti, E. Clarke, E. Giunchiglia, Fausto Giunchiglia, M. Pistore, Marco Roveri, R. Sebastiani, A. Tacchella   +7 more
semanticscholar   +1 more source

Modulating Two‐Photon Absorption in a Pyrene‐Based MOF Series: An In‐Depth Investigation of Structure–Property Relationships

Advanced Functional Materials, EarlyView.
This study investigates H4TBAPy‐based metal–organic frameworks (MOFs) ‐ NU‐1000, NU‐901, SrTBAPy, and BaTBAPy ‐ for multiphoton absorption (MPA) performance. It observes topology‐dependent variations in the 2PA cross‐section, with BaTBAPy exhibiting the highest activity.
Simon N. Deger, Helmy Pacheco Hernandez, Yang Cui, Hongxing Hao, Vanessa Ramm, David C. Mayer, Khai‐Nghi Truong, Roland A. Fischer, Jürgen Hauer, Mariana Kozlowska, Alexander Pöthig   +10 more
wiley   +1 more source