English
Related papers

Related papers: FCA using the Concept Explorer in 2024

200 papers

We present a new software framework for simulating lattice field theories. It features an intuitive programming interface, while simultaneously achieving high performance supercomputing, all in one programming language, Nim. With a macro…

High Energy Physics - Lattice · Physics 2016-12-09 Xiao-Yong Jin , James C. Osborn

It is well known by analysts that a concept lattice has an exponential size in the data. Thus, as soon as he works with real data, the size of the concept lattice is a fundamental problem. In this chapter, we propose to investigate factor…

Discrete Mathematics · Computer Science 2015-11-20 Jean-François Viaud , Karell Bertet , Christophe Demko , Rokia Missaoui

In this paper the problems of deriving a taxonomy from a text and concept-oriented text segmentation are approached. Formal Concept Analysis (FCA) method is applied to solve both of these linguistic problems. The proposed segmentation…

Computation and Language · Computer Science 2010-10-13 Mihaiela Lupea , Doina Tatar , Zsuzsana Marian

Background: Since Google introduced Kotlin as an official programming language for developing Android apps in 2017, Kotlin has gained widespread adoption in Android development. The inter-operability of Java and Kotlin's design nature…

Software Engineering · Computer Science 2024-07-29 Qiong Feng , Huan Ji , Xiaotian Ma , Peng Liang

Manual ontology construction takes time, resources, and domain specialists. Supporting a component of this process for automation or semi-automation would be good. This project and dissertation provide a Formal Concept Analysis and WordNet…

Computation and Language · Computer Science 2023-11-28 Bryar A. Hassan

The presence of GPU from different vendors demands the Lattice QCD codes to support multiple architectures. To this end, Open Computing Language (OpenCL) is one of the viable frameworks for writing a portable code. It is of interest to find…

High Energy Physics - Lattice · Physics 2025-02-06 Piyush Kumar , Szabolcs Borsanyi , Jana N. Guenther , Chik Him Wong

In this paper we describe a mechanism to improve Information Retrieval (IR) on the web. The method is based on Formal Concepts Analysis (FCA) that it is makes semantical relations during the queries, and allows a reorganizing, in the shape…

Information Retrieval · Computer Science 2010-03-09 Abderrahim El Qadi , Driss Aboutajedine , Yassine Ennouary

A bottleneck to developing Semantic Parsing (SP) models is the need for a large volume of human-labeled training data. Given the complexity and cost of human annotation for SP, labeled data is often scarce, particularly in multilingual…

Computation and Language · Computer Science 2022-10-17 Andy Rosenbaum , Saleh Soltan , Wael Hamza , Amir Saffari , Marco Damonte , Isabel Groves

Large-scale pre-trained text-image models with dual-encoder architectures (such as CLIP) are typically adopted for various vision-language applications, including text-image retrieval. However,these models are still less practical on edge…

Computer Vision and Pattern Recognition · Computer Science 2023-05-30 Jiapeng Wang , Chengyu Wang , Xiaodan Wang , Jun Huang , Lianwen Jin

In order to address complex systems, apply pattern recongnition on their evolution could play an key role to understand their dynamics. Global patterns are required to detect emergent concepts and trends, some of them with qualitative…

Artificial Intelligence · Computer Science 2011-08-05 Gonzalo A. Aranda-Corral , Joaquín Borrego-Díaz , Juan Galán-Páez

Formal concept analysis (FCA) is built on a special type of Galois connections called polarities. We present new results in formal concept analysis and in Galois connections by presenting new Galois connection results and then applying…

Other Computer Science · Computer Science 2013-09-23 Jeffrey T. Denniston , Austin Melton , Stephen E. Rodabaugh

Concept-based interpretability methods are a popular form of explanation for deep learning models which provide explanations in the form of high-level human interpretable concepts. These methods typically find concept activation vectors…

Machine Learning · Computer Science 2024-08-19 Angus Nicolson , Yarin Gal , J. Alison Noble

The emergence of Formal Concept Analysis (FCA) as a data analysis technique has increased the need for developing algorithms which can compute formal concepts quickly. The current efficient algorithms for FCA are variants of the…

Artificial Intelligence · Computer Science 2021-11-02 Jianqin Zhou , Sichun Yang , Xifeng Wang , Wanquan Liu

With numerous specialised technologies available to industry, it has become increasingly frequent for computer systems to be composed of heterogeneous components built over, and using, different technologies and languages. While this…

Software Engineering · Computer Science 2013-02-22 Christian Colombo , Adrian Francalanza , Ruth Mizzi , Gordon J. Pace

When lambda expressions were introduced to the Java programming language as part of the release of Java 8 in 2014, they were the language's first step into functional programming. Since lambda expressions are still relatively new, not all…

Software Engineering · Computer Science 2019-03-18 Anwar Alqaimi , Patanamon Thongtanunam , Christoph Treude

Analysis tools like abstract interpreters, symbolic execution tools and testing tools usually require a proper context to give useful results when analyzing a particular function. Such a context initializes the function parameters and…

Programming Languages · Computer Science 2017-09-15 Michele Alberti , Julien Signoles

In the process of knowledge discovery and representation in large datasets using formal concept analysis, complexity plays a major role in identifying all the formal concepts and constructing the concept lattice(digraph of the concepts).…

Artificial Intelligence · Computer Science 2018-07-09 Raghavendra K Chunduri , Aswani Kumar Cherukuri

An introductory formal languages course exposes advanced undergraduate and early graduate students to automata theory, grammars, constructive proofs, computability, and decidability. Programming students find these topics to be challenging…

Formal Languages and Automata Theory · Computer Science 2014-12-17 Marco T. Morazán , Rosario Antunez

In this paper, we present Lupa - a framework for large-scale analysis of the programming language usage. Lupa is a command line tool that uses the power of the IntelliJ Platform under the hood, which gives it access to powerful static…

Programming Languages · Computer Science 2022-03-30 Anna Vlasova , Maria Tigina , Ilya Vlasov , Anastasiia Birillo , Yaroslav Golubev , Timofey Bryksin

This is the user manual for CosmoLattice, a modern package for lattice simulations of the dynamics of interacting scalar and gauge fields in an expanding universe. CosmoLattice incorporates a series of features that makes it very versatile…

Cosmology and Nongalactic Astrophysics · Physics 2022-11-09 Daniel G. Figueroa , Adrien Florio , Francisco Torrenti , Wessel Valkenburg