This title offers a sophisticated overview of President Obama's education agenda, exploring how and why education policy became national and ultimately presidential over the past seven decades
Interdisciplinary research related to meachnical engineering and humanities Cybernetic methods used in various application fields Innovation method, demographic change, engineering education best practices Production engineering, robotics, autonomous systems
This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015. The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions. They show current research on theoretical and practical aspects of automated a…
This book constitutes the refereed proceedings of the 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2015, held in Wroclaw, Poland, in September 2015. The 19 full papers and 2 papers presented in this volume were carefully reviewed and selected from 34 submissions. They are organized in topical sections named: tableaux calculi; sequ…
This is the first book on ranaviruses. Ranaviruses are double-stranded DNA viruses that cause hemorrhagic disease in amphibians, reptiles, and fish. They have caused mass die-offs of ectothermic vertebrates in wild and captive populations around the globe. There is evidence that this pathogen is emerging and responsible for population declines in certain locations. Considering that amphibians a…
This text presents the Eulerian numbers in the context of modern enumerative, algebraic, and geometric combinatorics. The book first studies Eulerian numbers from a purely combinatorial point of view, then embarks on a tour of how these numbers arise in the study of hyperplane arrangements, polytopes, and simplicial complexes. Some topics include a thorough discussion of gamma-nonnegativity and…
This book reviews the history, current state of knowledge, and different research approaches and techniques of studies on interactions between humans and plants in an important area of agriculture and ongoing plant domestication: Mesoamerica. Leading scholars and key research groups in Mexico discuss essential topics as well as contributions from international research groups that have conduct…
This volume provides a concise and up to date resource that directly addresses the needs of general surgeons who perform vascular surgery by focusing on the diagnosis and clinical management of common vascular conditions. The volume is divided into sections on arterial disease, venous disease, vascular trauma, and vascular access. Chapters on arterial disease outline the management and surgical…
Building upon the previous editions, this textbook is a first course in stochastic processes taken by undergraduate and graduate students (MS and PhD students from math, statistics, economics, computer science, engineering, and finance departments) who have had a course in probability theory. It covers Markov chains in discrete and continuous time, Poisson processes, renewal processes, martinga…
Essentials of Robotic Surgery is designed to present a comprehensive and state-of-the-art approach to robotic surgery within the broad confines of general surgery. Sections address preliminary issues faced by surgeons who may be initially undertaking robotics. These areas include training, basic techniques and setup, as well as general troubleshooting. Subsequent chapters focus on specific dis…