Nearly Optimal List Labeling

Authors: Bender, Michael A., Conway, Alex, Farach-Colton, Martin, Komlos, Hanna, Koucky, Michal, Kuszmaul, William, Saks, Michael

Source: 2024 IEEE 65th Annual Symposium on Foundations of Computer Science (FOCS) FOCS Foundations of Computer Science (FOCS), 2024 IEEE 65th Annual Symposium on. :2253-2274 Oct, 2024

Relation: 2024 IEEE 65th Annual Symposium on Foundations of Computer Science (FOCS)

ProBoost: Reducing Uncertainty Using a Boosting Method for Probabilistic Models

Authors: Mendonca, F., Shanawaz Mostafa, S., Morgado-Dias, F., Ravelo-Garcia, A.G., Figueiredo, M.A.T.

Source: IEEE Access Access, IEEE. 13:132006-132021 2025

Semantics of Probabilistic Programs Using s-Finite Kernels in Dependent Type Theory

Authors: Affeldt, Reynald, Cohen, Cyril, Saito, Ayumu

Contributors: Cohen, Cyril

Source: ACM Transactions on Probabilistic Machine Learning. 1:1-34

Subject Terms: Denotational semantics, measure theory, formal proofs, Program verification, integration theory, Rocq, Formalized mathematics, Probabilistic algorithms, probabilistic programming language, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

File Description: application/pdf

Access URL: https://hal.science/hal-05318682v1/document
https://hal.science/hal-05318682v1
https://doi.org/10.1145/3732291

Informed Adaptive Sensing

Authors: Morssy, A., Frean, M.R., Teal, P.D.

Source: IEEE Transactions on Pattern Analysis and Machine Intelligence IEEE Trans. Pattern Anal. Mach. Intell. Pattern Analysis and Machine Intelligence, IEEE Transactions on. 46(5):3230-3241 May, 2024

PresQ: Discovery of Multidimensional Equally-Distributed Dependencies via Quasi-Cliques on Hypergraphs

Authors: Alvarez-Ayllon, A., Palomo-Duarte, M., Dodero, J.

Source: IEEE Transactions on Emerging Topics in Computing IEEE Trans. Emerg. Topics Comput. Emerging Topics in Computing, IEEE Transactions on. 12(1):224-239 Jan, 2024

On the $h$-majority dynamics with many opinions

Authors: d'Amore, Francesco, d'Archivio, Niccolò, Giakkoupis, George, Natale, Emanuele

Contributors: D'Archivio, Niccolò, Francesco d'Amore and Niccolò D'Archivio and George Giakkoupis and Emanuele Natale

Subject Terms: FOS: Computer and information sciences, Networks → Network protocols, Consensus Problem, Mathematics of computing → Probabilistic algorithms, Randomized Algorithms, Plurality Consensus, [INFO] Computer Science [cs], Parallel, Distributed Algorithms, Markov Chains, Distributed, Applied computing → Systems biology, and Cluster Computing (cs.DC), Distributed, Parallel, and Cluster Computing, Distributed, Parallel, and Cluster Computing (cs.DC), Theory of computation → Distributed algorithms, ddc:004, Opinion dynamics, Mathematics of computing → Markov processes, Multiagent Systems, Multiagent Systems (cs.MA)

File Description: application/pdf

Access URL: http://arxiv.org/abs/2506.20218
https://hal.science/hal-05198643v1/document
https://hal.science/hal-05198643v1
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2025.27
https://hal.science/hal-05198643v1/document
https://doi.org/10.4230/lipics.disc.2025.27
https://hal.science/hal-05198643v1

On the h-majority dynamics with many opinions

Authors: d'Amore, Francesco, d'Archivio, Niccolò, Giakkoupis, George, Natale, Emanuele

