1,355,974 research outputs found

    The Pacific challenge: Development trends in the 21st century

    No full text
    The enormous leaps of growth and development experienced by Eastern and Southeast Asian states since the 1960s on account of their astonishing industrial development have led to concerns that a resulting global economic and political shift might favour the Pacific region at the expense of the "Atlantic region". A "Pacific century" was proclaimed, in which it was predicted that Asian-Pacific countries would outpace the traditional leading powers of the West. A more careful look quickly reveals that this view is too simplistic. From the point of view of various disciplines and covering different nations like China, Vietnam, Indonesia, Singapore, the Philippines and Papua New Guinea the authors of this publication pursue the question whether the 21st century can already be labelled the "Pacific Century". This was also the title of the interdisciplinary series of lectures held at the University of Göttingen/Germany in the winter semester 2003/2004. This series of lectures was jointly organized by the Department of Geography, the University of Göttingen and the Association of Pacific Studies e.V. (APSA). This 10th volume of the publication series "Pazifik Forum" contains contributions by W. Kreisel, M. Taube & Ka-Wai Yiu, M. Waibel, A. Croissant, B. Dahm, H. Schneider, R. Seib and R. Jordan

    Kreisel, A.

    No full text

    Some thoughts on the future research on leisure and tourism geography

    No full text
    Geography of leisure and tourism has made quite considerable progress since its beginnings in the 1930s. Looking back on the last decades of research, the thematic areas have broadened with regard to contents and topics. Approaches and methods have become more sophisticated, results more differentiated. However, there are still desiderata as well as shortcomings to be stated

    Phellorinia herculeana (Pallas.: Pers.) Kreisel, a Catalunya

    No full text
    Es descriu i comenta una interessant espècie de Tulostomatal: Phelforinia herculeana (Pallas. : Pers.) Kreisel, recoHectada per primer cop a Catalunya.One interesting specie of Tulostomatales: Phellorinia herculeana (Pallas. : Pers.) Kreisel, previously unrecorded in Catalonia is described and commented

    Phellorinia herculeana (Pallas.: Pers.) Kreisel, a Catalunya

    No full text
    Es descriu i comenta una interessant espècie de Tulostomatal: Phelforinia herculeana (Pallas. : Pers.) Kreisel, recoHectada per primer cop a Catalunya.One interesting specie of Tulostomatales: Phellorinia herculeana (Pallas. : Pers.) Kreisel, previously unrecorded in Catalonia is described and commented

    Kriesel and Wittgenstein

    No full text
    Georg Kreisel (15 September 1923 - 1 March 2015) was a formidable mathematical logician during a formative period when the subject was becoming a sophisticated field at the crossing of mathematics and logic. Both with his technical sophistication for his time and his dialectical engagement with mandates, aspirations and goals, he inspired wide-ranging investigation in the metamathematics of constructivity, proof theory and generalized recursion theory. Kreisel's mathematics and interactions with colleagues and students have been memorably described in Kreiseliana ([Odifreddi, 1996]). At a different level of interpersonal conceptual interaction, Kreisel during his life time had extended engagement with two celebrated logicians, the mathematical Kurt Gödel and the philosophical Ludwig Wittgenstein. About Gödel, with modern mathematical logic palpably emanating from his work, Kreisel has reflected and written over a wide mathematical landscape. About Wittgenstein on the other hand, with an early personal connection established Kreisel would return as if with an anxiety of influence to their ways of thinking about logic and mathematics, ever in a sort of dialectic interplay. In what follows we draw this out through his published essays—and one letter—both to elicit aspects of influence in his own terms and to set out a picture of Kreisel's evolving thinking about logic and mathematics in comparative relief.Accepted manuscrip

    Cut-elimination, substitution and normalisation

    No full text
    Date of Acceptance: 01/2015We present a proof (of the main parts of which there is a formal version, checked with the Isabelle proof assistant) that, for a G3-style calculus covering all of intuitionistic zero-order logic, with an associated term calculus, and with a particular strongly normalising and confluent system of cut-reduction rules, every reduction step has, as its natural deduction translation, a sequence of zero or more reduction steps (detour reductions, permutation reductions or simplifications). This complements and (we believe) clarifies earlier work by (e.g.) Zucker and Pottinger on a question raised in 1971 by Kreisel.Peer reviewe

    The absorption law: Or: how to Kreisel a Hilbert–Bernays–Löb

    No full text
    In this paper, we show how to construct for a given consistent theory U a Σ01-predicate that both satisfies the Löb Conditions and the Kreisel Condition—even if U is unsound. We do this in such a way that U itself can verify satisfaction of an internal version of the Kreisel Condition

    Tourism and landscape in South Tyrol

    No full text
    AbstractAn increasing number of the people responsible for promoting tourism understand the necessity of landscape conservation and sustainable development. Sustainability and the maintenance of regional identity depend on the kind of tourism that takes account of the landscape and stops short of a blind modification of it, for instance through the installation of inappropriate large-scale tourist infrastructure. Since the 1970s South Tyrol, Italy’s most northern province (Autonome Provinz Bozen/Südtirol; Provincia Autonoma di Bolzano/Alto Adige), has engaged in tourism of outstanding quality, centreed on the existing landscape potential. Until today this has been the basis for successful tourism development. In the meantime however, there have been calls in South Tyrol for a quantitative expansion, founded on the implementation of an artificial touristic infrastructure and products. As is the case in many other alpine regions, this could be detrimental to the quality of the landscape. Supported by tourism research and based on the authors’ own long-standing experience, this article analyzes the development and trends of tourism in South Tyrol from a geographical perspective and takes a critical look at the various planning prospects and the problems which might evolve for the landscape and for tourism marketing.</jats:p

    Pam3Cys4 internalization by naïve CD4+T cells accelerates t-bet promoter epigenetic modification and restrains TGF–β1 expressing tumor growth (P2153)

    No full text
    Pam3Cys4 internalization by naïve CD4+T cells accelerates t-bet promoter epigenetic modification and restrains TGF–β1 expressing tumor growth (P2153) Mohsen Ibrahim,1,3Kelsey Toth,1Donatella Ponti,4Antonella Calogero,4Claudio Andreetti,3Howard Huang,2Daniel Kreisel,1Sasha Kreisel,1Erino Rendina,3 and Andrew Gelman1,3 1Surgery, Washington Univ. in St. Louis, St. Louis, MO 2Medicine, Washington Univ. in St. Louis, St. Louis, MO 3Thoracic Surgery, Sapienza University of Rome, Rome, Italy 4Pathology, Sapienza University of Rome, Rome, Italy To promote Th1 responses TLR2 engagement is conducted on ex vivo-activated T cells but this hinders Ag-specific clonal expansion in vivo. We asked if naive CD4+T cells could internalize the TLR2 agonist Pam3Cys4 to promote Th1 responses in vivo. Methods: WT, TLR2-/- or OT2 CD69-CD25-CD44-CD62L+CD4+T cells were incubated with rhodamine-labeled or unlabeled Pam3Cys4 for 3 hrs and extensively washed to remove all soluble agonist. CD4+T(iPam) activation ex vivo was conducted under Th1 conditions +/- TGF-β1 and bisulfite conversion t-bet promoter sequence analysis was performed. 4x10(5) OT2 or OT2(iPam) cells were adoptively transferred into B6 mice with established EG-7 OVA tumors. Results: Intracellular FACS revealed WT or TLR2-/- CD4+T cells readily internalize Pam3Cys4. As compared to untreated CD4+T cells CD4+T(iPam) displayed > than 50% t-bet promoter CpG hypomethylation at -134 and -75 at 36 hrs post-activation leading to sharply higher t-bet and IFN-{gamma} expression in a TLR2 dependent manner. OT2 (iPam) halted EG-7 OVA growth with high numbers of OVA-specific CD4+ and CD8+ T cells in the DLN and tumor. In contrast, untreated OT2 induced little Th1 accumulation and accelerated tumor growth when compared to mice that did not receive T cells but this rapid growth pattern could be reversed with TGF-β1 Abs. Also, unlike with untreated OT2 cells TGF-β1 could not block naïve OT2(iPam) differentiation into Th1 cells. These data suggest a novel approach to tumor immunotherapy
    corecore