This book constitutes the refereed proceedings of the 24th International Symposium on Algorithms and Computation, ISAAC 2013, held in Hong Kong, China in December 2013. The 67 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 1…
This volume contains a contemporary, integrated description of the processes of language. These range from fast scales (fractions of a second) to slow ones (over a million years). The contributors, all experts in their fields, address language in the brain, production of sentenc…
This volume contains a contemporary, integrated description of the processes of language. These range from fast scales (fractions of a second) to slow ones (over a million years). The contributors, all experts in their fields, address language in the brain, production of sentenc…
As the world faces increasingly disparate challenges, science is being subjected to vehement demands from society calling for transparency, openness and public participation in science policy. This book provides a framework and a vision on how to conceive, discuss and evaluate t…
Systems biology can now be considered an established and fundamental field in life sciences. It has moved from the identification of molecular 'parts lists' for living organisms towards synthesising information from different 'omics'-based approaches to generate and test new hyp…
Hardware veri?cation is the process of checking whether a design conforms to its speci?cations of functionality and timing. In today’s design processes it becomes more and more important. Very large scale integrated (VLSI) circuits and the resulting digital systems have conquere…
This book is an authoritative handbook of current topics, technologies and methodological approaches that may be used for the study of scholarly impact. The included methods cover a range of fields such as statistical sciences, scientific visualization, network analysis, text mi…
This book is an authoritative handbook of current topics, technologies and methodological approaches that may be used for the study of scholarly impact. The included methods cover a range of fields such as statistical sciences, scientific visualization, network analysis, text mi…
This book is an authoritative handbook of current topics, technologies and methodological approaches that may be used for the study of scholarly impact. The included methods cover a range of fields such as statistical sciences, scientific visualization, network analysis, text mi…
This book is an authoritative handbook of current topics, technologies and methodological approaches that may be used for the study of scholarly impact. The included methods cover a range of fields such as statistical sciences, scientific visualization, network analysis, text mi…
In this work, Marcin Milkowski argues that the mind can be explained computationally because it is itself computational - whether it engages in mental arithmetic, parses natural language, or processes the auditory signals that allow us to experience music.
In this work, Marcin Milkowski argues that the mind can be explained computationally because it is itself computational - whether it engages in mental arithmetic, parses natural language, or processes the auditory signals that allow us to experience music.
"The scientific study of networks, including computer networks, social networks, and biological networks, has received an enormous amount of interest in the last few years. The rise of the Internet and the wide availability of inexpensive computers have made it possible to gathe…
This work presents the core knowledge needed to tackle all situations in obstetrics and gynaecology, in a structured fashion. All algorithms are designed to support rapid decision making in the most clinically relevant situations to minimise the risks of a poor outcome.
