First Thesaurus extracted from Logical Tree
001. Discrete Structures
Functions, relations, sets
Proof techniques,
Basics counting,
Graphs, trees,
Discrete probability
002. Programming Fundamentals
Programming constructs
Algorithms solving
Problem solving
Data structures
Recursion
Event-driven programming
003. Algorithms and Complexity
Algorithmic analysis
Algorithmic strategies
Computing algorithms
Distributed algorithms
Computability
Automata
Cryptographic algorithms
Geometric algorithms
Parallel algorithms
004. Programming Languages
Virtual machines
Language translation
Declarations
Types
Abstraction
Object-oriented programming
Functional programming
Systems
Semantics
Design
005. Architecture and Organization
Digital logic
Digital systems
Level representation
Assembly level
Memory system organization
Memory system architecture
Interfacing
Communication
Multiprocessing
Alternative architectures
Performance enhancements
Networks
Distributed systems
006. Operating Systems
Operating system principles
Concurrency
Scheduling
Dispatch
Memory management
Device management
Security
File systems
Real-time systems
Embedded systems
Fault tolerance
System performance
Scripting
007. Net-Centric Computing
Communication
Networking
Network security
Client-server
Web applications
Network management
Compression
Decompression
Multimedia technologies
Wireless computing
Mobile computing
008. Human-Computer Interaction
Graphical user interface
Software evaluation
Software development
User interface design
User interface programming
HCI
009. Graphics and Visual Computing
Techniques graphics
Graphic systems
Graphic communication
Geometric modeling
Rendering
Computer animation
Visualization
Virtual reality
Computer vision
010. Intelligent Systems
Search satisfaction
Constraint satisfaction
Knowledge representation
Knowledge reasoning
Agents
Natural language
Neural networks
AI
Robotics
011. Information Management
Information models
Information systems
Database systems
Data modeling
Relational databases
Database query languages
Relational database design
Transaction processing
Distributed databases
Physical database design
Data mining
Information storage
Information retrieval
Hypertext
Hypermedia
Multimedia information
Multimedia systems
Digital libraries
012. Software Engineering
Software design
APIs
Software tools
Software environments
Software processes
Software requirements
Software specifications
Software validation
Software evolution
Software project management
Component-based
Formal methods
Software reliability
013. Social and Professional Issues
History computing
Social context
Methods analysis
Tools analysis
Professional responsibilities
Ethical responsibilities
Risks systems
Liabilities systems
Intellectual property
Privacy liberties
Civil liberties
Computer crime
Economic issues
Philosophical frameworks
014. Computational Science and Numerical Methods
Numerical analysis
Operations research
Modeling
Simulation
Performance computing
015. General Authorities, Universities, ONG's, Institutions, personalities
General Authorities
Universities
ONG
Institutions
Personalities
016. Relevant Hispanic Speaking Websites
Speaking Websites
017. Knowledge Maps, Information Maps, Market and Network Maps, Brain Mapping,
Taxonomy Projects, Intelligent and Intelligence Maps
Knowledge Maps
Information Maps
Market Maps
Network Maps
Brain Mapping
Taxonomy Projects
Intelligent Maps
Intelligence Maps
018. Informatics and Computing History, Systems Background, Philosophical Issues, Anthropic
Issues
Informatics History
Computing History
Systems Background
Philosophical Issues
Anthropic Issues
019. Advanced Computing and Network Applications in Biology, Engineering, Human
Knowledge, Learning Process, Cognitive Models, e-Applications, Educational Systems, eCommerce, e-Learning, e-Health, e-Entertainment
Biology Advanced Computing
Biology Network Applications
Engineering
Human Knowledge
Learning Process
Cognitive Models
E-Applications
Educational Systems
E-Commerce
E-Learning
E-Health
E-Entertainment
020. General Computing FAQ's, Systems Theory, General Languages Architectures, General
Algorithms, Hardware and Software manufacturers and Directories, Internet Resources, Usenet,
Security and Underground
Computing FAQ's
Systems Theory
Languages Architectures
Algorithms
Hardware manufacturers
Software manufacturers
Hardware Directories
Software Directories
Internet Resources
Usenets
Security
Underground
021. Cybernetics Principles, Information Theory, Artificial Life, Evolutionary Systems, Chaos
Theory
Cybernetics Principles
Information Theory
Artificial Life
Evolutionary Systems
Chaos Theory
022. Databases Overview, SQL, MySQL, DB2, dBase, GNU SQL, Oracle, Paradox, Fox
Microsoft ODBC, and others
Databases Overview
SQL
MySQL
DB2
dBase
GNU SQL
Oracle
Paradox
Fox Microsoft ODBC
others
023. Online Games, From Board Games to Role Playing Games, Simulation Games, Family
Fun, Gadgets, Toys, e-Toys, Sports, Virtual Reality games, Sega, War Games and more
Online Games
Board Games
Role Playing Games
Simulation Games
Family Fun
Gadgets
Toys
E-Toys
Sports
Virtual Reality
Sega
War Games
024. Emerging Trends and Technologies, Internet 2, 3 and more, Brain Machines Interfaces,
Biometrics, Pervasive Computing, Bio mimetic, Wearable Computers, Wireless
Emerging Trends
Emerging Technologies
Internet 2
Internet 3
Brain Machines Interfaces
Biometrics
Pervasive Computing
Biomimetics
Wearable Computers
Wireless
025. n-Tier Architectures, Process Control Systems, Analog Systems, Hybrid Systems, Chaos
Theory, Theory of Complexity, Self Organizing Systems, Cryptography, Entropic Systems,
Network Security, Automation, Systems Thinking
N-Tier Architectures
Process Control Systems
Analog Systems
Hybrid Systems
Chaos Theory
Complexity Theory
Organizing Systems
Cryptography
Entropic Systems
Network Security
Automation
Systems Thinking
026. Search Engines and Directories, from B2C to B2G, Internet Resources, Registrars,
Netiquette and Internet Community, Internet Society, W3C, Internet 2 and 3, General Statistics,
Virtual Communities
Search Engines
Search Directories
B2C to B2G
Internet Resources
Registrars
Netiquette
Internet Community
Internet Society
W3C
Internet 2
Internet 3
General Statistics
Virtual Communities
027. Editorials, Journals, Magazines, White Papers, Proceedings
Editorials
Journals
Magazines
White Papers
Proceedings
028. General networking Principles, Computer and IP Telephony, Networking Administration,
Ethernet, Communication Protocols, Voice, Data and Image Transmission, Client-Server
Architecture, Communication Standards
Networking Principles
Computer Telephony
IP Telephony
Networking Administration
Ethernet
Communication Protocols
Voice
Data Transmission
Image Transmission
Client-Server Architecture
Communication Standards
029. Base, Operating Systems, Applications, Graphic Design, Web Development, Networking,
Middleware, Security Software
Base
Operating Systems
Applications
Graphic Design
Web Development
Networking
Middleware
Security Software
030. e-Learning, Advanced Distributed Learning, Distance Education Systems, Learning
Theory, and Software Engineering Education
E-Learning
Distributed Learning
Distance Education Systems
Learning Theory
Software Engineering Education
031. Fluid Dynamics and Structural Computation, Digital Logic Design, Robotics, Motion and
Land Surveying Applications
Fluid Dynamics
Structural Computation
Digital Logic Design
Robotics
Motion Applications
Land Surveying Applications
032. Nanotechnology, GRAPPA, Color Quantization, Physics Applications That Build
Computers
Nanotechnology
GRAPPA
Color Quantization
Physics Applications
Build Computers
033. Applied Probability and Statistics, Statistical Thinking, Decision Theory, Bayesian
Networks, Markov Decision Process
Applied Probability
Applied Statistics
Probability and Statistics
Statistical Thinking
Decision Theory
Bayesian Networks
Markov Decision Process
001.001. Functions, relations, and sets
Functions
Surjections
Injections
Inverses
Composition
Relations
Reflexivity
Symmetry
Transitivity
Sets
Venn diagrams
Cartesian products
Power sets
Pigeonhole principle
Cardinality
countability
001.002. Basic logic
Propositional logic
Logical connectives
Truth tables
Normal forms
Conjunctive
Disjunctive
Validity
Predicate logic
Universal quantification
Existential quantification
Modus ponens
Modus tollens
Predicate logic limitations
001.003. Proof techniques
Implication Notions
Converse
Inverse
Contrapositive
Negation
Contradiction
Formal proofs structure
Direct proofs
Counterexample Proof
Contraposition
Contradiction
Mathematical induction
Strong induction
Recursive
Mathematical definitions
Well orderings
001.004. Basics of counting
Counting
Arguments
Pigeonhole principle
Permutations
Combinations
Solving
Recurrence
Relations
Master Theorem
001.005. Graphs and trees
Trees
Undirected graphs
Directed graphs
Spanning trees
Traversal strategies
001.006. Discrete probability
Finite space
Finite measure
Events
Conditional probability
Independence
Bayes' rule
Integer
Random variables
Expectation
002.001. Fundamental programming constructs
Syntax
Semantics
Higher-level language
Variables
Types
Expressions
Assignment
Simple I/O
Conditional structures
Iterative control structures
Functions passing
Parameter passing
Structured decomposition
002.002. Algorithms and problem-solving
Strategies
Algorithms Role
Implementation Strategies
Algorithms
Debugging Strategies
Concept
Properties
002.003. Fundamental Data Structures
Primitive Types
Arrays
Records
Strings
String Processing
Memory Data Representation
Static Allocation
Stack Allocation
Heap Allocation
Runtime Storage Management
Storage Management
Pointers
References
Linked Structures
Stacks Strategies
Queues Strategies
Hash Tables Strategies
Implementation
Graphs Strategies
Trees Strategies
Choosing Strategies
Right Data Structure
002.004. Recursion
Recursion Concept
Recursive Mathematical Functions
Mathematical Functions
Simple Recursive Procedures
Recursive Procedures
Divide-And-Conquer
Strategies
Recursive Backtracking
Recursion Implementation
002.005. Event-Driven Programming
Event-Handling
Methods
Propagation
Exception Handling
003.001. Basic Algorithmic Analysis
Asymptotic Analysis
Complexity Bounds
Best Case Behaviors
Average Case Behaviors
Worst Case Behaviors
Big "O,"
Little "O,"
Omega,
Theta Notation
Complexity Classes
Performance
Empirical Measurements
Time Algorithms Tradeoffs
Space Algorithms Tradeoffs
Algorithms Tradeoffs
Recurrence Relations
Recursive Algorithms
003.002. Algorithmic Strategies
Brute-Force
Algorithms
Greedy Algorithms
Divide-And-Conquer
Backtracking
Branch-And-Bound
Heuristics
Pattern Matching
String/Text Algorithms
Numerical Algorithms
Approximation Algorithms
003.003. Fundamental Computing Algorithms
Numerical Algorithms
Sequential Search Algorithms
Binary Search Algorithms
Search Algorithms
Quadratic
Sorting Algorithms
O(N Log N)
Sorting Algorithms
Quick sort
Heap sort
Merge sort
Hash Tables
Collision-Avoidance
Binary Search
Search Trees
Graphs Representations
Adjacency List
Adjacency Matrix
Depth Traversals
Breadth-First Traversals
Shortest-Path Algorithms
Dijkstra
Floyd
Algorithms
Transitive Closure
Spanning Tree
Prim
Kruskal
Topological Sort
003.004. Distributed Algorithms
Consensus
Election
Termination Detection
Fault Tolerance
Stabilization
003.005. Basic Computability
Finite-State Machines
Context-Free Grammars
Tractable Problems
Intractable Problems
Uncomputable Functions
Halting Problem
Uncomputability Implications
003.006. The Complexity Classes P And Np
Classes P
Classes Np
Np-Completeness
Cook's Theorem
Np-Complete
Reduction Techniques
003.007. Automata Theory
Deterministic
Finite Automata
Dfas
Nondeterministic
Nfas
Dfas Equivalence
Nfas Equivalence
Regular Expressions
Pumping Lemma
Regular Expressions
Push-Down Automata
Pdas
Pdas Relationship
Context-Free Grammars
Context-Free Grammars
Turing Machines
Sets
Languages
Chomsky Hierarchy
Church-Turing Thesis
003.008. Advanced Algorithmic Analysis
Amortized Analysis
Algorithms
Online
Offline
Randomized
Dynamic Programming
Combinatorial
Optimization
003.009. Cryptographic Algorithms
Historical
Cryptography
Private-Key
Key-Exchange Problem
Public-Key
Digital Signatures
Security Protocols
Applications
Zero-Knowledge
Proofs
Authentication
003.010. Geometric Algorithms
Line Segments
Properties
Intersections
Convex Hull
Algorithms
003.011. Parallel Algorithms
Pram Model
Exclusive
Concurrent
Reads
Writes
Pointer Jumping
Brent's Theorem
Work Efficiency
Brent
004.001. Overview Of Programming Languages
History
Programming Paradigms
Scale Effects
Programming Methodology
004.001.002. Brief Survey of Programming Paradigms
Procedural Languages
Object-Oriented
Functional Languages
Declarative Languages
Non-Algorithmic
Scripting Languages
004.002. Virtual Machines
Virtual Machine
Concept
Hierarchy
Intermediate Languages
Security
Running Code
Alien Machine
004.003. Introduction to Language Translation
Interpreters
Compilers
Language
Translation Phases
Lexical Analysis
Parsing
Code Generation
Optimization
Machine-Dependent
Machine-Independent
Translation Aspects
004.004. Declarations And Types
Types Concepts
Set Operations
Declaration Models
Binding
Visibility
Scope
Lifetime
Type-Checking
Garbage Collection
004.005. Abstraction Mechanisms
Procedures
Functions
Iterators
Abstraction Mechanisms
Parameterization
Reference Vs Value
Activation Records
Storage Management
Type Parameters
Parameterized Types
Modules
Programming Languages
004.006. Object-Oriented Programming
Object-Oriented
Design
Encapsulation
Information-Hiding
Behavior
Implementation
Classes
Subclasses
Inheritance
Overloading
Dynamic Dispatch
Polymorphism
Subtype
Inheritance
Class Hierarchies
Collection Classes
Iteration Protocols
Internal Representations
Objects
Method Tables
004.007. Functional Programming
Functional Languages
Recursion
Over Lists
Natural Numbers
Trees
Recursively-Defined Data
Pragmatics
Debugging
Divide
Conquer
Persistency
Data Structures
Functional Data Structures
Infinite Sets
Streams
004.008. Language Translation Systems
Regular Expressions
Lexical Scanners
Parsing
Concrete
Abstract Syntax
Trees
004.008.003. Application
Context-Free Grammars
Table-Driven
Recursive-Descent
Parsing
Symbol Table
Management
Code Generation
Tree Walking
Architecture-Specific
Allocation
Optimization Techniques
Tools
Support
Translation
Process
Advantages Thereof
Program Libraries
Compilation
Building
Syntax-Directed
004.009. Type Systems
Data Type
Data Types
Type-Checking
Models
Semantic Models
User-Defined
Type
Parametric Polymorphism
Subtype Polymorphism
Type-Checking
Algorithms
004.009.002. Data Types
Elementary
Product
Coproduct
Algebraic
Recursive
Arrow
Types
Parameterized
004.009.004. Semantic Models Of User-Defined Types
Type Abbreviations
Abstract Data Types
Type Equality
004.010. Programming Language Semantics
Informal
Semantics
Formal
Denotational
Axiomatic
Operational
004.011. Programming Language Design
Language Design
Design Goals
Typing Regimes
Data Structure
Control Structure
Models
Abstraction Mechanisms
005.001. Digital Logic And Digital Systems
Computer Architecture
Building Blocks
Logic Gates
Flip-Flops
Counters
Registers
Pla
Logic Expressions
Minimization
Sum
Product Forms
Register
Transfer Notation
Physical Considerations
Gate Delays
Fan-In
Fan-Out
005.002. Machine Level Representation of Data
Bits
Bytes
Words
Numeric
Data Representation
Number Bases
Fixed
Floating-Point
Signed
Twos-Complement
Representations
Nonnumeric Data
Character Codes
Graphical Data
Records
Arrays
005.003. Assembly Level Machine Organization
Von Neumann Machine
Control Unit
Instruction Fetch
Decode
Execution
Sets
Types
Data Manipulation
Control
I/O
Assembly/Machine
Language Programming
Instruction Formats
Addressing Modes
Subroutine Call
Return Mechanisms
Interrupts
005.004. Memory System Organization And Architecture
Storage Systems
Technology
Coding
Data Compression
Data Integrity
Memory Hierarchy
Main Memory
Latency
Cycle Time
Bandwidth
Interleaving
Cache Memories
Address Mapping
Block Size
Replacement Policy
Store Policy
Virtual Memory
Page Table
Tlb
Fault Handling
Reliability
005.005. Interfacing And Communication
I/O
Handshaking
Buffering
Programmed
Interrupt-Driven
Interrupt Structures
External Storage
Physical Organization
Drives
Bus
Bus Protocols
Arbitration
Direct-Memory Access
Dma
Networks
Multimedia Support
Raid
Architectures
005.006. Functional Organization
Datapaths Implementation
Control Unit
Hardwired Realization
Microprogrammed Realization
Pipelining
Instruction-Level
Parallelism
Ilp
005.007. Multiprocessing And Alternative Architectures
Simd
Mimd
Vliw
Epic
Systolic Architecture
Interconnection Networks
Hypercube
Shuffle-Exchange
Mesh
Crossbar
Shared Memory
Systems
Cache Coherence
Memory
Models
Consistency
005.008. Performance Enhancements
Superscalar Architecture
Branch Prediction
Prefetching
Speculative Execution
Multithreading
Scalability
005.009. Architecture for Networks And Distributed Systems
Lans
Wans
Layered
Protocol
Design
Iso/Osi
Ieee 802
Architecture
Distributed
Algorithms
Network Computing
Multimedia
006.001. Overview of Operating Systems
Operating System
Development
Functionality
Client-Server
Hand-Held
Devices
Design
Efficiency
Robustness
Flexibility
Portability
Security
Compatibility
Networking
Multimedia
Windows
006.002. Operating System Principles
Structuring Methods
Monolithic
Layered
Modular
Micro-Kernel
Models
Abstractions
Processes
Resources
Program Interfaces
Api
Evolution
Hardware
Software
Device
Interrupts
Methods
Implementations
User/System State
Protection
Kernel
006.003. Concurrency
States Diagrams
State Diagrams
Structures
Ready List
Process Control Blocks
Dispatching Switching
Context Switching
Interrupts
Concurrent Execution
Mutual Exclusion
Deadlock
Semaphores
Monitors
Condition Variables
Rendezvous
Producer-Consumer
Synchronization
Multiprocessor
Spin-Locks
Reentrancy
006.004. Scheduling And Dispatch
Preemptive
Nonpreemptive
Scheduling
Schedulers
Policies
Processes
Threads
Deadlines
Real-Time
006.005. Memory Management
Physical
Memory
Memory
Management
Hardware
Overlays
Swapping
Partitions
Paging
Segmentation
Placement
Replacement
Policies
Working Sets
Thrashing
Caching
006.006. Device Management
Serial
Parallel
Device
Abstracting
Buffering
Direct Memory Access
Recovery
Failures
006.007. Security And Protection
System Security
Policy/Mechanism
Methods
Devices
Protection
Access
Authentication
Models
Memory
Encryption
Recovery
Management
006.008. File Systems
File
Data
Metadata
Operations
Organization
Buffering
Sequential
Nonsequential
Directories
Structure
File Systems
Partitioning
Mount
Unmount
Virtual
Implementation
Techniques
Memory-Mapped
Naming
Searching
Access
Backups
006.009. Real-Time And Embedded Systems
Process
Task
Scheduling
Memory
Disk
Management
Failures
Risks
Recovery
006.010. Fault Tolerance
Reliable Systems
Available Systems
Spatial
Temporal
Redundancy
Fault
Tolerance
006.011. System Performance Evaluation
Policies
Caching
Paging
Scheduling
Memory
Management
Security
Deterministic
Analytic
Simulation
Implementation-Specific
Data
006.012. Scripting
Languages
System
Commands
Scripts
Parameter Passing
Executing
Execute
007.001. Introduction to Net-Centric Computing
Networking
Internet
Network
Architectures
007.001.003. The Range of Specializations within Net-Centric Computing
Network
Protocol
Multimedia
Systems
Distributed
Computing
Mobile
Wireless
007.002. Communication And Networking
Network
Standardization Bodies
Iso
Its
Tcp/Ip
Circuit
Switching
Packet
Streams
Datagrams
Physical
Layer
Transmission Media
Standards
Data Link
Framing
Error
Control
Flow
Protocols
Internet
Routing
Algorithms
Congestion
Transport
Services
Connection
Performance Issues
007.003. Network Security
Cryptography
Secret-Key
Algorithms
Public-Key
Authentication
Protocols
Digital
Signatures
007.004. The Web as an Example of Client-Server Computing
Web Technologies
Servers
Client
Computers
Client-Server
Protocols
Tools
Web Site
Creation
Management
Develop
Internet Information Servers
Iis
Publishing
007.004.001. Web Technologies
Server-Side
Programs
Gateway
Cgi
Client-Side
Scripts
Applet
007.004.002. Characteristics Of Web Servers
Handling
Permissions
File
Management
Server
Architectures
007.005. Building Web Applications
Protocols
Application
Layer
Principles
Engineering
Database-Driven
Web Sites
Remote
Procedure
Calls
Rpc
Distributed
Objects
Middleware
Tools
Security
Systems
Enterprise-Wide
Web-Based
007.006. Network Management
Network
Management
Passwords
Access
Control
Domain Name
Name Service
Internet
Service Provider
Isp
Security
Firewalls
Performance
Failure
Recovery
007.007. Compression And Decompression
Analog
Digital
Encoding
Decoding
Algorithms
Lossless
Lossy
Compression
Data
Huffman
Coding
Ziv-Lempel
Audio
Decompression
Image
Video
Performance
Timing
Real-Time
007.008. Multimedia Data Technologies
Sound
Audio
Image
Graphics
Animation
Video
Multimedia
Music
Telephony
Tv
Planning
Performance
Input
Output
Devices
Scanners
Digital Camera
Touch-Screens
Voice-Activated
Midi
Keyboards
Synthesizers
Storage
Magneto Optical Disk
Cd-Rom
Dvd
Servers
File Systems
Tools
Development
007.009. Wireless And Mobile Computing
Mobile
Computing
Local Area
Lan
Networks
Satellite-Based
Local Loops
Mobile
Internet Protocol
Aware Adaption
Client-Server
Data Access
Server
Client
Cache
Management
Software
Packages
Middleware
Tools
Performance
Technologies
008.001. Foundations Of Human-Computer Interaction
Hci
Tools
Web Hypermedia
Communication
Human-Centered
Development
Evaluation
Models
Perception
Movement
Cognition
Performance
Culture
Communication
Organizations
Human
Diversity
Design
Designers
Engineering
Tradeoffs
008.002. Building A Simple Graphical User Interface
Gui
Toolkits
008.003. Human-Centered Software Evaluation
Evaluation
Walkthroughs
Klm
Guidelines
Standards
Users
Testing
Interview
Survey
Experiment
008.004. Human-Centered Software Development
Approaches
Characteristics
Process
Functionality
Usability
Task Analysis
Interviews
Surveys
Interaction
Presentation
Prototyping
Techniques
Tools
008.004.004. Prototyping Techniques And Tools
Paper Storyboards
Inheritance
Dynamic Dispatch
Prototyping
Languages
Gui
Builders
Visual Basic
Tcl/Tk
Director
008.005. Graphical User-Interface Design
Interaction
Techniques
Hci
Widgets
Hci
Screen
Design
Layout
Color
Fonts
Labeling
Handling
Human
Failure
Visualization
Representation
Metaphor
Multi-Modal
Graphics
Sound
Haptics
3d
Virtual Reality
008.006. Graphical User-Interface Programming
Uims
Dialogue
Analysis
Widget
Classes
Event
Management
User
Geometry
Gui
Builders
Ui
Programming
Environments
Cross-Platform
Design
008.007. Hci Aspects of Multimedia Systems
Architectures
Hierarchies
Hypermedia
Information
Retrieval
Human
Performance
Hci
Design
Multimedia
Systems
Speech
Natural
Language
Processing
Information
Mobile
Computing
008.007.002. Information Retrieval And Human Performance
Web
Search
Database
Query
Languages
Graphics
Sound
008.008. Hci Aspects of Collaboration And Communication
Groupware
Document Preparation
Multi-Player
Games
Asynchronous
Group
Communication
E-Mail
Bulletin
Boards
Synchronous
Chat
Rooms
Conferencing
Online
Communities
Mud
Moo
Software
Characters
Intelligent
Agents
009.001. Fundamental Techniques In Graphics
Hierarchy
Graphics
Software
Api
Color Models
Rgb
Hsb
Cmyk
Homogeneous
Coordinates
Scaling
Rotation
Translation
Viewing
Transformation
Clipping
009.002. Graphic Systems
Raster
Vector
Video
Display
Devices
Physical
Logical
Input
Developer
009.003. Graphic Communication
Psychodynamics
Color
Modifications
Vision
Deficiency
Pseudo-Color
Palettes
Images
Structuring
View
Image
Video
Hardcopy
Visual Data
Background Information
User Feedback
009.004. Geometric Modeling
Polygonal
3d
Objects
Parametric
Curves
Surfaces
Constructive Solid Geometry
Csg
Spatial Subdivision
Techniques
Procedural
Model
Deformable
Subdivision
Multiresolution
Reconstruction
009.005. Basic Rendering
Line
Generation
Algorithms
Bresenham
Font
Outline
Bitmap
Vs
Light-Source
Ambient
Diffuse
Specular
Reflections
Phong
Reflection
Model
Polygonal
Surface
Flat
Gouraud
Phong
Shading
Texture
Mapping
Bump
Environment
Map
Ray Tracing
Techniques
Anti-Aliasing
009.006. Advanced Rendering
Transport
Equations
Ray
Algorithms
Photon
Tracing
Radiosity
Illumination
Computation
Monte Carlo
Methods
Panorama
Viewing
Non-Photorealistic
009.007. Advanced Techniques
Color Quantization
2d
Primitive
Tessellation
Curved
Surfaces
Z-Buffer
Frame
Buffer
Color
Channels
Geometric
Techniques
009.008. Computer Animation
Key-Frame
Animation
Camera
Scripting
System
Articulated
Structures
Kinematics
Motion
Capture
Procedural
Deformation
009.009. Visualization
Viewing
Vector
Fields
Tensors
Flow
Data
Field
Isosurface
Cube
Method
Volume
Rendering
Ray-Casting
Transfer
Segmentation
Hardware
Projection
Parallel-Coordinates
009.010. Virtual Reality
Stereoscopic
Display
Feedback Simulation
Haptic
Devices
Viewer
Tracking
Collision
Visibility
Computation
Time-Critical
Rendering
Lod
Vr
System
Distributed
Network
Interactive
Model
User Interface
Medicine
Simulation
Training
009.011. Computer Vision
Image
Digital
Its
Preprocessing
Segmentation
Thresholding
Edge
Region-Based
Shape
Object
Motion
Analysis
Tracking
010.001. Fundamental Issues in Intelligent Systems
Artificial
Intelligence
Philosophical
Questions
Definitions
Philosophical
Model
Heuristics
010.002. Search And Constraint Satisfaction
Space
Brute-Force
Breadth-First
Depth-First
Depth-First
Iterative
Best-First
Search
Best-First
Dijkstra
Algorithm
A*
Two-Player
Games
Alpha-Beta
Backtracking
Method
010.003. Knowledge Representation And Reasoning
Propositional
Predicate
Logic
Theorem
Nonmonotonic
Probabilistic
Bayes
010.003.001. Review of Propositional And Predicate Logic
Optimal Vs
Vs
Human-Like
010.004. Advanced Search
Algorithms
Simulated
Annealing
Search
010.005. Advanced Knowledge Representation And Reasoning
Structured
Nonmonotonic
Action
Change
Temporal
Spatial
Uncertainty
Diagnosis
Qualitative
010.005.001. Structured Representation
Frames
Objects
Logics
Inheritance
Systems
010.005.002. Nonmonotonic Reasoning
Nonclassical
Logics
Default
Knowledge
Sources
Aggregation
Conflicting
Belief
010.005.003. Reasoning on Action And Change
Situation
Calculus
Event
Ramification
Problems
010.005.005. Uncertainty
Probabilistic
Reasoning
Bayesian
Nets
Theory
Decision
010.006. Agents
Definition
Applications
State-Of-The-Art
Systems
Architectures
Theory
Software
Synthetic
Characters
Model
Emotions
Learning
Multi-Agent
Robotic
Mobile
010.006.003. Agent Architectures
Reactive
Planners
Layered
Architectures
Applications
010.006.004. Agent Theory
Commitments
Intentions
Decision-Theoretic
Markov
Decision
Processes
Mdp
010.006.005. Software Agents, Personal Assistants, And Information Access
Collaborative
Agents
Information
Gathering
010.006.008. Multi-Agent Systems
Collaborating
Teams
Modeling
Learning
010.007. Natural Language Processing
Deterministic
Stochastic
Grammars
Parsing
Algorithms
Corpus-Based
Method
Information
Retrieval
Language
Translation
Speech
010.008. Machine Learning And Neural Networks
Definition
Examples
Learning
Decision
Trees
Neural
Networks
Algorithm
Learning Theory
Overfitting
Unsupervised
Reinforcement
010.009. Ai Planning Systems
Definition
Examples
Planning
Systems
Search
Operator-Based
Propositional
Extending
Case-Based
Probabilistic Systems
Static World
Execution
Robotic
010.010. Robotics
Overview
Configuration
Space
Planning
Sensing
Robot
Programming
Navigation
Control
010.010.001. Overview
Robot
Systems
Planning
Vs
Reactive
Control
Uncertainty
Sensing
Models
011.001. Information Models And Systems
History
Motivation
Storage
Retrieval
Applications
Capture
Representation
Analysis
Indexing
Search
Retrieval
Linking
Navigation
Privacy
Integrity
Security
Preservation
Scalability
Efficiency
Effectiveness
011.002. Database Systems
History
Motivation
Components
Dbms
Functions
Architecture
Query Language
011.003. Data Modeling
Conceptual Model
Object-Oriented Model
Relational Data Model
011.004. Relational Databases
Map
Conceptual Schema
Relational Schema
Entity Integrity
Referential Integrity
Relational Algebra
Relational Calculus
011.005. Database Query Languages
Database Language
Data Definition
Sql
Query
Constraints
Integrity
Optimization
Qbe Environments
4th-Generation Environments
Embedding Queries
Object
011.006. Relational Database Design
Design
Functional Dependency
Normal Forms
1nf
2nf
3nf
Bcnf
Multivalued Dependency
4nf
Join Dependency
Pjnf
5nf
Representation
011.007. Transaction Processing
Transactions
Failure
Recovery
Concurrency Control
011.008. Distributed Databases
Storage
Query Processing
Distributed Model
Concurrency
Homogeneous Solution
Heterogeneous Solution
Client-Server
011.009. Physical Database Design
Storage
File Structure
Indexed Files
Hashed Files
Signature Files
B-Trees
Database Efficiency And Tuning
Database Tuning
011.010. Data Mining
Data Mining Usefulness
Associative Patterns
Sequential Patterns
Data Clustering
Market Basket Analysis
Cleaning
Visualization
011.011. Information Storage And Retrieval
Characters
Strings
Coding
Documents Publishing
Markup
Tries
Inverted Files
Pat Trees
Signature Files
Indexing
Morphological Analysis
Stemming
Stop Lists
Frequency Distributions
Vector Space Model
Probabilistic Model
Logical Model
Advanced Model
Thesauri
Metadata
Bibliometrics
Routing
Filtering
Search Strategy
Information Seeking
User Modeling
Summarization
Protocol
Z39.50
Opac
Www Engine
Research System
011.012. Hypertext And Hypermedia
Web
Dexter
Amsterdam
Hytime
Link Services
Link Engines
Link Hypertext Architectures
Node
Composite
Anchor
Dimension
Units
Location
Spans
Browsing
Navigation
View
Zoom
Link Generation
Transformations
Synchronization
Authoring
Annotation
Protocol
System
011.013. Multimedia Information And Systems
Device Driver
Control Signals
Protocol
Dsp
Application
Media Editors
Authoring
Streams
Structures
Capture
Transform
Spaces
Domains
Compression
Coding
Audio Analysis
Audio Indexing
Audio Retrieval
Image Analysis
Image Indexing
Image Retrieval
Video Analysis
Video Indexing
Video Retrieval
Presentation
Rendering
Synchronization
Multi-Modal Integration
Multi-Modal Interface
Real-Time Delivery
Service Quality
Audio Conferencing
Video Conferencing
Video-On-Demand
011.014. Digital Libraries
Digitization
Storage
Interchange
Digital Objects
Composites
Packages
Metadata
Cataloging
Author Submission
Naming
Repositories
Archives
Conceptual Space
Geographical Space
2/3d Space
Vr Space
Architecture
Agents
Buses
Wrappers
Mediators
Interoperability
Services
Search
Link
Browse
Intellectual Property Rights
Privacy
Protection
Watermark
Archiving
Preservation
Integrity
012.001. Software Design
Concepts
Principles
Design Patterns
Architecture
Structured Design
Object-Oriented Analysis
Object-Oriented Design
Component-Level Design
Reuse
012.002. Using Apis
Programming
Class Browsers
Tools
Example
Debug
Component-Based
012.003. Software Tools And Environments
Environments
Requirements Analysis
Design Tools
Modeling Tools
Testing Tools
Configuration Tools
Integration Mechanisms
012.004. Software Processes
Life-Cycle
Process Models
Assessment Models
Metrics
012.005. Software Requirements And Specifications
Requirements Elicitation
Modeling Techniques
Functional Requirements
Nonfunctional Requirements
Prototyping
Specification Techniques
012.006. Software Validation
Planning
Testing Fundamentals
Test Plan
Test Case
Black-Box Technique
White-Box Technique
Unit Testing
Integration Testing
Validation Testing
System Testing
Object-Oriented Testing
Inspections
012.007. Software Evolution
Maintenance
Maintainable Software
Reengineering
Legacy Systems
Reuse
012.008. Software Project Management
Team Management
Project Scheduling
Software Measurement And Estimation Techniques
Risk Analysis
Software Quality Assurance
Software Configuration Management
Project Management Tools
012.008.001. Team Management
Team Processes
Team Organization
Team Decision-Making
Roles
Responsibilities
Role Identification
Role Assignment
Project Tracking
Team Problem Resolution
012.009. Component-Based Computing
Fundamentals
Techniques
Applications
Architecture
Component-Oriented Design
Event Handling
Middleware
012.009.001. Fundamentals
Components
Interfaces
Contracts
Benefits
012.009.002. Basic Techniques
Component Design
Component Assembly
Client-Server Model
Patterns
Objects
Object Lifecycle
Object Brokers
Marshalling
012.009.007. Middleware
Object-Oriented
Object Request Brokers
Transaction
Workflow Systems
State-Of-The-Art
012.010. Formal Methods
Concept
Formal Specification Languages
Languages
Non-Executable Specifications
Executable Specifications
Pre Assertions
Post Assertions
Formal Verification
012.011. Software Reliability
Models
Redundancy
Fault Tolerance
Defect
Probabilistic Methods
012.012. Specialized Systems Development
Real-Time Systems
Client-Server Systems
Distributed Systems
Parallel Systems
Web-Based Systems
High-Integrity Systems
013.001. History of Computing
Prehistory
Hardware
Software
Networking
Pioneers
013.002. Social Context of Computing
Social Implications
Networked Communication
Internet Growth
Internet Control
Internet Access
Issues
013.003. Methods And Tools Of Analysis
Ethical Arguments
Ethical Choices
Assumptions
013.004. Professional And Ethical Responsibilities
Community Values
Laws
Professionalism
Professional Credentialing
Public Policy
Consequences
Ethical Dissent
Whistle-Blowing
Ethic Codes
Conduct Codes
Ieee
Acm
Se
Aitp
Harassment
Discrimination
Acceptable
013.005. Risks And Liabilities of Computer-Based Systems
Example
Therac-25
Implications
Software Complexity
Risk Assessment
Risk Management
013.006. Intellectual Property
Foundations
Copyrights
Patents
Trade Secrets
Piracy
Patents
Transnational Issues
013.007. Privacy And Civil Liberties
Ethic
Legal
Privacy Protection
Implications
Strategies
Freedom
Cyberspace
Implications
013.008. Computer Crime
History
Examples
Cracking
Hacking
Viruses
Worms
Trojan Horses
Prevention
013.009. Economic Issues In Computing
Monopolies
Labor Supply
Pricing Strategies
Computing Resources
Computing Effects
013.010. Philosophical Frameworks
Theories
Utilitarianism Theories
Deontological Theories
Ethical Relativism
Scientific Ethics
Scientific Approaches
Philosophical Approaches
014.001. Numerical Analysis
Floating-Point Arithmetic
Error
Stability
Convergence
Taylor's Series
Iterative Solutions
Newton's Method
Curve Fitting
Function Approximation
Numerical Differentiation
Numerical Integration
Simpson's Rule
Explicit Methods
Implicit Methods
Differential Equations
Euler's Method
Linear Algebra
Finite Differences
014.002. Operations Research
Linear Programming
Probabilistic Modeling
Queuing Theory
Optimization
Network Analysis
Routing Algorithms
Prediction
Estimation
Dynamic Programming
Software
014.002.001. Linear Programming
Integer Programming
Simplex Method
014.002.003. Queuing Theory
Petri Nets
Markov Models
Markov Chains
014.002.006. Prediction And Estimation
Decision Analysis
Forecasting
Risk Management
Econometrics
Microeconomics
Sensitivity Analysis
014.003. Modeling And Simulation
Random Numbers
Simulation
Verification
Validation
Queuing Theory
014.003.001. Random Numbers
Pseudorandom Number Generation
Monte Carlo Method
Distribution Functions
014.003.002. Simulation Modeling
Discrete-Event Simulation
Continuous Simulation
014.003.003. Verification And Validation Of Simulation Models
Input Analysis
Output Analysis
014.004. High-Performance Computing
Introduction
High-Performance Computing
Scientific Visualization
Problems
014.004.001. Introduction
History
Importance
Application Areas
Required Skills
014.004.002. High-Performance Computing
Processor Architectures
Memory Systems
High Performance
Input Devices
Output Devices
Pipelining
Parallel Languages
Parallel Architectures
014.004.003. Scientific Visualization
Presentation
Formats
Tools
Packages
014.004.004. Problems
Ocean And Atmosphere Models
Seismic Wave Propagation
N-Body Systems (The Barnes-Hut Algorithm)
Chemical Reactions
Phase Transitions
Fluid Flow