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
ESSAN 2019 - 27th European symposium on artificial neural networks, Apr 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⟩