292,599 Hits in 6.5 sec

Characterizing functional dependencies in formal concept analysis with pattern structures

Jaume Baixeries, Mehdi Kaytoue, Amedeo Napoli
2014 Annals of Mathematics and Artificial Intelligence  
Whereas it has been deeply investigated in those fields, strong links exist with the mathematical framework of Formal Concept Analysis.  ...  Here, we present an alternative avoiding such a data representation and show how to characterize functional dependencies using the formalism of pattern structures, an extension of classical FCA to handle  ...  Basics on functional dependencies are presented in Section 2. Formal Concept Analysis and its usage to characterize functional dependencies is described in Section 3.  ... 
doi:10.1007/s10472-014-9400-3 fatcat:ckesjrsxe5fc5cvek5x35zondy

Pattern Structures and Concept Lattices for Data Mining and Knowledge Processing [chapter]

Mehdi Kaytoue, Victor Codocedo, Aleksey Buzmakov, Jaume Baixeries, Sergei O. Kuznetsov, Amedeo Napoli
2015 Lecture Notes in Computer Science  
This article aims at presenting recent advances in Formal Concept Analysis (2010)(2011)(2012)(2013)(2014)(2015), especially when the question is dealing with complex data (numbers, graphs, sequences, etc  ...  .) in domains such as databases (functional dependencies), data-mining (local pattern discovery), information retrieval and information fusion.  ...  Pattern Structures in Formal Concept Analysis Formal Concept Analysis (FCA) is a branch of applied lattice theory that appeared in the 1980's [11] .  ... 
doi:10.1007/978-3-319-23461-8_19 fatcat:i2rzursl7bfqvhthponxzbtpce

Characterizing approximate-matching dependencies in formal concept analysis with pattern structures

Jaume Baixeries, Victor Codocedo, Mehdi Kaytoue, Amedeo Napoli
2018 Discrete Applied Mathematics  
We show that these dependencies can be formalized in the framework of Formal Concept Analysis (FCA) using a previous formalization introduced for standard FDs.  ...  as implications in a pattern concept lattice.  ...  Following the same line, a characterization of FDs within Formal Concept Analysis (FCA) is proposed in [11] .  ... 
doi:10.1016/j.dam.2018.03.073 fatcat:zomtrupnfrghlfg44s6zcaz4q4

Towards a compiler analysis for parallel algorithmic skeletons

Tobias J. K. Edler von Koch, Stanislav Manilov, Christos Vasiladiotis, Murray Cole, Björn Franke
2018 Proceedings of the 27th International Conference on Compiler Construction - CC 2018  
In this paper we argue that commutativity is a more suitable concept supporting formal characterization of parallel algorithmic skeletons.  ...  In this way we provide the urgently needed formal characterization of widely used parallel constructs allowing their immediate use in novel parallelizing compilers.  ...  Validation In this section we show that our formal skeleton definitions are in line with existing informal characterizations.  ... 
doi:10.1145/3178372.3179513 dblp:conf/cc/KochMVCF18 fatcat:toa6gtu7ibheticjhphtxytmz4

A Theoretical Model of Mathematics for Teaching the Concept of Function

Graça Luzia Dominguez Santos, Jonei Cerqueira Barbosa
2021 The Mathematics Enthusiast  
The model presents a descriptive language with a theoretical structure that relies fundamentally on the realization and recognition rules inspired in Basil Bernstein's theory.  ...  The landscapes that make up the model are the tabular, diagram, algebraic, transformation machine, graphic, pattern generalization and formal landscapes.  ...  Some of these bridges were identified in the analysis performed in the previous section, for example, in between pattern generalization, formal, graphic, tabular, and algebraic landscapes.  ... 
doi:10.54870/1551-3440.1536 fatcat:q3jiweqohbh73fvyb3q2u2qc7q

Essentialized Conceptual Structures in Ontology Modeling [chapter]

Patryk Burek
2005 Lecture Notes in Computer Science  
However, in process of ontology modeling information concerning the structure of human concepts is lost.  ...  Psychology and cognitive science show that human concepts possess particular structures (conceptual structures).  ...  Common Ontology Pattern Typically, ontologies are considered as structures of concepts, relations, functions, axioms and instances [8] where relations, functions and axioms define concepts by necessary  ... 
doi:10.1007/11552451_121 fatcat:ljw5cpqun5d3nmzqxuqlb4ow3e

Basic concepts of medical genetics, formal genetics, Part 1

Mohammad Saad Zaghloul Salem
2014 Egyptian Journal of Medical Human Genetics  
Progress in analysis of structural organization of the human genome generates a flood of information leading to characterization of new formal maps of specific DNA markers and regions of both structural  ...  Basic concepts of formal genetics The definition of formal genetics is still a matter of contention.  ... 
doi:10.1016/j.ejmhg.2013.10.001 fatcat:otahjrwzjvhpdpcuicfco5x77m

Mining Patterns and Violations Using Concept Analysis [chapter]

