Filter your results
- 652
- 650
- 288
- 236
- 71
- 25
- 12
- 12
- 5
- 2
- 1
- 21
- 5
- 2
- 483
- 121
- 50
- 35
- 6
- 6
- 5
- 4
- 3
- 2
- 2
- 652
- 519
- 124
- 5
- 2
- 1
- 1
- 317
- 257
- 99
- 58
- 57
- 36
- 33
- 24
- 22
- 17
- 16
- 15
- 10
- 9
- 8
- 8
- 8
- 7
- 6
- 6
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 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
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 15
- 12
- 11
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 9
- 9
- 9
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
Reasoning about Surfaces Using Differential Zero and Ideal DecompositionThird International Workshop on Automated Deduction in Geometry - ADG'2000, J. Richter-Gebert, D. Wang, 2000, Zurich, Switzerland, pp.154-174
Conference papers
inria-00100607v1
|
|||
Interpolation, definability and fixed points in interpretability logicsK. Segerberg, M. Zakharyaschev, M. de Rijke, and H. Wansing. Advances in Modal Logic, CSLI Publications, 2000
Book sections
inria-00104543v1
|
|||
On the performance and feasibility of multicast core selection heuristicsNetworks, 2000, 35 (2), pp.145-156
Journal articles
inria-00110775v1
|
|||
Matching color uncalibrated images using differential invariantsImage and Vision Computing, 2000, 18 (9), pp.659-671. ⟨10.1016/s0262-8856(99)00070-0⟩
Journal articles
istex
hal-02338260v1
|
|||
Reflecting BDDs in Coq6th Asian Computing Science Conference (ASIAN 2000), Nov 2000, Penang, Malaysia. pp.162-181
Conference papers
hal-03207264v1
|
|||
Building and Browsing Hyper-Videos: a Content Variation Modeling SolutionFormal Pattern Analysis & Applications, 2000
Journal articles
inria-00548304v1
|
|||
Improvement in TDEM sounding interpretation in presence of induced polarization. A case study in resistive rocks of the Fogo volcano, Cape Verde IslandsJournal of Applied Geophysics, 2000, 45, pp.1-18. ⟨10.1016/S0926-9851(00)00015-X⟩
Journal articles
istex
hal-04110490v1
|
|||
1-D Modelling rock compaction in sedimentary basins using a visco-elastic rheologyEarth and Planetary Science Letters, 2000, 178, pp.373-383. ⟨10.1016/S0012-821X(00)00074-1⟩
Journal articles
istex
hal-04110491v1
|
|||
Merveilleux nombres premiers : Voyage au coeur de l'arithmétiqueBelin-Pour La Science, 2000, 2-7011-5017-5
Books
hal-00731940v1
|
|||
Une forme de négociation Dans les systèmes multi-agentsActes des Journées Francophones d'Intelligence Artificielle Distribuée et des Systèmes Multi-Agents (JFIADSMA'2000), 2000, undef, France. pp.133--148
Conference papers
hal-00732017v1
|
|||
Transition from UML Sequence Charts to the pi-calculus: a pragmatic approach13th International Conference on Software and Systems Engineering and their Applications, Dec 2000, Paris, France. pp.1-9
Conference papers
hal-01191618v1
|
|||
A retrospective study of the microbiological and parasitological status of laboratory rodents in FranceJournal of Experimental Animal Science, 2000, 40(4), pp.211-222
Journal articles
hal-00698345v1
|
|||
Moduli spaces of PU(2)-MonopolesAsian Journal of Mathematics, 2000, 4 (2), pp.391-436
Journal articles
hal-00881750v1
|
|||
Les représentations de connaissances par objetsRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2000, 19 (1-3), pp.387-394
Journal articles
hal-00825896v1
|
|||
Effective boundary conditions for thin ferromagnetic layers: the one-dimensional modelSIAM Journal on Applied Mathematics, 2000, 61 (4), pp.1386--1417 (electronic). ⟨10.1137/S0036139998346361⟩
Journal articles
hal-00744194v1
|
|||
Worst-Case Deadline Failure Probability in Real-Time Applications Distributed over CAN (Controller Area Network)Journal of Systems Architecture, 2000, 46 (7), pp.607-617
Journal articles
inria-00099080v1
|
|||
Performances Study on crossover operators keeping good schemata for some scheduling problemsProceedings of the Second Genetic & Evolutionary Computation COnference - GECCO'2000, 2000, Las Vegas, USA, pp.331-338
Conference papers
inria-00099090v1
|
|||
Modélisation stochastique d'une population de neurones, méta-apprentissage dans un problème de classificationNeurosciences et sciences de l'ingénieur, 2000, Dinard, France, 4 p
Conference papers
inria-00099114v1
|
|||
Predicate diagrams for the verification of reactive systemsSecond International Conference on Integrated Formal Methods - IFM'2000, 2000, Dagstuhl Castle, Germany, pp.380-397
Conference papers
inria-00099125v1
|
|||
Report about the user experience with ISAEUS[Contract] A00-R-242 || haton00a, 2000, 75 p
Reports
inria-00099131v1
|
|||
FPNA: interaction between FPGA and neural computationInternational Journal of Neural Systems, 2000, 10 (3), pp.243-259
Journal articles
inria-00099134v1
|
|||
Conciliating connectionism and parallel digital hardwareParallel and Distributed Computing Practices, 2000, 3 (2), pp.145-162
Journal articles
inria-00099135v1
|
|||
Simulation géométrique de trajectoire avec erreurs de données de CAO[Contrat] A00-R-265 || rolland00a, 2000, 25 p
Reports
inria-00099159v1
|
|||
Generalization performance of multi-class discriminant modelsIJCNN'2000, 2000, Come, Italie, pp.177-182
Conference papers
inria-00099163v1
|
|||
Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm12th International Conference on Computer Aided Verification - CAV'2000, 2000, Chicago, USA, pp.344-357
Conference papers
inria-00099167v1
|
|||
Combining Protein Secondary Structure Prediction Methods with a new Multi-Category SVMIntelligent Systems for Molecular Biology - ISMB'2000, 2000, San-Diego, Californie, USA, 1 p
Conference papers
inria-00099180v1
|
|||
Introduction to the constraint language NCLJournal of Logic Programming, 2000, 45 (1-3), pp.71-103
Journal articles
inria-00099184v1
|
|||
Case-Based Reasoning for Breast Cancer Treatment Decision Helpingfifth European Workshop on Case-Based Reasoning - EWCBR'2000, 2000, Trento, Italie, pp.173--185
Conference papers
inria-00099202v1
|
|||
Intégration du support IPv6 dans l'environnement de supervision de réseaux actif ANAISColloque Francophone sur l'Ingénierie des Protocoles - CFIP 2000, Oct 2000, Toulouse, France, 16 p
Conference papers
inria-00099203v1
|
|||
Logiciels et modèles de développement[Contrat] A00-R-021 || souquieres00c, 2000, 4 p
Reports
inria-00099208v1
|