Avancerad sökning
Visar resultat 11 - 15 av 8599 avhandlingar som matchar ovanstående sökkriterier.
11. Towards a theory of natural occupation: developing theoretical, methodological and empirical support for the relation between plot systems and urban processes
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
12. The Hole Story: Type-Directed Synthesis and Repair
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
13. Information categories and editorial processes in multiple channel publishing
Sammanfattning : .... LÄS MER
14. Imagining the Organic City : Modern Tropes of 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
15. Type Theory with First-Order Data Types and Size-Change Termination
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