Conference papers

titre

Identifiability in Causal Abstractions: A Hierarchy of Criteria

auteur

Clément Yvernes, Emilie Devijver, Marianne Clausel, Éric Gaussier

article

1st Workshop on Causal Abstractions and Representations (CAR) at UAI, Jul 2025, Rio de Jaineiro, Brazil

Accès au texte intégral et bibtex

titre

The Political Dimension of Problematizing ICT-related Sustainability Issues

auteur

Baptiste de Goër, Sophie Quinton

article

ICT4S 2025 - International Conference on Information and Communications Technology for Sustainability, Jun 2025, Dublin, Ireland. pp.1-12

Accès au texte intégral et bibtex

Conference papers

titre

Optimizing Diverse Information Exposure in Social Graphs

auteur

Jonathan Colin, Silviu Maniu

article

BigData 2024 - IEEE International Conference on Big Data, Dec 2024, Washington, United States. pp.519-528, ⟨10.1109/BigData62323.2024.10825032⟩

Accès au texte intégral et bibtex

titre

Discovering a Representative Set of Link Keys in RDF Datasets

auteur

Nacira Abbas, Alexandre Bazin, Jérôme David, Amedeo Napoli

article

EKAW 2024 - 24th International Conference on Knowledge Engineering and Knowledge Management, Nov 2024, Amsterdam, Netherlands. pp.53-68, ⟨10.1007/978-3-031-77792-9_4⟩

Accès au texte intégral et bibtex

titre

Une enquête sur les perceptions de la mobilité pour informer un simulateur multi-agent de choix modal

auteur

Carole Adam, Benoit Gaudou

article

Les 32èmes Journées Francophones sur les Systèmes Multi-Agents (JFSMA 2024), Nov 2024, Cargèse, France

Accès au bibtex

titre

Method to evaluate the effects of neighbors' building morphology on solar irradiation

auteur

Khaoula Raboudi, Abdelkader Ben Saci, Gilles Bisson, Danielle Ziébelin, Patrick Reignier

article

International Days on Thermal Science and Energy - JITH 2024, ALI TOUDERT Fazia; BELKADI-HANNACHI Nazila; TRABELSI Abdelkrim, Oct 2024, Paris, France. https://jith.eu/index.php/jith-2024/jith-2024-proceedings

Accès au bibtex

titre

An agent-based model of modal choice with perception biases and habits

auteur

Carole Adam, Benoit Gaudou

article

Swiss Mobility Conference, Sep 2024, Lausanne, Switzerland

Accès au texte intégral et bibtex

titre

Identifiability of total effects from abstractions of time series causal graphs

auteur

Charles Assaad, Emilie Devijver, Éric Gaussier, Gregor Gössler, Anouar Meynaoui

article

40th Conference on Uncertainty in Artificial Intelligence, Association for Uncertainty in Artificial Intelligence (AUAI), Jul 2024, Barcelone, Spain

Accès au texte intégral et bibtex

titre

Causal Debugging for Concurrent Systems

auteur

Ivan Lanese, Gregor Gössler

article

RC 2024 - 16th International Conference on Reversible Computation, Jul 2024, Torun, Poland. pp.3-9, ⟨10.1007/978-3-031-62076-8_1⟩

Accès au texte intégral et bibtex

titre

Reversibility with Holes

auteur

Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani

article

RC 2024 - 16th International Conference on Reversible Computation, Jul 2024, Torun, Poland. pp.69 - 74, ⟨10.1007/978-3-031-62076-8_5⟩

Accès au texte intégral et bibtex

titre

A Small-Step Semantics for Janus

auteur

Pietro Lami, Ivan Lanese, Jean-Bernard Stefani

article

RC 2024 - 16th International Conference on Reversible Computation, Jul 2024, Torun, Poland. pp.105 - 123, ⟨10.1007/978-3-031-62076-8_8⟩

Accès au texte intégral et bibtex

titre

Jeu sérieux sur la transition vers des mobilités urbaines durables

auteur

Kevin Chapuis, Franck Taillandier, Carole Adam

article

Jeux & Enjeux 2024, Christophe Le Page, Jun 2024, Montpellier, France

Accès au texte intégral et bibtex

titre

Towards semantic enrichment of Earth Observation data: The LEODS framework

auteur

Daniela F Milon-Flores, Camille Bernard, Jérôme Gensel, Gregory Giuliani, Bruno Chatenoux, Hy Dao

article

Proceedings of the 27th AGILE Conference on Geographic Information Science, 4–7 Sept. 2024, Jun 2024, Glasgow, United Kingdom. pp.1-12, ⟨10.5194/agile-giss-5-11-2024⟩

Accès au texte intégral et bibtex

titre

A Fast Plan Enumerator for Recursive Queries

auteur

Amela Fejza, Pierre Genevès, Nabil Layaïda

article

ICDE 2024 - 40th IEEE International Conference On Data Engineering, May 2024, Utrecht, Netherlands. pp.1-4

Accès au texte intégral et bibtex

titre

Adaptation of the Multi-Concept Multivariate Elo Rating System to Medical Students' Training Data

auteur

Erva Nihan Kandemir, Jill-Jênn Vie, Adam Hegel Sanchez Ayte, Olivier Palombi, Franck Ramus

article

LAK 2024 - The 14th Learning Analytics and Knowledge Conference, Mar 2024, Kyoto, Japan. pp.1-10, ⟨10.1145/3636555.3636858⟩

Accès au texte intégral et bibtex

titre

In-depth analysis of Kubernetes manifest verification tools for robust CNF deployment

auteur

Boubacar Diarra, Karine Guillouard, Meryem Ouzzif, Philippe Merle, Jean-Bernard Stefani

article

ICIN 2024 - Conference on Innovation in Clouds, Internet and Networks, DNAC, Mar 2024, Paris, France. pp.1-8

Accès au texte intégral et bibtex

titre

Reproduce, Replicate, Reevaluate. The Long but Safe Way to Extend Machine Learning Methods

auteur

Luisa Sophie Werner, Nabil Layaïda, Pierre Genevès, Jérôme Euzenat, Damien Graux

article

AAAI 2024 - 38th Annual AAAI Conference on Artificial Intelligence, Feb 2024, Vancouver, Canada. pp.1-9

Accès au texte intégral et bibtex

titre

Taking conviviality seriously (extended abstract)

auteur

Sophie Quinton, Jean-Bernard Stefani

article

2024 - 1st conference on Undone Science in Computer Science, Feb 2024, Nantes, France. pp.1-4

Accès au texte intégral et bibtex

titre

Informatique et durabilité, une difficile transposition didactique

auteur

Baptiste de Goër, Hersch Micha, Sophie Quinton

article

DidaSTIC 2024 - Colloque Didapro 10 sur la Didactique de l’informatique et des STIC, Jan 2024, Louvain-La-Neuve, Belgique. pp.23-32

Accès au texte intégral et bibtex

Conference papers

titre

GeoChangeViz: visualizing Knowledge Graphs about changes in geographical divisions

auteur

Camille Bernard, Matthieu Viry, Marlène Villanova-Oliver, Jérôme Gensel

article

ISWC 2023 THE 22ND INTERNATIONAL SEMANTIC WEB CONFERENCE, Nov 2023, Athènes, Grèce, Greece

Accès au texte intégral et bibtex

titre

Active Inference of EFSMs Without Reset

auteur

Michael Foster, Roland Groz, Catherine Oriat, Adenilso Simao, Germán Vega, Neil Walkinshaw

article

ICFEM 2023, Nov 2023, Brisbane, Australia. pp.29-46, ⟨10.1007/978-981-99-7584-6_3⟩

Accès au bibtex

titre

The Mu-RA System for Recursive Path Queries over Graphs

auteur

Amela Fejza, Pierre Genevès, Nabil Layaïda, Sarah Chlyah

article

CIKM 2023 - 32nd ACM International Conference on Information and Knowledge Management, Oct 2023, Birmingham, United Kingdom. ⟨10.1145/3583780.3614756⟩

Accès au texte intégral et bibtex

titre

Knowledge Enhanced Graph Neural Networks for Graph Completion

auteur

Luisa Werner, Nabil Layaïda, Pierre Genevès, Sarah Chlyah

article

DSAA 2023 - The 10th IEEE International Conference on Data Science and Advanced Analytics, Oct 2023, Thessalokini, Greece

Accès au texte intégral et bibtex

titre

Detection and semantic description of changes in Earth Observation Time Series data

auteur

Daniela F. Milon-Flores, Camille Bernard, Jérôme Gensel, Gregory Giuliani

article

Workshop MACLEAN 2023 on Machine Learning for Earth Observation, Sep 2023, Torino, Italy, Italy

Accès au texte intégral et bibtex

titre

A Semantics of Core Erlang with Handling of Signals

auteur

Aurélie Kong Win Chang, Jerome Feret, Gregor Gössler

article

Erlang 2023 - 22nd ACM SIGPLAN International Workshop on Erlang, Sep 2023, Seattle WA, United States. pp.31-38, ⟨10.1145/3609022.3609417⟩

Accès au texte intégral et bibtex

titre

Interactive simulation of inertia created by mobility habits

auteur

Carole Adam

article

54th International Simulation and Gaming Conference (ISAGA 2023), Jul 2023, La Rochelle, France. pp.624-626

Accès au texte intégral et bibtex

titre

Simulating the impact of cognitive biases on the mobility transition ⋆

auteur

Carole Adam

article

International Simulation and Gaming Conference (ISAGA), Nicolas Bécu, Jul 2023, La Rochelle, France

Accès au texte intégral et bibtex

titre

Sequential Scheduling of Dataflow Graphs for Memory Peak Minimization

auteur

Pascal Fradet, Alain Girault, Alexandre Honorat

article

LCTES 2023 - 24th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, Jun 2023, Orlando (FL), United States. pp.76-86, ⟨10.1145/3589610.3596280⟩

Accès au texte intégral et bibtex

titre

Instrumentation de l'association de registres sémiotiques dans un assistant de preuve

auteur

Emmanuel Beffara, Martin Bodin, Nadine Mandran, Rémi Molinier

article

EIAH2023 - 11ème Conférence sur les Environnements Informatiques pour l'Apprentissage Humain, Association des Technologies de l’Information pour l’Éducation et la Formation, Jun 2023, Brest, France. pp.1-5

Accès au texte intégral et bibtex

titre

Assessing the Potential of Carpooling for Reducing Vehicle Kilometers Traveled

auteur

Aina Rasoldier, Alain Girault, Sophie Quinton, Jacques Combaz, Kevin Marquet

article

ICT4S 2023 - 9th International Conference on Information and Communications Technology for Sustainability, Jun 2023, Rennes, France. pp.120-131, ⟨10.1109/ICT4S58814.2023.00021⟩

Accès au texte intégral et bibtex

titre

Explanation-based Tool for Helping Data Producers to Reduce Privacy Risks

auteur

Hira Asghar, Christophe Bobineau, Marie-Christine Rousset

article

Extended Semantic Web Conference, Jamie McCusker; Ernesto Jimenez-Ruiz, May 2023, Heraklion, Greece

Accès au texte intégral et bibtex

titre

Effectful Programming across Heterogeneous Computations -Work in Progress

auteur

Jean Abou-Samra, Yannick Zakowski, Martin Bodin

article

JFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, Jan 2023, Praz-sur-Arly, France. pp.7-23

Accès au texte intégral et bibtex

titre

Active Inference of Extended Finite State Models of Software Systems

auteur

Roland Groz, Catherine Oriat, German Eduardo Vega Baez, Adenilso Simao, Michael Foster, Neil Walkinshaw

article

ICGI 2023, 2023, Rabat, Morocco. pp.265-269

Accès au bibtex

Conference papers

titre

Identifying Privacy Risks raised by Utility Queries

auteur

Hira Asghar, Christophe Bobineau, Marie-Christine Rousset

article

23rd International conference on Web Information Systems Engineering (WISE 2022), Oct 2022, Biarritz, France

Accès au texte intégral et bibtex

titre

Generation of a Reversible Semantics for Erlang in Maude

auteur

Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani

article

ICFEM 2022 - 23rd International Conference on Formal Engineering Methods, Oct 2022, Madrid, Spain. pp.106-122, ⟨10.1007/978-3-031-17244-1_7⟩

Accès au texte intégral et bibtex

titre

FORT: a minimal Foundational Ontological Relations Theory for Conceptual Modeling Tasks

auteur

Fatima Danash, Danielle Ziébelin

article

