Formal Concept Analysis

Formal Concept Analysis

Formal Concept Analysis (FCA) is a mathematical theory of concepts and c- ceptualhierarchyleadingtomethodsforconceptuallyanalyzingdataandkno- edge. The theoryitselfstronglyreliesonorderandlatticetheory,whichhasbeen studied by mathematicians over decades. FCA proved itself highly relevant in several...

Saved in:

書目詳細資料
其他作者:	Medina, Raoul
格式:	圖書
語言:	English
出版:	Springer 2017
主題:	Formal Concept Analysis (FCA) Mathematical theory
在線閱讀:	http://repository.vnu.edu.vn/handle/VNU_123/26354
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!
機構:	Vietnam National University, Hanoi
語言:	English

相似書籍

Optical-limiting-based materials of mono-functional, multi-functional and supramolecular C60-containing polymers
由: Elim, H.I., et al.
出版: (2014)

Formalizing mathematics in LEAN
由: Liu, Yufei
出版: (2024)

Formalizing UML state machines for automated verification: A survey
由: ETIENE, Andre, et al.
出版: (2023)

FORMAL SECURITY ANALYSIS: SECRECY, AUTHENTICATION AND ATTESTATION
由: LI LI
出版: (2015)

Formal analysis for stateflow diagrams
由: Chen, C.
出版: (2013)

Kovesi and the Formal and Material Elements of Concepts
由: MOONEY, T. Brian, et al.
出版: (2011)

A phenomenographic study of students’ conceptions of formal research procedures
由: Yeo, Jesvin Puay-Hwa, et al.
出版: (2016)

Personnel Formalization and the Enhancement Of Teamwork: A public–private comparison
由: Chen, Chung-An, et al.
出版: (2016)

Formal analysis of pervasive computing systems
由: Liu, Y., et al.
出版: (2013)

Mathematical formalisms in scientific practice: From denotation to model-based representation
由: Gelfert, A.
出版: (2014)

Formal Methods for Industrial Critical Systems
出版: (2017)

Tools and verification techniques for integrated formal methods
由: SUN JING
出版: (2010)

Towards formal modeling and verification of cloud architectures: A case study on hadoop
由: Reddy, G.S., et al.
出版: (2014)

FORMALLY ANALYZING AND VERIFYING SECURE SYSTEM DESIGN AND IMPLEMENTATION
由: BAI GUANGDONG
出版: (2015)

FORMAL VERIFICATION-BASED PROGRAM REPAIR
由: NGUYEN THANH TOAN
出版: (2022)

Feature location in a collection of product variants
由: Xue, Y., et al.
出版: (2013)

The deterrence effects of tax whistleblower laws : Evidence from New York’s false claims acts
由: LEE, Yoojin, et al.
出版: (2024)

An introduction to concept-level sentiment analysis
由: Cambria, E.
出版: (2014)

Cognitive Load Scale in Learning Formal Definition of Limit: A Rasch Model Approach
由: Oktaviyanthi, Rina, et al.
出版: (2024)

FORMAL ANALYSIS OF WEB SERVICE COMPOSITION
由: CHEN MANMAN
出版: (2015)

Formal designs for embedded and hybrid systems
由: Dong, J.S., et al.
出版: (2013)

Concept Connectivity: An Educational and Research Framework for Scientific Learning in Optics, Photonics, and Electronic Education
由: Dingel, Benjamin, et al.
出版: (2023)

Formal specification-based monitoring, regression testing and aspects
由: LIANG HUI
出版: (2010)

Formal semantics and verification for feature modeling
由: Sun, J., et al.
出版: (2013)

Understanding Manufacturing Informality: Employment and Productivity Linkages with the Formal Economy
由: Verma, Abhinav
出版: (2020)

Formal analysis of pervasive computing systems
由: LIU, Yan, et al.
出版: (2012)

Document concept lattice for text understanding and summarization
由: Ye, S., et al.
出版: (2013)

Formalizing and Verifying Design Decisions in Single Systems and Software Product Lines
由: HENG BOON KUI
出版: (2014)

Towards a universal detector by mining concepts with small semantic gaps
由: Feng, J., et al.
出版: (2014)

Formal Modeling and Analysis of Timed Systems
出版: (2017)

Concept mapping in introductory physics
由: Mistades, Voltaire Mallari
出版: (2009)

Survey of number sense performance of Ist year freshmen
由: Mariano, Mary Joyce B.
出版: (2005)

OBSERVING ARTIFICIAL LIFE EVOLUTION: A FORMAL ALGEBRAIC FRAMEWORK
由: JANARDAN MISHRA
出版: (2010)

A framework for formalization and strictness analysis of simulation event orderings
由: Teo, Y.M., et al.
出版: (2013)

On the sequential massart algorithm for statistical model checking
由: JEGOUREL, Cyrille, et al.
出版: (2018)

Mapping 12 years of communication scholarship: themes and concepts in the Journal of Communication
由: Lin, J., et al.
出版: (2016)

Formal Methods for Components and Objects
出版: (2017)

A survey of smart contract formal specification and verification
由: Tolmach, Palina, et al.
出版: (2022)

A formal framework for modeling and validating Simulink diagrams
由: Chen, C., et al.
出版: (2013)

Region-adaptive concept aggregation for few-shot visual recognition
由: Han, Mengya, et al.
出版: (2023)