Contributors: Gran Sasso Science Institute (GSSI), Combinatorics, Optimization and Algorithms for Telecommunications (COATI), Centre Inria d'Université Côte d'Azur, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-COMmunications, Réseaux, systèmes Embarqués et Distribués (Laboratoire I3S - COMRED), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA), the World Is Distributed Exploring the tension between scale and coordination (WIDE), Centre Inria de l'Université de Rennes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-SYSTÈMES LARGE ÉCHELLE (IRISA-D1), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA), Université Côte d'Azur (UniCA), Centre National de la Recherche Scientifique (CNRS), AID INRIA-DGA project n°2023000872 “BioSwarm”MUR (Italy) Department of Excellence 2023 - 2027for GSSI, European Association for Theoretical Computer Science (EATCS), ANR-19-P3IA-0002,3IA@cote d'azur,3IA Côte d'Azur(2019)

Source: 39th International Symposium on Distributed Computing (DISC 2025)
https://hal.science/hal-05198643
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⟩

Subject Terms: Consensus Problem, Networks → Network protocols, Applied computing → Systems biology, Mathematics of computing → Markov processes, Mathematics of computing → Probabilistic algorithms, Theory of computation → Distributed algorithms, Plurality Consensus, Opinion dynamics, Markov Chains, Randomized Algorithms, Distributed Algorithms, Distributed, Parallel, and Cluster Computing (cs.DC), Multiagent Systems (cs.MA), FOS: Computer and information sciences, [INFO]Computer Science [cs]

Subject Geographic: Berlin, Germany

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2506.20218; ARXIV: 2506.20218

Availability: https://hal.science/hal-05198643
https://hal.science/hal-05198643v1/document
https://hal.science/hal-05198643v1/file/arxiv.pdf
https://doi.org/10.4230/LIPIcs.DISC.2025.27

Dynamic Probabilistic Reliable Broadcast

Authors: Bezerra, João Paulo, Anikina, Veronika, Kuznetsov, Petr, Schiff, Liron, Schmid, Stefan

Contributors: João Paulo Bezerra and Veronika Anikina and Petr Kuznetsov and Liron Schiff and Stefan Schmid

Subject Terms: Reliable broadcast, probabilistic algorithms, witness sets, stream-local hashing, cryptocurrencies, accountability

File Description: application/pdf

Relation: Is Part Of LIPIcs, Volume 324, 28th International Conference on Principles of Distributed Systems (OPODIS 2024); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2024.31

Availability: https://doi.org/10.4230/LIPIcs.OPODIS.2024.31
https://nbn-resolving.org/urn:nbn:de:0030-drops-225679
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2024.31

Probabilistic Algorithm for System Level Self-diagnosis

Authors: Mashkov, Viktor^Aff4, Lytvynenko, Volodymyr^Aff5, Mashkov, Oleh^Aff6, Vyshemyrska, Svitlana^Aff5

Contributors: Xhafa, Fatos, Series Editor^Aff1, Babichev, Sergii, editor^Aff2, Lytvynenko, Volodymyr, editor^Aff3

Source: Lecture Notes in Data Engineering, Computational Intelligence, and Decision-Making, Volume 1 : 2024 International Scientific Conference "Intelligent Systems of Decision-Making and Problems of Computational Intelligence”, Proceedings. 219:219-241

The Use of Informed Priors in Biclustering of Gene Expression with the Hierarchical Dirichlet Process

Authors: Tercan, B., Acar, A.C.

Source: IEEE/ACM Transactions on Computational Biology and Bioinformatics IEEE/ACM Trans. Comput. Biol. and Bioinf. Computational Biology and Bioinformatics, IEEE/ACM Transactions on. 17(5):1810-1821 Jan, 2020

Semantics of Probabilistic Programs using s-Finite Kernels in Coq

Authors: Affeldt, Reynald, Cohen, Cyril, Saito, Ayumu

Contributors: Cohen, Cyril

Source: Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs. :3-16

