Results 181 to 190 of about 2,243,371 (296)
Battery-Inspired Electrochemical Synapses for Neuromorphic Applications. [PDF]
Adv Sci (Weinh)Battery‐ion‐inspired synaptic devices integrate diverse electrolyte systems (solid, ion‐gel, liquid) with transition metal oxides, two‐dimensional materials, and organic channels to regulate ion‐electron coupling. By tailoring ion transport and host interactions, these platforms enable controllable plasticity and energy‐efficient implementations for ...
Lee WW +6 more
europepmc +2 more sources
Advanced Science, EarlyView.Here, we present an optoelectronic synaptic memtransistor (OSMT) integrating photoresponsive IGZO with contact‐engineered HfO2, enabling electrically and optically tunable synaptic weights. The device demonstrates broad range of tunable conductance states and array‐level image processing, highlighting its potential for intelligent machine vision ...
Donghyun Kang +6 more
wiley +1 more source
Fast and Adaptive Multi-Agent Planning under Collaborative Temporal Logic Tasks via Poset Products. [PDF]
Research (Wash D C)Liu Z, Guo M, Bao W, Li Z.
europepmc +1 more source
Modeling compliance specifications in linear temporal logic, event processing language and property specification patterns: a controlled experiment on understandability. [PDF]
Softw Syst Model, 2019 Czepa C, Amiri A, Ntentos E, Zdun U.
europepmc +1 more source
Autonomous High‐Throughput Characterization of Liquid‐Liquid Phase Behavior
Advanced Science, EarlyView.This study introduces an automated dual modality platform, combining asymmetric capacitance deviation and multiangle turbidimetry, for high‐throughput characterization of liquid‐liquid phase behavior across chemically diverse fluid systems. The platform enables miscibility classification, resolution of phase separation kinetics and emulsion stability ...
Tarek Eid +3 more
wiley +1 more source
Robust probabilistic temporal logics
Information Processing LettersWe robustify PCTL and PCTL*, the most important specification languages for probabilistic systems, and show that robustness does not increase the complexity of their model-checking problems.
openaire +4 more sources
Incorporating the Basic Elements of a First-degree Fuzzy Logic and Certain Elments of Temporal Logic for Dynamic Management Applications [PDF]
The approximate reasoning is perceived as a derivation of new formulas with the corresponding temporal attributes, within a fuzzy theory defined by the fuzzy set of special axioms.
Vasile MAZILESCU
core
Advanced Science, EarlyView.Rational engineering of terminal substituents in symmetric azobenzene‐based molecules enables precise control over conformationally coupled charge‐transfer processes. This design yields tunable nonvolatile resistive memory behaviors, ranging from write‐once‐read‐many‐times (WORM) to rewritable switching.
Yanze Liu +11 more
wiley +1 more source
Advanced Science, EarlyView.We report the solid‐state ball milling, a traditional, reliable, mass‐productive material processing, to prepare the air‐stable and dual‐phase GeSe2‐x nanoparticles with extended photodetection feasibility toward optical‐wavelength regions. We further display photonic multi‐valued logic (MVL) circuit through the employment of a hybrid PMMA/GeSe2‐x ...
An‐Ting Tsai +8 more
wiley +1 more source
Advanced Science, EarlyView.Bioinspired passive flow routing mitigates thrombosis in cardiovascular devices by redirecting a small fraction of forward flow into stagnation‐prone regions. Inspired by avian alula and aircraft slat mechanisms, strategically placed routing channels restore washout around mechanical heart valves, reducing low‐shear exposure by four orders of magnitude
Yevgeniy Kreinin +8 more
wiley +1 more source