Results 11 to 20 of about 1,247,273 (259)
Hypersequents and the Proof Theory of Intuitionistic Fuzzy Logic [PDF]
, 2000 Takeuti and Titani have introduced and investigated a logic they called intuitionistic fuzzy logic. This logic is characterized as the first-order Goedel logic based on the truth value set [0,1].
Baaz, Matthias, Zach, Richard
core +4 more sources
On Local Testability in the Non-Signaling Setting [PDF]
, 2020 Non-signaling strategies are a generalization of quantum strategies that have been studied in physics for decades, and have recently found applications in theoretical computer science.
Chiesa, Alessandro +2 more
core +1 more source
Conducting Sound, Equity-Enabling Computing Education Research
ITiCSE-WGR, 2023 Problem. To investigate and identify promising practices in equitable K-12 and tertiary computer science (CS) education, the capacity for education researchers to conduct this research must be rapidly built globally.
Monica M. Mcgill +7 more
semanticscholar +1 more source
inPractice: a practical nursing package for clinical decisions [PDF]
, 2005 This paper examines the recent development of a computer-assisted learning program-in Practice-at the School of Health Science, in the University of Wales Swansea. The project, which began in 2001, was developed in close collaboration with The Meningitis
Cavanna, Annlouise +2 more
core +2 more sources
Integrating Computer Prediction Methods in Social Science: A Comment on Hofman et al. (2021)
Social science computer review, 2021 Machine learning and other computer-driven prediction models are one of the fastest growing trends in computational social science. These methods and approaches were developed in computer science and with different goals and epistemologies than those in ...
Nate Breznau
semanticscholar +1 more source
Investigating the Relationship Between Spatial Skills and Computer Science
International Computing Education Research Workshop, 2018 The relationship between spatial skills training and computer science learning is unclear. Reported experiments provide tantalising, though not convincing, evidence that training a programming student's spatial skills may accelerate the development of ...
Jack Parkinson, Q. Cutts
semanticscholar +1 more source
Canonized Rewriting and Ground AC Completion Modulo Shostak Theories : Design and Implementation [PDF]
, 2011 AC-completion efficiently handles equality modulo associative and commutative function symbols. When the input is ground, the procedure terminates and provides a decision algorithm for the word problem.
Evelyne Contejean +3 more
core +6 more sources
PeerJ Computer Science, 2022 For COVID-19, the need for robust, inexpensive, and accessible screening becomes critical. Even though symptoms present differently, cough is still taken as one of the primary symptoms in severe and non-severe infections alike.
K. Santosh +3 more
semanticscholar +1 more source
The Grand Challenges and Myths of Neural-Symbolic Computation [PDF]
, 2008 The construction of computational cognitive models integrating the connectionist and symbolic paradigms of artificial intelligence is a standing research issue in the field.
Lamb, Luis C.
core +1 more source
Faithful (meta-)encodings of programmable strategies into term rewriting systems [PDF]
, 2017 Rewriting is a formalism widely used in computer science and mathematical logic. When using rewriting as a programming or modeling paradigm, the rewrite rules describe the transformations one wants to operate and rewriting strategies are used to con ...
Cirstea, Horatiu +2 more
core +3 more sources