Mining bi-sets in numerical data

Size: px
Start display at page:

Download "Mining bi-sets in numerical data"

Transcription

1 Mining bi-sets in numerical data Jérémy Besson, Céline Robardet, Luc De Raedt and Jean-François Boulicaut Institut National des Sciences Appliquées de Lyon - France Albert-Ludwigs-Universitat Freiburg - Germany

2 Outline Motivation

3 Mining numerical data Example: Gene expression data analysis What are the sets of genes that are simultaneousely over expressed in some biological situations?

4 Principle O P M(i,j) denotes the value of property j P for the object i O NBS defines a sub-matrix S of M s. t. the absolute value of the difference between the maximum value and the minimum value on S is less or equal to ǫ. Furthermore, none object or property can be added to the bi-set without violating this constraint.

5 The formal definition Definition (Numerical bi-sets) Given a real value ǫ, (X,Y ) is a NBS iff () (2) X O, Y P Max i X, j Y M(i,j) Min i X, j Y M(i,j) ǫ y Y, Max i X, j Y {y} M(i,j) Min i X, j Y {y} M(i,j) > ǫ x X, Max i X {x}, j Y M(i,j) Min i X {x}, j Y M(i,j) > ǫ

6 An example p p 2 p 3 p 4 p 5 o o o o ((o,o 2, o 3,o 4 ), (p 5 )) ((o 3,o 4 ), (p 4,p 5 )) ((o 4 ), (p, p 5 )) ((o,o 2, o 3,o 4 ), (p 3 )) ((o 4 ), (p, p 2 )) ((o 2 ), (p 2, p 3,p 4 )) ((o,o 2 ), (p 4 )) ((o ), (p, p 2,p 3, p 4 )) ((o,o 2, o 3 ),(p,p 2, p 3 )) o4 o3 o2 op p2 p3 p4 Data NBS NBS 2 p5

7 Definition (Specialization and monotonicity) Our specialization relation on bi-sets denoted is defined as follows: (X,Y ) (X 2,Y 2 ) iff X X 2 and Y Y 2. The constraints are respectively anti-monotonic and monotonic w.r.t.

8 Let W ǫ be the whole collection of NBS patterns for ǫ. Each NBS pattern (X,Y) from W ǫ is maximal w.r.t.. If there exists a bi-set (X,Y ) with similar values (belonging to an interval of size ǫ), then there exists a NBS (X,Y ) from W ǫ such that (X,Y ) (X,Y )

9 When ǫ increases, the size of NBS pattern increases too, whereas some new NBS patterns which are not extensions of previous one can appear. The collection of numerical bi-sets is paving the dataset.

10 DR-Miner Lattice of the whole collection of bi-set: ((, ),(G,M)) A sublattice (( G, M ),( G, M )) ( G, M) ( G, M) UB Cr (( G, M ),( G, M )) s G \ G, t G, Z o (s, M ) Z o (t, M ) + δ and s M \ M, t M, Z a (s, G ) Z a (t, G ) + δ UB Cd (( G, M )( G, M )) ( x G, Z o (x, M ) α) and ( y M Z a (y, G ) α)

11 NBS-Miner M is a real valued matrix, C a conjunction of monotonic and anti-monotonic constraints on 2 O 2 P and ǫ is a positive value. NBS-Miner Generate((, ), (O, P)) End NBS-Miner Generate(L) Let L = (( O, P ), ( O, P )) L Prop(L) If Prune(L) then If ( O, P ) ( O, P ) then (L, L 2) Enum(L,Choose(L)) J. Besson, C. Robardet, Generate(L L. De Raedt, J-F ) Boulicaut Mining bi-sets in numerical data

12 DR-Miner Pruning: if UB Cr (, ) or UB Cd (, ) are not satisfied, the sublattice (, ) is pruned Propagation (x \ ): if UB Cr (, \ {x}) is not satisfied then the sublattice is modified in ( {x}, ) if UB Cd ( {x}, ) is not satisfied then the sublattice is modified in (, \ {x}) Enumeration: we choose x \ ( {x}, ) (, \ {x})

13 DR-Miner \ {x} Propagation Enumeration {x} Pruning

14 Figure: Examples of extracted NBS

15 90 80 mean area number of NBS epsilon epsilon Figure: Mean area of the NBS w.r.t. ǫ

16 qsdqs

Constraint-based Subspace Clustering

Constraint-based Subspace Clustering Constraint-based Subspace Clustering Elisa Fromont 1, Adriana Prado 2 and Céline Robardet 1 1 Université de Lyon, France 2 Universiteit Antwerpen, Belgium Thursday, April 30 Traditional Clustering Partitions

More information

Mining a New Fault-Tolerant Pattern Type as an Alternative to Formal Concept Discovery

Mining a New Fault-Tolerant Pattern Type as an Alternative to Formal Concept Discovery Mining a New Fault-Tolerant Pattern Type as an Alternative to Formal Concept Discovery Jérémy Besson 1,2 and Céline Robardet 3, and Jean-François Boulicaut 1 1 INSA Lyon, LIRIS CNRS UMR 5205, F-69621 Villeurbanne

More information

Mining alpha/beta concepts as relevant bi-sets from transactional data

