 |
 |
 |
|
|
||
|---|---|---|
| hal-03270271v1
Conference papers
A parallel framework for the numerical simulation of Bose–Einstein condensates International Conference on Scientific Computation and Differential Equations (SciCADE), Jul 2019, Innsbruck, Austria |
||
| hal-02388730v1
Conference papers
Creating Fair Models of Atherosclerotic Cardiovascular Disease Risk AIES '19 - Proceedings of the 2019 AAAI/ACM Conference on AI, Ethics, and Society, Jan 2019, Honolulu, United States. pp.271-278, ⟨10.1145/3306618.3314278⟩ |
||
| hal-03122473v1
Conference papers
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-02388234v1
Conference papers
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-02303491v3
Conference papers
On high-precision L∞-stable IMEX schemes for scalar hyperbolic multi-scale equations Recent Advances in Numerical methods for Hyperbolic PDE Systems. Selected talks of Numhyp 2019, Jun 2019, Málaga, Spain. ⟨10.1007/978-3-030-72850-2_4⟩ |
||
| hal-03032551v1
Conference papers
Lattice Boltzmann Methods for Compressible Two-Phase Flow Problems INTERNATIONAL CONFERENCE OF NUMERICAL ANALYSIS AND APPLIED MATHEMATICS ICNAAM 2019, Sep 2019, Rhodes, Greece. pp.030004, ⟨10.1063/5.0026705⟩ |
||
| hal-03018473v1
Conference papers
Reflecting Algebraically Compact Functors Applied Category Theory 2019, Jul 2019, Oxford, United Kingdom. ⟨10.4204/EPTCS.323.2⟩  |
||
| hal-03018447v1
Conference papers
Mixed linear and non-linear recursive types International Conference on Functional Programming, Aug 2019, Berlin, Germany. ⟨10.1145/3341715⟩  |
||
| hal-02984963v1
Conference papers
A guided walk into link key candidate extraction with relational concept analysis ISWC 2019 - 18th International Semantic Web Conference, Oct 2019, Auckland, New Zealand. pp.1-9 |
||
| hal-02162927v2
Conference papers
Numerical Pattern Mining Through Compression DCC 2019 - 2019 Data Compression Conference, Mar 2019, Snowbird, United States. pp.112-121, ⟨10.1109/DCC.2019.00019⟩ |
||
| hal-02974531v1
Conference papers
The ICE/IME Finder approach and its application to ICE/IME annotation in Streptococcus. 8th symposium on Antimicrobial Resistance in Animal and Environment, Jul 2019, Tours, France |
||
| hal-02195498v1
Conference papers
Sampling Representation Contexts with Attribute Exploration ICFCA 2019 - 15th International Conference on Formal Concept Analysis, Jun 2019, Frankfurt, Germany. pp.307-314, ⟨10.1007/978-3-030-21462-3_20⟩ |
||
| hal-02944663v1
Conference papers
White-Box Traitor-Tracing from Tardos Probabilistic Codes SecITC 2019: Innovative Security Solutions for Information Technology and Communications, Nov 2019, Bucharest, Romania. pp.125-141, ⟨10.1007/978-3-030-41025-4_9⟩ |
||
| hal-02940717v1
Conference papers
Delaunay triangulations of symmetric hyperbolic surfaces EuroCG 2019 - 35th European Workshop on Computational Geometry, Mar 2019, Utrecht, Netherlands |
||
| hal-02394484v1
Conference papers
EROS-DOCK and EROS-DOCK MULTI-BODY Approach CAPRI evaluation meeting, Apr 2019, Hinxton, United Kingdom |
||
| hal-02393039v1
Conference papers
NAfragDB: A Multi-Purpose Structural Database of Nucleic-Acid/Protein Complexes for Advances Users 21e congrès du Groupe de graphisme et modélisation moléculaire (GGMM), Apr 2019, Nice, France |
||
| hal-02912341v1
Conference papers
Embedding median graphs into minimal distributive ∨-semi-lattices NFMCP 2019 - 8th International Workshop on New Frontiers in Mining Complex Patterns in conjunction with ECML-PKDD 2019, Sep 2019, Wùzburg, Germany |
||
| hal-02383471v1
Conference papers
Differentiator-based velocity observer with sensor bias estimation: an inverted pendulum case study 11th IFAC Symposium on Nonlinear Control Systems, Sep 2019, Vienna, Austria |
||
| hal-02123709v1
Conference papers
Unification modulo Lists with Reverse, Relation with Certain Word Equations CADE-27 - The 27th International Conference on Automated Deduction, Association for Automated Reasoning (AAR), Aug 2019, Natal, Brazil. pp.1--17, ⟨10.1007/978-3-030-29436-6_1⟩ |
||
| hal-02394144v1
Conference papers
A Poisson sample of a smooth surface is a good sample EuroCG 2019 - 35th European Workshop on Computational Geometry, Mar 2019, Utrecht, Netherlands |
||
| hal-02381750v1
Conference papers
A Flexible and Distributed Runtime System for High-Throughput Constrained Data Streams Generation IPDPSW 2019 - IEEE International Symposium on Parallel and Distributed Processing, Workshops and Phd Forum, May 2019, Rio de Janeiro, Brazil. pp.718-728, ⟨10.1109/IPDPSW.2019.00120⟩ |
||
| hal-02368857v1
Conference papers
Improving Automated Symbolic Analysis of Ballot Secrecy for E-Voting Protocols: A Method Based on Sufficient Conditions EuroS&P 2019 - 4th IEEE European Symposium on Security and Privacy, Jun 2019, Stockholm, Sweden. pp.635-650, ⟨10.1109/EuroSP.2019.00052⟩ |
||
| hal-02747636v1
Conference papers
Impulsive control of the bilinear Schrödinger equation: propagators and attainable sets 2019 IEEE 58th Conference on Decision and Control (CDC), Dec 2019, Nice, France. ⟨10.1109/CDC40024.2019.9029277⟩ |
||
| hal-02632035v1
Conference papers
Protein corona characterization through analytical quality-by-design 8èmes Rencontres Annuelles en Nanométrologie, Jun 2019, Paris, France |
||
| hal-02532702v1
Conference papers
Numerical shape optimization in Fluid Mechanics at low Reynolds number Process Control'2019 - 22nd International Conference on Process Control, Jun 2019, Strbske Pleso, Slovakia. pp.280-285, ⟨10.1109/PC.2019.8815038⟩ |
||
| hal-02504017v1
Conference papers
Harnessing the power of data and event data for Business Process Improvement CAISAM 2019 - Complexity Analysis of Industrial Systems and Advanced Modeling, Apr 2019, Ben Guerir, Morocco |
||
| hal-02501130v1
Conference papers
Improving the investigation of conversational discontinuities using the support of eye-tracking methods. Workshop on Formal Approaches to (In)coherence and Dynamics in Dialogue, Oct 2019, Göteborg, Sweden |
||
| hal-02499318v1
Conference papers
Tiered complexity at higher order DICE-FOPARA 2019 - Joint international workshop on Developments in Implicit Computational complExity and Foundational and Practical Aspects of Resource Analysis, Apr 2019, Praha, Czech Republic |
||
| hal-02499348v1
Conference papers
Tiered complexity at higher order MLA'2019 - Third Workshop on Mathematical Logic and its Applications, Mar 2019, Nancy, France |
||
| hal-02116493v4
Conference papers
Evaluation of text clustering methods and their dataspace embeddings: an exploration IFCS 2019 - 16th International of the Federation of Classification Societies, Aug 2019, Thessaloniki, Greece |
||
| hal-02456534v1
Conference papers
Think Unlimited and Compress Data Automatically COMPAS 2019 - Conférence d'informatique en Parallélisme, Architecture et Système, Jun 2019, Anglet, France |
||
| hal-02437374v1
Conference papers
Methodological Design for Integration of Human EEG Data with Behavioral Analyses into Human-Human/Robot Interactions in a Real-World Context ICICIC2019 - The 14th International Conference on Innovative Computing, Information and Control, Aug 2019, Seoul, South Korea. pp.8 |
||
| hal-02437172v1
Conference papers
MOOC Sécurité des réseaux: un apprentissage massif de la sécurité par la théorie et la pratique RESSI 2019: Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2019, Erquy, France. pp.1-4 |
||
| hal-02433997v1
Conference papers
Alternate Structural-Textural Video Inpainting for Spot Defects Correction in Movies SSVM 2019 - Seventh International Conference on Scale Space and Variational Methods in Computer Vision, Jun 2019, Hofgeismar, Germany |
||
| hal-02421693v1
Conference papers
Virtual network functions placement for defense against distributed denial of service attacks ICORES 2019 - 8th International Conference on Operations Research and Enterprise Systems, Feb 2019, Praque, Czech Republic |
||
| hal-02418029v1
Conference papers
A Topos-Based Approach to Building Language Ontologies Formal Grammar. 24th International Conference, FG 2019, Aug 2019, Riga, Latvia. pp.18-34, ⟨10.1007/978-3-662-59648-7_2⟩ |
||
| hal-02415115v1
Conference papers
Robust non-linear regression approach for generalized inverse problems in a high dimensional setting AIP 2019 - Applied Inverse Problem conference, Jul 2019, Grenoble, France |
||
| hal-02413950v1
Conference papers
Priority-based Event Management using Fuzzy Logic for an IoT-BPM Architecture SOCA 2019 - The 12th IEEE International Conference on Service Oriented Computing and Applications, Nov 2019, Kaohsiung, Taiwan |
||
| hal-02413388v1
Conference papers
Pauli Fusion: a computational model to realise quantum transformations from ZX terms QPL'19 : International Conference on Quantum Physics and Logic, Jun 2019, Los Angeles, United States |
||
| hal-02407443v1
Conference papers
Towards an automatic conversion from SBML core to SBML qual Journées Ouvertes Biologie, Informatique et Mathématiques, JOBIM 2019, Jul 2019, Nantes, France |
||
| hal-02406758v1
Conference papers
Reliable Computation of the Singularities of the Projection in R3 of a Generic Surface of R4 MACIS 2019 - Mathematical Aspects of Computer and Information Sciences, Nov 2019, Gebze-Istanbul, Turkey |
||
| hal-02406673v1
Conference papers
The Challenge of Unifying Semantic and Syntactic Inference Restrictions 2nd International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (ARCADE 2019), 2019, Natal, Brazil |
||
| hal-02406605v1
Conference papers
On the Expressivity and Applicability of Model Representation Formalisms FroCoS 2019 - 12th International Symposium on Frontiers of Combining Systems, 2019, London, United Kingdom. pp.22-39, ⟨10.1007/978-3-030-29007-8_2⟩ |
||
| hal-02405752v1
Conference papers
Evaluation of Chebyshev polynomials on intervals and application to root finding Mathematical Aspects of Computer and Information Sciences 2019, Nov 2019, Gebze, Turkey |
||
| hal-02405550v1
Conference papers
SCL: Clause Learning from Simple Models 27th International Conference on Automated Deduction, 2019, Natal, Brazil. pp.233-249, ⟨10.1007/978-3-030-29436-6_14⟩ |
||
| hal-02405524v1
Conference papers
SPASS-SATT: A CDCL(LA) Solver CADE-27 - The 27th International Conference on Automated Deduction, Aug 2019, Natal, Brazil. pp.111-122, ⟨10.1007/978-3-030-29436-6_7⟩ |
||
| hal-02398007v1
Conference papers
A collection of MOOCs to create digital programs OOFHEC 2019: the Online, Open and Flexible Higher Education Conference, Oct 2019, Madrid, Spain. pp.86-99 |
||
| hal-02404701v1
Conference papers
Symbolic Methods in Computational Cryptography Proofs CSF2019 - 32nd IEEE Computer Security Foundations Symposium, Jun 2019, Hoboken, United States. pp.136-13615, ⟨10.1109/CSF.2019.00017⟩ |
||
| hal-02404581v1
Conference papers
Machine-Checked Proofs for Cryptographic Standards: Indifferentiability of Sponge and Secure High-Assurance Implementations of SHA-3 CCS 2019 - 26th ACM Conference on Computer and Communications Security, Nov 2019, London, United Kingdom. pp.1607-1622, ⟨10.1145/3319535.3363211⟩ |
||
| hal-02403717v1
Conference papers
BlockZoom: Large-Scale Blockchain Testbed ICBC 2019 - IEEE International Conference on Blockchain and Cryptocurrency - Demo, May 2019, Seoul, South Korea. pp.5-6, ⟨10.1109/BLOC.2019.8751230⟩ |
||
|
|
||
