- Table View
- List View
Roadmap to Greener Computing
by Raoul-Abelin Choumin Nguemaleu Lionel MontheuAs computers become faster, use more energy, and older models become obsolete more quickly, the question is often asked: What can the engineering and computer science community do to make computing greener? Roadmap to Greener Computing defines the challenges involved in making computing more environmentally friendly and includes methods and techniq
Roads to Infinity: The Mathematics of Truth and Proof (AK Peters/CRC Recreational Mathematics Series)
by John StillwellWinner of a CHOICE Outstanding Academic Title Award for 2011!This book offers an introduction to modern ideas about infinity and their implications for mathematics. It unifies ideas from set theory and mathematical logic, and traces their effects on mainstream mathematical topics of today, such as number theory and combinatorics. The treatment is h
Robert Recorde: Tudor Polymath, Expositor and Practitioner of Computation
by Jack WilliamsThe 16th-Century intellectual Robert Recorde is chiefly remembered for introducing the equals sign into algebra, yet the greater significance and broader scope of his work is often overlooked. This book presents an authoritative and in-depth analysis of the man, his achievements and his historical importance. This scholarly yet accessible work examines the latest evidence on all aspects of Recorde's life, throwing new light on a character deserving of greater recognition. Topics and features: presents a concise chronology of Recorde's life; examines his published works; describes Recorde's professional activities in the minting of money and the mining of silver, as well as his dispute with William Herbert, Earl of Pembroke; investigates Recorde's work as a physician, his linguistic and antiquarian interests, and his religious beliefs; discusses the influence of Recorde's publisher, Reyner Wolfe, in his life; reviews his legacy to 17th-Century science, and to modern computer science and mathematics.
Robert Rosen and Relational System Theory: An Overview (Anticipation Science #8)
by James Bryan LennoxThis book focuses on Robert Rosen’s contributions to relational system theory, which is the science of organization and function. This science was originally developed by Nicolas Rashevsky, and further developed by Rashevsky’s student Robert Rosen, and continues to be developed by Rosen’s student A. H. Louie amongst others. Due to its revolutionary character, it is often misunderstood, and to some, controversial. The formal and conceptual setting for Rosen’s relational system theory is category theory. Rosen was the first to apply category theory to scientific problems, outside of pure mathematics, and the first to think about science from the point of view of category theory. To better understand the work of Rosen, this book provides an overview of his theory of modeling, complexity, anticipation, and organism. It presents the foundations of this science and the philosophical motivations behind it along with conceptual clarification and historical context in order to present Rosen’s ideas to a wider audience.
Robin Hood Math: Take Control of the Algorithms That Run Your Life
by Noah GiansiracusaHow the rich and powerful use math to exploit you, and what you can do to beat them at their own game Everything we do today is recorded as data that's sold to the highest bidder. Plugging our personal data into impersonal algorithms has made government agencies more efficient and tech companies more profitable. But all this comes at a price. It's easy to feel like an insignificant number in a world of number crunchers who care more about their bottom line than your humanity. It's time to flip the equation, turning math into an empowering tool for the rest of us. Award-winning mathematician Noah Giansiracusa explains how the tech giants and financial institutions use formulas to get ahead—and how anyone can use these same formulas in their everyday life. You&’ll learn how to handle risk rationally, make better investments, take control of your social media, and reclaim agency over the decisions you make each day. In a society that all too often takes from the poor and gives to the rich, math can be a vital democratizing force. Robin Hood Math helps you to think for yourself, act in your own best interests, and thrive.
Robot Mechanisms
by Tadej Bajd Jadran Lenarcic Michael M. StanišićThis book provides a comprehensive introduction to the area of robot mechanisms, primarily considering industrial manipulators and humanoid arms. The book is intended for both teaching and self-study. Emphasis is given to the fundamentals of kinematic analysis and the design of robot mechanisms. The coverage of topics is untypical. The focus is on robot kinematics. The book creates a balance between theoretical and practical aspects in the development and application of robot mechanisms, and includes the latest achievements and trends in robot science and technology.
Robot Perception and Learning: A Human-Aware Navigation and Long-Term Autonomy Perspective (SpringerBriefs in Computer Science)
by Zhi YanThis book is divided into five chapters. Chapter 1 introduces the background of the research, the content positioning, and some related open source resources. Chapter 2 discusses some benchmarking issues related to the field of embodied intelligence and mobile robotics. Chapter 3 introduces robot perception, especially the object detection and tracking based on 3D lidar with contemporary characteristics. Chapter 4 introduces robot learning, especially robot online learning methods with strong embodied intelligence features. Chapter 5 summarizes the book and provides prospects for future research and application directions.Reading this book helps readers have a systematic understanding of the latest research in related fields. The book mainly introduces methods and principles, and the corresponding experimental results need to refer to the corresponding scientific papers. This book is aimed at practitioners in the field with a certain knowledge base, including but not limited to graduate students, Ph.D. students, postdocs, etc.
Robotic Musicianship: Embodied Artificial Creativity and Mechatronic Musical Expression (Automation, Collaboration, & E-Services #8)
by Scott Driscoll Gil Weinberg Mason Bretan Guy HoffmanThis book discusses the principles, methodologies, and challenges of robotic musicianship through an in-depth review of the work conducted at the Georgia Tech Center for Music Technology (GTCMT), where the concept was first developed. Robotic musicianship is a relatively new research field that focuses on the design and development of intelligent music-making machines. The motivation behind the field is to develop robots that not only generate music, but also collaborate with humans by listening and responding in an expressive and creative manner. This combination of human and machine creativity has the potential to surprise and inspire us to play, listen, compose, and think about music in new ways. The book provides an in-depth view of the robotic platforms designed at the GTCMT Robotic Musicianship Group, including the improvisational robotic percussionists Haile and Shimon, the personal robotic companion Shimi, and a number of wearable robots, such as the Robotic Drumming Prosthesis, The Third Drumming Arm, and the Skywalker Piano Hand. The book discusses numerous research studies based on these platforms in the context of five main principles: Listen like a Human, Play Like a Machine, Be Social, Watch and Learn, and Wear It.
Robotics Goes MOOC: Knowledge
by Bruno SicilianoThe robot “concept” was clearly established by those many creative historical realizations, such as those recalled above. Nonetheless, the emergence of the “physical” robot had to await the advent of its underlying technologies of mechanics, controls, computers, electronics and sensors ―in one word, mechatronics― during the course of the twentieth century. As always, new designs motivate new research and discoveries which, in turn, lead to enhanced solutions and thus to novel concepts. This virtuous circle over time produced that knowledge and understanding which gave birth to the field of Robotics, properly referred to as the science and technology of robots.To make robots and intelligent machines useful to humans it is necessary to have a broad and tight intersection between Robotics and AI. Sophisticated mathematical models are needed that enable the robot from a physical point of view, as well as intelligent algorithms capable of correlating all the information coming from the use of technologically advanced sensors with the data available from experience. It is expected that the synergy of model-based techniques with data-driven approaches will contribute to increasing the level of autonomy of robots and intelligent machines in the near future.The first book of the Robotics Goes MOOC project starts with the journey of robotics in the introductory chapter by Khatib, who has pioneered our field of robotics and has ferried it to the third millennium. Sensing is crucial for the development of intelligent and autonomous robots, as covered in Chapter 2 by Nüchter et al. Model-based control is dealt with in Chapter 3 by Kröeger et al along with motion planning, as well as in Chapter 4 by Villani and Chapter 5 by Chaumette to handle force and visual feedback, respectively, when interacting with the environment. Resorting to AI techniques is the focus of the last part of the book, namely, Chapter 6 by Peters et al on Learning, Chapter 7 byBeetz et al on knowledge representation and reasoning, and Chapter 8 by Burgard et al on graph-based SLAM.
Robotics and Autonomous Systems and Engineering Applications of Computational Intelligence: 8th International Conference on Life System Modeling and Simulation, LSMS 2024, and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13–15, 2024, Proceedings, Part V (Communications in Computer and Information Science #2220)
by Fuyuan Hu Huiyu Zhou Juping Gu Zixiang Fei Erfu YangThe five-volume set constitutes the thoroughly refereed proceedings of the 8th International Conference on Life System Modeling and Simulation, LSMS 2024, and of the 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, which were held during September 13-15, in Suzhou, China. The 31 papers presented were carefully reviewed and selected from over 496 submissions. The LSMS and ICSEE international conference series aim to bring together international researchers and practitioners in the fields of advanced methods for life system modeling and simulation, as well as advanced intelligent computing theory, methodologies, and engineering applications in achieving net zero across all sectors to tackle the global climate change challenge.
Robotics, Vision And Control: Fundamental Algorithms In Matlab - 2nd, Completely Revised, Extended And Updated Edition (Springer Tracts In Advanced Robotics #118)
by Peter CorkeRobotic vision, the combination of robotics and computer vision, involves the application of computer algorithms to data acquired from sensors. The research community has developed a large body of such algorithms but for a newcomer to the field this can be quite daunting. For over 20 years the author has maintained two open-source MATLAB® Toolboxes, one for robotics and one for vision. They provide implementations of many important algorithms and allow users to work with real problems, not just trivial examples. <P><P>This book makes the fundamental algorithms of robotics, vision and control accessible to all. It weaves together theory, algorithms and examples in a narrative that covers robotics and computer vision separately and together. Using the latest versions of the Toolboxes the author shows how complex problems can be decomposed and solved using just a few simple lines of code. The topics covered are guided by real problems observed by the author over many years as a practitioner of both robotics and computer vision. It is written in an accessible but informative style, easy to read and absorb, and includes over 1000 MATLAB and Simulink® examples and over 400 figures. The book is a real walk through the fundamentals of mobile robots, arm robots. then camera models, image processing, feature extraction and multi-view geometry and finally bringing it all together with an extensive discussion of visual servo systems. This second edition is completely revised, updated and extended with coverage of Lie groups, matrix exponentials and twists; inertial navigation; differential drive robots; lattice planners; pose-graph SLAM and map making; restructured material on arm-robot kinematics and dynamics; series-elastic actuators and operational-space control; Lab color spaces; light field cameras; structured light, bundle adjustment and visual odometry; and photometric visual servoing. “An authoritative book, reaching across fields, thoughtfully conceived and brilliantly accomplished!”
Robots Unlimited: Life in a Virtual Age
by David LevyConsider this: Robots will one day be able to write poetry and prose so touching that it will make men weep; compose dozens or even hundreds of symphonies that will rival the work of Mozart; judge a court case with absolute impartiality and fairness; or even converse with the natural ease of your best friend. Robots will one day be so life-like tha
Robust Argumentation Machines: First International Conference, RATIO 2024, Bielefeld, Germany, June 5–7, 2024, Proceedings (Lecture Notes in Computer Science #14638)
by Michael Kohlhase Philipp Cimiano Benno Stein Anette FrankThis open access book constitutes the proceedings of the First International Conference on Robust Argumentation Machines, RATIO 2024, which took place in Bielefeld, Germany, during June 5-7, 2024. The 20 full papers and 1 short paper included in the proceedings were carefully reviewed and selected from 24 submissions. They were organized in topical sections as follows: Argument Mining; Debate Analysis and Deliberation; Argument Acquisition, Annotation and Quality Assessment; Computational Models of Argumentation; Interactive Argumentation, Recommendation and Personalization; and Argument Search and Retrieval.
Robust Cluster Analysis and Variable Selection (ISSN)
by Gunter RitterClustering remains a vibrant area of research in statistics. Although there are many books on this topic, there are relatively few that are well founded in the theoretical aspects. In Robust Cluster Analysis and Variable Selection, Gunter Ritter presents an overview of the theory and applications of probabilistic clustering and variable selection,
Robust Computational Techniques for Boundary Layers
by Grigory I. Shishkin Paul Farrell Alan Hegarty John M. Miller Eugene O'RiordanCurrent standard numerical methods are of little use in solving mathematical problems involving boundary layers. In Robust Computational Techniques for Boundary Layers, the authors construct numerical methods for solving problems involving differential equations that have non-smooth solutions with singularities related to boundary layers. They pres
Robust Control Design for Active Driver Assistance Systems
by Péter Gáspár Zoltán Szabó József Bokor Balazs NemethThis monograph focuses on control methods that influence vehicle dynamics to assist the driver in enhancing passenger comfort, road holding, efficiency and safety of transport, etc. , while maintaining the driver's ability to override that assistance. On individual-vehicle-component level the control problem is formulated and solved by a unified modelling and design method provided by the linear parameter varying (LPV) framework. The global behaviour desired is achieved by a judicious interplay between the individual components, guaranteed by an integrated control mechanism. The integrated control problem is also formalized and solved in the LPV framework. Most important among the ideas expounded in the book are: application of the LPV paradigm in the modelling and control design methodology; application of the robust LPV design as a unified framework for setting control tasks related to active driver assistance; formulation and solution proposals for the integrated vehicle control problem; proposal for a reconfigurable and fault-tolerant control architecture; formulation and solution proposals for the plug-and-play concept; detailed case studies. Robust Control Design for Active Vehicle Assistance Systems will be of interest to academic researchers and graduate students interested in automotive control and to control and mechanical engineers working in the automotive industry. Advances in Industrial Control aims to report and encourage the transfer of technology in control engineering. The rapid development of control technology has an impact on all areas of the control discipline. The series offers an opportunity for researchers to present an extended exposition of new work in all aspects of industrial control.
Robust Control for Discrete-Time Markovian Jump Systems in the Finite-Time Domain (Lecture Notes in Control and Information Sciences #492)
by Fei Liu Shuping He Xiaoli LuanThis book provides robust analysis and synthesis tools for Markovian jump systems in the finite-time domain with specified performances. It explores how these tools can make the systems more applicable to fields such as economic systems, ecological systems and solar thermal central receivers, by limiting system trajectories in the desired bound in a given time interval.Robust Control for Discrete-Time Markovian Jump Systems in the Finite-Time Domain focuses on multiple aspects of finite-time stability and control, including: finite-time H-infinity control;finite-time sliding mode control;finite-time multi-frequency control;finite-time model predictive control; andhigh-order moment finite-time control for multi-mode systems and also provides many methods and algorithms to solve problems related to Markovian jump systems with simulation examples that illustrate the design procedure and confirm the results of the methods proposed.The thorough discussion of these topics makes the book a useful guide for researchers, industrial engineers and graduate students alike, enabling them systematically to establish the modeling, analysis and synthesis for Markovian jump systems in the finite-time domain.
Robust Control of Jump Linear Stochastic Systems: Applications to Sampled-Data Control (Lecture Notes in Control and Information Sciences #497)
by Vasile Drăgan Samir Aberkane Ioan Lucian PopaThis monograph concentrates on the theory of robust control of linear impulsive stochastic systems and stochastic systems with jumps. It discusses theoretical points concerned with impulsive stochastic systems including optimal control, robust stabilization, and H2- and Hinfinity-type results. Considering the major role played by the impulsive Lyapunov and impulsive Riccati equations in these problems, the book presents a thorough treatment of these equations in a general framework. It also presents various applications to sampled-data control. Robust Control of Jump Linear Stochastic Systems is a self-contained and clearly structured presentation of up-to-date research in this area, relevant to researchers in control theory and to non-specialists who are interested in the theory of robust control of linear impulsive stochastic systems. Theoretical and applied mathematicians, research engineers, and graduate students in the aforementioned fields will also find value in this book.
Robust Control of Linear Descriptor Systems
by Yu Feng Mohamed YagoubiThis book develops original results regarding singular dynamic systems following two different paths. The first consists of generalizing results from classical state-space cases to linear descriptor systems, such as dilated linear matrix inequality (LMI) characterizations for descriptor systems and performance control under regulation constraints. The second is a new path, which considers descriptor systems as a powerful tool for conceiving new control laws, understanding and deciphering some controller's architecture and even homogenizing different--existing--ways of obtaining some new and/or known results for state-space systems. The book also highlights the comprehensive control problem for descriptor systems as an example of using the descriptor framework in order to transform a non-standard control problem into a classic stabilization control problem. In another section, an accurate solution is derived for the sensitivity constrained linear optimal control also using the descriptor framework. The book is intended for graduate and postgraduate students, as well as researchers in the field of systems and control theory.
Robust Correlation: Theory and Applications
by Hannu Oja Georgy L. ShevlyakovThis bookpresents material on both the analysis of the classical concepts of correlation and on the development of their robust versions, as well as discussing the related concepts of correlation matrices, partial correlation, canonical correlation, rank correlations, with the corresponding robust and non-robust estimation procedures. Every chapter contains a set of examples with simulated and real-life data. Key features: Makes modern and robust correlation methods readily available and understandable to practitioners, specialists, and consultants working in various fields. Focuses on implementation of methodology and application of robust correlation with R. Introduces the main approaches in robust statistics, such as Huber's minimax approach and Hampel's approach based on influence functions. Explores various robust estimates of the correlation coefficient including the minimax variance and bias estimates as well as the most B- and V-robust estimates. Contains applications of robust correlation methods to exploratory data analysis, multivariate statistics, statistics of time series, and to real-life data. Includes an accompanying website featuring computer code and datasets Features exercises and examples throughout the text using both small and large data sets. Theoretical and applied statisticians, specialists in multivariate statistics, robust statistics, robust time series analysis, data analysis and signal processing will benefit from this book. Practitioners who use correlation based methods in their work as well as postgraduate students in statistics will also find this book useful.
Robust Data Mining
by Panos M. Pardalos Petros Xanthopoulos Theodore B. TrafalisData uncertainty is a concept closely related with most real life applications that involve data collection and interpretation. Examples can be found in data acquired with biomedical instruments or other experimental techniques. Integration of robust optimization in the existing data mining techniques aim to create new algorithms resilient to error and noise. This work encapsulates all the latest applications of robust optimization in data mining. This brief contains an overview of the rapidly growing field of robust data mining research field and presents the most well known machine learning algorithms, their robust counterpart formulations and algorithms for attacking these problems. This brief will appeal to theoreticians and data miners working in this field.
Robust Design and Assessment of Product and Production by Means of Probabilistic Multi-objective Optimization
by Jie Yu Maosheng ZhengThis book develops robust design and assessment of product and production from viewpoint of system theory, which is quantized with the introduction of brand new concept of preferable probability and its assessment. It aims to provide a new idea and novel way to robust design and assessment of product and production and relevant problems. Robust design and assessment of product and production is attractive to both customer and producer since the stability and insensitivity of a product’s quality to uncontrollable factors reflect its value. Taguchi method has been used to conduct robust design and assessment of product and production for half a century, but its rationality is criticized by statisticians due to its casting of both mean value of a response and its dispersion into one index, which doesn’t characterize the issue of simultaneous optimization of above two independent sub-responses sufficiently for robust design, so an appropriate approach is needed. The preference or role of a response in the evaluation is indicated by using preferable probability as the unique index. Thus, the rational approach for robust design and assessment of product and production is formulated by means of probabilistic multi-objective optimization, which reveals the simultaneous optimization of both mean value of a response and its dispersion in manner of joint probability. Besides, defuzzification and fuzzification measurements are involved as preliminary approaches for robust assessment, the latter provides miraculous treatment for the 'target the best' case flexibly.
Robust Engineering Designs of Partial Differential Systems and Their Applications
by Bor-Sen ChenMost systems in science, engineering, and biology are of partial differential systems (PDSs) modeled by partial differential equations. Many books about partial differential equations have been written by mathematicians and mainly address some fundamental mathematic backgrounds and discuss some mathematic properties of partial differential equations. Only a few books on PDSs have been written by engineers; however, these books have focused mainly on the theoretical stabilization analysis of PDSs, especially mechanical systems. This book investigates both robust stabilization control design and robust filter design and reference tracking control design in mechanical, signal processing, and control systems to fill a gap in the study of PDSs. Robust Engineering Designs of Partial Differential Systems and Their Applications offers some fundamental background in the first two chapters. The rest of the chapters focus on a specific design topic with a corresponding deep investigation into robust H∞ filtering, stabilization, or tracking design for more complex and practical PDSs under stochastic fluctuation and external disturbance. This book is aimed at engineers and scientists and addresses the gap between the theoretical stabilization results of PDSs in academic and practical engineering designs more focused on the robust H∞ filtering, stabilization, and tracking control problems of linear and nonlinear PDSs under intrinsic random fluctuation and external disturbance in industrial applications. Part I provides backgrounds on PDSs, such as Galerkin’s, and finite difference methods to approximate PDSs and a fuzzy method to approximate nonlinear PDSs. Part II examines robust H∞ filter designs for the robust state estimation of linear and nonlinear stochastic PDSs. And Part III treats robust H∞ stabilization and tracking control designs of linear and nonlinear PDSs. Every chapter focuses on an engineering design topic with both theoretical design analysis and practical design examples.
Robust Explainable AI (SpringerBriefs in Intelligent Systems)
by Francesco Leofante Matthew WickerThe area of Explainable Artificial Intelligence (XAI) is concerned with providing methods and tools to improve the interpretability of black-box learning models. While several approaches exist to generate explanations, they are often lacking robustness, e.g., they may produce completely different explanations for similar events. This phenomenon has troubling implications, as lack of robustness indicates that explanations are not capturing the underlying decision-making process of a model and thus cannot be trusted. This book aims at introducing Robust Explainable AI, a rapidly growing field whose focus is to ensure that explanations for machine learning models adhere to the highest robustness standards. We will introduce the most important concepts, methodologies, and results in the field, with a particular focus on techniques developed for feature attribution methods and counterfactual explanations for deep neural networks. As prerequisites, a certain familiarity with neural networks and approaches within XAI is desirable but not mandatory. The book is designed to be self-contained, and relevant concepts will be introduced when needed, together with examples to ensure a successful learning experience.
Robust Filtering and Fault Detection for T-S Fuzzy Systems
by Xiao-Lei Wang Guang-Hong Yang Yu-Long WangThis book conducts an in-depth research on robust filtering and fault detection for a class of T-S fuzzy systems. On the basis of the existing research on T-S fuzzy theory, robust filtering theory, and fault diagnosis theory, some new and effective technologies are proposed to solve the problems of robust filtering and fault detection for a class T-S fuzzy systems, while overcoming the shortcomings and limitations of the existing solutions. This book introduces new design solutions for a class of T-S fuzzy systems to address the existing problems in the research of robust filtering and fault detection, namely 1) two new filtering methods are explored to obtain better filtering results than the existing approaches; 2) a new event-triggered filtering scheme is proposed for T-S fuzzy systems with bounded disturbances, which realizes that the designed observer gains in the absence of event-triggered mechanisms are also applicable to the case with event-triggered mechanisms; 3) two new methods are constructed to deal with the asynchronous problems of premise variables effectively, which overcome the defects and limitations of the existing ones; and 4) an effective fault detection scheme for handling measurement outliers is constructed, which can avoid the occurrence of false alarms. This book is intended to inspire researchers and engineers, offering deeper insights into robust filtering and fault detection for T-S fuzzy systems, and equipping them with the latest advancements in fuzzy system theory, robust filtering, and fault diagnosis. It also provides valuable theoretical references for engineers tackling practical engineering problems.