Concept

Dependent type

Related publications (317)

On The Heat Transfer Of Holographic Type In Nanostructures

Assimilating any nanostructure with a fractal, in the most general Mandelbrot's sense, non - differentiable behaviors in their dynamics on the heat transfer phenomena are analyzed. As such, nanostructure dynamics on the heat transfer in the form of Schrodi ...

UNIV POLITEHNICA BUCHAREST, SCI BULL2020

Inborn errors of type I IFN immunity in patients with life-threatening COVID-19

Jacques Fellay, Rui Yang, Jie Chen, Yu Zhang, Xavier Duval, Peng Zhang, Qian Zhang, Zhiyong Liu, Juan Li

Clinical outcome upon infection with severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) ranges from silent infection to lethal coronavirus disease 2019 (COVID-19). We have found an enrichment in rare variants predicted to be loss-of-function (LOF ...

AMER ASSOC ADVANCEMENT SCIENCE2020

Interplay of intrinsic and extrinsic states in pinning and passivation of m-plane facets of GaN n-p-n junctions

Nicolas Grandjean, Jean-François Carlin, Raphaël Butté, Yi Wang

Intrinsic and extrinsic pinning and passivation of m-plane cleavage facets of GaN n- p- n junctions were investigated by cross-sectional scanning tunneling microscopy and spectroscopy. On freshly cleaved and clean p-type GaN( 10 1 0) ...

AMER INST PHYSICS2020

Verified Functional Programming

Nicolas Charles Yves Voirol

In this thesis, we present Stainless, a verification system for an expressive subset of the Scala language. Our system is based on a dependently-typed language and an algorithmic type checking procedure which ensures total correctness. We rely on SMT solve ...

EPFL2019

Discrete choice and machine learning: Thomson and Thompson?

Michel Bierlaire

Classification methods from machine learning are receiving a lot of attention in the transportation modelling community. This is motivated by the access to large databases, and to various success stories reported in this research community. Discrete choice ...

2019

Design and fabrication of miniaturized shape memory alloy gripper prototype

Grippers, currently used in Industry, are not suited for clean room application. Thus, a novel type of smart gripper is being designed using Shape Memory Alloys (SMA). In the development of this Smart Gripper, the modelling of the material is quite critica ...

2019

Which sensor type at which location should offices with south orientated window choose to improve comfort and reduce energy consumption?

Dolaana Khovalyg

The common placement of thermostats in offices might not reflect the actual thermal environment around occupants and influence the energy use. In this research, it is questioned which type of thermostat at which location better represents the conditions in ...

2019

The asymmetric multitype contact process

Thomas Mountford, Daniel Rodrigues Valesin

We study the multitype contact process on Z(d) under the assumption that one of the types has a birth rate that is larger than that of the other type, and larger than the critical value of the standard contact process. We prove that, if initially present, ...

ELSEVIER SCIENCE BV2019

Rational design of ionic compounds for electrocatalytic reduction of carbon dioxide

Dmitry Vasilyev

Electrochemical reduction of carbon dioxide is one of the plausible approaches towards renewable energy carriers. When coupled with electricity, which can be provided by sustainable technologies, it becomes a method of high importance with potential value ...

EPFL2019

Mixture Models for the Analysis, Edition, and Synthesis of Continuous Time Series

Sylvain Calinon

This chapter presents an overview of techniques used for the analysis, edition, and synthesis of time series, with a particular emphasis on motion data. The use of mixture models allows the decomposition of time signals as a superposition of basis function ...

Springer2019

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.