Results 21 to 30 of about 5,144,087 (289)
Smart Choices and the Selection Monad [PDF]
Logical Methods in Computer Science, 2023 Describing systems in terms of choices and their resulting costs and rewards offers the promise of freeing algorithm designers and programmers from specifying how those choices should be made; in implementations, the choices can be realized by ...
Martin Abadi, Gordon Plotkin
doaj +1 more source
Computer science in Dutch secondary education: independent or integrated? [PDF]
, 1992 Nowadays, in Dutch secondary education, computer science is integrated within school subjects. About ten years ago computer science was considered an independent subject, but in the mid-1980s this idea changed.
Doornekamp, B. Gerard +1 more
core +2 more sources
Parity Games with Weights [PDF]
Logical Methods in Computer Science, 2019 Quantitative extensions of parity games have recently attracted significant interest. These extensions include parity games with energy and payoff conditions as well as finitary parity games and their generalization to parity games with costs.
Sven Schewe +2 more
doaj +1 more source
Expressive Path Queries on Graph with Data [PDF]
Logical Methods in Computer Science, 2015 Graph data models have recently become popular owing to their applications, e.g., in social networks and the semantic web. Typical navigational query languages over graph databases - such as Conjunctive Regular Path Queries (CRPQs) - cannot express ...
Pablo Barcelo +2 more
doaj +1 more source
Flexible Correct-by-Construction Programming [PDF]
Logical Methods in Computer Science, 2023 Correctness-by-Construction (CbC) is an incremental program construction process to construct functionally correct programs. The programs are constructed stepwise along with a specification that is inherently guaranteed to be satisfied. CbC is complex to
Tobias Runge +4 more
doaj +1 more source
Computational Archival Science [PDF]
Moderna arhivistika, 2018 The digitisation of archival materials and ingest of digitally born materials in digital archives has led to the possibilities of application of the big data analytical principles in the digital archives. The author explains the 5V characteristics of big data. He proceeds to define the concept of Computational Archival Science (CAS).
openaire +2 more sources
Computational biomolecular science [PDF]
Proceedings of the National Academy of Sciences, 1998 In this century, the study of the molecules of life has transformed the practice of biology as a whole. Molecular thinking now influences the research agenda for scientists studying both the behavior of individual cells and organisms, and the relationships between organisms as in natural history.
openaire +2 more sources
Gheorghe Paun (A tribute in honour of his 60th birthday) [PDF]
Computer Science Journal of Moldova, 2010 Gheorghe Păun had a powerful influence on the development of theoretical computer science, especially the area of natural computing. He is the inventor of the new rapidly developing area of biocomputing - computing using membrane systems, or P systems ...
Editorial board of Computer Science Journal of Moldova
doaj
A Framework for Automated Database Tuning Using Dynamic SGA Parameters and Basic Operating System Utilities [PDF]
Database Systems Journal, 2012 In present scenario the manual work (Done by Human) cost more to an organization than the automatic work ( Done by Machine)and the ratio is increasing day by day as per the tremendous increment in Machine (Hardware + Software) Intelligence. We are moving
Hitesh KUMAR SHARMA +2 more
doaj
Svetlana Cojocaru (in honour of her 60th anniversary) [PDF]
Computer Science Journal of Moldova, 2012 Our colleague, Vice Editor-in-Chief of the Computer Science Journal of Moldova and director of the Institute of Mathematics and Computer Science of Academy of Sciences of Moldova, dr.hab. Svetlana Cojocaru accomplishes in July a beautiful age.
Editorial board of the "Computer Science Journal of Moldova"
doaj