Refine
Year of publication
- 2015 (1260) (remove)
Document Type
- Article (586)
- Part of Periodical (179)
- Book (145)
- Working Paper (125)
- Doctoral Thesis (100)
- Preprint (55)
- Report (30)
- Conference Proceeding (17)
- Review (12)
- Part of a Book (6)
Language
- English (1260) (remove)
Keywords
- taxonomy (29)
- new species (22)
- Odonata (10)
- distribution (10)
- IS (9)
- crystal structure (9)
- islamic state (9)
- new records (7)
- Malaysia (6)
- Syria (6)
Institute
- Medizin (214)
- Physik (162)
- Wirtschaftswissenschaften (114)
- Center for Financial Studies (CFS) (104)
- Frankfurt Institute for Advanced Studies (FIAS) (95)
- Informatik (91)
- Sustainable Architecture for Finance in Europe (SAFE) (82)
- Biowissenschaften (71)
- House of Finance (HoF) (67)
- Gesellschaftswissenschaften (62)
Contents:
Yuki Chiba, Santiago Escobar, Naoki Nishida, and David Sabel, and Manfred Schmidt-Schauß : Preface:
The Collection of all Abstracts of the Talks at WPTE 2015 xi
Brigitte Pientka : Mechanizing Meta-Theory in Beluga
Giulio Guerrieri : Head reduction and normalization in a call-by-value lambda-calculus
Adrián Palacios and Germán Vidal : Towards Modelling Actor-Based Concurrency in Term Rewriting
David Sabel and Manfred Schmidt-Schauß : Observing Success in the Pi-Calculus
Sjaak Smetsers, Ken Madlener, and Marko van Eekelen : Formalizing Bialgebraic Semantics in PVS 6.0
This collection of essays documents the growth of African history as a discipline at the University of Basel since 2001. It thus pays tribute to fourteen years of research and teaching by Patrick Harries at the Department of History and the Centre for African Studies Basel. The Festschrift covers a broad range of topics from mine labour to missionary endeavour and the production of knowledge, reflecting some of his core research interests. The contributions engage with Patrick Harries' oeuvre with reference to the authors' own scholarship or vice-versa. Some directly address his publications while others take his teaching, correspondence, remarks or intellectual life more broadly as a point of reference. They all pay tribute to a brilliant and inspiring scholar, a great teacher and a kind person.
The production of electrons from heavy-flavour hadron decays was measured as a function of transverse momentum (pT) in minimum-bias p–Pb collisions at sNN=5.02 TeV using the ALICE detector at the LHC. The measurement covers the pT interval 0.5<pT<12 GeV/c and the rapidity range −1.065<ycms<0.135 in the centre-of-mass reference frame. The contribution of electrons from background sources was subtracted using an invariant mass approach. The nuclear modification factor RpPb was calculated by comparing the pT-differential invariant cross section in p–Pb collisions to a pp reference at the same centre-of-mass energy, which was obtained by interpolating measurements at s=2.76 TeV and s=7 TeV. The RpPb is consistent with unity within uncertainties of about 25%, which become larger for pT below 1 GeV/c. The measurement shows that heavy-flavour production is consistent with binary scaling, so that a suppression in the high-pT yield in Pb–Pb collisions has to be attributed to effects induced by the hot medium produced in the final state. The data in p–Pb collisions are described by recent model calculations that include cold nuclear matter effects.