A class of preconditioners for large indefinite linear systems as by product of Krylov subspace methods: part 2. Derivative-free methods for bound con- strained mixed-integer optimization. To appear in Computational Optimization and Applications. An exact penalty global optimization approach for mixed-integer programming problems. To appear in Optimization Letters. Equilibrium selection in power control games on the interference channel. Monotone games for cogni- tive radio systems. To appear in Rantzer A.
Springer Verlag. Data Management and Service-Oriented Computing 43 3. Information integration is the problem of combining the data residing at different heterogeneous sources, and providing a virtual unified view of these data, called global schema, which can be queried by the users. Data Exchange focuses instead on the problem of materializing the global schema according to the data retrieved from the sources. Both virtual data integration and data exchange have been recently studied in the context of a peer-to-peer P2P data management, where autonomous sys- tems peers export data in terms of their own data schema, and import data from other peers to which their are connected through semantic mappings.
Our research interests include several aspects of Service-Oriented Computing, and its relationship with Data Management.
Download Collaborative Financial Infrastructure Protection Tools Abstractions And Middleware
Services in our context are autonomous, platform- independent computational elements that can be described, published, discovered, or- chestrated and programmed for the purpose of developing distributed interoperable ap- plications. We are particularly interested in service modeling and automatic service com- position. In this area, we proposed what in the community is now known as the Roman model, and contributing to one of the first solutions to automated service composition.
We have also studied Service Synthesis, as well as Process and Work- flow Management, with a special focus on principles and techniques for modeling the interaction between processes and data. Data and Service Integration is considered one of the main challenges that Informa- tion Technology IT currently faces. It is highly relevant in classical IT applications, such as enterprise information management and data warehousing, as well as in scenarios like scientific computing, e-government, and web data management. Our long-term goal is to lay the foundations of a new generation of information integration and service com- position systems, whose main characteristics are: 1.
In our vision, the functionalities provided by the system include answering queries posed in terms of the conceptual model by suitably accessing the source data, performing updates over the conceptual models by invoking the appropriate updates on the sources, and realizing complex goals expressed by the client by automatically composing avail- able services. The basic idea for realizing this goal is to combine principles, methods and techniques from different areas, namely, Data Management, Service-Oriented Computing, Knowl- edge Representation and Reasoning, and Formal Methods.
Watson Research Center, NY, on Data aware business processes and operation, through an artifact-centric approach, Journals  Batini C. Information Systems, 36 2 —, Semantic Web, 2 1 —53, The homes of tomorrow: service composition and advanced user interfaces. Smart homes for all: Simplifying lives with service composition over embedded devices.
Journal on Intel- ligent Information Systems, 36 2 —, ACConv - an access control model for conversational web services. On the finite controllability of conjunctive query answering in databases under open-world assumption. Journal of Computer and System Sci- ences, 77 3 —, ACM, Conference Proceedings  Calvanese D. Simplifying schema mappings. Service composition and advanced user interfaces in the home of tomorrow: The SM4All approach. Higher-order description logics for domain metamodeling. Verification of conjunctive-query based semantic artifacts. Foun- dations of relational artifacts verification.
Ontology-based data management. Continuous planning for solving business process adaptivity. Distributed Systems 47  Marrella A. Featuring automatic adaptivity through workflow enactment and planning. Practical abox cleaning in dl-lite progress report. Mapping data to higher- order description logic knowledge bases. View-based query answering in description logics: Semantics and complexity.
Journal of Computer and System Sciences, 78 1 —46, On these topics, the group has created strong relationships with the most influential research groups in the world. In the last ten years the group has developed several theories and practical ex- periences that are fully referenced by the research community, including checkpointing, causal ordering theory, distributed replication systems, interceptors, group toolkits, and publish subscribe systems.
The distributed systems group has participated and successfully coordinated several important EU projects in the context of e-government, security and dependability of large scale systems, and protection of the financial infrastructure. It has developed remarkable connections with the major Italian ICT industries and Public Administrations for creating innovative solutions and prototypes transferring the latest results from research area into practice. MidLab is focussed in research, its primary goal is to support leading-edge research and development on middleware bridging the gap between the latest research results and the current technologies.
In particular main MIDLAB targets are the study, the design and analysis of novel middleware platforms able to increase the robustness of information exchanging with respect to reliability, consistency, predictability and security. The team includes ex- perts in HW design, networking, system and software security, applications and services development. In addition to the further development of on-going research projects, our future ac- tivities will include three important new branches of research: i creating solid foun- dational theory on dynamic aspects of distributed Systems, ii methodologies and tech- niques for massive distributed event processing iii middleware for smart spaces in- cluding energy savings in public buildings and intelligent houses.
All these topics are indeed rapidly evolving, and the advent of new classes of applications and technologies, such as federation of clouds, airborne networks, smart environments, broad area super- computing, and distributed resource sharing services, is boosting their importance. The theoretical effort is also accompanied by several practical projects in the area of smart en- vironments, namely SOFIA, SM4All and Greener Buildings, and in collaborative security, namely CoMiFin, that motivate the foundational research.
Journals  Aiello C. Journal Of Intel- ligent Information Systems, 36 2 —, 5 International Journal on Next Generation Computing, 2 3 , On the uniformity of peer sampling based on view shuffling. Journal of Parallel and Distributed Computing, 71 8 — , The homes of tomorrow: Service composition and advanced user interfaces. Books  Laura L. Conference Proceedings  Aniello L. In 13th European Workshop on Dependable Computing, Distributed Systems 51  Bonomi S.
On the benefit of network cod- ing for timely and reliable event dissemination in WAN. Theses  Platania M. PhD thesis, Submitted papers, technical reports and others  Baldoni R. Electronic Government: An International Journal, 8 1 , Journal of the Network and Systems Management, 20 2 —, The financial criti- cal infrastructure and the value of information sharing.
In Baldoni R. Agilis: An internet-scale distributed event processing system for collaborative detection of cyber attacks. Anonymous Assignment with m Slots. Submitted to International Conference, Submitted to international journal. Comifin architecture and semantic rooms. Modeling and risk analysis of information sharing in the financial infrastructure.
Achieving effective event notification over wide-area networks. Submitted to international conference, Reliable and timely event notification for multicast services over the internet. Submitted to international journal, Cyber at- tacks on financial critical infrastructures. Trust and privacy. High Performance and Dependable Computing Systems 53 3.
The High Performance and Dependable Computing Systems research group is focused on differentiated aspects of computing and service oriented applications and platforms, spanning from theory to modeling, design and implementation. Up to now, various open source packages have been re- leased as a concrete indication of the effectiveness of the aforementioned approach. Further, we plan to target innovative programming models and paradigms, such as concurrent programming based a on updates relying on the soft- ware transactional memory paradigm, and b on transparent and automatic techniques supporting reverse computing schemes as a mean for maintaining causal consistency.
Conference Proceedings  Palmieri R. Springer Computer Sci- ence Editorial, August ICST, March Submitted papers, technical reports and others  Di Sanzo P. To appear in Performance Evaluation, already available as on line publication. Journal of Computer and System Sciences, pending revision. Indeed, an important facet of HCI is the securing of the interactive system usability. This pioneering work can be regarded as one of the first and most significant examples of deep analysis and formalization of the interaction between the user and the database, which takes into consideration both usability issues and language related aspects.
Following these lines, the group developed another relevant research topic, namely the definition of adequate visual representations of the databases, in terms of both schema and instances. Note that using a consistent visual representation to depict the informa- tion of interest is crucial in order for the user to correctly grasp the database information content. Related with visual representation is information visualization, i.
Other HCI topics are also investigated, including the study of specific us- ability, accessibility, and adaptivity methodological aspects, the interaction with different realms, e. Designing interactive systems that could be effectively, efficiently and with satisfac- tion used by people exhibiting different characteristics, needs, preferences and abilities is getting more and more important in Information Technology research and develop- ment, as it is clearly demonstrated by the growing importance of the user role in research projects as well as in public administration developments, by the introduction in several Laws of precise usability and accessibility requirements for governmental information systems, by the continuous increase of funding for HCI-related research at EU and inter- national level.
We have been among the pioneers of the research in this field in Europe, in particu- lar in the effort of giving formal basis to the definition of interaction while considering human-related, perceptual aspects. We are still continuing in this direction, in particular by working on a machine-interpretable and machine-learnable model of user task that will be the basis for a novel task-oriented interaction model, to be tested in personal in- formation environments. Furthermore, innovative interaction styles, e. Journals  Gabrielli S.
Welcome message from the editors-in-chief. Conference Proceedings  Di Ciccio C. Representing and visualizing mined artful processes in MailOfMine. A dynamic framework for multi- view task modeling. A three-fold integration framework to incorporate user-centered design into agile software development. Pericles: a performance evaluation platform for indoor localization systems. Our research field includes general issues in industrial economics and management, with an emphasis on competition, regulation and investment in network industries. In partic- ular, our research activity is at present focused on the following topics: Regulation and competition in the telecommunication industry - We study the impact of access regulation on investment in a dynamic framework where developing an infras- tructure requires both time and a captive customer base.
We define dynamic models to assess whether and when the ladder of investment regulatory paradigm induces efficient competitive network investment. In this framework we analyze the credibility and dy- namic consistency of multiperiod regulated access price schedules.
We also analyze the impact of the industry structure vertical integration or separation on investment incen- tives and we assess if vertical separation of the telecommunications incumbent may be an effective and proportionate remedy when the access network is an enduring economic bottleneck.
Regulation and competition in the air transport industry - We study the incentives for airports and carriers to vertical cooperation and the effects of competitive pressures in both the airlines and airports markets over these incentives. Specifically, our findings provide theoretical and policy concerns with respect to the analysis of different contracts between airports and their respective dominant airlines and their effects in terms of social welfare, pro or anti competitiveness and the ensuing regulatory requirements.
Bundling - We show how a monopolist in a primary market uses mixed bundling to extract surplus from quality-enhancing investment by a single-product rival in a comple- mentary market, or even force the rival to provide low quality. Although we assume that bundling creates efficiency gains, we find that bundling reduces consumer surplus and may reduce social welfare, even if the rival is not foreclosed, and investment is not block- aded.
Nonetheless, bundling improves welfare when prevents inefficient investment. We propose to check bundled offers via a price test that controls the monopoly component stand-alone price to preserve efficiencies from both bundling and investment. When the rival invests, the test improves consumer surplus and welfare compared with the do- nothing scenario, or a ban on bundling. E-procurement - We innovate procurement design related to outsourcing of facility management activities by developing a multi-attribute combinatorial auction-based mech- anism which allows a procurer and sellers to dynamically and simultaneously bargain the characteristics of distinct procurement contracts.
The proposed mechanism allows the procurer to mitigate the relevant problem concerning the lack of competences on the non-core activities, since it can partially extract from sellers their private information re- garding both economic and technical issues. We found that the diffusion of a culture of quality sustains the supply chain learning towards the continuous improvement of product and service quality and, above all, can mitigate the companies effort by creating an emergent behavior in the different actors that self-aligns their activity to a shared culture.
Social networks analysis - We studied the key roles embedded in the informal organi- zational structure informal networks outlining their contribution in the case study of a knowledge-based enterprise operating in the information systems industry. Further- more we find and characterize a new key informal role that synthesizes problem solving, expertise, and accessibility characteristics.
Innovation management - We reviewed the literature on motivations in collaboration and we analyzed 26 open innovation web-based platforms which allow the collaboration of individuals and companies and the so-called crowdsourcing identifying the effects of motivational systems and platforms models on the attraction of the knowledge providers in the different phases of innovation process. Knowledge strategy - We reviewed the three main strategies in the literature of knowl- edge management: the knowledge development internal or external , the knowledge sharing codification or personalization strategy and the knowledge exploitation inter- nal or external in order to propose a model and a three step methodology for assessing the coherence of companies knowledge strategy to its business strategy and to its com- petitive and organizational context.
Efficiency analysis - We have worked on the improvement of the non parametric ap- proach in efficiency analysis, introduction of robust methods and general approaches to explain inefficiency differentials. Multi-criteria managerial decision making - Our research illustrates the advantages of the multi-criteria methodology applied to managerial decision making problems.
This methodology is founded on the notion of outranking to the benchmarking analysis of organizational learning capability. Journals  De Toni A. Chapters in Books  De Toni A. Industrial Organization and Management 61  Dolente C. In: De Vincenti C. Conference Proceedings  Battistella C. Program Quality and Exclusive Provision. Submitted papers, technical reports and others  Avenali A. Matteucci G. Information Systems and e-Business Management, , submitted. Review of Industrial Organization, , submit- ted.
Sim- ulation and Gaming, , submitted. Transportation Research: Part E, , submitted. Production Planning and Control, forthcoming. In- formation Research, forthcoming. International Journal of Logistics Management, submitted. Journal of Transport Economics and Policy, , forthcoming. Transportation Research: Part E, , forthcoming. Benchmarking: an International Journal, forthcoming  Laise D. Health Economics, , submitted. The research activity in this area concerns the development of general methodologies of modelling, estimation and optimal control theory, as well as their application in the study of biomedical and biological systems.
At present, many groups in the Dpt.
Many national and international cooperations are actually active as: Dip. Journals  Aloise F. Journal of Neural Engineering, 8 2 , Computational Intelligence and Neuroscience, , Computer and Mathematics with Applications, 61 3 , Brain Topography, 23 4 , Journal of Neuroscience Methods, 2 , Progress in Brain Research, , Review, Clinical EEG and Neuroscience, 42 4 , Experimental Cell Research, 20 68, Journal of Neuroscience Methods , 2 , pp. Medical and Biological Engineering and Computing, 49 5 , Chapters in Books  Bruni C. Simultane- ous recordings from multiple subjects during social interaction 8th International Symposium on Noninvasive Functional Source Imaging of the Brain and Heart and 8th International Conference on Bioelectromagnetism, Article number , pp.
Theses  Papa F. Dottorato in Ingeg- neria dei Sistemi, Submitted papers, technical reports and others  Bertuzzi A. In press in J. Sub- mitted. DIAG , n 7. The research in this area stemmed from the work on Cognitive Robotics and Artificial Intelligence, and the specific focus on multi-agent and multi-robot system has been origi- nated by the participation in RoboCup competitions, starting back in The RoboCup competitions provide a very challenging experimental framework both for multi-robot systems and for virtual multi-agent systems.
Consequently, the research developed in the area of Multi-Agent and Multi-Robot Systems has produced both theoretical results on several research problems as well as a number of prototype implementations. The application domains, where the research ideas have been tested and experimentally evaluated, include virtual agents in search and rescue simulation and multi-robot systems in soccer, search and rescue, surveillance and domotics. The growing complexity of applications makes a distributed approach, where several agents can work in cooperation, more and more compelling.
Moreover, the interaction between agents and humans will play an increasing role, to support the deployment of teams of robotic agents including sensor networks as well as of new software solutions that are conceived as multi-agent systems. Consequently, the work in this area is expected to grow by addressing new research challenges and by exploiting the potential of the new robotic platforms available, ranging from NAO humanoid robots by Aldebaran, to mini UAVs deployable in search and rescue operations, to more traditional wheeled platforms.
Multi-Agent and Multi-Robot Systems 69 The group has a solid tradition of cooperation with other research groups worldwide, and is very interested in establishing new collaborations and hosting foreign researchers. Journal of Autonomous Robots, 30 1 —39, Ziparo, Iocchi L. Au- tonomous Agents and Multi-Agent Systems, 23 3 —, Chapters in Books  Espina M.
Conference Proceedings  Bloisi D. Submitted papers, technical reports and others  Cognetti M. Networked Systems 71 3. The networked systems area has developed, in the last 12 years, thanks to the successful participation in 34 major advanced research projects mainly financed by the European Union EU , carried on together with major European ICT players.
The networked sys- tems area supports a Future Internet vision in particular, the group participates to the large FI-WARE EU project just concerning the Future Internet technology foundation foreseeing a technology independent distributed framework including coordinated ad- vanced control algorithms utilizing methodologies such as reinforcement learning for multi-agent systems, data mining, game theory, bounded optimal control, predictive con- trol and robust control.
Com- puters Mathematics with Applications, 59, —, Automatica, 19 6 9 , International Journal on Advances in Internet Technology, 4 12 , pp. International Journal of System Science, 42 12 , pp. Chapters in Books  Castrucci M. In Domingue J. Conference Proceedings  Castrucci M. Submitted to Telecommunication Systems Jour- nal - Springer. Accepted for publication by Telecommunication Systems Journal - Springer. Submitted to Ad-Hoc Networks - Elsevier. Submitted to Computer Networks - Elsevier.
Research on nonlinear systems and control at the University Sapienza has been active since the early 70s and, historically, has played a major role worldwide. The geometric approach to nonlinear feedback design, developed in the late 70s, marked the beginning of a new area of research which, in the subsequent decades, has profoundly influenced the development of the entire field. The concept of nonlinear feedback equivalence and of zero dynamics, their properties and implications in feedback design, are perhaps the most frequently used concepts in feedback stabilization.
The geometric approach also plays a fundamental role in the analysis of systems evolving on Lie groups, with numer- ous applications to the control of spacecrafts and mobile robots. Currently, this line of research is pursued with the study of problems arising in the regulation of systems possessing unstable zero dynamics and in the development of methods for robust stabilization via measurement feedback. A general framework for robust stabilization reposes of the concept of filtered Lyapunov functions. Tools for the design of composite filtered Lyapunov functions have been de- veloped.
Robust and nonlinear control techniques have proven useful to achieve control objectives in the case of restricted information structure, e. A major challenge in the research on control with limited information is the design of controllers which are distributed over a network. In this case, the controllers cooperate to achieve a common goal but have access only to limited information provided by their neighbors.
Analysis and design of real control systems integrating devices and computational procedures in a digital context involves ad-hoc methods. The research activity has been focused on solving nonlinear control problems in discrete-time and on finding digital solutions to continuous-time control sys- tems. One of the major outcome of the investigation has been the settlement of an original approach, mixed by algebraic and geometric concepts, used either to prove the existence of solutions in discrete-time or to compute approximated solutions in the digital context.
Two aspects are at the bases of the more recent developments: a new representation of discrete-time dynamics, which provides a natural framework for comparing results from the continuous-time and discrete-time contexts, the concept of exact sampled model un- der feedback, which can be used to design piecewise continuous controllers in a direct digital context.
From the solution to feedback linearization, stabilization, regulation, ob- server theory, new research lines are in the direction of Lyapunov and passivity based design, inverse optimal control and time delayed systems in discrete-time and under sampling. Particular attention is devoted to the settlement of executable algorithms for computing the proposed solutions. Measurements devices, algorithms, data handling and transmission represent critical aspects in any distributed control problem.
The number of devices, their location, the energy consumption, the data-communication links and the distributed data handling are nowadays classical problems in this context. New issues deal with dynamic sensor networks, where mobile platforms are assimilated to intelligent devices, in which motion planning and control problems pose additional requirements and make harder the solu- tion of the task. The full problem formulation as a high dimensional nonlinear dynamics is a challenging interdisciplinary area of research towards easier and cheaper solutions to problems like surveillance, monitoring, decentralized and distributed control.
Prob- lems under investigation in this field concern sensor and actuator devices, computation algorithms, local and global coordinated control, network communication protocols and data acquisition and fusion. The applicative aspects of the research activities are carried out at the System and Control Laboratory, founded in Structural and Multidisci- plinary Optimization, 43 1 , Asian Journal of Control, accepted for publication. Nonlinear Systems and Control 79  Monaco S. Systems and Control Letters, 60, pp. Chapters in Books  Iacoviello D.
Conference Proceedings  Battilotti S. Proceedings of the Ka and broadband communications - Navigation and earth observa- tion conference, Palermo, September  Canale S. H and Califano C.
Dr. Abdelmajid Khelil
Nonlinear Systems and Control 81  Pucci D. On Dec. And Control, Submitted papers, technical reports and others  Andreaus U. Accepted for publication in Clinical Neurophysiology, Sub- mitted to Computer Methods and Programs in Biomedicine. American Control Conference, Montreal, June These re- search topics combine two strands of research previously followed by members of the group.
We find that, to be- come the acquirer, a firm from a small country needs not only a strong technological lead but also the ability to exploit it on a global scale, which requires low international tech- nology transfer costs. Moreover, it is shown that a multilateral liberalization of greenfield investments may actually increase the incentives for foreign acquisitions. We have analyzed this issue first consider- ing a monopoly market structure and then an international oligopoly.
We have also investigated the role played by MNEs in the international technology transfer ITT and the implications for the countries in- volved. An important mechanism for facilitating the international transfer of environ- mental friendly technologies to developing countries is the so called Clean Development Mechanism CDM. We have studied the role of CDM in channeling foreign technology to China. Our econometric analysis confirms that project size and cost, project location, credit buyers and consultants characteristics, as well as technology diffusion are all rel- evant factors in determining the probability to have a foreign supplier of technology in the project.
The Governance of Nonprofit Organizations - We develop various modelling tools for the analysis of the behaviour of consumer co-operatives and nonprofit organizations. In par- ticular, a research line investigates the stability of coordination between mission-driven nonprofit organizations competing for donations. Another research line deals with the effect of managerial delegation in consumer co-operatives. Coalitions, Majorities and the Stability of Industrial Agreements - We analyze a number of coalition stability concepts for the analysis of alliances and agreements within strategic settings.
Public Debt, Distortionary Taxation and Monetary Policy - The interaction between fiscal and monetary rules is one of the most controversial issues in policy design. We prove that in the realistic case in which lump-sum taxes are unavailable, it can become impossible to implement passive fiscal policies. Asia-Pacific Journal of Accounting Economics, 18 1 , 45—60, Chapters in Books  Rodano G. Claudio Napoleoni. Istituto della Enciclopedia Italiana, Rome, Italy, Conference Proceedings  Marini M. Stockholm, Sweden, September , Exeter, UK, April , Submitted papers, technical reports and others  Petit M.
To appear in Economics of Innovation and New Technology. The impact of unilateral climate policy with endogenous plant location and market size asymmetry. To appear in Review of International Economics. To appear in Rivista Italiana degli Economisti. Robotics 85  Marini M.
Lead, Follow or Cooperate? Post Docs: Massimo Cefalo. The Robotics group at DIAG, and the associated Robotics Laboratory, were established in the late s with a commitment to develop innovative planning and control methods for industrial and service robots. In addition to further development in the above mentioned areas, recent activities include control and visual servoing for unmanned aerial vehicles UAV , control-based motion planning for mobile manipulators, motion planning and control of locomotion in humanoid robots, and sensory supervision of human-robot interaction.
A recent acquisition is a NAO humanoid robot by Aldebaran. Journals  Cherubini A. Robotica, vol. Conference Proceedings  De Luca A. Robotics 87  Flacco F. Theses  Flacco F. Submitted papers, technical reports and others  Censi A. Submitted to International Journal of Robotics Research. Web Algorithmics and Data Mining 89 Our interest in on algorithmic methods for characterizing the structure of large-scale complex networks with application to Web structure mining and Web usage mining.
We have focussed so far on developing algorithms for graph based feature extraction and detection of significant patterns that characterize social activities, trust relationships and content quality. In cooperation with Yahoo! Kaebisch, D. Kramer, D. Le Phuoc, J. Mitic, D. Anicic, E. Talpur, F. Shaikh, T. Newe, A. Sheikh, E. Felemban, A. Khelil " Bloom filter—based efficient broadcast algorithm for the Internet of things ", International Journal of Distributed Sensor Networks , Vol. Talpur, T. Newe, F. Shaikh, A. Hu, A.
Khelil, M. Khelil, A. Felemban, H. Ali, A. Mahmudimanesh, N. Ayari, A. Khelil, N. Khelil and N. Ghani, A. Suri, G. Urbanics, J. Winter, D. Germanus, H. Ghani, T. Piper, A. Szczytowski, A. Ali, N. Journal of Comm. Khelil, F. Shaikh and N. D'Antonio, L. Romano, A. Khelil, P. Becker, and K. Koubaa and A. Aziz, U. Qureshi, F. Shaikh, N. Bohra, A. Khelil, and E. Mahmudimanesh, A. Khelil, and N. Khelil, D. Germanus, N. Urbanics, H.
Collaborative Financial Infrastructure Protection
Baldoni and G. Chockler eds. Suri, C. Khelil, C. Reinl, B. Ayari, F. Shaikh, P. Obaidat, M. Denko and I. Szczytowski, B. Ayari and N. Sachidananda, D. Noack, A. Khelil, K.
معلومات عن المنتج
Van Laerhoven and P. Shaikh, E. Rahman, F. Labth, I. Afyouni, S.