Sökning: "infinite form"

Visar resultat 1 - 5 av 79 avhandlingar innehållade orden infinite form.

1. 1. Infinite Structures in Timed Systems

   Författare :Pavel Krcal; Wang Yi; Joel Ouaknine; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Theoretical computer science; Teoretisk datalogi; Datalogi; Computing Science;

   Sammanfattning : Real time systems distinguish themselves by explicitly stating timing constraints in the system specification. This requires specific methods and tools in system design to ensure such constraints. We focus on one of the methods applied in the validation phase, namely formal verification. LÄS MER

3. 2. Le gérondif en français et les structures correspondantes en suédois : Étude contrastive

   Författare :Birgitta Hellqvist; Hans Kronning; Coco Norén; Hans-Petter Helland; Uppsala universitet; []
   Nyckelord :HUMANIORA; HUMANITIES; French gerund; infinite form; converbs; simultaneity; contrastive analysis; grammaticalisation; gérondif; forme infinie; simultanéité; analyse contrastive; grammaticalisation; Romance Languages; Romanska språk;

   Sammanfattning : The present study deals with the French gerund and the Swedish syntactic correspondences in a parallel corpus. The analysis is based on 3,988 authentic instances of the gerund and their corresponding structures in Swedish texts. LÄS MER

4. 3. A class of infinite dimensional stochastic processes with unbounded diffusion

   Författare :John Karlsson; Jörg-Uwe Löbus; Christian Bayer; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Malliavin calculus; Dirichlet form on Wiener space; unbounded diffusion;

   Sammanfattning : The aim of this work is to provide an introduction into the theory of infinite dimensional stochastic processes. The thesis contains the paper A class of infinite dimensional stochastic processes with unbounded diffusion written at Linköping University during 2012. LÄS MER

5. 4. Planerat, alltför planerat : En perspektivistisk studie i stadsplaneringens paradoxer

   Författare :Sara Westin; Irene Molina; Gunnar Olsson; Mattias Kärrholm; Uppsala universitet; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; planning; architecture; urbanity; contra-finality; expert knowledge; power; paradox; perspectivism; psychoanalysis; space syntax; flâneur; alienation; reasoning rules; form process; Apollo Dionysus; logic dialectics; philobatia ocnophilia; Human geography; Kulturgeografi; Social and Economic Geography; Kulturgeografi;

   Sammanfattning : Why is it that modern architects and planners ? these benevolent and socially visionary ?experts? ? have created environments that can make one feel so uneasy? Such is the question that eventually grew into this thesis, where the aim is to enter into and understand the gap between ideals and realities in planning and architecture, with particular focus on projects that try to create an ?urban atmosphere?. As a starting point the author returns to the feelings she felt when she first visited one of these expertly planned areas; what the architects had described as an attractive, urban environment was to her a ghost town without life. LÄS MER

7. 5. Boundary Value Problems for Nonlinear Elliptic Equations in Divergence Form

   Författare :Abubakar Mwasa; Jana Björn; Anders Björn; Tomas Sjödin; Sorina Barza; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : The thesis consists of three papers focussing on the study of nonlinear elliptic partial differential equations in a nonempty open subset Ω of the n-dimensional Euclidean space Rn. We study the existence and uniqueness of the solutions, as well as their behaviour near the boundary of Ω. LÄS MER