Testing Probabilistic Wireless Networks19 dicembre 2012We develop a probabilistic process calculus for modelling ad hoc wireless networks with static...
The Precautionary Saving Effect of Government Consumption10 dicembre 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 dicembre 2012"Networks: A Very Short Introduction" Guido Caldarelli and Michele Catanzaro Very Short...
The Role of Party Factions: An Information Aggregation Approach 3 dicembre 2012We study the endogenous formation of factions in the context of information aggregation. We model...
Flooding in Dynamic Graphs29 novembre 2012One of the basic communication tasks which has been extensively studied in the context of...
EXcess Idle Time29 novembre 2012We introduce a novel stochastic quantity, named excess idle time (EXIT), measuring the extent of...
Appropriation of Ideas and the Ramifications for Inventor Mobility28 novembre 2012Knowledge diffusion contributes positively to innovation productivity and therefore economic growth...
The Right Type of Legislator26 novembre 2012Research suggests that in the US legislators represent their richer constituents. We show...
Scenari di crisi - La posizione dell'Italia e quella dell'Europa23 novembre 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 novembre 2012One of the most interesting features of type-theory based proof assistants is the possibility of...
Formal Market Models for Smart Power Grids22 novembre 2012A Smart Grid is an electricity network that can intelligently integrate the actions of all users,...
The Extreme Vulnerability of Networks of Networks20 novembre 2012Network science have been focused on the properties of a single isolated network that does not...
Earnings Variance of Job Stayers and Job Changers19 novembre 2012There is still no consensus on the causes of the increase of earnings instability in the US in the...
Exploring probabilistic bisimulations14 novembre 2012We take a fresh look at strong probabilistic bisimulations for processes which exhibit both non-...
Cultural Diversity a Barrier to Riches?12 novembre 2012Using a theory based gravity equation, we first show that cultural dissimilarity dampens bilateral...
A theory of communicating transactions7 novembre 2012We propose a novel language construct called communicating transactions, obtained by dropping the...
Administrative power and State formation: late Medieval Siena5 novembre 2012This paper investigates the institutional process that characterized political change and state...
Haptic support for remotely Piloted Vehicles31 ottobre 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 ottobre 2012What is the source of complex dynamics in financial markets? Do markets dutifully track the course...
Emotions and Political Unrest29 ottobre 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 ottobre 2012This seminar will examine the current exhibition at the Galleria degli Uffizi: Bagliori dorati: Il...
Behavioral equivalences of weighted transition systems 24 ottobre 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 ottobre 2012In his famous The Structural Transformation of the Public Sphere (Strukturwandel der Öffentlichkeit...
The New Science of Econophysics22 ottobre 2012H. Eugene Stanley, Professore di Fisica alla Boston University, scienziato di fama internazionale,...
The Science Cloud Case Study in ASCENS18 ottobre 2012The EU integrated project ASCENS is working on a coherent, integrated set of methods and tools to...
GSPNs Revisited: New Semantics and Analysis Algorithms10 ottobre 2012This talk shows how Markov Automata (MA) can be used to provide a truly simple semantics of...
Voting in Legislative Elections under Plurality Rule8 ottobre 2012This paper introduces a model of three-party competition in a legislative election held under...
Reconciling Self-adaptation with Self-organization4 ottobre 2012Two complementary software engineering approaches currently exist to make complex software systems...
Paesaggio e patrimonio culturale in Italia: dalla tutela al degrado28 settembre 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 settembre 2012The talk will analyse policies of preserving architectural heritage through legal regulation in...
A Language-based Approach to Autonomic Component Ensembles Programming19 settembre 2012SCEL is a new language for modelling autonomic service components and their ensembles that we are...
Modeling and control of intelligent groups24 luglio 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 luglio 2012
Sham Constitutions5 luglio 2012It is often said that constitutions are mere parchment barriers that cannot by themselves limit the...
Network Science: From Structure to Control5 luglio 2012Albert-László Barabási, scienziato ungherese residente negli Stati Uniti, direttore del Centro di...
GII Doctoral School 201225 giugno 2012Future Internet and Global Computing: Services, Architectures, Models and Performance Evaluation...
Random Matrix Theory: applications to financial data analysis18 giugno 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 giugno 2012Decentralization, widely defined as the increase in political, fiscal, and administrative autonomy...
Scienza e Fede. Ricerca scientifica e ricerca religiosa a confronto13 giugno 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 giugno 2012This study seeks to better understand the historical origins of cross-cultural differences in...
Characteristic Formulae for Relations with Nested Fixed Points7 giugno 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 giugno 2012Does information about rampant political corruption increase electoral participation and the...
Algebraic Synchronization Trees and Processes30 maggio 2012The study of recursive program schemes is one of the classic topics in programming language...
Models, Traffic Models, Simulation and Traffic Simulation 29 maggio 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 maggio 2012We develop two different social network models with different economic foundations. In the local-...
Adventures in Interval Temporal Logics24 maggio 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 maggio 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 maggio 2012The goal of Bounded-Exhaustive Testing (BET) is the automatic generation of all the test cases...
Welfare Effects of Short-Time Compensation21 maggio 2012In addition to unemployment insurance (UI), many advanced economies operate short-time compensation...
"Bere vino puro": presentazione del volume 18 maggio 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 maggio 2012Economia oltre la crisi. Riflessioni sul liberalismo sociale (a cura di Stefano Natoli, Editrice...
Developmental Agents for Vision17 maggio 2012In this talk, I introduce the notion of developmental agents, that are based on the theory of ...
Lexicographic orderings17 maggio 2012Each countable linear ordering may be represented as the lexicographic ordering of a language over...
Italian Military Operations Abroad17 maggio 2012Peace support operations have become one of the most important tools in the foreign policy of...
Coinsurance of Large Risks14 maggio 2012In the Netherlands, most municipalities insure property risks by means of coinsurance, that is, the...
Le cose che ho imparato8 maggio 2012"Le cose che ho imparato. Storie, incontri ed esperienze che mi hanno insegnato a vivere" Incontro...
State Capacity and Military Conflict7 maggio 2012In 1500, Europe was composed of hundreds of statelets and principalities, with weak central...
Divided Majority and Information Aggregation in Small Elections: Theory and Experiments26 aprile 2012
Oligarchy and Growth: Lessons From Europe's Autonomous Cities23 aprile 2012The history of European city development provides an important opportunity to examine the e¤ect of...
Cibo e potere16 aprile 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 aprile 2012
Enfranchisement and Representation: Italy 1909-191326 marzo 2012This paper presents evidence on the consequences of the 1912 introduction of "quasiuniversal" male...
Big Data and the Web21 marzo 2012The seminar will introduce the problem of large scale Web mining by using Data Intensive Scalable...
Logical Foundations of Session Types20 marzo 2012We overview a type theoretic foundation for distributed processes, based on a Curry-Howard logical...
Strategic campaigning with vote and turnout buying19 marzo 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 marzo 2012
Preference reasoning and computational social choice12 marzo 2012Preferences are ubiquitous in everyday decision making. They should therefore be an essential...
How Random Walks can Help Tourism7 marzo 2012On-line photo sharing services allow users to share their touristic experiences. Tourists can...
Dynamic Master Surgical Schedules for a Medium Size Hospital5 marzo 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 febbraio 2012
Experience and Trauma in Contemporary Art8 febbraio 2012This contribution approaches the value of some artistic works for the notion of experience. The...
L'ITALIA NELLA CRISI ECONOMICA28 gennaio 2012Evento organizzato in collaborazione con l'Associazione Impegno e Responsabilità di Lucca.
On the use of control Lyapunov R-functions for nonlinear stabilization24 gennaio 2012Control Lyapunov functions provide a fundamental tool to support control design when robustness,...
Modelchecking evolution on-the-fly18 gennaio 2012The coordination modeling language Paradigm distinguishes fine-grained behaviour of transitions...