Results 111 to 120 of about 42,644,411 (279)

Data‐Driven Materials Science for Energy‐Sustainable Applications

Advanced Materials, EarlyView.
Data‐driven approaches powered by artificial intelligence are transforming materials discovery for energy sustainability. This review examines how auto‐generated high‐quality materials databases and domain‐specific language models accelerate research in photovoltaics, thermoelectrics, batteries and magnetic materials. Applications involve extraction of
Jacqueline M. Cole
wiley   +1 more source

Dogfooding the structural operational semantics of mCRL2 [PDF]

, 2011
The mCRL2 language is a formal specification language that is used to specify, model, analyze and verify behavioral properties for distributed systems and protocols.
Reniers, M.A.; id_orcid, M.A. Reniers, Groote, J.F., J.F. Groote, Stappers, F.P.M., F.P.M. Stappers, S. Weber, Reniers, M.A., Groote, J.F.; id_orcid, Weber, S.   +9 more
core   +2 more sources

Anchor-Constrained Residual Stacking for Missing Data Reconstruction in Structural Health Monitoring

Buildings
During long-term monitoring, data missing often happens due to environmental interference, sensor malfunction or transmission problems, which will threaten the effectiveness of structural health monitoring.
Du Guo, Chunfeng Wan, Miaomiao Peng, Yixu Wang, Caiqian Yang, Changqing Miao, Songtao Xue   +6 more
doaj   +1 more source

Closed‐Loop Solid‐State Synthesis Planning for Materials Discovery With Large Language Models

Advanced Materials, EarlyView.
Leveraging literature data, we build a large‐language‐model‐driven workflow that extracts synthesis steps from 4407 papers, retrieves similar precedents, and generates candidate solid‐state synthesis recipes. The system benchmarks against ground‐truth and then operates in a closed loop with experiments to synthesize oxy‐selenide electrolyte materials ...
Dong Won Jeon, Dong Hwi Kim, Taeyang Jeon, Joo Yeong Na, Heegyu Kim, Hyunsouk Cho, Dae Soo Jung, Ju Li, Jin‐Sung Park, Sung Beom Cho   +9 more
wiley   +1 more source

Wind-Induced Dynamic Response and Surface Accuracy Degradation Mechanism of Large Reflector Antenna: A CFD-FEM Coupled Fluid-Structure Interaction Approach

Aerospace
Large-aperture steerable reflector antennas are pivotal for deep-space exploration and satellite communication, but their high-frequency performance is often compromised by wind-induced structural deformations.
Huatong Liu, Peng Cao, Huiqian Hao, Zhifei Tan   +3 more
doaj   +1 more source

Toward Perception‐Native Electronic Skin: Bio‐Inspired In‐/Near‐Sensor and Neuromorphic Computing for Humanoid Robots

Advanced Materials Technologies, EarlyView.
Dense tactile streams from across the humanoid body converge on collide in a central wiring and data bottleneck. By relocating computation closer to and then into the skin itself, near‐ and in‐sensor architectures, together with neuromorphic computing, chart a path toward perception‐native electronic skin, in which the conversion of stimulus into ...
Mijin Kim, Chang‐Jae Beak, Jiyoung Park, Youngdo Jung, Sunjong Oh, Sin‐Hyung Lee, Bo‐Yeon Lee   +6 more
wiley   +1 more source

Structural Operational Semantics for Heterogeneously Typed Coalgebras.

, 2023
Concurrently interacting components of a modular software architecture are heterogeneously structured behavioural models. We consider them as coalgebras based on different endofunctors. We formalize the composition of these coalgebras as specially tailored segments of distributive laws of the bialgebraic approach of Turi and Plotkin.
Harald König, Uwe Wolter, Tim Kräuter
openaire   +5 more sources

Scalable Task Planning via Large Language Models and Structured World Representations

Advanced Robotics Research, EarlyView.
This work efficiently combines graph‐based world representations with the commonsense knowledge in Large Language Models to enhance planning techniques for the large‐scale environments that modern robots will need to face. Planning methods often struggle with computational intractability when solving task‐level problems in large‐scale environments ...
Rodrigo Pérez‐Dattari, Zhaoting Li, Robert Babuška, Jens Kober, Cosimo Della Santina   +4 more
wiley   +1 more source

LLM‐Integrated Human–Robot Interaction System for Microrobots

Advanced Robotics Research, EarlyView.
This paper proposes an LLM‐based control framework for guiding microrobots using human natural language. This framework can convert the natural human speech into safe and executable command sets for reliable navigation in complex environments. The experimental results show high accuracy and robustness in task performance, demonstrating the potential of
Bairong Zhu, Amar Salehi, Tingting Yu
wiley   +1 more source

A uniform definition of stochastic process calculi [PDF]

, 2012
We introduce a unifying framework to provide the semantics of process algebras, including their quantitative variants useful for modeling quantitative aspects of behaviors.
De Nicola, Rocco, Loreti, Michele, Massink, Mieke, Diego Lagella, Latella, Diego, Rocco De Nicola, Michele Loreti, De Nicola, R, Mieke Massink   +8 more
core   +1 more source