 |
 |
 |
|
|
||
|---|---|---|
| tel-01297386v1
Theses
Budgeted Classification-based Policy Iteration Machine Learning [stat.ML]. Universite Lille 1, 2014. English |
||
| inria-00508257v2
Conference papers
The Iso-regularization Descent Algorithm for the LASSO 17th International Conference on Neural Information Processing, Nov 2010, Sidney, Australia |
||
| lirmm-00632958v1
Journal articles
Querying Large Read Collections in Main Memory: A Versatile data Structure BMC Bioinformatics, BioMed Central, 2011, 12, pp.242-258. ⟨10.1186/1471-2105-12-242⟩ |
||
| hal-01650272v1
Conference papers
A Progressive k-d tree for Approximate k-Nearest Neighbors Workshop on Data Systems for Interactive Analysis (DSIA), Oct 2017, Phoenix, United States |
||
| hal-00806107v2
Reports
Delaunay stability via perturbations [Research Report] RR-8275, INRIA. 2013, pp.26 |
||
| hal-01700565v1
Journal articles
La liberté à l'ère numérique Politeia - Les Cahiers de l'Association Française des Auditeurs de l'Académie Internationale de Droit constitutionnel, Association française des auditeurs de l'Académie internationale de droit constitutionnel, 2017, Les métamorphoses des droits fondamentaux à l'ère du numérique, 31, pp.161-172 |
||
| hal-00959010v1
Journal articles
Efficient Algorithms on the Family Associated to an Implicational System Discrete Mathematics and Theoretical Computer Science, DMTCS, 2004, 6 (2), pp.315-338 |
||
| inria-00135239v1
Conference papers
GCP: Gossip-based Code Propagation for Large-scale Mobile Wireless Sensor Network EuroSys 2007, Second conference of the European Chapter of ACM SIGOPS, European Chapter of ACM SIGOPS, Mar 2007, Lisboa/Portugal |
||
| hal-03138288v1
Journal articles
Deterministic Treasure Hunt in the Plane with Angular Hints Algorithmica, Springer Verlag, 2020, 82 (11), pp.3250-3281. ⟨10.1007/s00453-020-00724-4⟩ |
||
| hal-01355346v1
Conference papers
Solving the token distribution problem on k-ary d-cube networks Int. Symp. on Parallel Architectures, algorithms and networks, 1994, Kanazan, Japan |
||
| lirmm-00537836v1
Conference papers
Deduction in Existential Conjunctive First-Order Logic: an Algorithm and Experiments AIMSA'10: International Conference on Artificial Intelligence: Methodology, Systems, Applications, Sep 2010, Varna, Bulgaria. pp.1-10, ⟨10.1007/978-3-642-15431-7_1⟩  |
||
| hal-01357170v1
Conference papers
A Randomized Algorithm for Graph Coloring Applied to Channel Allocation in Mobile Telephone International conference on operational research, 1996, zagreb, Croatia |
||
| tel-00563217v1
Theses
Traitement de requêtes conjonctives avec négation : algorithmes et expérimentations Autre [cs.OH]. Université Montpellier II - Sciences et Techniques du Languedoc, 2010. Français |
||
| inria-00634981v1
Journal articles
Minimum k-path vertex cover Discrete Applied Mathematics, Elsevier, 2011, 159 (12), pp.1189-1195. ⟨10.1016/j.dam.2011.04.008⟩ |
||
| tel-00438817v1
Theses
Calcul effectif de la topologie de courbes et surfaces algébriques réelles Mathématiques [math]. Université de Limoges, 2009. Français |
||
| hal-01284671v1
Reports
A note on the complexity of Bürgi's algorithm for the computation of sines [Research Report] LORIA. 2016 |
||
| tel-00605791v1
Theses
Application de la théorie des jeux à l'optimisation du routage réseau - solutions algorithmiques Informatique [cs]. Université Henri Poincaré - Nancy I, 2010. Français |
||
| hal-02025469v2
Reports
Overlaying a hypergraph with a graph with bounded maximum degree [Research Report] RR-9258, Inria Sophia Antipolis. 2019 |
||
| inria-00615031v1
Journal articles
General Object Reconstruction based on Simplex Meshes International Journal of Computer Vision, Springer Verlag, 1999, 32 (2), pp.111-146. ⟨10.1023/A:1008157432188⟩ |
||
| lirmm-00463579v1
Reports
Deduction in Existential Conjunctive First-Order Logic: an Algorithm and Experiments RR-10010, 2010, pp.20 |
||
| hal-01700607v1
Documents associated with scientific events
Liberté à l'ère numérique Defense Security Cyber, Jul 2016, Bordeaux, France. pp.1-27, 2016 |
||
| hal-00862050v1
Conference papers
Transforming EVENT B Models into Verified C# Implementations VPT 2013 - First International Workshop on Verification and Program Transformation, Alexei Lisitsa and Andrei Nemytykh, Jul 2013, Saint Petersburg, Russia. pp.57-73 |
||
| hal-00952874v1
Reports
A delay differential equation solver for MONOLIX & MLXPLORE [Research Report] RR-8489, INRIA. 2014, pp.19 |
||
| tel-01816069v1
Theses
Exploration-Exploitation with Thompson Sampling in Linear Systems Mathematics [math]. Université de Lille 1, 2017. English |
||
| tel-01820700v1
Theses
Reinforcement Learning: The Multi-Player Case Artificial Intelligence [cs.AI]. Université de Lille 1 - Sciences et Technologies, 2017. English |
||
| hal-00879133v1
Reports
Delaunay triangulation of manifolds [Research Report] RR-8389, INRIA. 2013, pp.28 |
||
| tel-00636169v1
Theses
étude de la symétrie bilatérale en imagerie cérébrale volumique Informatique [cs]. Université Paris Sud - Paris XI, 2001. Français |
||
| tel-01089130v1
Theses
Périodes d'intégrales rationnelles : algorithmes et applications Calcul formel [cs.SC]. École polytechnique, 2014. Français |
||
| hal-00828153v1
Journal articles
New uniform and asymptotic upper bounds on the tensor rank of multiplication in extensions of finite fields Mathematics of Computation, American Mathematical Society, 2015, 84 (294), pp.2023-2045. ⟨10.1090/S0025-5718-2015-02921-4⟩ |
||
| hal-01567868v1
Reports
A conduction velocity adapted eikonal model for electrophysiology problems with re-excitability evaluation [Research Report] Inria Bordeaux Sud-Ouest; King's College London. 2017 |
||
|
|
||