853 citations
- Sorbonne UniversitéFR398 papers
- Centre National de la Recherche ScientifiqueFR380 papers
- Université Paris CitéFR136 papers
- Université Pierre-et-Marie-CurieFR97 papers
- University of EdinburghGB89 papers
- Institut national de recherche en sciences et technologies du numériqueFR85 papers
- Université Paris-SaclayFR67 papers
- University of OxfordGB54 papers
- École PolytechniqueFR50 papers
- Sorbonne Paris CitéFR48 papers
- Massachusetts Institute of TechnologyUS45 papers
- Universidade Federal do Rio de JaneiroBR45 papers
23 papers · 1 filter
Moment Matrices, Border Bases and Real Radical Computation
Jean-Bernard Lasserre, Monique Laurent, Bernard Mourrain +2
In this paper, we describe new methods to compute the radical (resp. real radical) of an ideal, assuming it complex (resp. real) variety is finite. The aim is to combine approaches…
On the Complexity of Solving Quadratic Boolean Systems
Magali Bardet, Jean-Charles Faugère, Bruno Salvy +1
A fundamental problem in computer science is to find all the common zeroes of quadratic polynomials in unknowns over . The cryptanalysis of several modern cip…
New Candidates Welcome! Possible Winners with respect to the Addition of New Candidates
Yann Chevaleyre, Jérôme Lang, Nicolas Maudet +2
In voting contexts, some new candidates may show up in the course of the process. In this case, we may want to determine which of the initial candidates are possible winners, given…
Intrinsically Dynamic Network Communities
Bivas Mitra, Lionel Tabourier, Camille Roth
Community finding algorithms for networks have recently been extended to dynamic data. Most of these recent methods aim at exhibiting community partitions from successive graph sna…
Speed scaling with power down scheduling for agreeable deadlines
Evripidis Bampis, Christoph Dürr, Fadi Kacem +1
We consider the problem of scheduling on a single processor a given set of n jobs. Each job j has a workload w_j and a release time r_j. The processor can vary its speed and hibern…
Leveraging Software Architectures to Guide and Verify the Development of Sense/Compute/Control Applications
Damien Cassou, Emilie Balland, Charles Consel +1
A software architecture describes the structure of a computing system by specifying software components and their interactions. Mapping a software architecture to an implementation…