Results 61 to 70 of about 11,564,095 (404)
Automatic Probabilistic Program Verification through Random Variable Abstraction
The weakest pre-expectation calculus has been proved to be a mature theory to analyze quantitative properties of probabilistic and nondeterministic programs.
Barsotti, Damián, Wolovick, Nicolás
core +2 more sources
Making tau amyloid models in vitro: a crucial and underestimated challenge
This review highlights the challenges of producing in vitro amyloid assemblies of the tau protein. We review how accurately the existing protocols mimic tau deposits found in the brain of patients affected with tauopathies. We discuss the important properties that should be considered when forming amyloids and the benchmarks that should be used to ...
Julien Broc, Clara Piersson, Yann Fichou
wiley +1 more source
Variable Step Random Walks and Self-Similar Distributions
We study a scenario under which variable step random walks give anomalous statistics. We begin by analyzing the Martingale Central Limit Theorem to find a sufficient condition for the limit distribution to be non-Gaussian.
A Arneodo+20 more
core +2 more sources
Venom peptides have shown promise in treating pain. Our study uses computer screening to identify a peptide that targets a sodium channel (NaV1.7) linked to chronic pain. We produced the peptide in the laboratory and refined its design, advancing the search for innovative pain therapies.
Gagan Sharma+8 more
wiley +1 more source
Neighborhood radius estimation in Variable-neighborhood Random Fields
We consider random fields defined by finite-region conditional probabilities depending on a neighborhood of the region which changes with the boundary conditions.
Besag+23 more
core +1 more source
Optimum Stochastic Allocation for Demand Response for Power Markets in Microgrids
This research incorporates an electricity market model based on a stochastic allocation of distributed resources and the analysis of an optimal demand response for a smart microgrid.
Edwin Garcia+3 more
doaj +1 more source
This paper presents a proposal of simultaneous consideration of load and wear associated with it , of tribological systems of ship main engines (intended for ship propulsion) .
Girtler Jerzy
doaj +1 more source
The power of microRNA regulation—insights into immunity and metabolism
MicroRNAs are emerging as crucial regulators at the intersection of metabolism and immunity. This review examines how miRNAs coordinate glucose and lipid metabolism while simultaneously modulating T‐cell development and immune responses. Moreover, it highlights how cutting‐edge artificial intelligence applications can identify miRNA biomarkers ...
Stefania Oliveto+2 more
wiley +1 more source
The Wasserstein Metric between a Discrete Probability Measure and a Continuous One
This paper examines the Wasserstein metric between the empirical probability measure of n discrete random variables and a continuous uniform measure in the d-dimensional ball, providing an asymptotic estimation of their expectations as n approaches ...
Weihua Yang, Xu Zhang, Xia Wang
doaj +1 more source
In lymphoid organs, antigen recognition and B cell receptor signaling rely on integrins and the cytoskeleton. Integrins act as mechanoreceptors, couple B cell receptor activation to cytoskeletal remodeling, and support immune synapse formation as well as antigen extraction.
Abhishek Pethe, Tanja Nicole Hartmann
wiley +1 more source