The 41st International Conference on Conceptual Modeling (ER'2022), Oct 2022, Hyderabad, India

Accès au texte intégral et bibtex

titre

PARTICUL: Part Identification with Confidence measure using Unsupervised Learning

auteur

Romain Xu-Darme, Georges Quénot, Zakaria Chihani, Marie-Christine Rousset

article

2-nd Workshop on Explainable and Ethical AI – ICPR 2022, Aug 2022, Montréal, Canada

Accès au texte intégral et bibtex

titre

On the Analysis of FORT; arguments, alignment to FOs, and CLIF validation

auteur

Fatima Danash, Danielle Ziébelin

article

The 6th Workshop on Foundational Ontology (FOUST), @The Joint Ontology Workshops (JOWO'2022), Aug 2022, Jönköping, Sweden

Accès au texte intégral et bibtex

titre

Reversibility in Erlang: Imperative Constructs

auteur

Pietro Lami, Ivan Lanese, Jean-Bernard Stefani, Claudio Sacerdoti Coen, Giovanni Fabbretti

article

RC 2022 - 14th International Conference on Reversible Computation, Jul 2022, Urbino, Italy. pp.187-203, ⟨10.1007/978-3-031-09005-9_13⟩

Accès au texte intégral et bibtex

titre

A Formal Link Between Response Time Analysis and Network Calculus

auteur

Pierre Roux, Sophie Quinton, Marc Boyer

article

ECRTS 2022 - 34th Euromicro Conference on Real-Time Systems, Jul 2022, Modène, Italy. ⟨10.4230/LIPIcs.ECRTS.2022.5⟩

Accès au texte intégral et bibtex

titre

IOPE: Interactive Ontology Population and Enrichment Guided by Ontological Constraints (revised version from WISE'21)

auteur

S Baghernezhad-Tabasi, L Druette, F Jouanot, C Meurger, M Rousset

article

Plate-Forme Intelligence Artificielle - Ingénierie des Connaissances, Jun 2022, Saint-Etienne, France

Accès au texte intégral et bibtex

titre

How realistic are claims about the benefits of using digital technologies for GHG emissions mitigation?

auteur

Aina Rasoldier, Jacques Combaz, Alain Girault, Kevin Marquet, Sophie Quinton

article

LIMITS 2022 - Eighth Workshop on Computing within Limits, Jun 2022, Virtual, France

Accès au texte intégral et bibtex

titre

Influence of Dataflow Graph Moldable Parameters on Optimization Criteria

auteur

Alexandre Honorat, Thomas Bourgoin, Hugo Miomandre, Karol Desnos, Daniel Menard, Jean-François Nezan

article

DASIP 2022 - Workshop on Design and Architectures for Signal and Image Processing, Jun 2022, Budapest, Hungary. pp.83-95, ⟨10.1007/978-3-031-12748-9_7⟩

Accès au texte intégral et bibtex

titre

Finding and explaining optimal screening strategies with limited tests during the COVID-19 epidemics

auteur

Carole Adam, Hélène Arduin

article

19th International Conference on Information Systems for Crisis Response and Management ISCRAM, May 2022, Tarbes, France

Accès au texte intégral et bibtex

titre

A serious game for debating about the use of Artificial Intelligence during the COVID-19 pandemic

auteur

Carole Adam, Cédric Lauradoux

article

19th International Conference on Information Systems for Crisis Response and Management (ISCRAM), May 2022, Tarbes, France

Accès au texte intégral et bibtex

titre

Provenance-aware Discovery of Functional Dependencies on Integrated Views

auteur

Ugo Comignani, Laure Berti-Équille, Noël Novelli, Angela Bonifati

article

ICDE 2022 - 38th IEEE International Conference on Data Engineering, May 2022, Kuala Lumpur, Malaysia. pp.1-15

Accès au texte intégral et bibtex

titre

S_Covid: An Engine to Explore COVID-19 Scientific Literature

auteur

Genoveva Vargas-Solar, Mehrdad Farokhnejad, Ratn Pranesh Raj, Davoud Amiri Mehr

article

24th International Conference on Extending Database Technology (EDBT), Mar 2022, Nicosia, Cyprus

Accès au texte intégral et bibtex

titre

Revisiting Ontology Evolution Patterns

auteur

Akram Idani, Rim Djedidi, German Eduardo Vega Baez

article

Advances in Model and Data Engineering in the Digitalization, 2022, Caire, Egypte, Egypt. pp.165-178, ⟨10.1007/978-3-031-23119-3_12⟩

Accès au bibtex

Conference papers

titre

Two Mechanisations of WebAssembly 1.0

auteur

Conrad Watt, Xiaojia Rao, Jean Pichon-Pharabod, Martin Bodin, Philippa Gardner

article

FM 2021 - Formal Methods, Nov 2021, Beijing, China. pp.1-19

Accès au bibtex

titre

Compression Boosts Differentially Private Federated Learning

auteur

Raouf Kerkouche, Gergely Ács, Claude Castelluccia, Pierre Genevès

article

EuroS&P 2021 - 6th IEEE European Symposium on Security and Privacy, Sep 2021, Vienna, Austria. pp.1-15, ⟨10.1109/EuroSP51992.2021.00029⟩

Accès au texte intégral et bibtex

titre

Looking for COVID-19 misinformation in multilingual social media texts

auteur

Raj Ratn-Pranesh, Mehrdad Farokhnejad, Ambesh Shekhar, Genoveva Vargas-Solar

article

25th European Conference on Advances in Databases and Information Systems, University of Tartu, Aug 2021, Tartu, Estonia. ⟨10.1007/978-3-030-85082-1_7⟩

Accès au texte intégral et bibtex

titre

Explaining Safety Violations in Real-Time Systems

auteur

Thomas Mari, Thao Dang, Gregor Gössler

article

FORMATS 2021 - Formal Modeling and Analysis of Timed Systems, Aug 2021, Paris, France. pp.100-116, ⟨10.1007/978-3-030-85037-1_7⟩

Accès au bibtex

titre

A generic approach for the certified schedulability analysis of software systems

auteur

Xiaojie Guo, Lionel Rieg, Paolo Torrini

article

RTCSA 2021 - 27th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Aug 2021, Houston (online), United States. pp.1-10, ⟨10.1109/RTCSA52859.2021.00018⟩

Accès au texte intégral et bibtex

titre

CMTA: COVID-19 Misinformation Multilingual Analysis on Twitter

auteur

Raj Pranesh, Mehrdad Farokhnejad, Ambesh Shekhar, Genoveva Vargas-Solar

article

59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing: Student Research Workshop, Aug 2021, Online, France. pp.270-283, ⟨10.18653/v1/2021.acl-srw.28⟩

Accès au texte intégral et bibtex

titre

Constrained Differentially Private Federated Learning for Low-bandwidth Devices

auteur

Raouf Kerkouche, Gergely Ács, Claude Castelluccia, Pierre Genevès

article

UAI 2021 - 37th Conference on Uncertainty in Artificial Intelligence, Jul 2021, Online, United States. pp.1-18

Accès au texte intégral et bibtex

titre

Causal-Consistent Debugging of Distributed Erlang Programs

auteur

Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani

article

RC 2021 - 13th Conference on Reversible Computation, Jul 2021, Nagoya, Japan. pp.79-95, ⟨10.1007/978-3-030-79837-6_5⟩

Accès au texte intégral et bibtex

titre

Agent-based modelling of habits in urban mobility

auteur

Alice Jacquier, Carole Adam

article

GAMA days, Jun 2021, Toulouse, France

Accès au bibtex

titre

Agent-based modelling of habits in urban mobility

auteur

Alice Jacquier, Carole Adam

article

1st conference GAMA Days 2021, Frédéric Amblard; Kevin Chapuis; Alexis Drogoul; Benoit Gaudou; Dominique Longin; Nicolas Verstaevel, Jun 2021, Toulouse (Online), France

Accès au bibtex

titre

An ABM to support collective reflection on the evolution of mobility

auteur

Franck Taillandier, Carole Adam, Frédéric Amblard, Jean-Philippe Antoni, C Baudrit, Curt Corinne, Pascal Di Maiolo, Julie Dugdale, Jean-François Erdelyi, Sidi Mohammed Elachachi, Christophe Fernandez, Benoit Gaudou, Alice Jacquier, Elsy Kaddoum, Marion Lamiral, Colin Lashermes, Patrick Taillandier, Thomas Thévenin, Nicolas Verstaevel

article

GAMA Days 2021, Frédéric Amblard; Kevin Chapuis; Alexis Drogoul; Benoit Gaudou; Dominique Longin; Nicolas Verstaevel, Jun 2021, Online, France

Accès au bibtex

titre

Simulating the transition of mobility toward smart and sustainable cities

auteur

Jean-François Erdelyi, Carole Adam, Benoit Gaudou, Franck Taillandier, Nicolas Verstaevel

article

6th International Workshop on Agent-Based Modelling of Urban Systems (ABMUS @ AAMAS 2021), May 2021, London (virtual), United Kingdom. pp.41-45

Accès au texte intégral et bibtex

titre

A General Framework for the Logical Representation of Combinatorial Exchange Protocols

auteur

Munyque Mittelmann, Sylvain Bouveret, Laurent Perrussel

article

20th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS 2021), Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS); ACM SIGAI Autonomous Agents Research Award, May 2021, London, United Kingdom. pp.1602-1604

Accès au bibtex

titre

Simulating Realistic Pedestrian Behaviors in the Context of Autonomous Vehicles in Shared Spaces

auteur

Manon Prédhumeau

article

20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2021), International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), May 2021, Online, France

Accès au texte intégral et bibtex

titre

Privacy-Preserving and Bandwidth-Efficient Federated Learning: An Application to In-Hospital Mortality Prediction

auteur

Raouf Kerkouche, Gergely Acs, Claude Castelluccia, Pierre Genevès

article

CHIL 2021 - ACM Conference on Health, Inference, and Learning, Apr 2021, virtual event, France. pp.1-11, ⟨10.1145/3450439.3451859⟩

Accès au texte intégral et bibtex

titre

Exchanging Data under Policy Views

auteur

Angela Bonifati, Ugo Comignani, Efthymia Tsamoura

article

EDBT 2021 - 24th International Conference on Extending Database Technology, Mar 2021, Nicosia, Cyprus. ⟨10.5441/002/edbt.2021.02⟩

Accès au bibtex

titre

A Federated Learning Aggregation Algorithm for Pervasive Computing: Evaluation and Comparison

auteur

Sannara Ek, François Portet, Philippe Lalanda, German Vega

article

19th IEEE International Conference on Pervasive Computing and Communications PerCom 2021, Mar 2021, Kassel (virtual), Germany

Accès au texte intégral et bibtex

titre

Explaining Automated Data Cleaning with CLeanEX

auteur

Laure Berti-Équille, Ugo Comignani

article

IJCAI-PRICAI 2020 Workshop on Explainable Artificial Intelligence (XAI), Jan 2021, Online, Japan

Accès au texte intégral et bibtex

titre

Evaluating Federated Learning for human activity recognition

auteur

Sannara Ek, François Portet, Philippe Lalanda, German Eduardo Vega Baez

article

Workshop AI for Internet of Things, in conjunction with IJCAI-PRICAI 2020, Jan 2021, Yokohama, Japan

Accès au texte intégral et bibtex

Conference papers

titre

Metropolitan Mobility and Daily Activities Diversities and Constraints: The Grenoble Urban Area Case

auteur

Kamila Tabaka, Sarah Duché, Aline Menin, Sonia Chardonnel

article

CIST2020 - Population, temps, territoires, Collège international des sciences territoriales (CIST), Nov 2020, Paris-Aubervilliers, France. pp.578-583

Accès au texte intégral et bibtex

titre

A Cost Estimation Technique for Recursive Relational Algebra

auteur

Muideen Lawal, Pierre Genevès, Nabil Layaïda

article

CIKM 2020 - 29th ACM International Conference on Information and Knowledge Management, Oct 2020, Virtual Event, France. pp.1-4, ⟨10.1145/3340531.3417460⟩

Accès au texte intégral et bibtex

titre

Discrete and Continuous Optimal Control for Energy Minimization in Real-Time Systems

auteur

Bruno Gaujal, Alain Girault, Stéphan Plassart

article

EBCCSP 2020 - 6th International Conference on Event-Based Control, Communication, and Signal Processing, Sep 2020, Krakow, Poland. pp.1-8, ⟨10.1109/EBCCSP51266.2020.9291353⟩

Accès au texte intégral et bibtex

titre

Immersion de divisions territoriales et description de leur évolution dans le Web sémantique

auteur

Camille Bernard, Marlène Villanova-Oliver, Jérôme Gensel, Philippe Genoud, Hy Dao

article

Journées francophones d’Ingénierie des Connaissance (IC 2020), Association française pour l'intelligence artificielle, Jun 2020, Angers, France

Accès au texte intégral et bibtex

titre

On the Optimization of Recursive Relational Queries: Application to Graph Queries

auteur

Louis Jachiet, Pierre Genevès, Nils Gesbert, Nabil Layaïda

article

SIGMOD 2020 - ACM International Conference on Management of Data, Jun 2020, Portland, United States. pp.1-23, ⟨10.1145/3318464.3380567⟩

Accès au texte intégral et bibtex

titre

Regular Path Query Evaluation on Streaming Graphs

auteur

Anil Pacaci, Angela Bonifati, Tamer M. Özsu

article

SIGMOD 2020 - ACM International Conference on Management of Data, Jun 2020, Portland, United States. pp.1415-1430, ⟨10.1145/3318464.3389733⟩

Accès au bibtex

titre

SHARQL: Shape Analysis of Recursive SPARQL Queries

auteur

Angela Bonifati, Wim Martens, Thomas Timm

