Avancerad sökning

Visar resultat 6 - 10 av 8599 avhandlingar som matchar ovanstående sökkriterier.

  1. 6. Urban types in rapidly urbanising cities

    Författare :John Modestus Lupala; KTH; []
    Nyckelord :urban types; hourse forms; densily; plot characteristics; spaces and space use; spatial quality; formal and informal settlement; dar es salaam;

    Sammanfattning : One of the challenges confronting cities innon-industrialised countries today is the fact that cities aregrowing at unprecedented rates, sizes and densities. Growthtrends in these cities are largely unregulated. LÄS MER

  3. 7. 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

  4. 8. Modular Normalization with Types

    Författare :Nachiappan Valliappan; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Programming Languages; Functional Programming;

    Sammanfattning : With the increasing use of software in today’s digital world, software is becoming more and more complex and the cost of developing and maintaining software has skyrocketed. It has become pressing to develop software using effective tools that reduce this cost. LÄS MER

  5. 9. Max Weber och idealtypernas nödvändighet

    Författare :Erik Jansson Boström; Sharon Rider; Niklas Forsberg; Ola Agevall; Uppsala universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; Weber; Ideal Types; Understanding; Meaning; Interpretation; Objectivity; Subjectivity; Philosophy of Science; Epistemology; Social Science; Wittgenstein; Language Games; Instrumentalism; Values; Neokantianism; Weber; Idealtyper; Förståelse; Mening; Tolkning; Objektivitet; Subjektivitet; Filosofi; Vetenskapsteori; Kunskapsteori; Samhällsvetenskap; Wittgenstein; språkspel; Instrumentalism; Värderingar; Nykantianism; Filosofi; Philosophy;

    Sammanfattning : This thesis has two aims: first, to investigate Max Weber’s account of “objective validity” in the cultural sciences; second, to elaborate a more concrete version of this position using Ludwig Wittgenstein’s later remarks on language.Chapter 1 introduces Weber’s idea of objective validity and proposes that in order to understand Weber’s idea of ideal types, we need to re-evaluate Weber’s understanding of the term Bedeutung in “The ‘Objectivity’ of knowledge in Social Science and Social Policy”. LÄS MER

  7. 10. Languages, Logics, Types and Tools for Concurrent System Modelling

    Författare :Ramūnas Gutkovas; Johannes Borgström; Björn Victor; Thomas T. Hildebrandt; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; process calculus; modal logic; session types; tool; Computer Science; Datavetenskap;

    Sammanfattning : A concurrent system is a computer system with components that run in parallel and interact with each other. Such systems are ubiquitous and are notably responsible for supporting the infrastructure for transport, commerce and entertainment. LÄS MER