Skip to Main content Skip to Navigation


tel-01746519v1  Theses
Sébastien Gorges. Vers un système de navigation 3D en neuroradiologie interventionnelle
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2007. Français. ⟨NNT : 2007NAN10035⟩
...
hal-01148523v1  Conference papers
Michel CosnardLuigi Liquori. Weaving Arigatoni with a graph topology
1sr International Conference on Advanced Engineering Computing and Applications in Sciences ADVCOMP 2007, Nov 2007, Papeete, French Polynesia. pp.55 - 59, ⟨10.1109/ADVCOMP.2007.11⟩
hal-00917757v1  Conference papers
Paul Zimmermann. How Fast Can We Multiply Over GF(2)[x]?
Proceedings of Conference on Algorithmic Number Theory 2007, 2007, Turku, Finland. pp.165-170
hal-00917756v1  Conference papers
Paul Zimmermann. Arithmétique entière
Journées Nationales de Calcul Formel, 2007, Luminy, France
hal-00688671v1  Journal articles
Nicolas CrouseillesGuillaume LatuEric Sonnendrücker. Hermite spline interpolation on patches for parallelly solving the Vlasov-Poisson equation
International Journal of Applied Mathematics and Computer Science, University of Zielona Góra 2007, 17 (3), pp.335-349. ⟨10.2478/v10006-007-0028-x⟩
...
hal-00650597v1  Book sections
Nancy IdeLaurent Romary. Towards International Standards for Language Resources
Laila Dybkjær and Holmer Hemsen and Wolfgang Minker. Evaluation of Text and Speech Systems, Kluwer Academic Publishers, pp.263-284, 2007
inria-00609120v1  Conference papers
Philippe de GrooteSarah MaarekRyo Yoshinaka. On two Extensions of Abstract Categorial Grammars
14th International Conference on Logic for Programming, Artificial Intel ligence and Reasoning - LPAR 2007, Oct 2007, Yerevan, Armenia. pp.273-287, ⟨10.1007/978-3-540-75560-9_21⟩
hal-00607575v1  Conference papers
Marc BenoîtCatherine MignoletSylvia HerrmannDavide RizzoAnna Camilla Moonen et al.  Landscape as designed by farming systems: a challenge for landscape agronomists in Europe
Farming Systems Design 2007, International symposium on Methodologies for Integrated Analysis of Farm Production Systems, 2007, Catania, Italy
inria-00606237v1  Book sections
Jean-Francois Mari. Fouille de données spatio-temporelles à l'aide de modèles de Markov cachés
F. Le Ber, G. Ligozat, O. Papini. Raisonnement sur l'espace et le temps, Editions Lavoisier, HERMES, pp.305 -- 316, 2007, ISBN : 2-7462-1455-5
inria-00606234v1  Book sections
Jean-Francois MariChristine Largouët. Modèles graphiques pour le raisonnement temporel et spatial
F. Le Ber, G. Ligozat, O. Papini. Raisonnement sur l'espace et le temps, Edition Lavoisier, HERMES, pp.249 -- 271, 2007, ISBN : 2-7462-1455-5
...
tel-00605692v1  Theses
Adnene Guabtni. Sphères de comportement pour la modélisation et l'exécution de procédés flexibles
Réseaux et télécommunications [cs.NI]. Université Henri Poincaré - Nancy I, 2007. Français
hal-00605348v1  Conference papers
Stéphane MarchesinJean-Michel DischlerCatherine Mongenet. Feature Enhancement using Locally Adaptive Volume Rendering
IEEE/EG International Symposium on Volume Graphics, Sep 2007, Prague, Czech Republic
...
inria-00188456v1  Journal articles
Sunayana GhoshSylvain PetitjeanGert Vegter. Approximation by conic splines
Mathematics in Computer Science, Springer, 2007, 1 (1), pp.39-69. ⟨10.1007/s11786-007-0004-8⟩
...
tel-00601380v1  Habilitation à diriger des recherches
Pascal Molli. Cohérence des données dans les environnements d'édition collaborative
Informatique [cs]. Université Henri Poincaré - Nancy I, 2007
...
tel-00600247v1  Theses
Rodrigo Toledo. Visualisation Interactive de Modeles Complexes avec les Cartes Graphiques Programmables
Interface homme-machine [cs.HC]. Université Henri Poincaré - Nancy I, 2007. Français
inria-00596488v1  Conference papers
Salah HamriNacer BoudjlidaMahmoud Boufaida. An Approach for Building an OWL Ontology for Workflow Interoperability
3rd International Conference on Interoperability of Enterprise Software and Applications, Mar 2007, Madera, Portugal. pp.357-360, ⟨10.1007/978-1-84628-858-6_39⟩
inria-00594883v1  Journal articles
Dominique CansellDominique Méry. Incremental Parametric Development of Greedy Algorithms
Electronic Notes in Theoretical Computer Science, Elsevier, 2007, roceedings of the 6th International Workshop on Automated Verification of Critical Systems (AVoCS 2006), 185, pp.47-62. ⟨10.1016/j.entcs.2007.05.028⟩
inria-00594662v1  Conference papers
Olivier HoenenEric Violard. A Block Based Parallel Adaptive Scheme for Solving the 4D Vlasov Equation
7th International Conference on Parallel Processing and Applied Mathematics, Sep 2007, Gdańsk, Poland. pp.108-117, ⟨10.1007/978-3-540-68111-3_12⟩
inria-00594389v1  Journal articles
Mohamed Salah BouassidaNajah ChridiIsabelle ChrismentOlivier FestorLaurent Vigneron. Automated Verification of a Key Management Architecture for Hierarchical Group Protocols
Annals of Telecommunications - annales des télécommunications, Springer, 2007, 62 (11-12), pp.1365-1387
inria-00580419v1  Book sections
Frédéric CazalsMarc Pouget. Estimation of Local Differential Properties
CGAL Editorial Board. CGAL User and Reference Manual 3.3 edition, CGAL Editorial Board, 2007
inria-00580418v1  Book sections
Frédéric CazalsMarc Pouget. Approximation of Ridges and Umbilics on Triangulated Surface Meshes
CGAL Editorial Board. CGAL User and Reference Manual 3.3 edition, CGAL Editorial Board, 2007
...
inria-00168313v1  Conference papers
Rodolphe CharrierChristine BourjotFrançois Charpillet. Deterministic Nonlinear Modeling of Ant Algorithm with Logistic Multi-Agent System
International Conference on Autonomous Agents and Multiagent Systems - AAMAS'07, May 2007, Honolulu Hawaii, United States. pp.920-922, ⟨10.1145/1329125.1329293⟩
...
inria-00168315v1  Conference papers
Rodolphe CharrierChristine BourjotFrançois Charpillet. A Nonlinear Multi-agent System designed for Swarm Intelligence : the Logistic MAS
First IEEE International Conference on Self-Adaptive and Self-Organizing Systems - SASO 2007, Jul 2007, Boston, United States. pp.32-44, ⟨10.1109/SASO.2007.1⟩
...
inria-00168317v1  Conference papers
Rodolphe CharrierChristine BourjotFrançois Charpillet. Flocking as a Synchronization Phenomenon with Logistic Agents
European Conference on Complex Systems - ECCS'07, Oct 2007, Dresden, Germany
...
inria-00177010v1  Conference papers
Nicolas PadoyTobias BlumIrfan EssaHubertus FeussnerMarie-Odile Berger et al.  A Boosted Segmentation Method for Surgical Workflow Analysis
10th International Conference on Medical Image Computing and Computer Assisted Intervention - MICCAI 2007, Oct 2007, Brisbane, Australia. pp.102-109, ⟨10.1007/978-3-540-75757-3_13⟩
...
inria-00164805v1  Conference papers
Nicolas NouryFrédéric SurMarie-Odile Berger. Modèles statistiques pour l'estimation de la matrice fondamentale
Congrès francophone des jeunes chercheurs en vision par ordinateur - ORASIS'07, Jun 2007, Obernai, France. pp.8
...
inria-00164807v1  Conference papers
Nicolas NouryFrédéric SurMarie-Odile Berger. Fundamental matrix estimation without prior match
14th IEEE International Conference on Image Processing - ICIP 2007, Sep 2007, San Antonio, Texas, United States. pp.I - 513 - I - 516, ⟨10.1109/ICIP.2007.4379004⟩
...
hal-00509943v1  Conference papers
Nizar MessaiMarie-Dominique MorchAmedeo NapoliMalika Smaïl-Tabbone. Traitement d'attributs inter-dépendants pour la recherche d'information par treillis
18es Journées Francophones d'Ingénierie des Connaissances - IC 2007, Jul 2007, Grenoble, France. pp.109-120
inria-00509337v1  Journal articles
Olivier Buffet. Reachability Analysis for Uncertain SSPs
International Journal on Artificial Intelligence Tools, World Scientific Publishing, 2007, 16 (4), pp.725-749. ⟨10.1142/S0218213007003527⟩
hal-00463629v1  Conference papers
Pascal Urso. Verification of data consistency for P2P collaborative editing
Inter-Regional Workshop on Rigorous System Development and Analysis 2007, Oct 2007, Nancy, France
...
hal-00447628v1  Conference papers
Mohamed Salah BouassidaMohamed Bouali. On the performance of group key management protocols in MANETs
Joint Conference on Security in Network Architectures and Information Systems (SAR-SSI‘07), Jun 2007, Annecy, France. pp.275-286
...
inria-00434090v1  Journal articles
Otfried CheongHazel EverettHyo-Sil KimSylvain LazardRené Schott. Parabola separation queries and their application to stone throwing
International Journal of Computational Geometry and Applications, World Scientific Publishing, 2007, 17 (4), pp.349-360. ⟨10.1142/S0218195907002379⟩
inria-00433391v1  Journal articles
Hejiao HuangHélène KirchnerSongyun LiuWeili Wu. Handling Inheritance Violation for Secure Interoperation of Heterogeneous Systems
International Journal of Security and Networks, Inderscience, 2007, 4 (4), pp.223-233
...
hal-00433033v1  Conference papers
Stéphane WeissPascal UrsoPascal Molli. Compensation in Collaborative Editing
9th International Workshop on Collaborative Editing Systems - IWCES 2007, Nov 2007, Sanibel Island, Florida, United States. 6 p
...
inria-00432360v1  Conference papers
Stéphane WeissPascal UrsoPascal Molli. Wooki: A P2P Wiki-Based Collaborative Writing Tool
8th International Conference on Web Information Systems Engineering – WISE 2007, Dec 2007, Nancy, France. pp.503-512, ⟨10.1007/978-3-540-76993-4_42⟩
...
inria-00432220v1  Conference papers
Charbel RahhalHala Skaf-MolliPascal MolliNishadi Desilva. SemCW: Semantic Collaborative Writing using RST
The 3rd International Conference on Collaborative Computing:Networking, Applications and Worksharing - CollaborateCom'2007, Nov 2007, New York, United States. pp.484-493, ⟨10.1109/COLCOM.2007.4553879⟩
...
inria-00181775v1  Conference papers
Xavier GoaocJan KratochvilYoshio OkamotoChan-Su ShinAlexander Wolff. Moving vertices to make drawings plane
15th International Symposium on Graph Drawing, Sep 2007, Sydney, Australia. pp.101-112, ⟨10.1007/978-3-540-77537-9_13⟩
...
inria-00401785v1  Conference papers
Bin GuoAmine BermakMaxime AmbardDominique Martinez. A 4×4 Logarithmic Spike Timing Encoding Scheme for Olfactory Sensor Applications
International Symposium on Circuits and Systems - ISCAS 2007, May 2007, New Orleans, United States. pp.3554 - 3557, ⟨10.1109/ISCAS.2007.378450⟩
inria-00401534v1  Journal articles
Axel HuttAndre LongtinLutz Schimansky-Geier. Additive global noise delays Turing bifurcations
Physical Review Letters, American Physical Society, 2007, 98 (23), pp.230601-1 - 230601-4. ⟨10.1103/PhysRevLett.98.230601⟩
inria-00338679v1  Conference papers
Marie-Dominique MorchMalika Smaïl-Tabbone. Workshop PC Chairs' Message. Web Data Integration for Mining in the Life Sciences (WebDIM4LS)
International Workshops on Web Information Systems Engineering – WISE 2007 Workshops, Dec 2007, Nancy, France. pp.3-4, ⟨10.1007/978-3-540-77010-7_1⟩
...
inria-00338095v1  Conference papers
Linqiao ZhangHazel EverettSylvain LazardSue Whitesides. Towards an Implementation of the 3D Visibility Skeleton
23rd Annual Symposium on Computational Geometry, Jun 2007, Gyeongju, South Korea. pp.131 - 132, ⟨10.1145/1247069.1247094⟩
...
tel-00337399v1  Habilitation à diriger des recherches
Bernard Girau. Du parallélisme connexionniste à une pratique de calcul distribué numérique bio-inspiré
Autre [cs.OH]. Université Nancy II, 2007
...
hal-00177936v1  Conference papers
Aurélie BertauxAgnès BraudFlorence Le Ber. Mining Complex Hydrobiological Data with Galois Lattices
International Workshop on Advances in Conceptual Knowledge Engineering (ACKE'07), 2007, Regensburg, Germany. pp.519--523
inria-00336524v1  Books
Jacques BahiSylvain Contassot-VivierRaphael Couturier. Parallel Iterative Algorithms: from sequential to grid computing
Chapman & Hall/CRC, pp.240, 2007, Numerical Analysis & Scientific Computing Series, 9781584888086
inria-00333903v1  Reports
Louis-Claude CanonEmmanuel JeannotRizos SakelariouWei Zheng. Comparative Evaluation of the Robustness of DAG Scheduling Heuristics
[Research Report] CoreGRID Institute on Resource Management and Scheduling, TR-0120, 2007
inria-00332482v1  Conference papers
Cindy CappelleMaan El Badaoui El NajjarDenis PomorskiFrançois Charpillet. Mise en correspondance d'images réelles avec un modèle 3D géographique pour la localisation terrestre
cinquième édition des ateliers de travail sur le traitement et l'analyse de l'information : Méthodes et Applications - TAIMA'07, May 2007, Hammamet, Tunisie. pp.523-528