Mining alpha/beta concepts as relevant bi-sets from transactional data Mining alpha/beta concepts as relevant bi-sets from transactional data Jérémy Besson 1,2, Céline Robardet 3, and Jean-François Boulicaut 1 1 INSA Lyon, LIRIS CNRS FRE 2672, F-69621 Villeurbanne cedex,

More information

A Bi-clustering Framework for Categorical Data

A Bi-clustering Framework for Categorical Data A Bi-clustering Framework for Categorical Data Ruggero G. Pensa 1,Céline Robardet 2, and Jean-François Boulicaut 1 1 INSA Lyon, LIRIS CNRS UMR 5205, F-69621 Villeurbanne cedex, France 2 INSA Lyon, PRISMa

More information

Using transposition for pattern discovery from microarray data

Using transposition for pattern discovery from microarray data Using transposition for pattern discovery from microarray data François Rioult GREYC CNRS UMR 6072 Université de Caen F-14032 Caen, France frioult@info.unicaen.fr Jean-François Boulicaut LIRIS CNRS FRE

More information

Lecture 05: Duration Calculus III

Lecture 05: Duration Calculus III Real-Time Systems Lecture 05: Duration Calculus III 2014-05-20 Dr. Bernd Westphal Albert-Ludwigs-Universität Freiburg, Germany Contents & Goals Last Lecture: DC Syntax and Semantics: Formulae This Lecture:

More information

Real-Time Systems. Lecture 15: The Universality Problem for TBA Dr. Bernd Westphal. Albert-Ludwigs-Universität Freiburg, Germany

Real-Time Systems. Lecture 15: The Universality Problem for TBA Dr. Bernd Westphal. Albert-Ludwigs-Universität Freiburg, Germany Real-Time Systems Lecture 15: The Universality Problem for TBA 2013-06-26 15 2013-06-26 main Dr. Bernd Westphal Albert-Ludwigs-Universität Freiburg, Germany Contents & Goals Last Lecture: Extended Timed

More information

Upper and Lower Bounds

Upper and Lower Bounds James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University August 30, 2017 Outline 1 2 s 3 Basic Results 4 Homework Let S be a set of real numbers. We

More information

(Pre-)Algebras for Linguistics

(Pre-)Algebras for Linguistics 1. Review of Preorders Linguistics 680: Formal Foundations Autumn 2010 (Pre-)Orders and Induced Equivalence A preorder on a set A is a binary relation ( less than or equivalent to ) on A which is reflexive

More information

Mining Biclusters of Similar Values with Triadic Concept Analysis

Mining Biclusters of Similar Values with Triadic Concept Analysis Mining Biclusters of Similar Values with Triadic Concept Analysis Mehdi Kaytoue, Sergei O. Kuznetsov, Juraj Macko, Wagner Meira, Amedeo Napoli To cite this version: Mehdi Kaytoue, Sergei O. Kuznetsov,

More information

Towards the discovery of exceptional local models: descriptive rules relating molecules and their odors

Towards the discovery of exceptional local models: descriptive rules relating molecules and their odors Towards the discovery of exceptional local models: descriptive rules relating molecules and their odors Guillaume Bosc 1, Mehdi Kaytoue 1, Marc Plantevit 1, Fabien De Marchi 1, Moustafa Bensafi 2, Jean-François

More information

Accuracy of Admissible Heuristic Functions in Selected Planning Domains

Accuracy of Admissible Heuristic Functions in Selected Planning Domains Accuracy of Admissible Heuristic Functions in Selected Planning Domains Malte Helmert Robert Mattmüller Albert-Ludwigs-Universität Freiburg, Germany AAAI 2008 Outline 1 Introduction 2 Analyses 3 Summary

More information

Optimal Spatial Dominance: An Effective Search of Nearest Neighbor Candidates

Optimal Spatial Dominance: An Effective Search of Nearest Neighbor Candidates Optimal Spatial Dominance: An Effective Search of Nearest Neighbor Candidates X I A O YA N G W A N G 1, Y I N G Z H A N G 2, W E N J I E Z H A N G 1, X U E M I N L I N 1, M U H A M M A D A A M I R C H

More information

Free-Sets: A Condensed Representation of Boolean Data for the Approximation of Frequency Queries

Free-Sets: A Condensed Representation of Boolean Data for the Approximation of Frequency Queries Data Mining and Knowledge Discovery, 7, 5 22, 2003 c 2003 Kluwer Academic Publishers. Manufactured in The Netherlands. Free-Sets: A Condensed Representation of Boolean Data for the Approximation of Frequency

More information

Biclustering Numerical Data in Formal Concept Analysis

Biclustering Numerical Data in Formal Concept Analysis Biclustering Numerical Data in Formal Concept Analysis Mehdi Kaytoue 1,SergeiO.Kuznetsov 2, and Amedeo Napoli 1 1 Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA) Campus Scientifique,

More information

On the Mining of Numerical Data with Formal Concept Analysis

On the Mining of Numerical Data with Formal Concept Analysis On the Mining of Numerical Data with Formal Concept Analysis Thèse de doctorat en informatique Mehdi Kaytoue 22 April 2011 Amedeo Napoli Sébastien Duplessis Somewhere... in a temperate forest... N 2 /

More information

Comparing Intended and Real Usage in Web Portal: Temporal Logic and Data Mining

