Feature Nets: behavioural modelling of software product lines

Software product lines (SPL) are diverse systems that are developed using a dual engineering process: (a)family engineering defines the commonality and variability among all members of the SPL, and (b) application engineering derives specific products based on the common foundation combined with a variable selection of features. The number of derivable products in an SPL can thus be exponential in the number of features. This inherent complexity poses two main challenges when it comes to modelling: Firstly, the formalism used for modelling SPLs needs to be modular and scalable. Secondly, it should ensure that all products behave correctly by providing the ability to analyse and verify complex models efficiently. In this paper we propose to integrate an established modelling formalism (Petri nets) with the domain of software product line engineering. To this end we extend Petri nets to Feature Nets. While Petri nets provide a framework for formally modelling and verifying single software systems, Feature Nets offer the same sort of benefits for software product lines. We show how SPLs can be modelled in an incremental, modular fashion using Feature Nets, provide a Feature Nets variant that supports modelling dynamic SPLs, and propose an analysis method for SPL modelled as Feature Nets. By facilitating the construction of a single model that includes the various behaviours exhibited by the products in an SPL, we make a significant step towards efficient and practical quality assurance methods for software product lines.

Variabilidad paleoambiental desde el Último Máximo Glacial en la región Centro-Sur de Argentina: Paleocirculación atmosférica, variabilidad hidroclimática y dimensión humana. Palaeoenvironmental variability from the Last Glacial Maximum in the Central-Southern region of Argentina: Atmospheric Palaeocirculation, Hydroclimatic Variability and Human Dimension.

El proyecto tiene como propósito caracterizar la variabilidad de la paleocirculación atmosférica en las latitudes medias de Sudamérica, su efecto sobre la fluctuación hidroclimática regional y la vulnerabilidad humana frente a los cambios ocurridos desde el Ultimo Máximo Glacial/Holoceno. El enfoque inter y multidisciplinaro aquí planteado para analizar la varibiliad hidroclimática pasada, sus causas y consecuencias, es inédito para esta región del país. El mismo contempla: a) análisis de archivos climáticos sedimentarios con una aproximación de multi-indicadores (sedimentología, geoquímica, isótopos estables y radiogénicos, mineralogía, ostrácodos y moluscos); b) determinación de la dinámica actual y pasada del polvo atmosférico (PA) combinando mediciones in situ y en registros sedimentarios y c) análisis de restos óseos humanos y malacológicos en sitios arqueológicos.Se contempla: a) Efectuar análisis de multi-indicadores de registros climáticos naturales almacenados en sistemas lacustres de la región Pampeana (S. Ambargasta, Mar Chiquita, Pocho, Melincué, Lagunas Encadenadas del Oeste de Buenos Aires) y en secuencias loessicas para inferir la variabilidad de la circulación atmosférica desde el UMG; b) Ampliar la resolución temporal de las reconstrucciones climáticas para ventanas de tiempo seleccionadas; c) Analizar la señal geoquímica del registro sedimentario de fases climáticas contrastantes; d) Identificar la variabilidad temporal de la procedencia y de los procesos actuantes mediante análisis mineralógicos y geoquímicos; e) Analizar el ambiente actual para calibrar indicadores ambientales o proxies (isótopos, flujo de sedimentos, geoquímica, moluscos y ostrácodos) con el escenario climático contemporáneo; f) Analizar en conjunto los archivos climáticos para inferir patrones de paleocirculación atmosférica regional y g) Dilucidar estrategias adaptativas y la historia biológica de poblaciones humanas en la región central de Argentina durante fases climáticas diversas.Este proyecto aborda uno de los aspectos menos conocidos de las reconstrucciones paleoambientales, que está relacionado con rol del material eólico derivado del Hemisferio Sur y el impacto que genera sobre el ciclo regional del Carbono. A pesar que el sur de Sudamérica es una de las áreas claves para entender este aspecto, no se conoce de forma acabada la incidencia de los cambios ambientales sobre el flujo de PA o el efecto de futuros cambios climáticos y/o uso de la tierra.La actividad planteada tiene implicancias directas sobre múltiples disciplinas como las ciencias atmosféricas, geoquímica, sedimentología, paleoclimatologia y bioarqueología. Nuestros resultados permitirán mejorar el entendimiento del cambio climático regional, la dinámica del polvo y su rol como forzante del sistema climático, la variabilidad hidrológica presente y pasada y la respuesta por parte de las poblaciones humanas. Profundizar el estudio de los cambios paleoclimáticos y bioarqueológicos en la región permitirá analizar la variabilidad hidroclimática y determinar su relación con las situaciones de crisis y vulnerabilidad del pobamiento humano. Asimismo, la inferencia de cambios para períodos con mínima o sin influencia humana es una herramienta clave para mejorar el conocimiento de las fluctuaciones climáticas del área extratropical Sudamericana. Estos resultados permitirán analizar no sólo los mecanismos operados en el sistema climático pasado sino también aquellos factores que explicarían el gran cambio hidroclimático registrado desde 1970 cuyos efectos han impactado claramente sobre las actividades socio-económicos en la región central Argentina.

