Results 81 to 90 of about 568,503 (297)
Regiorandom Polythiophenes for Fully Stretchable Electrochemical Transistors and Logic Circuits
Advanced Functional Materials, EarlyView.Regiorandom (RRa) polythiophenes, once regarded as unsuitable for electronics, exhibit exceptional switching performance via volumetric electrochemical doping. Optimized RRa‐based organic electrochemical transistors (OECTs) achieve a high on/off ratio (≈104), stable operation under 200% strain, and enable fully stretchable logic gates, demonstrating ...
Dong Hyun Park +6 more
wiley +1 more source
BRANISLAV PETRONIJEVIĆ’S LOGIC
Истраживања, 2012 The transition from the science of forms of thought and methods of knowledge to thescience of principles of objective logical content of being was indicated through foundations,structure and theoretical scope of formal and metaphysical logic in the ...
Мирко В. Аћимовић
doaj
A Complete Axiomatization of Quantified Differential Dynamic Logic for Distributed Hybrid Systems
, 2012 We address a fundamental mismatch between the combinations of dynamics that occur in cyber-physical systems and the limited kinds of dynamics supported in analysis. Modern applications combine communication, computation, and control.
Platzer, Andre
core +2 more sources
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 +5 more
wiley +1 more source
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
Foundations and Philosophy [PDF]
, 2016 The Univalent Foundations (UF) of mathematics take the point of view that spatial notions (e.g. “point” and “path”) are fundamental, rather than derived, and that all of mathematics can be encoded in terms of them.
Halvorson, Hans, Tsementzis, Dimitris
core
Photon Avalanching Nanoparticles: The Next Generation of Upconverting Nanomaterials?
Advanced Functional Materials, EarlyView.This Perspective outlines the mechanistic foundations that enable photon‐avalanche (PA) behavior in lanthanide nanomaterials and contrasts them with emerging application spaces and forward‐looking design strategies. By bridging threshold engineering, energy‐transfer dynamics, and materials engineering, we provide a coherent roadmap for advancing the ...
Kimoon Lee +7 more
wiley +1 more source
Fuzzy Epistemic Logic: Fuzzy Logic of Doxastic Attitudes
MathematicsIn traditional epistemic logic—particularly modal logic—agents are often assumed to have complete and certain knowledge, which is unrealistic in real-world scenarios where uncertainty, imprecision, and the incompleteness of information are common.
Jinjin Zhang +3 more
doaj +1 more source
Rewriting and Well-Definedness within a Proof System
, 2010 Term rewriting has a significant presence in various areas, not least in automated theorem proving where it is used as a proof technique. Many theorem provers employ specialised proof tactics for rewriting.
Ana Bove +4 more
core +2 more sources
Advanced Functional Materials, EarlyView.The shape of guanine self‐assemblies is tuned by introducing alkyl (G8), fluoroalkyl (G8f), and oligoether (G8g) side chains into the G moiety. The scanning tunneling microscopy results and calculations show that the presence and type of the side chain strongly affect the G self‐assembly network.
So‐Huei Kang +9 more
wiley +1 more source