Results 71 to 80 of about 506,932 (281)
Non-Clausal Multi-ary α-Generalized Resolution Calculus for a Finite Lattice-Valued Logic
International Journal of Computational Intelligence Systems, 2018 Due to the need of the logical foundation for uncertain information processing, development of efficient automated reasoning system based on non-classical logics is always an active research area.
Yang Xu +4 more
doaj +1 more source
Wittgenstein's Programme of a New Logic [PDF]
, 2007 The young Wittgenstein called his conception of logic “New Logic” and opposed it to the “Old Logic”, i.e. Frege’s and Russell’s systems of logic. In this paper the basic objects of Wittgenstein’s conception of a New Logic are outlined
Lampert, Timm
core
, 2009 We introduce the ring of Fermat reals, an extension of the real field containing nilpotent infinitesimals. The construction takes inspiration from Smooth Infinitesimal Analysis (SIA), but provides a powerful theory of actual infinitesimals without any ...
A. Kriegl +16 more
core +1 more source
Light‐Programmable Interfaces: From Molecular Photoswitching to Adaptive Membrane Separations
Advanced Materials Interfaces, EarlyView.This review advances an interface‐centered framework for light‐responsive membranes, linking molecular photoswitches (azobenzene (AZO), spiropyran (SP), diarylethene (DAE), donor–acceptor Stenhouse adducts (DASA), photoacid) to integration strategies in polymeric, porous, self‐assembled, and mixed‐matrix systems.
Liangliang Zhang +6 more
wiley +1 more source
Advanced Materials Technologies, EarlyView.Transducers convert physical signals into electrical and optical representations, yet each mechanism is bounded by intrinsic trade‐offs across bandwidth, sensitivity, speed, and energy. This review maps transduction mechanisms across physical scale and frequency, showing how heterogeneous integration and multiphysics co‐design transform isolated ...
Aolei Xu +8 more
wiley +1 more source
Adapting Logic to Physics: The Quantum-Like Eigenlogic Program
Entropy, 2020 Considering links between logic and physics is important because of the fast development of quantum information technologies in our everyday life. This paper discusses a new method in logic inspired from quantum theory using operators, named Eigenlogic ...
Zeno Toffano, François Dubois
doaj +1 more source
Flux Analysis of the Supercapacitor Performance at Component Level
Advanced Materials Technologies, EarlyView.The central objective of this study is to introduce new approach and metrics for analyzing the supercapacitor performance at the component level. The lack of standardized evaluation methodologies for analyzing the nonlinear behavior of real system is critical and hinders progress of supercapacitor.
Hyacinthe Randriamahazaka +2 more
wiley +1 more source
Algorithmic Introduction of Quantified Cuts
, 2014 We describe a method for inverting Gentzen's cut-elimination in classical first-order logic. Our algorithm is based on first computign a compressed representation of the terms present in the cut-free proof and then cut-formulas that realize such a ...
Hetzl, Stefan +3 more
core +2 more sources
Grounding Large Language Models for Robot Task Planning Using Closed‐Loop State Feedback
Advanced Robotics Research, EarlyView.BrainBody‐Large Language Model (LLM) introduces a hierarchical, feedback‐driven planning framework where two LLMs coordinate high‐level reasoning and low‐level control for robotic tasks. By grounding decisions in real‐time state feedback, it reduces hallucinations and improves task reliability.
Vineet Bhat +4 more
wiley +1 more source
High-order noise filtering in nontrivial quantum logic gates
, 2012 Treating the effects of a time-dependent classical dephasing environment during quantum logic operations poses a theoretical challenge, as the application of non-commuting control operations gives rise to both dephasing and depolarization errors that ...
H.-P. Breuer +4 more
core +1 more source