Seems you have not registered as a member of localhost.saystem.shop!
You may have to register before you can download all our books and magazines, click the sign up button below to create a free account.
Backwater
This hard-hitting but fair assessment of Nova Scotia and the Maritimes will shock and surprise many Maritimers who have been conditioned to think that the east coast of Canada is one of the most liveable regions in the country. Author Peter Moreira, a native Maritimer who returned home after working overseas for more than a decade, offers a straightforward analysis of why the region has fallen so far behind the rest of the country in terms of most economic and social indicators. Backwater is not an attack on the place we call home, but rather a wide-ranging and timely examination of the region's flawed policies and thinking. The book makes bold recommendations for fixing the Maritimes' current problems, citing many leading professionals and politicians in the region, including Nova Scotia premier Darrell Dexter.
Small and Medium Powers in Global History
This volume brings together a leading group of scholars to offer a new perspective on the history of conflicts and trade, focusing on the role of small and medium, or "weak", and often neutral states. Existing historiography has often downplayed the importance of such states in world trade, during armed conflicts, and as important agents in the expanding trade and global connections of the last 250 years. The country studies demonstrate that these states played a much bigger role in world and bilateral trade than has previously been assumed, and that this role was augmented by the emergence of truly global conflicts and total war. In addition to careful country or comparative studies, this b...
Formal Methods: Foundations and Applications
This book constitutes revised selected papers from the 18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in Belo Horizonte, Brazil, in September 2015. The 11 papers presented in this volume were carefully reviewed and selected from 25 submissions. They were organized in topical sections named: model checking; languages and semantics; refinement and verification; testing and evaluation.
Bitches Unleashed
This book challenges white and Western feminist approaches to embodied politics, or the use of the body in everyday enactments of resistance, while mapping transgressive performances of femininities by the funkeiras, marginalized women and transfeminine people of color artists in Brazilian favela funk. Often studied from a white feminist perspective, embodied politics reflects debates about agency and structural change that are generally applicable to white women in the West. Concurrently, studies of femininity tend to universalize experiences of gender oppression encountered by white women to women across the globe. In this work, the author offers a transnational perspective on the performa...
Integral Methods in Science and Engineering
The physical world is studied by means of mathematical models, which consist of differential, integral, and integro-differential equations accompanied by a large assortment of initial and boundary conditions. In certain circumstances, such models yield exact analytic solutions. When they do not, they are solved numerically by means of various approximation schemes. Whether analytic or numerical, these solutions share a common feature: they are constructed by means of the powerful tool of integration—the focus of this self-contained book. An outgrowth of the Ninth International Conference on Integral Methods in Science and Engineering, this work illustrates the application of integral metho...
Hemingway on the China Front
Ernest Hemingway and Martha Gellhorn had no idea of what they would discover when they set out for Hong Kong, China, and Burma in 1941. They had intended to report on the China-Japan war while honeymooning in the Far East but what they found was entirely different and the trip proved to be the beginning of the end of their marriage. When the U.S. Treasury Department hired Hemingway as a spy in China in 1941, it awakened a new obsession in America's most adventuresome author. The literary man of action reveled in being a government operative, while his journalist wife championed the anti-Japanese resistance of Chiang Kai-shek. This is the first book to track Hemingway's progress as a spy in Asia.
Dependable Computing
This book constitutes the refereed proceedings of the First Latin-American Symposium on Dependable Computing, LADC 2003, held in Sao Paulo, Brazil in October 2003. The 21 revised full papers presented together with abstracts of invited talks, a panel, workshops, and tutorials were carefully reviewed and selected for presentation. The papers are organized in topical sections on fault injection, security, adaptive fault tolerance, distributed algorithms, and components and fault tolerance.
Advanced Microsystems for Automotive Applications 2003
Microsystems are an important factor that contribute to an automobile model's success. To meet the customer's desire for safety, convenience and vehicle economy, and to satisfy environmental standards, microsystems play a critical factor. Microsystems applications (MST) have already resulted in improved performance and better value for money. But the advances implemented reveal only the beginning of a revolution in the vehicle sector, which aims at a complete transition from the mechanically driven automobile system to a mechanically based but ICT-driven system. The selected contributions from AMAA 2003 treat safety (both preventive and protective), powertrain (online measurement and control of engine and transmission subsystems), comfort and HMI (systems to enhance the comfort of passengers and human machine interface issues), and networked Vehicle (all aspects of intra car systems and ambient communication networks).
Progress in Artificial Intelligence
This book presents the refereed proceedings of the 7th Portuguese Conference on Artificial Intelligence, EPIA'95, held in Funchal, Madeira Island, Portugal, in October 1995. The 30 revised full papers and the 15 poster presentations included were selected during a highly competitive selection process from a total of 167 submissions from all over the world. Among the topics covered are automated reasoning and theorem proving, belief revision, constraint-based reasoning, distributed artificial intelligence, genetic algorithms, machine learning, neural networks, non-monotonic reasoning, planning and case-based reasoning, qualitative reasoning, robotics and control, and theory of computation.
Advances in Artificial Intelligence
Invited papers; knowledge representation and automated reasoning; tutoring systems; machine learning; neural networks; distributed AI; knowledge acquisition and knowledge bases; posters.
