Skip to Main content Skip to Navigation

hal-02980943v1  Journal articles
Jean-René CourtaultDidier GalmicheDavid Pym. A Logic of Separating Modalities
Theoretical Computer Science, Elsevier, 2016, 637 (1), pp.30-58. ⟨10.1016/j.tcs.2016.04.040⟩
hal-01267607v1  Conference papers
Alix GogueyMathieu NancelGéry CasiezDaniel Vogel. The Performance and Preference of Different Fingers and Chords for Pointing, Dragging, and Object Transformation
In Proceedings of CHI'16, the 34th Conference on Human Factors in Computing Systems, May 2016, San Jose, United States. pp.4250-4261, ⟨10.1145/2858036.2858194⟩
hal-01345070v2  Conference papers
Caroline Collange. Un processeur SIMT généraliste synthétisable
Compas 2016 - Conférence d’informatique en Parallélisme, Architecture et Système, Jul 2016, Lorient, France
hal-01351689v2  Reports
Caroline Collange. Simty: a Synthesizable General-Purpose SIMT Processor
[Research Report] RR-8944, Inria Rennes Bretagne Atlantique. 2016
hal-02932275v1  Poster communications
C MerleJean-Michel MarinFrançois RoussetRaphaël Leblois. Detecting past contraction in population size using haplotype homozygosity
Mathematical and Computational Evolutionnary Biology 2016, Jun 2016, Montpellier, France
hal-02930771v1  Journal articles
William Correa BeltranHenri PradeGilles Richard. Constructive Solving of Raven's IQ Tests with Analogical Proportions
International Journal of Intelligent Systems, Wiley, 2016, 31 (11), pp.1072-1103. ⟨10.1002/int.21817⟩
hal-02913380v1  Conference papers
Yue LiPantelis FrangoudisYassine Hadjadj-AoulPhilippe Bertin. A Mobile-Edge-Computing-Based Architecture for Improved Adaptive HTTP Video Delivery
CSCN 2016 - IEEE Conference on Standards for Communications and Networking, Oct 2016, Berlin, Germany. ⟨10.1109/CSCN.2016.7784892⟩
hal-02912251v1  Books
Israël-César Lerman. Foundations and Methods in Combinatorial and Statistical Data Analysis and Clustering
Springer-Verlag London, 2016, Advanced Information and Knowledge Processing, 978-1-4471-6791-4
hal-01476234v2  Journal articles
Guillaume Aucher. Displaying Updates in Logic
Journal of Logic and Computation, Oxford University Press (OUP), 2016, 26 (6), pp.1865-1912. ⟨10.1093/logcom/exw001⟩
hal-01152231v2  Journal articles
Florian RichouxAlberto UriarteJean-François Baffier. GHOST: A Combinatorial Optimization Solver for RTS-related Problems
IEEE Transactions on Computational Intelligence and AI in games, IEEE Computational Intelligence Society, 2016, ⟨10.1109/TCIAIG.2016.2573199⟩
hal-01425757v1  Journal articles
Islam BoussaadaSilviu-Iulian Niculescu. Tracking the Algebraic Multiplicity of Crossing Imaginary Roots for Generic Quasipolynomials: A Vandermonde-Based Approach
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2016, 61 (6), pp.1601-1606. ⟨10.1109/TAC.2015.2480175⟩
hal-02886259v1  Journal articles
Edward VigmondBruno Stuyvers. Modeling our understanding of the His-Purkinje system
Progress in Biophysics and Molecular Biology, Elsevier, 2016, 120 (1-3), pp.179-188. ⟨10.1016/j.pbiomolbio.2015.12.013⟩
hal-02886251v1  Journal articles
Sanda DespaEdward Vigmond. From Single Myocyte to Whole Heart
Circulation Research, American Heart Association, 2016, 118 (2), pp.184-186. ⟨10.1161/CIRCRESAHA.115.308067⟩
hal-02885674v1  Journal articles
Caroline RoneyJason BayerSohail ZahidMarianna MeoPatrick Boyle et al.  Modelling methodology of atrial fibrosis affects rotor dynamics and electrograms
EP-Europace, Oxford University Press (OUP): Policy B, 2016, 18 (suppl_4), pp.iv146-iv155. ⟨10.1093/europace/euw365⟩
hal-01382284v1  Conference papers
Panayotis MertikopoulosElena Veronica BelmegaLuca Sanguinetti. Distributed learning for resource allocation under uncertainty
GlobalSIP 2016 - IEEE Global Conference on Signal and Information Processing, Dec 2016, Washington, United States. ⟨10.1109/globalsip.2016.7905899⟩
hal-02378513v1  Conference papers
Stanislav AranovskiyAlexey BobtsovRomeo OrtegaAnton Pyrkin. Parameters Estimation via Dynamic Regressor Extension and Mixing
American Control Conference (ACC), Jul 2016, Boston, United States
hal-02868211v1  Conference papers
Lesley DuflotAlexandre KrupaBrahim TamadazteNicolas Andreff. Towards Ultrasound-based Visual Servoing using Shearlet Coefficients.
International Conference on Robotics and Automation, May 2016, Stockolm, Sweden
hal-02868060v1  Conference papers
Salvador MartínezValerio CosentinoJordi Cabot. Model-based Analysis of Java EE Web Security Configurations
2016 IEEE/ACM 8th International Workshop on Modeling in Software Engineering (MiSE), May 2016, Austin, Texas, United States. ⟨10.1145/2896982.2896986⟩
hal-02864664v1  Conference papers
Salvador MartínezJokin GarciaJordi Cabot. Runtime support for rule-based access-control evaluation through model-transformation
the 2016 ACM SIGPLAN International Conference, Oct 2016, Amsterdam, Netherlands. pp.57-69, ⟨10.1145/2997364.2997375⟩
hal-02864036v1  Journal articles
D. AcierJ.-L. PiletC. ChaillouD. BertinM. Broussard et al.  Élaboration et validation du Test d’Orientation Temporelle (TOT)
Psychologie Française, Elsevier Masson, 2016, 61 (3), pp.177-190. ⟨10.1016/j.psfr.2015.03.003⟩
hal-02800656v1  Poster communications
Pauline EzannoMyriam AmamiChristine Morin. Plus-values d’une collaboration INRA-INRIA : cas du PIA MIHMES
Conseil d'Administration de l'INRA, 2016, Paris, France. 2016
hal-02797442v1  Conference papers
Nicolas BajeuxFrédéric GrognardLudovic Mailleret. Introduced populations in a stochastic world
9. European Conference on Mathematical and Theoretical Biology (ECMTB), Jul 2016, Nottingham, United Kingdom
hal-02797440v1  Conference papers
Marjorie HaondLudovic MailleretThibaut Morel JournelLionel RoquesElodie Vercken. Habitat quality and the velocity of spatial population expansion
Emerging Trends in Applied Mathematics and Mechanics (ETAMM 2016), Université de Perpignan Via Domitia (UPVD). FRA., May 2016, Perpignan, France
hal-02797058v1  Conference papers
Romain YvinecSamuel BernardTom ChouJulien DeschampsMaria R. d'Orsogna et al.  Nucleation time in stochastic Becker-Doring model
11. AIMS Conference on Dynamical Systems, Differential Equations and Applications, American Institute of Mathematical Science (AIMS). USA., Jul 2016, Orlando, United States. 45 diapositives
hal-02796431v1  Conference papers
Nathalie VialaneixRobin GenuerJean-Michel PoggiChristine Malot. Random forests for big data
Journées de Statistique de Rennes (JSTAR), Oct 2016, Rennes, France
hal-02795698v1  Conference papers
Suzanne Touzeau. Modélisation mathématique en épidémiologie animale et végétale
École de recherche CIMPA-CETIC Modélisation Mathématique en Sciences du Vivant, Sep 2016, Yaoundé, Cameroun
hal-02795563v1  Conference papers
Romain YvinecSamuel BernardTom ChouJulien DeschampsMaria R. d'Orsogna et al.  Stochastic coagulation-fragmentation models for the study of protein aggregation phenomena
Stochastic Dynamical Systems in Biology: Numerical Methods and Applications, Isaac Newton Institute. GBR., Jan 2016, Cambridge, United Kingdom. 31 diapositives
hal-02793063v1  Conference papers
Thiéry Constantvan Tho NguyenEstelle NoyerFrédéric MotheFrancis Colin et al.  Towards wood quality assessment of standing trees fromT-LiDAR: What's Going on in France?
8th meeting of IUFRO Working Parties 5.01.04 and 3.04.02: "Modelling Wood Quality, Supply and Value Chain Networks", Jun 2016, Quebec, Canada
hal-02751726v1  Conference papers
Zheng ZhangPing TangThomas Corpetti. Satellite image time series clustering via affinity propagation
IGARSS 2016 - 2016 IEEE International Geoscience and Remote Sensing Symposium, Jul 2016, Beijing, China. pp.2419-2422, ⟨10.1109/IGARSS.2016.7729624⟩
hal-01398291v1  Conference papers
Pierre FerniqueAnaëlle DambrevilleJean-Baptiste DurandChristophe PradalPierre-Éric Lauri et al.  Characterization of mango tree patchiness using a tree-segmentation/clustering approach
2016 IEEE International Conference on Functional-Structural Plant Growth Modeling, Simulation, Visualization and Applications (FSPMA 2016), Nov 2016, Qingdao, China. pp.68-74, ⟨10.1109/FSPMA.2016.7818290⟩