Search results for "Random"
showing 10 items of 3931 documents
Conditional Random Quantities and Compounds of Conditionals
2013
In this paper we consider finite conditional random quantities and conditional previsions assessments in the setting of coherence. We use a suitable representation for conditional random quantities; in particular the indicator of a conditional event $E|H$ is looked at as a three-valued quantity with values 1, or 0, or $p$, where $p$ is the probability of $E|H$. We introduce a notion of iterated conditional random quantity of the form $(X|H)|K$ defined as a suitable conditional random quantity, which coincides with $X|HK$ when $H \subseteq K$. Based on a recent paper by S. Kaufmann, we introduce a notion of conjunction of two conditional events and then we analyze it in the setting of cohere…
Generalized probabilistic modus ponens
2017
Modus ponens (from A and “if A then C” infer C) is one of the most basic inference rules. The probabilistic modus ponens allows for managing uncertainty by transmitting assigned uncertainties from the premises to the conclusion (i.e., from P(A) and P(C|A) infer P(C)). In this paper, we generalize the probabilistic modus ponens by replacing A by the conditional event A|H. The resulting inference rule involves iterated conditionals (formalized by conditional random quantities) and propagates previsions from the premises to the conclusion. Interestingly, the propagation rules for the lower and the upper bounds on the conclusion of the generalized probabilistic modus ponens coincide with the re…
Conditional Random Quantities and Iterated Conditioning in the Setting of Coherence
2013
We consider conditional random quantities (c.r.q.’s) in the setting of coherence. Given a numerical r.q. X and a non impossible event H, based on betting scheme we represent the c.r.q. X|H as the unconditional r.q. XH + μH c , where μ is the prevision assessed for X|H. We develop some elements for an algebra of c.r.q.’s, by giving a condition under which two c.r.q.’s X|H and Y|K coincide. We show that X|HK coincides with a suitable c.r.q. Y|K and we apply this representation to Bayesian updating of probabilities, by also deepening some aspects of Bayes’ formula. Then, we introduce a notion of iterated c.r.q. (X|H)|K, by analyzing its relationship with X|HK. Our notion of iterated conditiona…
Randomized renaming in shared memory systems.
2021
Abstract Renaming is a task in distributed computing where n processes are assigned new names from a name space of size m . The problem is called tight if m = n , and loose if m > n . In recent years renaming came to the fore again and new algorithms were developed. For tight renaming in asynchronous shared memory systems, Alistarh et al. describe a construction based on the AKS network that assigns all names within O ( log n ) steps per process. They also show that, depending on the size of the name space, loose renaming can be done considerably faster. For m = ( 1 + ϵ ) ⋅ n and constant ϵ , they achieve a step complexity of O ( log log n ) . In this paper we consider tight as well as loos…
Polynomial Smoothing Splines
2014
Interpolating splines is a perfect tool for approximation of a continuous-time signal \(f(t)\) in the case when samples \(x[k]=f(k),\;k\in \mathbb {Z}\) are available. However, frequently, the samples are corrupted by random noise. In such case, the so-called smoothing splines provide better approximation. In this chapter we describe periodic smoothing splines in one and two dimensions. The SHA technique provides explicit expression of such splines and enables us to derive optimal values of the regularization parameters.
Relations between structure and estimators in networks of dynamical systems
2011
The article main focus is on the identification of a graphical model from time series data associated with different interconnected entities. The time series are modeled as realizations of stochastic processes (representing nodes of a graph) linked together via transfer functions (representing the edges of the graph). Both the cases of non-causal and causal links are considered. By using only the measurements of the node outputs and without assuming any prior knowledge of the network topology, a method is provided to estimate the graph connectivity. In particular, it is proven that the method determines links to be present only between a node and its “kins”, where kins of a node consist of …
Quantum Random Walks – New Method for Designing Quantum Algorithms
2008
Quantum walks are quantum counterparts of random walks. In the last 5 years, they have become one of main methods of designing quantum algorithms. Quantum walk based algorithms include element distinctness, spatial search, quantum speedup of Markov chains, evaluation of Boolean formulas and search on "glued trees" graph. In this talk, I will describe the quantum walk method for designing search algorithms and show several of its applications.
Probabilistic Interpretations of Predicates
2016
In classical logic, any m-ary predicate is interpreted as an m-argument two-valued relation defined on a non-empty universe. In probability theory, m-ary predicates are interpreted as probability measures on the mth power of a probability space. m-ary probabilistic predicates are equivalently semantically characterized as m-dimensional cumulative distribution functions defined on \(\mathbb {R}^m\). The paper is mainly concerned with probabilistic interpretations of unary predicates in the algebra of cumulative distribution functions defined on \(\mathbb {R}\). This algebra, enriched with two constants, forms a bounded De Morgan algebra. Two logical systems based on the algebra of cumulative…
Editor's Choice – Follow-up of Patients After Revascularisation for Peripheral Arterial Diseases: A Consensus Document From the European Society of C…
2019
International audience; Peripheral arterial diseases comprise different clinical presentations, from cerebrovascular disease down to lower extremity artery disease, from subclinical to disabling symptoms and events. According to clinical presentation, the patient's general condition, anatomical location and extension of lesions, revascularisation may be needed in addition to best medical treatment. The 2017 European Society of Cardiology guidelines in collaboration with the European Society for Vascular Surgery have addressed the indications for revascularisation. While most cases are amenable to either endovascular or surgical revascularisation, maintaining long-term patency is often chall…
Effect of A Healthy Body Image intervention on risk- and protective factors for eating disorders: A cluster randomized controlled trial
2021
Accepted manuscript version, licensed CC BY-NC-ND 4.0. Objective - To investigate the immediate and 12-months effects of a school-based intervention aiming to reduce risk and enhance protective factors for eating disorder development in high school boys and girls. Method - In total, 4,149 adolescents from 30 high schools were eligible for inclusion and 2,446 consented to participate and were randomly allocated to the Healthy Body Image (HBI) intervention or a control group (classes as usual). The HBI intervention is multicomponent consisting of three workshops targeting body image, social media usage and lifestyle. Linear mixed model and intention-to-treat analyses were applied to investiga…