Results 1 to 10 of about 11,298,820 (376)
An embedding approach for analyzing the evolution of research topics with a case study on computer science subdomains [PDF]
Scientometrics, 2023 Seyyed Reza Taher Harikandeh +2 more
openalex +2 more sources
Computer Science Meets Medical Science
Cellular Oncology, 2006 Lennert S. Ploeger
doaj +3 more sources
Discussion table on computer science [PDF]
Eur J Public Health, 2022 Daniel Diethei
openalex +2 more sources
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
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
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
Trade-offs in Static and Dynamic Evaluation of Hierarchical Queries [PDF]
Logical Methods in Computer Science, 2023 We investigate trade-offs in static and dynamic evaluation of hierarchical queries with arbitrary free variables. In the static setting, the trade-off is between the time to partially compute the query result and the delay needed to enumerate its tuples.
Ahmet Kara +3 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