This book, with minor revisions, is back in print from Dover Publications and can be purchased in paperback form at Amazon.com, Barnes & Noble, etc. An e-book version will be released in late February ...

BSAI junior Daisy Sheng has received the 2025 Scott Robert Krulcik Scholarship in Computer Science. Before she'd even graduated from her Ottawa high school, Daisy Sheng had influenced the lives of ...

CSD Ph.D. students Renfei Zhou and William Zhang have been selected as 2025 MongoDB Ph.D. Fellows. The highly competitive fellowship program supports graduate students who demonstrate exceptional ...

Hi! My name is Satya. That's short for "Satyanarayanan". I'm a faculty member in the School of Computer Science at Carnegie Mellon University. As an experimental computer scientist, I design, ...

This is a graduate research seminar on Homotopy Type Theory (HoTT), a recent enrichment of Intuitionistic Type Theory (ITT) to include "higher-dimensional" types. The dimensionality of a type refers ...

Consider the words "man", "woman", "boy", and "girl". Two of them refer to males, and two to females. Also, two of them refer to adults, and two to children. We can ...

4.1 Degrees of Freedom of a Rigid Body 4.1.1Degrees of Freedom of a Rigid Body in a Plane 4.1.2 Degrees of Freedom of a Rigid Body in Space ...

Practical implementations of computational theories of speech and language Making computer speech synthesis as natural, flexible, and efficient as human speech.

`Here!' cried Alice, quite forgetting in the flurry of the moment how large she had grown in the last few minutes, and she jumped up in such a hurry that she tipped over the jury-box with the edge of ...

It is at the core of artificial intelligence and machine learning, where one often needs to make decisions under stochastic uncertainty. It is also integral to computer science theory, where ...

Thread operations include thread creation, termination, synchronization (joins,blocking), scheduling, data management and process interaction. A thread does not maintain a list of created threads, nor ...

Warning: This page is out of date (last updated early 1999), and may be going away soon. For more information, see the main page. If you're looking for more up-to-date author and book links, this page ...