%{search_type} search results

• 1. Models for mobile agent computing
• Introduction
• What is a mobile agent
• Why mobile agents
• An algorithmic model for mobile agents
• Mobile agents
• Distributed networks
• Resource measures
• Mobile agent rendezvous
• Outline of the book
• Comments and bibliographic remarks.

• 2. Deterministic rendezvous in a ring
• Introduction
• A single stationary token
• The feasibility of rendezvous
• The time complexity of rendezvous
• Memory tradeoff for rendezvous with detection
• Limits to the memory trade-off
• Movable tokens
• Comments and bibliographic remarks.

• 3. Multiple agent rendezvous in a ring
• Introduction
• Impossibility of rendezvous
• Rendezvous with detection
• Conditional solutions
• Comments and bibliographic remarks.

• 4. Randomized rendezvous in a ring
• Introduction
• Random walk algorithm
• Randomization and tokens
• Time/memory trade-offs
• Coin half tour algorithm
• Approximate counting algorithm
• Comments and bibliographic remarks.

• 5. Other models
• Introduction
• Leader election and rendezvous
• Rendezvous with failing tokens
• Rendezvous when tokens fail upon release
• Rendezvous when tokens can fail at any time
• The cost of token failure
• Flickering tokens
• Asynchronous rendezvous
• Look-compute-move
• Model and terminology
• Impossibility results
• Gathering configurations with a single multiplicity
• Gathering rigid configurations
• Gathering an odd number of robots
• Dangerous networks
• Black-hole search in an asynchronous ring
• Rendezvous in asynchronous rings in spite of a black-hole
• Comments and bibliographic remarks.

• 6. Other topologies
• Introduction
• Synchronous torus
• Memory lower bounds for rendezvous
• Rendezvous algorithms
• Trees
• Arbitrary graphs
• Comments and bibliographic remarks.

• Bibliography
• Glossary
• Authors' biographies
• Index.

Mobile agent computing is being used in fields as diverse as artificial intelligence, computational economics and robotics. Agents' ability to adapt dynamically and execute asynchronously and autonomously brings potential advantages in terms of fault-tolerance, flexibility and simplicity. This monograph focuses on studying mobile agents as modelled in distributed systems research and in particular within the framework of research performed in the distributed algorithms community. It studies the fundamental question of how to achieve rendezvous, the gathering of two or more agents at the same node of a network. Like leader election, such an operation is a useful subroutine in more general computations that may require the agents to synchronize, share information, divide up chores, etc. The work provides an introduction to the algorithmic issues raised by the rendezvous problem in the distributed computing setting. For the most part our investigation concentrates on the simplest case of two agents attempting to rendezvous on a ring network. Other situations including multiple agents, faulty nodes and other topologies are also examined. An extensive bibliography provides many pointers to related work not covered in the text. The presentation has a distinctly algorithmic, rigorous, distributed computing flavor and most results should be easily accessible to advanced undergraduate and graduate students in computer science and mathematics departments.

• 1. Models for mobile agent computing
• Introduction
• What is a mobile agent
• Why mobile agents
• An algorithmic model for mobile agents
• Mobile agents
• Distributed networks
• Resource measures
• Mobile agent rendezvous
• Outline of the book
• Comments and bibliographic remarks --

• 2. Deterministic rendezvous in a ring
• Introduction
• A single stationary token
• The feasibility of rendezvous
• The time complexity of rendezvous
• Memory tradeoff for rendezvous with detection
• Limits to the memory trade-off
• Movable tokens
• Comments and bibliographic remarks --

• 3. Multiple agent rendezvous in a ring
• Introduction
• Impossibility of rendezvous
• Rendezvous with detection
• Conditional solutions
• Comments and bibliographic remarks --

• 4. Randomized rendezvous in a ring
• Introduction
• Random walk algorithm
• Randomization and tokens
• Time/memory trade-offs
• Coin half tour algorithm
• Approximate counting algorithm
• Comments and bibliographic remarks --

• 5. Other models
• Introduction
• Leader election and rendezvous
• Rendezvous with failing tokens
• Rendezvous when tokens fail upon release
• Rendezvous when tokens can fail at any time
• The cost of token failure
• Flickering tokens
• Asynchronous rendezvous
• Look-compute-move
• Model and terminology
• Impossibility results
• Gathering configurations with a single multiplicity
• Gathering rigid configurations
• Gathering an odd number of robots
• Dangerous networks
• Black-hole search in an asynchronous ring
• Rendezvous in asynchronous rings in spite of a black-hole
• Comments and bibliographic remarks --

