Filtrer vos résultats
- 80
- 43
- 44
- 26
- 22
- 21
- 3
- 2
- 2
- 1
- 1
- 1
- 15
- 109
- 15
- 6
- 5
- 2
- 1
- 1
- 1
- 783
- 659
- 605
- 588
- 519
- 477
- 429
- 389
- 366
- 323
- 315
- 315
- 311
- 307
- 303
- 293
- 290
- 280
- 267
- 258
- 250
- 224
- 219
- 218
- 217
- 216
- 215
- 214
- 210
- 208
- 206
- 205
- 202
- 200
- 196
- 196
- 195
- 192
- 191
- 190
- 190
- 188
- 183
- 180
- 178
- 178
- 176
- 174
- 172
- 170
- 170
- 165
- 164
- 162
- 160
- 160
- 159
- 157
- 157
- 156
- 154
- 153
- 152
- 152
- 150
- 150
- 150
- 149
- 149
- 148
- 147
- 147
- 144
- 142
- 142
- 141
- 140
- 140
- 140
- 139
- 138
- 138
- 137
- 137
- 136
- 136
- 136
- 135
- 135
- 135
- 135
- 134
- 133
- 131
- 131
- 131
- 131
- 131
- 130
- 128
- 5
- 7
- 4
- 6
- 3
- 2
- 1
- 6
- 2
- 2
- 8
- 8
- 2
- 5
- 2
- 6
- 5
- 3
- 14
- 7
- 3
- 5
- 6
- 3
- 6
- 1
- 1
- 82
- 41
- 47
- 39
- 22
- 16
- 9
- 8
- 8
- 7
- 7
- 6
- 5
- 5
- 5
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 11
- 9
- 7
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
Editorial : Implicit Computational Complexity (ICC)Theoretical Computer Science, 2004, 318 (1-2), pp.1
Article dans une revue
inria-00100101v1
|
|||
Algorithms with Polynomial Interpretation Termination ProofJournal of Functional Programming, 2001, 11 (1), pp.33-53
Article dans une revue
inria-00100819v1
|
|||
|
A note on the XRAM and PRAM models.[Research Report] LIP RR-1996-03, Laboratoire de l'informatique du parallélisme. 1996, 2+12p
Rapport
hal-02102089v1
|
||
Linear-Time Computation of Local Periods28nd International Symposium on Mathematical Foundations of Computer Science - MFCS'03, Aug 2003, Bratislava, Slovakia, pp.388-397
Communication dans un congrès
inria-00099598v1
|
|||
|
Algorithmes efficaces de recherche pour une machine chimique pair-à-pairCalcul parallèle, distribué et partagé [cs.DC]. 2012
Mémoire d'étudiant
dumas-00725210v1
|
||
No-wait flow shop problem with two mixed batching machinesThird Conference on Management and Control of Production and Logistics - MCPL'2004, 2004, Santiago, Chilie, 6 p
Communication dans un congrès
inria-00108089v1
|
|||
|
Complexité de l'algorithme de l'opacité dans les systèmes Workflows centrés sur les documentsRevue Africaine de Recherche en Informatique et Mathématiques Appliquées, 2016, Volume 25 - 2016 - Special issue CNRIA 2015, ⟨10.46298/arima.1479⟩
Article dans une revue
hal-01351970v2
|
||
|
Origine évolutive de la complexité des systèmes biologiques : Une étude par évolution expérimentale in silicoSciences agricoles. Université de Lyon, 2020. Français. ⟨NNT : 2020LYSEI085⟩
Thèse
tel-03177236v1
|
||
|
Overlaying a hypergraph with a graph with bounded maximum degreeDiscrete Applied Mathematics, In press, 319, pp.394-406. ⟨10.1007/978-3-030-39219-2_32⟩
Article dans une revue
hal-02025469v3
|
||
|
Complexité implicite des calculs : interprétation de programmesComplexité [cs.CC]. Institut National Polytechnique de Lorraine - INPL, 2011
HDR
tel-00656766v1
|
||
|
Sur les systèmes de formes normales pour représenter efficacement des fonctions multivaluéesInformatique [cs]. Université de Lorraine, 2020. Français. ⟨NNT : 2020LORR0241⟩
Thèse
tel-03202757v1
|
||
|
Ensembles indépendants et au-delà, à travers le prisme des systèmes distribués et des graphes colorésDistributed, Parallel, and Cluster Computing [cs.DC]. Université Paris-Saclay, 2022. English. ⟨NNT : 2022UPASG091⟩
Thèse
tel-03956035v1
|
||
|
Power-aware Manhattan routing on chip multiprocessors2011
Pré-publication, Document de travail
inria-00629804v2
|
||
Computability over an Arbitrary Structure. Sequential and Parallel Polynomial TimeFoundations of Software Science and Computation Structures - FOSSACS'03, Apr 2003, Warsaw, Poland, pp.185-199
Communication dans un congrès
inria-00099618v1
|
|||
Safe Recursion and Calculus over an Arbitrary StructureImplicit Computational Complexity - ICC'2002, Jul 2002, Copenhagen, Denmark, 12 p
Communication dans un congrès
inria-00100884v1
|
|||
Mondes MosaiquesCNRS Editions, pp.216, 2015, 978-2-271-08055-4
Ouvrages
hal-01250693v1
|
|||
|
Méthodologie d'apprentissage en situation VUCAMéthodes et interdisciplinarité, 1, ISTE Editions, pp.107 - 133, 2019, Méthodologies de modélisation en sciences sociales, 9781784055813
Chapitre d'ouvrage
hal-02263142v1
|
||
|
Interdisciplinarité et VUCARoger WALDECK. Méthodes et interdisciplinarité, 1, ISTE Editions, pp.91 - 105, 2019, Méthodologies de modélisation en sciences sociales, 9781784055813
Chapitre d'ouvrage
hal-02257816v1
|
||
|
Vers des algorithmes dynamiques randomisés en géométrie algorithmiqueGéométrie algorithmique [cs.CG]. Université Paris Sud - Paris XI, 1991. Français. ⟨NNT : ⟩
Thèse
tel-00832312v1
|
||
P = NP, un problème à un million de dollars ?Interstices, 2007
Article dans une revue
hal-01350366v1
|
|||
|
Agréger Rapidement des Données est DifficileALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2015, Beaune, France
Communication dans un congrès
hal-01144458v1
|
||
|
Light Multiset path ordering and Ptime - Two is better than one[Intern report] 99-R-106 || marion99b, 1999, 19 p
Rapport
inria-00098750v1
|
||
Strictly Orthogonal Left Linear Rewrite Systems and Primitive Recursion[Intern report] 98-R-351 || cichon98b, 1998, 16 p
Rapport
inria-00098335v1
|
|||
|
Scheduling for Reliability : complexity and AlgorithmsOther [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2011. English. ⟨NNT : 2011ENSL0635⟩
Thèse
tel-00660236v1
|
||
|
Topologie de courbes algébriques planes et projection de surfaces analytiques réelles.Mathématiques [math]. Université Assane Seck de Ziguinchor (UASZ), 2020. Français. ⟨NNT : 2020UASZ19M2⟩
Thèse
tel-03101708v1
|
||
|
Parameterized verification of networks of many identical processesVérification paramétrée de réseaux composés d'une multitude de processus identiquesNetworking and Internet Architecture [cs.NI]. Université de Rennes, 2015. English. ⟨NNT : 2015REN1S170⟩
Thèse
tel-01355847v1
|
||
|
Modèles combinatoires des structures d'ARN avec ou sans pseudonoeuds, application à la comparaison de structures.Bio-informatique [q-bio.QM]. Université Paris Sud - Paris XI, 2011. Français. ⟨NNT : ⟩
Thèse
tel-00788467v1
|
||
« Structures : organisation, complexité, dynamique » des mot-clés au sens inattendu2015
Autre publication scientifique
hal-01238442v1
|
|||
On the complexity of linear and stratified context matching problems2nd International Workshop on Complexity in Automated Deduction - CiAD'02, Jul 2002, Copenhagen, Denmark. 18 p
Communication dans un congrès
inria-00100988v1
|
|||
|
Implicit Complexity over an Arbitrary Structure: Quantifier Alternations[Intern report] A04-R-300 || bournez04e, 2004, 23 p
Rapport
inria-00107811v1
|