Using a Machine Learning Approach to Implement and Evaluate Product Line Features

Bike-sharing systems are a means of smart transportation in urban environments with the benefit of a positive impact on urban mobility. In this paper we are interested in studying and modeling the behavior of features that permit the end user to access, with her/his web browser, the status of the Bike-Sharing system. In particular, we address features able to make a prediction on the system state. We propose to use a machine learning approach to analyze usage patterns and learn computational models of such features from logs of system usage. On the one hand, machine learning methodologies provide a powerful and general means to implement a wide choice of predictive features. On the other hand, trained machine learning models are provided with a measure of predictive performance that can be used as a metric to assess the cost-performance trade-off of the feature. This provides a principled way to assess the runtime behavior of different components before putting them into operation.Comment: In Proceedings WWV 2015, arXiv:1508.0338

Hacking an Ambiguity Detection Tool to Extract Variation Points: an Experience Report

Natural language (NL) requirements documents can be a precious source to identify variability information. This information can be later used to define feature models from which different systems can be instantiated. In this paper, we are interested in validating the approach we have recently proposed to extract variability issues from the ambiguity defects found in NL requirement documents. To this end, we single out ambiguities using an available NL analysis tool, QuARS, and we classify the ambiguities returned by the tool by distinguishing among false positives, real ambiguities, and variation points. We consider three medium sized requirement documents from different domains, namely, train control, social web, home automation. We report in this paper the results of the assessment. Although the validation set is not so large, the results obtained are quite uniform and permit to draw some interesting conclusions. Starting from the results obtained, we can foresee the tailoring of a NL analysis tool for extracting variability from NL requirement documents

Close Encounters with Heisenberg: Uncertainty in secondary school

In this paper we present a pedagogical strategy to introduce the Heisenberg uncertainty principle to high school students. The basis on which this proposal relies is the Fourier transform, connecting the quantum function in the x domain, Ψ(x), with the function in the wave number domain, A(k). This mathematical relationship directly leads to the uncertainty principle: a state localized in the former domain will present an inversely proportional dispersion in the latter domain. Since in acoustic we have an analog situation we can carry out experiments with sounds leading students to the understanding of the uncertainty relation. In our approach a slightly modified musical theme from the Steven Spielberg movie ‘Close Encounters of the Third Kind’ is the starting point to reach the uncertainty relation.Fil: Galanternik, Laura Irene. Università di Torino; Italia. Enrico Fermi Historical Museum Of Physics; ItaliaFil: Arlego, Marcelo José Fabián. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - La Plata. Instituto de Física La Plata. Universidad Nacional de La Plata. Facultad de Ciencias Exactas. Instituto de Física La Plata; ArgentinaFil: Fanaro, Maria de Los Angeles. Universidad Nacional del Centro de la Provincia de Buenos Aires. Facultad de Ciencias Humanas. Núcleo de Estudios Educacionales y Sociales; Argentina. Universidad Nacional del Centro de la Provincia de Buenos Aires. Facultad de Ciencias Exactas. Núcleo de Investigación en Educacion Ciencia y Tecnologia; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Tandil; ArgentinaFil: Gnesi, I.. Enrico Fermi Historical Museum Of Physics; Itali

Circulating endothelial progenitor cells and large artery structure and function in young subjects with uncomplicated Type 1 Diabetes

<p>Abstract</p> <p>Background</p> <p>Carotid intima-media thickness (IMT), indices of large artery stiffness and measures of endothelium function may be used as markers of early atherosclerosis in type 1 diabetes mellitus (T1DM). The aim of the present study was to compare the indices of large artery structure and function as well as endothelial function and regenerating capacity between adolescents with T1DM and healthy control of similar age. In addition, the associations of different vascular measures with endothelial progenitor cells (EPCs), glyco-metabolic control and serum levels of advanced glycation endproducts (AGEs), soluble receptors for AGEs (sRAGE) and adiponectin were evaluated.</p> <p>Methods</p> <p>Sixteen uncomplicated young T1DM patients (mean age 18 ± 2 years, history of disease 11 ± 5 years, HbA1c 7.7 ± 1.1%) and 26 controls (mean age 19 ± 2 years) were studied. A radiofrequency-based ultrasound system (Esaote MyLab 70) was used to measure carotid IMT and wave speed (WS, index of local stiffness), applanation tonometry (PulsePen) was applied to obtain central pulse pressure (PP) and augmentation index (AIx), and carotid-femoral pulse wave velocity (PWV, Complior) was used as index of aortic stiffness. Peripheral endothelium-dependent vasodilation was determined as reactive hyperemia index (RHI, EndoPAT). Circulating EPCs, glycometabolic profile, AGEs (autofluorescence method), sRAGE and adiponectin were also measured.</p> <p>Results</p> <p>After adjusting for age, sex and blood pressure, T1DM adolescents had significantly higher carotid IMT (456 ± 7 vs. 395 ± 63 μm, p < 0.005), carotid WS (p < 0.005), PWV (p = 0.01), AIx (p < 0.0001) and central PP (p < 0.01) and lower EPCs (p = 0.02) as compared to controls. RHI was reduced only in diabetic patients with HbA1c ≥7.5% (p < 0.05). In the overall population, EPCs were an independent determinant of carotid IMT (together with adiponectin), while fasting plasma glucose was an independent determinant of carotid WS, AIx and central PP.</p> <p>Conclusions</p> <p>Our findings suggest that young subjects with relatively long-lasting T1DM have a generalized preclinical involvement of large artery structure and function, as well as a blunted endothelium regenerating capacity. Hyperglycemia and suboptimal chronic glycemic control seem to deteriorate the functional arterial characteristics, such as large arteries stiffness, wave reflection and peripheral endothelium-dependent vasodilation, whereas an impaired endothelium regenerating capacity and adiponectin levels seem to influence arterial structure.</p

