الصفحة 1
الصفحة 1
Hardware and software : Verification and testing ; 3rd International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings
These are the conference proceedings of the 4th Haifa Verifcation Conference, held October 27–30, 2008 in Haifa, Israel. This international conference is a unique venue that brings together leading researchers and practitioners of both formal and dynamic verifcation, for both hardware and software systems. This year’s conference extended the successes of the previous years, with a largejumpinthenumberofsubmitted papers. with many more high-quality papers than we had room to accept. Submissions came from 19 di?erent countries, re?ecting the growing international visibility of the conference. Of the 49 submissions, 43 were regular papers, 2 of which were later withdrawn, and 6 were tool papers. After a rigorous review process.
Guide to Observing Deep-Sky Objects : A Complete Global Resource for Astronomers
Guide to Observing Deep-Sky Objects is an invaluable reference for all amateur astronomers. The book contains, for each constellation, (1) a star chart showing the Bayer labels, (2) a table for many of the stars in the constellation, along with their positions and magnitudes, and (3) a table of the major deep-sky objects in the constellation, with relevant observational data. Facing pages provide unique year-long graphs that show when the constellation is visible in the sky, which allows the user to quickly determine whether a given constellation can be seen, and when the best time to see it will be.
Fog and boundary layer clouds : Fog visibility and forecasting
The e?ect of fog on human life was recognized in the early ages of mankind but its impact has signi?cantly increased during recent decades due to increasing air, marine, and road tra?c. In fact, the ?nancial and human losses related to fog and low visibility became comparable to the losses from other weather events, e.g., tornadoes or, in some situations, even hurricanes. The purpose of this review is to summarize the earlier works on fog and to lay a basis for the articles presented in this special issue and outline perspectives for future fog research.
Distributed systems and mobile computing
About Distributed Systems and Mobile Computing. This is a branch of Computer Science devoted to the study of systems whose components are in different physical locations and have limited communication capabilities. Such components may be static, often organized in a network, or may be able to move in a discrete or continuous environment. The theoretical study of such systems has applications ranging from swarms of mobile robots (e.g., drones) to sensor networks, autonomous intelligent vehicles, the Internet of Things, and crawlers on the Web. The book includes five articles. Two of them are about networks: the first one studies the formation of networks by agents that interact randomly and have the ability to form connections; the second one is a study of clustering models and algorithms. The three remaining articles are concerned with autonomous mobile robots operating in continuous space.
Concepts and Semantics of Programming Languages 2 : Modular and Object-oriented Constructs with OCaml, Python, C++, Ada and Java
Explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, providing also an accurate presentation of the material aspects that interfere with coding. Presents an original semantic model, collectively taking into account all of the constructs and operations of modules and classes: visibility, import, export, delayed definitions, parameterization by types and values, extensions, etc. The model serves for the study of Ada and OCaml modules, as well as C header files. It can be deployed to model object and class features, and is thus used to describe Java, C++, OCaml and Python classes.
Management and Information Technology after Digital Transformation
With the widespread transformation of information into digital form throughout society – firms and organisations are embracing this development to adopt multiple types of IT to increase internal efficiency and to achieve external visibility and effectiveness – we have now reached a position where there is data in abundance and the challenge is to manage and make use of it fully. This book addresses this new managerial situation, the post-digitalisation era, and offers novel perspectives on managing the digital landscape.
Atmospheric Aerosol Properties : Formation, Processes and Impacts
An increasing interest in studies of atmospheric aerosols in the context of their impact on the formation of climate, heterogeneous chemical reactions in the atmosphere affecting in particular the environmental quality, problems of visibility and human health is the cause of unusual scales of developments connected with studies of atmospheric aerosols. The necessity has arisen to analyze the latest results concerning, first of all, three aspects of the problems considered: 1. aerosol properties from data of complex field observational experiment; 2. processes of aerosol formation and interaction of aerosol with clouds, 3. aerosol as a climate-forming atmospheric component (including the problem of long-range transport). The monograph in hand is dedicated mainly to the problems of the impact of aerosol on climate processes in the atmosphere, from microphysical processes of formation and evolution of aerosol properties to the formation of macro-scale cloud sytems on aerosol particles.
AI*IA 2005 : Advances in artificial intelligence ; 9th congress of the Italian Association for Artificial Intelligence Milan, Italy, September 21-23, 2005, Proceedings
This volume collects the papers selected for presentation at the IX Congress of the Italian Association for Arti?cial Intelligence (AI*IA), 2005 On the one hand this congress continues the tradition of AI*IA in organizing its biannual s- enti?c meeting from 1989; on the other hand, this edition is a landmark in the involvement of the international community of arti?cial intelligence (AI), directly involving a broad number of experts from several countries in the P- gramCommittee. Moreover,the peculiar nature of scienti?c researchin arti?cial intelligence (which is intrinsically international) and several consolidated int- national collaborations in projects and mobility programs allowed the collection and selection of papers from many di?erent countries, all around the world, enlarging the visibility of the Italian contribution within this research ?eld. Arti?cial intelligence is today a growing complex set of conceptual, theor- ical, methodological, and technological frameworks, o?ering innovative com- tational solutions in the design and development of computer-based systems. Within this perspective, researchers working in this area must tackle a broad range of knowledge about methods, results, and solutions coming from di?erent classical areas of this discipline. The congress was designed as a forum allowing researchers to present and discuss specialized results as general contributions to AI growth.