article

SIGMOD/PODS 2020 - International Conference on Management of Data, Jun 2020, Portland OR, United States. pp.2701-2704, ⟨10.1145/3318464.3384684⟩

Accès au texte intégral et bibtex

titre

Fair in the Eyes of Others

auteur

Parham Shams, Aurélie Beynier, Sylvain Bouveret, Nicolas Maudet

article

24th European Conference on Artificial Intelligence, Jun 2020, Santiago de Compostela, Spain

Accès au texte intégral et bibtex

titre

A Parthood Approach for Modeling Tangible Objects’ Composition TOC - An Application on Cultural Heritage

auteur

Fatima Danash, Danielle Ziebelin, Emilie Chalmin-Aljanabi

article

The Semantic Web: ESWC 2020 Satellite Events. ESWC 2020, May 2020, Heraklion (Crete Island), Greece. pp.67-72, ⟨10.1007/978-3-030-62327-2_12⟩

Accès au bibtex

titre

Depth-adaptive Transformer

auteur

Maha Elbayad, Jiatao Gu, Edouard Grave, Michael Auli

article

ICLR 2020 - Eighth International Conference on Learning Representations, Apr 2020, Addis Ababa, Ethiopia. pp.1-14

Accès au texte intégral et bibtex

titre

RDF graph anonymization robust to data linkage

auteur

Rémy Delanaux, Angela Bonifati, Marie-Christine Rousset, Romuald Thion

article

WISE 2019 - 20th International Conference on Web Information Systems Engineering, Jan 2020, Hong Kong, China. pp.491-506, ⟨10.1007/978-3-030-34223-4_31⟩

Accès au texte intégral et bibtex

titre

Studying Navigation as a Form of Interaction: a Design Approach for Social Robot Navigation Methods

auteur

Philip Scales, Olivier Aycard, Véronique Auberge

article

International Conference on Robotics and Automation (ICRA 2020), 2020, Paris, France

Accès au texte intégral et bibtex

Conference papers

titre

SLU FOR VOICE COMMAND IN SMART HOME: COMPARISON OF PIPELINE AND END-TO-END APPROACHES

auteur

Thierry Desot, François Portet, Michel Vacher

article

IEEE Automatic Speech Recognition and Understanding Workshop, Dec 2019, Sentosa, Singapore, Singapore

Accès au texte intégral et bibtex

titre

Combinatorial Bandits for Sequential Learning in Colonel Blotto Games

auteur

Dong Quan Vu, Patrick Loiseau, Alonso Silva

article

CDC 2019 - 58th IEEE Conference on Decision and Control, Dec 2019, Nice, France

Accès au texte intégral et bibtex

titre

Control by social influence: durables vs. non-durables

auteur

Bary Pradelski

article

CDC 2019 - IEEE 58th Conference on Decision and Control, Dec 2019, Nice, France. pp.3478-3483, ⟨10.1109/CDC40024.2019.9030059⟩

Accès au texte intégral et bibtex

titre

Online Non-preemptive Scheduling to Minimize Maximum Weighted Flow-time on Related Machines

auteur

Giorgio Lucarelli, Benjamin Moseley, Kim Thang Nguyen, Abhinav Srivastav, Denis Trystram

article

39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2019), Dec 2019, Bombay, India

Accès au bibtex

titre

Which Tangible Control for Which Visual Task?

auteur

Céline Coutrix, Yann Laurillau

article

Actes de la 31e conférence francophone sur l'Interaction Homme-Machine (IHM 2019), Dec 2019, Grenoble, France. pp.3:1-8, ⟨10.1145/3366550.3372249⟩

Accès au texte intégral et bibtex

titre

Towards more tactile information on sliders

auteur

Sandra Parriaud, Valentine Reynaud, Jean-Baptiste Joatton, Sybille Caffiau, Céline Coutrix

article

Actes de la 31e conférence francophone sur l'Interaction Homme-Machine (IHM 2019), Dec 2019, Grenoble, France. pp.11:1-11, ⟨10.1145/3366550.3372257⟩

Accès au texte intégral et bibtex

titre

Reducing Error Aversion to Support Novice-to-Expert Transitions with FastTap

auteur

Alix Goguey, Sylvain Malacria, Andy Cockburn, Carl Gutwin

article

Actes de la 31e conférence francophone sur l'Interaction Homme-Machine (IHM 2019), Dec 2019, Grenoble, France. pp.1:1-10, ⟨10.1145/3366550.3372247⟩

Accès au texte intégral et bibtex

titre

Marcel PROUST A la recherche du temps perdu

auteur

Cyril Labbé, Dominique Labbé

article

Traiter et analyser des données en sciences humaines et sociales, Plateforme Universitaire de Données (TIR-PROGEDO) - Université Grenoble Alpes, Dec 2019, GRENOBLE, France

Accès au texte intégral et bibtex

titre

Experimental Characterization of LoRaWAN Link Quality

auteur

Takwa Attia, Martin Heusse, Bernard Tourancheau, Andrzej Duda

article

IEEE Global Communications Conference (GLOBECOM), Dec 2019, Waikoloa, United States

Accès au texte intégral et bibtex

titre

Optimal SF Allocation in LoRaWAN Considering Physical Capture and Imperfect Orthogonality

auteur

Christelle Caillouet, Martin Heusse, Franck Rousseau

article

GLOBECOM 2019 - IEEE Global Communications Conference, Dec 2019, Waikoloa, United States. ⟨10.1109/GLOBECOM38437.2019.9013602⟩

Accès au texte intégral et bibtex

titre

Auto-CNNp: a component-based framework for automating CNN parallelism

auteur

Soulaimane Guedria, Noel de Palma, Felix Renard, Nicolas Vuillerme

article

2019 IEEE International Conference on Big Data (Big Data), Dec 2019, Los Angeles, United States. pp.3330-3339, ⟨10.1109/BigData47090.2019.9006175⟩

Accès au texte intégral et bibtex

titre

A Bi-Objective Approach for Product Recommendations

auteur

Idir Benouaret, Sihem Amer-Yahia, Christiane Kamdem-Kengne, Jalil Chagraoui

article

2019 IEEE International Conference on Big Data (Big Data), Dec 2019, Los Angeles, France. pp.2159-2168, ⟨10.1109/BigData47090.2019.9006503⟩

Accès au texte intégral et bibtex

titre

Nonzero-sum Adversarial Hypothesis Testing Games

auteur

Sarath Yasodharan, Patrick Loiseau

article

NeurIPS 2019 - Thirty-third Conference on Neural Information Processing Systems, Dec 2019, Vancouver, Canada. pp.1-23

Accès au texte intégral et bibtex

titre

On the Convergence of Single-Call Stochastic Extra-Gradient Methods

auteur

Yu-Guan Hsieh, Franck Iutzeler, Jérôme Malick, Panayotis Mertikopoulos

article

Advances in Neural Information Processing Systems, Dec 2019, Vancouver, Canada

Accès au texte intégral et bibtex

titre

Automating CNN Parallelism with Components

auteur

Soulaimane Guedria, Noel de Palma, Felix Renard, Nicolas Vuillerme

article

2019 International Conference on Computational Science and Computational Intelligence (CSCI), Dec 2019, Las Vegas, France. pp.943-948, ⟨10.1109/CSCI49370.2019.00179⟩

Accès au bibtex

titre

Asynchronous Testing of Synchronous Components in GALS Systems

auteur

Lina Marsso, Radu Mateescu, Ioannis Parissis, Wendelin Serwe

article

IFM'2019 - 15th International Conference on Integrated Formal Methods, Dec 2019, Bergen, Norway. pp.360-378, ⟨10.1007/978-3-030-34968-4_20⟩

Accès au texte intégral et bibtex

titre

How Does Language Influence Documentation Workflow? Unsupervised Word Discovery Using Translations in Multiple Languages

auteur

Marcely Zanon Boito, Aline Villavicencio, Laurent Besacier

article

Journées Scientifiques du Groupement de Recherche: Linguistique Informatique, Formelle et de Terrain (LIFT)., Nov 2019, Orléans, France

Accès au texte intégral et bibtex

titre

Spatial Issues in Modeling LoRaWAN Capacity

auteur

Andrzej Duda, Martin Heusse

article

Proceedings of the 22Nd International ACM Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems, Nov 2019, Miami Beach, United States. pp.191--198, ⟨10.1145/3345768.3355932⟩

Accès au texte intégral et bibtex

titre

ACCOLÉ: A Collaborative Platform of Error Annotation for Aligned Corpora

auteur

Emmanuelle Esperança-Rodier, Francis Brunet-Manquat, Sophia Eady

article

Translating and the computer 41, Nov 2019, Londres, United Kingdom

Accès au texte intégral et bibtex

titre

Time is Everything: A Comparative Study of Human Evaluation of SMT vs. NMT

auteur

Emmanuelle Esperança-Rodier, Caroline Rossi

article

Translating and the computer 41, Nov 2019, Londres, United Kingdom

Accès au texte intégral et bibtex

titre

An Open-Source Hardware-In-The-Loop Virtualization System for Cybersecurity Studies of SCADA Systems

auteur

Stéphane Mocanu, Maxime Puys, Pierre-Henri Thevenon

article

C&esar 2019 - Virtualization and Cybersecurity, Nov 2019, Rennes, France. pp.1-16

Accès au texte intégral et bibtex

titre

On the Performance and Isolation of Asymmetric Microkernel Design for Lightweight Manycores

auteur

Pedro Henrique Penna, João Souto, Davidson Francis Lima, Márcio Castro, François Broquedis, Henrique H Freitas, Jean-François Mehaut

article

SBESC 2019 - IX Brazilian Symposium on Computing Systems Engineering, Nov 2019, Natal, Brazil. pp.1-31

Accès au texte intégral et bibtex

titre

Formal Validation of Probabilistic Collision Risk Estimation for Autonomous Driving

auteur

Philippe Ledent, Anshul Paigwar, Alessandro Renzaglia, Radu Mateescu, Christian Laugier

article

CIS-RAM 2019 - 9th IEEE International Conference on Cybernetics and Intelligent Systems (CIS) Robotics, Automation and Mechatronics (RAM), Nov 2019, Bangkok, Thailand. pp.1-6

Accès au texte intégral et bibtex

titre

Analytical Cache Modeling and Tilesize Optimization for Tensor Contractions

auteur

Rui Li, Aravind Sukumaran-Rajam, Richard Veras, Tze Meng Low, Fabrice Rastello, Atanas Rountev, Ponnuswamy Sadayappan

article

SC 2019 - International Conference for High Performance Computing, Networking, Storage and Analysis, Nov 2019, Denver, United States. pp.1-13, ⟨10.1145/3295500.3356218⟩

Accès au texte intégral et bibtex

titre

Detecting Fault Injection Attacks with Runtime Verification

auteur

Ali Kassem, Yliès Falcone

article

SPRO 2019 - 3rd International Workshop on Software PROtection, Nov 2019, Londres, United Kingdom. pp.65-76, ⟨10.1145/3338503.3357724⟩

Accès au texte intégral et bibtex

titre

Toward a Framework for Seasonal Time Series Forecasting Using Clustering

auteur

Colin Leverger, Simon Malinowski, Thomas Guyet, Vincent Lemaire, Alexis Bondu, Alexandre Termier

article

IDEAL 2019, Nov 2019, Manchester, United Kingdom. pp.328-340, ⟨10.1007/978-3-030-33607-3_36⟩

Accès au texte intégral et bibtex

titre

Technology Selection For IoT-Based Smart Transportation Systems

auteur

Wael Ayoub, Abed Ellatif Samhat, Mohamad Mroue, Hussein Joumaa, Fabienne Nouvel, Jean-Christophe Prévotet

article

