This book constitutes the proceedings of the International Workshop on Computational Diffusion MRI, CDMRI 2022, which was held 22 September 2022, in conjunction with MICCAI 2022.
This book constitutes the refereed post-conference proceedings of the 15th EAI International Conference on Quality, Reliability, Security and Robustness in Heterogeneous Networks, QShine 2020, held in November 2020.
This book constitutes the refereed proceedings of the 21st International Workshop on Computer Algebra in Scientific Computing, CASC 2019, held in Moscow, Russia, in August 2019.
This book constitutes the refereed proceedings of the 22nd International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2020, held in Austin, TX, USA, in November 2020.
This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Numerical Methods and Applications, NMA 2018, held in Borovets, Bulgaria, in August 2018.
International Association for Statistical Computing The International Association for Statistical Computing (IASC) is a Section of the International Statistical Institute.
This book constitutes the refereed proceedings of the 12th International Conference on Combinatorics on Words, WORDS 2019, held in Loughborough, UK, in September 2019.
The greatly expanded and updated 3rd edition of this textbook offers the reader a comprehensive introduction to the concepts of logic functions and equations and their applications across computer science and engineering.
This book constitutes the proceedings of the 17th International Conference on Quantitative Evaluation Systems, QEST 2020, held in Vienna, Austria, in August/September 2020.
This book constitutes the refereed proceedings of the 10th International Conference on Formal Concept Analysis, ICFCA 2012, held in Leuven, Belgium in May 2012.
Modern computer algebra systems are revolutionizing the teaching and learning of mathematically intensive subjects in science and engineering, enabling students to explore increasingly complex and computationally intensive models that provide analytic solutions, animated numerical solutions, and complex two- and three-dimensional graphic displays.
This book is based on the invited talks of the "e;RICAM-Workshop on Finite Fields and Their Applications: Character Sums and Polynomials"e; held at the Federal Institute for Adult Education (BIfEB) in Strobl, Austria, from September 2-7, 2012.
Intelligent Information Technology (iiT) encompasses the theories and ap- plications of artificial intelligence, statistical pattern recognition, learning theory, data warehousing, data mining and knowledge discovery, Grid com- puting, and autonomous agents and multi-agent systems in the context of today's as well as future IT, such as Electronic Commerce (EC), Business Intelligence (BI), Social Intelligence (SI), Web Intelligence (WI), Knowledge Grid (KG), and Knowledge Community (KC), among others.
This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on Algebraic Development Techniques, WADT 2010, held in July 2010 in Etelsen, Germany.
This is a new type of calculus book: Students who master this text will be well versed in calculus and, in addition, possess a useful working knowledge of one of the most important mathematical software systems, namely, MACSYMA.
The CASC Workshops are traditionally held in turn in the Commonwealth of IndependentStates(CIS)andoutsideCIS(Germanyinparticular,but,attimes, also other countries with lively CA communities).
This book constitutes thoroughly refereed and revised selected papers from the 7th International Symposium on Combinatorial Optimization, ISCO 2022, which was held online during May 18-20, 2022.
Continuous System Simulation describes systematically and methodically how mathematical models of dynamic systems, usually described by sets of either ordinary or partial differential equations possibly coupled with algebraic equations, can be simulated on a digital computer.
This book constitutes the refereed proceedings of the 17th and 18th International Conference on Formal Grammar 2012 and 2013, collocated with the European Summer School in Logic, Language and Informationin August 2012/2013.
Recent years witnessed an increased interest in formal pragmatics and especially the establishment of game theory as a new research methodology for the study of language use.
This textbook addresses postgraduate students in applied mathematics, probability, and statistics, as well as computer scientists, biologists, physicists and economists, who are seeking a rigorous introduction to applied stochastic processes.
This monograph gives a thorough treatment of the celebrated compositions of signature and encryption that allow for verifiability, that is, to efficiently prove properties about the encrypted data.
This book constitutes the refereed proceedings of the Third International Conference on Combinatorial Optimization and Applications, COCOA 2009, held in Huangshan, China, in June 2009.
This volume convenes selected, peer-reviewed research and survey articles that address the modern state-of-the-art in varied areas of applied mathematical analysis.
This book constitutes the refereed proceedings of the 21st International Conference on DNA Computing and Molecular Programming, DNA 21, held in Boston and Cambridge, MA, USA, in August 2015.
This book constitutes selected revised and extended papers from the 10th International Conference on High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production, HPCST 2020, Barnaul, Russia, in May 2020.
This book constitutes the refereed proceedings of the First International Workshop on Connectomics in NeuroImaging, CNI 2017, held in conjunction with MICCAI 2017 in Quebec City, Canada, in September 2017.
This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Algebra in Scientific Computing, CASC 2020, held in Linz, Austria, in September 2020.
The main goal of this book is to find the constructive content hidden in abstract proofs of concrete theorems in Commutative Algebra, especially in well-known theorems concerning projective modules over polynomial rings (mainly the Quillen-Suslin theorem) and syzygies of multivariate polynomials with coefficients in a valuation ring.
Bayesian networks and decision graphs are formal graphical languages for representation and communication of decision scenarios requiring reasoning under uncertainty.
This volume constitutes short papers and DETECT 2022 workshop papers, presented during the 11th International Conference on Model and Data Engineering, MEDI 2022, held in Cairo, Egypt, in November 2022.
This book constitutes the refereed proceedings of the 12th International Conference on Combinatorics on Words, WORDS 2019, held in Loughborough, UK, in September 2019.
The 7-volume set LNCS 14832 - 14838 constitutes the proceedings of the 24th International Conference on Computational Science, ICCS 2024, which took place in Malaga, Spain, during July 2-4, 2024.
This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Algebra in Scientific Computing, CASC 2020, held in Linz, Austria, in September 2020.
The two-volume proceedings constitutes the refereed proceedings of the 24th International Conference on Progress in Cryptology, INDOCRYPT 2023, Goa, India, in December 2023.
