Results 121 to 130 of about 6,185 (261)

Fundamental Challenges, Physical Implementations, and Integration Strategies for Ising Machines in Large‐Scale Optimization Tasks

Advanced Electronic Materials, EarlyView.
Ising machines are emerging as specialized hardware solvers for computationally hard optimization problems. This review examines five major platforms—digital CMOS, analog CMOS, emerging devices, coherent optics, and quantum systems—highlighting physics‐rooted advantages and shared bottlenecks in scalability and connectivity.
Hyunjun Lee, Joon Pyo Kim, Sanghyeon Kim
wiley   +1 more source

A Method of Analysis of Multithreaded Applications Based on Symbolic Execution

Безопасность информационных технологий, 2014
This article is devoted to method of search for bugs in multithreaded applications based on the symbolic execution algorithm. This method can deterministically find race of the conditions and dead locks in multithreaded applications providing thread ...
Ilya Viktorovich Arzamartsev, Georgy Ivanovich Borzunov   +1 more
doaj  

Analog Weight Update Rule in Ferroelectric Hafnia, Using picoJoule Programming Pulses

Advanced Electronic Materials, EarlyView.
Resistive, ferroelectric synaptic weights based on BEOL‐compatible hafnia/zirconia nanolaminates are fabricated. Lateral downscaling the devices below 10 µm2 enables 20 ns programming with electrical pulses, dissipating ≤ 3 pJ. Experimental results show that final conductance state is set by pulse amplitude, and is largely independent of the initial ...
Alexandre Baigol, Nikhil Garg, Matteo Mazza, Yanming Zhang, Elisa Zaccaria, Wooseok Choi, Bert Jan Offrein, Laura Bégon‐Lours   +7 more
wiley   +1 more source

People Counting and Positioning Using Low‐Resolution Infrared Images for FeFET‐Based In‐Memory Computing

Advanced Electronic Materials, EarlyView.
In this work, low‐resolution infrared imaging is combined with a 28 nm FeFET IMC architecture to enable compact, energy‐efficient edge inference. MLC FeFET devices are experimentally characterized, and controlled multi‐level current accumulation is validated at crossbar array level.
Alptekin Vardar, Li Zhang, Alexander Rehmer, Marc Lupp, Subhashree Baskaran, Osama Abdelaal, Franz Müller, Nandakishor Yadav, Bing Li, Thomas Kämpfe   +9 more
wiley   +1 more source

Artificial Intelligence for Fluorite Ferroelectric Materials: From Discovery to Optimization

Advanced Electronic Materials, EarlyView.
Artificial intelligence accelerates the discovery and optimization of HfO2‐based fluorite ferroelectrics by linking synthesis, structure, properties, and device performance. Machine learning, deep‐learning analysis, and AI‐driven atomistic modeling enable predictive design, dopant screening, and closed‐loop optimization toward next‐generation ...
Faizan Ali, David Lehninger, Florencio Sánchez, Ignasi Fina   +3 more
wiley   +1 more source

Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis. [PDF]

Softw Syst Model
Oakes BJ, Troya J, Galasso J, Wimmer M.
europepmc   +1 more source

Smart Exploration of Perovskite Photovoltaics: From AI Driven Discovery to Autonomous Laboratories

Advanced Energy Materials, EarlyView.
In this review, we summarize the fundamentals of AI in automated materials science, and review AI applications in perovskite solar cells. Then, we sum up recent progress in AI‐guided manufacturing optimization, and highlight AI‐driven high‐throughput and autonomous laboratories.
Wenning Chen, Zheyu Zhang, Kelvian T. Mularso, Bonghyun Jo, Hyun Suk Jung   +4 more
wiley   +1 more source

GraphRAG for engineering diagrams: ChatP&ID enables LLM interaction with P&IDs

AIChE Journal, EarlyView.
Abstract Piping and Instrumentation Diagrams (P&IDs) are central to process engineering workflows, yet extracting information from them remains a tedious and time‐consuming task. This work introduces ChatP&ID, a framework enabling natural‐language interaction with smart P&IDs through Graph Retrieval‐Augmented Generation (GraphRAG), to our knowledge ...
Achmad Anggawirya Alimin, Artur M. Schweidtmann   +1 more
wiley   +1 more source

Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints

Proceedings 2019 Network and Distributed System Security Symposium, 2019
Shiqi Shen, Shweta Shinde, Soundarya Ramesh, Abhik Roychoudhury, Prateek Saxena   +4 more
openaire   +2 more sources

AI‐Driven Cancer Multi‐Omics: A Review From the Data Pipeline Perspective

Advanced Intelligent Discovery, EarlyView.
The exponential growth of cancer multi‐omics data brings opportunities and challenges for precision oncology. This review systematically examines AI's role in addressing these challenges, covering generative models, integration architectures, Explainable AI for clinical trust, clinical applications, and key directions for clinical translation.
Shilong Liu, Shunxiang Li, Kun Qian
wiley   +1 more source