Design and analysis of fractional factorial experiments from the viewpoint of computational algebraic statistics

We give an expository review of applications of computational algebraic statistics to design and analysis of fractional factorial experiments based on our recent works. For the purpose of design, the techniques of Gr\"obner bases and indicator functions allow us to treat fractional factorial designs without distinction between regular designs and non-regular designs. For the purpose of analysis of data from fractional factorial designs, the techniques of Markov bases allow us to handle discrete observations. Thus the approach of computational algebraic statistics greatly enlarges the scope of fractional factorial designs.Comment: 16 page

On Measure Quantifiers in First-Order Arithmetic

We study the logic obtained by endowing the language of first-order arithmetic with second-order measure quantifiers. This new kind of quantification allows us to express that the argument formula is true in a certain portion of all possible interpretations of the quantified variable. We show that first-order arithmetic with measure quantifiers is capable of formalizing simple results from probability theory and, most importantly, of representing every recursive random function. Moreover, we introduce a realizability interpretation of this logic in which programs have access to an oracle from the Cantor space

On Counting Propositional Logic and Wagner's Hierarchy

We introduce and study counting propositional logic, an extension of propositional logic with counting quantifiers. This new kind of quantification makes it possible to express that the argument formula is true in a certain portion of all possible interpretations. We show that this logic, beyond admitting a satisfactory proof-theoretical treatment, can be related to computational complexity: the complexity of the underlying decision problem perfectly matches the appropriate level of Wagner's counting hierarchy

reconfigurable inspection robot for industrial applications

Abstract The power generation industry, due to its importance in both general public and industrial applications, requires high standard of reliability. In the electrical power generation processes, the inspection and the adequate maintenance of the power generators are extremely important. Currently these inspection procedures are performed by dismounting the generators after a predetermined amount of operating hours. Due to the huge size and the complexity of such machines, these operations other than being time-consuming are sometimes source of mechanical and electrical damages. Furthermore, several analyses are carried on by use of manual instrumentation operated by expert workers. Consequently, a series of important tests and structural analyses other than being very expensive are highly subjective and could lack on repeatability and reliability. Moreover, not all the results of these analyses are logged or electronically stored. Following the current trend of automation under the Industry 4.0 framework, an automated robotic vehicle has been designed with the aim of addressing the above-mentioned issues. The main features of such robot are the small dimensions, a magnetic coupling that gives the possibility to move on ferromagnetic surfaces, a reliable mechanical assembly and a wide reconfigurability in terms of mechanical add-ons and plug-and-play sensors. The housed sensors could be optical or IR cameras, ultrasonic scanner, surface analyzer, eddy currents detectors and even more. The tests conducted so far in realistic environments show that the presented system can be used to perform standard and reproducible inspections of complex machines like power generators. Moreover, due to its reconfigurability this vehicle can easily extend its range of application and be used in the inspection of other machines and infrastructures such as windmill blade, cranes, bridges beams, vessels and similar

Nonparametric Information Geometry

The differential-geometric structure of the set of positive densities on a given measure space has raised the interest of many mathematicians after the discovery by C.R. Rao of the geometric meaning of the Fisher information. Most of the research is focused on parametric statistical models. In series of papers by author and coworkers a particular version of the nonparametric case has been discussed. It consists of a minimalistic structure modeled according the theory of exponential families: given a reference density other densities are represented by the centered log likelihood which is an element of an Orlicz space. This mappings give a system of charts of a Banach manifold. It has been observed that, while the construction is natural, the practical applicability is limited by the technical difficulty to deal with such a class of Banach spaces. It has been suggested recently to replace the exponential function with other functions with similar behavior but polynomial growth at infinity in order to obtain more tractable Banach spaces, e.g. Hilbert spaces. We give first a review of our theory with special emphasis on the specific issues of the infinite dimensional setting. In a second part we discuss two specific topics, differential equations and the metric connection. The position of this line of research with respect to other approaches is briefly discussed.Comment: Submitted for publication in the Proceedings od GSI2013 Aug 28-30 2013 Pari

On the characterisation of paired monotone metrics

Hasegawa and Petz introduced the notion of dual statistically monotone metrics. They also gave a characterisation theorem showing that Wigner-Yanase-Dyson metrics are the only members of the dual family. In this paper we show that the characterisation theorem holds true under more general hypotheses.Comment: 12 pages, to appear on Ann. Inst. Stat. Math.; v2: changes made to conform to accepted version, title changed as wel

Coarse-grained entanglement classification through orthogonal arrays

Classification of entanglement in multipartite quantum systems is an open problem solved so far only for bipartite systems and for systems composed of three and four qubits. We propose here a coarse-grained classification of entanglement in systems consisting of $N$ subsystems with an arbitrary number of internal levels each, based on properties of orthogonal arrays with $N$ columns. In particular, we investigate in detail a subset of highly entangled pure states which contains all states defining maximum distance separable codes. To illustrate the methods presented, we analyze systems of four and five qubits, as well as heterogeneous tripartite systems consisting of two qubits and one qutrit or one qubit and two qutrits.Comment: 38 pages, 1 figur

Socio-Demographic Characteristics and Sexual Behavioral Factors of Patients with Sexually Transmitted Infections Attending a Hospital in Southern Italy

Sexually transmitted infections (STIs) are a serious global health problem. In Italy, data describing the vulnerability to STIs of specific sexual minorities and the influence of sociodemographic and behavioral determinants are limited, as most infections are not subject to mandatory notification. This retrospective study describes the sociodemographic profile and main sexual behaviors of patients attending a hospital in Palermo (Sicily, Italy) from January 2018 to March 2019 as predictors of STI risk. Patients were divided in subgroups: men-who-have-sex-with-men (MSM), men-who-have-sex-with-women (MSW), bisexual men and females. Data were obtained through an anonymous questionnaire. Patients were tested for chlamydia, syphilis, Mycoplasma genitalium infection, genital herpes and HPV infection. A total of 294 subjects with STIs (male/female ratio about 2:1) were screened. Of the total sample, 79.6% of patients were Italian. MSM accounted for 34.3%, MSW for 29.6%, bisexual men for 5.8% and females for 30.3%. A total of 44.5% of patients had a high education level, 42.5% reported irregular use of condoms, 20.7% reported having had 5-10 partners in the six months prior to the visit and 32.9% were HIV-positive. HPV infection and syphilis were the most prevalent STIs. Conclusions: The most common profile of patients attending our clinic was that of an adult, Italian man with a high level of education, poor use of condoms and a high number of partners. MSM had the highest sex-behavior-related risk for STIs. In addition, our results suggest that all STD teams need to implement counselling topics and recommendations to share with patients, as well as tips on how to approach sexual health education/counselling, thereby promoting patient-centered approaches and educational programs

Test of the photon detection system for the LHCb RICH Upgrade in a charged particle beam

The LHCb detector will be upgraded to make more efficient use of the available luminosity at the LHC in Run III and extend its potential for discovery. The Ring Imaging Cherenkov detectors are key components of the LHCb detector for particle identification. In this paper we describe the setup and the results of tests in a charged particle beam, carried out to assess prototypes of the upgraded opto-electronic chain from the Multi-Anode PMT photosensor to the readout and data acquisition system.Comment: 25 pages, 22 figure