Comparing Intended and Real Usage in Web Portal: Temporal Logic and Data Mining Comparing Intended and Real Usage in Web Portal: Temporal Logic and Data Mining Jérémy Besson 1, Ieva Mitašiūnaitė 2, Audronė Lupeikienė 1, and Jean-François Boulicaut 3 1 Institute of Mathematics and

More information

Symmetry Reduction and Heuristic Search for Error Detection in Model Checking p.1/??

Symmetry Reduction and Heuristic Search for Error Detection in Model Checking p.1/?? Symmetry Reduction and Heuristic Search for Error Detection in Model Checking Workshop on Model Checking and Artificial Intelligence 10 August 2003 Alberto Lluch Lafuente? - Tilman Mehler? lafuente@informatikuni-freiburgde

More information

Free-sets : a Condensed Representation of Boolean Data for the Approximation of Frequency Queries

Free-sets : a Condensed Representation of Boolean Data for the Approximation of Frequency Queries Free-sets : a Condensed Representation of Boolean Data for the Approximation of Frequency Queries To appear in Data Mining and Knowledge Discovery, an International Journal c Kluwer Academic Publishers

More information

Data Bases Data Mining Foundations of databases: from functional dependencies to normal forms

Data Bases Data Mining Foundations of databases: from functional dependencies to normal forms Data Bases Data Mining Foundations of databases: from functional dependencies to normal forms Database Group http://liris.cnrs.fr/ecoquery/dokuwiki/doku.php?id=enseignement: dbdm:start March 1, 2017 Exemple

More information

Mining Free Itemsets under Constraints

Mining Free Itemsets under Constraints Mining Free Itemsets under Constraints Jean-François Boulicaut Baptiste Jeudy Institut National des Sciences Appliquées de Lyon Laboratoire d Ingénierie des Systèmes d Information Bâtiment 501 F-69621

More information

Duality and Automata Theory

Duality and Automata Theory Duality and Automata Theory Mai Gehrke Université Paris VII and CNRS Joint work with Serge Grigorieff and Jean-Éric Pin Elements of automata theory A finite automaton a 1 2 b b a 3 a, b The states are

More information

Bayesian networks approximation

Bayesian networks approximation Bayesian networks approximation Eric Fabre ANR StochMC, Feb. 13, 2014 Outline 1 Motivation 2 Formalization 3 Triangulated graphs & I-projections 4 Successive approximations 5 Best graph selection 6 Conclusion

More information

Homing and Synchronizing Sequences

Homing and Synchronizing Sequences Homing and Synchronizing Sequences Sven Sandberg Information Technology Department Uppsala University Sweden 1 Outline 1. Motivations 2. Definitions and Examples 3. Algorithms (a) Current State Uncertainty

More information

CS 484 Data Mining. Association Rule Mining 2

CS 484 Data Mining. Association Rule Mining 2 CS 484 Data Mining Association Rule Mining 2 Review: Reducing Number of Candidates Apriori principle: If an itemset is frequent, then all of its subsets must also be frequent Apriori principle holds due

More information

Un nouvel algorithme de génération des itemsets fermés fréquents

Un nouvel algorithme de génération des itemsets fermés fréquents Un nouvel algorithme de génération des itemsets fermés fréquents Huaiguo Fu CRIL-CNRS FRE2499, Université d Artois - IUT de Lens Rue de l université SP 16, 62307 Lens cedex. France. E-mail: fu@cril.univ-artois.fr

More information

Efficient Haplotype Inference with Boolean Satisfiability

Efficient Haplotype Inference with Boolean Satisfiability Efficient Haplotype Inference with Boolean Satisfiability Joao Marques-Silva 1 and Ines Lynce 2 1 School of Electronics and Computer Science University of Southampton 2 INESC-ID/IST Technical University

More information

Bernhard Nebel, Julien Hué, and Stefan Wölfl. June 27 & July 2/4, 2012

Bernhard Nebel, Julien Hué, and Stefan Wölfl. June 27 & July 2/4, 2012 Bernhard Nebel, Julien Hué, and Stefan Wölfl Albert-Ludwigs-Universität Freiburg June 27 & July 2/4, 2012 vs. complexity For some restricted constraint languages we know some polynomial time algorithms

More information

Towards a scalable query rewriting algorithm in presence of value constraints

Towards a scalable query rewriting algorithm in presence of value constraints Towards a scalable query rewriting algorithm in presence of value constraints H. Jaudoin 1, F. Flouvat 2, J.-M. Petit 2, and F. Toumani 3 1 University of Rennes, ENSSAT Lannion, IRISA, UMR6074 CNRS, France

More information

Mining chains of relations

Mining chains of relations Mining chains of relations Foto Aftrati 1, Gautam Das 2, Aristides Gionis 3, Heikki Mannila 4, Taneli Mielikäinen 5, and Panayiotis Tsaparas 6 1 National Technical University of Athens, afrati@softlab.ece.ntua.gr

More information

On the Power of k-consistency

On the Power of k-consistency On the Power of k-consistency Albert Atserias Universitat Politècnica de Catalunya Barcelona, Spain Joint work with Andrei Bulatov and Victor Dalmau Constraint Satisfaction Problems Fix a relational vocabulary

More information

MACFP: Maximal Approximate Consecutive Frequent Pattern Mining under Edit Distance

MACFP: Maximal Approximate Consecutive Frequent Pattern Mining under Edit Distance MACFP: Maximal Approximate Consecutive Frequent Pattern Mining under Edit Distance Jingbo Shang, Jian Peng, Jiawei Han University of Illinois, Urbana-Champaign May 6, 2016 Presented by Jingbo Shang 2 Outline

