Search for dissertations about: "Function approximation"

Showing result 16 - 20 of 246 swedish dissertations containing the words Function approximation.

  2. 16. Few is Just Enough! : Small Model Theorem for Parameterized Verification and Shape Analysis

    Author : Frédéric Haziza; Parosh Aziz Abdulla; Tomáš Vojnar; Uppsala universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; program verification; model checking; parameterized systems; infinite-state systems; reachability; approximation; safety; tree systems; shape analysis; small model properties; view abstraction; monotonic abstraction; Computer Science; Datavetenskap;

    Abstract : This doctoral thesis considers the automatic verification of parameterized systems, i.e. systems with an arbitrary number of communicating components, such as mutual exclusion protocols, cache coherence protocols or heap manipulating programs. The components may be organized in various topologies such as words, multisets, rings, or trees. READ MORE

  4. 17. Road Surface and Tyre Interaction : Functional Properties affecting Road Dust Load Dynamics and Storage

    Author : Joacim Lundberg; Sigurdur Erlingsson; Mats Gustafsson; Xavier Querol; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Road dust; Road abrasion wear; Studded tyre abrasion wear; Texture; Emissions; Abrasion wear model; NORTRIP; PM10; Particles; Stone Mastic Asphalt – SMA; Porous Pavements; Double Layered Porous Asphalt Concrete – DLPAC; Road traffic noise; Rolling Resistance; Friction; Holistic; Function; Functional properties; Functional demands; Temporal variation; Spatial variation; Vägdamm; Vägslitage; Dubbdäcksslitage; Textur; Emissioner; Slitagemodell; NORTRIP; PM10; Partiklar; Asfaltsbetong; stenrik - ABS; Dränerande beläggning; Dubbeldränerande beläggning; Buller; Rullmotstånd; Friktion; Holistisk; Funktion; Funktionskrav; Tidsvariation; Rumsvariation; Byggvetenskap; Civil and Architectural Engineering; Building Materials; Byggnadsmaterial;

    Abstract : Luftburna partiklar (PM) är ett problem för människans hälsa, där flertalet samband mellan negativa hälsoeffekter finns mellan luftföroreningar finns, bland annat för respiratoriska sjukdomar, lungcancer och kardiovaskulära sjukdomar med flera. I länder där dubbdäck används, till exempel Sverige, Finland och Norge, och sandning av vägar och gator genomförs vintertid för att säkerställa god friktion kommer en betydande andel av partiklarna från vägslitage och nedkrossning av sand vilket bidrar till PM10. READ MORE

  5. 18. Vintage models of spatial structural change

    Author : Lars Westin; Umeå universitet; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; adiabatic approximation; dynamics; input-output; interregional computable general equilibrium; slaving principle; spatial models; spatial linear expenditure system; spatial price equilibrium; transportation networks; vintage function;

    Abstract : In the study a class of multisector network models, suitable for simulation of the interaction between production, demand, trade, and infrastructure, is presented. A characteristic feature of the class is a vintage model of the production system. READ MORE

  6. 19. Alternative Methods for Assessment of Split Renal Function

    Author : Henrik Björkman; Anders Magnusson; Jonas Wadström; Torbjörn Andersson; Uppsala universitet; []
    Keywords : Radiology; Split renal function; Live kidney donor; CT; Renography; Dynamic MRI; Renal volume; Respiratory triggering; Radiologisk forskning;

    Abstract : Living kidney donation is a clinical situation with unique features in the sense that healthy individuals voluntarily expose themselves to certain risks and inconveniences. Therefore, eliminating as much of the associated discomfort as possible is crucial. READ MORE

  7. 20. Topics in Hardness of Approximation and Social Choice Theory

    Author : Marcus Isaksson; Göteborgs universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Hardness of approximation; social choice theory; Gibbard-Satterthwaite; max-q-cut; Condorcet voting; linear threshold functions.; Hardness of approximation;

    Abstract : Tools from Fourier analysis of Boolean functions have commonly been used to prove results both in hardness of approximation in computer science and in the study of voting schemes in social choice theory. In this thesis we consider various topics in both these contexts. READ MORE