around and beyond the square modern optimization ... · finite intervals.- 17. nonoscillation...

Mathematics springer.com/NEWSonline

16

R. P. Agarwal, Texas A&M University, Kingsville, TX, USA; L. Berezansky, Ben-Gurion University of the Negev, Beer-Sheva, Israel; E. Braverman, University of Calgary, AB, Canada; A. Domoshnitsky, Ariel University Center of Samaria, Ariel, Israel

Nonoscillation Theory of Functional Differential Equations with ApplicationsContents 1. Introduction to Oscillation Theory.- 2. Scalar Delay Differential Equations on Semiaxes.- 3. Sca-lar Delay Differential Equations on Semiaxis with Positive and Negative Coefficients.- 4. Oscillation of Equations with a Distributed Delay.- 5. Scalar Advanced and Mixed Differential Equations on Semiaxes.- 6. Neutral Differential Equations.- 7. Second Order Delay Differential Equations.- 8. Second Order Delay Differential Equations with Damping Terms.- 9. Vector Delay Differential Equations.- 10. Linearized Methods for Nonlinear Equations with a Distributed Delay.- 11. Non-linear Models - Modifications of Delay Logistic Equations.- 12. First Order Linear Delay Impulsive Differential Equation.- 13. Second Order Linear Delay Impulsive Differential Equations.- 14. Linearized Oscillation Theory for Nonlinear Delay Impulsive Equations.- 15. Maximum Principles and Nonoscillation Intervals for First Order Volterra Functional Differential Equations.- 16. Systems of Functional Differential Equations on Finite Intervals.- 17. Nonoscillation Interval for n-th Order Functional Differential Equations.- Appendix A.- Appendix B.

Fields of interestsPartial Differential Equations; Special Functions; Functional Analysis

Target groupsResearch

Product categoryMonograph

Due May 2012

2012. XVI, 524 p. 10 illus. Hardcover7 * € (D) 117,65 | € (A) 120,95 | sFr 146,507 € 109,95 | £99.00ISBN 978-1-4614-3454-2

9<HTMERB=edefec>

J.‑Y. Beziau, Federal University of Rio de Janeiro, Brazil; D. Jacquette, University of Bern, Switzerland (Eds.)

Around and Beyond the Square of OppositionThe theory of oppositions based on Aristoteli-an foundations of logic has been pictured in a striking square diagram which can be understood and applied in many different ways having reper-cussions in various fields: epistemology, linguis-tics, mathematics, sociology, physics. The square can also be generalized in other two-dimensional or multi-dimensional objects extending in breadth and depth the original Aristotelian theory. The square of opposition is a very attractive theme which has been going through centuries without evaporating. Since 10 years there is a new growing interest for the square due to recent discove-ries and challenging interpretations. This book presents a collection of previously unpublished papers by high level specialists of the square from all over the world.

Features 7 Exclusively dedicated to the square of opposi-tions 7 Presenting the topic from an interdiscip-linary perspective 7 Of interest for mathematical logicians as well as philosophers

Contents 1 Historical and Critical Aspects of the Square.- 2 Philosophical Discussions around the Square of Opposition.- 3 The Square of Opposition and Non-Classical Logics.- 4 Constructions Generali-zing the Square of Opposition.- 5 Applications of the Square of Opposition.

Fields of interestsMathematical Logic and Foundations; Logic; Mathematics, general


Product categoryCollected works

Due May 2012

2012. Approx. 450 p. 149 illus., 14 in color. (Studies in Universal Logic) Softcover7 approx. * € (D) 64,15 | € (A) 65,95 | sFr 80,007 approx. € 59,95 | £53.99ISBN 978-3-0348-0378-6

9<HTOAOE=iadhig>

R. Cominetti, Universidad de Chile, Santiago, Chile; F. Facchinei, Università di Roma „La Sapienza“, Italy; J. B. Lasserre, LAAS, Toulouse, France

Modern Optimization Modelling TechniquesEditorial coordination: A. Daniilidis, J. E. Martínez‑Legaz, Universitat Autònoma de Barcelona, Spain

The theory of optimization, understood in a broad sense, is the basis of modern applied mathematics, covering a large spectrum of topics from theoreti-cal considerations (structure, stability) to applied operational research and engineering applications.

