Search results for "programming."
showing 10 items of 3035 documents
A Study on the Assessment of Introductory Computational Thinking via Scratch Programming in Primary Schools
2018
Computational thinking (CT), a transversal intellectual foundation integral to computer science, is making its way into compulsory comprehensive education worldwide. Students are expected to attain skills and knowledge in such interdisciplinary CT principles as Algorithmic thinking, Data representation, and Debugging. Problem-solving by designing and manipulating interactive media with Scratch, a graphical programming tool, is popular especially at the primary school level. However, there has been confusion regarding how introductory CT can be operationalized for educational practice. Teachers and students need research-based knowledge for setting appropriate learning goals in addition to i…
Arithmetic, Logic, Syntax and MathCheck
2019
MathCheck is a web-based tool for checking all steps of solutions to mathematics, logic and theoretical computer science problems, instead of checking just the final answers. It can currently deal with seven problem types related to arithmetic, logic, and syntax. Although MathCheck does have some ability to perform symbolic computation, checking is mostly based on testing with many combinations of the values of the variables in question. This introduces a small risk of failure of detection of errors, but also significantly widens the scope of problems that can be dealt with and facilitates providing a concrete counter-example when the student’s solution is incorrect. So MathCheck is primari…
Time-like Proton Form Factors with Initial State Radiation Technique
2022
Electromagnetic form factors are fundamental quantities describing the internal structure of hadrons. They can be measured with scattering processes in the space-like region and annihilation processes in the time-like region. The two regions are connected by crossing symmetry. The measurements of the proton electromagnetic form factors in the time-like region using the initial state radiation technique are reviewed. Recent experimental studies have shown that initial state radiation processes at high luminosity electron-positron colliders can be effectively used to probe the electromagnetic structure of hadrons. The BABAR experiment at the B-factory PEP-II in Stanford and the BESIII experim…
El retablo de San Estanislao de Kostka en San Luis de los franceses de Sevilla
2020
El templo de San Luis de los franceses de Sevilla, construido a lo largo de las primeras décadas del siglo XVIII, dispone de un complejo programa visual. El retablo de San Estanislao de Kostka ocupa una importante capilla, en paralelo a la de San Francisco de Borja. Como todo retablo, cumple dos funciones: la contemplativa, o conductora de la oración a través de su imagen conceptual, y la formativa por medio del discurso visual desplegado en las calles laterales y el ático. Se afronta el análisis de ambas facetas mediante una aproximación a sus fuentes literarias y emblemáticas.
Hölder regularity for stochastic processes with bounded and measurable increments
2022
We obtain an asymptotic Hölder estimate for expectations of a quite general class of discrete stochastic processes. Such expectations can also be described as solutions to a dynamic programming principle or as solutions to discretized PDEs. The result, which is also generalized to functions satisfying Pucci-type inequalities for discrete extremal operators, is a counterpart to the Krylov-Safonov regularity result in PDEs. However, the discrete step size $\varepsilon$ has some crucial effects compared to the PDE setting. The proof combines analytic and probabilistic arguments.
Flipping and Blending : An Action Research Project on Improving a Functional Programming Course
2016
This article reports on an action research project on improving a functional programming course by moving towards a practical and flexible study environment—flipped and blended classroom. Teaching the topic of functional programming was found to be troublesome using a traditional lectured course format. The need to increase students’ amount of practice emerged, while subsequently challenges relating to students’ independent practical coursework were observed. Particular concerns relating to group work, learning materials, and the attribute of flexibility were investigated during the third action research cycle. The research cycle was analyzed using a qualitative survey on students’ views, t…
Improving Estimates Accuracy of Voter Transitions. Two New Algorithms for Ecological Inference Based on Linear Programming
2022
The estimation of RxC ecological inference contingency tables from aggregate data is one of the most salient and challenging problems in the field of quantitative social sciences, with major solutions proposed from both the ecological regression and the mathematical programming frameworks. In recent decades, there has been a drive to find solutions stemming from the former, with the latter being less active. From the mathematical programming framework, this paper suggests a new direction for tackling this problem. For the first time in the literature, a procedure based on linear programming is proposed to attain estimates of local contingency tables. Based on this and the homogeneity hypot…
Comparing the Effect of Product-Based Metrics on the Translation Process
2021
Characteristics of the translation product are often used in translation process research as predictors for cognitive load, and by extension translation difficulty. In the last decade, user-activity information such as eye-tracking data has been increasingly employed as an experimental tool for that purpose. In this paper, we take a similar approach. We look for significant effects that different predictors may have on three different eye-tracking measures: First Fixation Duration (duration of first fixation on a token), Eye-Key Span (duration between first fixation on a token and the first keystroke contributing to its translation), and Total Reading Time on source tokens (sum of fixations…
Minimizing fleet operating costs for a container transportation company
2006
Abstract This paper focuses on a fleet management problem that arises in container trucking industry. From the container transportation company perspective, the present and future operating costs to minimize can be divided in three components: the routing costs, the resource (i.e., driver and truck) assignment costs and the container repositioning costs (i.e., the costs of restoring a given container fleet distribution over the serviced territory, as requested by the shippers that own the containers). This real-world problem has been modeled as an integer programming problem. The proposed solution approach is based on the decomposition of this problem in three simpler sub-problems associate…
Safety Evaluation of Turbo-Roundabouts with and without Internal Traffic Separations Considering Autonomous Vehicles Operation
2021
The paper presents a microsimulation approach for assessing the safety performance of turbo-roundabouts where Cooperative Autonomous Vehicles “CAVs” have been introduced into the traffic mix alongside conventional vehicles “CVs”. Based on the analysis of vehicle trajectories from VISSIM and subsequent analysis of traffic conflicts through the Surrogate Safety Assessment Model (SSAM), the research aims to evaluate the safety benefits of turbo-roundabouts where the lanes are physically separated by raised curbs, compared to roundabouts without such curbs. The paper will then describe the methodological path followed to build VISSIM models of turbo-roundabouts with and without raised curbs in …