Results 81 to 90 of about 208 (204)
Cortex; a journal devoted to the study of the nervous system and behavior, 2020 A memory is defined implicit when the learned information is retrieved and used without awareness of remembering it and with no reference to the learning phase.
Cubelli, Roberto, Della Sala, Sergio
openaire +2 more sources
Implicit Definability in Arithmetic [PDF]
Notre Dame Journal of Formal Logic, 2016 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +4 more sources
Recent Advances of Slip Sensors for Smart Robotics
Advanced Materials Technologies, EarlyView.This review summarizes recent progress in robotic slip sensors across mechanical, electrical, thermal, optical, magnetic, and acoustic mechanisms, offering a comprehensive reference for the selection of slip sensors in robotic applications. In addition, current challenges and emerging trends are identified to advance the development of robust, adaptive,
Xingyu Zhang +8 more
wiley +1 more source
Advanced Materials Technologies, EarlyView.High‐aspect‐ratio low‐melting‐point alloy inclusions are embedded within multilayer silicone laminates to create thermally programmable stiffness. Sequential activation of alloy‐rich layers produces four distinct mechanical states and reconfigures tendon‐driven actuator trajectories under the same load.
Palpolage Don Shehan Hiroshan Gunawardane +4 more
wiley +1 more source
Advanced Materials Technologies, EarlyView.Copper electroplating transforms lightweight 3D‐printed TPMS polymer lattices into effective electromagnetic shields. Topology, relative density, and conductive seed layer continuity govern copper penetration, electrical resistance, and attenuation. SEA consistently exceeds SER, while 35% RD Diamond lattice gives the best performance, reaching 48.72 dB
Aman Al Khatib +6 more
wiley +1 more source
Dynamic Fluorescence Modulation via Light‐Driven Competitive Protonation
Advanced Optical Materials, EarlyView.A two‐component molecular system demonstrates reversible, light‐driven fluorescence write–erase cycling and thermal imaging. Illumination of a merocyanine photoacid transfers a proton to a highly efficient fluorescent pyridinium dye, switching its emission color; thermal relaxation reverses the process in the dark.
Serena X. Liu +10 more
wiley +1 more source
Advanced Robotics Research, EarlyView.A soft robotic simulator is developed to replicate the digital removal of feces (DRF), a sensitive yet essential nursing procedure. Integrating soft actuators, sensors, and a realistic rectal model, the simulator balances functional fidelity with perceptual realism. Engineering evaluations and nurse feedback confirm its potential to enhance training in
Shoko Miyagawa +10 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 +5 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
Journal of Symbolic Logic, 2004 Abstract.We describe a general method how to construct from a prepositional proof system P a possibly much stronger proof system iP. The system iP operates with exponentially long P-proofs described “implicitly” by polynomial size circuits.As an example we prove that proof system iEF, implicit EF, corresponds to bounded arithmetic theory and hence, in
openaire +4 more sources