Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 19th International Symposium on Fundamentals of Computation Theory, FCT 2013, held in Liverpool, UK, in August 2013. The 29 papers (26 full papers and 3 invited papers) were carefully reviewed and selected from 58 submissions. The papers cover the following topics: algorithms, formal methods, and emerging fields.

Engineering & Applied Sciences --- Computer Science --- Computer science. --- Computers. --- Computer science --- Computer Science. --- Theory of Computation. --- Discrete Mathematics in Computer Science. --- Mathematics. --- Computational complexity --- Information theory --- Information theory. --- Computational complexity. --- Complexity, Computational --- Electronic data processing --- Machine theory --- Communication theory --- Communication --- Cybernetics --- Computer science—Mathematics. --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Calculators --- Cyberspace --- Discrete mathematics. --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis --- Informatics --- Science

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes revised selected papers from the 12th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2016, held in Aarhus, Denmark, in August 2016. The 9 full papers presented in this volume were carefully reviewed and selected from 19 submissions. This year papers were solicited into three tracks: Distributed and Mobile, Experiments and Applications, and Wireless and Geometry.

Computer science. --- Computer communication systems. --- Data structures (Computer science). --- Computers. --- Algorithms. --- Computer science --- Artificial intelligence. --- Computer Science. --- Algorithm Analysis and Problem Complexity. --- Computation by Abstract Devices. --- Computer Communication Networks. --- Mathematics of Computing. --- Artificial Intelligence (incl. Robotics). --- Data Structures. --- Mathematics. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Algorism --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Informatics --- Mathematics --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Algebra --- Arithmetic --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- File organization (Computer science) --- Abstract data types (Computer science) --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Science --- Foundations --- Distributed processing --- Computer software. --- Data structures (Computer scienc. --- Artificial Intelligence. --- Data structures (Computer science) --- Software, Computer --- Computer science—Mathematics. --- Wireless sensor networks --- Ad hoc networks (Computer networks) --- WSNs (Sensor networks) --- Computer networks --- Low voltage systems --- Sensor networks --- Wireless communication systems --- Context-aware computing --- MANETs (Computer networks) --- Mobile ad hoc networks --- Wireless ad hoc networks

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Search games and rendezvous problems have received growing attention in computer science within the past few years.  Rendezvous problems emerge naturally, for instance, to optimize performance and convergence of mobile robots. This gives a new algorithmic point of view to the theory. Furthermore, modern topics such as the spreading of gossip or disease in social networks have lead to new challenging problems in search and rendezvous. Search Theory: A Game Theoretic Perspective introduces the first integrated approach to Search and Rendezvous from the perspectives of  biologists, computer scientists and mathematicians. This contributed volume covers a wide range of topics including rendezvous problems and solutions, rendezvous on graphs, search games on biology, mobility in governed social networks, search and security, and more.  Most chapters also include case studies or a  survey, in addition to a chapter on the future direction of Search and Rendezvous research. This book targets researchers and practitioners working in computer science, mathematics and biology as a reference book.  Advanced level students focused on these fields will also find this book valuable as a secondary text book or reference.

NON-CLASSIFIABLE --- Search theory --- Game theory --- Engineering & Applied Sciences --- Computer Science --- Search theory. --- Game theory. --- Games, Theory of --- Theory of games --- Computer science. --- Computer science --- Artificial intelligence. --- Biomathematics. --- Mathematics. --- Social sciences. --- Computer Science. --- Math Applications in Computer Science. --- Artificial Intelligence (incl. Robotics). --- Game Theory, Economics, Social and Behav. Sciences. --- Mathematical and Computational Biology. --- Mathematics in the Humanities and Social Sciences. --- Mathematical models --- Mathematics --- Operations research --- Artificial Intelligence. --- Math --- Science --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Informatics --- Computer science—Mathematics. --- Behavioral sciences --- Human sciences --- Sciences, Social --- Social science --- Social studies --- Civilization --- Biology