This volume contains many excellent articles presenting the most recent progress in high energy physics and the current interesting problems concerning flavor physics. The reader will see how flavor physics has become a central area of particle physics, with the Standard Model (SM) being subjected to increasingly precise experiments, and why the remaining puzzles in the SM, such as the mechanisms of symmetry breaking and CP violation, as well as fermion mass and mixing generation, all are mysteries hidden in the physics of flavor. The book also shows that flavor physics is likely to be a window for probing new physics beyond the SM for many years to come.

This volume contains many excellent articles presenting the most recent progress in high energy physics and the current interesting problems concerning flavor physics. The reader will see how flavor physics has become a central area of particle physics, with the Standard Model (SM) being subjected to increasingly precise experiments, and why the remaining puzzles in the SM, such as the mechanisms of symmetry breaking and CP violation, as well as fermion mass and mixing generation, all are mysteries hidden in the physics of flavor. The book also shows that flavor physics is likely to be a window for probing new physics beyond the SM for many years to come.

This PhD thesis is dedicated to a subfield of elementary particle physics called “Flavour Physics”. The Standard Model of Particle Physics (SM) has been confirmed by thousands of experimental measurements with a high precision. But the SM leaves important questions open, like what is the nature of dark matter or what is the origin of the matter-antimatter asymmetry in the Universe. By comparing high precision Standard Model calculations with extremely precise measurements, one can find the first glimpses of the physics beyond the SM – currently we see the first hints of a potential breakdown of the SM in flavour observables. This can then be compared with purely theoretical considerations about new physics models, known as model building. Both precision calculations and model building are extremely specialised fields and this outstanding thesis contributes significantly to both topics within the field of Flavour Physics and sheds new light on the observed anomalies.

Professor Kok Khoo Phua is the Founding Director and Emeritus Professor of the Institute of Advanced Studies (IAS) at Nanyang Technological University (NTU) and Adjunct Professor of Department of Physics both at Nanyang Technological University (NTU) and National University of Singapore (NUS). He is the Chairman and Editor-in-Chief of World Scientific Publishing Co Pte Ltd.When he was elected a Fellow of the American Physical Society (APS) in 2009, the citation read: 'For tireless efforts to strengthen scientific research throughout Asia and promote international physics education and scholarly exchanges, and for enriching science and education through the World Scientific Publishing Company he founded.'This unique volume on the occasion of his 80th birthday is a compilation of tributes from his friends who have known him for decades along with scientific articles that celebrate his visionary approach to promote science worldwide.

This 2nd edition is an extensive update of "B Decays?. The revisions are necessary because of the extensive amount of new data and new theoretical ideas. This book reviews what is known about b-quark decays and also looks at what can be learned in the future.The importance of this research area is increasing, as evidenced by the approval of the luminosity upgrade for CESR and the asymmetric B factories at SLAC and KEK, and the possibility of experiments at hadron colliders.The key experimental observations made thus far, measurement of the lifetimes of the different B species, B0-B0 mixing, the discovery of ?Penguin? mediated decays, and the extraction of the CKM matrix elements Vub and Vcb from semileptonic decays, as well as more mundane results, are described in great detail by the experimentalists who have been closely involved with making the measurements. Theoretical progress in understanding b-quark decays using HQET and lattice gauge techniques are described by theorists who have developed and used these techniques.Synthesizing the experimental and theoretical information, several articles discuss the implications for the ?Standard Model? and how further tests can be done using measurements of CP violation in the B system.

This book constitutes the refereed proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP 2001, held in Crete, Greece in July 2001. The 80 revised papers presented together with two keynote contributions and four invited papers were carefully reviewed and selected from a total of 208 submissions. The papers are organized in topical sections on algebraic and circuit complexity, algorithm analysis, approximation and optimization, complexity, concurrency, efficient data structures, graph algorithms, language theory, codes and automata, model checking and protocol analysis, networks and routing, reasoning and verification, scheduling, secure computation, specification and deduction, and structural complexity.

This book contains a systematic and pedagogical exposition of recent developments in particle physics and cosmology. It starts with two introductory chapters on group theory and the Dirac theory. Then it proceeds with the formulation of the Standard Model (SM) of Particle Physics, particle content and symmetries, fully exploiting the material of the first two chapters. It discusses the concept of gauge symmetries and emphasizes their role in particle physics. It then analyses the Higgs mechanism and the spontaneous symmetry breaking (SSB). It explains how the particles (gauge bosons and fermions) after the SSB acquire a mass and get admixed. The various forms of the charged currents are discussed in detail as well as how the parameters of the SM, which cannot be determined by the theory, are fixed by experiment, including the recent LHC data and the Higgs discovery. Quantum chromodynamics is discussed and various low energy approximations to it are presented. The Feynman diagrams are introduced and applied, at the level of first year graduate students. Examples are the evaluation of the decay widths of the gauge bosons and some cross sections for interesting processes such as Rutherford scattering, electron-proton scattering (elementary proton or described by a form factor, and inelastic scattering) and Compton scattering. After that the classic topics like the role of C, P, CP symmetries and the experimental methods needed to verify their conservation or violation are discussed in some detail. Topics beyond the standard model, like supersymmetry for pedestrians and grand unification, are discussed. To this end neutrino oscillations, dark matter and baryon asymmetry are also briefly discussed at the first year graduate level. Finally, the book contains an exhibition of recent developments in cosmology, especially from the elementary particle point of view.

Part I indicates that typed-calculi are a formulation of higher-order logic, and cartesian closed categories are essentially the same. Part II demonstrates that another formulation of higher-order logic is closely related to topos theory.

This is Volume 7 of Trends in Functional Programming (TFP). It contains a refereed selection of the papers that were presented at TFP 2006: the Seventh Symposium on Trends in Functional Programming. which took place in Nottingham, 19-21 April, 2006. TFP is an international forum for researchers from all functional programming communities spanning the entire width of topics in the field. Its goal is to provide a broad view of current and future trends in functional programming in a lively and friendly setting, thus promoting new research directions related to the field of functional programming and the relationship between functional programming and other fields of computer science. True to the spirit of TFP, the selection of papers in this volume covers a wide range of topics, including dependently typed programming, generic programming, purely functional data structures, function synthesis, declarative debugging, implementation of functional programming languages, and memory management. A particular emerging trend is that of dependently typed programming, reflected by a number of papers in the present selection and by the co-location of TFP and Types 2006.