Sökning: "types"

Visar resultat 11 - 15 av 8591 avhandlingar innehållade ordet types.

  1. 11. Towards a theory of natural occupation: developing theoretical, methodological and empirical support for the relation between plot systems and urban processes

    Författare :Evgeniya Bobkova; Chalmers tekniska högskola; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; HUMANIORA; HUMANITIES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; types; urban diversity; urban-morphology; plot systems; statistical analysis; temporal evolution of built form; quantitative descriptions; natural occupation; morphological measures;

    Sammanfattning : Plot systems (or ‘plots’, ‘lots’, ‘parcels’, ‘land divisions’) is a commonly recognised structural component of urban form along with streets and buildings. They play a critical role in understanding urban processes in cities, not least of all because they link directly between the physical world and institutions, such as property rights. LÄS MER

  3. 12. The Hole Story: Type-Directed Synthesis and Repair

    Författare :Matthías Páll Gissurarson; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Types; Security; Program Repair; Compilers; Program Synthesis;

    Sammanfattning : Modern programs in languages like Haskell include a lot of information beyond what is strictly required for compilation, such as additional type information, unit tests and properties. This information is often used for post-compilation verification, by running the tests to verify that the code-as-written matches the specification provided by the types and properties. LÄS MER

  4. 13. Information categories and editorial processes in multiple channel publishing

    Författare :Kristina Sabelström Möller; KTH; []
    Nyckelord :newspaper; editorial; organisation; workflow; process; rhythm; information; types; needs; multiple channel publishing; media; web; WWW; internet; print;

    Sammanfattning : .... LÄS MER

  5. 14. Imagining the Organic City : Modern Tropes of Organization

    Författare :Meike Schalk; Kenneth Olwig; Sven Olov Wallenstein; Helena Mattsson; M Christine Boyer; Faculty of Landscape Architecture Swedish University of Agricultural Sciences SLU Alnarp; []
    Nyckelord :organic; organism; types; evolution; city; society; biology; Patrick Geddes; urban design; metabolism; organization;

    Sammanfattning : The thesis examines three ’organic tropes’ of modern architecture and urban design, addressing different crucial moments of change within modernist discourse. Attention is focused on the institutionalization of ‘town planning’ at the turn of the last century; the shift during the post-war years; and the beginning of urban debate in Japan during the early 1960s. LÄS MER

  7. 15. Type Theory with First-Order Data Types and Size-Change Termination

    Författare :David Wahlstedt; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Pattern-matching; Reducibility; Size-Change Termination; Logical Framework; Lambda-calculus; Term rewriting.; Type Theory; Dependent types; Normalization; Type system;

    Sammanfattning : We prove normalization for a dependently typed lambda-calculus extended with first-order data types and computation schemata for first-order size-change terminating recursive functions. Size-change termination, introduced by C.S. Lee, N. LÄS MER