Results 61 to 70 of about 18,076 (303)

Bridging Performance and Fate: A Framework for Sustainable, Composite‐Based Flexible Electronic Systems

open access: yesAdvanced 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

Dictionary‐based weak‐form training for noise‐robust series hybrid models with multiplicative unknowns

open access: yesAIChE Journal, EarlyView.
ABSTRACT Hybrid modeling combines first‐principles equations with a data‐driven subcomponent. Training for the data‐driven part is sensitive to measurement noise when training targets are constructed using pointwise time derivatives. Beyond differentiation errors, hybrid models involve solving an inverse problem to estimate the data‐driven term, which ...
Hangjun Cho   +4 more
wiley   +1 more source

Inductive-Deductive Qualitative Data Analysis Logic in Health Sciences Research: A Framework for Analysing Qualitative Data

open access: yesInternational Journal of Qualitative Methods
A true test of qualitative researchers’ competencies lies in their systematic data analysis, the ability to transform raw data into meaningful interpretations.
Luke Laari
doaj   +1 more source

Inductive theorem proving by program specialisation: Generating proofs for Isabelle using Ecce (Invited talk) [PDF]

open access: yes, 2003
In this paper we discuss the similarities between program specialisation and inductive theorem proving, and then show how program specialisation can be used to perform inductive theorem proving.
Lehmann, Helko, Leuschel, Michael
core  

Applying Inductive Logic Programming to Process Mining [PDF]

open access: yes, 2007
The management of business processes has recently received a lot of attention. One of the most interesting problems is the description of a process model in a language that allows the checking of the compliance of a process execution (or trace) to the ...
RIGUZZI, Fabrizio   +7 more
core   +1 more source

Regularization in Probabilistic Inductive Logic Programming [PDF]

open access: yes, 2023
Probabilistic Logic Programming combines uncertainty and logic-based languages. Liftable Probabilistic Logic Programs have been recently proposed to perform inference in a lifted way.
Azzolini, Damiano   +9 more
core   +1 more source

AI‐Driven Cancer Multi‐Omics: A Review From the Data Pipeline Perspective

open access: yesAdvanced Intelligent Discovery, EarlyView.
The exponential growth of cancer multi‐omics data brings opportunities and challenges for precision oncology. This review systematically examines AI's role in addressing these challenges, covering generative models, integration architectures, Explainable AI for clinical trust, clinical applications, and key directions for clinical translation.
Shilong Liu, Shunxiang Li, Kun Qian
wiley   +1 more source

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

open access: yesAdvanced 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

Inductive Logic and Statistics [PDF]

open access: yes, 2009
This chapter concerns inductive logic in relation to mathematical statistics. I start by introducing a general notion of probabilistic induc- tive inference.
Romeijn, J. -W., Romeijn, J. -W.,
core   +4 more sources

Argument-based inductive logics, with coverage of compromised perception

open access: yesFrontiers in Artificial Intelligence
Formal deductive logic, used to express and reason over declarative, axiomatizable content, captures, we now know, essentially all of what is known in mathematics and physics, and captures as well the details of the proofs by which such knowledge has ...
Selmer Bringsjord   +6 more
doaj   +1 more source

Home - About - Disclaimer - Privacy