Search results for "tieto"
showing 10 items of 2143 documents
Human experts vs. machines in taxa recognition
2020
The step of expert taxa recognition currently slows down the response time of many bioassessments. Shifting to quicker and cheaper state-of-the-art machine learning approaches is still met with expert scepticism towards the ability and logic of machines. In our study, we investigate both the differences in accuracy and in the identification logic of taxonomic experts and machines. We propose a systematic approach utilizing deep Convolutional Neural Nets with the transfer learning paradigm and extensively evaluate it over a multi-pose taxonomic dataset with hierarchical labels specifically created for this comparison. We also study the prediction accuracy on different ranks of taxonomic hier…
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…
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…
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…
Measuring Semantic Coherence of a Conversation
2018
Conversational systems have become increasingly popular as a way for humans to interact with computers. To be able to provide intelligent responses, conversational systems must correctly model the structure and semantics of a conversation. We introduce the task of measuring semantic (in)coherence in a conversation with respect to background knowledge, which relies on the identification of semantic relations between concepts introduced during a conversation. We propose and evaluate graph-based and machine learning-based approaches for measuring semantic coherence using knowledge graphs, their vector space embeddings and word embedding models, as sources of background knowledge. We demonstrat…
Continuous design control for machine learning in certified medical systems
2022
AbstractContinuous software engineering has become commonplace in numerous fields. However, in regulating intensive sectors, where additional concerns need to be taken into account, it is often considered difficult to apply continuous development approaches, such as devops. In this paper, we present an approach for using pull requests as design controls, and apply this approach to machine learning in certified medical systems leveraging model cards, a novel technique developed to add explainability to machine learning systems, as a regulatory audit trail. The approach is demonstrated with an industrial system that we have used previously to show how medical systems can be developed in a con…
The Flying and the Masked Man, One More Time: Comments on Peter Adamson and Fedor Benevich, ‘The Thought Experimental Method: Avicenna's Flying Man A…
2020
AbstractThis is a critical comment on Adamson and Benevich (2018), published in issue 4/2 of the Journal of the American Philosophical Association. I raise two closely related objections. The first concerns the objective of the flying man: instead of the question of what the soul is, I argue that the argument is designed to answer the question of whether the soul exists independently of the body. The second objection concerns the expected result of the argument: instead of knowledge about the quiddity of soul, I claim the argument yields knowledge about the soul's existence independently of the body. After the objections, I turn to the masked man fallacy, claiming that although the Adamson-…
Automatic Content Analysis of Computer-Supported Collaborative Inquiry-Based Learning Using Deep Networks and Attention Mechanisms
2020
Computer-supported collaborative inquiry-based learning (CSCIL) represents a form of active learning in which students jointly pose questions and investigate them in technology-enhanced settings. Scaffolds can enhance CSCIL processes so that students can complete more challenging problems than they could without scaffolds. Scaffolding CSCIL, however, would optimally adapt to the needs of a specific context, group, and stage of the group's learning process. In CSCIL, the stage of the learning process can be characterized by the inquiry-based learning (IBL) phase (orientation, conceptualization, investigation, conclusion, and discussion). In this presentation, we illustrate the potential of a…
Opettajien käsityksiä tieto- ja viestintäteknologian käyttämisestä liikunnanopetuksessa
2018
Tieto- ja viestintäteknologian opetuskäytön hyödyistä on paljon tutkimusnäyttöä ja teknologia on tällä hetkellä erottamaton osa koulun, oppilaiden ja opettajien arkea. Teknologian hyödyntäminen liikunnanopetuksessa ei kuitenkaan ole vielä yleistynyt, ja opettajan voidaan ajatella olevan keskeisessä roolissa uusien toimintatapojen kokeilemisessa ja käyttöön ottamisessa. Tämän tutkimuksen tavoitteena on selvittää, millaisia käsityksiä opettajilla on tieto- ja viestintäteknologian käyttämisestä alakoulun liikunnanopetuksessa. Lähestyn tutkimusongelmaa tarkastelemalla opettajien käsityksiä tieto- ja viestintäteknologian käytön hyödyistä ja haasteista liikunnanopetuksessa. Tutkimukseni metodolog…