Results 141 to 150 of about 90,486 (306)

Probabilistic Canonical Models for Partial Logics [PDF]

, 2003
François Lepage, Charles G. Morgan
openalex   +1 more source

Artificial Intelligence‐Enhanced, Closed‐Loop Wearable Systems Toward Next‐Generation Diabetes Management

Advanced Intelligent Systems, EarlyView.
Recent advancements in wearable healthcare have brought accessible continuous glucose monitoring systems (CGMs) for diabetes management. To address the limitations of CGMs, closed‐loop systems utilizing monitored glucose levels for insulin dosing are being developed.
Wei Huang, Ivo Pang, Jing Bai, Binbin Cui, Xiaojuan Qi, Shiming Zhang   +5 more
wiley   +1 more source

onto2problog: A Probabilistic Ontology-Mediated Querying System using Probabilistic Logic Programming. [PDF]

Kunstliche Intell (Oldenbourg), 2020
van Bremen T, Dries A, Jung JC.
europepmc   +1 more source

Knowledge Distillation‐Based Zero‐Shot Learning for Process Fault Diagnosis

Advanced Intelligent Systems, EarlyView.
Process and image data are equivalent with the teacher model pretrained on image data. Knowledge distillation transfers normal condition data to the student model. When an unknown fault occurs, differences between the teacher and student models are quantified via gradients to isolate the fault. Data‐driven deep learning is effective in diagnosing known
Yi Liu, Jiajun Huang, Mingwei Jia
wiley   +1 more source

Implementing a Library for Probabilistic Programming using Non-strict Non-determinism [PDF]

arXiv, 2019
This paper presents PFLP, a library for probabilistic programming in the functional logic programming language Curry. It demonstrates how the concepts of a functional logic programming language support the implementation of a library for probabilistic programming.
arxiv  

Deep Learning Based Large‐Area Contact Sensing for Safe Human–Robot Interaction Using Conformal Kirigami Structure‐Enabled Robotic E‐Skin

Advanced Intelligent Systems, EarlyView.
This work presents a collision detection technique for robots, using piezoelectric sensors and deep learning to identify collision locations and intensities. A large area conformal kirigami design enables cost‐effective sensor deployment on complex surfaces.
Rui Jiao, Zhengjun Wang, Ruoqin Wang, Qian Xu, Jiacheng Jiang, Boyang Zhang, Simin Yang, Yang Li, Yik Kin Cheung, Fan Shi, Hongyu Yu   +10 more
wiley   +1 more source

Scenario Logic and Probabilistic Management of Risk in Business and Engineering [PDF]

, 2005
Evgueni D. Solojentsev
openalex   +1 more source

Hosts, microbiomes, and the evolution of critical windows

Evolution Letters, Volume 6, Issue 6, Page 412-425, December 2022., 2022
Abstract The absence of microbial exposure early in life leaves individuals vulnerable to immune overreaction later in life, manifesting as immunopathology, autoimmunity, or allergies. A key factor is thought to be a “critical window” during which the host's immune system can “learn” tolerance, and beyond which learning is no longer possible.
C. Jessica E. Metcalf, Burcu Tepekule, Marjolein Bruijning, Britt Koskella   +3 more
wiley   +1 more source

Some Extensions of Probabilistic Logic [PDF]

, 1988
In [12], Nilsson proposed the probabilistic logic in which the truth values of logical propositions are probability values between 0 and 1. It is applicable to any logical system for which the consistency of a finite set of propositions can be established.
openaire   +3 more sources

Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants [PDF]

arXiv
Although randomization has long been used in concurrent programs, formal methods for reasoning about this mixture of effects have lagged behind. In particular, no existing program logics can express specifications about the distributions of outcomes resulting from programs that are both probabilistic and concurrent.
arxiv