Results 91 to 100 of about 189,472 (279)
Function-Based Search of Place Using Theoretical, Empirical and Probabilistic Patterns
Searching for places rather than traditional keyword-based search represents significant challenges. The most prevalent method of addressing place-related queries is based on place names but has limited potential due to the vagueness of natural language ...
Emmanuel Papadakis +3 more
doaj +1 more source
Postsynaptic Complexin Mediates Constitutive Exocytosis of Nicotinic Acetylcholine Receptor
Beyond its established presynaptic role, complexin is identified as a postsynaptic regulator of neurotransmitter receptor trafficking. By promoting constitutive and activity‐dependent exocytosis of nicotinic acetylcholine receptors, complexin controls spontaneous synaptic signaling at the C.
Ya Wang +4 more
wiley +1 more source
Bisimulation, Logic and Reachability Analysis for Markovian Systems [PDF]
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verification is called stochastic reachability analysis, while in computer science ...
Bujorianu, L.M., Bujorianu, M.C.
core +2 more sources
A zebrafish model carrying an identical human RHO S334X allele reveals two independent genetic layers shaping retinitis pigmentosa (RP) severity: a protective 3‐bp cis‐regulatory insertion that attenuates transgene expression, and a dominant trans‐acting modifier that restores a severe phenotype.
Cong Cui +9 more
wiley +1 more source
Hardware Implementation of Bayesian Decision‐Making with Memristors
Brains perform decision‐making by Bayes theorem – events are quantified as probabilities and based on probability rules, computed to render the decisions.
Lekai Song +10 more
doaj +1 more source
Modal Logic, Probability and Machine Learning Systems for Metadata Extraction
Artificial intelligence, since its inception, has had two major subfields, namely: logical reasoning and machine learning. Despite this, the interactions between these two fields have been relatively limited.
Simone Cuconato
doaj +1 more source
Probabilistic Constraint Logic Programming
This paper addresses two central problems for probabilistic processing models: parameter estimation from incomplete data and efficient retrieval of most probable analyses.
Riezler, Stefan
core +2 more sources
Control with probabilistic signal temporal logic [PDF]
Autonomous agents often operate in uncertain environments where their decisions are made based on beliefs over states of targets. We are interested in controller synthesis for complex tasks defined over belief spaces.
Belta, Calin, Yoo, Chanyeol
core
Protein complexes like KIBRA‐PKMζ are crucial for maintaining memories, forming month‐long protein traces in memory‐tagged neurons, but conventional RNA‐seq analysis fails to detect their transcript changes, leaving memory molecules undetected in the shadows of abundantly‐expressed genes.
Jiyeon Han +10 more
wiley +1 more source
From Potential to Actual Knowledge: A New Framework in Probabilistic Epistemic Logic
In this paper we address the issue of improbable knowledge within probabilistic epistemic logic. This problem occurs when an agent possesses knowledge of a certain proposition despite the evidential probability of that knowledge being exceedingly low ...
Wójcik Arkadiusz
doaj +1 more source

