Search - Archive ouverte HAL Access content directly

Filter your results

107 Results
Structure: Internal structure identifier : 234715

Lessons from the black-box: fast crossover-based genetic algorithms

Benjamin Doerr , Carola Doerr , Franziska Ebel
Proceeding of the fifteenth annual conference on Genetic and Evolutionary Computation, Jul 2013, Amsterdam, Netherlands. ⟨10.1145/2463372.2463480⟩
Conference papers hal-01797913v1
Image document

From black and white to full color: extending redescription mining outside the Boolean world

Esther Galbrun , Pauli Miettinen
Statistical Analysis and Data Mining, 2012, 5 (4), pp.284-303. ⟨10.1002/sam.11145⟩
Journal articles hal-01399211v1
Image document

Colonel Blotto and Hide-and-Seek Games as Path Planning Problems with Side Observations

Dong Quan Vu , Patrick Loiseau , Alonso Silva , Long Tran-Thanh
Preprints, Working Papers, ... hal-02139519v2

A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic

Martin Bromberger , Irina Dragoste , Rasha Faqeh , Christof Fetzer , Markus Krötzsch et al.
FroCos 2021 - 13th International Symposium on Frontiers of Combining Systems, Sep 2021, Birmingham, United Kingdom. pp.3-24, ⟨10.1007/978-3-030-86205-3_1⟩
Conference papers hal-03531889v1
Image document

MenuInspector : Outil pour l'analyse des menus et cas d' étude

Gilles Bailly , Sylvain Malacria
25ème conférence francophone sur l'Interaction Homme-Machine, IHM'13, AFIHM, Nov 2013, Bordeaux, France. ⟨10.1145/2534903.2534917⟩
Conference papers hal-00877299v2

Eighth Workshop on Exploiting Semantic Annotations in Information Retrieval (ESAIR'15)

Krisztian Balog , Jeffrey Dalton , Antoine Doucet , Yusra Ibrahim
Proceedings of the 24th ACM International on Conference on Information and Knowledge Management, 2015, New York, NY, USA, Unknown Region. pp.1945--1946, ⟨10.1145/2806416.2806879⟩
Conference papers hal-01294129v1

YAGO: a Multilingual Knowledge Base from Wikipedia, Wordnet, and Geonames

Thomas Rebele , Fabian Suchanek , Johannes Hoffart , Joanna Biega , Erdal Kuzey et al.
The 15th International Semantic Web Conferenece, Oct 2016, Kobe, Japan
Conference papers hal-01369125v1

A Posthumous Contribution by Larry Wos: Excerpts from an Unpublished Column

Sophie Tourret , Christoph Weidenbach
Journal of Automated Reasoning, 2022, 66 (4), pp.575-584. ⟨10.1007/s10817-022-09617-3⟩
Journal articles hal-03935941v1
Image document

Fast All-Digital Clock Frequency Adaptation Circuit for Voltage Droop Tolerance

Matthias Függer , Attila Kinali , Christoph Lenzen , Ben Wiederhake
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2022, 41 (8), pp.2518-2531. ⟨10.1109/TCAD.2021.3097599⟩
Journal articles hal-03536906v1
Image document

Metastability Tolerant Computing

Ghaith Tarawneh , Matthias Függer , Christoph Lenzen
ASYNC17 - 23rd IEEE International Symposium on Asynchronous Circuits and Systems, May 2017, San Diego, United States
Conference papers hal-01652772v1

Fourier Analysis of Correlated Monte Carlo Importance Sampling

Gurprit Singh , Kartic Subr , David Coeurjolly , Victor Ostromoukhov , Wojciech Jarosz et al.
Computer Graphics Forum, 2019, 39 (1), pp.7-19. ⟨10.1111/cgf.13613⟩
Journal articles hal-02066866v1

Efficient Methods to Compute Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates

Hassan Errami , Markus Eiswirth , Dima Grigoriev , Werner Seiler , Thomas Sturm et al.
CASC 2013 - 15th International Workshop on Computer Algebra in Scientific Computing, Sep 2013, Berlin, Germany. pp.88-99, ⟨10.1007/978-3-319-02297-0_7⟩
Conference papers istex hal-00931946v1
Image document

Regulation of DNA Methylation Patterns by CK2-Mediated Phosphorylation of Dnmt3a

Rachel Deplus , Loïc Blanchon , Arumugam Rajavelu , Abdelhalim Boukaba , Matthieu Defrance et al.
Cell Reports, 2014, 8 (3), pp.743 - 753. ⟨10.1016/j.celrep.2014.06.048⟩
Journal articles hal-01918737v1

Generalized Completeness for SOS Resolution and its Application to a New Notion of Relevance

Fajar Haifani , Sophie Tourret , Christoph Weidenbach
CADE 2021 - 28th International Conference on Automated Deduction, Jul 2021, Pittsburgh, PA / online, United States. pp.327-343, ⟨10.1007/978-3-030-79876-5_19⟩
Conference papers hal-03516684v1
Image document

Refined Commonsense Knowledge from Large-Scale Web Contents

Tuan-Phong Nguyen , Simon Razniewski , Julien Romero , Gerhard Weikum
IEEE Transactions on Knowledge and Data Engineering, In press
Journal articles hal-03537547v2

Algorithms for art gallery illumination

Maximilian Ernestus , Stephan Friedrichs , Michael Hemmer , Jan Kokemüller , Alexander Kröller et al.
Journal of Global Optimization, 2017, 68 (1), pp.23-45. ⟨10.1007/s10898-016-0452-2⟩
Journal articles hal-03848588v1

Data, Responsibly (Dagstuhl Seminar 16291)

Serge Abiteboul , Gerome Miklau , Julia Stoyanovich , Gerhard Weikum
Dagstuhl seminar, 2016, Dagstuhl, Germany
Conference papers hal-01405693v1
Image document

Strong Turing Completeness of Continuous Chemical Reaction Networks and Compilation of Mixed Analog-Digital Programs

François Fages , Guillaume Le Guludec , Olivier Bournez , Amaury Pouly
CMSB 2017 - 15th International Conference on Computational Methods in Systems Biology, Sep 2017, Darmstadt, Germany. pp.108-127
Conference papers hal-01519828v3
Image document

Noisy rumor spreading and plurality consensus

Pierre Fraigniaud , Emanuele Natale
Distributed Computing, 2019, 32 (4), pp.257-276. ⟨10.1007/s00446-018-0335-5⟩
Journal articles hal-02001830v1
Image document

Fast All-Digital Clock Frequency Adaptation Circuit for Voltage Droop Tolerance

Matthias Függer , Attila Kinali , Christoph Lenzen , Ben Wiederhake
24th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), May 2018, Wien, Austria
Conference papers hal-01936403v1
Image document

