Results 151 to 160 of about 1,042,976 (291)

Probabilistic Computational Trust

, 2009
We argue briefly for the role of computational trust in ubiquitous computing, and in particular for the need of a formal foundation for computational trust.
Krukow, Karl, Nielsen, Mogens, Sassone, Vladimiro   +2 more
core   +1 more source

Probabilistic logic programming with multiplicative modules

, 2021
International audienceThis paper illustrates a simple idea on how to interpret undecompsable generalized multiplicative modules of linear logic as probabilistic methods of a logic prgramming language.
Maieli, Roberto, Maieli R.
core  

Phase‐Resolved Dual Control of Phenol Photodissociation at the Air–Water Interface From Structure‐Resolved Statistics

Advanced Science, EarlyView.
Faster phenol photolysis at the air–water interface arises from two cooperative factors: a more favorable initial microenvironment for solvent‐side electron stabilization, which lowers CI access, and a more labile hydrogen‐bond network, which more readily reorganizes to stabilize the dark‐state intermediate.
Qiang Yin, Jialing Shi, Jinping Zhao, Chengjun Li, Yongbo Xie, Benkun Tan, Da Wang, Ziyun Wang, Yu Mao   +8 more
wiley   +1 more source

A Portable Soft Robotic Glove with Fully Functional Thumb Assistance for Complex Dexterous Fine Motor Skills

Advanced Science, EarlyView.
A portable, sensorized, and controlled dexterous thumb‐enhanced glove helps stroke survivors swipe phones, twist caps, and perform other tasks. It is based on a powerful continuously, segmented origami dual chamber actuator to achieve active thumb CMC and MCP joint assistance and passively extend the IP joint.
Disheng Xie, Zhen Wang, Zhongping Ye, Minghao Liu, Xiangqian Shi, Shuk Fan Tong, Jianbin Liu, Chuanbin Mao, Thomas W. Leung, Haitao Liu, Raymond Kai‐yu Tong   +10 more
wiley   +1 more source

Learning the Structure of Probabilistic Logic Programs

, 2012
There is a growing interest in the eld of Probabilistic Inductive Logic Programming, which uses languages that integrate logic programming and probability.
RIGUZZI, Fabrizio, BELLODI, Elena, Fabrizio Riguzzi, Elena Bellodi   +3 more
core   +1 more source

Autonomous High‐Throughput Characterization of Liquid‐Liquid Phase Behavior

Advanced Science, EarlyView.
This study introduces an automated dual modality platform, combining asymmetric capacitance deviation and multiangle turbidimetry, for high‐throughput characterization of liquid‐liquid phase behavior across chemically diverse fluid systems. The platform enables miscibility classification, resolution of phase separation kinetics and emulsion stability ...
Tarek Eid, Maryam Ebrahimiazar, Mohammad Zargartalebi, David Sinton   +3 more
wiley   +1 more source

Maximum Entropy Reasoning via Model Counting in (Description) Logics that Count

Proceedings of the International Florida Artificial Intelligence Research Society Conference
In previous work it was shown that the logic ALCME,  which extends the description logic (DL) ALC with probabilistic conditionals, has domain-lifted inference.
Franz Baader, Anton Claußnitzer
doaj   +1 more source

Molecularly Engineered Wing‐Shaped Azobenzene Memristors for Logic‐in‐Memory and Edge Visual Intelligence

Advanced Science, EarlyView.
Rational engineering of terminal substituents in symmetric azobenzene‐based molecules enables precise control over conformationally coupled charge‐transfer processes. This design yields tunable nonvolatile resistive memory behaviors, ranging from write‐once‐read‐many‐times (WORM) to rewritable switching.
Yanze Liu, Tao Han, Jiahui Ding, Hong Lian, Lingling Yao, Zhaoxin Xu, Xingyu Zhang, Shuanglong Wang, Jiangnan Xia, Tianchi Zhang, Weiwei Kang, Qingchen Dong   +11 more
wiley   +1 more source

Development of Decision Support Systems Based on Fuzzy and Binary Logic for the FOREX Foreign Exchange Market

Кібернетика та комп'ютерні технології
Introduction. Most authors considered the use of only binary logic and technical analysis, which does not allow for effective consideration of market uncertainty and rapid dynamic.
Natalia Kondruk, Serhii Hetsko
doaj   +1 more source

Solving graded/probabilistic modal logic via linear inequalities (system description)

, 2016
We present the experience gained from implementing a new decision procedure for both graded and probabilistic modal logic. While our approach uses standard tableaux for propositional connectives, modal rules are given by linear constraints on the ...
Pattinson, Dirk, Widmann, Florian, Snell, W.   +2 more
core   +1 more source