Morgan & Claypool Publishers

06/16/2023

Cryptography enables tasks that often seem paradoxical, or simply just impossible. What are the boundaries of this world of black magic? This work lays one of the founding stones in furthering our understanding of these edges. http://bit.ly/3CwcxEf Sanjam Garg, University of California, Berkeley. ACM - Association for Computing Machinery

06/16/2023

Communities of Computing
A full-length history of the ACM by the director of the Charles Babbage Institute, Thomas J. Misa. http://bit.ly/42Ij3SY

Communities of Computing: Computer Science and Society in the ACM (ACM Books)

06/16/2023

Ada's Legacy illustrates the depth and diversity of writers, thinkers, and makers who have been inspired by Ada Lovelace, the English mathematician and writer. https://bit.ly/3qMx0lv
Robin Hammerman & Andrew L. Russell.

06/16/2023

The game framework combines computational power with human problem solving and creativity to work toward solving scientific problems that neither computers nor humans could previously solve alone. https://bit.ly/3NcvbG7 Seth Cooper
ACM - Association for Computing Machinery

As science becomes increasingly computational, the limits of what is computationally tractable become a barrier to scientific progress. Many scientific problems, however, are amenable to human problem solving skills that complement computational power. By leveraging these skills on a larger scale...

06/16/2023

This book, a revised dissertation of the 2014 ACM Dissertation Award, proposes an architecture for cluster computing systems that can tackle emerging data processing workloads at scale. http://bit.ly/440NCnR
Author: Matei Zaharia, MIT and Databricks. ACM - Association for Computing Machinery

05/31/2023

Agda is an advanced programming language based on Type Theory. Agda's type system is expressive enough to support full functional verification of programs, in two styles. http://bit.ly/3WXPyLL
Author Aaron Stump is a professor of Computer Science at The University of Iowa.

Agda is an advanced programming language based on Type Theory. Agda's type system is expressive enough to support full functional verification of programs, in two styles. In external verification, we write pure functional programs and then write proofs of properties about them. The proofs ar...

05/31/2023

This second volume of the handbook begins with multimodal signal processing, architectures, and machinelearning. Includes recent deep learning approaches for processing multisensorial and multimodal user data and interaction, context-sensitivity. https://bit.ly/42fikse
Authors: Sharon Oviatt, Incaa Designs,
Bjoern Schuller, University of Passau and Imperial College London,
Philip R. Cohen, VoiceBox Technologies,
Daniel Sonntag, German Research Center for Artificial Intelligence,
Gerasimos Potamianos, University of Thessaly,
Antonio Kruger, German Research Center for Artificial Intelligence.

The Handbook of Multimodal-Multisensor Interfaces, Volume 1: Foundations, User Modeling, and Common Modality Combinations (ACM Books)

05/31/2023

A discussion of computational methods devised for identifying protein complexes from the network of protein interactions, (PPI network), detailed taxonomy of these methods, and comprehensively evaluation across a variety of scenarios. https://bit.ly/3OHXcaS
Authors:
Sriganesh Srihari, University of Queensland Institute for Molecular Bioscience,
Chern Han Yong, Duke - National University of Singapore Medical School,
Limsoon Wong, National University of Singapore.

Computational Prediction of Protein Complexes from Protein Interaction Networks (ACM Books)

05/31/2023

Introduces tools and techniques for deterministic parallel programming, , and theory and practice in parallel algorithm design. Get it here: https://bit.ly/3N4AJmZ
Author: Julian Shun, University of California, Berkeley.

05/31/2023

Comprehensive coverage of topics including multimedia content understanding, multimodal human-human and human-computer interaction, multimedia social media, and multimedia system architecture and deployment. https://bit.ly/3WKgZsj
Author: Shih-Fu Chang, Columbia University.

05/31/2023

By developing the Sparse Fourier Transform algorithms, and systems that use these algorithms, we solve key problems: wireless networks, mobile systems, computer graphics, medical imaging, biochemistry, and digital circuits. https://bit.ly/42eXfhA

Haitham Hassanieh

05/31/2023

Provides readers with some of the most influential works on run-time exploits and defenses.
Get it here: https://bit.ly/436Tz2x
Authors: Per Larsen (Immunant, Inc.) Ahmad-Reza Sadeghi (TU Darmstadt, Germany). ACM - Association for Computing Machinery

The Continuing Arms Race: Code-Reuse Attacks and Defenses (ACM Books)