Results 101 to 110 of about 6,120 (267)

Typical Examples of Atoment Language Using

Моделирование и анализ информационных систем, 2011
Atoment is a domain-specific language of executable specifications, used to describe methods and techniques of program verification. In this paper a collection of typical examples of the use of the Atoment language, covering topics such as program models,
I. S. Anureev
doaj  

Bird Strike Risk in Aviation: A Calibrated Threshold-Optimized Machine Learning Decision Support

Mathematics
Bird–aircraft strikes are rare but high-impact events that pose persistent safety and operational challenges in aviation. Existing approaches often focus on predictive accuracy, with limited integration of probability calibration, rare-event precision ...
Luís F. F. M. Santos, Victor Tavares, Flávio Lázaro, Rui Melicio, Duarte Valério   +4 more
doaj   +1 more source

Controlled Synthesis of Tri‐ and Multi‐Doped Graphene

Advanced Materials Interfaces, EarlyView.
This review systematically evaluates synthesis routes for tri‐ and multi‐doped graphene, from hydrothermal and pyrolysis methods to flash Joule heating, critically assessing how each governs dopant incorporation, bonding configuration, and resulting electronic properties.
Maria Hasan, Alicja Bachmatiuk, Gražyna Simha Martynková, Karla Čech Barabaszová, Mark Hermann Rümmeli   +4 more
wiley   +1 more source

Turning Water Into a Tool: From Degradation Pathways to Functional Engineering in Halide Perovskites

Advanced Materials Technologies, EarlyView.
Water exhibits a threshold‐dependent dual role in lead halide perovskites, acting either as a degradation trigger or as a powerful tool for defect passivation, recrystallization, and structural engineering. This review discusses how controlled water‐mediated interactions govern stability, dimensionality, and optoelectronic performance, providing ...
Raphaella T. S. Gonçalves, Gabriela O. Gera, Aryane Tofanello, Jose A. Souza, Andre L. M. Freitas   +4 more
wiley   +1 more source

Extrusion Bioprinting for Wound Healing: Innovations in Functionalized Bioinks and Bioprinting Technology

Advanced Materials Technologies, EarlyView.
Extrusion‐based bioprinting (EBB) has emerged as a versatile biofabrication platform capable of precisely depositing bioinks composed of biomaterials, cells, and bioactive agents to generate patient‐specific, biomimetic skin constructs. This paper presents a state‐of‐the‐art and forward‐looking overview of EBB for wound healing, encompassing printing ...
Hien‐Phuong Le, Anh Tuan Trong Tran, Ammara Waheed, Tran Thanh Tung, Dusan Losic   +4 more
wiley   +1 more source

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

Defeasible logic programming: language definition, operational semantics, and parallelism

Journal of Computer Science and Technology, 2001
This thesis defines Defeasible Logic Programming and provides a concrete specification of this new language through its operational semantics. Defeasible Logic Programming, or DeLP for short, has been defined based on the Logic Programming paradigm and ...
Alejandro Javier García
doaj  

Learning Highly Dynamic Skills Transition for Quadruped Jumping Through Constrained Space

Advanced Robotics Research, EarlyView.
A quadruped robot masters dynamic jumps through constrained spaces with animal‐inspired moves and intelligent vision control. This hierarchical learning approach combines imitation of biological agility with real‐time trajectory planning. Although legged animals are capable of performing explosive motions while traversing confined spaces, replicating ...
Zeren Luo, Jiahui Zhang, Yimin Han, Ji Ma, Minghao Lu, Ioannis Havoutis, Peng Lu   +6 more
wiley   +1 more source

The Future of Research in Cognitive Robotics: Foundation Models or Developmental Cognitive Models?

Advanced Robotics Research, EarlyView.
Research in cognitive robotics founded on principles of developmental psychology and enactive cognitive science would yield what we seek in autonomous robots: the ability to perceive its environment, learn from experience, anticipate the outcome of events, act to pursue goals, and adapt to changing circumstances without resorting to training with ...
David Vernon
wiley   +1 more source

Grounding Large Language Models for Robot Task Planning Using Closed‐Loop State Feedback

Advanced Robotics Research, EarlyView.
BrainBody‐Large Language Model (LLM) introduces a hierarchical, feedback‐driven planning framework where two LLMs coordinate high‐level reasoning and low‐level control for robotic tasks. By grounding decisions in real‐time state feedback, it reduces hallucinations and improves task reliability.
Vineet Bhat, Ali Umut Kaypak, Prashanth Krishnamurthy, Ramesh Karri, Farshad Khorrami   +4 more
wiley   +1 more source