Concept

Formule 3

Publications associées (21)

Use of a compound as color developer, thermosensitive composition and recording material for thermal printing

The present invention relates to the use of one or more of compounds of formula (i) wherein r1, r2, r3, r4, r5 and r6 are independent from each other selected from the group consisting of hydrogen, hydroxy, methyl, methoxy, ethoxy, propoxy, isopropoxy, butoxy, isobutoxy, sec-butoxy, tert-butoxy, pentoxy, isopentoxy, and neopentoxy, wherein at least two of r1, r2, r3, r4, r5 and r6 are different from hydrogen, and at least one of r1, r2, r3, r4, r5 and r6 is hydroxy, n is an integer between 1 and 5, and m is

2026

Use of a compound according to formula i as heat sensitizer, thermosensitive composition and recording material for thermal printing

The present invention relates to the use of a compound of formula (i), wherein r1 and r3 are hydrogen r2 and r4 are independently selected from the group consisting of hydrogen, a linear or branched c1 to c5 alkyl, c2 to c5 alkenyl, linear or branched c1 to c5 alkoxy as heat sensitizer in heat applications with leuco dyes.

2026

A \({(2+\varepsilon )}\)-Approximation Algorithm for Metric \({k}\)-Median

Abstract. In the classical NP-hard (metric) [Formula: see text]-median problem, we are given a set of [Formula: see text] clients and centers with metric distances between them, along with an integer parameter [Formula: see text]. The objective is to select a subset of [Formula: see text] open centers that minimizes the total distance from each client to its closest open center. In their seminal work, Jain, Mahdian, Markakis, Saberi, and Vazirani presented the Greedy algorithm for facility location, which i

Society for Industrial & Applied Mathematics (SIAM)2026

Interactive and Automated Reasoning with Orthologic

The use of formal verification for mathematics and software is growing, yet the mainstream adoption of verification systems remains hindered by barriers and inefficiencies. The coNP-completeness of the validity problem for classical propositional logic in particular forces tools to rely on heuristics that either are incomplete or have impractical worst-case complexity. SAT and SMT solvers have proved highly effective in practice, but their integration into proof assistants is difficult, and their opacity ca

EPFL2026

Novel cathepsin k and l inhibitors

The present invention relates to a cathepsin K inhibitor comprising or consisting of Formula (I) (X1)(X2)(X3)(X4)(Y)(X5)(X6)(X7) Formula (I), wherein (X1) is the amino acid K; (X2) is an amino acid selected from R and W, and is preferably R; (X3) is an amino acid selected from R and W, and is preferably R; (X4) is the amino acid L; (X5) is an amino acid selected from Y, V and W, and is preferably V or Y, and is most preferably V; (X6) is an amino acid selected from I, M, L, W and R, and is preferably I, L o

2025

Efficient catalyst for hydrogen generation from ammonia

This invention relates to a catalyst, in particular a catalyst for producing hydrogen from ammonia, catalyst comprising a ternary metal imide of formula (i): x2y(nh)2, wherein x is a metal selected from a group consisting of alkali metals and alkaline earth metals, and y is a metal selected from a group consisting of transition metals and lanthanides.

2025

Sparse Integer Programming Is Fixed-Parameter Tractable

We study the general integer programming problem where the number of variables n is a variable part of the input. We consider two natural parameters of the constraint matrix A: its numeric measure a and its sparsity measure d. We present an algorithm for solving integer programming in time [Formula: see text], where g is some computable function of the parameters a and d, and L is the binary encoding length of the input. In particular, integer programming is fixed-parameter tractable parameterized by a and

INFORMS2025

The Mutual Information in Random Linear Estimation Beyond i.i.d. Matrices

Nicolas Macris, Jean François Emmanuel Barbier

There has been definite progress recently in proving the variational single-letter formula given by the heuristic replica method for various estimation problems. In particular, the replica formula for the mutual information in the case of noisy linear esti ...

IEEE2018

2-homopiperazine-1-yl-4h-1,3-benzothiazine-4-one derivatives and process for the preparation of 2- (homo)piperazine 1,3-benzothiazine-4-one hydrochlorides

2-homopiperazine-1-yl-4H-l, 3 -bensothiazine-4-one derivatives of formula (I) are provided. They are useful in the treatment of bacterial infections, in particular tuberculosis, buruli ulcer and leprosy. A process for the preparation of 2- (homo)piperazine ...

2016

Geometric formulas for system codes including the effect of negative triangularity

Olivier Sauter

Formulas for the volume, poloidal and toroidal surfaces, poloidal length, plasma current, and hence average poloidal field, are determined using global parameters of tokamak plasmas. Previous formulas did not include systematically the effect of triangular ...

Elsevier2016

Exponential Functionals of Brownian Motion and Explosion Times of a System of Semilinear SPDEs

We investigate lower and upper bounds for the blowup times of a system of semilinear SPDEs. Under certain conditions on the system parameters, we obtain explicit solutions of a related system of random PDEs, which allows us to use a formula due to Yor to obtain the distribution functions of several explosion times. We also give the Laplace transforms at independent exponential times of related exponential functionals of Brownian motion.

2013

Gaussian upper density estimates for spatially homogeneous SPDEs

