Treffer 1 - 20 von 982

1

On the h-majority dynamics with many opinions
d'Amore, Francesco ; d'Archivio, Niccolò ; Giakkoupis, George ; et al.
39th International Symposium on Distributed Computing (DISC 2025), European Association for Theoretical Computer Science (EATCS), Oct 2025, Berlin, Germany. ⟨10.4230/LIPIcs.DISC.2025.27⟩

Berlin, Germany Consensus Problem Networks → Network proto... Applied computing → Syst... Mathematics of computing... Mathematics of computing...
Konferenz
Zu den Favoriten
2

Semantics of Probabilistic Programs Using s-Finite Kernels in Dependent Type Theory
Affeldt, Reynald ; Cohen, Cyril ; Saito, Ayumu ; et al.
ACM Transactions on Probabilistic Machine Learning. 1(3):1-34

Rocq Probabilistic algorithms Denotational semantics Program verification formal proofs probabilistic programmin...
Zeitschrift
Zu den Favoriten
3

Decoding Simultaneous Rational Evaluation Codes
Abbondati, Matteo ; Guerrini, Eleonora ; Lebreton, Romain ; et al.

Raleigh (North Carolina)... Simultaneous rational fu... Fault tolerant algorithm Reed Solomon codes Chinese remainder codes Interleaved codes
Konferenz
Zu den Favoriten
4

ProBoost: Reducing Uncertainty Using a Boosting Method for Probabilistic Models
Fábio Mendonça ; Sheikh Shanawaz Mostafa ; Fernando Morgado-Dias ; et al.
IEEE Access, Vol 13, Pp 132006-132021 (2025)

boosting Machine learning convolutional neural net... Electrical engineering.... probabilistic algorithms Monte Carlo
Fachzeitschrift
Zu den Favoriten
5

Semantics of Probabilistic Programs using s-Finite Kernels in Coq
Affeldt, Reynald ; Cohen, Cyril ; Saito, Ayumu ; et al.

Boston, United States Mmeasure theory Integration theory Probabilistic programmin... Program verification Denotational semantics
Konferenz
Zu den Favoriten
6

On the $h$-majority dynamics with many opinions
d'Amore, Francesco ; d'Archivio, Niccolò ; Giakkoupis, George ; et al.

FOS: Computer and inform... Networks → Network proto... Consensus Problem Mathematics of computing... Randomized Algorithms Plurality Consensus
Fachzeitschrift
Zu den Favoriten
7

Dynamic Probabilistic Reliable Broadcast
Bezerra, João Paulo ; Anikina, Veronika ; Kuznetsov, Petr ; et al.

Reliable broadcast probabilistic algorithms witness sets stream-local hashing cryptocurrencies accountability
Fachzeitschrift
Zu den Favoriten
8

Uncertainty Quantification for Stochastic Nonlinear Systems using Perron-Frobenius Operator and Karhunen-Lo'eve Expansion
Dutta, Parikshit ; Halder, Abhishek ; Bhattacharya, Raktim ; et al.
CCA - IEEE International Conference on Control and Applications. :1449-1454

Dubrovnik, Croatia ACM: G.: Mathematics of... G.3: PROBABILITY AND STA... G.3.7: Probabilistic alg... G.3.15: Stochastic proce... [MATH.MATH-DS]Mathematic...
Konferenz
Zu den Favoriten
9

Catene di Markov e applicazioni algoritmiche
M. Goldwurm ; M. Goldwurm

thema EDItEUR::U Computi... finite Markov chains random generation probabilistic algorithms Markov Chain Monte Carlo...
Buch
Zu den Favoriten
10

Catene di Markov e applicazioni algoritmiche
Goldwurm, Massimiliano

probabilistic algorithms finite Markov chains random generation Markov Chain Monte Carlo... Computing and Informatio...
E-Book
Zu den Favoriten
11

The analysis of a prioritised probabilistic algorithm to find large induced forests in regular graphs with large girth
Hoppen, Carlos ; Instituto de Matematica [Porto Alegre, RS] (IM/UFRGS) ; Universidade Federal do Rio Grande do Sul [Porto Alegre – Brasil] = Federal University of Rio Grande do Sul [Porto Alegre – Brazil] (UFRGS) ; et al.
21st International Meeting on Probabilistic. :373-386

