English
Related papers

Related papers: Set-Theoretic Preliminaries for Computer Scientist…

200 papers

This study explores and analyzes the learning tendencies of second-year students enrolled in different lines of study related to the Databases course. There were 79 answers collected from 191 enrolled students that were analyzed and…

Databases · Computer Science 2023-07-11 Emilia Pop , Manuela Petrescu

In relational approach to general rough sets, ideas of directed relations are supplemented with additional conditions for multiple algebraic approaches in this research paper. The relations are also specialized to representations of general…

Logic in Computer Science · Computer Science 2020-04-28 Mani A , Sandor Radeleczki

Citations are the cornerstone of knowledge propagation and the primary means of assessing the quality of research, as well as directing investments in science. Science is increasingly becoming "data-intensive", where large volumes of data…

Digital Libraries · Computer Science 2017-09-28 Gianmaria Silvello

Use of machine learning to perform database operations, such as indexing, cardinality estimation, and sorting, is shown to provide substantial performance benefits. However, when datasets change and data distribution shifts, empirical…

Machine Learning · Computer Science 2024-11-12 Sepanta Zeighami , Cyrus Shahahbi

Research at the intersection of machine learning and the social sciences has provided critical new insights into social behavior. At the same time, a variety of critiques have been raised ranging from technical issues with the data used and…

Computers and Society · Computer Science 2020-01-16 Jason Radford , Kenneth Joseph

Table foundation models bring high hopes to data science: pre-trained on tabular data to embark knowledge or priors, they should facilitate downstream tasks on tables. One specific challenge is that of data semantics: numerical entries take…

Machine Learning · Computer Science 2025-07-01 Myung Jun Kim , Félix Lefebvre , Gaëtan Brison , Alexandre Perez-Lebel , Gaël Varoquaux

Rough set theory is a new method that deals with vagueness and uncertainty emphasized in decision making. Data mining is a discipline that has an important contribution to data analysis, discovery of new meaningful knowledge, and autonomous…

Databases · Computer Science 2013-11-19 Thabet Slimani

We introduce and investigate a family of consequence relations with the goal of capturing certain important patterns of data-driven inference. The inspiring idea for our framework is the fact that data may reject, possibly to some degree,…

Logic · Mathematics 2024-08-23 Paolo Baldi , Esther Anna Corsi , Hykel Hosni

This paper presents mathematics as a general science of computation in a way different from the tradition. It is based on the radical philosophical standpoint according to which the content, meaning and justification of experience lies in…

History and Overview · Mathematics 2007-05-23 Aarno Hohti

Spreadsheets are among the most commonly used applications for data management and analysis. Perhaps they are even among the most widely used computer applications of all kinds. They combine in a natural and intuitive way data processing…

Databases · Computer Science 2016-05-04 Jacek Sroka , Adrian Panasiuk , Krzysztof Stencel , Jerzy Tyszkiewicz

Translating expressions between different logics and theorem provers is notoriously and often prohibitively difficult, due to the large differences between the logical foundations, the implementations of the systems, and the structure of…

Logic in Computer Science · Computer Science 2017-12-06 Dennis Müller , Colin Rothgang , Yufei Liu , Florian Rabe

Literature search is critical for any scientific research. Different from Web or general domain search, a large portion of queries in scientific literature search are entity-set queries, that is, multiple entities of possibly different…

Information Retrieval · Computer Science 2018-05-01 Jiaming Shen , Jinfeng Xiao , Xinwei He , Jingbo Shang , Saurabh Sinha , Jiawei Han

Hypercomputational formal theories will, clearly, be both structurally and foundationally different from the formal theories underpinning computational theories. However, many of the maps that might guide us into this strange realm have…

Other Computer Science · Computer Science 2011-11-10 David Love

The prime number problem falls within the realm of number theory, specifically elementary number theory. Current research approaches have unnecessarily complicated this matter. In contrast to more advanced mathematical tools, the methods of…

General Mathematics · Mathematics 2024-04-04 HaoJie Huang

We consider the foundational relation between arithmetic and set theory. Our goal is to criticize the construction of standard arithmetic models as providing grounds for arithmetic truth (even in a relative sense). Our method is to…

Logic · Mathematics 2020-02-06 Alfredo Roque Freire

Matching plays a vital role in the rational allocation of resources in many areas, ranging from market operation to people's daily lives. In economics, the term matching theory is coined for pairing two agents in a specific market to reach…

Social and Information Networks · Computer Science 2021-03-17 Jing Ren , Feng Xia , Xiangtai Chen , Jiaying Liu , Mingliang Hou , Ahsan Shehzad , Nargiz Sultanova , Xiangjie Kong

The article suggests a description of a system of tables with a set of special lists absorbing a semantics of data and reflects a fullness of data. It shows how their parallel processing can be constructed based on the descriptions. The…

Distributed, Parallel, and Cluster Computing · Computer Science 2008-11-03 R. Nuriyev

Codd's Theorem, a fundamental result of database theory, asserts that relational algebra and relational calculus have the same expressive power on relational databases. We explore Codd's Theorem for databases over semirings and establish…

Logic in Computer Science · Computer Science 2025-04-16 Guillermo Badia , Phokion G. Kolaitis , Carles Noguera

Mining association rules is a popular and well researched method for discovering interesting relations between variables in large databases. A practical problem is that at medium to low support values often a large number of frequent…

Databases · Computer Science 2008-12-18 Michael Hahsler , Christian Buchta , Kurt Hornik

Preferences are a pivotal component in practical reasoning, especially in tasks that involve decision-making over different options or courses of action that could be pursued. In this work, we focus on repairing and querying inconsistent…

Databases · Computer Science 2024-05-28 Nina Pardal , Santiago Cifuentes , Edwin Pin , Maria Vanina Martinez , Sergio Abriola