Using genetic algorithms to generate test sequences for complex timed systems

The generation of test data for state based specifications is a computationally expensive process. This problem is magnified if we consider that time con- straints have to be taken into account to govern the transitions of the studied system. The main goal of this paper is to introduce a complete methodology, sup- ported by tools, that addresses this issue by represent- ing the test data generation problem as an optimisa- tion problem. We use heuristics to generate test cases. In order to assess the suitability of our approach we consider two different case studies: a communication protocol and the scientific application BIPS3D. We give details concerning how the test case generation problem can be presented as a search problem and automated. Genetic algorithms (GAs) and random search are used to generate test data and evaluate the approach. GAs outperform random search and seem to scale well as the problem size increases. It is worth to mention that we use a very simple fitness function that can be eas- ily adapted to be used with other evolutionary search techniques

Effects of external nutrient sources and extreme weather events on the nutrient budget of a Southern European coastal lagoon

The seasonal and annual nitrogen (N), phosphorus (P), and carbon (C) budgets of the mesotidal Ria Formosa lagoon, southern Portugal, were estimated to reveal the main inputs and outputs, the seasonal patterns, and how they may influence the ecological functioning of the system. The effects of extreme weather events such as long-lasting strong winds causing upwelling and strong rainfall were assessed. External nutrient inputs were quantified; ocean exchange was assessed in 24-h sampling campaigns, and final calculations were made using a hydrodynamic model of the lagoon. Rain and stream inputs were the main freshwater sources to the lagoon. However, wastewater treatment plant and groundwater discharges dominated nutrient input, together accounting for 98, 96, and 88 % of total C, N, and P input, respectively. Organic matter and nutrients were continuously exported to the ocean. This pattern was reversed following extreme events, such as strong winds in early summer that caused upwelling and after a period of heavy rainfall in late autumn. A principal component analysis (PCA) revealed that ammonium and organic N and C exchange were positively associated with temperature as opposed to pH and nitrate. These variables reflected mostly the benthic lagoon metabolism, whereas particulate P exchange was correlated to Chl a, indicating that this was more related to phytoplankton dynamics. The increase of stochastic events, as expected in climate change scenarios, may have strong effects on the ecological functioning of coastal lagoons, altering the C and nutrient budgets.Portuguese Science and Technology Foundation (FCT) [POCI/MAR/58427/2004, PPCDT/MAR/58427/2004]; Portuguese Science and Technology Foundation (FCT

Brazilian obstetrician-gynecologists and abortion: a survey of knowledge, opinions and practices

BACKGROUND: Abortion laws are extremely restrictive in Brazil. The knowledge, opinions of abortion laws, and abortion practices of obstetrician-gynecologists can have a significant impact on women's access to safe abortion. METHODS: We conducted a mail-in survey with a 10% random sample of obstetrician-gynecologists affiliated with the Brazilian Federation of Obstetricians and Gynecologists. We documented participants' experiences performing abortion under a range of legal and illegal circumstances, and asked about which abortion techniques they had experience with. We used chi-square tests and crude logistic regression models to determine which sociodemographic, knowledge-related, or practice-related variables were associated with physician opinion. RESULTS: Of the 1,500 questionnaires that we mailed out, we received responses from 572 (38%). Less than half (48%) of the respondents reported accurate knowledge about abortion law and 77% thought that the law should be more liberal. One-third of respondents reported having previous experience performing an abortion, and very few of these physicians reported having experience with manual vacuum aspiration (MVA) or with misoprostol with either mifepristone or methotrexate. Physicians that favored liberalization of the law were more likely to have correct knowledge about abortion law, and to be in favor of public funding for abortion services. CONCLUSION: Brazilian obstetrician-gynecologists need more information on abortion laws and on safe, effective abortion procedures

Design strategies to improve patient motivation during robot-aided rehabilitation

BACKGROUND: Motivation is an important factor in rehabilitation and frequently used as a determinant of rehabilitation outcome. Several factors can influence patient motivation and so improve exercise adherence. This paper presents the design of two robot devices for use in the rehabilitation of upper limb movements, that can motivate patients during the execution of the assigned motor tasks by enhancing the gaming aspects of rehabilitation. In addition, a regular review of the obtained performance can reinforce in patients' minds the importance of exercising and encourage them to continue, so improving their motivation and consequently adherence to the program. In view of this, we also developed an evaluation metric that could characterize the rate of improvement and quantify the changes in the obtained performance. METHODS: Two groups (G1, n = 8 and G2, n = 12) of patients with chronic stroke were enrolled in a 3-week rehabilitation program including standard physical therapy (45 min. daily) plus treatment by means of robot devices (40 min., twice daily) respectively for wrist (G1) and elbow-shoulder movements (G2). Both groups were evaluated by means of standard clinical assessment scales and the new robot measured evaluation metric. Patients' motivation was assessed in 9/12 G2 patients by means of the Intrinsic Motivation Inventory (IMI) questionnaire. RESULTS: Both groups reduced their motor deficit and showed a significant improvement in clinical scales and the robot measured parameters. The IMI assessed in G2 patients showed high scores for interest, usefulness and importance subscales and low values for tension and pain subscales. CONCLUSION: Thanks to the design features of the two robot devices the therapist could easily adapt training to the individual by selecting different difficulty levels of the motor task tailored to each patient's disability. The gaming aspects incorporated in the two rehabilitation robots helped maintain patients' interest high during execution of the assigned tasks by providing feedback on performance. The evaluation metric gave a precise measure of patients' performance and thus provides a tool to help therapists promote patient motivation and hence adherence to the training program

Monitoring Adherence to Asthma Inhalers Using the InspirerMundi App: Analysis of Real-World, Medium-Term Feasibility Studies

Background: Poor medication adherence is a major challenge in asthma and objective assessment of inhaler adherence is needed. InspirerMundi app aims to monitor inhaler adherence while turning it into a positive experience through gamification and social support. Objective: We assessed the medium-term feasibility of the InspirerMundi app to monitor inhaler adherence in real-world patients with persistent asthma (treated with daily inhaled medication). In addition, we attempted to identify the characteristics of the patients related to higher app use. Methods: Two real-world multicenter observational studies, with one initial face-to-face visit and a 4-month telephone interview, were conducted in 29 secondary care centers from Portugal. During an initial face-to-face visit, patients were invited to use the app daily to register their asthma medication intakes. A scheduled intake was considered taken when patients took a photo of the medication (inhaler, blister, or others) using the image-based medication detection tool. Medication adherence was calculated as the number of doses taken as a percentage of the number scheduled. Interacting with the app ≥30 days was used as the cut-off for higher app use. Results: A total of 114 patients {median 20 [percentile 25 to percentile 75 (P25-P75) 16-36] years, 62% adults} were invited, 107 (94%) installed the app and 83 (73%) completed the 4-month interview. Patients interacted with the app for a median of 18 [3-45] days, translated on a median use rate of 15 [3-38]%. Median inhaler adherence assessed through the app was 34 [4-73]% when considering all scheduled inhalations for the study period. Inhaler adherence assessed was not significantly correlated with self-reported estimates. Median adherence for oral and other medication was 41 [6-83]% and 43 [3-73]%, respectively. Patients with higher app use were slightly older (p = 0.012), more frequently taking medication for other health conditions (p = 0.040), and more frequently prescribed long-acting muscarinic antagonists (LAMA, p = 0.024). After 4 months, Control of Allergic Rhinitis and Asthma Test (CARAT) scores improved (p < 0.001), but no differences between patients interacting with the app for 30 days or less were seen. Conclusions: The InspirerMundi app was feasible to monitor inhaler adherence in patients with persistent asthma. The persistent use of this mHealth technology varies widely. A better understanding of characteristics related to higher app use is still needed before effectiveness studies are undertaken.info:eu-repo/semantics/publishedVersio

Probabilistic fire spread forecast as a management tool in an operational setting

Background: An approach to predict fire growth in an operational setting, with the potential to be used as a decision-support tool for fire management, is described and evaluated. The operational use of fire behaviour models has mostly followed a deterministic approach, however, the uncertainty associated with model predictions needs to be quantified and included in wildfire planning and decision-making process during fire suppression activities. We use FARSITE to simulate the growth of a large wildfire. Probabilistic simulations of fire spread are performed, accounting for the uncertainty of some model inputs and parameters. Deterministic simulations were performed for comparison. We also assess the degree to which fire spread modelling and satellite active fire data can be combined, to forecast fire spread during large wildfires events. Results: Uncertainty was propagated through the FARSITE fire spread modelling system by randomly defining 100 different combinations of the independent input variables and parameters, and running the correspondent fire spread simulations in order to produce fire spread probability maps. Simulations were initialized with the reported ignition location and with satellite active fires. The probabilistic fire spread predictions show great potential to be used as a fire management tool in an operational setting, providing valuable information regarding the spatial–temporal distribution of burn probabilities. The advantage of probabilistic over deterministic simulations is clear when both are compared. Re-initializing simulations with satellite active fires did not improve simulations as expected. Conclusion: This information can be useful to anticipate the growth of wildfires through the landscape with an associated probability of occurrence. The additional information regarding when, where and with what probability the fire might be in the next few hours can ultimately help minimize the negative environmental, social and economic impacts of these firesinfo:eu-repo/semantics/publishedVersio

Quality of life of caregivers for patients of cerebrovascular accidents: association of (socio-demographic) characteristics and burden

OBJECTIVE Investigating the association between quality of life with socio-demographic characteristics and the burden of caregivers for individuals with cerebrovascular accident sequelae. METHOD A descriptive, cross-sectional study with a sample composed of 136 caregivers. For data collection, a semi-structured questionnaire, the Barthel, Burden Interview and Short-Form-36 scales were used. Correlation analysis, t-Student test and F-test were used for the analysis in order to compare averages. RESULTS Significant averages in quality of life were demonstrated in association with female caregivers and those over 60 years in the field 'functional capacity,' and in the domains of 'mental health' and 'vitality' for those with higher income. Regarding burden association, the highlighted areas were 'functional capacity,' 'physical aspects,' 'emotional aspects' and 'pain.' CONCLUSION The creation of public policies and social support to effectively reduce the burden on caregivers is a necessity

Observation of associated near-side and away-side long-range correlations in √sNN=5.02 TeV proton-lead collisions with the ATLAS detector

Two-particle correlations in relative azimuthal angle (Δϕ) and pseudorapidity (Δη) are measured in √sNN=5.02  TeV p+Pb collisions using the ATLAS detector at the LHC. The measurements are performed using approximately 1  μb-1 of data as a function of transverse momentum (pT) and the transverse energy (ΣETPb) summed over 3.1<η<4.9 in the direction of the Pb beam. The correlation function, constructed from charged particles, exhibits a long-range (2<|Δη|<5) “near-side” (Δϕ∼0) correlation that grows rapidly with increasing ΣETPb. A long-range “away-side” (Δϕ∼π) correlation, obtained by subtracting the expected contributions from recoiling dijets and other sources estimated using events with small ΣETPb, is found to match the near-side correlation in magnitude, shape (in Δη and Δϕ) and ΣETPb dependence. The resultant Δϕ correlation is approximately symmetric about π/2, and is consistent with a dominant cos⁡2Δϕ modulation for all ΣETPb ranges and particle pT

Search for the neutral Higgs bosons of the minimal supersymmetric standard model in pp collisions at root s=7 TeV with the ATLAS detector

A search for neutral Higgs bosons of the Minimal Supersymmetric Standard Model (MSSM) is reported. The analysis is based on a sample of proton-proton collisions at a centre-of-mass energy of 7TeV recorded with the ATLAS detector at the Large Hadron Collider. The data were recorded in 2011 and correspond to an integrated luminosity of 4.7 fb-1 to 4.8 fb-1. Higgs boson decays into oppositely-charged muon or τ lepton pairs are considered for final states requiring either the presence or absence of b-jets. No statistically significant excess over the expected background is observed and exclusion limits at the 95% confidence level are derived. The exclusion limits are for the production cross-section of a generic neutral Higgs boson, φ, as a function of the Higgs boson mass and for h/A/H production in the MSSM as a function of the parameters mA and tan β in the mhmax scenario for mA in the range of 90GeV to 500 GeV. Copyright CERN

Jet energy measurement with the ATLAS detector in proton-proton collisions at root s=7 TeV

The jet energy scale and its systematic uncertainty are determined for jets measured with the ATLAS detector at the LHC in proton-proton collision data at a centre-of-mass energy of √s = 7TeV corresponding to an integrated luminosity of 38 pb-1. Jets are reconstructed with the anti-kt algorithm with distance parameters R=0. 4 or R=0. 6. Jet energy and angle corrections are determined from Monte Carlo simulations to calibrate jets with transverse momenta pT≥20 GeV and pseudorapidities {pipe}η{pipe}<4. 5. The jet energy systematic uncertainty is estimated using the single isolated hadron response measured in situ and in test-beams, exploiting the transverse momentum balance between central and forward jets in events with dijet topologies and studying systematic variations in Monte Carlo simulations. The jet energy uncertainty is less than 2. 5 % in the central calorimeter region ({pipe}η{pipe}<0. 8) for jets with 60≤pT<800 GeV, and is maximally 14 % for pT<30 GeV in the most forward region 3. 2≤{pipe}η{pipe}<4. 5. The jet energy is validated for jet transverse momenta up to 1 TeV to the level of a few percent using several in situ techniques by comparing a well-known reference such as the recoiling photon pT, the sum of the transverse momenta of tracks associated to the jet, or a system of low-pT jets recoiling against a high-pT jet. More sophisticated jet calibration schemes are presented based on calorimeter cell energy density weighting or hadronic properties of jets, aiming for an improved jet energy resolution and a reduced flavour dependence of the jet response. The systematic uncertainty of the jet energy determined from a combination of in situ techniques is consistent with the one derived from single hadron response measurements over a wide kinematic range. The nominal corrections and uncertainties are derived for isolated jets in an inclusive sample of high-pT jets. Special cases such as event topologies with close-by jets, or selections of samples with an enhanced content of jets originating from light quarks, heavy quarks or gluons are also discussed and the corresponding uncertainties are determined. © 2013 CERN for the benefit of the ATLAS collaboration