Considers (74) S. 3058.

This book celebratesthe 25th anniversaryof GULP—the Italian Associationfor LogicProgramming.Authored by Italian researchersat the leading edge of their ?elds, it presents an up-to-date survey of a broad collection of topics in logic programming, making it a useful reference for both researchers and students. During its 25-year existence, GULP has organised a wide range of national and international activities, including both conferences and summer schools. It has been especially active in supporting and encouraging young researchers, by providing scholarships for GULP events and awarding distinguished disser- tions. WeintheinternationallogicprogrammingcommunitylookuponGULPwith a combination of envy, admiration and gratitude. We are pleased to attend its conferences and summer schools, where we can learn about scienti?c advances, catch up with old friends and meet young students. It is an honour for me to acknowledge our appreciation to GULP for its outstanding contributions to our ?eld and to express our best wishes for its continuing prosperity in the future. March 2010 Robert Kowalski Imperial College London Preface On June 18, 1985, a group of pioneering researchers, including representatives from industry, national research labs, and academia, attended the constituent assembly of the Group of researchers and Users of Logic Programming (GULP) association. That was the starting point of a long adventure in science, that 1 we are still experiencing 25 years later. This volume celebrates this important event.

This book constitutes the proceedings of the Second International Conference on Abstract State Machines, B and Z, which took place in Orford, QC, Canada, in February 2010. The 26 full papers presented were carefully reviewed and selected from 60 submissions. The book also contains two invited talks and abstracts of 18 short papers which address work in progress, industrial experience reports and tool descriptions. The papers cover recent advances in four equally rigorous methods for software and hardware development: abstract state machines (ASM), Alloy, B and Z. They share a common conceptual framework, centered around the notions of state and operation, and promote mathematical precision in the modeling, verification and construction of highly dependable systems.

The present book deals with canonical factorization of matrix and operator functions that appear in state space form or that can be transformed into such a form. A unified geometric approach is used. The main results are all expressed explicitly in terms of matrices or operators, which are parameters of the state space representation. The applications concern different classes of convolution equations. A large part the book deals with rational matrix functions only.

This book is dedicated to the study of structure and transport of deep and bottom waters above and through underwater channels of the Atlantic Ocean. The study is based on recent observations, analysis of historical data, and literature reviews. This approach allows us to understand how water transport and water mass prop- ties have changed over the last years and decades. The focus of our study is on the propagation of bottom waters in the Atlantic Ocean based on new field data at key points. At the end of the 1920s, the first integral study of water masses and bottom topography of the Central and South Atlantic was carried out from the German - search vessel Meteor. This German Atlantic Expedition was one of the first cruises equipped with the newly developed echo sounder (fathometer): an obligatory p- requisite for the investigation of bottom morphology in the deep sea on an - erational base. The results of the expedition were published by Wüst, Defant, and colleagues in the multivolume METEOR publication series starting with the cruise report by the ship’s commander (Spiess 1928, 1932). Historically, this series of p- lications, intermittently interrupted by World War II, was the basis for many years of research into the development of modern concepts about Atlantic water masses and their circulation schemes.

Abstract This chapter lays the foundation for the work presented in latter chapters. The potential of 60 GHz frequency bands for high data rate wireless transfer is discussed and promising applications are enlisted. Furthermore, the challenges related to 60 GHz IC design are presented and the chapter concludes with an outline of the book. Keywords Wireless communication 60 GHz Millimeter wave integrated circuit design Phase-locked loop CMOS Communication technology has revolutionized our way of living over the last century. Since Marconi’s transatlantic wireless experiment in 1901, there has been tremendous growth in wireless communication evolving from spark-gap telegraphy to today’s mobile phones equipped with Internet access and multimedia capabilities. The omnipresence of wireless communication can be observed in widespread use of cellular telephony, short-range communication through wireless local area networks and personal area networks, wireless sensors and many others. The frequency spectrum from 1 to 6 GHz accommodates the vast majority of current wireless standards and applications. Coupled with the availability of low cost radio frequency (RF) components and mature integrated circuit (IC) techn- ogies, rapid expansion and implementation of these systems is witnessed. The downside of this expansion is the resulting scarcity of available bandwidth and allowable transmit powers. In addition, stringent limitations on spectrum and energy emissions have been enforced by regulatory bodies to avoid interference between different wireless systems.