Resultaten visas 1 - 10 / 927
resultat / per sida
Vilka publikationsuppgifter finns i tjänsten?
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 Education2018Publicationer information ikon

Omega-Restricted Logic Programs

Referentgranskad
Syrjänen, Tommi
SPRINGER2001Publicationer 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 20152015Publicationer information ikon

Verifying SDL Programs Using Petri Nets

Referentgranskad
Husberg, N.
-1998Publicationer information ikon

Modularity in Smodels Programs

Referentgranskad
Oikarinen, Emilia
SPRINGER2007Publicationer information ikon

Representing Normal Programs with Clauses

Referentgranskad
Janhunen, Tomi
IOS PRESS2004Publicationer 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 Intelligence2004Publicationer 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 biomedicine2024Publicationer 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 Biomedicine2023Publicationer 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 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