Filter your results
- 516
- 580
- 1
- 254
- 178
- 36
- 18
- 14
- 7
- 5
- 1
- 1
- 1
- 1
- 7
- 2
- 403
- 96
- 50
- 18
- 4
- 4
- 3
- 3
- 2
- 1
- 1
- 1
- 516
- 425
- 88
- 2
- 1
- 254
- 217
- 59
- 49
- 34
- 33
- 30
- 20
- 19
- 17
- 15
- 13
- 8
- 7
- 7
- 6
- 6
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 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
- 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
- 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
- 9
- 9
- 8
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 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
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
|
A comprehensive comparison of multiple sequence alignment programsNucleic Acids Research, 1999, 27 (13), pp.2682-2690. ⟨10.1093/nar/27.13.2682⟩
Journal articles
hal-03989698v1
|
||
New Methodology for Analytical and Optimal Design of Fuzzy PID ControllersIEEE Transactions on Fuzzy Systems, 1999, Fuzzy Systems, IEEE Transactions on, 7 (5), pp.521-539. ⟨10.1109/91.797977⟩
Journal articles
inria-00122627v1
|
|||
Solving a Dial-a-Ride Problem with Constraint PropagationCORS/INFORMS meeting, 1999, Montréal
Conference papers
inria-00108047v1
|
|||
Registration Methods for Harmonious Integration of Real Worlds and Computer Generated ObjectsAdvanced Research Workshop on Confluence of Computer Vision and Computer Graphics, Aug 1999, Ljubljana, Slovenia, 3 p
Conference papers
inria-00108050v1
|
|||
A dynamic programming approach to categorial deduction16th International Conference on Automated Deduction - CADE-16, 1999, Trento, Italy, pp.1--15
Conference papers
inria-00100816v1
|
|||
|
Optimal Line Bipartitions of Point SetsInternational Journal of Computational Geometry and Applications, 1999, 9 (1), pp.39-51. ⟨10.1142/S0218195999000042⟩
Journal articles
hal-00795067v1
|
||
High-Speed LANs: New Environments for Parallel and Distributed ApplicationsEuro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31 - September 3, 1999, Proceedings, Aug 1999, Toulouse, France. pp.633--642, ⟨10.1007/3-540-48311-X_89⟩
Conference papers
istex
hal-01912353v1
|
|||
Simian immunodeficiency virus and human immunodeficiency virus type 1 nef proteins show distinct patterns and mechanisms of Src kinase activation.Journal of Virology, 1999, 73 (7), pp.6152-8
Journal articles
hal-02459367v1
|
|||
Human immunodeficiency virus type 1 Nef protein sensitizes CD4(+) T lymphoid cells to apoptosis via functional upregulation of the CD95/CD95 ligand pathway.Blood, 1999, 93 (3), pp.1000-10
Journal articles
hal-02459371v1
|
|||
Animation Levels of Detail Design for Real-Time Virtual HumanEurographics Workshop on Computer Animation and Simulation, 1999, Milan, Italy. pp.35-44, ⟨10.1007/978-3-7091-6423-5_4⟩
Conference papers
hal-01142549v1
|
|||
Comportement individuel et intelligence collective Les bases expérimentales de PRISON1999
Other publications
hal-00732055v1
|
|||
Puces et habitationsNuisibles et Parasites Information, 1999, 10, pp.26-27
Journal articles
hal-00698348v1
|
|||
A systematic approach to transform OMT diagrams to a B specificationWorld Congress on Formal Methods in the Development of Computing Systems - FM'99, 1999, Toulouse, France, pp.875-895
Conference papers
inria-00098957v1
|
|||
A Method for Requirements Elicitation and Formal Specification18th International Conference on Conceptual Modeling - ER'99, 1999, Paris, France, pp.309-324
Conference papers
inria-00098987v1
|
|||
Labelled Proof Nets for the Syntax and Semantics of Natural LanguagesLogic Journal of the IGPL, 1999, 7 (5), pp.629-654
Journal articles
inria-00099011v1
|
|||
Mechanical Verification of a Generic Incremental ABR Conformance AlgorithmWorkshop on Modelling & Verification, Dec 1999, Besancon, France, 43 p
Conference papers
inria-00099017v1
|
|||
Generating Propagation Rules for Finite Domains: a Mixed ApproachJoint ERCIM/Compulog Net Workshop, 1999, Paphos, Cyprus, pp.150-172
Conference papers
inria-00099387v1
|
|||
Discours causal et rôles thématiquesouvrage coordonné par M. Plénat. Des structures linguistiques à leur interprétation, mélanges en l'honneur d'André Borillo, Rodopi, 12 p, 1999
Book sections
inria-00098804v1
|
|||
Spécification des communications pour le calcul M-SPMD dans un environnement CORBARenPar11, 1999, Rennes, France
Conference papers
inria-00098805v1
|
|||
|
An algebraic correctness criterion for intuitionistic multiplicative proof-netsTheoretical Computer Science, 1999, 224 (1-2), pp.115-134. ⟨10.1016/S0304-3975(98)00309-0⟩
Journal articles
inria-00098817v1
|
||
Reconnaissance de tables de matières[Contrat] 99-R-220 || belaid99b, 1999, 19 p
Reports
inria-00098840v1
|
|||
HOL-$\lambda \sigma$ an intentional first-order expression of higher-order logicTenth International Conference on Rewriting Techniques & Applications - RTA'99, Jul 1999, Trento, Italy, 14 p
Conference papers
inria-00098847v1
|
|||
Finding Maximal Repetitions in a Word in Linear Time1999 Symposium on Foundations of Computer Science - FOCS'99, IEEE Computer Society, 1999, New-York, USA, pp.596--604
Conference papers
inria-00098853v1
|
|||
MIB (Management Information Base) pour IPv6Gisèle Cizault. IPv6: Théorie et pratique, O'Reilly, 325 p, 1999
Book sections
inria-00098857v1
|
|||
Un environnement de simulation orienté Agents : apport des modèles stochastiques et du parallélismeIngénierie des SMA - JFIADSMA'99, 1999, Ile de la Réunion, pp.329-330
Conference papers
inria-00098863v1
|
|||
Object-oriented applications development: using UML and BWorkshop on Modelling & Verification, Dec 1999, Besançon, France, 3 p
Conference papers
inria-00098867v1
|
|||
Parler n'est pas suffisant", point de vue sur les interfaces oralesPour la science, 1999, 264
Journal articles
inria-00098879v1
|
|||
Les 4P de la Portabilité de Réalité Virtuelle : Théorie et ExpérienceJournées ReViCo : Réalité Virtuelle et Cognition, Ecole nationale supérieurer des télécommunications Paris, 1999, Paris, France, pp.57 - 70
Conference papers
inria-00098912v1
|
|||
The Manta and the Kanuk: Novel 4-DOF Parallel Mechanisms for Industrial Handling.International Mechanical Engineering Congress & Exposition, American Society of Mechanical Engineers, 1999, Nashville, USA, pp.831-844
Conference papers
inria-00098914v1
|
|||
Designing an editorial platform for a multilingual terminology the experience provided by the DHYDRO projectThe 4th EUROLAN Summer School on Human Language Technology, 1999, Iasi, Roumania
Conference papers
inria-00098928v1
|