Circuit Based Quantification: Back to State Set Manipulation within Unbounded Model Checking

In this paper a non-canonical circuit-based state set representation is used to efficiently perform quantifier elimination. The novelty of this approach lies in adapting equivalence checking and logic synthesis techniques, to the goal of compacting circuit based state set representations resulting from existential quantification. The method can be efficiently combined with other verification approaches such as inductive and SAT-based pre-image verifications

Multicultural Interdisciplinary Handbook: tools for learning history and geography in a multicultural perspective (MIH)

[ES] MIH project (Multicultural Interdisciplinary Handbook: tools for learning History and Geography in a multicultural perspective) is a Comenius Multilateral Project funded with support from the European Commission that has been developed from 2009 to 2011.Conceived from the idea of educating lower and upper Secondary School pupils in a process of construction of a European identity by involving them in the culture of other countries, MIH project meets this need by providing new methodological and ICT tools that could help teachers and pupils to plunge deeper into both cultures and languages of another nations via their History and Geography, and opens the way to introduce a European perspective in History and Geography school curricula and classroom activities

Intercultural Education through Religious Studies (IERS): COMENIUS Multilateral project

[EN] Religious and cultural diversity are today more than ever a critical and political challenge as the recent emergencies related to geo-political and economical global transformations clearly show. European countries are concerned by a big immigration flow that demands an educational effort in order to foster the mutual understanding and integration. According to Toledo guiding principles, IERS project meets the needs of an innovative approach in teaching about religions and beliefs at school by providing teachers of humanistic disciplines with new tools that help teachers and pupils to plunge deeper into religions and cultures of non-european countries, as well as raising the knowledge of the religious traditions that contributed to the common European cultural Identity, promoting it in the best way suited for encourage intra -and extra- European cultural dialogue attitudes. The Project aims to support the development of social, civic and intercultural transversal key competences by educating towards a positive understanding of cultural and religious differences, a readiness to engage in dialogue and to avoid or manage conflicts. By encouraging teachers and pupils to expose themselves to the differences and commonalities of religious topics, it promotes also the values of democracy, equality and human rights as it deals with social and civic dimensions of both intercultural and interreligious dialogue. The project will involve high school in-service teachers by developing a complete set of didactical tools and training experiences. The results will be: 1. A baseline study which analyzes the actual situation of teaching about religions throughout Europe; 2. New innovative didactic tools such as Multimedia Digital Modules to be used in classroom activities, accompanied by a Handbook with didactical guidelines for teachers. 3. Teacher support activities (virtual community, training activities, developing of didactical projects to apply in classroom)

Brain metastases from solid tumors: disease outcome according to type of treatment and therapeutic resources of the treating center

<p>Abstract</p> <p>Background</p> <p>To evaluate the therapeutic strategies commonly employed in the clinic for the management of brain metastases (BMs) and to correlate disease outcome with type of treatment and therapeutic resources available at the treating center.</p> <p>Methods</p> <p>Four Cancer centres participated to the survey. Data were collected through a questionnaire filled in by one physician for each centre.</p> <p>Results</p> <p>Clinical data regarding 290 cancer patients with BMs from solid tumors were collected. Median age was 59 and 59% of patients had ≤ 3 brain metastases. A local approach (surgery and stereotactic radiosurgery) was adopted in 31% of patients. The local approach demonstrated to be superior in terms of survival compared to the regional/systemic approach (whole brain radiotherapy and chemotherapy, p = <.0001 for survival at 2 years). In the multivariate analysis local treatment was an independent prognostic factor for survival. When patients were divided into 2 groups whether they were treated in centers where local approaches were available or not (group A vs group B respectively, 58% of patients with ≤ 3 BMs in both cohorts), more patients in group A received local strategies although no difference in time to brain progression at 1 year was observed between the two groups of patients.</p> <p>Conclusions</p> <p>In clinical practice, local strategies should be integrated in the management of brain metastases. Proper selection of patients who are candidate to local treatments is of crucial importance.</p

Central nervous system relapse in patients with breast cancer is associated with advanced stages, with the presence of circulating occult tumor cells and with the HER2/neu status