Intraobserver and interobserver variability of ascending aorta diameter measurements as assessed by ECG-gated MDCT : automatic versus manual measurements : P15

Purpose: Revolutionary endovascular treatments are on the verge of being available for management of ascending aortic diseases. Morphometric measurements of the ascending aorta have already been done with ECG-gated MDCT to help such therapeutic development. However the reliability of these measurements remains unknown. The objective of this work was to compare the intraobserver and interobserver variability of CAD (computer aided diagnosis) versus manual measurements in the ascending aorta. Methods and materials: Twenty-six consecutive patients referred for ECG-gated CT thoracic angiography (64-row CT scanner) were evaluated. Measurements of the maximum and minimum ascending aorta diameters at mid-distance between the brachiocephalic artery and the aortic valve were obtained automatically with a commercially available CAD and manually by two observers separately. Both observers repeated the measurements during a different session at least one month after the first measurements. Intraclass coefficients as well the Bland and Altman method were used for comparison between measurements. Two-paired t-test was used to determine the significance of intraobserver and interobserver differences (alpha = 0.05). Results: There is a significant difference between CAD and manual measurements in the maximum diameter (p = 0.004) for the first observer, whereas the difference was significant for minimum diameter between the second observer and the CAD (p <0.001). Interobserver variability showed a weak agreement when measurements were done manually. Intraobserver variability was lower with the CAD compared to the manual measurements (limits of variability: from -0.7 to 0.9 mm for the former and from -1.2 to 1.3 mm for the latter). Conclusion: In order to improve reproductibility of measurements whenever needed, pre- and post-therapeutic management of the ascending aorta may benefit from follow-up done by a unique observer with the help of CAD.

Population pharmacokinetic modelling and evaluation of different dosage regimens for darunavir and ritonavir in HIV-infected individuals.

OBJECTIVES: Darunavir is a protease inhibitor that is administered with low-dose ritonavir to enhance its bioavailability. It is prescribed at standard dosage regimens of 600/100 mg twice daily in treatment-experienced patients and 800/100 mg once daily in naive patients. A population pharmacokinetic approach was used to characterize the pharmacokinetics of both drugs and their interaction in a cohort of unselected patients and to compare darunavir exposure expected under alternative dosage regimens. METHODS: The study population included 105 HIV-infected individuals who provided darunavir and ritonavir plasma concentrations. Firstly, a population pharmacokinetic analysis for darunavir and ritonavir was conducted, with inclusion of patients' demographic, clinical and genetic characteristics as potential covariates (NONMEM(®)). Then, the interaction between darunavir and ritonavir was studied while incorporating levels of both drugs into different inhibitory models. Finally, model-based simulations were performed to compare trough concentrations (Cmin) between the recommended dosage regimen and alternative combinations of darunavir and ritonavir. RESULTS: A one-compartment model with first-order absorption adequately characterized darunavir and ritonavir pharmacokinetics. The between-subject variability in both compounds was important [coefficient of variation (CV%) 34% and 47% for darunavir and ritonavir clearance, respectively]. Lopinavir and ritonavir exposure (AUC) affected darunavir clearance, while body weight and darunavir AUC influenced ritonavir elimination. None of the tested genetic variants showed any influence on darunavir or ritonavir pharmacokinetics. The simulations predicted darunavir Cmin much higher than the IC50 thresholds for wild-type and protease inhibitor-resistant HIV-1 strains (55 and 550 ng/mL, respectively) under standard dosing in >98% of experienced and naive patients. Alternative regimens of darunavir/ritonavir 1200/100 or 1200/200 mg once daily also had predicted adequate Cmin (>550 ng/mL) in 84% and 93% of patients, respectively. Reduction of darunavir/ritonavir dosage to 600/50 mg twice daily led to a 23% reduction in average Cmin, still with only 3.8% of patients having concentrations below the IC50 for resistant strains. CONCLUSIONS: The important variability in darunavir and ritonavir pharmacokinetics is poorly explained by clinical covariates and genetic influences. In experienced patients, treatment simplification strategies guided by drug level measurements and adherence monitoring could be proposed.

