Results 81 to 90 of about 2,393,674 (352)

Integrative Approaches for DNA Sequence‐Controlled Functional Materials

Advanced Functional Materials, EarlyView.
DNA is emerging as a programmable building block for functional materials with applications in biomimicry, biochemical, and mechanical information processing. The integration of simulations, experiments, and machine learning is explored as a means to bridge DNA sequences with macroscopic material properties, highlighting current advances and providing ...
Aaron Gadzekpo, Ewa Anna Oprzeska‐Zingrebe, Mariana Kozlowska, Lennart Hilbert, Iliya D. Stoev   +4 more
wiley   +1 more source

Synchronized Electro‐Chromo‐Emissive Devices Using a Mixed Ionic‐Electronic Conductive Layer for XR Applications

Advanced Functional Materials, EarlyView.
A single cell type Electro‐chromo‐emissive (ECECL) device integrating synchronized electrochromic (EC) and electrochemiluminescent (ECL) functions is developed using a mixed ionic‐electronic conductor (MIEC). A MIEC layer reduces ionic/electronic resistance, enabling ultrafast switching and enhanced optical contrast.
Hwandong Jang, Sienoh Park, Won‐Jae Joo, Jinbo Kim, Nori Kobayashi, Eunkyoung Kim   +5 more
wiley   +1 more source

Multi-Fidelity Temporal Reasoning: A Stratified Logic for Cross-Scale System Specifications

Logics
We present Stratified Metric Temporal Logic (SMTL), a novel formalism for specifying and verifying the properties of complex cyber–physical systems that exhibit behaviors across multiple temporal and abstraction scales.
Ali Baheri, Peng Wei
doaj   +1 more source

A Probabilistic Temporal Logic with Frequency Operators and Its Model Checking [PDF]

Electronic Proceedings in Theoretical Computer Science, 2011
Probabilistic Computation Tree Logic (PCTL) and Continuous Stochastic Logic (CSL) are often used to describe specifications of probabilistic properties for discrete time and continuous time, respectively.
Takashi Tomita, Shigeki Hagihara, Naoki Yonezaki   +2 more
doaj   +1 more source

In Materia Shaping of Randomness with a Standard Complementary Metal‐Oxide‐Semiconductor Transistor for Task‐Adaptive Entropy Generation

Advanced Functional Materials, EarlyView.
This study establishes a materials‐driven framework for entropy generation within standard CMOS technology. By electrically rebalancing gate‐oxide traps and Si‐channel defects in foundry‐fabricated FDSOI transistors, the work realizes in‐materia control of temporal correlation – achieving task adaptive entropy optimization for reinforcement learning ...
Been Kwak, Ryun‐Han Koo, Youngchan Cho, Changhyeon Han, Dongbin Kim, Soi Jeong, Yunho Shin, Joonhyeok Choi, Jiseong Im, Jonghyun Ko, Jong‐Ho Lee, Jangsaeng Kim, Youngho Kang, Wonjun Shin, Daewoong Kwon   +14 more
wiley   +1 more source

Observation of Relativistic Domain Wall Motion in Amorphous Ferrimagnets

Advanced Functional Materials, EarlyView.
Domain walls in ferrimagnets and antiferromagnets move as relativistic sine‐Gordon solitons, with the spin‐wave velocity setting their speed limit. Such relativistic domain‐wall motion is demonstrated in amorphous GdFeCo near angular momentum compensation, where current‐driven walls reach 90% of the 2 kms−1 spin‐wave speed, enabling ultrafast, device ...
Pietro Diona, Luca Maranzana, Sergey Artyukhin, Giacomo Sala   +3 more
wiley   +1 more source

Combining Temporal Logic Systems

Notre Dame Journal of Formal Logic, 1996
Modular combinations of temporal logic systems are investigated. Four methods for combining two temporal logics are described and studied. 1. The temporalization method, i.e. the external application of a temporal logic to another temporal system (adding a temporal dimension to a logic system). 2. The independent combination of two temporal systems. 3.
Finger, Marcelo, Gabbay, Dov
openaire   +2 more sources

Recomposable Layered Metasurfaces for Wavelength‐Multiplexed Optical Encryption via Modular Diffractive Deep Neural Networks

Advanced Functional Materials, EarlyView.
Modular diffractive deep neural network metasurfaces encode and reconstruct holograms across layer combinations and wavelengths, enabling secure, multifunctional operation. Each layer acts independently yet composes jointly, yielding up to m(2N −1) channels for m wavelengths and N layers.
Cherry Park, Youngsun Jeon, Seokho Lee, Yeseul Kim, Junsuk Rho   +4 more
wiley   +1 more source

Executable Temporal Logic Systems

Journal of Symbolic Computation, 1996
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Orgun, Mehmet A., Faustini, Anthony A., Schäfer, Karl, Brzoska, Christoph, Fisher, Michael, Kellet, Adam, Moszkowski, Ben   +6 more
openaire   +1 more source

Trap‐Assisted Transport and Neuromorphic Plasticity in Lead‐Free 2D Perovskites PEA2SnI4

Advanced Functional Materials, EarlyView.
An artificial retina built from lead‐free layered perovskite (PEA)2SnI4 converts light input into a persistent photocurrent and sums successive flashes over time. Micro/nanocrystals integrated on electrodes act as synapse‐like pixels that perform temporal integration directly in hardware. This in‐sensor preprocessing merges detection and computation on
Ofelia Durante, Valeria Demontis, Jonas Riisnaes Karl, Lam Hoi Tung, Sebastiano De Stefano, Daniela Marongiu, Adolfo Mazzotti, Aditya Bhardwaj, Francesco Mattana, Elisa Pili, Selene Matta, Federico Paolucci, Michele Saba, Andrea Mura, Giovanni Bongiovanni, Monica F Craciun, Saverio Russo, Antonio Di Bartolomeo   +17 more
wiley   +1 more source