Results 1 to 10 of about 1,723,557 (224)
To every manifest domain a CSP expression – a rôle for mereology in computer science [PDF]
Journal of Logical and Algebraic Methods in Programming, 2018 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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
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
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.
Malykhin, Oleksandr +2 more
openaire +5 more sources
, 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
openaire +3 more sources
Digital Art, Interactive Animation and Creative Expression in the Computer Science Curriculum [PDF]
Electronic Workshops in Computing, 2022 Sandra Woolley +3 more
openaire +2 more sources
Coding Identity: Exploring Creative Self-Expression in 5th-Grade Computer Science Education [PDF]
Proceedings of the International Conference of the Learning SciencesNicholas LaGrassa +4 more
openaire +2 more sources
The impact of interdisciplinary dynamic images on public perception [PDF]
E3S Web of Conferences, 2021 Dynamic image, usually defined as motion graphics or dynamic graphics, is a kind of image art based on art design and computer science. In a broad sense, dynamic image is a discipline that integrates animation, film, and graphic design.
Shi ChaoYuan, Gu Li
doaj +1 more source
Advances in the application of a brain–computer interface to the Metaverse
工程科学学报, 2023 The brain–machine interface has been an integral component of the metaverse since the inception of the latter, in his classic science fiction novel “True Names,” Vernor Vinge, the American mathematician and computer science Professor, describes a virtual
Xue WANG +3 more
doaj +1 more source