![]() |
Analysis of Boolean Functions
ISBN: 9781107038325 / Angielski / Twarda / 444 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Boolean functions are perhaps the most basic objects of study in theoretical computer science. They also arise in other areas of mathematics, including combinatorics, statistical physics, and mathematical social choice. The field of analysis of Boolean functions seeks to understand them via their Fourier transform and other analytic methods. This text gives a thorough overview of the field, beginning with the most basic definitions and proceeding to advanced topics such as hypercontractivity and isoperimetry. Each chapter includes a highlight application such as Arrow's theorem from...
Boolean functions are perhaps the most basic objects of study in theoretical computer science. They also arise in other areas of mathematics, includin...
|
cena:
434,45 zł |
![]() |
Computational Trust Models and Machine Learning
ISBN: 9781482226669 / Angielski / Twarda / 232 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Computational Trust Models and Machine Learning provides a detailed introduction to the concept of trust and its application in various computer science areas, including multi-agent systems, online social networks, and communication systems. Identifying trust modeling challenges that cannot be addressed by traditional approaches, this book:
Computational Trust Models and Machine Learning provides a detailed introduction to the concept of trust and its application in va... |
cena:
512,17 zł |
![]() |
Language, Life, Limits: 10th Conference on Computability in Europe, Cie 2014, Budapest, Hungary, June 23-27, 2014, Proceedings
ISBN: 9783319080185 / Angielski / Miękka / 410 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 10th Conference on Computability in Europe, CiE 2014, held in Budapest, Hungary, in June 2014. The 42 revised papers presented were carefully reviewed and selected from 78 submissions and included together with 15 invited papers in this proceedings. The conference had six special sessions: computational linguistics, bio-inspired computation, history and philosophy of computing, computability theory, online algorithms and complexity in automata theory.
This book constitutes the refereed proceedings of the 10th Conference on Computability in Europe, CiE 2014, held in Budapest, Hungary, in June 2014. T...
|
cena:
201,72 zł |
![]() |
Implementation and Application of Automata: 19th International Conference, Ciaa 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings
ISBN: 9783319088457 / Angielski / Miękka / 347 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 19th This book constitutes the refereed proceedings of the 19th |
cena:
201,72 zł |
![]() |
From Animals to Animats 13: 13th International Conference on Simulation of Adaptive Behavior, Sab 2014, Castellón, Spain, July 22-25, 2014, Procee
ISBN: 9783319088631 / Angielski / Miękka / 340 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 13th International Conference on Simulation of Adaptive Behavior, SAB 2014, held in Castellon, Spain, in July 2014. The 32 papers presented in this volume were carefully reviewed and selected for inclusion in the proceedings. They cover the main areas in animat research, including the animat approach and methodology, perception and motor control, navigation and internal world models, learning and adaptation, evolution and collective and social behavior.
This book constitutes the proceedings of the 13th International Conference on Simulation of Adaptive Behavior, SAB 2014, held in Castellon, Spain, in ...
|
cena:
201,72 zł |
![]() |
Unconventional Computation and Natural Computation: 13th International Conference, Ucnc 2014, London, On, Canada, July 14-18, 2014, Proceedings
ISBN: 9783319081229 / Angielski / Miękka / 394 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 13th International Conference on Unconventional Computation and Natural Computation, UCNC 2014, held in London, ON, Canada, in July 2014. The 31 revised full papers were carefully reviewed and selected from 79 submissions. The papers cover a wide range of topics including among others molecular, quantum, optical and chaos computing as well as neural computation, evolutionary computation, swarm intelligence and computational neuroscience.
This book constitutes the refereed proceedings of the 13th International Conference on Unconventional Computation and Natural Computation, UCNC 2014, ...
|
cena:
201,72 zł |
![]() |
Developments in Language Theory: 18th International Conference, Dlt 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings
ISBN: 9783319096971 / Angielski / Miękka / 349 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 18th International Conference on Developments in Language Theory, DLT 2014, held in Ekaterinburg, Russia, in August 2014. The 22 full papers and 5 short papers presented together with 3 invited talks were carefully reviewed and selected from 38 submissions. The papers are organized in topical subjects on Grammars, Acceptors and Transducers for Words, Trees and Graphs, Algebraic Theories of Automata, Algorithmic, Combinatorial and Algebraic Properties of Words and Languages, Variable Length Codes, Symbolic Dynamics, Cellular Automata, Polyominoes...
This book constitutes the proceedings of the 18th International Conference on Developments in Language Theory, DLT 2014, held in Ekaterinburg, Russia,...
|
cena:
201,72 zł |
![]() |
Descriptional Complexity of Formal Systems: 16th International Workshop, Dcfs 2014, Turku, Finland, August 5-8, 2014, Proceedings
ISBN: 9783319097039 / Angielski / Miękka / 366 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 16th International Conference on Descriptional Complexity of Formal Systems, DCFS 2014, held in Turku, Finland, in August 2014. The 27 full papers presented were carefully reviewed and selected from 35 submissions. The conference dealt with the following topics: Automata, grammars, languages and other formal systems; various modes of operation and complexity measures; trade-offs between computational models and modes of operation; succinctness of description of objects, state explosion-like phenomena; circuit complexity of Boolean...
This book constitutes the refereed proceedings of the 16th International Conference on Descriptional Complexity of Formal Systems, DCFS 2014, held in ...
|
cena:
201,72 zł |
![]() |
Theoretical Computer Science: 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings
ISBN: 9783662446010 / Angielski / Miękka / 355 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 8th FIP WG 2.2 International Conference, TCS 2014, held in Rome, Italy, in September 2014. The 26 revised full papers presented, together with two invited talks, were carefully reviewed and selected from 73 submissions. Suggestion--please check and add more if needed] TCS-2014 consisted of two tracks, with separate program committees, which dealt respectively with: - Track A: Algorithms, Complexity and Models of Computation, and - Track B: Logic, Semantics, Specification and Verification
This book constitutes the refereed proceedings of the 8th FIP WG 2.2 International Conference, TCS 2014, held in Rome, Italy, in September 2014. The 2...
|
cena:
201,72 zł |
![]() |
Instruction Sequences for Computer Science
ISBN: 9789462390492 / Angielski / Miękka / 232 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book demonstrates that the concept of an instruction sequence offers a novel and useful viewpoint on issues relating to diverse subjects in computer science. Selected issues relating to well-known subjects from the theory of computation and the area of computer architecture are rigorously investigated in this book thinking in terms of instruction sequences. The subjects from the theory of computation, to wit the halting problem and non-uniform computational complexity, are usually investigated thinking in terms of a common model of computation such as Turing machines and Boolean...
This book demonstrates that the concept of an instruction sequence offers a novel and useful viewpoint on issues relating to diverse subjects in compu...
|
cena:
510,39 zł |
![]() |
The Relevance of the Time Domain to Neural Network Models
ISBN: 9781461429920 / Angielski / Miękka / 226 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A significant amount of effort in neural modeling is directed towards understanding the representation of information in various parts of the brain, such as cortical maps 6], and the paths along which sensory information is processed. Though the time domain is integral an integral aspect of the functioning of biological systems, it has proven very challenging to incorporate the time domain effectively in neural network models. A promising path that is being explored is to study the importance of synchronization in biological systems. Synchronization plays a critical role in the... A significant amount of effort in neural modeling is directed towards understanding the representation of information in various parts of the brain... |
cena:
605,23 zł |
![]() |
Formal Modeling and Analysis of Timed Systems: 12th International Conference, Formats 2014, Florence, Italy, September 8-10, 2014, Proceedings
ISBN: 9783319105116 / Angielski / Miękka / 253 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 12th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2014, held in Florence, Italy, in September 2014.
The 17 revised full papers presented were carefully reviewed and selected from 36 submissions. The papers cover topics of foundations and semantics; comparison between different models, such as timed automata, timed Petri nets, hybrid automata, timed process algebra, max-plus algebra, probabilistic models; methods and tools for analyzing timed systems and resolving temporal constraints; applications... This book constitutes the refereed proceedings of the 12th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2014, he...
|
cena:
193,68 zł |
![]() |
The End of Error: Unum Computing
ISBN: 9781482239867 / Angielski / Miękka / 442 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Future of Numerical Computing Written by one of the foremost experts in high-performance computing and the inventor of Gustafson s Law, The End of Error: Unum Computing explains a new approach to computer arithmetic: the universal number (unum). The unum encompasses all IEEE floating-point formats as well as fixed-point and exact integer arithmetic. This new number type obtains more accurate answers than floating-point arithmetic yet uses fewer bits in many cases, saving memory, bandwidth, energy, and power. A Complete Revamp of... The Future of Numerical Computing Written by one of the foremost experts in high-performance computing and the inventor of ... |
cena:
302,37 zł |
![]() |
Artificial Neural Networks and Machine Learning -- Icann 2014: 24th International Conference on Artificial Neural Networks, Hamburg, Germany, Septembe
ISBN: 9783319111780 / Angielski / Miękka / 852 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The book constitutes the proceedings of the 24th International Conference on Artificial Neural Networks, ICANN 2014, held in Hamburg, Germany, in September 2014.
The 107 papers included in the proceedings were carefully reviewed and selected from 173 submissions. The focus of the papers is on following topics: recurrent networks; competitive learning and self-organisation; clustering and classification; trees and graphs; human-machine interaction; deep networks; theory; reinforcement learning and action; vision; supervised learning; dynamical models and time series; neuroscience; and... The book constitutes the proceedings of the 24th International Conference on Artificial Neural Networks, ICANN 2014, held in Hamburg, Germany, in Sept...
|
cena:
201,72 zł |
![]() |
DNA Computing and Molecular Programming: 20th International Conference, DNA 20, Kyoto, Japan, September 22-26, 2014. Proceedings
ISBN: 9783319112947 / Angielski / Miękka / 161 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 20th International Conference on DNA Computing and Molecular Programming, DNA 20, held in Kyoto, Japan, in September 2014. The 10 full papers presented were carefully selected from 55 submissions. The papers are organized in many disciplines (including mathematics, computer science, physics, chemistry, material science and biology) to address the analysis, design, and synthesis of information-based molecular systems.
This book constitutes the refereed proceedings of the 20th International Conference on DNA Computing and Molecular Programming, DNA 20, held in Kyoto,...
|
cena:
161,41 zł |
![]() |
Reachability Problems: 8th International Workshop, Rp 2014, Oxford, Uk, September 22-24, 2014, Proceedings
ISBN: 9783319114385 / Angielski / Miękka / 246 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 8th International Workshop on Reachability Problems, RP 2014, held in Oxford, UK, in September 2014. The 17 papers presented in this volume were carefully reviewed and selected from 25 submissions. The book also contains a paper summarizing the invited talk. The papers offer new approaches for the modelling and analysis of computational processes by combining mathematical, algorithmic, and computational techniques.
This book constitutes the proceedings of the 8th International Workshop on Reachability Problems, RP 2014, held in Oxford, UK, in September 2014. The ...
|
cena:
193,68 zł |
![]() |
Cellular Automata: 11th International Conference on Cellular Automata for Research and Industry, Acri 2014, Krakow, Poland, September 22-
ISBN: 9783319115191 / Angielski / Miękka / 713 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, held in Krakow, Poland, in September 2014. The 67 full papers and 7 short papers presented in this volume were carefully reviewed and selected from 125 submissions. They are organized in topical sections named: theoretical results on cellular automata; cellular automata dynamics and synchronization; modeling and simulation with cellular automata; cellular automata-based hardware and computing; cryptography, networks and pattern recognition with cellular...
This book constitutes the proceedings of the 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, held in Krakow, ...
|
cena:
201,72 zł |
![]() |
Artificial Evolution: 11th International Conference, Evolution Artificielle, EA 2013, Bordeaux, France, October 21-23, 2013. Revised Selecte
ISBN: 9783319116822 / Angielski / Miękka / 271 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 11th International Conference on Artificial Evolution, EA 2013, held in Bordeaux, France, in October 2013. The 20 revised papers were carefully reviewed and selected from 39 submissions. The papers are focused to theory, ant colony optimization, applications, combinatorial and discrete optimization, memetic algorithms, genetic programming, interactive evolution, parallel evolutionary algorithms, and swarm intelligence.
This book constitutes the refereed proceedings of the 11th International Conference on Artificial Evolution, EA 2013, held in Bordeaux, France, in Oct...
|
cena:
193,68 zł |
![]() |
Brain-Inspired Computing: International Workshop, Braincomp 2013, Cetraro, Italy, July 8-11, 2013, Revised Selected Papers
ISBN: 9783319120836 / Angielski / Miękka / 213 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed conference proceedings of the International Workshop on Brain-inspired Computing, BrainComp 2013, held in Cetraro, Italy, in July 2013. The 16 revised full papers were carefully reviewed and selected from numerous submissions and cover topics such as brain structure and function as a neuroscience perspective, computational models and brain-inspired computing, HPC and visualization for human brain simulations.
This book constitutes the thoroughly refereed conference proceedings of the International Workshop on Brain-inspired Computing, BrainComp 2013, held i...
|
cena:
193,68 zł |
![]() |
Advances in Neural Networks - Isnn 2014: 11th International Symposium on Neural Networks, Isnn 2014, Hong Kong and Macao, China, November 28 -- Decemb
ISBN: 9783319124353 / Angielski / Miękka / 649 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The volume LNCS 8866 constitutes the refereed proceedings of the 11th International Symposium on Neural Networks, ISNN 2014, held in Hong Kong and Macao, China on November/ December 2014. The 71 revised full papers presented were carefully reviewed and selected from 119 submissions. These papers cover all major topics of the theoretical research, empirical study and applications of neural networks research as follows. The focus is on following topics such as analysis, modeling, and applications.
The volume LNCS 8866 constitutes the refereed proceedings of the 11th International Symposium on Neural Networks, ISNN 2014, held in Hong Kong and Mac...
|
cena:
201,72 zł |