Gå till sökfältet
Gå till sidans huvudinnehåll
Gå till tillgänglighetsredogörelsen
Forskning.fi
Menu
Suomeksi
På svenska
In English
Ingångssida
Sökning
Vetenskaps- och innovationspolitik
Vetenskaps- och forskningsnyheter
På svenska
- 927 results
Publikationer
928
Utlysningar
10
Beviljade finansiering
123
Personer
4
Data
40
Infrastrukturer
2
Organisationer
0
Projekt
4
Publikationer -
927
sökresultat
Gå till sökresultaten
Visa som bild
Begränsa sökning
Resultaten visas 1 - 10 / 927
10
50
100
resultat / per sida
Vilka
publikations
uppgifter finns i tjänsten?
Icon
Publikationens namn
Upphovspersoner
Publikationskanal
År
Publicationer information ikon
Part-time Engineering Master
Programs
Utilize Job Assignments or Professional Challenges as Means of Learning
Referentgranskad
Öppen tillgång
Schrey-Niemenmaa, Katriina; Noergard, Bente
World Conference on Continuing Engineering Education
2018
Publicationer information ikon
Omega-Restricted Logic
Programs
Referentgranskad
Syrjänen, Tommi
SPRINGER
2001
Publicationer information ikon
Automatic verification of Dafny
programs
with traits
Referentgranskad
Öppen tillgång
DOI
10.1145/2786536.2786542
Ahmadi, Reza; Leino, K. Rustan M; Nummenmaa, Jyrki
17th Workshop on Formal Techniques for Java-like
Programs
, FTfJP 2015
2015
Publicationer information ikon
Verifying SDL
Programs
Using Petri Nets
Referentgranskad
Husberg, N.
-
1998
Publicationer information ikon
Modularity in Smodels
Programs
Referentgranskad
Oikarinen, Emilia
SPRINGER
2007
Publicationer information ikon
Representing Normal
Programs
with Clauses
Referentgranskad
Janhunen, Tomi
IOS PRESS
2004
Publicationer information ikon
Logic
Programs
with Ordered Disjunction
Referentgranskad
DOI
10.1111/j.0824-7935.2004.00241.x
Brewka, Gerhard; Niemelä, Ilkka; Syrjänen, Tommi
Computational Intelligence
2004
Publicationer information ikon
Comparison of machine learning methods in the early identification of vasculitides, myositides and glomerulonephritides
Referentgranskad
Öppen tillgång
DOI
10.1016/j.cmpb.2023.107917
Ryyppö, Rasmus; Häyrynen, Sergei; Joutsijoki, Henry; Juhola, Martti; Seppänen, Mikko R. J.;
Computer methods and
programs
in biomedicine
2024
Publicationer information ikon
Influence of adaptive denoising on Diffusion Kurtosis Imaging at 3T and 7T
Referentgranskad
Öppen tillgång
DOI
10.1016/j.cmpb.2023.107508
Tro, Rosella; Roascio, Monica; Arnulfo, Gabriele; Tortora, Domenico; Severino, Mariasavina; Rossi, A...
Computer Methods and
Programs
in Biomedicine
2023
Publicationer information ikon
gACSON software for automated segmentation and morphology analyses of myelinated axons in 3D electron microscopy
Referentgranskad
Öppen tillgång
DOI
10.1016/j.cmpb.2022.106802
Behanova, Andrea; Abdollahzadeh, Ali; Belevich, Ilya; Jokitalo, Eija; Sierra, Alejandra; Tohka, Juss...
Computer methods and
programs
in biomedicine
2022
Part-time Engineering Master
Programs
Utilize Job Assignments or Professional Challenges as Means of Learning
Referentgranskad
Öppen tillgång
2018
Omega-Restricted Logic
Programs
Referentgranskad
2001
Automatic verification of Dafny
programs
with traits
Referentgranskad
Öppen tillgång
DOI
10.1145/2786536.2786542
2015
Verifying SDL
Programs
Using Petri Nets
Referentgranskad
1998
Modularity in Smodels
Programs
Referentgranskad
2007
Representing Normal
Programs
with Clauses
Referentgranskad
2004
Logic
Programs
with Ordered Disjunction
Referentgranskad
DOI
10.1111/j.0824-7935.2004.00241.x
2004
Comparison of machine learning methods in the early identification of vasculitides, myositides and glomerulonephritides
Referentgranskad
Öppen tillgång
DOI
10.1016/j.cmpb.2023.107917
2024
Influence of adaptive denoising on Diffusion Kurtosis Imaging at 3T and 7T
Referentgranskad
Öppen tillgång
DOI
10.1016/j.cmpb.2023.107508
2023
gACSON software for automated segmentation and morphology analyses of myelinated axons in 3D electron microscopy
Referentgranskad
Öppen tillgång
DOI
10.1016/j.cmpb.2022.106802
2022
Föregående
1
2
3
4
5
Nästa
Resultaten visas 1 - 10 / 927
Sida 1
Sort