Results 41 to 50 of about 4,200 (297)
Logic programming, functional programming, and inductive definitions [PDF]
, 2006 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.
Lawrence C. Paulson, Andrew W. Smith
openaire +2 more sources
Low Size-Complexity Inductive Logic Programming: The East-West Challenge Considered as a Problem in Cost-Sensitive Classification [PDF]
, 1995 The Inductive Logic Programming community has considered proof-complexity and model-complexity, but, until recently, size-complexity has received little attention. Recently a challenge was issued "to the international computing community" to discover
Turney, Peter
core
Electrolyte Design for Simultaneous Interfacial Stabilization in Si||NCM811 Full Cells
Advanced Science, EarlyView.A dual‐additive electrolyte (DAEL) system was optimized to regulate interfacial reactions in both Si anode and the NCM811 cathode. DAEL suppresses gas evolution and degradation, enabling stable interphases. These synergistic effects enhance electrochemical stability and extend battery cycle life in high‐energy lithium‐ion cells.
Seo Yun Jang +6 more
wiley +1 more source
XAI Human-Machine collaboration applied to network security
Frontiers in Computer ScienceCyber attacking is easier than cyber defending—attackers only need to find one breach, while the defenders must successfully repel all attacks. This research demonstrates how cyber defenders can increase their capabilities by joining forces with ...
Steve Moyle +2 more
doaj +1 more source
Advanced Science, EarlyView.Adult stem cell therapy requires more than high in vitro potency. This review proposes a systems framework in which cell‐intrinsic programs, instructive microenvironmental cues, and pre‐/post‐delivery engineering are co‐designed under standardized translational rules.
Soo‐Rim Kim +2 more
wiley +1 more source
A taxonomy for community-based care programs focused on HIV/AIDS prevention, treatment, and care in resource-poor settings [PDF]
Global Health Action, 2013 Community-based care (CBC) can increase access to key services for people affected by HIV/AIDS through the mobilization of community interests and resources and their integration with formal health structures.
Beth Rachlis +5 more
doaj +1 more source
Deeply Semantic Inductive Spatio-Temporal Learning [PDF]
, 2016 We present an inductive spatio-temporal learning framework rooted ininductive logic programming. With an emphasis on visuo-spatial language, logic,and cognition, the framework supports learning with relational spatio-temporalfeatures identifiable in a ...
Bhatt, Mehul, +2 more
core
Advanced Electronic Materials, EarlyView.Composite‐based flexible electronics integrate biodegradable polymers, conductive networks, and multilayer device architectures to balance electrical performance, mechanical durability, and controlled degradation. Interfacial engineering and encapsulation regulate transport stability and operational lifetime, while programmed disassembly enables ...
Sayam, Sangho Cho
wiley +1 more source
MP-SPILDL: A Massively Parallel Inductive Logic Learner in Description Logic
IEEE AccessThis article presents MP-SPILDL, a massively parallel inductive logic learner in Description Logic (DL). MP-SPILDL is a scalable inductive Logic Programming (ILP) algorithm that exploits existing Big Data infrastructure to perform large-scale inductive ...
Eyad Algahtani
doaj +1 more source
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 +3 more
wiley +1 more source