Computer and Information Science and Engineering

CAP 5416 Computer Vision (3)
Prereq: MAC 2312, CGN 3421 or C-language.
Introduction to image formation and analysis. Monocular imaging system projections, camera model calibration, and binocular imaging. Low-level vision techniques, segmentation and representation techniques, and high-level vision.

CAP 5510 Bioinformatics (3)
Prereq: CIS 3020 or equivalent.
Basic concepts of molecular biology and computer science. Sequence comparison and assembly, physical mapping of DNA, phylogenetic trees, genome rearrangements, gene identification, biomolecular cryptology, and molecular structure prediction.

CAP 5515 Computational Molecular Biology (3)
Algorithms related to molecular biology. Sequence comparisons, pattern matching, pattern extraction, graph techniques in phylogeny construction, secondary structure prediction, multiple sequence alignment, contig search, DNA computing, computational learning theory, and genetic algorithms.

CAP 5635 Artificial Intelligence Concepts (3)
Prereq: COP 3530.
Heuristic search, game theory, knowledge representation, logic, machine learning, AI languages and tools. Applications such as planning, natural language understanding, expert systems, and computer vision.

CAP 5705 Computer Graphics (3)
Prereq: COP 3530.
Display device characteristics; system considerations, display algorithms. Curve and surface generation. Lighting models and image rendering.

CAP 5805 Computer Simulation Concepts (3)
Prereq: COP 3530.
Introduction to concepts in continuous and discrete simulation. Empasis on fundamental concepts and methodology, using practical examples from a wide variety of disciplines.

CAP 6516 Medical Image Analysis (3)
Image formation, reconstruction mathematics (Fourier slice theorem, Abel, Hankel and Radon transforms), PDE-based denoising and segmentation, multidimensional clustering algorithms, iso-surface extraction, basic differential geometry of curves and surfaces, multidimensional splines, active 2D/3D models, image matching/registration with application to multimodal co-registration.

CAP 6610 Machine Learning (3)
Prereq: CAP 5635.
Review of attempts, within the artificial intelligence community, to construct computer programs that learn. Statistical pattern recognition with its applications to such areas as optical character recognition. Inductive learning, automated discovery.

CAP 6615 Neural Networks for Computing (3)
Prereq: CAP 5635.
Neural network models and algorithms. Adaptive behavior, associative learning, competitive dynamics and biological mechanisms. Applications include computer vision, cognitive information processing, control, and signal analysis.

CAP 6685 Expert Systems (3)
Prereq: CAP 5635.
Production systems, meta-knowledge, heuristic discovery, indepth examination of several expert systems including TEIRESIAS, AM, DENDRAL, MYCIN, IRIS, CASNET, INTERNIST, BACON, PROSPECTOR.

CAP 6836 Advanced Concepts in Computer Simulation (3)
Prereq: CAP 5805.
Elements of simulation modeling and analysis. Discrete and continuous simulation methodology. Incorporation of computer animation and physically based modeling techniques.

CDA 5155 Computer Architecture Principles (3)
Prereq: CDA 3101, COP 3530, and COP 4600.
Fundamental design issues of processor and computer architecture, a variety of design approaches for CPU, memory, and system structure.

CDA 6159 High Performance Computer Architecture (3)
Prereq: CDA 5155, COP 5615.
Design and evaluation of instruction-level (superscalar, superpipeline) and task-level (fine and coarse-grained) parallel architecture. Language and operating system support for instruction and task scheduling and task synchronization.

CEN 5035 Software Engineering (3)
Prereq: CIS 3020 and COT 3100.
Topics in projects organization, specification techniques, reliability measurement, documentation.

CEN 6070 Software Testing and Verification (3)
Prereq: CEN 5035.
Concepts, principles, and methods for software testing and verification. Topics include human and machine-based testing strategies, formal proofs of correctness, and software reliability.

CEN 6075 Software Specification (3)
Prereq: CEN 5035.
Concepts, principles, and methods for practical specification. System modeling, requirements exploration, validation and prototyping, and documentation techniques.

CNT 5106C Computer Networks (3)
Prereq: CEN 4500C and COP 4600.
The course covers the design, implementation and internals of modern computer networks. While all layers will be introduced, the layers below the Application Layer will be the main focus. The main effort will be spent on the design issues for Transport Layer, Network Layer, Data-Link and MAC Layer, and other related topics.

