Results 81 to 90 of about 966,425 (288)

Rational Device Design and Doping‐Controlled Performance in Fast‐Response π‐Ion Gel Transistors

Advanced Functional Materials, EarlyView.
π‐Ion gel transistors (PIGTs) achieve extraordinary transconductance and stability through device configuration optimization, high‐mobility conjugated polymer selection, and hole scavenger doping. The optimized PIGTs maintain performance on flexible substrates, enabling printed, fast‐response, and wearable electronics.
Masato Kato, Soh Kushida, Nafees Umar Draz, Dan Kyotani, Emanuel Smarsly, Kyota Yoshinaga, Wenhao He, Uwe H. F. Bunz, Kazuhiro Marumoto, Tatsuya Mori, Yohei Yamamoto   +10 more
wiley   +1 more source

Logic of Dynamics & Dynamics of Logic; Some Paradigm Examples

, 2001
This paper surveys some recent developments towards a dynamic quantum logic and outlines its explicite construction -- some analogies and contrasts with other logics of dynamics are indicated. Abstract: The development of ``(static) operational quantum logic" points out that classical boolean structures are too rigid to describe the actual and ...
Coecke, B., Moore, D.j., Smets, Sonja
openaire   +3 more sources

On Properties of Update Sequences Based on Causal Rejection

, 2001
We consider an approach to update nonmonotonic knowledge bases represented as extended logic programs under answer set semantics. New information is incorporated into the current knowledge base subject to a causal rejection principle enforcing that, in ...
Eiter, T., Fink, M., Sabbatini, G., Tompits, H.   +3 more
core   +2 more sources

Near‐Infrared Light‐Programmable Negative Differential Transconductance in Organic Electrochemical Transistors for Reconfigurable Logic

Advanced Functional Materials, EarlyView.
Organic electrochemical transistors based on a Near‐Infrared (NIR)‐responsive polymer p(C4DPP‐T) and iodide electrolyte exhibit optically programmable negative differential transconductance. NIR illumination triggers an iodine‐mediated redox process, enabling a transition from binary to ternary conductance states within a single‐layer device.
Debdatta Panigrahi, Christina J. Kousseff, Aristea Pavlou, Zeinab Hamid, Iain McCulloch, Fabrizio Torricelli, Paul W. M. Blom, Paschalis Gkoupidenis   +7 more
wiley   +1 more source

A Dynamic Ticket Pricing Approach for Soccer Games

Axioms, 2017
This study proposes a mathematical model of dynamic pricing for soccer game tickets. The logic behind the dynamic ticket pricing model is price change based on multipliers which reflect the effects of time and inventory. Functions are formed for the time
Mehmet Şahin, Rızvan Erol
doaj   +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, Karl Jonas Riisnaes, 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

2D Magnetic and Topological Quantum Materials and Devices for Ultralow Power Spintronics

Advanced Functional Materials, EarlyView.
2D magnets and topological quantum materials enable ultralow‐power spintronics by combining robust magnetic order with symmetry‐protected, Berry‐curvature‐driven transport. Fundamentals of 2D anisotropy and spin‐orbit‐coupling induced band inversion are linked to scalable growth and vdW stacking.
Brahmdutta Dixit, Yifei Yang, Shawn Li, Yu‐Chia Chen, Qi Jia, Jian‐Ping Wang   +5 more
wiley   +1 more source

Aximo: automated axiomatic reasoning for information update

, 2007
Aximo is a software written in C++ that verifies epistemic properties of dynamic scenarios in multi-agent systems. The underlying logic of our tool is based on the algebraic axiomatics of Dynamic Epistemic Logic. We also present a new theoretical result:
Richards, Simon, Sadrzadeh, Mehrnoosh
core  

From Wafers to Electrodes: Transferring Automatic Optical Inspection (AOI) for Multiscale Characterization of Smart Battery Manufacturing

Advanced Functional Materials, EarlyView.
Automat optical inspection (AOI) techniques in semiconductor fabrication can be leveraged in battery manufacturing, enabling scalable detection and analysis of electrode‐ and cell‐level imperfections through AI‐driven analytics and a digital‐twin framework.
Jianyu Li, Ertao Hu, Wei Wei, Feifei Shi
wiley   +1 more source

Permission-Based Separation Logic for Multithreaded Java Programs [PDF]

, 2011
This paper motivates and presents a program logic for reasoning about multithreaded Java-like programs with concurrency primitives such as dynamic thread creation, thread joining and reentrant object monitors.
Haack, Christian, Huisman, Marieke, Hurlin, Clement   +2 more
core   +2 more sources