Results 81 to 90 of about 66,342 (310)

Automating Chemical Reasoning in High‐Throughput Phase Identification With a Probabilistic, LLM‐Guided Framework

Advanced Science, EarlyView.
Autonomous laboratories can now synthesize materials faster than experts can interpret the resulting diffraction data. A probabilistic framework combines refinement‐fit metrics with large language model‐derived chemical reasoning to rank competing phase interpretations and flag those unsuitable for autonomous use.
Olympia Dartsi, Lauren N. Walters, Amalie E. Trewartha, Steven B. Torrisi, Amanda Volk, Liam Joyce, Gerbrand Ceder, Anubhav Jain   +7 more
wiley   +1 more source

Fusing Direct and Indirect Measurements Through Multi‐Fidelity Learning For Accelerated Electrocaloric Materials Discovery

Advanced Science, EarlyView.
A multi‐fidelity framework integrates sparse direct and abundant indirect electrocaloric measurements. Multi‐objective active learning accelerates BaTiO3‐based electrocaloric materials discovery at –70∘C$^{\circ }{\rm C}$. A diffuse transition enables an electrocaloric strength of 0.06×$\times$10−6 Km/V at –70℃ with an operational temperature span of ...
Bo Wang, Pengfei Dang, Yuan Tian, Zhengwang He, Wei Gu, Lixue Zhang, Turab Lookman, Yumei Zhou, Dezhen Xue   +8 more
wiley   +1 more source

Neural Network Classification and Formalization

In order to assist the field of neural networks in maturing, a formalization and a solid foundation are essential. Additionally, to permit the introduction of formal proofs, it is essential to have an all- encompassing formal mathematical definition of a
Fiesler, Emile
core   +1 more source

Van der Waals Heterostructures for Next‐Generation Spintronics: Multiferroic‐Mediated Magnetoelectric Properties

Advanced Science, EarlyView.
As CMOS technology approaches fundamental energy limits, new paradigms for low‐power information processing are required. Magnetic systems are attractive for their spin transport, yet current‐induced magnetization control is energy inefficient. Multiferroic heterostructures enable energy‐efficient electric field manipulation of magnetism.
Donghyeon Lee, Jiwoong Yang, Inhyeok Oh, Sanghan Lee   +3 more
wiley   +1 more source

Pothos formalization

, 2022
<p>The Coq formalization of Pothos. Which belongs to my master thesis: </p> <p>Proving functional correctness of monadic programs using separation logic.</p> <p>At tu delft.</p ...
Clark, Liam
core   +1 more source

Universal Battery Capacity Degradation Forecasting Driven by Foundation Models Across Diverse Chemistries and Conditions

Advanced Science, EarlyView.
A unified time‐series forecasting framework learns transferable battery capacity‐degradation patterns from 20 heterogeneous datasets spanning chemistries, formats, temperatures, and cycling conditions. A single model delivers competitive predictions on both known and previously unseen datasets, while physics‐guided representation learning improves ...
Joey Chan, Huan Wang, Zhen Chen, Haoyu Pan, Wei Wu, Zirong Wang, Ershun Pan, Min Xie, Lifeng Xi   +8 more
wiley   +1 more source

Le rôle des « Berbechas » en Tunisie : Le pilier marginalisé de l’économie circulaire ?

VertigO
In Tunisia, informal waste pickers known as Berbechas play a central role in the waste recovery and recycling chain, yet remain excluded from institutional waste management frameworks.
Maha Bouhlel-Abid
doaj   +1 more source

The Interplay of Curvature, Geometry, and Topology Shapes Tissue Organisation in Epithelial Shells

Advanced Science, EarlyView.
Purely geometric 3D Voronoi models predict the organisation of epithelial shells. The interplay of curvature, geometry, and topology enriches the number of pentagons in shells with lower number of cells. Small MDCK cysts and Mouse embryos match the top polygonal configurations in a compactness‐based ranking derived from the Voronoi model. In conclusion,
Laura Morato, Jesús A. Andrés‐San Román, Juan Garrido‐García, Carmen Gordillo‐Vázquez, Ana M. Palacios, Elisabeth Lidueña‐Fernández, Katie McDole, Pedro Gómez‐Gálvez, Valentina Annese, Luis M. Escudero   +9 more
wiley   +1 more source

Formalizing the informalities in human settlements in South Africa: divergent pathways for sustainable and inclusive social development

Frontiers in Sustainable Resource Management
This study explores the divergent pathways toward formalizing informal settlements in South Africa, highlighting the tensions between state-led urban modernization and community-driven adaptation.
Robert Mutemi Kajiita, Simon Murote Kangéthe   +1 more
doaj   +1 more source

Integrating semi-formal and formal requirements

, 1997
In this paper, we report on the integration of informal, semiformal and formal requirements specification techniques. We present a framework for requirements specification called TRADE, within which several well-known semiformal specification techniques are placed.
Wieringa, Roelf J., Dubois, Eric, Huyts, Sander   +2 more
openaire   +1 more source