Introduction to MATLAB

Using a systems framework, this textbook provides a clear and comprehensive introduction to the performance, analysis and design of radio systems for students and practising engineers. Presented within a consistent framework, the first part of the book describes the fundamentals of the subject: propagation, noise, antennas and modulation. The analysis and design of radios, including RF circuit design and signal processing, is covered in the second half of the book. The former is presented with minimal involvement of Smith charts, enabling students to grasp the fundamentals more readily. Both traditional and software-defined/direct sampling technology are described, with pros and cons of each strategy explained. Numerous examples within the text involve realistic analysis and design activities, and emphasize how practical experiences may differ from theory or taught procedures. End-of-chapter problems are provided, as are a password-protected solutions manual and lecture slides to compl

Learning and Teaching in the Early Years provides a comprehensive, contemporary and practical introduction to early childhood teaching in Australia. A strong focus on the links between theory, policy and practice firmly aligns this text with the Early Years Learning Framework. Written for students of early childhood programs, this book covers learning and development, as well as professional practice in teaching children from birth to eight years. In recognition of the evolving role of educators, topic areas include learning, teaching, working with families, leading, advocating and researching. Each chapter contains learning objectives, key terms and reflection points. Detailed case studies document the intersection between research, policy and practice, enhancing pre-service and practicing educators' appreciation of how a policy-aligned approach reinforces learning and development in the early years. This text draws on the latest research to present children's learning as a dynamic an

A second edition of this leading introduction to the origins of the First World War and the pre-war international system. William Mulligan shows how the war was a far from inevitable outcome of international politics in the early twentieth century and suggests instead that there were powerful forces operating in favour of the maintenance of peace. He discusses key issues ranging from the military, public opinion, economics, diplomacy and geopolitics to relations between the great powers, the role of smaller states and the disintegrating empires. In this new edition, the author assesses the extensive new literature on the war's origins and the July Crisis as well as introducing new themes such as the relationship between economic interdependence and military planning. With well-structured chapters and an extensive bibliography, this is an essential classroom text which significantly revises our understanding of diplomacy, political culture, and economic history from 1870 to 1914.

A second edition of this leading introduction to the origins of the First World War and the pre-war international system. William Mulligan shows how the war was a far from inevitable outcome of international politics in the early twentieth century and suggests instead that there were powerful forces operating in favour of the maintenance of peace. He discusses key issues ranging from the military, public opinion, economics, diplomacy and geopolitics to relations between the great powers, the role of smaller states and the disintegrating empires. In this new edition, the author assesses the extensive new literature on the war's origins and the July Crisis as well as introducing new themes such as the relationship between economic interdependence and military planning. With well-structured chapters and an extensive bibliography, this is an essential classroom text which significantly revises our understanding of diplomacy, political culture, and economic history from 1870 to 1914.

This indispensable guide will equip the reader with a thorough understanding of the field of foaming chemistry. Assuming only basic theoretical background knowledge, the book provides a straightforward introduction to the principles and properties of foams and foaming surfactants. It discusses the key ideas that underpin why foaming occurs, how it can be avoided and how different degrees of antifoaming can be achieved, and covers the latest test methods, including laboratory and industrial developed techniques. Detailing a variety of different kinds of foams, from wet detergents and food foams, to polymeric, material and metal foams, it connects theory to real-world applications and recent developments in foam research. Combining academic and industrial viewpoints, this book is the definitive stand-alone resource for researchers, students and industrialists working on foam technology, colloidal systems in the field of chemical engineering, fluid mechanics, physical chemistry, and appli

Providing a comprehensive introduction to the fundamentals and applications of flow and heat transfer in conventional and miniature systems, this fully enhanced and updated edition covers all the topics essential for graduate courses on two-phase flow, boiling, and condensation. Beginning with a concise review of single-phase flow fundamentals and interfacial phenomena, detailed and clear discussion is provided on a range of topics, including two-phase hydrodynamics and flow regimes, mathematical modeling of gas-liquid two-phase flows, pool and flow boiling, flow and boiling in mini and microchannels, external and internal-flow condensation with and without noncondensables, condensation in small flow passages, and two-phase choked flow. Numerous solved examples and end-of-chapter problems that include many common design problems likely to be encountered by students, make this an essential text for graduate students. With up-to-date detail on the most recent research trends and practica

