Knowledge extraction, modeling and formalization: EEG case study
Formal Concept Analysis (FCA) is a well-established method for data analysis which finds many applications in data mining. Its extension on complex data representation formats brought a wave of new applications to the problems such as gene expression mining, prediction of toxicity of chemical compounds or clustering of sequences in process event logs. Insipired from this work our research inherits their model and designs an experiment for mining electroencephalographic recordings for patterns of sleep spindles. The contribution of this paper lies in the specification of desritizition procedure and the architecture of FCA experiment. We also provide some reflection on the related research papers.
Code (0)
등록된 구현이 없습니다.
Tasks
ClusteringEEGElectroencephalogram (EEG)Similar Papers 제목 키워드 기반
Enhanced Language Representation with Label Knowledge for Span Extraction
Span extraction, aiming to extract text spans (such as words or phrases) from plain texts, is a fundamental process in Information Extraction. Recent works introduce the label knowledge to enhance the text representation…
Event DetectionNERQuestion AnsweringModel-Driven Engineering Method to Support the Formalization of Machine Learning using SysML
Methods: This work introduces a method supporting the collaborative definition of machine learning tasks by leveraging model-based engineering in the formalization of the systems modeling language SysML. The method suppo…
Code GenerationThe NNN Formalization: Review and Development of Guideline Specification in the Care Domain
Due to an ageing society, it can be expected that less nursing personnel will be responsible for an increasing number of patients in the future. One way to address this challenge is to provide system-based support for nu…
Reformalization of the Jordan Curve Theorem
We present a case study in reformalization, a variant of autoformalization in which the input proof is not natural language but a formal development in a different proof assistant. Concretely, we report three reformaliza…
Sorries Are Not the Hard Part: An Expert-Review Case Study of a Semi-Autonomous Formalization
Large language models can often close proof gaps in interactive theorem provers, but a verified theorem is not the same thing as a reusable library contribution. We study this distinction through a detailed case study: a…