Select Page

Search Results for: math

Communicating Sequential Processes (CSP)

Communicating Sequential Processes, or CSP, is a language for describing patterns of interaction. It is supported by an elegant, mathematical theory, a set of proof tools, and an extensive literature. The book Communicating Sequential Processes was first published in 1985 by Prentice Hall International (who have kindly released the copyright); it is an excellent introduction to the language, and also to the mathematical theory.

Read More

The Quest For Artificial Intelligence

Artificial intelligence (AI) may lack an agreed-upon definition, but someone writing about its history must have some kind of definition in mind. Artificial intelligence is an activity devoted to making machines intelligent, and intelligence is that quality that enables an entity to function appropriately and with foresight in its environment.

Read More

4 Free Engineering Course Notes by Prof Bruce Hajek

Bruce Hajek is a professor of the department of electrical and computer engineering, research professor of coordinated science laboratory and hoeft chair of college of engineering at University of Illinois. His research interests include Communication Networks, Auction Theory (e.g. combinatorial auctions for sale of spectrum licenses), Stochastic Analysis, Combinatorial Optimization, Machine Learning, Information Theory and Bioinformatics.

Read More