Results 81 to 90 of about 134,060 (299)

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, Alice Bizzarri, Damiano Azzolini, Riccardo Zese, Fabrizio Riguzzi   +4 more
openaire   +1 more source

Heterogeneity of the Dominant Causes of Performance Loss in End‐of‐Life Cathodes and Their Consequences for Direct Recycling

Advanced Energy Materials, EarlyView.
Direct recyling of Li‐ion battery materials promises a low‐cost path towards a secure domestic supply of critical materials for batteries. Using cathode material from an end‐of‐life commercial Li‐ion cell, this work identifies the primary degradation mechanisms that diminish the performance of directly reused cathode materials and includes a discussion
Melissa Popeil, Francois L.E. Usseglio‐Viretta, Xiaofei Pu, Paul Gasper, Nikita Dutta, Evelyna Wang, Eva Allen, John S. Mangum, Nathaniel Sunderlin, Kae Fink, Jeffery M. Allen, Peter J. Weddle, Steven C. DeCaluwe, Donal P. Finegan   +13 more
wiley   +1 more source

Design, Control, and Clinical Applications of Magnetic Actuation Systems: Challenges and Opportunities

Advanced Intelligent Systems, Volume 7, Issue 3, March 2025.
This review aims to provide a broad understanding for interdisciplinary researchers in engineering and clinical applications. It addresses the development and control of magnetic actuation systems (MASs) in clinical surgeries and their revolutionary effects in multiple clinical applications.
Yingxin Huo, Lidong Yang, Tiantian Xu, Dong Sun   +3 more
wiley   +1 more source

Induction of constraint logic programs [PDF]

, 1998
Inductive Logic Programming (ILP) is concerned with learning hypotheses from examples, where both examples and hypotheses are represented in the Logic Programming (LP) language. The application of ILP to problems involving numerical information has shown the need for basic numerical background knowledge (e.g. relation “less than”).
Michèle Sebag, Jean-Francois Puget, Céline Rouveirol   +2 more
openaire   +2 more sources

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, Soleiman Hosseinpour, Nasrollah Tabatabaei, Mahmoud Soltani Firouz, Niloufar Zadebana, Richard Nauber, Mariana Medina‐Sánchez   +6 more
wiley   +1 more source

A three-valued logic for Inductive Logic Programming

, 1999
Inductive Logic Programming (ILP) is closely related to Logic Programming (LP) by the name. We extract the basic differences of ILP and LP by comparing both and give definitions of the basic assumptions of their paradigms, e.g. closed world assumption, the open domain assumption and the open world assumption used in ILP. The paper is written in English.
Bell, Siegfried, Weber, Steffo
openaire   +3 more sources

Ternary Content‐Addressable Memory Using One Capacitor and One Nanoelectromechanical Memory Switch for Data‐Intensive Applications

Advanced Intelligent Systems, EarlyView.
A charge‐domain ternary content‐addressable memory using one capacitor one nanoelectromechanical memory switch (1C‐1N TCAM) is proposed for energy‐efficient, high‐reliability computations. Integrated with the back‐end‐of‐line process, the 1C‐1N TCAM leverages the air gap capacitance to achieve a high capacitance ratio and ternary functionality.
Jin Wook Lee, Changha Kim, Geun Tae Park, Seung Hun Baek, Myeong Su Shin, Woo Young Choi   +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

How Do I Answer This? A Queer Critique of Australian Census Forms and the Reification of Cisheteronormative Families

Australian Journal of Social Issues, EarlyView.
ABSTRACT This paper presents a critical examination of Australia's 2021 household, individual and interviewer census forms. Using a form‐led analysis, this research scrutinises the underlying cisheteronormative logic that implicitly shapes the Census process, from data collection to distribution of findings.
Xavier Mills, Sal Clark
wiley   +1 more source

Formal Analysis of Security Models for Mobile Devices, Virtualization Platforms, and Domain Name Systems

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