This book constitutes selected and extended papers from the Second International Workshop on Deployable Machine Learning for Security Defense, MLHat 2021, held in August 2021. Due to the COVID-19 pandemic the conference was held online. The 6 full papers were thoroughly reviewed…
Gaisi Takeuti was one of the most brilliant, genius, and influential logicians of the 20th century. He was a long-time professor and professor emeritus of mathematics at the University of Illinois at Urbana-Champaign, USA, before he passed away on May 10, 2017, at the age of 91.…
This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Workshop on Algebraic Development Techniques, WADT 2020, held virtually in April 2020. The 7 revised papers presented together with an invited paper were carefully reviewed and se…
A robust implementation for solving the S-unit equation and several application (C. Rasmussen) -- Computing classical modular forms for arbitrary congruence subgroups (E. Assaf) -- Square root time Coleman integration on superelliptic curves (A. Best) -- Computing classical modu…
A robust implementation for solving the S-unit equation and several application (C. Rasmussen) -- Computing classical modular forms for arbitrary congruence subgroups (E. Assaf) -- Square root time Coleman integration on superelliptic curves (A. Best) -- Computing classical modu…
Arithmetic Geometry, Number Theory, and Computation
After a short chapter on basic aspects of software engineering and its realization in Go, this book introduces to nonsequential and distributed programming with Go. It systematically presents basic concepts for the synchronization and communication of concurrent processes. These…
This book features a collection of high-quality, peer-reviewed research papers presented at the 8th International Conference on Innovations in Computer Science & Engineering (ICICSE 2020), held at Guru Nanak Institutions, Hyderabad, India, on 28-29 August 2020. It covers the lat…
The amount of new information is constantly increasing, faster than our ability to fully interpret and utilize it to improve human experiences. Addressing this asymmetry requires novel and revolutionary scientific methods and effective human and artificial intelligence interface…
Go from competent C++ developer to skilled designer or architect using this book as your personal C++ design master class. Updated for the C++20 standard, this title will guide you through the design and implementation of an engaging case study that forms the backdrop for learni…
