General

This book constitutes the refereed proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, held as part of STAF 2019, in Eindhoven, The Netherlands, in July2019. The 12 research papers and 1 tool paper presented in this book...

The two-volume set LNCS 11973 and 11974 constitute revised selected papers from the Third International Conference on Numerical Computations: Theory and Algorithms, NUMTA 2019, held in Crotone, Italy, in June 2019. This volume, LNCS 11974, consists of 19...

The book comprises an assembly of benchmarks and examples for porous media mechanics collected over the last twenty years. Analysis of thermo-hydro-mechanical-chemical (THMC) processes is essential to many applications in environmental engineering, such...

This textbook introduces major topics that include quantum bits, superposition, entanglement, logic gates, quantum search algorithm, quantum Fourier transform, inverse quantum Fourier transform, Shor's order-finding algorithm and phase estimation...

In cognitive science, mental representations of spatial knowledge are metaphorically referred to as cognitive maps. However, investigations in cognitive psychology reveal that the cognitive map metaphor is inadequate and that more suitable conceptions of...

This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on the Arithmetic of Finite Field, WAIFI 2016, held in Ghent, Belgium, in July 2016. The 14 revised full papers and 3 invited talks presented were...

This rigorous book is a complete and up-to-date reference for the Csound system from the perspective of its main developers and power users. It explains the system, including the basic modes of operation and its programming language; it explores the many...

This open access book provides a broad range of insights on market engineering and information management. It covers topics like auctions, stock markets, electricity markets, the sharing economy, information and emotions in markets, smart decision-making...

This book constitutes the refereed proceedings of the 7th International Conference on Sequences and Their Applications, SETA 2012, held in Waterloo, Canada, in June 2012. The 28 full papers presented together with 2 invited papers in this volume were...

We greeted the attendees of CIVR 2004 with the following address: "T' aimid an- ' bhroduil ' failte ' a chur romhaibh chuig Ollscoil Chathair Bhaile Atha Cliath agus ' chuig an triu ' Comhdh' ail Idirn' aisiun ' ta ar Aisghabh' ail Iomh' anna agus...

This book constitutes the refereed proceedings of the 40th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2014, held in Novy Smokovec, Slovakia, in January 2014. The 40 revised full papers presented in this...

This book constitutes the refereed proceedings of the Second European Conference on Multimedia Applications, Services and Techniques, ECMAST'97, held in Milan, Italy, in May 1997. The volume presents 48 revised full papers selected from more than 120...

Contents: Barbara Lewandowska-Tomaszczyk: PALC 2007: Where are we now? - Paul Rayson/Dawn Archer/Alistair Baron/Nicholas Smith: Travelling through time with corpus annotation software - Eugene H. Casad: Parsing texts and compiling a dictionary with...

This book constitutes the proceedings of the 7th International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2021, which was held in Rupnagar, India, during February 11-13, 2021. The 39 papers presented in this volume were carefully...

This book introduces remotely sensed image processing for urban areas using optical and synthetic aperture radar (SAR) data and assists students, researchers, and remote sensing practitioners who are interested in land cover mapping using such data...

With approximately 2500 problems, this book provides a collection of practical problems on the basic and advanced data structures, design, and analysis of algorithms. To make this book suitable for self-instruction, about one-third of the algorithms are...

Reverse mathematics studies the complexity of proving mathematical theorems and solving mathematical problems. Typical questions include: Can we prove this result without first proving that one? Can a computer solve this problem? A highly active part of...

Every enterprise architect faces similar problems when designing and governing the enterprise architecture of a medium to large enterprise. Design patterns are a well-established concept in software engineering, used to define universally applicable...

This monograph presents an application of concepts and methods from algebraic topology to models of concurrent processes in computer science and their analysis. Taking well-known discrete models for concurrent processes in resource management as a point...

Many current AI and machine learning algorithms and data and information fusion processes attempt in software to estimate situations in our complex world of nested feedback loops. Such algorithms and processes must gracefully and efficiently adapt to...

Starting with an introduction to the numerous features of Mathematica (R), this book continues with more complex material. It provides the reader with lots of examples and illustrations of how the benefits of Mathematica (R) can be used. Composed of...

