The Epsilon Calculus and Herbrand Complexity

Hilbert's epsilon-calculus is based on an extension of the language of predicate logic by a term-forming operator $\epsilon_{x}$. Two fundamental results about the epsilon-calculus, the first and second epsilon theorem, play a role similar to that which the cut-elimination theorem plays in sequent calculus. In particular, Herbrand's Theorem is a consequence of the epsilon theorems. The paper investigates the epsilon theorems and the complexity of the elimination procedure underlying their proof, as well as the length of Herbrand disjunctions of existential theorems obtained by this elimination procedure.Comment: 23 p

Readings in Targeted Maximum Likelihood Estimation

This is a compilation of current and past work on targeted maximum likelihood estimation. It features the original targeted maximum likelihood learning paper as well as chapters on super (machine) learning using cross validation, randomized controlled trials, realistic individualized treatment rules in observational studies, biomarker discovery, case-control studies, and time-to-event outcomes with censored data, among others. We hope this collection is helpful to the interested reader and stimulates additional research in this important area

Computational Physics: An Introduction to Monte Carlo Simulations of Matrix Field Theory

This book is divided into two parts. In the first part we give an elementary introduction to computational physics consisting of 21 simulations which originated from a formal course of lectures and laboratory simulations delivered since 2010 to physics students at Annaba University. The second part is much more advanced and deals with the problem of how to set up working Monte Carlo simulations of matrix field theories which involve finite dimensional matrix regularizations of noncommutative and fuzzy field theories, fuzzy spaces and matrix geometry. The study of matrix field theory in its own right has also become very important to the proper understanding of all noncommutative, fuzzy and matrix phenomena. The second part, which consists of 9 simulations, was delivered informally to doctoral students who are working on various problems in matrix field theory. Sample codes as well as sample key solutions are also provided for convenience and completness. An appendix containing an executive arabic summary of the first part is added at the end of the book.Comment: 350 pages, v2: slight change in titl

Myeloid Leukemia

The current book comprises a series of chapters from experts in the field of myeloid cell biology and myeloid leukemia pathogenesis. It is meant to provide reviews about current knowledge in the area of basic science of acute (AML) and chronic myeloid leukemia (CML) as well as original publications covering specific aspects of these important diseases. Covering the specifics of leukemia biology and pathogenesis by authors from different parts of the World, including America, Europe, Africa, and Asia, this book provides a colorful view on research activities in this field around the globe

Bedeutung der dritten hypervariablen Region des Antikörpers schweren (H) Kette für die Antigen-Spezifität und Expression von Idiotype während der Thymus-abhängigen Immunantwort.

Antigen receptors of B lymphocytes are membrane-bound antibodies. Their binding-site is created by the combined action of variable (V) domains of heavy (H) and light (L) chains. VH is encoded by variable genes and diversity-enhancing (D) and joining (J) gene segments while VL is encoded by VL genes and J segments only. The V(D)J recombinatorial genetic reper¬toire is in the range of 107. In addition, a much larger non-genetic repertoire is created by im¬precise recombination around the D gene segment. In the present communication, the immune response to the hapten-carrier complex 2-phenyl-oxazolone coupled to chicken serum albu¬min as a model antigen was investigated in 2 BALB/c mutant mouse strains. Instead of 13 D gene segments as in wildtype, these mice harbour only 1 D segment in their genome coding preferably for hydrophobic or charged amino acids, respectively. In comparison to wildtype mice, both mutant strains exhibited T cell defects since their IgM>IgG class switch recombi¬nation and immune maturation was impaired and clonal development appeared to be deregu¬lated

Supercovergent sum-rules and the electromagnetic form-factors of elementary particles

Imperial Users onl

Automated Evaluation of One-Loop Six-Point Processes for the LHC

In the very near future the first data from LHC will be available. The searches for the Higgs boson and for new physics will require precise predictions both for the signal and the background processes. Tree level calculations typically suffer from large renormalization scale uncertainties. I present an efficient implementation of an algorithm for the automated, Feynman diagram based calculation of one-loop corrections to processes with many external particles. This algorithm has been successfully applied to compute the virtual corrections of the process $u\bar{u}\to b\bar{b}b\bar{b}$ in massless QCD and can easily be adapted for other processes which are required for the LHC.Comment: 232 pages, PhD thesi

Design and synthesis of molecular hybrids between drugs for psoriasis treatment and H2S donors

Psoriasis is a chronic and relapsing immune-mediated inflammatory skin disease, characterized by uncontrolled keratinocyte proliferation and dysfunctional differentiation, that affects 2-4% of people worldwide. Glucocorticoids and retinoids are commonly used in the treatment of psoriasis. More recently, H2S has been described to exert positive effect on this disease. Bearing in mind that an improved pharmacological activity and a reduced toxicity can be obtained through hybridization of different molecules, the project has been principally focused on design, synthesis and characterization of molecular hybrids containing a portion pharmacologically active in the treatment of psoriasis and an H2S-releasing moiety, with the aim to develop novel compounds able to modulate multiple targets in antipsoriatic therapy. The molecular hybrids have been evaluated in vitro for their H2S releasing properties via amperometric assay, as well as for their cytoprotective activity and anti-inflammatory power. Antipsoriatic activity has been evaluated in vivo by performing skin tests on animal models of imiquimod-induced psoriasis, determining the ability of the compounds to reduce inflammation and itching. Finally, the study has been extended to the evaluation of the antiasthmatic properties for the obtained derivatives, testing the H2S releasing profile in the cytosol of bronchial smooth muscle cells (BSMC), the inhibitory effect on mast cell degranulation and the ability to induce cell membrane hyperpolarization in BSMC. The second unit of the thesis is focused to the experience held at the Department of Biosciences - University of Salzburg and referred to the synthesis and characterization of three types of peptides: phosphopeptides to investigate the effect of serine phosphorylation on the conformation, peptide models to investigate π-cation interactions, and fluorogenic peptides to investigate the activity of proteases by FRET measurements. In the third unit of the thesis the design of potential formulations for the synthesized compounds that have shown more promising results is described, as well as the studies finalized to the evaluation of physicochemical stability for the active substances and formulations, and to the characterization of their in vitro performances. These activities have been performed at the Genetic s.p.a. in Fisciano (Italy)