Christian Lindig
2015 The Art and Science of Analyzing Software Data  
By combining patterns and their instances into blocks, we gain access to the rich theory of formal concepts.  ...  We are proposing a more general framework to understand and mine purely structural patterns and violations.  ...  Discussions with Silvia Breu, David Schuler, and Valentin Dallmeier improved this paper.  ... 
doi:10.1016/b978-0-12-411519-4.00002-1 fatcat:7ssfzerikrejfejlsamzexoup4

A Proposition for Combining Pattern Structures and Relational Concept Analysis [chapter]

Víctor Codocedo, Amedeo Napoli
2014 Lecture Notes in Computer Science  
In a nutshell, this adaptation allows the scenario where RCA needs to be applied in a relational context family composed by pattern structures instead of formal contexts.  ...  In this paper we propose an adaptation of the RCA process enabling the relational scaling of pattern structures.  ...  Introduction Relational Concept Analysis (RCA) [10] is an extension of Formal Concept Analysis (FCA) [4] based on a scaling process.  ... 
doi:10.1007/978-3-319-07248-7_8 fatcat:odhqsbn6hna7hoobutulwuhwle

Description Logics based Formalization of Wh-Queries [article]

Sourish Dasgupta, Rupali KaPatel, Ankur Padia, Kushal Shah
2013 arXiv   pre-print
Formalization also helps in Web query normalization and indexing, query intent analysis, etc.  ...  The problem of Natural Language Query Formalization (NLQF) is to translate a given user query in natural language (NL) into a formal language so that the semantic interpretation has equivalence with the  ...  We developed a pseudo-grammar structure, called Query Characterization Template (QCT), that captures the intrinsic desire-input dependency structure in all forms of English factual queries (simple, complex  ... 
arXiv:1312.6948v1 fatcat:7d5szcxrgbband4bivac5kroou

A Framework for Evaluating Schedulability Analysis Tools [chapter]

Lijun Shan, Susanne Graf, Sophie Quinton, Loïc Fejoz
2017 Lecture Notes in Computer Science  
In this section, we introduce RTLib, a library of UPPAAL templates formalizing concepts which are commonly utilized in real-time system analysis.  ...  The RTLib library is structured around a core of basic concepts that exist in most frameworks.  ... 
doi:10.1007/978-3-319-63121-9_27 fatcat:xsnuy7du5bdppo27jp4l6nqzyi

A Comparative Analysis of RE Approaches for MAS

Anuja Soni
2014 International Journal of Computer Applications  
It was observed that a number of RE approaches in literature, are the rich sources of techniques facilitating various phases of RE.  ...  This work presents a year-wise comparative analysis of these RE approaches that could provide systematic guidelines to developers for an effective application of RE to Multi-Agent System (MAS).  ...  concept analysis (FCA) characterized by FCA lattice and CK theory.  ... 
doi:10.5120/18844-0259 fatcat:dmkzczxwqvds5jmtw7u6mw7bqe

Malformations of Cortical Development: A Structural and Functional MRI Perspective

R. Edward Hogan
2018 Epilepsy Currents  
Commentary Advances in MRI technology enable evaluation of global changes in both structure and function of the brain.  ...  The article by Hong et al. uses an interesting approach to the study of patients with malformations of cortical development (MCDs) and chronic epilepsy, using both structural and functional MRI.  ...  Differences in the structural and functional changes were supported by formal structure-function coupling analysis.  ... 
doi:10.5698/1535-7597.18.2.92 pmid:29643751 pmcid:PMC5887617 fatcat:iuqdkukqffgkjc4zh2ruhxzhve

Modeling Changes for SHOIN(D) Ontologies: An Exhaustive Structural Model

Perrine Pittet, Christophe Cruz, Christophe Nicolle
2013 2013 IEEE Seventh International Conference on Semantic Computing  
Ontology development starts with a rigorous ontological analysis that provides a conceptualization of the domain to model agreed by the community.  ...  An ontology, specified in a formal language, approximates the intended models of this conceptualization. It needs then to be revised and refined until an ontological commitment is found.  ...  own Structural Consistency Pattern derived from the constraints presented in the dependency matrix.  ... 
doi:10.1109/icsc.2013.27 dblp:conf/semco/PittetCN13 fatcat:ptqbq3jo3vehdgzf34mtxfw67q

Mining gene expression data with pattern structures in formal concept analysis

Mehdi Kaytoue, Sergei O. Kuznetsov, Amedeo Napoli, Sébastien Duplessis
2011 Information Sciences  
This paper addresses the important problem of efficiently mining numerical data with formal concept analysis (FCA).  ...  The second one relies on pattern structures without a priori transformation, and is shown to be more computationally efficient and to provide more readable results.  ...  Concepts are ordered within a lattice structure called concept lattice within the Formal Concept Analysis (FCA) framework [9] .  ... 
doi:10.1016/j.ins.2010.07.007 fatcat:gqxivxkecnbtfohxfagsuzqas4
« Previous Showing results 1 — 15 out of 292,599 results