Page 19
Page 19
Algorithms in Real Algebraic Geometry
The algorithmic problems of real algebraic geometry such as real root counting, deciding the existence of solutions of systems of polynomial equations and inequalities, finding global maxima or deciding whether two points belong in the same connected component of a semi-algebraic set appear frequently in many areas of science and engineering. In this first-ever graduate textbook on the algorithmic aspects of real algebraic geometry, the main ideas and techniques presented form a coherent and rich body of knowledge, linked to many areas of mathematics and computing.
Algorithmic Learning in a Random World
This new monograph integrates mathematical theory and revealing experimental work. It demonstrates mathematically the validity of the reliability claimed by conformal predictors when they are applied to independent and identically distributed data, and it confirms experimentally that the accuracy is sufficient for many practical problems. Later chapters generalize these results to models called repetitive structures, which originate in the algorithmic theory of randomness and statistical physics. The approach is flexible enough to incorporate most existing methods of machine learning, including newer methods such as boosting and support vector machines and older methods such as nearest neighbors and the bootstrap.
Algebraic Aspects of the Advanced Encryption Standard
The Belgian block cipher Rijndael was chosen in 2000 by the U.S. government’s National Institute of Standards and Technology (NIST) to be the successor to the Data Encryption Standard. Rijndael was subsequently standardized as the Advanced Encryption Standard (AES), which is potentially the world’s most important block cipher. In 2002, some new analytical techniques were suggested that may have a dramatic effect on the security of the AES. Existing analytical techniques for block ciphers depend heavily on a statistical approach, whereas these new techniques are algebraic in nature.
Ajax Patterns and Best Practices
Ajax is taking us into the next generation of web applications. Ajax has broken the client-server barrier by decoupling the client from the server, but an Ajax application still needs a server to extract content from. The most effective use of Ajax and the server requires an understanding of REST, an architectural style used to define Web services. Ajax Patterns and Best Practices explores dynamic web applications that combine Ajax and REST as a single solution. A major advantage of REST is that, like Ajax, it can be used with today's existing technologies.
Aging, shaking, and cracking of infrastructures : From mechanics to concrete dams and nuclear structures
Focuses on the safety assessment of existing structures subjected to multi-hazard scenarios through advanced numerical methods. Whereas the focus is on concrete dams and nuclear containment structures, the presented methodologies can also be applied to other large-scale ones. This book is composed of seven sections: Fundamentals: theoretical coverage of solid mechnics, plasticity, fracture mechanics, creep, / seismology, dynamic analysis, probability and statistics / Damage: that can affect concrete structures, such as cracking of concrete, AAR, chloride ingress, and rebar corrosion, / Finite Element: formulation for both linear and nonlinear analysis including stress, heat and fracture mechanics, / Engineering Models: for soil/fluid-structure interaction, uncertainty quantification, probablilistic and random finite element analysis, machine learning, performance based earthquake engineering, ground motion intensity measures, seismic hazard analysis, capacity/fragility functions and damage indeces, / Applications to dams through potential failure mode analyses, risk-informed decision making, deterministic and probabilistic examples, / Applications to nuclear structures through modeling issues, aging management programs, critical review of some analyses, / Other applications and case studies: massive RC structures and bridges, detailed assessment of a nuclear containment structure evaluation for license renewal.
Agent-Based Modeling Meets Gaming Simulation
Provides a good example of the diverse scope and standard of research achieved in simulation and gaming today. The theme of the special session at ISAGA2003 was Agent-Based Modeling Meets Gaming Simulation. Nowadays, agent-based simulation is becoming very popular for modeling and solving complex social phenomena. It is also used to arrive at practical solutions to social problems. At the same time, however, the validity of simulation does not exist in the magni?cence of the model. R. Axelrod stresses the simplicity of the agent-based simulation model through the “Keep it simple, stupid” (KISS) principle: As an ideal, simple modeling is essential.
Advertising culture and translation : From colonial to global
A first comprehensive study combining and integrating advertising, culture and translation within the framework of colonial, Commonwealth, and postcolonial studies, and globalization. It addresses a number of controversial issues evident in two relatively young disciplines, as a result of decades of research and teaching in university courses. A cross-cultural approach to translational issues and the translatability of advertising cohesively is adopted here, exploring the dynamics of the conflict between the 'centre' and the 'periphery'. It introduces the concept of advertising English as lingua franca (AELF), marking new trends in the domain of varieties of English around the world (VEAW). The data examined here show the ambivalent polarity conditioning advertising and translation: both have been mutually exclusive, and both have been subject to bans, censorship and ideological control, racism, propaganda, and stereotyping. In their fundamental principles and concepts of theories and applications, however, neither discipline cannot exist outside a free market and total freedom of expression and trust
Advances in Visual Computing ; Vol. 4291 ; 2nd International Symposium, ISVC 2006, Lake Tahoe, NV, USA, November 6-8, 2006, Proceedings, Part I
This year, the program consisted of 13 oral sessions, one poster session, ten special tracks, and six keynote presentations. The response to the call for - pers was very strong. We received more than twice the papers received last year. Specifcally, we received over 280 submissions for the main symposium from which we accepted 65 papers for oral presentation (23% acceptance) and 56 papers for poster presentation (20% acceptance). Special track papers were solicited separately through the Organizing and Program Committees of each track. A total of 57 papers were accepted for presentation in the special tracks. All papers were reviewed with an emphasis on potential to contribute to the state of the art in the ?eld. Selection criteria included accuracy and originality of ideas, clarity and signi?cance of results, and presentation quality. The review process was quite rigorous, involving two to three independent blind reviews followed by several days of discussion. During the discussion period we tried to correct anomalies and errors that might have existed in the initial reviews.
Advances in verification of time Petri Nets and timed automata : A temporal logic approach
This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the most widely used models of real-time systems. Some of the existing methods of translating time Petri nets to timed automata are presented, with a focus on the translations that correspond to the semantics of time Petri nets, associating clocks with various components of the nets. "Advances in Verification of Time Petri Nets and Timed Automata – A Temporal Logic Approach" introduces timed and untimed temporal specification languages and gives model abstraction methods based on state class approaches for TPNs and on partition refinement for TA. Moreover, the monograph presents a recent progress in the development of two model checking methods, based on either exploiting abstract state spaces or on application of SAT-based symbolic techniques.
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 Artificial Reality and Tele-Existence ; 16th International Conference on Artificial Reality and Telexistence, ICAT 2006, Hangzhou, China, November 28 - December 1, 2006, Proceedings
ICAT is the oldest international conference on virtual reality and tele-existence. ICAT 2006 not only looked for innovations in the technology itself, but also explored novel ways to transfer and express information and creative ideas to the society and people. The 16th International Conference on Artificial Reality and Telexistence was held at the Zhejiang University of Technology, Hangzhou, P. R. China from November 29 to December 1, 2006. The main purpose of the conference is to provide opportunities for researchers and practitioners to present their research findings and exchange opinions on the development and use of such systems.
Advances in Artificial Economics : The Economy as a Complex Dynamic System
Perceiving the economy as a complex dynamic system, generates a need for new tools for its study. As a constructive simulation method, Agent-Based Computational Economics (ACE) has in recent years proven its strength and extensive applicability. Fields of study are widely spread within economics, with a cluster around financial markets. This book is based on communications given at AE’2006 (Aalborg, Denmark) – the second symposium on Artificial Economics, and covers both wellknown questions of economics, like the existence of market efficiency, as well as new questions raised by the new tools, for example questions related to networks of social interaction.
Advanced technique and future perspective for next generation optical fiber communications
Optical fiber communication industry has gained unprecedented opportunities and achieved rapid progress in recent years. However, with the increase of data transmission volume and the enhancement of transmission demand, the optical communication field still needs to be upgraded to better meet the challenges in the future development. Artificial intelligence technology in optical communication and optical network is still in its infancy, but the existing achievements show great application potential. In the future, with the further development of artificial intelligence technology, AI algorithms combining channel characteristics and physical properties will shine in optical communication. This reprint introduces some recent advances in optical fiber communication and optical network, and provides alternative directions for the development of the next generation optical fiber communication technology.
Advanced machine learning and deep learning approaches for remote sensing
Provides research on how technologies such as artificial intelligence-based machine learning and deep learning can be applied to remote sensing. Through this, we can see the process of solving the existing problems of image and image signal processing for remote sensing. These techniques are computationally intensive and require the help of high-performance computing devices. With the development of devices such as GPUs, remote sensing technology, and aerial sensing technology, it is possible to monitor the Earth with high-resolution images and to obtain vast amounts of Earth observation data. The papers published in this reprint describe recent advances in big data processing and artificial intelligence-based technologies for remote sensing technology.
AdvancED ActionScript Components : Mastering the Flash Component Architecture
Macromedia's architecture is like a chest filled with precious jewels, and this book is quite simply the key to open it! One of the most important tools provided with Flash is the Macromedia Component Architecture: a framework of components written in ActionScript 2, based on established design patterns, that provides a wealth of functionality you can just bolt on to your Flash applications when desired. This can save you an enormous amount of time during application development and help you improve the quality of your code. What's more, the source code is included, so if you can't find the component you need within the component architecture, you can just modify existing components to create your own!
Accessing and Sharing the Benefits of the Genomics Revolution
This edited volume explores the legal, economic and political context for the debate about intellectual property rights for traditional knowledge and genetic resources and critically analyses the theory and practice of access and benefits sharing efforts around the world. The book also investigates the current flashpoints—the David and Goliath battle between Monsanto and Percy Schmeiser over farmers’ rights; the dispute over coexistence of GM and organic production; and the ownership and control of human genetic materials stored in human gene banks around the world.
Academic Integrity in Canada : An Enduring and Essential Challenge
Firmly grounded in the scholarly literature globally, it engages with the experience of local practicioners. It presents aspects of academic integrity that is specific to Canada, such as the existence of an "honour culture", rather than relying on an "honour code". It also includes Indigenous voices and perspectives that challenge traditional understandings of intellectual property, as well as new understandings that have arisen as a consequence of Covid-19 and the significant shift to online and remote learning.
Abstract Harmonic Analysis of Continuous Wavelet Transforms
This volume contains a systematic discussion of wavelet-type inversion formulae based on group representations, and their close connection to the Plancherel formula for locally compact groups. The connection is demonstrated by the discussion of a toy example, and then employed for two purposes: Mathematically, it serves as a powerful tool, yielding existence results and criteria for inversion formulae which generalize many of the known results. Moreover, the connection provides the starting point for a – reasonably self-contained – exposition of Plancherel theory. Therefore, the book can also be read as a problem-driven introduction to the Plancherel formula.
A History of Thermodynamics : The Doctrine of Energy and Entropy
The development of thermodynamics in the second half of the 19th century has had a strong impact on both technology and natural philosophy. It is true that the steam engine for the conversion of heat into work existed before thermodynamics was developed as a branch of physics. However, the systematic theory improved the conversion process, and it succeeded in developing other processes essential to modern life, notably refrigeration and rectification. So, altogether thermodynamics has provided humanity with cheap energy, and cheap fuel, -- consequently with cheap, and abundant, and unspoiled food. Thus thermodynamics has made populations grow, and life expectancy increase beyond anything people could possibly have imagined 200 years ago.
A First Course in Differential Equations
This text is designed for the standard post-calculus course in elementary differential equations. It is a brief, one-semester treatment of the basic ideas, models, and solution methods. The book, which serves as an alternative to existing texts for instructors who want more concise coverage, emphasizes graphical, analytical, and numerical approaches, and is written with clear language in a user-friendly format. It provides students with the tools to continue on to the next level in applying differential equations to problems in engineering, science, and applied mathematics.
