17.11.2014 Views

UC Davis 2008-2010 General Catalog - General Catalog - UC Davis

UC Davis 2008-2010 General Catalog - General Catalog - UC Davis

UC Davis 2008-2010 General Catalog - General Catalog - UC Davis

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Engineering: Computer Science 253<br />

distributed systems. Concurrency control, recovery,<br />

security. OS kernel-level programming. Special topics<br />

embedded systems, real-time system, device<br />

driver, NPU (Network Processor Unit).—III. (III.)<br />

Pandey, Wu<br />

252. Computer Networks (4)<br />

Lecture—3 hours; laboratory—3 hours. Prerequisite:<br />

course 152B. Internet protocol based computer networks<br />

applications, transport, network layer protocols.<br />

High speed LAN technologies: Ethernet,<br />

Asynchronous Transfer Mode (ATM). Delay models<br />

in data networks: analysis of multiaccess techniques<br />

in polling, ring, random access networks. Multimedia<br />

applications requirements and design.—II.<br />

Mukherjee, Mohapatra, Ghosal<br />

256. Performance Evaluation (4)<br />

Lecture—3 hours; project—1 hour. Prerequisite:<br />

courses 20, 152A, 154A-154B or Electrical and<br />

Computer Engineering 170, Statistics 131A; course<br />

150 recommended. Use of simulation and queueing<br />

theory in computer and communication system<br />

design. Applications to processor scheduling, memory<br />

hierarchies; I/O systems; packet and circuit<br />

switched networks; fault-tolerance; computer networks<br />

applications. Not open for credit to students<br />

who have completed course 256A.—I, II. (I, II.) Matloff,<br />

Ghosal, Mohapatra, Mukherjee<br />

257. Mobile and Wireless Networks (4)<br />

Lecture—3 hours; independent study. Prerequisite:<br />

course 252. Fundamental techniques in design of<br />

second generation wireless networks: cellular network<br />

and protocols, medium access techniques, handoff<br />

control, signaling and mobility management,<br />

wireless data works, Internet mobility and Personal<br />

Communication Services (PCS). Third generation<br />

wideband systems, novel technologies, adhoc networks.<br />

Offered in alternate years.—I. Ghosal,<br />

Mohapatra, Mukherjee<br />

258. Internet Quality of Service (4)<br />

Lecture—3 hours; independent study. Prerequisite:<br />

course 252. Fundamentals of Internet technology,<br />

resource management issues in the Internet, techniques<br />

for supporting quality of service in the Internet<br />

and Internet servers, traffic engineering, future<br />

research issues. Offered in alternate years.—(III.)<br />

Mohapatra, Ghosal<br />

259. Optical Networks (4)<br />

Lecture—3 hours; independent study. Prerequisite:<br />

course 252. Optical networks. Enabling technologies.<br />

Multiplexing techniques. WDM. Broadcast networks.<br />

Wavelength-routed networks. Network<br />

architectures. Protocols. Network algorithms. Devicenetwork<br />

interface. Optimization problems.—I. (I,)<br />

Mukherjee, Ghosal<br />

260. Software Engineering (4)<br />

Lecture—3 hours; project. Prerequisite: course 142;<br />

course 160 recommended. Advanced techniques for<br />

domain-specific software reuse.—I. (I.) Devanbu<br />

261. Program Verification (4)<br />

Lecture—3 hours; discussion—1 hour. Prerequisite:<br />

Mathematics 125 or Philosophy 112 or familiarity<br />

with first-order logic; knowledge of an iterative and<br />

functional programming language. Methods of proving<br />

correctness of programs with respect to formal<br />

specifications, with attention to those suited for<br />

employing automated deduction. Logic background,<br />

symbolic execution, techniques suited to iterative<br />

programming, methods from denotational semantics,<br />

termination, dynamic logic and proofs of concurrent<br />

programs.—I. (I.) Levitt<br />

262. Formal Specification (3)<br />

Lecture—3 hours. Prerequisite: course 261. Formal<br />

specification of modules, and its relationship to topdown<br />

programming development and verification.<br />

Abstract data types, together with methods for specifying<br />

them. Implementations and proofs of implementation.<br />

Using specifications to reason about<br />

programs. Parameterized types. Constructing good<br />

formal specifications. Offered in alternate years.—II.<br />

