Results 91 to 100 of about 1,698,712 (321)
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
Unprecedented Spin‐Lifetime of Itinerant Electrons in Natural Graphite Crystals
Advanced Functional Materials, EarlyView.Graphite exhibits extraordinary spintronic potential, with electron spin lifetimes reaching 1,000 ns at room temperature ‐ over 100 times longer than graphene‐based devices. Magnetic resonance spectroscopy reveals strong anisotropy: out‐of‐plane spins live 50 times longer than their in‐plane counterparts.
Bence G. Márkus +5 more
wiley +1 more source
Decision procedure for first-order linear temporal logic with semi-periodic kemels
Lietuvos Matematikos Rinkinys, 2002 There is not abstract.
Regimantas Pliuškevičius
doaj +3 more sources
A first-order Temporal Logic for Actions
, 2006 We present a multi-modal action logic with first-order modalities, which contain terms which can be unified with the terms inside the subsequent formulas and which can be quantified. This makes it possible to handle simultaneously time and states.
Schwind, Camilla
core +1 more source
One-dimensional fragment of first-order logic [PDF]
, 2014 We introduce a novel decidable fragment of first-order logic. The fragment is one-dimensional in the sense that quantification is limited to applications of blocks of existential (universal) quantifiers such that at most one variable remains free in the ...
Hella, Lauri, Kuusisto, Antti
core
Characterization of quantum states in predicative logic
, 2011 We develop a characterization of quantum states by means of first order variables and random variables, within a predicative logic with equality, in the framework of basic logic and its definitory equations.
G. Battilotti +7 more
core +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
Lifted Inference beyond First-Order Logic [PDF]
, 2023 Sagar Malhotra +2 more
openalex +1 more source
Local Thermal Conductivity Patterning in Rotating Lattice Crystals of Anisotropic Sb2S3
Advanced Functional Materials, EarlyView.Microscale control of thermal conductivity in Sb2S3 is demonstrated via laser‐induced rotating lattice crystals. Thermal conductivity imaging reveals marked thermal transport anisotropy, with the c axis featuring amorphous‐like transport, whereas in‐plane directions (a, b) exhibit 3.5x and 1.7x larger thermal conductivity.
Eleonora Isotta +13 more
wiley +1 more source
Advanced Functional Materials, EarlyView.An adapted processing for solvent‐free argyrodite solid electrolyte films based on insights into degradation mechanisms of the widely used binder polytetrafluoroethylene is presented. By adapting the dry film processing, long‐term cycling in Si||NMC pouch cells is demonstrated over more than 1000 cycles with a capacity retention of more than 80%, and ...
Maria Rosner +10 more
wiley +1 more source