Results 101 to 110 of about 283,349 (325)
DNA‑Directed Assembly of Photonic Nanomaterials for Diagnostic and Therapeutic Applications
Advanced Materials, EarlyView.DNA‐directed assembly offers a powerful strategy for constructing structured photonic nanomaterials with precise spatial control. This review provides a comprehensive overview of recent advancements in DNA‐assembled photonic nanomaterials for diagnostics and therapeutics, highlighting key design principles, functionalization strategies, and optical ...
Longjiang Ding +5 more
wiley +1 more source
Cut, invariant rule, and loop-check free sequent calculus for PLTL
Lietuvos Matematikos Rinkinys, 2011 In this paper, some loop-check free saturation-like decision procedure is proposed for propositional linear temporal logic (PLTL) with temporal operators “next” and “always”.
Romas Alonderis +1 more
doaj +1 more source
Designing Physical Unclonable Functions From Optically Active Materials
Advanced Materials, EarlyView.Assigning unforgeable “fingerprints” to manufactured goods is a key strategy to fight global counterfeiting. Optical physical unclonable functions (PUFs) are chemically generated random patterns of optically active materials serving as unique authenticators.
Maxime Klausen +2 more
wiley +1 more source
A Note on Parameterised Knowledge Operations in Temporal Logic [PDF]
, 2014 We consider modeling the conception of knowledge in terms of temporal logic. The study of knowledge logical operations is originated around 1962 by representation of knowledge and belief using modalities.
Rybakov, Vladimir
core
Gradients of Aliveness and Engineering: A Taxonomy of Fungal Engineered Living Materials
Advanced Materials, EarlyView.This paper explores the potential of fungal engineered living materials (ELMs), examining fungal biology and growth mechanisms, which underpin their development. It presents a classification framework based on aliveness, scaffold composition, and engineering degree. Unique properties such as self‐healing, biosensing, and bioremediation are highlighted,
Elise Elsacker +5 more
wiley +1 more source
Spatiotemporal Reservoir Computing with a Reconfigurable Multifunctional Memristor Array
Advanced Materials, EarlyView.This study presents a hardware physical reservoir computing system using a tri‐modal memristive crossbar array. Stochastic masking, bistable nonlinear activation, and analog readout enable fully in‐memory spatiotemporal processing. Demonstrations on cellular automata, Lorenz prediction, ADHD EEG classification, and chaotic KS modeling highlight its ...
Sungho Kim +10 more
wiley +1 more source
A Temporal Logic for Hyperproperties
, 2013 Hyperproperties, as introduced by Clarkson and Schneider, characterize the correctness of a computer program as a condition on its set of computation paths.
Finkbeiner, Bernd +2 more
core
Linear temporal logic for biologists in BMA
, 2016 This is the author accepted manuscript.
Hall, BA, Piterman, N, Fisher, J
openaire +2 more sources
Choline Ionic Liquid for Long‐Term Stable Organic Electrochemical Transistors
Advanced Materials, EarlyView.Choline‐based ionic liquid integrated organic electrochemical transistors (Chol‐OECTs) for improvement of performance and prolonged lifetime is demonstrated. Introduction of the ionic liquid into PEDOT:PSS and gelatin creates choline acetate ionic liquid‐infused PEDOT:PSS (CLiPS) and choline acetate‐gelatin (CAGel) electrolyte.
Young Jin Jo +6 more
wiley +1 more source
Advanced Materials Interfaces, EarlyView.Halide perovskite quantum dots, with their flexible ABX3 lattice enabling collaborative electronic and ionic transport, offer scalable, low‐cost routes to resistive memories, opto‐electronic control, neuromorphic devices, and field‐effect transistors.
Hyojung Kim
wiley +1 more source