IMT Institutional Repository: No conditions. Results ordered -Date Deposited. 2024-03-29T05:25:24ZEPrintshttp://eprints.imtlucca.it/images/logowhite.pnghttp://eprints.imtlucca.it/2018-03-12T10:24:23Z2018-03-12T10:24:23Zhttp://eprints.imtlucca.it/id/eprint/4048This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/40482018-03-12T10:24:23ZL'analisi del bilancio consolidato nell'ottica esternaNicola Lattanzinicola.lattanzi@imtlucca.it2018-03-09T12:39:39Z2018-03-09T12:39:39Zhttp://eprints.imtlucca.it/id/eprint/3994This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/39942018-03-09T12:39:39ZI caratteri distintivi e le possibili classificazioni dei gruppi aziendaliNicola Lattanzinicola.lattanzi@imtlucca.it2016-09-13T13:50:20Z2016-09-13T13:50:20Zhttp://eprints.imtlucca.it/id/eprint/3539This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/35392016-09-13T13:50:20ZEtica nella ricerca psicofarmacologicaMario GuazzelliM.L. MonosiEmiliano Ricciardiemiliano.ricciardi@imtlucca.it2016-04-13T12:27:11Z2016-04-13T12:27:11Zhttp://eprints.imtlucca.it/id/eprint/3454This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/34542016-04-13T12:27:11ZRegional glucose metabolic abnormalities are not the result of atrophy in Alzheimer'sObjective To determine whether the hypometabolism observed in PET images of patients with Alzheimer's disease (AD) is due entirely to brain atrophy.
Background Reduced brain glucose metabolism in AD patients measured using PET has been reported by numerous authors. Actual glucose metabolic values in AD may be reduced artificially because of brain atrophy, which accentuates the partial volume effect (PVE) on data collected by PET.
Methods Using segmented MR images, we corrected regional cerebral metabolic rates for glucose for PVEs to evaluate the effect of atrophy on uncorrected values for brain metabolism in AD patients and healthy control subjects.
Results Global glucose metabolism was reduced significantly before and after correction in AD patients compared with controls. Before PVE correction, glucose metabolic values in patients were lower than in control subjects in the inferior parietal, frontal, and lateral temporal cortex; in the posterior cingulate; and in the precuneus. These reductions remained significantly lower after PVE correction, although in the posterior cingulate the difference in metabolism between AD patients and control subjects lessened. Regional glucose metabolism of these areas with PVE correction was lower in moderately-severely demented patients than in mildly demented patients.
Conclusion Reduced glucose metabolism measured by PET in AD is not simply an artifact due to an increase in CSF space induced by atrophy, but reflects a true metabolic reduction per gram of tissue.Vicente IbáñezPietro Pietrinipietro.pietrini@imtlucca.itGene E. AlexanderMaura L. FureyDiane TeichbergJ. C. RajapakseStanley I. RapoportMark B. SchapiroBarry Horwitz2016-04-13T12:05:35Z2016-04-13T12:05:35Zhttp://eprints.imtlucca.it/id/eprint/3453This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/34532016-04-13T12:05:35ZIncreasing required neural response to expose abnormal brain function in mild versus moderate or severe Alzheimer’s disease: PET study using parametric visual stimulationOBJECTIVE: The authors examined the interaction of Alzheimer's disease severity and visual stimulus complexity in relation to regional brain function. METHOD: Each subject had five positron emission tomography [15]H2O scans while wearing goggles containing a grid of red lights embedded into each lens. Regional cerebral blood flow (CBF) was measured at 0 Hz and while lights were flashed alternately into the two eyes at 1, 4, 7, and 14 Hz. Changes in regional CBF from the 0-Hz baseline were measured at each frequency in 19 healthy subjects (mean age=65 years, SD=11), 10 patients with mild Alzheimer's disease (mean age=69, SD=5; Mini-Mental State score ≥20), and 11 patients with moderate to severe Alzheimer's disease (mean age=73, SD=12; Mini-Mental State score ≤19). RESULTS: As pattern-flash frequency increased, CBF responses in the comparison group included biphasic rising then falling in the striate cortex, linear increase in visual association areas, linear decrease in many anterior areas, and a peak at 1 Hz in V5/MT. Despite equivalent resting CBF and CBF responses to low frequencies among all groups, the groups with Alzheimer's disease had significantly smaller CBF responses than the comparison group at the frequency producing the largest response in the comparison group in many brain regions. Also, patients with moderate/severe dementia had smaller responses at frequencies producing intermediate responses in comparison subjects. CONCLUSIONS: Functional failure was demonstrated in patients with mild dementia when large neural responses were required and in patients with moderate/severe dementia when large and intermediate responses were required.Marc J. MentisGene E. AlexanderJack KrasuskiPietro Pietrinipietro.pietrini@imtlucca.itMaura L. FureyMark B. SchapiroStanley I. Rapoport2016-04-13T12:01:03Z2016-04-13T12:01:03Zhttp://eprints.imtlucca.it/id/eprint/3452This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/34522016-04-13T12:01:03ZPET and the effects of aging and neurodegeneration on brain function: basic principlesIn the first part of a three-part series on the role of positron emission tomography (PET) in the study of neurodegeneration and aging in the human brain, the authors review the historical development of the in vivo measurement of brain function resulting in recent advances in PET technology. An overview is presented of the physical principles of PET scanning and the inherent limitations of this technology to set the basis for the critical interpretation of PET data presented in the second and third parts and in the ever-increasing number of PET studies on the brain in different physiological and pathological conditions. Finally, the authors describe the ability to measure in vivo regional cerebral glucose metabolism with [18F]-FDG PET, regional cerebral blood flow and the distribution and binding capacity of neuroreceptors. They conclude with future perspectives of PET technology and its relevance, especially for neuropsychiatric research.Pietro Pietrinipietro.pietrini@imtlucca.itStefan J. TeipelPeter BartensteinStanley I. RapoportHarald Hampel2016-04-13T11:49:39Z2016-04-13T11:49:39Zhttp://eprints.imtlucca.it/id/eprint/3450This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/34502016-04-13T11:49:39ZIn vivo metabolic studies of brain plastic response to the neuropathological process in patients with Alzeimer's diseasePietro Pietrinipietro.pietrini@imtlucca.itMario GuazzelliGiovanni Ronca2016-04-13T11:43:33Z2016-04-13T11:43:33Zhttp://eprints.imtlucca.it/id/eprint/3449This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/34492016-04-13T11:43:33ZRegional brain metabolism in relation to cognitive declinePietro Pietrinipietro.pietrini@imtlucca.itMario Guazzelli2016-04-13T10:46:38Z2016-04-13T11:32:04Zhttp://eprints.imtlucca.it/id/eprint/3448This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/34482016-04-13T10:46:38ZGender differences in brain activation during aggressive imageries: A pet studyPietro Pietrinipietro.pietrini@imtlucca.itMario GuazzelliJordan Grafman2014-06-30T13:36:44Z2014-06-30T13:36:59Zhttp://eprints.imtlucca.it/id/eprint/2223This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/22232014-06-30T13:36:44ZCredit rationing and firm sizeThis paper examines the likelihood of credit rationing faced by firms of different size. Contrary to common thought, several recent contributions on this topic argue that, when rationing credit, size alone is not a sufficient condition for discriminating between firms. We show that this result can be predicted using a framework based on the Stiglitz-Weiss model. In particular, in an environment of asymmetric information, we highlight how the likelihood of credit rationing depends upon the shape of the distribution function of project returns, especially its asymmetry and Kurtosis. Our empirical results do not support the hypothesis that small firms face more credit rationing than larger firms.Giorgio CalcagniniDonato IacobucciDavide Ticchidavide.ticchi@imtlucca.it2013-11-06T11:00:00Z2013-11-20T08:53:06Zhttp://eprints.imtlucca.it/id/eprint/1871This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/18712013-11-06T11:00:00ZMean-field behavior of the sandpile model below the upper critical dimensionWe present results of large scale numerical simulations of the Bak, Tang, and Wiesenfeld [Phys. Rev. Lett. 59, 381 (1987); Phys. Rev. A 38, 364 (1988)] sandpile model. We analyze the critical behavior of the model in Euclidean dimensions 2<~d<~6. We consider a dissipative generalization of the model and study the avalanche size and duration distributions for different values of the lattice size and dissipation. We find that the scaling exponents in d=4 significantly differ from mean-field predictions, thus suggesting an upper critical dimension dc>~5. Using the relations among the dissipation rate ε and the finite lattice size L, we find that a subset of the exponents displays mean-field values below the upper critical dimensions. This behavior is explained in terms of conservation laws.Alessandro Chessaalessandro.chessa@imtlucca.itEnzo MarinariAlessandro VespignaniStefano Zapperi2013-11-06T10:56:50Z2014-12-05T09:45:08Zhttp://eprints.imtlucca.it/id/eprint/1870This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/18702013-11-06T10:56:50ZEnergy constrained sandpile modelsWe study two driven dynamical systems with conserved energy. The two automata contain the basic dynamical rules of the Bak, Tang, and Wiesenfeld sandpile model. In addition a global constraint on the energy contained in the lattice is imposed. In the limit of an infinitely slow driving of the system, the conserved energy E becomes the only parameter governing the dynamical behavior of the system. Both models show scale-free behavior at a critical value Ec of the fixed energy. The scaling with respect to the relevant scaling field points out that the developing of critical correlations is in a different universality class than self-organized critical sandpiles. Despite this difference, the activity (avalanche) probability distributions appear to coincide with the one of the standard self-organized critical sandpile.Alessandro Chessaalessandro.chessa@imtlucca.itEnzo MarinariAlessandro Vespignani2012-02-24T13:05:00Z2012-02-24T13:05:00Zhttp://eprints.imtlucca.it/id/eprint/1174This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/11742012-02-24T13:05:00ZMean field theory for ordinary and hot sandpilesA mean field theory is discussed for a sandpile model, a cellular automaton prototype of systems showing self-organized criticality. The previous formulation of the mean field does not take into account the dissipation effects that take place on boundaries. This gives rise to some inconsistencies that are eliminated by carefully considering the boundaries effects, as it is shown in this paper. We present here a revised version of the MF equations. The main result is that criticality arises in the thermodynamic limit for sandpile systems, confirming numerical observations on the behavior of the order parameter.
The mean field approach is also generalized by applying it to the more general case of sandpiles in thermal equilibrium where a temperature-like parameter T is introduced. In this case we show that criticality is not destroyed at T> 0.Guido Caldarelliguido.caldarelli@imtlucca.it2012-02-24T13:00:55Z2013-11-20T13:17:17Zhttp://eprints.imtlucca.it/id/eprint/1173This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/11732012-02-24T13:00:55ZDynamics of fractures in quenched disordered mediaWe introduce a model for fractures in quenched disordered media. This model has a deterministic extremal dynamics, driven by the energy function of a network of springs (Born Hamiltonian). The breakdown is the result of the cooperation between the external field and the quenched disorder. This model can be considered as describing the low-temperature limit for crack propagation in solids. To describe the memory effects in this dynamics and then to study the resistance properties of the system we realized some numerical simulations of the model. The model exhibits interesting geometric and dynamical properties, with a strong reduction of the fractal dimension of the clusters and of their backbone, with respect to the case in which thermal fluctuations dominate. This result can be explained by a recently introduced theoretical tool as a screening enhancement due to memory effects induced by the quenched disorder.Guido Caldarelliguido.caldarelli@imtlucca.itRaffaele CafieroAndrea Gabrielli2012-02-24T12:50:55Z2013-11-20T13:16:24Zhttp://eprints.imtlucca.it/id/eprint/1171This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/11712012-02-24T12:50:55ZModelling coevolution in multispecies communitiesWe introduce the Webworld model, which links together the ecological modelling of food web structure with the evolutionary modelling of speciation and extinction events. The model describes dynamics of ecological communities on an evolutionary time-scale. Species are defined as sets of characteristic features, and these features are used to determine interaction scores between species. A simple rule is used to transfer resources from the external environment through the food web to each of the species, and to determine mean population sizes. A time step in the model represents a speciation event. A new species is added with features similar to those of one of the existing species and a new food web structure is than calculated. The new species may (i) add stably to the web, (ii) become extinct immediately because it is poorly adapted, or (iii) cause one or more other species to become extinct due to competition for resources.
We measure various properties of the model webs and compare these with data on real food webs. These properties include the proportions of basal, intermediate and top species, the number of links per species and the number of trophic levels. We also study the evolutionary dynamics of the model ecosystem by following the fluctuations in the total number of species in the web. Extinction avalanches occur when novel organisms arise which are significantly better adapted than existing ones. We discuss these results in relation to the observed extinction events in the fossil record, and to the theory of self-organized criticality.Guido Caldarelliguido.caldarelli@imtlucca.itPaul G. HiggsAlan J. McKane2012-01-19T11:01:46Z2012-01-19T11:01:46Zhttp://eprints.imtlucca.it/id/eprint/1065This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/10652012-01-19T11:01:46ZLe diversità dell'industria italiana nella nuova integrazione economica internazionaleRiccardo VaraldoNicola BelliniAndrea BonaccorsiMassimo Riccabonimassimo.riccaboni@imtlucca.it2011-10-31T15:19:03Z2011-11-14T11:37:51Zhttp://eprints.imtlucca.it/id/eprint/991This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/9912011-10-31T15:19:03ZPaul Lévy type inequalities for symmetric random variablesWe prove some inequalites for a jointly symmetric system of n random variables with values in a measurable group. These inequalites include, as a particular case, the classical Paul Lévy's inequalities.
Irene Crimaldiirene.crimaldi@imtlucca.itLuca Pratelli2011-08-09T11:07:56Z2014-06-30T13:29:58Zhttp://eprints.imtlucca.it/id/eprint/781This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/7812011-08-09T11:07:56ZRazionamento del credito e dimensioni di impresaThis paper examines the likelihood of credit rationing faced by firms of different size. Cantrary to common thought, several recent contributions on this topic argue that, when rationing credit, size alone is not a sufficient condition for discriminating between firms. We show that this result can be predicted using a framework based on the Stiglitz-Weiss model. In particular, in an environment of asymmetric information, we highlight how the likelihood of credit rationing depends upon the shape of the,distribution function of project returns, especially its asymmetry and Kurtosis. Our empirical results do not support the hypothesis that small firms face more credit rationing than larger firms.Giorgio CalcagniniDonato IacobucciDavide Ticchidavide.ticchi@imtlucca.it2011-07-27T09:19:32Z2014-07-16T14:14:51Zhttp://eprints.imtlucca.it/id/eprint/605This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/6052011-07-27T09:19:32ZReducing conservativeness in predictive control of constrained systems with disturbancesPredictive controllers which are able to guarantee constraint fulfilment in the presence of input disturbances, typically based on min-max formulations, often suffer excessive conservativeness. One of the main reasons for this is that the control action is based on the open-loop prediction of the evolution of the system, because the uncertainty due to the disturbance grows as time proceeds on the prediction horizon. On the other hand, such an effect can be moderated by adopting a closed-loop prediction. In this paper, closed-loop prediction is achieved by including a free feedback matrix gain in the set of optimization variables. This allows one to balance computational burden and reduction of conservativenessAlberto Bemporadalberto.bemporad@imtlucca.it2011-07-27T09:19:30Z2014-07-16T14:13:47Zhttp://eprints.imtlucca.it/id/eprint/604This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/6042011-07-27T09:19:30ZPredictive control of teleoperated constrained systems with unbounded communication delaysWe present a control technique which allows the teleoperation of systems subject to input/state constraints through transmission channels with unbounded time-delays, such as Internet TCP/IP connections. The main idea is based on the fact that predictive controllers provide, as a by-product, command sequences which can be executed as emergency maneuvers whenever the communication channel is broken by excessive time-delays. We show how this idea can be exploited by equipping the predictive controller with some additional control logic which enables the synchronization between plant, predictive controller, and human operatorAlberto Bemporadalberto.bemporad@imtlucca.it2011-07-27T09:19:28Z2014-07-16T14:12:54Zhttp://eprints.imtlucca.it/id/eprint/466This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/4662011-07-27T09:19:28ZReference governor for constrained nonlinear systemsThis paper addresses the problem of satisfying pointwise-in-time input and/or state hard constraints in nonlinear control systems. The approach is based on conceptual tools of predictive control and consists of adding to a primal compensated nonlinear system a reference governor. This is a discrete-time device which online handles the reference to be tracked, taking into account the current value of the state in order to satisfy the prescribed constraints. The resulting hybrid system is proved to fulfil the constraints as well as stability and tracking requirementsAlberto Bemporadalberto.bemporad@imtlucca.it2011-07-27T09:19:26Z2014-07-16T14:11:36Zhttp://eprints.imtlucca.it/id/eprint/465This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/4652011-07-27T09:19:26ZFulfilling hard constraints in uncertain linear systems by reference managingA method based on conceptual tools of predictive control is described for tackling tracking problems of uncertain linear systems wherein pointwise-in-time input and/or state inequality constraints are present. The method consists of adding to a primal compensated system a nonlinear device called predictive reference filter which manipulates the desired reference in order to fulfill the prescribed constraints. Provided that an admissibility condition on the initial state is satisfied, the control scheme is proved to fulfill the constraints, as well as stability and set-point tracking requirements, for all systems whose impulse/step responses lie within given uncertainty ranges.Alberto BemporadEdoardo Mosca2011-07-27T09:18:23Z2014-07-16T14:11:17Zhttp://eprints.imtlucca.it/id/eprint/481This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/4812011-07-27T09:18:23ZA predictive reference governor for constrained control systemsA method based on conceptual tools of predictive control is described for solving tracking problems wherein pointwise-in-time input and/or state inequality constraints are present. It consists of adding to a primal compensated system a nonlinear device called reference governor (RG) whose action is based on the current state, set-point, and prescribed constraints. The aim of the RG device is that of modifying, when necessary, the reference in such a way that the constraints are enforced and the primal compensated system maintains its linear behavior. The RG action is computed on-line by solving, at each sampling time, a constrained quadratic programming problem that usually requires low computational times also for systems of relatively high order. The overall system is proved to fulfill the constraints, be asymptotically stable, and exhibit an offset-free tracking behaviour, provided that an admissibility condition on the initial state is satisfied.Alberto Bemporadalberto.bemporad@imtlucca.itAlessandro CasavolaEdoardo Mosca2011-07-27T09:18:20Z2014-07-16T14:10:13Zhttp://eprints.imtlucca.it/id/eprint/467This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/4672011-07-27T09:18:20ZA predictive controller with artificial Lyapunov function for linear systems with input/state constraintsThis paper copes with the problem of satisfying input and/or state hard constraints in set-point tracking problems. Stability is guaranteed by synthesizing a Lyapunov quadratic function for the system, and by imposing that the terminal state lies within a level set of the function. Procedures to maximize the volume of such an ellipsoidal set are provided, and interiorpoint methods to solve on-line optimization are considered.Alberto Bemporadalberto.bemporad@imtlucca.it2011-06-14T12:26:11Z2014-01-15T10:32:07Zhttp://eprints.imtlucca.it/id/eprint/349This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/3492011-06-14T12:26:11ZInteractive Mobile Agents in X-KlaimMobile agents are processes which can migrate and execute on new hosts. Mobility is a key concept for network programming; it has stimulated much research about new programming languages and paradigms. X-KLAIM is an experimental programming language, inspired by the Linda paradigm, where mobile agents and their interaction strategies can be naturally programmed. A prototype implementation of X-KLAIM is presented, together with a few examples introducing the new programming styleLorenzo BettiniRocco De Nicolar.denicola@imtlucca.itRosario PuglieseGianLuigi Ferrari2011-06-13T14:23:35Z2011-07-11T14:36:26Zhttp://eprints.imtlucca.it/id/eprint/347This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/3472011-06-13T14:23:35ZPossible Worlds for Process AlgebrasA non-deterministic process is viewed as a set of deterministic ones: its possible worlds. Each world represents a particular “solution” of non-determinism. Under this view of non-determinism as underspecification, nodeterministic processes are specifications, and the possible worlds represent the model space and thus the set of possible implementations. Then, refinement is inclusion of sets of possible worlds and can be used for stepwise specifications. This notion of refinement naturally induces new preorders (and equivalences) for processes that we characterize denotationally, operationally and axiomatically for a basic process algebra with nil, prefix and choice. Rocco De Nicolar.denicola@imtlucca.itSimone Veglioni2011-06-13T12:42:11Z2014-10-07T14:38:28Zhttp://eprints.imtlucca.it/id/eprint/350This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/3502011-06-13T12:42:11ZTree morphisms and bisimulationsA category of (action labelled) trees is defined that can be used to model unfolding of labelled transition systems and to study behavioural relations over them. In this paper we study five different equivalences based on bisimulation for our model. One, that we called resource bisimulation, amounts essentially to three isomorphism. Another, its weak counterpart, permits abstracting from silent actions while preserving the tree structure. The other three are the well known strong, branching and weak bisimulation equivalence. For all bisimulations, but weak, canonical representatives are constructed and it is shown that they can be obtained via enriched functors over our categories of trees, with and without silent actions. Weak equivalence is more problematic; a canonical minimal representative for it cannot be denned by quotienting our trees. The common framework helps in understanding the relationships between the various equivalences and the results provide support to the claim that branching bisimulation is the natural generalization of strong bisimulation to systems with silent moves and that resource and weak resource have an interest of their own.Rocco De Nicolar.denicola@imtlucca.itAnna Labella2011-06-13T12:28:21Z2011-07-11T14:36:26Zhttp://eprints.imtlucca.it/id/eprint/348This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/3482011-06-13T12:28:21ZAsynchronous Observations of ProcessesWe study may and must testing-based preorders in an asynchronous setting. In particular, we provide some full abstraction theorems that offer alternative characterizations of these preorders in terms of context closure w.r.t. basic observables and in terms of traces and acceptance sets. These characterizations throw light on the asymmetry between input and output actions in asynchronous interactions and on the difference between synchrony and asynchrony. Michele BorealeRocco De Nicolar.denicola@imtlucca.itRosario Pugliese2011-06-10T12:20:53Z2014-01-15T10:23:37Zhttp://eprints.imtlucca.it/id/eprint/351This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/3512011-06-10T12:20:53ZKLAIM: A Kernel Language for Agents Interaction and MobilityWe investigate the issue of designing a kernel programming language for mobile computing and describe KLAIM, a language that supports a programming paradigm where processes, like data, can be moved from one computing environment to another. The language consists of a core Linda with multiple tuple spaces and of a set of operators for building processes. KLAIM naturally supports programming with explicit localities. Localities are first-class data (they can be manipulated like any other data), but the language provides coordination mechanisms to control the interaction protocols among located processes. The formal operational semantics is useful for discussing the design of the language and provides guidelines for implementations. KLAIM is equipped with a type system that statically checks access rights violations of mobile agents. Types are used to describe the intentions (read, write, execute, etc.) of processes in relation to the various localities. The type system is used to determine the operations that processes want to perform at each locality, and to check whether they comply with the declared intentions and whether they have the necessary rights to perform the intended operations at the specific localities. Via a series of examples, we show that many mobile code programming paradigms can be naturally implemented in our kernel language. We also present a prototype implementaton of KLAIM in Java.Rocco De Nicolar.denicola@imtlucca.itGianLuigi FerrariRosario Pugliese