Collins and Sivers asymmetries in muonproduction of pions and kaons off transversely polarised protons

Measurements of the Collins and Sivers asymmetries for charged pions and charged and neutral kaons produced in semi-inclusive deep-inelastic scattering of high energy muons off transversely polarised protons are presented. The results were obtained using all the available COMPASS proton data, which were taken in the years 2007 and 2010. The Collins asymmetries exhibit in the valence region a non-zero signal for pions and there are hints of non-zero signal also for kaons. The Sivers asymmetries are found to be positive for positive pions and kaons and compatible with zero otherwise. © 2015

Comportamento della glicemia e qualità del sonno in bambini e adolescenti con diabete mellito tipo 1A.

Il diabete mellito tipo 1 A è la forma più frequente di diabete in età evolutiva. Una forte associazione tra diabete e disturbi del sonno è stata recentemente descritta, ma in età evolutiva gli studi in merito sono ancora piuttosto scarsi. Lo scopo del nostro studio è stato quindi quello di valutare in un gruppo di bambini e adolescenti affetti da diabete mellito tipo 1A l’eventuale presenza di alterazioni in merito alla qualità del sonno e le relazioni di quest’ultime con l’andamento glicemico notturno. Tali dati sono stati poi confrontati con un gruppo di pazienti di controllo. Lo studio, attualmente in fase di prosecuzione, ha riguardato un gruppo di 18 bambini e adolescenti (4 maschi e 14 femmine, età media 12,8 anni) con durata media di malattia di 6,1 anni + 4,6 DS. Il gruppo di controllo include attualmente 9 soggetti sani (5 maschi e 4 femmine, età media 13,1 anni). Lo studio è stato eseguito applicando un holter glicemico ai pazienti per la valutazione in continuo dell’andamento glicemico e facendo indossare ai soggetti di entrambi i gruppi un holter motorio-metabolico per la valutazione del sonno. I parametri rilevati sono stati l’efficienza del sonno, minuti di sonno profondo, la percentuale di sonno profondo, i minuti di iperglicemia e di ipoglicemia, la percentuale di tempo trascorso in iperglicemia e la percentuale di tempo trascorso in ipoglicemia. Confrontando i dati ottenuti nel gruppo dei pazienti con quelli osservati nei controlli l’analisi statistica ha messo in evidenza una differenza statisticamente significativa per quanto riguarda l’efficienza del sonno risultata inferiore nel gruppo dei pazienti. L’analisi multivariata, eseguita nel gruppo dei pazienti, ha evidenziato come una condizione di scarso controllo glicemico venga significativamente associata ad alterazioni del sonno. In conclusione il presente studio suggerisce che la valutazione del sonno dovrebbe quindi essere eseguita di consueto come parte integrante dell’inquadramento diagnostico del giovane diabetico e la sua ottimizzazione diventare un altro target terapeutico volto al miglioramento del controllo glico-metabolico

Valutazione cardiovascolare in adolescenti e giovani adulti affetti da diabete mellito di tipo 1 con esordio in età pediatrica.

