Results 141 to 150 of about 485,027 (292)

Model checking for linear temporal logic: An efficient implementation [PDF]

This report provides evidence to support the claim that model checking for linear temporal logic (LTL) is practically efficient. Two implementations of a linear temporal logic model checker is described.
Pnueli, Amir, Sherman, Rivi
core   +1 more source

Signatures of Edge States in Antiferromagnetic Van der Waals Josephson Junctions

Advanced Materials, EarlyView.
ABSTRACT The combination of superconductivity and magnetic textures leads to unconventional superconducting phenomena, including new correlated and topological phases. Van der Waals (vdW) materials emerge as a versatile platform for exploring the interplay between these two competing orders.
Celia González‐Sánchez, Ignacio Sardinero, Jorge Cuadra, Alfredo Spuri, José A. Moreno, Hermann Suderow, Elke Scheer, Pablo Burset, Angelo Di Bernardo, Rubén Seoane Souto, Eduardo J. H. Lee   +10 more
wiley   +1 more source

All‐Optical Reconfigurable Physical Unclonable Function for Sustainable Security

Advanced Materials, EarlyView.
An all‐optical reconfigurable physical unclonable function (PUF) is demonstrated using plasmonic coupling–induced sintering of optically trapped gold nanoparticles, where Brownian motion serves as a robust entropy source. The resulting optical PUF exhibits high encoding density, strong resistance to modeling attacks, and practical authentication ...
Jang‐Kyun Kwak, Changgyun Moon, Hyun‐Bin Yu, Sunkook Kim, Dong‐Hwan Kim   +4 more
wiley   +1 more source

Mutual Exclusion between Fungal Species of the Fusarium Head Blight Complex in a Wheat Spike. [PDF]

Appl Environ Microbiol, 2015
Siou D, Gélisse S, Laval V, Suffert F, Lannou C.   +4 more
europepmc   +1 more source

Correlated Charge Transport in an Organic Coulomb Glass

Advanced Materials, EarlyView.
ABSTRACT Advances in the development of organic field‐effect transistors (OFETs), electrically gated organic semiconductors (EGOFETs), and organic electrochemical transistors (OECTs) allow for the operation of these devices at very high charge‐carrier densities, where Coulomb interactions between carriers can be expected to become significant.
Magdalena Sophie Dörfler, Heinz Bässler, Harald Oberhofer, Anna Köhler   +3 more
wiley   +1 more source

Large‐Scale Determination of Frontier Orbital Energies of Disordered Small‐Molecule Organic Semiconductors Using Exciplex Emission Spectra

Advanced Materials, EarlyView.
ABSTRACT Accurately knowing the frontier orbital energies of the structurally disordered small‐molecule organic semiconductors that are used in optoelectronic devices such as organic light‐emitting diodes is required to rationally improve their performance. Here, we show that these energies can be deduced with a large accuracy from the peak energies of
Christian B. McDonald, Hiroki Tomita, Giacomo Cotelli, Louka L. Brüll, Nanno G. de Rooij, Lucas R.L. Norg, Milo Clément, Reinder Coehoorn   +7 more
wiley   +1 more source

Spin‐Orbit Torque Induced by Switchable Crystal Inversion Symmetry Breaking

Advanced Materials, EarlyView.
An exotic crystal inversion symmetry breaking in SrRuO3/BiFeO3 heterostructure is revealed, and it can be reversibly manipulated by the ferroelectric polarization of BiFeO3. This crystal inversion symmetry breaking can dramatically enhance the spin‐orbit torque efficiency in the SrRuO3 layer by more than 60%, providing an alternative to design an ...
Zhenyi Zheng, Shu Shi, Zhongran Liu, Qihan Zhang, Naafis Ahnaf Shahed, Himanshu Mavani, Guowei Zhou, Qian Chen, Cheng Zhang, Zhanqi Zhou, Tieyang Zhao, Rui Xiao, Lanxin Jia, Liang Liu, Evgeny Y. Tsymbal, Xiaohong Xu, He Tian, Jingsheng Chen   +17 more
wiley   +1 more source

Aspects and Modalities of God’s Presence in the Old Testament

Kairos (English Ed.), 2009
This work wishes to present aspects of Jahweh’s presence as represented in Old Testament texts. It presents those aspects of immediate divine interventions such as some kind of “holy intrusion” (theophany), in relation to the permanent divine presence ...
Danijel Berković
doaj  

Elastomers Combining Damping Efficiency With Rapid Recovery

Advanced Materials Technologies, EarlyView.
Double network granular elastomers (DNGEs) combine high energy dissipation under both cyclic loading and high impact with rapid shape recovery. 3D printing enables the production of complex, customizable structures with tailored performance. Recyclable DNGEs retain their properties over multiple recycling cycles.
Eva Baur, Alain Molleyres, Esther Amstad
wiley   +1 more source

End‐to‐End Sensing Systems for Breast Cancer: From Wearables for Early Detection to Lab‐Based Diagnosis Chips

Advanced Materials Technologies, EarlyView.
This review explores advances in wearable and lab‐on‐chip technologies for breast cancer detection. Covering tactile, thermal, ultrasound, microwave, electrical impedance tomography, electrochemical, microelectromechanical, and optical systems, it highlights innovations in flexible electronics, nanomaterials, and machine learning.
Neshika Wijewardhane, Lyn I. Jones, Richard M. Martin, Helen Winter, Faezeh Arab Hassani   +4 more
wiley   +1 more source