A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
Filters
Characterizing functional dependencies in formal concept analysis with pattern structures
2014
Annals of Mathematics and Artificial Intelligence
Preserved Fulltext
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]
2015
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2018
Discrete Applied Mathematics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2018
Proceedings of the 27th International Conference on Compiler Construction - CC 2018
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2021
The Mathematics Enthusiast
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2014
Egyptian Journal of Medical Human Genetics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2015
The Art and Science of Analyzing Software Data
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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]
2014
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2013
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2017
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2014
International Journal of Computer Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2018
Epilepsy Currents
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2013
2013 IEEE Seventh International Conference on Semantic Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2011
Information Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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