• Search: "Randomized Algorithms"

Showing 241 - 260 of 4,042

241

Formalization of Randomized Approximation Algorithms for Frequency Moments
Karayel, Emin ; Emin Karayel

Randomized Algorithms ddc:004 Isabelle/HOL Formal Verification Frequency Moments
Conference
Save to List
242

Phase Transition of the 3-Majority Dynamics with Uniform Communication Noise
Francesco d’Amore ; Isabella Ziccardi ; d'Amore, Francesco
Lecture Notes in Computer Science ISBN: 9783031099922

[MATH.MATH-PR] Mathemati... 0209 industrial biotechn... Consensus Problem Uniform Communication No... [INFO.INFO-DC] Computer... Randomized Algorithms …
Academic journal
Save to List
243

Heterogenous dating service with application to rumor spreading
Beaumont, Olivier ; Duchon, Philippe ; Korzeniowski, Miroslaw ; et al.
IEEE International Symposium on Parallel and Distributed Processing, 2008. IPDPS 2008., IEEE, Apr 2008, Miami, FL, United States. pp 1--10, ⟨10.1109/IPDPS.2008.4536294⟩

Miami, FL, United States randomized algorithms distributed algorithms r... [INFO.INFO-DC]Computer S... Distributed, Parallel, a... [INFO.INFO-DS]Computer S... …
Conference
Save to List
244

Testing convexity of figures under the uniform distribution
Berman, Piotr ; Murzabulatov, Meiram ; Raskhodnikova, Sofya ; et al.
Random Structures & Algorithms. 54:413-443

randomized algorithms 0202 electrical engineer... property testing 0102 computer and inform... 02 engineering and techn... ddc:004 …
Academic journal
Save to List
245

The Power and Limitations of Uniform Samples in Testing Properties of Figures
Piotr Berman ; Meiram Murzabulatov ; Sofya Raskhodnikova ; et al.
Algorithmica. 81:1247-1266

convexity randomized algorithms Property testing being a half-plane 0202 electrical engineer... 0102 computer and inform... …
Academic journal
Save to List
246

Randomised Enumeration of Small Witnesses Using a Decision Oracle
Meeks, Kitty ; Guo, Jiong ; Hermelin, Danny ; et al.
Algorithmica. 81:519-540

FOS: Computer and inform... Computer Science - Compu... randomized algorithms Computer Science - Data... enumeration algorithms Data Structures and Algo... …
Academic journal
Save to List
247

Erasure-Resilient Property Testing
Dixit, Kashyap ; Raskhodnikova, Sofya ; Thakurta, Abhradeep ; et al.
SIAM Journal on Computing. 47:295-329

