Sökning: "Jean-Philippe"

Visar resultat 1 - 5 av 8 avhandlingar innehållade ordet Jean-Philippe.

1. 1. A Theory of Parametric Polymorphism and an Application

   Författare :Jean-Philippe Bernardy; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : This thesis revisits the well-known notion of parametric polymorphismin the light of modern developments in type-theory. Additionally,applications of parametric polymorphism are also presented.The first part of the thesis presents a theoretical investigation ofthe semantics of parametric polymorphism of and within type-theorieswith dependent types. LÄS MER

3. 2. Software Engineering using Typed Functional Programming

   Författare :Jean-Philippe Bernardy; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; functional programming types polymorphism type-classes;

   Sammanfattning : This thesis makes three distinct contributions to software engineering, usingtyped functional programming.First, we present a schema to reduce polymorphic properties to an equivalentmonomorphic property, for the purpose of testing. Our proof uses parametricity andproperties of initial algebras. LÄS MER

4. 3. Essays on welfare and debt : From impact evaluation in Kenya to Canadian housing markets

   Författare :Jean-Philippe Deschamps-Laporte; Lars Hultkrantz; Jörgen Levin; Gunnar Isacsson; Elin Vimefall; Dick Durevall; Örebro universitet; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Impact evaluation; rural development; agricultural extension; technology adoption; wealth effect; housing; household debt;

   Sammanfattning : This thesis is comprised of two independent essays on the topics of impact evaluation, and one essay on the housing wealth-effect. The essays address key questions on welfare and spending decisions made by households when subject to government assistance programs and increases in housing prices. LÄS MER

5. 4. Mechanism-based flow stress model for Ti-6Al-4V : applicable for simulation of additive manufacturing and machining

   Författare :Bijish Babu; Lars-Erik Lindgren; Jean-Philippe Ponthot; Luleå tekniska universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Material modeling; Ti-6Al-4V; dislocation density; vacancy concentration; additive manufacturing; hot forming; heat treatment; Material Mechanics; Materialmekanik;

   Sammanfattning : Ti-6Al-4V has remarkable properties such as high specific mechanical properties (viz. stiffness, strength, toughness, fatigue resistance), corrosion resistance, biocompatibility etc. These properties make it attractive for applications in aerospace, chemical industry, energy production, surgical implants, etc. LÄS MER

7. 5. Correlations of Higher Order in Networks of Spiking Neurons

   Författare :Stojan Jovanovic; Stefan Rotter; John Hertz; Jeanette Hällgren Kotaleski; Jean-Philippe Bouchard; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Neuronal network; oscillations; correlations; Computer Science; Datalogi;

   Sammanfattning : The topic of this dissertation is the study of the emergence of higher-order correlations in recurrentlyconnected populations of brain cells.Neurons have been experimentally shown to form vast networks in the brain. LÄS MER