• 6. Other topologies
• Introduction
• Synchronous torus
• Memory lower bounds for rendezvous
• Rendezvous algorithms
• Trees
• Arbitrary graphs
• Comments and bibliographic remarks --

• Bibliography
• Glossary
• Authors' biographies
• Index.

Mobile agent computing is being used in fields as diverse as artificial intelligence, computational economics and robotics. Agents' ability to adapt dynamically and execute asynchronously and autonomously brings potential advantages in terms of fault-tolerance, flexibility and simplicity. This monograph focuses on studying mobile agents as modelled in distributed systems research and in particular within the framework of research performed in the distributed algorithms community. It studies the fundamental question of how to achieve rendezvous, the gathering of two or more agents at the same node of a network. Like leader election, such an operation is a useful subroutine in more general computations that may require the agents to synchronize, share information, divide up chores, etc. The work provides an introduction to the algorithmic issues raised by the rendezvous problem in the distributed computing setting.For the most part our investigation concentrates on the simplest case of two agents attempting to rendezvous on a ring network.Other situations including multiple agents, faulty nodes and other topologies are also examined. An extensive bibliography provides many pointers to related work not covered in the text. The presentation has a distinctly algorithmic, rigorous, distributed computing flavor and most results should be easily accessible to advanced undergraduate and graduate students in computer science and mathematics departments.

• Introduction
• E. Kranakis, P. van Oorschot. On Some Methods for Unconditionally Secure Key Distribution and Broadcast Encryption
• D.R. Stinson. MD2 is not Secure Without the Checksum Byte
• N. Rogier, P. Chauvaud. On the Weaknesses of Non-Surjective Round Functions
• V. Rijmen, et al. Resistance of a CAST-Like Encryption Algorithm to Linear and Differential Cryptanalysis
• J. Lee, et al. Constructing Symmetric Ciphers Using the CAST Design Procedure
• C.M. Adams.
• (source: Nielsen Book Data)

Selected Areas in Cryptography brings together in one place important contributions and up-to-date research results in this fast moving area. Selected Areas in Cryptography serves as an excellent reference, providing insight into some of the most challenging research issues in the field.
(source: Nielsen Book Data)

• Number Theory. Primality Tests. Probability Theory. Pseudorandom Generators. Public Key Cryptosystems. Towards a General Theory. References. Frequently Used Notation. Index.
• (source: Nielsen Book Data)

A comprehensive account of recent algorithms developed in computational number theory and primality testing. Provides a general framework for the theoretical study of public key cryptography and pseudorandom generators. Unique in its approach, the book will be a valuable addition to computer literature.
(source: Nielsen Book Data)

• FINANCIAL NETWORKS:
• 1. Mathematical modeling of systemic risk: H. Amini, A. Minca.-
• 2. Systemic risk in banking networks without Monte Carlo simulation: J. P. Gleeson, T. R. Hurd, S. Melnik, A. Hackett.-
• 3. Systemic Valuation of Banks - Interbank Equilibrium and Contagion: G. Halaj.-
• 4. An Open Problem: J. B. Walsh.- II SECURITY NETWORKS:
• 5. Dynamic Trust Management: Network Profiling for High Assurance Resilience: M. Burmester , W. O. Redwood.-
• 6. Security Issues in Link State Routing Protocols for MANETs: G.Cervera, M.Barbeau, J. Garcia-Alfaro, E.Kranakis.
• -7. TCHo: a Code-based Cryptosystem: A. Duc , S. Vaudenay.-
• 8. Formal Method for (k)-Neighborhood Discovery Protocols: R.Jamet, P.Lafourcade.-
• 9. A Tutorial on White-box AES: J. A. Muir.-
• 10. Efficient 1-Round Almost-Perfect Secure Message Transmission Protocols with Flexible Connectivity: R. Safavi-Naini, M. Ashraful Alam Tuhin.- III SOCIAL NETWORKS:
• 11. Mathematical modelling to evaluate measures and control the spread of illicit drug use: A. Bakhtiari, A. Rutherford.-
• 12. Complex Networks and Social Networks: A. Bonato, A. Tian.-
• 13. NAVEL Gazing: Studying a Networked Scholarly Organization: D. Dimitrova, A. Gruzd, Z.Hayat, G. Ying Mo, D.Mok, Th. Robbins, B.Wellman, X. Zhuo.-
• 14. How Al Qaeda can use order theory to evade or defeat U.S. Forces: J.D.Farley.-
• 15. The ABCs of Designing Social Networks for Health Behaviour Change: The VivoSpace Social Network: N. Kamal, S. Fels, M. Blackstock, K. Ho.-
• 16. Evolution of an Open Source Community Network: N. Saraf, A. Seary, D. Chandrasekaran, P.Monge.-
• 17. SociQL: A Query Language for the SocialWeb: D. Serrano, E. Stroulia, D. Barbosa, V. Guana.
• (source: Nielsen Book Data)

