Search results for "computer"

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…

Does the literate game help 3rd and 4th grade Zambian children learn how to read

2008

Courage to learn and utilize ICT in teaching - building understanding of teachers who lack courage

2017

Innovative use of information and communication technology in education is a topic that has received a lot of attention both in public and academic debate Innovative practices have been communicated and visions for sharing them have been around for years, however, the large scale adoption of such practices has not yet been achieved While highlighting and sharing best practices may be an inherently positively motivated attempt, teachers enthusiastically explaining their innovative ICT practices may be met with even resentful attitudes from colleagues Discussion focusing on praising innovative ICT teaching practices as good ideals may leave those teachers whose current teaching isn’t up to th…

Teaching and learning to read in Afrikaans : teacher competence and computer-assisted support

2018

This thesis is in the form of a monograph consisting of three distinct, but related studies. The three studies examined Grade 1 teachers’ knowledge and perceptions of reading instruction in classrooms in Namibia; and the use of GraphoGame in Afrikaans as a digital learning tool and as an intervention tool for struggling readers. Three data sets were collected: teachers (N = 132), children (N = 202) and struggling readers (N = 19). The results offered three main findings. First, the results revealed that teachers lacked basic knowledge regarding language and reading instruction. Second, the effect of using the GraphoGame Afrikaans digital reading tool in the classroom showed that the gain sc…

Computer-aided game design

2008

Qualitative analysis of housing demand using Google trends data

2019

Big data analytics often refer to the breakdown of huge amounts of data into a more readable and useful format. This study utilises Google Trends big data as a proxy for an analysis of housing demand. We employ a qualitative method (fuzzy set/Qualitative Comparative Analysis, fsQCA), instead of a quantitative method, for our estimate and forecast. The empirical results show that fsQCA successfully forecasts seasonal time series, even though the dataset is small in size. Our findings fill the gap in the qualitative and time series forecasting literature, and the forecasting procedure herein also offers a good standard for industry.

Computer aided scheduling and routing of vehicle-carrier fleet—a case study

2016

This paper presents a case study of development of an information system for a large enterprise from vehicle-transport industry. A novel optimization model and algorithms developed to solve scheduling and routing of vehicle-carrier fleet are presented and discussed. Carried out qualitative experiments confirmed the usability of developed user-guided search paradigm and high performance of autonomous algorithmic solution search methods.

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…

A Time-Non-Homogeneous Double-Ended Queue with Failures and Repairs and Its Continuous Approximation

2018

We consider a time-non-homogeneous double-ended queue subject to catastrophes and repairs. The catastrophes occur according to a non-homogeneous Poisson process and lead the system into a state of failure. Instantaneously, the system is put under repair, such that repair time is governed by a time-varying intensity function. We analyze the transient and the asymptotic behavior of the queueing system. Moreover, we derive a heavy-traffic approximation that allows approximating the state of the systems by a time-non-homogeneous Wiener process subject to jumps to a spurious state (due to catastrophes) and random returns to the zero state (due to repairs). Special attention is devoted to the cas…

Estimation of the Time-Variant Velocity of a Single Walking Person in Two-Dimensional Non-Stationary Indoor Environments Using Radio-Frequency Techni…

2020

Accurate estimation of the time-variant (TV) velocity of moving persons/objects in indoor spaces is of crucial importance for numerous wireless indoor applications. This article introduces a novel iterative procedure to estimate the TV velocity, i.e., TV speed and TV angle-of-motion (AOM), of a single moving person in 2D indoor environments by using radio-frequency (RF) techniques. The indoor area is equipped with a distributed 2 × 2 multiple-input multiple-output (MIMO) system. The proposed method is divided into two parts. In the first part, we estimate the path gains and the instantaneous Doppler frequencies by fitting the exact spectrograms of the complex channel gains of a 2D no…