INTRODUCTION: To evaluate the incidence of central nervous system (CNS) involvement in patients with breast cancer treated with a taxane-based chemotherapy regimen and to determine predictive factors for CNS relapse. METHODS: The medical files of patients with early breast cancer (n = 253) or advanced stage breast cancer (n = 239) as well of those with other solid tumors (n = 336) treated with or without a taxane-based chemotherapy regimen during a 42-month period were reviewed. HER2/neu overexpression was identified by immunohistochemistry, whereas cytokeratin 19 (CK-19) mRNA-positive circulating tumor cells (CTCs) in the peripheral blood were identified by real-time PCR. RESULTS: The incidence of CNS relapse was similar in patients suffering from breast cancer or other solid tumors (10.4% and 11.4%, respectively; P = 0.517). The incidence of CNS relapse was significantly higher in breast cancer patients with advanced disease (P = 0.041), visceral disease and bone disease (P = 0.036), in those who were treated with a taxane-containing regimen (P = 0.024), in those with HER2/neu-overexpressing tumors (P = 0.022) and, finally, in those with detectable CK-19 mRNA-positive CTCs (P = 0.008). Multivariate analysis revealed that the stage of disease (odds ratio, 0.23; 95% confidence interval, 0.007–0.23; P = 0.0001), the HER2/neu status (odds ratio, 29.4; 95% confidence interval, 7.51–101.21; P = 0.0001) and the presence of CK-19 mRNA-positive CTCs (odds ratio, 8.31; 95% confidence interval, 3.97–12.84; P = 0.001) were independent predictive factors for CNS relapse. CONCLUSION: CNS relapses are common among breast cancer patients treated with a taxane-based chemotherapy regimen, patients with HER2/neu-positive tumor and patients with CK-19 mRNA-positive CTCs

Ultraluminous X-ray Sources in the Chandra and XMM-Newton Era

Ultraluminous X-ray sources (ULXs) are accreting black holes that may contain the missing population of intermediate mass black holes or reflect super-Eddington accretion physics. Ten years of Chandra and XMM-Newton observations of ULXs, integrated by multiband studies of their counterparts, have produced a wealth of observational data and phenomenological classifications. We review the properties of their host galaxies, list popular spectral models and implications for standard and supercritical accretion physics, demonstrate how X-ray timing of these objects places constraints on their masses. We also review multiwavelength studies of ULXs, including the optical emission of the binary system and nebulosity around them. We summarize that three classes of black holes could power ULXs: normal stellar mass black holes (~10 solar masses), massive stellar black holes (~< 100 solar masses), and intermediate mass black holes (10^2 - 10^4 solar masses). We collect evidence for the presence of these three types of compact objects, including caveat of each interpretation, and briefly review their formation processes.Comment: Solicited review in New Astronomy Reviews. v2: final version for publication, 21 pages, 5 figures, references added, small revisions made, thanks to many colleagues for useful comment

ES2 as a novel verbascoside-derived compound in the treatment of cutaneous wound healing

Several pathologies are characterized by chronic wounds and often resistant to many of the common therapies, leading to chronic infections that can become even life-threatening for patients. For this reason, the identification of new products able to ameliorate the healing process is still an on-going research. Natural compounds have been used to improve skin conditions due to their dermo-cosmetic and therapeutic activities including anti-inflammatory, antioxidant and cell-migratory properties. Among these compounds, it has been recently demonstrated that Verbascoside, a phenyl propanoid glycoside widely used in the cosmetic field, can improve keratinocytes proliferation. Because of its high hydrophilic character, Verbascoside has a limited range of possible topical applications and the synthesis of ES2, a semi-synthetic derivative of Verbascoside was performed to bypass some of the drawback aspects of this molecule. In the present study, the wound healing properties of Verbascoside and ES2 were compared in both keratinocytes "in vitro" wound scratch and in wounded SKH1 mice. The results showed that both compounds were not cytotoxic and ES2 showed an efficient ability to promote the proliferation of human keratinocytes compared to Verbascoside. The findings were also confirmed in vivo but only at early time points (2/3 days). Taken together, these data suggest that the Verbascoside-derivative ES2 could be considered a novel and promising candidate for the topical treatment of wounds

Circuit based quantification: Back to state set manipulation with unbounded model checking

In this paper a non-canonical circuit-based state set representation is used to efficiently perform quantifier elimination. The novelty of this approach lies in adapting equivalence checking and logic synthesis techniques, to the goal of compacting circuit based state set representations resulting from existential quantification. The method can be efficiently combined with other verification approaches such as inductive and SAT-based pre-image verifications. 1

Backscattered electrons from gold surface films deposited on silicon substrates: a joint experimental and computational investigation to add new potentiality to electron microscopy

This paper addresses the problem of the thickness determination of thin gold overlayers deposited on silicon bulk substrates by looking at the electron backscattering coefficient involved in scanning electron microscopy (SEM). A Monte Carlo code, used to calculate the backscattering coefficient, together with a simple experimental setup, which uses a conventional SEM, allow to determine thin film thickness (in the range 25–200 nm) with an estimated accuracy of 20%. This adds obviously new potentiality to SEM. Copyright © 2012 John Wiley & Sons, Ltd