4,841 research outputs found
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 subsystems with an arbitrary number
of internal levels each, based on properties of orthogonal arrays with
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
- …