الصفحة 29
الصفحة 29
Braid Groups
Braids and braid groups have been at the heart of mathematical development over the last two decades. Braids play an important role in diverse areas of mathematics and theoretical physics. The special beauty of the theory of braids stems from their attractive geometric nature and their close relations to other fundamental geometric objects, such as knots, links, mapping class groups of surfaces, and configuration spaces. In this presentation the authors thoroughly examine various aspects of the theory of braids, starting from basic definitions and then moving to more recent results. The advanced topics cover the Burau and the Lawrence--Krammer--Bigelow representations of the braid groups, the Alexander--Conway and Jones link polynomials, connections with the representation theory of the Iwahori--Hecke algebras, and the Garside structure and orderability of the braid groups.
Boundary Representation Modelling Techniques
Boundary representation is the principle solid modelling method used in modern CAD/CAM systems. There have been a long series of developments on which currently available systems are based, full details of which are only partially known. Ian Stroud’s thorough coverage of these developments puts this technology in perspective. Ian Stroud started working with boundary representation solid modelling in 1977. Since then he has researched and is researching a wide variety of topics in and around this field. The information in the book comes from the results of this research.
Bonding in Microsystem Technology
Bonding in Microsystem Technology starts with descriptions of terminology, kinds of microsystems and market analysis. Followed by the presentation of mechanisms of wet etching, set of process parameters, description of micromachining methods, examples of procedures, process flow-charts and applications of basic micromechanical structures in microsystems are shown. Next, high-temperature, low temperature and room-temperature bonding and their applications in microsystem technology are presented. The following part of the book contains the detailed description of anodic bonding, starting from analysis of properties of glasses suitable for anodic bonding, and discussion of the nature of the process. Next all types of anodic bonding and sealing procedures used in microsystem technology are presented.
Biomedical data mining for information retrieval : Methodologies, techniques, and applications
Discusses data mining, biomedical image processing, information retrieval with broad coverage of basic scientific applications. covers the topic of mining biomedical text, images and visual features towards information retrieval. Biomedical and health informatics is an emerging field of research at the intersection of information science, computer science, and healthcare and brings tremendous opportunities and challenges due to easily available and abundant biomedical data for further analysis. The aim of healthcare informatics is to ensure the high-quality, efficient healthcare, better treatment and quality of life by analyzing biomedical and healthcare data including patient’s data, electronic health records (EHRs) and lifestyle. Previously, it was a common requirement to have a domain expert to develop a model for biomedical or healthcare; however, recent advancements in representation learning algorithms allows us to automatically to develop the model. Biomedical image mining, a novel research area, due to the vast amount of available biomedical images, increasingly generates and stores digitally.
Bioinformatics and the cell : Modern computational approaches in genomics, proteomics and transcriptomics
"Xuhua Xia’s Bioinformatics and the Cell is a welcome addition to the bourgeoning field of bioinformatics text books. Xia stakes out a too-often neglected middle ground in bioinformatics by presenting a work that emphasizes methods’ biological utility without eschewing algorithmic formalism. Readers will find a well-rounded presentation of bioinformatics techniques employed in genomics, transcriptomics and proteomics – unified throughout by the common theme of molecular evolution."
Bioinformatics : Problem Solving Paradigms
This book highlights basic paradigms of problem analysis and algorithm design in the context of core bioinformatics problems. Mathematically demanding themes are put across to the reader by properly chosen representations with the aid of lots of illustrations.
Bioinformatics
In this textbook present mathematical models in bioinformatics and they describe the biological problems that inspire the computer science tools used to handle the enormous data sets involved. The first part of the book covers the mathematical and computational methods, while the practical applications are presented in the second part. The mathematical presentation is descriptive and avoids unnecessary formalism, and yet remains clear and precise. Emphasis is laid on motivation through biological problems and cross applications. Each of the four chapters in the first part is accompanied by exercises and problems to support an understanding of the techniques presented. Each of the six chapters of the second part is devoted to some specific application domain: sequence alignment, molecular phylogenetics and coalescence theory, genomics, proteomics, RNA, and DNA microarrays. Each chapter concludes with a problems and projects section, to deepen the reader's understanding and to allow for the design of derived methods. Many of the projects involve publicly available software and/or Web-based bioinformatics depositories. Finally, the book closes with a thorough bibliography, reaching from classic research results to very recent findings, providing many pointers for future research.Overall, this volume is ideally suited for a senior undergraduate or graduate course on bioinformatics, with a strong focus on its mathematical and computer science background.
Bioactive Heterocyles I
Bioactive Heterocycles I is a continuation of critical accounts about heterocyclic compounds within the series Topics in Heterocyclic Chemistry. The present volume provides comprehensive reviews of the chemistry and bioactivity of selected groups of heterocycles and natural products. … Overall, this book covers in detail several classes of bioactive heterocyclic compounds including selected natural products. The focus is on the most recent advances, and the clarity of the presentation is very good. It should be of interest to individuals interested in the discovery and synthesis of bioactive small molecules, including research scientists in academia and industry.
Bilinear integrable systems : From classical to quantum, continuous to discrete ; Proceedings of the NATO Advanced Research Workshop on Bilinear Integrable Systems: From Classical to Quantum, Continuous to Discrete St. Petersburg, Russia, 15-19 September 2002
Trained as a physicistin his home university Kyushu University, Professor Hirota earned his PhD in’61 at Northwestern University with Professor Siegert in the field of “QuantumStatistical mechanics”. He wrote a widely appreciated Doctoral dissertation on“Functional Integral representation of the grand partition function”. As a youngresearcher, he entered the RCA Company in Tokyo to do research on semi-conductor plasmas. Professor Hirota was led to model the Toda lattice as a non-linear networkof ladder-type LC circuits. The self-dual case led to equations very reminiscentof the Sine-Gordon equation, with much the same features (existence of onesoliton, soliton-soliton interaction, etc)
Big little hotel : Small hotels designed by architects
This book showcases small hotels, all located in the United States, designed by architects who use light and materials in interesting and intentional ways. The designs also deliberately connect to their local history, context, or land – in many cases all three. Both the architecture and the operations harmonize with the place, whether that is a bustling city, small town, or natural area. Many are new buildings but some are adaptive reuse projects or renovations of historic properties, extending the connectivity of the place into the future.
Beyond the limits to growth : New ideas for sustainability from Japan
This book offers an optimistic view of the future and provides a road map for societies to get there. Drawing upon extensive research and many years as a thought leader in environmental and sustainability issues in Japan and internationally, Hiroshi Komiyama analyzes the most pressing challenges to the attainment of sustainability of economically advanced nations and argues forcefully for Japan to lead them out of the present dilemma through active promotion of creative consumer and societal demand. He shows how an active industry–government–academic partnership can provide the environment needed to promote such new creative demand and illustrates its potential through presentation of a Platinum Society Network that was launched on a regional basis in Japan in 2010 to facilitate the solution of common issues through the exchange of information and ideas.
Beginning Web Development, Silverlight, and ASP.NET AJAX : From novice to professional
Beginning Web Development, Silverlight, and ASP.NET AJAX: From Novice to Professional aims to give you the skills you need to start building web applications with Microsoft's next–generation technology as quickly as possible. Whether you're interested in ASP.NET AJAX, Silverlight, or the technologies that support them (WPF, WCF, WF, etc.), this book is the starting point that you need. It adopts a “zero to hero” approach that concentrates on achieving practical results you can use in real projects rather than presenting a deep academic treatment that can't be immediately applied.
BASICS fundamentals of presentation : Detail drawing
Detailed drawings are developed on the basis of the working drawings; they form an important part of the specification and contain precise information for the tradesmen, indicating how materials are to be used and how they are to be joined. Drawings are produced in various degrees of detail. Depending on the function of the drawings, they are produced in scales from 1:20 to 1:1 in order to define the materials and method of joining, and to better illustrate the various dimensions. Basics Detailed Drawings explains, step by step, how to compose detailed designs and produce correct construction drawings, using clear examples
Basic perspective drawing : A visual approach
Introduces students, both those in formal design courses and self-learners, to the basic principles and techniques of perspective drawing. Clear and accessible illustrations show how to construct perspective views one step at a time. The new, streamlined Sixth Edition contains must-have content for students and instructors in art and design, architecture, and interior design programs. Updated illustrations reflect the most current drawing styles and examples while supplementary tutorial videos, grouped by architectural disciplines, interior design, and studio art/illustration, provide live-action demonstrations of key topics discussed in the book.
Basic Notions of Algebra
Aims to present a general survey of algebra, of its basic notions and main branches.Those parts of the book devoted to the systematic treatment of notions and results of algebra make very limited demands on the reader: we presuppose only that the reader knows calculus, analytic geometry and linear algebra in the form taught in many high schools and colleges. The extent of the prerequisites required in our treatment of examples is harder to state; an acquaintance with projective space, topological spaces, differentiable and complex analytic manifolds and the basic theory of functions of a complex variable is desirable, but the reader should bear in mind that difficulties arising in the treatment of some specific example are likely to be purely local in nature, and not to affect the understanding of the rest of the book.
Automorphic forms and even unimodular lattices : Kneser neighbors of niemeier lattices
This book includes a self-contained approach of the general theory of quadratic forms and integral Euclidean lattices.It explains how the new advances in the Langlands program mentioned above pave the way for a solution. This study proves to be very rich, leading us to classical themes such as theta series, Siegel modular forms, the triality principle, L-functions and congruences between Galois representations.
Automatic Autocorrelation and Spectral Analysis
It takes advantage of greater computing power and robust algorithms to produce enough candidate models to be sure of providing a suitable candidate for given data. Improved order selection quality guarantees that one of the best (and often the best) will be selected automatically. The data themselves suggest their best representation. Should the analyst wish to intervene, alternatives can be provided. Written for graduate signal processing students and for researchers and engineers using time series analysis for practical applications ranging from breakdown prevention in heavy machinery to measuring lung noise for medical diagnosis.
Automated deduction – CADE-21 ; 21st International Conference on automated deduction, Bremen, Germany, July 17-20, 2007, Proceedings
All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation and evaluation of theorem provers and logical reasoning systems. The papers are organized in topical sections on higher-order logic, description logic, intuitionistic logic, satisfiability modulo theories, induction, rewriting, and polymorphism, first-order logic, model checking and verification, termination, as well as tableaux and first-order systems.
Automated deduction – CADE-20 ; 20th International Conference on automated deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
This book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held in Tallinn, Estonia, in July 2005. The 25 revised full papers and 5 system descriptions presented were carefully reviewed and selected from 78 submissions. All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation and evaluation of theorem provers and logical reasoning systems.
Automated deduction – CADE 28 ; 28th International Conference on automated deduction, Virtual Event, July 12–15, 2021, Proceedings
This book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.
