Results 161 to 170 of about 1,042,976 (291)

Bioinspired Passive Flow Routing to Mitigate Thrombosis in Prosthetic Heart Valves and Cardiovascular Devices

Advanced Science, EarlyView.
Bioinspired passive flow routing mitigates thrombosis in cardiovascular devices by redirecting a small fraction of forward flow into stagnation‐prone regions. Inspired by avian alula and aircraft slat mechanisms, strategically placed routing channels restore washout around mechanical heart valves, reducing low‐shear exposure by four orders of magnitude
Yevgeniy Kreinin, Mark Epshtein, Yahel Talmon, Tirosh Mekler, Itay Or, Mahli Raad, Gil Bolotin, Josué Sznitman, Netanel Korin   +8 more
wiley   +1 more source

Lifted Variable Elimination for Probabilistic Logic Programming

, 2014
Lifted inference has been proposed for various probabilistic logical frameworks in order to compute the probability of queries in a time that depends on the size of the domains of the random variables rather than the number of instances.
ELENA BELLODI, FABRIZIO RIGUZZI, V. Santos Costa, VITOR SANTOS COSTA, LAMMA, Evelina, RIGUZZI, Fabrizio, BELLODI, Elena, ZESE, Riccardo, Lamma,E, Bellodi,E, Zese,R, EVELINA LAMMA, RICCARDO ZESE, Riguzzi,F   +13 more
core   +1 more source

Automating Chemical Reasoning in High‐Throughput Phase Identification With a Probabilistic, LLM‐Guided Framework

Advanced Science, EarlyView.
Autonomous laboratories can now synthesize materials faster than experts can interpret the resulting diffraction data. A probabilistic framework combines refinement‐fit metrics with large language model‐derived chemical reasoning to rank competing phase interpretations and flag those unsuitable for autonomous use.
Olympia Dartsi, Lauren N. Walters, Amalie E. Trewartha, Steven B. Torrisi, Amanda Volk, Liam Joyce, Gerbrand Ceder, Anubhav Jain   +7 more
wiley   +1 more source

SiOx‐Based Probabilistic Bits Enabling Invertible Logic Gate for Cryptographic Applications

Advanced Intelligent Systems
With the rapid proliferation of automotive and edge artificial intelligence applications, hardware‐level security has become a critical concern, exposing intrinsic vulnerabilities of conventional deterministic logic systems. To address these limitations,
Jihyun Kim, Hyeonsik Choi, Jiyong Woo
doaj   +1 more source

Modeling Bitcoin protocols with probabilistic logic programming

, 2018
Bitcoin is one of the first decentralized, peer to peer, payment systems based on the so-called Proof-of-Work (PoW). PoW is an algorithm that requires the computation of a hard function in order to gain access to a resource but, at the same time, the ...
Riguzzi, Fabrizio, Zese, Riccardo, Bellodi, Elena, AZZOLINI, Damiano, Lamma, Evelina   +4 more
core  

Multiscale Modelling of the Electrocatalysis of Microenzymes: Insights Into the Performance of Microperoxidase at an Aqueous/Graphene Interface and Their Exploitation to Improve Performance

Advanced Science, EarlyView.
A novel multiscale MD/DFT framework to elucidate microenzyme adsorption and electron transfer is reported. This method reveals distinct configurations for microperoxidase‐11 on graphene and those best suited for electron transfer. Rate constants align with the limited experimental data, establishing this framework as a tool for optimizing microenzyme ...
Milan Mijajlovic, Cheng Hu, Yuhui Sun, Matthew J. Penna, Meisam V. Kiamahalleh, Wenrong Yang, Mark J. Biggs   +6 more
wiley   +1 more source

StackingNet: Collective Inference Across Independent AI Foundation Models

Advanced Science, EarlyView.
ABSTRACT Artificial intelligence (AI) built on large foundation models has transformed language understanding, computer vision, and reasoning, yet these systems remain isolated and cannot readily share their capabilities. Coordinating the complementary strengths of independently developed, black‐box foundation models is essential for trustworthy ...
Siyang Li, Chenhao Liu, Dongrui Wu, Zhigang Zeng, Lieyun Ding   +4 more
wiley   +1 more source

Probabilistic and Logical Beliefs [PDF]

, 2008
John W. Lloyd, Kee Siong Ng
openaire   +1 more source

Targeting GALNT7 Disrupts the TAZ O‐GalNAcylation Feedback Loop to Suppress Gallbladder Cancer Progression

Advanced Science, EarlyView.
Aberrant GALNT7‐mediated O‐GalNAcylation stabilizes TAZ to drive gallbladder cancer progression through a feed‐forward transcriptional loop. Structure‐based screening identifies Olaparib as a potent GALNT7 antagonist that disrupts this oncogenic axis, providing an immediate therapeutic strategy for this aggressive malignancy.
Peng Qiu, Ming Zhang, Yunxiang Feng, Yibo Deng, Kai Zhao, Xiangyu Li, Yun Lu, Li Tian, Tao Yang, Wei Yao, Jianming Wang, Zhengdong Deng   +11 more
wiley   +1 more source

Robust probabilistic temporal logics

Information Processing Letters
We robustify PCTL and PCTL*, the most important specification languages for probabilistic systems, and show that robustness does not increase the complexity of their model-checking problems.
openaire   +4 more sources