Multilocus sequence analysis reveals the genetic diversity of European fruit tree phytoplasmas and supports the existence of inter-species recombination

The genetic diversity of three temperate fruit tree phytoplasmas ‘Candidatus Phytoplasma prunorum’, ‘Ca. P. mali’ and ‘Ca. P. pyri’ has been established by multilocus sequence analysis. Among the four genetic loci used, the genes imp and aceF distinguished 30 and 24 genotypes, respectively, and showed the highest variability. Percentage of substitution for imp ranged from 50 to 68% according to species. Percentage of substitution varied between 9 and 12% for aceF, whereas it was between 5 and 6% for pnp and secY. In the case of ‘Ca P. prunorum’ the three most prevalent aceF genotypes were detected in both plants and insect vectors, confirming that the prevalent isolates are propagated by insects. The four isolates known to be hypo-virulent had the same aceF sequence, indicating a possible monophyletic origin. Haplotype network reconstructed by eBURST revealed that among the 34 haplotypes of ‘Ca. P. prunorum’, the four hypo-virulent isolates also grouped together in the same clade. Genotyping of some Spanish and Azerbaijanese ‘Ca. P. pyri’ isolates showed that they shared some alleles with ‘Ca. P. prunorum’, supporting for the first time to our knowledge, the existence of inter-species recombination between these two species.

Variability and genetic differentiation among Anopheles (Ano.) intermedius Chagas, 1908 and Anopheles (Ano.) mattogrossensis Lutz & Neiva, 1911 (Diptera: Culicidae) from the Brazilian Amazon

Anopheles (Anopheles) intermedius and Anopheles (Ano.) mattogrossensis are Brazilian anopheline species belonging to the scarcely studied Anopheles subgenus. Few studies have been done on the genetic differentiation of these species. Both species have been found infected by Plasmodium and are sympatric with other anopheline species from the Nyssorhynchus subgenus. Eighteen enzymatic loci were analyzed in larval specimens of An. intermedius and An. mattogrossensis aiming to estimate the variability and genetic differentiation between these species. An. mattogrossensis population showed higher genetic variability (P = 44.4 and Ho = 0.081 ± 0.031) than that of An. intermedius (P = 33.3 and Ho = 0.048 ± 0.021). Most analyzed loci showed genotypic frequencies according to Hardy-Weinberg equilibrium, except for LAP1 and LAP2 in An. intermedius, and EST1 and PGM loci in An. mattogrossensis. The genetic distance between these species (D = 0.683) was consistent with the inter-specific values reported for Anopheles subgenus. We verified that the polymorphism and heterozygosity percentile values found in both species and compared to those in the literature, showed no relation between the level of isozyme variability and geographical distribution. The low variability found in these two species is probably more related to the niche they occupy than to their geographic distribution.

Debris flow hazard modelling on medium scale: Valtellina di Tirano, Italy

