Results 191 to 200 of about 93,973 (331)

Metric Temporal Logic with Counting [PDF]

open access: green, 2015
Khushraj Madnani   +2 more
openalex   +1 more source

Photoresponsive Rotaxanes Switch Lipid Bilayer Neuromorphic Behavior with Light

open access: yesAdvanced Electronic Materials, EarlyView.
A rotaxane consisting of a macrocycle ring with two azobenzene units mechanically interlocked onto an amphiphilic axle was incorporated into droplet interface bilayers (DIBs). Photoswitching between the azobenzene configurations on the ring resulted in cycling between memristive and memcapacitive behaviors in lipid bilayers, enabling programmable ...
P.T. Podar   +4 more
wiley   +1 more source

Aging and Electrical Stability of DNTT Honey‐Gated OFETs

open access: yesAdvanced Electronic Materials, EarlyView.
DNTT honey‐gated organic transistors were fabricated and evaluated to assess short‐ and long‐term stability under electrical stress and aging. Short‐term transfer measurements (five days, 40 sweeps/day) showed minimal parameter shift, while extended measurements revealed gradual degradation over weeks.
Douglas H. Vieira   +8 more
wiley   +1 more source

Ontology-Based Data Access with a Horn Fragment of Metric Temporal Logic

open access: diamond, 2017
Sebastian Brandt   +5 more
openalex   +2 more sources

Emerging Memory and Device Technologies for Hardware‐Accelerated Model Training and Inference

open access: yesAdvanced Electronic Materials, EarlyView.
This review investigates the suitability of various emerging memory technologies as compute‐in‐memory hardware for artificial intelligence (AI) applications. Distinct requirements for training‐ and inference‐centric computing are discussed, spanning device physics, materials, and system integration.
Yoonho Cho   +6 more
wiley   +1 more source

Bisimulations for intuitionistic temporal logics

open access: green, 2021
Philippe Balbiani   +3 more
openalex   +1 more source

Home - About - Disclaimer - Privacy