Results 171 to 180 of about 13,404,605 (326)

Gödel's modal interpretation of intuitionistic logic and its proof theory. [PDF]

Mon Hefte Math
von Plato J.
europepmc   +1 more source

Organic Materials of Tomorrow: Horizons of Artificial Intelligence

Advanced Materials, EarlyView.
This review examines machine learning techniques accelerating the discovery of organic semiconductors by linking molecular structure to properties. Key methods include graph neural networks, generative models, and active learning. Applications to organic photovoltaics demonstrate practical impact.
Harold Mena, J. Terence Blaskovits, Kun‐Han Lin, Denis Andrienko   +3 more
wiley   +1 more source

Deep Inference Proof Theory Equals Categorical Proof Theory Minus Coherence

, 2004
This paper links deep inference proof theory, as studied by Guglielmi et al., to categorical proof theory in the sense of Lambek et al.. It observes how deep inference proof theory is categorical proof theory, minus the coherence diagrams/laws. Coherence
Dominic J. D. Hughes
core  

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

Curves with prescribed rational points. [PDF]

Res Number Theory
Santicola K.
europepmc   +1 more source

Phase Engineering of Nanomaterials (PEN): Evolution, Current Challenges, and Future Opportunities

Advanced Materials, EarlyView.
This review summarizes the synthesis, phase transition, advanced characterization spanning ex situ to in situ and operando techniques, and diverse applications of phase engineering of nanomaterials (PEN). It further outlines key challenges and future opportunities, such as phase stability, architecture control, and artificial intelligence (AI)‐driven ...
Ye Chen, Zhanxi Fan, Jingjie Ge, Qiyuan He, Zhuangchai Lai, Jiawei Liu, Chaoliang Tan, Hua Zhang   +7 more
wiley   +1 more source

Resonance transformations for the ( 2 , 2 p + 1 ) minimal string via x - y swap: a proof of Artemev's conjecture. [PDF]

Lett Math Phys
Dekinga K, Shadrin S, Verlinde E.
europepmc   +1 more source

Metal Oxide Nano‐Interface Boosting the Deep Ultraviolet Adjustable Noise‐Filtering In‐Sensor Computing

Advanced Materials, EarlyView.
We show that sol‐gel‐fractured indium–magnesium oxide combines deep‐ultraviolet responsivity, high carrier mobility, and an excellent memory dynamic range. This unique materials platform enables deep‐ultraviolet long‐afterglow light‐emitting devices with multifunctional integration.
Zhongshi Ju, Peng Li, Jingsong Yuan, Boyuan Yu, Bin Han, Yusheng Chen, Jiangang Ma, Haiyang Xu, Yichun Liu, Paolo Samorì   +9 more
wiley   +1 more source

The profinite rigidity of torsion-free lamplighter groups. [PDF]

Math Ann
Nikolov N, Wykowski J.
europepmc   +1 more source

Sustainable Poly(Lactic Acid)/Graphene Oxide Bioelectronic Platform for Neurotransmitters Sensing and Tunable Stimulation of Astrocytes

Advanced Materials, EarlyView.
This work introduces sustainable PLA/graphene oxide bioelectronic interfaces featuring electrodes with tunable conductivity and strong electrocatalytic performance. These platforms were used to implement a new method for tuning astrocyte Ca2+ signaling and for the efficient detection of key biomarkers.
Alessandra Scidà, Giulia Cazzador, Roberta Fabbri, Matteo Calosi, Alessandro Silvestri, Andrea Candini, Fabiola Liscio, Franco Corticelli, Aikaterini Konstantoulaki, Andrea D'Iorio, Marco Caprini, Vincenzo Palermo, Monica Bertoldo, Valentina Benfenati, Chiara Zanardi, Emanuele Treossi   +15 more
wiley   +1 more source