CNT 5410 Computer and Network Security (3)
Prereq: COP 3530, COT 5405; coreq: COP 4600.
Issues, analysis, and solutions. Viruses, worms, logic bombs, network attacks, covert channels, steganography, cryptology, authentication, digital signatures, electronic commerce.

CNT 5517 Mobile Computing (3)
Prereq: CEN 4500C.
Emerging topics of wireless and mobile computing and networking including mobile computing models, mobile-IP, adhoc networks, Bluetooth, and 802. 11b. Mobile database access and mobile transactions in context of emerging field of M-commerce.

CNT 6107 Computer Communication Networks (3)
Prereq: COP 5615 and 5536.
Computer network architecture, including topologies, media, switching, routing, congestion control, protocols, and case studies.

CIS 6905 Individual Study (1-3; max: 6)
Prereq: consent of faculty member supervising the study.
S/U option.

CIS 6910 Supervised Research (1-5; max: 5)
Prereq: graduate status in CIS.
S/U.

CIS 6930 Special Topics in CIS (3; max: 9)
Prereq: vary depending on topics.

CIS 6935 Graduate Seminar (1)
Prereq: graduate status in CIS. M.S. students may take 1 time toward M.S. degree; Ph.D. students must take 3 times toward Ph.D. degree.
Presentations by visiting researchers, faculty members, and graduate students.

CIS 6940 Supervised Teaching (1-5; max: 5)
Prereq: graduate status in CIS.
S/U.

CIS 6971 Research for Master's Thesis (1-15)
S/U.

CIS 6972 Research for Engineer's Thesis (1-15)
S/U.

CIS 7979 Advanced Research (1-12)
Research for doctoral students before admission to candidacy. Designed for students with a master's degree in the field of study or for students who have been accepted for a doctoral program. Not open to students who have been admitted to candidacy. S/U.

CIS 7980 Research for Doctoral Dissertation (1-15)
S/U.

COP 5255 Concurrent Programming (3)
Prereq: COP 3100, 3530.
Overview of principles and programming techniques. Reasoning about concurrency, synchronization, program structuring, multi-threaded server applications.

COP 5536 Advanced Data Structures (3)
Prereq: COP 3530.
Development of efficient data structures used to obtain more efficient solutions to classical problems, such as those based on graph theoretical models, as well as problems that arise in application areas of contemporary interest.

COP 5555 Programming Language Principles (3)
Prereq: COP 3530.
History of programming languages, formal models for specifying languages, design goals, run-time structures, and implementation techniques, along with survey of principal programming language paradigms.

COP 5615 Operating System Principles (3)
Prereq: COP 4600.
The concepts and techniques of efficient management of computer system resources.

COP 5625 Programming Language Translators (3)
Prereq: COP 5555.
Anatomy of translators for high-level programming languages.

COP 5725 Database Management Systems (3)
Prereq: COP 3530, 4600, or equivalent.
An introduction to systems and procedures for managing large computerized databases.

COP 6726 Database System Implementation (3)
Prereq: COP 4600 and 4720 or 5725.
DBMS architecture, query processing and optimization, transaction processing, index structures, parallel query processing, object-oriented and object-relational databases, and related topics.

COP 6755 Distributed Database Systems (3)
Prereq: COP 5615, 5725, and a course in computer networks.
Distributed database systems including the areas of distributed database design, resource allocation, access plan selection, and transaction management.

COT 5405 Analysis of Algorithms (3)
Prereq: COP 3530.
Introduction and illustration of basic techniques for designing efficient algorithms and analyzing algorithm complexity.

COT 5520 Computational Geometry (3)
Prereq: COP 3530.
Design, analysis, and implementation of algorithms and data structures to solve geometric problems. Applications in graphics, robotics, computational biology, data mining, and scientific computing. Convex hulls, Voronoi diagrams, triangulations, arrangements and range searching.

COT 6315 Formal Languages and Computation Theory (3)
Prereq: COP 3530 and familiarity with discrete mathematics and data structures.
Introduction to theoretical computer science including formal languages, automata theory, Turing machines, and computability.

COT 6440 Randomization in Computing (3)
Prereq: COP 3530.
Primality testing, optimization, protein folding, sorting, hashing, n-body simulations, matching, flow dynamics, routing, finger printing, early vision, and data mining.

Search

CISE Site UF Web with Google UF Phonebook