More information

Multiagent Systems Motivation. Multiagent Systems Terminology Basics Shapley value Representation. 10.

Multiagent Systems Motivation. Multiagent Systems Terminology Basics Shapley value Representation. 10. Multiagent Systems July 2, 2014 10. Coalition Formation Multiagent Systems 10. Coalition Formation B. Nebel, C. Becker-Asano, S. Wöl Albert-Ludwigs-Universität Freiburg July 2, 2014 10.1 Motivation 10.2

More information

Foundations of Artificial Intelligence

Foundations of Artificial Intelligence Foundations of Artificial Intelligence 7. Propositional Logic Rational Thinking, Logic, Resolution Joschka Boedecker and Wolfram Burgard and Frank Hutter and Bernhard Nebel Albert-Ludwigs-Universität Freiburg

More information

RQL: a Query Language for Implications

RQL: a Query Language for Implications RQL: a Query Language for Implications Jean-Marc Petit (joint work with B. Chardin, E. Coquery and M. Pailloux) INSA Lyon CNRS and Université de Lyon Dagstuhl Seminar 12-16 May 2014 Horn formulas, directed

More information

Frequent Itemset Mining

Frequent Itemset Mining ì 1 Frequent Itemset Mining Nadjib LAZAAR LIRMM- UM COCONUT Team (PART I) IMAGINA 17/18 Webpage: http://www.lirmm.fr/~lazaar/teaching.html Email: lazaar@lirmm.fr 2 Data Mining ì Data Mining (DM) or Knowledge

More information

Data Mining Concepts & Techniques

Data Mining Concepts & Techniques Data Mining Concepts & Techniques Lecture No. 04 Association Analysis Naeem Ahmed Email: naeemmahoto@gmail.com Department of Software Engineering Mehran Univeristy of Engineering and Technology Jamshoro

More information

CLASSIC CL: an integrated ILP system

CLASSIC CL: an integrated ILP system CLASSIC CL: an integrated ILP system Christian Stolle, Andreas Karwath, and Luc De Raedt Albert-Ludwigs Universität Freiburg, Institut für Informatik, Georges Köhler Allee 79, D-79110 Freiburg, Germany,

More information

Constraint-Based Data Mining and an Application in Molecular Feature Mining

Constraint-Based Data Mining and an Application in Molecular Feature Mining Constraint-Based Data Mining and an Application in Molecular Feature Mining Luc De Raedt Chair of Machine Learning and Natural Language Processing Albert-Ludwigs-University Freiburg Joint work with Lee

More information

Interesting Patterns. Jilles Vreeken. 15 May 2015

Interesting Patterns. Jilles Vreeken. 15 May 2015 Interesting Patterns Jilles Vreeken 15 May 2015 Questions of the Day What is interestingness? what is a pattern? and how can we mine interesting patterns? What is a pattern? Data Pattern y = x - 1 What

More information

Applied Computer Science II Chapter 7: Time Complexity. Prof. Dr. Luc De Raedt. Institut für Informatik Albert-Ludwigs Universität Freiburg Germany

Applied Computer Science II Chapter 7: Time Complexity. Prof. Dr. Luc De Raedt. Institut für Informatik Albert-Ludwigs Universität Freiburg Germany Applied Computer Science II Chapter 7: Time Complexity Prof. Dr. Luc De Raedt Institut für Informati Albert-Ludwigs Universität Freiburg Germany Overview Measuring complexity The class P The class NP NP-completeness

More information

Strengthening Landmark Heuristics via Hitting Sets

Strengthening Landmark Heuristics via Hitting Sets Strengthening Landmark Heuristics via Hitting Sets Blai Bonet 1 Malte Helmert 2 1 Universidad Simón Boĺıvar, Caracas, Venezuela 2 Albert-Ludwigs-Universität Freiburg, Germany July 23rd, 2010 Contribution

More information

From Local Pattern Mining to Relevant Bi-cluster Characterization

From Local Pattern Mining to Relevant Bi-cluster Characterization From Local Pattern Mining to Relevant Bi-cluster Characterization Ruggero G. Pensa and Jean-François Boulicaut INSA Lyon, LIRIS CNRS, UMR 5205 F-69621, Villeurbanne cedex, France {Ruggero.Pensa, Jean-Francois.Boulicaut}@insa-lyon.fr

More information

Applied Computer Science II Chapter 1 : Regular Languages

Applied Computer Science II Chapter 1 : Regular Languages Applied Computer Science II Chapter 1 : Regular Languages Prof. Dr. Luc De Raedt Institut für Informatik Albert-Ludwigs Universität Freiburg Germany Overview Deterministic finite automata Regular languages

More information

Mining State Dependencies Between Multiple Sensor Data Sources

Mining State Dependencies Between Multiple Sensor Data Sources Mining State Dependencies Between Multiple Sensor Data Sources C. Robardet Co-Authored with Marc Plantevit and Vasile-Marian Scuturici April 2013 1 / 27 Mining Sensor data A timely challenge? Why is it

More information

Lecture 11: Timed Automata

Lecture 11: Timed Automata Real-Time Systems Lecture 11: Timed Automata 2014-07-01 11 2014-07-01 main Dr. Bernd Westphal Albert-Ludwigs-Universität Freiburg, Germany Contents & Goals Last Lecture: DC (un)decidability This Lecture:

