Publications related to Finitary relation

On the spectral estimates for Schrödinger type operators. The case of small local dimension

The behavior of the discrete spectrum of the Schr"odinger operator

-\D - V

, in quite a general setting, up to a large extent is determined by the behavior of the corresponding heat kernel

P(t;x,y)

as

t\to 0

and

t\to\infty

. If this behavior is powe ...

2010

Kinetic study of formic acid oxidation on Ti/IrO2 electrodes prepared using the spin coating deposition technique

Christos Comninellis, Stéphane Fierro

In the first part of this paper, IrO2 electrodes produced by thermal decomposition of H2IrCl6 precursor were manufactured using the spin coating deposition technique, where centrifugal forces spread the precursor solution with simultaneous evaporation of t ...

Elsevier2010

Comfusy: A Tool for Complete Functional Synthesis

Viktor Kuncak, Mikaël Mayer, Philippe Paul Henri Suter, Ruzica Piskac

Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. We present Comfusy, a tool that extends the compiler for the general-purpose programming language Scala with (non-reactive) functional synthesi ...

Springer2010

This is it ! : Indicating and looking in collaborative work at distance

Pierre Dillenbourg, Marc-Antoine Nüssli, Mauro Cherubini

Little is known of the interplay between deixis and eye movements in remote collaboration. This paper presents quantitative results from an experiment where participant pairs had to collaborate at a distance using chat tools that differed in the way messag ...

2010

Distortion of Mappings and $L_{q,p}$-Cohomology

Marc Troyanov

We study some relation between some geometrically defined classes of diffeomorphisms between manifolds and the

L_{q,p}

-cohomology of these manifolds. Some applications to vanishing and non vanishing results in

L_{q,p}

-cohomology are given. ...

Springer-Verlag2009

Quantum scale invariance on the lattice

Igor Tkachev

We propose a scheme leading to a non-perturbative definition of lattice field theories which are scale-invariant on the quantum level. A key idea of the construction is the replacement of the lattice spacing by a propagating dynamical field - the dilaton. ...

2009

Evidence of inception horizons in karst conduit networks

Laurent Tacher, Marco Filipponi, Pierre-Yves Jeannin

This paper outlines the conclusion from an analysis of 18 large cave systems around the world, comprising more than 1500 km of conduits. The 3D geometry of complex cave systems have been analysed in relation to their geological context as well as their hyd ...

2008

Sharing is Harder than Agreeing

Rachid Guerraoui

One of the most celebrated results of the theory of distributed computing is the impossibility, in an asynchronous system of

n

processes that communicate through shared memory registers, to solve the set agreement problem where the processes need to deci ...

2008

Integration of plasmonic optical traps in microfluidics - art. no. 69880V

Olivier Martin, Lina Huang

We study the integration of plasmonic traps with microfluidic channels. Plasmonic traps are optical traps that use the evanescent field generated by metallic nanostructures at their plasmon resonance to trap small objects. Contrary to conventional - far-fi ...

Spie-Int Soc Optical Engineering, Po Box 10, Bellingham, Wa 98227-0010 Usa2008

UniStore: Querying a DHT-based Universal Storage

Manfred Hauswirth, Roman Schmidt, Renault John Lecoultre, Jessica Müller

The idea of collecting and combining large public data sets and services became more and more popular. The special characteristics of such systems and the requirements of the participants demand for strictly decentralized solutions. However, this comes alo ...

2007

Finitary relation

Graph Chatbot

Chat with Graph Search

On the spectral estimates for Schrödinger type operators. The case of small local dimension

Kinetic study of formic acid oxidation on Ti/IrO2 electrodes prepared using the spin coating deposition technique

Comfusy: A Tool for Complete Functional Synthesis

This is it ! : Indicating and looking in collaborative work at distance

Distortion of Mappings and $L_{q,p}$-Cohomology

Quantum scale invariance on the lattice

Evidence of inception horizons in karst conduit networks

Sharing is Harder than Agreeing

Integration of plasmonic optical traps in microfluidics - art. no. 69880V

UniStore: Querying a DHT-based Universal Storage

Comfusy: A Tool for Complete Functional Synthesis

On the spectral estimates for Schrödinger type operators. The case of small local dimension

Quantum scale invariance on the lattice

Kinetic study of formic acid oxidation on Ti/IrO2 electrodes prepared using the spin coating deposition technique

Sharing is Harder than Agreeing

Evidence of inception horizons in karst conduit networks

This is it ! : Indicating and looking in collaborative work at distance

UniStore: Querying a DHT-based Universal Storage

Distortion of Mappings and $L_{q,p}$-Cohomology

Integration of plasmonic optical traps in microfluidics - art. no. 69880V