Results 161 to 170 of about 283,349 (325)
Intransitive Temporal Multi-agent Logic with Agents’ Multi-valuations. Decidability
Известия Иркутского государственного университета: Серия "Математика"We study intransitive temporal multi-agent logic with agents’ multi-valuations for letters and formulas. In previous wide accepted research the time and knowledge primarily were modeled by Kripke models with structure looking as simply a single time ...
K. V. Grekovich +2 more
doaj +1 more source
Neuromorphic Computing with Memcapacitors: Advancements, Challenges, and Future Directions
Advanced Electronic Materials, EarlyView.Neuromorphic computing reduces energy costs by integrating memory and processing in event‐driven architectures, achieving energy usage as low as 10–30 pJ per operation for memcapacitor‐based synapses. Memcapacitors are reviewed as strong contenders for neuromorphic computing, enhancing AI acceleration through charge‐based computations, high resistance,
Nada AbuHamra +4 more
wiley +1 more source
Discrete linear temporal logic with current time point clusters, deciding algorithms
, 2008 Vladimir V. Rybakov
openalex +2 more sources
Agribusiness, EarlyView.Abstract Futures markets are critical to price discovery and often dominate spot markets. We analyze the linkages between daily corn futures and spot prices in the United States using dynamic time warping. This nonparametric pattern recognition technique has several advantages over traditional time series methods.
Dragan Miljkovic +2 more
wiley +1 more source
In Situ Graph Reasoning and Knowledge Expansion Using Graph‐PRefLexOR
Advanced Intelligent Discovery, EarlyView.Graph‐PRefLexOR is a novel framework that enhances language models with in situ graph reasoning, symbolic abstraction, and recursive refinement. By integrating graph‐based representations into generative tasks, the approach enables interpretable, multistep reasoning.
Markus J. Buehler
wiley +1 more source
Designing Memristive Materials for Artificial Dynamic Intelligence
Advanced Intelligent Discovery, EarlyView.Key characteristics required of memristors for realizing next‐generation computing, along with modeling approaches employed to analyze their underlying mechanisms. These modeling techniques span from the atomic scale to the array scale and cover temporal scales ranging from picoseconds to microseconds. Hardware architectures inspired by neural networks
Youngmin Kim, Ho Won Jang
wiley +1 more source
Linear Temporal Logic and Propositional Schemata, Back and Forth
, 2011 Vincent Aravantinos +2 more
openalex +2 more sources
Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free [PDF]
, 2019 Daniel Neider +2 more
openalex +1 more source
Deep Learning‐Assisted Design of Mechanical Metamaterials
Advanced Intelligent Discovery, EarlyView.This review examines the role of data‐driven deep learning methodologies in advancing mechanical metamaterial design, focusing on the specific methodologies, applications, challenges, and outlooks of this field. Mechanical metamaterials (MMs), characterized by their extraordinary mechanical behaviors derived from architected microstructures, have ...
Zisheng Zong +5 more
wiley +1 more source