The local power of the gradient test

The asymptotic expansion of the distribution of the gradient test statistic is derived for a composite hypothesis under a sequence of Pitman alternative hypotheses converging to the null hypothesis at rate n(-1/2), n being the sample size. Comparisons of the local powers of the gradient, likelihood ratio, Wald and score tests reveal no uniform superiority property. The power performance of all four criteria in one-parameter exponential family is examined.

Geometrical and Spectral Properties of the Orthogonal Projections of the Identity

[EN]We analyze the best approximation

Theoretical and implementation aspects in the mechanization of the metatheory of programming languages

Interactive theorem provers are tools designed for the certification of formal proofs developed by means of man-machine collaboration. Formal proofs obtained in this way cover a large variety of logical theories, ranging from the branches of mainstream mathematics, to the field of software verification. The border between these two worlds is marked by results in theoretical computer science and proofs related to the metatheory of programming languages. This last field, which is an obvious application of interactive theorem proving, poses nonetheless a serious challenge to the users of such tools, due both to the particularly structured way in which these proofs are constructed, and to difficulties related to the management of notions typical of programming languages like variable binding. This thesis is composed of two parts, discussing our experience in the development of the Matita interactive theorem prover and its use in the mechanization of the metatheory of programming languages. More specifically, part I covers: - the results of our effort in providing a better framework for the development of tactics for Matita, in order to make their implementation and debugging easier, also resulting in a much clearer code; - a discussion of the implementation of two tactics, providing infrastructure for the unification of constructor forms and the inversion of inductive predicates; we point out interactions between induction and inversion and provide an advancement over the state of the art. In the second part of the thesis, we focus on aspects related to the formalization of programming languages. We describe two works of ours: - a discussion of basic issues we encountered in our formalizations of part 1A of the Poplmark challenge, where we apply the extended inversion principles we implemented for Matita; - a formalization of an algebraic logical framework, posing more complex challenges, including multiple binding and a form of hereditary substitution; this work adopts, for the encoding of binding, an extension of Masahiko Sato's canonical locally named representation we designed during our visit to the Laboratory for Foundations of Computer Science at the University of Edinburgh, under the supervision of Randy Pollack.

'A Distortion in the mirror of being': verso un modello liquido di personaggio. Da Nabokov alle sperimentazioni contemporanee in ambito slavo

La tesi mira a ridefinire lo statuto del personaggio nell’ambito del self-conscious novel postmoderno, alla luce delle più recenti tendenze narratologiche, con particolare riferimento all’unnatural narratology. Per poter presentare un modello scientificamente valido si è fatto ricorso alla comparazione della produzione letteraria di due macro-aree: quella britannica e quella slava (Russia - Unione Sovietica - e Polonia). Come figura di mediazione tra queste due culture si pone senza dubbio Vladimir V. Nabokov, cardine e personalità di spicco della ricerca. Tra le analisi testuali proposte sono stati presi in considerazione i seguenti autori: Julian Barnes, Vladimir Nabokov, Daniil Charms, Konstantin Vaginov, Andrej Bitov, Saša Sokolov, Bruno Schulz e Tadeusz Kantor.

Sensitivity analysis of a parabolic-elliptic problem

We consider the heat flux through a domain with subregions in which the thermal capacity approaches zero. In these subregions the parabolic heat equation degenerates to an elliptic one. We show the well-posedness of such parabolic-elliptic differential equations for general non-negative L-infinity-capacities and study the continuity of the solutions with respect to the capacity, thus giving a rigorous justification for modeling a small thermal capacity by setting it to zero. We also characterize weak directional derivatives of the temperature with respect to capacity as solutions of related parabolic-elliptic problems.

I giochi d'azzardo a Bologna nelle carte di polizia

Questa ricerca si pone come obbiettivo lo studio e l’analisi delle diverse manifestazioni del gioco d’azzardo nella Bologna della fine del XIX secolo. Partendo dall’assunto che le forme ludiche non rappresentino solo una pratica, né soltanto un fatto sociale o economico ma sono piuttosto la somma di diverse componenti, ci si è proposti di studiare la storia a partire da uno specifico punto di vista: quello dei giochi e dei giocatori legati alle pratiche del rischio. Tramite le carte d’archivio della polizia e altri documenti dell’epoca si sono indagati i diversi aspetti del fenomeno dell’azzardo: i luoghi in cui essi venivano praticati, le norme che li regolavano, gli strati sociali entro cui venivano giocati, le mutazioni delle condizioni politiche e sociali che portarono al cambiamento delle diverse forme ludiche e delle comunità che lo hanno praticato e contestualmente si è cercato di comprendere come cambino e come permangano la percezione del rischio, l’idea di competizione, la stessa attitudine al gioco.

The group of invariants of an inner function with finite spectrum

