Results 161 to 170 of about 970,866 (376)

Microscale Mapping of Fiber Strain and Damage in Composite Wrinkled Laminates Using Computed Tomography Assisted Wide‐Angle X‐Ray Scattering

Advanced Science, EarlyView.
This study combines full‐field tomography with diffraction mapping to quantify radial (ε002$\varepsilon _{002}$) and axial (ε100$\varepsilon _{100}$) lattice strain in wrinkled carbon‐fiber specimens for the first time. Radial microstrain gradients (−14.5 µεMPa$\varepsilon \mathrm{MPa}$−1) are found to signal damage‐prone zones ahead of failure, which ...
Hoang Minh Luong, James Trevarthen, Igor Dolbnya, Wadwan Singhapong, Nicholas Pilato, Richard Butler, Jiraphant Srisuriyachot, Alexander J. G. Lunt   +7 more
wiley   +1 more source

Unsupervised Hierarchical Symbolic Regression for Interpretable Property Modeling in Complex Multi‐Variable Systems

Advanced Science, EarlyView.
UHSR translates complex chemical behavior into clear and explainable equations. Applied to thin‐layer chromatography, it automatically uncovers the mathematical rules linking a molecule's structure to its polarity. This approach matches the accuracy of advanced AI while providing interpretable results, earning greater trust from chemists. The method is
Siyu Lou, Chengchun Liu, Dongxiao Zhang, Yuntian Chen, Fanyang Mo   +4 more
wiley   +1 more source

A Murine Database of Structural Variants Identifies A Candidate Gene for a Spontaneous Murine Lymphoma Model

Advanced Science, EarlyView.
We analyzed long‐read genomic sequencing data obtained from 40 inbred mouse strains to produce a large database of structural variants. This dataset captures the major types of structural variants, which includes deletions, insertions, duplications, and inversions.
Wenlong Ren, Zhuoqing Fang, Egor Dolzhenko, Christopher T. Saunders, Zhuanfen Cheng, Victoria Popic, Gary Peltz   +6 more
wiley   +1 more source

Constraint Solving with Deep Learning for Symbolic Execution [PDF]

, 2020
Junye Wen, Mujahid Khan, Meiru Che, Yan Yan, Guowei Yang   +4 more
openalex   +1 more source

Reconfigurable Combinational Logic Operations Using Triple‐Gated Feedback Field‐Effect Transistors for Logic‐In‐Memory Computing

Advanced Electronic Materials, EarlyView.
In this study, we demonstrated that four distinct combinational logic operations can be reconfigured and executed within a single circuit structure, where each reconfigurable logic‐in‐memory cell dynamically adapts its function. The reconfigurable logic‐in‐memory cell, composed of triple‐gated feedback field‐effect transistors, performs NOT, AND, OR ...
Dongki Kim, Yunwoo Shin, Hyojoo Heo, Kyoungah Cho, Sangsig Kim   +4 more
wiley   +1 more source

Quantification of Gaseous Products Evolved at Industrially Relevant Current Densities During CO2 Electroreduction and Water Electrolysis Using Online Gas Chromatography

Advanced Energy and Sustainability Research, EarlyView.
The dilution of gaseous products obtained at high‐current densities during CO2 electroreduction or water electrolysis enables their accurate quantification via online gas chromatography, which is crucial for reliable catalyst benchmarking. The corresponding Faradaic efficiencies can then be calculated with low deviations using two different instruments,
Raíssa Ribeiro Lima Machado, Bright Nsolebna Jaato, Torsten Claus Schmidt, Ignacio Sanjuán, Corina Andronescu   +4 more
wiley   +1 more source

Alk: A Formal-Methods-based Educational Platform for Enhancing Algorithmic Thinking

Scientific Annals of Computer Science
Algorithm design courses are fundamental to computer science curricula, but fostering algorithmic thinking in students is challenging due to the diverse skills and creativity required. Dedicated teaching support tools can help both course instructors and
Alexandru-Ioan Lungu, Vlad Teodorescu, Andrei Zaborila, Oana Andrei, Dorel Lucanu   +4 more
doaj   +1 more source

Symbolic Execution Techniques for Test Purpose Definition [PDF]

, 2006
Christophe Gaston, Pascale Le Gall, Nicolas Rapin, Assia Touil   +3 more
openalex   +1 more source

Triboelectric Tactile Transducers for Neuromorphic Sensing and Synaptic Emulation: Materials, Architectures, and Interfaces

Advanced Energy and Sustainability Research, EarlyView.
Triboelectric nanogenerators are vital for sustainable energy in future technologies such as wearables, implants, AI, ML, sensors and medical systems. This review highlights improved TENG neuromorphic devices with higher energy output, better stability, reduced power demands, scalable designs and lower costs.
Ruthran Rameshkumar, Arunkumar Chandrasekhar, Poongundran Selvaprabhu   +2 more
wiley   +1 more source

Exact and Approximate Probabilistic Symbolic Execution [PDF]

Probabilistic software analysis seeks to quantify the likelihood of reaching a target event under uncertain environments. Recent approaches compute probabilities of execution paths using symbolic execution, but do not support nondeterminism ...
Dwyer, Matthew B., Filieri, Antonio, Luckow, Kasper, Pasareanu, Corina S., Visser, Willem   +4 more
core   +1 more source