Concept

Uniform space

Related publications (87)

Uniform Analysis for Communicating Timed Systems (Extended Technical Report)

Languages based on the theory of timed automata are a well established approach for modelling and analysing real-time systems, with many applications both in an industrial and academic context. Model checking for timed automata has been studied extensively ...

2013

Experimental study on flow boiling heat transfer of multiport tubes with R245fa and R1234ze(E)

John Richard Thome, Bruno Agostini, Farzad Vakili Farahani

The upward flow boiling experiments were carried out in a flat aluminum extruded multiport tube, which is composed of 7 parallel rectangular channels (1.1 mm × 2.1 mm) with hydraulic diameter of 1.4 mm. Two refrigerants, R245fa and R1234ze, the latter a re ...

Elsevier2013

An Algorithm to Improve Parameterizations of Rational Bézier Surfaces Using Rational Bilinear Reparameterization

Bailin Deng, Wei Zeng

The parameterization of rational Bézier surfaces greatly affects rendering and tessellation results. The uniformity and orthogonality of iso-parametric curves are two key properties of the optimal parameterization. The only rational Bézier surfaces with un ...

2013

Everything You Always Wanted to Know about Synchronization but Were Afraid to Ask

Rachid Guerraoui, Vasileios Trigonakis, Tudor Alexandru David

This paper presents the most exhaustive study of synchronization to date. We span multiple layers, from hardware cache-coherence protocols up to high-level concurrent software. We do so on different types of architectures, from single-socket - uniform and ...

2013

A Platform for On-Chip Silica Optomechanical Oscillators with Integrated Waveguides

Niels Quack

We present a new phosphosilicate glass photonic integrated circuit platform for optomechanical systems. Wafer-scale reflow enables high-Q (1.5×106) resonators and closely-spaced (250nm) waveguides. Optomechanical resonance (71.9MHz) is demonstrated. ...

OSA2012

Resonant planar antenna as an inductive plasma source

Christoph Hollenstein, Alan Howling, Philippe Frédérique Bruno Guittienne, Sylvain Lecoultre

A resonant planar antenna as an inductive plasma source operating at 13.56 MHz inside a low pressure vacuum vessel is presented for potential plasma processing applications. Its principle consists in interconnecting elementary resonant meshes composed of i ...

2012

Role of proteins in the controlling selenium nanoparticle size

Rizlan Bernier-Latmani, Jan Dobias, Elena Suvorova Buffat

This work investigates the potential for harnessing the association of bacterial proteins to biogenic selenium nanoparticles (SeNPs) to control the size distribution and the morphology of the resultant SeNPs. We conducted a proteomic study and compared pro ...

Institute of Physics2011

Microresonator-Based Optical Frequency Combs

Tobias Kippenberg

The series of precisely spaced, sharp spectral lines that form an optical frequency comb is enabling unprecedented measurement capabilities and new applications in a wide range of topics that include precision spectroscopy, atomic clocks, ultracold gases, ...

2011

Constrained Acquisition of Ink Spreading Curves From Printed Color Images

Roger Hersch, Thomas Bugnon

Today's spectral reflection prediction models are able to predict the reflection spectra of printed color images with an accuracy as high as the reproduction variability allows. However, to calibrate such models, special uniform calibration patches need to ...

2011

Extended Uniform Distribution Accounting for Uncertainty of Uncertainty

Ian Smith, James-Alexandre Goulet

Increasingly, uncertainties are explicitly considered for important engineering tasks. Often, little case-specific information is available for characterizing these uncertainties. Uniform distributions are an easy way to describe errors in absence of more ...

ASCE2011

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.