Subject Terms: Denotational semantics, [MATH.MATH-PR] Mathematics [math]/Probability [math.PR], [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Integration theory, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Mmeasure theory, Program verification, Probabilistic programming language, 0202 electrical engineering, electronic engineering, information engineering, Coq, Probabilistic algorithms

File Description: application/pdf

Access URL: https://inria.hal.science/hal-03917948v1/document
https://inria.hal.science/hal-03917948v1
https://doi.org/10.1145/3573105.3575691

Communication Efficient Checking of Big Data Operations

Authors: Hubschle-Schneider, Lorenz, Sanders, Peter

Source: 2018 IEEE International Parallel and Distributed Processing Symposium (IPDPS) IPDPS Parallel and Distributed Processing Symposium, 2018 IEEE International. :650-659 May, 2018

Relation: 2018 IEEE International Parallel and Distributed Processing Symposium (IPDPS)

An Extension to the Noisy-OR Function to Resolve the ‘Explaining Away’ Deficiency for Practical Bayesian Network Problems

Authors: Fenton, N.E., Noguchi, T., Neil, M.

Source: IEEE Transactions on Knowledge and Data Engineering IEEE Trans. Knowl. Data Eng. Knowledge and Data Engineering, IEEE Transactions on. 31(12):2441-2445 Dec, 2019

Shotgun Assembly of Labeled Graphs

Authors: Mossel, E., Ross, N.

Source: IEEE Transactions on Network Science and Engineering IEEE Trans. Netw. Sci. Eng. Network Science and Engineering, IEEE Transactions on. 6(2):145-157 Jun, 2019

Addressing the Practical Limitations of Noisy-OR Using Conditional Inter-Causal Anti-Correlation with Ranked Nodes

Authors: Noguchi, T., Fenton, N., Neil, M.

Source: IEEE Transactions on Knowledge and Data Engineering IEEE Trans. Knowl. Data Eng. Knowledge and Data Engineering, IEEE Transactions on. 31(4):813-817 Apr, 2019

The effectiveness of optimization algorithms in shape and topology discrete optimisation of 2-D composite structures

Authors: Muc, A., Sanetra, I.

Source: 2017 7th International Conference on Modeling, Simulation, and Applied Optimization (ICMSAO) Modeling, Simulation, and Applied Optimization (ICMSAO), 2017 7th International Conference on. :1-5 Apr, 2017

Relation: 2017 7th International Conference on Modeling, Simulation, and Applied Optimization (ICMSAO)

Stochastic processes and Markov chains in shape and material optimization problems of composite structures

Authors: Muc, Aleksander, Wygoda, Mateusz

Source: 2017 7th International Conference on Modeling, Simulation, and Applied Optimization (ICMSAO) Modeling, Simulation, and Applied Optimization (ICMSAO), 2017 7th International Conference on. :1-4 Apr, 2017

Relation: 2017 7th International Conference on Modeling, Simulation, and Applied Optimization (ICMSAO)

Catene di Markov e applicazioni algoritmiche

Authors: M. Goldwurm

Subject Terms: thema EDItEUR::U Computing and Information Technology, finite Markov chains, random generation, probabilistic algorithms, Markov Chain Monte Carlo methods

File Description: image/jpeg; application/pdf

Access URL: https://libri.unimi.it/index.php/milanoup/catalog/view/158/504/1423
https://directory.doabooks.org/handle/20.500.12854/133816.2
https://hdl.handle.net/2434/1027270
https://doi.org/10.54103/milanoup.158

Catene di Markov e applicazioni algoritmiche

Authors: Goldwurm, Massimiliano

Subject Terms: probabilistic algorithms, finite Markov chains, random generation, Markov Chain Monte Carlo methods, Computing and Information Technology

File Description: image/jpeg

Access URL: https://directory.doabooks.org/handle/20.500.12854/133816.2
https://libri.unimi.it/index.php/milanoup/catalog/view/158/504/1423

A Monte Carlo Method for Fluid Simulation

Authors: Rioux-Lavoie, Damien, Sugimoto, Ryusuke, Ozdemir, Tumay, Shimada, Naoharu H., Batty, Christopher, Nowrouzezahrai, Derek, Hachisuka, Toshiya

Source: ACM Transactions on Graphics. 41:1-16

Subject Terms: computational fluid dynamics, 02 engineering and technology, probabilistic algorithms, 01 natural sciences, modeling and simulation, walk-on-spheres algorithm, partial differential equations, 0202 electrical engineering, electronic engineering, information engineering, computing methodologies, stochastic processes, mathematics of computing, 0101 mathematics, Monte Carlo integration