More information

Sets and Motivation for Boolean algebra

Sets and Motivation for Boolean algebra SET THEORY Basic concepts Notations Subset Algebra of sets The power set Ordered pairs and Cartesian product Relations on sets Types of relations and their properties Relational matrix and the graph of

More information

Real-Time Systems. Lecture 10: Timed Automata Dr. Bernd Westphal. Albert-Ludwigs-Universität Freiburg, Germany main

Real-Time Systems. Lecture 10: Timed Automata Dr. Bernd Westphal. Albert-Ludwigs-Universität Freiburg, Germany main Real-Time Systems Lecture 10: Timed Automata 2013-06-04 10 2013-06-04 main Dr. Bernd Westphal Albert-Ludwigs-Universität Freiburg, Germany Contents & Goals Last Lecture: PLC, PLC automata This Lecture:

More information

Principles of AI Planning

Principles of AI Planning Principles of 7. State-space search: relaxed Malte Helmert Albert-Ludwigs-Universität Freiburg November 18th, 2008 A simple heuristic for deterministic planning STRIPS (Fikes & Nilsson, 1971) used the

More information

Search and Lookahead. Bernhard Nebel, Julien Hué, and Stefan Wölfl. June 4/6, 2012

Search and Lookahead. Bernhard Nebel, Julien Hué, and Stefan Wölfl. June 4/6, 2012 Search and Lookahead Bernhard Nebel, Julien Hué, and Stefan Wölfl Albert-Ludwigs-Universität Freiburg June 4/6, 2012 Search and Lookahead Enforcing consistency is one way of solving constraint networks:

More information

Principles of AI Planning

Principles of AI Planning Principles of 7. Planning as search: relaxed Malte Helmert and Bernhard Nebel Albert-Ludwigs-Universität Freiburg June 8th, 2010 How to obtain a heuristic STRIPS heuristic Relaxation and abstraction A

More information

Game Theory. Kuhn s Theorem. Bernhard Nebel, Robert Mattmüller, Stefan Wölfl, Christian Becker-Asano

Game Theory. Kuhn s Theorem. Bernhard Nebel, Robert Mattmüller, Stefan Wölfl, Christian Becker-Asano Game Theory Albert-Ludwigs-Universität Freiburg Bernhard Nebel, Robert Mattmüller, Stefan Wölfl, Christian Becker-Asano Research Group Foundations of Artificial Intelligence June 17, 2013 June 17, 2013

More information

Weighted Abstract Dialectical Frameworks

Weighted Abstract Dialectical Frameworks Weighted Abstract Dialectical Frameworks Gerhard Brewka Computer Science Institute University of Leipzig brewka@informatik.uni-leipzig.de joint work with H. Strass, J. Wallner, S. Woltran G. Brewka (Leipzig)

More information

Lecture 12: Core State Machines II

Lecture 12: Core State Machines II Software Design, Modelling and Analysis in UML Lecture 12: Core State Machines II 2015-12-15 12 2015-12-15 main Prof. Dr. Andreas Podelski, Dr. Bernd Westphal Albert-Ludwigs-Universität Freiburg, Germany

More information

Home Page. Title Page. Page 1 of 35. Go Back. Full Screen. Close. Quit

Home Page. Title Page. Page 1 of 35. Go Back. Full Screen. Close. Quit JJ II J I Page 1 of 35 General Attribute Reduction of Formal Contexts Tong-Jun Li Zhejiang Ocean University, China litj@zjou.edu.cn September, 2011,University of Milano-Bicocca Page 2 of 35 Objective of

More information

CS 584 Data Mining. Association Rule Mining 2

CS 584 Data Mining. Association Rule Mining 2 CS 584 Data Mining Association Rule Mining 2 Recall from last time: Frequent Itemset Generation Strategies Reduce the number of candidates (M) Complete search: M=2 d Use pruning techniques to reduce M

More information

A Proposition for Sequence Mining Using Pattern Structures

A Proposition for Sequence Mining Using Pattern Structures A Proposition for Sequence Mining Using Pattern Structures Victor Codocedo, Guillaume Bosc, Mehdi Kaytoue, Jean-François Boulicaut, Amedeo Napoli To cite this version: Victor Codocedo, Guillaume Bosc,

More information

Calcul de motifs sous contraintes pour la classification supervisée

Calcul de motifs sous contraintes pour la classification supervisée Calcul de motifs sous contraintes pour la classification supervisée Constraint-based pattern mining for supervised classification Dominique Joël Gay Soutenance de thèse pour l obtention du grade de docteur

More information

Motivation. Game Theory 24. Mechanism Design. Setting. Preference relations contain no information about by how much one candidate is preferred.

Motivation. Game Theory 24. Mechanism Design. Setting. Preference relations contain no information about by how much one candidate is preferred. Motivation Game Theory 24. Mechanism Design Preference relations contain no information about by how much one candidate is preferred. Idea: Use money to measure this. Albert-Ludwigs-Universität Freiburg

More information

Version Spaces.

Version Spaces. . Machine Learning Version Spaces Prof. Dr. Martin Riedmiller AG Maschinelles Lernen und Natürlichsprachliche Systeme Institut für Informatik Technische Fakultät Albert-Ludwigs-Universität Freiburg riedmiller@informatik.uni-freiburg.de

