Lifo - Laboratoire d'Informatique Fondamentale d'orléans INSA Centre Val de Loire Université d'Orléans Université d'Orléans

Lifo > Publications de l'année 2011

 English Version



Contact

LIFO - Bâtiment IIIA
Rue Léonard de Vinci
B.P. 6759
F-45067 ORLEANS Cedex 2

Email: contact.lifo
Tel: +33 (0)2 38 41 99 29
Fax: +33 (0)2 38 41 71 37



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-00616989:1]
Awad Abir, A New Chaos-Based Cryptosystem for Secure Transmitted Images, IEEE Transactions on Computers, Vol. 99. Pp. 1, Institute of Electrical and Electronics Engineers. 01. 2011. [URL]
[hal-00607125:1]
Faisal Abu-Khzam, Amer Mouawad & Mathieu Liedloff, An exact algorithm for connected red-blue dominating set, Journal of Discrete Algorithms, Vol. 9(3). Pp. 252-262, Elsevier. 2011. [URL]
[hal-00607123:1]
Daniel Binkele-Raible, Ljiljana Brankovic, Marek Cygan, Henning Fernau, Joachim Kneis, Dieter Kratsch, Alexander Langer, Mathieu Liedloff, Marcin Pilipczuk, Peter Rossmanith & Jakub Onufry Wojtaszczyk, Breaking the $2 n$-barrier for Irredundance: Two lines of attack, Journal of Discrete Algorithms, Vol. 9(3). Pp. 214-230, Elsevier. 2011. [URL]
[hal-00671586:1]
Mathieu Blanc, Jérémy Briffaut, Christian Toinard & Damien Gros, PIGA-HIPS: Protection of a shared HPC cluster, International Journal On Advances in Security, Vol. 4(1). Pp. 44-53, IARIA. 09. 2011. [URL]
[hal-00591994:1]
Yohan Boichut, Jean-Michel Couvreur & Duy Tung Nguyen, Functional Term Rewriting Systems towards Symbolic Model-Checking, International Journal of Critical Computer-Based Systems. Pp. xxx, Inderscience. 2011. [URL]
[hal-00596880:1]
Davide Buscaldi, Toponym Disambiguation in Information Retrieval, Procesamiento del Lenguaje Natural, Vol. 46. Pp. 125-126, Sociedad Espanola para el Procesamiento del Lenguaje Natural. 02. 2011. [URL]
[hal-00627118:1]
Davide Buscaldi, Approaches to Disambiguating Toponyms, SIGSPATIAL Special, Vol. 3(2). Pp. 16-20. 07. 2011. [URL]
[hal-00645162:1]
Matthieu Chavent, Antoine Vanel, Alex Tek, Bruno Levy, Sophie Robert, Bruno Raffin & Marc Baaden, GPU-accelerated atom and dynamic bond visualization using hyperballs: a unified algorithm for balls, sticks, and hyperboloids., Journal of Computational Chemistry, Vol. 32(13). Pp. 2924-35, Wiley. 10. 2011. [URL]
[hal-00514409:1]
Florence Cloppet, Hani Daher, Véronique Églin, Hubert Emptoz, Matthieu Exbrayat, Guillaume Joutel, Frank Lebourgeois, Lionel Martin, Ikram Moalla, Imran Siddiqi & Nicole Vincent, New Tools for Exploring, Analysing and Categorising Medieval Scripts, Digital Medievalist, Vol. 2011(7). Pp. http://www.digitalmedievalist.org/journal/7/cloppet/, University of Lethbridge. 09. 2011. [URL]
[hal-00980376:1]
Marianne Delorme, Jacques Mazoyer, Nicolas Ollinger & Guillaume Theyssier, Bulking I: an Abstract Theory of Bulking, Theoretical Computer Science, Vol. 412(30). Pp. 3866-3880, Elsevier. 2011. [URL]
[hal-00980377:1]
Marianne Delorme, Jacques Mazoyer, Nicolas Ollinger & Guillaume Theyssier, Bulking II: Classifications of cellular automata, Theoretical Computer Science, Vol. 412(30). Pp. 3881-3905, Elsevier. 2011. [URL]
[hal-00454605:1]
Jérôme Durand-Lose, Abstract geometrical computation 5: embedding computable analysis, Natural Computing, Vol. 10(4). Pp. 1261-1273, Springer Verlag. 2011. [URL]
[hal-00504876:1]
Jérôme Durand-Lose, Abstract geometrical computation 4: small Turing universal signal machines, Theoretical Computer Science, Vol. 412. Pp. 57-67, Elsevier. 2011. [URL]
[hal-00942908:1]
Henning Fernau, Joachim Kneis, Dieter Kratsch, Alexander Langer, Mathieu Liedloff, Daniel Raible & Peter Rossmanith, An exact algorithm for the Maximum Leaf Spanning Tree problem, Theoretical Computer Science, Vol. 412(45). Pp. 6290-6302, Elsevier. 2011. [URL]
[hal-00512289:1]
Fedor V. Fomin, Petr A. Golovach, Jan Kratochvil, Dieter Kratsch & Mathieu Liedloff, Branch and Recharge: Exact Algorithms for Generalized Domination, Algorithmica, Vol. 61(2). Pp. 252-273, Springer Verlag. 2011. [URL]
[hal-00392009:2]
Jean-Luc Fouquet & Jean-Marie Vanherpe, On Fulkerson conjecture, Discussiones Mathematicae Graph Theory, Vol. 31(2). Pp. 253-272, University of Zielona Góra. 2011. [URL]
[hal-00460873:1]
Frédéric Havet, Martin Klazar, Jan Kratochvil, Dieter Kratsch & Mathieu Liedloff, Exact Algorithms for L(2,1)-Labeling of Graphs, Algorithmica, Vol. 59(2). Pp. 169-194, Springer Verlag. 2011. [URL]
[hal-00720635:1]
Vincent Le Guilloux, Lionel Colliandre, Stéphane Bourg, Guillaume Guénegou, Julie Dubois-Chevalier & Luc Morin-Allory, Visual characterization and diversity quantification of chemical libraries: 1. creation of delimited reference chemical subspaces., Journal of Chemical Information and Modeling, Vol. 51(8). Pp. 1762-74, American Chemical Society. 08. 2011. [URL]
[hal-00596890:1]
Paolo Rosso, Santiago Correa & Davide Buscaldi, Passage retrieval in legal texts, Journal of Logic and Algebraic Programming, Vol. 80(3-5). Pp. 139-153, Elsevier. 03. 2011. [URL]
[hal-00658000:1]
Jonathan Rouzaud-Cornabas, Patrice Clemente & Christian Toinard, An Information Flow Approach for Preventing Race Conditions: Dynamic Protection of the Linux OS, International Journal On Advances in Software, Vol. 4(1&2). Pp. 34-45, IARIA. 2011. [URL]
[hal-03226326:1]
Jonathan Rouzaud-Cornabas, Patrice Clemente & Christian Toinard, An Information Flow Approach for Preventing Race Conditions: Dynamic Protection of the Linux OS, International Journal On Advances in Software, Vol. 4(1&2). Pp. 34-45, IARIA. 2011. [URL]