error correction FOS: Computer and inform... Discrete Mathematics (cs... Randomized algorithms 68W20, 68W25, 68P10, 68Q... property testing …
Academic journal
Save to List
248

A randomized approach to switched nonlinear systems identification
BIANCHI, FEDERICO ; M. Prandini ; L. Piroddi
IFAC-Papers

0209 industrial biotechn... Nonlinear systems, switc... 0202 electrical engineer... 02 engineering and techn...
Academic journal
Save to List
249

A Randomized Polynomial Kernelization for Vertex Cover with a Smaller Parameter: A randomized polynomial kernelization for vertex cover with a smaller parameter
Kratsch, Stefan ; Stefan Kratsch
SIAM Journal on Discrete Mathematics. 32:1806-1839

FOS: Computer and inform... Randomized algorithms 0211 other engineering a... Parameterized complexity... 0102 computer and inform... 02 engineering and techn... …
Academic journal
Save to List
250

Online Dominant Generalized Eigenvectors Extraction via a Randomized Method
Cai, Haoyuan ; Kaloorazi, Maboud, F. ; Chen, Jie ; et al.
2020 28th European Signal Processing Conference (EUSIPCO)
https://hal.science/hal-03347376
2020 28th European Signal Processing Conference (EUSIPCO), Jan 2021, Amsterdam (virtual), France. pp.2353-2357, ⟨10.23919/Eusipco47968.2020.9287345⟩

Amsterdam (virtual) France online algorithms fast subspace tracking dominant generalized eig... Randomized algorithms …
Conference
Save to List
251

Efficient Randomized DCAS
Giakkoupis, George ; Jafari Giv, Mehrdad ; Woelfel, Philipp ; et al.
STOC 2021 - 53rd Annual ACM SIGACT Symposium on Theory of Computing ; https://inria.hal.science/hal-03195692 ; STOC 2021 - 53rd Annual ACM SIGACT Symposium on Theory of Computing, Jun 2021, Rome (Virtual), Italy. pp.1-64, ⟨10.1145/3406325.3451133⟩

Rome (Virtual) Italy Oblivious Adversary Randomized Algorithms DCAS Double-Compare-And-Swap …
Conference
Save to List
252

Agile Computational Intelligence for Supporting Hospital Logistics During the COVID-19 Crisis
Tordecilla R.D. ; Martins L.C. ; Saiz M. ; et al.
Universidad de La Sabana ; Intellectum Repositorio Universidad de La Sabana

Biased-randomized algori... Computational intelligen... Hospital logistics Operations management Vehicle routing problems
Book
Save to List
253

Relatively complete verification of probabilistic programs: An expressive language for expectation-based reasoning
Batz, Kevin ; Kaminski, Benjamin L. ; Katoen, Joost-Pieter ; et al.
Proceedings of the ACM on Programming Languages, 5 (POPL)

probabilistic programs randomized algorithms formal verification quantitative verificatio... completeness weakest precondition …
Conference
Save to List
254

Impatient PPSZ - A Faster Algorithm for CSP
Li, Shibo ; Scheder, Dominik ; Shibo Li and Dominik Scheder

Randomized algorithms Constraint Satisfaction... exponential-time algorit...
Academic journal
Save to List
255

Singularly Near Optimal Leader Election in Asynchronous Networks
Kutten, Shay ; Moses Jr., William K. ; Pandurangan, Gopal ; et al.

Leader election Singular optimality Randomized algorithms Asynchronous networks Arbitrary graphs
Academic journal
Save to List
256

Randomized Local Fast Rerouting for Datacenter Networks with Almost Optimal Congestion
Bankhamer, Gregor ; Elsässer, Robert ; Schmid, Stefan ; et al.

local failover routing congestion randomized algorithms datacenter networks
Academic journal
Save to List
257

An Efficient Coding Theorem via Probabilistic Representations and Its Applications
Lu, Zhenjian ; Oliveira, Igor C. ; Zhenjian Lu and Igor C. Oliveira

computational complexity randomized algorithms Kolmogorov complexity
Academic journal
Save to List
258

How to Send a Real Number Using a Single Bit (And Some Shared Randomness)
Ben Basat, Ran ; Mitzenmacher, Michael ; Vargaftik, Shay ; et al.

Randomized Algorithms Approximation Algorithms Shared Randomness Distributed Protocols Estimation Subtractive Dithering
Academic journal
Save to List
259

First-hitting times under drift
Kötzing, Timo (Dr.) ; Krejca, Martin Stefan
Theoretical Computer Science. 796:51-69

Stopping times optimal stopping problem... gambling theory Probability in computer... ddc:000 drift …
Academic journal
Save to List
260

A New Randomized Block-Coordinate Primal-Dual Proximal Algorithm for Distributed Optimization
Puya Latafat ; Nikolaos M. Freris ; Panagiotis Patrinos
IEEE Transactions on Automatic Control. 64:4050-4065

STADIUS-18-29 Technology 0209 industrial biotechn... Science & Technology 4007 Control engineering... randomized algorithms …
Academic journal
Save to List
Search Tools: Get RSS Feed Email this Search Save Search

Filter