الصفحة 13
الصفحة 13
Scaling of Differential Equations
Serves both as a reference for various scaled models with corresponding dimensionless numbers, and as a resource for learning the art of scaling. A special feature of the book is the emphasis on how to create software for scaled models, based on existing software for unscaled models. Scaling (or non-dimensionalization) is a mathematical technique that greatly simplifies the setting of input parameters in numerical simulations. Moreover, scaling enhances the understanding of how different physical processes interact in a differential equation model. Compared to the existing literature, where the topic of scaling is frequently encountered, but very often in only a brief and shallow setting, the present book gives much more thorough explanations of how to reason about finding the right scales.
Scale Space and PDE Methods in Computer Vision ; 5th International Conference, Scale-Space 2005, Hofgeismar, Germany, April 7-9, 2005, Proceedings
Welcome to the proceedings of the 5th International Conference on Scale-Space and PDE Methods in Computer Vision. The scale-space concept was introduced by Iijima more than 40 years ago and became popular later on through the works of Witkin and Koenderink. It is at the junction of three major schools of thought in image processing and computer vision: the design of ?lters, axiomatic approaches based on partial di?erential equations (PDEs), and variational methods for image regularization. Scale-space ideas belong to the mathematically best-understood approaches in image analysis.
Scalable Uncertainty Management ; 2nd International Conference, SUM 2008, Naples, Italy, October 1-3, 2008. Proceedings
The book address artificial intelligence researchers, database researchers, and practitioners to demonstrate theoretical techniques required to manage the uncertainty that arises in large scale real world applications and to cope with large volumes of uncertainty and inconsistency in databases, the Web, the semantic Web, and artificial intelligence in general.
SAT 2005 ; Satisfiability Research in the Year 2005
This book is devoted to recent progress made in solving propositional satisfiability and related problems. Propositional satisfiability is a powerful and general formalism used to solve a wide range of important problems including hardware and software verification. The core of many reasoning problems in automated deduction are propositional. Research into methods to automate such reasoning has therefore a long history in artificial intelligence. In 1957, Allen Newell and Herb Simon introduced the Logic Theory Machine to prove propositional theorems from Whitehead and Russel's "Principia mathematica".
Rule Extraction from Support Vector Machines
This book provides an overview of the field and introduces a number of different approaches to extracting rules from support vector machines developed by key researchers. In addition, successful applications are outlined and future research opportunities are discussed. The book is an important reference for researchers and graduate students, and since it provides an introduction to the topic, it will be important in the classroom as well. Because of the significance of both SVMs and user explanation, the book is of relevance to data mining practitioners and data analysts.
Ruggiero Boscovich’s Theory of Natural Philosophy : Points, Distances, Determinations
Drawing on published works, correspondence and manuscripts, this book offers the most comprehensive reconstruction of Boscovich’s theory within its historical context. It explains the genesis and theoretical as well as epistemological underpinnings in light of the Jesuit tradition to which Boscovich belonged, and contrasts his ideas with those of Newton, Leibniz, and their legacy. Finally, it debates crucial issues in early-modern physical science such as the concept of force, the particle-like structure of matter, the idea of material points and the notion of continuity, and shares novel insights on Boscovich’s alleged influence on later developments in physics.
Rough Sets and Knowledge Technology ; 3rd International Conference, RSKT 2008, Chengdu, China, May 17-19, 2008. Proceedings
This book focus on five major research fields: computing theory and paradigms, knowledge technology, intelligent information processing, intelligent control, and applications. The papers are organized in topical sections on rough and soft computing, rough mereology with applications, dominance-based rough set approach, fuzzy-rough hybridization, granular computing, logical and mathematical foundations, formal concept analysis, data mining, machine learning, intelligent information processing, bioinformatics and cognitive informatics, web intelligence, pattern recognition, and real-life applications of knowledge technology.
Rough Sets and Current Trends in Computing ; 6th International Conference, RSCTC 2008 Akron, OH, USA, October 23-25, 2008 Proceedings
This book is organized in topical sections on logical and mathematical foundations, data analysis, data mining, decision support systems, clustering, pattern recognition and image processing, as well as bioinformatics. The three special session papers cover topics such as rough sets in data warehousing, classification challenges in email archiving, and approximation theories: granular computing vs. rough sets.
Robust Signal Processing for Wireless Communications
This book treats the robust design of signal processing algorithms for wireless communications which are based on an incomplete model of the propagation channel. The systematic treatment of this practical problem focuses on signal processing tasks in the physical layer with multiple antennas and relies on a description of the errors and uncertainties in the system's model. It applies principles of modern estimation, optimization, and information theory. Tutorial introductions to relevant literature and mathematical foundations provide the necessary background and context to the reader.
Robotic Exploration and Landmark Determination : Hardware-Efficient Algorithms and FPGA Implementations
This book presents hardware-efficient algorithms and FPGA implementations for two robotic tasks, namely exploration and landmark determination. The work identifies scenarios for mobile robotics where parallel processing and selective shutdown offered by FPGAs are invaluable. The book proceeds to systematically develop memory-driven VLSI architectures for both the tasks. The architectures are ported to a low-cost FPGA with a fairly small number of system gates. A robot fabricated with this FPGA on-board serves to validate the efficacy of the approach. Numerous experiments with the robot are reported.
Robot Cognition and Navigation : An Experiment with Mobile Robots
In this book the author employs a cybernetic view of robot cognition and perception as he examines mobile robot simulations, realizations and experiments, and explains the related mathematical models and algorithms.
Risk and Variability in Geotechnical Engineering
Presents cutting edge techniques for characterising, quantifying and modelling geomaterial variability in addition to methods for quantifying the influence of this variability on the performance of geotechnical structures. It includes state-of-the-art refereed journal papers by leading international researchers along with written and informal discussions on a selection of key submissions that were presented at a Symposium at the Institution of Civil Engineers on 9th May 2005.
Rigid Body Dynamics Algorithms
It explains how to model a rigid-body system and how to analyze it, and it presents the most comprehensive collection of the best rigid-body dynamics algorithms to be found in a single source. The use of spatial vector notation greatly reduces the volume of algebra which allows systems to be described using fewer equations and fewer quantities. It also allows problems to be solved in fewer steps, and solutions to be expressed more succinctly. In addition algorithms are explained simply and clearly, and are expressed in a compact form. The use of spatial vector notation facilitates the implementation of dynamics algorithms on a computer: shorter, simpler code that is easier to write, understand and debug, with no loss of efficiency.
Riemannian Geometry and Geometric Analysis ; 5th ed.
This established reference work continues to lead its readers to some of the hottest topics of contemporary mathematical research.This new edition introduces and explains the ideas of the parabolic methods that have recently found such a spectacular success in the work of Perelman at the examples of closed geodesics and harmonic forms. It also discusses further examples of geometric variational problems from quantum field theory, another source of profound new ideas and methods in geometry.
Riemannian Geometry and Geometric Analysis ; 4th ed.
Offering some topics of contemporary mathematical research, this fourth edition provides an introduction to Riemannian geometry and geometric analysis. It focuses on using analytic methods in the study of some fundamental theorems in Riemannian geometry, and the existence of harmonic mappings. It also includes an introduction to Kahler geometry.
Rhythm and Transforms
People quite naturally identify the rhythmic structure of music as they tap their feet and sway in time with the beat. Underlying such mundane motions is an act of cognition that is not easily reproduced in a computer program or automated by machine. Rhythm and Transforms asks (and answers) the question: How can we build a device that can "tap its foot" along with the music? The result is a tool for detecting and measuring the temporal aspects of a musical performance: the periodicities, the regularities (and irregularities), the beat, the rhythm. The impact of such a "rhythm meter" on music theory and on the design of sound processing electronics such as musical synthesizers, drum machines, and special effects devices is described. The "rhythm meter" provides a concrete basis for a discussion of the relationship between the cognitive processing of temporal information and the mathematical techniques used to describe and understand regularities in data.
Rewriting Techniques and Applications; 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings
The book covers current research on all aspects of rewriting including typical areas of interest such as applications, foundational issues, frameworks, implementations, and semantics.
Research Problems in Discrete Geometry
Research Problems in Discrete Geometry is the result of a 25-year-old project initiated by the late Leo Moser. It is a collection of more than 500 attractive open problems in the field. The largely self-contained chapters provide a broad overview of discrete geometry, along with historical details and the most important partial results related to these problems. This book is intended as a source book for both professional mathematicians and graduate students who love beautiful mathematical questions, are willing to spend sleepless nights thinking about them, and who would like to get involved in mathematical research.
Research on and activities for mathematically gifted students
It first discusses research concerning the nature of mathematical giftedness, including theoretical frameworks and methodologies that are helpful in identifying and/or creating mathematically gifted students, which is described in this section. It also focuses on research on and the development of mathematical talent and innovation in students, including connections between cognitive, social and affective aspects of mathematically gifted students. Exemplary teaching and learning practices, curricula and a variety of programs that contribute to the development of mathematical talent, gifts, and passion are described as well as the pedagogy and mathematics content suitable for educating pre-service and in-service teachers of mathematically gifted students.
Representations, Wavelets, and Frames : A Celebration of the Mathematical Work of Lawrence W. Baggett
Motivated by applications, an underlying theme in analysis is that of finding bases and understanding the transforms that implement them. These may be based on Fourier techniques or involve wavelet tools; they may be orthogonal or have redundancies (e.g., frames from signal analysis). Representations, Wavelets, and Frames contains chapters pertaining to this theme from experts and expositors of renown in mathematical analysis and representation theory. Topics are selected with an emphasis on fundamental and timeless techniques with a geometric and spectral-theoretic flavor. The material is self-contained and presented in a pedagogical style that is accessible to students from both pure and applied mathematics while also of interest to engineers.
