Results 51 to 60 of about 961,827 (257)
Supporting AI Readiness Through Digital Workflows in Materials Science
Advanced Engineering Materials, EarlyView.Digitalization drives innovation in materials science by connecting data silos and turning heterogeneous processes into reusable research pipelines. Across 13 MaterialDigital projects, digital workflows reveal complementary pathways toward AI‐ready materials research, founded on structured data, persistent artifacts, executable orchestration, and ...
Marian Bruns +67 more
wiley +1 more source
Modalities in medieval logic [PDF]
, 2009 This dissertation is an exercise in conceptual archeology. Using the tools of contemporary logic we analyse texts in medieval logic and reconstruct their logical theories by creating a formal framework which models them. Our focus is medieval texts which
Uckelman, S.L., Uckelman, Sara L.
core +20 more sources
Executable First-Order Queries in the Logic of Information Flows [PDF]
Logical Methods in Computer ScienceThe logic of information flows (LIF) has recently been proposed as a general framework in the field of knowledge representation. In this framework, tasks of procedural nature can still be modeled in a declarative, logic-based fashion.
Heba Aamer +4 more
doaj +1 more source
Detecting Anomalous Cell Behavior in Electrochemical Battery Testing Using Machine Learning
Advanced Engineering Materials, EarlyView.Machine‐learning‐based screening enables automated identification of anomalous battery cells from complementary electrochemical tests. A curated battery database supports configuration‐aware comparison of rate‐capability and impedance data. Supervised classification of rate‐test data achieves 90% accuracy, while CNN‐VAE‐based impedance analysis reaches
Minu Rose +7 more
wiley +1 more source
Advanced Functional Materials, EarlyView.An all‐in‐one analog AI accelerator is presented, enabling on‐chip training, weight retention, and long‐term inference acceleration. It leverages a BEOL‐integrated CMO/HfOx ReRAM array with low‐voltage operation (<1.5 V), multi‐bit capability over 32 states, low programming noise (10 nS), and near‐ideal weight transfer.
Donato Francesco Falcone +11 more
wiley +1 more source
ARGUMENTATION OF PROCEDURAL DOCUMENTS WITHIN THE FRAMEWORK OF THE CRIMINAL PROSECUTION [PDF]
Legea și ViațaThis article is dedicated to the analysis of the role and importance of the argument of procedural acts in criminal proceedings. The article highlights the importance of persuasive argumentation and motivation of procedural acts in each phase of the ...
Sofia PILAT, Artiom PILAT
doaj +1 more source
Advanced Functional Materials, EarlyView.Edible electronics needs integrated logic circuits for computation and control. This work presents a potentially edible printed chitosan‐gated transistor with a design optimized for integration in circuits. Its implementation in integrated logic gates and circuits operating at low voltage (0.7 V) is demonstrated, as well as the compatibility with an ...
Giulia Coco +8 more
wiley +1 more source
The Basic Intuitionistic Logic of Proofs [PDF]
, 2007 The language of the basic logic of proofs extends the usual propositional language by forming sentences of the sort x is a proof of F for any sentence F.
Artemov, S. +3 more
core
, 2011 Taking Backward Induction as its running example, this paper explores avenues for a logic of information-driven social action. We use recent results on limit phenomena in knowledge updating and belief revision, procedural rationality, and a ‘Theory of ...
van Benthem, J., Johan van Benthem
core +1 more source
Advanced Functional Materials, EarlyView.Significant nanoscale oxygen diffusion coefficient variations are measured in ferroelectric hafnium zirconium oxide films with grain boundaries and electrode interfaces exhibiting values 104 times larger than the grain cores. Overall coefficients are 10X larger for films prepared with metal nitride electrodes compared to refractory metals. New insights
Liron Shvilberg +6 more
wiley +1 more source