Sökning: "A-type"

Visar resultat 21 - 25 av 393 avhandlingar innehållade ordet A-type.

1. 21. The roles of inner nuclear membrane proteins during interphase and mitosis

   Författare :Veronica J. Larsson; Einar Hallberg; Neus Visa; Stockholms universitet; []
   Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Samp1; mitotic spindle; centrosome; LINC complex; Lamina; Sun1; mitosis; neurokemi med molekylär neurobiologi; Neurochemistry with Molecular Neurobiology;

   Sammanfattning : The nuclear envelope (NE) consists of two concentric membranes, the outer nuclear membrane (ONM) and the inner nuclear membrane (INM). The LINC (linker of nucleoskeleton and cytoskeleton) complex spans both the ONM and the INM connecting the cytoskeleton to the nucleoskeleton and chromatin. LÄS MER

3. 22. Population fluctuations and life history consequences in the arctic fox

   Författare :Magnus Tannerfeldt; David Macdonald; Stockholms universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Biology; Biologi; zoologisk ekologi; Animal Ecology;

   Sammanfattning : In this thesis, I describe and explain drastic population fluctuations in the arctic fox Alopex lagopus (L.). I proceed to examine evolutionary consequences of unpredictable fluctuations in terms of life history strategies. In fluctuating populations, the risks and benefits of different behaviours vary with changes in population density. LÄS MER

4. 23. Functional Polytypic Programming

   Författare :Patrik Jansson; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; algebraic datatypes; functional programming; programming languages; polytypic programming; generic programming;

   Sammanfattning : Many algorithms have to be implemented over and over again for different datatypes, either because datatypes change during the development of programs, or because the same algorithm is used for several datatypes. Examples of such algorithms are equality tests, pretty printers, and pattern matchers, and polytypic programming is a paradigm for expressing such algorithms. LÄS MER

5. 24. Univalent Types, Sets and Multisets : Investigations in dependent type theory

   Författare :Håkon Robbestad Gylterud; Erik Palmgren; Nicola Gambino; Stockholms universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; type theory; homotopy type theory; dependent types; constructive set theory; databases; formalisation; agda; Mathematics; matematik;

   Sammanfattning : This thesis consists of four papers on type theory and a formalisation of certain results from the two first papers in the Agda language. We cover topics such as models of multisets and sets in Homotopy Type Theory, and explore ideas of using type theory as a language for databases and different ways of expressing dependencies between terms. LÄS MER

7. 25. Types for Crash Preventionn

   Författare :Lars Pareto; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; reliability; dependability; concurrent programming; denotational semantics; real-time systems and embedded systems; data-flow; dynamic storage management; applicative functional programming languages ; type systems;

   Sammanfattning : This thesis seeks to strengthen the capabilities of static polymorphic type-checking (as known from typed lambda calculus and functional programming) to allow a larger class of programming errors to be caught at compile time: the goal is to not only prevent illegal uses of data, but to also errors that lead to busy-loops, deadlocks, stack-overflows and heap-overflows. The thesis exploits that, for recursive programs, many correctness properties (including freedom from errors leading to busy-loops, etc. LÄS MER