International Workshop on Vehicular Adhoc Networks for Smart Cities (IWVSC'2019), Nov 2019, Paris, France

Accès au bibtex

titre

GrAPHiST: a visualization environment for exploratory spatio-temporal data analysis

auteur

Jacques Gautier, Paule-Annick Davoine, Claire Cunty

article

SAGEO 2019, Nov 2019, Clermont-Ferrand, France

Accès au texte intégral et bibtex

titre

MK-MOBIBACK : un dispositif hybride et intégré pour enquêter finement les mobilités quotidiennes des familles

auteur

Sandrine Depeau, Olivier Bedel, Pierre Cherel, Isabelle I. André-Poyaud, Yoan Catheline, Sonia Chardonnel, Gombaud Jérôme, Francis Jambon, Arnaud Lepetit, Boris Mericskay, Erwan Quesseveur, François Leprince

article

Spatial analysis and geomatics, SAGEO, Nov 2019, Clermont-Ferrand, France

Accès au bibtex

titre

Application à la recherche de victime en haute-montagne

auteur

Matthieu Viry, Marlène Villanova-Oliver

article

Sageo, Nov 2019, Clermont-Ferrand, France

Accès au bibtex

titre

A Linear Time Algorithm for Computing Off-line Speed Schedules Minimizing Energy Consumption

auteur

Bruno Gaujal, Alain Girault, Stéphan Plassart

article

MSR 2019 - 12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France. pp.1-14

Accès au texte intégral et bibtex

titre

eSTIMe : une approche visuelle, interactive et modulable pour l'analyse multi-points de vue des mobilités quotidiennes

auteur

Aline Menin, Sonia Chardonnel, Paule-Annick Davoine, Michael Ortega, Etienne Duble, Luciana Nedel

article

15th Spatial Analysis and Geomatics (SAGEO), Nov 2019, Clermont-Ferrand, France

Accès au texte intégral et bibtex

titre

Agent-Based Modelling of Demand-Side Flexibility Adoption in Reservoir Pumping

auteur

Magnus Verbak, Zheng Ma, Kristoffer Christensen, Yves Demazeau, Bo Nørregaard Jørgensen

article

2019 IEEE Sciences and Humanities International Research Conference (SHIRCON), Nov 2019, Lima, Peru. pp.33-36, ⟨10.1109/SHIRCON48091.2019.9024889⟩

Accès au texte intégral et bibtex

titre

Agent-based Decision Making for Adoption of Smart Energy Solutions

auteur

Kristoffer Christensen, Zheng Ma, Magnus Verbak, Yves Demazeau, Bo Nørregaard Jørgensen

article

2019 IEEE Sciences and Humanities International Research Conference (SHIRCON), Nov 2019, Lima, Peru. pp.05-08, ⟨10.1109/SHIRCON48091.2019.9024880⟩

Accès au texte intégral et bibtex

titre

Classification d'aires de dispersion à l'aide d'un facteur géographique : application à la dialectologie

auteur

Clément Chagnaud, Philippe Garat, Paule-Annick Davoine, Guylaine Brun-Trigaud

article

Spatial Analysis and GEOmatics - SAGEO, Nov 2019, Clermont-Ferrand, France

Accès au texte intégral et bibtex

titre

Temporal mixt diagrams and harmonic analysis for the identification of cyclic recurrences.

auteur

Jacques Gautier, Paule-Annick Davoine, Claire Cunty

article

SAGEO 2019, Nov 2019, Clermont-Ferrand, France

Accès au texte intégral et bibtex

titre

TRECVID 2019: An evaluation campaign to benchmark Video Activity Detection, Video Captioning and Matching, and Video Search & retrieval

auteur

George Awad, Asad A Butt, Keith Curtis, Yooyoung Lee, Jonathan Fiscus, Afzal Godil, Andrew Delgado, Jesse Zhang, Eliot Godard, Lukas Diduch, Alan F Smeaton, Yvette Graham, Wessel Kraaij, Georges Quénot

article

TREC Video Retrieval Evaluation: TRECVID, Nov 2019, Gaithersburg, United States

Accès au texte intégral et bibtex

titre

Towards Causal Explanations of Property Violations in Discrete Event Systems

auteur

Gregor Gössler, Thomas Mari, Yannick Pencolé, Louise Travé-Massuyès

article

30th International Workshop on Principles of Diagnosis (DX'19), Nov 2019, Klagenfurt, Austria. pp.1-8

Accès au texte intégral et bibtex

titre

Unsupervised Aspect-Based Multi-Document Abstractive Summarization

auteur

Maximin Coavoux, Hady Elsahar, Matthias Gallé

article

2nd Workshop on New Frontiers in Summarization, Nov 2019, Hong-Kong, China. pp.42--47, ⟨10.18653/v1/D19-5405⟩

Accès au texte intégral et bibtex

titre

ON-TRAC Consortium End-to-End Speech Translation Systems for the IWSLT 2019 Shared Task

auteur

Manh Ha Nguyen, Natalia Tomashenko, Marcely Zanon Boito, Antoine Caubrière, Fethi Bougares, Mickael Rouvier, Laurent Besacier, Yannick Estève

article

16th International Workshop on Spoken Language Translation 2019, Nov 2019, Hong Kong, China

Accès au texte intégral et bibtex

titre

Controlling Utterance Length in NMT-based Word Segmentation with Attention

auteur

Pierre Godard, Laurent Besacier, François Yvon

article

International Workshop on Spoken Language Translation, Nov 2019, Hong-Kong, China

Accès au texte intégral et bibtex

titre

Applying Process Mining to Support Management of Predictive Analytics/Data Mining Projects in a Decision Making Center

auteur

Genoveva Vargas-Solar, Marlene Ofelia Sanchez Escobar, Rafael Lozano Espinosa, Jose Martin Molina Espinosa, Juana Julieta Noguez Monroy, Genoveva Vargas Solar

article

2019 6th International Conference on Systems and Informatics (ICSAI), Nov 2019, Shanghai, China. pp.1527-1533, ⟨10.1109/ICSAI48974.2019.9010135⟩

Accès au bibtex

titre

Fine-Grained Control of Sentence Segmentation and Entity Positioning in Neural NLG

auteur

Kritika Mehta, Raheel Qader, Cyril Labbé, François Portet

article

1st Workshop on Discourse Structure in Neural NLG, Nov 2019, Tokyo, Japan

Accès au texte intégral et bibtex

titre

Word Recognition, Competition, and Activation in a Model of Visually Grounded Speech

auteur

William N Havard, Jean-Pierre Chevrot, Laurent Besacier

article

Proceedings of the 23rd Conference on Computational Natural Language Learning (CoNLL), Nov 2019, Hong Kong, China. pp.339-348, ⟨10.18653/v1/K19-1032⟩

Accès au texte intégral et bibtex

titre

Spotlight on Off-Screen Points of Interest in Handheld Augmented Reality: Halo-based techniques

auteur

Patrick Perea, Denis Morand, Laurence Nigay

article

2019 ACM International Conference on Interactive Surfaces and Spaces (ISS '19), Nov 2019, Daejeon, South Korea. pp.43-54, ⟨10.1145/3343055.3359719⟩

Accès au texte intégral et bibtex

titre

Tabletop AR with HMD and Tablet: A Comparative Study for 3D Selection

auteur

Carole Plasson, Dominique Cunin, Yann Laurillau, Laurence Nigay

article

2019 ACM International Conference on Interactive Surfaces and Spaces (ISS '19), Nov 2019, Daejeon, South Korea. pp.409-414, ⟨10.1145/3343055.3360760⟩

Accès au texte intégral et bibtex

titre

Semi-Supervised Neural Text Generation by Joint Learning of Natural Language Generation and Natural Language Understanding Models

auteur

Raheel Qader, François Portet, Cyril Labbé

article

12th International Conference on Natural Language Generation (INLG 2019), Oct 2019, Tokyo, Japan. pp.552--562

Accès au bibtex

titre

Analysis of Resource Allocation of BPMN Processes

auteur

Francisco Durán, Camilo Rocha, Gwen Salaün

article

ICSOC 2019 - 17th International Conference on Service-Oriented Computing, Oct 2019, Toulouse, France. pp.452-457, ⟨10.1007/978-3-030-33702-5_35⟩

Accès au texte intégral et bibtex

titre

eSTIMe: Towards an All-in-One Geovisualization Environment for Daily Mobility Analysis

auteur

Aline Menin, Sonia Chardonnel, Paule-Annick Davoine, Luciana Nedel

article

SIBGRAPI Conference on Graphics, Patterns and Images, Oct 2019, Rio de Janeiro, Brazil

Accès au texte intégral et bibtex

titre

Trusted Data Integration in Service Environments: A Systematic Mapping

auteur

Senda Romdhani, Nadia Bennani, Chirine Ghedira-Guegan, Genoveva Vargas-Solar

article

Proceedings of ICSOC 2019, Oct 2019, Toulouse, France. pp.237-242, ⟨10.1007/978-3-030-33702-5_18⟩

Accès au texte intégral et bibtex

titre

Fork/Wait and Multicore Frequency Scaling: a Generational Clash

auteur

Damien Carver, Redha Gouicem, Jean-Pierre Lozi, Julien Sopena, Baptiste Lepers, Willy Zwaenepoel, Nicolas Palix, Julia L. Lawall, Gilles Muller

article

10th Workshop on Programming Languages and Operating Systems, Oct 2019, Huntsville, Canada. pp.53-59, ⟨10.1145/3365137.3365400⟩

Accès au texte intégral et bibtex

titre

Closer: A New Design Principle for the Privileged Virtual Machine OS

auteur

Djob Mvondo, Boris Teabe, Alain Tchana, Daniel Hagimont, Noel de Palma

article

IEEE 27th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2019), Oct 2019, Rennes, France. pp.49-60, ⟨10.1109/MASCOTS.2019.00016⟩

Accès au texte intégral et bibtex

titre

Toward a Self-Deployment of LoRa Networks: Link and Topology Adaptation

auteur

Moises Nunez Ochoa, Arturo Guizar, Mickael Maman, Andrzej Duda

article

2019 International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob), Oct 2019, Barcelona, Spain. pp.1-7, ⟨10.1109/WiMOB.2019.8923427⟩

Accès au bibtex

titre

Formal Verification of Orchestration Templates for Reliable Deployment with OpenStack Heat

auteur

Adja Ndeye Sylla, Karine Guillouard, Frédéric Klamm, Meryem Ouzzif, Philippe Merle, Souha Ben Rayana, Jean-Bernard Stefani

article

CNSM 2019 - 15th International Conference on Network and Service Management, Oct 2019, Halifax, Canada. pp.1-5, ⟨10.23919/CNSM46954.2019.9012739⟩

Accès au texte intégral et bibtex

titre

Gender Representation in French Broadcast Corpora and Its Impact on ASR Performance

auteur

Mahault Garnerin, Solange Rossato, Laurent Besacier

article

the 1st International Workshop, Oct 2019, Nice, France. pp.3-9, ⟨10.1145/3347449.3357480⟩

Accès au bibtex

titre

Identification and Characterization of Memory Allocation Anomalies in High-Performance Computing Applications

auteur

Antônio Tadeu Azevedo Gomes, Enzo Molion, Roberto Pinto Souto, Jean-François Méhaut

article

Simpósio de Sistemas Computacionais de Alto Desempenho (WSCAD), Oct 2019, Campo Grande, Brazil

Accès au texte intégral et bibtex

titre

Managing Power Demand and Load Imbalance to Save Energy on Systems with Heterogeneous CPUs

auteur

Edson Luiz Padoin, Matthias Diener, Philippe Olivier Alexandre Navaux, Jean-François Méhaut

article

31st International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD), Oct 2019, Campo Grande, Mata Grosso do Soul (MS), Brazil. ⟨10.1109/SBAC-PAD.2019.00024⟩

Accès au bibtex

titre

Automated Composition, Analysis and Deployment of IoT Applications

auteur

Francisco Durán, Gwen Salaün, Ajay Krishna

article

TOOLS 2019 - 51st International Conference on Software Technology: Methods and Tools, Oct 2019, Innopolis, Russia. pp.252-268, ⟨10.1007/978-3-030-29852-4_21⟩

Accès au texte intégral et bibtex

titre

Exploring and Curating Data Collections with CURARE: demonstration

auteur

Genoveva Vargas-Solar, Gavin Kemp, Irving Hernández-Gallegos, Javier A Espinosa-Oviedo, Catarina Ferreira da Silva, Parisa Ghodous

article

Proceeding of the 35ème Conférence sur la Gestion de Données – Principes, Technologies et Applications, Oct 2019, Lyon, France

Accès au texte intégral et bibtex

titre

WiBend: Wi-Fi for Sensing Passive Deformable Surfaces

auteur

Mira Sarkis, Céline Coutrix, Laurence Nigay, Andrzej Duda

article

ICMI '19 2019 International Conference on Multimodal Interaction, Oct 2019, Suzhou, China. ⟨10.1145/3340555.3353746⟩

Accès au texte intégral et bibtex

titre

Towards Spoken Medical Prescription Understanding

auteur

Ali Can Kocabiyikoglu, François Portet, Hervé Blanchon, Jean-Marc Babouchkine

article

10th Conference on Speech Technology and Human-Computer Dialogue, Oct 2019, Timişoara, Romania

Accès au texte intégral et bibtex

titre

Towards End-to-End spoken intent recognition in smart home

auteur

Thierry Desot, François Portet, Michel Vacher

article

SpeD 2019 – The 10th Conference on Speech Technology and Human Computer Dialogue, Oct 2019, Timisoara, Romania. pp.1-8

Accès au texte intégral et bibtex

titre

Compositional Verification of Concurrent Systems by Combining Bisimulations

auteur

Frédéric Lang, Radu Mateescu, Franco Mazzanti

article

FM 2019 - 23rd International Conference on Formal Methods, Oct 2019, Porto, Portugal. pp.196-213, ⟨10.1007/978-3-030-30942-8_13⟩

Accès au texte intégral et bibtex

titre

Challenges for scheduling at the Edge

auteur

Denis Trystram, Giorgio Lucarelli, Clement Mommessin, Yanik Ngoko

article

MCST 2019 - Workshop on Mathematical Challenges in Scheduling Theory, Oct 2019, Sanya, China. pp.1-33

Accès au texte intégral et bibtex

titre

Prise en compte de l'élève au sein de la Théorie Anthropologique du Didactique

auteur

Marie-Caroline Croset, Marie-Line Gardes, Elann Lesnes-Cuisiniez, Brigitte Grugeon-Allys

article

20e école d’été de didactique des mathématiques,, Oct 2019, Autrans, France

Accès au bibtex

titre

Calibrating NTP

auteur

Faten Mkacher, Andrzej Duda

article

2019 International IEEE Symposium on Precision Clock Synchronization for Measurement, Control, and Communication (ISPCS), Sep 2019, Portland, United States

Accès au texte intégral et bibtex

titre

Fast and Faithful Performance Prediction of MPI Applications: the HPL Case Study

auteur

Tom Cornebize, Arnaud Legrand, Franz C Heinrich

article

2019 IEEE International Conference on Cluster Computing (CLUSTER), Sep 2019, Albuquerque, United States. ⟨10.1109/CLUSTER.2019.8891011⟩

Accès au texte intégral et bibtex

titre

OntoSamsei: Interactive ontology modeling for supporting simulation-based training in Medicine

auteur

Shadi Baghernezhad-Tabasi, Marie-Christine Rousset, Fabrice Jouanot, Loïc Druette, Céline Meurger

article

11th International Conference on Knowledge Engineering and Ontology Development, Doctoral Consortium, Sep 2019, Vienne, Austria

Accès au bibtex

titre

APACHES: Human-Centered and Project-Based Methods in Higher Education

auteur

Mathieu Vermeulen, Abir B Karami, Anthony Fleury, François Bouchet, Nadine Mandran, Jannik Laval, Jean-Marc Labat

article

14th European Conference on Technology Enhanced Learning EC-TEL 2019, Sep 2019, Delft, Netherlands. pp.683-687, ⟨10.1007/978-3-030-29736-7_66⟩

Accès au texte intégral et bibtex

titre

Quantifying the Similarity of Non-bisimilar Labelled Transition Systems

auteur

Gwen Salaün

article

FOCLASA 2019 - 17th International Workshop on Coordination and Self-adaptativeness of Software Applications, Sep 2019, Oslo, Norway. pp.1-14

Accès au texte intégral et bibtex

titre

Empirical Evaluation of Sequence-to-Sequence Models for Word Discovery in Low-resource Settings

auteur

Marcely Zanon Boito, Aline Villavicencio, Laurent Besacier

article

Interspeech 2019, Sep 2019, Graz, Austria

Accès au texte intégral et bibtex

titre

The Zero Resource Speech Challenge 2019: TTS without T

auteur

Ewan Dunbar, Robin Algayres, Julien Karadayi, Mathieu Bernard, Juan Benjumea, Xuan-Nga Cao, Lucie Miskic, Charlotte Dugrain, Lucas Ondel, Alan W Black, Laurent Besacier, Sakriani Sakti, Emmanuel Dupoux

article

Interspeech 2019 - 20th Annual Conference of the International Speech Communication Association, Sep 2019, Graz, Austria

Accès au texte intégral et bibtex

titre

UTOPIC: Under-Approximation Through Optimal Control

auteur

Josu Doncel, Nicolas Gast, Mirco Tribastone, Max Tschaikowski, Andrea Vandin

article

QEST 2019 - 16th International Conference on Quantitative Evaluation of SysTems, Sep 2019, Glasgow, United Kingdom. pp.277-291, ⟨10.1007/978-3-030-30281-8_16⟩

Accès au texte intégral et bibtex

titre

SplitSlider: A Tangible Interface to Input Uncertainty

auteur

Miriam Greis, Hyunyoung Kim, Andreas Korge, Albrecht Schmidt, Céline Coutrix

article

17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.493-510, ⟨10.1007/978-3-030-29390-1⟩

Accès au texte intégral et bibtex

titre

Investigating Mobile Banking in Mali: HCI Experience of ‘Man in the Street’

auteur

Fatoumata G. Camara, Daouda Traoré, Gaëlle Calvary, Amal Kali

article

17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.34-42, ⟨10.1007/978-3-030-29387-1_3⟩

Accès au texte intégral et bibtex

titre

A Multi-Rate Precision Timed Programming Language for Multi-Cores

auteur

Alain Girault, Nicolas Hili, Éric Jenn, Eugene Yip

article

FDL 2019 - Forum for Specification and Design Languages, Sep 2019, Southampton, United Kingdom. pp.1-8, ⟨10.1109/FDL.2019.8876950⟩

Accès au texte intégral et bibtex

titre

How do teachers guide students in the writing of an experimental protocol using a protocol editor

auteur

Claire Wajeman, Isabelle Girault, Cédric d'Ham

article

ESERA 2019 (European Science Education Research Association), Aug 2019, Bologna, Italy

Accès au bibtex

titre

USE OF A COMPUTER TOOL IN SCIENCE TEACHING TO SUPPORT THE DESIGN OF EXPERIMENTS

auteur

Claire Wajeman, Isabelle Girault, Cédric d'Ham, Maelle Planche

article

13th European Science Education Research Association Conference (ESERA19), Aug 2019, Bologna, Italy

Accès au texte intégral et bibtex

titre

SZX-calculus: Scalable Graphical Quantum Reasoning

auteur

Titouan Carette, Dominic Horsman, Simon Perdrix

article

MFCS 2019 - 44th International Symposium on Mathematical Foundations of Computer Science, Aug 2019, Aachen, Germany. pp.55:1--55:15, ⟨10.4230/LIPIcs.MFCS.2019.55⟩

Accès au bibtex

titre

Purely Quantum Polar Codes

auteur

Frederic Dupuis, Ashutosh Goswami, Mehdi Mhalla, Valentin Savin

article

2019 IEEE Information Theory Workshop (ITW), Aug 2019, Gotland, Sweden

Accès au bibtex

titre

Rebooting Virtualization Research (Again)

auteur

Alain Tchana, Renaud Lachaize

article

10th ACM SIGOPS Asia-Pacific Workshop on Systems (APSys '19), Aug 2019, Hangzhou, China. pp.99-106, ⟨10.1145/3343737.3343746⟩

Accès au texte intégral et bibtex

titre

Worst-Case Reaction Time Optimization on Deterministic Multi-Core Architectures with Synchronous Languages

auteur

Nicolas Hili, Alain Girault, Eric Jenn

article

25th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'19), Aug 2019, Hangzhou, China. pp.10, ⟨10.1109/RTCSA.2019.8864570⟩

Accès au texte intégral et bibtex

titre

Impact of a digital device on mathematics achievement in primary school: a randomized trial

auteur

Manon Laurent, Pascal Bressoux, Pierre Tchounikine

article

Biennial EARLI, Conference for Research on Learning and Instruction, Aug 2019, Aachen, Germany

Accès au bibtex

titre

The Price of Local Fairness in Multistage Selection

auteur

Vitalii Emelianov, George Arvanitakis, Nicolas Gast, Krishna P Gummadi, Patrick Loiseau

article

IJCAI-2019 - Twenty-Eighth International Joint Conference on Artificial Intelligence, Aug 2019, Macao, France. pp.5836-5842, ⟨10.24963/ijcai.2019/809⟩

Accès au texte intégral et bibtex

titre

Automatic Localization of Passive Infra-Red Binary Sensors in Home: from Dense to Scattered Network

auteur

Nathavuth Kitbutrawat, François Portet, Hirozumi Yamaguchi, Teruo Higashino

article

2019 IEEE Conf on Pervasive Intelligence and Computing, Aug 2019, Fukuoka, Japan. pp.848--853, ⟨10.1109/DASC/PiCom/CBDCom/CyberSciTech.2019.00154⟩

Accès au texte intégral et bibtex

titre

Data and Thread Placement in NUMA Architectures: A Statistical Learning Approach

auteur

Nicolas Denoyelle, Brice Goglin, Emmanuel Jeannot, Thomas Ropars

article

ICPP 2019 - 48th International Conference on Parallel Processing, Aug 2019, Kyoto, Japan. pp.1-10, ⟨10.1145/3337821.3337893⟩

Accès au texte intégral et bibtex

titre

Context-Aware Voice-based Interaction in Smart Home -VocADom@A4H Corpus Collection and Empirical Assessment of its Usefulness

auteur

François Portet, Sybille Caffiau, Fabien Ringeval, Michel Vacher, Nicolas Bonnefond, Solange Rossato, Benjamin Lecouteux, Thierry Desot

article

PICom 2019 - 17th IEEE International Conference on Pervasive Intelligence and Computing, Aug 2019, Fukuoka, Japan. pp.811--818, ⟨10.1109/DASC/PiCom/CBDCom/CyberSciTech.2019.00149⟩

Accès au texte intégral et bibtex

titre

LESSONS LEARNED AFTER DEVELOPMENT AND USE OF A DATA COLLECTION APP FOR LANGUAGE DOCUMENTATION (LIG-AIKUMA)

auteur

Laurent Besacier, Elodie Gauthier, Sylvie Voisin

article

International Congress of Phonetic Sciences ICPhS 2019, Aug 2019, Melbourne, Australia

Accès au texte intégral et bibtex

titre

A generic control framework for mobile robots edge following

auteur

Mathieu Deremetz, Adrian Couvent, Roland Lenain, Benoît Thuilot, Christophe Cariou

article

16th International Conference on Informatics in Control, Automation and Robotics, Jul 2019, Montreal, Canada. pp.104-113, ⟨10.5220/0007915501040113⟩

Accès au bibtex

titre

ArbEngVec : Arabic-English Cross-Lingual Word Embedding Model

auteur

Raki Lachraf, El Moatez Billah Nagoudi, Youcef Ayachi, Ahmed Abdelali, Didier Schwab

article

The Fourth Arabic Natural Language Processing Workshop, Jul 2019, Florence, Italy

Accès au texte intégral et bibtex

titre

Forgetting the Forgotten with Lethe: Conceal Content Deletion from Persistent Observers

auteur

Mohsen Minaei, Mainack Mondal, Patrick Loiseau, Krishna P Gummadi, Aniket Kate

article

PETS 2019 - 19th Privacy Enhancing Technologies Symposium, Jul 2019, Stockholm, Sweden. pp.1-21

Accès au texte intégral et bibtex

titre

Improving the search for victims in mountain environments with geovisualization and competing hypotheses management

auteur

Matthieu Viry, Marlène Villanova-Oliver, Jacques Gautier, Matthew Sreeves, Paule-Annick Davoine

article

International Cartographic Association Conference, Jul 2019, Tokyo, Japan. pp.1-8, ⟨10.5194/ica-proc-2-138-2019⟩

Accès au bibtex

titre

An approach for identifying and analysing reference features and spatial relations used in mountain emergency calls

auteur

Mattia Bunel, Cécile Duchêne, Ana-Maria Olteanu-Raimond, Marlène Villanova-Oliver, Grégoire Bonhoure, Tiphaine Jouan

article

International Cartographic Conference, Jul 2019, Tokyo, Japan. pp.1-8, ⟨10.5194/ica-proc-2-12-2019⟩

Accès au texte intégral et bibtex

titre

On server-side file access pattern matching

auteur

Francieli Zanon Boito, Ramon Nou, Laércio Lima Pilla, Jean Luca Bez, Jean-François Méhaut, Toni Cortes, Philippe Navaux

article

HPCS 2019 - 17th International Conference on High Performance Computing & Simulation, Jul 2019, Dublin, Ireland. pp.1-8, ⟨10.1109/HPCS48598.2019.9188092⟩

Accès au texte intégral et bibtex

titre

TrustFlow: A Trusted Memory Support for Data Flow Integrity

auteur

Cyril Bresch, David Hely, Stéphanie Chollet, Ioannis Parissis

article

2019 IEEE Computer Society Annual Symposium on VLSI (ISVLSI), Jul 2019, Miami, France. pp.308-313, ⟨10.1109/ISVLSI.2019.00063⟩

Accès au bibtex

titre

Integrating Formal Schedulability Analysis into a Verified OS Kernel

auteur

Xiaojie Guo, Maxime Lesourd, Mengqi Liu, Lionel Rieg, Zhong Shao

article

Computer Aided Verification, Jul 2019, New York, United States. pp.496-514, ⟨10.1007/978-3-030-25543-5_28⟩

Accès au bibtex

titre

Tree-REX: SAT-Based Tree Exploration for Efficient and High-Quality HTN Planning

auteur

Dominik Schreiber, Damien Pellier, Humbert Fiorino, Tomáš Balyo

article

International Conference on Automated Planning and Scheduling, Jul 2019, Berkeley, United States. pp.382-390

Accès au texte intégral et bibtex

titre

Piecewise Aggregation for HMM fitting. A pre-fitting model for seamless integration with time series data

auteur

Joaquim Assunção, Jean-Marc Vincent, Paulo Fernandes

article

SEKE 2019 - 31st International Conference on Software Engineering and Knowledge Engineering, Jul 2019, Lisbon, Portugal. pp.729-734, ⟨10.18293/SEKE2019-185⟩

Accès au texte intégral et bibtex

titre

Compressing and Querying Skypattern Cubes

auteur

Willy Ugarte, Samir Loudni, Patrice Boizumault, Bruno Crémilleux, Alexandre Termier

article

IEA/AIE-2019 - 32nd International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems, Jul 2019, Graz, Austria. pp.406-421, ⟨10.1007/978-3-030-22999-3_36⟩

Accès au texte intégral et bibtex

titre

A Supervised Method for Extractive Single Document Summarization based on Sentence Embeddings and Neural Networks

auteur

Salima Lamsiyah, Abdelkader El Mahdaouy, Said El Alaoui Ouatik, Bernard Espinasse

article

AI2SD'2019 - International Conference on Advanced Intelligent Systems, Jul 2019, Marrakech, Morocco

Accès au texte intégral et bibtex

titre

Service Placement in Fog Computing Using Constraint Programming

auteur

Farah Ait Salaht, Frédéric Desprez, Adrien Lebre, Charles Prud'Homme, Mohamed Abderrahim

article

SCC 2019 : IEEE International Conference on Services Computing, Jul 2019, Milan, Italy. pp.19-27, ⟨10.1109/SCC.2019.00017⟩

Accès au texte intégral et bibtex

titre

Gradient-free Online Resource Allocation Algorithms for Dynamic Wireless Networks

auteur

Alexandre Marcastel, Elena-Veronica Belmega, Panayotis Mertikopoulos, Inbar Fijalkow

article

SPAWC 2019 - 20th IEEE International Workshop on Signal Processing Advances in Wireless Communications, Jul 2019, Cannes, France. pp.1-4, ⟨10.1109/SPAWC.2019.8815409⟩

Accès au texte intégral et bibtex

titre

Hybrid Neural Networks for Sequence Modelling : The Best of Three Worlds

auteur

Marco Dinarelli, Loïc Grobol

article

TALN-RECITAL 2019 - 26ème Conférence sur le Traitement Automatique des Langues Naturelles, ATALA, Jul 2019, Toulouse, France

Accès au texte intégral et bibtex

titre

Sense Vocabulary Compression through Semantic Knowledge for Word Sense Disambiguation

auteur

Loïc Vial, Benjamin Lecouteux, Didier Schwab

article

TALN 2019 (Conférence sur le Traitement Automatique des Langues Naturelles), Jul 2019, Toulouse, France

Accès au texte intégral et bibtex

titre

Minimizing and balancing envy among agents using Ordered Weighted Average

auteur

Parham Shams, Aurélie Beynier, Sylvain Bouveret, Nicolas Maudet

article

13èmes Journées d’Intelligence Artificielle Fondamentale (JIAF 2019), Jul 2019, Toulouse, France. pp.175-182

Accès au texte intégral et bibtex

titre

Efficiency, Sequenceability and Deal-Optimality in Fair Division of Indivisible Goods

auteur

Aurélie Beynier, Sylvain Bouveret, Michel Lemaître, Nicolas Maudet, Simon Rey, Parham Shams

article

Conférence Nationale en Intelligence Artificielle, Jul 2019, Toulouse, France

Accès au texte intégral et bibtex

titre

UserDEV: A Mixed-Initiative System for User Group Analytics

auteur

Behrooz Omidvar-Tehrani, Sihem Amer-Yahia, Eric Simon, Fabian Colque Zegarra, João Comba, Viviane Moreira

article

Human In the Loop Analytics (HILDA) 2019, Jun 2019, Amsterdam, Netherlands

Accès au texte intégral et bibtex

titre

Data Pipelines for User Group Analytics

auteur

Behrooz Omidvar-Tehrani, Sihem Amer-Yahia

article

The 2019 International Conference on Data Management (SIGMOD), Jun 2019, Amsterdam, Netherlands. pp.2048-2053, ⟨10.1145/3299869.3314028⟩

Accès au bibtex

titre

Active Reading for Intercomprehension Between Sinogramic Languages

auteur

Pierric Mazodier, Yoann Goudin, Mathieu Mangeot, Valérie Bellynck

article

Natural Language Processing and Information Retrieval 2019, Jun 2019, Tokushima, Japan

Accès au texte intégral et bibtex

titre

Ranking Hotel Reviews Based on User's Aspects Importance and Opinions

auteur

Diego Bonesso, Karin Becker, François Portet, Cyril Labbé

article

3rd International Conference on Natural Language Processing and Information Retrieval (NLPIR 2019), Jun 2019, Tukushima, Japan

Accès au bibtex

titre

Scheduling at the Edge

auteur

Clement Mommessin, Giorgio Lucarelli, Denis Trystram

article

14th Scheduling for Large Scale Systems Workshop, Jun 2019, Bordeaux, France. pp.1-28

Accès au texte intégral et bibtex

titre

Identification of lexical areas templates throughout the Occitan domain

auteur

Guylaine Brun-Trigaud, Clément Chagnaud, Philippe Garat

article

10th International Conference on Language Variation in Europe (ICLaVE|10), Jun 2019, Leeuwarden, Netherlands

Accès au bibtex

titre

Understanding scheduler performance : a feature-based approach

auteur

Redha Gouicem, Julien Sopena, Julia Lawall, Gilles Muller, Baptiste Lepers, Willy Zwaenepoel, Jean-Pierre Lozi, Nicolas Palix

article

Compas 2019 - Conférence d’informatique en Parallélisme, Architecture et Système, Jun 2019, Anglet, France

Accès au texte intégral et bibtex

titre

ExpanDial: Designing a Shape-Changing Dial

auteur

Hyunyoung Kim, Patrícia Deud Guimarães, Céline Coutrix, Anne Roudaut

article

DIS '19: Proceedings of the 2019 on Designing Interactive Systems Conference, Jun 2019, San Diego, United States. pp.949-961, ⟨10.1145/3322276.3322283⟩

Accès au texte intégral et bibtex

titre

Structurer et suivre le travail coopératif de futurs enseignants professeurs des écoles par la plateforme LabNbook

auteur

Patricia Marzin-Janvier, Evelyne Chevigny, Alix Géronimi, Cédric d'Ham

article

Questions de Pédagogies dans l'Enseignement Supérieur, ENSTA Bretagne, IMT-A, UBO, Jun 2019, Brest, France

Accès au texte intégral et bibtex

titre

Utilisation d'une plateforme numérique dans un dispositif d'apprentissage par problèmes (APP)

auteur

Christian Hoffmann, Isabelle Girault, Claudine Kahane, Cédric d'Ham, Maelle Planche

article

Questions de Pédagogies dans l'Enseignement Supérieur, ENSTA Bretagne, IMT-A, UBO, Jun 2019, Brest, France

Accès au texte intégral et bibtex

titre

End User Development: Verifying Home Behavior

auteur

Alexandre Demeure, Sybille Caffiau, Sophie Dupuy-Chessa, Huong Ta, Lydie Du Bousquet

article

Joint Proceedings HCI Engineering 2019 - Methods and Tools for Advanced Interactive Systems and Integration of Multiple Stakeholder Viewpoints co-located with 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2019), Jun 2019, Valencia, Spain. pp.27-32

Accès au bibtex

titre

Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework

auteur

Jean-Bernard Stefani, Martin Vassor

article

FORTE 2019 - 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.242-260, ⟨10.1007/978-3-030-21759-4_14⟩

Accès au texte intégral et bibtex

titre

Towards an Autonomic and Distributed Device Management for the Internet of Things

auteur

Neil Ayeb, Eric Rutten, Sebastien Bolle, Thierry Coupaye, Marc Douet

article

FAS*W 2019 - IEEE 4th International Workshops on Foundations and Applications of Self* Systems, Jun 2019, Umea, Sweden. pp.246-248, ⟨10.1109/FAS-W.2019.00065⟩

Accès au texte intégral et bibtex

titre

Integration of Pervasive Platforms with iCasa

auteur

Philippe Lalanda, Ada Diaconescu

article

2019 IEEE 4th International Workshops on Foundations and Applications of Self* Systems (FAS*W), Jun 2019, Umea, France. pp.49-51, ⟨10.1109/FAS-W.2019.00025⟩

Accès au bibtex

titre

Une approche basée sur la séparation des préoccupations pour modéliser et vérifier les règles de signalisation d'un système ferroviaire

auteur

Yves Ledru, Akram Idani, Rahma Ben Ayed, Abderrahim Ait Wakrime, Philippe Bon

article

AFADL 2019 - 18e journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2019, Toulouse, France

Accès au bibtex

titre

L'argumentation mathématique, précurseur problématique de la démonstration

auteur

Nicolas Balacheff

article

XXVIe Colloque CORFEM, Jun 2019, Strasbourg, France

Accès au texte intégral et bibtex

titre

Modélisation de la variabilité des indicateurs dans le cadre des administrations de services publics

auteur

Diego Diaz, Mario Cortes-Cornax, Agnes Front, Cyril Labbé, David Faure

article

INFORSID (INFormatique des ORganisations et Systèmes d'Information et de Décision), Jun 2019, Paris, France

Accès au texte intégral et bibtex

titre

Pauli Fusion: a computational model to realise quantum transformations from ZX terms

auteur

Niel de Beaudrap, Ross Duncan, Dominic Horsman, Simon Perdrix

article

QPL'19 : International Conference on Quantum Physics and Logic, Jun 2019, Los Angeles, United States

Accès au bibtex

titre

Cautious regret minimization: Online optimization with long-term budget constraints

auteur

Nikolaos Liakopoulos, Apostolos S Destounis, Georgios Paschos, Thrasyvoulos Spyropoulos, Panayotis Mertikopoulos

article

ICML 2019 - 36th International Conference on Machine Learning, Jun 2019, Long Beach, United States. pp.1-9

Accès au texte intégral et bibtex

titre

DWS: a data placement approach for Smart Grid Ecosystems

auteur

Asma Zgolli, Christine Collet, Christophe Bobineau

article

IDEAS 2019, Jun 2019, ATHENE, Greece. ⟨10.1145/3331076.3331126⟩

Accès au bibtex

titre

Ingénierie d'un EIAH doté d'étayages adaptatifs

auteur

Anne Lejeune, Catherine Bonnat, Viviane Guéraud, Patricia Marzin-Janvier

article

9ème édition de la conférence EIAH (Environnements Informatiques pour l’Apprentissage Humain),, Jun 2019, Paris, France

Accès au texte intégral et bibtex

titre

Étayer dynamiquement une activité de conception expérimentale en biologie : premiers résultats d'expérimentations

auteur

Catherine Bonnat, Anne Lejeune

article

9ème édition de la conférence EIAH (Environnements Informatiques pour l’Apprentissage Humain), Jun 2019, Paris, France

Accès au texte intégral et bibtex

titre

LabNbook, online environment for supporting active and collaborative pedagogies in experimental sciences

auteur

Cédric d'Ham, Claire Wajeman, Isabelle Girault, Patricia Marzin-Janvier

article

EIAH 2019 : Environnement Informatiques pour l'Apprentissage Humain, Jun 2019, Paris, France. pp.49-60

Accès au texte intégral et bibtex

titre

Processus d'évaluation longitudinale (PEL) d'une plateforme pédagogique (LMS) : le cas de LabNbook

auteur

Nadine Mandran, Patricia Marzin-Janvier, Maelle Planche, Aous Karoui, Isabelle Girault

article

Environnements Informatiques pour l'Apprentissage Humain, Jun 2019, Paris, France

Accès au texte intégral et bibtex

titre

Contribution de différents outils de mesure à l’évaluation des usages d’une plateforme numérique par un processus longitudinal : cas du travail à distance

auteur

Maelle Planche, Isabelle Girault, Nadine Mandran, Patricia Marzin-Janvier, Cédric d'Ham, Claire Wajeman

article

EIAH 2019 : Environnements Informatiques pour l'Apprentissage Humain, Jun 2019, Paris, France

Accès au bibtex

titre

Experimental Characterization of Packet Reception Rate in LoRaWAN

auteur

Takwa Attia, Martin Heusse, Bernard Tourancheau, Andrzej Duda

article

Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication, Jun 2019, Narbonne, France

Accès au texte intégral et bibtex

titre

Identification of Constitutive Parameters Governing the Hyperelastic Response of Rubber by Using Full-field Measurement and the Virtual Fields Method

auteur

Adel Tayeb, Jean-Benoit Le Cam, M. Grédiac, E. Toussaint, F. Canevet, E. Robin, X. Balandraud

article

SEM Annual conference, Jun 2019, Reno, United States. ⟨10.1007/978-3-030-30098-2_9⟩

Accès au texte intégral et bibtex

titre

Faire évader secrètement des données d'un réseau BLE sécurisé

auteur

Timothy Claeys, Franck Rousseau, Boris Simunovic, Bernard Tourancheau

article

Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication, Jun 2019, Saint Laurent de la Cabrerisse, France

Accès au texte intégral et bibtex

titre

Online Non-preemptive Scheduling to Minimize Maximum Weighted Flow-time on Related Machines

auteur

Giorgio Lucarelli, Benjamin Moseley, Kim Thang Nguyen, Abhinav Srivastav, Denis Trystram

article

14th Workshop on Models and Algorithms for Planning and Scheduling Problems (MAPSP 2019), Jun 2019, Renesse, Netherlands

Accès au bibtex

titre

Fuzzy4U: A fuzzy logic system for user interfaces adaptation

auteur

Tanguy Giuffrida, Sophie Dupuy-Chessa, Jean-Philippe Poli, Éric Céret

article

13th International Conference on Research Challenges in Information Science, RCIS 2019, May 2019, Brussels, Belgium

Accès au texte intégral et bibtex

titre

Rigorous Design and Deployment of IoT Applications

auteur

Ajay Krishna, Michel Le Pallec, Radu Mateescu, Ludovic Noirie, Gwen Salaün

article

FormaliSE 2019 - 7th International Conference on Formal Methods in Software Engineering, May 2019, Montreal, Canada. pp.21-30, ⟨10.1109/FormaliSE.2019.00011⟩

Accès au texte intégral et bibtex

titre

Convergent Noisy forward-backward-forward algorithms in non-monotone variational inequalities

auteur

Mathias Staudigl, Panayotis Mertikopoulos

article

LSS 2019 - 15th IFAC Symposium on Large Scale Complex Systems: Theory and Applications, May 2019, Delft, Netherlands. pp.120-125, ⟨10.1016/j.ifacol.2019.06.021⟩

Accès au texte intégral et bibtex

titre

Visual Debugging of Behavioural Models

auteur

Gianluca Barbon, Vincent Leroy, Gwen Salaün, Emmanuel Yah

article

ICSE 2019 - IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings, May 2019, Montreal, Canada. pp.107-110, ⟨10.1109/ICSE-Companion.2019.00050⟩

Accès au texte intégral et bibtex

titre

IoT Composer: Composition and Deployment of IoT Applications

auteur

Ajay Krishna, Michel Le Pallec, Radu Mateescu, Ludovic Noirie, Gwen Salaün

article

ICSE 2019 - IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings, May 2019, Montreal, Canada. pp.19-22, ⟨10.1109/ICSE-Companion.2019.00028⟩

Accès au texte intégral et bibtex

titre

Load Aware Provisioning of IoT Services on Fog Computing Platform

auteur

Bruno Donassolo, Ilhem Fajjari, Arnaud Legrand, Panayotis Mertikopoulos

article

IEEE International Conference on Communications (ICC), May 2019, Shanghai, China. ⟨10.1109/ICC.2019.8762052⟩

Accès au texte intégral et bibtex

titre

Persistent DNS connections for improved performance

auteur

Baptiste Jonglez, Sinan Birbalta, Martin Heusse

article

NETWORKING 2019 - IFIP Networking 2019, May 2019, Warsaw, Poland. pp.1-2

Accès au texte intégral et bibtex

titre

Instrumental Data Management and Scientific Workflow Execution: the CEA case study

auteur

Francieli Zanon Boito, Jean-François Méhaut, Thierry Deutsch, Brice Videau, Frédéric Desprez

article

IPDPSW 2019 - International Parallel and Distributed Processing Symposium Workshops, May 2019, Rio de Janeiro, Brazil. pp.850-857, ⟨10.1109/IPDPSW.2019.00139⟩

Accès au texte intégral et bibtex

titre

Adapting Batch Scheduling to Workload Characteristics: What can we expect From Online Learning?

auteur

Arnaud Legrand, Denis Trystram, Salah Zrigui

article

IPDPS 2019 - 33rd IEEE International Parallel & Distributed Processing Symposium, May 2019, Rio de Janeiro, Brazil. pp.686-695, ⟨10.1109/IPDPS.2019.00077⟩

Accès au texte intégral et bibtex

titre

Improving Downlink Scalability in LoRaWAN

auteur

Valentina Di Vincenzo, Martin Heusse, Bernard Tourancheau

article

IEEE International Conference on Communications, May 2019, Shanghai, China. ⟨10.1109/ICC.2019.8761157⟩

Accès au texte intégral et bibtex

titre

VigiFlood: a serious game for understanding the challenges of risk communication

auteur

Carole Adam, Éric Andonoff

article

16th Conference on Information Systems for Crisis Response and Management (ISCRAM 2019), May 2019, Valencia, Spain

Accès au texte intégral et bibtex

titre

Characterizing Vulnerability of DNS AXFR Transfers with Global-Scale Scanning

auteur

Marcin Skwarek, Maciej Korczynski, Wojciech Mazurczyk, Andrzej Duda

article

2019 IEEE Security and Privacy Workshops (SPW), May 2019, San Francisco, United States. pp.193-198, ⟨10.1109/SPW.2019.00044⟩

Accès au bibtex

titre

Multi-agent geospatial simulation of human interactions and behaviour in bushfires.

auteur

Lyuba Mancheva, Carole Adam, Julie Dugdale

article

International Conference on Information Systems for Crisis Response and Management, May 2019, Valencia, Spain

Accès au texte intégral et bibtex

titre

Preferential concentration of dense sub-Kolmogorov particles in active-grid-generated turbulence

auteur

Martin Obligado, Thomas Calmant, Noël de Palma, Alberto Aliseda, Alain H. Cartellier

article

10th International Conference on Multiphase Flow (ICMF 2019), May 2019, Rio de Janeiro, Brazil

Accès au bibtex

titre

Thermal Covert Channel in Bluetooth Low Energy Networks

auteur

Timothy Claeys, Franck Rousseau, Boris Simunovic, Bernard Tourancheau

article

ACM WiSec 2019, May 2019, Miami, FL, United States. ⟨10.1145/3317549.3319730⟩

Accès au texte intégral et bibtex

titre

Autotuning under Tight Budget Constraints: A Transparent Design of Experiments Approach

auteur

Pedro Bruel, Steven Quinito Masnada, Brice Videau, Arnaud Legrand, Jean-Marc Vincent, Alfredo Goldman

article

CCGrid 2019 - International Symposium in Cluster, Cloud, and Grid Computing, May 2019, Larcana, Cyprus. pp.1-10, ⟨10.1109/CCGRID.2019.00026⟩

Accès au texte intégral et bibtex

titre

Auditing Offline Data Brokers via Facebook's Advertising Platform

auteur

Giridhari Venkatadri, Piotr Sapiezynski, Elissa M Redmiles, Alan Mislove, Oana Goga, Michelle L Mazurek, Krishna P Gummadi

article

The Web Conference 2019, May 2019, San Fransisco, United States. ⟨10.1145/3308558.3313666⟩

Accès au texte intégral et bibtex

titre

Efficiency, Sequenceability and Deal-Optimality in Fair Division of Indivisible Goods

auteur

Aurélie Beynier, Sylvain Bouveret, Michel Lemaître, Nicolas Maudet, Simon Rey, Parham Shams

article

18th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2019), May 2019, Montreal, Canada

Accès au texte intégral et bibtex

titre

Models of Visually Grounded Speech Signal Pay Attention to Nouns: A Bilingual Experiment on English and Japanese

auteur

William N Havard, Jean-Pierre Chevrot, Laurent Besacier

article

International Conference on Acoustics, Speech and Signal Processing (ICASSP), May 2019, Brighton, United Kingdom. pp.8618-8622, ⟨10.1109/ICASSP.2019.8683069⟩

Accès au texte intégral et bibtex

titre

Optimistic Mirror Descent in Saddle-Point Problems: Going the Extra (Gradient) Mile

auteur

Panayotis Mertikopoulos, Bruno Lecouat, Houssam Zenati, Chuan-Sheng Foo, Vijay Chandrasekhar, Georgios Piliouras

article

ICLR 2019 - 7th International Conference on Learning Representations, May 2019, New Orleans, United States. pp.1-23

Accès au texte intégral et bibtex

titre

PickCells: A Physically Reconfigurable Cell-composed Touchscreen

auteur

Alix Goguey, Cameron Steer, Andrés Lucero, Laurence Nigay, Deepak Ranjan Sahoo, Céline Coutrix, Anne Roudaut, Sriram Subramanian, Yutaka Tokuda, Timothy Neate, Jennifer Pearson, Simon Robinson, Matt Jones

article

2019 CHI Conference on Human Factors in Computing Systems, May 2019, Glasgow, United Kingdom. pp.273, ⟨10.1145/3290605.3300503⟩

Accès au texte intégral et bibtex

titre

Stochastic sampling machine for Bayesian inference

auteur

Raphael Frisch, M. Faix, Jérémy Belot, Laurent Fesquet, E. Mazer

article

IEEE International Nanodevices & Computing Conference (INC 2019), May 2019, Grenoble, France

Accès au bibtex

titre

Impact of Social Welfare Methods on Multi-objective Resource Allocation in Energy Systems

auteur

Aisha Umair, Anders Clausen, Yves Demazeau, Bo Jørgensen

article

8th International Conference on Smart Cities and Green ICT Systems, May 2019, Heraklion, Greece. pp.179-186, ⟨10.5220/0007761101790186⟩

Accès au texte intégral et bibtex

titre

SEmantic Networks of Data: Utility and Privacy

auteur

Cédric Eichler, Pascal Berthomé, Jacques Chabin, Rachid Echahed, Mirian Halfeld-Ferrari, Benjamin Nguyen, Frederic Prost

article

RESSI 2019: Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2019, Erquy, France

Accès au texte intégral et bibtex

titre

Memory flipping: a threat to NUMA virtual machines in the Cloud

auteur

Djob Mvondo, Boris Teabe, Alain Tchana, Daniel Hagimont, Noel de Palma

article

IEEE INFOCOM 2019 - IEEE Conference on Computer Communications, Apr 2019, Paris, France. pp.325-333, ⟨10.1109/INFOCOM.2019.8737548⟩

Accès au texte intégral et bibtex

titre

Large-Scale Network Utility Maximization: Countering Exponential Growth with Exponentiated Gradients

auteur

Luigi Vigneri, Georgios Paschos, Panayotis Mertikopoulos

article

INFOCOM 2019 - IEEE International Conference on Computer Communications, Apr 2019, Paris, France. pp.1630-1638, ⟨10.1109/INFOCOM.2019.8737600⟩

Accès au texte intégral et bibtex

titre

Case Studies in Learning Models and Testing Without Reset

auteur

Nicolas Bremond, Roland Groz

article

2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW: AMOST 2019), Apr 2019, Xi'an, China. pp.40-45, ⟨10.1109/ICSTW.2019.00030⟩

