Spring 2005 Elective Information

CmpSci 521 - Advanced Software Engineering: Analysis

Professor: Clarke


Software systems have become an integral part of our societal infrastructure. Software controls life-critical applications, 
such as air traffic control and medical devices, and is of central importance in telecommunication and electronic commerce.
In this course, we will examine state of the art practices for testing and analyzing software systems that require high assurance. 
We will initially look at techniques developed for sequential systems but then examine the complexity that arises 
from distributed systems. Laboratory requirements: students will be required to carry out an individual or group 
project that applies or extends some of the techniques described in class. Text: course material will be drawn 
from the software engineering literature.Prerequisites: CMPSCI 320, Introduction to Software Engineering (or equivalent course). 
3 credits.

CmpSci 530 Programming Languages


Professor: Wileden

CMPSCI 530 is a course about programming languages: what they are, how they work, how we can
understand them and reason about them. Programming languages are the central tools used by all 
computer scientists.  Hence a course that teaches the principles underlying programming languages 
should be at the heart of an undergraduate education in computer science. Such a course should
also endeavor to be on the cutting edge of developments in programming languages. So, for example,
the year that Java first appeared CMPSCI 530 abandoned its traditional syllabus and spent the semester
studying the new Java language, using what little information was available on Sun's web pages.

Of course, the ever-increasing importance of the World Wide Web is bringing new kinds of programming 
to prominence. In the Spring semester of 2003 I taught an undergraduate seminar course on “Web Programming”. 
My intention was to explore the rather ad hoc languages and tools used to develop applications on the World Wide Web. 
The course was very popular and well received by students, but I was dissatisfied with the informality and lack of rigor in 
the subject matter and have not offered the course again. In Spring 2005 I intend to make Web Programming a central
focus of CMPSCI 530.

So come be part of the next stage in studying programming languages here at UMass. We will start by developing
the latest formal tools for investigating languages and their properties, while simultaneously studying contemporary
approaches to web programming, then apply the formal tools to provide a rigorous treatment of web programming. 
It should be fun!

Additional information:

• Instructor: Jack Wileden ( jack@cs.umass.edu)
• Time/Place: Tu-Th 2:30-3:45, CS-Bldg 142
• Text: TBA  
• Exams: no, just homework and a project
• Class fills an elective requirement for CS major
• Grad students? – take the companion CMPSCI 630 (691F).
• Five-College Students - Most Welcome!
• Final word: If you want to help shape how PL/WebProgramming will be taught for the next few year, here's your chance!

CmpSci 575 Graph Theory and Combinatorics

Professor: Moll

CS 575/Math 513, Graph Theory and Combinatorics is an introductory class in these topics for advanced undergraduates.  
This is a mathematics class with a slight tilt towards applications in computer science and allied fields. 
As such it’s both a CS and Mathematics class.

What topics are covered?  Typically I cover: Basic graph theory; Planarity; Euler, Hamiltonian paths; Graph coloring; Flows and matching; 
Basic counting techniques; More specialized graph theory applications; Generating functions; Recurrences, Inclusion/Exclusion; 
Pidgeonhole principle; Polya’s theory of counting.

The class is distinguished by a vast number of fascinating problems. I generally assign about 100 during the term.  
You need to have had a discrete math class already (e.g. CS 250, Math 455), and you should only consider this class 
if you got a kick out of working on the more challenging problems in that class.

While the class has a lecture format,  the actual class meetings are as much a mix of stand-up comedy and 
audience-participation game show as they are pure lecture.  In other words, you’ve got to bring your brains to class.

Additional information:

• Instructor: Robert Moll ( moll@cs.umass.edu)
• Time/Place: Tu-Th 1-215, CS-Bldg 140
• Text: TBA (last time: Tucker-Applied Combinatorics)
• Do you need a class in Modern Algebra (ans: no)
• Exams: alas, yes: midterm and final
• Class fills math requirement for CS Bay State Fellowship Program
• Grad students? – a good class for students in the sciences, engineering, management, operations research.
• Who else?  A couple of freshmen took the class last year
• Five-College Students - Most Welcome!
• Final word: If you like doing challenging but seemingly elementary math problems, this course can be great fun.

CmpSci 546: Web Search Engines

Professor: Allan


The course will cover the information retrieval techniques needed to build a Web-based search engine. 
Topics covered will include basic models of retrieval systems, Web crawling, indexing and text representation, 
efficient storage of indexes, high-throughput query processing, and use of link information to change ranks. 
The course will include implementation of major parts of a Web-based search engine. 3 credits.

CmpSci 551: Three-Dimensional Animation and Digital Editing


Professor: Woolf


This seminar is dedicated to the production of high quality 3-dimensional computer animation using graphics technology. For example, color 3-D objects are defined and manipulated, digitized images created and altered, and photo-realistic effects and animated sequences produced. Techniques are used to bend and twist shapes around objects or lines, to provide a variety of light and texture, and to trace over images including digitized pictures. The course is directed at production of an informative and approachable ten minute 3-dimensional animated piece. Using computer-generated graphical analogies as well as cartoon caricature, the video is designed to educate and entertain. The class does not have lab facilities for all students interested in this material and thus we limit the class to students who do well on the first assignment. This assignment will be graded and returned to students before the end of the Add/Drop period. Students are cordially invited to attend the first class, the first Tuesday/Thursday of the semester. At that time we will explain the course, what is expected of students and the entry condition. 3 credits.

