Skip to Main content Skip to Navigation


...
hal-00619823v1  Book sections
Jacqueline BourdeauMonique Grandbastien. Modeling Tutoring Knowledge
Nkambou R., Mizoguchi R., Bourdeau J. Advances in Intelligent Tutoring Systems, Springer, pp.123-143, 2010, Studies in Computational Intelligence, volume 308, ⟨10.1007/978-3-642-14363-2⟩
inria-00525775v1  Journal articles
Hubert Comon-LundhVéronique CortierEugen Zalinescu. Deciding security properties for cryptographic protocols. Application to key cycles.
ACM Transactions on Computational Logic, Association for Computing Machinery, 2010, 11 (2), pp.Article 9. ⟨10.1145/1656242.1656244⟩
inria-00525779v1  Conference papers
Mathilde ArnaudVéronique CortierStéphanie Delaune. Modeling and Verifying Ad Hoc Routing Protocols.
23rd IEEE Computer Security Foundations Symposium - CSF'10, 2010, Edinburgh, United Kingdom
inria-00525781v1  Conference papers
Stefan CiobacaVéronique Cortier. Protocol composition for arbitrary primitives.
23rd IEEE Computer Security Foundations Symposium - CSF'10, 2010, Edinburgh, United Kingdom. pp.322-336
hal-00580299v1  Journal articles
Didier GalmicheDaniel Mery. Tableaux and Resource Graphs for Separation Logic
Journal of Logic and Computation, Oxford University Press (OUP), 2010, 20 (1), pp.189-231. ⟨10.1093/logcom/exn066⟩
hal-00580296v1  Journal articles
Didier GalmicheYakoub Salhi. Label-free Natural Deduction Systems for Intuitionistic and Classical Modal Logics
Journal of Applied Non-Classical Logics, Taylor & Francis, 2010, 20 (4), pp.373-421. ⟨10.3166/jancl.20.373-421⟩
hal-00579877v1  Journal articles
Didier GalmicheYakoub Salhi. A Family of Gödel Hybrid Logics
Journal of Applied Logic, Elsevier, 2010, 8 (4), pp.371-385. ⟨10.1016/j.jal.2010.08.008⟩
...
hal-00580302v2  Book sections
Didier GalmicheDominique Larchey-WendlingJoseph Vidal-Rosset. Some Remarks on Relations between Proofs and Games
Pierre Edouard Bour, Manuel Rebuschi, Laurent Rollet,. Construction - Festschrift for Gerhard Heinzmann, College Publications, 2010, 978-1-84890-016-5
...
hal-02358459v1  Reports
Denis Roegel. A reconstruction of Sang’s conversion tables between solar and sidereal time (1868)
[Research Report] LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2010
...
inria-00384128v1  Journal articles
Romain Cosset. Factorization with genus 2 curves
Mathematics of Computation, American Mathematical Society, 2010, 79, pp.1191-1208. ⟨10.1090/S0025-5718-09-02295-9⟩
hal-00152814v1  Journal articles
René SchottG. Stacey Staples. Operator cohomology and cohomology in Clifford algebras
Cubo, a Mathematical Journal, Temuco Departamento de Matemática y Estadística, Facultad de Ciencias e Ingeniería, Universidad de La Frontera, 2010, 11 (2), pp.00-00
inria-00506082v1  Journal articles
Jean-Yves MarionMatthieu Kaczmarek. Boulevard du cybercrime
Pour la Science. Dossier, Belin, 2010, pp.78-85
inria-00540352v1  Directions of work or proceedings
Selmin NurcanKhalid BenaliHervé Pingaud. Modélisation d'entreprise et interopérabilité
Selmin Nurcan and Khalid Benali and Hervé Pingaud. 15/5, Lavoisier, pp.140, 2010, Ingénierie des Systèmes d'Information (ISI)
...
inria-00449022v1  Journal articles
Laurent BienvenuMathieu Hoyrup. Une brève introduction à la théorie effective de l'aléatoire
Gazette des Mathématiciens, Société Mathématique de France, 2010, 123, pp.35-47
inria-00540884v1  Journal articles
Claude GodartKarim BaïnaWalid Gaaloul. Fouille de workflow Découverte de patrons de workflows par l'analyse des traces d'exécution
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2010, 29 (10)
inria-00540865v1  Book sections
Claude GodartSami BhiriWalid Gaaloul. A reengineering approach for ensuring transactional reliability of composite services
Information Science reference. Web Services Research for Emerging Applications: Discoveries and Trends, IGI Global, pp.290-316, 2010, 978-1-61520-684-1. ⟨10.4018/978-1-61520-684-1.ch013⟩
inria-00424347v1  Books
Richard BrentPaul Zimmermann. Modern Computer Arithmetic
Cambridge University Press, 18, 221 p., 2010, Cambridge Monographs on Applied and Computational Mathematics, 978-0-521-19469-3
inria-00432735v1  Directions of work or proceedings
Olivier SigaudOlivier Buffet. Markov Decision Processes in Artificial Intelligence
Olivier Sigaud and Olivier Buffet. ISTE Ltd and John Wiley & Sons Inc, pp.455, 2010, 978-1-84821-167-4
...
inria-00432633v1  Journal articles
Jacques Lonchamp. Customizable Computer-based Interaction Analysis for Coaching and Self-regulation in Synchronous CSCL Systems
Journal of Educational Technology and Society, International Forum of Educational Technology and Society, 2010, 13 (2), pp.193-205
...
hal-00462453v1  Journal articles
René SchottStacey Staples. ZEONS, LATTICES OF PARTITIONS, AND FREE PROBABILITY
communications in stochastic analysis, 2010, 4 (3), pp.00-00
...
hal-00438175v1  Journal articles
René SchottStacey Staples. Dynamic geometric graph processes: adjacency operator approach
Advances in Applied Clifford Algebras, Springer Verlag, 2010, 20 (3-4), pp.893-921
...
hal-00265802v1  Journal articles
René SchottStacey Staples. Dynamic random walks on Clifford algebras
Advances in Pure and Applied Mathematics, De Gruyter, 2010, 1 (1), pp.81-115
...
hal-01695035v1  Conference papers
Benoît CaldairouNicolas PassatBenoît Naegel. Attribute-filtering and knowledge extraction for vessel segmentation
International Symposium on Visual Computing (ISVC), 2010, Las Vegas, United States. pp.13-22, ⟨10.1007/978-3-642-17289-2_2⟩
inria-00543032v1  Conference papers
Miquel Tarzan-LorenteAgustin Gutierrez-GalvezDominique MartinezSantiago Marco. A Biologically Inspired Associative Memory for Artificial Olfaction
International Joint Conference on Neural Networks - IJCNN 2010, 2010, Barcelone, Spain
inria-00547939v1  Book sections
Hanène Maghrebi. La recherche et l'accès à l'information multimédia par et à travers un processus d'Intelligence Economique
Amos David. Intelligence économique et problèmes décisionnels, Hermes Science, pp.135-157, 2010, Traité STI - série Environnements et services numériques d'information, 978-2-7462-2503-9
inria-00441814v1  Journal articles
Cindy CappelleMaan El Badaoui El NajjarDenis PomorskiFrançois Charpillet. Intelligent geo-localisation in urban areas using global positioning systems, 3dimensional geographic information systems, and vision
Journal of Intelligent Transportation Systems: Technology, Planning, and Operations, Taylor & Francis: STM, Behavioural Science and Public Health Titles, 2010, 14 (1), pp.3 - 12. ⟨10.1080/15472450903385999⟩
...
hal-00553078v1  Conference papers
Gabriel MichelSorin Stratulat. Good reasons to implement transnational European diploma programs in Computer Science
ICEUTE'2010 (First International Conference on EUropean Transnational Education), 2010, Spain. pp.135-143
...
inria-00548908v1  Journal articles
Denis Roegel. Kulové plochy, hlavní kružnice a rovnoběžky
Zpravodaj (Československého sdružení uživatelů TeXu, ISSN 1211-6661), Groupe des utilisateurs de TeX tchèques, 2010, 20 (1-2), pp.23-38
...
inria-00543950v2  Reports
Denis Roegel. A construction of Edward Sang's projected table of nine-place logarithms to one million (1872)
[Research Report] LORIA (Université de Lorraine, CNRS, INRIA). 2010
inria-00535971v1  Book sections
Jean-Charles Lamirel. A new multi-viewpoint and multi-level clustering paradigm for efficient data mining tasks
Kimito Funatsu. New Fundamental Technologies in Data Mining, INTECH Open Access Publisher, chapitre 15, pp. 283-304, 2010, INTECH E-Book Series
inria-00465681v1  Directions of work or proceedings
Amos Abayomi David. Intelligence Économique
Les Cahiers du Numérique. 5, Hermes - Lavoisier, pp.192, 2010, Information, Evaluation, Stratégies, 978-2-7462-2916-7
...
inria-00548912v1  Journal articles
Denis Roegel. Sudoku s vepsanými kandži: integrace čínských glyfů s grafikou na úrovni METAPOSTu
Zpravodaj (Československého sdružení uživatelů TeXu, ISSN 1211-6661), Groupe des utilisateurs de TeX tchèques, 2010, 20 (3), pp.220-226
...
inria-00618328v1  Directions of work or proceedings
Maroua BouzidFlorence Le BerGérard LigozatOdile Papini. Actes du 5ème atelier "Représentation et raisonnement sur le Temps et l'Espace" RTE 2010
Maroua Bouzid et Florence Le Ber et Gérard Ligozat et odile Papini. pp.45, 2010
...
hal-00531756v1  Journal articles
Aurélie BertauxFlorence Le BerAgnès BraudMichèle Trémolières. Mining Complex Hydrobiological Data with Galois Lattices
International Journal of Computing and Information Sciences (IJCIS), APCEP - Canada, 2010, 7 (2), pp.63--77