Ω-consistent theory

Formal sciences
Logic
Classical logic
First-order logic

Related publications (30)

Page 2 of 2

About
Privacy
Disclaimer

Graph Chatbot

Related publications (30)

Page 2 of 2

Observation of the Lambda(0)(b) -> Lambda phi decay

Jian Wang, Olivier Schneider, Zhirui Xu, Yiming Li, Yi Zhang, Lei Zhang, Aurelio Bay, Guido Haefeli, Jessica Prisciandaro, Tatsuya Nakada, Christoph Frei, Mark Tobin, Frédéric Blanc, Minh Tâm Tran, Michel De Cian, Greig Alan Cowan, Maurizio Martinelli, Donal Patrick Hill, Liang Sun, Pietro Marino, Luca Pescatore, François Fleuret, Mirco Dorigo, Jean Wicht, Sebastiana Gianì, Liupan An, Elena Graverini, Federico Leo Redi, Chitsanu Khurewathanakul, Ilya Komarov, Renato Quagliani, Maxime Schubiger, Hang Yin, Guido Andreassi, Bastien Luca Muster, Violaine Bellée, Maria Vieites Diaz, Olivier Göran Girard, Axel Kuonen, Alessandro Mapelli

The Lambda(0)(b) -> Lambda phi decay is observed using data corresponding to an integrated luminosity of 3.0 fb(-1) recorded by the LHCb experiment. The decay proceeds at leading order via a b -> ss loop transition and is therefore sens ...

Elsevier Science Bv2016

Alzheimer's disease: the amyloid hypothesis and the Inverse Warburg effect

Pierre Magistretti

Epidemiological and biochemical studies show that the sporadic forms of Alzheimer's disease (AD) are characterized by the following hallmarks: (a) An exponential increase with age; (b) Selective neuronal vulnerability; (c) Inverse cancer comorbidity. The p ...

Frontiers Research Foundation2015

Observation of the B-s(0) -> eta 'eta ' Decay

Jian Wang, Olivier Schneider, Zhirui Xu, Yiming Li, Yi Zhang, Lei Zhang, Aurelio Bay, Guido Haefeli, Jessica Prisciandaro, Tatsuya Nakada, Christoph Frei, Mark Tobin, Frédéric Blanc, Minh Tâm Tran, Michel De Cian, Greig Alan Cowan, Maurizio Martinelli, Donal Patrick Hill, Liang Sun, Pietro Marino, Luca Pescatore, Mirco Dorigo, Sebastiana Gianì, Liupan An, Elena Graverini, Federico Leo Redi, Chitsanu Khurewathanakul, Ilya Komarov, Renato Quagliani, Bastien Luca Muster, Maria Vieites Diaz, Frédéric Guillaume Dupertuis, Julien Rouvinet, Barinjaka Rakotomiaramanana, Alessandro Mapelli

The first observation of the B-s(0) -> eta'eta' decay is reported. The study is based on a sample of proton-proton collisions corresponding to 3.0 fb(-1) of integrated luminosity collected with the LHCb detector. The significance of the signal is 6.4 stand ...

Amer Physical Soc2015

Angular analysis and differential branching fraction of the decay B-s(0) -> phi mu(+)mu(-)

Jian Wang, Olivier Schneider, Zhirui Xu, Yiming Li, Yi Zhang, Lei Zhang, Aurelio Bay, Guido Haefeli, Jessica Prisciandaro, Tatsuya Nakada, Christoph Frei, Mark Tobin, Frédéric Blanc, Minh Tâm Tran, Michel De Cian, Greig Alan Cowan, Maurizio Martinelli, Donal Patrick Hill, Liang Sun, Pietro Marino, Luca Pescatore, Mirco Dorigo, Sebastiana Gianì, Liupan An, Elena Graverini, Federico Leo Redi, Chitsanu Khurewathanakul, Ilya Komarov, Renato Quagliani, Maxime Schubiger, Guido Andreassi, Bastien Luca Muster, Violaine Bellée, Maria Vieites Diaz, Frédéric Guillaume Dupertuis, Olivier Göran Girard, Axel Kuonen, Julien Rouvinet, Alessandro Mapelli

An angular analysis and a measurement of the differential branching fraction of the decay B-s(0) -> phi mu(+)mu(-) are presented, using data corresponding to an integrated luminosity of 3.0 fb(-1) of pp collisions recorded by the LHCb experiment at root s ...

Springer Nature2015

Cognitive mechanism in synchronized motion: An internal predictive model for manual tracking control

Aude Billard, Mahdi Khoramshahi, Ashwini Shukla

Many daily tasks involve spatio-temporal coordination between two agents. Study of such coordinated actions in human-human and human-robot interaction has received increased attention of late. In this work, we use the mirror paradigm to study coupling of h ...

2014

Mathematical modelling of active contraction in isolated cardiomyocytes

Alfio Quarteroni, Ricardo Esteban Ruiz Baier, Simone Rossi, Aymen Laadhari

We investigate the interaction of intracellular calcium spatio-temporal variations with the self-sustained contractions in cardiac myocytes. A consistent mathematical model is presented considering a hyperelastic description of the passive mechanical prope ...

Oxford University Press2014

Relative intensity noise and emission linewidth of polariton laser diodes

Raphaël Butté, Marlene Glauser

We study the relative intensity noise (RIN) per unit bandwidth in polariton laser diodes (LDs) for two pumping geometries, namely, the direct electrical and the intracavity ones as originally described in I. Iorsh et al. [Phys. Rev. B 86, 125308 (2012)], b ...

Amer Physical Soc2013

First Evidence for the Decay B-s(0) -> mu(+) mu(-)

Jian Wang, Olivier Schneider, Yiming Li, Yi Zhang, Lei Zhang, Aurelio Bay, Guido Haefeli, Jessica Prisciandaro, Tatsuya Nakada, Christoph Frei, Mark Tobin, Frédéric Blanc, Minh Tâm Tran, Michel De Cian, Greig Alan Cowan, Maurizio Martinelli, Donal Patrick Hill, Jean Wicht, Plamen Hristov Hopchev, Bastien Luca Muster, Frédéric Guillaume Dupertuis, Julien Rouvinet, Christophe Salzmann, Pierre Jaton, Barinjaka Rakotomiaramanana, Joël Bressieux, Songmei Wu, Raluca Anca Muresan, Johan Luisier, Anne Keune, Vincent Fave

A search for the rare decays B-s(0) -> mu(+) mu(-) and B-s(0) -> mu(+) mu-is performed with data collected in 2011 and 2012 with the LHCb experiment at the Large Hadron Collider. The data samples comprise 1.1 fb(-1) of proton-proton collisions at root s = ...

American Physical Society2013

Process engineering method for systematically comparing CO2 capture options

François Maréchal, Laurence Tock

In the context of greenhouse gas emissions mitigation, CO2 capture and storage is regarded as a promising alternative for fossil fuel fed power plants. In order to design and evaluate the competitiveness of such complex integrated energy conversion systems ...

Elsevier Science Bv2013

Search for the rare decay K-s(0) -> mu(+)mu(-)

A search for the decay K-s(0) -> mu(+)mu(-) is performed, based on a data sample of 1.0fb(-1) of pp collisions at root s = 7 TeV collected by the LHCb experiment at the Large Hadron Collider. The observed number of candidates is consistent with the backgro ...

Springer Nature2013