You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This book constitutes the refereed proceedings of the 8th Annual International Computing and Combinatorics Conference, COCOON 2002, held in Singapore in August 2002. The 60 revised full papers presented together with three invited contributions were carefully reviewed and selected from 106 submissions. The papers are organized in topical sections on complexity theory, discrete algorithms, computational biology and learning theory, radio networks, automata and formal languages, Internet networks, computational geometry, combinatorial optimization, and quantum computing.
The term ?software visualisation? refers to the graphical display of characteristics and behaviour of all aspects of software: design and analysis methods, systems, programs and algorithms. The purpose of this book is to collect and compare different experiences of software visualisation both from fundamental and applied viewpoints.The book is divided into four parts, covering important aspects of software visualisation. Part 1 covers a survey on existing software visualisation tools and environments, the strategies for making a software visualisation system language independent, and program animation for C language. Part 2 presents topics and techniques on graph drawing, which supports efficient and aesthetically pleasing visualisation. Some recently developed graph drawing systems and techniques used are described. Part 3 discusses visual programming concepts and techniques for supporting parallel and heterogeneous distributed programming. Part 4 includes several case studies of software visualisation, concentrating on the broader field of software engineering ranging from software metrics to reverse engineering.
In April 2004, after one year of intense debate, CMCS, the International Workshop on Coalgebraic Methods in Computer Science, and WADT, the Workshop on Al- braic Development Techniques, decided to join their forces and reputations into a new high-level biennial conference. CALCO, the Conference on Algebra and Co- gebra in Computer Science, was created to bring together researchers and practit- ners to exchange new results related to foundational aspects, and both traditional and emerging uses of algebras and coalgebras in computer science. A steering committee was put together by merging those of CMCS and WADT: Jiri Adamek, Ataru Na- gawa, Michel Bidoit, José Fiadeiro (co-chair), Hans-Peter...
This book is a revision of Stochastic Processes in Information and Dynamical Systems written by the first author (E.W.) and published in 1971. The book was originally written, and revised, to provide a graduate level text in stochastic processes for students whose primary interest is its applications. It treats both the traditional topic of sta tionary processes in linear time-invariant systems as well as the more modern theory of stochastic systems in which dynamic structure plays a profound role. Our aim is to provide a high-level, yet readily acces sible, treatment of those topics in the theory of continuous-parameter stochastic processes that are important in the analysis of information ...
This book contains papers selected for presentation at the Sixth Annual Workshop on Languages and Compilers for Parallel Computing. The workshop washosted by the Oregon Graduate Institute of Science and Technology. All the major research efforts in parallel languages and compilers are represented in this workshop series. The 36 papers in the volume aregrouped under nine headings: dynamic data structures, parallel languages, High Performance Fortran, loop transformation, logic and dataflow language implementations, fine grain parallelism, scalar analysis, parallelizing compilers, and analysis of parallel programs. The book represents a valuable snapshot of the state of research in the field in 1993.
This book constitutes the thoroughly refereed revised selected papers of the 19th International Symposium on Trends in Functional Programming, TFP 2018, held in Gothenburg, Sweden, in June 2018. The 7 revised full papers were selected from 13 submissions and present papers in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions, described in draft papers submitted prior to the symposium.
Combustion has provided society with most of its energy needs for millenia, from igniting the fires of cave dwellers to propelling the rockets that traveled to the Moon. Even in the face of climate change and the increasing availability of alternative energy sources, fossil fuels will continue to be used for many decades. However, they will likely become more expensive, and pressure to minimize undesired combustion by-products (pollutants) will likely increase. The trends in the continued use of fossil fuels and likely use of alternative combustion fuels call for more rapid development of improved combustion systems. In January 2009, the Multi-Agency Coordinating Committee on Combustion Rese...
Available online or as a five-volume print set, The Blackwell Companion to Phonology is a major reference work drawing together 124 new contributions from leading international scholars in the field. It will be indispensable to students and researchers in the field for years to come. Key Features: Full explorations of all the most important ideas and key developments in the field Documents major insights into human language gathered by phonologists in past decades; highlights interdisciplinary connections, such as the social and computational sciences; and examines statistical and experimental techniques Offers an overview of theoretical positions and ongoing debates within phonology at the ...