Results 11 to 20 of about 272,600 (304)
Algorithmic Thinking: The Key for Understanding Computer Science [PDF]
, 2006 We show that algorithmic thinking is a key ability in informatics that can be developed independently from learning programming. For this purpose we use problems that are not easy to solve but have an easily understandable problem definition. A proper visualization of these problems can help to understand the basic concepts connected with algorithms ...
Futschek, Gerald
openaire +2 more sources
A Digital Game to Motivate and Empower Women in Learning Algorithms for Computer Science
Journal on Interactive SystemsBackground: High dropout and failure rates in introductory Computer Science courses, such as Algorithms, represent a challenge, with dropout rates particularly high among female students.
Luana Lauschner Avilez Vilarinho +4 more
doaj +3 more sources
Tools and Algorithms for the Construction and Analysis of Systems [PDF]
, 2019 This book is Open Access under a CC BY licence. This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech
core +8 more sources
Dynamic partitioning of search patterns for approximate pattern matching using search schemes
iScience, 2021 Summary: Search schemes constitute a flexible and generic framework to describe how all approximate occurrences of a search pattern in a text can be found efficiently.
Luca Renders +2 more
doaj +1 more source
Improved Algorithms for Parity and Streett objectives [PDF]
Logical Methods in Computer Science, 2017 The computation of the winning set for parity objectives and for Streett objectives in graphs as well as in game graphs are central problems in computer-aided verification, with application to the verification of closed systems with strong fairness ...
Krishnendu Chatterjee +2 more
doaj +1 more source
Tools and Algorithms for the Construction and Analysis of Systems
, 2023 This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of ...
core +1 more source
Representations of Stream Processors Using Nested Fixed Points [PDF]
Logical Methods in Computer Science, 2009 We define representations of continuous functions on infinite streams of discrete values, both in the case of discrete-valued functions, and in the case of stream-valued functions.
Neil Ghani +2 more
doaj +1 more source
Preface to the Special Issue on “Mathematical Methods for Computer Science”
Mathematics, 2023 In the last few decades, the relationship between mathematics and algorithms has become increasingly important and influential in computer science [...]
Zhongyun Hua, Yushu Zhang
doaj +1 more source
Computer science: Algorithmic rapture [PDF]
Nature, 2012 Philip Ball listens in on an album of evolved music composed by the Darwinian computer program Iamus.
openaire +1 more source
Editorial: Surveys in Algorithm Analysis and Complexity Theory (Special Issue)
Algorithms, 2023 This is a Special Issue of the open-access journal Algorithms consisting of surveys in theoretical computer science [...]
Jesper Jansson
doaj +1 more source