Results 181 to 190 of about 1,643,554 (351)

Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation

, 2018
Fahad R. Golra, Fabien Dagnat, Jeanine Souquières, Imen Sayar, Sylvain Guérin   +4 more
openalex   +2 more sources

Photonics of Topological Magnetic Textures

Advanced Optical Materials, EarlyView.
Localized noncollinear magetic textures imprint their geometry and topology onto traversing photonic fields endowing them with orbital angular‐momentum, chirality, and magnetoelectric densities. Abstract Topological textures in magnetically ordered materials are an important case studies for fundamental research with promising applications in data ...
Vakhtang Jandieri, Ramaz Khomeriki, Daniel Erni, Nicolas Tsagareli, Qian Li, Douglas H. Werner, Jamal Berakdar   +6 more
wiley   +1 more source

Towards robust electronic health record systems: integrating formal verification and process modeling techniques. [PDF]

BMC Med Res Methodol
Khan S, Akhtar N, Mushtaq MF, Abdel Samee N, Mahmoud NF, Ashraf I.   +5 more
europepmc   +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

Ideological bias in the production of research findings. [PDF]

Sci Adv
Borjas GJ, Breznau N.
europepmc   +1 more source

Synthesis of AMBA AHB from formal specification: a case study

International Journal on Software Tools for Technology Transfer (STTT), 2011
Yashdeep Godhal, Krishnendu Chatterjee, T. Henzinger   +2 more
semanticscholar   +1 more source

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

Peripheral Blood CD4/CD8 Ratio Predicts Out-of-Specification Products in Lisocabtagene Maraleucel Manufacturing. [PDF]

Cancer Rep (Hoboken)
Hirano T, Tatetsu H, Ueno S, Shichijo T, Nakamura T, Yamada A, Uchiba M, Kato K, Nosaka K, Matsuoka M, Yasunaga JI.   +10 more
europepmc   +1 more source

Operator Closure Constraint (OCC): Formal Specification and Falsification Protocol

Kyle Espeleta
openalex   +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