IMT Institutional Repository: No conditions. Results ordered -Date Deposited. 2019-09-19T08:59:26ZEPrintshttp://eprints.imtlucca.it/images/logowhite.pnghttp://eprints.imtlucca.it/2018-03-09T11:20:13Z2018-03-09T11:20:13Zhttp://eprints.imtlucca.it/id/eprint/3979This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/39792018-03-09T11:20:13ZLe figure professionaliNicola Lattanzinicola.lattanzi@imtlucca.it2018-03-08T10:45:46Z2018-03-08T10:45:46Zhttp://eprints.imtlucca.it/id/eprint/3976This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/39762018-03-08T10:45:46ZIl comportamento degli attori aziendaliIl capitolo affronta il tema della "variabile comportamentale" in termini di comportamento e motivazioni all'interno dei sistemi di pianificazione e controllo soffermandosi sopratutto sul ruolo e la funzione del controller e del planner.Nicola Lattanzinicola.lattanzi@imtlucca.it2018-02-16T13:34:12Z2018-02-16T13:34:12Zhttp://eprints.imtlucca.it/id/eprint/3913This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/39132018-02-16T13:34:12ZBeni culturaliLorenzo Casinilorenzo.casini@imtlucca.it2018-02-16T13:26:03Z2018-02-16T13:26:26Zhttp://eprints.imtlucca.it/id/eprint/3912This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/39122018-02-16T13:26:03ZBeni culturaliLorenzo Casinilorenzo.casini@imtlucca.it2018-01-25T11:30:46Z2018-01-25T11:30:46Zhttp://eprints.imtlucca.it/id/eprint/3892This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/38922018-01-25T11:30:46ZRivelazione delle Preferenze, Determinanti Sociali dell'Utilità e Rilevanza dei Dati SoggettiviThis paper is a collection of reflections about the foundations of utility theory. Two main points are made. First, the postulates of Revealed Preference Theory are sufficient but not necessary to give empirical content to Utility Theory. Empirically testable implications can be obtained under alternative assumptions about individuals’ preferences which allow for social determinants of behavior. Second, the observation of individuals’ behaviour may not be sufficient to obtain the information about people’s preferences which is required to study welfare. There are cases where the information about preferences obtained from observed behaviour has to be integrated with information obtained from survey data because of externalities which affect utility but have no behavioural implication.Ennio Bilanciniennio.bilancini@imtlucca.it2016-06-01T13:05:55Z2016-09-13T10:07:41Zhttp://eprints.imtlucca.it/id/eprint/3496This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/34962016-06-01T13:05:55ZNeural correlates of visual and tactile spatial detection in sighted and congenitally-blind subjectsDaniela BoninoEmiliano Ricciardiemiliano.ricciardi@imtlucca.itLorenzo SaniTomaso VecchiPietro Pietrinipietro.pietrini@imtlucca.it2016-03-22T10:36:32Z2016-03-22T10:36:32Zhttp://eprints.imtlucca.it/id/eprint/3301This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/33012016-03-22T10:36:32ZStudy of Polymer Coatings for Drug Delivery Through Experimental Characterization and Computational ModellingDavide SilvestriMariacristina Gagliardimariacristina.gagliardi@imtlucca.itCaterina CristalliniElisabetta RoselliniPaolo Giusti2016-03-22T10:06:22Z2016-03-22T10:06:22Zhttp://eprints.imtlucca.it/id/eprint/3289This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/32892016-03-22T10:06:22ZStudio di materiali biodegradabili per il rilascio combinato di farmaci da stent vascolariDavide SilvestriCaterina CristalliniMariacristina Gagliardimariacristina.gagliardi@imtlucca.itNiccoletta BarbaniPaolo Giusti2016-03-22T09:24:11Z2016-03-22T09:24:11Zhttp://eprints.imtlucca.it/id/eprint/3278This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/32782016-03-22T09:24:11ZCombined drug release from biodegradable bi-layer coating for endovascular stentsDavide SilvestriCaterina CristalliniMariacristina Gagliardimariacristina.gagliardi@imtlucca.itM. GuadagniNiccoletta BarbaniPaolo Giusti2016-03-22T08:45:41Z2016-04-06T07:45:08Zhttp://eprints.imtlucca.it/id/eprint/3267This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/32672016-03-22T08:45:41ZComposites between collagen and hydroxyapatite, a preliminary physicochemical and biological investigation on interactions between collagen and hydroxyapatiteMariacristina Gagliardimariacristina.gagliardi@imtlucca.itNiccoletta BarbaniCaterina CristalliniGiulio D. GuerraA. KrajewskiM. Mazzocchi2016-03-15T09:17:00Z2016-03-15T09:17:00Zhttp://eprints.imtlucca.it/id/eprint/3233This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/32332016-03-15T09:17:00ZAnalysis of the validity of the asymptotic techniques in the lower hybrid wave equation solution for reactor applicationsKnowing that the lower hybrid (LH) wave propagation in tokamak plasmas can be correctly described with a full wave approach only, based on fully numerical techniques or on semianalytical approaches, in this paper, the LH wave equation is asymptotically solved via the Wentzel-Kramers-Brillouin (WKB) method for the first two orders of the expansion parameter, obtaining governing equations for the phase at the lowest and for the amplitude at the next order. The nonlinear partial differential equation(PDE) for the phase is solved in a pseudotoroidal geometry (circular and concentric magnetic surfaces) by the method of characteristics. The associated system of ordinary differential equations for the position and the wavenumber is obtained and analytically solved by choosing an appropriate expansion parameter. The quasilinear PDE for the WKB amplitude is also solved analytically, allowing us to reconstruct the wave electric field inside the plasma. The solution is also obtained numerically and compared with the analytical solution. A discussion of the validity limits of the WKB method is also given on the basis of the obtained results.A. CardinaliLorenzo Morinilorenzo.morini@imtlucca.itC. CastaldoR. CesarioF. Zonca2016-03-09T08:59:42Z2016-09-14T10:21:18Zhttp://eprints.imtlucca.it/id/eprint/3205This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/32052016-03-09T08:59:42ZL'attività normativa del governo nel periodo maggio-novembre 2006Martina ConticelliLorenzo Casinilorenzo.casini@imtlucca.it2016-03-08T13:53:22Z2016-09-14T10:21:17Zhttp://eprints.imtlucca.it/id/eprint/3204This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/32042016-03-08T13:53:22ZL'attività normativa del governo nel periodo dicembre 2006-maggio 2007Martina ConticelliLorenzo Casinilorenzo.casini@imtlucca.it2016-03-02T11:24:31Z2016-09-14T10:21:17Zhttp://eprints.imtlucca.it/id/eprint/3172This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/31722016-03-02T11:24:31ZL'organizzazioneLorenzo Casinilorenzo.casini@imtlucca.itEdoardo Chiti2016-02-29T10:22:42Z2016-02-29T10:22:42Zhttp://eprints.imtlucca.it/id/eprint/3163This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/31632016-02-29T10:22:42ZA flexible SNP genotyping system to study allelic determinants of brain functionWe developed a system for SNP-genotyping consisting of two ‘‘microchips’’, one investigating 40 SNPs in genes involved in the hepatic metabolism of antidepressant drugs, the other 100 SNPs in genes involved in brain response to antidepressants. Candidate genes were chosen by literature screening. SNPs were selected on HapMap data, using the pairwise algorithm combinedwith the ‘‘BestN’’ method; a few SNPs, reported as associated with treatment outcome, were added to the set. The main advantages of our experimental design are: a) simultaneous analysis of several genes (22) involved in distinct aspects of antidepressant response; b) a comprehensive search for common variability in candidate genes by HapMap ‘‘tag-SNPs’’. DNA samples are genotyped by ‘‘padlock probes’’, which specifically recognise the two variants of each SNP; padlock probes are amplified with universal primers, and contain unique tags for hybridisation to known positions on ad hoc designed micro-arrays, where the two alleles are distinguished by distinct fluorophores. Since reactions carried out on multiplex and signal intensities on microarrays are homogeneous, as they are not affected bySNPflanking sequences, tens of SNPsfrom tens of individuals can be analysed simultaneously on a single slide, with high accuracy and reproducibility. Considering that 100 SNPs from manygenes related to neural transmission, plasticity and neurogenesis are included in the secondmicrochip and that each of them can easily be substituted withothers if needed, our system represents a powerful tool for investigating genetic influence on normal and pathological brain function.Paola IacopettiI. TarantinoArianna CozzaS. SantiG. SavarinoStefano FogliPietro Pietrinipietro.pietrini@imtlucca.itSilvia Pellegrini2016-02-29T10:11:17Z2016-09-13T10:09:03Zhttp://eprints.imtlucca.it/id/eprint/3162This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/31622016-02-29T10:11:17ZThe Effect of Visual Experience on the Development of Functional Architecture in hMT+We investigated whether the visual hMT+ cortex plays a role in supramodal representation of sensory flow, not mediated by visual mental imagery. We used functional magnetic resonance imaging to measure neural activity in sighted and congenitally blind individuals during passive perception of optic and tactile flows. Visual motion–responsive cortex, including hMT+, was identified in the lateral occipital and inferior temporal cortices of the sighted subjects by response to optic flow. Tactile flow perception in sighted subjects activated the more anterior part of these cortical regions but deactivated the more posterior part. By contrast, perception of tactile flow in blind subjects activated the full extent, including the more posterior part. These results demonstrate that activation of hMT+ and surrounding cortex by tactile flow is not mediated by visual mental imagery and that the functional organization of hMT+ can develop to subserve tactile flow perception in the absence of any visual experience. Moreover, visual experience leads to a segregation of the motion-responsive occipitotemporal cortex into an anterior subregion involved in the representation of both optic and tactile flows and a posterior subregion that processes optic flow only.Emiliano Ricciardiemiliano.ricciardi@imtlucca.itNicola VanelloLorenzo SaniClaudio GentiliEnzo Pasquale ScilingoLuigi LandiniMario GuazzelliAntonio BicchiJames V. HaxbyPietro Pietrinipietro.pietrini@imtlucca.it2016-02-29T10:04:56Z2016-02-29T10:04:56Zhttp://eprints.imtlucca.it/id/eprint/3161This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/31612016-02-29T10:04:56ZCorticobasal Syndrome Associated With the A9D Progranulin MutationCorticobasal syndrome is characterized by cortical dysfunction and L-dopa-unresponsive Parkinsonism, with asymmetrical onset of clinical presentation and evidence of atrophy and/or hypometabolism at neuroimaging. Recently, the heterogeneous pathologic substrate of corticobasal syndrome has been further expanded to include cases with pathologic diagnosis of frontotemporal lobar degeneration with ubiquitin/TDP-43 (TAR DNA binding protein 43)-positive inclusions associated with progranulin (PGRN) mutations. We report a family in which several individuals have been affected with a dementia/movement disorder phenotype. The proband presented at age 45 with spontaneous left arm levitation, ideational apraxia, asymmetric parkinsonism, and dystonia. Subsequently, he developed limb-kinetic apraxia, left-side hemineglect, memory loss, and executive dysfunction. Magnetic resonance imaging and 18Ffluorodeoxyglucose-positron emission tomography studies revealed severe cerebral cortical atrophy and hypometabolism, which were significantly more pronounced in the parietal lobes (right \> left). Neuropathologic examination displayed the highest degree of degeneration and ubiquitin/TDP-43 pathology in the proband{\textquoteright}s parietal areas. Genetic analysis revealed the presence of the c.26C\>A PGRN mutation in 1 allele. This mutation has been reported in association with hereditary-dysphasic-disinhibition-dementia, Alzheimer-like dementia, progressive supranuclear palsy, and primary progressive aphasia. The peculiar findings observed in this patient indicate that the parietal lobe may represent the most vulnerable anatomical area in some of the PGRN-associated frontotemporal lobar degeneration with ubiquitin/TDP-43-positive inclusion cases.Salvatore SpinaJill R. MurrellEdward D. HueyEric M. WassermannPietro Pietrinipietro.pietrini@imtlucca.itJordan GrafmanBernardino Ghetti2016-02-29T09:59:32Z2016-09-13T10:09:17Zhttp://eprints.imtlucca.it/id/eprint/3160This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/31602016-02-29T09:59:32ZAn MRI Compatibility Study of a Fabric Sensing Glove for Sensory-Motor Brain Activity ExplorationIn this work we investigated the compatibility with
functional Magnetic Resonance Imaging (fMRI) studies of a
fabric sensing glove. The glove is able to monitor hand
posture and gesture, and could be fruitfully used in fMRI
studies to explore brain activity during specific tactile or
motor tasks. A specific compatibility test was performed and
results are discussed. Preliminary results of an fMRI
experiment on a subject wearing the glove are also reported
and reproducibility issues are suitably addressed.Nicola VanelloValentina HartwigMario TesconiGiuseppe ZuponeNicola SgambelluriAlessandro TognettiEmiliano Ricciardiemiliano.ricciardi@imtlucca.itEnzo Pasquale ScilingoAntonio BicchiPietro Pietrinipietro.pietrini@imtlucca.itDanilo De RossiLuigi Landini2016-02-29T09:53:52Z2016-09-13T10:08:24Zhttp://eprints.imtlucca.it/id/eprint/3158This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/31582016-02-29T09:53:52ZElectrocutaneous stimulation of skin mechanoreceptors for tactile studies with functional Magnetic Resonance ImagingValentina HartwigClaudia CappelliNicola VanelloEmiliano Ricciardiemiliano.ricciardi@imtlucca.itEnzo Pasquale ScilingoGiulio GiovannettiMaria Filomena SantarelliVincenzo PositanoAntonio BicchiPietro Pietrinipietro.pietrini@imtlucca.itLuigi Landini2016-02-29T09:33:52Z2016-09-13T10:07:24Zhttp://eprints.imtlucca.it/id/eprint/3156This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/31562016-02-29T09:33:52ZNeural correlates of mental representation of space in sighted and congenitally blind individuals as measured by fMRIDaniela BoninoEmiliano Ricciardiemiliano.ricciardi@imtlucca.itLorenzo SaniTomaso VecchiPietro Pietrinipietro.pietrini@imtlucca.it2016-02-29T09:32:17Z2016-09-13T10:08:02Zhttp://eprints.imtlucca.it/id/eprint/3155This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/31552016-02-29T09:32:17ZERPs disclose the specificity of spatio-temporal patterns of brain activity during self-paced reading aloudSilvia CasarottoEmiliano Ricciardiemiliano.ricciardi@imtlucca.itLorenzo SaniMario GuazzelliPietro Pietrinipietro.pietrini@imtlucca.itGiuseppe A. Chiarenza2016-02-29T09:29:43Z2016-09-13T10:08:51Zhttp://eprints.imtlucca.it/id/eprint/3154This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/31542016-02-29T09:29:43ZCovert visual brand recognition modulates emotional neural networks: a fMRI studyPietro Pietrinipietro.pietrini@imtlucca.itEmiliano Ricciardiemiliano.ricciardi@imtlucca.itSilvia CasarottoF. SannaMatteo CorciolaniS. RomaniDaniele Dalli2016-02-29T09:19:25Z2016-09-13T10:08:12Zhttp://eprints.imtlucca.it/id/eprint/3153This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/31532016-02-29T09:19:25ZSingle-letter reading elicits a different spatio-temporal modulation of brain activity in dyslexic children as compared to healthy controlsSilvia CasarottoEmiliano Ricciardiemiliano.ricciardi@imtlucca.itLorenzo SaniMario GuazzelliPietro Pietrinipietro.pietrini@imtlucca.itGiuseppe A. Chiarenza2016-02-29T09:06:45Z2016-02-29T09:06:45Zhttp://eprints.imtlucca.it/id/eprint/3152This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/31522016-02-29T09:06:45ZResponsabilMente: dai processi cerebrali al processo penale.
Prospettive e limiti dell’approccio neuroscientificoPietro Pietrinipietro.pietrini@imtlucca.it2016-02-22T12:17:14Z2016-04-06T09:54:41Zhttp://eprints.imtlucca.it/id/eprint/3111This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/31112016-02-22T12:17:14ZClinicopathologic features of frontotemporal dementia with Progranulin sequence variationBackground: Frontotemporal lobar degeneration with ubiquitin-immunoreactive (ub-ir) inclusions (FTLD-U) has been associated with frontotemporal dementia (FTD) and ALS. Recently, mutations in Progranulin (PGRN), predicted to cause premature truncation of the PGRN coding sequence, were found in patients with inherited FTLD-U and ub-ir neuronal intranuclear inclusions (NII).Objective: To describe clinical, pathologic, and genetic features of three FTD patients having either a family history of FTD (A.III.1 and B.II.1) or of ALS (C.III.1).Methods: Patients underwent a single clinical assessment, MRI, and 18Ffluorodeoxyglucose PET brain scan. Neuropathologic examination and genetic analyses were carried out.Results: Patients presented clinically with the behavioral variant of FTD. Language dysfunctions were marked with comprehension being particularly affected. Neuroimaging revealed frontotemporal atrophy and glucose hypometabolism, with predominant left-side involvement, in Patients A.III.1 and B.II.1. Subject C.III.1 displayed mild atrophy and symmetric anterior hypometabolism. All patients were neuropathologically diagnosed with FTLD-U. Ub-ir NII were noted in Patients A.III.1 and B.II.1 but were absent in Patient C.III.1. The following PGRN sequence variations were found: IVS6-2A→G (A.III.1), R493X (B.II.1), and R433W (C.III.1). IVS6-2A→G may lead to skipping of exon 7 with consequent frameshift of the coding sequence and premature termination of PGRN translation.Conclusions: We have found two PGRN mutations associated with FTD, in affected individuals who are members of families with possible autosomal dominant FTD. A third PGRN sequence variation (R433W) was found in an FTD patient with family history of ALS.Salvatore SpinaJill R. MurrellEdward D. HueyEric M. WassermannPietro Pietrinipietro.pietrini@imtlucca.itM.A. BaraibarA.G. BarbeitoJ.C. TroncosoR. VidalBernardino GhettiJordan Grafman2016-02-22T12:11:03Z2016-02-22T12:11:03Zhttp://eprints.imtlucca.it/id/eprint/3110This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/31102016-02-22T12:11:03ZForgiveness, health, and well-being: a review of evidence for emotional versus decisional forgiveness, dispositional forgivingness, and reduced unforgivenessThe extant data linking forgiveness to health and well-being point to the role of emotional forgiveness, particularly when it becomes a pattern in dispositional forgivingness. Both are important antagonists to the negative affect of unforgiveness and agonists for positive affect. One key distinction emerging in the literature is between decisional and emotional forgiveness. Decisional forgiveness is a behavioral intention to resist an unforgiving stance and to respond differently toward a transgressor. Emotional forgiveness is the replacement of negative unforgiving emotions with positive other-oriented emotions. Emotional forgiveness involves psychophysiological changes, and it has more direct health and well-being consequences. While some benefits of forgiveness and forgivingness emerge merely because they reduce unforgiveness, some benefits appear to be more forgiveness specific. We review research on peripheral and central nervous system correlates of forgiveness, as well as existing interventions to promote forgiveness within divergent health settings. Finally, we propose a research agenda.Everett L. WorthingtonCharlotte Van Oyen WitvlietPietro Pietrinipietro.pietrini@imtlucca.itAndrea J. Miller2016-02-22T12:02:46Z2016-04-20T08:11:13Zhttp://eprints.imtlucca.it/id/eprint/3109This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/31092016-02-22T12:02:46ZSerum levels of the fibroblast growth factor and insulin-like growth factor in amyotrophic lateral sclerosis patientsPaolo BongioanniMaria Rita MetelliF. FulceriF. ManzoneB. RossiPietro Pietrinipietro.pietrini@imtlucca.it2016-02-22T11:26:26Z2016-02-22T11:26:26Zhttp://eprints.imtlucca.it/id/eprint/3108This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/31082016-02-22T11:26:26ZIl cervello o il mondo nella testaPietro Pietrinipietro.pietrini@imtlucca.itF. Battaglia2016-01-14T08:40:21Z2016-09-14T10:21:17Zhttp://eprints.imtlucca.it/id/eprint/3000This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/30002016-01-14T08:40:21ZArchivi e biblioteche: memorie del passato dall'incerto futuroLorenzo Casinilorenzo.casini@imtlucca.it2016-01-14T08:38:27Z2016-09-14T10:21:17Zhttp://eprints.imtlucca.it/id/eprint/2999This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/29992016-01-14T08:38:27ZL'inchiesta pubblica. Analisi comparataLorenzo Casinilorenzo.casini@imtlucca.it2015-11-05T10:42:16Z2015-11-05T15:23:16Zhttp://eprints.imtlucca.it/id/eprint/2806This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/28062015-11-05T10:42:16ZNeural networks: A reviewTiziano Squartinitiziano.squartini@imtlucca.it2015-06-26T12:53:33Z2015-06-26T12:53:33Zhttp://eprints.imtlucca.it/id/eprint/2721This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/27212015-06-26T12:53:33ZExtensionality of spatial observations in distributed systems We discuss the tensions between intensionality and extensionality of spatial observations in distributed systems, showing that there are natural models where extensional observational equivalences may be characterized by spatial logics, including the composition and void operators. Our results support the claim that spatial observations do not need to be always considered intensional, even if expressive enough to talk about the structure of systems. For simplicity, our technical development is based on a minimalist process calculus, that already captures the main features of distributed systems, namely local synchronous communication, local computation, asynchronous remote communication, and partial failures. Luis CairesHugo Torres Vieirahugo.torresvieira@imtlucca.it2015-06-26T12:52:56Z2015-06-26T12:52:56Zhttp://eprints.imtlucca.it/id/eprint/2723This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/27232015-06-26T12:52:56ZChecking for choreography conformance using spatial logic model-checkingWe illustrate with a simple example how the Spatial Logic Model Checker can be used to check choreography conformance propertiesLuis CairesDavid Tavares SousaHugo Torres Vieirahugo.torresvieira@imtlucca.it2015-06-25T12:47:44Z2015-06-25T12:47:44Zhttp://eprints.imtlucca.it/id/eprint/2717This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/27172015-06-25T12:47:44ZAutomotive and finance case studies in the conversation calculusWe describe the encoding of the Car Break scenario of the SENSORIA Automotive case study and of the Credit Request scenario of the SENSORIA Finance case study using the Conversation Calculus (CSCC). These scenarios consist of an orchestration of services and service clients which are typefully encoded here in a modular way. Namely the latter scenario consists of a workflow involving different actors: a client willing to submit a credit request, a bank employee, and its supervisor. We show how the workflow is well described in the type assigned to the processes implementing it. We first informally describe the CSCC calculus, and then show how the two scenarios can be encoded using the CSCC calculus and the corresponding typing.Luis CairesJoão Costa SecoHugo Torres Vieirahugo.torresvieira@imtlucca.it2015-02-11T13:33:24Z2015-02-11T13:33:24Zhttp://eprints.imtlucca.it/id/eprint/2595This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/25952015-02-11T13:33:24ZStochastic process algebrasIn this tutorial we give an introduction to stochastic process algebras and their use in performance modelling, with a focus on the PEPA formalism. A brief introduction is given to the motivations for extending classical process algebra with stochastic times and probabilistic choice. We then present an introduction to the modelling capabilities of the formalism and the tools available to support Markovian based analysis. The chapter is illustrated throughout by small examples, demonstrating the use of the formalism and the tools.Allan ClarkStephen GilmoreJane HillstonMirco Tribastonemirco.tribastone@imtlucca.it2015-02-06T13:31:04Z2015-02-06T14:11:08Zhttp://eprints.imtlucca.it/id/eprint/2565This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/25652015-02-06T13:31:04ZThe PEPA Plug-in ProjectWe present a GUI-based tool supporting the stochastic process algebra PEPA with modules for performance evaluation through Markovian steady-state analysis, fluid flow analysis, and stochastic simulation.Mirco Tribastonemirco.tribastone@imtlucca.it2015-02-06T12:10:47Z2015-02-06T14:09:44Zhttp://eprints.imtlucca.it/id/eprint/2563This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/25632015-02-06T12:10:47ZAn analytical model of a BitTorrent peerIn this paper we propose a Markovian model of BitTorrent. Unlike already developed works which capture demographic dynamics, it focuses on the behavior of individual peers. To this end, we center our attention on a generic peer, called tagged peer (TP); for each possible logical state of a BT peer-to-peer connection maintained by the TP, we consider a stochastic process which counts the number of such links, and characterize them according to their state. Validation is carried out and steady-state analysis is performed in order to illustrate how performance evaluation can be extracted from our modelMario BarberaAlfio LombardoGiovanni SchembraMirco Tribastonemirco.tribastone@imtlucca.it2015-02-06T10:14:24Z2015-02-06T10:14:24Zhttp://eprints.imtlucca.it/id/eprint/2555This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/25552015-02-06T10:14:24ZBottom-up beats top-down hands downIn PEPA, the calculation of the transitions enabled by a process accounts for a large part of the time for the state space exploration of the underlying Markov chain. Unlike other approaches based on recursion, we present a new technique that is iterative—it traverses the process’ binary tree from the sequential components at the leaves up to the root. Empirical results shows that this algorithm is faster than a similar implementation employing recursion in Java. Finally, a study on the user-perceived performance compares our algorithm with those of other existing tools
(ipc/Hydra and the PEPA Workbench). Mirco Tribastonemirco.tribastone@imtlucca.it2015-01-19T13:45:44Z2015-01-19T13:45:44Zhttp://eprints.imtlucca.it/id/eprint/2505This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/25052015-01-19T13:45:44ZEffetti della crescita strutturale sull’equilibrio e deformazione di elementi murari pianiAndrea Bacigalupoandrea.bacigalupo@imtlucca.itLuigi Gambarotta2014-12-02T14:58:09Z2014-12-18T13:57:14Zhttp://eprints.imtlucca.it/id/eprint/2381This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/23812014-12-02T14:58:09ZAre better conductors more rigid?The variation of the bending stiffness of various materials is studied from the point of view of the electronic band characteristics. As far as the electronically generated bending stiffness κe (which we refer to as electro-stiffness) is concerned, the relevant factors are the orbital overlap t, the gap width u between the valence band and the conduction band, and the electron filling fraction γ. A perturbative calculation leads to the approximate expression κe ~ t2/√u2 + t2. This shows that materials with a large overlap and narrow band gap should be stiffer. The electro-stiffness also depends on the electron filling-fraction. We find that κe(γ) ≤ κe(1/2). These kinds of behavior are confirmed by numerical calculations. In addition, we study the variation in the projected length of flexible molecules under a voltage bias. The nonlinear variation of the bending rigidity is shown to give rise to a length contraction or dilation, depending on the voltage bias.Young-Ho Eomyoungho.eom@imtlucca.itHawoong JeongHenri OrlandJuyeon Yi2014-11-07T13:09:42Z2015-03-25T09:16:39Zhttp://eprints.imtlucca.it/id/eprint/2348This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/23482014-11-07T13:09:42ZExperimental set-up and optimization of a gamma-ray spectrometer for measurement of cosmogenic radionuclides in meteorites We have developed a highly efficient and selective gamma-ray spectrometer with extremely low background for activity measurement of gamma emitting cosmogenic radionuclides in meteorites. This spectrometer can operate in specific modes to match decay scheme of a particular radionuclide and is specially suited for measurement of positron emitters. The system consists of a hyperpure Ge detector (3 kg, 147 relative efficiency), operating in coincidence with an umbrella of NaI(Tl) scintillator (90 kg) in order to achieve low background. The system is tuned such that strong interference due to naturally occurring uranium daughters, e.g. 214Bi present in the meteorites and in the laboratory environment, is minimized. It enables us to measure 44Ti ( T 1 / 2 = 59.2 y ) which is ideal for studying centennial scale variations of cosmic ray flux in the interplanetary space with good reliability. The specific configuration of the coincidence system and electronics are described here. Carla TariccoNarendra BhandariPaolo ColombettiNeeharika VermaGianna Vivaldogianna.vivaldo@imtlucca.it2014-11-06T14:31:07Z2015-03-25T09:16:39Zhttp://eprints.imtlucca.it/id/eprint/2346This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/23462014-11-06T14:31:07ZA large cavity gamma ray spectrometer for measurement of cosmogenic radionuclides in astromaterials by whole rock countingFor resolving the ongoing debate that the Earth's climate may respond to solar activity variations, it is necessary to reconstruct a high resolution time series of heliospheric magnetic field in the past and correlate it to climatic records. The solar magnetic activity modulates the galactic cosmic ray flux, which is responsible for producing radioactive nuclides in rocks on planetary surfaces and in meteorites. To measure the minute quantity of γ emitting cosmogenic radionuclides, we have set up a low background, highly specific and selective γ-ray spectrometer. Using this spectrometer, we have reconstructed the solar activity over the past 3 centuries by measuring 44Ti and 26Al in meteorite falls; in particular we have shown that the intensity of cosmic rays has linearly decreased, in agreement with some models proposed for the past solar activity. In order to improve the Ge-NaI coincidence spectrometer, crucial for selective 44Ti detection, we have developed a multiparametric acquisition system. The flexibility of optimizing appropriate energy channels allows more reliable measurement of the small activity present in meteorites.Carla TariccoPaolo ColombettiNeeharika VermaGianna Vivaldogianna.vivaldo@imtlucca.itNarendra Bhandari2014-07-03T12:17:44Z2016-04-06T09:47:39Zhttp://eprints.imtlucca.it/id/eprint/2242This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/22422014-07-03T12:17:44ZLa spesa farmaceutica territoriale convenzionata: il modello FarmaRegio per l'analisi della variabilità regionaleSi presenta la prima versione di FarmaRegio, modello econometrico per l'analisi della variabilità regionale della spesa farmaceutica territoriale convenzionata (un panel ad effetti casuali). Si suggeriscono due prospettive di lettura: da un lato, la valutazione della significatività delle variabili esplicative; dall'altro, l'interpretazione della relazione funzionale stimata come possibile benchmark con cui chiedere alle Regioni di confrontarsi. Nel primo caso, emergono chiare indicazioni di policy: la rilevanza del reddito e quindi dei flussi di perequazione a sostegno dei LEA, ma anche l'importanza degli strumenti di regolazione lato offerta/domanda, e delle riforme pro concorrenziali della distribuzione al dettaglio. Poco significativo appare l'impatto dell'invecchiamento, la qual cosa dovrebbe far riflettere sul peso da assegnare a questa variabile nell'allocazione interregionale delle risorse oppure, nel caso in cui il risultato derivasse da razionamenti dell'offerta, sull'utilità di ripristinare vincoli di destinazione mirati su una selezione di prestazioni. Nel secondo caso, la relazione funzionale media può concorrere a dare concretezza a quel riferimento ai costi standard dei LEA presente anche nel recente disegno di legge applicativo dell'articolo 119 della Costituzione.Chiara BonassiLaura MagazziniFabio Pammollif.pammolli@imtlucca.itMassimo Riccabonimassimo.riccaboni@imtlucca.itNicola C. Salerno2014-01-15T15:23:51Z2014-01-15T15:44:56Zhttp://eprints.imtlucca.it/id/eprint/2088This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/20882014-01-15T15:23:51ZCognition in information evaluation: the effect of reputation in decisions making and learning strategies for discovering good sellers in a base market Walter Quattrociocchiwalter.quattrociocchi@imtlucca.itMario Paolucci2013-12-04T11:19:57Z2013-12-04T11:19:57Zhttp://eprints.imtlucca.it/id/eprint/2022This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/20222013-12-04T11:19:57ZThe Shadow of PositivismStefano Gatteistefano.gattei@imtlucca.it2013-12-04T10:31:22Z2013-12-04T10:31:22Zhttp://eprints.imtlucca.it/id/eprint/2034This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/20342013-12-04T10:31:22ZDeviazioni perfettamente ragionevoli dalle vie battuteStefano Gatteistefano.gattei@imtlucca.it2013-11-28T14:15:28Z2014-10-09T09:20:25Zhttp://eprints.imtlucca.it/id/eprint/1961This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/19612013-11-28T14:15:28ZNumerical analysis of fracture mechanisms and failure modes in bi-layered structural componentsThe problem of crack propagation in bi-layered structural components is addressed. Due to the presence of the bi-material interface and depending on the loading direction, a competition between different crack trajectories (failure modes) can take place. The quantification of the dominant failure mode and of the prevailing fracture mechanism is very often a challenging task, although it is crucial for design purposes. In this contribution, starting from the experimental observation of failure modes in a variety of engineering applications involving bi-layered structural components, an interpretation is proposed in the framework of the finite elements discretization and linear elastic fracture mechanics. The effect of thermo-elastic and residual stresses on the stability of crack propagation is carefully examined. Numerical results confirm the qualitative experimental observations of failure modes in bi-layered structural elements used for rock drilling applications. Alberto CarpinteriMarco Paggimarco.paggi@imtlucca.it2013-11-28T14:04:38Z2014-10-09T09:20:25Zhttp://eprints.imtlucca.it/id/eprint/1959This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/19592013-11-28T14:04:38ZAcoustic emission monitoring and numerical modeling of FRP delamination in RC beams with non-rectangular cross-sectionA case study concerning both numerical modeling and in-situ monitoring of a retrofitted RC beam with non-rectangular cross-section is presented. Before retrofitting, non-destructive techniques, such as pull-out and impact tests, were used to estimate the mechanical parameters of concrete. At the same time, a long-term monitoring with the Acoustic Emission (AE) technique was carried out in order to investigate on creep effects and microcracking phenomena. Then, after a complete removal of the overload and retrofitting with FRP sheets, an in-situ loading test was performed. At that stage, the AE technique was again profitably used for the analysis of the cracking progression leading to FRP debonding. A numerical model of the structure is then proposed in the framework of the FE discretization with mechanical parameters estimated according to an inverse analysis on the monitored mechanical behavior of the structure before retrofitting. According to this model it is shown that, when the flexural inertia of the retrofitted beam is considerably higher than that of the unrepaired beam, snap-back instabilities can take place. Finally, considering the self-similarity between the acoustic emission phenomenon and seismicity, an analogy between the snap-back instability of the FRP delamination and that occurring during fault growth is proposed.Alberto CarpinteriGiuseppe LacidognaMarco Paggimarco.paggi@imtlucca.it2013-11-28T12:56:37Z2014-10-09T09:20:26Zhttp://eprints.imtlucca.it/id/eprint/1958This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/19582013-11-28T12:56:37ZOn the resolution dependence of micromechanical contact models In this study we deal with the problem of normal contact between rough surfaces. A power spectral density of the asperity heights which obeys a power-law within a given range of wavelengths has been considered. Hence, the resolution dependence of the statistical parameters computed according to the random process theory, of the plasticity index and of the contact predictions provided by stochastic and fractal contact models is discussed and emphasized. It is demonstrated that the plasticity index diverges to infinity when the lower cut-off length of the system vanishes, whereas the slope of the real contact area versus normal load curve tends to zero. In this limit case stochastic and fractal approaches predict either a vanishing real contact area or an infinite normal pressure, regardless of the asperity deformation assumptions. On the other hand, when a non-zero lower cut-off length exists, finite contact predictions can be obtained by applying the contact models at that scale length. This possibility is numerically investigated and, comparing contact results of several models, it is shown that the plasticity index plays an important role for the characterization of the interface mechanical response. Giorgio ZavariseMauro Borri BrunettoMarco Paggimarco.paggi@imtlucca.it2013-11-28T12:53:08Z2014-10-09T09:20:25Zhttp://eprints.imtlucca.it/id/eprint/1957This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/19572013-11-28T12:53:08ZAnalytical study of the singularities arising at multi-material interfaces in 2D linear elastic problems The problem of stress singularities due to multi-material junctions in the material microstructure is addressed in the framework of the eigenfunction expansion method, provided that the eigenvalues are explicitly assumed complex. A novel efficient numerical procedure for computing the order of the stress singularity is presented. The numerical method can also be used to solve analogous singularity problems in anisotropic elasticity. According to this procedure, new problems of bi- and tri-material junctions occurring in the material microstructure are examined, paying special attention to the role played by Mode-I and Mode-II deformation. The effects of both the properties of the matrix and of the presence of transgranular cracks on the order of stress singularities are carefully investigated. Alberto CarpinteriMarco Paggimarco.paggi@imtlucca.it2013-11-25T15:07:49Z2014-10-09T09:20:25Zhttp://eprints.imtlucca.it/id/eprint/1955This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/19552013-11-25T15:07:49ZSelf-similarity and crack growth instability in the correlation between the Paris’ constants In this note the question about the existence of a correlation between the parameters C and m of the Paris’ law is re-examined. According to dimensional analysis and incomplete self-similarity concepts applied to the linear range of fatigue crack growth, a power-law asymptotic representation relating the parameter C to m and to the governing variables of fatigue is derived. Then, from the observation that the Griffith–Irwin instability must coincide with the Paris’ instability at the onset of rapid crack growth, the exponents entering this correlation are determined. A fair good agreement is found between the proposed theory and extensive experimental data. Alberto CarpinteriMarco Paggimarco.paggi@imtlucca.it2013-11-25T14:54:27Z2014-10-09T09:20:25Zhttp://eprints.imtlucca.it/id/eprint/1954This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/19542013-11-25T14:54:27Zctal and multifractal approaches for the analysis of crack-size dependent scaling laws in fatigueMarco Paggimarco.paggi@imtlucca.itAlberto Carpinteri2013-11-25T14:45:53Z2014-10-09T09:20:25Zhttp://eprints.imtlucca.it/id/eprint/1953This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/19532013-11-25T14:45:53ZCohesive versus overlapping crack model for a size effect analysis of RC elements in bendingThe well-known Cohesive Crack Model describes strain localization with a softening stress
variation in concrete members subjected to tension. An analogous behaviour is also observed in compression,
when strain localization takes place in a damaged zone and the stress reaches the compressive strength with
surface energy dissipation. In the present paper, we propose the new concept of Overlapping Crack Model,
which is analogous to the cohesive one and permits to simulate material compenetration. The two aforementioned elementary models are merged into a more complex algorithm able to describe both cracking and crushing growths during loading processes in RC members. A numerical procedure based on elastic coefficients is developed, taking into account the proposed constitutive laws in tension and compression. With this algorithm, it is possible to effectively capture the flexural behaviour of RC beams by varying the reinforcement percentage and/or the beam depthAlberto CarpinteriMauro CorradoMarco Paggimarco.paggi@imtlucca.itGiuseppe Mancini2013-11-25T14:33:22Z2014-10-09T09:20:25Zhttp://eprints.imtlucca.it/id/eprint/1952This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/19522013-11-25T14:33:22ZOn the competition between delamination and shear failure in retrofitted concrete beams and related scale effectsMarco Paggimarco.paggi@imtlucca.itAlberto CarpinteriGiuseppe Lacidogna2013-11-25T14:14:28Z2014-10-09T09:20:26Zhttp://eprints.imtlucca.it/id/eprint/1951This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/19512013-11-25T14:14:28ZSnap-back and snap-through instabilities due to contact loss in the stick-slip motion of rough surfacesMarco Paggimarco.paggi@imtlucca.itGiorgio Zavarise2013-11-25T13:46:28Z2014-10-09T09:20:25Zhttp://eprints.imtlucca.it/id/eprint/1950This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/19502013-11-25T13:46:28ZA Coupled Contact and Decohesion Analysis of Laminated BeamsThe problem of interface decohesion in laminated beams is addressed with reference to the double cantilever beam (DCB) geometry. The paper deals with the analysis of the influence of non-uniform bonding properties or interfacial defects on the crack propagation process and its stability. In spite of the relative simplicity of the considered case study, which is under pure Mode I deformation, a contact problem takes place due to the decohesion. The occurrence of contact makes the problem highly non-linear, since the extension of the contact area is a priori unknown. The finite element method with a generalized interface constitutive law is used to enforce the contact constraint along the interface and to model the progress of the delamination process.Alberto CarpinteriMarco Paggimarco.paggi@imtlucca.itGiorgio Zavarise2013-11-25T13:17:08Z2014-10-09T09:20:25Zhttp://eprints.imtlucca.it/id/eprint/1949This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/19492013-11-25T13:17:08ZAre the Paris’ law parameters dependent on each other?The question about the existence of a correlation between the parameters C and m of the
Paris’ law is re-examined in this paper. According to dimensional analysis and incomplete self-similarity
concepts applied to the linear range of fatigue crack growth, a power-law asymptotic representation relating
the parameter C to m and to the governing variables of the fatigue phenomenon is derived. Then, from the
observation that the Griffith-Irwin instability must coincide with the Paris’ instability at the onset of rapid
crack growth, the exponents entering this correlation are determined. A fair good agreement is found between
the proposed correlation and the experimental data concerning Aluminium, Titanium and steel alloys.Alberto CarpinteriMarco Paggimarco.paggi@imtlucca.it2013-11-25T12:21:56Z2014-10-09T09:20:25Zhttp://eprints.imtlucca.it/id/eprint/1948This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/19482013-11-25T12:21:56ZAre the Paris' law parameters dependent on each other?The question about the existence of a correlation between the parameters C and m of the Paris’ law is
re-examined in this paper. According to dimensional analysis and incomplete self-similarity concepts
applied to the linear range of fatigue crack growth, a power-law asymptotic representation relating the
parameter C to m and to the governing variables of the fatigue phenomenon is derived. Then, from the
observation that the Griffith-Irwin instability must coincide with the Paris’ instability at the onset of rapid
crack growth, the exponents entering this correlation are determined. A fair good agreement is found
between the proposed correlation and the experimental data concerning Aluminium, Titanium and steel
alloysAlberto CarpinteriMarco Paggimarco.paggi@imtlucca.it2013-11-19T15:42:35Z2014-10-09T09:20:26Zhttp://eprints.imtlucca.it/id/eprint/1914This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/19142013-11-19T15:42:35ZReliability of Micromechanical Contact Models: a Still Open IssueThe assumption of perfectly flat surfaces within the context of the contact problems constitutes very often an oversimplification of the reality. In fact, when real surfaces are examined more in details, roughness can be found at different scale lengths. This fundamental feature poses enormous difficulties on the mathematical modeling of the physics of the contact problems. Nevertheless, the study of the effect of the multiscale roughness on the contact predictions is crucial from the engineering point of view. To deal with this problem several micromechanical contact models have been developed since the middle of the 19th Century. Such models are based on very different mathematical frameworks, with a consequent lack of standardization. The recent perspective to apply such models to smaller and smaller scale lengths, down to the nanoscale, makes the reliability of these models a still open issue. The basic aim of this chapter is to provide a detailed review of the most popular contact models available in the literature. Moreover we focus one the crucial intent of providing a degree of confidence about the differences between the contact predictions provided by the models. For this purpose a critical comparison of the outcomes of such models by applying them to numerically generated rough surfaces is then proposed.Giorgio ZavariseMarco Paggimarco.paggi@imtlucca.it2013-11-07T11:19:34Z2013-11-07T11:19:34Zhttp://eprints.imtlucca.it/id/eprint/1884This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/18842013-11-07T11:19:34ZAccessibility in commuting systems network based performance indicatorsThe aim of this paper is to contribute to the discussion on accessibility by adopting complex network analysis as a base for constructing accessibility indicators. In this case, a contribution is offered in construction of two groups of indicators: travel cost and gravity based indexes. A case study is proposed on the level of accessibility of two towns of commuters in the island of Sardinia, Italy.Andrea De MontisSimone CaschiliMichele CampagnaAlessandro Chessaalessandro.chessa@imtlucca.itGiancarlo Deplano2013-11-07T11:03:39Z2013-11-20T09:08:17Zhttp://eprints.imtlucca.it/id/eprint/1883This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/18832013-11-07T11:03:39ZThe structure of interurban traffic: a weighted network analysisWe study the structure of the network representing the interurban commuting traffic of the Sardinia region, Italy, which amounts to 375 municipalities and 1 600 000 inhabitants. We use a weighted network representation in which vertices correspond to towns and the edges correspond to the actual commuting flows among those towns. We characterize quantitatively both the topological and weighted properties of the resulting network. Interestingly, the statistical properties of the commuting traffic exhibit complex features and nontrivial relations with the underlying topology. We characterize quantitatively the traffic backbone among large cities and we give evidence for a very high heterogeneity of the commuter flows around large cities. We also discuss the interplay between the topological and dynamical properties of the network as well as their relation with sociodemographic variables such as population and monthly income. This analysis may be useful at various stages in environmental planning and provides analytical tools for a wide spectrum of applications ranging from impact evaluation to decision making and planning support. Andrea De MontisMarc BarthélemyAlessandro Chessaalessandro.chessa@imtlucca.itAlessandro Vespignani2013-11-07T10:46:55Z2013-11-07T11:21:11Zhttp://eprints.imtlucca.it/id/eprint/1881This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/18812013-11-07T10:46:55ZComplex networks theory for policy making and planning: a research agendaThe emerging new Science of Networks is providing an elegant paradigm for the characterization of the broad area of Complex Systems. New research perspectives have been opened in the study of many real phenomena and processes, and recently fields like urban, regional, and environmental sciences have gained new insights from the tools provided
by Network Science. The complex networks analysis becomes a useful framework in these fields to disentangle problems of a complex and unpredictable nature.
This paper presents a research agenda on a number of operative tools borrowed from complex network analysis for regional studies: the comparative analysis of commuting systems, the investigation on the influence of spatial properties on complex networks, the detection of
communities in commuting systems and the integration between network analysis and geographical information systems.Andrea De MontisAlessandro Chessaalessandro.chessa@imtlucca.itMichele CampagnaSimone CaschiliGiancarlo Deplano2013-11-06T16:01:22Z2014-09-02T09:48:04Zhttp://eprints.imtlucca.it/id/eprint/1880This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/18802013-11-06T16:01:22ZGrouping complex systems: a weighted network comparative analysisIn this study, the authors compare two inter-municipal commuting networks (MCN) pertaining to the Italian islands of Sardinia and Sicily, by approaching their characterization through a weighted network analysis. They develop on
the results obtained for the MCN of Sardinia (De Montis et al. 2007) and attempt to use network analysis as a mean of detection of similarities or dissimilarities between the systems at hand.Andrea De MontisAlessandro Chessaalessandro.chessa@imtlucca.itMichele CampagnaSimone CaschiliGiancarlo Deplano2013-11-06T15:47:22Z2013-11-06T15:47:22Zhttp://eprints.imtlucca.it/id/eprint/1879This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/18792013-11-06T15:47:22ZModeling commuters dynamics as complex network: the influence of the spaceThis study extends previous works developed by the authors analysing the interplay between the dynamics and the economics of the real network underlying the
regional intermunicipal commuting system of Sardinia, Italy. Further insights have been earned into the influence of the network spatial properties, by means of network
modeling in GIS environment, which takes into account the intermunicipal distance features of the corresponding physical transport network. The authors discuss how modelling complex networks in a GIS environment may be
considered an innovative approach in the field, as it allows to better think spatially about complex network models. In this perspective, they outlook a a working
framework on the possible integration settings between GIS and complex networks models.Michele CampagnaSimone CaschiliAlessandro Chessaalessandro.chessa@imtlucca.itAndrea De MontisGiancarlo Deplano2013-11-06T14:46:17Z2013-11-07T11:20:32Zhttp://eprints.imtlucca.it/id/eprint/1878This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/18782013-11-06T14:46:17ZInspecting the influence of space on a real complex networkThe paradigm of complex network provides the analysts with the opportunity to model real systems by invoking the interaction properties between elements and their topology. Recently, many scholars have applied network analysis when studying socio-economic processes in urban, regional, and environmental planning. Within this realms, complex
network theory can be interpreted as an innovative analytical framework for analysing and planning systems characterised by uncertainty and unpredictability.
After this introductory remarks, the aim of this paper is to present and comment results obtained by applying complex network analysis to the characterization of topological, traffic and spatial properties of commuters’ systems of insular Italy.Michele CampagnaSimone CaschiliAlessandro Chessaalessandro.chessa@imtlucca.itAndrea De MontisGiancarlo Deplano2013-10-03T13:31:30Z2016-04-06T10:05:02Zhttp://eprints.imtlucca.it/id/eprint/1814This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/18142013-10-03T13:31:30ZStretching HomopolymersForce-induced stretching of polymers is important in a variety of contexts. We have used theory and simulations to describe the response of homopolymers, with N monomers, to an external force (f ) in good and poor solvents. In good solvents and for sufficiently large N we show, in accord with scaling predictions, that the mean extension along the f axis 〈Z〉 ∼ f for small f and 〈Z〉 ∼ f 2/3 (the Pincus regime) for intermediate values of f. The theoretical predictions for 〈Z〉 as a function of f are in excellent agreement with simulations for N = 100 and 1600. However, even with N = 1600, the expected Pincus regime is not observed due to the breakdown of the assumptions in the blob picture for finite N. We predict the Pincus scaling in a good solvent will be observed for N ≳ 105. The force-dependent structure factors for a polymer in a poor solvent show that there is a hierarchy of structures, depending on the nature of the solvent. For a weakly hydrophobic polymer, various structures (ideal conformations, self-avoiding chains, globules, and rods) emerge on distinct length scales as f is varied. A strongly hydrophobic polymer remains globular as long as f is less than a critical value fc. Above fc, an abrupt first-order transition to a rodlike structure occurs. Our predictions can be tested using single molecule experiments. Greg Morrisongreg.morrison@imtlucca.itChangbong HyeonNgo Minh ToanBae-Yeun HaD. Thirumalai2013-09-17T13:13:13Z2013-09-17T13:13:13Zhttp://eprints.imtlucca.it/id/eprint/1785This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/17852013-09-17T13:13:13ZSuboptimal Solutions to Dynamic Optimization Problems: Extended Ritz Method Versus Approximate Dynamic ProgrammingGiorgio Gneccogiorgio.gnecco@imtlucca.itMarcello SanguinetiRiccardo Zoppoli2013-09-17T13:12:54Z2013-09-17T13:12:54Zhttp://eprints.imtlucca.it/id/eprint/1783This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/17832013-09-17T13:12:54ZExploiting Structural Results in Approximate Dynamic ProgrammingEfforts to cope with the curse of dimensionality in Dynamic Programming (DP) follow two main directions: i) problem simplification by simpler models and ii) use of smart approximators for the cost-to-go and/or policy functions. Here we focus on ii). We consider: a) structural properties of the cost-to-go and/or policy functions (to restrict approximation to certain function classes and to chose the approximators); b) suitable norms of the approximation error (to estimate how it propagates through stages). These ingredients can be combined to develop efficient approximate
DP algorithms.Giorgio Gneccogiorgio.gnecco@imtlucca.itMarcello SanguinetiRiccardo Zoppoli2013-09-17T08:11:13Z2013-09-17T08:11:13Zhttp://eprints.imtlucca.it/id/eprint/1756This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/17562013-09-17T08:11:13ZDeriving Approximation Error Bounds via Rademacher’s Complexity and Learning TheoryGiorgio Gneccogiorgio.gnecco@imtlucca.itMarcello Sanguineti2012-10-19T10:54:55Z2012-10-19T10:54:55Zhttp://eprints.imtlucca.it/id/eprint/1417This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/14172012-10-19T10:54:55Z[rezension von] Marica Tolomelli: Terrorismo e società. Il pubblico dibattito in Italia e in Germania negli anni SettantaFiammetta Balestraccifiammetta.balestracci@imtlucca.it2012-10-18T13:31:24Z2012-10-18T13:44:28Zhttp://eprints.imtlucca.it/id/eprint/1413This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/14132012-10-18T13:31:24Z[recensione a] Nicholas Stargardt, La guerra dei bambini. Infanzia e vita quotidiana durante il nazismoFiammetta Balestraccifiammetta.balestracci@imtlucca.it2012-09-25T12:27:54Z2013-03-07T12:56:25Zhttp://eprints.imtlucca.it/id/eprint/1379This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/13792012-09-25T12:27:54ZAutomatic Correctness Proofs for Logic Program TransformationsThe many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-founded orderings with the proof trees of the atoms belonging to the least Herbrand models of the programs. In practice, these orderings are given by ‘clause measures’, that is, measures associated with the clauses of the programs to be transformed. In the unfold/fold transformation systems proposed so far, clause measures are fixed in advance, independently of the transformations to be proved correct. In this paper we propose a method for the automatic generation of the clause measures which, instead, takes into account the particular program transformation at hand. During the transformation process we construct a system of linear equations and inequations whose unknowns are the clause measures to be found, and the correctness of the transformation is guaranteed by the satisfiability of that system. Through some examples we show that our method is able to establish in a fully automatic way the correctness of program transformations which, by using other methods, are proved correct at the expense of fixing sophisticated clause measures. Alberto PettorossiMaurizio ProiettiValerio Sennivalerio.senni@imtlucca.it2012-07-02T13:07:09Z2013-04-16T14:20:56Zhttp://eprints.imtlucca.it/id/eprint/1296This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/12962012-07-02T13:07:09ZThe ‘Primitive Faces’ of Giorgio de Chirico’s mannequins, 1914-15Silvia Loretisilvia.loreti@imtlucca.it2012-03-06T15:10:50Z2013-09-30T12:24:26Zhttp://eprints.imtlucca.it/id/eprint/1227This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/12272012-03-06T15:10:50ZSliding mode control of a mobile robot for dynamic obstacle
avoidance based on a time-varying harmonic potential fieldIn this paper, a harmonic potential field method for dynamic environments is proposed to generate an on-line reference trajectory for a wheeled mobile robot. A sliding mode controller is used to make the robot move along the prescribed trajectory determined by the gradient lines. The potential field is modified on-line, in order to make the robot avoid the collision with obstacles which move along non a-priori known trajectories with time-varying speed. The mechanism through which the field is modified is based on the so-called ‘collision cone’ concept.Antonella FerraraMatteo Rubagotti2012-03-06T15:01:57Z2013-09-30T12:24:52Zhttp://eprints.imtlucca.it/id/eprint/1226This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/12262012-03-06T15:01:57ZGradient tracking based second order sliding mode control
of a wheeled vehicleAntonella FerraraMatteo Rubagotti2012-02-24T10:49:38Z2013-11-20T14:02:02Zhttp://eprints.imtlucca.it/id/eprint/1165This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/11652012-02-24T10:49:38ZRoughness of fracture surfacesWe study the roughness of fracture surfaces of three-dimensional samples through numerical simulations of a model for quasi-static cracks known as Born Model. We find for the roughness exponent a value ζ simeq 0.5 measured for "small length scales" in microfracturing experiments. Our simulations confirm that at small length scales the fracture can be considered as quasi-static. The isotropy of the roughness exponent on the crack surface is also showed. Finally, considering the crack front, we compute the roughness exponents of longitudinal and transverse fluctuations of the crack line (ζpar ~ ζ⊥ ~ 0.5). They result in agreement with experimental data, and support the possible application of the model of line depinning in the case of long-range interactions.Andrea ParisiGuido Caldarelliguido.caldarelli@imtlucca.itLuciano Pietronero2012-02-21T11:14:52Z2012-02-21T11:16:19Zhttp://eprints.imtlucca.it/id/eprint/1138This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/11382012-02-21T11:14:52ZReply to the Comment by H. Tephany and J. Nahmias on “Percolation in real wildfires” by G. Caldarelli et al.Guido Caldarelliguido.caldarelli@imtlucca.itRaffaella FrondoniAndrea GabrielliMarco MontuoriRebecca RetzlaffCarlo Ricotta2012-02-01T15:59:45Z2013-11-21T09:19:40Zhttp://eprints.imtlucca.it/id/eprint/1105This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/11052012-02-01T15:59:45ZTrading strategies in the Italian interbank marketUsing a data set which includes all transactions among banks in the Italian money market, we study their trading strategies and the dependence among them. We use the Fourier method to compute the variance–covariance matrix of trading strategies. Our results indicate that well defined patterns arise. Two main communities of banks, which can be coarsely identified as small and large banks, emerge.Giulia IoriRenato RenòGiulia De MasiGuido Caldarelliguido.caldarelli@imtlucca.it2012-02-01T15:39:59Z2018-03-08T17:09:14Zhttp://eprints.imtlucca.it/id/eprint/1104This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/11042012-02-01T15:39:59ZEnsemble approach to the analysis of weighted networksWe present an approach to the analysis of weighted networks, by providing a straightforward generalization of any network measure defined on unweighted networks, such as the average degree of the nearest neighbors, the clustering coefficient, the “betweenness,” the distance between two nodes, and the diameter of a network. All these measures are well established for unweighted networks but have hitherto proven difficult to define for weighted networks. Our approach is based on the translation of a weighted network into an ensemble of edges. Further introducing this approach we demonstrate its advantages by applying the clustering coefficient constructed in this way to two real-world weighted networks.Sebastian E. AhnertDiego Garlaschellidiego.garlaschelli@imtlucca.itThomas M.A. FinkGuido Caldarelliguido.caldarelli@imtlucca.it2012-02-01T15:35:22Z2018-03-08T17:09:24Zhttp://eprints.imtlucca.it/id/eprint/1103This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/11032012-02-01T15:35:22ZInterplay between topology and dynamics in the World Trade WebWe present an empirical analysis of the network formed by the trade relationships between all world countries, or World Trade Web (WTW). Each (directed) link is weighted by the amount of wealth flowing between two countries, and each country is characterized by the value of its Gross Domestic Product (GDP). By analysing a set of year-by-year data covering the time interval 1950–2000, we show that the dynamics of all GDP values and the evolution of the WTW (trade flow and topology) are tightly coupled. The probability that two countries are connected depends on their GDP values, supporting recent theoretical models relating network topology to the presence of a `hidden' variable (or fitness). On the other hand, the topology is shown to determine the GDP values due to the exchange between countries. This leads us to a new framework where the fitness value is a dynamical variable determining, and at the same time depending on, network topology in a continuous feedback. Diego Garlaschellidiego.garlaschelli@imtlucca.itTiziana Di MatteoTomaso AsteGuido Caldarelliguido.caldarelli@imtlucca.itMaria Immacolata Loffredo2012-02-01T14:07:02Z2014-12-18T15:51:42Zhttp://eprints.imtlucca.it/id/eprint/1102This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/11022012-02-01T14:07:02ZUncovering the topology of configuration space networksThe configuration space network (CSN) of a dynamical system is an effective approach to represent the ensemble of configurations sampled during a simulation and their dynamic connectivity. To elucidate the connection between the CSN topology and the underlying free-energy landscape governing the system dynamics and thermodynamics, an analytical solution is provided to explain the heavy tail of the degree distribution, neighbor connectivity, and clustering coefficient. This derivation allows us to understand the universal CSN topology observed in systems ranging from a simple quadratic well to the native state of the beta3s peptide and a two-dimensional lattice heteropolymer. Moreover, CSNs are shown to fall in the general class of complex networks described by the fitness model.David GfellerDavid Morton de LachapellePaolo De Los RiosGuido Caldarelliguido.caldarelli@imtlucca.itFrancesco Rao2012-02-01T14:01:47Z2018-03-08T17:09:03Zhttp://eprints.imtlucca.it/id/eprint/1101This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/11012012-02-01T14:01:47ZSelf-organized network evolution coupled to extremal dynamicsThe interplay between topology and dynamics in complex networks is a fundamental but widely unexplored problem. Here, we study this phenomenon on a prototype model in which the network is shaped by a dynamical variable. We couple the dynamics of the Bak–Sneppen evolution model with the rules of the so-called fitness network model for establishing the topology of a network; each vertex is assigned a 'fitness', and the vertex with minimum fitness and its neighbours are updated in each iteration. At the same time, the links between the updated vertices and all other vertices are drawn anew with a fitness-dependent connection probability. We show analytically and numerically that the system self-organizes to a non-trivial state that differs from what is obtained when the two processes are decoupled. A power-law decay of dynamical and topological quantities above a threshold emerges spontaneously, as well as a feedback between different dynamical regimes and the underlying correlation and percolation properties of the network.Diego Garlaschellidiego.garlaschelli@imtlucca.itAndrea CapocciGuido Caldarelliguido.caldarelli@imtlucca.it2012-02-01T13:51:08Z2012-02-01T13:51:48Zhttp://eprints.imtlucca.it/id/eprint/1100This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/11002012-02-01T13:51:08ZThe Italian interbank network: statistical properties and a simple modelWe use the theory of complex networks in order to quantitatively characterize the structure of reciprocal expositions of Italian banks in the interbank money market market. We observe two main different strategies of banks: small banks tend to be the lender of the system, while large banks are borrowers. We propose a model to reproduce the main statistical features of this market. Moreover the network analysis allows us to investigate properties of robustness of this system.Giulia De MasiGiulia IoriGuido Caldarelliguido.caldarelli@imtlucca.it2012-02-01T13:17:52Z2013-11-21T09:07:26Zhttp://eprints.imtlucca.it/id/eprint/1099This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/10992012-02-01T13:17:52ZSpectral methods cluster words of the same class in a syntactic dependency networkWe analyze here a particular kind of linguistic network where vertices represent words and edges stand for syntactic relationships between words. The statistical properties of these networks have been recently studied and various features such as the small-world phenomenon and a scale-free distribution of degrees have been found. Our work focuses on four classes of words: verbs, nouns, adverbs and adjectives. Here, we use spectral methods sorting vertices. We show that the ordering clusters words of the same class. For nouns and verbs, the cluster size distribution clearly follows a power-law distribution that cannot be explained by a null hypothesis. Long-range correlations are found between vertices in the ordering provided by the spectral method. The findings support the use of spectral methods for detecting community structure.Ramon Ferrer I CanchoAndrea CapocciGuido Caldarelliguido.caldarelli@imtlucca.it2012-01-26T14:19:40Z2014-12-05T09:24:53Zhttp://eprints.imtlucca.it/id/eprint/1086This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/10862012-01-26T14:19:40ZInvasion percolation and critical transient in the Barabási Model of human dynamicsWe introduce an exact probabilistic description for L=2 of the Barabási model for the dynamics of a list of L tasks. This permits us to study the problem out of the stationary state and to solve explicitly the extremal limit case where a critical behavior for the waiting time distribution is observed. This behavior deviates at any finite time from that of the stationary state. We study also the characteristic relaxation time for finite time deviations from stationarity in all cases showing that it diverges in the extremal limit, confirming that these deviations are important at all time.Andrea GabrielliGuido Caldarelliguido.caldarelli@imtlucca.it2012-01-25T13:12:31Z2012-01-25T13:12:31Zhttp://eprints.imtlucca.it/id/eprint/1077This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/10772012-01-25T13:12:31ZScale-free networks : complex webs in nature and technologyA variety of different social, natural and technological systems can be described by the same mathematical framework. This holds from the Internet to food webs and to boards of company directors. In all these situations, a graph of the elements of the system and their interconnections displays a universal feature. There are only a few elements with many connections and many elements with few connections. This book reports the experimental evidence of these ‘Scale-free networks’ and provides students and researchers with a corpus of theoretical results and algorithms to analyse and understand these features. The content of this book and the exposition makes it a clear textbook for beginners and a reference book for experts.Guido Caldarelliguido.caldarelli@imtlucca.it2012-01-20T10:45:29Z2012-01-25T13:10:14Zhttp://eprints.imtlucca.it/id/eprint/1076This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/10762012-01-20T10:45:29Z(edited by) Large scale structure and dynamics of complex networks: from information technology to finance and natural scienceThis book is the culmination of three years of research effort on a multidisciplinary project in which physicists, mathematicians, computer scientists and social scientists worked together to arrive at a unifying picture of complex networks. The contributed chapters form a reference for the various problems in data analysis visualization and modeling of complex networks.Guido Caldarelliguido.caldarelli@imtlucca.itAlessandro Vespignani2012-01-18T11:14:17Z2012-01-18T11:14:17Zhttp://eprints.imtlucca.it/id/eprint/1060This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/10602012-01-18T11:14:17ZRadical innovation and network evolutionThis paper examines how a radical technological innovation affects alliance formation of firms and subsequent network structures. We use longitudinal data of interfirm R&D collaborations in the biopharmaceutical industry in which a new technological regime is established. Our findings suggest that it requires radical technological change for firms to leave their embedded path of existing alliances and form new alliances with new partners. While new partners are mostly found through the firms’ existing network, we provide some insight into distant link formation with unknown partners, which contributes to our understanding of how ‘small-worlds’ might emergeSandra PhlippenMassimo Riccabonimassimo.riccaboni@imtlucca.it2011-12-06T10:39:31Z2011-12-06T10:39:31Zhttp://eprints.imtlucca.it/id/eprint/1034This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/10342011-12-06T10:39:31ZAn explicit optimal control approach for mean-risk dynamic portfolio allocationPanagiotis Patrinospanagiotis.patrinos@imtlucca.itHaralambos Sarimveis2011-12-06T10:31:11Z2011-12-06T10:31:11Zhttp://eprints.imtlucca.it/id/eprint/1033This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/10332011-12-06T10:31:11ZRobust optimal control: calculation of the explicit
control law combining dynamic programming and multiparametric optimizationPanagiotis Patrinospanagiotis.patrinos@imtlucca.itHaralambos Sarimveis2011-11-17T14:49:51Z2014-01-24T14:27:13Zhttp://eprints.imtlucca.it/id/eprint/1007This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/10072011-11-17T14:49:51ZOptimization-based feedback control of flatness in a cold tandem rollingFor the problem of feedback control of flatness in
a cold tandem rolling this paper proposes control techniques
based on quadratic optimization. Three different strategies
are proposed and compared: a centralized solution based on
a global QP problem that decides the commands to all the
actuators, and two decentralized solutions where each actuator command is optimized locally. All schemes are based on a global exchange of information about the commands generated at the previous time step at each stand, required by a synchronizing device that compensates for the numerous delays present in the mill.Alberto Bemporadalberto.bemporad@imtlucca.itDaniele Bernardinidaniele.bernardini@imtlucca.itFrancesco Alessandro CuzzolaAndrea Spinelli2011-10-31T14:19:25Z2012-01-18T08:01:43Zhttp://eprints.imtlucca.it/id/eprint/984This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/9842011-10-31T14:19:25ZSur l'interversion de l'ordre entre deux opérations sur les tribusWe characterize the measurable spaces (Ω,A) such that, for each sub-σ-field G of A and each decreasing filtered family (F_t) of sub-σ-fields of A, with F_t ↓ F_∞, we have F_t ∨ G ↓ F_∞ ∨ G. It follows a characterization of the probability spaces (Ω, A, P) such that, for each sub-σ-field G of A and each decreasing sequence (F_n) of sub-σ-fields of A, with F_n ↓ F_∞, we have ⋂_n (F_n ∨ G) ∼ F_∞ ∨ G (mod P). Irene Crimaldiirene.crimaldi@imtlucca.itGiorgio LettaLuca Pratelli2011-10-31T13:49:03Z2011-11-17T09:37:52Zhttp://eprints.imtlucca.it/id/eprint/983This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/9832011-10-31T13:49:03ZA strong form of stable convergenceWe introduce and study a strengthening of the notion of stable convergence. Irene Crimaldiirene.crimaldi@imtlucca.itGiorgio LettaLuca Pratelli2011-10-18T12:51:42Z2011-10-18T13:04:46Zhttp://eprints.imtlucca.it/id/eprint/957This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/9572011-10-18T12:51:42ZLa fondazione de «La Critica d’Arte» nelle carte di Carlo Ludovico Ragghianti : Parte II: 1936-37Emanuele Pellegriniemanuele.pellegrini@imtlucca.it2011-10-13T14:08:26Z2011-10-13T14:08:26Zhttp://eprints.imtlucca.it/id/eprint/939This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/9392011-10-13T14:08:26ZDossier sui sistemi museali in Toscana Cristina BorgioliEmanuele Pellegriniemanuele.pellegrini@imtlucca.it2011-10-13T13:53:25Z2011-10-13T13:53:25Zhttp://eprints.imtlucca.it/id/eprint/938This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/9382011-10-13T13:53:25ZViaggio in patria : Arezzo e il suo territorio nel Settecento Emanuele Pellegriniemanuele.pellegrini@imtlucca.itDonata Levi2011-10-13T13:41:48Z2011-10-13T13:41:48Zhttp://eprints.imtlucca.it/id/eprint/937This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/9372011-10-13T13:41:48ZIl gusto della critica : Francesco Tommaso Bernardi e Giacomo SardiniEmanuele Pellegriniemanuele.pellegrini@imtlucca.it2011-10-13T13:04:14Z2011-10-13T13:04:14Zhttp://eprints.imtlucca.it/id/eprint/936This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/9362011-10-13T13:04:14ZLa provincia di PisaEmanuele Pellegriniemanuele.pellegrini@imtlucca.it2011-10-12T10:39:47Z2011-10-12T10:39:47Zhttp://eprints.imtlucca.it/id/eprint/919This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/9192011-10-12T10:39:47ZDa Raffaello a Maratti : artisti e committenti in ValdinievoleEmanuele Pellegriniemanuele.pellegrini@imtlucca.it2011-10-12T10:24:06Z2011-10-12T10:24:06Zhttp://eprints.imtlucca.it/id/eprint/918This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/9182011-10-12T10:24:06Z(a cura di) Praeterita facta : scritti in onore di Amleto SpiccianiAlessandro MerloEmanuele Pellegriniemanuele.pellegrini@imtlucca.it2011-09-15T10:48:09Z2014-12-02T09:54:53Zhttp://eprints.imtlucca.it/id/eprint/888This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/8882011-09-15T10:48:09ZComunicazione verbale e non verbale nel simposio grecoMaria Luisa Catonimarialuisa.catoni@imtlucca.it2011-09-14T14:14:03Z2014-12-02T09:49:22Zhttp://eprints.imtlucca.it/id/eprint/878This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/8782011-09-14T14:14:03ZSimposio o convivioMaria Luisa Catonimarialuisa.catoni@imtlucca.it2011-09-14T10:19:09Z2014-12-02T09:49:06Zhttp://eprints.imtlucca.it/id/eprint/877This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/8772011-09-14T10:19:09ZVisioni d'arpaMaria Luisa Catonimarialuisa.catoni@imtlucca.it2011-09-14T09:43:44Z2014-12-02T09:52:42Zhttp://eprints.imtlucca.it/id/eprint/875This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/8752011-09-14T09:43:44ZIntroduzione Maria Luisa Catonimarialuisa.catoni@imtlucca.it2011-09-13T13:10:25Z2014-12-02T09:56:36Zhttp://eprints.imtlucca.it/id/eprint/868This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/8682011-09-13T13:10:25Z(a cura di ) Il patrimonio culturale in FranciaUn volume che raccoglie gli atti della Giornata di Studi tenutasi presso la Scuola Normale di Pisa nel maggio 2005 sul patrimonio culturale in Francia. Nella prima parte il volume sviluppa l'idea di patrimoine fra Rivoluzione, Impero e Restaurazione (Poulot), ma anche la storia della protezione del patrimonio culturale in Francia fino alla legge del 1913 (Lafarge) e sotto la V Repubblica (Poirier). Gli approfondimenti conducono al Novecento con il saggio Frier sulla legge del 1913 nonché la presentazione del nuovo Codice del patrimonio del 2004 (Lafarge) e i problemi del decentramento trattati da Leniaud che si rivelano molto istruttivi per un confronto con la situazione italiana. Nella seconda parte del libro vi sono invece saggi di Alain Schnapp sulle "Antiquités nationales" da Guizot a Carcopino, e di Michel Gras sugli anni più recenti, quindi un saggio esplicitamente comparativo fra Italia e Francia di Roberto Balzani, e infine Daniel Soutif che propone un confronto tra Italia e Francia a proposito dell'arte contemporanea Maria Luisa Catonimarialuisa.catoni@imtlucca.it2011-08-12T10:23:01Z2013-03-05T15:47:20Zhttp://eprints.imtlucca.it/id/eprint/816This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/8162011-08-12T10:23:01ZDNA microarray image intensity extraction using EigenspotsDNA microarrays are commonly used in the rapid analysis of gene expression in organisms. Image analysis is used to measure the average intensity of circular image areas (spots), which correspond to the level of expression of the genes. A crucial aspect of image analysis is the estimation of the background noise. Currently, background subtraction algorithms are used to estimate the local background noise and subtract it from the signal. In this paper we use principal component analysis (PCA) to de-correlate the signal from the noise, by projecting each spot on the space of eigenvectors, which we term eigenspots. PCA is well suited for such application due to the structural nature of the images. To compare the proposed method with other background estimation methods we use the industry standard signal-to-noise metric xdev.Sotirios A. Tsaftarissotirios.tsaftaris@imtlucca.itRamandeep AhujaDerek ShiellAggelos K. Katsaggelos2011-08-12T09:40:49Z2013-03-05T15:47:06Zhttp://eprints.imtlucca.it/id/eprint/815This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/8152011-08-12T09:40:49ZRetrieval accuracy of very large DNA-Based databases of digital signalsIn this paper a simulation of single query searches in very large DNA-based databases that are capable of storing and retrieving digital signals is presented. Similarly to the digital domain, a signal-to-noise ratio (SNR) measure to assess the performance of theDNA-based retrieval scheme in terms of database size and source statistics is defined. With approximations, it is shown that the SNR of any finite sizeDNA-based database is upper bounded by the SNR of an infinitely large one with the same source distribution. Computer simulations are presented to validate the theoretical outcomes.Sotirios A. Tsaftarissotirios.tsaftaris@imtlucca.itAggelos K. Katsaggelos2011-08-09T07:45:00Z2011-08-12T15:18:50Zhttp://eprints.imtlucca.it/id/eprint/773This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/7732011-08-09T07:45:00ZRisk aversion, intertemporal substitution, and the aggregate investment-uncertainty relationshipWe analyze the role of risk aversion and intertemporal substitution in a simple dynamic general equilibrium model of investment and savings. Our main finding is that risk aversion cannot by itself explain a negative relationship between aggregate investment and aggregate uncertainty, as the effect of increased uncertainty on investment also depends on the intertemporal elasticity of substitution. In particular, the relationship between aggregate investment and aggregate uncertainty is positive even if agents are very risk averse, as long as the elasticity of intertemporal substitution is low. A negative investment-uncertainty relationship requires that the relative risk aversion and the elasticity of intertemporal substitution are both relatively high or both relatively low. We also show that the implications of our model are consistent with the available empirical evidence.Enrico SaltariDavide Ticchidavide.ticchi@imtlucca.it2011-08-08T14:07:37Z2012-05-30T07:12:23Zhttp://eprints.imtlucca.it/id/eprint/772This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/7722011-08-08T14:07:37ZAn economic theory of constitutional choiceDavide Ticchidavide.ticchi@imtlucca.itAndrea Vindigniandrea.vindigni@imtlucca.it2011-08-03T10:52:17Z2011-08-04T07:30:21Zhttp://eprints.imtlucca.it/id/eprint/765This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/7652011-08-03T10:52:17ZKriging metamodels in design optimization: an automotive engineering applicationGabriella Dellinogabriella.dellino@imtlucca.itPaolo LinoCarlo MeloniAlessandro Rizzo2011-08-03T10:42:23Z2011-08-04T07:30:21Zhttp://eprints.imtlucca.it/id/eprint/764This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/7642011-08-03T10:42:23ZModeling and simulation study for the design of controlled IPMC actuatorsGabriella Dellinogabriella.dellino@imtlucca.itPaolo LinoCarlo MeloniAlessandro RizzoPaolo Di GiambernardinoAndrea Usai2011-08-02T10:17:52Z2011-08-04T07:30:21Zhttp://eprints.imtlucca.it/id/eprint/763This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/7632011-08-02T10:17:52ZModels for the design and optimization of CNG injection systemsGabriella Dellinogabriella.dellino@imtlucca.itPaolo LinoCarlo MeloniAlessandro Rizzo2011-08-02T10:15:15Z2011-08-08T08:41:01Zhttp://eprints.imtlucca.it/id/eprint/762This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/7622011-08-02T10:15:15ZOptimization issues in modeling IPMC devicesClaudia BonomoGabriella Dellinogabriella.dellino@imtlucca.itLuigi FortunaPietro GiannoneSalvatore GrazianiPaolo LinoCarlo MeloniAlessandro Rizzo2011-08-02T09:13:43Z2011-08-04T07:30:21Zhttp://eprints.imtlucca.it/id/eprint/759This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/7592011-08-02T09:13:43ZPerformance evaluation of the evolution control in design optimization assisted by Kriging surrogatesGabriella Dellinogabriella.dellino@imtlucca.itCarlo MeloniPaolo LinoAlessandro Rizzo2011-08-01T10:52:00Z2011-08-04T07:30:21Zhttp://eprints.imtlucca.it/id/eprint/749This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/7492011-08-01T10:52:00ZEnhanced evolutionary algorithms for multidisciplinary design optimization: a control engineering perspectiveThis chapter deals with the application of hybrid evolutionary methods to design optimization issues in which approximation techniques and model management strategies can be used to guide the decision making process in a multidisciplinary context. An enhanced evolutionary algorithmic scheme devoted to design optimization is proposed, and its use in real applications is illustrated in the framework of the multidisciplinary design optimization (MDO). At this aim, a case study is discussed. It relies to the field of automotive engineering in which the design optimization of a system is carried out considering simultaneously both mechanical and control requirements. The studied system is the regulator of the injection pressure of an innovative common rail system for compressed natural gas (CNG) engines, whose engineering design optimization includes several practical and numerical difficulties. To tackle such a situation, a multiobjective optimization formulation of the problem is proposed. The adopted optimization strategy pursues the Pareto optimality on the basis of fitness functions that capture domain specific design aspects as well as static and dynamic objectives. The computational experiments show the ability of the proposed method for finding a satisfactory set of efficient solutions. Gabriella Dellinogabriella.dellino@imtlucca.itPaolo LinoCarlo MeloniAlessandro Rizzo2011-07-27T08:40:30Z2011-08-05T13:15:12Zhttp://eprints.imtlucca.it/id/eprint/505This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/5052011-07-27T08:40:30ZModel predictive control of magnetic automotive actuatorsMagnetically actuated mass-spring-damper systems are common in automotive systems as components of various actuation mechanisms. They are characterized by nonlinear dynamics, tight performance specifications and physical constraints. Due to these reasons, model predictive control (MPC) is an appealing control framework for such systems. In this paper we describe different MPC approaches to control the magnetically actuated mass-spring-damper system. The MPC controller based on the complete system model achieves very good performance, yet it may be too complex to be implemented in standard automotive microcontrollers. Hence, we consider the possibility of decoupling the electromagnetic subsystem from the mechanical subsystem, assuming that the electromagnetic dynamics, controlled by an inner-loop controller, are much faster than the mechanical dynamics. Based on a previous feasibility study, we implement a control architecture in which the MPC optimizes only the dynamics of the mechanical subsystem, and we test it in closed-loop simulations with the nonlinear system. The resulting control system achieves lower performance, but it is simple enough to be implemented in an automotive microcontroller.Stefano Di CairanoAlberto Bemporadalberto.bemporad@imtlucca.itIlya KolmanovskyDavor Hrovat2011-07-27T08:39:28Z2011-08-05T13:18:09Zhttp://eprints.imtlucca.it/id/eprint/527This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/5272011-07-27T08:39:28ZOn hybrid model predictive control of sewer networksReal-time control (RTC) of sewer-network systems plays an important role in meeting increasingly restrictive environmental regulations to reduce release of untreated wastewater to the environment. This chapter presents the application of hybrid model predictive control (HMPC) on sewer systems. It is known from the literature that HMPC has a computational complexity growing exponentially with the size of the system to be controlled. However, the average solution time of modern mixed integer program (MIP) solvers is often much better than the predicted worst-case-solution time. The problem is to know when the worst-case computational complexity appears. In addition to presenting the application, a secondary aim of the chapter is to discuss the limits of applicability due to real-time constraints on computation time when HMPC is applied on large-scale systems such as sewer networks. By using a case study of a portion of the Barcelona sewer system, it is demonstrated how the computational complexity of HMPC appears for certain state and disturbance combinations. Carlos Ocampo-MartinezAlberto Bemporadalberto.bemporad@imtlucca.itAri IngimundarsonVincenç Puig Cayuela2011-07-27T08:39:18Z2011-08-05T13:17:43Zhttp://eprints.imtlucca.it/id/eprint/516This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/5162011-07-27T08:39:18ZDiscrete-time non-smooth nonlinear MPC: Stability and robustnessThis paper considers discrete-time nonlinear, possibly discontinuous, systems in closed-loop with model predictive controllers (MPC). The aim of the paper is to provide a priori sufficient conditions for asymptotic stability in the Lyapunov sense and input-to-state stability (ISS), while allowing for both the system dynamics and the value function of the MPC cost to be discontinuous functions of the state. The motivation for this work lies in the recent development of MPC for hybrid systems, which are inherently discontinuous and nonlinear. For a particular class of discontinuous piecewise affine systems, a new MPC set-up based on infinity norms is proposed, which is proven to be ISS to bounded additive disturbances. This ISS result does not require continuity of the system dynamics nor of the MPC value function. Mircea LazarW.P.M.H. HeemelsAlberto Bemporadalberto.bemporad@imtlucca.itSiep Weiland2011-07-27T08:39:14Z2011-08-05T13:17:17Zhttp://eprints.imtlucca.it/id/eprint/510This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/5102011-07-27T08:39:14ZHybrid model predictive control of induction of escherichia coliThe lactose regulation system of Escherichia coli is known to exhibit a bistable behavior. The stable states correspond to the phenotypical states of the system, induced and uninduced. Stochastic modeling of the system enables us to reproduce an experimentally observed phenomenon of spontaneous transitions between the induced and uninduced states. The average behavior of a colony of a large number of cells can be accurately described by an abstract model of the system, which is a two state Markov chain. In this paper, we consider a control problem that involves regulating the fraction of induction of a colony of Escherichia coli. We use the abstract model to design a feedback controller based on model predictive control strategy. Upon simulation, we show that the model predictive control is superior to other control strategies that we have designed before, in terms of less fluctuation in the control input and less tracking error.A. Agung JuliusM. Selman SakarAlberto Bemporadalberto.bemporad@imtlucca.itGeorge J. Pappas2011-07-27T08:39:11Z2011-08-05T13:16:49Zhttp://eprints.imtlucca.it/id/eprint/508This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/5082011-07-27T08:39:11ZSuboptimal model predictive control of hybrid systems based on mode-switching constraintsModel predictive control (MPC) is recognized as a very versatile and effective way of controlling constrained hybrid dynamical systems in closed-loop. The main drawback of hybrid MPC is the heavy computation burden of the associated on-line mixed-integer optimization. Explicit MPC solutions overcome such a problem by rewriting the control law in piecewise affine form, but are limited to relatively simple hybrid control problem setups. This paper presents an alternative approach for reducing the complexity of computations by suitably constraining the mode sequence over the prediction horizon, so that on-line optimization is solved more quickly. While tracking performance of the feedback loop may be affected because of the suboptimality of the approach, closed- loop stability is guaranteed. The effectiveness of the method is demonstrated by an example.Ari IngimundarsonCarlos Ocampo-MartinezAlberto Bemporadalberto.bemporad@imtlucca.it2011-07-27T08:39:08Z2011-08-04T07:29:07Zhttp://eprints.imtlucca.it/id/eprint/545This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/5452011-07-27T08:39:08ZA wireless magneto-resistive sensor network for real-time vehicle detectionThis works describes a prototype wireless sensor network for vehicle detection developed at the University of Siena in collaboration with the Italian highways society Autostrade S.p.A. Each wireless sensor node is composed by an in-house designed electronic board driving a 2-axis Honeywell HMC1002 magneto-resistive sensor interfaced to a Telos rev.b (Moteiv Corporation) mote, and by a Matlab/Simulink interface for collecting and processing sensor data in (soft) real-time.Alberto Bemporadalberto.bemporad@imtlucca.itF. GentileA. MecocciFrancesco MolendiF. Rossi2011-07-27T08:39:05Z2011-08-05T13:15:39Zhttp://eprints.imtlucca.it/id/eprint/484This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/4842011-07-27T08:39:05ZModel predictive control of magnetically actuated mass spring dampers for automotive applicationsMechatronic systems such as those arising in automotive applications are characterized by significant non-linearities, tight performance specifications as well as by state and input constraints which need to be enforced during system operation. This paper takes a view that model predictive control (MPC) and hybrid models can be an attractive and systematic methodology to handle these challenging control problems, even when the underlying process is not hybrid. In addition, the piecewise affine (PWA) explicit form of MPC solutions avoids on-line optimization and can make this approach computationally viable even in situations with rather constrained computational resources. To illustrate the MPC design procedure and the underlying issues, we focus on a specific non-linear process example of a mass spring damper system actuated by an electromagnet. Such a system is one of the most common elements of mechatronic systems in automotive systems, with fuel injectors representing a concrete example. We first consider a linear MPC design for the mechanical part of the system. The approach accounts for all the constraints in the system but one, which is subsequently enforced via a state-dependent saturation element. Second, a hybrid MPC approach for the mechanical subsystem is analysed that can handle all the constraints by design and achieves better performance, at the price of a higher complexity of the controller. Finally, a hybrid MPC design that also takes into account the electrical dynamics of the system is considered.Stefano Di CairanoAlberto Bemporadalberto.bemporad@imtlucca.itIlya KolmanovskyDavor Hrovat2011-07-27T08:39:04Z2011-08-04T07:29:06Zhttp://eprints.imtlucca.it/id/eprint/509This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/5092011-07-27T08:39:04ZHybrid modeling and control of a multibody magnetic actuator for automotive applicationsThis paper investigates model predictive control (MPC) techniques based on hybrid models for a multi-mass magnetic actuator. The actuator has four operating modes depending on the mutual interaction of two moving masses and is modeled as a hybrid dynamical system. The control law optimizes a performance index and enforces several types of constraints: soft-landing during collisions to reduce mechanical wear, current limits and consequent position-dependent nonlinear bounds on the available magnetic force, and restrictions on the positions of the moving masses. Two different approaches are considered: (i) a hybrid MPC design based on the full two- mass model, and (ii) a switched MPC control design, which switches between two simpler hybrid MPC controllers, one for the case in which the masses are moving in contact, and the other case where the masses are decoupled, commanded by a simple switching logic. Simulation results and performance comparisons of the two control schemes are discussed.Alberto Bemporadalberto.bemporad@imtlucca.itStefano Di CairanoIlya KolmanovskyDavor Hrovat2011-07-27T08:39:02Z2011-08-04T07:29:06Zhttp://eprints.imtlucca.it/id/eprint/520This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/5202011-07-27T08:39:02ZHybrid model predictive control based on wireless sensor feedback: an experimental studyThis paper presents the design and the experimental validation of model predictive control (MPC) of a hybrid dynamical process based on measurements collected by a wireless sensor network. The proposed setup is the prototype of an industrial application in which a remote station controls the process via wireless network links. The experimental platform is a laboratory process consisting of four infrared lamps, controlled in pairs by two on/off switches, and of a transport belt, where moving parts equipped with wireless sensors are heated by the lamps. By approximating the stationary heat spatial distribution as a piecewise affine function of the position along the belt, the resulting plant model is a hybrid dynamical system. The control architecture is based on the reference governor approach: the process is actuated by a local controller, while a hybrid MPC algorithm running on a remote base station sends optimal belt velocity set-points and lamp on/off commands over a network link exploiting the information received through the wireless network. A discrete-time hybrid model of the process is used for the hybrid MPC algorithm and for the state estimator.Alberto Bemporadalberto.bemporad@imtlucca.itStefano Di CairanoErik HenrikssonKarl Henrik Johansson2011-07-27T08:39:00Z2014-07-08T13:09:40Zhttp://eprints.imtlucca.it/id/eprint/497This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/4972011-07-27T08:39:00Z(edited by) Hybrid Systems: Computation and Control, 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. ProceedingsAlberto Bemporadalberto.bemporad@imtlucca.itAntonio BicchiGiorgio Buttazzo2011-07-27T08:38:55Z2014-01-20T15:13:54Zhttp://eprints.imtlucca.it/id/eprint/506This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/5062011-07-27T08:38:55ZMoving target detection and tracking in wireless sensor networksStefano Di CairanoAlberto Bemporadalberto.bemporad@imtlucca.itAngelita Caldelli2011-07-27T08:36:50Z2011-08-05T13:03:30Zhttp://eprints.imtlucca.it/id/eprint/479This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/4792011-07-27T08:36:50ZSquaring the circle: an algorithm for generating polyhedral invariant sets from ellipsoidal onesThis paper presents a new (geometrical) approach to the computation of polyhedral (robustly) positively invariant (PI) sets for general (possibly discontinuous) nonlinear discrete-time systems possibly affected by disturbances. Given a β-contractive ellipsoidal set View the MathML source, the key idea is to construct a polyhedral set that lies between the ellipsoidal sets View the MathML source and View the MathML source. A proof that the resulting polyhedral set is contractive and thus, PI, is given, and a new algorithm is developed to construct the desired polyhedral set. The problem of computing polyhedral invariant sets is formulated as a number of quadratic programming (QP) problems. The number of QP problems is guaranteed to be finite and therefore, the algorithm has finite termination. An important application of the proposed algorithm is the computation of polyhedral terminal constraint sets for model predictive control based on quadratic costs.
Alessandro AlessioMircea LazarAlberto Bemporadalberto.bemporad@imtlucca.itW.P.M.H. Heemels2011-07-27T08:36:41Z2014-01-20T15:22:08Zhttp://eprints.imtlucca.it/id/eprint/507This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/5072011-07-27T08:36:41ZDecentralized model predictive control of constrained linear systemsAlessandro AlessioAlberto Bemporadalberto.bemporad@imtlucca.it2011-07-27T08:36:36Z2011-08-05T12:59:53Zhttp://eprints.imtlucca.it/id/eprint/485This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/4852011-07-27T08:36:36ZCombined design of disturbance model and observer for offset-free model predictive controlThis note presents a method for the combined design of an integrating disturbance model and of the observer (for the augmented system) to be used in offset-free model predictive controllers. A dynamic observer is designed for the original (nonaugmented) system by solving an Hprop control problem aimed at minimizing the effect of unmeasured disturbances and plant/model mismatch on the output prediction error. It is shown that, when offset-free control is sought, the dynamic observer is equivalent to choosing an integrating disturbance model and an observer for the augmented system. An example of a chemical reactor shows the main features and benefits of the proposed method.Gabriele PannocchiaAlberto Bemporadalberto.bemporad@imtlucca.it2011-07-04T09:21:57Z2011-09-27T13:26:08Zhttp://eprints.imtlucca.it/id/eprint/261This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/2612011-07-04T09:21:57ZOn the role of zealotry in the voter modelWe study the voter model with a finite density of zealots—voters that never change opinion. For equal numbers of zealots of each species, the distribution of magnetization (opinions) is Gaussian in the mean-field limit, as well as in one and two dimensions, with a width that is proportional to 1/√Z , where Z is the number of zealots, independent of the total number of voters. Thus just a few zealots can prevent consensus or even the formation of a robust majority.M. MobiliaAlexander M. Petersenalexander.petersen@imtlucca.itS. Redner2011-07-01T14:44:57Z2011-08-31T14:40:39Zhttp://eprints.imtlucca.it/id/eprint/690This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/6902011-07-01T14:44:57ZIl settore farmaceutico tra barriere alla concorrenza e regolazione sul lato del consumoFabio Pammollif.pammolli@imtlucca.itMassimo Riccabonimassimo.riccaboni@imtlucca.itNicola C. Salerno2011-07-01T14:23:30Z2011-08-31T14:40:39Zhttp://eprints.imtlucca.it/id/eprint/691This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/6912011-07-01T14:23:30ZSpesa sanitaria, Demografia, IstituzioniFabio Pammollif.pammolli@imtlucca.itNicola C. Salerno2011-06-30T14:27:04Z2011-08-31T14:40:38Zhttp://eprints.imtlucca.it/id/eprint/639This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/6392011-06-30T14:27:04ZThe Growth of Business Firms: Facts and TheoryWe refer to the framework developed by Ijiri and Simon (1977) and to the notion of independent submarkets (Sutton 1998) to provide a simple candidate explanation for the shape of the firm growth distribution based on a model of proportional growth at the level of both the introduction of new products by firms and their size dynamics. We exploit the features of a unique longitudinal data set which covers the entire distribution of products and firms in the worldwide pharmaceutical industry to test the model at different levels of aggregation as well as at different time lags. Econometric investigations show that the model's predictions are in good agreement with empirical evidence. (JEL: L11, L65)Fabio Pammollif.pammolli@imtlucca.itSergey V. BuldyrevJakub GrowiecMassimo Riccabonimassimo.riccaboni@imtlucca.itH. Eugene Stanley2011-06-30T14:26:40Z2014-12-18T15:44:51Zhttp://eprints.imtlucca.it/id/eprint/643This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/6432011-06-30T14:26:40ZBetweenness centrality of fractal and nonfractal scale-free model networks and tests on real networksWe study the betweenness centrality of fractal and nonfractal scale-free network models as well as real networks. We show that the correlation between degree and betweenness centrality C of nodes is much weaker in fractal network models compared to nonfractal models. We also show that nodes of both fractal and nonfractal scale-free networks have power-law betweenness centrality distribution P(C)∼C−δ. We find that for nonfractal scale-free networks δ=2, and for fractal scale-free networks δ=2−1∕dB, where dB is the dimension of the fractal network. We support these results by explicit calculations on four real networks: pharmaceutical firms (N=6776), yeast (N=1458), WWW (N=2526), and a sample of Internet network at the autonomous system level (N=20566), where N is the number of nodes in the largest connected component of a network. We also study the crossover phenomenon from fractal to nonfractal networks upon adding random edges to a fractal network. We show that the crossover length ℓ*, separating fractal and nonfractal regimes, scales with dimension dB of the network as p−1∕dB, where p is the density of random edges added to the network. We find that the correlation between degree and betweenness centrality increases with p.Maksim KitsakShlomo HavlinGerald PaulMassimo Riccabonimassimo.riccaboni@imtlucca.itFabio Pammollif.pammolli@imtlucca.itH. Eugene Stanley2011-06-30T14:26:33Z2011-08-31T14:40:39Zhttp://eprints.imtlucca.it/id/eprint/644This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/6442011-06-30T14:26:33ZInnovation and industrial leadership: lessons from pharmaceuticalsFabio Pammollif.pammolli@imtlucca.itMassimo Riccabonimassimo.riccaboni@imtlucca.it2011-06-30T14:26:24Z2011-08-31T14:40:38Zhttp://eprints.imtlucca.it/id/eprint/645This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/6452011-06-30T14:26:24ZHealth Services in an Open Transatlantic Market: A European PerspectiveFabio Pammollif.pammolli@imtlucca.itChiara BonassiMassimo Riccabonimassimo.riccaboni@imtlucca.it2011-06-30T14:26:16Z2013-11-21T13:03:15Zhttp://eprints.imtlucca.it/id/eprint/646This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/6462011-06-30T14:26:16ZA generalized preferential attachment model for business firms growth rates: II. Mathematical treatmentWe present a preferential attachment growth model to obtain the distribution P(K) of number of units K in the classes which may represent business firms or other socio-economic entities. We found that P(K) is described in its central part by a power law with an exponent ϕ = 2+b/(1-b) which depends on the probability of entry of new classes, b. In a particular problem of city population this distribution is equivalent to the well known Zipf law. In the absence of the new classes entry, the distribution P(K) is exponential. Using analytical form of P(K) and assuming proportional growth for units, we derive P(g), the distribution of business firm growth rates. The model predicts that P(g) has a Laplacian cusp in the central part and asymptotic power-law tails with an exponent ζ = 3. We test the analytical expressions derived using heuristic arguments by simulations. The model might also explain the size-variance relationship of the firm growth rates. Fabio Pammollif.pammolli@imtlucca.itSergey V. BuldyrevMassimo Riccabonimassimo.riccaboni@imtlucca.itKazuko YamasakiDongfeng FuKaushik MatiaH. Eugene Stanley2011-06-30T14:26:09Z2013-11-21T13:05:56Zhttp://eprints.imtlucca.it/id/eprint/647This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/6472011-06-30T14:26:09ZA generalized preferential attachment model for business firms growth rates: I. Empirical evidenceWe introduce a model of proportional growth to explain the distribution P(g) of business firm growth rates. The model predicts that P(g) is Laplace in the central part and depicts an asymptotic power-law behavior in the tails with an exponent ζ = 3. Because of data limitations, previous studies in this field have been focusing exclusively on the Laplace shape of the body of the distribution. We test the model at different levels of aggregation in the economy, from products, to firms, to countries, and we find that the predictions are in good agreement with empirical evidence on both growth distributions and size-variance relationships. Fabio Pammollif.pammolli@imtlucca.itDongfeng FuSergey V. BuldyrevMassimo Riccabonimassimo.riccaboni@imtlucca.itKaushik MatiaKazuko YamasakiH. Eugene Stanley2011-06-15T08:37:37Z2011-07-11T14:35:30Zhttp://eprints.imtlucca.it/id/eprint/418This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/4182011-06-15T08:37:37ZCOWS: A Timed Service-Oriented CalculusCOWS (Calculus for Orchestration of Web Services) is a foundational language for Service Oriented Computing that combines in an original way a number of ingredients borrowed from well-known process calculi, e.g. asynchronous communication, polyadic synchronization, pattern matching, protection, delimited receiving and killing activities, while resulting different from any of them. In this paper, we extend COWS with timed orchestration constructs, this way we obtain a language capable of completely formalizing the semantics of WS-BPEL, the ‘de facto’ standard language for orchestration of web services. We present the semantics of the extended language and illustrate its peculiarities and expressiveness by means of several examples. Alessandro LapadulaRosario PuglieseFrancesco Tiezzifrancesco.tiezzi@imtlucca.it2011-06-15T08:30:11Z2011-07-11T14:35:30Zhttp://eprints.imtlucca.it/id/eprint/417This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/4172011-06-15T08:30:11ZRegulating Data Exchange in Service Oriented ApplicationsWe define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining data exchanges in terms of sets of service partner names attachable to each single datum. Service programmers explicitly write only the annotations necessary to specify the wanted policies for communicable data, while a type inference system (statically) derives the minimal additional annotations that ensure consistency of services initial configuration. Then, the language dynamic semantics only performs very simple checks to authorize or block communication. We prove that the type system and the operational semantics are sound. As a consequence, we have the following data protection property: services always comply with the policies regulating the exchange of data among interacting services. We illustrate our approach through a simplified but realistic scenario for a service-based electronic marketplace. Alessandro LapadulaRosario PuglieseFrancesco Tiezzifrancesco.tiezzi@imtlucca.it2011-06-15T08:00:24Z2011-07-11T14:35:30Zhttp://eprints.imtlucca.it/id/eprint/416This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/4162011-06-15T08:00:24ZA Calculus for Orchestration of Web ServicesWe introduce COWS (Calculus for Orchestration of Web Services), a new foundational language for SOC whose design has been influenced by WS-BPEL, the de facto standard language for orchestration of web services. COWS combines in an original way a number of ingredients borrowed from well-known process calculi, e.g. asynchronous communication, polyadic synchronization, pattern matching, protection, delimited receiving and killing activities, while resulting different from any of them. Several examples illustrates COWS peculiarities and show its expressiveness both for modelling imperative and orchestration constructs, e.g. web services, flow graphs, fault and compensation handlers, and for encoding other process and orchestration languages. Alessandro LapadulaRosario PuglieseFrancesco Tiezzifrancesco.tiezzi@imtlucca.it2011-06-06T08:38:52Z2011-07-11T14:36:25Zhttp://eprints.imtlucca.it/id/eprint/288This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/2882011-06-06T08:38:52ZBasic Observables for Probabilistic May TestingThe definition of behavioural preorders over process terms as the maximal (pre-)congruences induced by basic observables has proven to be a useful technique to define various preorders and equivalences in the non-probabilistic setting. In this paper, we consider probabilistic observables to define an observational semantics for a probabilistic process calculus. The resulting pre-congruence is proven to coincide with a probabilistic may preorder, which, in turn, corresponds to a natural probabilistic extension of the may testing preorder of De Nicola and Hennessy.Maria Carla PalmeriRocco De Nicolar.denicola@imtlucca.itMieke Massink2011-06-06T08:15:00Z2014-10-08T09:16:27Zhttp://eprints.imtlucca.it/id/eprint/289This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/2892011-06-06T08:15:00ZMulti labelled transition systems: a semantic framework for nominal calculiAction Labelled transition systems (LTS) have proved to be a fundamental model for describing and proving properties of concurrent systems. In this paper, Multiple Labelled Transition Systems (MLTS) are introduced as generalizations of LTS that permit dealing also with systems features that are becoming more and more important when considering languages and models for network aware programming. MLTS permit describing not only the actions systems can perform but also system's resources usage and their handling (creation, revelation ...) of names. To show adeguacy of our proposal we show how MLTS can be used to describe the operational semantics of one of the most studied calculus for mobility: the asynchronous [pi]-calculus.Rocco De Nicolar.denicola@imtlucca.itMichele Loreti2011-05-26T13:08:13Z2011-07-11T14:36:25Zhttp://eprints.imtlucca.it/id/eprint/287This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/2872011-05-26T13:08:13ZSession Centered Calculi for Service Oriented Computing Within the European project SENSORIA, we are developing formalisms for service description that lay the mathematical basis for analysing and experimenting with components interactions, for combining services and formalising crucial aspects of service level agreement. One of the outcome of this study is pSCC, a process calculus with explicit primitives for service definition and invocation. Central to pSCC are the notions of session and pipelining. Sessions are two sided and can be equipped with protocols executed by each side during an interaction and permit interaction patterns that are more structured than the simple one-way and request-response ones. Pipeline permits exchange of values between among sessions. The calculus is also equipped with operators for handling (unexpected) session closures that permit programming smooth propagation of session closures to partners and subsessions, so as to avoid states with dangling or orphan sessions. In the talk we will present SCC and discuss other alternatives that are (or have been) considered within the project.Rocco De Nicolar.denicola@imtlucca.it2011-05-25T13:11:34Z2011-07-11T14:36:25Zhttp://eprints.imtlucca.it/id/eprint/291This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/2912011-05-25T13:11:34ZBasic observables for a calculus for global computingWe develop the semantic theory of a foundational language for modelling applications over global computers whose interconnection structure can be explicitly manipulated. Together with process distribution, process mobility and remote asynchronous communication through distributed data repositories, the language has primitives for explicitly modelling inter-node connections and for dynamically activating and deactivating them. For the proposed language, we define natural notions of extensional observations and study their closure under operational reductions and/or language contexts to obtain barbed congruence and may testing equivalence. We then focus on barbed congruence and provide an alternative characterisation in terms of a labelled bisimulation. To test practical usability of the semantic theory, we model a system of communicating mobile devices and use the introduced proof techniques to verify one of its key properties.Rocco De Nicolar.denicola@imtlucca.itDaniele GorlaRosario Pugliese2011-05-25T12:54:48Z2014-10-08T09:20:45Zhttp://eprints.imtlucca.it/id/eprint/290This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/2902011-05-25T12:54:48ZImplementing a distributed mobile calculus using the IMC frameworkIn the last decade, many calculi for modelling distributed mobile code have been proposed. To assess their merits and encourage use, implementations of the calculi have often been proposed. These implementations usually consist of a limited part dealing with mechanisms that are specific of the proposed calculus and of a significantly larger part handling recurrent mechanisms that are common to many calculi. Nevertheless, also the "classic" parts are often re-implemented from scratch. In this paper we show how to implement a well established representative of the family of mobile calculi, the distributed [pi]-calculus, by using a Java middleware (called IMC - Implementing Mobile Calculi) where recurrent mechanisms of distributed and mobile systems are already implemented. By means of the case study, we illustrate a methodology to accelerate the development of prototype implementations while concentrating only on the features that are specific of the calculus under consideration and relying on the common framework for all the recurrent mechanisms like network connections, code mobility, name handling, etc.Lorenzo BettiniRocco De Nicolar.denicola@imtlucca.itDaniele FalassiMichele Loreti2011-05-23T14:16:45Z2011-07-11T14:36:25Zhttp://eprints.imtlucca.it/id/eprint/293This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/2932011-05-23T14:16:45ZModel checking mobile stochastic logicThe Temporal Mobile Stochastic Logic (MoSL) has been introduced in previous work by the authors for formulating properties of systems specified in StoKlaim, a Markovian extension of Klaim. The main purpose of MoSL is to address key functional aspects of global computing such as distribution awareness, mobility, and security and their integration with performance and dependability guarantees. In this paper, we present MoSL+, an extension of MoSL, which incorporates some basic features of the Modal Logic for MObility (MoMo), a logic specifically designed for dealing with resource management and mobility aspects of concurrent behaviours. We also show how MoSL+ formulae can be model-checked against StoKlaim specifications. For this purpose, we show how existing state-based stochastic model-checkers, like e.g. the Markov Reward Model Checker (MRMC), can be exploited by using a front-end for StoKlaim that performs appropriate pre-processing of MoSL+ formulae. The proposed approach is illustrated by modelling and verifying a sample system.Rocco De Nicolar.denicola@imtlucca.itPieter KatoenDiego LatellaMichele LoretiMieke Massink2011-05-23T13:25:55Z2011-07-11T14:36:25Zhttp://eprints.imtlucca.it/id/eprint/292This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/2922011-05-23T13:25:55ZGlobal computing in a dynamic network of tuple spacesWe present tKlaim (TopologicalKlaim), a process description language that retains the main features of Klaim (process distribution and mobility, remote and asynchronous communication through distributed data spaces), but extends it with new constructs to flexibly model the interconnection structure underlying a network and its evolution in time. We show how tKlaim can be used to model a number of interesting distributed applications and how systems correctness can be guaranteed, also in the presence of failures, by exploiting observational equivalences to study the relationships between descriptions of systems at different levels of abstraction.Rocco De Nicolar.denicola@imtlucca.itDaniele GorlaRosario Pugliese2011-05-17T14:26:42Z2011-07-11T14:34:34Zhttp://eprints.imtlucca.it/id/eprint/154This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/1542011-05-17T14:26:42ZGraphical Encoding of a Spatial Logic for the pi-CalculusThis paper extends our graph-based approach to the verification of spatial properties of π-calculus specifications. The mechanism is based on an encoding for mobile calculi where each process is mapped into a graph (with interfaces) such that the denotation is fully abstract with respect to the usual structural congruence, i.e., two processes are equivalent exactly when the corresponding encodings yield isomorphic graphs. Behavioral and structural properties of π-calculus processes expressed in a spatial logic can then be verified on the graphical encoding of a process rather than on its textual representation. In this paper we introduce a modal logic for graphs and define a translation of spatial formulae such that a process verifies a spatial formula exactly when its graphical representation verifies the translated modal graph formula.
Fabio GadducciAlberto Lluch-Lafuentealberto.lluch@imtlucca.it2011-05-17T14:08:06Z2011-07-11T14:34:34Zhttp://eprints.imtlucca.it/id/eprint/155This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/1552011-05-17T14:08:06ZTowards Model Checking Spatial Properties with SPINWe present an approach for the verification of spatial properties with Spin. We first extend one of Spin’s main property specification mechanisms, i.e., the linear-time temporal logic LTL, with spatial connectives that allow us to restrict the reasoning of the behaviour of a system to some components of the system, only. For instance, one can express whether the system can reach a certain state from which a subset of processes can evolve alone until some property is fulfilled. We give a model checking algorithm for the logic and propose how Spin can be minimally extended to include the algorithm. We also discuss potential improvements to mitigate the exponential complexity introduced by spatial connectives. Finally, we present some experiments that compare our Spin extension with a spatial model checker for the π-calculus. Alberto Lluch-Lafuentealberto.lluch@imtlucca.it2011-04-04T14:03:10Z2011-07-11T14:21:53Zhttp://eprints.imtlucca.it/id/eprint/257This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/2572011-04-04T14:03:10ZTranslation: Unione: le tentazioni sbagliate, by Giuliano AmatoAndrea Giannaccaria.giannaccari@imtlucca.it2011-04-04T13:36:59Z2011-07-11T14:21:53Zhttp://eprints.imtlucca.it/id/eprint/256This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/2562011-04-04T13:36:59ZTranslation: Microsoft e il flusso di informazioni. Note (comparatistiche) dal fronte antitrust/proprietà intellettuale, by Rudolph J.R. Peritz,Il contributo analizza la recente decisione del Tribunale di Primo Grado sul caso Microsoft attraverso una lettura congiunta con le omologhe pronunce nordamericane. In tale prospettiva, viene approfondito il rapporto conflittuale tra il regime di proprietà intellettuale e la normativa antitrust, ponendo particolare attenzione al flusso di informazioni quale elemento pivotale nel garantire la concorrenza attraverso l'innovazione. Andrea Giannaccaria.giannaccari@imtlucca.it2011-04-01T09:32:20Z2011-07-11T14:21:53Zhttp://eprints.imtlucca.it/id/eprint/250This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/2502011-04-01T09:32:20ZLe telecomunicazioni nell’era della convergenza tra nuove regole e apertura del mercatoCarlo Cambinic.cambini@imtlucca.itAndrea Giannaccaria.giannaccari@imtlucca.it2011-04-01T09:11:19Z2011-08-31T14:40:39Zhttp://eprints.imtlucca.it/id/eprint/249This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/2492011-04-01T09:11:19ZIntroduzione. Liberalizzazioni e concorrenza in ItaliaFabio Pammollif.pammolli@imtlucca.itCarlo Cambinic.cambini@imtlucca.itAndrea Giannaccaria.giannaccari@imtlucca.it2011-04-01T09:03:15Z2011-08-31T14:40:39Zhttp://eprints.imtlucca.it/id/eprint/248This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/2482011-04-01T09:03:15Z(a cura di) Politiche di liberalizzazione e concorrenza in Italia : proposte di riforma e linee di intervento settorialiL'Italia è uno dei paesi Ocse con la più alta regolamentazione nei diversi comparti dell'economia. Le misure recentemente adottate sono finalizzate a promuovere, attraverso l'iniezione di competitività, quel recupero di efficienza che le istituzioni comunitarie e i maggiori analisti indicano quale strumento per incentivare la crescita. Ma il permanere di rendite di posizione e di barriere alla concorrenza rende necessario intervenire sulle variabili strutturali in numerosi settori, attuando un più esteso programma di liberalizzazione capace di favorire l'affermazione di contesti realmente competitivi. Da queste premesse prendono spunto i contributi raccolti nel volume, per suggerire linee di intervento tese a facilitare l'accesso al mercato e la pluralità degli operatori e, per questa via, promuovere la produttività e la crescita.Fabio Pammollif.pammolli@imtlucca.itCarlo Cambinic.cambini@imtlucca.itAndrea Giannaccaria.giannaccari@imtlucca.it2011-03-30T10:16:41Z2011-07-11T14:21:53Zhttp://eprints.imtlucca.it/id/eprint/224This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/2242011-03-30T10:16:41ZIl caso LeeginNota a Corte Suprema degli Stati Uniti d’America, 28 giugno 2007, No. 06-480, Leegin Creative Leather Products, Inc. v. Psks, Inc. Andrea Giannaccaria.giannaccari@imtlucca.it2011-03-30T10:15:45Z2011-07-11T14:21:53Zhttp://eprints.imtlucca.it/id/eprint/230This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/2302011-03-30T10:15:45ZIl matrimonio Telecom-Telefonica, tra reti alternative e scenari di separazioneIl contributo ricostruisce le recenti vicende relative al passaggio di controllo di Telecom Italia nel più ampio contesto delle comunicazioni elettroniche, avendo particolare attenzione al ruolo dell'infrastruttura di rete e all'ipotesi di separazione al vaglio dell'Autorità di regolazione. Sono inoltre richiamate le tappe principali che hanno condotto all'attuale articolazione proprietaria, sfociata nella costituzione di Telco, e le criticità dell'"incumbent" nell'affrontare le sfide di un mercato sempre più globale. Nelle sezioni successive, sono approfondite le ipotesi di separazione funzionale della rete di accesso e la questione nodale degli investimenti necessari per il potenziamento delle infrastrutture di nuova generazione - le "Next Generation Networks" -. / The article analyses recent Telecom Italia changements in both shareholders structure as well as management composition, with specific emphasis on the agreement which has led to the creation of the Telco holding. The financial and industrial strategies of Telecom Italia are also scrutinised in the even more globalized telecomunication market, pointing out the many critical aspects that the Italian incumbent has to deal with and, above all, overcome. In this respect, it is also discussed the proposal of operational separation, which has been recently submitted to a public consultation by the Italian Regulatory Authority; and the issue of the necessary investments to boost the proper and sound development of the Next Generation Networks. Carlo Cambinic.cambini@imtlucca.itAndrea Giannaccaria.giannaccari@imtlucca.it2011-03-25T12:52:50Z2011-07-11T14:21:53Zhttp://eprints.imtlucca.it/id/eprint/220This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/2202011-03-25T12:52:50ZIl caso WanadooNota a Tribunale di Primo Grado delle Comunità Europee, 30 gennaio 2007, causa T-340/03, France Télécom c. CommissioneAndrea Giannaccaria.giannaccari@imtlucca.it2011-03-23T13:14:38Z2011-07-11T13:54:05Zhttp://eprints.imtlucca.it/id/eprint/177This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/1772011-03-23T13:14:38ZRaymond Aron face au processus de la décolonisation française sous la IVème RépubliqueLucia Bonfreschilucia.bonfreschi@imtlucca.it2011-03-23T13:14:24Z2011-07-11T13:54:05Zhttp://eprints.imtlucca.it/id/eprint/178This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/1782011-03-23T13:14:24ZIl ritorno al potere di de Gaulle e i trattati di RomaLucia Bonfreschilucia.bonfreschi@imtlucca.itChristine Vodovar2011-03-23T12:49:28Z2011-07-11T13:54:05Zhttp://eprints.imtlucca.it/id/eprint/176This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/1762011-03-23T12:49:28ZLe triangle du pouvoir: Jacques Chaban-Delmas, Georges Pompidou et le mouvement gaulliste, 1969-1972Lucia Bonfreschilucia.bonfreschi@imtlucca.it2011-03-18T14:26:14Z2014-01-24T14:27:40Zhttp://eprints.imtlucca.it/id/eprint/206This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/2062011-03-18T14:26:14ZBetween Natural Law and Evolutionism.
Political Philosophy and Classical Liberal Theory after WWII
Antonio Masalaa.masala@imtlucca.it2011-03-02T15:12:27Z2013-10-28T11:55:26Zhttp://eprints.imtlucca.it/id/eprint/135This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/1352011-03-02T15:12:27ZA Compositional Coalgebraic Model of Fusion CalculusThis paper is a further step in exploring the labelled transitions and bisimulations of fusion calculi. We follow a recent theory by the same authors and previously applied to the pi-calculus for lifting calculi with structural axioms to bialgebras and, thus, we provide a compositional model of the fusion calculus with explicit fusions. In such a model, the bisimilarity relation induced by the unique morphism to the final coalgebra coincides with fusion hyperequivalence and it is a congruence with respect to the operations of the calculus. The key novelty in our work is that we give an account of explicit fusions through labelled transitions. Interestingly enough, this approach allows to exploit for the fusion calculus essentially the same algebraic structure used for the pi-calculus.Maria Grazia Buscemim.buscemi@imtlucca.itUgo Montanari2011-03-02T14:44:00Z2011-07-11T14:33:43Zhttp://eprints.imtlucca.it/id/eprint/123This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/1232011-03-02T14:44:00ZConstraint-Based Policy Negotiation and Enforcement for Telco ServicesTelco services are evolving under several aspects: for instance, services may combine different telecommunication features (messaging, multi-media, etc.) and may be activated and controlled by applications deployed in a 3rd party domain. Telco infrastructures are following this trend by adopting service oriented architecture solutions, e.g. for composing services and for introducing uniform interaction models among services. In a SOA-based system, capabilities, requirements and general features of services can be expressed in terms of policies. Such policies are negotiated in order to define a service level agreement among the involved parties. In this paper we show how to specify, negotiate, and enforce policies for Telco services by using a constraint-based model, the cc-pi calculus. This language extends concurrent constraint programming with synchronous communication and local names, and with the notion of soft constraints, that generalise classical constraints to represent preference levels. In cc-pi calculus, policies are expressed as soft constraints and the parties involved in the negotiation as communicating processes. The model allows to specify complex scenarios in which policy negotiations and validations can be arbitrarily nested.Maria Grazia Buscemim.buscemi@imtlucca.itLaura FerrariCorrado MoisoUgo Montanari2011-03-02T14:20:15Z2011-07-11T14:33:43Zhttp://eprints.imtlucca.it/id/eprint/122This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/1222011-03-02T14:20:15ZCC-Pi: A Constraint-Based Language for Specifying Service Level AgreementsService Level Agreements are a key issue in Service Oriented Computing. SLA contracts specify client requirements and service guarantees, with emphasis on Quality of Service (cost, performance, availability, etc.). In this work we propose a simple model of contracts for QoS and SLAs that also allows to study mechanisms for resource allocation and for joining different SLA requirements. Our language combines two basic programming paradigms: name-passing calculi and concurrent constraint programming (cc programming). Specifically, we extend cc programming by adding synchronous communication and by providing a treatment of names in terms of restriction and structural axioms closer to nominal calculi than to variables with existential quantification. In the resulting framework, SLA requirements are constraints that can be generated either by a single party or by the synchronisation of two agents. Moreover, restricting the scope of names allows for local stores of constraints, which may become global as a consequence of synchronisations. Our approach relies on a system of named constraints that equip classical constraints with a suitable algebraic structure providing a richer mechanism of constraint combination. We give reduction-preserving translations of both cc programming and the calculus of explicit fusions.Maria Grazia Buscemim.buscemi@imtlucca.itUgo Montanari2011-02-25T15:18:25Z2013-05-29T12:39:31Zhttp://eprints.imtlucca.it/id/eprint/109This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/1092011-02-25T15:18:25ZLa nascita dell’Unione europea occidentale: una parentesi o un passo in avanti nel processo di costruzione europea?The article analyses in details the passage of the european integration history after the failure of European Defence Community. How did the ECSC mamber states react? After answering to this question the article focus on the italian answer. In particular it presents the reaction our diplomacy had in the major european countries and the government and parliamentary reaction within our boundaries.Maria Elena Cavallarom.cavallaro@imtlucca.it2011-02-25T15:14:00Z2013-05-29T12:44:35Zhttp://eprints.imtlucca.it/id/eprint/113This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/1132011-02-25T15:14:00ZLa integración europea de España: los organismos internacionales y los debates políticos en las Cortes (1977-1979)This essay is devoted to describe the Spanish political debate during the first democratic legislation on the european integration process. In particular it analyses the debate held in the low Chamber, the several reports delivered by the Foreign Affairs Commission and the General Parliamentary Debate. It describes the position mantained by UCD, AP, PCE, PSOE and the major regional party PNV and CiU.Maria Elena Cavallarom.cavallaro@imtlucca.it2011-02-25T14:54:02Z2013-05-29T12:43:53Zhttp://eprints.imtlucca.it/id/eprint/112This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/1122011-02-25T14:54:02ZEl europeísmo y la oposición desde el Franquismo hasta la transición democrática This essay analyses the values tributed to europeanism in Spain under the Franco regime. It takes into account the governative point of view in particular from 1957 to 1973 and the approach mantained during the same period of time by the major representatives of the antifrancoist platform, PSOE and PCE members who control the reorganization of the anti franco opposition both from outside the country and within the country itself.Maria Elena Cavallarom.cavallaro@imtlucca.it2011-02-25T14:08:46Z2013-05-29T12:44:57Zhttp://eprints.imtlucca.it/id/eprint/111This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/1112011-02-25T14:08:46ZLas raices del consenso europeista de la España democrática This article is focused on a very debated question of the spanish historiography related to the level of consensus reached during the late Seventies as far as foreign policy is concerned. The article describes the different position mantained by historiography both in Spain and at the international level and then focus on the controversial relationship between europeanism and atlantism, explaining the major political parties position on this issue, and relating them to the heritage of the Civil war period.Maria Elena Cavallarom.cavallaro@imtlucca.it2011-02-25T13:56:19Z2013-05-29T12:41:17Zhttp://eprints.imtlucca.it/id/eprint/110This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/1102011-02-25T13:56:19ZDal franchismo alla democrazia: l’europeismo anello di congiunzione tra politica interna e politica esteraThis essay shows the long run origin of the Europeanism as a movement and underlines how much Spain during the transition to democracy bet on its own European future within the EEC Institutions because it has already matured a long tradition and a very well developed knowledge of the European mechanism from the Sixties.Maria Elena Cavallarom.cavallaro@imtlucca.it2011-02-24T13:42:09Z2011-07-11T14:26:26Zhttp://eprints.imtlucca.it/id/eprint/96This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/962011-02-24T13:42:09ZOn American Voter ConfidenceR. Michael AlvarezThad E. HallMorgan H. Llewellynmorgan.llewellyn@imtlucca.it2011-02-23T11:03:05Z2011-07-11T14:26:26Zhttp://eprints.imtlucca.it/id/eprint/94This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/942011-02-23T11:03:05ZHow Hard Can It Be: Do Citizens Think It Is Difficult to Register to Vote?R. Michael AlvarezThad E. HallMorgan H. Llewellynmorgan.llewellyn@imtlucca.it2011-02-23T08:38:27Z2011-07-11T14:25:31Zhttp://eprints.imtlucca.it/id/eprint/91This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/912011-02-23T08:38:27ZPolicy-based abstention in Brazil’s 2002 ElectionThis paper implements a unified model of individual abstention and vote choice to analyze
policy-based alienation and indifference in Brazil’s 2002 presidential election. The
results indicate that both alienation and indifference depressed turnout, with indifference
contributing slightly more to voter abstention. Also, the determinants of alienation and
indifference differed considerably, the former being determined by structural factors such
as voters’ information and perceived efficacy levels, while the latter was related to shortterm
aspects such as parties’ mobilization efforts. More importantly, evidence shows
that while alienation and indifference were strongly influenced by attitudinal and protest
variables, they were also affected by citizens’ evaluation of candidates’ ideological locations.
The main conclusion is that abstention in Brazil’s 2002 election had a policy-driven
component and that spatial considerations played a substantive role in citizens’ electoral
behavior, a fact that has been overlooked in previous research on the determinants of
abstention in Latin America.Gabriel Katzg.katz@imtlucca.it2011-02-15T10:50:21Z2011-07-11T14:24:17Zhttp://eprints.imtlucca.it/id/eprint/54This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/542011-02-15T10:50:21ZLa rivoluzione incompiuta di Thomas KuhnStefano Gatteistefano.gattei@imtlucca.it