Skip to Main content Skip to Navigation


...
hal-01791791v1  Conference papers
Emmanuel JeandelSimon PerdrixRenaud Vilmart. A Generic Normal Form for ZX-Diagrams and Application to the Rational Angle Completeness
LICS 2019 - 34th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2019, Vancouver, Canada. ⟨10.1109/LICS.2019.8785754⟩
...
hal-01862896v2  Conference papers
Pierre GuillonEmmanuel JeandelJarkko KariPascal Vanier. Undecidable word problem in subshift automorphism groups
Computer Science in Russia 2019, Jul 2019, Novosibirsk, Russia
...
hal-01937136v1  Conference papers
Jasmin Christian Blanchette. Formalizing the Metatheory of Logical Calculi and Automatic Provers in Isabelle/HOL (Invited Talk)
CPP 2019 - The 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2019, Cascais, Portugal. ⟨10.1145/3293880.3294087⟩
...
hal-01937141v1  Conference papers
Anders SchlichtkrullJasmin Christian BlanchetteDmitriy Traytel. A Verified Prover Based on Ordered Resolution
CPP 2019 - The 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2019, Cascais, Portugal. ⟨10.1145/3293880.3294100⟩
...
hal-01963426v1  Conference papers
Renaud Vilmart. A Near-Minimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics
LICS 2019 - 34th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2019, Vancouver, Canada. ⟨10.1109/LICS.2019.8785765⟩
...
hal-01985178v1  Conference papers
Radu RantaSteven Le CamGundars Bergmanis-KoratsSébastien RimbertLaurent Bougrain. On source space resolution in EEG brain imaging for motor imagery
9th International IEEE EMBS Conference on Neural Engineering, NER 2019, Mar 2019, San Francisco, United States
...
hal-01987946v1  Conference papers
Mohamed AbderrahimMeryem OuzzifKarine GuillouardJérôme FrançoisAdrien Lebre et al.  Efficient Resource Allocation for Multi-tenant Monitoring of Edge Infrastructures
PDP 2019 - 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, Feb 2019, Pavie, Italy. pp.1-8, ⟨10.1109/EMPDP.2019.8671621⟩
...
hal-01973285v2  Conference papers
Umut A AcarVitaly AksenovArthur CharguéraudMike Rainey. Provably and Practically Efficient Granularity Control
PPoPP 2019 - Principles and Practice of Parallel Programming, Feb 2019, Washington DC, United States. ⟨10.1145/3293883.3295725⟩
...
hal-02010199v2  Conference papers
Dayana RibasEmmanuel Vincent. An improved uncertainty propagation method for robust i-vector based speaker recognition
ICASSP 2019 - 44th International Conference on Acoustics, Speech, and Signal Processing, May 2019, Brighton, United Kingdom
...
hal-02046105v1  Conference papers
Jens GustedtMaxime Mogé. Memory access classification for vertical task parallelism
PDP 2019 - 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, Feb 2019, Pavia, Italy
...
hal-02050846v1  Conference papers
Daryna PanichevaPierre-Frédéric VillardMarie-Odile Berger. Toward an automatic segmentation of mitral valve chordae
SPIE Medical Imaging, SPIE, Feb 2019, San Diego, United States. pp.1095315-1095323, ⟨10.1117/12.2511943⟩
...
hal-02051701v1  Conference papers
Tomi KinnunenRosa González HautamäkiVille VestmanMd Sahidullah. Can We Use Speaker Recognition Technology to Attack Itself? Enhancing Mimicry Attacks Using Automatic Target Speaker Selection
ICASSP 2019 – 44th International Conference on Acoustics, Speech, and Signal Processing, May 2019, Brighton, United Kingdom
...
hal-02059558v1  Conference papers
Salwa KobeissiPhilippe Clauss. The Polyhedral Model Beyond Loops Recursion Optimization and Parallelization Through Polyhedral Modeling
IMPACT 2019 - 9th International Workshop on Polyhedral Compilation Techniques, In conjunction with HiPEAC 2019, Jan 2019, Valencia, Spain
...
hal-02050190v1  Conference papers
Bérenger Bramas. SPETABARU: A Task-based Runtime System with Speculative Execution Capability
SIAM CSE 2019 - SIAM Conference on Computational Science and Engineering, Feb 2019, Spokane, United States
...
hal-02057413v1  Conference papers
Nicola CaccianiElisabeth LarssonIgor TominecPierre-Frédéric Villard. Meshfree Simulation of Human Respiratory Muscles
CSE 19 - SIAM Conference on Computational Science and Engineering, Feb 2019, Spokane, United States
...
hal-02063304v1  Conference papers
Sofiane LagraaMaxime CailacSean RiveraFrédéric BeckRadu State. Real-time attack detection on robot cameras: A self-driving car application
IEEE IRC 2019 - Third IEEE International Conference on Robotic Computing, Feb 2019, Naples, Italy
...
hal-02063308v2  Conference papers
Thomas ChambrionLaurent Thomann. Obstruction to the bilinear control of the Gross-Pitaevskii equation: an example with an unbounded potential
Joint 8th IFAC Symposium on Mechatronic Systems and 11th IFAC Symposium on Nonlinear Control Systems, Sep 2019, Vienne, Austria. pp.304 - 309, ⟨10.1016/j.ifacol.2019.11.796⟩
...
hal-02066930v1  Conference papers
Véronique CortierPierrick GaudryStephane Glondu. Belenios: a simple private and verifiable electronic voting system
Foundations of Security, Protocols, and Equational Reasoning, 2019, Fredericksburg, Virgina, United States. pp.214-238, ⟨10.1007/978-3-030-19052-1_14⟩
...
hal-02059820v2  Conference papers
Thomas MouzonFabien PierreMarie-Odile Berger. Joint CNN and Variational Model for Fully-automatic Image Colorization
SSVM 2019 - Seventh International Conference on Scale Space and Variational Methods in Computer Vision, Jun 2019, Hofgeismar, Germany. pp.535-546
...
hal-02071515v1  Conference papers
Maria Boritchev. Thé, café et licornes -- Traitement de la structure conversationnelle dans la théorie dynamique des types
EJCIM 2019 - École Jeunes Chercheurs et Chercheuses en Informatique Mathématique, Mar 2019, Marseille, France
...
hal-02072737v1  Conference papers
Maxime SchmittPhilippe HelluyCédric Bastoul. Automatic adaptive approximation for stencil computations
CC 2019 - 28th International Conference on Compiler Construction, Feb 2019, Washington, United States. pp.170-181, ⟨10.1145/3302516.3307348⟩
...
hal-02078301v1  Conference papers
Abdulqawi SaifAlexandre MerlinOlivier DautricourtMaël HoubreLucas Nussbaum et al.  Emulation of Storage Performance in Testbed Experiments with Distem
CNERT 2019 - IEEE INFOCOM International Workshop on Computer and Networking Experimental Research using Testbeds, Apr 2019, Paris, France. pp.6
...
hal-02084619v1  Conference papers
Eloïse DalinPierre DesreumauxJean-Baptiste Mouret. Learning and adapting quadruped gaits with the "Intelligent Trial & Error" algorithm
IEEE ICRA Workshop on "Learning legged locomotion", 2019, Montreal, Canada
...
hal-01988419v1  Conference papers
Ajay K. EerallaSerdar ErbaturAndrew M. MarshallChristophe Ringeissen. Rule-Based Unification in Combined Theories and the Finite Variant Property
LATA 2019 - 13th International Conference on Language and Automata Theory and Applications, Mar 2019, Saint-Petersbourg, Russia. pp.356--367, ⟨10.1007/978-3-030-13435-8_26⟩
hal-02090623v1  Conference papers
Emmanuel Vincent. Parole & deep learning : succès et grands défis
Journée IA, Langage et Citoyens, Mar 2019, Nancy, France
...
lirmm-02092140v1  Conference papers
Alexandre BazinJessie CarbonnelMarianne HuchardGiacomo KahnPriscilla Keip et al.  On-demand Relational Concept Analysis
ICFCA 2019 - 15th International Conference on Formal Concept Analysis, Jun 2019, Frankfurt, Germany. pp.155-172, ⟨10.1007/978-3-030-21462-3_11⟩
...
tel-02096324v1  Theses
Guillaume Rosinosky. Élasticité de l’exécution des processus métier
Modélisation et simulation. Université de Lorraine, 2019. Français. ⟨NNT : 2019LORR0003⟩
...
tel-02096672v1  Theses
Amina Ahmed Nacer. Contributions au déploiement sécurisé de processus métiers dans le cloud
Web. Université de Lorraine; Université A. Mira (Bejaïa, Algérie), 2019. Français. ⟨NNT : 2019LORR0013⟩
...
hal-02098864v1  Conference papers
Sébastien RimbertOleksii AvilovPerrine AdamLaurent Bougrain. Can suggestive hypnosis be used to improve Brain-Computer Interface performance?
8th Graz Brain-Computer Interface Conference 2019, Sep 2019, Graz, Austria
...
hal-02099434v1  Conference papers
Sergiu BursucConstantin-Catalin DraganSteve Kremer. Private votes on untrusted platforms: models, attacks and provable scheme
EuroS&P 2019 - 4th IEEE European Symposium on Security and Privacy, Jun 2019, Stockholm, Sweden
...
hal-02099532v1  Conference papers
Kevin DalleauMiguel CouceiroMalika Smaïl-Tabbone. Les forêts d'arbres extrêmement aléatoires : utilisation dans un cadre non supervisé
EGC 2019 - 19ème Conférence Francophone sur l'Extraction et Gestion des connaissances, Jan 2019, Metz, France. pp.395-400
...
hal-02099607v1  Conference papers
Nyoman JuniartaMiguel CouceiroAmedeo Napoli. Application des Pattern Structures à la découverte de biclusters à changements de signes cohérents
EGC 2019 - 19ème Conférence francophone sur Extraction et Gestion des connaissances, Jan 2019, Metz, France. pp.285-290
...
hal-02106010v1  Conference papers
Mohamed MenacerDavid LangloisDenis JouvetDominique FohrOdile Mella et al.  Machine Translation on a parallel Code-Switched Corpus
Canadian AI 2019 - 32nd Conference on Canadian Artificial Intelligence, May 2019, Ontario, Canada
...
hal-02111656v1  Conference papers
Nicolas SchnepfRémi BadonnelAbdelkader LahmadiStephan Merz. Automated Factorization of Security Chains in Software-Defined Networks
IFIP/IEEE IM 2019 - IFIP/IEEE International Symposium on Integrated Network Management, Apr 2019, Washington, United States
...
hal-02111658v1  Conference papers
Nicolas SchnepfRémi BadonnelAbdelkader LahmadiStephan Merz. A Tool Suite for the Automated Synthesis of Security Function Chains
IFIP/IEEE IM 2019 - IFIP/IEEE International Symposium on Integrated Network Management, Apr 2019, Washington, United States
...
hal-02114652v2  Conference papers
Romain SerizelNicolas Turpault. Sound Event Detection from Partially Annotated Data: Trends and Challenges
IcETRAN conference, Jun 2019, Srebrno Jezero, Serbia
...
hal-02121311v1  Conference papers
Lakhdar MeftahRomain RouvoyIsabelle Chrisment. FOUGERE: User-Centric Location Privacy in Mobile Crowdsourcing Apps
DAIS 2019 - 19th IFIP International Conference on Distributed Applications and Interoperable Systems, Jun 2019, Kongens Lyngby, Denmark. pp.116-132, ⟨10.1007/978-3-030-22496-7_8⟩
...
hal-02118947v2  Conference papers
Mathieu HoyrupCristóbal RojasVictor SelivanovDonald M Stull. Computability on quasi-Polish spaces
DCFS 2019 - 21st International Conference on Descriptional Complexity of Formal Systems, Jul 2019, Kosice, Slovakia. pp.171-183
hal-02133469v1  Conference papers
Emmanuel JeandelPascal Vanier. A Characterization of Subshifts with Computable Language
STACS 2019 - 36th International Symposium on Theoretical Aspects of Computer Science, Mar 2019, Berlin, Germany
...
hal-02133606v1  Conference papers
David Espinel SarmientoAdrien LebreLucas NussbaumAbdelhadi Chari. Distributing connectivity management in Cloud-Edge infrastructures : Challenges and approaches
COMPAS 2019 - Conférence d'informatique en Parallélisme, Architecture et Système, Jun 2019, Anglet, France. pp.1-7
...
hal-02059088v1  Conference papers
Lakhdar MeftahRomain RouvoyIsabelle Chrisment. Testing Nearby Peer-to-Peer Mobile Apps at Large
MOBILESoft 2019 - 6th IEEE/ACM International Conference on Mobile Software Engineering and Systems, May 2019, Montréal, Canada
...
hal-02143360v1  Conference papers
Anne Bonneau. German obstruent sequences by French L2 learners
ICPhS 2019 - International Congress of Phonetic Sciences, Aug 2019, Melbourne, Australia
...
hal-02148633v1  Conference papers
Vincent GaudillièreGilles SimonMarie-Odile Berger. Estimation de pose de caméra à partir de correspondances ellipse - ellipsoïde
ORASIS 2019 - 17ème journées francophones des jeunes chercheurs en vision par ordinateur, May 2019, Saint-Dié-des-Vosges, France
...
tel-02150106v1  Theses
Timothée Bernard. Approches formelles de l'analyse du discours
Informatique et langage [cs.CL]. Université Sorbonne Paris Cité, 2019. Français
...
hal-02152352v1  Conference papers
Benoît LallouéJean-Marie MonnezEliane Albuisson. Actualisation en ligne d'un score d'ensemble
51e Journées de Statistique, Société Française de Statistique, Jun 2019, Nancy, France
...
hal-02154825v1  Conference papers
Mathieu HoyrupDonald M Stull. Semicomputable points in Euclidean spaces
MFCS 2019 - 44th International Symposium on Mathematical Foundations of Computer Science, Aug 2019, Aachen, Germany. ⟨10.4230/LIPIcs.MFCS.2019.63⟩
...
hal-02155546v1  Conference papers
Pierre MonninChedy RaïssiAmedeo NapoliAdrien Coulet. Knowledge Reconciliation with Graph Convolutional Networks: Preliminary Results
DL4KG2019 - Workshop on Deep Learning for Knowledge Graphs, Jun 2019, Portoroz, Slovenia
...
hal-02158862v2  Conference papers
Jean-Nicolas BrunetAndrea MendizabalAntoine PetitNicolas GolseEric Vibert et al.  Physics-based Deep Neural Network for Augmented Reality during Liver Surgery
MICCAI 2019 - 22nd International Conference on Medical Image Computing and Computer Assisted Intervention, Oct 2019, Shenzhen, China. pp.8, ⟨10.1007/978-3-030-32254-0_16⟩
...
hal-02160940v1  Conference papers
Diego Di CarloAntoine DeleforgeNancy Bertin. Mirage: 2D Source Localization Using Microphone Pair Augmentation with Echoes
ICASSP 2019 - IEEE International Conference on Acoustic, Speech Signal Processing, May 2019, Brighton, United Kingdom. pp.775-779, ⟨10.1109/ICASSP.2019.8683534⟩
...
hal-02162928v1  Conference papers
Tatiana MakhalovaSergei O. KuznetsovAmedeo Napoli. On Coupling FCA and MDL in Pattern Mining
ICFCA 2019 - 15th International Conference on Formal Concept Analysis, Jun 2019, Frankfurt, Germany. pp.332-340
hal-02162931v1  Conference papers
Tatiana MakhalovaSergei O. KuznetsovAmedeo Napoli. On compression, learning & searching regularity in big data
13es journées scientifiques, Mar 2019, Toulon, France
...
hal-02166713v1  Conference papers
Nyoman JuniartaVictor CodocedoMiguel CouceiroMehdi KaytoueAmedeo Napoli. Pattern Structures for Identifying Biclusters with Coherent Sign Changes
ICFCA 2019 - 15th International Conference on Formal Concept Analysis, Jun 2019, Frankfurt, Germany. pp.1-13
...
hal-02167756v1  Conference papers
Ioannis K DourosJacques FelblingerJens FrahmKaryna IsaievaArun Joseph et al.  A Multimodal Real-Time MRI Articulatory Corpus of French for Speech Research
INTERSPEECH 2019 - 20th Annual Conference of the International Speech Communication Association, Sep 2019, Graz, Austria
...
hal-02168775v1  Conference papers
Nacira AbbasJérôme DavidAmedeo Napoli. Linkex: A Tool for Link Key Discovery Based on Pattern Structures
ICFCA 2019 - workshop on Applications and tools of formal concept analysis, Jun 2019, Frankfurt, Germany. pp.33-38
...
hal-02170760v1  Conference papers
Justine Reynaudyannick ToussaintAmedeo Napoli. Using Redescriptions and Formal Concept Analysis for Mining Definitions Linked Data
ICFCA 2019 - 15th International Conference on Formal Concept Analysis, Jun 2019, Francfort, Germany. pp.241-256
...
hal-02170763v1  Conference papers
Justine Reynaudyannick ToussaintAmedeo Napoli. Redescription mining for learning definitions and disjointness axioms in Linked Open Data
ICCS 2019 - 24th International Conference on Conceptual Structures, Jul 2019, Marburg, Germany
...
hal-02170784v1  Conference papers
Vincent GaudillièreGilles SimonMarie-Odile Berger. Camera Relocalization with Ellipsoidal Abstraction of Objects
ISMAR 2019 - 18th IEEE International Symposium on Mixed and Augmented Reality, Oct 2019, Beijing, China. pp.19-29, ⟨10.1109/ISMAR.2019.00017⟩
...
hal-02116165v2  Conference papers
Manuel ParienteAntoine DeleforgeEmmanuel Vincent. A Statistically Principled and Computationally Efficient Approach to Speech Enhancement using Variational Autoencoders
INTERSPEECH 2019 - 20th Annual Conference of the International Speech Communication Association, Sep 2019, Graz, Austria
...
hal-02166434v1  Conference papers
Brij Mohan Lal SrivastavaAurélien BelletMarc TommasiEmmanuel Vincent. Privacy-Preserving Adversarial Representation Learning in ASR: Reality or Illusion?
INTERSPEECH 2019 - 20th Annual Conference of the International Speech Communication Association, Sep 2019, Graz, Austria
...
hal-02172099v1  Conference papers
Massimiliano TodiscoXin WangVille VestmanMd SahidullahHéctor Delgado et al.  ASVspoof 2019: Future Horizons in Spoofed and Fake Audio Detection
INTERSPEECH 2019 - 20th Annual Conference of the International Speech Communication Association, Sep 2019, Graz, Austria
...
hal-02175776v1  Conference papers
Sara DahmaniVincent ColotteValérian GirardSlim Ouni. Conditional Variational Auto-Encoder for Text-Driven Expressive AudioVisual Speech Synthesis
INTERSPEECH 2019 - 20th Annual Conference of the International Speech Communication Association, Sep 2019, Graz, Austria
...
hal-02175780v1  Conference papers
Théo Biasutto--LervatSara DahmaniSlim Ouni. Modeling Labial Coarticulation with Bidirectional Gated Recurrent Networks and Transfer Learning
INTERSPEECH 2019 - 20th Annual Conference of the International Speech Communication Association, Sep 2019, Graz, Austria
...
hal-02177202v1  Conference papers
Lou LeeKatarina BartkovaDenis JouvetMathilde Dargnatyvon Keromnes. Can prosody meet pragmatics? Case of discourse particles in French
ICPhS 2019 - International Congress of Phonetic Sciences, Aug 2019, Melbourne, Australia
...
hal-02177210v1  Conference papers
Denis Jouvet. Speech Processing and Prosody
TSD 2019 - 22nd International Conference of Text, Speech and Dialogue, Sep 2019, Ljubljana, Slovenia
...
hal-02177496v1  Conference papers
Imene ZangarZied MnasriVincent ColotteDenis Jouvet. F0 modeling using DNN for Arabic parametric speech synthesis
INNSBDDL 2019 - INNS Big Data and Deep Learning, Apr 2019, Sestri Levante, Italy
...
hal-02177945v1  Conference papers
Ajinkya KulkarniVincent ColotteDenis Jouvet. Layer adaptation for transfer of expressivity in speech synthesis
LTC'19 - 9th Language & Technology Conference, May 2019, Poznan, Poland
...
hal-02178274v1  Conference papers
Petar VukmirovićJasmin Christian BlanchetteSimon CruanesStephan Schulz. Extending a Brainiac Prover to Lambda-Free Higher-Order Logic
TACAS 2019 - 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2019, Prague, Czech Republic. pp.192-210
...
hal-02180486v1  Conference papers
Ioannis K DourosPierre-André Vuissozyves Laprie. Effect of head posture on phonation of French vowels
ICPhS 2019 - Proceedings of International Congress of Phonetic Sciences, Aug 2019, Melbourne, Australia
...
hal-02180566v1  Conference papers
Ioannis K DourosPierre-André Vuissozyves Laprie. Acoustic impacts of geometric approximation at the level of velum and epiglottis on French vowels
ICPhS 2019 - International Congress of Phonetic Sciences, Aug 2019, Melbourne, Australia
...
hal-02180606v1  Conference papers
Ioannis K DourosPierre-André Vuissozyves Laprie. Comparison between 2D and 3D models for speech production: a study of French vowels
ICPhS 2019 - International Congress of Phonetic Sciences, Aug 2019, Melbourne, Australia
...
hal-02180617v1  Conference papers
Ioannis K Dourosyves LapriePierre-André VuissozBenjamin Elie. Acoustic Evaluation of Simplifying Hypotheses Used in Articulatory Synthesis
ICA 2019 - 23rd International Congress on Acoustics, Sep 2019, Aachen, Germany
...
hal-02180626v1  Conference papers
Benjamin ElieAngelique Amelotyves LaprieShinji Maeda. Glottal Opening Measurements in VCV and VCCV Sequences
ICA 2019 - 23rd International Congress on Acoustics, Sep 2019, Aachen, Germany
...
hal-02144955v1  Conference papers
Melanie JouaitiPatrick Henaff. The Sound of Actuators: Disturbance in Human -Robot Interactions?
Development and Learning and Epigenetic Robotics (ICDL-Epirob), 2019 Joint IEEE International Conferences on, Aug 2019, Oslo, Norway
...
hal-02144957v1  Conference papers
Melanie JouaitiPatrick Henaff. Motor Coordination Learning for Rhythmic Movements
Development and Learning and Epigenetic Robotics (ICDL-Epirob), 2019 Joint IEEE International Conferences on, Aug 2019, Oslo, Norway
...
hal-02181333v1  Conference papers
Ioannis K DourosAnastasiia TsukanovaKaryna IsaievaPierre-André Vuissozyves Laprie. Towards a method of dynamic vocal tract shapes generation by combining static 3D and dynamic 2D MRI speech data
INTERSPEECH 2019 - 20th Annual Conference of the International Speech Communication Association, Sep 2019, Graz, Austria
...
hal-02181962v1  Conference papers
Vincent GaudillièreGilles SimonMarie-Odile Berger. Camera Pose Estimation with Semantic 3D Model
IROS 2019 - 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems, Nov 2019, Macau, Macau SAR China. ⟨10.1109/IROS40897.2019.8968180⟩
...
hal-02157484v2  Conference papers
Arthur CharguéraudJean-Christophe FilliâtreCláudio LourençoMário Pereira. GOSPEL -Providing OCaml with a Formal Specification Language
FM 2019 - 23rd International Symposium on Formal Methods, Oct 2019, Porto, Portugal
...
hal-02160855v2  Conference papers
Nicolas TurpaultRomain SerizelAnkit Parag ShahJustin Salamon. Sound event detection in domestic environments with weakly labeled data and soundscape synthesis
Workshop on Detection and Classification of Acoustic Scenes and Events, Oct 2019, New York City, United States
...
hal-02185645v1  Conference papers
Amine Boumaza. When Mating Improves On-line Collective Robotics
GECCO’19 Proceedings of the 2019 Genetic and Evolutionary Computation Conference, Jul 2019, Prague, Czech Republic
...
hal-02185694v1  Conference papers
Amine Boumaza. Introducing Weighted Intermediate Recombination in On-line Collective Robotics, the (µ/µ W , 1)-On-line EEA
Applications of Evolutionary Computation, Apr 2019, Leipzig, Germany
...
hal-02186325v1  Conference papers
Pierre LermusiauxHoratiu CirsteaPierre-Etienne Moreau. Pattern eliminating transformations
CIEL 2019 - 8ème Conférence en IngénieriE du Logiciel, Jun 2019, Toulouse, France
...
hal-02186693v1  Conference papers
Kevin BuchinPedro M. M. de CastroOlivier DevillersMenelaos Karavelas. Hardness results on Voronoi, Laguerre and Apollonius diagrams
CCCG 2019 - Canadian Conference on Computational Geometry, Aug 2019, Edmonton, Canada
...
hal-02125985v2  Conference papers
Lauréline PerotinAlexandre DéfossezEmmanuel VincentRomain SerizelAlexandre Guérin. Regression versus classification for neural network based audio source localization
WASPAA 2019 - IEEE Workshop on Applications of Signal Processing to Audio and Acoustics, IEEE, Oct 2019, New Paltz, United States
...
tel-02188304v1  Theses
Mathieu Fontaine. Processus alpha-stables pour le traitement du signal
Traitement du signal et de l'image [eess.SP]. Université de Lorraine, 2019. Français. ⟨NNT : 2019LORR0037⟩
...
hal-02190088v1  Conference papers
Miguel CouceiroLucien HaddadMaurice Pouzet. The mathematics of Ivo Rosenberg (Dedicated to the memory of Professor Ivo Rosenberg)
ISMVL2019 - IEEE 49th International Symposium on Multiple-Valued Logic, May 2019, Fredericton, NB, Canada. pp.43-48
...
hal-02191348v1  Conference papers
Nathalie BertrandIgor KonnovMarijana LazicJosef Widder. Verification of Randomized Consensus Algorithms under Round-Rigid Adversaries
CONCUR 2019 - 30th International Conference on Concurrency Theory, Aug 2019, Amsterdam, Netherlands. pp.1-16, ⟨10.4230/LIPIcs.CONCUR.2019.33⟩