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…
Representing the hot fields where biology and informatics intertwine, this set of four volumes contains 38 chapters by contributors who carry out research and teach in academic and private laboratories in 19 countries and specialize in such fields as nuclear medicine, engineerin…
Covers algorithm techniques; computational methods; mathematical analysis methods; and diagnostic methods.
Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems contains over 30 contributions from leading European researchers showing the present state and future directions of computer science research. "Methods of Artificial Intelligence and Intelligent…
"Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems" contains over 30 contributions from leading European researchers showing the present state and future directions of computer science research. "Methods of Artificial Intelligence and Intellige…