Features 7 Most of the material covered in the book concerns results that so far were only available as articles in specialized journals 7 Provides a com-prehensive overview of the recent developments and makes them accessible to a wider audience, including graduate students and researchers inte-rested in the broad field of optimization 7 Appli-cations of much practical relevance to illustrate the theory 7 Applications of much practical relevance to illustrate the theoryNumerous results and examples highlight the close connection of optimization theory with other related fields such as dynamical systems, equilibrium theory, stochas-tic modeling, game theory, etc.

Contents Part I: Equilibrium and Learning in Traffic Net-works by Roberto Cominetti.- Part II: Compu-tation of Generalized Nash Equilibria: Recent Advancements by Francisco Facchinei.- Part III: Moments and Positive Polynomials for Optimiza-tion by Jean B. Lasserre.

Fields of interestsOperations Research, Management Science; Game Theory, Economics, Social and Behav. Sciences

Target groupsGraduate

Product categoryGraduate/Advanced undergraduate textbook

Due July 2012

2012. Approx. 290 p. (Advanced Courses in Mathematics - CRM Barcelona) Softcover7 approx. * € (D) 32,05 | € (A) 32,94 | sFr 40,007 approx. € 29,95 | £26.99ISBN 978-3-0348-0290-1

9<HTOAOE=iacjab>

www.springer.com/978-1-4614-3454-2



News 3/2012 Mathematics

17

M. O. Deville, Swiss Federal Institute of Technology EPFL, Lausanne, Switzerland; T. B. Gatski, Old Dominion University, Norfolk, VA, USA

Mathematical Modeling for Complex Fluids and FlowsMathematical Modeling for Complex Fluids and Flows provides researchers and engineering practitioners encountering fluid flows with state-of-the-art knowledge in continuum concepts and associated fluid dynamics. In doing so it supplies the means to design mathematical models of these flows that adequately express the enginee-ring physics involved. It exploits the implicit link between the turbulent flow of classical Newtonian fluids and the laminar and turbulent flow of non-Newtonian fluids such as those required in food processing and polymeric flows. The book deve-lops a descriptive mathematical model articulated through continuum mechanics concepts for these non-Newtonian, viscoelastic fluids and turbulent flows.

Features 7 Self-contained theoretical approach 7 Based on continuum mechanics and kinetic theo-ry 7 Focus on non-Newtonial fluids 7 New, greatly expanded edition of popular standard monograph

Contents 1. Introduction.- 2. Tensor Analysis, Invariants, and Representations.- 3. Kinematics and Dyna-mics.- 4. Constitutive Equations: General Princip-les.- 5. Non-Newtonian and Viscoelastic Fluids.- 6. Turbulent Flows.- 7. The Boltzmann Equation.- 8. Properties of the Hermite Polynomials.- Table of symbols.- References.

Fields of interestsApplications of Mathematics; Fluid- and Aerody-namics; Mathematical Modeling and Industrial Mathematics



Available

2012. XIX, 264 p. 37 illus. Hardcover7 * € (D) 85,55 | € (A) 87,95 | sFr 106,507 € 79,95 | £72.00ISBN 978-3-642-25294-5

9<HTOGPC=cfcjef>

D. Gitman, University of São Paulo, Brasil; I. Tyutin, B. Voronov, P.N. Lebedev Institute, Moscow, Russia

Self-adjoint Extensions in Quantum MechanicsGeneral Theory and Applications to Schrödinger and Dirac Equations with Singular Potentials

Quantization of physical systems requires a cor-rect definition of quantum-mechanical observa-bles, such as the Hamiltonian, momentum, etc., as self-adjoint operators in appropriate Hilbert spaces and their spectral analysis. Though a “naïve” treatment exists for dealing with such pro-blems, it is based on finite-dimensional algebra or even infinite-dimensional algebra with bounded operators, resulting in paradoxes and inaccuracies.

Features 7 Provides a consistent treatment of certain quantization problems in quantum mechanics with several examples 7 Covers necessary mathematical background 7 Clear organizati-on 7 Ends with a interesting discussion related to similar quantum field theory problems

