Análisis de la calidad del dato de un instrumento para la observación del ataque en balonmano playa

[ES] Se presenta el análisis de Calidad del Dato utilizado en la construcción de una herramienta de observación diseñada ad hoc. Se trata de un sistema mixto de formatos de campo y sistemas de categorías exhaustivas y mutuamente excluyentes (E/ME) que tiene como objetivo codificar la fase de ataque del balonmano playa. Se utilizan como criterios: minuto, marcador, zona de finalización y jugador que finaliza. Se han codificado 12 observaciones de selecciones nacionales absolutas masculinas. El análisis se ha realizado utilizando la concordancia consensuada (aproximación cualitativa de la calidad del dato), elaborando un archivo de detección de errores, calculando el índice Kappa de Cohen, los índices de correlación Tau-B de Kendall, Pearson y Spearman; y un análisis de Generalizabilidad. Los resultados de los coeficientes de correlación muestran un índice mínimo de .993, los índices Kappa de Cohen se sitúan en .917 y los índices de generalizabilidad son óptimos. Estos resultados aseguran que la herramienta de observación, además de tener un buen ajuste, permite registrar con fiabilidad y precisión.

Interactive theorem provers: issues faced as a user and tackled as a developer

Interactive theorem provers (ITP for short) are tools whose final aim is to certify proofs written by human beings. To reach that objective they have to fill the gap between the high level language used by humans for communicating and reasoning about mathematics and the lower level language that a machine is able to “understand” and process. The user perceives this gap in terms of missing features or inefficiencies. The developer tries to accommodate the user requests without increasing the already high complexity of these applications. We believe that satisfactory solutions can only come from a strong synergy between users and developers. We devoted most part of our PHD designing and developing the Matita interactive theorem prover. The software was born in the computer science department of the University of Bologna as the result of composing together all the technologies developed by the HELM team (to which we belong) for the MoWGLI project. The MoWGLI project aimed at giving accessibility through the web to the libraries of formalised mathematics of various interactive theorem provers, taking Coq as the main test case. The motivations for giving life to a new ITP are: • study the architecture of these tools, with the aim of understanding the source of their complexity • exploit such a knowledge to experiment new solutions that, for backward compatibility reasons, would be hard (if not impossible) to test on a widely used system like Coq. Matita is based on the Curry-Howard isomorphism, adopting the Calculus of Inductive Constructions (CIC) as its logical foundation. Proof objects are thus, at some extent, compatible with the ones produced with the Coq ITP, that is itself able to import and process the ones generated using Matita. Although the systems have a lot in common, they share no code at all, and even most of the algorithmic solutions are different. The thesis is composed of two parts where we respectively describe our experience as a user and a developer of interactive provers. In particular, the first part is based on two different formalisation experiences: • our internship in the Mathematical Components team (INRIA), that is formalising the finite group theory required to attack the Feit Thompson Theorem. To tackle this result, giving an effective classification of finite groups of odd order, the team adopts the SSReflect Coq extension, developed by Georges Gonthier for the proof of the four colours theorem. • our collaboration at the D.A.M.A. Project, whose goal is the formalisation of abstract measure theory in Matita leading to a constructive proof of Lebesgue’s Dominated Convergence Theorem. The most notable issues we faced, analysed in this part of the thesis, are the following: the difficulties arising when using “black box” automation in large formalisations; the impossibility for a user (especially a newcomer) to master the context of a library of already formalised results; the uncomfortable big step execution of proof commands historically adopted in ITPs; the difficult encoding of mathematical structures with a notion of inheritance in a type theory without subtyping like CIC. In the second part of the manuscript many of these issues will be analysed with the looking glasses of an ITP developer, describing the solutions we adopted in the implementation of Matita to solve these problems: integrated searching facilities to assist the user in handling large libraries of formalised results; a small step execution semantic for proof commands; a flexible implementation of coercive subtyping allowing multiple inheritance with shared substructures; automatic tactics, integrated with the searching facilities, that generates proof commands (and not only proof objects, usually kept hidden to the user) one of which specifically designed to be user driven.

Photoemissions-Elektronenmikroskopie an Adsorbatsystemen

