This volume presents current research and development in the fields of sensors and microsystems. Many aspects of disciplines related to sensors and microsystems are covered, ranging from materials science to complete applications and multifunctional systems. The variety of the topics and the quality of the papers offer readers an insight into the research status in Italy. The book contains selected contributions from 37 institutions in Italy — both academic institutions and public/private research institutions.
The Italian Conference on Theoretical Computer Science (ICTCS '98) is the annual conference of the Italian Chapter of the European Association for Theoretical Computer Science. The Conference aims at enabling computer scientists, especially young researchers to enter the community and to exchange theoretical ideas and results, as well as theoretical based practical experiences and tools in computer science.This volume contains 32 papers selected out of 50 submissions. The main topics include computability, automata, formal languages, term rewriting, analysis and design of algorithms, computational geometry, computational complexity, symbolic and algebraic computation, cryptography and security, data types and data structures, semantics of programming languages, program specification and verification, foundations of logic programming, parallel and distributed computation, and theory of concurrency.The volume provides an up-to-date view of the status of several relevant topics in theoretical computer science and suggests directions for future research. It constitutes a valuable working tool for researchers and graduate students.
The ninth edition of the Italian Conference on Computational Linguistics (CLiC-it 2023) was held from 30th November to 2nd December 2023 at Ca' Foscari University of Venice, in the beautiful venue of the Auditorium Santa Margherita - Emanuele Severino. After the edition of 2020, which was organized in fully virtual mode due to the health emergency related to Covid-19, and CLiC-it 2021, which was held in hybrid mode, with CLiC-it 2023 we are back to a fully in-presence conference. Overall, almost 210 participants registered to the conference, confirming that the community is eager to meet in person and to enjoy both the scientific and social events together with the colleagues.
This book constitutes extended, revised and selected papers from the 6th International Conference on Cloud Computing and Services Science, CLOSER 2016, held in Rome, Italy, in April 2016. The 16 papers presented in this volume were carefully reviewed and selected from a total of 123 submissions. The volume also contains two invited papers. CLOSER 2016 focused on the emerging area of cloud computing, inspired by recent advances related to infrastructures, operations, and service availability through global networks. It also studied the influence of service science in this area.
This indispensable volume contains a selection of papers presented at the 9th Italian Conference on Sensors and Microsystems, organized by AISEM (Associazione Italiana Sensori e Microsistemi). Many essential aspects of the disciplines related to advanced sensors and microsystems are covered, ranging from nano- and new materials to applications, multifunctional systems, micromechanics, and new technology. 83 papers from 103 institutions are featured, an indication of the very active research currently progressing in Italy. The wide range of contributions reflects the multidisciplinary character of the community encompassing physics, chemistry, biology, engineering, medicine, and others.
Chemists have been researching the potential of liquid and supercritical carbon dioxide for environmentally safe applications. This edited volume will cover the various applications of using these forms of carbon dioxide. The three main areas of focus are catalysis and chemical synthesis in CO2, polymers in CO2, and industrial processes and applications utilizing CO2. The book is aimed at researchers in academia and industry, and the contributors are all experts in the field.
This book introduces a general approach for schematization of mechanical systems with rigid and deformable bodies. It proposes a systems approach to reproduce the interaction of the mechanical system with different force fields such as those due to the action of fluids or contact forces between bodies, i.e., with forces dependent on the system states, introducing the concepts of the stability of motion. In the first part of the text mechanical systems with one or more degrees of freedom with large motion and subsequently perturbed in the neighborhood of the steady state position are analyzed. Both discrete and continuous systems (modal approach, finite elements) are analyzed. The second part is devoted to the study of mechanical systems subject to force fields, the rotor dynamics, techniques of experimental identification of the parameters and random excitations. The book will be especially valuable for students of engineering courses in Mechanical Systems, Aerospace, Automation and Energy but will also be useful for professionals. The book is made accessible to the widest possible audience by numerous, solved examples and diagrams that apply the principles to real engineering applications.
For real-time systems, the worst-case execution time (WCET) is the key objective to be considered. Traditionally, code for real-time systems is generated without taking this objective into account and the WCET is computed only after code generation. Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems presents the first comprehensive approach integrating WCET considerations into the code generation process. Based on the proposed reconciliation between a compiler and a timing analyzer, a wide range of novel optimization techniques is provided. Among others, the techniques cover source code and assembly level optimizations, exploit machine learning techniques and address the design of modern systems that have to meet multiple objectives. Using these optimizations, the WCET of real-time applications can be reduced by about 30% to 45% on the average. This opens opportunities for decreasing clock speeds, costs and energy consumption of embedded processors. The proposed techniques can be used for all types real-time systems, including automotive and avionics IT systems.