Levitt<br />

265. Distributed Database Systems (4)<br />

Lecture—3 hours; discussion—1 hour. Prerequisite:<br />

course 165A. Concepts of distributed database systems<br />

and architectures, distributed database design,<br />

distributed query processing and optimization, transaction<br />

management and concurrency control, heterogeneous<br />

and multidatabase systems.—I, III. (III.)<br />

Gertz, Ludaescher<br />

266. Spatial Databases (4)<br />

Lecture—3 hours; discussion—1 hour. Prerequisite:<br />

course 165A. Concepts, models, and architectures<br />

for spatial databases, spatial access methods, query<br />

processing, spatio-temporal data management, moving<br />

objects, spatial data mining. Offered in alternate<br />

years.—(II.) Gertz, Ludaescher<br />

267. Wide-Area Distributed Information<br />

Systems (4)<br />

Lecture—3 hours; discussion—1 hour. Prerequisite:<br />

course 152B or 165A. Wide-area distributed information<br />

systems, data broadcast, multicast, publish/<br />

subscribe, service differentiation, information<br />

retrieval, Web caching. Offered in alternate<br />

years.—III. Askoy<br />

268. Scientific Data And Workflow<br />

Management (4)<br />

Lecture—3 hours; discussion—1 hour. Prerequisite:<br />

course 165A. Scientific data integration, metadata,<br />

knowledge representation, ontologies, scientific<br />

workflow design and management. Offered in alternate<br />

years.—(II.) Gertz, Ludaescher<br />

270. Artificial Intelligence (3)<br />

Lecture—3 hours. Prerequisite: courses 140A, 172.<br />

Concepts and techniques underlying the design and<br />

implementation of models of human performance on<br />

intelligent tasks. Representation of high-level knowledge<br />

structures. Models of memory and inference.<br />

Natural language and story understanding. Common<br />

sense planning and problem solving.—II. (II.)<br />

Davidson, Levitt<br />

271. Machine Learning and Discovery (4)<br />

Lecture—3 hours; project—1 hour. Prerequisite:<br />

course 170. Artificial intelligence techniques for<br />

knowledge acquisition by computers. Fundamental<br />

problems in machine learning and discovery. Systems<br />

that learn from examples, analogies, and<br />

solved problems. Systems that discover numerical<br />

laws and qualitative relationships. Projects centering<br />

on implementation and evaluation.—III. Levitt,<br />

Vemuri<br />

272. Information Visualization (4)<br />

Lecture—3 hours; laboratory—3 hours. Prerequisite:<br />

course 163 or 175 recommended. Advanced topics<br />

in information visualization: perceptually effective<br />

display methods, color design and selection, interaction<br />

models and techniques, focus-context techniques,<br />

distortion methods, large graph visualization<br />

techniques, visual data mining methods, and evaluation<br />

methods.—II. (II.) Ma<br />

273. Applied Visual Computing (4)<br />

Lecture—3 hours; laboratory—3 hours. Prerequisite:<br />

graduate standing. Visual computing paradigms,<br />

current visualization technologies, principles of 3-D<br />

graphics, user interface designs, and exploratory<br />

visualization. Offered in alternate years.—I.<br />

Hamann, Joy, Ma, Max<br />

274. Automated Deduction (4)<br />

Lecture—3 hours; discussion—1 hour. Prerequisite:<br />

Mathematics 125 or Philosophy 112 or familiarity<br />

with first-order logic. Techniques of mechanical theorem<br />

proving. Methods based on resolution and termrewriting.<br />

Decision procedures. Induction. Applications<br />

to program verification, question/answering<br />

and plan generation. Study existing mechanical theorem<br />

provers. Offered in alternate years.—III. Levitt<br />

275A. Advanced Computer Graphics (4)<br />

Lecture—3 hours; laboratory—3 hours. Prerequisite:<br />

course 175 or 177 or 178. Advanced topics in computer<br />

graphics. Hidden surface models, rendering of<br />

various surface types, subdivision methods, shading<br />

techniques, anti-aliasing, modeling techniques.—II.<br />

(II.) Joy, Hamann, Ma<br />

275B. Advanced Computer Graphics (4)<br />

Lecture—3 hours; laboratory—3 hours. Prerequisite:<br />

course 175 or 177 or 178. Advanced topics in computer<br />

