الصفحة 13
الصفحة 13
Data Journeys in the Sciences
This groundbreaking, book analyses and compares data practices across several fields through the analysis of specific cases of data journeys. It brings together leading scholars in the philosophy, history and social studies of science to achieve two goals: tracking the travel of data across different spaces, times and domains of research practice; and documenting how such journeys affect the use of data as evidence and the knowledge being produced.
DARPA Grand Challenge : The Great Robot Race
The goal of the new series of Springer Tracts in Advanced Robotics (STAR) is to bring, in a timely fashion, the latest advances and developments in robotics on the basis of their significance and quality. It is our hope that the wider dissemination of research developments will stimulate more exchanges and collaborations among the research community and contribute to further advancement of this rapidly growing field. The volume edited by Martin Buehler, Karl Iagnemma and Sanjiv Singh presents a unique and extensive collection of the scientific results by the teams which took part into the DARPA Grand Challenge in October 2005 in the Nevada desert. This event reached an incredible peak of popularity in the media, the race of the century like someone called it! The Grand Challenge demonstrated the fast growing progress - ward the development of robotics technology, as it showed the feasibility of using mobile robots operating autonomously in real world scenarios.
Cycle Representations of Markov Processes
This book provides new insight into Markovian dependence via the cycle decompositions. It presents a systematic account of a class of stochastic processes known as cycle (or circuit) processes - so-called because they may be defined by directed cycles. An important application of this approach is the insight it provides to electrical networks and the duality principle of networks. This edition adds new advances, which reveal wide-ranging interpretations of cycle representations such as homologic decompositions, orthogonality equations, Fourier series, semigroup equations, and disintegration of measures. The text includes chapter summaries as well as a number of detailed illustrations.
Current and Future Perspectives of Ethnomathematics as a Program
This survey on the modernity of ethnomathematics addresses numerous themes related to both ethnomathematics and mathematics education. It offers a broader view of mathematics, including ideas, procedures, concepts, processes, methods, and practices rooted in distinct cultural environments. In addition, by reflecting on the social and political dimensions of ethnomathematics, another important aspect of this research program is the development of innovative approaches for a dynamic and glocalized society. Ethnomathematics recognizes that members of different cultures develop unique mathematical techniques, methods, and explanations that allow for an alternative understanding and transformation of societal norms. The theoretical basis of ethnomathematics offers a valid alternative to traditional studies of history, philosophy, cognition, and pedagogical aspects of mathematics.
Cryogenic Particle Detection
The development of cryogenic devices for particle detection has reached a stage at which many interesting applications are conceivable and already have been demonstrated. The book provides a comprehensive review of the field of cryogenic particle detection. It introduces the different detection techniques and gives an overview of the important areas in which these detectors are successfully applied.
Creative Character Design for Games and Animation
Takes you through all the basic steps of character design for games and animation, from brainstorming and references to the development phase and final render. It covers a range of styles such as cartoon, stylized and semi-realistic, and explains how to differentiate between them and use them effectively. Using a step-by-step approach for each stage of the process, this book guides you through the process of creating a new character from scratch. It contains a wealth of design tips and tricks as well as checklists and worksheets for you to use in your own projects.
Convergence and Applications of Newton-type Iterations
Recent results in local convergence and semi-local convergence analysis constitute a natural framework for the theoretical study of iterative methods. This monograph provides a comprehensive study of both basic theory and new results in the area. Each chapter contains new theoretical results and important applications in engineering, modeling dynamic economic systems, input-output systems, optimization problems, and nonlinear and linear differential equations. Several classes of operators are considered, including operators without Lipschitz continuous derivatives, operators with high order derivatives, and analytic operators. Each section is self-contained. Examples are used to illustrate the theory and exercises are included at the end of each chapter.
Control of Uncertain Systems : Modelling, Approximation, and Design; A Workshop on the Occasion of Keith Glover's 60th Birthday
This Festschrift contains a collection of articles by friends, co-authors, colleagues, and former Ph.D. students of Keith Glover, Professor of Engineering at the University of Cambridge, on the occasion of his sixtieth birthday. Professor Glover's scientific work spans a wide variety of topics, the main themes being system identification, model reduction and approximation, robust controller synthesis, and control of aircraft and engines. The articles in this volume are a tribute to Professor Glover's seminal work in these areas.
Contributions to the Science of Text and Language : Word Length Studies and Related Issues
This volume contains a collection of contributions to the science of language, focusing on the study of word length in particular. Within a synergetic framework, the word turns out to be a central linguistic unit, as is clearly outlined in the Editorâs preface. The bookâs first chapter is an extensive introduction to the history and state of the art of word length studies.The studies included unify contributions from three important linguistic fields, namely, linguistics and text analysis, mathematics and statistics, and corpus and data base design, which together give a comprehensive approach to the quantitative study of text and language and word length studies.
Continuous Semigroups of Holomorphic Self-maps of the Unit Disc
The book faces the interplay among dynamical properties of semigroups, analytical properties of infinitesimal generators and geometrical properties of Koenigs functions. The book includes precise descriptions of the behavior of trajectories, backward orbits, petals and boundary behavior in general, aiming to give a rather complete picture of all interesting phenomena that occur. In order to fulfill this task, we choose to introduce a new point of view, which is mainly based on the intrinsic dynamical aspects of semigroups in relation with the hyperbolic distance and a deep use of Carathéodory prime ends topology and Gromov hyperbolicity theory.
Constraint solving and language processing
Contains selected and thoroughly revised papers plus contributions from invited speakers presented at the First International Workshop on C- straint Solving and Language Processing, held in Roskilde, Denmark, September 1–3, 2004. Constraint Programming and Constraint Solving, in particular Constraint Logic Programming, appear to be a very promising platform, perhaps the most promising present platform, for bringing forward the state of the art in natural language processing, this due to the naturalness in speci?cation and the direct relation to e?cient implementation. Language, in the present context, may - fer to written and spoken language, formal and semiformal language, and even general input data to multimodal and pervasive systems, which can be handled in very much the same ways using constraint programming. The notion of constraints, with slightly differing meanings, apply in the characterization of linguistic and cognitive phenomena, in formalized linguistic m- els as well as in implementation-oriented frameworks. Programming techniques for constraint solving have been, and still are, in a period with rapid devel- ment of new eficient methods and paradigms from which language processing can prompt. A common metaphor for human language processing is one big c- straint solving process in which the differently specified linguistic and cognitive phases take place in parallel and with mutual cooperation, which ?ts quite well with current constraint programming paradigms.
Concrete floors and slabs ; Proceedings of the International Seminar held at the University of Dundee, Scotland, UK on 5–6 September 2002
Concrete is a global material that underwrites commercial wellbeing and social development. There is no substitute that can be used on the same engineering scale and its sustainability, expolitation and further development are imperatives to creating and maintaing a healthy economy and environment worldwide. The pressure for change and improvement of performance is relentless and necessary. Concrete must keep evolving to satisfy the increasing demands of all its users.
Concentrator Photovoltaics
In fact, photovoltaic conversion of concentrated sunlight insures an efficient and cost-effective sustainable power resource. This book gives an overview of all components. The authors report on significant results related to design, technology, and applications, and also cover the fundamental physics and market considerations.
Computer-Aided Innovation (CAI) ; IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008, Milano, Italy
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Computer-Aided Design of User Interfaces IV
Computer-Aided Design of User Interfaces IV gathers the latest research of experts, research teams and leading organisations involved in computer-aided design of user interactive applications supported by software, with specific attention for platform-independent user interfaces and context-sensitive or aware applications. This includes: innovative model-based and agent-based approaches, code-generators, model editors, task animators, translators, checkers, advice-giving systems and systems for graphical and multimodal user interfaces. It also addresses User Interface Description Languages. This books attempts to emphasize the software tool support for designing user interfaces and their underlying languages and methods, beyond traditional development environments offered by the market. It will be of interest to software development practitioners and researchers whose work involves human-computer interaction, design of user interfaces, frameworks for computer-aided design, formal and semi-formal methods, web services and multimedia systems, interactive applications, and graphical user and multi-user interfaces.
Computer Network Security ; Vol. 3685
This volume contains papers presented at the 3rd International Workshop on Mathematical Methods, Models and Architectures for Computer Network - curity (MMM-ACNS 2005) held in St. Petersburg, Russia, 2005. The 1st and the 2nd International Workshops on Mathematical Methods, Models and Architectures for Computer Network Security (MMM-ACNS 2001 and MMM-ACNS 2003), hosted by the St. Petersburg Institute for Informatics and Automation, demonstrated the keen interest of the international research community in the subject area. It was recognized that conducting a biannual series of such workshops in St. Petersburg stimulates fruitful exchanges between the di?erent schools of thought, facilitates the dissemination of new ideas and promotesthespirit of cooperationbetweenresearchersontheinternationalscale. MMM-ACNS 2005 provided an international forum for sharing original - search results and application experiences among specialists in fundamental and applied problems of computer network security. An important distinction of the workshop was its focus on mathematical aspects of information and computer network security addressing the ever-increasing demands for secure computing and highly dependable computer networks.
Computer And Computing Technologies In Agriculture, Vol. II ; 1st IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Computer And Computing Technologies In Agriculture, Vol. I ; 1st IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Computational Science – ICCS 2007; 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part I
This book contiants sections on efficient data management, parallel monte carlo algorithms, simulation of multiphysics multiscale systems, dynamic data driven application systems, computer graphics and geometric modeling, computer algebra systems, computational chemistry, computational approaches and techniques in bioinformatics, computational finance and business intelligence, geocomputation, high-level parallel programming, networks theory and applications, collective intelligence for semantic and knowledge grid, collaborative and cooperative environments, tools for program development and analysis in CS, intelligent agents in computing systems, CS in software engineering, computational linguistics in HCI, internet computing in science and engineering, workflow systems in e-science, graph theoretic algorithms and applications in cs, teaching CS, high performance data mining, mining text, semi-structured, Web, or multimedia data,
Computational methods in engineering and science ; Proceedings of enhancement and promotion of computational methods in engineering and science X" Aug. 21-23, 2006, Sanya, China
Here are the printed proceedings of EPMESC X, held on August 21-23, 2006 in Sanya, Hainan Island of China. It includes 14 full papers of plenary and semi-plenary lectures and approximately 166 one-page summaries. The accompanying CD-ROM includes all 180 full papers presented at the conference.
