Results 1 to 10 of about 196 (114)
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
exaly +2 more sources
Truth, deduction and computation: Logic and semantics for computer science
Science of Computer Programming, 1990 Ralf Kneuper
exaly +2 more sources
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
A Survey of Trust in Computer Science and the Semantic Web [PDF]
SSRN Electronic Journal, 2007 Trust is an integral component in many kinds of human interaction, allowing people to act under uncertainty and with the risk of negative consequences. For example, exchanging money for a service, giving access to your property, and choosing between conflicting sources of information all may utilize some form of trust.
Donovan Artz, Yolanda Gil
openaire +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
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
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
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
Taking the Convergent Close-Coupling Method beyond Helium: The Utility of the Hartree-Fock Theory
Atoms, 2022 The convergent close-coupling (CCC) method was initially developed to describe electron scattering on atomic hydrogen and the hydrogenic ions such as He+. The latter allows implementation of double photoionization (DPI) of the helium atom.
Igor Bray +7 more
doaj +1 more source
The use of Semantic Technologies in Computer Science Curriculum: A Systematic Review
CoRR, 2022 Semantic technologies are evolving and being applied in several research areas, including the education domain. This paper presents the outcomes of a systematic review carried out to provide an overview of the application of semantic technologies in the context of the Computer Science curriculum and discuss the limitations in this field whilst offering
Yixin Cheng, Bernardo Pereira Nunes
openaire +2 more sources