Contents Introduction.- Linear Operators in Hilbert Spaces.- Basics of Theory of s.a. Extensions of Symmetric Operators.- Differential Operators.- Spectral Analysis of s.a. Operators.- Free One-Dimensional Particle on an Interval.- One-Dimen-sional Particle in Potential Fields.- Schrödinger Operators with Exactly Solvable Potentials.- Dirac Operator with Coulomb Field.- Schrödinger and Dirac Operators with Aharonov-Bohm and Magnetic-Solenoid Fields.

Fields of interestsMathematical Physics; Mathematical Methods in Physics; Operator Theory



Due March 2012

2012. X, 340 p. (Progress in Mathematical Physics, Volume 62) Hardcover7 * € (D) 96,25 | € (A) 98,95 | sFr 120,007 € 89,95 | £81.00ISBN 978-0-8176-4400-0

9<HTLIMH=geeaaa>

M. Han, Shanghai Normal University, China; P. Yu, University of Western Ontario, London, ON, Canada

Normal Forms, Melnikov Functions and Bifurcations of Limit CyclesDynamical system theory has developed rapidly over the past fifty years. It is a subject upon which the theory of limit cycles has a significant impact for both theoretical advances and practical solu-tions to problems. Hopf bifurcation from a center or a focus is integral to the theory of bifurcation of limit cycles, for which normal form theory is a central tool.

Features 7 Intertwines classic topics with new results to provide extensive coverage of the area 7 An ample amount of worked out examples and user-friendly algorithms are supplied for both theory and application 7 Includes complete Maple programs, allowing the reader to reconstruct the majority of formulas and study using concrete models

Contents Hopf Bifurcation and Normal Form Computa-tion.- Comparison of Methods for Computing Focus Values.- Application (I)—Hilbert’s 16th Problem.- Application (II)—Practical Problems.- Fundamental Theory of the Melnikov Function Method.- Limit Cycle Bifurcations Near a Center.- Limit Cycles Near a Homoclinic or Heteroclinic Loop.- Finding More Limit Cycles Using Melnikov Functions.- Limit Cycle Bifurcations in Equivari-ant Systems.

Fields of interestsDynamical Systems and Ergodic Theory; Appro-ximations and Expansions; Ordinary Differential Equations



Due May 2012

2012. XII, 376 p. 72 illus. (Applied Mathematical Sciences, Volume 181) Hardcover7 * € (D) 101,60 | € (A) 104,45 | sFr 126,507 € 94,95 | £85.50ISBN 978-1-4471-2917-2

9<HTMEPH=bcjbhc>





18

H. Kimura, The University of Tokyo, Japan

Chain-Scattering Approach to H∞-ControlThe advent of H∞-control was a truly remarkable innovation in multivariable theory. It eliminated the classical/modern dichotomy that had been a major source of the long-standing skepticism about the applicability of modern control theory, by amalgamating the „philosophy“ of classical design with „computation“ based on the state-space problem setting. It enhanced the application by deepening the theory mathematically and logically, not by weakening it as was done by the reformers of modern control theory in the early 1970s. The purpose of this book is to provide a natural theoretical framework that is understan-dable with little mathematical background. The notion of chain-scattering, well known in classical circuit theory, but new to control theorists, plays a fundamental role in this book.

Features 7 Affordable softcover reprint of a classic, still highly relevant monograph 7 Provides a simple, innovative framework for the study of H-infinity-control Little mathematical background required 7 Useful for applied mathematici-ans, practicing engineers, and graduate students

Contents 1 Introduction.- 2 Elements of Linear Systems Theory.- 3 Norms and Factorizations.- 4 Chain-Scattering Representations of the Plant.- 5 J-Loss-less Conjugation and Interpolation.- 6 J-Lossless Factorizations.- 7 H-infinity Control via (J, J‘)-Lossless Factorization.- 8 State-Space Solutions to H-infinity Control Problems.- 9 Structure of H -infinity Control.

Fields of interestsSystems Theory, Control; Control; Linear and Multilinear Algebras, Matrix Theory



Due May 2012

1997 1997. XIV, 244 p. 44 illus. (Modern Birkhäuser Classics) Softcover7 approx. * € (D) 42,75 | € (A) 43,95 | sFr 49,507 approx. € 39,95 | £33.99ISBN 978-0-8176-8330-6

9<HTLIMH=giddag>

M. Koller, ETH Zurich, Switzerland

