New results on pushdown module checking with imperfect information

Model checking of open pushdown systems (OPD) w.r.t. standard branching temporal logics (pushdown module checking or PMC) has been recently investigated in the literature, both in the context of environments with perfect and imperfect information about the system (in the last case, the environment has only a partial view of the system's control states and stack content). For standard CTL, PMC with imperfect information is known to be undecidable. If the stack content is assumed to be visible, then the problem is decidable and 2EXPTIME-complete (matching the complexity of PMC with perfect information against CTL). The decidability status of PMC with imperfect information against CTL restricted to the case where the depth of the stack content is visible is open. In this paper, we show that with this restriction, PMC with imperfect information against CTL remains undecidable. On the other hand, we individuate an interesting subclass of OPDS with visible stack content depth such that PMC with imperfect information against the existential fragment of CTL is decidable and in 2EXPTIME. Moreover, we show that the program complexity of PMC with imperfect information and visible stack content against CTL is 2EXPTIME-complete (hence, exponentially harder than the program complexity of PMC with perfect information, which is known to be EXPTIME-complete).Comment: In Proceedings GandALF 2011, arXiv:1106.081

Harbour water managment for port structures and sea bottom design, coast proximity navigation managment, water quality control.

Tide is a sea level up-down water motion basically depending on three different phenomena: the Earth-Moon-Sun gravitational relationship, the water surface fluid reaction to atmospheric meteorological dynamic action and the Newtonian vertical adjustment of the sea surface due to atmospheric pressure variations. The first tide component (astro-tide) is periodic and well known in all points of the Earth surface; the second one is directly related to the meteorological phenomenon and then it is foreseeable; the Newtonian component, on the contrary, is not readily predictable by a general hydrostatic law, because the factor “J” that represents the Newtonian transfer (from the atmospheric weight to the consequent sea level) is variable in each harbour area. A statistical study and the related numerical data interpretation of the measurements performed in the Ports of Genoa, La Spezia, Marina di Carrara, Livorno, Piombino, Civitavecchia and Ravenna (belonging to the Italian Newtonian Meteotide Network) show port values of Jph (from 1.4-1.6 cm/hPa to > 2 cm/hPa, on the contrary of the off-shore areas where Jph is about 1 cm/hPa). This phenomenon (hydrobarometric tide wave) produces even double values of harbour sea level fluctuations amplitude in comparison to astronomic tide sea level oscillations, and is characterized by a wavelength from 8-12 h to same days and a 10-25 days/year as mean temporal occurrence in the Northern Tyrrhenian Sea. This is the most relevant ordinary risk factor for our ports activity and structures design. The present note shows a quantitative method to define the values of Jph factor for ports and its use in the Harbour WaterSide Management (HWSM) based on the joined use of barometers, hydrometers and clocks, the preliminary results related to the use of the gravimeters as hydrobarometric predictor in La Spezia Port and two examples of use of Jph factor in the port management: refloating of a landing ship and optimisation of a dock performance as pleasure boats mooring

Chemical screen identifies FDA-approved drugs and target pathways that induce precocious pancreatic endocrine differentiation

Pancreatic β-cells are an essential source of insulin and their destruction because of autoimmunity causes type I diabetes. We conducted a chemical screen to identify compounds that would induce the differentiation of insulin-producing β-cells in vivo. To do this screen, we brought together the use of transgenic zebrafish as a model of β-cell differentiation, a unique multiwell plate that allows easy visualization of lateral views of swimming larval fish and a library of clinical drugs. We identified six hits that can induce precocious differentiation of secondary islets in larval zebrafish. Three of these six hits were known drugs with a considerable background of published data on mechanism of action. Using pharmacological approaches, we have identified and characterized two unique pathways in β-cell differentiation in the zebrafish, including down-regulation of GTP production and retinoic acid biosynthesis

Chemical characterization and quantification of titanium dioxide nanoparticles (Tio2-nps) in seafood by single-particle icp-ms: Assessment of dietary exposure

The significant increase in the production and variety of nanoparticles (NPs) has led to their release into the environment, especially into the marine environment. Titanium dioxide nanoparticles (TiO2-NPs) are used in different industrial sectors, from the food industry to several consumer and household products. Since the aquatic environment is highly sensitive to contamination by TiO2-NPs, this work aimed to give a preliminary assessment of the contamination of packaged seafood, where the food additive TiO2 (E171) is not to be intentionally added. This allowed providing a chemical characterization and quantification of TiO2-NPs in processed canned fish products belonging to different trophic positions of the pelagic compartment and in canned clam. The new emerging technique called single-particle inductively coupled plasma mass spectrometry (spICP-MS) was applied, which allows the determination of nanoparticle number-based concentration, as well as the dissolved titanium. This study highlights how processed food, where the pigment E171 was not intentionally added, contains TiO2 in its nanoparticle form, as well as dissolved titanium. Processed clam represented the seafood with the highest content of TiO2-NPs. In pelagic fish species, we found progressively higher levels and smaller sizes of TiO2-NPs from smaller to larger fish. Our results highlight the importance of planning the characterization and quantification of TiO2-NPs in food both processed and not, as well as where the pigment E171 is intentionally added and not, as it is not the only source of TiO2-NPs. This result represents a solid step toward being able to estimate the real level of dietary exposure to TiO2-NPs for the general population and the related health risks

RHINASTHMA-Adolescents: a new quality of life tool for patients with respiratory allergy

Background: Specific instruments for health-related quality of life (HRQoL) assessment in adolescents with rhinoconjunctivitis or asthma are available. None of them evaluates rhinitis and asthma together, although they often coexist. Our aim was to validate a HRQoL questionnaire for adolescents with rhinoconjunctivitis, asthma, or both. Methods: A pool of 38 items covering the main symptoms and problems related to respiratory allergy was generated based on literature review, clinical experience, and unstructured interviews to 54 adolescents. The items were randomly listed and presented to 88 consecutive outpatients (44 M; mean age 15.2 3.1). Patients had to indicate which item they had experienced and, for each selected item, its importance on a four-point scale (1 = not at all; 4 = very much). Twelve items were excluded from the list, because of low importance. In the validation phase, 102 patients (54 M; mean age 15.36 1.12) completed the KINDL, a generic HRQoL tool, and the new questionnaire (RHINASTHMA-Adolescents). Results: Factor analysis revealed a five-dimensional structure, which explained up to 71.23% of the total variance. Association between RHINASTHMA-Adolescents and KINDL scores was all in the expected direction. Internal consistency for the extracted factors was satisfactory: Upper Airways (0.81), Lower Airways (0.89), Emotions (0.85), Social Relationship (0.79), Daily life management (0.74). Reliability was good for all factors with a Pearson coefficient ranged from 0.91 to 0.99. Conclusions: RHINASTHMA-Adolescents is the first tool for evaluating HRQoL in patients with rhinitis and/or asthma. It provides a simple assessment and met the standards of validity, internal consistency, and reliability

Feasibility and potential efficacy of commercial mHealth/eHealth tools for weight loss in African American breast cancer survivors: pilot randomized controlled trial

Weight management after breast cancer (BC) treatment in African American (AA) women is crucial to reduce comorbid conditions and health disparities. We examined feasibility and potential efficacy of commercial eHealth/mHealth tools for weight management in AA BC survivors in New Jersey. Participants (N = 35) were randomized to an intervention (SparkPeople) plus activity tracker, Fitbit Charge (n = 18), or wait-list active control group (Fitbit only, n = 17). Anthropometric, behavioral, and quality of life (QOL) outcomes were collected at baseline, 3, 6, and 12 months. Differences in outcomes were assessed using intent-to-treat analysis. Retention was 97.1%. Both groups lost weight, with no significant differences between groups. At month 6, mean weight change was: intervention: -1.71 kg (SD 2.33; p = .006), 33.3% lost ≥3% of baseline weight; control: -2.54 kg (SD 4.00, p = .002), 23.5% lost ≥3% weight. Intervention participants achieved significant improvements in waist circumference (-3.56 cm, SD 4.70, p = .005), QOL (p = .030), and use of strategies for healthy eating (p = .025) and decreasing calories (p \u3c .001). Number of days logged food per week was associated with decreases in waist circumference at 6 months (β -0.79, 95% CI, -1.49, -0.09, p = .030) and 12 months (β -2.16, 95% CI, -4.17, -0.15, p = .038). Weight loss was maintained at 12 months. This is the first study to demonstrate potential efficacy of commercial eHealth/mHealth tools for weight loss in AA BC survivors, without additional counseling from the research team. If effective, they may be convenient weight loss tools that can be easily and widely disseminated. Clinical Trials registration: ClinicalTrials.gov NCT02699983

Theory of x-ray absorption by laser-dressed atoms

An ab initio theory is devised for the x-ray photoabsorption cross section of atoms in the field of a moderately intense optical laser (800nm, 10^13 W/cm^2). The laser dresses the core-excited atomic states, which introduces a dependence of the cross section on the angle between the polarization vectors of the two linearly polarized radiation sources. We use the Hartree-Fock-Slater approximation to describe the atomic many-particle problem in conjunction with a nonrelativistic quantum-electrodynamic approach to treat the photon-electron interaction. The continuum wave functions of ejected electrons are treated with a complex absorbing potential that is derived from smooth exterior complex scaling. The solution to the two-color (x-ray plus laser) problem is discussed in terms of a direct diagonalization of the complex symmetric matrix representation of the Hamiltonian. Alternative treatments with time-independent and time-dependent non-Hermitian perturbation theories are presented that exploit the weak interaction strength between x rays and atoms. We apply the theory to study the photoabsorption cross section of krypton atoms near the K edge. A pronounced modification of the cross section is found in the presence of the optical laser.Comment: 13 pages, 3 figures, 1 table, RevTeX4, corrected typoe

A telerehabilitation approach to chronic facial paralysis in the COVID-19 pandemic scenario: what role for electromyography assessment?

There is a lack of data on patient and diagnostic factors for prognostication of complete recovery in patients with peripheral facial palsy. Thus, the aim of this study was to evaluate the role of a telerehabilitave enhancement through the description of a case report with the use of short-wave diathermy and neuromuscular electrical stimulation combined to facial proprioceptive neuromuscular facilitation (PNF) rehabilitation in unrecovered facial palsy, in a COVID-19 pandemic scenario describing a paradigmatic telerehabilitation report. A 43-year-old woman underwent a facial rehabilitation plan consisting of a synergistic treatment with facial PNF rehabilitation, short-wave diathermy, and neuromuscular electrical stimulation (12 sessions lasting 45 min, three sessions/week for 4 weeks). Concerning the surface electromyography evaluation of frontal and orbicularis oris muscles, the calculated ratio between amplitude of the palsy side and normal side showed an improvement in terms of movement symmetry. At the end of the outpatient treatment, a daily telere-habilitation protocol with video and teleconsultation was provided, showing a further improvement in the functioning of a woman suffering from unresolved facial paralysis. Therefore, an adequate telerehabilitation follow-up seems to play a fundamental role in the management of patients with facial palsy

Safety and effectiveness of monochloramine treatment for disinfecting hospital water networks

The formation of potentially carcinogenic N-nitrosamines, associated with monochloramine, requires further research due to the growing interest in using this biocide for the secondary disinfection of water in public and private buildings. The aim of our study was to evaluate the possible formation of N-nitrosamines and other toxic disinfection by-products (DBPs) in hospital hot water networks treated with monochloramine. The effectiveness of this biocide in controlling Legionella spp. contamination was also verified. For this purpose, four different monochloramine-treated networks, in terms of the duration of treatment and method of biocide injection, were investigated. Untreated hot water, municipal cold water and, limited to N-nitrosamines analysis, hot water treated with chlorine dioxide were analyzed for comparison. Legionella spp. contamination was successfully controlled without any formation of N-nitrosamines. No nitrification or formation of the regulated DBPs, such as chlorites and trihalomethanes, occurred in monochloramine-treated water networks. However, a stable formulation of hypochlorite, its frequent replacement with a fresh product, and the routine monitoring of free ammonia are recommended to ensure a proper disinfection. Our study confirms that monochloramine may be proposed as an effective and safe strategy for the continuous disinfection of building plumbing systems, preventing vulnerable individuals from being exposed to legionellae and dangerous DBPs

Gains and losses in ecosystem services and disservices after converting native forest to agricultural land on an oceanic island

Habitat conversion to agricultural land is one of the main threats to terrestrial biodiversity and can affect ecosystem processes and cause changes in ecosystem services (ESs) and disservices (EDs). Yet, studies often rely only on the abundance and diversity of the service providers; the effects on ecological processes of habitat conversion are rarely directly monitored. In this study, we used the sentinel approach to evaluate how habitat conversion from native forest to agricultural land affected ESs and EDs on an oceanic island. We quantified herbivory on lettuce plants, invertebrate and vertebrate predation rates on artificial caterpillars, pollination on strawberry plants, seed predation on wheat and mustard seeds, and leaf decomposition rates in native forests, maize fields and pastures on Terceira Island, Azores (Portugal). Herbivory, invertebrate predation rates, and pollination service were not significantly different between habitats. Vertebrate predation rates in native forests (mean 6.1% d⁻¹) were significantly higher than that in pastures (0.3% d⁻¹), or high-elevation maize fields (0.5% d⁻¹), and marginally higher than in low-elevation maize fields (2.2% d⁻¹). Overall seed predation after 48 h was significantly higher on wheat (mean 16.8%) than mustard seeds (5.6%). High-elevation maize fields also had higher seed predation (27.8%) than low-elevation ones (0.6%) or pastures (3.6%), but did not differ from the native forest (12.9%). Decomposition after 90 days was highest in pastures (78.4% and 45.9%, for tea and rooibos, respectively); although no significant differences between habitats were detected, except for low-elevation maize fields (64.4% and 33.6%). Conversion from native forest to cultivated land did not cause a clear decrease in the intensity of the studied ESs/EDs except for vertebrate predation. Using direct monitoring tools to simultaneously and consistently quantify multiple ecological processes is not only possible but needed, as ecological processes can respond differently to landscape changes.This work was financed by FEDER (European Regional Development Fund) in 85% and by Azorean public funds by 15% through Operational Program Azores 2020, under the project AGRO-ECOSERVICES (ACORES01-0145-FEDER-000073).info:eu-repo/semantics/publishedVersio