Revue nationale à comité de lecture


[hal-00657974:1]
Hélène Coullon, Audrey Latapie, Sébastien Limet, Emmanuel Melin, Daniel Pierre, Sophie Robert & Xavier Thomas, Calculs parallèles pour le traitement des gros volumes de données liées aux risques environnementaux., Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Vol. 16(3). Pp. 31-54, Lavoisier. 2011. [URL]
[hal-00516309:1]
Jacques-Henri Sublemontier, Guillaume Cleuziou, Matthieu Exbrayat & Lionel Martin, Clustering multi-vues : une approche centralisée, Revue des Nouvelles Technologies de l'Information. Pp. 101-122, Editions RNTI. 2011. [URL]


Direction d'ouvrages scientifiques


[hal-04047938:1]
PREFACE: Special Issue on High-Level Parallel Programming and Applications, Gaétan Hains and Frédéric Loulergue (Ed.), Vol. 13(03). Pp. 313-316, World Scientific Publishing. 11. 2011. [URL]


Chapitres d'ouvrages scientifiques


[hal-00605389:1]
Marcel Brissaud, Michel Lamure, Jean-Jacques Milan, Jean-Paul Auray, Nicolas Nicoloyannis, Gérard Duru, Michel Terrenoire, Daniel Tounissoux, Djamel Abdelkader Zighed, Stéphane Bonnevay, Thanh Van Le, Marc Bui, Soufian Ben Amor, Vincent Levorato & Nadia Kabachi, Basics of pretopology. Pp. 155, Hermann. 03. 2011. [URL]
[hal-02332136:1]
Jean-François Couturier, Petr A. Golovach, Dieter Kratsch & Daniël Paulusma, List Coloring in the Absence of a Linear Forest, in Graph-Theoretic Concepts in Computer Science. Pp. 119-130. 2011. [URL]
[hal-02332157:1]
Jean-François Couturier, Villa Mondragone, Ludovica Adacher, Marta Flamini, Gianmaria Leo, Gaia Nicosia, Andrea Pacifici & Veronica Piccialli, Cologne-Twente Workshop on Graphs and Combinatorial Optimization CTW 2011, in CTW 2011 Proceedings. Pp. 130 - 133. 2011. [URL]
[hal-01957552:1]
Martin Delacourt, Rice's Theorem for textmu-Limit Sets of Cellular Automata, in Automata, Languages and Programming, Jiří Sgall Luca Aceto, Monika Henzinger (Ed.), Lecture Notes in Computer Science, Vol. 6756. Pp. 89-100, Springer. 2011. [URL]
[hal-00749919:1]
Jérôme Durand-Lose, Int. J. Unconventional Computing, 7(4), Special issue on New Worlds of Computation (NWC '09). Pp. 221-311, OCP. 2011. [URL]
[hal-00660088:1]
Isabelle Tellier & Daniela Dudau-Sofronie, Good Types are useful for Learning, in Logic and Grammars, Sylvain Pogodalla and Myriam Quatrini and Christian Retoré (Ed.), LNAI, Vol. 6700. Pp. 118-137, Springer. 2011. [URL]
[inria-00514525:1]
Isabelle Tellier & Marc Tommasi, Champs Markoviens Conditionnels pour l'extraction d'information, in Modèles probabilistes pour l'accès à l'information textuelle, Eric Gaussier and François Yvon (Ed.). Pp. 223-267, Hermès. 2011. [URL]


Thèses et Habilitations à Diriger des Recherches


[tel-00659666:2]
Mathieu Chapelle, Décompositions de graphes : quelques limites et obstructions, Thèse de Doctorat. Université d'Orléans. 12. 2011. [URL]
[tel-00659738:2]
Quang-Thang Dinh, Statistical relational learning : Structure learning for Markov logic networks, Thèse de Doctorat. Université d'Orléans. 11. 2011. [URL]
[tel-00660083:2]
Hiep-Thuan Do, Extensibilité des moyens de traitements pour les données issues des vastes systèmes d'informations géographiques, Thèse de Doctorat. Université d'Orléans. 12. 2011. [URL]
[tel-00675250:1]
Julie Dubois-Chevalier, Chimiothèques ; vers une approche rationnelle de la sélection de sous-chimiothèques, Thèse de Doctorat. Université d'Orléans. 12. 2011. [URL]
[tel-00651088:1]
Noman Javed, Metaprogrammed algorithmic skeletons : implementations, performances and semantics, Thèse de Doctorat. Université d'Orléans. 10. 2011. [URL]
[tel-00668156:2]
Matthieu Lopez, Apprentissage de problèmes de contraintes, Thèse de Doctorat. Université d'Orléans. 12. 2011. [URL]
[tel-00597422:2]
Damien Poirier, Des textes communautaires à la recommandation, Thèse de Doctorat. Université d'Orléans. 02. 2011. [URL]
[tel-00660554:3]
Julien Tesson, Environnement pour le développement et la preuve de correction systèmatiques de programmes parallèles fonctionnels, Thèse de Doctorat. Université d'Orléans. 11. 2011. [URL]


Conférence donnée sur invitation


[hal-01342860:1]
Hala Bayoumi, Marie-Françoise Courel & Vincent Levorato, La géo-simulation, outil de prédiction de phénomènes socio-économiques Le cas de l 'Egypte, in 3ème conférence internationale Eau, écosystèmes et développement durable en zones arides et semi-arides USAGES ET POLITIQUE DE L'EAU. paris, France. 05. 2011. [URL]
[hal-00636376:1]
Jérôme Durand-Lose, Introducing fractal computation, in Coping with Complexity. Cluj, Romania. 10. 2011. [URL]
[hal-00980394:1]
Nicolas Ollinger, Tutorial on Cellular Automata, in UC 2011, Unconventional Computation - 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings, Cristian S. Calude and Jarkko Kari and Ion Petre and Grzegorz Rozenberg (Ed.). Turku, Finland, Vol. 6714. Pp. 34-35, Springer. 06. 2011. [URL]


Communications avec actes dans un congrès international


[hal-00605567:1]
Mohamad Al Hajj Hassan, Mostafa Bamha & Frédéric Loulergue, An Efficient Skew-insensitive Algorithm for Join Processing on Grid Architectures, in HLPP, 5th ACM SIGPLAN workshop on High-Level Parallel Programming and Applications, ACM (Ed.). Pp. 11-18. 09. 2011. [URL]
[inria-00594520:1]
Joshua Amavi, Jacques Chabin, Mirian Halfeld Ferrari Alves & Pierre Réty, Weak Inclusion for XML Types, in International Conference on Implementation and Application of Automata (CIAA). Blois, France, LNCS, Vol. 6807. Pp. 30-41, Springer-Verlag. 07. 2011. [URL]
[inria-00618807:1]
Cheikh Ba, Mirian Halfeld Ferrari Alves & Martin A. Musicante, PEWS Platform : a web services composition environment, in Workshop on Enhanced Web Service Technologies (WEWST), collocated with the European Conference on Web Services (ECOWS). Lugano, Switzerland, ICPS volume by the ACM. 09. 2011. [URL]
[inria-00587250:1]
Florent Becker, Martin Matamala, Nicolas Nisse, Ivan Rapaport, Karol Suchan & Ioan Todinca, Reconstruire un graphe en une ronde, in 13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), Pascal Ducourthial, Bertrand et Felber (Ed.). Cap Estérel, France. 2011. [URL]
[inria-00622976: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., in 25th IEEE International Symposium on Parallel & Distributed Processing (IPDPS). Anchorage, United States. Pp. 508-514. 2011. [URL]
[hal-00596984:1]
Pascal Berthomé, Karine Heydemann, Xavier Kauffmann-Tourkestansky & Jean-François Lalande, Attaques physiques à haut niveau pour le test de la sécurité des cartes à puce, in Journée Sécurité des Systèmes & Sûreté des Logiciels. Saint-Malo, France. 05. 2011. [URL]
[hal-00596997:1]
Pascal Berthomé, Karine Heydemann, Xavier Kauffmann-Tourkestansky & Jean-François Lalande, Simulating physical attacks in smart card C codes: the jump attack case, in e-Smart. Nice - Sophia Antipolis, France. 09. 2011. [URL]
[inria-00606100:1]
Yohan Boichut, Thi-Bich-Hanh Dao & Valérie Murat, Characterizing Conclusive Approximations by Logical Formulae, in Reachability Problems 2011, Giorgio Delzanno and Igor Potapov (Ed.). Gênes, Italy, Reachability Problems (RP 2011), Vol. LNCS 6945. 09. 2011. [URL]
[inria-00617991:1]
Béatrice Bouchou, Mirian Halfeld Ferrari Alves & Maria Adriana Lima, Attribute Grammar for XML Integrity Constraint Validation, in Database and Expert Systems Applications - 22nd International Conference, DEXA 2011, Abdelkader Hameurlain and Stephen W. Liddle and Klaus-Dieter Schewe and Xiaofang Zhou (Ed.). Toulouse, France, Vol. 6860. Pp. 94-109, Springer. 08. 2011. [URL]
[hal-00596893:1]
Aline Bousquet, Patrice Clemente & Jean-François Lalande, SYNEMA: visual monitoring of network and system security sensors, in SECRYPT 2011. Séville, Spain. Pp. 375-378. 07. 2011. [URL]
[hal-00804275:1]
Jérémy Briffaut, Martin Peres, Jonathan Rouzaud-Cornabas, Jigar Solanki, Christian Toinard & Benjamin Venelle, PIGA-OS : retour sur le système d'exploitation vainqueur du défi sécurité, in RenPar'20 / SympA'14 / CFSE 8, 8ème Conférence Francaise en Systèmes d'Exploitation, CFSE 8 Proceedings. Saint-Malo, France. 05. 2011. [URL]
[hal-00671592:1]
Jérémy Briffaut, Jonathan Rouzaud-Cornabas, Christian Toinard & Emilie Lefebvre, PIGA-Virt: an Advanced Distributed MAC Protection of Virtual Systems, in Euro-Par 2011 Parallel Processing Workshops, Lecture Notes in Computer Science. Bordeaux, France. Pp. 8-19. 08. 2011. [URL]
[hal-00596899:1]
Davide Buscaldi & Paolo Rosso, Explicit Query Diversification for Geographical Information Retrieval, in ECIR 2011 - the 33rd European Conference on Information Retrieval, Proceedings of the DDR 2011 Workshop on Diversity in Document Retrieval. Pp. 73-80. 04. 2011. [URL]
[hal-00825232:1]
Guillaume Cleuziou, Davide Buscaldi, Vincent Levorato & Gaël Dias, A pretopological framework for the automatic construction of lexical-semantic structures from texts, in CIKM 2011, Proceedings of the 20th ACM international Conference on Information and Knowledge Management. Glasgow, United Kingdom. Pp. 2453-2456. 10. 2011. [URL]
[hal-00620923:1]
Mathieu Constant, Isabelle Tellier, Denys Duchier, Yoann Dupont, Anthony Sigogne & Sylvie Billot, Intégrer des connaissances linguistiques dans un CRF : application à l'apprentissage d'un segmenteur-étiqueteur du français, in TALN, TALN2011. Montpellier, France, Vol. 1. Pp. 321. 06. 2011. [URL]
[hal-00625302:1]
Jean-Michel Couvreur, Denis Poitrenaud & Pascal Weil, Branching Processes of General Petri Nets, in Petri Nets 2011 - 32nd International Conference on Petri Nets and Other Models of Concurrency, Lars M. Kristensen and Laure Petrucci (Ed.). Newcastle, United Kingdom, Lecture Notes in Computer Science, Vol. 6709. Pp. 129-148, Springer. 06. 2011. [URL]
[hal-00777962:1]
Gaël Dias, Guillaume Cleuziou & David Machado, Informative Polythetic Hierarchical Ephemeral Clustering, in IEEE/WIC/ACM International Conference on Web Intelligence. Pp. 104-111. 2011. [URL]
[hal-00584418:1]
Quang-Thang Dinh, Matthieu Exbrayat & Christel Vrain, Generative Structure Learning for Markov Logic Networks Based on Graph of Predicates, in IJCAI 2011. Barcelona, Spain. Pp. 1249-1254. 07. 2011. [URL]
[hal-00596944:1]
Hiep-Thuan Do, Sébastien Limet & Emmanuel Melin, Parallel Computing Flow Accumulation in Large Digital Elevation Models, in The 11th International Conference on Computational Science (ICCS 2011). Singapour, Singapore, Vol. 4. Pp. 2277-2286. 05. 2011. [URL]
[hal-00618020:1]
Denys Duchier, Thi-Bich-Hanh Dao & Yannick Parmentier, Model-Theory of Property Grammars with Features, in 12th International Conference on Parsing Technologies (IWPT 2011). Dublin, Ireland. Pp. 75-79. 10. 2011. [URL]
[hal-00605661:1]
Denys Duchier, Jérôme Durand-Lose & Maxime Senot, Solving Q-SAT in bounded space and time by geometrical computation, in Models of computability in context, 7th Int. Conf. Computability in Europe, CiE '11 (abstracts and handout booklet), Hristo Ganchev and Benedikt Löwe and Dag Normann and Ivan Soskov and Mariya Soskova (Ed.). Sofia, Bulgaria. Pp. 76-86, St. Kliment Ohridski University Press, Sofia University. 06. 2011. [URL]
[hal-00614661:1]
Denys Duchier, Yannick Parmentier & Simon Petitjean, Cross-framework Grammar Engineering using Constraint-driven Metagrammars, in 6th International Workshop on Constraint Solving and Language Processing (CSLP'11). Karlsruhe, Germany. Pp. 32-43. 09. 2011. [URL]
[hal-00601746:1]
Jérôme Durand-Lose, Geometrical accumulations and computably enumerable real numbers (extended abstract), in UC '11, Int. Conf. Unconventional Computation 2011, Cristian S. Calude and Jarkko Kari and Ion Petre and Grzegorz Rozenberg (Ed.). Turku, Finland, LNCS(6714). Pp. 101-112, Springer. 06. 2011. [URL]
[hal-00749838:1]
Jérôme Durand-Lose, Maxime Senot & Vincent Levorato, Machines à signaux: origine, puissance, retour au raisonnable, in Journée spacial computing. LRI, Orsay, France. 05. 2011. [URL]
[hal-01048608:1]
Iris Eshkol-Taravella, Denis Maurel, Isabelle Tellier, Nathalie Friburger & Samer Taalab, Annoter ESLO1 par des cascades de transducteurs et par apprentissage automatique, in Journée d'étude de l'Atala : Annoter les corpus oraux.. Paris, France. 2011. [URL]
[hal-00660650:1]
Fedor V. Fomin, Ioan Todinca & Yngve Villanger, Exact Algorithm for the Maximum Induced Planar Subgraph Problem, in European Symposium on Algorithms, Lecture Notes in Computer Science, Vol. 6942. Pp. 287-298, Springer. 2011. [URL]
[hal-00629902:1]
Claire Gardent, Yannick Parmentier, Guy Perrier & Sylvain Schmitz, Lexical Disambiguation in LTAG using Left Context, in 5th Language & Technology Conference - LTC'11. Poznań, Poland. Pp. 395-399. 11. 2011. [URL]
[hal-00607170:1]
Serge Gaspers, Mathieu Liedloff, Maya Jakobine Stein & Karol Suchan, Complexity of Splits Reconstruction for Low-Degree Trees, in WG'2011 : 37th International Workshop on Graph-Theoretic Concepts in Computer Science, Lecture Notes in Computer Science. Tepla, Czech Republic, Vol. 6986. Pp. 167-178. 06. 2011. [URL]
[hal-00605566:1]
Frédéric Gava, Louis Gesbert & Frédéric Loulergue, Type System for a Safe Execution of Parallel Programs in BSML, in HLPP, 5th ACM SIGPLAN workshop on High-Level Parallel Programming and Applications. Pp. 17-34, ACM. 09. 2011. [URL]
[hal-00592540:1]
Noman Javed & Frédéric Loulergue, A Formal Programming Model of Orléans Skeleton Library, in (PaCT), Springer (Ed.). Kazan, Russian Federation, LNCS. Pp. to appear, Springer. 2011. [URL]
[hal-00592541:1]
Noman Javed & Frédéric Loulergue, Parallel Programming and Performance Predictability with Orléans Skeleton Library, in HPCS. Istanbul, Turkey. Pp. 257-263, IEEE. 2011. [URL]
[hal-00603344:1]
Noman Javed & Frédéric Loulergue, Verification of a Heat Diffusion Simulation written with Orléans Skeleton Library, in PPAM. Varsaw, Poland, LNCS. Pp. to appear, Springer. 2011. [URL]
[hal-00592539:1]
Noman Javed, Frédéric Loulergue, Julien Tesson & Wadoud Bousdira, Prototyping a Library of Algorithmic Skeletons with Bulk Synchronous Parallel ML, in (PDPTA'11), International Conference on Parallel and Distributed Processing Techniques and Applications. Pp. to appear, CSREA Press. 2011. [URL]
[hal-00607169:1]
Konstanty Junosza-Szaniawski, Jan Kratochvil, Mathieu Liedloff, Peter Rossmanith & Pawel Rzazewski, Fast Exact Algorithm for L(2,1)-Labeling of Graphs, in TAMC 2011 : Theory and Applications of Models of Computation - 8th Annual Conference, Lecture Notes in Computer Science. Tokyo, Japan, Vol. 6648. Pp. 82-93. 05. 2011. [URL]
[hal-00605395:1]
Vincent Levorato, Modeling Groups in Social Networks, in (ECMS), Proceedings of the 25th European Conference on Modelling and Simulation. Pp. 129-134. 06. 2011. [URL]
[hal-00634309:2]
Vincent Levorato & Coralie Petermann, Detection of Communities in Directed Networks based on Strongly p-Connected Components, in (CASoN), Proceedings of the 3rd International Conference on Computational Aspects of Social Networks, IEEE (Ed.). Salamanca, Spain. Pp. 211-216. 10. 2011. [URL]
[hal-00596949:1]
Sébastien Limet, Sophie Robert & Ahmed Turki, Coherence and Performance for Interactive Scientific Visualisation Applications, in Software Composition: 10th International Symposium, SC 2011, Software Composition: 10th International Symposium. Zurich, Switzerland, LNCS, Vol. 6708. Pp. 149-164, Springer. 06. 2011. [URL]
[hal-00657986:1]
Sébastien Limet, Sophie Robert & Ahmed Turki, Controlling an iteration-wise coherence in dataflow, in FACS, procedings of the 8th International Symposium on Formal Aspects of Component Software. Oslo, Norway, LNCS. Pp. 1-15, Springer. 06. 2011. [URL]
[hal-00632952:1]
Jacques-Henri Sublemontier, Lionel Martin, Guillaume Cleuziou & Matthieu Exbrayat, Integrating pairwise constraints into clustering algorithms: optimization-based approaches, in OEDM 2011, Optimization based approaches for Emerging Data Mining problems, ICDMW 2011, The Eleventh IEEE International Conference on Data Mining Workshops. Vancouver, Canada. 12. 2011. [URL]
[hal-00588894:1]
Julien Tesson & Frédéric Loulergue, A Verified Bulk Synchronous Parallel ML Heat Diffusion Simulation, in The 11th International Conference on Computational Science (ICCS 2011), Mitsuhisa Sato and Satoshi Matsuoka and Peter M. Sloot and G. Dick van Albada and Jack Dongarra (Ed.). Singapour, Singapore, Proceedings of the International Conference on Computational Science, ICCS 2011, Vol. 4(0). Pp. 36 - 45. 06. 2011. [URL]


Communications avec actes dans un congrès national


[hal-00592542:1]
Wadoud Bousdira, Louis Gesbert & Frédéric Loulergue, Syntaxe et sémantique de Revised Bulk Synchronous Parallel ML, in (JFLA), Journées Francophones des Langages Applicatifs, Studia Informatica Universalis. Pp. 117-146, Hermann. 2011. [URL]
[hal-00671591:1]
Jérémy Briffaut, Martin Peres, Christian Toinard, Jonathan Rouzaud-Cornabas, Benjamin Venelle & Jigar Solanki, PIGA-OS : Retour sur le Système d'Exploitation Vainqueur du Défi Sécurité, in RenPar'20 / SympA'14 / CFSE 8, 8ème Conférence Francaise en Systèmes d'Exploitation. Saint-Malo, France. 05. 2011. [URL]
[hal-00605405:1]
Guillaume Cleuziou, Gaël Dias & Vincent Levorato, Acquisition de structures lexico-sémantiques à partir de textes : un nouveau cadre de travail fondé sur une structuration prétopologique, in EGC, Actes de la 11ème Conférence Internationale Francophone sur l'Extraction et la Gestion des Connaissances. Brest, France. Pp. 107-118. 01. 2011. [URL]
[hal-00659874:1]
Quang-Thang Dinh, Matthieu Exbrayat & Christel Vrain, Apprentissage génératif de la structure de réseaux logiques de Markov à partir d'un graphe des prédicats, in Extraction et gestion des connaissances (EGC'2011), Extraction et gestion des connaissances (EGC'2011), Actes, 25 au 29 janvier 2011, Brest, France, Ali Khenchaf and Pascal Poncelet (Ed.). Brest, France, Revue des Nouvelles Technologies de l'Information, Vol. RNTI-E-20. Pp. 413-424, Hermann-Editions. 01. 2011. [URL]
[hal-00658019:1]
Sébastien Limet, Sophie Robert & Ahmed Turki, Construction automatique d'applications de visualisation scientifique interactives sous contraintes de cohérence, in CAL 2011, Actes de la conférence francophone sur les architectures logicielles. Lille, France. Pp. 20-30. 06. 2011. [URL]
[hal-00632946:1]
Jacques-Henri Sublemontier, Lionel Martin, Guillaume Cleuziou & Matthieu Exbrayat, Intégration de contraintes must-link et cannot-link pour la classification : une approche indépendante de l'algorithme, in XVIIIèmes Rencontres de la Société Francophone de Classification. Orléans, France. Pp. 153-156. 09. 2011. [URL]


Communications sans actes


[hal-00749867:1]
Denys Duchier, Jérôme Durand-Lose & Maxime Senot, Computing with signals: a generic and modular signal machine for satisfiability problems, in Workshop New Worlds of Computation (NWC '11). Orléans, France. 05. 2011. [URL]
[hal-00943031:1]
Serge Gaspers, Mikko Koivisto, Mathieu Liedloff, Sebastian Ordyniak & Stefan Szeider, Towards Finding Optimal Polytrees, in NIPS Workshop on Discrete Optimization in Machine Learning (DISCML 2011). 2011. [URL]
[hal-00943022:1]
Christophe Lenté, Mathieu Liedloff, Ameur Soukhal & Vincent t'Kindt, Algorithmes Exponentiels Pour Des Problèmes D'Ordonnancement à Une Machine Et Machines Parallèles, in 12ième congrès de la Société Francaise de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2011). 2011. [URL]
[hal-00943030:1]
Christophe Lenté, Mathieu Liedloff, Ameur Soukhal & Vincent t'Kindt, Sort & Search Exponential-Time Algorithms for Scheduling Problems,, in Proceedings of Multidisciplinary International Conference on Scheduling : Theory and Applications (MISTA 2011). Pp. pp. 523-528. 2011. [URL]
[hal-00943027:1]
Mathieu Liedloff, Christophe Lenté, Ameur Soukhal & Vincent t'Kindt, Exponential-time algorithms for scheduling problems, in Workshop on Models and Algorithms for Planning and Scheduling Problems (MAPSP 2011). Nymburk, Czech Republic. 2011. [URL]
[hal-00765572:1]
Jacques-Henri Sublemontier, Clustering semi-supervisé : intégration de contraintes utilisateur dans le processus de découverte de classes, in Journée ''Statistiques'' du Pôle 3 de l'université d'Orléans. Orléans, France. 06. 2011. [URL]


Autres Publications


[inria-00618376:1]
Siva Anantharaman, Christopher Bouchard, Paliath Narendran & Michael Rusinowitch, Unification modulo Block Chaining. 09. 2011. [URL]
[inria-00627910:1]
Florent Becker, Adrian Kosowski, Nicolas Nisse, Ivan Rapaport & Karol Suchan, Interconnection network with a shared whiteboard: Impact of (a)synchronicity on computing power. 2011. [URL]
[hal-00995211:1]
Jérémy Briffaut, Patrice Clemente, Jean-François Lalande & Jonathan Rouzaud-Cornabas, From Manual Cyber Attacks Forensic to Automatic Characterization of Attackers' Profiles J. Briffaut, P. Clemente, J.-F. Lalande, J. Rouzaud-Cornabas. Pp. 35. 2011. [URL]
[hal-00995214:1]
Patrice Clemente & Jonathan Rouzaud-Cornabas, Security and Virtualization: a Survey. Pp. 49. 12. 2011. [URL]
[hal-03226336:1]
Patrice Clemente & Jonathan Rouzaud-Cornabas, Security and Virtualization: a Survey. Pp. 49. 2011. [URL]
[hal-00609725:1]
Guillaume Cleuziou, Cyril de Runz, Mustapha Lebbah & Cédric Wemmert, 8ème édition de l'atelier ''Fouille de données complexes'' : complexité liée aux données multiples. Pp. 146p. 01. 2011. [URL]
[hal-00560277:3]
Jean-Luc Fouquet, Henri Thuillier, Jean-Marie Vanherpe & Adam Pawel Wojda, On (Kq,k) stable graphs with small k. Pp. 1-10. 12. 2011. [URL]
[hal-00601554:1]
Jean-Luc Fouquet, Henri Thuillier, Jean-Marie Vanherpe & Adam Pawel Wojda, Jaeger's graphs and compatible linear partitions. 03. 2011. [URL]
[hal-00648505:1]
Jean-Luc Fouquet, Henri Thuillier, Jean-Marie Vanherpe & Adam Pawel Wojda, On minimum (Kq; k) stable graphs. Pp. 9. 2011. [URL]
[hal-00516702:2]
Jean-Luc Fouquet & Jean-Marie Vanherpe, A new bound for parsimonious edge-colouring of graphs with maximum degree three.. 02. 2011. [URL]



2024/10/15 généré via HALLO + JabRef.