Resultaten visas 1 - 10 / 937
resultat / per sida
Vilka publikationsuppgifter finns i tjänsten?
Publikationens namn
Upphovspersoner
Publikationskanal
År

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 Education2018

Omega-Restricted Logic Programs

Referentgranskad
Syrjänen, Tommi
SPRINGER2001

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 20152015

Verifying SDL Programs Using Petri Nets

Referentgranskad
Husberg, N.
-1998

Modularity in Smodels Programs

Referentgranskad
Oikarinen, Emilia
SPRINGER2007

Representing Normal Programs with Clauses

Referentgranskad
Janhunen, Tomi
IOS PRESS2004

Logic Programs with Ordered Disjunction

Referentgranskad
DOI
10.1111/j.0824-7935.2004.00241.x
Brewka, Gerhard; Niemelä, Ilkka; Syrjänen, Tommi
Computational Intelligence2004

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 biomedicine2024

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 Biomedicine2023

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 biomedicine2022

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