Originally published in 1906, this textbook's principal aim is to give 'the facts of the language as they appear in the accepted models of Classical Latin'. Predominantly written for school students, this highly informative book sets out to educate the grammar of this classical language - the term 'classical' here meant as the 'artificial literacy dialect of which Cicero and Caesar are the recognised exponents in prose, Vergil, Ovid and Horace in poetry'. Chapters are detailed and broad in scope; chapter titles include, 'Phonology', 'Accidence' and 'Prosody'. Notably, 'Accidence and syntax are treated separately, yet, where it seemed convenient, e.g. with the impersonal verbs, the construction of certain words has been given at the same time as their forms and inflexions'. An index of verbs is included for reference. Intended as a reliable and clear introduction, this book will be of great value to anyone with an interest in Latin.

Originally published in 1915, this textbook was written by English mathematician Harry Bateman (1882–1946) and 'is intended as an introduction to some recent developments of Maxwell's electromagnetic theory which are directly connected with the solution of the partial differential equation of wave-motion'. Notably, 'the higher developments of the theory which are based on the dynamical equations of motion are not considered'. Instead the book focuses on an overview of the theory of this vast subject, bringing into view the most recent developments. An extensive knowledge and understanding of mathematics is considered a pre-requisite, as is knowledge on the existing theorems surrounding such study. Interestingly, chapter eight contains some of Bateman's own contributions to the subject. This dynamic and engaging book outlines the theory of electrical and optical wave-motion, summarising the fundamental ideas of the subject and will be of considerable value to scholars of physics.

This is the first critical anthology of writings about memory in Renaissance England. Drawing together excerpts from more than seventy writers, poets, physicians, philosophers and preachers, and with over twenty illustrations, the anthology offers the reader a guided exploration of the arts of memory. The introduction outlines the context for the tradition of the memory arts from classical times to the Renaissance and is followed by extracts from writers on the art of memory in general, then by thematically arranged sections on rhetoric and poetry, education and science, history and philosophy, religion, and literature, featuring texts from canonical, non-canonical and little-known sources. Each excerpt is supported with notes about the author and about the text's relationship to the memory arts, and includes suggestions for further reading. The book will appeal to students of the memory arts, Renaissance literature, the history of ideas, book history and art history.

This is the first critical anthology of writings about memory in Renaissance England. Drawing together excerpts from more than seventy writers, poets, physicians, philosophers and preachers, and with over twenty illustrations, the anthology offers the reader a guided exploration of the arts of memory. The introduction outlines the context for the tradition of the memory arts from classical times to the Renaissance and is followed by extracts from writers on the art of memory in general, then by thematically arranged sections on rhetoric and poetry, education and science, history and philosophy, religion, and literature, featuring texts from canonical, non-canonical and little-known sources. Each excerpt is supported with notes about the author and about the text's relationship to the memory arts, and includes suggestions for further reading. The book will appeal to students of the memory arts, Renaissance literature, the history of ideas, book history and art history.

G. H. Hardy (1877–1947) ranks among the great mathematicians of the twentieth century. He did essential research in number theory and analysis, held professorships at Cambridge and Oxford, wrote important textbooks as well as the classic A Mathematician's Apology, and famously collaborated with J. E. Littlewood and Srinivasa Ramanujan. Hardy was a colorful character with remarkable expository skills. This book is a feast of G. H. Hardy's writing. There are selections of his mathematical papers, his book reviews, his tributes to departed colleagues. Some articles are serious, whereas others display a wry sense of humor. And there are recollections by those who knew Hardy, along with biographical and mathematical pieces written explicitly for this collection. Fans of Hardy should find much here to like. And for those unfamiliar with his work, The G. H. Hardy Reader provides an introduction to this extraordinary individual.

