Search results

This book constitutes the thoroughly refereed proceedings of the 5th International Conference on Mathematics and Computation in Music, MCM 2015, held in London, UK, in June 2015. The 24 full papers and 14 short papers presented were carefully reviewed and selected from 64 submissions. The papers feature research that combines mathematics or computation with music theory, music analysis, composition, and performance. They are organized in topical sections on notation and representation, music gen...

Asynchronous Sequential Machine Design and Analysis provides a lucid, in-depth treatment of asynchronous state machine design and analysis presented in two parts: Part I on the background fundamentals related to asynchronous sequential logic circuits generally, and Part II on self-timed systems, high-performance asynchronous programmable sequencers, and arbiters. Part I provides a detailed review of the background fundamentals for the design and analysis of asynchronous finite state machines (F...

This book constitutes the proceedings of the 15th International Conference on Web Information Systems Engineering, WISE 2014, held in Thessaloniki, Greece, in October 2014. The 52 full papers, 16 short and 14 poster papers, presented in the two-volume proceedings LNCS 8786 and 8787 were carefully reviewed and selected from 196 submissions. They are organized in topical sections named: Web mining, modeling and classification; Web querying and searching; Web recommendation and personalization; se...

Do you want to broaden your Hadoop skill set and take your knowledge to the next level? Do you wish to enhance your knowledge of Hadoop to solve challenging data processing problems? Are your Hadoop jobs, Pig scripts, or Hive queries not working as fast as you intend? Are you looking to understand the benefits of upgrading Hadoop? If the answer is yes to any of these, this book is for you. It assumes novice-level familiarity with Hadoop.

Healthcare Solutions Using Machine Learning and Informatics covers novel and innovative solutions for healthcare that apply machine learning and biomedical informatics technology. The healthcare sector is one of the most critical in society. This book presents a series of artificial intelligence, machine learning, and intelligent IoT-based solutions for medical image analysis, medical big-data processing, and disease predictions. Machine learning and artificial intelligence use cases in healthca...

Data clustering is a highly interdisciplinary field, the goal of which is to divide a set of objects into homogeneous groups such that objects in the same group are similar and objects in different groups are quite distinct. Thousands of theoretical papers and a number of books on data clustering have been published over the past 50 years. However, few books exist to teach people how to implement data clustering algorithms. This book was written for anyone who wants to implement or improve their...

Since 1997, scientists of different disciplines sharing a deep interest in concepts and knowledge related to evolutionary biology have held the annual Evolutionary Biology Meetings in Marseille in order to discuss their research and promote collaboration. Lately scientists especially focusing on applications have also joined the group. This book starts with the report of the "12th Evolutionary Biology Meeting", which gives a general idea of the meeting's epistemological stance. This is followed...

This comprehensive reference consists of 18 chapters from prominent researchers in the field. Each chapter is self-contained, and synthesizes one aspect of frequent pattern mining. An emphasis is placed on simplifying the content, so that students and practitioners can benefit from the book. Each chapter contains a survey describing key research on the topic, a case study and future directions. Key topics include: Pattern Growth Methods, Frequent Pattern Mining in Data Streams, Mining Graph Patt...

Dr. Lenoski and Dr. Weber have experience with leading-edge research and practical issues involved in implementing large-scale parallel systems. They were key contributors to the architecture and design of the DASH multiprocessor. Currently, they are involved with commercializing scalable shared-memory technology.

Systematically teaches key paradigmic algorithm design methods Provides a deep insight into randomization

This volume constitutes selected papers presented at the First International Conference on Artificial Intelligence: Theories and Applications, ICAITA 2022, held in Mascara, Algeria, in November 2022.  The 23 papers were thoroughly reviewed and selected from the 66 qualified submissions. They are organized in topical sections on ​artificial vision; and articial intelligence in big data and natural language processing. 

The 2nd edition of "Groundwater Geochemistry: A Practical Guide to Modeling of Natural and Contaminated Aquatic Systems" remains the comprehensive text book offering beginners and advanced modellers alike a minimum theoretical background and a strong focus on the practical solution of geochemical modeling with PHREEQC. The new edition covers the possibility to use PITZER equation and the CD music concept within the new version of PHREEQC. Examples for reactive transport use PHREEQC's 1d features...

Hands-on Machine Learning with R provides a practical and applied approach to learning and developing intuition into today’s most popular machine learning methods. This book serves as a practitioner’s guide to the machine learning process and is meant to help the reader learn to apply the machine learning stack within R, which includes using various R packages such as glmnet, h2o, ranger, xgboost, keras, and others to effectively model and gain insight from their data. The book favors a hands-on...

This treatment of the classical decision problem of mathematical logic and its role in modern computer science provides an analysis of the natural order of decidable and undecidable cases. Of particular interest is the complete classification of the solvable and unsolvable standard cases of the classical decision problem, the complexity analysis of the solvable cases, the extremely comprehensive treatment of the reduction method, and the model-theoretic analysis of solvable cases. Many simple pr...

This book is a pedagogical presentation aimed at advanced undergraduate students, beginning graduate students and professionals who are looking for an introductory text to the field of Distance Geometry, and some of its applications. This versions profits from feedback acquired at undergraduate/graduate courses in seminars and a number of workshops.

The methodology described in this book is the result of many years of research experience in the field of synthesizable VHDL design targeting FPGA based platforms. VHDL was first conceived as a documentation language for ASIC designs. Afterwards, the language was used for the behavioral simulation of ASICs, and also as a design input for synthesis tools. VHDL is a rich language, but just a small subset of it can be used to write synthesizable code, from which a physical circuit can be obtained....

This book constitutes the refereed proceedings of the 8th Brazilian Symposium on Bioinformatics, BSB 2013, held in Recife, Brazil, in November 2013. The 18 regular papers presented were carefully reviewed and selected for inclusion in this book. The papers cover all aspects of bioinformatics and computational biology.

This volume constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Fuzzy Logic and Applications held in September 2005. The 50 revised full papers and 32 short papers presented together with three invited papers were carefully reviewed and selected from 86 submissions. The papers are organized in topical sections on neuro-fuzzy systems, fuzzy logic and possibility theory, pattern recognition, evolutionary algorithms, control, bioinformatics, image proc...

Offered as an introduction to the field of data structures andalgorithms, Open Data Structures covers the implementation andanalysis of data structures for sequences (lists), queues, priorityqueues, unordered dictionaries, ordered dictionaries, and graphs.Focusing on a mathematically rigorous approach that is fast, practical,and efficient, Morin clearly and briskly presents instruction alongwith source code.

This book integrates the key concepts of mathematical programming (MP) and constraint programming (CP) into a unified framework that allows them to be generalized and combined. The unification of MP and CP creates optimization methods that have much greater modeling power, increased computational speed, and a sizeable reduction computational coding. This integration along with constraint programming being incorporated into a number of programming languages, brings the field a step closer to bein...

FoLLI-LNCS is the publication platform for the Association of Logic, Language and Information (FoLLI, www.folli.org). The Association was founded in 1991 to advance research and education on the interface between logic, linguistics, computer science, and cognitive science. The FoLLI Publications on Logic, Language and Information aim to disseminate results of cutting-edge research and tutorial materials in these interdisciplinary areas.    This LNCS volume  is part of FoLLi book serie and conta...