Debris flow hazard modelling at medium (regional) scale has been subject of various studies in recent years. In this study, hazard zonation was carried out, incorporating information about debris flow initiation probability (spatial and temporal), and the delimitation of the potential runout areas. Debris flow hazard zonation was carried out in the area of the Consortium of Mountain Municipalities of Valtellina di Tirano (Central Alps, Italy). The complexity of the phenomenon, the scale of the study, the variability of local conditioning factors, and the lacking data limited the use of process-based models for the runout zone delimitation. Firstly, a map of hazard initiation probabilities was prepared for the study area, based on the available susceptibility zoning information, and the analysis of two sets of aerial photographs for the temporal probability estimation. Afterwards, the hazard initiation map was used as one of the inputs for an empirical GIS-based model (Flow-R), developed at the University of Lausanne (Switzerland). An estimation of the debris flow magnitude was neglected as the main aim of the analysis was to prepare a debris flow hazard map at medium scale. A digital elevation model, with a 10 m resolution, was used together with landuse, geology and debris flow hazard initiation maps as inputs of the Flow-R model to restrict potential areas within each hazard initiation probability class to locations where debris flows are most likely to initiate. Afterwards, runout areas were calculated using multiple flow direction and energy based algorithms. Maximum probable runout zones were calibrated using documented past events and aerial photographs. Finally, two debris flow hazard maps were prepared. The first simply delimits five hazard zones, while the second incorporates the information about debris flow spreading direction probabilities, showing areas more likely to be affected by future debris flows. Limitations of the modelling arise mainly from the models applied and analysis scale, which are neglecting local controlling factors of debris flow hazard. The presented approach of debris flow hazard analysis, associating automatic detection of the source areas and a simple assessment of the debris flow spreading, provided results for consequent hazard and risk studies. However, for the validation and transferability of the parameters and results to other study areas, more testing is needed.

Cognitive issues in fingerprint analysis: Inter- and intra-expert consistency and the effect of a "target" comparison

Deciding whether two fingerprint marks originate from the same source requires examination and comparison of their features. Many cognitive factors play a major role in such information processing. In this paper we examined the consistency (both between- and within-experts) in the analysis of latent marks, and whether the presence of a 'target' comparison print affects this analysis. Our findings showed that the context of a comparison print affected analysis of the latent mark, possibly influencing allocation of attention, visual search, and threshold for determining a 'signal'. We also found that even without the context of the comparison print there was still a lack of consistency in analysing latent marks. Not only was this reflected by inconsistency between different experts, but the same experts at different times were inconsistent with their own analysis. However, the characterization of these inconsistencies depends on the standard and definition of what constitutes inconsistent. Furthermore, these effects were not uniform; the lack of consistency varied across fingerprints and experts. We propose solutions to mediate variability in the analysis of friction ridge skin.

Variability of voriconazole plasma levels measured by new high-performance liquid chromatography and bioassay methods.

Voriconazole (VRC) is a broad-spectrum antifungal triazole with nonlinear pharmacokinetics. The utility of measurement of voriconazole blood levels for optimizing therapy is a matter of debate. Available high-performance liquid chromatography (HPLC) and bioassay methods are technically complex, time-consuming, or have a narrow analytical range. Objectives of the present study were to develop new, simple analytical methods and to assess variability of voriconazole blood levels in patients with invasive mycoses. Acetonitrile precipitation, reverse-phase separation, and UV detection were used for HPLC. A voriconazole-hypersusceptible Candida albicans mutant lacking multidrug efflux transporters (cdr1Delta/cdr1Delta, cdr2Delta/cdr2Delta, flu1Delta/flu1Delta, and mdr1Delta/mdr1Delta) and calcineurin subunit A (cnaDelta/cnaDelta) was used for bioassay. Mean intra-/interrun accuracies over the VRC concentration range from 0.25 to 16 mg/liter were 93.7% +/- 5.0%/96.5% +/- 2.4% (HPLC) and 94.9% +/- 6.1%/94.7% +/- 3.3% (bioassay). Mean intra-/interrun coefficients of variation were 5.2% +/- 1.5%/5.4% +/- 0.9% and 6.5% +/- 2.5%/4.0% +/- 1.6% for HPLC and bioassay, respectively. The coefficient of concordance between HPLC and bioassay was 0.96. Sequential measurements in 10 patients with invasive mycoses showed important inter- and intraindividual variations of estimated voriconazole area under the concentration-time curve (AUC): median, 43.9 mg x h/liter (range, 12.9 to 71.1) on the first and 27.4 mg x h/liter (range, 2.9 to 93.1) on the last day of therapy. During therapy, AUC decreased in five patients, increased in three, and remained unchanged in two. A toxic encephalopathy probably related to the increase of the VRC AUC (from 71.1 to 93.1 mg x h/liter) was observed. The VRC AUC decreased (from 12.9 to 2.9 mg x h/liter) in a patient with persistent signs of invasive aspergillosis. These preliminary observations suggest that voriconazole over- or underexposure resulting from variability of blood levels might have clinical implications. Simple HPLC and bioassay methods offer new tools for monitoring voriconazole therapy.