Accès au bibtex

titre

CertiCAN: A Tool for the Coq Certification of CAN Analysis Results

auteur

Pascal Fradet, Xiaojie Guo, Jean-François Monin, Sophie Quinton

article

RTAS 2019 - 25th IEEE Real-Time and Embedded Technology and Applications Symposium, Apr 2019, Montreal, Canada. pp.1-10, ⟨10.1109/RTAS.2019.00023⟩

Accès au texte intégral et bibtex

titre

Debugging of Behavioural Models with CLEAR

auteur

Gianluca Barbon, Vincent Leroy, Gwen Salaün

article

TACAS 2019 - 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2019, Prague, Czech Republic. pp.386-392, ⟨10.1007/978-3-030-17462-0_26⟩

Accès au texte intégral et bibtex

titre

TOOLympics 2019: An Overview of Competitions in Formal Methods

auteur

Ezio Bartocci, Dirk Beyer, Paul Black, Grigory Fedyukovich, Hubert Garavel, Arnd Hartmanns, Marieke Huisman, Fabrice Kordon, Julian Nagele, Mihaela Sighireanu, Bernhard Steffen, Martin Suda, Geoff Sutcliffe, Tjark Weber, Akihisa Yamada

article

25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Apr 2019, Prague, Czech Republic. pp.3-24, ⟨10.1007/978-3-030-17502-3_1⟩

