Results 11 to 20 of about 1,656,664 (330)
To every manifest domain a CSP expression – a rôle for mereology in computer science [PDF]
Journal of Logical and Algebraic Methods in Programming, 2017 Abstract We give an abstract model 1 of parts and part-hood relations, of Stanislaw Leśniewski's mereology [2] . Mereology applies to software application domains such as the financial service industry, railway systems, road transport systems, health care, oil pipelines, secure [IT] systems , etc.
Dines Bjørner
semanticscholar +5 more sources
Scientific Reports, 2022 Using responses from a large respondent-initiated online survey, we find that the career interests of many current and aspiring computer scientists in the United States diverge from a popular and official depiction of computer scientists’ interests used ...
Jenna E. McChesney +2 more
doaj +2 more sources
Foundations of Computing and Decision Sciences, 2019 In this article I defend the thesis that modern computer science has a significant philosophical potential, which is expressed in a form of worldview, called here informational worldview (IVW).
Stacewicz Paweł
doaj +2 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, Henri Binsztok
doaj +4 more sources
EFFECTS OF WRITE-PAIR-SHARE TEACHING APPROACH ON THE ALGEBRAIC EXPRESSIONS PERFORMANCE OF ENGINEERING AND COMPUTER SCIENCE STUDENTS [PDF]
, 2016 The main objective of this study was to determine the effects of write-pair-share teaching approach on the algebraic expressions performance of engineering and computer science students. Using the pretest-posttest experimental design, 60 students were involved and divided into control and experimental groups. Each group had 30 respondents.
Elvira S. Pecajas
openalex +2 more sources
IEEE Access, 2023 Mental fatigue is a psychophysical condition with a significant adverse effect on daily life, compromising both physical and mental wellness. We are experiencing challenges in this fast-changing environment, and mental fatigue problems are becoming more ...
Hamwira Yaacob +5 more
doaj +2 more sources
Digital Art, Interactive Animation and Creative Expression in the Computer Science Curriculum [PDF]
Electronic Workshops in Computing, 2022 Sandra Woolley +3 more
openalex +2 more sources
ENVIRONMENT. TECHNOLOGY. RESOURCES. Proceedings of the International Scientific and Practical ConferenceTo succeed in the modern digital workplace, to express ideas clearly and effectively, and to be convincing, university graduates should be equipped with communicative and self-expression skills even if their future jobs do not involve constant communication with different people.
Oleksandr Malykhin +2 more
openalex +4 more sources
OSG-GEM: Gene Expression Matrix Construction Using the Open Science Grid
Bioinformatics and Biology Insights, 2016 High-throughput DNA sequencing technology has revolutionized the study of gene expression while introducing significant computational challenges for biologists.
William L. Poehlman +4 more
doaj +2 more sources
Computer Science Reconsidered: The Invocation Model of Process Expression
Ubiquity, 2007 Karl M. Fant
+5 more sources