This tutorial reference takes the reader from use cases to complete architectures for real-time embedded systems using SysML, UML, and MARTE and shows how to apply the COMET/RTE design method to real-world problems. The author covers key topics such as architectural patterns for distributed and hierarchical real-time control and other real-time software architectures, performance analysis of real-time designs using real-time scheduling, and timing analysis on single and multiple processor systems. Complete case studies illustrating design issues include a light rail control system, a microwave oven control system, and an automated highway toll system. Organized as an introduction followed by several self-contained chapters, the book is perfect for experienced software engineers wanting a quick reference at each stage of the analysis, design, and development of large-scale real-time embedded systems, as well as for advanced undergraduate or graduate courses in software engineering, comp

Rich with examples and applications, this textbook provides a coherent and self-contained introduction to ergodic theory, suitable for a variety of one- or two-semester courses. The authors' clear and fluent exposition helps the reader to grasp quickly the most important ideas of the theory, and their use of concrete examples illustrates these ideas and puts the results into perspective. The book requires few prerequisites, with background material supplied in the appendix. The first four chapters cover elementary material suitable for undergraduate students – invariance, recurrence and ergodicity – as well as some of the main examples. The authors then gradually build up to more sophisticated topics, including correlations, equivalent systems, entropy, the variational principle and thermodynamical formalism. The 400 exercises increase in difficulty through the text and test the reader's understanding of the whole theory. Hints and solutions are provided at the end of the book.

This textbook presents all aspects of climate system dynamics, on all timescales from the Earth's formation to modern human-induced climate change. It discusses the dominant feedbacks and interactions between all the components of the climate system: atmosphere, ocean, land surface and ice sheets. It addresses one of the key challenges for a course on the climate system: students can come from a range of backgrounds. A glossary of key terms is provided for students with little background in the climate sciences, whilst instructors and students with more expertise will appreciate the book's modular nature. Exercises are provided at the end of each chapter for readers to test their understanding. This textbook will be invaluable for any course on climate system dynamics and modeling, and will also be useful for scientists and professionals from other disciplines who want a clear introduction to the topic.

G. E. Moore's fame as a philosopher rests on his ethics of love and beauty, which inspired Bloomsbury, and on his 'common sense' certainties which challenge abstract philosophical theory. Behind this lies his critical engagement with Kant's idealist philosophy, which is published here for the first time. These early writings, Moore's fellowship dissertations of 1897 and 1898, show how he initiated his influential break with idealism. In 1897 his main target was Kant's ethics, but by 1898 it was the whole Kantian project of transcendental philosophy that he rejected, and the theory which he developed to replace it gave rise to the new project of philosophy as logical analysis. This edition includes comments by Moore's examiners Henry Sidgwick, Edward Caird and Bernard Bosanquet, and in a substantial introduction the editors explore the crucial importance of the dissertations to the history of twentieth-century philosophical thought.

This textbook presents all aspects of climate system dynamics, on all timescales from the Earth's formation to modern human-induced climate change. It discusses the dominant feedbacks and interactions between all the components of the climate system: atmosphere, ocean, land surface and ice sheets. It addresses one of the key challenges for a course on the climate system: students can come from a range of backgrounds. A glossary of key terms is provided for students with little background in the climate sciences, whilst instructors and students with more expertise will appreciate the book's modular nature. Exercises are provided at the end of each chapter for readers to test their understanding. This textbook will be invaluable for any course on climate system dynamics and modeling, and will also be useful for scientists and professionals from other disciplines who want a clear introduction to the topic.

Chromatic graph theory is a thriving area that uses various ideas of 'colouring' (of vertices, edges, and so on) to explore aspects of graph theory. It has links with other areas of mathematics, including topology, algebra and geometry, and is increasingly used in such areas as computer networks, where colouring algorithms form an important feature. While other books cover portions of the material, no other title has such a wide scope as this one, in which acknowledged international experts in the field provide a broad survey of the subject. All fifteen chapters have been carefully edited, with uniform notation and terminology applied throughout. Bjarne Toft (Odense, Denmark), widely recognized for his substantial contributions to the area, acted as academic consultant. The book serves as a valuable reference for researchers and graduate students in graph theory and combinatorics and as a useful introduction to the topic for mathematicians in related fields.

