Výsledky vyhledávání - "Matti Nykänen"

Akademický článek

Autor: Matti NYKÄNEN

Publikováno v: Informatics in Education, Vol 4, Iss 1, Pp 87-100 (2005)

Students of proof theory, a branch of formal logic, can benefit from computerized tools. We describe the principles behind one such tool called ProEd. This tool is targeted especially at novice students, and therefore it is designed to support effort

Externí odkaz: https://doaj.org/article/56f36f5f688745ad903336dd75d9a627

Zobrazit plný text záznamu

Reprezentacija smučarskih skokov in percepcija športa (primer filma Matti hell is for heroes)

Autor: Sušnik, Urban

V svoji diplomski nalogi sem s pomočjo fokusne skupine preučeval pomen medija – filma, kako vliva na percepcijo športa oziroma ene športne panoge ter na predstavitev športnika kot zvezdnika. V svoji nalogi izhajam iz filma Matti hell is for he

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3505::748958d8667c0b36364b65ef2192fbf8
https://hdl.handle.net/20.500.12556/RUL-111588

Zobrazit plný text záznamu

How to deal with unbelievable assertions

Autor: Raul Hakli, Matti Nykänen, Satu Eloranta, Olli Niinivaara

Publikováno v: Nykänen, M, Hakli, R, Eloranta, S & Niinivaara, O 2016, ' How to Deal with Unbelievable Assertions ', Annals of Mathematics and Artificial Intelligence, vol. 78, no. 3, pp. 323-360 . https://doi.org/10.1007/s10472-015-9493-3

We tackle the problem that arises when an agent receives unbelievable information. Information is unbelievable if it conflicts with the agent’s convictions, that is, what the agent considers knowledge. We propose two solutions based on modifying th

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e14fa1b718b0309a5f47fcad5d1147cb
https://doi.org/10.1007/s10472-015-9493-3

Zobrazit plný text záznamu

An automated gland segmentation and classification method in prostate biopsies: an image source-independent approach

Autor: Niina Päivinen, Jouni Paakkonen, Matti Nykänen, Timo Paavonen

Publikováno v: Machine Vision and Applications. 26:103-113

The aim of this paper is to introduce an image source-independent automated method for segmentation and classification of prostate glands. This research focuses on light microscopic images of the samples from different laboratories using the same sta

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::d6effb6d4f88f1186c8e3677ac136cc9
https://doi.org/10.1007/s00138-014-0650-1

Zobrazit plný text záznamu

Communication therapy for people with aphasia and their partners (APPUTE)

Autor: Pirkko Rautakoski, Matti Nykänen, Riikka Brunou, Arja Nykänen, Hannu Nyrkkö

Publikováno v: Aphasiology. 27:1159-1179

Background: Severe aphasia is a chronic condition and can have a big effect on how people with severe aphasia (PWSA) succeed in their communication. The communication partner’s support for the person with aphasia has been shown to be essential in a

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::8405939de6c351013bbb3903388c080e
https://doi.org/10.1080/02687038.2013.802284

Zobrazit plný text záznamu

A note on the genuine Sieve of Eratosthenes

Autor: Matti Nykänen

Publikováno v: Journal of Functional Programming. 21:563-572

O'Neill (The genuine Sieve of Eratosthenes. J. Funct. Program. 19(1), 2009, 95–106) has previously considered a functional implementation for the genuine Sieve of Eratosthenes, based on the well-known heap data structure. Here, we develop it furthe

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::7d5bb91b84a89fa82847e539cedac3e5
https://doi.org/10.1017/s0956796811000128

Zobrazit plný text záznamu

Effect of neck exercises on cervicogenic headache: A randomized controlled trial

Autor: Jari Ylinen, Arja Häkkinen, Hannu Kautiainen, Riku Nikander, Matti Nykänen

Publikováno v: Journal of Rehabilitation Medicine. 42:344-349

OBJECTIVE To compare the efficacy of three 12-month training programmes on headache and upper extremity pain in patients with chronic neck pain. METHODS A total of 180 female office workers, with chronic, non-specific neck pain were randomly assigned

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::502060c78a38a0354e5b595c36d8c34a
https://doi.org/10.2340/16501977-0527

Zobrazit plný text záznamu

On size reduction techniques for multitape automata

Autor: Esko Ukkonen, Matti Nykänen, Hellis Tamm

Publikováno v: Theoretical Computer Science. 363:234-246

We present a method for size reduction of two-way multitape automata. Our algorithm applies local transformations that change the order in which transitions concerning different tapes occur in the automaton graph, and merge suitable states into a sin

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::df05862be2bf946a49d83823a00c5810
https://doi.org/10.1016/j.tcs.2006.07.027

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání