27 results  save search

hal-01399294v1  Conference papers
Janis KalofoliasEsther GalbrunPauli Miettinen. From Sets of Good Redescriptions to Good Sets of Redescriptions
ICDM’16 - 16th IEEE International Conference on Data Mining, Dec 2016, Barcelona, Spain
hal-01726074v1  Journal articles
Esther GalbrunPauli Miettinen. Redescription Mining: An Overview.
IEEE Intelligent Informatics Bulletin, IEEE, 2017, 18 (2), pp.7-12
hal-01399254v1  Conference papers
Esther GalbrunPauli Miettinen. Analysing Political Opinions Using Redescription Mining
Proceedings of the Data Mining in Politics worshop at ICDM 2016, DMiP'16, Dec 2016, Barcelona, Spain
hal-01652772v1  Conference papers
Ghaith TarawnehMatthias FüggerChristoph Lenzen. Metastability Tolerant Computing
ASYNC17 - 23rd IEEE International Symposium on Asynchronous Circuits and Systems, May 2017, San Diego, United States
hal-01652787v1  Conference papers
Matthias FüggerAttila KinaliChristoph LenzenThomas Polzer. Metastability-Aware Memory-Efficient Time-to-Digital Converters
IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), May 2017, San Diego, United States
hal-01399213v1  Journal articles
Esther GalbrunPauli Miettinen. Mining redescriptions with Siren
ACM Transactions on Knowledge Discovery from Data (TKDD), ACM, 2018, 12 (1), pp.6:1--6:30. ⟨10.1145/3007212⟩
hal-01934928v1  Conference papers
Randy GoebelAjay ChanderKatharina HolzingerFreddy LecueZeynep Akata et al.  Explainable AI: the new 42?
2nd International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2018, Hamburg, Germany. pp.295-303, ⟨10.1007/978-3-319-99740-7_21⟩
hal-01936403v1  Conference papers
Matthias FüggerAttila KinaliChristoph LenzenBen Wiederhake. Fast All-Digital Clock Frequency Adaptation Circuit for Voltage Droop Tolerance
24th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), May 2018, Wien, Austria
hal-01726072v1  Books
Esther GalbrunPauli Miettinen. Redescription Mining
Springer, Cham, 2017, SpringerBriefs in Computer Science, 978-3-319-72889-6. ⟨10.1007/978-3-319-72889-6⟩
hal-01390478v1  Journal articles
Tobias MarschallManja MarzThomas AbeelLouis DijkstraBas E. Dutilh et al.  Computational pan-genomics: status, promises and challenges
Briefings in Bioinformatics, Oxford University Press (OUP), 2018, 19 (1), pp.118-135. ⟨10.1093/bib/bbw089⟩
hal-01522418v1  Conference papers
Julia StoyanovichBill HoweSerge AbiteboulGerome MiklauArnaud Sahuguet et al.  Fides: Towards a Platform for Responsible Data Science
SSDBM'17 - 29th International Conference on Scientific and Statistical Database Management, Jun 2017, Chicago, United States. ⟨10.1145/3085504.3085530⟩
hal-00931946v1  Conference papers
Hassan ErramiMarkus EiswirthDima GrigorievWerner SeilerThomas Sturm et al.  Efficient Methods to Compute Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates
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⟩
hal-01674664v1  Conference papers
Guy EvenOrr FischerPierre FraigniaudTzlil GonenReut Levi et al.  Three Notes on Distributed Property Testing
DISC 2017 - 31st International Symposium on Distributed Computing, Oct 2017, Vienna, France. pp.1-30
hal-01526652v1  Conference papers
Marco AldinucciAndrea BraccialiTobias MarschallMurray PattersonNadia Pisanti et al.  High-Performance Haplotype Assembly
Computational Intelligence Methods for Bioinformatics and Biostatistics (CIBB'15), 2015, Cambridge, United Kingdom. pp.281 - 258, ⟨10.1016/j.compbiolchem.2005.05.001⟩
hal-01844834v1  Conference papers
Strötgen JannikAnne-Lyse MinardLukas LangeManuela SperanzaBernardo Magnini. KRAUTS: A German Temporally Annotated News Corpus
LREC 2018 - 11th International Conference on Language Resources and Evaluation, May 2018, Miyazaki, Japan
hal-01519828v3  Conference papers
François FagesGuillaume Le GuludecOlivier BournezAmaury Pouly. Strong Turing Completeness of Continuous Chemical Reaction Networks and Compilation of Mixed Analog-Digital Programs
CMSB 2017 - 15th International Conference on Computational Methods in Systems Biology, Sep 2017, Darmstadt, Germany. pp.108-127
hal-01936292v1  Journal articles
Stephan FriedrichsMatthias FüggerChristoph Lenzen. Metastability-Containing Circuits
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2018, pp.1167 - 1183. ⟨10.1109/TC.2018.2808185⟩
hal-02433443v1  Conference papers
Azin GhazimatinOana BalalauRishiraj SahaGerhard Weikum. PRINCE: Provider-side Interpretability with Counterfactual Explanations in Recommender Systems
WSDM 2020 - 13th ACM International Conference on Web Search and Data Mining, Feb 2020, Houston, Texas, United States
hal-01768758v1  Journal articles
Noran AzmyStephan MerzChristoph Weidenbach. A Machine-Checked Correctness Proof for Pastry
Science of Computer Programming, Elsevier, 2018, 158, pp.64-80. ⟨10.1016/j.scico.2017.08.003⟩