![]() |
Security and Trust Management: 9th International Workshop, STM 2013, Egham, Uk, September 12-13, 2013, Proceedings
ISBN: 9783642410970 / Angielski / Miękka / 235 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 9th International Workshop on Security and Trust Management, STM 2013, held in Egham, UK, in September 2013 - in conjunction with the 18th European Symposium Research in Computer Security (ESORICS 2013). The 15 revised full papers including two invited talks were carefully reviewed and selected from 47 submissions. The papers are organized into topical sections on policy enforcement and monitoring; access control; trust, reputation, and privacy; distributed systems and physical security; authentication and security policies.
This book constitutes the refereed proceedings of the 9th International Workshop on Security and Trust Management, STM 2013, held in Egham, UK, in Sep...
|
cena:
188,22 |
![]() |
Progress in Image Analysis and Processing, Iciap 2013: Naples, Italy, September 9-13, 2013, Proceedings, Part I
ISBN: 9783642411809 / Angielski / Miękka / 858 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This two volume set (LNCS 8156 and 8157) constitutes the refereed proceedings of the 17th International Conference on Image Analysis and Processing, ICIAP 2013, held in Naples, Italy, in September 2013. The 162 papers presented were carefully reviewed and selected from 354 submissions. The papers aim at highlighting the connection and synergies of image processing and analysis with pattern recognition and machine learning, human computer systems, biomedical imaging and applications, multimedia interaction and processing, 3D computer vision, and understanding objects and scene.
This two volume set (LNCS 8156 and 8157) constitutes the refereed proceedings of the 17th International Conference on Image Analysis and Processing, I...
|
cena:
204,55 |
![]() |
Progress in Image Analysis and Processing, Iciap 2013: Naples, Italy, September 9-13, 2013, Proceedings, Part II
ISBN: 9783642411830 / Angielski / Miękka / 766 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This two volume set (LNCS 8156 and 8157) constitutes the refereed proceedings of the 17th International Conference on Image Analysis and Processing, ICIAP 2013, held in Naples, Italy, in September 2013. The 162 papers presented were carefully reviewed and selected from 354 submissions. The papers aim at highlighting the connection and synergies of image processing and analysis with pattern recognition and machine learning, human computer systems, biomedical imaging and applications, multimedia interaction and processing, 3D computer vision, and understanding objects and scene.
This two volume set (LNCS 8156 and 8157) constitutes the refereed proceedings of the 17th International Conference on Image Analysis and Processing, I...
|
cena:
204,55 |
![]() |
Advances in Communication Networking: 19th EUNICE/IFIP EG WG 6.6 International Workshop, Chemnitz, Germany, August 28-30, 2013, Proceedings
ISBN: 9783642405518 / Angielski / Miękka / 322 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 19th EUNICE/IFIP WG 6.2, 6.6 workshop on Advances in Communication Networking, EUNICE 2013, held in Chemnitz, Germany, in August 2013. The 23 oral papers demonstrated together with 9 poster presentations were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on network modeling and design, traffic analysis, network and traffic management, services over mobile networks, monitoring and measurement, security concepts, application of ICT in smart grid and smart home environments, data... This book constitutes the refereed proceedings of the 19th EUNICE/IFIP WG 6.2, 6.6 workshop on Advances in Communication Networking, EUNICE 2013, h... |
cena:
204,55 |
![]() |
Treatise on Intuitionistic Type Theory
ISBN: 9789400736399 / Angielski / Miękka / 212 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Intuitionistic type theory can be described, somewhat boldly, as a partial fulfillment of the dream of a universal language for science. This book expounds several aspects of intuitionistic type theory, such as the notion of set, reference vs. computation, assumption, and substitution. Moreover, the book includes philosophically relevant sections on the principle of compositionality, lingua characteristica, epistemology, propositional logic, intuitionism, and the law of excluded middle. Ample historical references are given throughout the book.
Intuitionistic type theory can be described, somewhat boldly, as a partial fulfillment of the dream of a universal language for science. This book ex...
|
cena:
572,82 |
![]() |
Designs 2002: Further Computational and Constructive Design Theory
ISBN: 9781461379584 / Angielski / Miękka / 368 str. Termin realizacji zamówienia: 22 dni roboczych This volume is a sequel to our 1996 compilation, Computational and Constructive Design Theory. Again we concentrate on two closely re lated aspects of the study of combinatorial designs: design construction and computer-aided study of designs. There are at least three classes of constructive problems in design theory. The first type of problem is the construction of a specific design. This might arise because that one particular case is an exception to a general rule, the last remaining case of a problem, or the smallest unknown case. A good example is the proof that there is no projective...
This volume is a sequel to our 1996 compilation, Computational and Constructive Design Theory. Again we concentrate on two closely re lated aspects of...
|
151,83 |
![]() |
Artificial General Intelligence: 6th International Conference, AGI 2013, Beijing, China, July 31 -- August 3, 2013, Proceedings
ISBN: 9783642395208 / Angielski / Miękka / 207 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 6th International Conference on Artificial General Intelligence, AGI 2013, held in Beijing, China, in July/August 2013. The 23 papers (17 full papers, 3 technical communications, and 3 special session papers) were carefully reviewed and selected from various submissions. The volume collects the current research endeavors devoted to develop formalisms, algorithms, and models, as well as systems that are targeted at general intelligence. Similar to the predecessor AGI conferences, researchers proposed different methodologies and techniques...
This book constitutes the refereed proceedings of the 6th International Conference on Artificial General Intelligence, AGI 2013, held in Beijing, Chin...
|
cena:
188,22 |
![]() |
Advances in Information and Computer Security: 8th International Workshop on Security, Iwsec 2013, Okinawa, Japan, November 18-20, 2013, Proceedings
ISBN: 9783642413827 / Angielski / Miękka / 319 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 8th International Workshop on Security, IWSEC 2013, held in Okinawa, Japan, in November 2013. The 20 revised selected papers presented in this volume were carefully reviewed and selected from 63 submissions. They are organized in topical sections named: software and system security, cryptanalysis, privacy and cloud computing, public key cryptosystems, and security protocols.
This book constitutes the refereed proceedings of the 8th International Workshop on Security, IWSEC 2013, held in Okinawa, Japan, in November 2013. Th...
|
cena:
204,55 |
![]() |
Mathematical Aspects of Network Routing Optimization
ISBN: 9781461430025 / Angielski / Miękka / 208 str. Termin realizacji zamówienia: 22 dni roboczych Before the appearance of broadband links and wireless systems, networks have been used to connect people in new ways. Now, the modern world is connected through large-scale, computational networked systems such as the Internet. Because of the ever-advancing technology of networking, efficient algorithms have become increasingly necessary to solve some of the problems developing in this area. "Mathematical Aspects of Network Routing Optimization" focuses on computational issues arising from the process of optimizing network routes, such as quality of the resulting links and their... Before the appearance of broadband links and wireless systems, networks have been used to connect people in new ways. Now, the modern world is conn... |
299,59 |
![]() |
Integrating Routing Decisions in Public Transportation Problems
ISBN: 9781461495659 / Angielski / Twarda / 227 str. Termin realizacji zamówienia: 22 dni roboczych This book treats three planning problems arising in public railway transportation planning: line planning, timetabling, and delay management, with the objective to minimize passengers' travel time. While many optimization approaches simplify these problems by assuming that passengers' route choice is independent of the solution, this book focuses on models which take into account that passengers will adapt their travel route to the implemented planning solution. That is, a planning solution and passengers' routes are determined and evaluated simultaneously. This work is technically... This book treats three planning problems arising in public railway transportation planning: line planning, timetabling, and delay management, with ... |
151,83 |
![]() |
Introduction to Numerical Computation in Pascal
ISBN: 9781475739428 / Angielski / Miękka / 291 str. Termin realizacji zamówienia: 22 dni roboczych Our intention in this book is to cover the core material in numerical analysis normally taught to students on degree courses in computer science. The main emphasis is placed on the use of analysis and programming techniques to produce well-designed, reliable mathematical software. The treatment should be of interest also to students of mathematics, science and engineering who wish to learn how to write good programs for mathematical computations. The reader is assumed to have some acquaintance with Pascal programming. Aspects of Pascal particularly relevant to numerical computation are...
Our intention in this book is to cover the core material in numerical analysis normally taught to students on degree courses in computer science. The ...
|
151,83 |
![]() |
Advanced Concepts for Intelligent Vision Systems: 15th International Conference, Acivs 2013, Poznań, Poland, October 28-31, 2013, Proceedings
ISBN: 9783319028941 / Angielski / Miękka / 722 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed proceedings of the 15th International Conference on Advanced Concepts for Intelligent Vision Systems, ACIVS 2013, held in Poznań, Poland, in October 2013. The 63 revised full papers were carefully selected from 111 submissions. The topics covered are aquisition, pre-processing and coding, biometry, classification and recognition, depth, 3D and tracking, efficient implementation and frameworks, low level image analysis, segmentation and video analysis.
This book constitutes the thoroughly refereed proceedings of the 15th International Conference on Advanced Concepts for Intelligent Vision Systems, AC...
|
cena:
409,14 |
![]() |
Advances in Visual Informatics: Third International Visual Informatics Conference, IVIC 2013, Selangor, Malaysia, November 13-15, 2013, Proceedings
ISBN: 9783319029573 / Angielski / Miękka / 799 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Third International Conference on Advances in Visual Informatics, IVIC 2013, held in Selangor, Malaysia, in November 2013. The four keynotes and 69 papers presented were carefully reviewed and selected from various submissions. The papers focus on four tracks: computer visions and engineering; computer graphics and simulation; virtual and augmented reality; and visualization and social computing.
This book constitutes the refereed proceedings of the Third International Conference on Advances in Visual Informatics, IVIC 2013, held in Selangor, M...
|
cena:
409,14 |
![]() |
Collectives and the Design of Complex Systems
ISBN: 9781461264729 / Angielski / Miękka / 323 str. Termin realizacji zamówienia: 22 dni roboczych Many complex systems found in nature can be viewed as function optimizers. In particular, they can be viewed as such optimizers of functions in extremely high- dimensional spaces. Given the difficulty of performing such high-dimensional op- timization with modern computers, there has been a lot of exploration of computa- tional algorithms that try to emulate those naturally-occurring function optimizers. Examples include simulated annealing (SA 15,18]), genetic algorithms (GAs) and evolutionary computation 2,3,9,11,20-22,24,28]. The ultimate goal of this work is an algorithm that can, for...
Many complex systems found in nature can be viewed as function optimizers. In particular, they can be viewed as such optimizers of functions in extrem...
|
151,83 |
![]() |
An Introduction to Data Structures and Algorithms
ISBN: 9781461266013 / Angielski / Miękka / 599 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Data structures and algorithms are presented at the college level in a highly accessible format that presents material with one-page displays in a way that will appeal to both teachers and students. The thirteen chapters cover: Models of Computation, Lists, Induction and Recursion, Trees, Algorithm Design, Hashing, Heaps, Balanced Trees, Sets Over a Small Universe, Graphs, Strings, Discrete Fourier Transform, Parallel Computation. Key features: Complicated concepts are expressed clearly in a single page with minimal notation and without the "clutter" of the syntax of a particular programming...
Data structures and algorithms are presented at the college level in a highly accessible format that presents material with one-page displays in a way...
|
cena:
204,55 |
![]() |
Automata and Computability
ISBN: 9781461273097 / Angielski / Miękka / 400 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The aim of this textbook is to provide undergraduate students with an introduction to the basic theoretical models of computability, and to develop some of the model's rich and varied structure. Students who have already some experience with elementary discrete mathematics will find this a well-paced first course, and a number of supplementary chapters introduce more advanced concepts. The first part of the book is devoted to finite automata and their properties. Pushdown automata provide a broader class of models and enable the analysis of context-free languages. In the remaining chapters,...
The aim of this textbook is to provide undergraduate students with an introduction to the basic theoretical models of computability, and to develop so...
|
cena:
233,19 |
![]() |
Information Processing in Cells and Tissues
ISBN: 9781461374381 / Angielski / Miękka / 327 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Proceedings of an International Workshop held in Sheffield, UK, September 1-4, 1997
Proceedings of an International Workshop held in Sheffield, UK, September 1-4, 1997
|
cena:
204,55 |
![]() |
Least Absolute Deviations: Theory, Applications and Algorithms
ISBN: 9781468485769 / Angielski / Miękka / 351 str. Termin realizacji zamówienia: 22 dni roboczych Least squares is probably the best known method for fitting linear models and by far the most widely used. Surprisingly, the discrete L 1 analogue, least absolute deviations (LAD) seems to have been considered first. Possibly the LAD criterion was forced into the background because of the com- putational difficulties associated with it. Recently there has been a resurgence of interest in LAD. It was spurred on by work that has resulted in efficient al- gorithms for obtaining LAD fits. Another stimulus came from robust statistics. LAD estimates resist undue effects from a feyv, large errors....
Least squares is probably the best known method for fitting linear models and by far the most widely used. Surprisingly, the discrete L 1 analogue, le...
|
151,83 |
![]() |
System Modelling and Optimization: Proceedings of the Seventeenth Ifip Tc7 Conference on System Modelling and Optimization, 1995
ISBN: 9781475766714 / Angielski / Miękka / 618 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Proceedings volume contains carefully selected papers presented during the 17th IFIP Conference on System Modelling and Optimization. Optimization theory and practice, optimal control, system modelling, stochastic optimization, and technical and non-technical applications of the existing theory are among areas mostly addressed in the included papers. Main directions are treated in addition to several survey papers based on invited presentations of leading specialists in the respective fields. Publication provides state-of-the-art in the area of system theory and optimization and...
Proceedings volume contains carefully selected papers presented during the 17th IFIP Conference on System Modelling and Optimization. Optimization t...
|
cena:
1317,70 |
![]() |
New Geometric Data Structures for Collision Detection and Haptics
ISBN: 9783319010199 / Angielski / Twarda / 240 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Starting with novel algorithms for optimally updating bounding volume hierarchies of objects undergoing arbitrary deformations, the author presents a new data structure that allows, for the first time, the computation of the penetration volume. The penetration volume is related to the water displacement of the overlapping region, and thus corresponds to a physically motivated and continuous force. The practicability of the approaches used is shown by realizing new applications in the field of robotics and haptics, including a user study that evaluates the influence of the degrees of... Starting with novel algorithms for optimally updating bounding volume hierarchies of objects undergoing arbitrary deformations, the author presents... |
cena:
204,55 |