The Digital Humanities is a comprehensive introduction and practical guide to how humanists use the digital to conduct research, organize materials, analyze, and publish findings. It summarizes the turn toward the digital that is reinventing every aspect of the humanities among scholars, libraries, publishers, administrators, and the public. Beginning with some definitions and a brief historical survey of the humanities, the book examines how humanists work, what they study, and how humanists and their research have been impacted by the digital and how, in turn, they shape it. It surveys digital humanities tools and their functions, the digital humanists' environments, and the outcomes and reception of their work. The book pays particular attention to both theoretical underpinnings and practical considerations for embarking on digital humanities projects. It places the digital humanities firmly within the historical traditions of the humanities and in the contexts of current academic a

The Digital Humanities is a comprehensive introduction and practical guide to how humanists use the digital to conduct research, organize materials, analyze, and publish findings. It summarizes the turn toward the digital that is reinventing every aspect of the humanities among scholars, libraries, publishers, administrators, and the public. Beginning with some definitions and a brief historical survey of the humanities, the book examines how humanists work, what they study, and how humanists and their research have been impacted by the digital and how, in turn, they shape it. It surveys digital humanities tools and their functions, the digital humanists' environments, and the outcomes and reception of their work. The book pays particular attention to both theoretical underpinnings and practical considerations for embarking on digital humanities projects. It places the digital humanities firmly within the historical traditions of the humanities and in the contexts of current academic a

Continuum mechanics studies the foundations of deformable body mechanics from a mathematical perspective. It also acts as a base upon which other applied areas such as solid mechanics and fluid mechanics are developed. This book discusses some important topics, which have come into prominence in the latter half of the twentieth century, such as material symmetry, frame-indifference and thermomechanics. The study begins with the necessary mathematical background in the form of an introduction to tensor analysis followed by a discussion on kinematics, which deals with purely geometrical notions such as strain and rate of deformation. Moving on to derivation of the governing equations, the book also presents applications in the areas of linear and nonlinear elasticity. In addition, the volume also provides a mathematical explanation to the axioms and laws of deformable body mechanics, and its various applications in the field of solid mechanics.

This book provides the first comprehensive overview of the history of democracy in Africa and explains why the continent's democratic experiments have so often failed, as well as how they could succeed. Nic Cheeseman grapples with some of the most important questions facing Africa and democracy today, including whether international actors should try and promote democracy abroad, how to design political systems that manage ethnic diversity, and why democratic governments often make bad policy decisions. Beginning in the colonial period with the introduction of multi-party elections and ending in 2013 with the collapse of democracy in Mali and South Sudan, the book describes the rise of authoritarian states in the 1970s; the attempts of trade unions and some religious groups to check the abuse of power in the 1980s; the remarkable return of multiparty politics in the 1990s; and finally, the tragic tendency for elections to exacerbate corruption and violence.

Stesichorus' lyric poetry vividly recreates the most dramatic episodes of Greek myth: the labours of Heracles, the sack of Troy, the vengeance of Orestes, and more besides. It can be appreciated today as never before, thanks to the recent discovery of ancient manuscripts buried for some two millennia in the sands of Egypt. This fresh edition of Stesichorus' poems presents the first full-scale analysis of all his surviving works. The detailed introduction and commentary investigate a wide range of key issues, such as Stesichorus' imagery and style, his narrative technique, and his mythological innovations. The controversial question of how Stesichorus' poems were originally performed receives careful scrutiny; particular attention is paid to the fascinating story of the transmission, disappearance, and recovery of his work. A translation integrated with the commentary renders this book accessible to all readers with an interest in early Greek poetry and its legacy.

Music, calm speech, whispering leaves fluttering in a breeze are pleasant and desirable sounds. Noise, howling gales, explosions and screeching traffic are less so. A quantitative understanding of the sources of all such sounds can be obtained by careful analysis of the mechanical equations of motion. This is provided by Acoustics and Aerodynamic Sound, which serves as a short, one semester introduction to acoustics and aerodynamic sound at the advanced undergraduate and graduate level. Sound is treated as a branch of fluid mechanics, which is possible because students embarking on an advanced course in acoustics will be familiar with this topic. It is also desirable because an ability to relate acoustic events to hydrodynamic phenomena provides insight into acoustic principles, in particular into the role of vorticity in the mechanics of sound production by vibrating bodies and in the scattering and diffraction of sound.

