Testing Linear-Invariant Non-Linear Properties

We consider the task of testing properties of Boolean functions that are invariant under linear transformations of the Boolean cube. Previous work in property testing, including the linearity test and the test for Reed-Muller codes, has mostly focused on such tasks for linear properties. The one exception is a test due to Green for "triangle freeness": a function f:\cube^{n}\to\cube satisfies this property if $f(x),f(y),f(x+y)$ do not all equal 1, for any pair x,y\in\cube^{n}. Here we extend this test to a more systematic study of testing for linear-invariant non-linear properties. We consider properties that are described by a single forbidden pattern (and its linear transformations), i.e., a property is given by $k$ points v_{1},...,v_{k}\in\cube^{k} and f:\cube^{n}\to\cube satisfies the property that if for all linear maps L:\cube^{k}\to\cube^{n} it is the case that $f(L(v_{1})),...,f(L(v_{k}))$ do not all equal 1. We show that this property is testable if the underlying matroid specified by $v_{1},...,v_{k}$ is a graphic matroid. This extends Green's result to an infinite class of new properties. Our techniques extend those of Green and in particular we establish a link between the notion of "1-complexity linear systems" of Green and Tao, and graphic matroids, to derive the results.Comment: This is the full version; conference version appeared in the proceedings of STACS 200

Where Are My Intelligent Assistant's Mistakes? A Systematic Testing Approach

Intelligent assistants are handling increasingly critical tasks, but until now, end users have had no way to systematically assess where their assistants make mistakes. For some intelligent assistants, this is a serious problem: if the assistant is doing work that is important, such as assisting with qualitative research or monitoring an elderly parent’s safety, the user may pay a high cost for unnoticed mistakes. This paper addresses the problem with WYSIWYT/ML (What You See Is What You Test for Machine Learning), a human/computer partnership that enables end users to systematically test intelligent assistants. Our empirical evaluation shows that WYSIWYT/ML helped end users find assistants’ mistakes significantly more effectively than ad hoc testing. Not only did it allow users to assess an assistant’s work on an average of 117 predictions in only 10 minutes, it also scaled to a much larger data set, assessing an assistant’s work on 623 out of 1,448 predictions using only the users’ original 10 minutes’ testing effort

Determination of the Michel Parameters rho, xi, and delta in tau-Lepton Decays with tau --> rho nu Tags

Using the ARGUS detector at the $e^+ e^-$ storage ring DORIS II, we have measured the Michel parameters $\rho$, $\xi$, and $\xi\delta$ for $\tau^{\pm}\to l^{\pm} \nu\bar\nu$ decays in $\tau$-pair events produced at center of mass energies in the region of the $\Upsilon$ resonances. Using $\tau^\mp \to \rho^\mp \nu$ as spin analyzing tags, we find $\rho_{e}=0.68\pm 0.04 \pm 0.08$, $\xi_{e}= 1.12 \pm 0.20 \pm 0.09$, $\xi\delta_{e}= 0.57 \pm 0.14 \pm 0.07$, $\rho_{\mu}= 0.69 \pm 0.06 \pm 0.08$, $\xi_{\mu}= 1.25 \pm 0.27 \pm 0.14$ and $\xi\delta_{\mu}= 0.72 \pm 0.18 \pm 0.10$. In addition, we report the combined ARGUS results on $\rho$, $\xi$, and $\xi\delta$ using this work und previous measurements.Comment: 10 pages, well formatted postscript can be found at http://pktw06.phy.tu-dresden.de/iktp/pub/desy97-194.p

Small ball probability, Inverse theorems, and applications

Let $\xi$ be a real random variable with mean zero and variance one and $A={a_1,...,a_n}$ be a multi-set in $\R^d$. The random sum $$S_A := a_1 \xi_1 + ... + a_n \xi_n$$ where $\xi_i$ are iid copies of $\xi$ is of fundamental importance in probability and its applications. We discuss the small ball problem, the aim of which is to estimate the maximum probability that $S_A$ belongs to a ball with given small radius, following the discovery made by Littlewood-Offord and Erdos almost 70 years ago. We will mainly focus on recent developments that characterize the structure of those sets $A$ where the small ball probability is relatively large. Applications of these results include full solutions or significant progresses of many open problems in different areas.Comment: 47 page

On the interplay between Babai and Černý’s conjectures