Die Photoemissions-Elektronenmikroskopie ist eine hervorragend geeignete Methode zur Untersuchung dynamischer Vorgänge auf realen polykristallinen Oberflächen im sub-μm Bereich. Bei der Anwendung auf Adsorbatsysteme lassen sich geringe Bedeckungsunterschiede, sowie Adsorbatstrukturen und -phasen unterscheiden. Die Methode erlaubt dabei ein breites Anwendungsspektrum über weite Temperaturbereiche und Systeme unterschiedlichster Bindungsenergie. Bei der Chemisorption von Sauerstoff auf polykristallinen Metallen wird unterschiedliches Aufwachsverhalten in den Helligkeitswerten im Mikroskopbild widergespiegelt. Bei Kupferproben zeigen Oberflächen mit unterschiedlicher kristalliner Richtung aufgrund der Symmetrie des fcc-Gitters ein ähnliches Verhalten. Das hexagonale Gitter des Titans zeigt dagegen große Unterschiede im Adsorptionsverhalten in Abhängigkeit der kristallinen Richtung. Diese Unterschiede konnten auf verschiedene Haftkoeffizienten und Oxidationsstufen der Metalle zurückgeführt werden. In einem Modell zur Photostromanalyse konnte beim Kupfer der Übergang von verschiedenen Überstrukturen bei wachsender Bedeckung gezeigt und die Übergänge ermittelt werden.. Auf den Titanoberflächen wurde so das Wachstum der Oxide TiO, TiO₂ und Ti₂O₃ unterschieden und die Übergänge des unterschiedlichen Wachstums ermittelt. Bei der thermischen Desorption der Schichten konnten unterschiedliche Haftkoeffizient auf einzelnen Kristalliten qualitativ gezeigt werden. Diese erstmalig eingesetzte Analysemethode weist Ähnlichkeiten zur Thermo-Desorptions-Spektroskopie (TDS) auf, zeigt jedoch ortsaufgelöst lokale Unterschiede auf polykristallinen Oberflächen. Bei thermisch gestützten Oberflächenreaktionen ließen sich die Reaktionskeime deutlich identifizieren und mit einer Grauwertanalyse konnte die Oxidation der karbidischen Lagen zu Kohlenmonoxid und die Metalloxidation unterschieden werden. Dabei konnte gezeigt werden, daß die Reaktionskeime nur an Plattengrenzen auftreten, nicht jedoch auf der Oberfläche. Durch die Aufrauhung der Plattengrenzen mit zunehmender Reaktionsdauer nimmt die Zahl der Reaktionskeime kontinuierlich zu, die laterale Ausdehnung der Einzelreaktionen bleibt aber konstant. Bei der Physisorption von Xenon auf Graphit wurde erstmals für die Photoemissionsmikroskopie die resonanten Anregung ausgenutzt. Die verschiedenen Phasen des Adsorbats können dabei deutlich unterschieden werden; bei niedrigen Temperaturen (40K) findet ein gleichmäßiges Wachstum auf der gesamten Oberfläche statt, bei höheren Temperaturen von 60-65K ist dagegen ein Inselwachstum in verschiedenen Phasen zu beobachten. Die zeitliche Entwicklung des Wachstums, die örtliche Lage der Phasen und die Phasenübergänge (gas, fest inkommensurabel, fest kommensurabel) konnten bestimmt werden. Bei der Desorption der Schichten konnten die einzelnen Phasen ebenfalls getrennt werden und das unterschiedliche Desorptionsverhalten sowie die Phasenübergänge selber verifiziert werden.

Favorable effect of priming with granulocyte colony-stimulating factor in remission induction of acute myeloid leukemia restricted to dose-escalation of cytarabine