Coordination pattern variability provides functional adaptations to constraints in swimming performance.

In a biophysical approach to the study of swimming performance (blending biomechanics and bioenergetics), inter-limb coordination is typically considered and analysed to improve propulsion and propelling efficiency. In this approach, 'opposition' or 'continuous' patterns of inter-limb coordination, where continuity between propulsive actions occurs, are promoted in the acquisition of expertise. Indeed a 'continuous' pattern theoretically minimizes intra-cyclic speed variations of the centre of mass. Consequently, it may also minimize the energy cost of locomotion. However, in skilled swimming performance there is a need to strike a delicate balance between inter-limb coordination pattern stability and variability, suggesting the absence of an 'ideal' pattern of coordination toward which all swimmers must converge or seek to imitate. Instead, an ecological dynamics framework advocates that there is an intertwined relationship between the specific intentions, perceptions and actions of individual swimmers, which constrains this relationship between coordination pattern stability and variability. This perspective explains how behaviours emerge from a set of interacting constraints, which each swimmer has to satisfy in order to achieve specific task performance goals and produce particular task outcomes. This overview updates understanding on inter-limb coordination in swimming to analyse the relationship between coordination variability and stability in relation to interacting constraints (related to task, environment and organism) that swimmers may encounter during training and performance.

How quickly should we titrate antihypertensive medication? Systematic review modelling blood pressure response from trial data.

Context There are no evidence syntheses available to guide clinicians on when to titrate antihypertensive medication after initiation. Objective To model the blood pressure (BP) response after initiating antihypertensive medication. Data sources electronic databases including Medline, Embase, Cochrane Register and reference lists up to December 2009. Study selection Trials that initiated antihypertensive medication as single therapy in hypertensive patients who were either drug naive or had a placebo washout from previous drugs. Data extraction Office BP measurements at a minimum of two weekly intervals for a minimum of 4 weeks. An asymptotic approach model of BP response was assumed and non-linear mixed effects modelling used to calculate model parameters. Results and conclusions Eighteen trials that recruited 4168 patients met inclusion criteria. The time to reach 50% of the maximum estimated BP lowering effect was 1 week (systolic 0.91 weeks, 95% CI 0.74 to 1.10; diastolic 0.95, 0.75 to 1.15). Models incorporating drug class as a source of variability did not improve fit of the data. Incorporating the presence of a titration schedule improved model fit for both systolic and diastolic pressure. Titration increased both the predicted maximum effect and the time taken to reach 50% of the maximum (systolic 1.2 vs 0.7 weeks; diastolic 1.4 vs 0.7 weeks). Conclusions Estimates of the maximum efficacy of antihypertensive agents can be made early after starting therapy. This knowledge will guide clinicians in deciding when a newly started antihypertensive agent is likely to be effective or not at controlling BP.

Cognitive Issues in Fingerprint Analysis: Inter- and Intra-Expert Consistency and the Effect of a "Target" Comparison

Deciding whether two fingerprint marks originate from the same source requires examination and comparison of their features. Many cognitive factors play a major role in such information processing. In this paper we examined the consistency (both between- and within-experts) in the analysis of latent marks, and whether the presence of a 'target' comparison print affects this analysis. Our findings showed that the context of a comparison print affected analysis of the latent mark, possibly influencing allocation of attention, visual search, and threshold for determining a 'signal'. We also found that even without the context of the comparison print there was still a lack of consistency in analysing latent marks. Not only was this reflected by inconsistency between different experts, but the same experts at different times were inconsistent with their own analysis. However, the characterization of these inconsistencies depends on the standard and definition of what constitutes inconsistent. Furthermore, these effects were not uniform; the lack of consistency varied across fingerprints and experts. We propose solutions to mediate variability in the analysis of friction ridge skin.

