Recherche

Afficher tous les résultats pour

Accueil

Concept

Lambda lifting

Science formelle
Informatique théorique
Théorie des langages de pro...
Langage de programmation de...

À propos
Confidentialité
Mentions légales

Graph Chatbot

Publications associées (29)

Scattering of wave maps from $\mathbb{R}^{2+1}$ to general targets

Joules Elie Nahas

We show that smooth, radially symmetric wave maps

U

from

\mathbb{R}^{2+1}

to a compact target manifold

N

, where

\partial_r U

and

\partial_t U

have compact support for any fixed time, scatter. The result will follow from the work of Christodoulou ...

Springer-Verlag2012

Odd linking and bifurcation in gaps: the weakly indefinite case

In this paper, we consider nonlinear Schrodinger equations of the following type: -Delta u(x) + V (x) u(x) -q(x)|u(x)|sigma u(x) =lambda u(x), x is an element of R-N, u is an element of H-1(R-N) \ {0}, where N >= 2 and sigma > 0. We concentrate on situatio ...

Royal Society of Edinburgh Scotland Foundation, Cambridge2013

Measurement of the differential branching fraction of the decay Lambda(0)(b) -> Lambda mu(+) mu(-)

Olivier Schneider, Aurelio Bay, Yiming Li, Guido Haefeli, Frédéric Blanc, Christoph Frei, Tatsuya Nakada, Julien Rouvinet, Barinjaka Rakotomiaramanana, Raluca Anca Muresan, Michel De Cian, Johan Luisier, Luca Pescatore, Christophe Salzmann, Anne Keune, Vincent Fave, Jian Wang, Yi Zhang, Lei Zhang, Jessica Prisciandaro, Mark Tobin, Minh Tâm Tran, Niko Neufeld, Matthew Needham, Marc-Olivier Bettler, Greig Alan Cowan, Maurizio Martinelli, Vladislav Balagura, Donal Patrick Hill, Cédric Potterat, Liang Sun, Pietro Marino, Jean Wicht, Ilya Komarov, Plamen Hristov Hopchev, Bastien Luca Muster, Frédéric Guillaume Dupertuis, Pierre Jaton, Joël Bressieux, Songmei Wu, Hans Dijkstra, , , , , , , ,

Bifurcation Analysis at a Singular Soliton State in Fiber Couplers

Boris Buffoni

The system {-u '' + u = u(3) + lambda v, u(x)= u(-x) is an element of R, x is an element of R, -v '' + v = v(3) + lambda u, v(x) = v(-x) is an element of R, x is an element of R, describes pulses in nonlinear fiber couplers. It has the family (U1+lambda, - ...

Advanced Nonlinear Studies, Inc2012

Charged cyclometalated iridium(III) complexes that have large electrochemical gap

Michael Graetzel, Mohammad Khaja Nazeeruddin, Rosario Scopelliti

Bis-cyclometalated cationic Ir(III) diimine complexes Ir((CN)-N-Lambda)2((NN)-N-Lambda) with 1-phenylpyrazoles ((CN)-N-Lambda) and 1-(4'-tert-butyl-2'-pyridyl) pyrazole ((NN)-N-Lambda) are white solids that have absorption onset below 425 nm and ele ...

Elsevier2012

Monte Carlo study of the critical properties of the three-dimensional 120 degrees model

Sandro Wenzel

We report on large scale finite-temperature Monte Carlo simulations of the classical 120 degrees or e(g) orbital-only model on the simple cubic lattice in three dimensions with a focus towards its critical properties. This model displays a continuous phase ...

2011

Measurements of the branching fractions for B(s) -> D(s) pi pi pi and Lambda_b -> Lambda_c+ pi pi pi

Olivier Schneider, Aurelio Bay, Guido Haefeli, Christoph Frei, Frédéric Blanc, Tatsuya Nakada, Julien Rouvinet, Barinjaka Rakotomiaramanana, Michel De Cian, Christophe Salzmann, Raluca Anca Muresan, Johan Luisier, Jian Wang, Anne Keune, Yi Zhang, Vincent Fave, Lei Zhang, Mathias Oleg Knecht, Jessica Prisciandaro, Mark Tobin, Minh Tâm Tran, Niko Neufeld, Matthew Needham, Marc-Olivier Bettler, Greig Alan Cowan, Vladislav Balagura, Cédric Potterat, Plamen Hristov Hopchev, Frédéric Guillaume Dupertuis, Pierre Jaton, Joël Bressieux, Albert Puig Navarro, Christophe Bauer, Neal Gauvin, Géraldine Conti, Hans Dijkstra, Gerhard Raven, Peter Clarke, Frédéric Teubert, Giovanni Carboni, Victor Coco,

Decision Procedures for Algebraic Data Types with Abstractions

Viktor Kuncak, Philippe Paul Henri Suter, Mirco Dotta

We describe a family of decision procedures that extend the decision procedure for quantifier-free constraints on recursive algebraic data types (term algebras) to support recursive abstraction functions. Our abstraction functions are catamorphisms (term a ...

2010

Universal Bounds And Semiclassical Estimates For Eigenvalues Of Abstract Schrodinger Operators

Joachim Stubbe

We prove trace inequalities for a self-adjoint operator on an abstract Hilbert space, which extend those known previously for Laplacians and Schrodinger operators, freeing them from restrictive assumptions on the nature of the spectrum and allowing operato ...

2010

Page 2 sur 2

The differential branching fraction of the decay Lambda(0)(b) -> Lambda mu(+) mu(-) is measured as a function of the square of the dimuon invariant mass, q(2). A yield of 78 +/- 12 Lambda(0)(b) -> Lambda mu(+) mu(-) decays is observed using data, correspon ...

Elsevier Science Bv2013

Wenyu Zhang

Branching fractions of the decays H-b -> H-c pi(-)pi(+)pi(-) relative to H-b -> H-c pi(-) are presented, where H-b (H-c) represents (B) over bar (0) (D+), B-(D-0), (B) over bar (0)(s) (D-s(+)), and Lambda(0)(b) (Lambda(+)(c)). The measurements are performe ...

American Physical Society2011