Zobrazeno 1 - 10
of 36
pro vyhledávání: '"Matti Nykänen"'
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
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
https://doi.org/10.1007/s10472-015-9493-3
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
https://doi.org/10.1007/s00138-014-0650-1
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
https://doi.org/10.1080/02687038.2013.802284
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
https://doi.org/10.1017/s0956796811000128
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
https://doi.org/10.2340/16501977-0527
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
https://doi.org/10.1016/j.tcs.2006.07.027
Autor:
Matti Nykänen
Publikováno v:
Artificial Intelligence. 160:173-190
The first-order logical theory of dense linear order has long been known to admit quantifier elimination. This paper develops an explicit algorithm that yields an equivalent quantifier free form of its input formula. This algorithm performs existenti
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::08d34d2dca511110ba5649775203b82f
https://doi.org/10.1016/j.artint.2004.05.011
https://doi.org/10.1016/j.artint.2004.05.011
Publikováno v:
Archives of Physical Medicine and Rehabilitation. 85:1303-1308
Ylinen J, Salo P, Nykanen M, Kautiainen H, Hakkinen A. Decreased isometric neck strength in women with chronic neck pain and the repeatibility of neck strength measurements. Arch Phys Med Rehabil 2004;85:1303–8. Objectives To evaluate neck flexion,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a55c46dcd8042f7c7202bb7a35c6c0fa
https://doi.org/10.1016/j.apmr.2003.09.018
https://doi.org/10.1016/j.apmr.2003.09.018
Autor:
Timo Pohjolainen, Arja Häkkinen, O. Airaksinen, Matti Nykänen, Sirkka-Liisa Karppi, E. Mälkiä, Jari Ylinen, Esa-Pekka Takala, Hannu Kautiainen
Publikováno v:
Manuelle Medizin. 41:491-499
Aktives korperliches Training ist eine weitverbreitete Therapie fur Patienten mit chronischen Nackenschmerzen; bisher konnte dessen Wirksamkeit jedoch noch nicht in randomisierten Studien nachgewiesen werden. Ziel dieser Studie war es, die Wirksamkei
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::64b59d7334c92cc8b71ad79e896bb71c
https://doi.org/10.1007/s00337-003-0268-2
https://doi.org/10.1007/s00337-003-0268-2