Results 141 to 150 of about 201,623 (302)
, 1992 The research of the last years on the definition of a logic language for databases, has mostly focused on DATALOG (Ceri '89), a logic language based on Horn clauses without functional symbols.
Riva, A., GAETA, Matteo, Arcelli, F.
core
Multimodal Haptic Perception Through Synergistic Nanocomposite Sensor Arrays
Advanced Materials Technologies, EarlyView.Multi‐modal fingertip haptics are advanced through a bioinspired &vertical‐via' electronic skin architecture. A confined PDMS/MWCNT/NiNP nanocomposite, sitting at the percolation threshold, enables tactile, thermal, and magnetic sensing. A unique via‐density gradient and dedicated &Un‐Touch' reference nodes provide robust spatial resolution and signal ...
Amos Bardea, Fernando Patolsky
wiley +1 more source
La calidad de la educación superior en Colombia
Revista Científica, 2011 his paper shows the results of the research, “Quality of Higher Educa- tion in Colombia in the New World Order”, which intended to make an approach to the problem woven around the fact that higher education has structural problems related to quality, due
Armando Lugo González
doaj
Higher-order and modal logic as a framework for explanation-based generalization
, 2018 : "Certain tasks, such as formal program development and theorem proving, are inherently higher-order because they fundamentally rely upon the manipulation of higher-order objects and predicates.
Frank Pfenning (5356877) +1 more
core +1 more source
Advanced Robotics Research, EarlyView.This article introduces a soft wearable eyelid sling device incorporating a hydraulic soft artificial muscle (SAM) for achieving complete closure of an eyelid. The SAM is driven by a cam mechanism that provides a displacement profile closely matched with those of a healthy eyelid.
Patrick Pruscino +7 more
wiley +1 more source
Advanced Robotics Research, EarlyView.An AI‐powered, robot‐assisted framework automatically produces, images, and analyzes 3D tumor spheroids to evaluate drug efficacy. Integrated modules handle spheroid formation, live/dead staining, brightfield imaging, and automated image analysis, including spheroid segmentation, viability and metrics to assess the drug treatment efficacy. The workflow
Dalia Mahdy +13 more
wiley +1 more source
Higher-order aspects of logic programming [PDF]
, 1994 Are higher-order extensions to logic programming needed? We suggest a negative answer by showing that higher-order features are already available in pure logic programming. It is demonstrated that higher-order lambda calculus-based languages can be compositionally embedded in logic programming languages preserving their semantics and abstraction ...
openaire +1 more source
Introduction to categories and categorical logic
, 2009 Working paper, submitted at Cornell University Library Archive on the 7th of February 2011. Available via http://arxiv.org/abs/1102.1313v196 pages96 pages96 pages96 pagesThe aim of these notes is to provide a succinct, accessible introduction to some of ...
Abramsky, S +7 more
core +1 more source
Strong‐Magnetic Flexible Composites for Magnetically Responsive Soft Robots
Advanced Robotics Research, EarlyView.This perspective provides an overview of the performance mechanisms, preparation methods, and applications of strong magnetic flexible composite materials in soft actuators (such as gripping, movement, and sensing), and further explores current opportunities and challenges.
Wenwen Li +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