Results 111 to 120 of about 970,866 (376)
Advanced Materials, EarlyView.In this work, low bandgap (≈1.55 eV) semitransparent perovskite solar cells (ST‐PSCs) having thin (thickness < ≈100 nm) perovskite layers and transparent conductive oxide‐based rear electrodes are fabricated using vacuum‐deposition methods. Two different ST‐PSCs demonstrated a high light utilization efficiency value of 4.2 (PCE: 9.26% and AVT: 45.3 ...
Abhyuday Paliwal +9 more
wiley +1 more source
Symbolic Execution for (Almost) Free: Hijacking an Existing Implementation to Perform Symbolic Execution [PDF]
, 2014 Symbolic execution of a language is traditionally achieved by replacing the language s interpreter with an entirely new interpreter. This may be an unnecessary burden, and it is tempting instead to try to use as much of the existing interpret ...
Jackson, Daniel, Near, Joseph P.
core
ToyArchitecture: Unsupervised Learning of Interpretable Models of the World
, 2020 Research in Artificial Intelligence (AI) has focused mostly on two extremes: either on small improvements in narrow AI domains, or on universal theoretical frameworks which are usually uncomputable, incompatible with theories of biological intelligence ...
Andersson, Simon +12 more
core +1 more source
Vertical Self‐Rectifying Memristive Arrays for Page‐Wise Parallel Logic and Arithmetic Processing
Advanced Materials, EarlyView.This study proposes a page‐wise logic‐in‐memory architecture realized in a 3D vertical resistvie random‐access memory array of self‐rectifying memristors. By introducing intra‐ and inter‐page logic primitives, the system enables Boolean and arithmetic operations to be executed directly within the memory.
Kunhee Son +12 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
Труды Института системного программирования РАН, 2018 Historically program analysis methods are divided into two groups - static program analysis methods and dynamic program analysis methods. In this paper, we present a combined approach which allows to determine reachability for defects found by static ...
A. Y. Gerasimov +3 more
doaj +1 more source
, 2014 Behavioral software contracts are a widely used mechanism for governing the flow of values between components. However, run-time monitoring and enforcement of contracts imposes significant overhead and delays discovery of faulty components to run-time.
Nguyen, Phuc C. +2 more
core +1 more source
Symbolic Execution and Debugging Synchronization [PDF]
, 2020 Andrea Fioraldi
openalex +1 more source
Advanced Porous Materials for Maritime Carbon Capture
Advanced Materials, EarlyView.Carbon capture from emission sources, such as marine vessels, has attracted significant attention over the years. To achieve this goal, sorbents such as metal–organic frameworks (MOFs), porous polymer networks (PPNs), covalent organic frameworks (COFs), and their post‐synthetic modifications are currently being explored.
Kelechi Festus +6 more
wiley +1 more source
Advanced Materials, EarlyView.The study reports a DNA/RNA heteroduplex hydrogel (SeroPTEN‐CG) that undergoes DNase‐mediated hydrogel‐to‐nanogel transition for spinal cord injury therapy by targeting the serotonergic system, combining 5‐hydroxytryptamine (5‐HT)‐mediated excitability restoration to reactivate dormant interneurons with phosphatase and tensin homolog (PTEN)‐targeted ...
Chunlin Li +19 more
wiley +1 more source