Skip to Main content Skip to Navigation


...
hal-00726146v2  Journal articles
Kamil AdiloğluEmmanuel Vincent. Variational Bayesian Inference for Source Separation and Robust Feature Extraction
IEEE Transactions on Audio, Speech and Language Processing, Institute of Electrical and Electronics Engineers, 2016, ⟨10.1109/TASLP.2016.2583794⟩
...
hal-01399184v1  Journal articles
Esther GalbrunAristides GionisNikolaj Tatti. Top-k overlapping densest subgraphs
Data Mining and Knowledge Discovery, Springer, 2016, 30 (5), pp.1134 - 1165. ⟨10.1007/s10618-016-0464-z⟩
...
hal-01348831v1  Journal articles
Olivier DevillersRoss Hemsley. The worst visibility walk in a random Delaunay triangulation is $O(\sqrt{n})$
Journal of Computational Geometry, Carleton University, Computational Geometry Laboratory, 2016, 7 (1), pp.332-359. ⟨10.20382/jocg.v7i1a16⟩
...
hal-01330681v1  Journal articles
Henok MengistuJoost HuizingaJean-Baptiste MouretJeff Clune. The Evolutionary Origins of Hierarchy
PLoS Computational Biology, Public Library of Science, 2016, 12 (6), pp.23. ⟨10.1371/journal.pcbi.1004829.s021⟩
...
hal-01404718v1  Journal articles
Changbo ChenSvyatoslav CovanovFarnam MansouriRobert MoirMarc Moreno Maza et al.  The Basic Polynomial Algebra Subprograms
ACM Communications in Computer Algebra, Association for Computing Machinery (ACM), 2016, 50 (3), pp.97--100. ⟨10.1145/3015306.3015312⟩
...
hal-01401520v1  Journal articles
Weikai ChenXiaolong XiaShiqing XinYang XiaSylvain Lefebvre et al.  Synthesis of Filigrees for Digital Fabrication
ACM Transactions on Graphics, Association for Computing Machinery, 2016, ACM Transactions on Graphics, 35 (4), ⟨10.1145/2897824.2925911⟩
...
hal-01261402v1  Journal articles
David RitchieSergei Grudinin. Spherical polar Fourier assembly of protein complexes with arbitrary point group symmetry
Journal of Applied Crystallography, International Union of Crystallography, 2016, 49 (1), pp.158-167. ⟨10.1107/S1600576715022931⟩
...
hal-01285120v1  Journal articles
Olivier DevillersMarc GlisseXavier GoaocRémy Thomasse. Smoothed complexity of convex hulls by witnesses and collectors
Journal of Computational Geometry, Carleton University, Computational Geometry Laboratory, 2016, 7 (2), pp.101-144. ⟨10.20382/jocg.v7i2a6⟩
...
hal-01289699v1  Journal articles
Marc GlisseSylvain LazardJulien MichelMarc Pouget. Silhouette of a random polytope
Journal of Computational Geometry, Carleton University, Computational Geometry Laboratory, 2016, 7 (1), pp.14. ⟨10.20382/jocg.v7i1a5⟩
...
hal-01285419v1  Journal articles
Franck Hétroy-WheelerEric CasellaDobrina Boltcheva. Segmentation of tree seedling point clouds into elementary units
International Journal of Remote Sensing, Taylor & Francis, 2016, 37 (13), pp.2881-2907. ⟨10.1080/01431161.2016.1190988⟩
...
hal-01163838v1  Journal articles
Michel GrediacFrédéric SurBenoît Blaysat. Removing quasi-periodic noise in strain maps by filtering in the Fourier domain
Experimental Techniques, Society for Experimental Mechanics, 2016, 40 (3), pp.959-971. ⟨10.1007/s40799-016-0100-2⟩
...
hal-01384396v2  Journal articles
Dominique AttaliOlivier DevillersMarc GlisseSylvain Lazard. Recognizing Shrinkable Complexes Is NP-Complete
Journal of Computational Geometry, Carleton University, Computational Geometry Laboratory, 2016, 7 (1), pp.430--443. ⟨10.20382/jocg.v7i1a18⟩
...
hal-01215623v1  Journal articles
Steven GalbraithPierrick Gaudry. Recent progress on the elliptic curve discrete logarithm problem
Designs, Codes and Cryptography, Springer Verlag, 2016, 78 (1), pp.51-72. ⟨10.1007/s10623-015-0146-7⟩
...
hal-01393227v1  Journal articles
Quang-Vinh DangClaudia-Lavinia Ignat. Quality Assessment of Wikipedia Articles: A Deep Learning Approach
ACM SIGWEB Newsletter, Association for Computing Machinery (ACM), 2016, ⟨10.1145/2996442.2996447⟩
...
hal-01371087v1  Journal articles
Dzmitry PadhornyAndrey KazennovBrandon ZerbeKathryn PorterBing Xia et al.  Protein–protein docking by fast generalized Fourier transforms on 5D rotational manifolds
Proceedings of the National Academy of Sciences of the United States of America , National Academy of Sciences, 2016, 113 (30), pp.E4286-E4293. ⟨10.1073/pnas.1603929113⟩
...
hal-01260588v2  Journal articles
Derry FitzgeraldAntoine LiutkusRoland Badeau. Projection-based demixing of spatial audio
IEEE Transactions on Audio, Speech and Language Processing, Institute of Electrical and Electronics Engineers, 2016, ⟨10.1109/TASLP.2016.2570945⟩
...
hal-01393741v1  Journal articles
Jonàs MartínezJérémie DumasSylvain Lefebvre. Procedural Voronoi Foams for Additive Manufacturing
ACM Transactions on Graphics, Association for Computing Machinery, 2016, 35, pp.1 - 12. ⟨10.1145/2897824.2925922⟩
...
hal-01414145v1  Journal articles
Maxime Amblard. Pour un TAL responsable
Revue TAL, ATALA (Association pour le Traitement Automatique des Langues), 2016, 57 (2), pp.21 - 45
...
hal-01336485v1  Journal articles
Achraf Ben RomdhaneSalma JamoussiAbdelmajid Ben HamadouKamel Smaïli. Phrase-Based Language Model in Statistical Machine Translation
International Journal of Computational Linguistics and Applications, Alexander Gelbukh, 2016
...
hal-01093942v1  Journal articles
Miguel CouceiroLucien HaddadIvo Rosenberg. Partial clones containing all Boolean monotone self-dual partial functions
Journal of Multiple-Valued Logic and Soft Computing, Old City Publishing, 2016, 27 (2-3), pp.183-192
...
hal-01279444v1  Journal articles
Jilles DibangoyeChristopher AmatoOlivier BuffetFrançois Charpillet. Optimally Solving Dec-POMDPs as Continuous-State MDPs
Journal of Artificial Intelligence Research, Association for the Advancement of Artificial Intelligence, 2016, 55, pp.443-497. ⟨10.1613/jair.4623⟩
...
hal-01426626v1  Journal articles
Florent JacquemardMichaël Rusinowitch. One-variable context-free hedge automata
Journal of Computer and System Sciences, Elsevier, 2016, ⟨10.1016/j.jcss.2016.10.006⟩
...
hal-01186715v1  Journal articles
Aleksey BuzmakovElias EghoNicolas JaySergei KuznetsovAmedeo Napoli et al.  On Mining Complex Sequential Data by Means of FCA and Pattern Structures
International Journal of General Systems, Taylor & Francis, 2016, 45 (2), pp.135-159. ⟨10.1080/03081079.2015.1072925⟩
...
hal-01269578v1  Journal articles
Michael AronMarie-Odile BergerErwan KerrienBrigitte Wrobel-DautcourtBlaise Potard et al.  Multimodal acquisition of articulatory data: Geometrical and temporal registration
Journal of the Acoustical Society of America, Acoustical Society of America, 2016, 139 (2), pp.13. ⟨10.1121/1.4940666⟩
...
hal-01163369v5  Journal articles
Aditya NugrahaAntoine LiutkusEmmanuel Vincent. Multichannel audio source separation with deep neural networks
IEEE/ACM Transactions on Audio, Speech and Language Processing, Institute of Electrical and Electronics Engineers, 2016, 24 (10), pp.1652-1664. ⟨10.1109/TASLP.2016.2580946⟩
...
hal-01300419v1  Journal articles
Amaury l'HuillierSylvain CastagnosAnne Boyer. Modéliser la diversité au cours du temps pour détecter le contexte dans un service de musique en ligne
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2016
...
hal-01345697v1  Journal articles
Pierre BessièreJulien DiardFrancis Colas. Modèles probabilistes formels pour problèmes cognitifs usuels
Intellectica - La revue de l’Association pour la Recherche sur les sciences de la Cognition (ARCo), Association pour la Recherche sur la Cognition, 2016, Nouvelles approches en robotique cognitive, 65 (1), pp.111-141. ⟨10.3406/intel.2016.1792⟩
...
hal-01370557v1  Journal articles
Sai QianPhilippe de GrooteMaxime Amblard. Modal Subordination in Type Theoretic Dynamic Logic
Linguistic Issues in Language Technology, Stanford Calif.: CSLI Publications, 2016, Modes of Modality in NLP, 14 ((1)), pp.1-39
...
hal-01369501v1  Journal articles
Adrien CouletMalika Smaïl-Tabbone. Mining Electronic Health Records to Validate Knowledge in Pharmacogenomics
ERCIM News, ERCIM, 2016, ERCIM News 104, Special theme: Tackling Big Data in the Life Sciences, pp.56
...
hal-01196042v2  Journal articles
Mihai AndriesOlivier SimoninFrançois Charpillet. Localisation of humans, objects and robots interacting on load-sensing floors
IEEE Sensors Journal, Institute of Electrical and Electronics Engineers, 2016, 16 (4), pp.1026-1037. ⟨10.1109/JSEN.2015.2493122⟩
...
hal-01315579v1  Journal articles
Slim OuniSara Dahmani. Is markerless acquisition of speech production accurate ?
Journal of the Acoustical Society of America, Acoustical Society of America, 2016, EL234, 139 (6), ⟨10.1121/1.4954497⟩
...
hal-01298523v1  Journal articles
Frédéric SurMichel Grediac. Influence of the analysis window on the metrological performance of the grid method
Journal of Mathematical Imaging and Vision, Springer Verlag, 2016, 56 (3), pp.472-498. ⟨10.1007/s10851-016-0650-z⟩
...
hal-01397846v1  Journal articles
Dmitry SokolovNicolas RayLionel UntereinerBruno Lévy. Hexahedral-Dominant Meshing
ACM Transactions on Graphics, Association for Computing Machinery, 2016, 35 (5), pp.1 - 23. ⟨10.1145/2930662⟩
...
hal-01386988v1  Journal articles
Jasmin BlanchetteCezary KaliszykLawrence PaulsonJosef Urban. Hammering towards QED
Journal of Formalized Reasoning, ASDD-AlmaDL, 2016, 9 (1), pp.101-148. ⟨10.6092/issn.1972-5787/4593⟩
...
hal-01413047v1  Journal articles
Marcel SteinmetzJoerg HoffmannOlivier Buffet. Goal Probability Analysis in MDP Probabilistic Planning: Exploring and Enhancing the State of the Art
Journal of Artificial Intelligence Research, Association for the Advancement of Artificial Intelligence, 2016, 57, pp.229 - 271. ⟨10.1613/jair.5153⟩
...
hal-01120685v4  Journal articles
Xabier JaureguiberryEmmanuel VincentGael Richard. Fusion methods for speech enhancement and audio source separation
IEEE Transactions on Audio, Speech and Language Processing, Institute of Electrical and Electronics Engineers, 2016, ⟨10.1109/TASLP.2016.2553441⟩
...
hal-01095543v1  Journal articles
Antoine CullyJean-Baptiste Mouret. Evolving a Behavioral Repertoire for a Walking Robot
Evolutionary Computation, Massachusetts Institute of Technology Press (MIT Press), 2016, 24 (1), pp.33. ⟨10.1162/EVCO_a_00143⟩
...
hal-00940743v3  Journal articles
Nicolas BroutinOlivier DevillersRoss Hemsley. Efficiently navigating a random Delaunay triangulation
Random Structures and Algorithms, Wiley, 2016, 49 (1), pp.95--136. ⟨10.1002/rsa.20630⟩
...
hal-01255944v1  Journal articles
Benoît BlaysatMichel GrediacFrédéric Sur. Effect of interpolation on noise propagation from images to DIC displacement maps
International Journal for Numerical Methods in Engineering, Wiley, 2016, 108 (3), pp.213-232. ⟨10.1002/nme.5212⟩
...
hal-01403899v1  Journal articles
Jiangshan YuVincent ChevalMark Ryan. DTKI: A New Formalized PKI with Verifiable Trusted Parties
The Computer Journal, Oxford University Press (UK), 2016, 59, pp.1695-1713. ⟨10.1093/comjnl/bxw039⟩
...
hal-01320646v1  Journal articles
Tarek AbbesAdel BouhoulaMichaël Rusinowitch. Detection of firewall configuration errors with updatable tree
International Journal of Information Security, Springer Verlag, 2016, 15 (3), pp.301-317. ⟨10.1007/s10207-015-0290-0⟩
...
hal-01294409v1  Journal articles
Manuel CaroliMonique Teillaud. Delaunay triangulations of closed Euclidean d-orbifolds
Discrete and Computational Geometry, Springer Verlag, 2016, 55 (4), pp.827--853. ⟨10.1007/s00454-016-9782-6⟩
...
hal-01277169v1  Journal articles
Hugo LabrandeEmmanuel Thomé. Computing theta functions in quasi-linear time in genus 2 and above
LMS Journal of Computation and Mathematics, London Mathematical Society, 2016, Special issue: Algorithmic Number Theory Symposium XII, 19 (A), pp.163-177. ⟨10.1112/S1461157016000309⟩
...
hal-01112394v1  Journal articles
Guillaume MorozBoris Aronov. Computing the Distance between Piecewise-Linear Bivariate Functions
ACM Transactions on Algorithms, Association for Computing Machinery, 2016, 12 (1), pp.3:1-3:13. ⟨10.1145/2847257⟩
...
hal-01227699v2  Journal articles
Hugo Labrande. Computing Jacobi's $\theta$ in quasi-linear time
Mathematics of Computation, American Mathematical Society, 2016, ⟨10.1090/mcom/3245⟩
...
hal-03007196v1  Journal articles
Ross KangFranÇois Pirot. Coloring Powers and Girth
SIAM Journal on Discrete Mathematics, Society for Industrial and Applied Mathematics, 2016, 30 (4), pp.1938 - 1949. ⟨10.1137/15m1035422⟩
...
hal-01273045v2  Journal articles
Pierrick GaudryLaurent GrémyMarion Videau. Collecting relations for the number field sieve in $GF(p^6)$
LMS Journal of Computation and Mathematics, London Mathematical Society, 2016, Special issue: Algorithmic Number Theory Symposium XII, 19, pp.332 - 350. ⟨10.1112/S1461157016000164⟩
...
hal-01371083v1  Journal articles
David Ritchie. Calculating and scoring high quality multiple flexible protein structure alignments
Bioinformatics, Oxford University Press (OUP), 2016, 32 (17), pp.2650-2658. ⟨10.1093/bioinformatics/btw300⟩
...
hal-01089507v1  Journal articles
Shi BaiCyril BouvierAlexander KruppaPaul Zimmermann. Better polynomials for GNFS
Mathematics of Computation, American Mathematical Society, 2016, 85, pp.12. ⟨10.1090/mcom3048⟩
...
hal-01306561v1  Journal articles
Rohit ChadhaVincent ChevalŞtefan CiobâcǎSteve Kremer. Automated verification of equivalence properties of cryptographic protocols
ACM Transactions on Computational Logic, Association for Computing Machinery, 2016, 17 (4), ⟨10.1145/2926715⟩
...
hal-01297415v1  Journal articles
Salima HarratKarima MeftouhMourad AbbasWalid-Khaled HidouciKamel Smaïli. An Algerian dialect: Study and Resources
International journal of advanced computer science and applications (IJACSA), The Science and Information Organization, 2016, 7 (3), pp.384-396. ⟨10.14569/IJACSA.2016.070353⟩
...
hal-01207859v1  Journal articles
Anthéa MayzaudRémi BadonnelIsabelle Chrisment. A Taxonomy of Attacks in RPL-based Internet of Things
International Journal of Network Security, ACEEE a Division of Engineers Network, 2016, 18 (3), pp.459 - 473. ⟨10.6633/IJNS.201605.18(3).07⟩
...
hal-00921122v1  Journal articles
Jean-Sébastien SereniJan Volec. A note on acyclic vertex-colorings
Journal of Combinatorics, International Press, 2016, 7 (4), pp.725--737. ⟨10.4310/JOC.2016.v7.n4.a8⟩