We consider a general class of SPDEs in mathbb{R}^d driven by a Gaussian spatially homogeneous noise which is white in time. We provide sufficient conditions on the coefficients and the spectral measure associated to the noise ensuring that the density of the corresponding mild solution admits an upper estimate of Gaussian type. The proof is based on the formula for the density arising from the integration-by-parts formula of the Malliavin calculus. Our result applies to the stochastic heat equation with an

2012

A multi-iterate method to solve systems of nonlinear equations

Michel Bierlaire

We propose an extension of secant methods for nonlinear equations using a population of previous iterates. Contrarily to classical secant methods, where exact interpolation is used, we prefer a least squares approach to calibrate the linear model. We propose an explicit control of the numerical stability of the method. We show that our approach can lead to an update formula. In that case, we prove the local convergence of the corresponding undamped quasi-Newton method. Finally, computational comparisons wit

2006

A class of multi-iterate methods to solve systems of nonlinear equations

Michel Bierlaire

A new class of methods for solving systems of nonlinear equations is introduced. The main idea is to build a linear model using a population of previous iterates. Contrarily to classical secant methods, where exact interpolation is used, we prefer a least squares approach to calibrate the linear model. We propose an explicit control of the numerical stability of the method. We show that our approach can lead to an update formula. In that case, we prove the local convergence of the corresponding quasi-Newton

2004

An Error Analysis for the Sampling of Periodic Signals

Michaël Unser, Thierry Blu, Mathews Jacob

We analyze the representation of periodic signals in a scaling function basis. This representation is sufficiently general to include the widely used approximation schemes like wavelets, splines and Fourier series representation. We derive a closed form expression for the approximation error in the scaling function representation. The error formula takes the simple form of a Parseval like sum, weighted by an appropriate error kernel. This formula may be useful in choosing the right representation for a clas

SampTA2001

Segmentation of Gated Tl-SPECT Images and Computation of Ejection Fraction: A Different Approach

Michaël Unser

Background. We describe a set of image processing algorithms and mathematical models that can be advantageously used in schemes for the segmentation of thallium-201-single photon emission computed tomography (SPECT) images and for computation of left ventricular ejection fraction (EF). Methods. The system consists of two independent blocs for image segmentation and computation of function. The former is based on a multiresolution elliptical coordinate transformation and dynamic contour tracking. Computation

Journal of Nuclear Cardiology1999

Neoclassical conductivity and bootstrap current formulas for general axisymmetric equilibria and arbitrary collisionality regime

Olivier Sauter, Clemente Angioni

Expressions for the neoclassical resistivity and the bootstrap current coefficients in terms of aspect ratio and collisionality are widely used in simulating toroidal axisymmetric equilibria and transport evolution. The formulas used are in most cases based on works done 15-20 years ago, where the results have been obtained for large aspect ratio, small or very large collisionality, or with a reduced collision operator. The best expressions to date and to our knowledge are due to Hirshman [S. P. Hirshman, P

1999

Ruthenium complex dyes and photovoltaic cells utilizing them as photosensitizers

Michael Graetzel, Mohammad Khaja Nazeeruddin

A compound of formula (I): (X)nRuLL1 where n is 1 or 2, preferably 2, and in which Ru is ruthenium; each X independently is selected from Cl, SCN, H2O, Br, I, CN and SeCN and L is a ligand of formulae (a) to (g) and L1 is selected from a ligand of formulae (a) to (c) where each R independently is selected from OH, hydrogen, C1-20alkyl, -ORa or -N(Ra)2 and each Ra independently is hydrogen or C1-4alkyl.

(Ecole Polytechnique Federale de Lausanne (EPFL), Switz.).1994

Electrochemical detoxification of a 1,4-benzoquinone solution in wastewater treatment

César Pulgarin, Christos Comninellis, Paul Péringer

The electro-oxidn. of 1,4-benzoquinone in water soln. was investigated. The benzoquinone concn., intermediate products, dissolved org. C (DOC), COD, and toxicity of the oxidized soln. was monitored during oxidn. with Ti/IrO2 and Ti/SnO2 anodes (in the following text: IrO2 and SnO2 anodes). It was found that the most important parameter is the nature of the anode. With the IrO2 anode, primary oxidn. was attained, i.e. benzene ring rupture occurred, resulting in an accumulation of carboxylic acids formation a

1994

Calcul des opacités de plasmas denses. Eclatement du spectre dû aux interactions électroniques dans le cas du fer

Radiative transfer is often the dominant energy transport channel in inertial confinement fusion experiments. It is a basic process needed in order to understand the behaviour of astrophysical plasmas, like stellar atmospheres and the inner parts of stars. Opacities account for photon absorption in matter. During decades, opacities have been numerically calculated on the basis of different atomic models. Before the nineties, no direct measurement of opacities spectra has been performed. The first experiment

EPFL1994

Graph Chat

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Publications associées (21)

Use of a compound as color developer, thermosensitive composition and recording material for thermal printing

2026

Use of a compound according to formula i as heat sensitizer, thermosensitive composition and recording material for thermal printing

2026

2-homopiperazine-1-yl-4h-1,3-benzothiazine-4-one derivatives and process for the preparation of 2- (homo)piperazine 1,3-benzothiazine-4-one hydrochlorides

2016

Neoclassical conductivity and bootstrap current formulas for general axisymmetric equilibria and arbitrary collisionality regime

Olivier Sauter, Clemente Angioni

1999