5 uppsatser
En kritisk diskursanalys av grundskolans fostran från Lgr62 till och med Lpo94
I have studied the curriculum for the compulsory Swedish school, from the curriculum from year 1962 when the Swedish grundskolan became a reality, to the curriculum from year 1994, the one in practice today. My primary interest has been what the curriculum says about bringing up …
This thesis describes an optimising compiler for translating from SMV to CLP(B). The optimisation is aimed at reducing the number of required variables in order to decrease the size of the resulting BDDs. Also a partitioning of the transition relation is performed. The compiler …
… ochh tillförlitlighet. Modellkontroll med NuSMV och Computational Tree Logic (CTL) appliceras på viss funktionalitet av de studerade systemen och en formell verifiering av att funktionaliteten uppfyller specifikationen utförs.
… ochh tillförlitlighet. Modellkontroll med NuSMV och Computational Tree Logic (CTL) appliceras på viss funktionalitet av de studerade systemen och en formell verifiering av att funktionaliteten uppfyller specifikationen utförs.
… antikroppssvar jämfört med icke-infekterade katter. Cytotoxiska T-lymfocyter (CTL) spelar en viktig roll i värdens tidiga försvar mot FeLV. För att bekämpa persistent viremi är dock både det humorala och det cell-medierade immunförsvaret viktiga. Behovet av produkter som kan …