Variability in urinary oxalate measurements between six international laboratories.

BACKGROUND: Hyperoxaluria is a major risk factor for kidney stone formation. Although urinary oxalate measurement is part of all basic stone risk assessment, there is no standardized method for this measurement. METHODS: Urine samples from 24-h urine collection covering a broad range of oxalate concentrations were aliquoted and sent, in duplicates, to six blinded international laboratories for oxalate, sodium and creatinine measurement. In a second set of experiments, ten pairs of native urine and urine spiked with 10 mg/L of oxalate were sent for oxalate measurement. Three laboratories used a commercially available oxalate oxidase kit, two laboratories used a high-performance liquid chromatography (HPLC)-based method and one laboratory used both methods. RESULTS: Intra-laboratory reliability for oxalate measurement expressed as intraclass correlation coefficient (ICC) varied between 0.808 [95% confidence interval (CI): 0.427-0.948] and 0.998 (95% CI: 0.994-1.000), with lower values for HPLC-based methods. Acidification of urine samples prior to analysis led to significantly higher oxalate concentrations. ICC for inter-laboratory reliability varied between 0.745 (95% CI: 0.468-0.890) and 0.986 (95% CI: 0.967-0.995). Recovery of the 10 mg/L oxalate-spiked samples varied between 8.7 ± 2.3 and 10.7 ± 0.5 mg/L. Overall, HPLC-based methods showed more variability compared to the oxalate oxidase kit-based methods. CONCLUSIONS: Significant variability was noted in the quantification of urinary oxalate concentration by different laboratories, which may partially explain the differences of hyperoxaluria prevalence reported in the literature. Our data stress the need for a standardization of the method of oxalate measurement.

Statistical analysis and modelling of weather radar beam propagation conditions in the Po Valley (Italy)

Ground clutter caused by anomalous propagation (anaprop) can affect seriously radar rain rate estimates, particularly in fully automatic radar processing systems, and, if not filtered, can produce frequent false alarms. A statistical study of anomalous propagation detected from two operational C-band radars in the northern Italian region of Emilia Romagna is discussed, paying particular attention to its diurnal and seasonal variability. The analysis shows a high incidence of anaprop in summer, mainly in the morning and evening, due to the humid and hot summer climate of the Po Valley, particularly in the coastal zone. Thereafter, a comparison between different techniques and datasets to retrieve the vertical profile of the refractive index gradient in the boundary layer is also presented. In particular, their capability to detect anomalous propagation conditions is compared. Furthermore, beam path trajectories are simulated using a multilayer ray-tracing model and the influence of the propagation conditions on the beam trajectory and shape is examined. High resolution radiosounding data are identified as the best available dataset to reproduce accurately the local propagation conditions, while lower resolution standard TEMP data suffers from interpolation degradation and Numerical Weather Prediction model data (Lokal Model) are able to retrieve a tendency to superrefraction but not to detect ducting conditions. Observing the ray tracing of the centre, lower and upper limits of the radar antenna 3-dB half-power main beam lobe it is concluded that ducting layers produce a change in the measured volume and in the power distribution that can lead to an additional error in the reflectivity estimate and, subsequently, in the estimated rainfall rate.

Inter-relation between soybean yield and soil compaction under degraded pasture in Brazilian Savannah

The Cerrado (Brazilian Savannah) plays an important economic and financial role in the nation, since the pastures of this biome feed cattle for half of the domestic bovine meat productivity, and its agricultural fields produce a third of the country's grain. The variability and spatial dependence between the soil physical attributes and soybean yield were evaluated in a crop rotation planted on a degraded brachiaria pasture, on a dystroferric Red Latosol of an experimental farm of the State University of São Paulo (UNESP), in the 2005/2006 growing season. The linear and spatial correlations between these attributes were also studied, to determine conditions that would allow increased agricultural productivity. In the above pasture area, a grid was installed with 124 plots, spaced 10.0 x 10.0 m and 5.0 x 5.0 m apart, in a total area of 7,500 m². From the linear and spatial point of view, the high grain yield can be explained by the number of grains per plant and soil macroporosity. The high variability observed for most soil properties indicated that the crop - livestock integration system results in environmental heterogeneity of the soil.