Refine Results
Sort By
From
To
Page 23
Page 23
Analysis and Synthesis of Logics : How to Cut and Paste Reasoning Systems
Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and decomposing logics, ranging from propositional and first-order based logics to higher-order based logics as well as to non-truth functional logics. The theory covers mechanisms for combining semantic structures and deductive systems either of the same or different nature (for instance, two Hilbert calculi or a Hilbert calculus and a tableau calculus). The important issue of preservation of properties is extensively addressed. For instance, sufficient conditions are provided for a combined logic to be sound and complete when the original component logics are known to be sound and complete.
Analysis and Numerics for Conservation Laws
The physical and chemical mechanisms as well as the sizes of these processes are quite different. So are the motivations for studying them scientifically.The super- 8 nova is a thermo-nuclear explosion on a scale of 10 cm. Astrophysicists try to understand them in order to get insight into fundamental properties of the universe. In hows around airfoils of commercial airliners at the scale of 3 10 cm shock waves occur that influence the stability of the wings as well as fuel consumption in ight. This requires appropriate design of the shape and structure of airfoils by engineers. Knocking occurs in combustion, a chemical 1 process, and must be avoided since it damages motors. The scale is 10 cm and these processes must be optimized for efficiency and environmental conside- tions. The common thread is that the underlying ?uid ?ows may at a certain scale of observation be described by basically the same type of hyperbolic s- tems of partial differential equations in divergence form, called conservation laws. Astrophysicists, engineers and mathematicians share a common interest in scientific progress on theory for these equations and the development of computational methods for solutions of the equations. Due to their wide applicability in modeling of continua. A substantial portion of mathematical research is related to the analysis and numerical approximation of solutions to such equations. Hyperbolic conservation laws in two or more space dimensions still poseone of the main challenges to modern mathematics.
Analyse asymptotique et couche limite = Asymptotic analysis and boundary layer
The aim of the book is to give teachers and students (from Bac + 4) in applied mathematics and fluid mechanics a teaching and learning tool illustrated by fifty problems accompanied by their detailed correction. This book presents a new method of asymptotic analysis for "boundary layer" problems. This is called MASC "Method of Complementary Successive Approximations". The first half of the book is devoted, in addition to the presentation of the MASC, to organize the knowledge necessary for the asymptotic analysis and to give the keys allowing the understanding of what is a problem called "boundary layer" and the methods allowing. to build an approximation. The second part is devoted to the application of MASC in fluid mechanics and to the comparison with the more traditional methods resulting from the famous MDAR, "Method of Connected Asymptotic Developments".
An Introduction to Structural Optimization
This textbook gives an introduction to all three classes of geometry optimization problems of mechanical structures: sizing, shape and topology optimization. The style is explicit and concrete, focusing on problem formulations and numerical solution methods. The treatment is detailed enough to enable readers to write their own implementations. On the book's homepage, programs may be downloaded that further facilitate the learning of the material covered.
An Introduction to Navier-Stokes Equation and Oceanography
The Introduction to Navier-Stokes Equation and Oceanography corresponds to a graduate course in mathematics, taught at Carnegie Mellon University in the spring of 1999. Comments were added to the lecture notes distributed to the students, as well as short biographical information for all scientists mentioned in the text, the purpose being to show that the creation of scientific knowledge is an international enterprise, and who contributed to it, from where, and when. The goal of the course is to teach a critical point of view concerning the partial differential equations of continuum mechanics, and to show the need for developing new adapted mathematical tools.
An Introduction to Meshfree Methods and Their Programming
This book aims to present meshfree methods in a friendly and straightforward manner, so that beginners can very easily understand, comprehend, program, implement, apply and extend these methods. It provides first the fundamentals of numerical analysis that are particularly important to meshfree methods. Typical meshfree methods, such as EFG, RPIM, MLPG, LRPIM, MWS and collocation methods are then introduced systematically detailing the formulation, numerical implementation and programming. Many well-tested computer source codes developed by the authors are attached with useful descriptions. The application of the codes can be readily performed using the examples with input and output files given in table form. These codes consist of most of the basic meshfree techniques, and can be easily extended to other variations of more complex procedures of meshfree methods. Readers can easily practice with the codes provided to effective learn and comprehend the basics of meshfree methods.
An Interactive Multimedia Introduction to Signal Processing
A didactic concept is undertaken for microelectronics, computer technology and communication engineering, which deals with the visualization of signals and processes in addition to graphical programming of signal processing systems. Through the utilization of a professional and globally supported software for metrology and control engineering, DasyLab, useful applications can be developed, modified and optimized. Computer supported processing of real signals is made possible over the sound card and the parallel port. Over two hundred pre-programmed signal engineering systems and design transparencies are provided. Pictures also play a dominant rule in this book: there are numerous introduction-videos, one for every chapter, more than 250 high-quality pictures and - most important – all the "living" experiments and their results are visualized. With this learning system, readers can now make use of "equipment" and software, which was practically unaffordable for individuals in the past. What's more, here is a very new concept for learning Signal Processing, not only from the physically-based scientific fundamentals, but also from the didactic perspective, based on modern results of brain research.
Amongst Mathematicians : Teaching and Learning Mathematics at University Level
Amongst Mathematicians offers a unique perspective on the ways in which mathematicians perceive their students' learning, teach and reflect on their teaching practice; also on how they perceive the often fragile relationship between the communities of mathematics and mathematics education.This book demonstrates the pedagogical potential that lies in collaborative undergraduate mathematics education research that engages mathematicians, researchers and students. Nardi also addresses the need for action in undergraduate mathematics education and offers a discourse for reform through demonstrating the feasibility and potential of collaboration between mathematicians and mathematics education researchers.
Alternatives Considered But Not Disclosed : The Ambiguous Role of PowerPoint in Cross-Project Learning
This study investigates the role of PowerPoint in organizational communication, particularly in terms of a functional dilemma between its application for documentation as opposed to presentation purposes. The theoretical part of the analysis combines insights from both organizational communication studies (J. R. Taylor et al.) and social systems theory (N. Luhmann et al.). The empirical analysis shows that PowerPoint documents created for cross-project learning purposes contribute to an invisibilization rather than a visibilization of decision processes and their contingency.
African Languages and Literatures in the 21st Century
Examines the crucial role still played by African languages in pedagogy and literatures in the 21st century, generating insights into how they effectively serve cultural needs across the African continent and beyond. Boldly positioning African languages as key resources in the 21st century, chapters focus on themes such as language revolt by marginalized groups at grassroots level, the experience of American students learning African languages, female empowerment through the use of African languages in music, film and literary works, and immigration issues. The contributions are written by scholars of language, literature, education and linguistics, and will be of interest to students and scholars in these and related areas.
Affect and Mathematics Education : Fresh Perspectives on Motivation, Engagement, and Identity
Presents the latest trends in research in the area. Following an introduction and a survey chapter providing a concise overview of the state-of-art in the field of mathematics-related affect, the book is divided into three main sections: motivation and values, engagement, and identity in mathematics education. Each section comprises several independent chapters based on original research, as well as a reflective commentary by an expert in the area. Collectively, the chapters present a rich methodological spectrum, from narrative analysis to structural equation modelling.
Advancing Energy Policy : Lessons on the integration of Social Sciences and Humanities
Advocates for the Social Sciences and Humanities to be more involved in energy policymaking. It forms part of the European platform for energy-related Social Sciences and Humanities’ activities, and works on the premise that crossing disciplines is essential. All of its contributions are highly interdisciplinary, with each chapter grounded in at least three different Social Sciences and Humanities disciplines. These varying perspectives come together to cover an array of issues relevant to the energy transition, including: energy poverty, justice, political ecology, governance, behaviours, imaginaries, systems approaches, modelling, as well as the particular challenges faced by interdisciplinary work. As a whole, the book presents new ideas for future energy policy, particularly at the European level. It is a valuable resource for energy researchers interested in interdisciplinary and society-relevant perspectives. Those working outside the Social Sciences and Humanities will find this book an accessible way of learning more about how these subjects can constructively contribute to energy policy.
Advances in semantic media adaptation and personalization
Realizing the growing importance of semantic adaptation and personalization of media, the editors of this book brought together leading researchers and practitioners of the field to discuss the state-of-the-art, and explore emerging exciting developments. This volume comprises extended versions of selected papers presented at the 1st International Workshop on Semantic Media Adaptation and Personalization (SMAP 2006).
Advances in Robot Control : From Everyday Physics to Human-Like Movements
This volume provides a unique collection of papers written in honor of the 70th birthday of Suguru Arimoto who has long been recognized as a pioneer in the field of robot control. A variety of his research is reflected in this book, which includes contributions from leading experts in the field, who have also been closely associated with Suguru Arimoto at various stages in his distinguished career. The book is build around two themes: the physics-based robot control for coping with the so-called everyday physics problems on one hand, and the challenge of reproducing beautiful, human-like movements on the other hand. These themes defined much of Arimoto’s research in the field of robot control and are the cornerstones of his perception of human robotics.
Advances in Probabilistic Graphical Models
This carefully edited book brings together in one volume some of the most important topics of current research in probabilistic graphical modelling, learning from data and probabilistic inference. This includes topics such as the characterisation of conditional independence, the sensitivity of the underlying probability distribution of a Bayesian network to variation in its parameters, the learning of graphical models with latent variables and extensions to the influence diagram formalism. In addition, attention is given to important application fields of probabilistic graphical models, such as the control of vehicles, bioinformatics and medicine.
Advances in Natural Multimodal Dialogue Systems
The chapters in this book jointly contribute to what we shall call the fieldof natural and multimodal interactive systems engineering. This is not yet awell-established field of research and commercial development but, rather, anemerging one in all respects. It brings together, in a process that, arguably, wasbound to happen, contributors from many different, and often far more estab-lished, fields of research and industrial development. To mention but a few,these include speech technology, computer graphics and computer vision. Thefield’s rapid expansion seems driven by a shared vision of the potential of newinteractive modalities of information representation and exchange for radicallytransforming the world of computer systems, networks, devices, applications,etc.
Advances in Human-Robot Interaction
The book addresses key issues of human-robot interaction concerned with perception, modelling, control, planning and cognition, covering a wide spectrum of applications. This includes interaction and communication with robots in manufacturing environments and the collaboration and co-existence with assistive robots in domestic environments. Among the presented examples are a robotic bartender, a new programming paradigm for a cleaning robot, or an approach to interactive teaching of a robot assistant in manufacturing environment. This carefully edited book reports on contributions from leading German academic institutions and industrial companies brought together within MORPHA, a 4 year project on interaction and communication between humans and anthropomorphic robot assistants
Advances in Evolutionary Computing for System Design
Evolutionary computing paradigms offer robust and powerful adaptive search mechanisms for system design. This book includes thirteen chapters covering a wide area of topics in evolutionary computing and applications including: -Introduction to evolutionary computing in system design - Evolutionary neuro-fuzzy systems - Evolution of fuzzy controllers - Genetic algorithms for multi-classifier design -Evolutionary grooming of traffic -Evolutionary particle swarms -Fuzzy logic systems using genetic algorithms - Evolutionary algorithms and immune learning for neural network-based controller design - Distributed problem solving using evolutionary learning -Evolutionary computing within grid environment -Evolutionary game theory in wireless mesh networks - Hybrid multiobjective evolutionary algorithms for the sailor assignment problem - Evolutionary techniques in hardware optimization
Advances in Distribution Theory, Order Statistics, and Inference
Barry Arnold has made fundamental contributions to many different areas of statistics, including distribution theory, Bayesian inference, multivariate analysis, bounds and orderings, and characterization problems. Organized to honor Arnold’s significant contributions to the field, this volume is an outgrowth of the "International Conference on Distribution Theory, Order Statistics, and Inference," held at the University of Cantabria, Santander, Spain.Several distinguished and active researchers highlight some of the recent developments in statistical distribution theory, order statistics and their properties, as well as inferential methods associated with them. Applications to survival analysis, reliability, quality control, and environmental problems are emphasized.
Advances in Data Analysis ; Proceedings of the 30th Annual Conference of the Gesellschaft für Klassifikation e.V., Freie Universität Berlin, March 8-10, 2006
Focuses on exploratory data analysis, learning of latent structures in datasets, and unscrambling of knowledge. Coverage details a broad range of methods from multivariate statistics, clustering and classification.
