Results 121 to 130 of about 211,276 (289)
Symbolic PathFinder: Symbolic Execution of Java Bytecode [PDF]
, 2010 Symbolic Pathfinder (SPF) combines symbolic execution with model checking and constraint solving for automated test case generation and error detection in Java programs with unspecified inputs.
Pasareanu, Corina S., Rungta, Neha
core +1 more source
Advanced Science, EarlyView.ABSTRACT Class Switch Recombination (CSR) is essential for generating high‐affinity antibody isotypes from IgM during adaptive humoral responses. Despite well‐established roles for various transcription factors, whether CSR is subject to dedicated post‐transcriptional control represents a significant gap in knowledge.
Siyuan Sun +19 more
wiley +1 more source
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
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 +7 more
wiley +1 more source
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 +9 more
wiley +1 more source
Advanced Electronic Materials, EarlyView.This work proposes a machine‐vision‐based tool for predicting the thickness of in‐line deposited perovskite films, enabling real‐time decision making to control deposition parameters. The workflow integrates perovskite deposition and annealing with uniformity analysis and minimodule fabrication.
Juan Pablo Velásquez +9 more
wiley +1 more source
A Determined Algorithm of Code Analysis of Commodity Software
Безопасность информационных технологий, 2013 This article is devoted to the algorithm, which allows in finite iterations to determine required values of input data for certain state of software, or to prove that these values do not exist.
Ilya Viktorovich Arzamartsev +1 more
doaj
DLF: A Deep Active Ensemble Learning Framework for Test Case Generation
InformationHigh-quality test cases are vital for ensuring software reliability and security. However, existing symbolic execution tools generally rely on single-path search strategies, have limited feature extraction capability, and exhibit unstable model ...
Yaogang Lu, Yibo Peng, Dongqing Zhu
doaj +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 +4 more
wiley +1 more source