A practical methodology for anonymization of structured health data

Amin Aminifar
Engelsk
Artikkel Vis mer

On a non-existent ventral filtration current in Hemimysis lamornae (Couch) and Praunus flexuosus (Müller) (Crustacea: Mysidacea)

Yngve G. Attramadal
Engelsk
Artikkel Vis mer

A visual analytics dashboard to support iCBT therapists

Nikolai Alexander Grieg
Engelsk
Artikkel Vis mer

Dynamic content manager - en grafbasert læringsmodell utprøvd i matematikkundervisningen

Hinna, Kristin Ran Choi
Bokmål · 2009
Artikkel Vis mer

The institution of multialgebras

Lamo, Yngve
Inngår i serie: Reports in informatics (no. 209)
Bok · Engelsk · 2000 · Les på nett
Vis mer

The institution of multialgebras : a general framework for algebraic software development

Lamo, Yngve
Bok · Engelsk · 2002
Vis mer

Logic with equality for multialgebras : an application of Rasiowa-Sikorski technique

Lamo, Yngve
Inngår i serie: Reports in informatics (report no 227)
Bok · Engelsk · 2002
Vis mer

Modeling partiality by nondeterminism : from abstract specifications to flexible error handling

Lamo, Yngve
Inngår i serie: Reports in informatics (no. 178)
Bok · Engelsk · 1999 · Les på nett
Vis mer

Qualifier-free logic for multialgebraic theories

Lamo, Yngve
Inngår i serie: Reports in informatics (report no 228)
Bok · Engelsk · 2002
Vis mer

Specifications of parameterized data types

Lamo, Yngve
Inngår i serie: Reports in informatics (no. 210)
Bok · Engelsk · 2000 · Les på nett
Vis mer