The third book of Lucretius' great poem on the workings of the universe is devoted entirely to expounding the implications of Epicurus' dictum that death does not matter, 'is nothing to us'. The soul is not immortal: it no more exists after the dissolution of the body than it had done before its birth. Only if this fact is accepted can men rid themselves of irrational fears and achieve the state of ataraxia, freedom from mental disturbance, on which the Epicurean definition of pleasure was based. To present this case Lucretius deploys the full range of poetic and rhetorical registers, soberly prohibitive, artfully decorative or passionately emotive as best suits his argument, reinforcing it with vivid and compelling imagery. This new edition has been completely revised, with a considerably enlarged Commentary and a new supplementary introduction taking account of the great amount of new scholarship of the last forty years.

This new edition of Aristotle's Nicomachean Ethics is an accurate, readable and accessible translation of one of the world's greatest ethical works. Based on lectures Aristotle gave in Athens in the fourth century BCE, Nicomachean Ethics is one of the most significant works in moral philosophy, and has profoundly influenced the whole course of subsequent philosophical endeavour. It offers seminal, practically oriented discussions of many central ethical issues, including the role of luck in human well-being, moral education, responsibility, courage, justice, moral weakness, friendship and pleasure, with an emphasis on the exercise of virtue as the key to human happiness. This second edition offers an updated editor's introduction and suggestions for further reading, and incorporates the line numbers as well as the page numbers of the Greek text. With its emphasis on accuracy and readability, it will enable readers without Greek to come as close as possible to Aristotle's work.

This new edition of Aristotle's Nicomachean Ethics is an accurate, readable and accessible translation of one of the world's greatest ethical works. Based on lectures Aristotle gave in Athens in the fourth century BCE, Nicomachean Ethics is one of the most significant works in moral philosophy, and has profoundly influenced the whole course of subsequent philosophical endeavour. It offers seminal, practically oriented discussions of many central ethical issues, including the role of luck in human well-being, moral education, responsibility, courage, justice, moral weakness, friendship and pleasure, with an emphasis on the exercise of virtue as the key to human happiness. This second edition offers an updated editor's introduction and suggestions for further reading, and incorporates the line numbers as well as the page numbers of the Greek text. With its emphasis on accuracy and readability, it will enable readers without Greek to come as close as possible to Aristotle's work.

This text covers fundamentals used in the navigation and guidance of modern aerospace vehicles, in both atmospheric and space flight. It can be used as a textbook supporting a graduate level course on aerospace navigation and guidance, a guide for self-study, or a resource for practicing engineers and researchers. It begins with an introduction that discusses why navigation and guidance ought to be considered together and delineates the class of systems of interest in navigation and guidance. The book then presents the necessary fundamentals in deterministic and stochastic systems theory and applies them to navigation. Next, the book treats optimization and optimal control for application in optimal guidance. In the final chapter, the book introduces problems where two competing controls exercise authority over a system, leading to differential games. Fundamentals of Aerospace Navigation and Guidance features examples illustrating concepts and homework problems at the end of all chapte

Some of the nation's leading experts look at various aspects of election administration, including issues of ballot format, changes in registration procedures, the growth in the availability of absentee ballot rules and other forms of 'convenience voting', and changes in the technology used to record our votes. They also look at how the Bush v. Gore decision has been used by courts that monitor the election process and at the consequences of changes in practice for levels of invalid ballots, magnitude of racial disparities in voting, voter turnout, and access to the ballot by those living outside the United States. The editors, in their introduction, also consider the normative question of exactly what we want a voting system to do. An epilogue by two leading election law specialists looks at how election administration and election contest issues played out in the 2012 presidential election.

Some of the nation's leading experts look at various aspects of election administration, including issues of ballot format, changes in registration procedures, the growth in the availability of absentee ballot rules and other forms of 'convenience voting', and changes in the technology used to record our votes. They also look at how the Bush v. Gore decision has been used by courts that monitor the election process and at the consequences of changes in practice for levels of invalid ballots, magnitude of racial disparities in voting, voter turnout, and access to the ballot by those living outside the United States. The editors, in their introduction, also consider the normative question of exactly what we want a voting system to do. An epilogue by two leading election law specialists looks at how election administration and election contest issues played out in the 2012 presidential election.