Il diabete mellito di tipo 1 (DMT1) costituisce un importante fattore di rischio cardiovascolare in particolare nei pazienti con esordio in età pediatrica in quanto esposti alla malattia per lungo tempo. Poiché in età evolutiva gli studi sulla presenza di alterazioni precoci della funzione cardiovascolare sono scarsi e con risultati contrastanti, lo scopo di questo studio è stato quello di valutare, in una coorte di adolescenti e giovani adulti affetti da diabete mellito tipo 1, con esordio in età pediatrica, la presenza di precoci alterazioni morfofunzionali cardiovascolari e le correlazioni tra queste e la durata di malattia, il controllo glicemico ed il profilo lipidico. Tali dati sono stati poi confrontati con un gruppo di pazienti controllo. Lo studio, attualmente in fase di prosecuzione, ha riguardato un gruppo di 25 adolescenti e giovani adulti (18 maschi età media 19,7 + 3,4 anni; 7 femmine età media 20 + 2,5 anni) con livelli circolanti medi di HbA1c di 7,8 + 1,5% (valore medio di dosaggi trimestrali degli ultimi 3 anni) e con durata media di malattia di 10,7 + 5,6 anni. Il gruppo di controllo, sovrapponibile per età e BMI al precedente, include attualmente 8 soggetti sani di sesso maschile. Lo studio è stato eseguito con un sistema di ultrasonografia equipaggiato con sonda lineare ad alta frequenza per lo studio vascolare e sonda cardiaca settoriale per quello cardiaco. Tale sistema è anche in grado di eseguire il monitoraggio dei diametri arteriosi ad alta risoluzione (echo-tracking). I parametri vascolari rilevati sono stati: l’IMT (spessore medio-intimale, espressione di ispessimento parietale) e gli indici di rigidità vascolare (ß, EP, AC, AIx, PWV; v. abbreviazioni utilizzate nel testo pag. 64). I parametri rilevati nello studio cardiaco sono stati gli indici che esplorano la funzionalità ventricolare complessiva, la fase diastolica e l’ispessimento parietale ventricolare (LVMI, MFS, EDd, PPd, IVSd, RWT, E/A; v. abbreviazioni utilizzate nel testo pag. 64). Confrontando i dati ottenuti nel gruppo dei pazienti con quelli osservati nei controlli (l’analisi ha riguardato soltanto i maschi, poiché il gruppo di controllo è attualmente costituito solo da soggetti di sesso maschile), l’analisi statistica non ha messo in evidenza differenze significative per quanto riguarda gli indici di rigidità vascolare (stiffness), l’IMT ed i parametri cardiaci, anche se alcuni parametri sono risultati lievemente alterati. Tra questi l’AIx (augmentation index) risulta negativo nei controlli e positivo nei diabetici; la pressione sistolica e diastolica e l’IVSd (spessore setto interventricolare in diastole) sono risultati maggiori nei diabetici; il rapporto E/A (indice di efficienza diastolica) è ridotto nei diabetici. L’analisi multivariata non ha mostrato correlazione tra nessuno dei parametri in esame e i livelli circolanti di HbA1c o gli anni di malattia. In conclusione, il presente studio ha dimostrato l’assenza di alterazioni cardiovascolari in adolescenti e giovani adulti con diabete mellito tipo I, con durata media di malattia di 10 anni e con buon controllo glicometabolico. Sebbene non sia stato possibile osservare la presenza di una correlazione tra livelli circolanti di HbA1c e parametri cardiovascolari, l’ottimizzazione del controllo glicometabolico si conferma come un fattore fondamentale nella prevenzione delle complicanze tardive del diabete mellito. Alcuni autori hanno infatti osservato la presenza di alterazioni cardiovascolari anche solo dopo 4 anni di malattia in pazienti con elevati livelli sierici di HbA1c

Modelling Asynchronous Applications in a Mobile Environment

We show that it is possible to model mobile asynchronous applications in a high level description language and to deal with any aspect related to communication in the presence of mobility only at the level of language implementation. Most paradigms for distributed applications which include a synchronous composition construct, like for instance CCS or Unity, cannot be used to model applications built on a mobile environment and new paradigms were introduced to this purpose, e.g. the -calculus and Mobile-Unity. Actually, many applications do not need synchronicity. We show how the multiple tuple space paradigm, which was introduced for the non-mobile setting and is based on asynchronous communication, can be used as-it-is to model a well known mobile application, i.e. the GSM Short Message Service. Moreover, we&apos;ll show how a language in this paradigm can be implemented when the architecture is a mobile one, and exploit previously stated results to verify the correctness of the impleme..

Proceedings - 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering, FormaliSE 2021

The proceedings contain 13 papers. The topics discussed include: formal characterization and efficient verification of a biological robustness property; runtime verification under access restrictions; how much specification is enough? mutation analysis for software contracts; formally verified credentials management for industrial control systems; quantifying faultiness: what does it mean to have N faults?; methodology for specification and verification of high-level requirements with MetAcsl; and improved bounded model checking of timed automata