Filter your results
- 85778
- 47411
- 821
- 55360
- 42082
- 13420
- 6607
- 5189
- 3798
- 1938
- 1580
- 1139
- 666
- 530
- 455
- 386
- 279
- 165
- 144
- 138
- 59
- 56
- 6
- 5
- 3
- 2
- 2
- 1
- 9863
- 634
- 251
- 181
- 104
- 57
- 30
- 18
- 7
- 2
- 1
- 1
- 1
- 1
- 1
- 93712
- 21354
- 15875
- 12348
- 4661
- 4506
- 3188
- 3116
- 1974
- 1085
- 445
- 389
- 372
- 20
- 5
- 715
- 638
- 605
- 564
- 476
- 464
- 419
- 372
- 343
- 312
- 311
- 311
- 303
- 296
- 286
- 278
- 274
- 266
- 266
- 260
- 246
- 234
- 220
- 212
- 212
- 209
- 209
- 205
- 201
- 199
- 198
- 197
- 193
- 191
- 191
- 191
- 190
- 186
- 183
- 181
- 180
- 172
- 172
- 171
- 171
- 169
- 168
- 166
- 165
- 165
- 164
- 163
- 162
- 161
- 160
- 157
- 156
- 156
- 154
- 153
- 152
- 150
- 150
- 149
- 149
- 146
- 145
- 145
- 144
- 143
- 143
- 142
- 141
- 141
- 139
- 138
- 137
- 136
- 134
- 134
- 11
- 3927
- 8070
- 7365
- 6473
- 7025
- 7088
- 7172
- 7472
- 7319
- 7368
- 7389
- 6978
- 6516
- 6305
- 5423
- 4694
- 3950
- 3747
- 2882
- 2406
- 2129
- 1751
- 1334
- 1302
- 1097
- 1053
- 704
- 716
- 626
- 556
- 542
- 436
- 357
- 301
- 290
- 243
- 246
- 155
- 156
- 110
- 103
- 90
- 69
- 56
- 1
- 3
- 1
- 1
- 1
- 1
- 117556
- 15930
- 183
- 137
- 49
- 46
- 33
- 23
- 15
- 8
- 8
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 19258
- 18208
- 16664
- 16368
- 15547
- 12446
- 9919
- 8209
- 8108
- 7458
- 6945
- 6920
- 6663
- 5171
- 5080
- 4983
- 4044
- 3967
- 3923
- 3783
- 3735
- 3502
- 2947
- 2710
- 2311
- 2021
- 1881
- 1783
- 1671
- 1503
- 1435
- 1395
- 1364
- 1363
- 1355
- 1354
- 1291
- 1154
- 1101
- 1091
- 1073
- 1049
- 1039
- 1021
- 972
- 921
- 888
- 858
- 832
- 828
- 804
- 765
- 745
- 743
- 701
- 694
- 674
- 635
- 605
- 574
- 573
- 527
- 517
- 512
- 500
- 492
- 481
- 479
- 475
- 470
- 454
- 452
- 441
- 435
- 431
- 430
- 430
- 421
- 386
- 386
- 375
- 370
- 369
- 369
- 364
- 351
- 349
- 338
- 330
- 329
- 329
- 319
- 317
- 316
- 313
- 309
- 305
- 304
- 303
- 293
- 284
- 283
- 276
- 274
- 273
- 265
- 262
- 255
- 253
- 250
- 246
- 245
- 234
- 229
- 221
- 221
- 217
- 214
- 214
- 213
- 213
- 210
- 206
- 204
- 203
- 202
- 202
- 196
- 195
- 192
- 192
- 188
- 187
- 185
- 182
- 180
- 176
- 175
- 175
- 172
- 169
- 168
- 167
- 167
- 163
- 163
- 162
- 161
- 159
- 157
- 650
- 593
- 486
- 426
- 415
- 413
- 391
- 385
- 365
- 360
- 336
- 334
- 321
- 315
- 312
- 311
- 309
- 305
- 301
- 294
- 292
- 288
- 286
- 286
- 285
- 281
- 279
- 273
- 270
- 269
- 265
- 261
- 252
- 247
- 244
- 242
- 242
- 240
- 240
- 237
- 237
- 235
- 235
- 234
- 233
- 230
- 229
- 229
- 227
- 221
- 221
- 218
- 218
- 218
- 217
- 215
- 214
- 214
- 213
- 213
- 212
- 212
- 212
- 210
- 208
- 208
- 206
- 204
- 204
- 203
- 199
- 197
- 195
- 193
- 193
- 191
- 191
- 191
- 191
- 189
- 189
- 188
- 188
- 187
- 186
- 186
- 186
- 186
- 186
- 185
- 184
- 183
- 183
- 182
- 181
- 181
- 181
- 177
- 177
- 177
134 010 Results
|
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
|