Accès aux publications de l'année :
1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024
Revue internationale à comité de lecture
[hal-00616967:1]
Awad Abir & Abdelhakim Saadane,
New Chaotic Permutation Methods for Image Encryption, International Journal of Computer Science,, Vol. 37(4). Pp. 1-9. 2010.
[URL]
[hal-00535626:1]
Daniel Binkele-Raible, Henning Fernau, Serge Gaspers & Mathieu Liedloff,
Exact exponential-time algorithms for finding bicliques, Information Processing Letters, Vol. 111. Pp. 64-67, Elsevier. 2010.
[URL]
[hal-00511130:1]
Patrice Clemente, Jonathan Rouzaud-Cornabas & Christian Toinard,
From a Generic Framework for Expressing Integrity Properties to a Dynamic MAC Enforcement for Operating Systems, Transactions on Computational Science. Pp. 27, Springer. 11. 2010.
[URL]
[hal-00459975:1]
Madiagne Diallo, Serigne Gueye & Pascal Berthomé,
Sensitivity analysis on the all pairs q-route flows in a network, International Transactions in Operational Research, Vol. 17(1). Pp. 103-117, Wiley. 01. 2010.
[URL]
[hal-00460862:1]
Fedor V. Fomin, Serge Gaspers, Dieter Kratsch, Mathieu Liedloff & Saket Saurabh,
Iterative Compression and Exact Algorithms, Theoretical Computer Science, Vol. 411(7-9). Pp. 1045-1053, Elsevier. 02. 2010.
[URL]
[hal-00467641:1]
Jean-Luc Fouquet, Henri Thuillier & Jean-Marie Vanherpe,
On a family of cubic graphs containing the flower snarks, Discussiones Mathematicae Graph Theory, Vol. 30(2). Pp. 289-314, University of Zielona Góra. 2010.
[URL]
[hal-00934272:1]
Jean-Luc Fouquet, Henri Thuillier & Jean-Marie Vanherpe,
On a family of cubic graphs containing the ower snarks, Discussiones Mathematicae Graph Theory, Vol. 30(2). Pp. 289-314, University of Zielona Góra. 2010.
[URL]
[hal-00325255:2]
Jean-Luc Fouquet & Jean-Marie Vanherpe,
Mácajová and textbackslashvSkoviera Conjecture on Cubic Graphs., Discussiones Mathematicae Graph Theory, Vol. 30(2). Pp. 315-333, University of Zielona Góra. 2010.
[URL]
[inria-00452527:1]
Louis Gesbert, Frédéric Gava, Frédéric Loulergue & Frédéric Dabrowski,
Bulk Synchronous Parallel ML with Exceptions, Future Generation Computer Systems, Vol. 26. Pp. 486-490, Elsevier. 03. 2010.
[URL]
[hal-00460709:1]
Laura Kallmeyer, Wolfgang Maier, Yannick Parmentier & Johannes Dellert,
TuLiPA - Parsing Extensions of TAG with Range Concatenation Grammars, Bulletin of the Polish Academy of Sciences: Technical Sciences, Vol. 58(3). Pp. 377-392, Polish Academy of Sciences. 2010.
[URL]
[hal-00480717:1]
Laurent Lyaudet & Uffe Flarup,
On the Expressive Power of Permanents and Perfect Matchings of Matrices of Bounded Pathwidth/Cliquewidth, Theory of Computing Systems, Vol. 46(4). Pp. 761-791, Springer Verlag. 2010.
[URL]
[inria-00597394:1]
Damien Poirier, Françoise Fessant & Isabelle Tellier,
De la Classification d'Opinion à la Recommandation : l'Apport des Textes Communautaires, Revue TAL : traitement automatique des langues, Opinions, sentiments et jugements d'évaluation, Vol. 51(3). Pp. 19-46, Association pour le Traitement Automatique des Langues (ATALA) / Klincksieck. 2010.
[URL]
[hal-00466126:1]
Jean-Luc Fouquet, Henri Thuillier & Jean-Marie Vanherpe,
On a sub-class of cubic graphs containing the Flower Snarks, Discussiones Mathematicae Graph Theory. Krynica, Poland, Vol. 30(2). Pp. 289-314, University of Zielona Góra. 11. 2008.
[URL]
Revue nationale à comité de lecture
[hal-00462937:1]
Lionel Martin, Matthieu Exbrayat, Guillaume Cleuziou & Fréderic Moal,
Prise en compte de connaissances pour la visualisation par l'intégration interactive de contraintes, Revue des Nouvelles Technologies de l'Information, Vol. A(4). Pp. 59-78, Editions RNTI. 11. 2010.
[URL]
Chapitres d'ouvrages scientifiques
[hal-00465999:1]
Guillaume Cleuziou,
Two variants of the OKM for Overlapping Clustering, in Advances in Knowledge Discovery and Management. Pp. to appear, Springer. 2010.
[URL]
[hal-02332120:1]
Petr A. Golovach, Dieter Kratsch & Jean-François Couturier,
Colorings with Few Colors: Counting, Enumeration and Combinatorial Bounds, in Graph Theoretic Concepts in Computer Science. Pp. 39-50. 2010.
[URL]
Thèses et Habilitations à Diriger des Recherches
[tel-00669780:1]
Gaël Dias,
Information Digestion, Université d'Orléans. Habilitation `a Diriger des Recherches. 12. 2010.
[URL]
[tel-00579490:2]
Duy-Tùng Nguyên,
Vérification symbolique de modèles à l'aide de systèmes de ré-écriture dédiés, Thèse de Doctorat. Université d'Orléans. 10. 2010.
[URL]
[tel-00623075:1]
Jonathan Rouzaud-Cornabas,
Formalisation de propriétés de sécurité pour la protection des systèmes d'exploitation, Thèse de Doctorat. Université d'Orléans. 12. 2010.
[URL]
[tel-00486721:2]
Jérémie Vautard,
Modélisation et résolution de problèmes de décision et d'optimisation hiérarchiques en utilisant des contraintes quantifiées, Thèse de Doctorat. Université d'Orléans. 04. 2010.
[URL]
Communications avec actes dans un congrès international
[hal-00461066:1]
Faisal Abu-Khzam, Amer Mouawad & Mathieu Liedloff,
An Exact Algorithm for Connected Red-Blue Dominating Set, in CIAC'2010 : 7th International Conference on Algorithms and Complexity, Lecture Notes in Computer Science. Rome, Italy, Vol. 6078. Pp. 25-36. 05. 2010.
[URL]
[hal-00460665:1]
Mohamad Al Hajj Hassan & Mostafa Bamha,
Semi-join Computation on Distributed File Systems Using Map-Reduce-Merge Model, in (SAC'2010), Proceedings of the 25th ACM Symposium On Applied Computing. Sierre, Switzerland. Pp. 406-413, ACM Press. 03. 2010.
[URL]
[inria-00448703:1]
Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran & Michael Rusinowitch,
Cap Unification: Application to Protocol Security modulo Homomorphic Encryption, in 5th ACM Symposium on Information, Computer and Communications Security - ASIACCS 2010, Peng Liu David Basin (Ed.). Beijing, China, ACM. 04. 2010.
[URL]
[hal-00469795:1]
Simon Arvaux, Emmanuel Melin & Sophie Robert,
Toward distant interactive VR Visualization of Large Parallel Simulations, in Virtual Reality Internationnal Conference, VRIC2010 proceedings. Laval, France. 04. 2010.
[URL]
[hal-00476478:1]
Pascal Berthomé, Karine Heydemann, Xavier Kauffmann-Tourkestansky & Jean-François Lalande,
Attack model for verification of interval security properties for smart card C codes, in PLAS '10 - 5th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security. Toronto, Canada. Pp. 2:1-2:12, ACM. 06. 2010.
[URL]
[hal-00473944:1]
Mathieu Blanc & Jean-François Lalande,
Mandatory access control for shared HPC clusters: setup and performance evaluation, in HPCS 2010, International Conference on High Performance Computing & Simulation. Caen, France, ISBN: 978-1-4244-6827-0. Pp. 291-298, IEEE Computer Society. 06. 2010.
[URL]
[inria-00515223:1]
Wadoud Bousdira, Frédéric Gava, Louis Gesbert, Frédéric Loulergue & Guillaume Petiot,
Functional Parallel Programming with Revised Bulk Synchronous Parallel ML, in 2nd International Workshop on Parallel and Distributed Algorithms and Applications (PDAA), Koji Nakano (Ed.). Hiroshima, Japan. Pp. 191-196, IEEE Computer Society. 2010.
[URL]
[hal-00461068:1]
Ljiljana Brankovic, Henning Fernau, Joachim Kneis, Dieter Kratsch, Alexander Langer, Mathieu Liedloff, Daniel Raible & Peter Rossmanith,
A Parameterized Route to Exact Puzzles: Breaking the $2 n$-barrier for irredundancy, in CIAC'2010 : 7th International Conference on Algorithms and Complexity, Lecture Notes in Computer Science. Rome, Italy, Vol. 6078. Pp. 311-322. 05. 2010.
[URL]
[hal-00474285:1]
Jérémy Briffaut, Mathieu Blanc, Thibault Coullet, Maxime Fonda & Christian Toinard,
Protection of a Shared HPC Cluster, in The Fourth International Conference on Emerging Security Information, Systems and Technologies, SECURWARE 2010. Venice, Italy. Pp. 273-279. 07. 2010.
[URL]
[hal-00483076:1]
Jérémy Briffaut, Christian Toinard & Martin Peres,
A Dynamic End-to-End Security for Coordinating Multiple Protections within a Linux Desktop, in The 2010 International Symposium on Collaborative Technologies and Systems (CTS 2010), WORKSHOP ON COLLABORATION AND SECURITY (COLSEC 2010). Chicago, United States. Pp. 509-515. 05. 2010.
[URL]
[inria-00483787:1]
Jacques Chabin, Mirian Halfeld Ferrari Alves, Martin A. Musicante & Pierre Réty,
Minimal tree language extensions: a keystone of XML type compatibility and evolution, in 7th International Colloquium on Theoretical Aspects of Computing (ICTAC 2010). Natal, Brazil, LNCS (15 pages), Vol. 6255. Pp. 60-75, Springer-Verlag. 09. 2010.
[URL]
[hal-00941407:1]
Sylvain Conchon, Jean-Christophe Filliâtre, Fabrice Le Fessant, Julien Robert & Guillaume von Tokarski,
Real-Time Monitoring of Ocaml programs, in JFLA 2010. Vieux-Port La Ciotat, France, Vol. 9(1). Pp. 159-185. 01. 2010.
[URL]
[hal-00785645:1]
Hélène Coullon, Sébastien Limet & Emmanuel Melin,
A simple framework to generate parallel application for geospatial processing., in COM.Geo 2010, Proceedings of the 1st International Conference and Exhibition on Computing for Geospatial Research & Application. Washington, United States, ACM International Conference Proceeding Series. Pp. http://doi.acm.org/10.1145/1823854.1823891, ACM. 2010.
[URL]
[hal-00480750:1]
Christophe Crespelle & Ioan Todinca,
An $O(n 2)$-time Algorithm for the Minimal Interval Completion Problem, in TAMC 2010 - 7th Annual Conference on Theory and Applications of Model of Computation. Prague, Czech Republic, Lecture Notes in Computer Science, Vol. 6108. Pp. 175-186, IEEE. 06. 2010.
[URL]
[hal-00504074:1]
Quang-Thang Dinh, Matthieu Exbrayat & Christel Vrain,
Generative structure learning for Markov Logic Networks., in STAIRS 2010, fifth European Starting AI Researcher Symposium., STAIRS 2010, Thomas Agotnes (Ed.). Lisbon, Portugal, Frontiers in Artificial Intelligence and Applications, Vol. 222. Pp. 63-75, IOS Press. 08. 2010.
[URL]
[hal-00512439:1]
Quang-Thang Dinh, Matthieu Exbrayat & Christel Vrain,
Discriminative Markov Logic Network Structure Learning based on Propositionalization and chi 2-test, in Advanced Data Mining and Applications - 6th International Conference, ADMA 2010, Yong Feng Longbing Cao and Jiang Zhong (Ed.). Chongqing, China, LNCS, Vol. 6440. Pp. 24-35, Springer. 11. 2010.
[URL]
[hal-00553007:1]
Quang-Thang Dinh, Matthieu Exbrayat & Christel Vrain,
Heuristic Method for Discriminative Structure Learning of Markov Logic Networks, in ICMLA 2010, Proceedings of the Ninth International Conference on Machine Learning and Applications, Sorin Draghici and Taghi M. Khoshgoftaar and Vasile Palade and Witold Pedrycz and M. Arif Wani and Xingquan Zhu (Ed.). Washington DC, United States. Pp. pp. 163-168, IEEE Computer Society. 12. 2010.
[URL]
[hal-00469799:1]
Hiep-Thuan Do, Sébastien Limet & Emmanuel Melin,
Parallel Computing of Catchment Basin of Rivers in Large Digital Elevation Model, in The 2010 International Conference on High Performance Computing & Simulation, HPCS 2010 Proceedings. Caen, France. 06. 2010.
[URL]
[hal-00504684:1]
Denys Duchier, Thi-Bich-Hanh Dao, Yannick Parmentier & Willy Lesaint,
Property Grammar Parsing Seen as a Constraint Optimization Problem, in Proceedings of the 15th International Conference on Formal Grammar (FG 2010). Copenhagen, Denmark. Pp. 82-96. 08. 2010.
[URL]
[hal-00511230:1]
Denys Duchier, Jérôme Durand-Lose & Maxime Senot,
Fractal parallelism: Solving sat in bounded space and time, in ISAAC '10, Int. Symposium on Algorithms and Computation, Cheong Otfried, Kyung-Yong Chwa and Kunsoo Park (Ed.), LNCS(6506). Pp. 279-290, Springer. 12. 2010.
[URL]
[hal-00511958:1]
Denys Duchier, Jérôme Durand-Lose & Maxime Senot,
Massively Parallel Automata in Euclidean Space-Time, in IEEE 4th International Conference on Self-Adaptive and Self-Organizing Systems Workshops (SASOW'10): Spatial Computing Workshop (SCW '10), Jacob Beal and Olivier Michel and Antoine Spicher (Ed.). Budapest, Hungary. Pp. 104-109, IEEE Computer Society. 2010.
[URL]
[hal-00460690:1]
Iris Eshkol, Isabelle Tellier, Samer Taalab & Sylvie Billot,
Etiqueter un corpus oral par apprentissage automatique à l'aide de connaissances linguistiques, in 10èmes Journées Internationales d'Analyse statistique des Données Textuelles JADT'2010, Actes des 10èmes Journées internationales d'Analyse statistique des Données Textuelles JADT'2010. Rome, Italy. Pp. 1-12. 06. 2010.
[URL]
[hal-00522918:1]
Jean-Luc Fouquet & Jean-Marie Vanherpe,
On $(Kq,k)$ stable graphs with minimum size-Abstract, in SIXTH CRACOW CONFERENCE ON GRAPH THEORY ''ZGORZELISKO '10''. Zgorzelisko, Poland. 09. 2010.
[URL]
[hal-00512867:1]
Louis Gesbert, Zhenjiang Hu, Frédéric Loulergue, Kiminori Matsuzaki & Julien Tesson,
Systematic Development of Correct Bulk Synchronous Parallel Programs, in The 11th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT2010), The 11th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT2010) proceedings. Wuhan, Chine, Singapore, IEEE. 12. 2010.
[URL]
[hal-01016891:1]
Arnaud Lallouet, Matthieu Lopez, Lionel Martin & Christel Vrain,
On Learning Constraint Problems, in International Conference on Tools with Artificial Intelligence,ICTAI, Eric Grégoire (Ed.). Arras, France. Pp. 45-52. 10. 2010.
[URL]
[hal-01009587:1]
Arnaud Lallouet & Jérémie Vautard,
QCSP non bloquants : un cas spécial de problèmes quantifiés, in Colloque sur l'Optimisation et les Systèmes d'Information, Farouk Toumani (Ed.). Ouargla, Algeria. Pp. 446 - 456. 04. 2010.
[URL]
[hal-00468724:1]
Christophe Lenté, Mathieu Liedloff, Emmanuel Neron, Ameur Soukhal & Vincent t'Kindt,
Complexité d'algorithmes exponentiels : application au domaine de l'ordonnancement, in ROADEF'2010 : 11ième congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision. Toulouse, France. 02. 2010.
[URL]
[hal-00542262:1]
Vincent Levorato & Marc Bui,
Modeling the Complex Dynamics of Distributed Communities of the Web with Pretopology, in 10th International Conference on Innovative Internet Community Services (I2CS), Proceedings of the 10th International Conference on Innovative Internet Community Services (I2CS), Jubilee Edition 2010, Lecture Notes in Informatics (Ed.). Bangkok, Thailand, Vol. 165. Pp. 306-320, GI. 06. 2010.
[URL]
[hal-00511950:1]
Vincent Levorato & Maxime Senot,
Discrete Signal Machine via Pretopology - one step from signal machines to cellular automata, in Second Workshop on Non-Classical Models of Automata and Applications (NCMA 2010). Jena, Germany. Pp. 127-140. 08. 2010.
[URL]
[hal-00483753:1]
Matthieu Lopez, Lionel Martin & Christel Vrain,
Learning discriminant rules as a minimal saturation search, in Inductive Logic Programming, Proceedings of 20th International Conference on Inductive Logic Programming. Florence, Italy, Lecture Notes in Artificial Intelligence. Pp. à paraître, Springer. 06. 2010.
[URL]
[hal-00514549:2]
Benjamin Petit, Thomas Dupeux, Benoît Bossavit, Joeffrey Legaux, Bruno Raffin, Emmanuel Melin, Jean-Sébastien Franco, Ingo Assenmacher & Edmond Boyer,
A 3D Data Intensive Tele-immersive Grid, in MM'10 - International Multimedia Conference. Firenze, Italy. Pp. 1315-1318, ACM. 10. 2010.
[URL]
[inria-00514533:1]
Damien Poirier, Françoise Fessant & Isabelle Tellier,
Reducing the Cold-Start Problem in Content Recommendation Through Opinion Classification, in Web Intelligence. Toronto, Canada. 08. 2010.
[URL]
[hal-00511129:1]
Jonathan Rouzaud-Cornabas,
A Distributed and Collaborative Dynamic Load Balancer for Virtual Machine, in Euro-Par 2010, 5th Workshop on Virtualization in High-Performance Cloud Computing (VHPC '10). Ischia, Naples, Italy. Pp. 10. 08. 2010.
[URL]
[hal-00474156:1]
Jonathan Rouzaud-Cornabas, Patrice Clemente & Christian Toinard,
An Information Flow Approach for Preventing Race Conditions: Dynamic Protection of the Linux OS, in SECURWARE'10, Fourth International Conference on Emerging Security Information, Systems and Technologies. Venise, Italy. Pp. 11-16. 07. 2010.
[URL]
[hal-00484619:1]
Lorenza Saitta & Christel Vrain,
Abstracting Markov Networks, in WARA-2010, AAAI-10 Workshop on Abstraction, Reformulation, and Approximation, AAAI Technical Report. Atlanta, United States. Pp. xxx. 07. 2010.
[URL]
[inria-00484308:1]
Julien Tesson, Hideki Hashimoto, Zhenjiang Hu, Frédéric Loulergue & Masato Takeichi,
Program Calculation in Coq, in Thirteenth International Conference on Algebraic Methodology And Software Technology (AMAST2010). Québec, Canada, Springer. 2010.
[URL]
Communications avec actes dans un congrès national
[hal-00469798:1]
Mohamad Al Hajj Hassan & Mostafa Bamha,
A Scalable Parallel Algorithm for Join Queries Evaluation on Heterogeneous Distributed Systems, in GDR - GLP, Journées du Génie de la Programmation et du Logiciel. Pau, France. Pp. 141-144. 03. 2010.
[URL]
[hal-00466026:1]
Guillaume Cleuziou,
OSOM : un algorithme de construction de cartes topologiques recouvrantes, in 10èmes journées d'Extraction et de Gestion des Connaissances (EGC'2010). Pp. 97-108. 2010.
[URL]
[hal-00466068:1]
Guillaume Cleuziou, Gaël Dias & Vincent Levorato,
Modélisation Prétopologique pour la Structuration Sémantico-Lexicale, in 17èmes rencontres de la Société Francophone de Classification (SFC'2010). Pp. to appear. 2010.
[URL]
[inria-00520308:1]
Denys Duchier, Thi-Bich-Hanh Dao, Yannick Parmentier & Willy Lesaint,
Une modélisation en CSP des grammaires de propriétés, in JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes. Caen, France. Pp. 123-132. 06. 2010.
[URL]
[inria-00519481:1]
Arnaud Lallouet, Matthieu Lopez & Lionel Martin,
Problèmes d'apprentissage de contraintes, in JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes. Caen, France. Pp. 197-206. 06. 2010.
[URL]
[hal-00460637:1]
Vincent Levorato,
Une méthode mixte d'analyse d'un réseau social: classification prétopologique et centralité d'intermédiarité, in (EGC), The 1st Workshop on Web Social at Conference Extraction et Gestion des Connaissances'2010. Hammamet, Tunisia. Pp. A5-77-88. 01. 2010.
[URL]
[hal-00460704:1]
Vincent Levorato & Soufian Ben Amor,
PretopoLib: la librairie JAVA de la Prétopologie, in (EGC), Actes de la conférence Extraction et Gestion des Connaissances'2010. Hammamet, Tunisia. Pp. 643-644. 01. 2010.
[URL]
[hal-00460811:1]
Lionel Martin, Matthieu Exbrayat, Guillaume Cleuziou & Fréderic Moal,
Intégration interactive de contraintes pour la réduction de dimensions et la visualisation, in Extraction et gestion des connaissances EGC'2010, Revue des Nouvelles Technologies de l'Infomation. Hammamet, Tunisia, Vol. E(19). Pp. 369-380, Cépaduès. 01. 2010.
[URL]
[hal-00464224:1]
Lionel Martin, Matthieu Exbrayat, Guillaume Cleuziou & Fréderic Moal,
Intégration interactive de connaissances pour la visualisation de données dans un cadre semi-supervisé, in Ateliers EGC 2010 - Atelier A4 : Visualisation et extraction de connaissances. Hammamet, Tunisia. Pp. A4.5-A4-16. 01. 2010.
[URL]
[hal-00466420:1]
Damien Poirier,
La Classification d'Opinion comme préambule à la Recommandation Automatique de Contenus, in COnférence en Recherche d'Information et Applications 2010. Sousse, Tunisia. Pp. Pages 465-470. 03. 2010.
[URL]
[hal-00466076:1]
Sébastien Regis, Jean-Gabriel Maizeroi & Guillaume Cleuziou,
Initialisation des fonctions de masses par classification recouvrante en théorie des fonctions de croyance. Application aux bioprocédés, in 17èmes rencontres de la Société Francophone de Classification (SFC'2010). Pp. to appear. 2010.
[URL]
Communications affichées avec actes
[hal-00469689:1]
Matthieu Lopez & Lionel Martin,
Apprentissage de spécifications de CSP, in EGC 2010. Hammamet, Tunisia. Pp. 709-710. 01. 2010.
[URL]
[hal-00470172:1]
Damien Poirier, Isabelle Tellier, Françoise Fessant & Julien Schluth,
Towards Text-Based Recommendations, in RIAO 2010: 9th international conference on Adaptivity, Personalization and Fusion of Heterogeneous Information. PARIS, France. Pp. 0-0. 04. 2010.
[URL]
[hal-00766230:1]
Jacques-Henri Sublemontier,
CoFKM : un modèle de clustering flou collaboratif pour les données multi-représentées, in é-EGC Apprentissage Statistique et Fouille de données. Hammamet, Tunisia. 02. 2010.
[URL]
[hal-00467951:1]
Isabelle Tellier, Iris Eshkol, Samer Taalab & Jean-Philippe Prost,
POS-tagging for Oral Texts with CRF and Category Decomposition, Research in Computing Science, Alexander Gelbukh (Ed.). Iasi, Romania, Vol. 46. Pp. 79-90, National Polytechnic Institute. 03. 2010.
[URL]
Communications sans actes
[hal-00483710:1]
Jérôme Durand-Lose,
A reversible and conservative model based on rational signal machines for Black hole computation, in HyperNet 10: The Unconventional Computation 2010 (UC '10) Hypercomputation Workshop. 06. 2010.
[URL]
[hal-00483711:1]
Jérôme Durand-Lose,
The coordinates of isolated accumulations are exactly computable real numbers, in 6th Int. Conf. Computability in Europe (CiE '10) (abstracts and extended abstracts of unpublished papers), Programs, Proofs, Processes. 06. 2010.
[URL]
[hal-03137493:1]
Marie Kempf, Frédéric Moal, L. Wagner, Marie Anne Clerc, Jean-Paul Kowalczyk, Matthieu Eveillard & Marie-Laure Joly-Guillou,
Evolution entre 2007 et 2009 de la résistance de Pseudomonas aeruginosa à la ciprofloxacine en fonction de la consommation des fluoroquinolones au CHU d'Angers, in Réunion Interdisciplinaire de Chimiothérapie Anti-Infectieuse (RICAI). Paris, France. 2010.
[URL]
[hal-03137472:1]
Marie Kempf, Frédéric Moal, L. Wagner, A. Robelet, Matthieu Eveillard, Marie-Laure Joly-Guillou & Marie Anne Clerc,
Evolution entre 2007 et 2009 de la résistance des Entérobactéries et de Pseudomonas aeruginosa à la ciprofloxacine, en fonction de la consommation de fluoroquinolones au CHU d'Angers, in 50ème journée de l'Association des pharmaciens hospitaliers de l'ouest. Rennes, France. 2010.
[URL]
[hal-00766225:1]
Jacques-Henri Sublemontier, Guillaume Cleuziou, Matthieu Exbrayat & Lionel Martin,
Variante à noyaux pour la classification multi-vues non supervisée, in Groupe de Travail EGC-FDC. Paris, France. 06. 2010.
[URL]
Autres Publications
[inria-00528733:1]
Florent Becker, Martin Matamala, Nicolas Nisse, Ivan Rapaport, Karol Suchan & Ioan Todinca,
Adding a referee to an interconnection network: What can(not) be computed in one round.. Pp. 14. 09. 2010.
[URL]
[inria-00501487:2]
Yohan Boichut, Benoît Boyer, Thomas Genet & Axel Legay,
Equational Abstraction Refinement for Certified Tree Regular Model Checking. 07. 2010.
[URL]
[hal-00484023:1]
Yohan Boichut, Jean-Michel Couvreur & Duy Tung Nguyen,
Functional Term Rewriting Systems. 2010.
[URL]
[inria-00465842:1]
Wadoud Bousdira, Frédéric Loulergue & L. Gesbert,
Syntaxe et sémantique de Revised Bulk Synchronous Parallel ML. 2010.
[URL]
[inria-00464120:1]
Jacques Chabin, Mirian Halfeld Ferrari Alves, Pierre Réty & Martin A. Musicante,
Minimal Extensions of Tree Languages: Application to XML Schema Evolution, in Journées informatiques de la région centre (JIRC). Blois, France. 01. 2010.
[URL]
[hal-00514386:1]
Quang-Thang Dinh, Matthieu Exbrayat & Christel Vrain,
Heuristic Method for Discriminative Structure Learning of Markov Logic Networks. Pp. 163-168. 09. 2010.
[URL]
[hal-00533022:1]
Denys Duchier, Thi-Bich-Hanh Dao, Yannick Parmentier & Willy Lesaint,
Une Modélisation des Grammaires de Propriétés sous forme de Problème de Satisfaction de Contraintes. 11. 2010.
[URL]
[hal-00454603:1]
Denys Duchier, Jérôme Durand-Lose & Maxime Senot,
Construction géométrique pour résoudre SAT en temps constant, in Journée Informatique Région Centre (JIRC). Blois, France. 01. 2010.
[URL]
[hal-00535558:2]
Jean-Luc Fouquet,
On measures of the edge uncolorability of graphs with maximum degree thre. 11. 2010.
[URL]
[hal-00467642:1]
Jean-Luc Fouquet & Jean-Marie Vanherpe,
Seidel complementation on ($P5$, $House$, $Bull$)-free graphs. 03. 2010.
[URL]
[hal-00464792:1]
Yannick Parmentier,
Les grammaires à concaténation d'intervalles : un formalisme pivot pour l'analyse syntaxique ?. 01. 2010.
[URL]
[hal-00459827:1]
Jonathan Rouzaud-Cornabas, Jérémy Briffaut, Christian Toinard & Patrice Clemente,
An integrity security property based on information flows : Application to the enforcement of a classical operating system, in Journée Informatique de la Région Centre 2009. Blois, France. Pp. 1. 01. 2010.
[URL]
[inria-00465838:2]
Julien Tesson, Zhenjiang Hu, Kiminori Matsuzaki, Frédéric Loulergue & Louis Gesbert,
Systematic Development of Functional Bulk Synchronous Parallel Programs. Pp. 21. 03. 2010.
[URL]
2024/11/30 généré via HALLO + JabRef.