Results 1 to 10 of about 244,719 (326)
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 ...
Prakash Panangaden, Solomon Feferman
core +3 more sources
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.
Jana Glivická
openalex +2 more sources
Topological models, computer science semantics and applications of logic in AI [PDF]
, 2019 Αυτή η διδακτορική διατριβή είναι ένα έργο έρευνας σε ένα ευρύ φάσμα διαφορετικών πεδίων με τη συμβολική λογική να χρησιμεύει ως σημείο εκκίνησης. Ξεκινάμε αυτήν την εισαγωγή με αντίστροφη σειρά, έτσι ώστε η διεπιστημονική φύση της διατριβής να γίνει σαφέστερη. Το τρίτο και τελευταίο μέρος της διατριβής ασχολείται με την επεξηγηματική τεχνητή νοημοσύνη
Ιωάννης Κιουβρέκης
openalex +3 more sources
TRX: A Formally Verified Parser Interpreter [PDF]
Logical Methods in Computer Science, 2011 Parsing is an important problem in computer science and yet surprisingly little attention has been devoted to its formal verification. In this paper, we present TRX: a parser interpreter formally developed in the proof assistant Coq, capable of producing
Adam Koprowski +7 more
core +3 more sources
tDCS and neurofeedback in ADHD treatment. [PDF]
Front Syst NeurosciAttention 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 ...
Bernadotte A, Zinchenko O.
europepmc +2 more sources
Truth, deduction and computation: Logic and semantics for computer science
Science of Computer Programming, 1990 Ralf Kneuper
openalex +2 more sources
STRUCTURE, SEMANTICS AND FUNCTIONAL FEATURES OF WORD-COMBINATIONS IN FRENCH COMPUTER SCIENCE TEXTS
Scientific notes of Taurida National V.I. Vernadsky University, series Philology. Social Communications, 2019 Л. В. Бондар +2 more
openalex +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
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