Vienna, Austria large girth graphs Probabilistic algorithms [INFO.INFO-DS]Computer S... Data Structures and Algo...
Konferenz
Zu den Favoriten
12

Monte Carlo methods for discontinuous media
Lejay, Antoine ; Institut Élie Cartan de Nancy (IECN) ; Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS) ; et al.
3rd International Conference on Approximation Methods and numerical Modeling in Environment and Natural Resources MAMERN 2009. :591-596

Pau, France Darcy law divergence-form operator stochastic diffusion pro... stochastic differential... kinetic approximation
Konferenz
Zu den Favoriten
13

Boosting Active Learning to Optimality: a Tractable Monte-Carlo, Billiard-based Algorithm
Rolet, Philippe ; Sebag, Michèle ; Teytaud, Olivier ; et al.
ECML. :302-317

Bled, Slovenia ACM: G.: Mathematics of... G.1: NUMERICAL ANALYSIS G.1.6: Optimization G.3: PROBABILITY AND STA... G.3.7: Probabilistic alg...
Konferenz
Zu den Favoriten
14

A Monte Carlo Method for Fluid Simulation
Rioux-Lavoie, Damien ; Sugimoto, Ryusuke ; Ozdemir, Tumay ; et al.
ACM Transactions on Graphics. 41:1-16

computational fluid dyna... 02 engineering and techn... probabilistic algorithms 01 natural sciences modeling and simulation walk-on-spheres algorith...
Fachzeitschrift
Zu den Favoriten
15

Optimal Policies Search for Sensor Management
Bréhard, Thomas ; Duflos, Emmanuel ; Vanheeghe, Philippe ; et al.
FUSION 2008. :1-8

Cologne, Germany Sensor(s) Management Partially Observable Mar... Stochastic Gradient Esti... AESA Radar ACM: G.: Mathematics of...
Konferenz
Zu den Favoriten
16

On a Modification of The Lucas Primality Test
Ishmukhametov, Sh. ; Antonov, N. ; Mubarakov, B.
Lobachevskii Journal of Mathematics. 44(7):2700-2706

Fachzeitschrift
Zu den Favoriten
17

The Probabilistic Method for Determination the Inertia Characteristics of 3D Bodies with Monte Carlo Algorithms
Marius BOTIȘ ; Costel PLEȘCAN
The Annals of “Dunarea de Jos” University of Galati. Fascicle IX, Metallurgy and Materials Science, Vol 45, Iss 3, Pp 33-36 (2022)

monte carlo method Mining engineering. Meta... TN1-997 probabilistic algorithms moments of inertia of th...
Fachzeitschrift
Zu den Favoriten
18

Increase the Load of Loss of Stability for the Pillars of Large-Opening Halls
Marius BOTIȘ ; Costel PLEȘCAN
The Annals of “Dunarea de Jos” University of Galati. Fascicle IX, Metallurgy and Materials Science, Vol 45, Iss 3, Pp 29-32 (2022)

monte carlo method Mining engineering. Meta... TN1-997 0211 other engineering a... moments of inertia of fl... 02 engineering and techn...
Fachzeitschrift
Zu den Favoriten
19

Matlab Program for Determining the Inertia Characteristics of Flat Surfaces with Monte Carlo Algorithms
Marius BOTIȘ ; Costel PLEȘCAN
The Annals of “Dunarea de Jos” University of Galati. Fascicle IX, Metallurgy and Materials Science, Vol 45, Iss 2, Pp 22-26 (2022)

monte carlo method Mining engineering. Meta... TN1-997 moments of inertia of fl... probabilistic algorithms
Fachzeitschrift
Zu den Favoriten
20

Economic Dispatch Optimization Strategies and Problem Formulation: A Comprehensive Review
Fatemeh Marzbani ; Akmal Abdelfatah
Energies, Vol 17, Iss 3, p 550 (2024)

economic dispatch conventional optimizatio... probabilistic algorithms artificial intelligence metaplastic algorithms hybrid approaches
Fachzeitschrift
Zu den Favoriten

Filter