Results 71 to 80 of about 125,965 (208)
Advancements in Machine Learning for Microrobotics in Biomedicine
Advanced Intelligent Systems, EarlyView.Microrobotics is an innovative technology with great potential for noninvasive medical interventions. However, controlling and imaging microrobots pose significant challenges in complex environments and in living organisms. This review explores how machine learning algorithms can address these issues, offering solutions for adaptive motion control and ...
Amar Salehi +6 more
wiley +1 more source
Incorporating Inductions and Game Semantics into Logic Programming [PDF]
arXiv, 2015 Inductions and game semantics are two useful extensions to traditional logic programming. To be specific, inductions can capture a wider class of provable formulas in logic programming. Adopting game semantics can make logic programming more interactive. In this paper, we propose an execution model for a logic language with these features.
arxiv
Advances in 3D and 4D Printing of Soft Robotics and Their Applications
Advanced Intelligent Systems, EarlyView.This article summarizes the development of 3D‐printed soft robotics in the recent decade. The article discusses the printing capabilities of different additive manufacturing technologies in terms of soft polymers, multimaterial printability, soft robotic printing, and 4D printing.
Hao Liu +5 more
wiley +1 more source
Homology Induction: the use of machine learning to improve sequence similarity searches
BMC Bioinformatics, 2002 Background The inference of homology between proteins is a key problem in molecular biology The current best approaches only identify ~50% of homologies (with a false positive rate set at 1/1000).
King Ross D, Karwath Andreas
doaj +1 more source
Logic Programming, Functional Programming, and Inductive Definitions [PDF]
published in P. Schroeder-Heister (editor), Extensions of Logic
Programming (Springer, 1991), 283-310, 2001 An attempt at unifying logic and functional programming is reported. As a starting point, we take the view that "logic programs" are not about logic but constitute inductive definitions of sets and relations. A skeletal language design based on these considerations is sketched and a prototype implementation discussed.
arxiv
Regularization in Probabilistic Inductive Logic Programming
, 2023 AbstractProbabilistic Logic Programming combines uncertainty and logic-based languages. Liftable Probabilistic Logic Programs have been recently proposed to perform inference in a lifted way. LIFTCOVER is an algorithm used to perform parameter and structure learning of liftable probabilistic logic programs. In particular, it performs parameter learning
Elisabetta Gentili +4 more
openaire +1 more source
“Lives and times”: The case for qualitative longitudinal research in anatomical sciences education
Anatomical Sciences Education, EarlyView.Abstract Qualitative longitudinal research (QLR) focuses on changes in perceptions, interpretations, or practices through time. Despite longstanding traditions in social science, QLR has only recently appeared in anatomical sciences education (ASE).
Charlotte E. Rees, Ella Ottrey
wiley +1 more source
CLEI Electronic Journal, 2015 In this work we investigate the security of security-critical applications, i.e. applications in which a failure may produce consequences that are unacceptable.
Gustavo Betarte, Carlos Luna
doaj +1 more source
Deeply Semantic Inductive Spatio-Temporal Learning [PDF]
arXiv, 2016 We present an inductive spatio-temporal learning framework rooted in inductive logic programming. With an emphasis on visuo-spatial language, logic, and cognition, the framework supports learning with relational spatio-temporal features identifiable in a range of domains involving the processing and interpretation of dynamic visuo-spatial imagery.
arxiv
Batteries &Supercaps, EarlyView.This study explores an effective and sustainable solid‐state relithiation process to recycle NMC532 cathode materials from production scrap and end‐of‐life batteries, restoring their structure and electrochemical performance to near‐pristine levels. Abstract Direct recycling of Li‐ion battery cathodes offers a sustainable and potentially cost‐effective
Lucas Evangelista Sita +6 more
wiley +1 more source