Results 11 to 20 of about 2,737,426 (261)
Model checking randomized distributed algorithms [PDF]
, 2020 International audienceRandomization is a powerful paradigm to solve hard problems, especially in distributed computing. Proving the correctness, and assessing the performances, of randomized distributed algorithms, is a very challenging research ...
Bertrand, Nathalie
core +1 more source
The Online Reservation Problem
Algorithms, 2020 Many sharing-economy platforms operate as follows. Owners list the availability of resources, prices, and contract-length limits. Customers propose contract start times and lengths. The owners decide immediately whether to accept or decline each proposal,
Shashank Goyal, Diwakar Gupta
doaj +1 more source
Novel and Efficient Randomized Algorithms for Feature Selection
Big Data Mining and Analytics, 2020 Feature selection is a crucial problem in efficient machine learning, and it also greatly contributes to the explainability of machine-driven decisions. Methods, like decision trees and Least Absolute Shrinkage and Selection Operator (LASSO), can select ...
Zigeng Wang +2 more
doaj +1 more source
A Quantum Algorithm for the Commutativity of Finite Dimensional Algebras
IEEE Access, 2019 A quantum procedure for testing the commutativity of a finite dimensional algebra is introduced. This algorithm, based on Grover's quantum search, is shown to provide a quadratic speed-up (when the number of queries to the algebra multiplication ...
Elias F. Combarro +2 more
doaj +1 more source
08201 Abstracts Collection – Design and Analysis of Randomized and Approximation Algorithms [PDF]
, 2008 From 11.05.08 to 16.05.08, the Dagstuhl Seminar 08201 ``Design and Analysis of Randomized and Approximation Algorithms'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl.
Dyer, Martin E. +2 more
core +1 more source
Formalizing Randomized Matching Algorithms [PDF]
Logical Methods in Computer Science, 2012 Using Je\v{r}\'abek 's framework for probabilistic reasoning, we formalize the correctness of two fundamental RNC^2 algorithms for bipartite perfect matching within the theory VPV for polytime reasoning.
Dai Tri Man Le, Stephen A. Cook
doaj +1 more source
05201 Abstracts Collection – Design and Analysis of Randomized and Approximation Algorithms [PDF]
, 2005 From 15.05.05 to 20.05.05, the Dagstuhl Seminar 05201 ``Design and Analysis of Randomized and Approximation Algorithms'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl.
Dyer, Martin +2 more
core +1 more source
A Randomized Algorithm for Optimal PID Controllers
Algorithms, 2018 A randomized algorithm is suggested for the syntheses of optimal PID controllers for MIMO coupled systems, where the optimality is with respect to the H ∞ -norm, the H 2 -norm and the LQR functional, with possible system-performance ...
Yossi Peretz
doaj +1 more source
On the application of one approach for data clustering in the agro-industrial complex [PDF]
E3S Web of Conferences, 2023 The paper presents an approach to the automatic grouping algorithms development based on parametric optimization models for processing high-volume data in the agrarian and industrial complex.
Rozhnov Ivan P. +4 more
doaj +1 more source
A Randomized Algorithm for Chance Constrained Optimal Power Flow with Renewables
SICE Journal of Control, Measurement, and System Integration, 2017 A chance constrained AC optimal power flow is to find the optimal economic operation plan whose probability satisfying AC power flow equations and various inequality constraints on operating limits of the power system is greater than a specified ...
Takayuki Wada +4 more
doaj +1 more source