Accès au bibtex

titre

The Rewrite Engines Competitions: A RECtrospective

auteur

Francisco Durán, Hubert Garavel

article

Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19), Part III: TOOLympics, Apr 2019, Prague, Czech Republic. pp.1-9, ⟨10.1007/978-3-030-17502-3⟩

Accès au texte intégral et bibtex

titre

Asynchronous circuits for new computation paradigms

auteur

Laurent Fesquet, Raphael Frisch, M. Faix, Jérémy Belot, Jean Simatic, A. Cherkaoui, E. Mazer

article

IEEE International Nanodevices & Computing Conference (INC 2019), Apr 2019, Grenoble, France

Accès au bibtex

titre

Diabolo, une simulation pour l'apprentissage des métabolismes

auteur

Catherine Bonnat, Viviane Gueraud, Anne Lejeune, Patricia Marzin-Janvier

article

Séminaire Inter Laboratoires sur l'Education Scientifique et Technologique :Education scientifique et technologique pour tous, Apr 2019, Patras, Grèce. pp.71-79

Accès au texte intégral et bibtex

titre

Quelques pas vers l’Honnêteté et l’Explicabilité de moteurs de recherche sur le Web

auteur

Philippe Mulhem, Lydie Du Bousquet, Sara Lakah

article

COnférence en Recherche d’Information et Applications, Mar 2019, Villeurbanne, France. ⟨10.3166/DN.1.-.1-18⟩

