Search - INRIA - Institut National de Recherche en Informatique et en Automatique Access content directly

Filter your results

1 711 Results
Deposit type : Notice

A Survey on Continuous Time Computation

Olivier Bournez , Manuel L. Campagnolo
Barry Cooper, Benedikt Löwe and Andrea Sorbi. New Computational Paradigms: Changing Conceptions of What is Computable, Springer, pp.383-424, 2007, 978-0387360331
Book sections inria-00102948v1

Numerical multiphase modeling of bubbly flows

H. Guillard , F. Duval , J.C. Latché , R. Panescu
Annali dell'Universita di Ferrara, 2007, 53 (2), pp.243-253. ⟨10.1007/s11565-007-0029-6⟩
Journal articles istex hal-03015567v1

Global Asymptotic Stabilization of a PVTOL Aircraft Model with Delay in the Input

Rogelio Francisco , Frédéric F. Mazenc , Sabine Mondié
Applications of Time Delay Systems, 352, Springer-Verlag, 2007, Lecture Notes in Control and Information Sciences, 978-3-540-49555-0. ⟨10.1007/978-3-540-49556-7⟩
Book sections hal-02823295v1

Dynamic energy budget as a basis to model population-level effects of zinc-spiked sediments in the gastropod valvata piscinalis

Virginie Ducrot , A. Pery , R. Mons , H. Quéau , S. Charles , et al.
Environmental Toxicology and Chemistry, 2007, 26 (8), pp.1774-1783
Journal articles hal-02590130v1

Extension multirésolution des cartes combinatoires : application à la représentation de surfaces de subdivision multirésolution

Pierre Kraemer , David Cazier , Dominique Bechmann
Revue Electronique Francophone d'Informatique Graphique, 2007, 1 (1), pp.21--32
Journal articles hal-01208566v1

Improving New User Recommendations with Rule-based Induction on Cold User Data

