Skip to Main content Skip to Navigation

hal-02191331v1  Conference papers
Emmanuel AgulloLuc GiraudStephane LanteriGilles MaraitAnne-Cécile Orgerie et al.  Energy Analysis of a Solver Stack for Frequency-Domain Electromagnetics
PDP 2019 - 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, Feb 2019, Pavia, Italy. pp.385-391, ⟨10.1109/EMPDP.2019.8671555⟩
hal-02070912v1  Conference papers
Abib AlimiSamuel Deslauriers-GauthierRachid Deriche. Towards validation of diffusion MRI tractography: bridging the resolution gap with 3D Polarized Light Imaging
ISMRM 2019 - 27th Annual Meeting of International Society for Magnetic Resonance in Medicine, May 2019, Montréal, Canada
hal-01988262v1  Conference papers
Abib AlimiSamuel Deslauriers-GauthierFelix MatuschkeDaniel SchmitzMarkus Axer et al.  Analytical Fiber ODF Reconstruction in 3D Polarized Light Imaging: Performance Assessment
ISBI 2019 - IEEE International Symposium on Biomedical Imaging, Apr 2019, Venice, Italy
hal-02404540v1  Conference papers
José Bacelar AlmeidaManuel BarbosaGilles BartheMatthew CampagnaErnie Cohen et al.  A Machine-Checked Proof of Security for AWS Key Management Service
ACM CCS 2019 - 26th ACM Conference on Computer and Communications Security, Nov 2019, London, United Kingdom. pp.63-78, ⟨10.1145/3319535.3354228⟩
hal-02386398v1  Conference papers
Sophia AlmeidaMadalena ChavesFranck Delaunay. Period Control of the Coupled Clock and Cell Cycle Systems
CSBIO 2019 - 10th International Conference on Computational Systems-Biology and Bioinformatics, Dec 2019, Nice, France. ⟨10.1145/3365953.3365956⟩
hal-02053300v1  Conference papers
Eitan AltmanTania Jimenez. Measuring Audience Retention in YouTube
VALUETOOLS 2019 - 12th EAI International Conference on Performance Evaluation Methodologies and Tools, Mar 2019, Palma, Spain. pp.79-85, ⟨10.1145/3306309.3306322⟩
hal-02291549v1  Conference papers
Eitan AltmanMandar DatarGérard BurnsideCorinne Touati. Normalized equilibrium in Tullock rent seeking game
GameNets 2019 - Game Theory for Networks, Apr 2019, Paris, France. pp.109-116, ⟨10.1007/978-3-030-16989-3_8⟩
hal-02297281v1  Conference papers
Eitan AltmanRachid ElazouziDaniel Sadoc MenascheYuedong Xu. Forever Young: Aging Control For Smartphones in Hybrid Networks
MobiHoc 2019 - 20th International Symposium on Mobile Ad Hoc Networking and Computing, Jul 2019, Catania, Italy. pp.91-100, ⟨10.1145/3323679.3326507⟩
hal-02053360v1  Conference papers
Eitan AltmanSaid BoularoukDidier Josselin. Constrained Markov Decision Processes with Total Expected Cost Criteria
VALUETOOLS 2019 - 12th EAI International Conference on Performance Evaluation Methodologies and Tools, Mar 2019, Palma, Spain. pp.191-192, ⟨10.1145/3306309.3306342⟩
hal-02426407v1  Conference papers
Oscar AltuzarraJean-Pierre Merlet. Certified Kinematics Solution of 2-DOF Planar Parallel Continuum Mechanisms
IFToMM WC 2019 - 15th IFToMM World Congress, Jun 2019, Cracow, Poland
hal-02093445v1  Conference papers
Hirokazu AnaiFrédéric ChazalMarc GlisseYuichi IkeHiroya Inakoshi et al.  DTM-based Filtrations
SoCG 2019 - 35th International Symposium on Computational Geometry, Jun 2019, Portland, United States. ⟨10.4230/LIPIcs.SoCG.2019.58⟩
hal-02154181v1  Conference papers
Luigi AntelmiNicholas AyachePhilippe RobertMarco Lorenzi. Sparse Multi-Channel Variational Autoencoder for the Joint Analysis of Heterogeneous Data
ICML 2019 - 36th International Conference on Machine Learning, Jun 2019, Long Beach, United States
hal-02020829v1  Conference papers
Pinar ArslanMichele CorazzaElena CabrioSerena Villata. Overwhelmed by Negative Emotions? Maybe You Are Being Cyber-bullied!
SAC 2019 - The 34th ACM/SIGAPP Symposium On Applied Computing, Apr 2019, Limassol, Cyprus. ⟨10.1145/3297280.3297573⟩
hal-02145480v1  Conference papers
Corinne AtlanJean-Pierre ArchambaultOlivier BanusFrédéric BardeauAmélie Blandeau et al.  Apprentissage de la pensée informatique : de la formation des enseignant·e·s à la formation de tou·te·s les citoyen·ne·s
EIAH Wokshop 2019 - Apprentissage de la pensée informatique de la maternelle à l’Université : retours d’expériences et passage à l’échelle, Jun 2019, Paris, France
hal-02284538v1  Conference papers
Sophie AubinPierre BisquertPatrice BucheJuliette Dibie-BarthelemyLiliana Ibanescu et al.  Recent progresses in data and knowledge integration for decision support in agri-food chains
IC 2019 - Journées francophones d'Ingénierie des Connaissances, AFIA, Jul 2019, Toulouse, France. pp.43-59
hal-02265131v1  Conference papers
Benoît AudelanHervé Delingette. Unsupervised Quality Control of Image Segmentation based on Bayesian Learning
MICCAI 2019 - 22nd International Conference on Medical Image Computing and Computer Assisted Intervention, Oct 2019, Shenzhen, China
hal-02381829v1  Conference papers
Martin AvanziniUgo Dal LagoAlexis Ghyselen. Type-Based Complexity Analysis of Probabilistic Functional Programs
LICS 2019 - 34th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2019, Vancouver, Canada. pp.1-13, ⟨10.1109/LICS.2019.8785725⟩
hal-02397338v1  Conference papers
Konstantin AvrachenkovAndrei Bobu. Cliques in high-dimensional random geometric graphs
COMPLEX NETWORKS 2019 - 8th International Conference on Complex Networks and Their Applications, Dec 2019, Lisbon, Portugal. ⟨10.1007/978-3-030-36687-2_49⟩
hal-02132461v1  Conference papers
Konstantin AvrachenkovJasper GoselingBerksan Serbetci. Distributed Cooperative Caching for VoD with Geographic Constraints
WiOpt 2019 - 17th International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks, Jun 2019, Avignon, France
hal-02416599v1  Conference papers
Konstantin AvrachenkovVivek Borkar. A learning algorithm for the Whittle index policy for scheduling web crawlers
Allerton 2019 - 57th Annual Conference on Communication, Control, and Computing, Sep 2019, Monticello, France. pp.1001-1006, ⟨10.1109/ALLERTON.2019.8919743⟩
hal-02413569v1  Conference papers
Konstantin AvrachenkovAlexandra Borodina. On the Escape Probability Estimation in Large Graphs
IEEE FRUCT 2019 - 24th Conference of Open Innovations Association FRUCT, Apr 2019, Moscow, Russia. ⟨10.23919/FRUCT.2019.8711919⟩
hal-02397060v1  Conference papers
Konstantin AvrachenkovMaximilien Dreveton. Almost Exact Recovery in Label Spreading
WAW 2019 - 16th Workshop on Algorithms and Models for the Web Graph, Jul 2019, Brisbane, Australia. ⟨10.1007/978-3-030-25070-6_3⟩
hal-02397383v1  Conference papers
Konstantin AvrachenkovLaura CottatellucciMounia Hamidouche. Eigenvalues and Spectral Dimension of Random Geometric Graphs in Thermodynamic Regime
Complex Networks 2019 - 8th International Conference on Complex Networks and Their Applications, Dec 2019, Lisbon, Portugal. ⟨10.1007/978-3-030-36687-2_80⟩
hal-02132439v1  Conference papers
Konstantin AvrachenkovJasper GoselingBerksan Serbetci. Distributed Cooperative Caching for Utility Maximization of VoD Systems
SPAWC 2019 - 20th anniversary edition, the IEEE International Workshop on Signal Processing Advances in Wireless Communications, Jul 2019, Cannes, France. ⟨10.1109/SPAWC.2019.8815571⟩
hal-02106618v1  Conference papers
Ibrahim AyedNicolas CedilnikPatrick GallinariMaxime Sermesant. EP-Net: Learning Cardiac Electrophysiology Models for Physiology-based Constraints in Data-Driven Predictions
FIMH 2019 - 10th International Conference on Functional Imaging of the Hearth, Jun 2019, Bordeaux, France. pp.55-63
hal-02108958v2  Conference papers
Tania BacoyannisJulian KrebsNicolas CedilnikHubert CochetMaxime Sermesant. Deep Learning Formulation of ECGI for Data-driven Integration of Spatiotemporal Correlations and Imaging Information
FIMH 2019 - 10th International Conference on Functional Imaging and Modeling of the Heart, Jun 2019, Bordeaux, France. pp.20-28
hal-02277061v1  Conference papers
Gaétan BahlLionel DanielMatthieu MorettiFlorent Lafarge. Low-power neural networks for semantic segmentation of satellite images
ICCV Workshop on Low-Power Computer Vision, Oct 2019, Seoul, South Korea
hal-02361466v1  Conference papers
Jaume BanusMarco LorenziOscar CamaraMaxime Sermesant. Large Scale Cardiovascular Model Personalisation for Mechanistic Analysis of Heart and Brain Interactions
FIMH 2019 - 10th International Conference on Functional Imaging and Modeling of the Heart, Jun 2019, Bordeaux, France. pp.285-293, ⟨10.1007/978-3-030-21949-9_31⟩
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-02437112v2  Conference papers
Laurent BaratchartSébastien FueyoGilles LebeauJean-Baptiste Pomet. On deciding stability of high frequency amplifiers
IFAC 2019 - 15th IFAC Workshop on Time Delay Systems, Sep 2019, Sinaia, Romania
hal-02404662v1  Conference papers
Gilles BartheSonia BelaïdGaëtan CassiersPierre-Alain FouqueBenjamin Grégoire et al.  Automated Verification of Higher-Order Masking in Presence of Physical Defaults
ESORICS 2019 - 24th European Symposium on Research in Computer Security, Sep 2019, Luxembourg, Luxembourg. pp.300-318, ⟨10.1007/978-3-030-29959-0_15⟩
hal-02404701v1  Conference papers
Gilles BartheBenjamin GrégoireCharlie JacommeSteve KremerPierre-Yves Strub. 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-02295768v1  Conference papers
Jean-Philippe BauchetFlorent Lafarge. City Reconstruction from Airborne Lidar: A Computational Geometry Approach
3D GeoInfo 2019 - 14thConference 3D GeoInfo, Sep 2019, Singapore, Singapore
hal-02271580v1  Conference papers
Bertrand BeaufilsFrédéric ChazalMarc GreletBertrand Michel. Robust pedestrian trajectory reconstruction from inertial sensor
IPIN 2019 - 10th International Conference on Indoor Positioning and Indoor Navigation, Sep 2019, Pisa, Italy
hal-02382369v1  Conference papers
Arne BechensteenLaure Blanc-FéraudGilles Aubert. Exact biconvex reformulation of the $L2 − L0$ minimization problem
GRETSI 2019 - 27ème Colloque Francophone de traitement du signal et des images., Aug 2019, Lille, France
hal-01982749v1  Conference papers
Othmane BelmoukadamThierry SpetebrootChadi Barakat. ACQUA: A user friendly platform for lightweight network monitoring and QoE forecasting
QoE-Management 2019 - 3rd International Workshop on Quality of Experience Management, Feb 2019, Paris, France. ⟨10.1109/ICIN.2019.8685878⟩
hal-02118847v1  Conference papers
Julien BensmailFionn Mc InerneyNicolas Nisse. Dimension Métrique des Graphes Orientés
AlgoTel 2019 - 21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2019, Saint Laurent de la Cabrerisse, France
hal-02098194v1  Conference papers
Julien BensmailFionn Mc InerneyNicolas Nisse. Metric Dimension: from Graphs to Oriented Graphs
LAGOS 2019 - 10th Latin & American Algorithms, Graphs and Optimization Symposium, Jun 2019, Belo Horizonte, Brazil. pp.111-123
hal-02316854v1  Conference papers
Jean-Claude BermondTakako KodateJoseph Yu. Gossiping with interference in radio chain networks (upper bound algorithms)
JCDCG-3 - 22th Japan Conference on Discrete and Computational Geometry, Graphs, and Games, Sep 2019, Tokyo, Japan
hal-03109919v1  Conference papers
Mickael Binois. Heteroskedastic Gaussian processes for simulation experiments
UQSay #01, Mar 2019, Saclay, France
hal-02180493v1  Conference papers
Pierre BisquertFlorence Dupin de Saint Cyr - BannayPhilippe Besnard. Assessing Arguments with Schemes and Fallacies
LPNMR 2019 - 15th International Conference on Logic Programming and Non-monotonic Reasoning, Jun 2019, Philadelphia, United States. pp.61-74
hal-02549827v1  Conference papers
Enka BlanchardSiargey Kachanovich. Counting authorised paths in constrained control-flow graphs
Bordeaux Graph Workshop, Oct 2019, Bordeaux, France
hal-02549818v1  Conference papers
Enka BlanchardSiargey Kachanovich. A note on the inflating enclosing ball problem
Bordeaux Graph Workshop, Oct 2019, Bordeaux, France
hal-02143782v1  Conference papers
Simon BliudzeLudovic HenrioEric Madelaine. Verification of concurrent design patterns with data
COORDINATION 2019 - 21st International Conference on Coordination Models and Languages, Jun 2019, Kongens Lyngby, Denmark. pp.161-181, ⟨10.1007/978-3-030-22397-7_10⟩
hal-02078311v1  Conference papers
Jean-Daniel BoissonnatSiddharth Pritam. Computing Persistent Homology of Flag Complexes via Strong Collapses
SoCG 2019 - International Symposium on Computational geometry, Apr 2019, Portland, United States. ⟨10.4230/LIPIcs.SoCG.2019.55⟩