Accès au texte intégral et bibtex

titre

GroupTravel: Customizing Travel Packages for Groups

auteur

Sihem Amer-Yahia, Shady Elbassuoni, Behrooz Omidvar-Tehrani, Ria Mae Borromeo, Mehrdad Farokhnejad

article

22nd International Conference on Extending Database Technology (EDBT), Mar 2019, Lisbonne, Portugal. ⟨10.5441/002/edbt.2019.13⟩

Accès au texte intégral et bibtex

titre

FaiRank: An Interactive System to Explore Fairness of Ranking in Online Job Marketplaces

auteur

Ahmad Ghizzawi, Julien Marinescu, Shady Elbassuoni, Sihem Amer-Yahia, Gilles Bisson

article

22nd International Conference on Extending Database Technology (EDBT), Mar 2019, Lisbone, France. ⟨10.5441/002/edbt.2019.61⟩

Accès au texte intégral et bibtex

titre

RDF: Reconfigurable Dataflow

auteur

Pascal Fradet, Alain Girault, Ruby Krishnaswamy, Xavier Nicollin, Arash Shafiei

article

DATE 2019 - Design, Automation & Test in Europe Conference & Exhibition, Mar 2019, Florence, Italy. pp.1709-1714, ⟨10.23919/DATE.2019.8714987⟩

