This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Large-Scale Scientific Computations, LSSC 2013, held in Sozopol, Bulgaria, in June 2013. The 74 revised full papers presented together with 5 plenary and invited pape…
This book presents interesting, important unsolved problems in the mathematical and computational sciences. The contributing authors are leading researchers in their fields and they explain outstanding challenges in their domains, first by offering basic definitions, explaining …
This textbook is a thorough, accessible introduction to digital Fourier analysis for undergraduate students in the sciences. Beginning with the principles of sine/cosine decomposition, the reader walks through the principles of discrete Fourier analysis before reaching the corne…
This book constitutes the refereed proceedings of the 20th International Symposium on Algorithms and Computation, ISAAC 2009, held in Honolulu, Hawaii, USA in December 2009. The 120 revised full papers presented were carefully reviewed and selected from 279 submissions for inclu…
by Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Lirkov, Ivan, Margenov, Svetozar, Wasniewski, Jerzy
fromLecture Notes in Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Large-Scale Scientific Computations, LSSC 2011, held in Sozopol, Bulgaria, in June 2011. The 74 revised full papers presented together with 3 plenary and invited pape…
This textbook is a thorough, accessible introduction to advanced digital Fourier analysis for advanced undergraduate and graduate students. Assuming knowledge of the Fast Fourier Transform, this book covers advanced topics including the Hilbert transform, cepstrum analysis, and …
This is the first book to offer key theoretical topics and terminology concerning regulated grammars and automata. They are the most important language-defining devices that work under controls represented by additional mathematical mechanisms. Key topics include formal language…
The first book of its kind devoted to this topic, this comprehensive text/reference presents state-of-the-art research and reviews current challenges in the application of computer vision to problems in sports. Opening with a detailed introduction to the use of computer vision a…
This bookoffers an introduction toten key topics in quantum information science and quantum coherent phenomena, aimed at graduate-student level. The chapters cover some of the most recent developments in this dynamic research field where theoretical and experimental physics, com…
by Carro, Luigi, Lang Lisbôa, Carlos Arthur, Beck Fl, Beck Filho
As embedded systems become more complex, designers face a number of challenges at different levels: they need to boost performance, while keeping energy consumption as low as possible, they need to reuse existent software code, and at the same time they need to take advantage of…
Increasing competition in the global transformer market has put tremendous responsibilities on the industry to increase reliability while reducing cost. Spotlight on Modern Transformer Design introduces a novel approach to transformer design using artificial intelligence (AI) te…
This book covers the area of product and process modelling via a case study approach. It addresses a wide range of modelling applications with emphasis on modelling methodology and the subsequent in-depth analysis of mathematical models to gain insight via structural aspects of …
Molecular Modeling of Proteins, Second Edition provides a theoretical background of various methods available and enables non-specialists to apply methods to their problems by including updated chapters and new material not covered in the first edition. This detailed volume open…
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 introduces formal semantics techniques for a natural language processing audience. Methods discussed involve: (i) the denotational techniques used in model-theoretic semantics, which make it possible to determine whether a linguistic expression is true or false with re…
This book gives an introduction to R to build up graphing, simulating and computing skills to enable one to see theoretical and statistical models in economics in a unified way. The great advantage of R is that it is free, extremely flexible and extensible. The book addresses th…
This book presents the most recent mathematical approaches to the growing research area of networks, oscillations, and collective motions in the context of biological systems. Bringing together the results of multiple studies of different biological systems, this book sheds ligh…
