Filter your results
- 55024
- 41987
- 13417
- 6537
- 5133
- 3774
- 1936
- 1574
- 1121
- 664
- 468
- 457
- 386
- 279
- 164
- 144
- 138
- 59
- 56
- 6
- 5
- 3
- 2
- 2
- 1
- 650
- 593
- 486
- 426
- 415
- 412
- 391
- 387
- 366
- 360
- 336
- 334
- 321
- 315
- 312
- 311
- 309
- 305
- 301
- 294
- 292
- 288
- 286
- 286
- 285
- 282
- 279
- 273
- 270
- 268
- 265
- 261
- 252
- 247
- 244
- 242
- 242
- 241
- 240
- 237
- 237
- 235
- 235
- 234
- 233
- 230
- 229
- 229
- 227
- 221
- 221
- 218
- 218
- 218
- 217
- 215
- 214
- 214
- 213
- 213
- 212
- 212
- 211
- 210
- 208
- 208
- 206
- 204
- 204
- 203
- 199
- 196
- 195
- 193
- 193
- 191
- 191
- 191
- 190
- 189
- 189
- 188
- 188
- 187
- 186
- 186
- 186
- 186
- 186
- 185
- 184
- 183
- 183
- 182
- 181
- 181
- 180
- 177
- 177
- 177
- 93133
- 21275
- 15862
- 12328
- 4652
- 4498
- 3181
- 3106
- 1973
- 1083
- 446
- 389
- 372
- 20
- 5
- 19250
- 18151
- 16653
- 16342
- 15538
- 12420
- 9910
- 8208
- 8096
- 7455
- 6946
- 6919
- 6651
- 5182
- 5079
- 4983
- 4033
- 3921
- 3781
- 3735
- 3639
- 3304
- 2948
- 2710
- 2312
- 2016
- 1868
- 1779
- 1669
- 1494
- 1435
- 1394
- 1370
- 1363
- 1349
- 1343
- 1286
- 1156
- 1103
- 1089
- 1072
- 1049
- 1029
- 1020
- 966
- 913
- 890
- 857
- 832
- 827
- 800
- 765
- 743
- 743
- 701
- 692
- 671
- 631
- 596
- 574
- 574
- 526
- 517
- 512
- 499
- 484
- 480
- 478
- 474
- 468
- 454
- 450
- 436
- 435
- 430
- 430
- 426
- 421
- 387
- 385
- 375
- 371
- 370
- 369
- 363
- 351
- 348
- 337
- 331
- 329
- 319
- 319
- 315
- 315
- 310
- 306
- 304
- 304
- 303
- 291
- 133308
- 112612
- 106685
- 106462
- 91612
- 33898
- 32521
- 32520
- 31735
- 31620
- 26051
- 23533
- 23532
- 23532
- 21370
- 20969
- 19909
- 19549
- 19464
- 19248
- 19248
- 19182
- 18945
- 18461
- 18182
- 17845
- 17713
- 16976
- 16655
- 15538
- 14898
- 14898
- 14727
- 14634
- 14189
- 13939
- 13631
- 13467
- 13426
- 13416
- 13369
- 13364
- 12609
- 12426
- 11709
- 11496
- 11333
- 10420
- 10095
- 9946
- 9923
- 9869
- 9705
- 9371
- 9250
- 9023
- 8518
- 8208
- 8024
- 7632
- 7460
- 7453
- 7404
- 7159
- 6950
- 6751
- 6681
- 6426
- 6386
- 6276
- 6184
- 6098
- 5920
- 5903
- 5779
- 5729
- 5605
- 5586
- 5583
- 5419
- 5366
- 5315
- 5283
- 5180
- 5160
- 5072
- 4938
- 4785
- 4783
- 4527
- 4510
- 4480
- 4446
- 4389
- 4293
- 4231
- 4133
- 3904
- 3880
- 3878
- 117007
- 15806
- 183
- 137
- 49
- 46
- 33
- 23
- 15
- 8
- 8
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 711
- 638
- 602
- 561
- 472
- 466
- 418
- 369
- 341
- 311
- 310
- 308
- 303
- 294
- 283
- 278
- 271
- 266
- 265
- 260
- 247
- 233
- 218
- 212
- 212
- 209
- 208
- 205
- 199
- 199
- 197
- 196
- 192
- 191
- 191
- 190
- 190
- 186
- 184
- 181
- 180
- 171
- 170
- 170
- 170
- 168
- 168
- 166
- 165
- 164
- 163
- 162
- 161
- 161
- 159
- 158
- 156
- 156
- 154
- 153
- 152
- 150
- 148
- 148
- 147
- 145
- 145
- 144
- 143
- 143
- 142
- 142
- 141
- 140
- 139
- 137
- 136
- 135
- 134
- 133
- 133
- 133
- 133
- 133
- 132
- 132
- 132
- 131
- 130
- 130
- 129
- 127
- 126
- 126
- 126
- 126
- 126
- 124
- 124
- 123
- 85444
- 47072
- 821
- 11
- 3974
- 8062
- 7360
- 6468
- 7015
- 7080
- 7159
- 7439
- 7303
- 7288
- 7261
- 6855
- 6474
- 6248
- 5376
- 4657
- 3921
- 3733
- 2878
- 2402
- 2120
- 1741
- 1326
- 1291
- 1093
- 1046
- 705
- 714
- 625
- 556
- 541
- 433
- 356
- 301
- 290
- 243
- 246
- 154
- 156
- 110
- 103
- 90
- 69
- 56
- 1
- 3
- 1
- 1
- 1
- 1
|
Integer points close to a transcendental curve and correctly-rounded evaluation of a function2023
Preprints, Working Papers, ...
hal-03240179v4
|
||
Formal Analysis of Session-Handling in Secure Messaging: Lifting Security from Sessions to ConversationsUSENIX Security 2023 - 32nd USENIX SEcurity Symposium, Aug 2023, Anaheim, United States
Conference papers
hal-03996689v1
|
|||
|
Testing scenarios on geological models: Local interface insertion in a 2D mesh and its impact on seismic wave simulationComputers & Geosciences, 2022, 159, pp.105013. ⟨10.1016/j.cageo.2021.105013⟩
Journal articles
hal-03602649v1
|
||
A Two-Step Optimization-Based Synthesis of Squat MovementsInternational Conference on Human-Computer Interaction, Jul 2021, Washington DC, United States. pp.122-138, ⟨10.1007/978-3-030-77817-0_11⟩
Conference papers
hal-03990088v1
|
|||
|
Optimal Square Detection Over General AlphabetsSODA - 2023 Annual ACM-SIAM Symposium on Discrete Algorithms, Jan 2023, Florence, Italy. pp.5220-5242, ⟨10.1137/1.9781611977554.ch189⟩
Conference papers
hal-03991054v1
|
||
|
CROCO: CROSS-MODAL CONTRASTIVE LEARNING FOR LOCALIZATION OF EARTH OBSERVATION DATAISPRS Annals of the Photogrammetry, Remote Sensing and Spatial Information Sciences, 2022, V-2-2022, pp.415-421. ⟨10.5194/isprs-annals-V-2-2022-415-2022⟩
Journal articles
hal-03991207v1
|
||
Deep Active Contour Models for Delineating Glacier Calving FrontsIGARSS 2022 - 2022 IEEE International Geoscience and Remote Sensing Symposium, Jul 2022, Kuala Lumpur, Malaysia. pp.4490-4493, ⟨10.1109/IGARSS46834.2022.9884819⟩
Conference papers
hal-03991217v1
|
|||
|
The 2022 IEEE GRSS Data Fusion Contest: Semisupervised Learning [Technical Committees]IEEE geoscience and remote sensing magazine, 2022, 10 (1), pp.334-337. ⟨10.1109/MGRS.2022.3144291⟩
Journal articles
hal-03991258v1
|
||
Manipulating ΔFOSB in D1-type Medium Spiny Neurons of the nucleus accumbens reshapes whole brain functional connectivityBiological Psychiatry, 2023, ⟨10.1016/j.biopsych.2023.07.013⟩
Journal articles
hal-04184489v1
|
|||
MPFR : vers un calcul flottant correct ?Interstices, 2005
Journal articles
inria-00000536v1
|
|||
|
Actes de l'Ecole d'Eté Temps Réel 2005 - ETR'2005Nicolas Navet. Institut National Polytechnique de Lorraine - Atelier de Reprographie, pp.296, 2005, 2 905267-47-X
Books
inria-00000543v1
|
||
|
Exemples de systèmes temps réel et choix d'implémentationJacky Akoka - Isabelle Comyn-Wattiau. Encyclopédie de l'informatique et des systèmes d'information, Vuibert, 2005
Book sections
inria-00000558v1
|
||
|
Design of automotive X-by-Wire systemsRichard Zurawski. The Industrial Communication Technology Handbook, CRC Press, 2005, 0849330777
Book sections
inria-00000562v1
|
||
|
A New HPSG Approach to Polish Auxiliary ConstructionsProceedings of the 12th International Conference on Head-Driven Phrase Structure Grammar, Aug 2005, Lisbon, Portugal. pp.253-273
Conference papers
halshs-00005195v1
|
||
L3.2 : Etat de l'art des protocoles de gestion des clés dans les communications de groupe[Contrat] Livrable L3.2, 2005, pp.47
Reports
inria-00000601v1
|
|||
|
Irreducibility and Additivity of Set Agreement-oriented Failure Detector Classes[Research Report] PI 1758, 2005, pp.24
Reports
inria-00000604v1
|
||
|
Calcul de trajectoires utilisant les propriétés d'interversibilitéRJCIA'03 (Rencontres jeunes chercheurs en Intelligence Artificielle), Jul 2003, Laval / France
Conference papers
inria-00000525v1
|
||
Réseaux sans fil de nouvelle générationInterstices, 2004
Journal articles
inria-00000527v1
|
|||
|
Limiting laws associated with Brownian motion perturbed by its maximum, minimum and local time IIStudia Scientiarum Mathematicarum Hungarica, 2006, 43 (3), pp.295-360
Journal articles
hal-00012705v1
|
||
Implicit Complexity over an Arbitrary Structure: Quantifier AlternationsInformation and Computation, 2006, 204 (2), pp.210--230
Journal articles
inria-00000516v1
|
|||
|
Elementarily Computable Functions Over the Real Numbers and R-Sub-Recursive FunctionsTheoretical Computer Science, 2005, 348 (2-3), pp.130--147. ⟨10.1016/j.tcs.2005.09.010⟩
Journal articles
inria-00000518v1
|
||
Pulse propagation in discrete excitatory networks of integrate-and-fire neuronsPhysical Review E : Statistical, Nonlinear, and Soft Matter Physics, 2004, 70 (1), pp.011906-1--011906-7
Journal articles
inria-00000584v1
|
|||
|
On the Impact of Management on the Performance of a Managed System: A JMX-Based Management Case Study16th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management - Management of Ambient Networks - DSOM 2005, Universitat Politècnica de Catalunya, Oct 2005, Barcelona/Spain, pp.24--35, ⟨10.1007/11568285⟩
Conference papers
inria-00000587v1
|
||
|
Dominance Based Crossover Operator for Evolutionary Multi-objective AlgorithmsParallel Problem Solving from Nature 2004, 2004, Birmingham, pp.812-821
Conference papers
inria-00000095v1
|
||
|
Automatisation de l'application de l'hypothèse de récurrence dans la preuve des formules implicativesPremières Journées Francophones de Programmation par Contraintes - JFPC'2005, CRIL - CNRS FRE 2499, Jun 2005, Lens/France, pp.179-188
Conference papers
inria-00000070v1
|
||
|
Un système de types pour CHRPremières Journées Francophones de Programmation par Contraintes, CRIL - CNRS FRE 2499, Jun 2005, Lens, pp.189-198
Conference papers
inria-00000074v1
|
||
|
A Robotic CAD system using a Bayesian framework--, 2000, France. pp.1597-1604 (Vol.3)
Conference papers
hal-00004990v1
|
||
Motion Autonomy Through SensorGuided ManoeuvreIEEE-RSJ Int. Conf. on Intelligent Robots and Systems, SHARP, INRIA Rhône-Alpes / GRAVIR-IMAG, Sep 1997, Grenoble (FR), France
Conference papers
inria-00000017v1
|
|||
|
Self-* Distributed Query Region Covering in Sensor Networks[Research Report] PI 1715, 2005, pp.20
Reports
inria-00000027v1
|
||
La grenouille et le robotInterstices, 2005
Journal articles
inria-00000455v1
|