Testing Probabilistic Wireless Networks19 December 2012We develop a probabilistic process calculus for modelling ad hoc wireless networks with static...
The Precautionary Saving Effect of Government Consumption10 December 2012We provide new evidence on the reaction of private consumption to government consumption changes...
Oxford University Press publishes book by Guido Caldarelli, IMT professor, and Michele Catanzaro 4 December 2012"Networks: A Very Short Introduction" Guido Caldarelli and Michele Catanzaro Very Short...
The Role of Party Factions: An Information Aggregation Approach 3 December 2012We study the endogenous formation of factions in the context of information aggregation. We model...
Flooding in Dynamic Graphs29 November 2012One of the basic communication tasks which has been extensively studied in the context of...
EXcess Idle Time29 November 2012We introduce a novel stochastic quantity, named excess idle time (EXIT), measuring the extent of...
Appropriation of Ideas and the Ramifications for Inventor Mobility28 November 2012Knowledge diffusion contributes positively to innovation productivity and therefore economic growth...
The Right Type of Legislator26 November 2012Research suggests that in the US legislators represent their richer constituents. We show...
Scenari di crisi - La posizione dell'Italia e quella dell'Europa23 November 2012Alberto Alesina torna a Lucca e a IMT dopo il suo ultimo partecipato intervento del novembre 2006...
Synthesis of certified distributed mobile programs using proof assistants and monadic types22 November 2012One of the most interesting features of type-theory based proof assistants is the possibility of...
Formal Market Models for Smart Power Grids22 November 2012A Smart Grid is an electricity network that can intelligently integrate the actions of all users,...
The Extreme Vulnerability of Networks of Networks20 November 2012Network science have been focused on the properties of a single isolated network that does not...
Earnings Variance of Job Stayers and Job Changers19 November 2012There is still no consensus on the causes of the increase of earnings instability in the US in the...
Exploring probabilistic bisimulations14 November 2012We take a fresh look at strong probabilistic bisimulations for processes which exhibit both non-...
Cultural Diversity a Barrier to Riches?12 November 2012Using a theory based gravity equation, we first show that cultural dissimilarity dampens bilateral...
A theory of communicating transactions7 November 2012We propose a novel language construct called communicating transactions, obtained by dropping the...
Administrative power and State formation: late Medieval Siena5 November 2012This paper investigates the institutional process that characterized political change and state...
Haptic support for remotely Piloted Vehicles31 October 2012The sense of tele-presence is known to be essential in vehicle tele-operation environments, where...
Higher-level reasoning and the emergence of complex game dynamics31 October 2012What is the source of complex dynamics in financial markets? Do markets dutifully track the course...
Emotions and Political Unrest29 October 2012This paper analyzes how public policy is influenced by threat of political unrest. Unrest is...
What is 'international' or 'gothic' about the 'international gothic'? 25 October 2012This seminar will examine the current exhibition at the Galleria degli Uffizi: Bagliori dorati: Il...
Behavioral equivalences of weighted transition systems 24 October 2012We offer sound and complete axiomatizations of both the bisimulation equivalence and the trace...
A Theatre for Real Debates. The Meaning of British and French Parliamentary Cultures 23 October 2012In his famous The Structural Transformation of the Public Sphere (Strukturwandel der Öffentlichkeit...
The New Science of Econophysics22 October 2012H. Eugene Stanley, Professore di Fisica alla Boston University, scienziato di fama internazionale,...
The Science Cloud Case Study in ASCENS18 October 2012The EU integrated project ASCENS is working on a coherent, integrated set of methods and tools to...
GSPNs Revisited: New Semantics and Analysis Algorithms10 October 2012This talk shows how Markov Automata (MA) can be used to provide a truly simple semantics of...
Voting in Legislative Elections under Plurality Rule8 October 2012This paper introduces a model of three-party competition in a legislative election held under...
Reconciling Self-adaptation with Self-organization4 October 2012Two complementary software engineering approaches currently exist to make complex software systems...
Paesaggio e patrimonio culturale in Italia: dalla tutela al degrado28 September 2012Salvatore Settis, archeologo e storico dellarte, già Direttore del Getty Research Institute di Los...
State traditions and architectural heritage: a comparison of France and England with Italy27 September 2012The talk will analyse policies of preserving architectural heritage through legal regulation in...
A Language-based Approach to Autonomic Component Ensembles Programming19 September 2012SCEL is a new language for modelling autonomic service components and their ensembles that we are...
Modeling and control of intelligent groups24 July 2012We provide a discussion of various examples of large groups of agents, capable of decisions and...
Income contingent loans: dangerous fine or positive sum game for the Italian university system? 6 July 2012
Sham Constitutions5 July 2012It is often said that constitutions are mere parchment barriers that cannot by themselves limit the...
Network Science: From Structure to Control5 July 2012Albert-László Barabási, scienziato ungherese residente negli Stati Uniti, direttore del Centro di...
GII Doctoral School 201225 June 2012Future Internet and Global Computing: Services, Architectures, Models and Performance Evaluation...
Random Matrix Theory: applications to financial data analysis18 June 2012Random Matrix Theory (RMT) was initially devised in the early fifties to study the physical...
Votes and Violence: The Unintended Consequences of Decentralization in Colombia18 June 2012Decentralization, widely defined as the increase in political, fiscal, and administrative autonomy...
Scienza e Fede. Ricerca scientifica e ricerca religiosa a confronto13 June 2012Lucca, 13 giugno, ore 16.00, Biblioteca di IMT Alti Studi Lucca in Piazza San Ponziano. Cinque...
On the Origin of Gender Roles: Women and the Plough11 June 2012This study seeks to better understand the historical origins of cross-cultural differences in...
Characteristic Formulae for Relations with Nested Fixed Points7 June 2012A general framework for the connection between characteristic formulae and behavioral semantics is...
Looking Beyond the Incumbent: The Effects of Exposing Corruption on Electoral Outcomes4 June 2012Does information about rampant political corruption increase electoral participation and the...
Algebraic Synchronization Trees and Processes30 May 2012The study of recursive program schemes is one of the classic topics in programming language...
Models, Traffic Models, Simulation and Traffic Simulation 29 May 2012Simulation is a technique that can be seen as a sampling experiment on a dynamic real system...
Peer Effects in Education, Sport, and Screen Activities: Local Aggregate or Local Average?28 May 2012We develop two different social network models with different economic foundations. In the local-...
Adventures in Interval Temporal Logics24 May 2012Temporal reasoning plays a main role in many areas of computer science and artificial intelligence...
EARLY LEAD EXPOSURE AND ITS EFFECTS ON ACADEMIC ACHIEVEMENT AND EARNINGS: EVIDENCE FROM AN ENVIRONMENTAL NEGLIGENCE 24 May 2012Between 1984 and 1989 more than 20,000 tons of toxic chemicals, containing high concentrations of...
Generation of test data structures using Constraint Logic Programming23 May 2012The goal of Bounded-Exhaustive Testing (BET) is the automatic generation of all the test cases...
Welfare Effects of Short-Time Compensation21 May 2012In addition to unemployment insurance (UI), many advanced economies operate short-time compensation...
"Bere vino puro": presentazione del volume 18 May 2012"Bere vino puro": il simposio nell'antica Grecia Venerdi 18 maggio presentiamo "Bere vino puro", di...
Economia oltre la crisi. Riflessioni sul liberalismo sociale18 May 2012Economia oltre la crisi. Riflessioni sul liberalismo sociale (a cura di Stefano Natoli, Editrice...
Developmental Agents for Vision17 May 2012In this talk, I introduce the notion of developmental agents, that are based on the theory of ...
Lexicographic orderings17 May 2012Each countable linear ordering may be represented as the lexicographic ordering of a language over...
Italian Military Operations Abroad17 May 2012Peace support operations have become one of the most important tools in the foreign policy of...
Coinsurance of Large Risks14 May 2012In the Netherlands, most municipalities insure property risks by means of coinsurance, that is, the...
Le cose che ho imparato8 May 2012"Le cose che ho imparato. Storie, incontri ed esperienze che mi hanno insegnato a vivere" Incontro...
State Capacity and Military Conflict7 May 2012In 1500, Europe was composed of hundreds of statelets and principalities, with weak central...
Oligarchy and Growth: Lessons From Europe's Autonomous Cities23 April 2012The history of European city development provides an important opportunity to examine the e¤ect of...
Cibo e potere16 April 2012Gian Antonio Stella, giornalista del Corriere della Sera, terrà una conferenza dal titolo Cibo e...
Do close voters make politicians better? Information blurring in a political agency model16 April 2012
Enfranchisement and Representation: Italy 1909-191326 March 2012This paper presents evidence on the consequences of the 1912 introduction of "quasiuniversal" male...
Big Data and the Web21 March 2012The seminar will introduce the problem of large scale Web mining by using Data Intensive Scalable...
Logical Foundations of Session Types20 March 2012We overview a type theoretic foundation for distributed processes, based on a Curry-Howard logical...
Strategic campaigning with vote and turnout buying19 March 2012We model a patron-client relationship where the incumbent may either persuade or mobilize voters;...
The comparative "macro-history" of the Axis dictatorships, 1922-1945: objectives, methodology and practical difficulties15 March 2012
Preference reasoning and computational social choice12 March 2012Preferences are ubiquitous in everyday decision making. They should therefore be an essential...
How Random Walks can Help Tourism7 March 2012On-line photo sharing services allow users to share their touristic experiences. Tourists can...
Dynamic Master Surgical Schedules for a Medium Size Hospital5 March 2012This talk deals with planning and scheduling the operating theater of a medium-sized hospital for...
?Historical Preservation and ethnicity-remarking in contemporary Transylvania: the case of Sibiu/Hermannstadt?21 February 2012
Experience and Trauma in Contemporary Art8 February 2012This contribution approaches the value of some artistic works for the notion of experience. The...
L'ITALIA NELLA CRISI ECONOMICA28 January 2012Evento organizzato in collaborazione con l'Associazione Impegno e Responsabilità di Lucca.
On the use of control Lyapunov R-functions for nonlinear stabilization24 January 2012Control Lyapunov functions provide a fundamental tool to support control design when robustness,...
Modelchecking evolution on-the-fly18 January 2012The coordination modeling language Paradigm distinguishes fine-grained behaviour of transitions...