Results 1 to 10 of about 3,258,688 (158)
Mathematical Logic in Computer Science [PDF]
, 2018 First author ...
A. J. Kfoury
openalex +3 more sources
Addressing Hate Speech with Data Science: An Overview from Computer Science Perspective [PDF]
Wachs S., Koch-Priewe B., Zick A. (eds) Hate Speech -
Multidisziplinare Analysen und Handlungsoptionen. Springer VS, Wiesbaden.
2021, 2021 From a computer science perspective, addressing on-line hate speech is a challenging task that is attracting the attention of both industry (mainly social media platform owners) and academia. In this chapter, we provide an overview of state-of-the-art data-science approaches - how they define hate speech, which tasks they solve to mitigate the ...
arxiv +1 more source
The prospects for mathematical logic in the twenty-first century [PDF]
, 2001 The four authors present their speculations about the future developments of mathematical logic in the twenty-first century. The areas of recursion theory, proof theory and logic for computer science, model theory, and set theory are discussed ...
Alexander S. Kechris +4 more
core +3 more sources
Introduction: Cognitive Issues in Natural Language Processing [PDF]
Traitement Automatique des Langues, ATALA, 2014, Traitement
Automatique des Langues et Sciences Cognitives, 55 (3), pp.7-19, 2016 This special issue is dedicated to get a better picture of the relationships between computational linguistics and cognitive science. It specifically raises two questions: "what is the potential contribution of computational language modeling to cognitive science?" and conversely: "what is the influence of cognitive science in contemporary ...
arxiv +1 more source
A Sound and Complete Axiomatization of Majority-n Logic [PDF]
, 2015 Manipulating logic functions via majority operators recently drew the attention of researchers in computer science. For example, circuit optimization based on majority operators enables superior results as compared to traditional logic systems. Also, the
Amaru, Luca +3 more
core +2 more sources
An Institution of Modal Logics for Coalgebras [PDF]
, 2006 This paper presents a modular framework for the specification of certain inductively-defined coalgebraic types. Modal logics for coalgebras of polynomial endofunctors on the category of sets have been studied in [M.
Barr +13 more
core +1 more source
Computer Science for Continuous Data:Survey, Vision, Theory, and Practice of a Computer Analysis System [PDF]
, 2022 Building on George Boole's work, Logic provides a rigorous foundation for the powerful tools in Computer Science that underlie nowadays ubiquitous processing of discrete data, such as strings or graphs. Concerning continuous data, already Alan Turing had
Brausse, F., Collins, P., Ziegler, M.
core +1 more source
Why The Trans Programmer? [PDF]
arXiv, 2022 Through online anecdotal evidence and online communities, there is an in-group idea of trans people (specifically trans-feminine individuals) disproportionately entering computer science education & fields. Existing data suggests this is a plausible trend, yet no research has been done into exactly why.
arxiv
Towards "dynamic domains": totally continuous cocomplete Q-categories [PDF]
, 2005 It is common practice in both theoretical computer science and theoretical physics to describe the (static) logic of a system by means of a complete lattice.
Stubbe, Isar
core +2 more sources
International Journal on Advanced Science Engineering Information
Technology, 12(3), 2022, 2022 Possible for science itself, conceptually, to have and will understand differently, let alone science also seen as technology, such as computer science. After all, science and technology are viewpoints diverse by either individual, community, or social. Generally, it depends on socioeconomic capabilities.
arxiv