Search results for "AAT"
showing 10 items of 6105 documents
How accurate are teachers and support specialists when judging students' literacy skills? Special educational service as an external factor influenci…
2022
The aim of the study was to examine the accuracy of Estonian teachers' and support specialists' judgements of students' spelling skills and reading fluency and to investigate the provision of special education services to students as a factor influencing teachers' judgements. The sample included 11 classroom teachers, 8 support specialists, and 187 third-grade students. The judgements were collected using scales, and students' literacy skills were assessed using group and individual tests. The results indicated that judgements of reading fluency were less accurate than those of spelling skills. In addition, the provision of special education services influenced teachers' judgements, directi…
Sulfur-free pulping of hot-water-extracted spruce sawdust
2016
Softwood (Picea abies) sawdust was hot-water-extracted with two multi-phase processes (160-180°C, 100-280 min, and liquor-to-wood ratio 5 l/kg) corresponding to P-factors of ~780 (yield 80.0%) and ~4580 (yield 72.4%). The pre-treated materials were then pulped with the soda-AQ cooking (170°C, NaOH charge 20%, AQ charge 0.1%, 30-150 min, and liquor-to-wood ratio 5 l/kg), resulting in a yield range of 36.1-61.4% (for reference cooks without pre-extraction 47.9-60.0%). It was observed that the pre-extraction under moderate conditions enhanced the dissolution especially of large-molar-mass lignin during cooking, and the total amount of the dissolved lignin was also higher than that removed from…
Innovation Initiatives in Large Software Companies : A Systematic Mapping Study
2018
Context: To keep the competitive advantage and adapt to changes in the market and technology, companies need to innovate in an organised, purposeful and systematic manner. However, due to their size and complexity, large companies tend to focus on the structure in maintaining their business, which can potentially lower their agility to innovate.Objective:The aims of this study are to provide an overview of the current research on innovation initiatives and to identify the challenges of implementing those initiatives in the context of large software companies.Method: The investigation was primarily performed using a systematic mapping approach of published literature on corporate innovation …
The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction
2020
AbstractIn model checking, partial-order reduction (POR) is an effective technique to reduce the size of the state space. Stubborn sets are an established variant of POR and have seen many applications over the past 31 years. One of the early works on stubborn sets shows that a combination of several conditions on the reduction is sufficient to preserve stutter-trace equivalence, making stubborn sets suitable for model checking of linear-time properties. In this paper, we identify a flaw in the reasoning and show with a counter-example that stutter-trace equivalence is not necessarily preserved. We propose a solution together with an updated correctness proof. Furthermore, we analyse in whi…
Towards humane digitization : a wellbeing-driven process of personas creation
2019
Digital transformation is a process of digitizing the working and living environment in which people are at the center of digitization. In this paper, we present a personas-based guideline for system developers on how the humanization of digital transformation integrates into the design process. The proposed guideline uses the positive personas from the beginning as a basis for the transformation of the working environment into the digital form. We used the literature research as a preliminary study for the process of wellbeing-driven digital transformation design, consisting of questions for structuring the required information in the positive personas as well as a potential method that co…
Lean Internal Startups for Software Product Innovation in Large Companies: Enablers and Inhibitors
2018
Context: Startups are disrupting traditional markets and replacing well-established actors with their innovative products.To compete in this age of disruption, large and established companies cannot rely on traditional ways of advancement, which focus on cost efficiency, lead time reduction and quality improvement. Corporate management is now looking for possibilities to innovate like startups. Along with it, the awareness and the use of the Lean startup approach have grown rapidly amongst the software startup community and large companies in recent years. Objective: The aim of this study is to investigate how Lean internal startup facilitates software product innovation in large companies.…
Why Should the Q-method be Integrated Into the Design Science Research? A Systematic Mapping Study
2019
The Q-method has been utilized over time in various areas, including information systems. In this study, we used a systematic mapping to illustrate how the Q-method was applied within Information Systems (IS) community and proposing towards the integration of Q-method into the Design Sciences Research (DSR) process as a tool for future research DSR-based IS studies. In this mapping study, we collected peer-reviewed journals from Basket-of-Eight journals and the digital library of the Association for Information Systems (AIS). Then we grouped the publications according to the process of DSR, and different variables for preparing Q-method from IS publications. We found that the potential of t…
Conditional particle filters with diffuse initial distributions
2020
Conditional particle filters (CPFs) are powerful smoothing algorithms for general nonlinear/non-Gaussian hidden Markov models. However, CPFs can be inefficient or difficult to apply with diffuse initial distributions, which are common in statistical applications. We propose a simple but generally applicable auxiliary variable method, which can be used together with the CPF in order to perform efficient inference with diffuse initial distributions. The method only requires simulatable Markov transitions that are reversible with respect to the initial distribution, which can be improper. We focus in particular on random-walk type transitions which are reversible with respect to a uniform init…
Unbiased Inference for Discretely Observed Hidden Markov Model Diffusions
2021
We develop a Bayesian inference method for diffusions observed discretely and with noise, which is free of discretisation bias. Unlike existing unbiased inference methods, our method does not rely on exact simulation techniques. Instead, our method uses standard time-discretised approximations of diffusions, such as the Euler--Maruyama scheme. Our approach is based on particle marginal Metropolis--Hastings, a particle filter, randomised multilevel Monte Carlo, and importance sampling type correction of approximate Markov chain Monte Carlo. The resulting estimator leads to inference without a bias from the time-discretisation as the number of Markov chain iterations increases. We give conver…
Introducing Traceability in GitHub for Medical Software Development
2021
Assuring traceability from requirements to implementation is a key element when developing safety critical software systems. Traditionally, this traceability is ensured by a waterfall-like process, where phases follow each other, and tracing between different phases can be managed. However, new software development paradigms, such as continuous software engineering and DevOps, which encourage a steady stream of new features, committed by developers in a seemingly uncontrolled fashion in terms of former phasing, challenge this view. In this paper, we introduce our approach that adds traceability capabilities to GitHub, so that the developers can act like they normally do in GitHub context bu…