Search results for "Computer science"
showing 10 items of 22367 documents
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…
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…
Method and Practical Guidelines for Overcoming Enterprise Architecture Adoption Challenges
2017
During the last few years, interest towards Enterprise Architecture (EA) has increased, not least due to anticipated benefits resulting from adopting it. For instance, EA has been argued to provide cost reduction, technology standardisation, process improvement, and strategic differentiation. Despite these benefits, the EA adoption rate and maturity are still low. Consequently, EA benefits are not realised. A major reason hindering the adoption is that EA is not understood correctly. This paper aims for minimising the effect of the lack of understanding EA to adopting EA. Based on the research conducted in Finnish public sector, we propose an improved Enterprise Architecture Adoption Method…
Dynamic Usage-based Principles in the Development of L2 Finnish Evaluative Constructions
2021
Abstract This study investigates the formal verbalizations of evaluation used by four beginning L2 learners of Finnish from a dynamic usage-based perspective. Longitudinal data collected weekly were used to investigate what kind of constructions learners use to express evaluation and how these interact and develop over time. The results show that when a new construction is acquired in the L2, another related construction might regress. The results also point to increased variability in the construction during a phase of rapid development and reduced variability in the phases of regression or slower progress. These findings add to our understanding of a developing L2 as a system in which cha…
Words, clauses, sentences, and T-units in learner language: Precise and objective units of measure?
2020
In research on learner language complexity, accuracy and fluency (CAF), syntactic complexity is often studied with quantitative measures based on words, clauses, sentences, and T-units. The findings have been mixed, but segmenting learner language into these units of measure has seldom been problematised, even if the need for accurate coding is well known. The present study explores words, clauses, sentences, and T-units as production units in written learner language using a corpus of 352 L2 Finnish texts (28,813 words). The results illustrate how written learner language can be hard to fit into the production unit categories, which are essential for the most frequently used quantitative m…
From conceptualization to constructions in Finnish as an L2 : a case study
2017
AbstractThis study traces the individual learning trajectories of an adult beginner L2 Finnish learner in expressing the extralinguistic concept of evaluation from a dynamic usage-based perspective. Our results provide support for the view of learner language as a dynamic system in which patterns wax and wane and in which a change in one component has the potential to affect the whole system. In the early stages of learning there was a strong preference to use lexical verbs first, and then adjectives. The study also shows that variability plays a role. Finally, the study confirms that the learning of L2 constructions is in some cases item based. However, another highly frequent and superfic…