A New General Method to Generate Random Modal Formulae for Testing Decision Procedures

The recent emergence of heavily-optimized modal decision procedures has highlighted the key role of empirical testing in this domain. Unfortunately, the introduction of extensive empirical tests for modal logics is recent, and so far none of the proposed test generators is very satisfactory. To cope with this fact, we present a new random generation method that provides benefits over previous methods for generating empirical tests. It fixes and much generalizes one of the best-known methods, the random CNF_[]m test, allowing for generating a much wider variety of problems, covering in principle the whole input space. Our new method produces much more suitable test sets for the current generation of modal decision procedures. We analyze the features of the new method by means of an extensive collection of empirical tests

Estimating the underground economy by using MIMIC models: A response to T. Breusch´s critique

Breusch (2005b) critically addresses an important and challenging question: Is it reliable to use the Multiple Indicators Multiple Causes model to estimate Shadow Economy? Breusch concludes that this approach is not suitable for the purpose. Breusch’s paper highlights the different procedures and hypotheses about the estimation of the size and development of the shadow economy in three papers: Giles and Tedds (2002a), Dell’Anno and Schneider (2003) and Bajada and Schneider (2005). In this paper, we will react and provide some answers to Breusch’s criticisms with special reference to the criticisms of the Dell’Anno and Schneider (2003) paper. According with us, the MIMIC model is still one of the best approaches to this purpose.shadow economy; MIMIC model; structural modelling.

The formation and cosmic evolution of dust in the early Universe. I. Dust sources

Dust-obscured star formation has dominated the cosmic history of star formation since z = 4. However, the recent finding of significant amount of dust in galaxies out to z = 8 has opened the new frontier of investigating the origin of dust also in the earliest phases of galaxy formation, within the first 1.5 billion years from the Big Bang. This is a key and rapid transition phase for the evolution of dust, as galaxy evolutionary timescales become comparable with the formation timescales of dust. Our aim is to provide an overview of the several findings on dust formation and evolution at z > 4, and of the theoretical efforts to explain the observational results. We have organized the review in two parts. In the first part, presented here, we focus on dust sources, primarily supernovae and asymptotic giant branch stars, and the subsequent reprocessing of dust in the interstellar medium, through grain destruction and growth. We also discuss other dust production mechanisms, such as Red Super Giants, Wolf--Rayet stars, Classical Novae, Type Ia Supernovae, and dust formation in quasar winds. The focus of this first part is on theoretical models of dust production sources, although we also discuss the comparison with observations in the nearby Universe, which are key to put constraints on individual sources and processes. While the description has a general applicability at any redshift, we emphasize the relative role of different sources in the dust build-up in the early Universe. In the second part, which will be published later on, we will focus on the recent observational results at z > 4, discussing the theoretical models that have been proposed to interpret those results, as well as the profound implications for galaxy formation.Comment: Revised version to appear in Astronomy Astrophysics Review, with the addition of a new section on dust destruction in the hot gas (section 7.1) and on the implications for dust formation scenarios in the early Universe (section 9

Estimating the underground economy by using MIMIC models: A response to T. Breusch's critique

Breusch (2005b) critically addresses an important and challenging question: Is it reliable to use the Multiple Indicators Multiple Causes model to estimate Shadow Economy? Breusch concludes that this approach is not suitable for the purpose. Breusch’s paper highlights the different procedures and hypotheses about the estimation of the size and development of the shadow economy in three papers: Giles and Tedds (2002a), Dell’Anno and Schneider (2003) and Bajada and Schneider (2005). In this paper, we will react and provide some answers to Breusch’s criticisms with special reference to the criticisms of the Dell’Anno and Schneider (2003) paper. According with us, the MIMIC model is still one of the best approaches to this purpose

Dysfunctional eating behaviours, anxiety and depression in Italian boys and girls: the role of mass media

Objective: Extensive research has implicated identification with characters in mass media in the emergence of disordered eating behavior in adolescents. We explored the possible influence of the models offered by television (TV) on adolescents’ body image, body uneasiness, eating-disordered behavior, depression, and anxiety. Methods: Three hundred and one adolescents (aged 14-19) from southern Italy participated. They completed a questionnaire on media exposure and body dissatisfaction, the Eating Disorder Inventory-2, the Body Uneasiness Test, the Beck Depression Inventory, and the State-Trait Anxiety Inventory – Form Y. Results: The main factors contributing to females’ eating-disordered behaviors were their own desires to be similar to TV characters, the amount of reality and entertainment TV they watched, and the discrepancy between their perceptions of their bodies and those of TV characters. Friends’ desire to be similar to TV characters contributed most to depression, anxiety, body uneasiness, and eating disorders for both males and females. Conclusion: Our data confirm that extensive watching of reality and entertainment TV correlates with eating-disordered behavior among females. Moreover, the well-known negative effects of the media on adolescents’ eating-disordered behaviors may also be indirectly transmitted by friends who share identification with TV characters

Exact and heuristic solution of the consistent vehicle-routing problem

Providing consistent service by satisfying customer demands with the same driver (driver consistency) at approximately the same time (arrival-time consistency) allows companies in last-mile distribution to stand out among competitors. The consistent vehicle-routing problem (ConVRP) is a multiday problem addressing such consistency requirements along with traditional constraints on vehicle capacity and route duration. The literature offers several heuristics but no exact method for this problem. The state-of-the-art exact technique to solve VRPs-column generation (CG) applied to route-based formulations in which columns are generated via dynamic programming-cannot be successfully extended to the ConVRP because the linear relaxation of route-based formulations is weak. We propose the first exact method for the ConVRP, which can solve medium-sized instances with five days and 30 customers. The method solves, via CG, a formulation in which each variable represents the set of routes assigned to a vehicle over the planning horizon. As an upper bounding procedure, we develop a large neighborhood search (LNS) featuring a repair procedure specifically designed to improve the arrival-time consistency of solutions. Used as stand-alone heuristic, the LNS is able to significantly improve the solution quality on benchmark instances from the literature compared with state-of-the-art heuristics

A Collaborative Approach to Reduce the Spread of COVID-19 in a Large Urban Hospital in South Florida

The novel Coronavirus has proven challenging for many healthcare organizations. Hospitals are pressed to secure sufficient personal protective equipment to ensure the safety of their healthcare personnel and various strategies have been implemented to stop the spread of the virus. There are still many unknowns about COVID-19 and hospitals are rapidly adapting to new information while trying to maintain the safety and wellbeing of healthcare personnel. Baptist Hospital of Miami developed a collaborative data driven plan to monitor, disseminate vital information, and implement various strategies to protect employees and patients during the pandemic