Results 1 to 10 of about 9,588,631 (328)
Creativity in computer science
Creativity Studies, 2021 The aim of this paper is to briefly explore creative thinking in computer science, and compare it to natural sciences, mathematics or engineering. It is also meant as polemics with some theses of the pioneer work under the same title by Daniel Saunders ...
Piotr Giza
doaj +5 more sources
Computer Science Meets Medical Science
Cellular Oncology, 2006 Lennert S. Ploeger
doaj +4 more sources
Proceedings of the National Academy of Sciences of the United States of America, 2021 Significance Societal stereotypes that girls are less interested than boys in computer science and engineering are endorsed by children and adolescents in a large and socioeconomically diverse sample, across multiple racial/ethnic and gender ...
Allison Master, A. Meltzoff, S. Cheryan
semanticscholar +1 more source
One-Clock Priced Timed Games with Negative Weights [PDF]
Logical Methods in Computer Science, 2022 Priced timed games are two-player zero-sum games played on priced timed automata (whose locations and transitions are labeled by weights modelling the cost of spending time in a state and executing an action, respectively).
Thomas Brihaye +4 more
doaj +1 more source
International Journal on Advanced Science, Engineering and Information Technology, 2022 Possible for science itself, conceptually, to have and will understand differently, let alone science also seen as technology, such as computer science. After all, science and technology are viewpoints diverse by either individual, community, or social. Generally, it depends on socioeconomic capabilities.
Nasution, Mahyuddin K. M. +2 more
openaire +3 more sources
Determinacy in Discrete-Bidding Infinite-Duration Games [PDF]
Logical Methods in Computer Science, 2021 In two-player games on graphs, the players move a token through a graph to produce an infinite path, which determines the winner of the game. Such games are central in formal methods since they model the interaction between a non-terminating system and ...
Milad Aghajohari +2 more
doaj +1 more source
Interface Modeling for Quality and Resource Management [PDF]
Logical Methods in Computer Science, 2021 We develop an interface-modeling framework for quality and resource management that captures configurable working points of hardware and software components in terms of functionality, resource usage and provision, and quality indicators such as ...
Martijn Hendriks +4 more
doaj +1 more source
Characterizing Positionality in Games of Infinite Duration over Infinite Graphs [PDF]
TheoretiCS, 2023 We study turn-based quantitative games of infinite duration opposing two antagonistic players and played over graphs. This model is widely accepted as providing the adequate framework for formalizing the synthesis question for reactive systems.
Pierre Ohlmann
doaj +1 more source
Enumerating Answers to First-Order Queries over Databases of Low Degree [PDF]
Logical Methods in Computer Science, 2022 A class of relational databases has low degree if for all $\delta>0$, all but finitely many databases in the class have degree at most $n^{\delta}$, where $n$ is the size of the database.
Arnaud Durand +2 more
doaj +1 more source
Design of New Stegano-Cryptosystem Based Non-Hiding Principle
Wasit Journal for Pure Sciences, 2023 : In this work, we'll develop a novel text message steganography concept. In the proposed system, in fact, there is no hiding process in the cover-image, but the image is very important in retrieving the plaintext after it has been encrypted.
shahed sameer
doaj +1 more source