Results 161 to 170 of about 3,225 (296)

Automata Constructions for LTL with Past [PDF]

Linear temporal logic (LTL) is a popular language in formal verification, especially in the domains of model checking and reactive synthesis. Because its semantics is defined in terms of infinite sequences of symbols that can be interpreted as system ...
Lidell, David
core  

Peierls Bounds from Toom Contours. [PDF]

J Theor Probab
Swart JM, Szabó R, Toninelli C.
europepmc   +1 more source

Artificial Intelligence‐Assisted Workflow for Transmission Electron Microscopy: From Data Analysis Automation to Materials Knowledge Unveiling

Advanced Materials, EarlyView.
AI‐Assisted Workflow for (Scanning) Transmission Electron Microscopy: From Data Analysis Automation to Materials Knowledge Unveiling. Abstract (Scanning) transmission electron microscopy ((S)TEM) has significantly advanced materials science but faces challenges in correlating precise atomic structure information with the functional properties of ...
Marc Botifoll, Ivan Pinto‐Huguet, Enzo Rotunno, Thomas Galvani, Catalina Coll, Payam Habibzadeh Kavkani, Maria Chiara Spadaro, Yann‐Michel Niquet, Martin Børstad Eriksen, Sara Martí‐Sánchez, Georgios Katsaros, Giordano Scappucci, Peter Krogstrup, Giovanni Isella, Andreu Cabot, Gonzalo Merino, Pablo Ordejón, Stephan Roche, Vincenzo Grillo, Jordi Arbiol   +19 more
wiley   +1 more source

Oracles for distributed testing

, 2011
Copyright @ 2010 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other users, including reprinting/ republishing this material for advertising or promotional purposes, creating new collective works for ...
Hierons, RM
core  

Beyond Presumptions: Toward Mechanistic Clarity in Metal‐Free Carbon Catalysts for Electrochemical H2O2 Production via Data Science

Advanced Materials, EarlyView.
Metal‐free carbon catalysts enable the sustainable synthesis of hydrogen peroxide via two‐electron oxygen reduction; however, active site complexity continues to hinder reliable interpretation. This review critiques correlation‐based approaches and highlights the importance of orthogonal experimental designs, standardized catalyst passports ...
Dayu Zhu, Hsi‐wen Wu, Xiao Wang, Jie Zhang   +3 more
wiley   +1 more source

Supervised and Unsupervised Learning with Numerical Computation for the Wolfram Cellular Automata. [PDF]

Entropy (Basel)
Tuo K, Deng S, Yang Y, Wang Y, Wang Q, Li W, Zhang W.   +6 more
europepmc   +1 more source

Tough, Ductile, and Strong Hard‐Soft Cementitious Composite Enabled by Multi‐Material Additive Manufacturing

Advanced Materials, EarlyView.
Drawing inspiration from the layered hard‐soft architecture found in sea sponges, this work establishes a new framework for architected cementitious composites (ACC) through multi‐material additive manufacturing (MMAM) process. The integration of mortar and elastomer phases into layered architectures enables synergistic toughening mechanisms, including
Aimane Najmeddine, Shashank Gupta, William Makinen, Zayvinn Lin, Krystal Delnoce, Reza Moini   +5 more
wiley   +1 more source

Discreteness, Computation, and Rules of Life for Self-Organization Dynamics Beyond Equilibrium. [PDF]

Newton
Youk H.
europepmc   +1 more source

Viral Infection‐Inspired Autonomous Detection of Fusion‐Competent Viruses for Screening and Environmental Surveillance

Advanced Materials, EarlyView.
Inspired by viral entry mechanisms, the FUSION assay enables autonomous detection of respiratory viruses via membrane fusion–triggered CRISPR‐Cas13a activation. VEACON selectively fuses with fusion‐competent viruses, triggering fluorescence within confined vesicles.
Jae Chul Park, Yidam Song, Hyun‐Woo Choi, Jaeuk Sung, Harin Jin, WonSeok Gwak, Kirim Yoo, Soohwang Lee, Jongeon Park, Jeongmin Kim, Hye‐Jun Jo, Jahyun Koo, Youngdo Jeong, Kwan Hyi Lee, Seung‐Jung Kee, Hojun Kim   +15 more
wiley   +1 more source

A color image encryption scheme utilizing a logistic-sine chaotic map and cellular automata. [PDF]

Sci Rep
Sun S, Yang W, Yin Y, Tian X, Li G, Deng X.   +5 more
europepmc   +1 more source