IT, Computing, Telecommunications Degrees

...include abstract interpretation (dataflow), type systems, model checking, decision procedures (SAT, BDDs), theorem-proving. Dynamic analysis topics include testing... Learn about: Team Training, Software Engineering...

...language and speech processing. Lectures: 2 sessions / week, 1.5 hours / session This course is a graduate level introduction to automatic discourse processing...

...overflows with theorems, techniques, and notions of interest to theoretical computer scientists. The course will focus on results of asymptotic and algorithmic significance...

...of parallel systems. The topics for the class will vary depending on student interest, but will likely include multithreading, synchronization...

...Topics covered include: arithmetic circuits, parallel prefix, systolic arrays, retiming, clocking methodologies, boolean logic, sorting networks...

...of how to define security of cryptographic protocols in a way that is appropriate for modern computer networks, and how to construct protocols that satisfy...

...the end of the month. Lectures: 7 sessions for 4 weeks, 2 hours / session This course presents a tutorial on the ToBI system, for labelling certain aspects...

...It discusses the rights and obligations of engineers in connection with educational institutions, government, and large and small businesses... Learn about: Professor Training...

...Applications include compilers, computer-algebra systems, deductive systems, and some artificial intelligence applications. Topics include combinators...

...ideas to formulate the principles of mechanics precisely. Expression in a computational framework encourages clear thinking and active exploration....

...in communications policy and their historical roots. The course focuses on underlying rationales and models for government involvement and the complex...

...programmer in these languages. Topics include object-oriented programming, memory management, advantages of C and C++, optimization, and others... Learn about: Object oriented training, Object oriented Programming, Oriented Programming...

...pointers, preprocessor macros, object-oriented programming, and how to find bugs when you inevitably use any of those incorrectly. There will be daily... Learn about: Object oriented Programming, C programming, Oriented Programming...

...implementation and evaluation of policy outcomes using frameworks including economics and markets, law, and business and management. Methods include cost/benefit analysis... Learn about: Team Building, IT Law, Team Training...

...A comprehensive approach to dispute resolution in organizations and complex engineered systems is also developed. The course builds key interactive skills... Learn about: Dispute Resolution, Problem Solving, Difficult People...

...2 sessions / week, 1.5 hours / session The subject is addressed to graduate students and advanced undergraduates. An undergraduate background in science...

...Building from that success, the X PRIZE Foundation is now developing new prizes to focus innovation around "Grand Challenge" themes, including genomics... Learn about: Team Training...

...and extension of what is known about system architecture and complexity from a theoretical point of view while examining the origins of and recent developments in the field... Learn about: Network Training...

...especially in the United States during the 19th and 20th centuries. Topics include industrialization of production and consumption, development of engineering professions...

...quantum logic, quantum algorithms including Shor's factoring algorithm and Grover's search algorithm, quantum error correction, quantum communication...