Results 61 to 70 of about 24,451 (299)

Probabilistic Reasoning in the Sciences

The Reasoner
Report on the Conference on Probabilistic Reasoning in the Sciences which took place at the  Marche Polytechnic University in Ancona, Italy. 29-31 August 2024.
Michal Sikorski, Alexander Gebharter, Barbara Osimani   +2 more
doaj   +1 more source

Molecular dynamics simulations of positively selected codons in FcγRI reveal novel biochemical binding properties

FEBS Open Bio, EarlyView.
Evolutionary analysis across 32 placental mammals identified positive selection at residues H148 and W149 in the immune receptor FcγR1. Ancestral reconstruction combined with molecular dynamics simulations reveals how these mutations may influence receptor structure and dynamics, providing insight into the evolution of antibody recognition and immune ...
David A. Young, Omar Arias‐Gaguancela, Fiona Gibson, Morgan Grainger, Jodie Score, Amit Nathubhai, Mauricio Cafiero, Lee Richard Machado   +7 more
wiley   +1 more source

Exploring the Potential for Large Language Models to Demonstrate Rational Probabilistic Beliefs

Proceedings of the International Florida Artificial Intelligence Research Society Conference
Advances in the general capabilities of large language models (LLMs) have led to their use for information retrieval, and as components in automated decision systems.
Gabriel Freedman, Francesca Toni
doaj   +1 more source

Analysis of probabilistic contract signing [PDF]

, 2006
<p>We present three case studies, investigating the use of probabilistic model checking to automatically analyse properties of probabilistic contract signing protocols.
Shmatikov, V., Norman, G., Norman, Gethin, Shmatikov, V   +3 more
core  

Guiding AlphaFold to predict how Munc13‐1 opens Syntaxin‐1

FEBS Open Bio, EarlyView.
The syntaxin‐1 Habc‐domain (orange), linker (pink) and SNARE motif (yellow) form a closed conformation that binds to Munc18‐1 (violet) and is opened by the Munc13‐1 MUN domain (cyan) to form the SNARE complex that triggers neurotransmitter release.
Madhurima Chattopadhyay, Junjie Xu, Josep Rizo   +2 more
wiley   +1 more source

Probabilistic Logic under Coherence, Model-Theoretic Probabilistic Logic, and Default Reasoning in System P

, 2001
We study probabilistic logic under the viewpoint of the coherence principle of de Finetti. In detail, we explore how probabilistic reasoning under coherence is related to model-theoretic probabilistic reasoning and to default reasoning in System P.
Lukasiewicz, T, Biazzo, Veronica, Giuseppe Sanfilippo, Angelo Gilio, Gilio, Angelo, Veronica Biazzo, Sanfilippo, Giuseppe, Thomas Lukasiewicz, Lukasiewicz, Thomas, BIAZZO V, LUKASIEWICZ T, Gilio, A, Biazzo, V   +12 more
core   +1 more source

FDG‐PET Associations With Disease Severity and Outcomes in NMDA‐Receptor IgG Autoimmune Encephalitis

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Patients with N‐methyl‐D‐aspartate (NMDA) receptor‐immunoglobulin G (IgG) autoimmune encephalitis (NMDAR‐IgG AE) demonstrate occipital lobe hypometabolism on baseline brain fluorodeoxyglucose‐positron emission tomography (bFDG‐PET).
Jonathan K. Lee, Jeffrey Lambe, Scott Johnson, Akua Abrah, Jennifer Bullen, Jeffrey A. Cohen, Tatchaporn Ongphichetmetha, Amy Kunchok   +7 more
wiley   +1 more source

Reasoning with Probabilistic Logics

CoRR, 2014
An extended abstract / full version of a paper accepted to be presented at the Doctoral Consortium of the 30th International Conference on Logic Programming (ICLP 2014), July 19-22, Vienna ...
openaire   +2 more sources

Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case

, 2020
The development of different probabilistic models of uncertainty has been inspired by the rapid progress in various fields, e.g. in AI, probabilistic programming, etc.
Kasterovic, Simona, Silvia Ghilezan, Ivetic, Jelena, Ognjanovic, Zoran, Simona Kašterović, Nenad Savić, Savic, Nenad, Zoran Ognjanović, Ghilezan, Silvia, Jelena Ivetić   +9 more
core   +1 more source

Reasoning Algebraically about Probabilistic Loops [PDF]

, 2006
Back and von Wright have developed algebraic laws for reasoning about loops in the refinement calculus. We extend their work to reasoning about probabilistic loops in the probabilistic refinement calculus.
Meinicke, Larissa, Larissa Meinicke, Ian J. Hayes, Hayes, Ian J.   +3 more
core   +1 more source