Stochastic Models in Life InsuranceThe book provides a sound mathematical base for life insurance mathematics and applies the underlying concepts to concrete examples. Mo-reover the models presented make it possible to model life insurance policies by means of Markov chains. Two chapters covering ALM and abstract valuation concepts on the background of Solvency II complete this volume. Numerous examples and a parallel treatment of discrete and continuous ap-proaches help the reader to implement the theory directly in practice.

Features 7 Concrete application of Markov chains in life insurance for pricing and reserving 7 Solvency II 7 Abstract valuation 7 Fair values

Contents 1. A general life insurance model.- 2. Stochastic processes.- 3. Interest rate.- 4. Cash flows and the mathematical reserve.- 5. Difference equations and differential equations.- 6. Examples and problems from applications.- 7. Hattendorff ‘s Theorem.- 8. Unit-linked policies.- 9. Policies with stochastic interest rate.- 10. Technical analysis.- 11. Abstract valuation.- 12. Policyholder bonus mechanism.- A. Notes on stochastic integration.- B. Examples.- C. Mortality rates in Germany.- D. Mortality rates in Switzerland.- E. Java code for the calculation of the Markov model.- References.- Notation.- Index.

Fields of interestsProbability Theory and Stochastic Processes; Game Theory, Economics, Social and Behav. Sciences; Statistics for Business/Economics/Ma-thematical Finance/Insurance

Target groupsUpper undergraduate


Due May 2012

2012. XI, 235 p. 41 illus., 33 in color. (EAA Series) Softcover7 * € (D) 53,45 | € (A) 54,95 | sFr 66,507 € 49,95 | £44.99ISBN 978-3-642-28438-0

9<HTOGPC=ciedia>

H. König, Universität des Saarlandes, Saarbrücken, Germany

Measure and IntegrationPublications 1997‑2011

Contents Image measures and the so-called image mea-sure catastrophe.- The product theory for inner premeasures.- Measure and Integration: Mutual generation of outer and inner premeasures.- Mea-sure and Integration: Integral representations of isotone functionals.- Measure and Integration: Comparison of old and new procedures.- What are signed contents and measures?- Upper envelopes of inner premeasures.- On the inner Daniell-Stone and Riesz representation theorems.- Sublinear functionals and conical measures.- Measure and Integration: An attempt at unified systematization.- New facts around the Choquet integral.- The (sub/super)additivity assertion of Choquet.- Projective limits via inner premeasures and the trueWiener measure.- Stochastic processes in terms of inner premeasures.- New versions of the Radon-Nikodým theorem.- The Lebesgue de-composition theorem for arbitrary contents.- The new maximal measures for stochastic processes.- Stochastic processes on the basis of new measure theory.- New versions of the Daniell-Stone-Riesz representation theorem.- Measure and Integral: New foundations after one hundred years.- Fu-bini-Tonelli theorems on the basis of inner and outer premeasures.- Measure and Integration: Characterization of the new maximal contents and measures.- Notes on the projective limit theo-rem of Kolmogorov.- Measure and Integration: The basic extension theorems.- Measure Theory: Transplantation theorems for inner premeasures.

Fields of interestMeasure and Integration


Product categoryCollected works

Due June 2012

2012. Approx. 480 p. Hardcover7 approx. * € (D) 101,60 | € (A) 104,45 | sFr 126,507 approx. € 94,95 | £85.50ISBN 978-3-0348-0381-6

9<HTOAOE=iadibg>




News 3/2012 Mathematics

19

C. S. Kubrusly, Catholic University of Rio de Janeiro, Brazil

Spectral Theory of Operators on Hilbert SpaceThis work is a concise introduction to spectral theory of Hilbert space operators. Its emphasis is on recent aspects of theory and detailed proofs, with the primary goal of offering a modern intro-ductory textbook for a first graduate course in the subject. The coverage of topics is thorough, as the book explores various delicate points and hidden features often left untreated. Spectral Theory of Operators on Hilbert Space is addressed to an interdisciplinary audience of graduate students in mathematics, statistics, economics, enginee-ring, and physics. It will also be useful to working mathematicians using spectral theory of Hilbert space operators, as well as for scientists wishing to apply spectral theory to their field.

Features 7 Modern approach to operators acting on Hilbert space 7 Presentation of recent theo-retical aspects (including very current research results) 7 Detailed proofs, including discussions and explanations of delicate points and highligh-ting some commonly hidden features 7 Includes chapter and section summaries as well as periodic exercises to enhance pedagogical impact