This book is a re-introduction to psychology. It focuses on great scholarly thinkers, beginning with Plato, Marcus Aurelius and St Augustine, who gave the field its foundational ideas long before better known 'founders', such as Galton, Fechner, Wundt and Watson, appeared on the scene. Psychology can only achieve its full breadth and potential when we fully appreciate its scholarly legacy. Bruce Alexander and Curtis Shelton also argue that the fundamental contradictions built into psychology's history have never been resolved, and that a truly pragmatic approach, as defined by William James, can produce a 'layered' psychology that will enable psychologists to face the fearsome challenges of the twenty-first century. A History of Psychology in Western Civilization claims that contemporary psychology has overemphasized the methods of physical science and that psychology will need a broader scientific orientation alongside a scholarly focus in order to fully engage the future.

Heavy ion collision experiments recreating the quark-gluon plasma that filled the microseconds-old universe have established that it is a nearly perfect liquid that flows with such minimal dissipation that it cannot be seen as made of particles. String theory provides a powerful toolbox for studying matter with such properties. This book provides a comprehensive introduction to gauge/string duality and its applications to the study of the thermal and transport properties of quark-gluon plasma, the dynamics of how it forms, the hydrodynamics of how it flows, and its response to probes including jets and quarkonium mesons. Calculations are discussed in the context of data from RHIC and LHC and results from finite temperature lattice QCD. The book is an ideal reference for students and researchers in string theory, quantum field theory, quantum many-body physics, heavy ion physics and lattice QCD.

This volume presents a selection of the philosophical essays which Richard Rorty wrote during the first decade of his career, and complements four previous volumes of his papers published by Cambridge University Press. In this long neglected body of work, which many leading philosophers still consider to be his best, Rorty develops his views on the nature and scope of philosophy in a manner which supplements and elucidates his definitive statement on these matters in Philosophy and the Mirror of Nature. He also develops his groundbreaking version of eliminative materialism, a label first coined to describe his position, and sets out original views on various central topics in the philosophy of language, concerning private language, indeterminacy, and verificationalism. A substantial introduction examines Rorty's philosophical development from 1961 to 1972. The volume completes our understanding of Rorty's intellectual trajectory and offers lucid statements of positions which retain the

This volume presents a selection of the philosophical essays which Richard Rorty wrote during the first decade of his career, and complements four previous volumes of his papers published by Cambridge University Press. In this long neglected body of work, which many leading philosophers still consider to be his best, Rorty develops his views on the nature and scope of philosophy in a manner which supplements and elucidates his definitive statement on these matters in Philosophy and the Mirror of Nature. He also develops his groundbreaking version of eliminative materialism, a label first coined to describe his position, and sets out original views on various central topics in the philosophy of language, concerning private language, indeterminacy, and verificationalism. A substantial introduction examines Rorty's philosophical development from 1961 to 1972. The volume completes our understanding of Rorty's intellectual trajectory and offers lucid statements of positions which retain the

The Principles and Practice of International Aviation Law provides an introduction to, and demystification of, the private and public dimensions of international aviation law. Unlike other global sectors, the air transport industry is not governed by a discrete area of the law, but by disparate transnational regulatory instruments. Everything from the routes that an international air carrier can serve to the acquisition of its fleet and its liability to passengers and shippers for incidents arising from its operations can be the object of bilateral and multilateral treaties that represent diverse and often contradictory interests. Beneath this are hundreds of domestic regulatory regimes that also apply national and international rules in disparate ways. The result is an agglomeration of legal cultures that can leave even experienced lawyers and academics perplexed. By combining classical doctrinal analysis with insights from newer disciplines such as international relations and economi