CmpSci 552: Interactive Multimedia Production


Professor: Woolf


This course explores the potential of high quality interactive authoring tools to develop presentation and training systems. Programming languages within professional presentation and editing packages will be used to create systems capable of presenting graphics, animation, text, sound and music, based on the users requests. Students will learn how to define and manipulate classical techniques such as storyboarding, staging, and interactivity. The course will concentrate on state-of-the-art multimedia composition and presentation techniques and developing small individual projects. The class does not have lab facilities for all students interested in this material and thus we limit the class to students who do well on the first assignment. This assignment will be graded and returned to students before the end of the Add/Drop period. Students are cordially invited to attend the first class, the first Tuesday/Thursday of the semester. At that time we will explain the course, what is expected of students and the entry condition. Prerequisite: CMPSCI 551 (591x) - 3D Computer Animation and Digital Editing. Permission of the instructor required; contact: Beverly Woolf 545-4265. 3 credits.

CmpSci 553: Interactive Web Animation


Professor: Woolf


This course teaches basic animation for the Web, interactivity, color theory, design, action scripting, 
and transitions. Students maintain their own web sites and submit projects every 2 weeks in Flash. 
Individual as well as a final project are required. Knowledge of basic Web development, e.g., HTML, Java Script. 
Prerequisite: CMPSCI 391F; CMPSCI 551 and CMPSCI 552 preferred. Permission of instructor is required. 3 credits.

CmpSci 554: Multimedia Production Management

Professor: Woolf


This course involves developing a large group 3D animation, beginning with a storyboard, developing models, 
lighting, background, sound and music. It involves team management, group dynamics, and production techniques. 
The final project will be demonstrated on the last day of class, to over 100 people. Prerequisite: CMPSCI 551. 
Permission of instructor is required. 3 credits.

CmpSci 570: Computer Vision


Professor: Learned-Miller, Hanson


People are able to infer the characteristics of a scene or object from an image of it. In this course, 
we will study what is involved in building artificial systems which try to infer such characteristics from an image. 
Topics include: Basics of image formation - the effect of geometry, viewpoint, lighting and albedo on image formation. 
Basic image operations such as filtering, convolution and correlation. Frequency representations of images. 
The importance of scale in images. Measurements of image properties such as color, texture, appearance and 
shape. Inference of motion and structure from moving objects and images. Detecting and recognizing objects in images. 
Statistical methods in computer vision.The graduate version CMPSCI 670(691A) requires more work than this version of 
the course. Prerequisite: Linear algebra, calculus, basic knowledge of probability, and an ability to program. 3 credits.

CmpSci 591Y: Knowledge Discovery and Data Mining

Professor: Jensen


CmpSci 591Y, Knowledge Discovery and Data Mining, is an introductory class for advanced undergraduates and beginning graduate students.  
We will explore how ideas from AI, statistics, and databases can be combined to empower applications that search vast spaces of 
patterns to discover useful knowledge from large and complex data sets.  These techniques are now being employed in a variety of areas, 
including fraud detection, marketing, scientific discovery, and web mining.

What will we actually do in the course?  There will be some standard reading and lecture to get you familiar with key technical concepts.  
These will have lots of examples and some hands-on in-class examples.  We'll also read and discuss some classic papers in the field to 
give you a feel for how people actually apply these ideas.  This also gives us a chance to discuss practical questions about how new 
techniques are developed and evaluated ("Do we know this really works?" "Where do these people come up with this stuff?").  
Finally, we'll analyze and discuss actual data sets with a variety of open-source tools for data mining that have been developed i
n the past several years.

About the prerequisite: The course assumes that you are familiar with basic concepts and algorithms from probability and statistics.  
I will provide brief introductions to most techniques, so "familiarity with basic concepts" rather than "expertise" is required.  
If you have questions or you haven't had the specific stats courses that SPIRE wants, mail me and we can talk.

Additional information:

• Instructor: David Jensen <jensen@cs.umass.edu>
• Time: T-Th 1:00-2:15
• Probable Text: Principles of Data Mining, by Hand, Mannila & Smyth
• Grad students? – A good class for students in the sciences, engineering, management, and operations research.
• Five-College Students - Most Welcome!


CmpSci 491J: Seminar: The Computer Science of Multiplayer Games


Professor: Levine, Burns


This undergraduate-level seminar focus on the computer science that enable massively-multiplayer online games. 
The class is based on student-led discussions and programming projects. Students in the class are evaluated
 based on their performance in those two tasks (and not exams, quizes, etc). Topics include artificial intelligence, 
networking, graphics, and game design. The project involve enhancing one or more components of an 
empty game given to the class at the beginning of the semester: e.g., automated bots, graphics, game consistency, 
network performance, and cheat proofing. Prerequisites: CMPSCI 377. CMPSCI undergraduates only, or with permission of instructor.
-- RobbieMoll - 05 Nov 2004
Topic revision: r4 - 2004-11-15 - RobbieMoll
 
This site is powered by the TWiki collaboration platform Powered by PerlCopyright © 2008-2019 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding UMass CS EdLab? Send feedback

mersin escort adana escort izmir escort gaziantep escort