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-01852650v1  Conference papers
Ahmed KamounPatrick MailléBruno Tuffin. Evaluating search engines and defining a consensus implementation
VALUETOOLS 2019 - 12th EAI International Conference on Performance Evaluation Methodologies and Tools, Mar 2019, Palma de Majorque, Spain. pp.1-10
...
hal-01856054v1  Conference papers
Alexandre VieiraBernard BrogliatoChristophe Prieur. Optimality conditions for the minimal time problem for Complementarity Systems
MECHATRONICS 2019 - NOLCOS 2019 - 8th IFAC Symposium on Mechatronic Systems - 11th IFAC Symposium on Nonlinear Control Systems, Sep 2019, Vienne, Austria. pp.239-244, ⟨10.1016/j.ifacol.2019.11.785⟩
...
hal-01859695v1  Conference papers
Bruno DonassoloIlhem FajjariArnaud LegrandPanayotis Mertikopoulos. Fog Based Framework for IoT Service Provisioning
CCNC 2019 - IEEE Consumer Communications & Networking Conference, Jan 2019, Las Vegas, United States. pp.1-6, ⟨10.1109/CCNC.2019.8651835⟩
...
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-01888352v1  Conference papers
Léonard BlierPierre WolinskiYann Ollivier. Learning with Random Learning Rates
ECML PKDD 2019 - European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Sep 2019, Würzburg, Germany
...
hal-01896061v1  Conference papers
Srijan DasMonique ThonnatKaustubh SakhalkarMichał KoperskiFrancois Bremond et al.  A New Hybrid Architecture for Human Activity Recognition from RGB-D videos
MMM 2019 - 25th International Conference on MultiMedia Modeling, Jan 2019, Thessaloniki, Greece. pp.493-505, ⟨10.1007/978-3-030-05716-9_40⟩
...
hal-01294013v3  Conference papers
Romain AzaïsJean-Baptiste DurandChristophe Godin. Approximation of trees by self-nested trees
ALENEX 2019 - Algorithm Engineering and Experiments, Jan 2019, San Diego, United States. pp.39-53, ⟨10.1137/1.9781611975499.4⟩
...
hal-02346829v2  Conference papers
Pierre AblinDylan FagotHerwig WendtAlexandre GramfortCédric Févotte. A quasi-Newton algorithm on the orthogonal manifold for NMF with transform learning
IEEE-ICASSP 2019 - International Conference on Acoustics, Speech and Signal Processing, May 2019, Brighton, United Kingdom
...
hal-01925701v1  Conference papers
Pierre PradicColin Riba. A Dialectica-Like Interpretation of a Linear MSO on Infinite Words
FOSSACS'19, Apr 2019, Prague, Czech Republic
...
hal-01927432v1  Conference papers
Srijan DasArpit ChaudharyFrancois BremondMonique Thonnat. Where to Focus on for Human Action Recognition?
WACV 2019 - IEEE Winter Conference on Applications of Computer Vision, Jan 2019, Waikoloa Village, Hawaii, United States. pp.1-10
...
hal-01767317v2  Conference papers
Swapnil Dhamal. An Integrated Framework for Competitive Multi-channel Marketing of Multi-featured Products
COMSNETS 2019 - 11th International Conference on Communication Systems & Networks, Jan 2019, Bangalore, India. pp.391-394
...
hal-01928701v1  Conference papers
Denis KuperbergLaureline PinaultDamien Pous. Coinductive algorithms for Büchi automata
Developments in Language Theory, Aug 2019, Varsovie, Poland
...
hal-01929508v1  Conference papers
Simon ColinRodolphe LepigreGabriel Scherer. Unboxing Mutually Recursive Type Definitions in OCaml
JFLA 2019 - 30 èmes journées francophones des langages applicatifs, Jan 2019, Les Rousses, France
...
hal-01907422v1  Conference papers
Anna VegniValeria LoscrìPietro Manzoni. Analysis of Small-World Features in Vehicular Social Networks
CCNC 2019 - IEEE Consumer Communications & Networking Conference, Jan 2019, Las Vegas, United States
...
hal-01849166v3  Conference papers
Théo WinterhalterMatthieu SozeauNicolas Tabareau. Eliminating Reflection from Type Theory
CPP 2019 - 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2019, Lisbonne, Portugal. pp.91-103, ⟨10.1145/3293880.3294095⟩
...
hal-01933972v1  Conference papers
Jack HodgkissSoufiene DjahelYassine Hadjadj-Aoul. An Advanced Coordination Protocol for Safer and more Efficient Lane Change for Connected and Autonomous Vehicles
CCNC 2019 - 16th IEEE Consumer Communications & Networking Conference, Jan 2019, Las Vegas, United States. pp.1-4, ⟨10.1109/CCNC.2019.8651668⟩
...
hal-01933973v1  Conference papers
Hamza Ben AmmarYassine Hadjadj-AoulSoraya Aït-Chellouche. Efficiently allocating distributed caching resources in future smart networks
CCNC 2019 - 16th IEEE Consumer Communications & Networking Conference, Jan 2019, Las Vegas, United States. pp.1-4, ⟨10.1109/CCNC.2019.8651854⟩
...
hal-01936887v1  Conference papers
Pierre AblinJean-François CardosoAlexandre Gramfort. Beyond Pham's algorithm for joint diagonalization
European symposium on artificial neural networks, 2019, Bruges, Belgium
...
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-01934916v1  Conference papers
Alvaro CorreiaFreddy Lecue. Human-in-the-Loop Feature Selection
AAAI 2019 Conference - 33th Association for the Advancement of Artificial Intelligence, Jan 2019, Honolulu, United States
...
hal-01939659v1  Conference papers
Clément BallabrigaJulien ForgetLaure GonnordGiuseppe LipariJordy Ruiz. Static Analysis Of Binary Code With Memory Indirections Using Polyhedra
VMCAI'19 - International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2019, Cascais, Portugal. pp.114-135, ⟨10.1007/978-3-030-11245-5_6⟩
...
hal-01940174v1  Conference papers
Stefan HaarJuraj KolčákLoïc Paulevé. Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics
VMCAI 2019 - 20th International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2019, Lisbon, Portugal. pp.555-576, ⟨10.1007/978-3-030-11245-5_26⟩
...
hal-01940358v1  Conference papers
Lei MoAngeliki KritikakouOlivier Sentieys. Approximation-aware Task Deployment on Asymmetric Multicore Processors
DATE 2019 - 22nd IEEE/ACM Design, Automation and Test in Europe, Mar 2019, Florence, Italy. pp.1513-1518, ⟨10.23919/DATE.2019.8715077⟩
...
hal-01940652v1  Conference papers
Jean-François LalandeValérie Viet Triem TongPierre GrauxGuillaume HietWojciech Mazurczyk et al.  Teaching Android Mobile Security
SIGCSE '19 - 50th ACM Technical Symposium on Computer Science Education, Feb 2019, Minneapolis, United States. pp.232-238, ⟨10.1145/3287324.3287406⟩
...
hal-01941860v1  Conference papers
Rafail PsiakisAngeliki KritikakouOlivier Sentieys. Fine-Grained Hardware Mitigation for Multiple Long-Duration Transients on VLIW Function Units
DATE 2019 - 22nd IEEE/ACM Design, Automation and Test in Europe, Mar 2019, Florence, Italy. pp.976-979, ⟨10.23919/DATE.2019.8714899⟩
...
hal-01941862v1  Conference papers
Mael GueguenOlivier SentieysAlexandre Termier. Accelerating Itemset Sampling using Satisfiability Constraints on FPGA
DATE 2019 - 22nd IEEE/ACM Design, Automation and Test in Europe, Mar 2019, Florence, Italy. pp.1046-1051, ⟨10.23919/DATE.2019.8714932⟩
...
hal-01941876v1  Conference papers
Simon RokickiErven RohouSteven Derrien. Aggressive Memory Speculation in HW/SW Co-Designed Machines
DATE 2019 - 22nd IEEE/ACM Design, Automation and Test in Europe, Mar 2019, Florence, Italy. pp.332-335, ⟨10.23919/DATE.2019.8715010⟩
...
hal-01942159v1  Conference papers
Cheikh TouréAnne AugerDimo BrockhoffNikolaus Hansen. On Bi-Objective convex-quadratic problems
EMO 2019 - 10th International Conference on Evolutionary Multi-Criterion Optimization, Mar 2019, East Lansing, Michigan, United States
...
hal-01943010v1  Conference papers
Raphaël Rieu-Helft. Un mécanisme de preuve par réflexion pour Why3 et son application aux algorithmes de GMP
JFLA 2019 - 30èmes Journées Francophones des Langages Applicatifs, Jan 2019, Rousses, France
...
hal-01946632v1  Conference papers
Yérom-David BrombergQuentin DufourDavide Frey. Multisource Rumor Spreading with Network Coding
INFOCOM 2019 - IEEE International Conference on Computer Communications, Apr 2019, Paris, France. pp.1-10
...
hal-01947523v1  Conference papers
Furqan KhanFrancois Bremond. Cross domain Residual Transfer Learning for Person Re-identification
WACV 2019 - IEEE’s and the PAMI-TC’s premier meeting on applications of computer vision, Jan 2019, Waikoloa Village, Hawaii, United States
...
hal-01949641v1  Conference papers
Julien LoudetIulian Sandu PopaLuc Bouganim. SEP2P: Secure and Efficient P2P Personal Data Processing
EDBT 2019 - 22nd International Conference on Extending Database Technology, Mar 2019, Lisbon, Portugal
...
hal-01950650v1  Conference papers
André Chailloux. A note on the quantum query complexity of permutation symmetric functions
ITCS 2019 - 10th Annual Innovations in Theoretical Computer Science, Jan 2019, San Diego, United States. ⟨10.4230/LIPIcs.ITCS.2019.19⟩
...
hal-01929531v2  Conference papers
Diane Gallois-Wong. Formalisation en Coq d'algorithmes de filtres numériques
JFLA 2019 - Journées Francophones des Langages Applicatifs, Nicolas Magaud, Jan 2019, Les Rousses, France
...
hal-01953311v1  Conference papers
Christos DimitrakakisYang LiuDavid ParkesGoran Radanovic. Bayesian Fairness
AAAI 2019 - Thirty-Third AAAI Conference on Artificial Intelligence, Jan 2019, Honolulu, United States
...
hal-01958973v1  Conference papers
Antoine J.-P. TixierMaria Evgenia G. RossiFragkiskos MalliarosJesse ReadMichalis Vazirgiannis. Perturb and Combine to Identify Influential Spreaders in Real-World Networks
ASONAM 2019 - IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, Aug 2019, Vancouver, Canada
...
hal-01959119v1  Conference papers
Mohsen MinaeiMainack MondalPatrick LoiseauKrishna GummadiAniket Kate. Forgetting the Forgotten with Lethe: Conceal Content Deletion from Persistent Observers
PETS 2019 - 19th Privacy Enhancing Technologies Symposium, Jul 2019, Stockholm, Sweden. pp.1-21
...
hal-01959145v1  Conference papers
Athanasios AndreouMarcio SilvaFabrício BenevenutoOana GogaPatrick Loiseau et al.  Measuring the Facebook Advertising Ecosystem
NDSS 2019 - Proceedings of the Network and Distributed System Security Symposium, Feb 2019, San Diego, United States. pp.1-15, ⟨10.14722/ndss.2019.23280⟩
...
hal-01959158v1  Conference papers
Jiaoda LiChi Wan SungChung Shue Chen. Performance Study of Cooperative Non-Orthogonal Multiple Access with Energy Harvesting
International Conference on Communication Engineering and Technology, Apr 2019, Nagoya, Japan
...
hal-01959762v1  Conference papers
Xavier BultelPascal Lafourcade. Secure Trick-Taking Game Protocols How to Play Online Spades with Cheaters
Financial Cryptography and Data Security Conference, Feb 2019, Basse terre, Saint Kitts and Nevis
...
hal-01962191v1  Conference papers
Antoine BrochardBartłomiej BłaszczyszynStéphane MallatSixin Zhang. Statistical learning of geometric characteristics of wireless networks
INFOCOM 2019 - IEEE International Conference on Computer Communications, IEEE, Apr 2019, Paris, France. ⟨10.1109/INFOCOM.2019.8737441⟩
...
hal-01891661v2  Conference papers
Ouassim BaraHubert BonnefondOlivier Bernard. Model Development and Light Effect on a Rotating Algal Biofilm
DYCOPS 2019 - 12th IFAC Symposium on Dynamics and Control of Process Systems, including Biosystems, Apr 2019, Florianópolis - SC, Brazil
...
hal-01951954v1  Conference papers
Timothée LesortHugo Caselles-DupréMichael Garcia-OrtizJean-François GoudouDavid Filliat. Generative Models from the perspective of Continual Learning
IJCNN - International Joint Conference on Neural Networks, Jul 2019, Budapest, Hungary
...
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-01960182v1  Conference papers
Vincent Cohen-AddadLaurent FeuilloleyTatiana Starikovskaya. Lower bounds for text indexing with mismatches and differences
SODA 2019 - Symposium on Discrete Algorithms, Jan 2019, San Diego, United States
...
hal-01963662v1  Conference papers
Luigi LiquoriClaude Stolze. The Delta-calculus: syntax and types
FSCD 2019 - 4th International Conference on Formal Structures for Computation and Deduction, 2019-06-24; 2019-06-24, Jun 2019, Dortmund, Germany