Results 51 to 60 of about 74,003 (318)
Structural Resolution with Co-inductive Loop Detection [PDF]
, 2017 A way to combine co-SLD style loop detection with structural resolution was found and is introduced in this work, to extend structural resolution with co-induction.
Li, Yue
core +2 more sources
Liquid Metal Sensors for Soft Robots
Advanced Robotics Research, EarlyView.This review thoroughly reviews liquid metal sensors in soft robots. Their unique material properties like high conductivity and good biocompatibility are analyzed. Working principles are classified, and applications in environmental perception, motion detection, and human—robot interaction are introduced.
Qi Zhang +7 more
wiley +1 more source
Semantic Probabilistic Inference of Predictions
Известия Иркутского государственного университета: Серия "Математика", 2017 Prediction is one of the most important concepts in science. Predictions obtained from probabilistic knowledge, are described by an inductive-statistical inference (I-S inference).
E. E. Vityaev
doaj +1 more source
Structural abstract interpretation, A formal study using Coq [PDF]
, 2008 interpreters are tools to compute approximations for behaviors of a program. These approximations can then be used for optimisation or for error detection. In this paper, we show how to describe an abstract interpreter using the type-theory based theorem
Bertot, Yves
core +3 more sources
Logic Programming Applications: What Are the Abstractions and Implementations?
, 2018 This article presents an overview of applications of logic programming, classifying them based on the abstractions and implementations of logic languages that support the applications. The three key abstractions are join, recursion, and constraint. Their
Liu, Yanhong A.
core +1 more source
Advanced Sustainable Systems, EarlyView.Nanosafety data provide a guiding example for establishing best practices in data management, aligning with FAIR principles and quality criteria. This review explores existing quality assessment approaches for reliability, relevance, and completeness, emphasizing the need for harmonization and adaptation to nanomaterials and advanced materials. The aim
Verónica I. Dumit +43 more
wiley +1 more source
Symbolic Imitation Learning: From Black-Box to Explainable Driving Policies
Applied SciencesCurrent imitation learning approaches, predominantly based on deep neural networks (DNNs), offer efficient mechanisms for learning driving policies from real-world datasets.
Iman Sharifi +2 more
doaj +1 more source
GenEth: a general ethical dilemma analyzer
Paladyn, 2018 We argue that ethically significant behavior of autonomous systems should be guided by explicit ethical principles determined through a consensus of ethicists. Such a consensus is likely to emerge in many areas in which intelligent autonomous systems are
Anderson Michael, Anderson Susan Leigh
doaj +1 more source
Advanced Science, EarlyView.Recent advances in materials and device engineering enable continuous, real‐time monitoring of muscle activity via wearable and implantable systems. This review critically summarizes emerging technologies for tracking electrophysiological, biomechanical, and oxygenation signals, outlines fundamental principles, and highlights key challenges and ...
Zhengwei Liao +4 more
wiley +1 more source
MP-HTHEDL: A Massively Parallel Hypothesis Evaluation Engine in Description Logic
IEEE AccessWe present MP-HTHEDL, a massively parallel hypothesis evaluation engine for inductive learning in description logic (DL). MP-HTHEDL is an extension on our previous work HT-HEDL, which also targets improving hypothesis evaluation performance for inductive
Eyad Algahtani
doaj +1 more source