More information

On Condensed Representations of Constrained Frequent Patterns

On Condensed Representations of Constrained Frequent Patterns Under consideration for publication in Knowledge and Information Systems On Condensed Representations of Constrained Frequent Patterns Francesco Bonchi 1 and Claudio Lucchese 2 1 KDD Laboratory, ISTI Area

More information

Maximal Antichain Lattice Algorithms for Distributed Computatio

Maximal Antichain Lattice Algorithms for Distributed Computatio Maximal Antichain Lattice Algorithms for Distributed Computations Vijay K. Garg Parallel and Distributed Systems Lab, Department of Electrical and Computer Engineering, The University of Texas at Austin,

More information

George J. Klir Radim Belohlavek, Martin Trnecka. State University of New York (SUNY) Binghamton, New York 13902, USA

George J. Klir Radim Belohlavek, Martin Trnecka. State University of New York (SUNY) Binghamton, New York 13902, USA POSSIBILISTIC INFORMATION: A Tutorial Basic Level in Formal Concept Analysis: Interesting Concepts and Psychological Ramifications George J. Klir Radim Belohlavek, Martin Trnecka State University of New

More information

Biclustering meets Triadic Concept Analysis

Biclustering meets Triadic Concept Analysis Noname manuscript No. (will be inserted by the editor) Biclustering meets Triadic Concept Analysis Mehdi Kaytoue Sergei O. Kuznetsov Juraj Macko Amedeo Napoli Received: date / Accepted: date Abstract Biclustering

More information

Alternative Clustering, Multiview Clustering: What Can We Learn From Each Other?

Alternative Clustering, Multiview Clustering: What Can We Learn From Each Other? LUDWIG- MAXIMILIANS- UNIVERSITÄT MÜNCHEN INSTITUTE FOR INFORMATICS DATABASE Subspace Clustering, Ensemble Clustering, Alternative Clustering, Multiview Clustering: What Can We Learn From Each Other? MultiClust@KDD

More information

A Parameter-Free Associative Classification Method

A Parameter-Free Associative Classification Method A Parameter-Free Associative Classification Method Loïc Cerf 1, Dominique Gay 2, Nazha Selmaoui 2, and Jean-François Boulicaut 1 1 INSA-Lyon, LIRIS CNRS UMR5205, F-69621 Villeurbanne, France {loic.cerf,jean-francois.boulicaut}@liris.cnrs.fr

More information

Concept Learning.

Concept Learning. . Machine Learning Concept Learning Prof. Dr. Martin Riedmiller AG Maschinelles Lernen und Natürlichsprachliche Systeme Institut für Informatik Technische Fakultät Albert-Ludwigs-Universität Freiburg Martin.Riedmiller@uos.de

More information

Positive Borders or Negative Borders: How to Make Lossless Generator Based Representations Concise

Positive Borders or Negative Borders: How to Make Lossless Generator Based Representations Concise Positive Borders or Negative Borders: How to Make Lossless Generator Based Representations Concise Guimei Liu 1,2 Jinyan Li 1 Limsoon Wong 2 Wynne Hsu 2 1 Institute for Infocomm Research, Singapore 2 School

More information

The role of the overlap relation in constructive mathematics

The role of the overlap relation in constructive mathematics The role of the overlap relation in constructive mathematics Francesco Ciraulo Department of Mathematics and Computer Science University of PALERMO (Italy) ciraulo@math.unipa.it www.math.unipa.it/ ciraulo

More information

Principles of Knowledge Representation and Reasoning

Principles of Knowledge Representation and Reasoning Principles of Knowledge Representation and Reasoning Complexity Theory Bernhard Nebel, Malte Helmert and Stefan Wölfl Albert-Ludwigs-Universität Freiburg April 29, 2008 Nebel, Helmert, Wölfl (Uni Freiburg)

More information

Reasoning with Inconsistent and Uncertain Ontologies

Reasoning with Inconsistent and Uncertain Ontologies Reasoning with Inconsistent and Uncertain Ontologies Guilin Qi Southeast University China gqi@seu.edu.cn Reasoning Web 2012 September 05, 2012 Outline Probabilistic logic vs possibilistic logic Probabilistic

More information

Novel Methods for Graph Mining in Databases of Small Molecules. Andreas Maunz, Retreat Spitzingsee,

Novel Methods for Graph Mining in Databases of Small Molecules. Andreas Maunz, Retreat Spitzingsee, Novel Methods for Graph Mining in Databases of Small Molecules Andreas Maunz, andreas@maunz.de Retreat Spitzingsee, 05.-06.04.2011 Tradeoff Overview Data Mining i Exercise: Find patterns / motifs in large

More information

CHAPTER 1 SETS AND EVENTS

CHAPTER 1 SETS AND EVENTS CHPTER 1 SETS ND EVENTS 1.1 Universal Set and Subsets DEFINITION: set is a well-defined collection of distinct elements in the universal set. This is denoted by capital latin letters, B, C, If an element

More information

On Elementary Loops of Logic Programs

On Elementary Loops of Logic Programs Under consideration for publication in Theory and Practice of Logic Programming 1 On Elementary Loops of Logic Programs Martin Gebser Institut für Informatik Universität Potsdam, Germany (e-mail: gebser@cs.uni-potsdam.de)

