Results 81 to 90 of about 140,069 (266)
From Separation Logic to First-Order Logic [PDF]
, 2005 Separation logic is a spatial logic for reasoning locally about heap structures. A decidable fragment of its assertion language was presented in [1], based on a bounded model property. We exploit this property to give an encoding of this fragment into a first-order logic containing only the propositional connectives, quantification over the natural ...
Cristiano Calcagno +2 more
openaire +1 more source
Symbolic Imitation Learning: From Black-Box to Explainable Driving Policies
Applied SciencesCurrent imitation learning approaches, predominantly based on deep neural networks (DNNs), offer efficient mechanisms for learning driving policies from real-world datasets.
Iman Sharifi +2 more
doaj +1 more source
Advanced Functional Materials, EarlyView.Bandgap‐engineered AlGaAs/GaAs heterostructures exhibit wavelength‐selective dual‐polarity photoelectrochemistry, switching from photocathodic to photoanodic response depending on excitation wavelength. The polarity transition is governed by band‐selective absorption, built‐in electric‐field‐driven carrier transport, and interfacial charge‐transfer ...
Yukai Mao +9 more
wiley +1 more source
On first-order conditional logics
Artificial Intelligence, 1998 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Polymer‐Redox Interactions Enhance Ferro/Ferricyanide Thermogalvanic Cells
Advanced Functional Materials, EarlyView.Polyelectrolyte could modify the hydration structure of the redox couple in solution and improve the output performance of thermogalvanic cells, providing new fundamental insight into how electrostatic interactions can be exploited to tailor thermoelectric properties.
Pedro Santos Candiotto de Oliveira +6 more
wiley +1 more source
A first-order logic for string diagrams
CoRR, 2015 15 pages ...
Aleks Kissinger, David Quick
openaire +4 more sources
Directional Flow of Confined Polaritons in CrSBr
Advanced Materials, EarlyView.CrSBr, a layered magnetic semiconductor, naturally channels self‐hybridized excitonpolaritons into highly directional flow. Its intrinsic optical anisotropy, high refractive index, and strong lightmatter coupling enable long‐range guided modes along the a‐axis, with propagation lengths set by their excitonphoton admixture.
Pratap Chandra Adak +10 more
wiley +1 more source
Note sur l’ordre de IF : Hintikka a-t-il véritablement découvert la véritable logique élémentaire ?
Philosophia Scientiæ, 2005 Is IF logic the true elementary logic, as Hintikka claims? Moreover is it truly elementary, viz. first-order, in the first place? One is tempted to answer no, because of the extraordinary power of this logic in comparison with ordinary first-order logic.
Philippe de Rouilhan
doaj +1 more source
Atomistic Mechanisms Triggered by Joule Heating Effects in Metallic Cu‐Bi Nanowires for Spintronics
Advanced Materials, EarlyView.Bi doped metallic Cu nanowires are promising for spintronics thanks to the stabilization of a giant spin Hall effect. However, heat resulting from current injection forces Bi to leave solution, forcing segregation into monoatomic decorations which evolve into coherent crystalline aggregates.
Alejandra Guedeja‐Marrón +6 more
wiley +1 more source
Advanced Materials, EarlyView.Ordered three‐dimensional anodic aluminum oxide (3D‐AAO) nanoarchitectures with longitudinal and transverse pores enable architecture‐driven metamaterials. The review maps fabrication advances, including hybrid pulse anodization, and shows how 3D‐AAO templates tailor properties across magnetism, energy, catalysis, and sensing.
Marisol Martín‐González
wiley +1 more source