Results 41 to 50 of about 555 (189)

Magnetic Textiles: A Review of Materials, Fabrication, Properties, and Applications

Advanced Materials Technologies, EarlyView.
Magnetic textiles (M‐textiles) are emerging as a programmable materials platform that merges magnetic matter with hierarchical textile structures. This article consolidates magnetic material classes, textile architectures, and fabrication and magnetization strategies, revealing structure–property–function relationships that govern magneto‐mechanical ...
Li Ke, Moses Kumi, Xiaoming Tao, Junhong Pu   +3 more
wiley   +1 more source

Verification of Networks of Timed Automata using mCRL2

, 2008
It has been our long time wish to combine the best parts of the real-time verification methods based on timed automata (TA) (the use of regions and zones), and of the process-algebraic approach of languages like LOTOS and timed muCRL.
Reniers, Michel, Groote, Jan Friso, Usenko, Y.S., Jan Friso Groote, Groote, J.F., Usenko, Yaroslav, Reniers, M.A.; id_orcid, Michel A. Reniers, Reniers, M.A. (Michel), Yaroslav S. Usenko, Groote, J.F. (Jan Friso), Reniers, M.A., Groote, J.F.; id_orcid, Usenko, Y.S. (Yaroslav)   +13 more
core   +1 more source

The complexity of small universal Turing machines : a survey [PDF]

, 2009
We survey some work concerned with small universal Turing machines, cellular automata, tag systems, and other simple models of computation. For example it has been an open question for some time as to whether the smallest known universal Turing machines ...
Woods, Damien, Neary, Turlough
core   +1 more source

Multiscale Microscopy via Automation: Dual Magnification Environmental Scanning Electron Microscopy Imaging by Frame Alternation

Advanced Materials Technologies, EarlyView.
An automation interface for environmental scanning electron microscopy (ESEM) enables simultaneous, interlaced data sets via frame‐by‐frame parameter changes. Demonstrated on oscillatory hydrogen oxidation over cobalt (Co) foil, dual‐magnification imaging bridges mesoscopic to microscopic length scales, capturing alternating views of surface dynamics ...
Maurits Vuijk, Johannes Zeininger, Luis Sandoval‐Diaz, Günther Rupprechter, Beatriz Roldan Cuenya, Karsten Reuter, Thomas Lunkenbein, Christoph Scheurer   +7 more
wiley   +1 more source

Efficient Computation of the Shapley Value for Centrality in Networks

, 2010
The Shapley Value is arguably the most important normative solution concept in coalitional games. One of its applications is in the domain of networks, where the Shapley Value is used to measure the relative importance of individual nodes.
Michalak, Tomasz P, Michalak, Tomasz P., Ravindran, Balaraman, Aadithya, Karthik V., Nicholas R. Jennings, Jennings, Nicholas R., Jennings, Nicholas R, Aadithya, Karthik V, Karthik V. Aadithya, Balaraman Ravindran, Tomasz P. Michalak   +10 more
core   +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

Information Transmission Strategies for Self‐Organized Robotic Aggregation

Advanced Robotics Research, EarlyView.
In this review, we discuss how information transmission influences the neighbor‐based self‐organized aggregation of swarm robots. We focus specifically on local interactions regarding information transfer and categorize previous studies based on the functions of the information exchanged.
Shu Leng, Zihan Li, Yifeng Shao, Jinhao Liu, Li Yu, Shuguang Li   +5 more
wiley   +1 more source

A molecular approach to complex adaptive systems [PDF]

, 2007
Complex Adaptive Systems (CAS) are dynamical networks of interacting agents which as a whole determine the behavior, adaptivity and cognitive ability of the system. CAS are ubiquitous and occur in a variety of natural and artificial systems (e.g., cells,
McMullin, Barry, Decraene, James, Mitchell, George G.   +2 more
core  

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

State-Regularized Recurrent Neural Networks to Extract Automata and Explain Predictions

, 2022
Recurrent neural networks are a widely used class of neural architectures. They have, however, two shortcomings. First, they are often treated as black-box models and as such it is difficult to understand what exactly they learn as well as how they ...
Niepert, Mathias, Lawrence, Carolin, Wang, Cheng   +2 more
core