More information

Greedy Biomarker Discovery in the Genome with Applications to Antibiotic Resistance

Greedy Biomarker Discovery in the Genome with Applications to Antibiotic Resistance Greedy Biomarker Discovery in the Genome with Applications to Antibiotic Resistance Alexandre Drouin, Sébastien Giguère, Maxime Déraspe, François Laviolette, Mario Marchand, Jacques Corbeil Department

More information

Elementary Sets for Logic Programs

Elementary Sets for Logic Programs Elementary Sets for Logic Programs Martin Gebser Institut für Informatik Universität Potsdam, Germany Joohyung Lee Computer Science and Engineering Arizona State University, USA Yuliya Lierler Department

More information

Introduction to data-flow analysis. Data-flow analysis. Control-flow graphs. Data-flow analysis. Example: liveness. Requirements

Introduction to data-flow analysis. Data-flow analysis. Control-flow graphs. Data-flow analysis. Example: liveness. Requirements Data-flow analysis Michel Schinz based on material by Erik Stenman and Michael Schwartzbach Introduction to data-flow analysis Data-flow analysis Example: liveness Data-flow analysis is a global analysis

More information

Elementary Sets for Logic Programs

Elementary Sets for Logic Programs Elementary Sets for Logic Programs Martin Gebser Institut für Informatik Universität Potsdam, Germany Joohyung Lee Computer Science and Engineering Arizona State University, USA Yuliya Lierler Department

More information

A CLOSURE SYSTEM FOR ELEMENTARY SITUATIONS

A CLOSURE SYSTEM FOR ELEMENTARY SITUATIONS Bulletin of the Section of Logic Volume 11:3/4 (1982), pp. 134 138 reedition 2009 [original edition, pp. 134 139] Bogus law Wolniewicz A CLOSURE SYSTEM FOR ELEMENTARY SITUATIONS 1. Preliminaries In [4]

More information

P3.C8.COMPLEX NUMBERS

P3.C8.COMPLEX NUMBERS Recall: Within the real number system, we can solve equation of the form and b 2 4ac 0. ax 2 + bx + c =0, where a, b, c R What is R? They are real numbers on the number line e.g: 2, 4, π, 3.167, 2 3 Therefore,

More information

A Least Squares Formulation for Canonical Correlation Analysis

A Least Squares Formulation for Canonical Correlation Analysis A Least Squares Formulation for Canonical Correlation Analysis Liang Sun, Shuiwang Ji, and Jieping Ye Department of Computer Science and Engineering Arizona State University Motivation Canonical Correlation

More information

Lattice-Based Zero-Knowledge Arguments for Integer Relations

Lattice-Based Zero-Knowledge Arguments for Integer Relations Lattice-Based Zero-Knowledge Arguments for Integer Relations Benoît Libert 1 San Ling 2 Khoa Nguyen 2 Huaxiong Wang 2 1 CNRS and ENS Lyon, France 2 Nanyang Technological University, Singapore CRYPTO 2018,

More information

(Yet another) decision procedure for Equality Logic

(Yet another) decision procedure for Equality Logic (Yet another) decision procedure for Equality Logic Ofer Strichman and Orly Meir echnion echnion 1 Equality Logic 0 0 0 1 0 1 E : (x 1 = x 2 Æ (x 2 x 3 Ç x 1 x 3 )) Domain: x 1,x 2,x 3 2 N he satisfiability

More information

Kleene algebra to compute with invariant sets of dynamical

Kleene algebra to compute with invariant sets of dynamical to compute with invariant sets of dynamical systems Lab-STICC, ENSTA-Bretagne MRIS, ENSTA-Paris, March 15, 2018 [5][4] Motivation Consider the system Denote by ϕ(t, x) the ow map. S : ẋ(t) = f(x(t))

More information

Property Checking of Safety- Critical Systems Mathematical Foundations and Concrete Algorithms

Property Checking of Safety- Critical Systems Mathematical Foundations and Concrete Algorithms Property Checking of Safety- Critical Systems Mathematical Foundations and Concrete Algorithms Wen-ling Huang and Jan Peleska University of Bremen {huang,jp}@cs.uni-bremen.de MBT-Paradigm Model Is a partial

More information

Triangle-free graphs that do not contain an induced subdivision of K 4 are 3-colorable

Triangle-free graphs that do not contain an induced subdivision of K 4 are 3-colorable Triangle-free graphs that do not contain an induced subdivision of K 4 are 3-colorable Maria Chudnovsky Princeton University, Princeton, NJ 08544 Chun-Hung Liu Princeton University, Princeton, NJ 08544

More information

A combinatorial view on derived codes

A combinatorial view on derived codes A combinatorial view on derived codes Relinde Jurrius (joint work with Philippe Cara) Vrije Universiteit Brussel, Belgium University of Neuchâtel, Switzerland Finite Geometries September 16, 2014 Relinde

More information

1 Motivation. Game Theory. 2 Linear Programming. Motivation. 4. Algorithms. Bernhard Nebel and Robert Mattmüller May 15th, 2017

1 Motivation. Game Theory. 2 Linear Programming. Motivation. 4. Algorithms. Bernhard Nebel and Robert Mattmüller May 15th, 2017 1 Game Theory 4. Algorithms Albert-Ludwigs-Universität Freiburg Bernhard Nebel and Robert Mattmüller May 15th, 2017 May 15th, 2017 B. Nebel, R. Mattmüller Game Theory 3 / 36 2 We know: In finite strategic

