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. bit.ly/3CwcxEf#cryptography Sanjam Garg
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. bit.ly/3qMx0lv
Robin Hammerman & Andrew L. Russell. #gender#technology#digitalage#AdaLovelace#AdasLegacy
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. bit.ly/3NcvbG7 Seth Cooper
#computers#videogames#Human#Problem#Solving
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. Matei Zaharia, MIT and Databricks. bit.ly/440NCnR#dataprocessing#largeclusters
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. bit.ly/3WXPyLL
Aaron Stump is a professor of Computer Science at The University of Iowa. #Agda
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. bit.ly/2sjHA3h#PredictiveAnalytics
Comprehensive coverage of topics including multimedia content understanding, multimodal human-human and human-computer interaction, multimedia social media, and multimedia system architecture and deployment. bit.ly/3WKgZsj#data#HCI#multimedia#Cloud#DeepLearning
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. bit.ly/2Fz48E7
Haitham Hassanieh #Algorithms
Declarative Logic Programming, by Michael Kifer and Yanhong Annie Liu, provides state of the art surveys by top experts in the resurgent area of #logic#programming . Accessible to graduate students, practitioners and researchers.
Get it here: bit.ly/45AZAGh
The Handbook of Multimodal-Multisensor Interfaces 2: user input involving new media (speech, multi-touch, hand and body gestures, facial expressions, writing). Textbook, reference, and technology roadmap. bit.ly/3WHpFQ0 Oviatt, Schuller, Cohen, et all. #MachineLearning
Heterogeneous Computing: If you look around you will find that all computer systems, from your portable devices to the strongest supercomputers, are heterogeneous in nature. bit.ly/2wzMObP Author: Mohamed Zahran #Architecture#programability#heterogeneouscomputing
Conversational UX Design adapts formal knowledge from the field of Conversation Analysis to the design of natural language interfaces. It outlines the Natural Conversation Framework, developed at #IBM Research. bit.ly/2Ii1ce6 Moore and Arar #natural#language#HCI
"One of those books everyone in need of a deep understanding of the heart of software development should read." Vincent Delaroche - Chairman and CEO of CAST, a global leader in Software Intelligence.
Get it here: bit.ly/2Ygu6Wj#SoftwareEngineering