The Principles and Practice of International Aviation Law provides an introduction to, and demystification of, the private and public dimensions of international aviation law. Unlike other global sectors, the air transport industry is not governed by a discrete area of the law, but by disparate transnational regulatory instruments. Everything from the routes that an international air carrier can serve to the acquisition of its fleet and its liability to passengers and shippers for incidents arising from its operations can be the object of bilateral and multilateral treaties that represent diverse and often contradictory interests. Beneath this are hundreds of domestic regulatory regimes that also apply national and international rules in disparate ways. The result is an agglomeration of legal cultures that can leave even experienced lawyers and academics perplexed. By combining classical doctrinal analysis with insights from newer disciplines such as international relations and economi

Separation logic is the twenty-first-century variant of Hoare logic that permits verification of pointer-manipulating programs. This book covers practical and theoretical aspects of separation logic at a level accessible to beginning graduate students interested in software verification. On the practical side it offers an introduction to verification in Hoare and separation logics, simple case studies for toy languages, and the Verifiable C program logic for the C programming language. On the theoretical side it presents separation algebras as models of separation logics; step-indexed models of higher-order logical features for higher-order programs; indirection theory for constructing step-indexed separation algebras; tree-shares as models for shared ownership; and the semantic construction (and soundness proof) of Verifiable C. In addition, the book covers several aspects of the CompCert verified C compiler, and its connection to foundationally verified software analysis tools. All c

In this book, Anne Porter explores the idea that mobile and sedentary members of the ancient world were integral parts of the same social and political groups in greater Mesopotamia during the period 4000 to 1500 BCE. She draws on a wide range of archaeological and cuneiform sources to show how networks of social structure, political and religious ideology, and everyday as well as ritual practice worked to maintain the integrity of those groups when the pursuit of different subsistence activities dispersed them over space. These networks were dynamic, shaping many of the key events and innovations of the time, including the Uruk expansion and the introduction of writing, so-called secondary state formation and the organization and operation of government, the literary production of the Third Dynasty of Ur and the first stories of Gilgamesh, and the emergence of the Amorrites in the second millennium BCE.

The rise of corporate groups in the last century dictates a shift in the income tax law: instead of treating each company as a separate taxpayer, the tax consolidation regime is increasingly common. Antony Ting presents the first comprehensive comparative study of eight consolidation regimes in Australia, France, Italy, Japan, the Netherlands, New Zealand, Spain and the USA. In the study, he critically analyses and compares alternative policy options with respect to ten key structural elements. The study improves understanding of the design and implementation of consolidation regimes and sets the stage for the search for a model. It provides valuable information with respect to the best practices, as well as the pitfalls, in the design of a consolidation regime. The book is essential to countries contemplating the introduction of a new consolidation regime and offers important insights into the management of such a complex structure through careful policy-orientated choices.

Wireless communication has become a ubiquitous part of modern life, from global cellular telephone systems to local and even personal-area networks. This 2004 book provides a tutorial introduction to digital mobile wireless networks, illustrating theoretical underpinnings with a wide range of real-world examples. The book begins with a review of propagation phenomena, and goes on to examine channel allocation, modulation techniques, multiple access schemes, and coding techniques. GSM and IS-95 systems are reviewed and 2.5G and 3G packet-switched systems are discussed in detail. Performance analysis and accessing and scheduling techniques are covered, and the book closes with a chapter on wireless LANs and personal-area networks. Many worked examples and homework exercises are provided and a solutions manual is available for instructors. The book is an ideal text for electrical engineering and computer science students taking courses in wireless communications. It will also be an invalu

Book XII brings Virgil's Aeneid to a close, as the long-delayed single combat between Aeneas and Turnus ends with Turnus' death - a finale that many readers find more unsettling than triumphant. In this, the first detailed single-volume commentary on the book in any language, Professor Tarrant explores Virgil's complex portrayal of the opposing champions, his use and transformation of earlier poetry (Homer's in particular) and his shaping of the narrative in its final phases. In addition to the linguistic and thematic commentary, the volume contains a substantial introduction that discusses the larger literary and historical issues raised by the poem's conclusion; other sections include accounts of Virgil's metre, later treatments of the book's events in art and music, and the transmission of the text. The edition is designed for upper-level undergraduates and graduate students and will also be of interest to scholars of Latin literature.