This “remarkable, comprehensive” study of neoliberal agribusiness and the obesity epidemic “is critical reading for food studies scholars” (Contemporary Sociology). Obesity rates are rising across the United States and beyond. While some claim that people simply eat too much “energy-dense” food while exercising too little, The Neoliberal Diet argues that the issue is larger than individual lifestyle choices. Since the 1980s, the shift toward neoliberal regulation has enabled agribusiness multinationals to thrive by selling a combination of meat and highly processed foods loaded with refined flour and sugars—a diet that originated in the United States. Drawing on extensive empirical data, Gerardo Otero identifies the socioeconomic and political forces that created this diet, which has been exported around the globe at the expense of people’s health. Otero shows how state-level actions, particularly subsidies for big farms and agribusiness, have ensured the dominance of processed foods and made fresh foods inaccessible to many. Comparing agrifood performance across several nations, including the NAFTA region, and correlating food access to class inequality, he convincingly demonstrates the structural character of food production and the effect of inequality on individual food choices. Resolving the global obesity crisis, Otero concludes, lies not in blaming individuals but in creating state-level programs to reduce inequality and make healthier food accessible to all.
Drawing on years of academic research on democracy and measurement and practical experience evaluating democratic practices for the United Nations and the Organization of American States, the author presents constructive assessment of the methods used to measure democracies that promises to bring order to the debate in academia and in practice. He makes the case for reassessing how democracy is measured and encourages fundamental changes in methodology. He has developed two instruments for quantifying and qualifying democracy: the UN Development Programme's Electoral Democracy Index and a case-by-case election monitoring tool used by the OAS.
Latin America is currently caught in a middle-quality institutional trap, combining flawed democracies and low-to-medium capacity States. Yet, contrary to conventional wisdom, the sequence of development - Latin America has democratized before building capable States - does not explain the region's quandary. States can make democracy, but so too can democracy make States. Thus, the starting point of political developments is less important than whether the State-democracy relationship is a virtuous cycle, triggering causal mechanisms that reinforce each other. However, the State-democracy interaction generates a virtuous cycle only under certain macroconditions. In Latin America, the State-democracy interaction has not generated a virtuous cycle: problems regarding the State prevent full democratization and problems of democracy prevent the development of state capacity. Moreover, multiple macroconditions provide a foundation for this distinctive pattern of State-democracy interaction. The suboptimal political equilibrium in contemporary Latin America is a robust one.
This book introduces three key issues: (i) development of a gradient-free method to enable multi-objective self-optimization; (ii) development of a reinforcement learning strategy to carry out self-learning and finally, (iii) experimental evaluation and validation in two micromachining processes (i.e., micro-milling and micro-drilling). The computational architecture (modular, network and reconfigurable for real-time monitoring and control) takes into account the analysis of different types of sensors, processing strategies and methodologies for extracting behavior patterns from representative process’ signals. The reconfiguration capability and portability of this architecture are supported by two major levels: the cognitive level (core) and the executive level (direct data exchange with the process). At the same time, the architecture includes different operating modes that interact with the process to be monitored and/or controlled. The cognitive level includes three fundamental modes such as modeling, optimization and learning, which are necessary for decision-making (in the form of control signals) and for the real-time experimental characterization of complex processes. In the specific case of the micromachining processes, a series of models based on linear regression, nonlinear regression and artificial intelligence techniques were obtained. On the other hand, the executive level has a constant interaction with the process to be monitored and/or controlled. This level receives the configuration and parameterization from the cognitive level to perform the desired monitoring and control tasks.
Taking a fresh thematic approach to politics and society in Latin America, this introductory textbook analyzes the region's past and present in an accessible and engaging style well-suited to undergraduate students. The book provides historical insights into modern states and critical issues they are facing, with insightful analyses that are supported by empirical data, maps and timelines. Drawing upon cutting-edge research, the text considers critical topics relevant to all countries within the region such as the expansion of democracy and citizenship rights and responses to human rights abuses, corruption, and violence. Each richly illustrated chapter contains a compelling and cohesive narrative, followed by thought-provoking questions and further reading suggestions, making this text a vital resource for anyone encountering the complexities of Latin American politics for the first time in their studies.
The Dissection of Vertebrates, Second Edition, provides students with a manual that combines pedalogical effective text with high-quality, accurate, and attractive visual references. Using a systemic approach within a systematic framework for each vertebrate, this book covers several animals commonly used in providing an anatomical transition sequence. Seven animals are covered: lamprey, shark, perch, mudpuppy, frog, pigeon, and cat. This updated version include a revised systemic section of the introductory chapter; corrections to several parts of the existing text and images; new comparative skull sections included as part of the existing vertebrates; and a companion site with image bank. This text is designed for 2nd or 3rd year university level comparative vertebrate anatomy courses. Such courses are usually two-semester courses, and may either be a required course or an elective. It is typically a required course for Biology and Zoology majors, as well as for some Forensics and Criminology programs, and offered as an elective for many other non-zoology science majors. - Winner of the NYSM Jury award for the Rock Dove Air Sacs, Lateral and Ventral Views illustration - Expertly rendered award-winning illustrations accompany the detailed, clear dissection direction - Organized by individual organism to facilitate classroom presentation - Offers coverage of a wide range of vertebrates - Full-color, strong pedagogical aids in a convenient lay-flat presentation - Expanded and updated features on phylogenic coverage, mudpuppy musculature and comparative mammalian skulls
Mexican Americans have traditionally had a strong land ethic, believing that humans must respect la tierra because it is the source of la vida. As modern market forces exploit the earth, communities struggle to control their own ecological futures, and several studies have recorded that Mexican Americans are more impacted by environmental injustices than are other national-origin groups. In our countryside, agricultural workers are poisoned by pesticides, while farmers have lost ancestral lands to expropriation. And in our polluted inner cities, toxic wastes sicken children in their very playgrounds and homes. This book addresses the struggle for environmental justice, grassroots democracy, and a sustainable society from a variety of Mexican American perspectives. It draws on the ideas and experiences of people from all walks of lifeÑactivists, farmworkers, union organizers, land managers, educators, and many othersÑwho provide a clear overview of the most critical ecological issues facing Mexican-origin people today. The text is organized to first provide a general introduction to ecology, from both scientific and political perspectives. It then presents an environmental history for Mexican-origin people on both sides of the border, showing that the ecologically sustainable Norte–o land use practices were eroded by the conquest of El Norte by the United States. It finally offers a critique of the principal schools of American environmentalism and introduces the organizations and struggles of Mexican Americans in contemporary ecological politics. Devon Pe–a contrasts tenets of radical environmentalism with the ecological beliefs and grassroots struggles of Mexican-origin people, then shows how contemporary environmental justice struggles in Mexican American communities have challenged dominant concepts of environmentalism. Mexican Americans and the Environment is a didactically sound text that introduces students to the conceptual vocabularies of ecology, culture, history, and politics as it tells how competing ideas about nature have helped shape land use and environmental policies. By demonstrating that any consideration of environmental ethics is incomplete without taking into account the experiences of Mexican Americans, it clearly shows students that ecology is more than nature study but embraces social issues of critical importance to their own lives.
Voltage-Enhanced Processing of Biomass and Biochar A detailed introduction to voltage-enhanced processing of carbonaceous materials While there are many well-established biomass processing techniques that are suitable for a variety of different situations, the utilization of voltage-driven techniques for the processing of biomass and biochar has been shown to have advantages for certain applications. Specifically, the field of thermal plasma gasification—where plasma provides the conversion energy—is relied upon in certain commercial equipment that is already available on the market. Crucially, however, the field of non-thermal plasma pyrolysis and gasification—chemical reactions are intensified by the presence of the plasma discharge—is still a developing subject with a great scope for innovation in research and development. A timely book considering its potential applications in a greener market, Voltage-Enhanced Processing of Biomass and Biochar helpfully provides a detailed description of voltage-enhanced processing of carbonaceous materials. The book explains aspects of this processing method in thermal and non-thermal plasmas, as well as describing the effects of Joule heating as part of the temperature distribution and conversion rate. In many ways, this book presents a detailed description of different processes and plasma discharges currently available, with the provision of experimental and simulation results gathered over years of research and development. Importantly, it also offers many methods by which we can be environmentally friendly when working with biomass and biochar. Voltage-Enhanced Processing of Biomass and Biochar readers will also find: Simulation results of Joule heating of biomass, biochar, and pyrolytic graphite Descriptions of thermal plasma torches currently available in the market Accounts of the experimental results of conversion utilizing steam plasma Comparison of results against provided numerical models that predict synthesis gas composition under the presence of thermal plasma discharge Voltage-Enhanced Processing of Biomass and Biochar is a useful reference for researchers and practitioners working on applications of plasma for the conversion of biomass and biochar, as well as graduate students studying mechanical, electrical, and chemical engineering.
A study of Argentina's military dictatorship that makes an original contribution to the broader understanding of regime structure, regime change, and transitions from authoritarian rule.
Despite recent advances, therapeutic efforts have not been successful establishing a definitive strategy of treatment for brain gliomas, because of the presence of the blood-brain barrier. Innovative Brain Tumor Therapy presents a synopsis of the studies on nanoparticles as ideal devices for brain tumor treatment. Their nanometric size, electrostatic charge, and lipophilic characteristics allow them to penetrate into the brain tissue freely. Promising in-vitro results have been reported, but remain to be validated in humans. This title focuses on the blood-brain barrier pathophysiology in brain tumors, and the possibilities of overcoming this with nanoparticle-based systems. Relevant patents of nanoparticles used as drug delivery carriers are also reported, as well as future scenarios in nanoparticles and stem cells.
Despite progress in surgery, radiotherapy, and chemotherapy, an effective treatment of gliomas does not yet exist. This new monograph in the ASME-Momentum Press series on Biomedical & Nanomedical Technologies book shows how nanotechnology could be used both to improve the treatment efficacy and to reduce the adverse side effects. It will explain how nanotechnology-based approaches to targeted delivery of drugs across the brain-blood barrier may potentially be engineered to carry out specific functions as needed.
Though seasonally dry tropical forests are equally as important to global biodiversity as tropical rainforests, and are one of the most representative and highly endangered ecosystems in Latin America, knowledge about them remains limited because of the relative paucity of attention paid to them by scientists and researchers and a lack of published information on the subject. Seasonally Dry Tropical Forests seeks to address this shortcoming by bringing together a range of experts in diverse fields including biology, ecology, biogeography, and biogeochemistry, to review, synthesize, and explain the current state of our collective knowledge on the ecology and conservation of seasonally dry tropical forests. The book offers a synthetic and cross-disciplinary review of recent work with an expansive scope, including sections on distribution, diversity, ecosystem function, and human impacts. Throughout, contributors emphasize conservation issues, particularly emerging threats and promising solutions, with key chapters on climate change, fragmentation, restoration, ecosystem services, and sustainable use. Seasonally dry tropical forests are extremely rich in biodiversity, and are seriously threatened. They represent scientific terrain that is poorly explored, and there is an urgent need for increased understanding of the system's basic ecology. Seasonally Dry Tropical Forests represents an important step in bringing together the most current scientific information about this vital ecosystem and disseminating it to the scientific and conservation communities.
The ovary is a suitable organ for studying the processes of cell death. Cell death was first described in the rabbit ovary (Graaffian follicles), the phenomenon being called ‘chromatolysis’. To date, it is recognized that various forms of cell death (programmed cell death, apoptosis and autophagy) are essential components of ovarian development and function. Programmed cell death is responsable for the ovarian endowment of primordial follicles around birth; in the prepuberal and adult period, apoptosis is a basic mechanism by which oocytes are eliminated by cancer therapies and environmental toxicants; in the ovarian cycle, follicular atresia and luteal regression involve follicular cell apoptosis. Finally, abnormalities in cell death processes may lead to ovarian disease such as cancer and chemoresistance. In this book, after an introductory description of various forms of cell death and of the ovary development and function in mammals, the processes of cell death in ovarian somatic cells and oocytes are described at cytological, physiological and molecular levels and analyzed in the embryonic, prepuberal and adult ovary. A complex array of molecular pathways triggered by extrinsic and intrinsic signals able tor induce or suppress cell death in the same cell, according to cell type and ovary developmental stage, emerges. Physiological interactions with the axis hypothalamus-hypophysis as well as ovarian internal functional signal are also critically reviewed to explain the abortive development of follicles before the beginning of the ovarian cycle. The book conveys information useful to the updating of biologists and physicians who are interested to the ovary biology and functions. Hopefully it should provide also clues for stimulating novel experiments in the study of cell death in the mammalian ovary still at an early stage.
Extractive Metallurgy of Copper, Sixth Edition, expands on previous editions, including sections on orogenesis and copper mineralogy and new processes for efficiently recovering copper from ever-declining Cu-grade mineral deposits. The book evaluates processes for maintaining concentrate Cu grades from lower grade ores. Sections cover the recovery of critical byproducts (e.g., cesium), worker health and safety, automation as a safety tool, and the geopolitical forces that have moved copper metal production to Asia (especially China) and new smelting and refining processes. Indigenous Asian smelting processes are evaluated, along with energy and water requirements, environmental performance, copper electrorefining processes, and sulfur dioxide capture processes (e.g., WSA). The book puts special emphasis on the benefits of recycling copper scrap in terms of energy and water requirements. Comparisons of ore-to-product and scrap-to-product carbon emissions are also made to illustrate the concepts included. - Describes copper mineralogy, mining and beneficiation techniques - Compares a variety of mining, smelting and converting technologies - Provides a complete description of hydrometallurgical and electrometallurgical processes, including process options and recent improvements - Includes comprehensive descriptions of secondary copper processing, including scrap collection and upgrading, melting and refining technologies
This book provides a broad overview of the key results and frameworks for various NSAI tasks as well as discussing important application areas. This book also covers neuro symbolic reasoning frameworks such as LNN, LTN, and NeurASP and learning frameworks. This would include differential inductive logic programming, constraint learning and deep symbolic policy learning. Additionally, application areas such a visual question answering and natural language processing are discussed as well as topics such as verification of neural networks and symbol grounding. Detailed algorithmic descriptions, example logic programs, and an online supplement that includes instructional videos and slides provide thorough but concise coverage of this important area of AI. Neuro symbolic artificial intelligence (NSAI) encompasses the combination of deep neural networks with symbolic logic for reasoning and learning tasks. NSAI frameworks are now capable of embedding prior knowledge in deep learning architectures, guiding the learning process with logical constraints, providing symbolic explainability, and using gradient-based approaches to learn logical statements. Several approaches are seeing usage in various application areas. This book is designed for researchers and advanced-level students trying to understand the current landscape of NSAI research as well as those looking to apply NSAI research in areas such as natural language processing and visual question answering. Practitioners who specialize in employing machine learning and AI systems for operational use will find this book useful as well.
Sustainability in the Design, Synthesis and Analysis of Chemical Engineering Processes is an edited collection of contributions from leaders in their field. It takes a holistic view of sustainability in chemical and process engineering design, and incorporates economic analysis and human dimensions. Ruiz-Mercado and Cabezas have brought to this book their experience of researching sustainable process design and life cycle sustainability evaluation to assist with development in government, industry and academia. This book takes a practical, step-by-step approach to designing sustainable plants and processes by starting from chemical engineering fundamentals. This method enables readers to achieve new process design approaches with high influence and less complexity. It will also help to incorporate sustainability at the early stages of project life, and build up multiple systems level perspectives. Ruiz-Mercado and Cabezas' book is the only book on the market that looks at process sustainability from a chemical engineering fundamentals perspective. - Improve plants, processes and products with sustainability in mind; from conceptual design to life cycle assessment - Avoid retro fitting costs by planning for sustainability concerns at the start of the design process - Link sustainability to the chemical engineering fundamentals
International business is undergoing continuous transformation as multinational firms and comparative management evolve in the changing global economy. To succeed in this challenging environment, firms need a well-developed capability for sound strategic decisions. This comprehensive work provides an applied and integrated strategic framework for developing capabilities that lead to global success. It is designed to help readers achieve three essential objectives. First, it provides intellectual and practical guidelines for readers to execute goals and strategies that lead to meaningful and productive results. The book is packed with frameworks, cases, anchoring exercises, techniques, and tools to help readers emerge with a completed business plan after the last chapter. Second, it focuses on strategy and how firms build competitive presence and advantages in a global context. A primary learning objective is to enable readers to understand and evaluate the major issues in strategy formulation and implementation in a global context. Third, it provides an accessible framework that will help guide readers in making strategic decisions that are sound and effective. It offers a unifying process that delineates the necessary steps in analyzing the readiness of a firm to do business abroad. In addition to core issues, each chapter presents frameworks, analytical tools, action-oriented items, and a real-world case - all designed to provide insights on the challenges imposed by globalization and technology on managers operating in a global context.
This book describes recent theoretical findings relevant to bilevel programming in general, and in mixed-integer bilevel programming in particular. It describes recent applications in energy problems, such as the stochastic bilevel optimization approaches used in the natural gas industry. New algorithms for solving linear and mixed-integer bilevel programming problems are presented and explained.
A new perspective on United States software development, seen through the patent battles that shaped our technological landscape This first comprehensive history of software patenting explores how patent law made software development the powerful industry that it is today. Historian Gerardo Con Díaz reveals how patent law has transformed the ways computing firms make, own, and profit from software. He shows that securing patent protection for computer programs has been a central concern among computer developers since the 1950s and traces how patents and copyrights became inseparable from software development in the Internet age. Software patents, he argues, facilitated the emergence of software as a product and a technology, enabled firms to challenge each other’s place in the computing industry, and expanded the range of creations for which American intellectual property law provides protection. Powerful market forces, aggressive litigation strategies, and new cultures of computing usage and development transformed software into one of the most controversial technologies ever to encounter the American patent system.
Providing students with a readable, basic text on fundamental issues and methods that distinguish the field of ethnic psychology within mainstream psychology, the authors overview the field of ethnic psychology with emphasis on the experiences of African American, Asian American/Pacific Islander, American Indian/Alaskan Native, Hispanic/Latino, and multiethnic individuals.
The Heliconius butterflies are one of the classic systems in evolutionary biology and have contributed hugely to our understanding of evolution over the last 150 years. Their dramatic radiation and remarkable mimicry has fascinated biologists since the days of Bates, Wallace, and Darwin. The Ecology and Evolution of Heliconius Butterflies is the first thorough and accessible treatment of the ecology, genetics, and behaviour of these butterflies, exploring how they offer remarkable insights into tropical biodiversity. The book starts by outlining some of the evolutionary questions that Heliconius research has helped to address, then moves on to an overview of the butterflies themselves and their ecology and behaviour before focussing on wing pattern evolution, and finally, speciation. Richly illustrated with 32 colour plates, this book makes the extensive scientific literature on Heliconius butterflies accessible to a wide audience of professional ecologists, evolutionary biologists, entomologists, and amateur collectors.
What was once thought to be inconceivable happened: nuclear war between the United States and North Korea broke out. What started out as one nuclear warhead striking a strategic U.S. territory escalated into Armageddon. Across the world, nations exchanged fire, creating an irradiated wasteland in the entirety of the northern hemisphere. Nearly 2000 miles from any loved ones, Shawn Derry watches the bombs drop on the television, from the comfort of his home. He must now navigate World War III, and its new set of rules and players. What will he do? How will he be able to survive on his own in the small window before nuclear winter sets in?
The completion of the Human Genome Project and the rapid progress in cell bi- ogy and biochemical engineering, are major forces driving the steady increase of approved biotech products, especially biopharmaceuticals, in the market. Today mammalian cell products (“products from cells”), primarily monoclonals, cytokines, recombinant glycoproteins, and, increasingly, vaccines, dominate the biopharmaceutical industry. Moreover, a small number of products consisting of in vitro cultivated cells (“cells as product”) for regenerative medicine have also been introduced in the market. Their efficient production requires comprehensive knowledge of biological as well as biochemical mammalian cell culture fundamentals (e.g., cell characteristics and metabolism, cell line establishment, culture medium optimization) and related engineering principles (e.g., bioreactor design, process scale-up and optimization). In addition, new developments focusing on cell line development, animal-free c- ture media, disposables and the implications of changing processes (multi-purpo- facilities) have to be taken into account. While a number of excellent books treating the basic methods and applications of mammalian cell culture technology have been published, only little attention has been afforded to their engineering aspects. The aim of this book is to make a contribution to closing this gap; it particularly focuses on the interactions between biological and biochemical and engineering principles in processes derived from cell cultures. It is not intended to give a c- prehensive overview of the literature. This has been done extensively elsewhere.
This SpringerBrief reviews the knowledge engineering problem of engineering objectivity in top-k query answering; essentially, answers must be computed taking into account the user’s preferences and a collection of (subjective) reports provided by other users. Most assume each report can be seen as a set of scores for a list of features, its author’s preferences among the features, as well as other information is discussed in this brief. These pieces of information for every report are then combined, along with the querying user’s preferences and their trust in each report, to rank the query results. Everyday examples of this setup are the online reviews that can be found in sites like Amazon, Trip Advisor, and Yelp, among many others. Throughout this knowledge engineering effort the authors adopt the Datalog+/– family of ontology languages as the underlying knowledge representation and reasoning formalism, and investigate several alternative ways in which rankings can b e derived, along with algorithms for top-k (atomic) query answering under these rankings. This SpringerBrief also investigate assumptions under which our algorithms run in polynomial time in the data complexity. Since this SpringerBrief contains a gentle introduction to the main building blocks (OBDA, Datalog+/-, and reasoning with preferences), it should be of value to students, researchers, and practitioners who are interested in the general problem of incorporating user preferences into related formalisms and tools. Practitioners also interested in using Ontology-based Data Access to leverage information contained in reviews of products and services for a better customer experience will be interested in this brief and researchers working in the areas of Ontological Languages, Semantic Web, Data Provenance, and Reasoning with Preferences.
Appropriate for both undergraduate and graduate courses, Multicultural Psychology, second edition, provides a comprehensive introduction to the field. This research-based and highly applied text aims to increase students’ sensitivity, awareness, and knowledge of ethnicity, race, and culture and their influence on human behavior and adjustment. A diverse and highly respected team of authors effortlessly weaves together theory with the latest research on ethnic and racial minority groups. Engaging boxes throughout the chapters also highlight key concepts and findings and their practical applications. New to This Edition: • Expanded discussion on the interactive effects of key social variables on ethnic and racial groups’ attitudes, norms, values, and behaviors. • Additional sections on topics such as ethnic disparities in health care quality and access and psychological approaches to reducing racism. New coverage of ethnic and racial minority group members who also share other minority statuses (e.g., sexual and gender minorities) and additional coverage of biculturalism and multicultural and multiracial individuals’ identity formation. • Reorganized table of contents to better reflect a developmental learning approach. • Updated content to include recent research in psychology and related fields (e.g., new acculturation models, an ecological model of health behavior, sociocultural issues in sexual identity formation, and other culture-related syndromes). • Revised ancillaries—written by the authors—include an instructor’s manual, test bank, MS PowerPoint slides, and a new open access Companion Website
Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point. The first part of this graduate-level introduction to formal methods develops an understanding of what constitutes formal methods and what their place is in Software Engineering. It also introduces logics as languages to describe reasoning and the process algebra CSP as a language to represent behaviours. The second part offers specification and testing methods for formal development of software, based on the modelling languages CASL and UML. The third part takes the reader into the application domains of normative documents, human machine interfaces, and security. Use of notations and formalisms is uniform throughout the book. Topics and features: Explains foundations, and introduces specification, verification, and testing methods Explores various application domains Presents realistic and practical examples, illustrating concepts Brings together contributions from highly experienced educators and researchers Offers modelling and analysis methods for formal development of software Suitable for graduate and undergraduate courses in software engineering, this uniquely practical textbook will also be of value to students in informatics, as well as to scientists and practical engineers, who want to learn about or work more effectively with formal theories and methods. Markus Roggenbach is a Professor in the Dept. of Computer Science of Swansea University. Antonio Cerone is an Associate Professor in the Dept. of Computer Science of Nazarbayev University, Nur-Sultan. Bernd-Holger Schlingloff is a Professor in the Institut für Informatik of Humboldt-Universität zu Berlin. Gerardo Schneider is a Professor in the Dept. of Computer Science and Engineering of University of Gothenburg. Siraj Ahmed Shaikh is a Professor in the Institute for Future Transport and Cities of Coventry University. The companion site for the book offers additional resources, including further material for selected chapters, prepared lab classes, a list of errata, slides and teaching material, and virtual machines with preinstalled tools and resources for hands-on experience with examples from the book. The URL is: https://sefm-book.github.io
L'artiste native de Cuba Carmen Herrera (née en 1915) peint depuis plus de sept décennies, mais ce n'est que ces dernières années que la reconnaissance pour son travail a projeté l'artiste vers la notoriété internationale. Ce beau volume offre le premier examen soutenu d'elle, depuis le début de sa carrière en 1948 jusqu'en 1978, et s'étend sur les mondes de l'art de La Havane, de Paris et de New York. Les essais considèrent les premières études de l'artiste à Cuba, son implication dans le Salon des Réalités Nouvelles dans le Paris d'après-guerre et sa sortie révolutionnaire de New York. Puis l'ouvrage situe son travail dans le contexte d'un art d'avant-garde latino-américain plus large. Un essai de Dana Miller considère le travail de New York d'Herrera depuis les années 1950 jusque dans les années 1970, lorsque Herrera arrivait et perfectionnait son style de signature. Des photographies familiales personnelles des archives de Herrera enrichissent le récit, et une chronologie traitant de l'intégralité de sa vie et de sa carrière présente des images documentaires supplémentaires. Plus de quatre-vingts œuvres sont illustrées sous forme de plaques de couleur. Ce livre est la représentation la plus étendue des travaux de Herrera à ce jour. (d'après l'éditeur).
Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point. The first part of this graduate-level introduction to formal methods develops an understanding of what constitutes formal methods and what their place is in Software Engineering. It also introduces logics as languages to describe reasoning and the process algebra CSP as a language to represent behaviours. The second part offers specification and testing methods for formal development of software, based on the modelling languages CASL and UML. The third part takes the reader into the application domains of normative documents, human machine interfaces, and security. Use of notations and formalisms is uniform throughout the book. Topics and features: Explains foundations, and introduces specification, verification, and testing methods Explores various application domains Presents realistic and practical examples, illustrating concepts Brings together contributions from highly experienced educators and researchers Offers modelling and analysis methods for formal development of software Suitable for graduate and undergraduate courses in software engineering, this uniquely practical textbook will also be of value to students in informatics, as well as to scientists and practical engineers, who want to learn about or work more effectively with formal theories and methods. Markus Roggenbach is a Professor in the Dept. of Computer Science of Swansea University. Antonio Cerone is an Associate Professor in the Dept. of Computer Science of Nazarbayev University, Nur-Sultan. Bernd-Holger Schlingloff is a Professor in the Institut für Informatik of Humboldt-Universität zu Berlin. Gerardo Schneider is a Professor in the Dept. of Computer Science and Engineering of University of Gothenburg. Siraj Ahmed Shaikh is a Professor in the Institute for Future Transport and Cities of Coventry University. The companion site for the book offers additional resources, including further material for selected chapters, prepared lab classes, a list of errata, slides and teaching material, and virtual machines with preinstalled tools and resources for hands-on experience with examples from the book. The URL is: https://sefm-book.github.io
This will help us customize your experience to showcase the most relevant content to your age group
Please select from below
Login
Not registered?
Sign up
Already registered?
Success – Your message will goes here
We'd love to hear from you!
Thank you for visiting our website. Would you like to provide feedback on how we could improve your experience?
This site does not use any third party cookies with one exception — it uses cookies from Google to deliver its services and to analyze traffic.Learn More.