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
openalex +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
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
Computer Science Reconsidered: The Invocation Model of Process Expression
Ubiquity, 2007 Karl M. Fant
+5 more sources
Rethinking the production and publication of machine-readable expressions of research findings [PDF]
Scientific DataScientific literature is the primary expression of scientific knowledge and an important source of research data. However, scientific knowledge expressed in narrative text documents is not inherently machine readable.
Markus Stocker +8 more
doaj +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
Relative Expressiveness of Defeasible Logics II [PDF]
Theory and Practice of Logic Programming 13 (2013) 579-592, 2021 (Maher 2012) introduced an approach for relative expressiveness of defeasible logics, and two notions of relative expressiveness were investigated. Using the first of these definitions of relative expressiveness, we show that all the defeasible logics in the DL framework are equally expressive under this formulation of relative expressiveness.
arxiv +1 more source
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 +1 more source
Games for Succinctness of Regular Expressions [PDF]
EPTCS 346, 2021, pp. 258-272, 2021 We present a version of so called formula size games for regular expressions. These games characterize the equivalence of languages up to expressions of a given size. We use the regular expression size game to give a simple proof of a known non-elementary succinctness gap between first-order logic and regular expressions.
arxiv +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