Results 131 to 140 of about 970,866 (376)
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
A Symbolic Execution Algorithm for Constraint-Based Testing of Database Programs
, 2015 In so-called constraint-based testing, symbolic execution is a common technique used as a part of the process to generate test data for imperative programs.
Hainaut, Jean-Luc +2 more
core
Map2Check: Using Symbolic Execution and Fuzzing [PDF]
, 2020 Herbert Rocha +3 more
openalex +1 more source
Dependence Guided Symbolic Execution
IEEE Transactions on Software Engineering, 2017 Symbolic execution is a powerful technique for systematically exploring the paths of a program and generating the corresponding test inputs. However, its practical usage is often limited by the path explosion problem, that is, the number of explored paths usually grows exponentially with the increase of program size.
Haijun Wang +5 more
openaire +1 more source
Hard‐Magnetic Soft Millirobots in Underactuated Systems
Advanced Robotics Research, EarlyView.This review provides a comprehensive overview of hard‐magnetic soft millirobots in underactuated systems. It examines key advances in structural design, physics‐informed modeling, and control strategies, while highlighting the interplay among these domains.
Qiong Wang +4 more
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 +4 more
wiley +1 more source
Advanced Science, EarlyView.Vitamin D (VitD) modulates olfactory function by remodeling dendrodendritic synapses in tufted cells through vitamin D receptor‐dependent transcriptional and translational mechanisms. VitD regulates synaptic protein translation partially via mTOR signaling.
Pengcheng Ren +9 more
wiley +1 more source
Advanced Science, EarlyView.Wedelolactone (WED), a natural TLR2 agonist, promotes neutrophil differentiation and enhances bactericidal function, offering a potential therapeutic strategy for neutropenia. Using a multi‐omics approach, this study reveals that WED activates the TLR2/MEK/ERK pathway, upregulating key transcription factors (PU.1, CEBPβ) to drive neutrophil development.
Long Wang +16 more
wiley +1 more source
From proof-of-concept to exploitable
Cybersecurity, 2019 Exploitability assessment of vulnerabilities is important for both defenders and attackers. The ultimate way to assess the exploitability is crafting a working exploit. However, it usually takes tremendous hours and significant manual efforts. To address
Yan Wang +5 more
doaj +1 more source
A reduced semantics for deciding trace equivalence using constraint systems
, 2014 Many privacy-type properties of security protocols can be modelled using trace equivalence properties in suitable process algebras. It has been shown that such properties can be decided for interesting classes of finite processes (i.e., without ...
A. Anisimov +7 more
core +1 more source