Explore big data concepts, platforms, analytics, and their applications using the power of Hadoop 3 Key Features Learn Hadoop 3 to build effective big data analytics solutions on-premise and on cloud Integrate Hadoop with other big data tools such as R,...

This book constitutes the thoroughly refereed proceedings of the international workshops associated with the 33rd International Conference on Advanced Information Systems Engineering, CAiSE 2021, which was held during June 28-July 2, 2021. The conference...

This book contains 22 lectures presented at the final conference of the Ger man research program (Schwerpunktprogramm) Algorithmic Number The ory and Algebra 1991-1997, sponsored by the Deutsche Forschungsgemein schaft. The purpose of this research...

It is becoming increasingly clear that the use of human visual perception for data understanding is essential in many fields of science. This book contains the papers presented at VisSym'00, the Second Joint Visualization Symposium organized by the...

This book constitutes the refereed proceedings of the 7th International Conference on Interactive Storytelling, ICIDS 2014, Singapore, Singapore, November 2014. The 20 revised full papers presented together with 8 short papers 7 posters, and 5...

This book constitutes the refereed proceedings of the 6th International Conference on Interactive Storytelling, ICIDS 2013, Istanbul, Turkey, November 2013. The 14 revised full papers presented together with 10 short papers were carefully reviewed and...

This book discusses all aspects of computing for expressive performance, from the history of CSEMPs to the very latest research, in addition to discussing the fundamental ideas, and key issues and directions for future research. Topics and features:...

There is hardly a science that is without the notion of "system". We have systems in mathematics, formal systems in logic, systems in physics, electrical and mechanical engineering, architectural-, operating-, infonnation-, programming systems...

This book constitutes the thoroughly refereed post-conference proceedings of the 40th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2014, held in Nouan-le-Fuzelier, France, in June 2014. The 32 revised full papers presented...

"Digital Video and Audio Broadcasting Technology - A Practical Engineering Guide" deals with all the most important digital television, sound radio and multimedia standards such as MPEG, DVB, DVD, DAB, ATSC, T-DMB, DMB-T, DRM and ISDB-T. The...

This book constitutes the refereed post-conference proceedings of the 9th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2020, held virtually in December 2020.The 16 revised full papers and 10 revised short papers presented together with 1...

This book constitutes revised selected papers from the 9th International Workshop on Enterprise Applications, Markets and Services in the Finance Industry, FinanceCom 2018, held in Manchester, UK, in June 2018. The 11 papers presented in this volume were...

This book constitutes the thoroughly refereed post-workshop proceedings of the International Workshop on Vision Algorithms held in Corfu, Greece in September 1999 in conjunction with ICCV'99. The 15 revised full papers presented were carefully reviewed...

This book highlights advanced applications of geospatial data analytics to address real-world issues in urban society. With a connected world, we are generating spatial at unprecedented rates which can be harnessed for insightful analytics which define...

This book constitutes the proceedings of the 6th International Conference on Applied Informatics, ICAI 2023, which took place in Guayaquil, Ecuador, in October 2023.The 30 papers presented in this volume were carefully reviewed and selected from 132...

This book constitutes the refereed proceedings of the 27th International Conference on Linking Theory and Practice of Digital Libraries, TPDL 2023, held in Zadar, Croatia, during September 26–29, 2023.The 13 full papers and 17 short papers included in...

Deploy your data ingestion pipeline, orchestrate, and monitor efficiently to prevent loss of data and quality Key Features Harness best practices to create a Python and PySpark data ingestion pipeline Seamlessly automate and orchestrate your data...

This book constitutes the joint refereed proceedings of Calculemus 2014, Digital Mathematics Libraries, DML 2014, Mathematical Knowledge Management, MKM 2014 and Systems and Projects, S&P 2014, held in Coimbra, Portugal, during July 7-11, 2014 as...

This book has grown out of graduate courses given by the author at Southern Illinois University, Carbondale, as well as a series of seminars delivered at Curtin University of Technology, Western Australia. The book is intended to be used both as a...