Concept

Square root of 2

Related publications (89)

ABC: Algebraic Bound Computation for Loops

Régis William Blanc, Laura Ildiko Kovacs, Thibaud Hottelier

We present ABC, a software tool for automatically computing symbolic upper bounds on the number of iterations of nested program loops. The system combines static analysis of programs with symbolic summation techniques to derive loop invariant relations bet ...

Springer Berlin Heidelberg2010

Assessment of irradiation embrittlement of the Eurofer97 steel after 590 MeV proton irradiation

Philippe Spätig, Pablo Federico Mueller

The irradiation hardening of the Eurofer97 steel following 590 MeV proton irradiations was determined at three different irradiation temperatures, 50 °C, 250 °C and 350 °C, and various doses up to about 1.3 displacement per atom. The dose and temperature d ...

Elsevier2009

Polar codes: Characterization of exponent, bounds, and constructions

Rüdiger Urbanke, Satish Babu Korada, Eren Sasoglu

Polar codes were recently introduced by Arikan. They achieve the symmetric capacity of arbitrary binary-input discrete memoryless channels under a low complexity successive cancellation decoding strategy. The original polar code construction is closely rel ...

Ieee Service Center, 445 Hoes Lane, Po Box 1331, Piscataway, Nj 08855-1331 Usa2009

Experimental investigation of unstrained diffusion flames and their instabilities

Etienne Robert

In this thesis, thermal-diffusive instabilities are studied experimentally in diffusion flames. The novel species injector of a recently developed research burner, consisting of an array of hypodermic needles, which allows to produce quasi one-dimensional ...

EPFL2009

Explicit construction of self-dual integral normal bases for the square-root of the inverse different

Erik Jarl Pickett

Let K be a finite extension of Q(p), let L/K be a finite abelian Galois extension of odd degree and let D-L be the valuation ring of L. We define A(L/K) to be the unique fractional D-L-ideal with square equal to the inverse different of L/K. For p an odd p ...

2009

Polar Codes: Characterization of Exponent, Bounds, and Constructions

Rüdiger Urbanke, Satish Babu Korada, Eren Sasoglu

Polarization codes were recently introduced by Ar\i kan. They are explicit code constructions which achieve the capacity of arbitrary symmetric binary-input discrete memoryless channels (and even extensions thereof) under a low complexity successive decodi ...

Ieee Service Center, 445 Hoes Lane, Po Box 1331, Piscataway, Nj 08855-1331 Usa2009

Reliability of rf mems capacitive switches and distributed mems phase shifters using aln dielectric

Mihai Adrian Ionescu, Montserrat Fernandez-Bolanos Badia, Dimitrios Tsamados

The reliability and charging/discharging dynamics of wideband (1.5-14GHz) phase shifters made of MEMS capacitive switches using Aluminum Nitride (AlN) as dielectric are originally reported. Phase shifter lifetimes exceeding 109 cycles are achieved in hot-c ...

2009

Assessing the atomic contribution to the Rashba spin-orbit splitting in surface alloys: Sb/Ag(111)

Klaus Kern, Marco Grioni, Christian Reinhard Ast, Luca Moreschini

We have studied the electronic structure of the Ag(111)(root 3x root 3)R30 degrees-Sb surface alloy by angle-resolved photoemission. We find two hybrid surface bands, similar to the isostructural Ag(111)-Bi interface. The spin-orbit coupling induced spin s ...

2009

A path integral formalism of DNA looping probability

Ludovica Cotta-Ramusino

In this thesis we describe a path integral formalism to evaluate approximations to the probability density function for the location and orientation of one end of a continuum polymer chain at thermodynamic equilibrium with a heat bath. We concentrate on th ...

EPFL2008

Effect of rare-gas adsorption on the spin-orbit split bands of a surface alloy: Xe on Ag(111)-(root 3 x root 3) R30 degrees-Bi

Marco Grioni, Christian Reinhard Ast, Luca Moreschini

We have investigated by angle-resolved photoemission spectroscopy changes induced by Xe adsorption on the spin-orbit-split bands of the epitaxial Ag(111) (root 3x root 3)R30 degrees-Bi surface alloy. We observe an extensive backfolding of the alloy band st ...

2008

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.