Skip to Main content Skip to Navigation

hal-03198127v1  Conference papers
Franck GechterPierre RometDidier Fass. Human factors: the real issues of autonomous vehicles?
AutomotiveUI 2019 USER INTERFACES, ACM SIGCHI, Sep 2019, UTRECHT, Netherlands
hal-01981923v1  Conference papers
Victor RomeroFlorence Bertails-DescoubesAlexandre Derouet-JourdanArnaud Lazarus. Inverse design of a suspended Kirchhoff rod: From theory to practice
APS 2019 - American Physical Society March Meeting, Mar 2019, Boston, United States
hal-03131248v1  Conference papers
Maria WaldlSebastian WillPeter F. StadlerMichael T. WolfingerIvo L. Hofacker. Bi-alignments as Models of Incongruent Evolution of RNA Sequence and Secondary Structure
CIBB 2019 - 16th International Conference on Computational Intelligence Methods for Bioinformatics and Biostatistics, Sep 2019, Bergamo, Italy. pp.159-170, ⟨10.1007/978-3-030-63061-4_15⟩
hal-03178806v1  Conference papers
Guillaume BonfanteCorentin JannierJean-Yves MarionFabrice Sabatier. LockerGoga quickly reversed
MALCON 2019 14th International Conference on Malicious and Unwanted Software, Oct 2019, Nantucket, United States
hal-03173906v1  Conference papers
Gaëlle CandelRémi Géraud-StewartDavid Naccache. How to Compartment Secrets
13th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2019, Paris, France. pp.3-11, ⟨10.1007/978-3-030-41702-4_1⟩
hal-03173902v1  Conference papers
Simon LandryYanis LingeEmmanuel Prouff. Monomial Evaluation of Polynomial Functions Protected by Threshold Implementations
13th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2019, Paris, France. pp.66-84, ⟨10.1007/978-3-030-41702-4_5⟩
hal-03173080v1  Conference papers
Panagiota KatsikouliMarco FioreAngelo FurnoRazvan Stanica. Characterizing and Removing Oscillations in Mobile Phone Location Data
WoWMoM 2019 - 20th IEEE International symposium on a World of Wireless, Mobile and Multimedia Networks, Jun 2019, Washington, United States. pp.1-10
hal-03155483v1  Conference papers
Adrien Koutsos. The 5G-AKA Authentication Protocol Privacy
EuroS&P 2019 - IEEE European Symposium on Security and Privacy, Jun 2019, Stockholm, Sweden. pp.464-479, ⟨10.1109/EuroSP.2019.00041⟩
hal-03150958v1  Conference papers
Sergey Yurkevich. Diagonal Representation of Algebraic Power Series: A Glimpse Behind the Scenes
Transient Transcendence in Transylvania, May 2019, Brașov, Romania
hal-03149218v1  Conference papers
G AgliettiB TaylorS FellowesS AinleyD Tye et al.  RemoveDebris Mission, In Orbit Operations
33rd Annual AIAA/USU Conference on Small Satellites, Aug 2019, Logan, United States
hal-03139797v1  Conference papers
Nicolas SendrierValentin Vasseur. On the Decoding Failure Rate of QC-MDPC Bit-Flipping Decoders
PQCrypto 2019 - Post-Quantum Cryptography 10th International Conference, May 2019, Chongqing, China. pp.404--416, ⟨10.1007/978-3-030-25510-7_22⟩
hal-03138010v1  Conference papers
Thomas TrouchkineGuillaume BouffardJessy Clédière. Fault Injection Characterization on modern CPUs - From the ISA to the Micro-Architecture
13th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2019, Paris, France. pp.123-138, ⟨10.1007/978-3-030-41702-4_8⟩
hal-03122473v1  Conference papers
Lydia Boudjeloud-Assala. How to evaluate a subspace visual projection in interactive visual systems? A position paper
IEEE VIS 2019 - EVIVA-ML workshop on EValuation of Interactive VisuAl Machine Learning systems, Oct 2019, Vancouver, Canada
hal-02422166v1  Conference papers
Sarah Alaoui. Making an interactive dance piece: tensions in integrating technology in art
ACM Designing Interactive Systems, Jun 2019, San Diego, United States. pp.1195-1208, ⟨10.1145/3322276.3322289⟩
hal-03118698v1  Conference papers
Laure CrochepierreAntoine MarotVincent BarbesantBenjamin DonnotLydia Boudjeloud-Assala. Labellisation semi-supervisée de données : Vers une approche experte étendue
GAST 2019 - Atelier Gestion et Analyse des données Spatiales et Temporelles, Jan 2019, Metz, France
hal-03116041v1  Conference papers
Ioannis Z. EmirisEmmanouil ChristoforouApostolos Florakis. Neural networks for cryptocurrency evaluation and price fluctuation forecasting
MARBLE 2019 - The 1st International Conference on Mathematical Research for Blockchain Economy, May 2019, Santorini, Greece
hal-03109919v1  Conference papers
Mickael Binois. Heteroskedastic Gaussian processes for simulation experiments
UQSay #01, Mar 2019, Saclay, France
hal-03106000v1  Conference papers
Christophe Alias. fkcc: the Farkas Calculator
10th Workshop on Tools for Automatic Program Analysis, Oct 2019, Porto, Portugal. pp.526-536
hal-02173207v1  Conference papers
Rémi NolletAlexis SaurinChristine Tasson. PSPACE-Completeness of a Thread Criterion for Cyclic Proofs in Linear Logic with Least and Greatest Fixed Points
TABLEAUX 2019 - 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Sep 2019, London, United Kingdom. ⟨10.1007/978-3-030-29026-9_18⟩
hal-03100218v1  Conference papers
Bary Pradelski. Control by social influence: durables vs. non-durables
2019 IEEE 58th Conference on Decision and Control (CDC), Dec 2019, Nice, France. pp.3478-3483, ⟨10.1109/CDC40024.2019.9030059⟩
hal-02411556v1  Conference papers
Beniamino AccattoliClaudia FaggianGiulio Guerrieri. Factorization and Normalization, Essentially
APLAS 2019 - 17th Asian Symposium on Programming Languages and Systems, Dec 2019, Bali, Indonesia. ⟨10.1007/978-3-030-34175-6_9⟩
hal-03099265v1  Conference papers
Leila GabasovaB SchmittEnka BlanchardW.M. GrundyC. B. Olkin et al.  Pluto surface composition from spectral model inversion with metaheuristics
EPSC-DPS Joint Meeting 2019, Sep 2019, Geneve, Switzerland
hal-02388234v1  Conference papers
Elena AndreevaVirginie LallemandAntoon PurnalReza ReyhanitabarArnab Roy et al.  Forkcipher: A New Primitive for Authenticated Encryption of Very Short Messages
ASIACRYPT 2019 - 25th Annual International Conference on the Theory and Application of Cryptology and Information Security, Dec 2019, Kobe, Japan. pp.153-182, ⟨10.1007/978-3-030-34621-8_6⟩
hal-02194887v1  Conference papers
Shohreh HaddadanElena CabrioSerena Villata. Yes, we can! Mining Arguments in 50 Years of US Presidential Campaign Debates
ACL 2019 - 57th Annual Meeting of the Association for Computational Linguistics, Jul 2019, Florence, Italy. pp.4684-4690
hal-02400020v1  Conference papers
Saverio GiallorenzoFabrizio MontesiLarisa SafinaStefano Pio Zingaro. Ephemeral Data Handling in Microservices
2019 IEEE International Conference on Services Computing (SCC), Jul 2019, Milan, Italy. pp.234-236, ⟨10.1109/SCC.2019.00048⟩
hal-03068231v1  Conference papers
Alexia Nguyen TrungBastien BoussauVincent Daubin. Tracing Human Ancestral Migrations Using Symbiotic Bacteria
Groupe des Méthodes Pluridisciplinaires Contribuant à l'Archéologie (GMPCA), May 2019, Montreal, Canada
hal-03067825v1  Conference papers
Jianwei LiPhong Nguyen. Computing a Lattice Basis Revisited
ISSAC '19: International Symposium on Symbolic and Algebraic Computation, Jul 2019, Beijing, China. pp.275-282, ⟨10.1145/3326229.3326265⟩
hal-02145369v3  Conference papers
Michael BenediktPierre BourhisLouis JachietMichaël Thomazo. Reasoning about disclosure in data integration in the presence of source constraints
IJCAI 2019 - 28th International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China