The clinical value of chemotherapy sensitization of acute myeloid leukemia (AML) with G-CSF priming has remained controversial. Cytarabine is a key constituent of remission induction chemotherapy. The effect of G-CSF priming has not been investigated in relationship with variable dose levels of cytarabine. We randomized 917 AML patients to receive G-CSF (456 patients) or no G-CSF (461 patients) at the days of chemotherapy. In the initial part of the study, 406 patients were also randomized between 2 cytarabine regimens comparing conventional-dose (199 patients) versus escalated-dose (207 patients) cytarabine in cycles 1 and 2. We found that patients after induction chemotherapy plus G-CSF had similar overall survival (43% vs 40%, P = .88), event-free survival (37% vs 31%, P = .29), and relapse rates (34% vs 36%, P = .77) at 5 years as those not receiving G-CSF. However, patients treated with the escalated-dose cytarabine regimen benefited from G-CSF priming, with improved event-free survival (P = .01) and overall survival (P = .003), compared with patients without G-CSF undergoing escalated-dose cytarabine treatment. A significant survival advantage of sensitizing AML for chemotherapy with G-CSF was not apparent in the entire study group, but it was seen in patients treated with escalated-dose cytarabine during remission induction. The HOVON-42 study is registered under The Netherlands Trial Registry (www.trialregister.nl) as #NTR230.

Meta-analysis identifies 29 additional ulcerative colitis risk loci, increasing the number of confirmed associations to 47

Genome-wide association studies and candidate gene studies in ulcerative colitis have identified 18 susceptibility loci. We conducted a meta-analysis of six ulcerative colitis genome-wide association study datasets, comprising 6,687 cases and 19,718 controls, and followed up the top association signals in 9,628 cases and 12,917 controls. We identified 29 additional risk loci (P < 5 × 10(-8)), increasing the number of ulcerative colitis-associated loci to 47. After annotating associated regions using GRAIL, expression quantitative trait loci data and correlations with non-synonymous SNPs, we identified many candidate genes that provide potentially important insights into disease pathogenesis, including IL1R2, IL8RA-IL8RB, IL7R, IL12B, DAP, PRDM1, JAK2, IRF5, GNA12 and LSP1. The total number of confirmed inflammatory bowel disease risk loci is now 99, including a minimum of 28 shared association signals between Crohn's disease and ulcerative colitis.

The low-energy β− and electron emitter 161Tb as an alternative to 177Lu for targeted radionuclide therapy

The low-energy β− emitter 161Tb is very similar to 177Lu with respect to half-life, beta energy and chemical properties. However, 161Tb also emits a significant amount of conversion and Auger electrons. Greater therapeutic effect can therefore be expected in comparison to 177Lu. It also emits low-energy photons that are useful for gamma camera imaging. The 160Gd(n,γ)161Gd→161Tb production route was used to produce 161Tb by neutron irradiation of massive 160Gd targets (up to 40 mg) in nuclear reactors. A semiautomated procedure based on cation exchange chromatography was developed and applied to isolate no carrier added (n.c.a.) 161Tb from the bulk of the 160Gd target and from its stable decay product 161Dy. 161Tb was used for radiolabeling DOTA-Tyr3-octreotate; the radiolabeling profile was compared to the commercially available n.c.a. 177Lu. A 161Tb Derenzo phantom was imaged using a small-animal single-photon emission computed tomography camera. Up to 15 GBq of 161Tb was produced by long-term irradiation of Gd targets. Using a cation exchange resin, we obtained 80%–90% of the available 161Tb with high specific activity, radionuclide and chemical purity and in quantities sufficient for therapeutic applications. The 161Tb obtained was of the quality required to prepare 161Tb–DOTA-Tyr3-octreotate. We were able to produce 161Tb in n.c.a. form by irradiating highly enriched 160Gd targets; it can be obtained in the quantity and quality required for the preparation of 161Tb-labeled therapeutic agents.

Dentale Erosionen bei Kindern und Jugendlichen: gastroenterologische Hintergründe

Reflux of acidic gastric secretions into the oral cavity may cause significant dental erosion. This gastro-oesophageal reflux has been shown to occur in children as well as in adults, and is often not accompanied by typical reflux symptoms. When symptoms are present the children may complain of heartburn, food regurgitation and epigastric pain. Current investigation involves ambulatory 24-hour oesophageal pH-measurements. In the case of exaggerated reflux, the main therapeutic option is medical acid suppression for several years. The pathogenesis, the diagnostic and therapeutic procedures as well as the importance of the cooperation between dentists and gastroenterologists are described and therapeutic advices are given.