Results 61 to 70 of about 1,821,618 (323)
The Second Order Traffic Fine: Temporal Reasoning in European Transport Regulations [PDF]
, 2019 We argue that European transport regulations can be formalized within the Sigma^1_1 fragment of monadic second order logic, and possibly weaker fragments including linear temporal logic.
+4 more
core +2 more sources
Advanced Functional Materials, EarlyView.This review explores functional and responsive materials for triboelectric nanogenerators (TENGs) in sustainable smart agriculture. It examines how particulate contamination and dirt affect charge transfer and efficiency. Environmental challenges and strategies to enhance durability and responsiveness are outlined, including active functional layers ...
Rafael R. A. Silva +9 more
wiley +1 more source
The Systems of Relevance Logic [PDF]
Argument, 2011 The system R, or more precisely the pure implicational fragment R→, is considered by the relevance logicians as the most important. The another central system of relevance logic has been the logic E of entailment that was supposed to capture strict ...
Ryszard MIREK
doaj
Step-Indexed Normalization for a Language with General Recursion [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 The Trellys project has produced several designs for practical dependently typed languages. These languages are broken into two fragments—a _logical_ fragment where every term normalizes and which is consistent when interpreted as a logic, and a ...
Chris Casinghino +2 more
doaj +1 more source
Complementary Logic Driven by Dielectrophoretic Assembly of 2D Semiconductors
Advanced Functional Materials, EarlyView.Scalable, parallel fabrication of complementary logic gates is demonstrated using electric‐field‐driven deterministic assembly of electrochemically exfoliated 2D n‐type MoS2 and p‐type WSe2 nanosheets. This strategy yields MoS2 and WSe2 transistors featuring average mobilities of 4.3 and 3.0 cm2 V−1 s−1, respectively, and on/off ratios of > 104 ...
Dongjoon Rhee +10 more
wiley +1 more source
Advanced Functional Materials, EarlyView.Well‐structured graphene hybrid architectures featuring spatially resolved fluorescent properties represent a promising but so‐far elusive synthetic target. A robust and straightforward method for fabricating well‐organized graphene‐dye hybrid nanoassemblies through a combination of reductive patterning and conventional click chemistry is presented ...
Sabrin Al‐Fogra +12 more
wiley +1 more source
Relating Reasoning Methodologies in Linear Logic and Process Algebra [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 We show that the proof-theoretic notion of logical preorder coincides with the process-theoretic notion of contextual preorder for a CCS-like calculus obtained from the formula-as-process interpretation of a fragment of linear logic.
Yuxin Deng +2 more
doaj +1 more source
Integrative Approaches for DNA Sequence‐Controlled Functional Materials
Advanced Functional Materials, EarlyView.DNA is emerging as a programmable building block for functional materials with applications in biomimicry, biochemical, and mechanical information processing. The integration of simulations, experiments, and machine learning is explored as a means to bridge DNA sequences with macroscopic material properties, highlighting current advances and providing ...
Aaron Gadzekpo +4 more
wiley +1 more source
Harnessing Advances in Bone Tissue Engineering for Design of Bone‐on‐Chip Systems
Advanced Healthcare Materials, EarlyView.Bone‐on‐chip (BoC) systems demonstrate significant potential as next‐generation models to study human (patho)physiology and evaluate new therapies. However, progress toward functional, human‐like BoCs has been hindered by the structural and functional complexity of bone. This perspective discusses how insights from bone tissue engineering can guide BoC
Farhad Sanaei +6 more
wiley +1 more source
Lietuvos Matematikos Rinkinys, 2009 The paper deals with specialization of the antecedent negation loop-rule for the negative implication free fragment of the propositional intuitionistic logic.
Romas Alonderis
doaj +1 more source