Fabrication of functional structures on thin silicon nitride membranes
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.
Inferences related to the second-order properties of functional data, as expressed by covariance structure, can become unreliable when the data are non-Gaussian or contain unusual observations. In the functional setting, it is often difficult to identify a ...
We present a semi-decision procedure for checking satisfiability of formulas in the language of algebraic data types and integer linear arithmetic extended with user-defined terminating recursive functions. Our procedure is designed to integrate into a DPL ...
Automated synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, software synthesis algorithms should behave in a predictable way: they should succ ...
The theme of this dissertation is the study of housing in Lisbon's Baixa Pombalina blocks of flats. It aims to understand the spatial organisation of houses and to study the ways of qualified intervention, thus seeking possible guidelines for future projec ...
Vascular remodeling is an adaptive response to variations in the hemodynamic environment acting on the arterial wall. Remodeling translates into changes of structure, geometry and mechanical properties of the artery. Our aim was to study the remodeling res ...
This thesis explores the use of specifications for the construction of correct programs. We go beyond their standard use as run-time assertions, and present algorithms, techniques and implementations for the tasks of 1) program verification, 2) declarative ...
We present a semi-decision procedure for checking satisfiability of expressive correctness properties of recursive first-order functional programs. In our approach, both properties and programs are expressed in the same language, a subset of Scala. We impl ...
The current Internet is characterized by a growing tension between the "core" (the Internet service providers) and the "edge" (the operators of edge networks and distributed applications). Much of this tension concerns path visibility and control -- where ...
The gating ring of cyclic nucleotide-modulated channels is proposed to be either a two-fold symmetric dimer of dinners or a four-fold symmetric tetramer based on high-resolution structure data of soluble cyclic nucleotide-binding domains and functional dat ...
A process to fabricate functional polysilicon structures above large (4 x 4 mm(2)) thin (200 nm), very flat LPCVD silicon rich nitride membranes was developed. Key features of this fabrication process are the use of low-stress LPCVD silicon nitride, sacrif ...