Contents Preface.- Preliminaries.- Spectrum.- Spectral The-orem.- Functional Calculus.- Fredholm Theory.- References.- Index.

Fields of interestsOperator Theory; Functional Analysis; Non-asso-ciative Rings and Algebras



Due June 2012

2012. X, 200 p. Hardcover7 approx. * € (D) 53,45 | € (A) 54,95 | sFr 69,007 approx. € 49,95 | £46.99ISBN 978-0-8176-8327-6

9<HTLIMH=gidchg>

A. Machi, Università di Roma La Sapienza, Italy

Algebra for Symbolic ComputationIntroduction to Computational Algebra

This book deals with several topics in algebra use-ful for computer science applications and the sym-bolic treatment of algebraic problems, pointing out and discussing their algorithmic nature. The topics covered range from classical results such as the Euclidean algorithm, the Chinese remainder theorem, and polynomial interpolation, to p-adic expansions of rational and algebraic numbers and rational functions, to reach the problem of the po-lynomial factorisation, especially via Berlekamp’s method, and the discrete Fourier transform. Basic algebra concepts are revised in a form suited for implementation on a computer algebra system.

Features 7 It provides a good way of revising abstract concepts learnt in algebra courses 7 It shows the algorithmic nature of many concepts and theorems 7 It allows the reader to test his/her knowledge of the computer algebra systems

Contents The Euclidean algorithm, the Chinese remainder theorem and interpolation.- p-adic series expansi-on.- The resultant.- Factorisation of polynomials.- The discrete Fourier transform.

Fields of interestAlgebra

Target groupsUpper undergraduate


Due March 2012

2012. 190 p. 11 illus. (UNITEXT / La Matematica per il 3+2) Softcover7 * € (D) 42,75 | € (A) 43,95 | sFr 53,507 € 39,95 | £35.99ISBN 978-88-470-2396-3

9<HTTIPH=acdjgd>

P. Mastrolia, M. Rigoli, Università degli Studi di Milano, Italy; A. G. Setti, Università degli Studi dell‘Insubria, Como, Italy

Yamabe-type equations on complete, noncompact manifoldsThe aim of this monograph is to present a self-contained introduction to some geometric and analytic aspects of the Yamabe problem, and to describe in a way accessible to non-specialists a range of methods and techniques that can be successfully applied to nonlinear differential equations in situations where the lack of compact-ness and of symmetry and homogeneity prevents the use of more standard tools typical of compact situations or of the Euclidean setting.

Features 7 Up-to-date results on the subject not yet available in book form 7 A number of new results and techniques as well as new proofs of known results 7 Clear account of a number of key methods from geometric analysis accessible to non-specialists in the field 7 Self-contained treatment, detailed description of both the geome-tric and the main analytic tools exploited

Contents Introduction.- 1 Some Riemannian Geomet-ry.- 2 Pointwise conformal metrics.- 3 General nonexistence results.- 4 A priori estimates.- 5 Uniqueness.- 6 Existence.- 7 Some special cases.- References.- Index.

Fields of interestsDifferential Geometry; Global Analysis and Ana-lysis on Manifolds



Due June 2012

2012. XII, 230 p. (Progress in Mathematics, Volume 302) Hardcover7 approx. * € (D) 90,90 | € (A) 93,45 | sFr 113,507 approx. € 84,95 | £76.50ISBN 978-3-0348-0375-5

9<HTOAOE=iadhff>





20

L. Pavel, University of Toronto, ON, Canada

Game Theory for Control of Optical NetworksOptical networks epitomize complex communi-cation systems, and they comprise the Internet’s infrastructural backbone. The first of its kind, this book develops the mathematical framework nee-ded from a control perspective to tackle various game-theoretical problems in optical networks. In doing so, it aims to help design control algorithms that optimally allocate the resources of these networks.

Features 7 Presents a pioneering approach to optical networks 7 Introduces innovative algorithms for resource allocation 7 Provides the potential for improving communications efficiency

