Frontiers of Combining Systems: 9th International Symposium, Frocos 2013, Nancy, France, September 18-20, 2013, Proceedings
ISBN: 9783642408847 / Angielski / Miękka / 359 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 9th International Symposium on Frontiers of Combining Systems, FroCoS 2013, held in Nancy, France, in September 2013. The 20 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 33 submissions. FroCoS'13 seeks to offer a common forum for research in the general area of combination, modularization and integration of systems, with emphasis on logic-based ones, and of their practical use. Typical topics of interest include following subjects: combinations of logics such as combined predicate,...
This book constitutes the refereed proceedings of the 9th International Symposium on Frontiers of Combining Systems, FroCoS 2013, held in Nancy, Franc...
|
|
cena:
194,97 zł |
Exploiting Mental Imagery with Computers in Mathematics Education
ISBN: 9783642633508 / Angielski / Miękka / 326 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The advent of fast and sophisticated computer graphics has brought dynamic and interactive images under the control of professional mathematicians and mathematics teachers. This volume in the NATO Special Programme on Advanced Educational Technology takes a comprehensive and critical look at how the computer can support the use of visual images in mathematical problem solving. The contributions are written by researchers and teachers from a variety of disciplines including computer science, mathematics, mathematics education, psychology, and design. Some focus on the use of external visual...
The advent of fast and sophisticated computer graphics has brought dynamic and interactive images under the control of professional mathematicians and...
|
|
cena:
194,97 zł |
Applications of Evolutionary Computation: Evoapplications 2010: Evocomnet, Evoenvironment, Evofin, Evomusart, and Evotranslog, Istanbul, Turkey, April
ISBN: 9783642122415 / Angielski / Miękka / 476 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Evolutionary computation (EC) techniques are e?cient, nature-inspired me- ods based on the principles of natural evolution and genetics. Due to their - ciency and simple underlying principles, these methods can be used for a diverse rangeofactivitiesincludingproblemsolving, optimization, machinelearningand pattern recognition. A large and continuously increasing number of researchers and professionals make use of EC techniques in various application domains. This volume presents a careful selection of relevant EC examples combined with a thorough examination of the techniques used in EC. The...
Evolutionary computation (EC) techniques are e?cient, nature-inspired me- ods based on the principles of natural evolution and genetics. Due to their ...
|
|
cena:
389,98 zł |
Contrast Data Mining: Concepts, Algorithms, and Applications
ISBN: 9781439854327 / Angielski / Twarda / 434 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A Fruitful Field for Researching Data Mining Methodology and for Solving Real-Life Problems A Fruitful Field for Researching Data Mining Methodology and for Solving Real-Life Problems |
|
cena:
532,07 zł |
Algebraic Systems and Computational Complexity Theory
ISBN: 9780792325338 / Angielski / Twarda / 256 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Significant progress has been made during the last 15 years in the solution of nonlinear systems, particularly in computing fixed points, solving systems of nonlinear equations and applications to equilibrium models.
Significant progress has been made during the last 15 years in the solution of nonlinear systems, particularly in computing fixed points, solving syst...
|
|
cena:
589,81 zł |
Eurocode '92: International Symposium on Coding Theory and Applications
ISBN: 9783211825198 / Angielski / Miękka / 403 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is made of the proceedings of EUROCODE 1992 which was held in Udine (Italy) at the CISM, October 27 - 30, 1992. EUROCODE 92 is a continuation as well as an extension of the previous colloquia Trois Journees sur le codage and EUROCODE 90, whose proceedings appeared as Lecture Notes in Computer Science (Volumes 388 and 514). The aim of EUROCODE 92 was to attract high level research papers and to encourage interchange of ideas among the areas of coding theory and related fields which share the same tools for applications in the science of communications, theoretical computer science,...
This book is made of the proceedings of EUROCODE 1992 which was held in Udine (Italy) at the CISM, October 27 - 30, 1992. EUROCODE 92 is a continuatio...
|
|
cena:
194,97 zł |
Stacs 94: 11th Annual Symposium on Theoretical Aspects of Computer Science Caen, France, February 24-26, 1994 Proceedings
ISBN: 9783540577850 / Angielski / Miękka / 786 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume of conference proceedings contains 60 papers presenting a wide range of issues in theoretical computer science. Emphasis has been placed on parallel algorithms and complexity theory.
This volume of conference proceedings contains 60 papers presenting a wide range of issues in theoretical computer science. Emphasis has been placed o...
|
|
cena:
194,97 zł |
Network Control and Optimization: Third Euro-NF Conference, NET-COOP 2009 Eindhoven, The Netherlands, November 23-25, 2009 Proceedings
ISBN: 9783642104053 / Angielski / Miękka / 279 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. We are proud to present the proceedings of NET-COOP 2009, the inter- tionalconferenceonnetworkcontrolandoptimization, co-organizedbyEURAN- DOM/Eindhoven University of Technology and CWI. This year's conference at EURANDOM, held November 23-25, was the third in line after previous e- tions in Avignon (2007) and Paris (2008). NET-COOP 2009 was organized in conjunction with the Euro-NF workshop on "New Trends in Modeling, Quan- tative Methods, and Measurements. " While organized within the framework of Euro-NF, NET-COOP enjoys great interest beyond Euro-NF, as is attested by the geographic...
We are proud to present the proceedings of NET-COOP 2009, the inter- tionalconferenceonnetworkcontrolandoptimization, co-organizedbyEURAN- DOM/Eindhov...
|
|
cena:
194,97 zł |
Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics: 8th European Conference, EvoBIO 2010 Istanbul, Turkey, April 7-9, 2010 P
ISBN: 9783642122101 / Angielski / Miękka / 249 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 7th European Conference on Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics, EvoBIO 2010, held in Istanbul, Turkey, in April 2010 co-located with the Evo* 2010 events.
Constitutes the refereed proceedings of the 7th European Conference on Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics, E...
|
|
cena:
194,97 zł |
Methods and Tools of Parallel Programming Multicomputers
ISBN: 9783642148217 / Angielski / Miękka / 302 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. It is our great pleasure to present the proceedings of the second Russia-Taiwan Symposium on Methods and Tools of Parallel Programming (MTPP 2010). MTPP is the main regular event of the Russia-Taiwan scientific forum that covers the many dimensions of methods and tools of parallel programming, algorithms and architectures, encompassing fundamental theoretical approaches, practical experimental projects, and commercial components and systems. As applications of computing systems have permeated every aspect of daily life, the power of computing systems has become increasingly critical....
It is our great pleasure to present the proceedings of the second Russia-Taiwan Symposium on Methods and Tools of Parallel Programming (MTPP 2010). MT...
|
|
cena:
194,97 zł |
Software Development: An Open Source Approach
ISBN: 9781439812907 / Angielski / Twarda / 400 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. To understand the principles and practice of software development, there is no better motivator than participating in a software project with real-world value and a life beyond the academic arena. Software Development: An Open Source Approach immerses students directly into an agile free and open source software (FOSS) development process. It focuses on the methodologies and goals that drive the development of FOSS, combining principles with real-world skill building, such as debugging, refactoring, and writing. The text explains the software development process through an integration of FOSS...
To understand the principles and practice of software development, there is no better motivator than participating in a software project with real-wor...
|
|
cena:
430,67 zł |
Lattice Basis Reduction: An Introduction to the LLL Algorithm and Its Applications
ISBN: 9781439807026 / Angielski / Twarda / 332 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. First developed in the early 1980s by Lenstra, Lenstra, and Lovasz, the LLL algorithm was originally used to provide a polynomial-time algorithm for factoring polynomials with rational coefficients. It very quickly became an essential tool in integer linear programming problems and was later adapted for use in cryptanalysis. This book provides an introduction to the theory and applications of lattice basis reduction and the LLL algorithm. With numerous examples and suggested exercises, the text discusses various applications of lattice basis reduction to cryptography, number theory,... First developed in the early 1980s by Lenstra, Lenstra, and Lovasz, the LLL algorithm was originally used to provide a polynomial-time algorithm fo... |
|
cena:
557,40 zł |
Handbook of Global Optimization: Volume 2
ISBN: 9781402006326 / Angielski / Twarda / 572 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In 1995 the Handbook of Global Optimization (first volume), edited by R. Horst, and P.M. Pardalos, was published. This second volume of the Handbook of Global Optimization is comprised of chapters dealing with modern approaches to global optimization, including different types of heuristics. Together (available as a set, set ISBN 1-4020-0742-6), the two volumes of the handbook cover a complete and broad spectrum of approaches for dealing with global optimization problems. The goal of the editors is to provide a true handbook that does not focus on... In 1995 the Handbook of Global Optimization (first volume), edited by R. Horst, and P.M. Pardalos, was published. This second volu... |
|
cena:
780,00 zł |
Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, the Netherlands, November 6, 2010, Revi
ISBN: 9783642153303 / Angielski / Miękka / 170 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The First International Workshop on FOundational and Practical Aspects of Resource Analysis (FOPARA) was initiated to serve as a forum for presenting originalresearchresultsthatarerelevanttothe analysisofresource(time, space) consumption by computer programs. FOPARA aimed to bring together the - searchers working on foundational issues with the researchers focusing more on practical results. Therefore, both theoretical and practical contributions were encouraged.The contributions coveredthe following topics: resourceanalysisfor embedded systems, logical and machine-independent...
The First International Workshop on FOundational and Practical Aspects of Resource Analysis (FOPARA) was initiated to serve as a forum for presenting ...
|
|
cena:
194,97 zł |
Proceedings of the Second International Conference on Soft Computing for Problem Solving (Socpros 2012), December 28-30, 2012
ISBN: 9788132216018 / Angielski / Miękka / 1604 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The present book is based on the research papers presented in the International Conference on Soft Computing for Problem Solving (SocProS 2012), held at JK Lakshmipat University, Jaipur, India. This book provides the latest developments in the area of soft computing and covers a variety of topics, including mathematical modeling, image processing, optimization, swarm intelligence, evolutionary algorithms, fuzzy logic, neural networks, forecasting, data mining, etc. The objective of the book is to familiarize the reader with the latest scientific developments that are taking place in various...
The present book is based on the research papers presented in the International Conference on Soft Computing for Problem Solving (SocProS 2012), held ...
|
|
cena:
1170,03 zł |
Differentiable Optimization and Equation Solving: A Treatise on Algorithmic Science and the Karmarkar Revolution
ISBN: 9781441930613 / Angielski / Miękka / 256 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In 1984, N. Karmarkar published a seminal paper on algorithmic linear programming. During the subsequent decade, it stimulated a huge outpouring of new algorithmic results by researchers world-wide in many areas of mathematical programming and numerical computation. This book gives an overview of the resulting, dramatic reorganization that has occurred in one of these areas: algorithmic differentiable optimization and equation-solving, or, more simply, algorithmic differentiable programming. The book is aimed at readers familiar with advanced calculus, numerical analysis, in particular...
In 1984, N. Karmarkar published a seminal paper on algorithmic linear programming. During the subsequent decade, it stimulated a huge outpouring of ne...
|
|
cena:
389,98 zł |
Variational Theory of Splines
ISBN: 9781441933683 / Angielski / Miękka / 280 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Th e vari a t i on al s p li ne t heo ry w h ic h orig i na t es from th e w ell-kn own p ap er b y J. e . Hollid a y ( 1957) i s t od a y a we ll- deve lo pe d fi eld in a p pr o x - mat i o n t he o ry . T he ge ne ra l d efinition of s p l i nes in t he Hilb er t s pace, - i st ence, uniquen e s s, and ch ar a c t eriz a tion t he o re ms w ere obt ain ed a b o ut 35 ye a r s ago b y M . A t t ei a, P . J . Laur en t, a n d P . M. An selon e, bu t in r e cent y e a r s important n e w r esult s h a v e b e en ob t ain ed in th e a bst ract va r i a t i o n a l s p l i ne theor y .
Th e vari a t i on al s p li ne t heo ry w h ic h orig i na t es from th e w ell-kn own p ap er b y J. e . Hollid a y ( 1957) i s t od a y a we ll- de...
|
|
cena:
389,98 zł |
Scientific Computing, Validated Numerics, Interval Methods
ISBN: 9781441933768 / Angielski / Miękka / 398 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Scan 2000, the GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics and Interval 2000, the International Conference on Interval Methods in Science and Engineering were jointly held in Karlsruhe, September 19-22, 2000. The joint conference continued the series of 7 previous Scan-symposia under the joint sponsorship of GAMM and IMACS. These conferences have traditionally covered the numerical and algorithmic aspects of scientific computing, with a strong emphasis on validation and verification of computed results as well as on arithmetic,...
Scan 2000, the GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics and Interval 2000, the Intern...
|
|
cena:
585,00 zł |
Genetic Programming Theory and Practice II
ISBN: 9781441935892 / Angielski / Miękka / 320 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The work described in this book was first presented at the Second Workshop on Genetic Programming, Theory and Practice, organized by the Center for the Study of Complex Systems at the University of Michigan, Ann Arbor, 13-15 May 2004. The goal of this workshop series is to promote the exchange of research results and ideas between those who focus on Genetic Programming (GP) theory and those who focus on the application of GP to various re- world problems. In order to facilitate these interactions, the number of talks and participants was small and the time for discussion was large. Further,...
The work described in this book was first presented at the Second Workshop on Genetic Programming, Theory and Practice, organized by the Center for th...
|
|
cena:
585,00 zł |
Optimization in Computational Chemistry and Molecular Biology: Local and Global Approaches
ISBN: 9781441948267 / Angielski / Miękka / 342 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Optimization in Computational Chemistry and Molecular Biology: Local and Global Approaches covers recent developments in optimization techniques for addressing several computational chemistry and biology problems. A tantalizing problem that cuts across the fields of computational chemistry, biology, medicine, engineering and applied mathematics is how proteins fold. Global and local optimization provide a systematic framework of conformational searches for the prediction of three-dimensional protein structures that represent the global minimum free energy, as well as...
Optimization in Computational Chemistry and Molecular Biology: Local and Global Approaches covers recent developments in optimizati...
|
|
cena:
585,00 zł |