The Euclidean shortest path (ESP) problem asks the question: what is the path of minimum length connecting two points in a 2- or 3-dimensional space? Variants of this industrially-significant computational geometry problem also require the path to pass through specified areas an…
Annotation Constituting the refereed proceedings of the 12th Algorithms and Data Structures Symposium held in New York in August 2011, this text presents original research on the theory and application of algorithms and data structures in all areas, including combinatorics, comp…
This book constitutes the refereed proceedings of the International Conference on Ergonomics and Health Aspects of Work with Computers, EHAWC 2011, held within the framework of the 14th International Conference on Human-Computer Interaction, HCII 2011, incorporating 12 thematica…
Complex systems are systems that comprise many interacting parts with the ability to generate a new quality of collective behavior through self-organization, e.g. the spontaneous formation of temporal, spatial or functional structures. These systems are often characterized by ex…
6. 5 137 7 Performance of BTCs and 139 their Applications 7. 1 Introduction 139 7. 2 Some Results from the Literatures 139 7. 3 Applications of Block Turbo Codes. 142 7. 3. 1 Broadband Wireless Access Standard 144 7. 3. 2 Advanced Hardware Architectures (AHA) 145 7. 3. 3 COMTECH…
This book is a concise, self-contained, up-to-date introduction to extremal combinatorics for nonspecialists. There is a strong emphasis on theorems with particularly elegant and informative proofs, they may be called gems of the theory. The author presents a wide spectrum of th…
A project's functional verification testplan is the specification for the verification process. Developing this testplan involves the entire engineering team. This book discusses the process of testplanning using assertion languages (such as SystemVerilog assertions and PSL) to …
Advances in the development of parallel algorithms and system software now enable the ever-increasing power of scalable high-performance computers to be harnessed for scientific computing applications at fidelities that rivals and in many cases exceeds experimental methodologies…
Social network analysis applications have experienced tremendous advances within the last few years due in part to increasing trends towards users interacting with each other on the internet. Social networks are organized as graphs, and the data on social networks takes on the f…
There has been considerable interest recently in the subject of patterns in permutations and words, a new branch of combinatorics with its roots in the works of Rotem, Rogers, and Knuth in the 1970s. Consideration of the patterns in question has been extremely interesting from t…
This book constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012. IJCAR 2012 is a merger of leading events in automated reasoning, namely CADE (International Conference on Automated …
Computer aided systems theory-- EUROCAST 2011: 13th International Conference, Las Palmas de Gran…
by International Conference on Computer Aided Systems Theory, Las Palmas, Canary Islands), Moreno-Díaz, Roberto, Pichler, Franz, Quesada Arencibia, Alexis
fromLecture Notes in Computer Science
Annotation The two-volume proceedings, LNCS 6927 and LNCS 6928, constitute the papers presented at the 13th International Conference on Computer Aided Systems Theory, EUROCAST 2011, held in February 2011 in Las Palmas de Gran Canaria, Spain. The total of 160 papers presented wer…