Background: Computer-based programs have been implemented from a psychosocial approach for the care of people with dementia (PwD). However, several factors may determine adherence of older PwD to this type of treatment. The aim of this paper was to i...
It is important to verify both the correctness and real-time properties of embedded systems. However, as practical computer programs are represented by infinite state transition systems, specifying and verifying a computer program is difficult. Real-...
The integration of artificial intelligence (AI) into programming education has accelerated rapidly in recent years. Yet, existing research has largely focused on individual learning or human–AI interaction, with limited attention to human&ndash...
The use of open educational resources (OERs) is on the rise in higher education. Open pedagogy, as a learner-centered approach, provides students with opportunities to create, design, or adapt openly licensed materials or resources. With the potentia...
Computational thinking (CT), an interrelation of skills and practices, is a crucial competency that empowers individuals to tackle logical problems, enabling them to overcome various challenges in their daily lives. To help Deaf students (those with...
Learning to program requires diligent practice and creates room for discovery, trial and error, debugging, and concept mapping. Learners must walk this long road themselves, supported by appropriate and timely feedback. Providing such feedback in pro...
Recent theoretical work has conceptualized computational thinking (CT) as a dynamic psychological construct that evolves in parallel with Computer Science (CS). From this perspective, a 3-stage CT framework has been proposed to reflect how the constr...
Descriptions of the main CARC environments for programming industrial robots are given, describing the main used programming environments for various robot manufacturers such as ROBOGUIDE developed by FANUC Robotics, KUKA Sim and Kuka Work Visual dev...
This paper presents a distributed computational framework for stochastic convex optimization problems using the so-called scenario approach. Such a problem arises, for example, in a large-scale network of interconnected linear systems with local and...
Plan Ceibal is the name coined in Uruguay for the local implementation of the One Laptop Per Child (OLPC) initiative. Plan Ceibal distributes laptops and tablets to students and teachers, and also deploys a nationwide wireless network to provide Inte...
For complex matrices such as environmental samples, there is usually a problem with not fully resolved peaks during GC/MS analysis. The PARADISe computer program (based on the PARFAC2 model) allows the identification of peaks using the deconvoluted m...
The development of computational thinking in introductory programming remains a major challenge, particularly in vocational secondary education, where students frequently encounter difficulties in understanding code structure, identifying errors, and...
This paper provides an analysis of the meaning–reference problem, as traditionally advanced in the philosophy of language, for imperative programming languages. Addressing the problem is relevant for the philosophy of computer science in the co...
Due to the everchanging and evergrowing nature of programming technologies, the gap between the programming industry’s needs and the educational capabilities of both formal and informal educational environments has never been wider. However, th...
The measurement of computational thinking ability among computer science (CS) university students is of paramount importance. This study introduces UniCTCheck, a novel method designed to assess the main components of computational thinking in CS stud...
Difficulties in learning computer programming for novices is a subject of abundant scientific literature. These difficulties seem to be accentuated in students whose academic choice is not computation, like architecture students. However, they need t...
Project-based learning, in which students engage in meaningful learning with authentic projects and building agency and autonomy for sustainable learning, has been increasingly promoted in higher education. However, completing an authentic project in...
Engagement and retention are widely acknowledged problems in computer science and more general higher education. The need to develop programming skills is increasingly ubiquitous, but especially so in computer science where it is one of the core comp...
Resources related to remote-sensing data, computing, and models are scattered globally. The use of remote-sensing images for disaster-monitoring applications is data-intensive and involves complex algorithms. These characteristics make the timely and...
This paper proposes an outer space branch-and-search method for a class of linear fractional programming problems over a polytope. First, the original problem is reformulated in an equivalent problem by applying the equivalent transformation. Second,...
The aim of our study was to estimate methane (CH4) emissions from a dairy cattle farm using a computer application. Emissions of CH4 in the air were forecast for a representative dairy farm raising Holstein-Friesian cows. The cowshed was equipped wit...
Version control systems’ usage is a highly demanded skill in information and communication technology professionals. Thus, their usage should be encouraged by educational institutions. This work demonstrates that it is possible to assess if a s...
With excess energy use from non-renewable sources, new energy generation solutions must be adopted to make up for this excess. In this sense, the integration of renewable energy sources in high-rise buildings reduces the need for energy from the nati...
Scratch and App Inventor are two of the most widely used block-based programming languages for young students. These are educational languages which allow students to program easily by dragging and dropping their code blocks. One question that arises...
Due to the huge amount of redundant data, the problem arises of finding a single integral solution that will satisfy numerous possible accuracy options. Mathematical processing of such measurements by traditional geodetic methods can take significant...
Teaching computation in science courses can enhance science education, but doing so requires that teachers expand the vision of their discipline beyond the traditional view of science presented in most curricula. This article describes a design-based...
The ability to program has become an essential competence for individuals in an increasingly digital world. However, access to programming education remains unequal, particularly in non-WEIRD (Western, Educated, Industrialized, Rich, and Democratic)...
Product design is a promising field for the application of new technologies and methodologies emerging from the digital evolution of Industry 4.0. A great number of tools have been developed in order to accentuate the use of modern Computer-Aided Des...
The semantics of programming languages tend to be discussed with high levels of formality; much of the previous research—both philosophical and historical—has investigated them from this perspective. In this paper, I draw on the philosoph...
Contrary to the classical case, the relation between quantum programming languages and quantum Turing Machines (QTM) has not been fully investigated. In particular, there are features of QTMs that have not been exploited, a notable example being the...
Heterogeneous architectures consisting of both central processing units and graphics processing units are common in contemporary computer systems. For that reason, several programming models have been developed to exploit available parallelism, such...
This paper presents strategies for effectively integrating AI tools into programming education and provides recommendations for enhancing student learning outcomes through intelligent educational systems. Learning computer programming is a cognitivel...
A technique for optimizing large-scale differential-algebraic process models under uncertainty using a parallel embedded model approach is developed in this article. A combined multi-period multiple-shooting discretization scheme is proposed, which c...
Computational thinking and coding are key competencies in the 21st century. People with Down syndrome need to be part of this new literacy. For this reason, in this work, we present an exploratory study carried out with students with Down syndrome wi...
Multiple sequence alignment (MSA) stands as a critical tool for understanding the evolutionary and functional relationships among biological sequences. Obtaining an exact solution for MSA, termed exact-MSA, is a significant challenge due to the combi...
The operation of electrical networks, microgrids, or heterogeneous battery systems, especially the dispatch of single units within the system, requires sophisticated power flow control strategies. If objectives such as efficiency are demanded for the...
With the increasing use of open educational resources (OERs) in higher education, and the potential of OERs to enhance student learning, this study investigated minority students’ perceptions of using OERs in learning computer programming. The...
Solving programming exercises is the best way to promote practice in computer programming courses and, hence, to learn a programming language. Meanwhile, programming courses continue to have an high rate of failures and dropouts. The main reasons are...
Programming education is gaining more attention in elementary schools, especially through the use of visual programming tools and development boards. However, the elementary school teacher education in Taiwan allows only limited time periods for trai...
Today’s mobile processors generally have multiple cores and sufficient hardware resources to support AI-enabled software operation. However, very few AI applications make full use of the computing performance of mobile multiprocessors. This is becaus...
For parallelization of applications with high processing times and large amounts of storage in High Performance Computing (HPC) systems, shared memory programming and distributed memory programming have been used; a parallel application is represente...
Computational thinking and literacy reflect important, distinct but interrelated sets of skills that have foundations in the early childhood years. While early literacy has long been studied and conceptualized, there are fewer shared understandings a...
This study introduces a real-time optimization framework for eco-driving of heavy-duty vehicles over long-distance routes. A longitudinal dynamic model incorporating powertrain performance and fuel consumption is formulated, and the eco-driving scena...
The paper suggests a general method for proving the fact whether a certain set is p-computable or not. The method is based on a polynomial analogue of the classical Gandy’s fixed point theorem. Classical Gandy’s theorem deals with the extension of a...
We use dynamic programming, finite elements, and parallel computing to design and evaluate two-dimensional financial derivatives. Our dynamic program is flexible, as it divides the evaluation process into two components: one related to the dynamics o...
In recent years, there have been many approaches to using robots to teach computer programming. In intelligent tutoring systems and computer-aided learning, there is also some research to show that affective feedback to the student increases learning...
Non-terrestrial data centers (NTDCs) should be capable of functioning in harsh environments and are located in space, the stratosphere, and underwater. They require power to execute data processing and algorithm execution. NTDCs need power systems th...
This paper reports a case study, developed in K-12 Portuguese Education, that aimed to analyze the computer science teachers’ knowledge, interest, and self-confidence to use educational robotics and other programable objects in classroom activities t...
There is sufficient information in the far-field of a radiating dipole antenna to rediscover the Maxwell Equations and the wave equations of light, including the speed of light
In this study, the factors influencing the cognitive load of computer programmers during the perception of different code tasks were investigated. The eye movement features of computer programmers were used to provide a significant relationship betwe...
of 159