الصفحة 74
الصفحة 74
Automated multi-camera surveillance : Algorithms and practice
This book discusses and proposes techniques for development of an automated multi-camera surveillance system for outdoor environments, while identifying the important issues that a system needs to cope with in realistic surveillance scenarios. The goal of the research presented in this book is to build systems that can deal effectively with these realistic surveillance needs.
Automated machine learning : Methods, systems, challenges
This book presents the first comprehensive overview of general methods in Automated Machine Learning (AutoML), collects descriptions of existing systems based on these methods, and discusses the first series of international challenges of AutoML systems. The recent success of commercial ML applications and the rapid growth of the field has created a high demand for off-the-shelf ML methods that can be used easily and without expert knowledge. However, many of the recent machine learning successes crucially rely on human experts, who manually select appropriate ML architectures (deep learning architectures or more traditional ML workflows) and their hyperparameters. To overcome this problem, the field of AutoML targets a progressive automation of machine learning, based on principles from optimization and machine learning itself.
Automated deduction in Geometry ; 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers
The book show the lively variety of topics and methods and the current applicability of automated deduction in geometry to different branches of mathematics and to other sciences and technologies.
Automated deduction in Geometry ; 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers
This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Automated Deduction in Geometry, ADG 2006, held at Pontevedra, Spain, in August/September 2006 as a satellite event of the International Congress of Mathematicians, ICM 2006. The 13 revised full papers presented were carefully selected from the submissions made due to a call for papers - within the scope of ADG - shortly after the meeting. The papers show the lively variety of topics and methods and the current applicability of automated deduction in geometry to different branches of mathematics and to other sciences and technologies.
Automated deduction – CADE-20 ; 20th International Conference on automated deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
This book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held in Tallinn, Estonia, in July 2005. The 25 revised full papers and 5 system descriptions presented were carefully reviewed and selected from 78 submissions. All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation and evaluation of theorem provers and logical reasoning systems.
Automated deduction – CADE 28 ; 28th International Conference on automated deduction, Virtual Event, July 12–15, 2021, Proceedings
This book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.
Automata, languages and programming ; Vol. 3580 ; 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings
This book constitutes the refereed proceedings of 32nd International Colloquium on Automata, Languages and Programming ICALP 2005, Lisbon, Portugal, July 11-15, 2005. including Topics Computer Science, general Mathematical Logic and Foundations Theory of Computation Software Engineering/Programming and Operating Systems Data Structures and Information Theory Data Structures
AutoCAD 2006 VBA : A programmer's reference
This book will help you take full advantage of the Visual Basic for Applications programming environment within AutoCAD 2006. Whether you want to automate routine tasks, or create sophisticated applications or design that can be generated programmatically, this book will empower you to make AutoCAD work for you. This book is also suitable if you're a power user who wants to make use of the advanced features of AutoCAD 2006 VBA, and you need a fast reference for the full AutoCAD object model. You'll learn to run Autodesk design tasks in the embedded VBA environment. This book is loaded with source code examples, and gives you no matter your skill level the necessary tools to accomplish your AutoCAD 2006 automation tasks.
Autistic community and the neurodiversity movement : Stories from the frontline
This book marks the first historical overview of the autism rights branch of the neurodiversity movement, describing the activities and rationales of key leaders in their own words since it organized into a unique community in 1992. Sandwiched by editorial chapters that include critical analysis, the book contains 19 chapters by 21 authors about the forming of the autistic community and neurodiversity movement, progress in their influence on the broader autism community and field, and their possible threshold of the advocacy establishment
Australias arc of Instability : The political and cultural dynamics of regional security
The idea for this book emerged from a conversation between Vivian Forbes and Charles Eaton following two seminars held in the Department of Geography at the University of Western Australia given by Trevor So?eld and Christopher Grif?n more than ?ve years ago. One seminar involved papers from Charles Eaton and Christopher Grif?n on the recent Speight coup in Fiji; the other, given by Trevor So?eld, was on the Solomon Islands. The seminars were attended by, among others, Dennis Rumley, who on getting involved in the conversation, suggested the idea of a book and then followed through on its scope, structure, planning, and possible contributors. Looking back now, we owe a special debt of gratitude to Charles Eaton both for his enthusiasm and his ideas then, and for his continued support throughout the whole project. Since that time ?ve years ago, many people have boarded and have left the Arc.
Austenitic TRIP/TWIP steels and steel-zirconia composites : Design of tough, transformation-strengthened composites and structures
This book presents a collection of the most up-to-date research results in the field of steel development with a focus on pioneering alloy concepts that result in previously unattainable materials properties.
Aurora : Observing and Recording Nature's Spectacular Light Show
The uniquely beautiful light display of an aurora is the result of charged particles colliding with tenuous atmospheric oxygen and nitrogen, more than 60 miles above the Earth, when the magnetosphere is disturbed by changes in the solar wind. Often - and incorrectly - regarded as being confined to high northern and southern latitudes, major auroral displays are visible from even the southern USA and the south of England, and occur perhaps twenty times in each eleven-year sunspot cycle. This book describes the aurora from the amateur observational viewpoint, discusses professional studies of auroral and geomagnetic phenomena to put amateur work in context, and explains how practical observers can go about observing and recording auroral displays.
Auralization : Fundamentals of acoustics, modelling, simulation, algorithms and acoustic virtual reality
"Auralization" is the technique of creation and reproduction of sound on the basis of computer data. With this tool is it possible to predict the character of sound signals which are generated at the source and modified by reinforcement, propagation and transmission in systems such as rooms, buildings, vehicles or other technical devices. This book is organized as a comprehensive collection of the basics of sound and vibration, acoustic modelling, simulation, signal processing and audio reproduction. Implementations of the auralization technique are described using examples drawn from various fields in acoustic’s research and engineering, architecture, sound design and virtual reality.
Augmented Humanity : Being and Remaining Agentic in a Digitalized World
This book will examine the implications of digitalization for the understanding of humanity, conceived as a community of intelligent agency. It addresses important topics across a range of social and behavioral theories and identifies a range of novel mechanisms and their social behavioral effects. Across the book, the author highlights the expansion of intelligent processing capability brought about by digitalization and the challenges this exposes for integrating artificial and human capabilities
Audacious Education Purposes : How Governments Transform the Goals of Education Systems
This book offers a comparative study of eight ambitious national reforms that sought to create opportunities for students to gain the necessary breath of skills to thrive in a rapidly changing world.
Attractivity and bifurcation for nonautonomous dynamical systems
Although, bifurcation theory of equations with autonomous and periodic time dependence is a major object of research in the study of dynamical systems since decades, the notion of a nonautonomous bifurcation is not yet established. In this book, two different approaches are developed which are based on special definitions of local attractivity and repulsivity.
Attitudes, beliefs, motivation and identity in mathematics education : An overview of the field and future directions
Records the state of the art in research on mathematics-related affect. It discusses the concepts and theories of mathematics-related affect along the lines of three dimensions. The first dimension identifies three broad categories of affect: motivation, emotions, and beliefs. The book contains one chapter on motivation, including discussions on how emotions and beliefs relate to motivation. There are two chapters that focus on beliefs and a chapter on attitude which cross-cuts through all these categories. The second dimension covers a rapidly fluctuating state to a more stable trait. All chapters in the book focus on trait-type affect and the chapter on motivation discusses both these dimensions. The third dimension regards the three main levels of theorizing: physiological (embodied), psychological (individual) and social. All chapters reflect that mathematics-related affect has mainly been studied using psychological
Attitudes and changing contexts
In this book, the author defends a unified externalists account of propositional attitudes and reference, and formalizes this view within possible world semantics.
Attention and Performance in Computational Vision ; 2nd International Workshop, WAPCV 2004, Prague, Czech Republic, May 15, 2004, Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Attention and Performance in Computational Vision, WAPCV 2004, held in Prague, Czech Republic in May 2004. The goal of this workshop was to provide an interdisciplinary forum tocommunicatecomputationalmodelsofvisualattentionfromvariousviewpoints,such as from computer vision, psychology, robotics and neuroscience. The motivation for - terdisciplinarity was communication and inspiration beyond the individual community, to focus discussion on computational modelling, to outline relevant objectives for p- formance comparison, to explore promising application domains, and to discuss these with reference to all related aspects of cognitive vision.
Asymmetry : The foundation of information
As individual needs have arisen in the fields of physics, electrical engineering and computational science, each has created its own theories of information to serve as conceptual instruments for advancing developments. This book provides a coherent consolidation of information theories from these different fields.It provides a versatile tool for quantifying complexity and information capacity in any physical system.
