الصفحة 11
الصفحة 11
Scientific and Technical Issues in the Management of Spent Fuel of Decommissioned Nuclear Submarines
Addresses a very important challenge of the present – complex decommissioning of the nuclear-powered vessels taken out of service and environmental rehabilitation of the centers of basing and everyday running of different-type nuclear vessels. The book specifically focuses on the scientific and technical problems of management of naval spent nuclear fuel and radioactive waste.
Scientific and Statistical Database Management ; 20th International Conference, SSDBM 2008, Hong Kong, China, July 9-11, 2008 Proceedings
Organized in topical sections on query optimization in scientific databases, privacy, searching and mining graphs, data streams, scientific database applications, advanced indexing methods, data mining, as well as advanced queries and uncertain data.
Scenario Logic and Probabilistic Management of Risk in Business and Engineering
In this volume the methodological aspects of the scenario logic and probabilistic (LP) non-success risk management are considered. The theoretical bases of scenario non-success risk LP-management in business and engineering are also stated. Methods and algorithms for the scenario risk LP-management in problems of classification, investment and effectiveness are described. Risk LP- models and results of numerical investigations for credit risks, risk of frauds, security portfolio risk, risk of quality, accuracy, and risk in multi-stage systems reliability are given. In addition, a rather large number of new problems of estimation, analysis and management of risk are considered. Software for risk problems based on LP-methods, LP-theory, and GIE are described too.
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.
Rule-Based Evolutionary Online Learning Systems : A Principled Approach to LCS Analysis and Design
This book offers a comprehensive introduction to learning classifier systems (LCS) – or more generally, rule-based evolutionary online learning systems. LCSs learn interactively – much like a neural network – but with an increased adaptivity and flexibility.
Risk Management : Challenge and Opportunity
Dealing with all aspects of risk management that have undergone significant innovation in recent years, this book aims at being a reference work in its field. Different to other books on the topic, it addresses the challenges and opportunities facing the different risk management types in banks, insurance companies, and the corporate sector. Due to the rising volatility in the financial markets as well as political and operational risks affecting the business sector in general, capital adequacy rules are equally important for non-financial companies. For the banking sector, the book emphasizes the modifications implied by the Basel II proposal. The volume has been written for academics as well as practitioners, in particular finance specialists. It is unique in bringing together such a wide array of experts and correspondingly offers a complete coverage of recent developments in risk management.
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.
Reversible Computation; 13th International Conference, RC 2021, Virtual Event, July 7–8, 2021, Proceedings
This book constitutes the refereed proceedings of the 13th International Conference on Reversible Computation, RC 2021, which was held online during July 7-8, 2021. The 11 papers included in this book were carefully reviewed and selected from 21 submissions. The book also contains 2 invited talks in full-paper length, 3 work-in-progress papers and 1 tool paper. They were organized in topical sections named: programming and programming languages; reversible concurrent computation; theory and foundations; and circuit synthesis.
Retrial Queueing Systems : A Computational Approach
Retrial Queueing Systems: A Computational Approach also : Presents motivating examples in telephone and computer networks. / Establishes a comparative analysis of the retrial queues versus standard queues with waiting lines and queues with losses. / Integrates a wide range of techniques applied to the main M/G/1 and M/M/c retrial queues, and variants with general retrial times, finite population and the discrete-time case. / Surveys basic results of the matrix-analytic formalism and emphasizes the related tools employed in retrial queues. / Discusses a few selected retrial queues with QBD, GI/M/1 and M/G/1 structures.
Research in computational molecular biology ; 9th Annual international conference, RECOMB 2005, Cambridge, MA, USA, May 14-18, 2005, Proceedings
From RECOMB 2005, the Steering Committee decided to publish the proceedings as a volume of Lecture Notes in Bioinf- matics (LNBI) for which the founders of RECOMB are also the editors. The prominent volume number LNBI 3500 was assigned to this proceedings. The RECOMB conference series is closely associated with the Journal of Compu- tional Biology which traditionally publishes special issues devoted to presenting full versions of selected conference papers.
Research and Advanced Technology for Digital Libraries ; 11th European Conference, ECDL 2007, Budapest, Hungary, September 16-21, 2007, Proceedings
Over the last 11 years, ECDL has created a strong interdisciplinary com- nity of researchers and practitioners in the ?eld of digital libraries, and has formed a substantial body of scholarly publications contained in the conference proceedings. ECDL 2007 featured separate calls for paper and poster submissions, - sulting in 119 full papers and 34 posters being submitted to the conference.
Representations of Linear Groups : An Introduction Based on Examples from Physics and Number Theory
This is an elementary introduction to the representation theory of real and complex matrix groups. The text is written for students in mathematics and physics who have a good knowledge of differential/integral calculus and linear algebra and are familiar with basic facts from algebra, number theory and complex analysis. The goal is to present the fundamental concepts of representation theory, to describe the connection between them, and to explain some of their background. The focus is on groups which are of particular interest for applications in physics and number theory (e.g. Gell-Mann's eightfold way and theta functions, automorphic forms). The reader finds a large variety of examples which are presented in detail and from different points of view.
Representations for Genetic and Evolutionary Algorithms
The book summarizes existing knowledge regarding problem representations and describes how basic properties of representations, such as redundancy, scaling, or locality, influence the performance of GEAs and other heuristic optimization methods. Using the developed theory, representations can be analyzed and designed in a theory-guided matter. The theoretical concepts are used for solving integer optimization problems and network design problems more efficiently.
Reliable Implementation of Real Number Algorithms; Theory and Practice ; International Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers
The book was inteded to stimulate an exchange of ideas between the different communities that deal with the problem of reliable implementation of real number algorithms. Topics included formal proofs, software libraries, systems and platforms, as well as computational geometry and solid modelling.
Reliability-based Structural Design
Reliability-based Structural Design provides readers with an understanding of the fundamentals and applications of structural reliability, stochastic finite element method, reliability analysis via stochastic expansion, and optimization under uncertainty. Probability theory, statistic methods, and reliability analysis methods including Monte Carlo sampling, Latin hypercube sampling, first and second-order reliability methods, stochastic finite element method, and stochastic optimization are discussed. In addition, the use of stochastic expansions, including polynomial chaos expansion and Karhunen-Loeve expansion, for the reliability analysis of practical engineering problems is also examined. Detailed examples of practical engineering applications including an uninhabited joined-wing aircraft and a supercavitating torpedo are presented to illustrate the effectiveness of these methods.
Relativistic Quantum Mechanics
In this book, quantum mechanics is developed from the outset on a relativistic basis, using the superposition principle, Lorentz invariance and gauge invariance. Nonrelativistic quantum mechanics as well as classical relativistic mechanics appear as special cases. They are the sources of familiar names such as "orbital angular momentum", "spin-orbit coupling" and "magnetic moment" for operators of the relativistic quantum formalism. The theory of binaries, in terms of differential equations, is treated for the first time in this book. These have the mathematical structure of the corresponding one-body equations (Klein-Gordon for two spinless particles, Dirac for two spinor particles) with a relativistically reduced mass. They allow the calculation of radiative corrections via the vector potential operator. This second edition of the successful textbook adds various new sections on relativistic quantum chemistry and on the relativistic treatment of the proton in hydrogen. Others chapters have been expanded, e.g. on hyperfinite interactions, or carefully revisited.
Relations and Kleene Algebra in Computer Science ; 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29 - September2, 2006, Proceedings
This volume contains the joint proceedings of the 9th International Conferenceon Relational Methods in Computer Science (RelMiCS-9) and the 4th Interna-tional Workshop on Applications of Kleene Algebra (AKA 2006). This year, special focus was on formal methods, logics ofprograms and links with neighboring disciplines. This diversity is reflected bythe contributions to this volume.The Programme Committee selected 25 technical contributions out of 44 ini-tial submissions from 14 countries.
Relations and Kleene Algebra in Computer Science ; 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings
The book describe the calculus of relations and similar algebraic formalisms as methodological and conceptual tools with special focus on formal methods for software engineering, logics of programs and links to neighbouring disciplines. Their scope comprises relation algebra, fixpoint calculi, semiring theory, iteration algebras, process algebras and dynamic algebras. Applications include formal algebraic modeling, the semantics, analysis and development of programs, formal language theory and combinatorial optimization.
Relational Methods in Computer Science ; 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers
This volume is the post conference proceedings of the 8thInternational Seminaron Relational Methods in Computer Science (RelMiCS 8), held in conjunctionwith the 3rdInternational Workshop on Applications of Kleene Algebra and aCOST Action 274 (TARSKI) Workshop. This combined meeting took place inSt. Catharines, Ontario, Canada, from February 22 to February 26, 2005. Thepurpose of this meeting was to bring together researchers from various subdis-ciplines of computer science and mathematics who use the calculus of relationsand/or Kleene algebra as methodological and conceptual tools in their work.
Regulatory Genomics ; RECOMB 2004 International Workshop, RRG 2004, San Diego, CA, USA, March 26-27, 2004, Revised Selected Papers
Research in the field of gene regulation is evolving rapidly in an ever-changing scientific environment. Microarray techniques and comparative genomics have enabled more comprehensive studies of regulatory genomics and are proving to be powerful tools of discovery. The application of chromatin immunoprecipitation and microarrays (chIP-on-chip) to directly study the genomic binding locations of transcription factors has enabled more comprehensive modeling of regulatory networks. In addition, complete genome sequences and the comparison of numerous related species has demonstrated that conservation in non-coding DNA sequences often provides evidence for cis-regulatory binding sites. That said, much is still to be learned about the regulatory networks of these sequenced genomes.
