|
Check This Out:
C102 (Kisling) |
Great Ideas In Computing |
Survey of great ideas in computing and the impact of computing
in the modern world.
11:15am-12:30pm TR
|
Check This Out:
A202/A598[grad]
(German) |
Introduction to Programming II |
Modern approaches to programming tasks and techniques with
an emphasis on developing real-time 2D and 3D interactive
environments for visualization, simulation, education or
entertainment. 11:15am-12:30pm MW
|
NEW COURSE
A321/A521[grad]
(Bramley) |
Computing Tools for Scientific Research |
A skills-based programming course for scientists, using
Matlab and
C/C++ for managing
and manipulating data,
creating plots and graphs, and performing basic statistics.
8:00am-9:15am MW
|
NEW COURSE
C322 (Haynes) |
Object-Oriented Software Methods |
Introduction to the theory and practice of object-oriented
design and programming techniques. 11:15am-12:30pm TR
|
| H498 (Springer) |
Honors Seminar |
A survey of faculty research in computer related fields with different
faculty members discussing their research each week. (1 hour credit, open to students with
grade average at least 3.3).
7:00pm-9:00pm Mondays
|
|
| P523 (Dybvig) |
Programming Language Implementation (Compilers) |
Implementation of traditional and nontraditional computer
programming languages. Compilation, including lexical analysis, parsing,
optimization, code generation, and testing. 2:30PM-3:45PM TR
|
| B534 (Plale) |
Distributed Systems |
Principles of distributed systems including naming,
consistency, concurrency, and security and their role in
distributed file systems and file sharing systems.
Dennis Gannon co-instructor. 5:30pm-6:45pm MW
|
| B603 (Purdom) |
Advanced Algorithms Analysis
|
Advanced topics in
analysis of algorithms, including fast algorithms for classical
problems, lower bounds results, and statistical behavior.
10:15am-11:30am MW
|
| B609/B619/B629 (Leivant) |
Correct Programming |
Verifying and correctly developing imperative programs.
Topics include reasoning about state-transition systems,
program specification, logics of imperative programs (Hoare's logic,
dynamic logic), developing programs from specifications,
and verification of recursive procedures.
10:15am-11:30am MW
|
| B629 (Lumsdaine) |
Generic Programming
|
Study of the generic programming approach to design and systematic
classification of software components. Techniques for achieving
correctness, efficiency, and generality of algorithms, data
structures, and memory management. 1:00pm-2:15pm MW
|
| B649[to be B639] (Brown) |
Ensuring Longterm Acces to Digital Information |
Rapid advances in computer technology have created a massive preservation
problem -- while almost all documents are now "born digital,"
many documents created only 10-15 years ago are already unusable
on modern PCs.
This seminar examines the software
issues relating to the preservation of digital content. Specifically,
we will consider the types of digital content that might be preserved,
the techniques that can be used to preserve them, and the tasks
the are required to implement these techniques.
1:00pm-2:15pm TR
|
| B649 (Hill) |
Trusted Computing |
Introduction to the detailed techniques and implementations
of trusted computing. 2:30pm-3:45pm MW
|
NEW COURSE
B649 [to be P545] (Johnson) |
Embedded & Real-Time Systems |
Embedded systems incorporate software components in a
dedicated context, such as guidance and control,
communications, sensory networks, to name a just a few.
This course looks at dominant design aspects, particularly
the need to meet critical timing constraints.
The laboratory project is a robotic vehicle programmed for
autonomous navigation. 9:30am-10:45am MW
|
| B649 (Wise) |
Locality and Matrix Computations |
State of the art methods for matrix computations in high
performance computing problems. 9:30am-10:45am MW
|
| B659 (Menczer) |
Web Mining |
Machine learning techniques to mine the Web and other
unstructured/semistructured, hypertextual, distributed information
repositories. Crawling, indexing, ranking and filtering algorithms
using text and link analysis. Applications to search,
classification, tracking, monitoring, and Web intelligence.
11:15am-12:30pm TR
|
| B669 (Wu) |
Database Systems and Internal Design |
Advanced topics in the design and development of database
management systems and their modern applications.
1:00pm-2:15pm TR
|
| B669 (Van Gucht) |
Reasoning about Uncertainty for Large Data |
How the theory of uncertainty
applies to databases, data mining, and web technology.
1:30pm-2:45pm MW
|
| B669 (database faculty) |
Research Seminar in Databases and Datamining |
This B669 section is not a normal course.
It is a research seminar for students already engaged in or
planning to be engaged in database or datamining research.
16:00-18:00 M, LH 019
|
|
| INFO: I399 (Rawlins) |
Globalization, Where We Fit In |
A seminar on the impact of globalization on jobs and lives in
information technology fields. 5:30pm-6:45pm TR
|
NEW COURSE
CSCI:B355/
COGS: Q360
(Beer) |
Autonomous Robotics |
This course provides an introduction to autonomous
robotics and its use in embodied cognitive science. (CSCI B355 meets
with COGS Q360). 9:30am-10:45am TR
|
|
Read More...
See All Computer Science Courses |
|
