Results 1 to 10 of about 5,526,706 (357)
International Journal on Advanced Science Engineering Information
Technology, 12(3), 2022, 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
arxiv +4 more sources
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
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
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
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
Modular Path Queries with Arithmetic [PDF]
Logical Methods in Computer Science, 2021 We propose a new approach to querying graph databases. Our approach balances competing goals of expressive power, language clarity and computational complexity.
Jakub Michaliszyn +2 more
doaj +1 more source
Rewriting with Acyclic Queries: Mind Your Head [PDF]
Logical Methods in Computer Science, 2023 The paper studies the rewriting problem, that is, the decision problem whether, for a given conjunctive query $Q$ and a set $\mathcal{V}$ of views, there is a conjunctive query $Q'$ over $\mathcal{V}$ that is equivalent to $Q$, for cases where the query,
Gaetano Geck +3 more
doaj +1 more source