الصفحة 7
الصفحة 7
Graph theory and combinatorial optimization
Graph theory is very much tied to the geometric properties of optimization and combinatorial optimization. Moreover, graph theory's geometric properties are at the core of many research interests in operations research and applied mathematics. Its techniques have been used in solving many classical problems including maximum flow problems, independent set problems, and the traveling salesman problem. Graph Theory and Combinatorial Optimization explores the field's classical foundations and its developing theories, ideas and applications to new problems. The book examines the geometric properties of graph theory and its widening uses in combinatorial optimization theory and application.
GPU-Based Interactive Visualization Techniques
This book focuses on efficient visualization techniques, which are the prerequisite for the interactive exploration of complex data sets. High performance is primarily achieved by devising algorithms for the fast graphics processing units (GPUs) of modern graphics hardware. Other aspects discussed in the book include parallelization on cluster computers with several GPUs, adaptive rendering methods, multi-resolution models, and non-photorealistic rendering techniques for visualization. Covering both the theoretical foundations and practical implementations of algorithms, this book provides the reader with a basis to understand and reproduce modern GPU-based visualization approaches.
Governance : Systemic foundation and framework
Instead of yet another theory on good governance, this book presents a substantiation of contemporary notions. It builds on the theoretical foundations for taking an overall perspective on social contexts and culminates in a systemic framework that captures social structures based on first principles of viability and sustainability. The framework at hand enables applicants to view social contexts holistically while at the same time envisioning a rich picture of what leverages the implementation of social purposes beyond the boxes of the professional disciplines: social structures can be assessed, strengths and weaknesses identified and measures arrived at. Ultimately, the required structures can be tailor-made to align forces for a joint implementation of purposes. Conventional static hierarchies can be deployed into dynamic social organisms capable of developing and adapting continuously according to the opportunities and challenges faced.
Glass Construction Manual
Presents the current state of the art on planning and building with glass, from the history through the technical foundations all the way to the most innovative applications. Astonishing perspectives on thermal insulation and solar protection and the addition of thoughtfully selected new practical examples round off this comprehensive reference work. Glass constructions in detail – all mounting methods are systematically depicted with detail drawings. Contains laws and guidelines, with the new EU norms
GeomInt–Mechanical Integrity of Host Rocks
This book summarizes the results of the collaborative project “GeomInt: Geomechanical integrity of host and barrier rocks - experiment, modeling and analysis of discontinuities” within the Program: Geo Research for Sustainability (GEO: N) of the Federal Ministry of Education and Research (BMBF).
Geometry of Quantum Theory ; 2nd ed.
This book a classic on the foundations of quantum theory. This view, which is essentially geometric and relies on the concept of symmetry. The mathematical treatment of symmetry in quantum theory is based on the theory of group representations, and this book includes a self-contained treatment of the parts of this theory that are most useful in quantum physics.
Geometry and Topology in Hamiltonian Dynamics and Statistical Mechanics
This book explores the foundations of hamiltonian dynamical systems and statistical mechanics, in particular phase transition, from the point of view of geometry and topology. A broad participation of topology in these fields has been lacking and this book will provide a welcome overview of the current research in the area, in which the author himself is a pioneer. Using geometrical thinking to solve fundamental problems in these areas, compared to the purely analytical methods usually used in physics could be highly productive. The author skillfully guides the reader, whether mathematician or physicists through the background needed to understand and use these techniques.
Geometry and monadology : Leibniz’s Analysis Situs and philosophy of space
Reconstructs, from both historical and theoretical points of view, Leibniz’s geometrical studies, focusing in particular on the research Leibniz carried out in the last years of his life. It is indeed the first ever comprehensive historical reconstruction of Leibniz’s geometry that meets the interests of both mathematicians and philosophers. The main purpose of the work is to offer a better understanding of the Leibnizean philosophy of space and mature metaphysics, through a pressing confrontation with the problems of geometric foundations. Regarding the scope of these problems, the book also deals in depth with Leibniz’s theory of sensibility, thus favouring the comparison and contrast between Leibniz’s philosophy and Kant’s transcendentalist solution. The Appendix references to a number of previously unpublished manuscripts on geometry from the Leibniz Archiv in Hannover, which disclose new theories, points of view and technicalities of Leibniz’s thought.
Genetic algorithms: theory, design and programming
We present a series of scientific contributions that delve into the intricate theoretical foundations and practical nuances of genetic algorithms (GAs). Beyond the academic realm, GAs have demonstrated profound applications in societal decision-making and engineering optimization, showcased through real-world examples and case studies. A dedicated section on programming principles offers a thorough guide for implementing GAs across diverse languages. This edition, tailored for researchers and academics, serves as a testament to the scientific advancements within the field, inviting readers to explore the nuanced journey from theoretical constructs to pragmatic applications in the dynamic landscape of GAs.
Generative and transformational techniques in software engineering II : International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers
This tutorial book presents an augmented selection of the material presented at the International Summer School on Generative and Transformational Techniques in Software Engineering, GTTSE 2007, held in Braga, Portugal, in July 2007.The 7 tutorial lectures presented together with 5 short tutorials and 4 contributions to the participants workshop were carefully selected during multiple rounds of reviewing and improvement. The tutorials given by renowned representatives of complementary approaches and problem domains combine foundations, methods, examples, and tool support.
Game Theory and Mutual Misunderstanding : Scientific Dialogues in Five Acts
This book consists of five acts and two interludes, which are all written as dialogues between three main characters and other supporting characters. Each act discusses the epistemological, institutional and methodological foundations of game theory and economics, while using various stories and examples. A featured aspect of those discussions is that many forms of mutual misunderstanding are involved in social situations as well as in those fields themselves. One Japanese traditional comic story called the Konnyaku Mondo is representative and gives hints of how our thought is constrained by incorrect beliefs. Each dialogue critically examines extant theories and common misunderstanding in game theory and economics in order to find possible future developments of those fields.
Fundamentals of switching theory and logic design : A hands on approach
Switching theory and logic design provide mathematical foundations and tools for digital system design that is an essential part in the research and development in almost all areas of modern technology. The vast complexity of modern digital systems implies that they can only be handled by computer aided design tools that are built on sophisticated mathematical models. Fundamentals of Switching Theory and Logic Design is aimed at providing an accessible introduction to these mathematical techniques that underlie the design tools and that are necessary for understanding their capabilities and limitations.
Fundamentals of Robotic Mechanical Systems : Theory, Methods, and Algorithms
Fundamentals of Robotic Mechanical Systems, Third Edition addresses robots at large - such as multi-fingered hands, walking machines, flight simulators, and machine tools - that rely on mechanical systems to perform their tasks. The author establishes the foundations on which the design, control, and implementation of the underlying mechanical subsystems are based. The treatment assumes familiarity with some calculus, linear algebra, and elementary mechanics; however, the elements of rigid-body mechanics and linear transformations are reviewed in the first chapters, making the presentation self-contained.
Fundamentals of Artificial Intelligence
Fundamentals of Artificial Intelligence introduces the foundations of present day AI and provides coverage to recent developments in AI such as Constraint Satisfaction Problems, Adversarial Search and Game Theory, Statistical Learning Theory, Automated Planning, Intelligent Agents, Information Retrieval, Natural Language & Speech Processing, and Machine Vision. The book features a wealth of examples and illustrations, and practical approaches along with the theoretical concepts. It covers all major areas of AI in the domain of recent developments. The book is intended primarily for students who major in computer science at undergraduate and graduate level but will also be of interest as a foundation to researchers in the area of AI.
Fundamentals in Nuclear Physics : From Nuclear Structure to Cosmology
Explores nuclear physics and its applications ranging from the structure of nuclei and their reactions, to astrophysics and cosmology. The physics is introduced with arguments based on simple ideas such as the empirical structure of nuclear forces and its interplay with the Pauli principle and Coulomb repulsion. The book then develops elementary nuclear models and illustrates nuclear systematics with experimental data. Reactions and decays are discussed both phenomenologically and from the point of view of fundamental electro-weak interaction theory. The discussions of fission and fusion emphasize nuclear energy production. This leads directly into nuclear astrophysics and nucleosynthesis. The book ends with a presentation of the latest ideas about cosmology. As a primer this course will lay the foundations for more specialized subjects within the vast domain of nuclear physics as a whole. This book emerged from a series of topical courses the authors delivered at the Ecole Polytechnique and will be useful for advanced undergraduates and for scientists in a variety of fields.
Fundamental approaches to software engineering ; 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings
The papers deal with the foundations on which software engineering is built, including topics like software engineering as an engineering discipline, requirements engineering, software architectures, software quality, model-driven development, software processes, software evolution, AI-based software engineering, and the specification, design, and implementation of particular classes of systems, such as (self-)adaptive, collaborative, AI, embedded, distributed, mobile, pervasive, cyber-physical, or service-oriented applications.
Functions de variable réelle : Théorie élémentaire = Real variable functions : Elementary theory
The Mathematics Elements of Nicolas BOURBAKI aim to provide a rigorous, systematic presentation without prerequisites of mathematics from their foundations. This Book is the fourth of the treaty; it is devoted to the basics of real analysis. It includes the chapters: Derivatives; Primitive and integral; Elementary functions; Differential equations ; Local study of functions; Generalized Taylorian developments. Euler-Maclaurin summation formula; The gamma function. It also contains historical notes.
FSTTCS 2007 : Foundations of software technology and theoretical computer science; 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings
This book constitutes the refereed proceedings of the 27th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2007. The papers provide original research results in fundamental aspects of computer science as well as reports from the frontline of software technology and theoretical computer science.
FSTTCS 2006 : Foundations of software technology and theoretical computer science ; 26th International Conference, Kolkata, India, December 13-15, 2006, Proceed
This book constitutes the refereed proceedings of the 26th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2006, held in Kolkata, India, in December 2006. It contains 38 papers that cover a broad variety of current topics from the theory of computing, ranging from formal methods, discrete mathematics, complexity theory, and automata theory to theoretical computer science in general.
FSTTCS 2005 : Foundations of software technology and theoretical computer science ; 25th International conference, Hyderabad, India, December 15-18, 2005, Proceedings
This year marks a milestone in the history of FST&TCS, which ?rst took place in 1981. We would like to take this opportunity to express our appreciation of the foresight and commitment to excellence shown by the early organizersof the conference. The conference is now organized by IARCS (Indian Association for Researchin Computing Science), and the conference has been the foundation on which the IARCS community has been built. To commemorate the Silver Jubilee of FST&TCS.
