Results 41 to 50 of about 126,892 (230)

CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs

Proc. ACM Program. Lang.
The problem of automatically proving the equality of terms over recursive functions and inductive data types is challenging, as such proofs often require auxiliary lemmas which must themselves be proven. Previous attempts at lemma discovery compromise on
Cole Kurashige, Ruyi Ji, Aditya Giridharan, Mark Barbone, Daniel Noor, Shachar Itzhaky, Ranjit Jhala, N. Polikarpova   +7 more
semanticscholar   +1 more source

Quantifying Spin Defect Density in hBN via Raman and Photoluminescence Analysis

Advanced Functional Materials, EarlyView.
An all‐optical method is presented for quantifying the density of boron vacancy spin defects in hexagonal boron nitride (hBN). By correlating Raman and photoluminescence signals with irradiation fluence, defect‐induced Raman modes are identified and established an relationship linking optical signatures to absolute defect densities. This enables direct
Atanu Patra, Paul Konrad, Andreas Sperlich, Timur Biktagirov, Wolf Gero Schmidt, Lesley Spencer, Igor Aharonovich, Sven Höfling, Vladimir Dyakonov   +8 more
wiley   +1 more source

Digital Discovery of Synthesizable Metal−Organic Frameworks via Molecular Dynamics‑Informed, High‑Fidelity Deep Learning

Advanced Functional Materials, EarlyView.
Tabular foundation model interrogates the synthetic likelihood of metal−organic frameworks. Abstract Metal–organic frameworks (MOFs) are celebrated for their chemical and structural versatility, and in‑silico screening has significantly accelerated their discovery; yet most hypothetical MOFs (hMOFs) never reach the bench because their synthetic ...
Xiaoyu Wu, Rui Zheng, Quan Liu, Jianwen Jiang   +3 more
wiley   +1 more source

Integrative Approaches for DNA Sequence‐Controlled Functional Materials

Advanced Functional Materials, EarlyView.
DNA is emerging as a programmable building block for functional materials with applications in biomimicry, biochemical, and mechanical information processing. The integration of simulations, experiments, and machine learning is explored as a means to bridge DNA sequences with macroscopic material properties, highlighting current advances and providing ...
Aaron Gadzekpo, Ewa Anna Oprzeska‐Zingrebe, Mariana Kozlowska, Lennart Hilbert, Iliya D. Stoev   +4 more
wiley   +1 more source

Exciton Binding Energy Modulation in 2D Perovskites: A Phenomenological Keldysh Framework

Advanced Functional Materials, EarlyView.
The intrinsic screening effects are successfully decoupled from structural distortion by rigorously designing a series of 2D perovskites. This enabled us to demonstrate how the dielectric environment modulates the quasiparticle bandgap and exciton binding energy.
Kitae Kim, Namhee Kwon, Sang Woo Park, Wonsik Kim, Seunghwan Kim, Eunki Yoon, Aelim Ha, Donggyu Lee, Young Yong Kim, Jong‐Cheol Lee, Sungho Lee, Junghan Lee, Kyu Hyoung Lee, Yeonjin Yi, Ki‐Ha Hong, Soohyung Park   +15 more
wiley   +1 more source

Toward Scalable Solutions for Silver‐Based Gas Diffusion Electrode Fabrication for the Electrochemical Conversion of CO2 – A Perspective

Advanced Functional Materials, EarlyView.
In this study, the preparation techniques for silver‐based gas diffusion electrodes used for the electrochemical reduction of carbon dioxide (eCO2R) are systematically reviewed and compared with respect to their scalability. In addition, physics‐based and data‐driven modeling approaches are discussed, and a perspective is given on how modeling can aid ...
Simon Emken, K. Ashoke Raman, Alexander Bauer, Violeta Karyofylli, Eva Jodat, André Karl, Rüdiger‐A. Eichel   +6 more
wiley   +1 more source

Bio‐Orthogonally Crosslinked Supramolecular Polymer Bottlebrush Hydrogels for Long‐Term 3D Cell Culture

Advanced Functional Materials, EarlyView.
Fibrous benzenetrispeptide (BTP) hydrogels, fabricated via strain‐promoted azide‐alkyne cycloaddition (SPAAC) crosslinking, form robust, bioinert networks. These hydrogels can support 3D cell culture, where cell viability and colony growth depend on the fiber content.
Ceren C. Pihlamagi, David Pretzel, Peer Nölte, Kourosh Rezaei, Ulrich S. Schubert, Johannes C. Brendel   +5 more
wiley   +1 more source

Spectrally Tuned Floating‐Gate Synapse Based on Blue‐ and Red‐Absorbing Organic Molecules for Wavelength‐Selective Neural Networks and Fashion Image Classifications

Advanced Functional Materials, EarlyView.
The characteristics of a vertical floating gate heterostructure transistor device that exhibits neuromorphic potentiation under visible light illumination are investigated. Due to spectrally‐tuned absorbance properties of each thin film layer and introduction of tunneling dielectric, the device enables wavelength‐selective tuning of synaptic plasticity
Seungme Kang, Jisoo Park, Jinwoong Hong, Jinmin Park, Jeongbo Lee, Hyeonjung Kim, Wonjun Shin, Eva Bestelink, Radu A. Sporea, Seyong Oh, Chung Whan Lee, Yun‐Hi Kim, Hocheon Yoo   +12 more
wiley   +1 more source

From Mechanics to Electronics: Influence of ALD Interlayers on the Multiaxial Electro‐Mechanical Behavior of Metal–Oxide Bilayers

Advanced Functional Materials, EarlyView.
Ultrathin AlOxHy interlayers between aluminum films and polymer substrates significantly improve electro‐mechanical properties of flexible thin film systems. By precisely controlling interlayer thickness using atomic layer deposition, this study identifies an optimal interlayer thickness of 5–10 nm that enhances ductility and delays cracking.
Johanna Byloff, Vivek Devulapalli, Daniele Casari, Thomas E. J. Edwards, Claus O. W. Trost, Megan J. Cordill, Shuhel Altaf Husain, Pierre‐Olivier Renault, Damien Faurie, Barbara Putz   +9 more
wiley   +1 more source

Exciton‐Polaritons in Nanoscale Metal‐Organic Frameworks: A Platform for the Reversible Modulation of Strong Light‐Matter Coupling via the Chemical Environment

Advanced Functional Materials, EarlyView.
Strong exciton‐photon coupling is achieved by integrating porphyrin ligand‐based MOF nanoparticles in optical cavities, as evidenced by pronounced polariton branch anticrossing. The porous nature of the resonator enables precise, reversible tuning via vapor pressure, unlocking unprecedented chemical‐environment controlled dynamic polaritonic platforms ...
Beatriz de Sola‐Báez, Laura Caliò, Mauricio E. Calvo, Juan F. Galisteo‐López, Jesús Hernández‐Saz, Miriam Herrera‐Collado, Carolina Carrillo‐Carrión, Hernán Míguez   +7 more
wiley   +1 more source