Publications related to Large-scale calorimetry and biotechnology

On Decision Procedures for Ordered Collections

Viktor Kuncak, Philippe Paul Henri Suter, Ruzica Piskac

We describe a decision procedure for a logic that supports 1) finite collections of elements (sets or multisets), 2) the cardinality operator, 3) a total order relation on elements, and 4) min and max operators on entire collections. Among the applications ...

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

Apraxia: a review

Olaf Blanke, Aude Billard, Biljana Petreska von Ritter-Zahony

Praxic functions are frequently altered following brain lesion, giving rise to apraxia - a complex pattern of impairments that is difficult to assess or interpret. In this chapter, we review the current taxonomies of apraxia and related cognitive and neuro ...

Elsevier2007

Variational Image Reconstruction from Arbitrarily Spaced Samples: A Fast Multiresolution Spline Solution

Michaël Unser, Michael Sühling, Muthuvel Arigovindan

We propose a novel method for image reconstruction from nonuniform samples with no constraints on their locations. We adopt a variational approach where the reconstruction is formulated as the minimizer of a cost that is a weighted sum of two terms: 1) the ...

IEEE2005

Influence of the substrate's surface morphology and chemical nature on the nucleation and growth of microcrystalline silicon

Arvind Shah, Xavier Niquille, Julien Claude Bailat

Hydrogenated microcrystalline silicon (μc-Si:H) layers about 500 nm thick were deposited in the same run on flat and rough substrates (rms = 60 nm) of various chemical nature. This study reveals that the spatial distribution of the microcrystalline/amorpho ...

2005

Adjustable illumination or detection beam pinhole for laser scanning microscope has two knife blades with triangular apertures moving in front of slit with lamp and optical detector

Theo Lasser, Thomas Sidler, Antonio Lopez, Ronald Gianotti

The invention relates to an adjustable pinhole, especially for the illumination beam path and/or detection beam path of a laser scanning microscope. Said pinhole consists of at least two planar basic components comprising articulation points in the form of ...

2004

A generalized correlation for equilibrium of forces in liquid-solid fluidized beds

Albert Renken

A review of publication on the expansion of fluidized bed with the fluid velocity. The well-known Richardson-Zaki equation is applied to develop a more accurate relation linking the apparent drag force Fd, the effective gravitational force Fg, and the void ...

2003

Large-scale calorimetry and biotechnology

Graph Chatbot

Chat with Graph Search

On Decision Procedures for Ordered Collections

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

Apraxia: a review

Variational Image Reconstruction from Arbitrarily Spaced Samples: A Fast Multiresolution Spline Solution

Influence of the substrate's surface morphology and chemical nature on the nucleation and growth of microcrystalline silicon

Adjustable illumination or detection beam pinhole for laser scanning microscope has two knife blades with triangular apertures moving in front of slit with lamp and optical detector

A generalized correlation for equilibrium of forces in liquid-solid fluidized beds

Adjustable illumination or detection beam pinhole for laser scanning microscope has two knife blades with triangular apertures moving in front of slit with lamp and optical detector

A generalized correlation for equilibrium of forces in liquid-solid fluidized beds

Sharing is Harder than Agreeing

On Decision Procedures for Ordered Collections

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

Evidence of inception horizons in karst conduit networks

Variational Image Reconstruction from Arbitrarily Spaced Samples: A Fast Multiresolution Spline Solution

Quantum scale invariance on the lattice

Influence of the substrate's surface morphology and chemical nature on the nucleation and growth of microcrystalline silicon

Apraxia: a review