An-Te Nguyen , Nathalie Denos , Catherine Berrut
ACM Conference on Recommender Systems (RecSys'07), 2007, Minneapolis, MN, United States. pp.121--128
Conference papers hal-00953877v1

Asymmetric Term Alignment with Selective Contiguity Constraints by Multi-Tape Automata

M. Barbaiani , Nicola Cancedda , C. Dance , S. Fazekas , T. Gaal , et al.
Finite State Methods in Natural Language Processing, 2007, Postdam, Germany
Conference papers hal-00953885v1

The ARGOS campaign: Evaluation of Video Analysis Tools

Philippe Joly , Jenny Benois-Pineau , Ewa Kijak , Georges Quénot
Fifth International Workshop on Content-Based Multimedia Indexing (CBMI 2007), 2007, Bordeaux, France. ⟨10.1109/CBMI.2007.385402⟩
Conference papers hal-00953888v1

Assimilation variationelle de systèmes dynamiques d'ordre faible

Nicolas Papadakis , Etienne Mémin , Juan d'Adamo , Guillermo Artana
3ème Congrès national de mathématiques appliquées et industrielles (SMAI'07), Jun 2007, Praz sur Arly, France
Conference papers hal-00656394v1

2 Layers Bandelets - Algorithmic Interpretation

Guillaume Lebrun , Philippe Carré , Stéphane Pateux
Wavelet Applications in Industrial Processing V, Sep 2007, Boston, Massachusetts, United States
Conference papers hal-00339151v1

Mapping pipeline skeletons onto heterogeneous platforms

Anne Benoit , Yves Robert
ICCS'2007, the 7th International Conference on Computational Science, 2007, Unknown, China. pp.591-598, ⟨10.1016/j.jpdc.2007.11.004⟩
Conference papers hal-00803517v1

Strategies for replica placement in tree networks

Anne Benoit , Veronika Rehn , Yves Robert
HCW'2007, the 16th Heterogeneous Computing Workshop, 2007, Unknown, United States. ⟨10.1109/IPDPS.2007.370331⟩
Conference papers hal-00803520v1

Multiplying Concept Sources for Graph Modeling

Loic Maisonnasse , Eric Gaussier , Jean-Pierre Chevallet
Workshop CLEF 2007, 2007, Budapest
Conference papers hal-00954098v1

Polychronous design of embedded real-time applications

Abdoulaye Gamatié , Thierry Gautier , Paul Le Guernic , Jean-Pierre Talpin
ACM Transactions on Software Engineering and Methodology, 2007, 16 (2), ⟨10.1145/1217295.1217298⟩
Journal articles inria-00522799v1

Well-posedness and exponential stability of Maxwell-like systems coupled with strongly absorbing layers

Hélène Barucq , Mathieu Fontes
Journal de Mathématiques Pures et Appliquées, 2007, 87 (3), pp.253-273
Journal articles inria-00527349v1

Quelques réflexions sur la programmation post objet

Pierre Cointe
NOuvelles TEchnologies de la RÉpartition (NOTERE), Jun 2007, Marrakech, Maroc. pp.392
Conference papers hal-00484759v1

GPU-Based Volume Rendering for Medical Imagery

Hadjira Bentoumi , Pascal Gautron , Kadi Bouatouch
International Journal of Computer Systems Science & Engineering, 2007, International Journal of Computer systems Science and Engineering, 1 (1)
Journal articles inria-00461484v1

Intégration du support OCL dans Kermeta. Spécifiez la sémantique statique de vos méta-modèles

Jean-Marie Mottu , Olivier Barais , Mark Skipper , Didier Vojtisek , Jean-Marc Jézéquel
8e conférence AFADL, Approches Formelles dans l'Assistance au D´eveloppement de Logiciels, 2007, Namur, Belgique, Jun 2007, France. pp. 283-285
Conference papers hal-00461532v1

Model-driven Development of Complex Software: A Research Roadmap

Robert France , Bernhard Rumpe
FOSE '07: 2007 Future of Software Engineering, May 2007, Washington, DC, United States. pp.37--54, ⟨10.1109/FOSE.2007.14⟩
Conference papers inria-00511368v1

Proceedings of the 9th Information Hiding Workshop

Teddy Furon , Gwenaël Doërr , Patrick Bas , François Cayre
Teddy Furon and Gwenaël Doërr and Patrick Bas and François Cayre. Springer Verlag, 4567, pp.1--391, 2007
Books inria-00504303v1

Challenging the estimation of cortical activity from MEG with simulated fMRI-constrained retinotopic maps.

Alexandre Gramfort , Benoit Cottereau , Maureen Clerc , Bertrand Thirion , Sylvain Baillet
Conference proceedings : .. Annual International Conference of the IEEE Engineering in Medicine and Biology Society. IEEE Engineering in Medicine and Biology Society. Annual Conference, 2007, 2007, pp.4945-8. ⟨10.1109/IEMBS.2007.4353450⟩
Journal articles inria-00502698v1

Rewriting Approximations for Fast Prototyping of Static Analyzers

Yohan Boichut , Thomas Genet , Thomas P. Jensen , Luka Le Roux
Rewriting Techniques and Applications, 2007, France. pp.48-62
Conference papers hal-00463418v1

A Domain-Specific Language for Coordinating Concurrent Aspects in Java

Angel Núñez , Jacques Noyé
3ème Journée Francophone sur le Développement de Logiciels Par Aspects (JFDLPA 2007), Mar 2007, Toulouse, France
Conference papers inria-00468041v1

Special issue: Practical Aspects of High-Level Parallel Programming

Anne Benoit , Frédéric Loulergue
Benoit, Anne and Loulergue, Frédéric. Warsaw School of Social Psychology, Scalable Computing: Practice and Experience, 8(1), pp.35, 2007
Books inria-00466168v1

{ Matched detector and estimator with signature uncertainty}

Jean-Jacques Fuchs
Asilomar Conf. on Signals, Systems and Computers, 2007, Pacific Grove, United States
Conference papers inria-00504540v1

UML2 Profile for Modeling Controlled Data Parallel Applications

Ouassila Labbani , Jean-Luc Dekeyser , Pierre Boulet , Eric Rutten
Huss, Sorin Alexander. Advances in Design and Specification Languages for SoCs, Selected contributions from FDL'06, Springer, 2007, ChDL
Book sections inria-00565161v1

Digital Modeling of Material Appearance

Julie Dorsey , Holly Rushmeier , François X. Sillion
Morgan Kaufmann / Elsevier, pp.336, 2007, Computer Graphics, 978-0-12-221181-2
Books inria-00510244v1

Stabilisation des systèmes linéaires à retards de type neutre

Michaël Di Loreto , Catherine Bonnet , Jean-Jacques Loiseau
JD-JN-MACS 2007 : 2ièmes Journées Doctorales/Journées Nationales MACS, Jul 2007, Reims, France
Conference papers hal-00411240v1

Extraordinary flux in sex ratio

S. Charlat , E.A. Hornett , J.H. Fullard , N. Davies , G.K. Roderick , et al.
Science, 2007, 317, pp.214-214
Journal articles hal-00434683v1

Factors predicting mortality in necrotizing community-acquired pneumonia caused by Staphylococcus aureus containing Panton-Valentine leukocidin

Y. Gillet , Philippe Vanhems , G. Lina , M. Bes , F. Vandenesch , et al.
Clinical Infectious Diseases, 2007, 45, pp.315-321
Journal articles hal-00434686v1