This paper determines the group of continuous invariants corresponding to an inner function circle dot with finitely many singularities on the unit circle T; that is, the continuous mappings g : T -> T such that circle dot o g = circle dot on T. These mappings form a group under composition.

Shading Silhouettes of Smaller Ones

I am truly honored to have been given the amazing opportunity to create this original piece, this powerful journey through memory and emotive exploration of the loss of childhood. How do we feel about the loss of our child-self? Could we ever get them back? How long, how deep would one have to dig in the graveyards, the playgrounds of memory, to uncover what was buried there... to un-erase what waserased? shading silhouettes of smaller ones will ultimately encourage a reconnection with the Inner Child hidden inside all of us, as well as an intimate awareness of the adult version of the self by looking back to the smaller ones. The main inspiration for this piece is then of course, Inner Child Work. Most people may not be familiar with this therapeutic exploration of childhood... It wasimportant to me then, to present this concept in an imaginative, theatrical way, as a gift to you - a comprehensive and intensely moving gift. Speaking from experience, working on my Inner Child - my little Bianca - has been the most painful, frightening, yetrewarding and powerful experience within my personal life. Some people spend their entire lives trying to love themselves, to prove themselves, or be accepted. Some are too afraid to look back to where it all began. The characters within this piece will face thatfear... in a regression from the complexities of adulthood to the confusion of adolescence, all the way back to the wonder and bliss of childhood. They will reveal memories, of both joy and pain, love and abandonment, journeying backwards through time - through memory - through a playground - back to the beginning... We will enter a world where a push of a merry-go-round spins us to games of Truth or Dare after a high school dance at 16 - or the slam of a metal fence reminds us of the door Dad slammed in our face at 9 - where the sound of chain links swings us back to scrapping our knee by the sandbox at 5 This piece will attempt to connect everyone, both cast and audience, through a universal understanding and discussion of what it means to grow up, as well as a discovery of WHY we are the way we are - how experiences or relationships from our childhood have shaped our adult lives. We will attempt to challenge your honesty and nerve by inviting you to ask questions of yourselves, your past - to remember what it's like to have the innocence and hope of a child, to engage with and discover your Inner Child, to realize when or why you left them behind, and if you want to this magical part of yourself. It is my hope that you will join us in a collective journey - gather the courage to dig up the little kid you buried so long ago...* The creation, design, choreography, and direction for shading silhouettes of smaller ones mark the culminating experience of a year-long independent study in Theatre.

Applications of finite geometries to designs and codes

This dissertation concerns the intersection of three areas of discrete mathematics: finite geometries, design theory, and coding theory. The central theme is the power of finite geometry designs, which are constructed from the points and t-dimensional subspaces of a projective or affine geometry. We use these designs to construct and analyze combinatorial objects which inherit their best properties from these geometric structures. A central question in the study of finite geometry designs is Hamada’s conjecture, which proposes that finite geometry designs are the unique designs with minimum p-rank among all designs with the same parameters. In this dissertation, we will examine several questions related to Hamada’s conjecture, including the existence of counterexamples. We will also study the applicability of certain decoding methods to known counterexamples. We begin by constructing an infinite family of counterexamples to Hamada’s conjecture. These designs are the first infinite class of counterexamples for the affine case of Hamada’s conjecture. We further demonstrate how these designs, along with the projective polarity designs of Jungnickel and Tonchev, admit majority-logic decoding schemes. The codes obtained from these polarity designs attain error-correcting performance which is, in certain cases, equal to that of the finite geometry designs from which they are derived. This further demonstrates the highly geometric structure maintained by these designs. Finite geometries also help us construct several types of quantum error-correcting codes. We use relatives of finite geometry designs to construct infinite families of q-ary quantum stabilizer codes. We also construct entanglement-assisted quantum error-correcting codes (EAQECCs) which admit a particularly efficient and effective error-correcting scheme, while also providing the first general method for constructing these quantum codes with known parameters and desirable properties. Finite geometry designs are used to give exceptional examples of these codes.

The significant effect of endometriosis on physical, mental and social wellbeing: results from an international cross-sectional survey.

