Results 81 to 90 of about 165,990,627 (290)

Propositional inquisitive logic: a survey [PDF]

Computer Science Journal of Moldova, 2016
This paper provides a concise survey of a body of recent work on propositional inquisitive logic. We review the conceptual foundations of inquisitive semantics, introduce the propositional system, discuss its relations with classical, intuitionistic, and
Ivano Ciardelli
doaj  

IMP with exceptions over decorated logic [PDF]

Discrete Mathematics & Theoretical Computer Science, 2018
In this paper, we facilitate the reasoning about impure programming languages, by annotating terms with “decorations”that describe what computational (side) effect evaluation of a term may involve.
Burak Ekici
doaj   +1 more source

Ion‐Reconfigurable “N”‐Shaped Antiambipolar Behavior in Organic Electrochemical Transistors

Advanced Materials, EarlyView.
A unique N‐shaped negative differential transconductance (NDT) characteristics is demonstrated in single‐polymer organic electrochemical transistors through a sequential doping–redox–doping process driven by iodide ions. This redox‐driven mechanism enables low‐voltage, ion‐controlled reconfigurability and tunable current modulation, allowing seamless ...
Debdatta Panigrahi, Daniele Zucchelli, Zeinab Hamid, Christina Kousseff, Arup Sarkar, Aristea Pavlou, Zhitian Ling, Somayeh Kashani, Iain McCulloch, Paul W. M. Blom, Fabrizio Torricelli, Paschalis Gkoupidenis   +11 more
wiley   +1 more source

Azobenzene's Cross‐Scale Optics and Photonics: Molecular Photoswitching, Mesoscopic Material Motions, and Adaptive Devices

Advanced Materials, EarlyView.
Azobenzene photoswitches translate molecular‐scale E/Z photoisomerization into macroscopic material responses and device‐level photonic functions. This Review highlights how azobenzene research has evolved from molecular photochemistry to photoalignment, mass migration, photomechanics, and heat release, ultimately enabling holography, reconfigurable ...
Heeju Son, Soyul Kwak, Heerin Noh, Minsang Kim, Doyeon Noh, Subhayan Chakraborty, Jaewon Lee, YongDeok Cho, Kyeongsoo Kim, Taewoong Eom, Moonyoung Kim, Jangwon Kim, Hoyoung Lee, Soyoung Lee, Jaehun Kim, Grace G. D. Han, Shin‐Tson Wu, Stefano Oscurato, Arri Priimagi, Marina Saphiannikova, Seungwoo Lee   +20 more
wiley   +1 more source

Neuromorphic Electronics for Intelligence Everywhere: Emerging Devices, Flexible Platforms, and Scalable System Architectures

Advanced Materials, EarlyView.
The perspective presents an integrated view of neuromorphic technologies, from device physics to real‐time applicability, while highlighting the necessity of full‐stack co‐optimization. By outlining practical hardware‐level strategies to exploit device behavior and mitigate non‐idealities, it shows pathways for building efficient, scalable, and ...
Kapil Bhardwaj, Roshni Satheesh Babu, Yuxin Xia, Eva Bestelink, Radu Sporea, Nikos Hastas, Ioannis Zeimpekis, Dimitra G. Georgiadou, Sayani Majumdar   +8 more
wiley   +1 more source

Reflections on Brady's logic of meaning containment [PDF]

This paper is a series of reflections on Ross Brady’s favourite substructural logic, the logic MC of meaning containment. In the first section, I describe some of the distinctive features of MC, including depth relevance, and its principled rejection of ...
Restall, Greg
core   +1 more source

On Wittgenstein's notion of the objectivity of mathematical proofs [PDF]

, 2013
This work analyses and defends Wittgenstein's definition of mathematical objectivity, looking particularly at his account of mathematical proofs, of what makes them normative, and what role mathematical and linguistic practices play in their ...
Trevino-Tarango, Martha Alicia
core   +2 more sources

Efficient and Universal Merkle Tree Inclusion Proofs via OR Aggregation

Cryptography
Zero-knowledge proofs have emerged as a powerful tool for enhancing privacy and security in blockchain applications. However, the efficiency and scalability of proof systems remain a significant challenge, particularly in the context of Merkle tree ...
Oleksandr Kuznetsov, Alex Rusnak, Anton Yezhov, Dzianis Kanonik, Kateryna Kuznetsova, Oleksandr Domin   +5 more
doaj   +1 more source

On Combinatorial Proofs for Modal Logic [PDF]

, 2019
In this paper we extend Hughes’ combinatorial proofs to modal logics. The crucial ingredient for modeling the modalities is the use of a self-dual non-commutative operator that has first been observed by Retoré through pomset logic. Consequently, we had to generalize the notion of skew fibration from cographs to Guglielmi’s relation webs.Our main ...
Acclavio, Matteo, Strassburger, Lutz
openaire   +3 more sources

Leaftronics: Bio‐Fractal Scaffolds From Leaf Venation for Low‐Waste Electronics

Advanced Materials, EarlyView.
“Leaftronics” transforms naturally evolved leaf venation into quasi‐fractal scaffolds for sustainable electronics. Polymer‐infiltrated leaf skeletons can be used to fabricate ultra‐smooth, reflow‐ and thin‐film‐compatible decomposable substrates, while making the same lignocellulose networks conducting results in flexible transparent electrodes.
Rakesh Rajendran Nair, Hrisheekesh Thachoth Chandran, Karl Leo, Hans Kleemann   +3 more
wiley   +1 more source