Mining bi-sets in numerical data
|
|
- Darren Fleming
- 5 years ago
- Views:
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 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 informationMining 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 informationMining 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 informationA 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 informationUsing 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 informationLecture 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 informationReal-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 informationUpper 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
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 informationMining 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 informationTowards 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 informationAccuracy 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 informationOptimal 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 informationFree-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 informationBiclustering 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 informationOn 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 informationComparing 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 informationSymmetry 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 informationFree-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 informationData 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 informationMining 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 informationDuality 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 informationBayesian 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 informationHoming 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 informationCS 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 informationUn 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 informationEfficient 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 informationBernhard 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 informationTowards 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 informationMining 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 informationOn 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 informationMACFP: 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 informationMultiagent 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 informationFoundations 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 informationRQL: 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 informationFrequent 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 informationData 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 informationCLASSIC 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 informationConstraint-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 informationInteresting 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 informationApplied 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 informationStrengthening 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 informationFrom 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 informationApplied 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 informationMining 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 informationLecture 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 informationSets 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 informationReal-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 informationPrinciples 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 informationSearch 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 informationPrinciples 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 informationGame 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 informationWeighted 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 informationLecture 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 informationHome 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 informationCS 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 informationA 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 informationCalcul 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 informationMotivation. 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 informationVersion 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 informationOn 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 informationMaximal 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 informationGeorge 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 informationBiclustering 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 informationAlternative 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 informationA 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 informationConcept 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 informationPositive 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 informationThe 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 informationPrinciples 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 informationReasoning 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 informationNovel 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 informationCHAPTER 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 informationOn 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 informationGreedy 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 informationElementary 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 informationIntroduction 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 informationElementary 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 informationA 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 informationP3.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 informationA 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 informationLattice-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 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 informationKleene 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 informationProperty 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 informationTriangle-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 informationA 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 information1 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 informationEncyclopedia 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 informationFinding 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 informationMulti-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 informationExploiting 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 informationGame 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 informationA 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 informationFinding 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 informationVisual 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 informationCOMP 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 informationPrinciples 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 informationFrequent 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 informationType 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