More information

Encyclopedia of Machine Learning Chapter Number Book CopyRight - Year 2010 Frequent Pattern. Given Name Hannu Family Name Toivonen

Encyclopedia of Machine Learning Chapter Number Book CopyRight - Year 2010 Frequent Pattern. Given Name Hannu Family Name Toivonen Book Title Encyclopedia of Machine Learning Chapter Number 00403 Book CopyRight - Year 2010 Title Frequent Pattern Author Particle Given Name Hannu Family Name Toivonen Suffix Email hannu.toivonen@cs.helsinki.fi

More information

Finding High-Order Correlations in High-Dimensional Biological Data

Finding High-Order Correlations in High-Dimensional Biological Data Finding High-Order Correlations in High-Dimensional Biological Data Xiang Zhang, Feng Pan, and Wei Wang Department of Computer Science University of North Carolina at Chapel Hill 1 Introduction Many real

More information

Multi-Agent Systems. Bernhard Nebel, Felix Lindner, and Thorsten Engesser. Summer Term Albert-Ludwigs-Universität Freiburg

Multi-Agent Systems. Bernhard Nebel, Felix Lindner, and Thorsten Engesser. Summer Term Albert-Ludwigs-Universität Freiburg Multi-Agent Systems Albert-Ludwigs-Universität Freiburg Bernhard Nebel, Felix Lindner, and Thorsten Engesser Summer Term 2017 Course outline 1 Introduction 2 Agent-Based Simulation 3 Agent Architectures

More information

Exploiting Fill-in and Fill-out in Gaussian-like Elimination Procedures on the Extended Jacobian Matrix

Exploiting Fill-in and Fill-out in Gaussian-like Elimination Procedures on the Extended Jacobian Matrix 2nd European Workshop on AD 1 Exploiting Fill-in and Fill-out in Gaussian-like Elimination Procedures on the Extended Jacobian Matrix Andrew Lyons (Vanderbilt U.) / Uwe Naumann (RWTH Aachen) 2nd European

More information

Game Theory. 4. Algorithms. Bernhard Nebel and Robert Mattmüller. May 2nd, Albert-Ludwigs-Universität Freiburg

Game Theory. 4. Algorithms. Bernhard Nebel and Robert Mattmüller. May 2nd, Albert-Ludwigs-Universität Freiburg Game Theory 4. Algorithms Albert-Ludwigs-Universität Freiburg Bernhard Nebel and Robert Mattmüller May 2nd, 2018 May 2nd, 2018 B. Nebel, R. Mattmüller Game Theory 2 / 36 We know: In finite strategic games,

More information

A Constraint Programming Approach for Enumerating Motifs in a Sequence

A Constraint Programming Approach for Enumerating Motifs in a Sequence A Constraint Programming Approach for Enumerating Motifs in a Sequence Emmanuel Coquery 1 1 Université Claude Bernard Lyon 1 LIRIS - CNRS UMR 5205 F-69622 Villeurbanne Cedex, France Email: emmanuel.coquery@liris.cnrs.fr

More information

Finding Errors in New Object in Formal Contexts

Finding Errors in New Object in Formal Contexts Finding Errors in New Object in Formal Contexts Artem Revenko 12, Sergei O. Kuznetsov 2, and Bernhard Ganter 1 1 Technische Universität Dresden Zellescher Weg 12-14, 01069 Dresden, Germany 2 National Research

More information

Visual meta-learning for planning and control

Visual meta-learning for planning and control Visual meta-learning for planning and control Seminar on Current Works in Computer Vision @ Chair of Pattern Recognition and Image Processing. Samuel Roth Winter Semester 2018/19 Albert-Ludwigs-Universität

More information

COMP 5331: Knowledge Discovery and Data Mining

COMP 5331: Knowledge Discovery and Data Mining COMP 5331: Knowledge Discovery and Data Mining Acknowledgement: Slides modified by Dr. Lei Chen based on the slides provided by Tan, Steinbach, Kumar And Jiawei Han, Micheline Kamber, and Jian Pei 1 10

More information

Principles of AI Planning

Principles of AI Planning Principles of 5. Planning as search: progression and regression Malte Helmert and Bernhard Nebel Albert-Ludwigs-Universität Freiburg May 4th, 2010 Planning as (classical) search Introduction Classification

More information

Frequent Pattern Mining: Exercises

Frequent Pattern Mining: Exercises Frequent Pattern Mining: Exercises Christian Borgelt School of Computer Science tto-von-guericke-university of Magdeburg Universitätsplatz 2, 39106 Magdeburg, Germany christian@borgelt.net http://www.borgelt.net/

More information

Type Inference. For the Simply-Typed Lambda Calculus. Peter Thiemann, Manuel Geffken. Albert-Ludwigs-Universität Freiburg. University of Freiburg

Type Inference. For the Simply-Typed Lambda Calculus. Peter Thiemann, Manuel Geffken. Albert-Ludwigs-Universität Freiburg. University of Freiburg Type Inference For the Simply-Typed Lambda Calculus Albert-Ludwigs-Universität Freiburg Peter Thiemann, Manuel Geffken University of Freiburg 24. Januar 2013 Outline 1 Introduction 2 Applied Lambda Calculus

More information