Accès au bibtex

titre

Demonstrating data collections curation and exploration with CURARE

auteur

Genoveva Vargas-Solar, Gavin Kemp, Irving Hernández-Gallegos, Javier A Espinosa-Oviedo, Catarina Ferreira da Silva, Parisa Ghodous

article

EDBT/ICDT Conference 2019, Mar 2019, Lisbon, Portugal. pp.4, ⟨10.5441/002/edbt.2019.65⟩

Accès au texte intégral et bibtex

titre

When eXtended Para-Virtualization (XPV) meets NUMA

auteur

Vo Quoc Bao Bui, Djob Mvondo, Boris Teabe, Kevin Jiokeng, Lavoisier Wapet, Alain Tchana, Gaël Thomas, Daniel Hagimont, Gilles Muller, Noel Depalma

article

EUROSYS 2019: 14th European Conference on Computer Systems, Mar 2019, Dresde, Germany. pp.7, ⟨10.1145/3302424.3303960⟩

Accès au texte intégral et bibtex

titre

Exploration de l’apport de l’analyse des perceptions oculaires : étude préliminaire pour le bouclage de pertinence

auteur

Lucas Albarede, Francis Jambon, Philippe Mulhem

article

COnférence en Recherche d'Informations et Applications - CORIA 2019, 16th French Information Retrieval Conference, Mar 2019, Lyon, France. ⟨10.24348/coria.2019.CORIA_2019_paper_1⟩

Accès au texte intégral et bibtex

titre

Learning Natural Language Understanding Systems from Unaligned Labels for Voice Command in Smart Homes

auteur

Anastasiia Mishakova, François Portet, Thierry Desot, Michel Vacher

article

The 1st International Workshop on Pervasive Computing and Spoken Dialogue Systems Technology (PerDial 2019), Mar 2019, Kyoto, Japan

Accès au texte intégral et bibtex

titre

Simulation of a Sparse Direct Solver on Heterogeneous Systems using Starpu and Simgrid

auteur

Emmanuel Agullo, Alfredo Buttari, Abdou Guermouche, Arnaud Legrand, Ian Masliah, Luka Stanisic

article

SIAM Conference on Computational Science and Engineering (CSE 2019), Feb 2019, Spokane, United States

Accès au bibtex

titre

Measuring the Facebook Advertising Ecosystem

auteur

Athanasios Andreou, Marcio Silva, Fabrício Benevenuto, Oana Goga, Patrick Loiseau, Alan Mislove

article

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⟩

Accès au texte intégral et bibtex

titre

A Voting Argumentation Framework: Considering the Reasoning behind Preferences

auteur

Nikos Karanikolas, Pierre Bisquert, Christos Kaklamanis

article

ICAART 2019 - 11th International Conference on Agents and Artificial Intelligence, Feb 2019, Prague, Czech Republic. pp.42-53, ⟨10.5220/0007362300420053⟩

Accès au texte intégral et bibtex

titre

Designing and Implementing Resilient IoT Applications in the Fog: A Smart Home Use Case

auteur

Umar Ozeer, Loïc Letondeur, François-Gaël Ottogalli, Gwen Salaün, Jean-Marc Vincent

article

ICIN 2019 - 22nd Conference on Innovation in Clouds, Internet and Networks, Feb 2019, Paris, France. pp.230-232, ⟨10.1109/ICIN.2019.8685909⟩

Accès au texte intégral et bibtex

titre

Data-Flow/Dependence Profiling for Structured Transformations

auteur

Fabian Gruber, Manuel Selva, Diogo Sampaio, Christophe Guillon, Antoine Moynault, Louis-Noël Pouchet, Fabrice Rastello

article

PPoPP 2019 - 24th Symposium on Principles and Practice of Parallel Programming, Feb 2019, Washington, D.C., United States. pp.173-185, ⟨10.1145/3293883.3295737⟩

Accès au texte intégral et bibtex

titre

Equality of Voice: Towards Fair Representation in Crowdsourced Top-K Recommendations

auteur

Abhijnan Chakraborty, Gourab K Patro, Niloy Ganguly, Krishna P Gummadi, Patrick Loiseau

article

FAT* 2019 - ACM Conference on Fairness, Accountability, and Transparency, Jan 2019, Atlanta, United States. pp.129-138, ⟨10.1145/3287560.3287570⟩

Accès au texte intégral et bibtex

titre

On Microtargeting Socially Divisive Ads: A Case Study of Russia-Linked Ad Campaigns on Facebook

auteur

Filipe Ribeiro, Koustuv Saha, Mahmoudreza Babaei, Lucas Henrique, Johnnatan Messias, Fabrício Benevenuto, Oana Goga, Krishna P Gummadi, Elissa M Redmiles

article

ACM Fairness, Accountability and Transparency Conference, Jan 2019, Atlanta, Georgia, United States. pp.140-149, ⟨10.1145/3287560.3287580⟩

Accès au bibtex

titre

Transductive Bounds for the Multi-class Majority Vote Classifier

auteur

Vasilii Feofanov, Emilie Devijver, Massih-Reza Amini

article

Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-2019), Jan 2019, Honolulu, United States. pp.3566-3573, ⟨10.1609/aaai.v33i01.33013566⟩

Accès au bibtex

titre

WIB : un navigateur intégré pour Wikipédia destiné à l’évaluation participative de modèles de pertinence

auteur

Christophe Brouard, Jean-Pierre Chevallet, Téo Orthlieb, Habib Slim

article

19ème conférence EGC, Jan 2019, Metz, France. pp.433-436

Accès au bibtex

titre

Analyse de comportements relatifs exceptionnels expliquée par des textes : les votes du parlement européen

auteur

Charles de Lacombe, Antoine Morel, Adnene Belfodil, François Portet, Cyril Labbé, Sylvie Cazalens, Marc Plantevit, Philippe Lamarre

article

Extraction et Gestion des connaissances (EGC), Jan 2019, Metz, France. pp.437--440

Accès au texte intégral et bibtex

titre

RMem: An OS Service for Transparent Remote Memory Access in Lightweight Manycores

auteur

Pedro Henrique Penna, Matheus Souza, Emmanuel Podestá Junior, João Souto, Márcio Castro, Francois Broquedis, Henrique Cota de Freitas, Jean-François Mehaut

article

MultiProg 2019 - 25th International Workshop on Programmability and Architectures for Heterogeneous Multicores, Jan 2019, Valencia, Spain. pp.1-16

Accès au texte intégral et bibtex

titre

Fog Based Framework for IoT Service Provisioning

auteur

Bruno Donassolo, Ilhem Fajjari, Arnaud Legrand, Panayotis Mertikopoulos

article

CCNC 2019 - IEEE Consumer Communications & Networking Conference, Jan 2019, Las Vegas, United States. pp.1-6, ⟨10.1109/CCNC.2019.8651835⟩

Accès au texte intégral et bibtex

titre

DEvIR: Data Collection and Analysis for the Recommendation of Events and Itineraries

auteur

Diana Nurbakova, Léa Laporte, Sylvie Calabretto, Jérôme Gensel

article

Proceedings of the 52nd Hawaii International Conference on System Sciences (HICSS) 2019, Jan 2019, Maui, Hawaii, United States

Accès au texte intégral et bibtex

titre

Multi-factor model and simulation of social cohesion and its effect on evacuation

auteur

Carole Adam, Julie Dugdale, Catherine Garbay

article

HICSS, Jan 2019, Hawaii, United States

Accès au texte intégral et bibtex

titre

Sentiment Aware Map" : exploration cartographique de points d’intérêt via l’analyse de sentiments au niveau des aspects

auteur

Ioan Calapodescu, Caroline Brun, Vassilina Nikoulina, Salah Aït-Mokhtar

article

26e Conférence sur le Traitement Automatique des Langues Naturelles, 2019, Toulouse, France. pp.635-638

Accès au texte intégral et bibtex

titre

Reasoning Formally About Database Queries and Updates

auteur

Jon Haël Brenas, Rachid Echahed, Martin Strecker

article

Formal Methods – The Next 30 Years (FM 2019), 2019, Porto, Portugal, France. pp.556-572, ⟨10.1007/978-3-030-30942-8_33⟩

Accès au bibtex

titre

The LIG system for the English-Czech Text Translation Task of IWSLT 2019

auteur

Loïc Vial, Benjamin Lecouteux, Didier Schwab, Hang Le, Laurent Besacier

article

IWSLT (16th International Workshop on Spoken Language Translation), 2019, Hong-Kong, China

Accès au texte intégral et bibtex

titre

Apporter des connaissances sémantiques à un jeu de pictogrammes destiné à des personnes en situation de handicap : Un ensemble de liens entre Princeton WordNet et Arasaac, Arasaac-WN

auteur

Didier Schwab, Pauline Trial, Vaschalde Céline, Loïc Vial, Benjamin Lecouteux

article

26e Conférence sur le Traitement Automatique des Langues Naturelles, 2019, Toulouse, France. pp.619-622

Accès au texte intégral et bibtex

titre

An adaptive mirror-prox algorithm for variational inequalities with singular operators

auteur

Kimon Antonakopoulos, Elena Veronica Belmega, Panayotis Mertikopoulos

article

NeurIPS 2019, 2019, Vancouver, Canada

Accès au texte intégral et bibtex

titre

Learning Lexical-Semantic Relations Using Intuitive Cognitive Links

auteur

Georgios Balikas, Gaël Dias, Rumen Moraliyski, Houssam Akhmouch, Massih-Reza Amini

article

41st European Conference on Information Retrieval (ECIR), 2019, Cologne, Germany

Accès au bibtex

titre

Apporter des connaissances sémantiques à un jeu de pictogrammes destiné à des personnes en situation de handicap : Un ensemble de liens entre Wordnet et Arasaac, Arasaac-WN

auteur

Didier Schwab, Pauline Trial, Céline Vaschalde, Loïc Vial, Benjamin Lecouteux

article

TALN 2019, 2019, Toulouse, France

Accès au texte intégral et bibtex

titre

The Bernays-Schönfinkel-Ramsey Class of Separation Logic on Arbitrary Domains

auteur

Mnacho Echenim, Radu Iosif, Nicolas Peltier

article

Foundations of Software Science and Computation Structures (FOSSACS) - 22nd International Conference, 2019, Prague, Czech Republic. pp.242-259, ⟨10.1007/978-3-030-17127-8_14⟩

Accès au texte intégral et bibtex

titre

Ilinva: Using Abduction to Generate Loop Invariants

auteur

Mnacho Echenim, Nicolas Peltier, Yanis Sellami

article

Frontiers of Combining Systems - 12th International Symposium, 2019, London, United Kingdom. pp.77-93, ⟨10.1007/978-3-030-29007-8_5⟩

Accès au texte intégral et bibtex

titre

Prenex Separation Logic with One Selector Field

auteur

Mnacho Echenim, Radu Iosif, Nicolas Peltier

article

Automated Reasoning with Analytic Tableaux and Related Methods - 28th International Conference, 2019, London, United Kingdom. pp.409-427, ⟨10.1007/978-3-030-29026-9_23⟩

Accès au texte intégral et bibtex

titre

Implicit Discourse Relation Classification with Syntax-Aware Contextualized Word Representations

auteur

Diana Nicoleta Popa, Julien Perez, James Henderson, Éric Gaussier

article

32nd FLAIRS Conference 2019: Sarasota, Florida, USA, 2019, Florida, USA, United States

Accès au texte intégral et bibtex

titre

Sense Vocabulary Compression through the Semantic Knowledge of WordNet for Neural Word Sense Disambiguation

auteur

Loïc Vial, Benjamin Lecouteux, Didier Schwab

article

Global Wordnet Conference, 2019, Wroclaw, Poland

Accès au texte intégral et bibtex

titre

Terminology-based Text Embedding for Computing Document Similarities on Technical Content

auteur

Hamid Mirisaee, Éric Gaussier, Cedric Lagnier, Agnes Guerraz

article

TIA-PFIA 2019 (atelier TALN-RECITAL ), 2019, Toulouse, France

Accès au texte intégral et bibtex