Results 31 to 40 of about 6,133 (182)
Theorem proving support in programming language semantics [PDF]
, 2007 We describe several views of the semantics of a simple programming language as formal documents in the calculus of inductive constructions that can be verified by the Coq proof system.
Bertot, Yves
core +3 more sources
Synthesizing Program Input Grammars
, 2017 We present an algorithm for synthesizing a context-free grammar encoding the language of valid program inputs from a set of input examples and blackbox access to the program.
Albarghouthi A. +14 more
core +1 more source
Advanced Functional Materials, EarlyView.This review maps how MOFs can manage hazardous gases by combining adsorption, neutralization, and reutilization, enabling sustainable air‐pollution control. Covering chemical warfare agent simulants, SO2, NOx, NH3, H2S, and volatile organic compounds, it highlights structure‐guided strategies that boost selectivity, water tolerance, and cycling ...
Yuanmeng Tian +8 more
wiley +1 more source
Advanced Materials, EarlyView.AI‐Assisted Workflow for (Scanning) Transmission Electron Microscopy: From Data Analysis Automation to Materials Knowledge Unveiling. Abstract (Scanning) transmission electron microscopy ((S)TEM) has significantly advanced materials science but faces challenges in correlating precise atomic structure information with the functional properties of ...
Marc Botifoll +19 more
wiley +1 more source
The Use of Translator Implementation Methods for Writing Nonprocedural Interfaces to Application Software Systems [PDF]
, 1982 One of the results of advances in computer hardware technology is a wider use of computers in almost all areas of society. There is a need to make it possible for many people to use application software systems that are produced for different areas.
Melichar, B.
core
Bacteria‐Responsive Nanostructured Drug Delivery Systems for Targeted Antimicrobial Therapy
Advanced Materials, EarlyView.Bacteria‐responsive nanocarriers are designed to release antimicrobials only in the presence of infection‐specific cues. This selective activation ensures drug release precisely at the site of infection, avoiding premature or indiscriminate release, and enhancing efficacy.
Guillermo Landa +3 more
wiley +1 more source
Review of Thin Lithium Metal Battery Anode Fabrication – Microstructure – Electrochemistry Relations
Advanced Materials, EarlyView.Thin, lightweight lithium‐metal anodes are pivotal for practical high‐energy batteries. This review surveys processing routes that convert diverse Li precursors, e.g., ingots, melts, solutions, and vapor, into Li‐rich foils with controlled thickness, areal density, and tailored functionality.
Yuhang Hu +6 more
wiley +1 more source
The Logic of the Method of Agent-Based Simulation in the Social Sciences: Empirical and Intentional Adequacy of Computer Programs [PDF]
The classical theory of computation does not represent an adequate model of reality for simulation in the social sciences. The aim of this paper is to construct a methodological perspective that is able to conciliate the formal and empirical logic of ...
Helder Coelho +2 more
core
Radiation‐Resistant Aluminum Alloy for Space Missions in the Extreme Environment of the Solar System
Advanced Materials, EarlyView.A novel ultrafine‐grained aluminum crossover alloy exhibits unprecedented radiation resistance and mechanical stability under extreme irradiation doses up to 100 dpa. The exceptional resilience arises from thermodynamically stable T‐phase precipitates, enabling lightweight structural materials for next‐generation spacecraft and extraterrestrial ...
Patrick D. Willenshofer +9 more
wiley +1 more source
Stabilizing Frustrated Phase Transitions in Selective Oxidation Reactions
Advanced Materials, EarlyView.Using multimodal operando spectromicroscopy, the frustrated phase transition responsible for selective oxidation over cobalt oxide spinel catalysts is identified, corresponding to combined surface reaction and Mars‐van Krevelen (MvK) dynamics. This regime is disrupted by the formation of mobile vacancies and the depletion of active oxygen at high ...
Luis Sandoval‐Diaz +11 more
wiley +1 more source