Skip to Main content Skip to Navigation

hal-03411144v1  Journal articles
Dale Miller. A Survey of the Proof-Theoretic Foundations of Logic Programming
Theory and Practice of Logic Programming, Cambridge University Press (CUP), 2012, pp.1-46. ⟨10.1017/S1471068421000533⟩
hal-00772114v1  Book sections
Jean-Marc CouveignesBas Edixhoven. Approximate computations with modular curves
Carel Faber, Gavril Farkas, Robin de Jong. Geometry and Arithmetic, EMS, pp.91-112, 2012, EMS Series of Congress Reports, 978-3-03719-119-4. ⟨10.4171/119⟩
hal-00644058v1  Journal articles
Kais AmmariDenis MercierVirginie RégnierJulie Valein. Spectral analysis and stabilization of a chain of serially connected Euler-Bernoulli beams and strings
Communications on Pure and Applied Analysis, AIMS American Institute of Mathematical Sciences, 2012, 11 (2), pp.785--807. ⟨10.3934/cpaa.2012.11.785⟩
hal-03256764v1  Book sections
Jorge MaturanaAlvaro FialhoFrédéric SaubionMarc SchoenauerFrédéric Lardeux et al.  Adaptive Operator Selection and Management in Evolutionary Algorithms
Adaptive Operator Selection and Management in Evolutionary Algorithms, Springer-Verlag, pp.161-189, 2012, 978-3-642-21434-9. ⟨10.1007/978-3-642-21434-9_7⟩
hal-00725477v1  Conference papers
Cédric AugonnetOlivier AumageNathalie FurmentoRaymond NamystSamuel Thibault. StarPU-MPI: Task Programming over Clusters of Machines Enhanced with Accelerators
EuroMPI 2012 - The 19th European MPI Users' Group Meeting, Sep 2012, Vienna, Austria
hal-00780006v1  Conference papers
Claude ChaudetNicola CostagliolaIsabelle DemeureSalma KtariSamuel Tardieu. Building an Efficient Overlay for Publish/Subscribe in Wireless Sensor Networks
9th Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks (SECON), Jun 2012, Seoul, South Korea. pp.362-370, ⟨10.1109/SECON.2012.6275798⟩
hal-03260622v1  Book sections
Julie Hunter. Now: A Discourse-Based Theory
Aloni, Maria; Roelofsen, Floris; Sassoon, Galit Weidman; Schulz, Katrin; Kimmelman, Vadim. Logic, Language and Meaning : 18th Amsterdam Colloquium, Amsterdam, The Netherlands, December 19-21, 2011, Revised Selected Papers, Springer, pp.371--380, 2012, 978-3642314810
hal-00965698v1  Journal articles
Julien Y DutheilNicolas GaltierJonathan RomiguierEmmanuel DouzeryVincent Ranwez et al.  Efficient selection of branch-specific models of sequence evolution.
Molecular Biology and Evolution, Oxford University Press (OUP), 2012, 29 (7), pp.1861-1874. ⟨10.1093/molbev/mss059⟩
hal-00783026v1  Journal articles
Mathieu GautierRenaud Vitalis. Inferring Population Histories Using Genome-Wide Allele Frequency Data
Molecular Biology and Evolution, Oxford University Press (OUP), 2012, 30 (3), pp.654-668. ⟨10.1093/molbev/mss257⟩
hal-03255573v1  Conference papers
Matthieu BasseurAdrien GoëffonArnaud LiefoogheSébastien Verel. Recherche locale multi-objectif basée sur les ensembles
13e congrès annuel de la Société française de Recherche Opérationnelle et d’Aide à la Décision, ROADEF 2012, 2012, Angers, France
hal-00757761v1  Journal articles
Adelene y L SimOlivier SchwanderMichael LevittJulie Bernauer. Evaluating mixture models for building RNA knowledge-based potentials.
Journal of Bioinformatics and Computational Biology, World Scientific Publishing, 2012, 10 (2), pp.1241010. ⟨10.1142/S0219720012410107⟩
hal-00725584v1  Conference papers
Vanea ChiprianovYvon KermarrecSiegfried Rouvrais. Extending Enterprise Architecture Modeling Languages: Application to Telecommunications Service Creation
SAC 2012 - 27th Annual ACM Symposium on Applied Computing, Mar 2012, Trento, Italy. pp.810 - 816
hal-00701142v1  Journal articles
Siegfried RouvraisVanea Chiprianov. Architecting the CDIO Educational Framework Pursuant to Constructive Alignment Principles
International Journal of Quality Assurance in Engineering and Technology Education (IJQAETE), 2012, 2 (2), pp.80 - 92. ⟨10.4018/ijqaete.2012040108⟩
hal-03219224v1  Conference papers
Dominique BlouinEric SennKevin RousselOlivier Zendra. QAML: a multi-paradigm DSML for quantitative analysis of embedded system architecture models
The 6th International Workshop on Multi-Paradigm Modeling, Oct 2012, Innsbruck, Austria. pp.37-42, ⟨10.1145/2508443.2508450⟩
hal-00706709v1  Conference papers
Laetitia ChapelThomas BurgerNicolas CourtySébastien Lefèvre. Classwise hyperspectral image classification with PerTurbo method
IGARSS 2012 - 2012 IEEE International Geoscience and Remote Sensing Symposium, Jul 2012, Munich, Germany. pp.6883 - 6886, ⟨10.1109/IGARSS.2012.6352581⟩
hal-00804558v1  Book sections
Bruno LévyNicolas Bonneel. Variational Anisotropic Surface Meshing with Voronoi Parallel Linear Enumeration
Proceedings of the 21st International Meshing Roundtable, Springer Berlin Heidelberg, pp.349-366, 2012, 978-3-642-33572-3. ⟨10.1007/978-3-642-33573-0_21⟩
inria-00577874v3  Journal articles
Marco CisterninoLisl Weynans. A parallel second order Cartesian method for elliptic interface problems
Communications in Computational Physics, Global Science Press, 2012, 12, pp.1562-1587. ⟨10.4208/cicp.160311.090112a⟩
hal-00740630v1  Journal articles
Nazim FatèsNikolaos Vlassopoulos. A Robust Scheme for Aggregating Quasi-Blind Robots in an Active Environment
International Journal of Swarm Intelligence Research, IGI Global, 2012, 3 (3), pp.15. ⟨10.4018/jsir.2012070105⟩
hal-00776601v1  Book sections
Stéphane DemriPaul Gastin. Specification and Verification using Temporal Logics
D'Souza, Deepak and Shankar, Priti. Modern applications of automata theory, 2, World Scientific, pp.457-494, 2012, ⟨10.1142/7237⟩
hal-00768042v1  Conference papers
Victor Péron. Asymptotic Models for an Elasto-Acoustic Problem with a Thin Layer
Twelfth International Conference Zaragoza-Pau on Mathematics, Sep 2012, Jaca, Spain
hal-00768036v1  Conference papers
Victor Péron. Equivalent Conditions for an Elasto-Acoustic Problem with a Thin Layer
First Russian-French Conference on Mathematical Geophysics, Mathematical Modeling in Continuum Mechanics and Inverse Problems, Jun 2012, Biarritz, France
hal-00675686v1  Journal articles
Nicolas PapadakisAurélie BugeauVicent Caselles. Image editing with spatiogram transfer
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, 2012, 21 (5), pp.2513 - 2522. ⟨10.1109/TIP.2012.2183144⟩
hal-03168615v1  Conference papers
Ankica BarisicVasco AmaralMiguel Goulao. Usability Evaluation of Domain-Specific Languages
2012 Eighth International Conference on the Quality of Information and Communications Technology (QUATIC), Sep 2012, Lisbon, Portugal. pp.342-347, ⟨10.1109/QUATIC.2012.63⟩
hal-01094384v1  Conference papers
Marc BocquetLin WuFrederic ChevallierMohammad Reza Koohkan. Selected topics in multiscale data assimilation
International Summer School - Advanced Data Assimilation for Geosciences, Ecole de Physique des Houches, May 2012, Les Houches, France. pp.415-431, ⟨10.1093/acprof:oso/9780198723844.003.0018⟩
lirmm-00748992v1  Journal articles
Vincenzo GulisanoRicardo Jimenez-PerisMarta Patino-MartínezClaudio SorientePatrick Valduriez. StreamCloud: An Elastic and Scalable Data Streaming System
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2012, 23 (12), pp.2351-2365. ⟨10.1109/TPDS.2012.24⟩
hal-00694113v1  Journal articles
Jean-Marc CouveignesTony EzomeReynald Lercier. A faster pseudo-primality test
Rendiconti del Circolo Matematico di Palermo, 2012, 61 (2), pp.261-278. ⟨10.1007/s12215-012-0088-0⟩
hal-03139687v1  Book sections
Ibrahima Dit Bouran SibideKondo Hloindo Adjallah. Enhanced Kernel Method for Modelling Failure Probability Density Functions
Engineering Asset Management and Infrastructure Sustainability, Springer London, pp.829-845, 2012, ⟨10.1007/978-0-85729-493-7_64⟩
hal-00718134v1  Journal articles
Raimundas MatuleviciusHaralambos MouratidisMayer NicolasDubois EricPatrick Heymans. Syntactic and Semantic Extensions to Secure Tropos to Support Security Risk Management
Journal of Universal Computer Science, Graz University of Technology, Institut für Informationssysteme und Computer Medien, 2012, 18 (6), pp.816-844
hal-00752093v1  Book sections
Céline CoutrixDominique CuninMayumi OkuraMarcos Serrano. De part et d'autre de l'interface : les continuités esthétiques et scientifiques
Samuel Bianchini, Nathalie Delprat, Christian Jacquemin. SIMULATION TECHNOLOGIQUE ET MATÉRIALISATION ARTISTIQUE : Une exploration transdisciplinaire arts/sciences, L'Harmattan, Chap.12, 2012, 978-2-296-55938-7
hal-00752456v1  Conference papers
Céline CoutrixNadine Mandran. Identifying Emotions Expressed by Mobile Users through 2D Surface and 3D Motion Gestures
UbiComp 2012 - 14th International Conference on Ubiquitous Computing, Sep 2012, Pittsburgh, PA, United States. pp.311-320, ⟨10.1145/2370216.2370265⟩
hal-01094330v1  Conference papers
Jiqiang LuYongshuang WeiEnes PasalicPierre-Alain Fouque. Meet-in-the-Middle Attack on Reduced Versions of the Camellia Block Cipher
Advances in Information and Computer Security - 7th International Workshop on Security, 2012, Nov 2012, Fukuoka, Japan. pp.18, ⟨10.1007/978-3-642-34117-5_13⟩
hal-00820888v1  Book sections
Emmanuelle Gilot-FromontMaud LéluMarie-Laure DardéCéline RichommeD. Aubert et al.  The Life Cycle of Toxoplasma gondii in the Natural Environment
Olgica Djurković Djaković. Toxoplasmosis - Recent Advances, InTech, pp.3-36, 2012, 978-953-51-0746-0. ⟨10.5772/48233⟩
hal-02806111v1  Conference papers
Alain Jean-MarieMichel MoreauxMabel Tidball. Optimal carbon sequestration when reservoirs are leaky
12.Viennese Workshop on Optimal Control, Dynamic Games and Nonlinear Dynamics (OCDGND2012), Université de Montréal (UdeM). CAN.; Groupe d'Etudes et de Recherche en Analyse des Décisions (GERAD). CAN., May 2012, Vienne, Austria
hal-02805010v1  Book sections
Alberto TondaEvelyne LuttonRomain ReuillonGiovanni SquilleroPierre-Henri Wuillemin. Bayesian network structure learning from limited datasets through graph evolution
Genetic Programming : 15th European Conference, EuroGP 2012, Málaga, Spain, April 11-13, 2012. Proceedings, 7244, Springer Science + Business Media B.V., 2012, Lecture Notes in Computer Science, 978-3-642-29138-8. ⟨10.1007/978-3-642-29139-5_22⟩
lirmm-00764993v1  Conference papers
Patrice Buche. Argumentation et décision dans les filières céréalières
JTIC'2012: 63rd International Milling and Cereal Industries meeting, Oct 2012, Reims, France
hal-02804068v1  Conference papers
François HubertAlain FrancAntoine KremerVincent Berry. Phylogenetic reconstruction in Quercus based on multiple nuclear genes
IUFRO working group “Genetics of Quercus and Nothofagus”, Institut National de Recherche Agronomique (INRA). UMR Biodiversité, Gènes et Communautés (1202)., Oct 2012, Bordeaux, France
hal-02803349v1  Conference papers
Elsa RousseauFrédéric FabreLudovic MailleretBenoît MouryFrédéric Grognard. Durabilité des stratégies de gestion de plantes résistantes aux virus dans un paysage agricole
Workshop Modélisation et Régulation des Pollutions, Université Montesquieu (Bordeaux 4). FRA.; Université Montpellier 1 (UM1). FRA.; Université de La Rochelle (ULR). FRA., Dec 2012, La Rochelle, France. pp.35
hal-02802411v1  Conference papers
Fabien HalkettAudrey AndansonBénédicte FabreElisabeth FournierPascal Frey et al.  Un cadre théorique pour étudier les interactions plantes - champignons pathogènes foliaires
8. Congrès national de la Société Française de Phytopathologie, Jun 2012, Paris, France. p.54
hal-01269351v1  Conference papers
Julien Sainte-MarieAntoine HenrotM BarrandonYann NouvellonOlivier Roupsard et al.  Modeling the environmental and seasonal influence on canopy dynamic and litterfall of even-aged forest ecosystems by a model coupling growth and yield and process-based approaches
2012 IEEE 4. International Symposium on Plant Growth Modeling, Simulation, Visualization and Applications (PMA), Centre de Coopération Internationale en Recherche Agronomique pour le Développement (CIRAD). FRA., Oct 2012, Shanghai, China. ⟨10.1109/PMA.2012.6524853⟩
hal-02750011v1  Conference papers
Radhouane Fekih-SalemAlain RapaportTewfik SariClaude LobryJérôme Harmand. Extensions du modèle du chemostat en présence d’attachement
Les biofilms au service des biotechnologies - Bioénergies, Agro-alimentaire, Environnement, Jan 2012, Narbonne, France
hal-02749940v1  Conference papers
Lucia Guérin-DubranaJean-Christophe LabrousseSylvie BastienPatrice ReyA. Gégout-Petit. Statistical analysis of the grapevines mortality associated with foliar expression of Esca or Eutypa dieback
8. International Workshop on Grapevine Trunk Diseases, Universitat de València (UV). Valencia, ESP., Jun 2012, Valencia, Spain
hal-02748259v1  Conference papers
Jan SieberAlain RapaportSerafim RodriguesMathieu Desroches. A new method for the reconstruction of unknown non-monotonic growth function in the chemostat
20th IEEE Mediterranean Conference on Control and Automation (MED '12), Jul 2012, Barcelona, Spain. pp.169 - 175, ⟨10.1109/MED.2012.6265633⟩
hal-02747903v1  Conference papers
Sonia HassamBrahim CherkiElena FicaraJérôme Harmand. Towards a systematic approach to reduce complex bioprocess models - Application to the ADM1
20. IEEE Mediterranean Conference on Control and Automation (MED '12), IEEE Control Systems Society. FRA., Jul 2012, Barcelona, Spain. pp.573-578
hal-02747415v1  Conference papers
Patrice Baa-PuyouletAugusto F. VellozoJaime Huerta-CepasGérard FebvayToni Gabaldon et al.  The CycADS annotation database system to support the development and update of enriched BioCyc databases. Development of ad hoc BioCyc DB : AcypiCyc, ArthopodaCyc
13. Journées Ouvertes en Biologie, Informatique et Mathématiques, Institut National de Recherche en Informatique et en Automatique (INRIA). Rennes, FRA., Jul 2012, Rennes, France. Pagination multiple
hal-02746714v1  Conference papers
Fabien CampilloDominique HervéRivo Rakotozafy. Markov analysis of land use dynamics: A Case Study in Madagascar
11. Colloque Africain sur la Recherche en Informatique et en Mathématiques Appliquées (CARI’2012), Oct 2012, Alger, Algeria
hal-02745059v1  Conference papers
Frédéric FabreElsa RousseauLudovic MailleretBenoît Moury. Sustainable plant resistance management in agricultural landscapes
Plant resistance sustainability 2012 international conference, Oct 2012, La Colle-Sur-Loup, France
inserm-00717415v1  Journal articles
Mathieu PinotVillier SteinerBenoit DehapiotByung-Kuk YooFranck Chesnel et al.  Confinement induces actin flow in a meiotic cytoplasm.
Proceedings of the National Academy of Sciences of the United States of America , National Academy of Sciences, 2012, 109 (29), pp.11705-11710. ⟨10.1073/pnas.1121583109⟩
hal-02651929v1  Journal articles
Michel CristofolLionel Rogues. An inverse problem involving two coefficients in a nonlinear reaction-diffusion equation
Comptes Rendus. Mathématique, Académie des sciences (Paris), 2012, 350 (9-10), pp.469-473. ⟨10.1016/j.crma.2012.04.019⟩
halsde-00700084v1  Journal articles
Philippe de ReffyeM. Z. KangJing HuaDaniel Auclair. Stochastic modelling of tree annual shoot dynamics
Annals of Forest Science, Springer Nature (since 2011)/EDP Science (until 2010), 2012, 69 (2), pp.153-165. ⟨10.1007/s13595-011-0151-6⟩
hal-00752055v1  Journal articles
Sophie S. AbbyEric TannierManolo GouyVincent Daubin. Lateral gene transfer as a support for the tree of life.
Proceedings of the National Academy of Sciences of the United States of America , National Academy of Sciences, 2012, 109 (13), pp.4962-4967. ⟨10.1073/pnas.1116871109⟩
hal-00761603v1  Journal articles
Frederic MazencSilviu-Iulian NiculescuOlivier Bernard. Exponentially Stable Interval Observers for Linear Systems with Delay.
SIAM Journal on Control and Optimization, Society for Industrial and Applied Mathematics, 2012, 50 (1), pp.286-305. ⟨10.1137/100812124⟩