Contractual Testing

Variants of must testing approach have been successfully applied in Service Oriented Computing for capturing compliance between (contracts exposed by) a client and a service and for characterising safe replacement, namely the fact that compliance is preserved when a service exposing a ’smaller’ contract is replaced by another one with a ’larger’ contract. Nevertheless, in multi-party interactions, partners often lack full coordination capabilities. Such a scenario calls for less discriminating notions of testing in which observers are, e.g., the description of uncoordinated multiparty contexts or contexts that are unable to observe the complete behaviour of the process under test. In this paper we propose an extended notion of must preorder, called contractual preorder, according to which contracts are compared according to their ability to pass only the tests belonging to a given set. We show the generality of our framework by proving that preorders induced by existing notions of compliance in a distributed setting are instances of the contractual preorder when restricting to suitable sets of observers

Comments: Eminent Domain: Private Corporations and the Public Use Limitation

Though no logical limits are evident in the cases, it nonetheless remains to be seen how far courts will be willing to go in allowing local development authorities to condemn property for commercial purposes

Near-optimal small-depth lower bounds for small distance connectivity

We show that any depth-$d$ circuit for determining whether an $n$-node graph has an $s$-to-$t$ path of length at most $k$ must have size $n^{\Omega(k^{1/d}/d)}$. The previous best circuit size lower bounds for this problem were $n^{k^{\exp(-O(d))}}$ (due to Beame, Impagliazzo, and Pitassi [BIP98]) and $n^{\Omega((\log k)/d)}$ (following from a recent formula size lower bound of Rossman [Ros14]). Our lower bound is quite close to optimal, since a simple construction gives depth-$d$ circuits of size $n^{O(k^{2/d})}$ for this problem (and strengthening our bound even to $n^{k^{\Omega(1/d)}}$ would require proving that undirected connectivity is not in $\mathsf{NC^1}.$) Our proof is by reduction to a new lower bound on the size of small-depth circuits computing a skewed variant of the "Sipser functions" that have played an important role in classical circuit lower bounds [Sip83, Yao85, H{\aa}s86]. A key ingredient in our proof of the required lower bound for these Sipser-like functions is the use of \emph{random projections}, an extension of random restrictions which were recently employed in [RST15]. Random projections allow us to obtain sharper quantitative bounds while employing simpler arguments, both conceptually and technically, than in the previous works [Ajt89, BPU92, BIP98, Ros14]

Linear Toric Fibrations

These notes are based on three lectures given at the 2013 CIME/CIRM summer school. The purpose of this series of lectures is to introduce the notion of a toric fibration and to give its geometrical and combinatorial characterizations. Polarized toric varieties which are birationally equivalent to projective toric bundles are associated to a class of polytopes called Cayley polytopes. Their geometry and combinatorics have a fruitful interplay leading to fundamental insight in both directions. These notes will illustrate geometrical phenomena, in algebraic geometry and neighboring fields, which are characterized by a Cayley structure. Examples are projective duality of toric varieties and polyhedral adjunction theory

Helicobacter pylori infection and gastric dysbiosis: Can probiotics administration be useful to treat this condition?

Helicobacter pylori (Hp) is responsible for one of the most common infections in the world. 'e prevalence exceeds 50% of the population in developing countries, and approximately one-third of the adults are colonized in North Europe and North America. It is considered a major pathogenic agent of chronic gastritis, peptic ulcer, atrophic gastritis, gastric cancer, and mucosa-associated lymphoid tissue lymphoma (MALT). Hp colonization modifies the composition of gastric microbiota that could drive the development of gastric disorders. Currently, an emerging problem in Hp treatment is represented by the increasing rate of antimicrobial therapy resistance. In this context, the search for adjuvant agents can be very useful to overcome this issue and probiotics administration can represent a valid option. The aim of this review is to describe the gastric microbiota changes during Hp colonization, the mechanisms of action, and a possible role of probiotics in the treatment of this infection

A data summary file structure and analysis tools for neutrino oscillation analysis at the NOνA experiment

The NuMI Off-axis Neutrino Experiment (NOvA) is designed to study neutrino oscillations in the NuMI beam at Fermilab. Neutrinos at the Main Injector (NuMI) is currently being upgraded to provide 700 kW for NOvA. A 14 kt Far Detector in Ash River, MN and a functionally identical 0.3 kt Near Detector at Fermilab are positioned 810 km apart in the NuMI beam line. The fine granularity of the NOvA detectors provides a detailed representation of particle trajectories. The data volume associated with such granularity, however, poses problems for analyzing data with ease and speed. NOvA has developed a data summary file structure which discards the full event record in favor of higher-level reconstructed information. A general- purpose framework for neutrino oscillation measurements has been developed for analysis of these data summary files. We present the design methodology for this new file format as well as the analysis framework and the role it plays in producing NOvA physics results

A 475 years-old founder effect involving IL12RB1: a highly prevalent mutation conferring Mendelian susceptibility to mycobacterial diseases in European descendants

Mutations in IFNGR1, IFNGR2, IL12RB1, IL12B, STAT1 and NEMO result in a common clinical phenotype known as Mendelian Susceptibility to Mycobacterial Diseases (MSMD). Interleukin-12 receptor 01 (IL12R beta 1) deficiency is the most common genetic etiology for MSMD. Known mutations affecting IL12RB1 are recessively inherited and are associated with null response to both IL-12 and IL-23. Mutation IL12RB1 1623_1624delinsTT was originally described in 5 families from European origin (2 from Germany: I from Cyprus, France and Belgium). Interestingly, this same mutation was found in an unexpectedly high prevalence among IL-12R beta 1 deficient patients in Argentina: 5-out-of-6 individuals born to unrelated families carried this particular change. To determine whether mutation 1623_1624delinsTT represents a DNA mutational hotspot or a founder effect, 34 polymorphic markers internal or proximal to IL12RB1 were studied in the Argentinean and the Belgian patients. A common haplotype spanning 1.45-3.51 Mb was shared by all chromosomes carrying mutation 1623_1624delinsTT, and was not detected on 100 control chromosomes. Applying a modified likelihood-based method the age of the most recent common ancestor carrying mutation 1623_1624delinsTT was estimated in 475 years (95% CI, 175-1275), which is the time when the Spaniards initiated the colonization of the Americas. Mutation 1623_1624delinsTT represents the first founder effect described on IL-12R beta 1, the most frequently affected gene in MSMD, and affecting patients with European ancestors. The reason(s) behind the persistency of this mutation across multiple generations, its relative high prevalence, and any potential selective advantage are yet to be established