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.
This book constitutes the refereed proceedings of the 6th International Conference on Algebraic Methodology and Software Engineering, AMAST'97, held in Sydney, Australia, in December 1997. The volume presents 48 revised full papers selected from an unusually high number of submissions. One of the outstanding features of AMAST is its mix of serious mathematical development of formal methods in software engineering with practical concerns, tools, case studies, and industrial development. The volume addresses all current aspects of formal methods in software engineering and programming methodology, with a certain emphasis on algebraic and logical foundations.
Through close readings of a selection of European novels and novellas written between 1340 and 1827, this study of "analytical fiction" examines how unconsummated love stories probe the frailty of self-knowledge. Tracing elements of what the French call the roman d'analyse in the works of Boccaccio, Marguerite de Navarre, Cervantes, Marie de Lafayette, Samuel Richardson, Jane Austen, and Stendhal, Adele Kudish discusses how the metaphor of unconsummated love is deployed to represent a fundamental lack of insight into the self. Rather than depicting the mind as transparent, analytical fiction deals in the opacity of the mind. Narrators and characters are faced with deception, misprision, doubt, and confusion, leading to self-deception, jealousy, and crises of self. The European Roman d'Analyse reads such epistemological failures as symptoms of a more fundamental preoccupation with the human psyche as un-chartable and bizarre. In this way, the authors of romans d'analyse enact a larger philosophical project: an anatomy of the psyche wherein we are unable-or unwilling-to know ourselves.
Depois de ler este livro, você nunca ouvirá o mundo ao seu redor da mesma maneira. Os poderes do som surgem de várias formas e afetam a todos nós de maneiras distintas. A ideia de sonoridade, um conceito central em Poderes do Som, inclui os aspectos acústicos e materiais do som e também os significados e valores sociais atribuídos a eles por indivíduos e comunidades. Esta é uma compilação empolgante e contemporânea que transcende qualquer disciplina. A maioria dos exemplos é extraída da experiência brasileira, o que incentivará os leitores a prestarem atenção aos sons que talvez nunca tenham notado antes.
Few topics of scientific enquiry have attracted more attention in the last decade than the origin and evolution of language. Few have offered an equivalent intellectual challenge for interdisciplinary collaborations between linguistics, cognitive science, prehistoric archaeology, palaeoanthropology, genetics, neurophysiology, computer science and robotics. The contributions presented in this volume reflect the multiplicity of interests and research strategy used to tackle this complex issue, summarize new relevant data and emerging theories, provide an updated view of this interdisciplinary venture, and, when possible, seek a future in this broad field of study.
Měsíc zasáhne záhadný super hustý (neviditelný) objekt a roztříští ho. Lidstvo si zprvu oddychne, že o vlásek uniklo zkáze, avšak vědci brzy zjistí, že trosky se budou dále tříštit a nakonec se zřítí na Zemi a vyhubí veškerý život. Nikdo neuteče, snad jen do vesmíru. Tam ale zatím obíhá pouze Mezinárodní vesmírná stanice ISS... Velkolepá sága o vůli přežít se opírá o vědecké poznatky a působí spíše jako dokument skutečné katastrofy. Autor obratně líčí technické detaily, fyzikální principy a sociologické jevy. Kniha zvláště ve druhé části z daleké budoucnosti hýří nápady a koncepcemi, které přes svou bizarnost mají uvěřitelný a zdůvodněný vědecký základ. Lahůdka pro milovníky klasické sci-fi.
This ethnographic study of a California English as a Second Language program explores how the gendered life experiences of immigrant adults shape their participation in both the English language classroom and the education of their children, within the contemporary sociohistorical context of Latin American immigration to the United States.
The book includes a chapter, written by the treatment developer(s), on each of the six treatments that have been shown in randomized controlled trials to reduce suicidal and/or self-harm behavior in adolescents with prior histories of these behaviors.
The "Nostratic" hypothesis -- positing a common linguistic ancestor for a wide range of language families including Indo-European, Uralic, and Afro-Asiatic -- has produced one of the most enduring and often intense controversies in linguistics. Overwhelmingly, though, both supporters of the hypothesis and those who reject it have not dealt directly with one another's arguments. This volume brings together selected representatives of both sides, as well as a number of agnostic historical linguists, with the aim of examining the evidence for this particular hypothesis in the context of distant genetic relationships generally.The volume contains discussion of variants of the Nostratic hypothesis (A. Bomhard; J. Greenberg; A. Manaster-Ramer, K. Baertsch, K. Adams, & P. Michalove), the mathematics of chance in determining the relationships posited for Nostratic (R. Oswa< D. Ringe), and the evidence from particular branches posited in Nostratic (L. Campbell; C. Hodge; A. Vovin), with responses and additional discussion by E. Hamp, B. Vine, W. Baxter and B. Comrie.
“Stunning . . . A forceful addition to the literature of the U.S.-Mexican border and its ongoing history of tragedy and joy.” —Jennifer Clement, The New York Times Book Review “Suspenseful, seductive . . . A thrill ride from cover to cover.” —Oprah Daily, “The 50 Most Anticipated Books of 2022” The riveting new novel by the acclaimed author of Sugar Run, Perpetual West is a brilliant and evocative story of borders—between countries, between lovers, and between facets of the self. When Alex and Elana move from smalltown Virginia to El Paso, they are just a young married couple, intent on a new beginning. Mexican by birth but adopted by white American Pentecostal parents, ...
Mediating Black religious studies, spirituality studies, and liberation theology, Philip Butler explores what might happen if Black people in the United States merged technology and spirituality in their fight towards materializing liberating realities. The discussions shaping what it means for humans to exist with technology and as part of technology are already underway: transhumanism suggests that any use of technology to augment intellectual, psychological, or physical capability makes one transhuman. In an attempt to encourage Black people in the United States to become technological progenitors as a spiritual act, Butler asks whether anyone has ever been 'just' human? Butler then explores the implications of this question and its link to viewing the body as technology. Re-imagining incarnation as a relationship between vitality, biochemistry, and genetics, the book also takes a critical scientific approach to understanding the biological embodiment of Black spiritual practices. It shows how current and emerging technologies might align with the generative biological states of Black spiritualities in order to concretely disrupt and dismantle oppressive societal structures.