As well as highlighting potentially useful applications for network analysis, this volume identifies new targets for mathematical research that promise to provide insights into network systems theory as well as facilitating the cross-fertilization of ideas between sectors. Focusing on financial, security and social aspects of networking, the volume adds to the growing body of evidence showing that network analysis has applications to transportation, communication, health, finance, and social policy more broadly. It provides powerful models for understanding the behavior of complex systems that, in turn, will impact numerous cutting-edge sectors in science and engineering, such as wireless communication, network security, distributed computing and social networking, financial analysis, and cyber warfare. The volume offers an insider's view of cutting-edge research in network systems, including methodologies with immense potential for interdisciplinary application. The contributors have all presented material at a series of workshops organized on behalf of Canada's MITACS initiative, which funds projects and study grants in `mathematics for information technology and complex systems'. These proceedings include papers from workshops on financial networks, network security and cryptography, and social networks. MITACS has shown that the partly ghettoized nature of network systems research has led to duplicated work in discrete fields, and thus this initiative has the potential to save time and accelerate the pace of research in a number of areas of network systems research.
(source: Nielsen Book Data)

• Preface.Glossary
• .1. Wireless Data Communications.1.1 Signal Representation.1.2 Analog to Digital Conversion.1.3 Digital to Analog Conversion.1.4 Architecture of an SDR Application.1.5 Quadrature Modulation and Demodulation.1.6 Spread Spectrum.1.7 Antenna.1.8 Propagation.1.9 Ultrawideband.1.10 Energy Management.1.11 Exercise
• .2. Medium Access Control.2.1 Fundamentals of Probability and Statistics.2.2 Modeling Traffic.2.3 Multiple Access.2.4 Demand Assigned Multiple Access.2.5 Carrier Sense Multiple Access in IEEE 802.11.2.6 Medium Access Control in ad hov Networks.2.7 Bibliographic Comments.2.8 Exercises
• .3. Ad Hov Wireless Access.3.1 Management of Bluetooth Networks.3.2 Model for Node Discovery in Bluetooth.3.3 Bluetooth Formation Algorithms.3.4 Mesh Mode of WiMAX/802.16.3.5 Bibliographic Comments.Exercises
• .4. Wireless Network Programming.4.1 Structure of Information.4.2 Socket.4.3 Parameters and Control.4.4 Receiving Frames.4.5 Sending Frames.4.6 Exercises
• .5. Ad Hov Networks Protocols.5.1 Normal IP Routing.5.2 The Reactive Approach.5.3 The Proactive Approach.5.4 The Hybrid Approach.5.5 Clustering.5.6 Quality of Service.5.7 Sensor Network Protocols.5.8 Exercises
• .6. Location Awareness.6.1 Geographic Proximity.6.2 Constructing Spanners of ad hov Networks.6.3 Information Dissemination.6.4 Geographic Location Determination.6.5 Random Unit Disc Graphs.6.6 Coverage and Connectivity with Directional Sensors.6.7 Bibliographic Comments.6.8 Exercises
• .7. Ad Hov Networks Security.7.1 Authentication Techniques.7.2 Physical Layer Attacks.7.3 Security of Application Protocols.7.4 Biometrics-based Key Establishment.7.5 Routing Security.7.6 Broadcast Security.7.7 Secure Location Verification.7.8 Security in Directional Antenna Systems.7.9 Bibliographic Comments.7.10 Exercises.Bibliography.Index.
• (source: Nielsen Book Data)

"Principles of Ad Hoc Networking" presents a systematic introduction to the fundamentals of ad hoc networks. An ad hoc network is a small network, especially one with wireless or temporary plug in connections. Typically, some of the network devices are part of the network only for the duration of a communications session or, in the case of mobile or portable devices, while in some close proximity to the rest of the network. These networks can range from small and static systems with constrained power resources to larger scale dynamic and mobile environments. Wireless ad hoc networks facilitate numerous and diverse applications for establishing survivable dynamic systems in emergency and rescue operations, disaster relief and intelligent home settings. "Principles of Ad Hoc Networking" introduces the essential characteristics of ad hoc networks such as: physical layer, medium access control, Bluetooth discovery and network formation, wireless network programming and protocols. It explains the crucial components involved in ad hoc networks in detail with numerous exercises to aid understanding. It offers key results and merges practical methodologies with mathematical considerations. "Principles of Ad Hoc Networking" will prove essential reading for graduate students in Computer Science, Electrical Engineering, Applied Mathematics and Physics as well as researchers in the field of ad hoc networking, professionals in wireless telecoms, and networking system developers.
(source: Nielsen Book Data)

• 1. Boolean Functions
• 2. Circuit Lower Bounds
• Circuit Upper Bounds
• 4. Randomness and Satisfiability
• 5. Propositional Proof Systems
• 6. Machine Models and Function Algebras
• 7. Higher Types
• References.
• (source: Nielsen Book Data)

This textbook presents a survey of research on boolean functions, circuits, parallel computation models, function algebras, and proof systems. Its main aim is to elucidate the structure of "fast" parallel computation. The complexity of parallel computation is emphasized through a variety of techniques ranging from finite combinatorics, probability theory and finite group theory to finite model theory and proof theory. Nonuniform computation models are studied in the form of boolean circuits; uniform ones in a variety of forms. Steps in the investigation of non-deterministic polynomial time are surveyed as is the complexity of various proof systems. The book will benefit advanced undergraduates and graduate students as well as researchers in the field of complexity theory.
(source: Nielsen Book Data)

• Routing.- Local Routing on Tori.- Topology Control and Geographic Routing in Realistic Wireless Networks.- Routing in Wireless Networks with Position Trees.- Statistical Monitoring to Control a Proactive Routing Protocol.- Topology Control.- A Faster Distributed Approximation Scheme for the Connected Dominating Set Problem for Growth-Bounded Graphs.- Coordinating Concurrent Transmissions: A Constant-Factor Approximation of Maximum-Weight Independent Set in Local Conflict Graphs.- Information Brokerage Via Location-Free Double Rulings.- Level Set Estimation Using Uncoordinated Mobile Sensors.- The Impact of Delay in Dominating Set and Neighbor Elimination Based Broadcasting in Ad Hoc Networks.- Security and Privacy.- Building a Trusted Community for Mobile Ad Hoc Networks Using Friend Recommendation.- Dependable and Secure Distributed Storage System for Ad Hoc Networks.- An Energy and Communication Efficient Group Key in Sensor Networks Using Elliptic Curve Polynomial.- Protocols.- A Cooperative CDMA-Based Multi-channel MAC Protocol for Ad Hoc Networks.- FDAR: A Load-Balanced Routing Scheme for Mobile Ad-Hoc Networks.- TOLB: A Traffic-Oblivious Load-Balancing Protocol for Next-Generation Sensornets.- A Comparative Analysis of Multicast Protocols for Small MANET Groups.- ODCP: An On-Demand Clustering Protocol for Directed Diffusion.- Quality of Service and Performance.- Quality of Service Support for ODMRP Multicast Routing in Ad Hoc Networks.- The Analysis of Fault Tolerance in Triangular Topology Sensor Networks.- Performance Modeling of Mobile Sensor Networks.- Electronic-Oriented IP Address Auto-Configuration Protocol for MANET.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 6th International Conference on Ad-Hoc Networks and Wireless, ADHOC-NOW 2007, held in Morelia, Mexico, in September 2007. The 21 revised full papers were carefully reviewed and selected from 50 submissions. The papers are organized in topical sections on routing, topology control, security and privacy, protocols, as well as quality of service and performance.
(source: Nielsen Book Data)

• Reversible Figures and Solids
• Simplicity is in Vogue (again)
• Subgame Perfect Equilibrium: Computation and Efficiency
• Buying Stuff Online
• Data Crowdsourcing: Is It for Real
• A Faster FPT Algorithm and a Smaller Kernel for Block Graph Vertex Deletion
• A Middle Curve Based on Discrete Fréchet Distance
• Comparison-Based FIFO Buffer Management in QoS Switches
• Scheduling on Power-Heterogeneous Processors
• Period Recovery over the Hamming and Edit Distances
• Chasing Convex Bodies and Functions
• Parameterized Lower Bounds and Dichotomy Results for the NP-Completeness of H-Free Edge Modification Problems
• Parameterized Complexity of Red Blue Set Cover for lines
• Tight Bounds for Beacon-Based Coverage in Simple Rectilinear Polygons
• On Mobile Agent Verifiable Problems
• Computing Maximal Layers Of Points In Ef(n)
• On the Total Number of Bends for Planar Octilinear Drawings
• Bidirectional BWT-Based De Bruijn Graphs
• The Read/Write Protocol Complex is Collapsible
• The I/O Complexity of Computing Prime Tables.-Increasing Diamonds
• Scheduling Transfers of Resources over Time: Towards Car-Sharing with Flexible Drop-Offs
• A 0.821-Ratio Purely Combinatorial Algorithm for Maximum k-Vertex Cover in Bipartite Graphs
• Improved Spanning Ratio for Low Degree Spanners
• Constructing Consistent Digital Line Segments
• Faster Information Gathering in Ad-Hoc Radio Tree Networks
• Stabbing circles for Sets of Segments in the Plane
• Faster Algorithms to Enumerate Hypergraph Transversals
• Listing Acyclic Orientations of Graphs with Single and Multiple Sources
• Linear-Time Sequence Comparison Using Minimal Absent Words
• The Grandmama de Bruijn Sequence for Binary Strings
• Compressing Bounded Degree Graphs
• Random Partial Match Queries in Quad-K-d Trees
• From Discrepancy to Majority
• On the Planar Split Thickness of Graphs
• A Bounded-Risk Mechanism for the Kidney Exchange Game
• Tight Approximations of Degeneracy in Large Graphs
• Improved Approximation Algorithms for Capacitated Fault-Tolerant k-Center
• Bundled Crossings in Embedded Graphs
• Probabilistic Analysis of the Dual Next-Fit Algorithm for Bin Covering
• Deterministic Sparse Suffix Sorting on Rewritable Texts
• Minimizing the Number of Opinions for Fault-Tolerant Distributed Decision Using Well-Quasi Ordering
• Unshuffling Permutations
• Generating Random Spanning Trees via Fast Matrix Multiplication
• Routing in Unit Disk Graphs
• Graph Drawings with One Bend and Few Slopes
• Edge-Editing to a Dense and a Sparse Graph Class
• Containment and Evasion in Stochastic Point Data
• Tree Compression Using String Grammars
• Trees and Languages with Periodic Signature
• Rank Reduction of Directed Graphs by Vertex and Edge Deletions
• New Deterministic Algorithms for Solving Parity Games
• Computing a Geodesic Two-Center of Points in a Simple Polygon
• Simple Approximation Algorithms for Balanced MAX 2SAT
• A Parameterized Algorithm for Mixed-Cut
• (k; n
• k)-MAX-CUT: An O*(2p)-Time Algorithm and a Polynomial Kernel
• Independent set of convex polygons: from nƐ to 1 + Ɛ via shrinking.

This book constitutes the refereed proceedings of the 12th Latin American Symposium on Theoretical Informatics, LATIN 2016, held in Ensenada, Mexico, in April 2016. The 52 papers presented together with 5 abstracts were carefully reviewed and selected from 131 submissions. The papers address a variety of topics in theoretical computer science with a certain focus on algorithms (approximation, online, randomized, algorithmic game theory, etc.), analytic combinatorics and analysis of algorithms, automata theory and formal languages, coding theory and data compression, combinatorial algorithms, combinatorial optimization, combinatorics and graph theory, complexity theory, computational algebra, computational biology, computational geometry, computational number theory, cryptology, databases and information retrieval, data structures, formal methods and security, Internet and the web, parallel and distributed computing, pattern matching, programming language theory, and random structures.

• Routing.- Local Routing on Tori.- Topology Control and Geographic Routing in Realistic Wireless Networks.- Routing in Wireless Networks with Position Trees.- Statistical Monitoring to Control a Proactive Routing Protocol.- Topology Control.- A Faster Distributed Approximation Scheme for the Connected Dominating Set Problem for Growth-Bounded Graphs.- Coordinating Concurrent Transmissions: A Constant-Factor Approximation of Maximum-Weight Independent Set in Local Conflict Graphs.- Information Brokerage Via Location-Free Double Rulings.- Level Set Estimation Using Uncoordinated Mobile Sensors.- The Impact of Delay in Dominating Set and Neighbor Elimination Based Broadcasting in Ad Hoc Networks.- Security and Privacy.- Building a Trusted Community for Mobile Ad Hoc Networks Using Friend Recommendation.- Dependable and Secure Distributed Storage System for Ad Hoc Networks.- An Energy and Communication Efficient Group Key in Sensor Networks Using Elliptic Curve Polynomial.- Protocols.- A Cooperative CDMA-Based Multi-channel MAC Protocol for Ad Hoc Networks.- FDAR: A Load-Balanced Routing Scheme for Mobile Ad-Hoc Networks.- TOLB: A Traffic-Oblivious Load-Balancing Protocol for Next-Generation Sensornets.- A Comparative Analysis of Multicast Protocols for Small MANET Groups.- ODCP: An On-Demand Clustering Protocol for Directed Diffusion.- Quality of Service and Performance.- Quality of Service Support for ODMRP Multicast Routing in Ad Hoc Networks.- The Analysis of Fault Tolerance in Triangular Topology Sensor Networks.- Performance Modeling of Mobile Sensor Networks.- Electronic-Oriented IP Address Auto-Configuration Protocol for MANET.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 6th International Conference on Ad-Hoc Networks and Wireless, ADHOC-NOW 2007, held in Morelia, Mexico, in September 2007. The 21 revised full papers were carefully reviewed and selected from 50 submissions. The papers are organized in topical sections on routing, topology control, security and privacy, protocols, as well as quality of service and performance.
(source: Nielsen Book Data)

This book constitutes the refereed proceedings of the Second International Conference on Ad-Hoc Networks and Wireless, ADHOC-NOW 2003, held in Montreal, Canada in October 2003.The 23 revised full papers and 4 revised short papers presented were carefully reviewed and selected from 42 submissions. All current aspects of ad-hoc networking, mobile, wireless, and cooperating communication systems are addressed including network architectures, access control and discovery, multicasting protocols, performance, quality of service, QoS, routing protocols, scalability, security, and self-configuration.
(source: Nielsen Book Data)

• RFID, sensors and secure computation
• Security policies and biometrics
• Evaluation of protocols and obfuscation security
• Spam emails, botnets and malware.

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Symposium on Foundations and Practice of Security, FPS 2015, held in Clermont-Ferrand, France, in October 2015. The 12 revised full papers presented together with 8 short papers and 2 keynote talks were carefully reviewed and selected from 58 submissions. The papers are organized in topical sections on RFID, sensors and secure computation; security policies and biometrics; evaluation of protocols and obfuscation security; spam emails, botnets and malware.

• Distributed Algorithms by Forgetful Mobile Robots / Paola Flocchini
• Stability and Metastability of the Logit Dynamics of Strategic Games / Giuseppe Persiano
• Art Galleries, k-modems, and k-convexity / Jorge Urrutia
• The Vulcan Game of Kal-Toh: Finding or Making Triconnected Planar Subgraphs / Terry Anderson and Therese Biedl
• Scandinavian Thins on Top of Cake: On the Smallest One-Size-Fits-All Box / Esther M. Arkin, Alon Efrat, George Hart, Irina Kostitsyna and Alexander Kröller, et al.
• The Kissing Problem: How to End a Gathering When Everyone Kisses Everyone Else Goodbye / Michael A. Bender, Ritwik Bose, Rezaul Chowdhury and Samuel McCauley
• Mad at Edge Crossings? Break the Edges! / Till Bruckdorfer and Michael Kaufmann
• Train Marshalling Is Fixed Parameter Tractable / Leo Brueggeman, Michael Fellows, Rudolf Fleischer, Martin Lackner and Christian Komusiewicz, et al.
• Conflict-Free Graph Orientations with Parity Constraints / Sarah Cannon, Mashhood Ishaque and Csaba D. Tóth
• The Multi-interval Ulam-Rényi Game / Ferdinando Cicalese
• Picture-Hanging Puzzles / Erik D. Demaine, Martin L. Demaine, Yair N. Minsky, Joseph S.B. Mitchell and Ronald L. Rivest, et al.

• Optimal Sensor Networks for Area Monitoring Using Rotating and Beam Sensors / Stefan Dobrev, Lata Narayanan and Jaroslav Opatrny
• The Byzantine Brides Problem / Swan Dubois, Sébastien Tixeuil and Nini Zhu
• Lean Programs, Branch Mispredictions, and Sorting / Amr Elmasry and Jyrki Katajainen
• On Computer Integrated Rationalized Crossword Puzzle Manufacturing / Jakob Engel, Markus Holzer, Oliver Ruepp and Frank Sehnke
• Solving Single-Digit Sudoku Subproblems / David Eppstein
• Finding Good Coffee in Paris / Paola Flocchini, Matthew Kellett, Peter C. Mason and Nicola Santoro
• To Satisfy Impatient Web Surfers Is Hard / Fedor V. Fomin, Frédéric Giroire, Alain Jean-Marie, Dorian Mazauric and Nicolas Nisse
• Making Life Easier for Firefighters / Fedor V. Fomin, Pinar Heggernes and Erik Jan van Leeuwen
• Counting Perfect Matchings in Graphs of Degree 3 / Martin Fürer
• M.C. Escher Wrap Artist: Aesthetic Coloring of Ribbon Patterns / Ellen Gethner, David G. Kirkpatrick and Nicholas J. Pippenger
• On the Complexity of Rolling Block and Alice Mazes / Markus Holzer and Sebastian Jakobi
• Grid Graphs with Diagonal Edges and the Complexity of Xmas Mazes / Markus Holzer and Sebastian Jakobi.

• Algorithms and Complexity of Generalized River Crossing Problems / Hiro Ito, Stefan Langerman and Yuichi Yoshida
• Solving Tantrix via Integer Programming / Fumika Kino and Yushi Uno
• Scrabble Is PSPACE-Complete / Michael Lampis, Valia Mitsou and Karolina Sołtys
• Practical Algorithms for Generating a Random Ordering of the Elements of a Weighted Set / Kevin J. Lang
• Spanning Trees and the Complexity of Flood-Filling Games / Kitty Meeks and Alexander Scott
• Tron, a Combinatorial Game on Abstract Graphs / Tillmann Miltzow
• Divorcing Made Easy / Kirk Pruhs and Gerhard J. Woeginger
• A New Analysis of Best Fit Bin Packing / Jiří Sgall
• The Coolest Order of Binary Strings / Brett Stevens and Aaron Williams
• Hitori Number / Akira Suzuki, Kei Uchizawa and Takeaki Uno
• Computing Maximum Hamiltonian Paths in Complete Graphs with Tree Metric / Wojciech Rytter and Bartosz Szreder
• Gaming Is a Hard Job, But Someone Has to Do It! / Giovanni Viglietta
• Hardness of Mastermind / Giovanni Viglietta
• Scienceography: The Study of How Science Is Written / Graham Cormode, S. Muthukrishnan and Jinyun Yan.

This book constitutes the refereed proceedings of the 6th International Conference, FUN 2012, held in June 2012 in Venice, Italy. The 34 revised full papers were carefully reviewed and selected from 56 submissions. They feature a large variety of topics in the field of the use, design, and analysis of algorithms and data structures, focusing on results that provide amusing, witty but nonetheless original and scientifically profound contributions to the area.

This book constitutes the refereed proceedings of the Third International Conference on Ad-Hoc Networks and Wireless, ADHOC-NOW 2004, held in Vancouver, Canada in July 2004. The 22 revised full papers and 8 revised short papers presented were carefully reviewed and selected from more than 150 submissions. All current aspects of ad-hoc networking, sensor networks, mobile, wireless, and cooperating communication systems are addressed including, multicast, broadcast, performance, QoS, routing protocols, scalability, security, hybrid networks, self-organization, auto-configuration, energy consumption, peer-to-peer systems, and MAC protocols.
(source: Nielsen Book Data)

• Invited Lecture by Roberto Tamassia Robust proximity queries in implicit Voronoi diagrams / R. Tamassia, G. Liotta and F.P. Preparata
• O-Convexity: Computing hulls, approximations, and orientation sets / V. Martynchik, N. Metelski and D. Wood
• Efficient algorithms for counting and reporting pairwise intersections between convex polygons / P. Gupta, R. Janardan and M.I. Smid
• Convex hulls of bounded curvature / J.-D. Boissonnat and S. Lazard
• Enclosing k points in the smallest axis parallel rectangle / M. Segal and K. Kedem
• Finding the set of all minimal nested convex polygons / J. Bhadury and R. Chandrasekaran
• Optimizing a corridor between two polygons with an application to polyhedral interpolation / G. Barequet and B. Wolfers.

The 8th Canadian conference on computational geometry had an international flavour. Sixty-one papers were submitted by authors from over 20 countries representing four continents. The conference was held at Carleton University in August 1996.
(source: Nielsen Book Data)

• Modeling Reality Algorithmically: The Case of Wireless Communication.- Autonomous Mobile Robots: A Distributed Computing.- Token Dissemination in Geometric Dynamic Networks.- The Wake Up Dominating Set.- Reconfiguring Massive Particle Swarms with Limited, Global Control.- Polygon-Constrained motion planning problems.- Fast Localized Sensor Self-Deployment for Focused Coverage.- Minimal Solvers for Unsynchronized TDOA Sensor Network Calibration.- Data-Delivery by Energy-Constrained Mobile Robots.- Approximation Bounds for the Minimum k-Storage Problem.- Counting in Anonymous Dynamic Networks: An Experimental Perspective.- Station Assignment with Applications to Sensing.- On Local Broadcasting Schedules and CONGEST Algorithms in the SINR Model.- The Effect of Forgetting on the Performance of a Synchronizer.- On the Complexity of Barrier Resilience for Fat Regions.- A Distributed Approximation Algorithm for Strongly Connected Dominating-Absorbent Sets in Asymmetric Wireless Ad-Hoc Networks.- Uniform Dispersal of Asynchronous Finite-State Mobile Robots in Presence of Holes.- On the Complexity of Fixed-Schedule Neighbourhood Learning in Wireless Ad Hoc Radio Networks.- Optimal Nearest Neighbor Queries in Sensor Networks.- Conflict Graphs and the Capacity of the Mean Power Scheme.- Rendezvous of Two Robots with Visible Bits.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 9th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2013, held in Sophia Antipolis, France, in September 2013. The 19 papers presented in this volume were carefully reviewed and selected from 30 submissions. They deal with sensor network algorithms, wireless networks and distributed robotics algorithms; and experimental algorithms.
(source: Nielsen Book Data)

• Preface -- Section I: Network security: Network security and survivability: using wireless overlay networks for critical infrastructure protection / M. Bermester
• Security when routers are taken over by the adversary / Y. Desmedt
• Security in quantum cryptography and quantum networks / J. Gruska
• The case for self-healing software / A.D. Keromytis
• Multi-agent modeling and the simulation of computer network security processes: "a game of network cats and mice" / I. Kotenko
• Formal treatment of secure protocols: an introduction / D. Krizanc, J. Lipton
• Behavioral and structural properties of malicious code / C. Kruegel
• Security from the practitioner's point of view / M. Oit
• Mobile and wireless communications security / B. Preneel
• Humanitarian problems in information security / V. Tairyan [and others]
• Multimedia security: open problems and solutions / S. Voloshynovskiy [and others]
• A selective introduction to border gateway protocol (BGP) security issues / T. Wan, P.C. van Oorschot, E. Kranakis
• Section II: Information security: Steganography & steganalysis an overview of research & challenges / S.S. Agaian
• Guessing and cryptography / E. Arikan
• The exact approximate encryption of quantum information / J. Bouda
• A new approach to stochastic quantum processes, their manipulation and control / A. Gevorkyan
• Reliability approach in Wiretapper guessing theory / E.A. Haroutunian
• E-capacity of information hiding systems / M.E. Haroutunian
• Quasicrystals in cryptography / J. Patera, M. Nesterenko
• Asymptotic investigation of mutual information and capacity of certain communication channels / V. Prelov
• Information theory of covert timing channels / A.B Wagner, V. Anantharam
• Section III: Coding: A survey of new results in coding with feedback and searching with lies / C. Deppe
• Remarks on e-optimal rate function in DMS coding / A. Harutyunyan
• Reconstruction of data distorted by some errors / E. Konstantinova
• On (w, r) cover-free codes / V. Lebedev
• Switching methods for error-correcting codes / F. Solovéva
• On reconstruction of functions on the hypercube / A. Vasiléva.

Network security is concerned with creating a secure inter-connected network that is designed so that on the one hand, users cannot perform actions that they are not allowed to perform, but on the other hand, can perform the actions that they are allowed to. Network security not only involves specifying and implementing a security policy that describes access control, but also implementing an Intrusion Detection System as a tool for detecting attempted attacks or intrusions by crackers or automated attack tools and identifying security breaches such as incoming shellcode, viruses, worms, malware and trojan horses transmitted via a computer system or network. Today's computer infrastructure is exposed to several kinds of security threats ranging from virus attacks, unauthorized data access, sniffing and password cracking. Understanding network vulnerabilities in order to protect networks from external and internal threats is vital to the world's economy and should be given the highest priority. Computer and network security involves many important and complicated issues and this gathering of scientists will help not only in raising awareness but also in teaching participants the state-of-the-art of security techniques.