graphics and geometric modeling. Topics<br />

taken from advanced research papers in computer<br />

graphics, image synthesis, visualization and geometric<br />

modeling. Discussion of current research in the<br />

field. Offered in alternate years.—(II.) Joy, Hamann,<br />

Ma<br />

276. Advanced Volume Visualization (4)<br />

Lecture—3 hours; discussion—1 hour. Prerequisite:<br />

course 177. Applications, available tools and techniques,<br />

the challenges confronting the field of volume<br />

visualization, and some of the advanced topics<br />

in the field. Primary emphasis on advanced software<br />

and hardware techniques to achieve interactive visualization.—III.<br />

(III.) Hamann, Joy, Ma, Max<br />

277. Advanced Visualization (4)<br />

Lecture—3 hours; discussion—1 hour. Prerequisite:<br />

course 177. Visualization of 3D data, including scalar<br />

fields, vector fields, and medical data.—III. (III.)<br />

Hamann, Joy<br />

278. Computer-Aided Geometric Design (4)<br />

Lecture—3 hours; laboratory—3 hours. Prerequisite:<br />

course 175 or 177 or 178. Mathematical techniques<br />

for the definition and manipulation of curves<br />

and surfaces. Coon’s patches, Bezier curves and surfaces.<br />

B-spline curves and surfaces, beta-splines,<br />

box-splines. Integration into various computer graphics<br />

rendering models, and computer-aided design<br />

systems. Offered in alternate years.—(III.) Joy,<br />

Hamann<br />

279. Computer Animation (4)<br />

Lecture—3 hours; laboratory—3 hours. Prerequisite:<br />

course 175 or 177 or 178. Control of camera and<br />

object motion necessary to produce computer animation,<br />

modeling of articulated objects made from<br />

jointed segments, and of deformable objects. Students<br />

will complete a final animation project.<br />

Offered in alternate years.—III. Hamann, Joy, Max,<br />

Ma<br />

280. Virtual Reality Technology (4)<br />

Lecture—3 hours; discussion—1 hour. Prerequisite:<br />

course 175. Fundamentals and principles of Virtual<br />

Reality (VR) technology. Potential and limits for its<br />

useful application. Developing a complete virtual<br />

reality application. Offered in alternate years.—III.<br />

Joy<br />

289A-M. Special Topics in Computer Science<br />

(1-5)<br />

Lecture, laboratory, or combination. Prerequisite:<br />

consent of instructor. Special topics in (A) Computer<br />

Science Theory; (B) Architecture; (C) Programming<br />

Languages and Compilers; (D) Operating Systems;<br />

(E) Software Engineering; (F) Data Bases; (G) Artificial<br />

Intelligence; (H) Computer Graphics; (I) Networks;<br />

(J) Computer-Aided Design; (K) Scientific<br />

Computing; (L) Computer Science; (M) Security. May<br />

be repeated for credit when topic differs.—I, II, III. (I,<br />

II, III.)<br />

290. Seminar in Computer Science (1)<br />

Seminar—1 hour. Participating seminar; discussion<br />

and presentation of current research and development<br />

in computer science. (S/U grading only.)—I, II,<br />

III. (I, II, III.)<br />

290C. Graduate Research Group<br />

Conference (1)<br />

Discussion—1 hour. Research problems, progress<br />

and techniques in computer science. May be<br />

repeated for credit. (S/U grading only.)—I, II, III. (I,<br />

II, III.)<br />

293A. Research in Computer Science (1)<br />

Lecture—1 hour. Prerequisite: graduate standing in<br />

computer science. Study of research topics in computer<br />

science, Ph.D. level research methodologies<br />

(experimental, applied and theoretical). Study skills<br />

necessary to successfully find/solve significant<br />

research problems. Finding and successful interacting<br />

with a research advisor. Ethical issues in<br />

research/collaborative work. (S/U grading only.)—<br />

I. (I.) Martel<br />

Quarter Offered: I=Fall, II=Winter, III=Spring, IV=Summer; 2009-<strong>2010</strong> offering in parentheses<br />

<strong>General</strong> Education (GE) credit: ArtHum=Arts and Humanities; SciEng=Science and Engineering; SocSci=Social Sciences; Div=Social-Cultural Diversity; Wrt=Writing Experience

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!