Motivated by the Babai conjecture and the Černý conjecture, we study the reset thresholds of automata with the transition monoid equal to the full monoid of transformations of the state set. For automata with n states in this class, we prove that the reset thresholds are upperbounded by 2n2 -6n + 5 and can attain the value (Formula presented). In addition, we study diameters of the pair digraphs of permutation automata and construct n-state permutation automata with diameter (formula presented). © Springer International Publishing AG 2017

Training adults and children with an autism spectrum disorder to be compliant with a clinical dental assessment using a TEACCH-based approach

The specific neuropsychological and sensory profile found in persons with autism spectrum disorders complicate dental procedures and as a result of this, most are treated under general anesthesia or unnecessary sedation. The main goal of the present study was to evaluate the effectiveness of a short treatment and education of autistic and related communication-handicapped children-based intervention program (five sessions) to facilitate a 10-component oral assessment in children (n = 38, aged 4¿9 years) and adults (n = 34, aged 19¿41) with autism spectrum disorder (with or without associated intellectual disability). The assessment ranges from entering into the examination room to the evaluation of the dental occlusion. There were statistically significant differences in the number of components reached and in compliance before and after the training program

An Application of the Concept of the Therapeutic Alliance To Sadomasochistic Pathology

This paper traces the history of the therapeutic alliance concept, examining how it has been used and misused, at times elevated to a central position and at others rejected altogether. The loss of this concept created a vacuum in classical psychoanalysis that has been filled by rival theories. The continuing usefulness of looking at the treatment process through the lens of the therapeutic alliance, particularly in relation to the manifold difficulties of working with sadomasochistic pathology, is suggested. To this end, revisions of the theory of the therapeutic alliance are suggested to address some of the difficulties that have arisen in conceptualizing this aspect of the therapeutic relationship, and to provide an integrated dynamic model for working with patients at each phase of treatment. This revised model acknowledges the complexity of the domain and encompasses the multiple tasks, functions, partners, and treatment phases involved. The utility of the revised theory is illustrated in application to understanding the sadomasochistic, omnipotent resistances of a female patient through the phases of her analysis.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/66889/2/10.1177_00030651980460031301.pd

Is adenomyosis the neglected phenotype of an endomyometrial dysfunction syndrome?

Since the dissociation between adenomyoma and endometriosis in the 1920s and the laparoscopic progress in the diagnosis and surgery of endometriosis, the literature has been greatly focused on the disease endometriosis. The study of adenomyosis, on the other hand, has been neglected as the diagnosis remained based on hysterectomy specimens. However, since the introduction of magnetic resonance and sonographic imaging techniques in the 1980s, the myometrial junctional zone has been identified as a third uterine zone and interest in adenomyosis was renewed. This has also been the start for the interest in the role of the myometrial junctional zone dysfunction and adenomyosis in reproductive and obstetrical disorders

Hospital Readmission in General Medicine Patients: A Prediction Model

Background: Previous studies of hospital readmission have focused on specific conditions or populations and generated complex prediction models. Objective: To identify predictors of early hospital readmission in a diverse patient population and derive and validate a simple model for identifying patients at high readmission risk. Design: Prospective observational cohort study. Patients: Participants encompassed 10,946 patients discharged home from general medicine services at six academic medical centers and were randomly divided into derivation (n = 7,287) and validation (n = 3,659) cohorts. Measurements: We identified readmissions from administrative data and 30-day post-discharge telephone follow-up. Patient-level factors were grouped into four categories: sociodemographic factors, social support, health condition, and healthcare utilization. We performed logistic regression analysis to identify significant predictors of unplanned readmission within 30 days of discharge and developed a scoring system for estimating readmission risk. Results: Approximately 17.5% of patients were readmitted in each cohort. Among patients in the derivation cohort, seven factors emerged as significant predictors of early readmission: insurance status, marital status, having a regular physician, Charlson comorbidity index, SF12 physical component score, ≥1 admission(s) within the last year, and current length of stay >2 days. A cumulative risk score of ≥25 points identified 5% of patients with a readmission risk of approximately 30% in each cohort. Model discrimination was fair with a c-statistic of 0.65 and 0.61 for the derivation and validation cohorts, respectively. Conclusions: Select patient characteristics easily available shortly after admission can be used to identify a subset of patients at elevated risk of early readmission. This information may guide the efficient use of interventions to prevent readmission