Results 1 to 10 of about 285,788 (197)
Game Semantics in Teaching of Classical First Order Predicate Logic to Stu- dents of Computer Science [PDF]
MATEC Web of Conferences, 2018 Game-theoretical interpretation of logical semantics has been first suggested in 1950s. Although it is well know among professionals, it is often excluded from introductory courses in logic.
Glivická Jana
doaj +2 more sources
tDCS and neurofeedback in ADHD treatment [PDF]
Frontiers in Systems NeuroscienceAttention deficit hyperactivity disorder (ADHD) stands as one of the most prevalent neurodevelopmental disorders, affecting millions worldwide. While traditional pharmacological interventions have been the cornerstone of ADHD treatment, emerging novel ...
Alexandra Bernadotte +3 more
doaj +2 more sources
Semantics, Algorithmics and Logic: Basic Research in Computer Science. BRICS Inaugural Talk
, 1994 This is a transcript of a talk at the inauguration of BRICS, Basic Research in Computer Science, Centre of the Danish Research Foundation, on 2 February 1994 at the Steno museum, University of Aarhus, Denmark.
Glynn Winskel
openalex +3 more sources
The Brain-Computer Metaphor Debate Is Useless: A Matter of Semantics
Frontiers of Computer Science, 2022 It is commonly assumed that usage of the word “computer” in the brain sciences reflects a metaphor. However, there is no single definition of the word “computer” in use.
B. Richards, T. Lillicrap
semanticscholar +1 more source
Gender Recognition of Bangla Names Using Deep Learning Approaches
Applied Sciences, 2022 The name of individuals has a specific meaning and great significance. Individuals’ names generally have substantial gender differences, and explicitly, Bengali names usually have a solid sexual identity.
Md. Humaun Kabir +3 more
doaj +1 more source
FAIR High Content Screening in Bioimaging
Scientific Data, 2023 The Minimum Information for High Content Screening Microscopy Experiments (MIHCSME) is a metadata model and reusable tabular template for sharing and integrating high content imaging data.
Rohola Hosseini +5 more
doaj +1 more source
A Comparative Analysis of VirLock and Bacteriophage ϕ6 through the Lens of Game Theory
Analytics, 2023 The novelty of this paper lies in its perspective, which underscores the fruitful correlation between biological and computer viruses. In the realm of computer science, the study of theoretical concepts often intersects with practical applications ...
Dimitris Kostadimas +2 more
doaj +1 more source
Special Issue: Quantum structures in computer science: Language, semantics, retrieval
Theoretical Computer Science, 2018 Diederik Aerts +4 more
openalex +2 more sources
The brain-computer analogy—“A special issue”
Frontiers in Ecology and Evolution, 2023 In this review essay, we give a detailed synopsis of the twelve contributions which are collected in a Special Issue in Frontiers Ecology and Evolution, based on the research topic “Current Thoughts on the Brain-Computer Analogy—All Metaphors Are Wrong ...
Giorgio Matassi +3 more
doaj +1 more source
Tarski's influence on computer science [PDF]
Logical Methods in Computer Science, 2006 The influence of Alfred Tarski on computer science was indirect but significant in a number of directions and was in certain respects fundamental. Here surveyed is the work of Tarski on the decision procedure for algebra and geometry, the method of ...
Solomon Feferman
doaj +1 more source