Global Spin


Book Description

Global Spin reveals the sophisticated techniques being used around the world by powerful conservative forces to try to change the way the public and politicians think about the environment. Large corporations are using their influence to reshape public opinion, to weaken gains made by environmentalists, and to turn politicians against increased environmental regulation. The corporations’ techniques include employing specialized PR?firms to set up front groups that promote the corporate agenda whilst posing as public-interest groups; creating ‘astroturf’—artificially created grassroots support for corporate causes; deterring public involvement by imposing SLAPPS—strategic lawsuits against public participation; getting corporate-based ‘environmental educational’ materials into schools; and funding conservative think-tanks, which have persistently tried to cast doubt on the existence of environmental problems and to oppose stricter environmental regulations. In the media, corporate advertising and sponsorship are influencing news content, and industry-funded scientists are often treated as independent experts. This updated edition includes new chapters about the business campaign to prevent action on global warming, and whether Greenpeace’s ideals are being compromised by ‘greenwash’.




Global Spin


Book Description

This book is part of the Towards the New Millennium Series, featuring the works of thoughtful Canadians who are profoundly interested in the future of Canada and the world.




SPIN Model Checking and Software Verification


Book Description

The SPIN workshop is a forum for researchers interested in the subject of automata-based, explicit-state model checking technologies for the analysis and veri?cation of asynchronous concurrent and distributed systems. The SPIN - del checker (http://netlib.bell-labs.com/netlib/spin/whatispin.html), developed by Gerard Holzmann, is one of the best known systems of this kind, and has attracted a large user community. This can likely be attributed to its e?cient state exploration algorithms. The fact that SPIN’s modeling language, Promela, resembles a programming language has probably also contributed to its success. Traditionally, the SPIN workshops present papers on extensions and uses of SPIN. As an experiment, this year’s workshop was broadened to have a slightly wider focus than previous workshops in that papers on software veri?cation were encouraged. Consequently, a small collection of papers describe attempts to analyze and verify programs written in conventional programming languages. Solutions include translations from source code to Promela, as well as specially designed model checkers that accept source code. We believe that this is an - teresting research direction for the formal methods community, and that it will result in a new set of challenges and solutions. Of course, abstraction becomes the key solution to deal with very large state spaces. However, we also see - tential for integrating model checking with techniques such as static program analysis and testing. Papers on these issues have therefore been included in the proceedings.




Spin Glasses and Complexity


Book Description

This primer builds the theory of spin glasses, starting with the real physical systems and experiments that inspired the theory.




SPIN-FREE ECONOMICS


Book Description

With technology and globalization advancing at breakneck speed, the world economy becomes more complex by the day. Activists, politicians, and media enablers—conservative and liberal, left and right, informed and just plain wrong—consistently seize this opportunity to present woefully simplistic explanations and hype the latest myths regarding issues affecting the economy. Their purpose is not to educate but to advocate and, in many cases involving the media, manufacture outrage to drive ratings higher. So, where can you find the truth about today’s economy and how it affects you? Turn off the TV, put down the magazine, log off the Internet—and read this book. Spin-Free Economics places the current economic debates where they belong: in the middle of the road. With no political ax to grind, Nariman Behravesh takes a centrist approach to explain how today’s economic issues affect individuals and businesses. Along the way, he debunks myths regarding the effects of immigration, unemployment, regulation, productivity, education, health care, and other headline issues. Spin-Free Economics answers today’s most pressing questions, including Will more regulation prevent financial crises? Are outsourcing and foreign ownership good or bad for Americans? Should we fear or embrace Asia’s emerging economic powers? Is aid or trade the solution to global poverty? The vast majority of economists, Behravesh points out, are independent analysts who are in agreement on many of today’s issues. Unfortunately, the subject has been taken over by opportunists, whose answers to the questions above invariably fall along partisan lines. Spin-Free Economics is a breath of fresh air for those seeking an alternative to the chatter of ideologues and cynics. Rejecting the manipulative approach of “sound-bite economics,” Nariman Behravesh uses facts and insight tempered by clearheaded reason to present the most accurate assessment of the subject to date.




Spin


Book Description

From the author of Axis and Vortex, the first Hugo Award-winning novel in the environmental apocalyptic Spin Trilogy... One night in October when he was ten years old, Tyler Dupree stood in his back yard and watched the stars go out. They all flared into brilliance at once, then disappeared, replaced by a flat, empty black barrier. He and his best friends, Jason and Diane Lawton, had seen what became known as the Big Blackout. It would shape their lives. The effect is worldwide. The sun is now a featureless disk--a heat source, rather than an astronomical object. The moon is gone, but tides remain. Not only have the world's artificial satellites fallen out of orbit, their recovered remains are pitted and aged, as though they'd been in space far longer than their known lifespans. As Tyler, Jason, and Diane grow up, space probe reveals a bizarre truth: The barrier is artificial, generated by huge alien artifacts. Time is passing faster outside the barrier than inside--more than a hundred million years per day on Earth. At this rate, the death throes of the sun are only about forty years in our future. Jason, now a promising young scientist, devotes his life to working against this slow-moving apocalypse. Diane throws herself into hedonism, marrying a sinister cult leader who's forged a new religion out of the fears of the masses. Earth sends terraforming machines to Mars to let the onrush of time do its work, turning the planet green. Next they send humans...and immediately get back an emissary with thousands of years of stories to tell about the settling of Mars. Then Earth's probes reveal that an identical barrier has appeared around Mars. Jason, desperate, seeds near space with self-replicating machines that will scatter copies of themselves outward from the sun--and report back on what they find. Life on Earth is about to get much, much stranger. At the Publisher's request, this title is being sold without Digital Rights Management Software (DRM) applied.




Operating Systems


Book Description

Providing a comprehensive introduction to operating systems, this book emphasizes the fundamentals of the key mechanisms of modern operating systems, and the types of design tradeoffs and decisions involved in operating system design. It presents recent developments in operating system design, and uses three running examples of operating systems to illustrate the material--Windows NT, UNIX, and IBM MVS.




Advances in Engineering Structures, Mechanics & Construction


Book Description

This book presents the proceedings of an International Conference on Advances in Engineering Structures, Mechanics & Construction, held in Waterloo, Ontario, Canada, May 14-17, 2006. The contents include contains the texts of all three plenary presentations and all seventy-three technical papers by more than 153 authors, presenting the latest advances in engineering structures, mechanics and construction research and practice.




Theoretical and Practical Aspects of SPIN Model Checking


Book Description

Increasing the designer’s con dence that a piece of software or hardwareis c- pliant with its speci cation has become a key objective in the design process for software and hardware systems. Many approaches to reaching this goal have been developed, including rigorous speci cation, formal veri cation, automated validation, and testing. Finite-state model checking, as it is supported by the explicit-state model checkerSPIN,is enjoying a constantly increasingpopularity in automated property validation of concurrent, message based systems. SPIN has been in large parts implemented and is being maintained by Gerard Ho- mann, and is freely available via ftp fromnetlib.bell-labs.comor from URL http://cm.bell-labs.com/cm/cs/what/spin/Man/README.html. The beauty of nite-state model checking lies in the possibility of building \push-button" validation tools. When the state space is nite, the state-space traversal will eventually terminate with a de nite verdict on the property that is being validated. Equally helpful is the fact that in case the property is inv- idated the model checker will return a counterexample, a feature that greatly facilitates fault identi cation. On the downside, the time it takes to obtain a verdict may be very long if the state space is large and the type of properties that can be validated is restricted to a logic of rather limited expressiveness.




Newton's Principia revisited


Book Description

PROBLEM. The treatise is devoted to the reconstruction of our 'instinctive beliefs' in classical mechanics and to present them 'as much isolated and as free from irrelevant additions as possible'. The same motivation has driven many authors since the publication of Newton's Principia. IMPORTANCE. Classical mechanics will remain the basic reference and tool for mechanics on terrestrial and planetary scale as well as the proto-theory of relativistic and quantum mechanics. But it can only serve its purpose if it is not considered as obsolete, but if its foundations and implications are understood and made 'absolutely' clear. METHOD. Based on the 'instinctive belief' that the foundations of classical mechanics cannot be found and reconstructed within mechanics itself but only 'outside', classical mechanics is 'understood' by embedding it into an adequate theory of knowledge and adequate proto- and meta-theories in terms of the 'language of dynamics'. Evidence is produced that available philosophical expositions are not adequate for the purpose at hand. Mechanics is treated as part of physics, not of mathematics. Not sophisticated mathematical artifacts, necessary for solving specific problems, but the intellectually satisfactory foundation of mechanics in general is subject and purpose of the exercise. The goal is reached using axiomatic systems as models. SCOPE. Following an account of the unsatisfactory state of affairs the treatise covers the epistemological foundations, abstract proto-mechanics, i. e. the theories of time and space, meta-mechanics, i. e. the theories of state space models and of quantities proper, and, as an instance of the latter, abstract elementary mechanics, the theory of translational motions of 'small' solid bodies in three-dimensional Euclidean space, including classical general relativity. Subsequently the theory of classical kinematics is developed as basis for interpreted proto-mechanics and interpreted elementary mechanics. As an amus