Contents Preface.- 1 Introduction.- Part I Game Theory Essentials.- 2 Basics of Game Theory.- 3 Mat-rix Games.- 4 Games with Continuous Action Spaces.- 5 Computational Results for Games with Coupled Constraints.- Part II Game Theory in Optical Networks.- 6 Optical Networks: Back-ground and Modeling.- 7 Games in Point-to-Point Topologies.- 8 Games in Network Toplogies.- 9 Nash Equilibria Efficiency and Numerical Studies.- 10 Simulations and Experimental Studies.- Part III Robustness, Delay Effects, and Other Problems.- 11 Robustness and Delay Effects onNetwork Games.- 12 Games for Routing and Path Coloring.- 13 Summary and Conclusions. A Supplementary Material.- B List of Notations.- References.- Index.

Fields of interestsGame Theory, Economics, Social and Behav. Sci-ences; Communications Engineering, Networks; Systems Theory, Control



Due May 2012

2012. XIV, 265 p. 89 illus., 62 in color. (Static & Dynamic Game Theory: Foundations & Applications) Hardcover7 approx. * € (D) 80,20 | € (A) 82,45 | sFr 105,507 approx. € 74,95 | £66.99ISBN 978-0-8176-8321-4

9<HTLIMH=gidcbe>

M. Z. Zgurovsky, Nat. Techn. University, Kiev, Ukraine; P. O. Kasyanov, O. V. Kapustyan, Kyiv Polytechnic Institute, Ukraine; J. Valero, Univ. de Elche, Alicante, Spain; N. V. Zadoianchuk, Kyiv Polytechnic Institute, Ukraine

Evolution Inclusions and Variation Inequalities for Earth Data Processing IIILong‑Time Behavior of Evolution Inclusions Solutions in Earth Data Analysis

Features 7 A unique mathematical toolbox for sol-ving problems in geophysics and earth scien-ces 7 Third volume on this subject 7 Written by experts

Contents Introduction: Long-time Behaviour of Evolution Inclusions Solutions in Earth Data Analysis.- Part I Long-time Behaviour of Autonomous Differential-Operator Systems Solutions for Earth Data Processing: Abstract Theory of Multivalued Semiflows.- Auxiliary Properties of Evolution Inclusions Solutions for Earth Data Processing.- Attractors for Lattice Dynamical Systems.- Part II Long-time Behaviour of Nonautonomous Differential-Operator Systems Solutions for Earth Data Processing: On Global Attractors of Multivalued Semiprocesses and Nonautonomous Evolution Inclusions.- On the Kneser Property for the Complex Ginzburg-Landau Equation and the Lotka-Volterra System with Diffusion.- Pullback Attractors for a Class of Extremal Solutions of the 3D Navier-Stokes System.- Properties of Resolving Operator for Nonautonomous Evolution Inclusi-ons: Pullback Attractors.- Functional Spaces. The Embedding and Approximation Theorems.

Fields of interestsApplications of Mathematics; Geophysics and Environmental Physics; Geophysics/Geodesy



Due June 2012

2012. Approx. 335 p. 35 illus., 10 in color. (Advances in Mechanics and Mathematics, Volume 27) Hardcover7 * € (D) 128,35 | € (A) 131,95 | sFr 160,007 € 119,95 | £108.00ISBN 978-3-642-28511-0

9<HTOGPC=cifbba>



News 3/2012 Computer Science

21

E. Biham, Technion, Haifa, Israel; O. Dunkelman, The Weizmann Institute of Science, Rehovot, Israel

Techniques for Cryptanalysis of Block CiphersBlock ciphers are widely used to protect informa-tion over the Internet, so assessing their strength in the case of malicious adversaries is critical to public trust. Such security evaluations, called cryptanalysis, expose weak points of the ciphers and can be used to develop attack techniques, thus cryptanalytic techniques also direct designers on ways to develop more secure block ciphers. In this book the authors describe the cryptanalytic toolbox for block ciphers. The book starts with the differential and linear attacks, and their extensions and generalizations. Then the more advanced attacks such as the boomerang and rectangle attacks are discussed, along with their related-key variants. Finally, other attacks are explored, in par-ticular combined attacks that are built on top of other attacks. The book covers both the underlying concepts at the heart of these attacks and the ma-thematical foundations of the analysis itself. These are complemented by an extensive bibliography and numerous examples, mainly involving widely deployed block ciphers.

Features 7 Useful reference for graduate students and researchers 7 Describes techniques that are key to modern security 7 Written by established experts