STUDY QUESTION To what extent do the management of endometriosis and the symptoms that remain after treatment affect the quality of life in women with the disease? SUMMARY ANSWER Many women with endometriosis had impaired quality of life and continued to suffer from endometriosis-associated symptoms even though their endometriosis has been managed in tertiary care centres. WHAT IS KNOWN ALREADY The existing literature indicates that quality of life and work productivity is reduced in women with endometriosis. However, most studies have small sample sizes, are treatment related or examine newly diagnosed patients only. STUDY DESIGN, SIZE, DURATION A cross-sectional questionnaire-based survey among 931 women with endometriosis treated in 12 tertiary care centres in 10 countries. PARTICIPANTS/MATERIALS, SETTING, METHODS Women diagnosed with endometriosis who had at least one contact related to endometriosis-associated symptoms during 2008 with a participating centre were enrolled into the study. The study investigated the effect of endometriosis on education, work and social wellbeing, endometriosis-associated symptoms and health-related quality of life, by using questions obtained from the World Endometriosis Research Foundation (WERF) GSWH instrument (designed and validated for the WERF Global Study on Women's Health) and the Short Form 36 version 2 (SF-36v2). MAIN RESULTS AND THE ROLE OF CHANCE Of 3216 women invited to participate in the study, 1450 (45%) provided informed consent and out of these, 931 (931/3216 = 29%) returned the questionnaires. Endometriosis had affected work in 51% of the women and affected relationships in 50% of the women at some time during their life. Dysmenorrhoea was reported by 59%, dyspareunia by 56% and chronic pelvic pain by 60% of women. Quality of life was decreased in all eight dimensions of the SF-36v2 compared with norm-based scores from a general US population (all P < 0.01). Multivariate regression analysis showed that number of co-morbidities, chronic pain and dyspareunia had an independent negative effect on both the physical and mental component of the SF-36v2. LIMITATIONS, REASONS FOR CAUTION The fact that women were enrolled in tertiary care centres could lead to a possible over-representation of women with moderate-to-severe endometriosis, because the participating centres typically treat more complex and referred cases of endometriosis. The response rate was relatively low. Since there was no Institute Review Board approval to do a non-responder investigation on basic characteristics, some uncertainty remains regarding the representativeness of the investigated population. WIDER IMPLICATIONS OF THE FINDINGS This international multicentre survey represents a large group of women with endometriosis, in all phases of the disease, which increases the generalizability of the data. Women still suffer from frequent symptoms, despite tertiary care management, in particular chronic pain and dyspareunia. As a result their quality of life is significantly decreased. A patient-centred approach with extensive collaboration across disciplines, such as pain specialists, psychologists, sexologists and social workers, may be a valuable strategy to improve the long-term care of women with endometriosis. STUDY FUNDING/COMPETING INTEREST(S) The WERF EndoCost study is funded by the World Endometriosis Research Foundation (WERF) through grants received from Bayer Schering Pharma AG, Takeda Italia Farmaceutici SpA, Pfizer Ltd and the European Society of Human Reproduction and Embryology. The sponsors did not have a role in the design and conduct of the study; collection, management, analysis and interpretation of the data; and preparation, review or approval of the manuscript. L.H. is the chief executive and T.D. was a board member of WERF at the time of funding. T.D. holds the Merck-Serono Chair in Reproductive Medicine and Surgery, and the Ferring Chair in Reproductive Medicine at the Katholieke Universiteit Leuven in Belgium and has served as consultant/research collaborator for Merck-Serono, Schering-Plough, Astellas and Arresto.

Intrauterine instillation of diluted seminal plasma at oocyte pick-up does not increase the IVF pregnancy rate: a double-blind, placebo controlled, randomized study.

STUDY QUESTION Does intrauterine application of diluted seminal plasma (SP) at the time of ovum pick-up improve the pregnancy rate by ≥14% in IVF treatment? SUMMARY ANSWER Intrauterine instillation of diluted SP at the time of ovum pick-up is unlikely to increase the pregnancy rate by ≥14% in IVF. WHAT IS KNOWN ALREADY SP modulates endometrial function, and sexual intercourse around the time of embryo transfer has been suggested to increase the likelihood of pregnancy. A previous randomized double-blind pilot study demonstrated a strong trend towards increased pregnancy rates following the intracervical application of undiluted SP. As this study was not conclusive and as the finding could have been confounded by sexual intercourse, the intrauterine application of diluted SP was investigated in the present trial. STUDY DESIGN, SIZE, DURATION A single-centre, prospective, double-blind, placebo-controlled, randomized, superiority trial on women undergoing IVF was conducted from April 2007 until February 2012 at the University Department of Gynaecological Endocrinology and Reproductive Medicine, Heidelberg, Germany. PARTICIPANTS/MATERIALS, SETTING, METHODS The study was powered to detect an 14% increase in the clinical pregnancy rate and two sequential tests were planned using the Pocock spending function. At the first interim analysis, 279 women had been randomly assigned to intrauterine diluted SP (20% SP in saline from the patients' partner) (n = 138) or placebo (n = 141) at the time of ovum pick-up. MAIN RESULTS AND THE ROLE OF CHANCE The clinical pregnancy rate per randomized patient was 37/138 (26.8%) in the SP group and 41/141 (29.1%) in the placebo group (difference: -2.3%, 95% confidence interval of the difference: -12.7 to +8.2%; P = 0.69). The live birth rate per randomized patient was 28/138 (20.3%) in the SP group and 33/141 (23.4%) in the placebo group (difference: -3.1%, 95% confidence interval of the difference: -12.7 to +6.6%; P = 0.56). It was decided to terminate the trial due to futility at the first interim analysis, at a conditional power of 62%. LIMITATIONS, REASONS FOR CAUTION The confidence interval of the difference remains wide, thus clinically relevant differences cannot reliably be excluded based on this single study. WIDER IMPLICATIONS OF THE FINDINGS The results of this study cast doubt on the validity of the concept that SP increases endometrial receptivity and thus implantation in humans. STUDY FUNDING/COMPETING INTEREST(S) Funding was provided by the department's own research facilities. TRIAL REGISTRATION NUMBER DRKS00004615.

Explicit mathematics and operational set theory: some ontological comparisons

We discuss several ontological properties of explicit mathematics and operational set theory: global choice, decidable classes, totality and extensionality of operations, function spaces, class and set formation via formulas that contain the definedness predicate and applications.

A feasible theory of truth over combinatory algebra

We define an applicative theory of truth TPT which proves totality exactly for the polynomial time computable functions. TPT has natural and simple axioms since nearly all its truth axioms are standard for truth theories over an applicative framework. The only exception is the axiom dealing with the word predicate. The truth predicate can only reflect elementhood in the words for terms that have smaller length than a given word. This makes it possible to achieve the very low proof-theoretic strength. Truth induction can be allowed without any constraints. For these reasons the system TPT has the high expressive power one expects from truth theories. It allows embeddings of feasible systems of explicit mathematics and bounded arithmetic. The proof that the theory TPT is feasible is not easy. It is not possible to apply a standard realisation approach. For this reason we develop a new realisation approach whose realisation functions work on directed acyclic graphs. In this way, we can express and manipulate realisation information more efficiently.

Minimally invasive surgery when treating endometriosis has a positive effect on health and on quality of work life of affected women

STUDY QUESTION: What is the effect of the minimally invasive surgical treatment of endometriosis on health and on quality of work life (e.g. working performance) of affected women? SUMMARY ANSWER: Absence from work, performance loss and the general negative impact of endometriosis on the job are reduced significantly by the laparoscopic surgery. WHAT IS KNOWN ALREADY: The benefits of surgery overall and of the laparoscopic method in particular for treating endometriosis have been described before. However, previous studies focus on medical benchmarks without including the patient's perspective in a quantitative manner. STUDY DESIGN, SIZE, DURATION: A retrospective questionnaire-based survey covering 211 women with endometriosis and a history of specific laparoscopic surgery in a Swiss university hospital, tertiary care center. Data were returned anonymously and were collected from the beginning of 2012 until March 2013. PARTICIPANTS/MATERIALS, SETTING, METHODS: Women diagnosed with endometriosis and with at least one specific laparoscopic surgery in the past were enrolled in the study. The study investigated the effect of the minimally invasive surgery on health and on quality of work life of affected women. Questions used were obtained from the World Endometriosis Research Foundation (WERF) Global Study on Women's Health (GSWH) instrument. The questionnaire was shortened and adapted for the purpose of the present study. MAIN RESULTS AND THE ROLE OF CHANCE: Of the 587 women invited to participate in the study, 232 (232/587 = 40%) returned the questionnaires. Twenty-one questionnaires were excluded due to incomplete data and 211 sets (211/587 = 36%) were included in the study. Our data show that 62% (n = 130) of the study population declared endometriosis as influencing the job during the period prior to surgery, compared with 28% after surgery (P < 0.001). The mean (maximal) absence from work due to endometriosis was reduced from 2.0 (4.9) to 0.5 (1.4) hours per week (P < 0.001). The mean (maximal) loss in working performance after the surgery averaged out at 5.7% (12.6%) compared with 17.5% (30.5%) before this treatment (P < 0.001). LIMITATIONS, REASONS FOR CAUTION: The mediocre response rate of the study weakens the representativeness of the investigated population. Considering the anonymous setting a non-responder investigation was not performed. A bias due to selection, information and negativity effects within a retrospective survey cannot be excluded, although study-sensitive questions were provided in multiple ways. The absence of a control group (sham group; e.g. patients undergoing specific diagnostic laparoscopy without treatment) is a further limitation of the study. WIDER IMPLICATIONS OF THE FINDINGS: Our study shows that indicated minimally invasive surgery has a clear positive effect on the wellbeing and working performance of women suffering from moderate to severe endometriosis. Furthermore, national net savings in indirect costs with the present number of surgeries is estimated to be €10.7 million per year. In an idealized setting (i.e. without any diagnosis delay) this figure could be more than doubled. STUDY FUNDING/COMPETING INTERESTS: The study was performed on behalf of the University Hospital of Bern (Inselspital) as one of the leading Swiss tertiary care centers. The authors do not declare any competing interests.