Results 1 to 10 of about 215,398 (278)
A Swiss Pocket Knife for Computability [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 This research is about operational- and complexity-oriented aspects of classical foundations of computability theory. The approach is to re-examine some classical theorems and constructions, but with new criteria for success that are natural from a ...
Neil D. Jones
doaj +6 more sources
Educational Software: tool directed for health education of children with Tetralogy of Fallot [PDF]
Revista Enfermagem Digital Cuidado e Promoção da Saúde, 2019 Objective: To report the experience of nursing students in building educational software on the care with children with Tetralogy of Fallot. Methods: Experience report of the elaboration of an educational game at an online platform called “Scratch ...
Thiago Arcanjo Bezerra +6 more
doaj +1 more source
Packing problems on generalised regular grid: Levels of abstraction using integer linear programming
Graphical Models, 2023 Packing a designated set of shapes on a regular grid is an important class of operations research problems that has been intensively studied for more than six decades. Representing a d-dimensional discrete grid as Zd, we formalise the generalised regular
Hao Hua, Benjamin Dillenburger
doaj +1 more source
Comparison on Color Quantization Techniques [PDF]
Al-Rafidain Journal of Computer Sciences and Mathematics, 2008 Due to the fast and high development in computer technology and the reflection of this development on digital images ,many image processing algorithms became in need to initialization steps for the image before starting the actual operations of the ...
Alyaa taqi
doaj +1 more source
Современные информационные технологии и IT-образование, 2023 Introduction to the modern technologies of development of software systems is of great importance in the training of students of programming specialties. When studying them, lectures and seminars are not enough.
Nazgul I. Mustafina +2 more
doaj +1 more source
Jurnal Pendidikan Teknologi dan Kejuruan, 2015 The learning process of computer programming course requires the skills of programming flow arrangement and programming logic. The reading materials, exercises, and classroom discussion have not met the learning goals of this course.
Tiwan Tiwan
doaj +1 more source
Pure Compiled Execution as a Programming Paradigm
Труды Института системного программирования РАН, 2018 Interpreted execution of computer programs, its capabilities and advantages is well-covered in the computer science literature. Its key feature is reflection: the ability to access and modify the source code at run time.
A. V. Stolyarov +2 more
doaj +1 more source
, 2015 This paper is a tribute to José Meseguer, from the rest of us in the Maude team, reviewing the past, the present, and the future of the language and system with which we have been working for around two decades under his leadership.
Clavel, Manuel +6 more
core +1 more source
A Computational Approach to Reflective Meta-Reasoning about Languages with Bindings [PDF]
, 2005 We present a foundation for a computational meta-theory of languages with bindings implemented in a computer-aided formal reasoning environment. Our theory provides the ability to reason abstractly about operators, languages, open-ended languages ...
Hickey, Jason +3 more
core +4 more sources
A Comparative Study of the Dot’s Shape in Traditional Way of Nastaliq Script and Dot’s Implementation in Computer-based Types [PDF]
نگره, 2019 In recent decades, calligraphy types have replaced the traditional calligraphy seriously. The form of the letters and dots in these types are subject to predetermined principles and rules set by computer designers and programmers based on traditional ...
hoda kaspour, Abdolreza Charei
doaj +1 more source