Contents Introduction .- Differential Cryptanalysis .- Linear Cryptanalysis .- More Cryptanalytic Methods .- Boomerangs and Rectangles .- Other Combined Attacks .- Appendix .- References.

Fields of interestsData Structures, Cryptology and Information Theory; Mathematics of Computing



Due July 2012

2012. X, 260 p. (Information Security and Cryptography) Hardcover7 approx. * € (D) 58,80 | € (A) 60,45 | sFr 79,007 approx. € 54,95 | £49.99ISBN 978-3-642-17231-1

9<HTOGPC=bhcdbb>

M. Bubak, T. Szepieniec, K. Wiatr, AGH University of Science and Technology, Krakow, Poland (Eds.)

Building a National Distributed e-Infrastructure -- PL-GridScientific and Technical Achievements

Contents PL-Grid: Foundations and Perspectives of Natio-nal Computing Infrastructure. Integrating Various Grid Middleware Components and User Services into a Single Platform. Towards Professional Service Operations in Grids. New Capabilities in QosCosGrid Middleware for Advanced Job. Management, Advance Reservation and Co-allocation of Computing Resources – Quantum Chemistry Application Use Case Seamless Access to the PL-Grid e-Infrastructure Using UNI-CORE Middleware User-Oriented Provisioning of Secure Virtualized Infrastructure Flexible and Extendable Mechanism Enabling Secure Access to e-Infrastructures and Storage of Confidential Data for the GridSpace2 Virtual Laboratory. X Table of Contents SARA – System for Inventory and Static Security Control in a Grid Infrastructure. Security Best Practices: Applying Defense-in-Depth Strat-egy to Protect the NGI PL Automation of System Monitoring Based on Fuzzy Logic or Rules; Comparison of Two Designed Approaches with Regard toComputational Infrastructures A Toolkit for Storage QoS Provisioning for Data-Intensive Applications Implementation of Service Level Management in PL-Grid Infrastructure. Highly Integrated Environment for Parallel Application Development Using QosCosGrid Middleware. [...]

Fields of interestsComputer Communication Networks; Informati-on Systems Applications (incl.Internet); Artificial Intelligence (incl. Robotics)


Product categoryContributed volume

Due March 2012

2012. XI, 354 p. 113 illus. (Lecture Notes in Computer Science / Information Systems and Applications, incl. Internet/Web, and HCI, Volume 7136) Softcover7 * € (D) 57,78 | € (A) 59,40 | sFr 72,007 € 54,00 | £48.99ISBN 978-3-642-28266-9

9<HTOGPC=cicggj>

S. Cesare, Y. Xiang, Deakin University, Burwood, VIC, Australia

Software Similarity and ClassificationSoftware similarity and classification is an emer-ging topic with wide applications. It is applicable to the areas of malware detection, software theft detection, plagiarism detection, and software clone detection. Extracting program features, processing those features into suitable representations, and constructing distance metrics to define similarity and dissimilarity are the key methods to identify software variants, clones, derivatives, and classes of software. Software Similarity and Classification reviews the literature of those core concepts, in addition to relevant literature in each application and demonstrates that considering these applied problems as a similarity and classification problem enables techniques to be shared between areas. Additionally, the authors present in-depth case studies using the software similarity and classifica-tion techniques developed throughout the book.

Feature 7 The first book to construct a theory to describe the problems in software similarity and classifi-cation

Contents Preface.- Acknowledgements.- Introduction.- Ta-xonomy of Program Features.- Program Trans-formations and Obfuscations.- Formal Methods of Program Analysis.- Static Analysis of Binaries.- Dynamic Analysis.- Feature Extraction.- Software Birthmark Similarity.- Software Similarity Se-arching and Classification.- Applications.- Future Trends and Conclusion.

Fields of interestsSystems and Data Security; Legal Aspects of Computing


Product categoryBrief

Due April 2012

2012. XI, 86 p. 26 illus. (SpringerBriefs in Computer Science) Softcover7 * € (D) 42,75 | € (A) 43,95 | sFr 53,507 € 39,95 | £35.99ISBN 978-1-4471-2908-0

9<HTMEPH=bcjaia>




around and beyond the square modern optimization ... · finite intervals.- 17. nonoscillation...

Documents