Discovering Approximate Functional Dependencies using Smoothed Mutual Information

Frédéric Pennerath , Panagiotis Mandros , Jilles Vreeken
KDD 2020 - 26th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, Aug 2020, San Diego / Virtual, United States. pp.1254 -- 1264
Conference papers hal-02880553v1
Image document

SCL(EQ): SCL for First-Order Logic with Equality

Hendrik Leidinger , Christoph Weidenbach
IJCAR, International Joint Conference in Automated Reasoning, Aug 2022, Haifa, Israel. pp.228-247, ⟨10.1007/978-3-031-10769-6_14⟩
Conference papers hal-03881912v1
Image document

Approximate Circular Pattern Matching

Panagiotis Charalampopoulos , Tomasz Kociumaka , Jakub Radoszewski , Solon P Pissis , Wojciech Rytter et al.
ESA 2022 - 30th Annual European Symposium on Algorithms, 2022, Berlin/Potsdam, Germany. ⟨10.4230/LIPIcs.ESA.2022.35⟩
Conference papers hal-03829963v1

Analysis of Sample Correlations for Monte Carlo Rendering

Gurprit Singh , Cengiz Oztireli , Abdalla Gm Ahmed , David Coeurjolly , Kartic Subr et al.
Computer Graphics Forum, 2019, Proceedings of Eurographics, 38 (2), pp.473-491. ⟨10.1111/cgf.13653⟩
Journal articles hal-02067106v1
Image document

Eye Pull, Eye Push: Moving Objects between Large Screens and Personal Devices with Gaze and Touch

Jayson Turner , Jason Alexander , Andreas Bulling , Dominik Schmidt , Hans Gellersen et al.
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.170-186, ⟨10.1007/978-3-642-40480-1_11⟩
Conference papers hal-01501741v1

ESAIR '15: Proceedings of the Eighth Workshop on Exploiting Semantic Annotations in Information Retrieval

Krisztian Balog , Jeffrey Dalton , Antoine Doucet , Yusra Ibrahim
Balog, Krisztian and Dalton, Jeffrey and Doucet, Antoine and Ibrahim, Yusra. 24th ACM International Conference on Information and Knowledge Management (CIKM2015), Oct 2015, Melbourne, Australia. ACM, 2015, 978-1-4503-3790-8
Proceedings hal-01294128v1
Image document

PRINCE: Provider-side Interpretability with Counterfactual Explanations in Recommender Systems

Azin Ghazimatin , Oana Balalau , Rishiraj Saha , Gerhard Weikum
WSDM 2020 - 13th ACM International Conference on Web Search and Data Mining, Feb 2020, Houston, Texas, United States
Conference papers hal-02433443v1

SESAME: European Statistics Explored via Semantic Alignment onto Wikipedia

Natalia Boldyrev , Strötgen Jannik , Marc Spaniol , Gerhard Weikum
WWW 2017, Apr 2017, Perth, Australia
Conference papers hal-01507550v1
Image document

Fides: Towards a Platform for Responsible Data Science

Julia Stoyanovich , Bill Howe , Serge Abiteboul , Gerome Miklau , Arnaud Sahuguet et al.
SSDBM'17 - 29th International Conference on Scientific and Statistical Database Management, Jun 2017, Chicago, United States. ⟨10.1145/3085504.3085530⟩
Conference papers hal-01522418v1

Connection-Minimal Abduction in EL via Translation to FOL

Fajar Haifani , Patrick Koopmann , Sophie Tourret , Christoph Weidenbach
Automated Reasoning, Aug 2022, Haifa, Israel. pp.188-207, ⟨10.1007/978-3-031-10769-6_12⟩
Conference papers hal-03826613v1