Search this site:
-
A
A
+
A
Skip to Main Content
Home
Collections
Communities
TECHnologies
Login
CONTRIBUTE RESOURCES
About
View
Voting details
Edit
MathLib - assorted numerical routines
Title:
*
Vocabularies
Collection:
- None -
ACM Women in Computing
Javalib
YouTube education
AlgoViz
BPC
CITIDEL
CSERD
CSTA
Database for Many Majors
Digital Library Curriculum
iLumina
Nifty
PAWS
PlanetMath
STEMRobotics
SWENET
The Beauty and Joy of Computing
Today In Computing History
Virtual History Museum
VKB
Walden Paths
Name of the collection (in Ensemble) where this entry should belong.
ACM CCS
Applied computing
Arts and humanities
Architecture (buildings)
Computer-aided design
Fine arts
Language translation
Media arts
Performing arts
Sound and music computing
Computer forensics
Data recovery
Evidence collection, storage and analysis
Investigation techniques
Network forensics
Surveillance mechanisms
System forensics
Computers in other domains
Agriculture
Cartography
Digital libraries and archives
Computing in government
E-government
Voting / election technologies
Military
Cyberwarfare
Personal computers and PC applications
Computer games
Microcomputers
Spreadsheets
Word processors
Publishing
Document management and text processing
Document capture
Document analysis
Document scanning
Graphics recognition and interpretation
Online handwriting recognition
Optical character recognition
Document management
Document metadata
Text editing
Version control
Document preparation
Annotation
Document scripting languages
Format and notation
Hypertext / hypermedia creation
Image composition
Markup languages
Extensible Markup Language (XML)
Hypertext languages
Multi / mixed media creation
Document searching
Education
Collaborative learning
Computer-assisted instruction
Computer-managed instruction
Digital libraries and archives
Distance learning
E-learning
Interactive learning environments
Learning management systems
Electronic commerce
Digital cash
E-commerce infrastructure
Electronic data interchange
Electronic funds transfer
Online auctions
Online banking
Online shopping
Secure online transactions
Enterprise computing
Business rules
Business process management
Business intelligence
Business process management systems
Business process modeling
Business process monitoring
Cross-organizational business processes
Business-IT alignment
Enterprise architectures
Enterprise architecture frameworks
Enterprise architecture management
Enterprise architecture modeling
Enterprise computing infrastructures
Enterprise data management
Enterprise information systems
Data centers
Enterprise applications
Enterprise resource planning
Extranets
Intranets
Enterprise interoperability
Enterprise application integration
Information integration and interoperability
Enterprise modeling
Enterprise ontologies, taxonomies and vocabularies
Event-driven architectures
IT architectures
IT governance
Reference models
Service-oriented architectures
Law, social and behavioral sciences
Anthropology
Ethnography
Economics
Law
Psychology
Sociology
Life and medical sciences
Bioinformatics
Computational biology
Biological networks
Computational genomics
Computational proteomics
Computational transcriptomics
Imaging
Molecular evolution
Molecular sequence analysis
Molecular structural biology
Recognition of genes and regulatory elements
Sequencing and genotyping technologies
Consumer health
Genetics
Population genetics
Proteomics
Computational proteomics
Transcriptomics
Genomics
Computational genomics
Health care information systems
Health informatics
Metabolomics / metabonomics
Systems biology
Operations research
Computer-aided manufacturing
Consumer products
Decision analysis
Forecasting
Industry and manufacturing
Command and control
Supply chain management
Marketing
Transportation
Physical sciences and engineering
Archaeology
Aerospace
Avionics
Astronomy
Chemistry
Earth and atmospheric sciences
Environmental sciences
Electronics
Avionics
Engineering
Computer-aided design
Mathematics and statistics
Physics
Telecommunications
Internet telephony
Computer systems organization
Architectures
Distributed architectures
Client-server architectures
Cloud computing
Grid computing
n-tier architectures
Peer-to-peer architectures
Other architectures
Analog computers
Data flow architectures
Heterogeneous (hybrid) systems
High-level language architectures
Molecular computing
Neural networks
Optical computing
Quantum computing
Reconfigurable computing
Self-organizing autonomic computing
Special purpose systems
Parallel architectures
Cellular architectures
Interconnection architectures
Multicore architectures
Multiple instruction, multiple data
Multiple instruction, single data
Single instruction, multiple data
Systolic arrays
Very long instruction word
Serial architectures
Complex instruction set computing
Pipeline computing
Reduced instruction set computing
Stack machines
Superscalar architectures
Dependable and fault-tolerant systems and networks
Availability
Fault-tolerant network topologies
Maintainability and maintenance
Processors and memory architectures
Redundancy
Reliability
Secondary storage organization
Embedded and cyber-physical systems
Embedded systems
Embedded hardware
Embedded software
Firmware
Sensor networks
Robotics
External interfaces for robotics
Robotic autonomy
Robotic components
Robotic control
Sensors and actuators
System on a chip
Real-time systems
Real-time languages
Real-time operating systems
Real-time system architecture
Real-time system specification
Computing methodologies
Artificial intelligence
Computer vision
Computer vision problems
Image segmentation
Interest point and salient region detections
Matching
Object detection
Object identification
Object recognition
Reconstruction
Shape inference
Tracking
Video segmentation
Computer vision representations
Appearance and texture representations
Hierarchical representations
Image representations
Shape representations
Computer vision tasks
Activity recognition and understanding
Biometrics
Scene anomaly detection
Scene understanding
Video summarization
Vision for robotics
Visual content-based indexing and retrieval
Visual inspection
Image and video acquisition
3D imaging
Active vision
Camera calibration
Computational photography
Epipolar geometry
Hyperspectral imaging
Motion capture
Control methods
Computational control theory
Motion path planning
Robotic planning
Distributed artificial intelligence
Cooperation and coordination
Intelligent agents
Mobile agents
Multi-agent systems
Knowledge representation and reasoning
Causal reasoning and diagnostics
Cognitive robotics
Description logics
Logic programming and answer set programming
Nonmonotonic, default reasoning and belief revision
Ontology engineering
Probabilistic reasoning
Reasoning about belief and knowledge
Semantic networks
Spatial and physical reasoning
Temporal reasoning
Vagueness and fuzzy logic
Natural language processing
Discourse, dialogue and pragmatics
Information extraction
Language resources
Lexical semantics
Machine translation
Natural language generation
Phonology / morphology
Speech recognition
Philosophical/theoretical foundations of artificial intelligence
Cognitive science
Theory of mind
Planning and scheduling
Multi-agent planning
Planning for deterministic actions
Planning under uncertainty
Planning with abstraction and generalization
Robotic planning
Search methodologies
Abstraction and micro-operators
Continuous space search
Discrete space search
Game tree search
Heuristic function construction
Randomized search
Search with partial observations
Computer graphics
Animation
Collision detection
Motion capture
Motion processing
Physical simulation
Procedural animation
Image compression
Graphics systems and interfaces
Graphics file formats
Graphics input devices
Graphics processors
Mixed / augmented reality
Perception
Virtual reality
Image manipulation
Antialiasing
Computational photography
Image processing
Image-based rendering
Texturing
Rendering
Non-photorealistic rendering
Rasterization
Ray tracing
Reflectance modeling
Visibility
Shape modeling
Mesh geometry models
Mesh models
Parametric curve and surface models
Point-based models
Shape analysis
Volumetric models
Concurrent computing methodologies
Concurrent algorithms
Concurrent programming languages
Distributed computing methodologies
Distributed algorithms
MapReduce algorithms
Self-organization
Distributed programming languages
Machine learning
Cross-validation
Learning paradigms
Multi-task learning
Learning under covariate shift
Lifelong machine learning
Transfer learning
Reinforcement learning
Adversarial learning
Apprenticeship learning
Inverse reinforcement learning
Multi-agent reinforcement learning
Sequential decision making
Supervised learning
Cost-sensitive learning
Learning to rank
Ranking
Structured outputs
Supervised learning by classification
Supervised learning by regression
Unsupervised learning
Anomaly detection
Cluster analysis
Dimensionality reduction and manifold learning
Mixture modeling
Motif discovery
Source separation
Topic modeling
Learning settings
Active learning settings
Batch learning
Learning from critiques
Learning from demonstrations
Learning from implicit feedback
Online learning settings
Semi-supervised learning settings
Machine learning algorithms
Dynamic programming for Markov decision processes
Approximate dynamic programming methods
Policy iteration
Q-learning
Temporal difference learning
Value iteration
Feature selection
Ensemble methods
Bagging
Boosting
Regularization
Spectral methods
Machine learning approaches
Classification and regression trees
Instance-based learning
Factorization methods
Canonical correlation analysis
Factor analysis
Latent Dirichlet allocation
Non-negative matrix factorization
Principal component analysis
Kernel methods
Gaussian processes
Support vector machines
Learning in probabilistic graphical models
Bayesian network models
Latent variable models
Maximum a posteriori modeling
Maximum entropy modeling
Maximum likelihood modeling
Mixture models
Learning latent representations
Deep belief networks
Learning linear models
Perceptron algorithm
Markov decision processes
Logical and relational learning
Inductive logic learning
Statistical relational learning
Neural networks
Partially-observable Markov decision processes
Rule learning
Stochastic games
Modeling and simulation
Model development and analysis
Model verification and validation
Modeling methodologies
Uncertainty quantification
Simulation evaluation
Simulation support systems
Simulation environments
Simulation languages
Simulation tools
Simulation theory
Network science
Systems theory
Simulation types and techniques
Agent / discrete models
Continuous models
Continuous simulation
Data assimilation
Discrete-event simulation
Distributed simulation
Interactive simulation
Massively parallel and high-performance simulations
Molecular simulation
Multiscale systems
Quantum mechanic simulation
Rare-event simulation
Real-time simulation
Scientific visualization
Simulation by animation
Uncertainty quantification
Visual analytics
Parallel computing methodologies
Parallel algorithms
MapReduce algorithms
Massively parallel algorithms
Self-organization
Shared memory algorithms
Vector / streaming algorithms
Parallel programming languages
Symbolic and algebraic manipulation
Computer algebra systems
Special-purpose algebraic systems
Representation of mathematical objects
Representation of Boolean functions
Representation of exact numbers
Representation of mathematical functions
Representation of polynomials
Symbolic and algebraic algorithms
Algebraic algorithms
Boolean algebra algorithms
Combinatorial algorithms
Discrete calculus algorithms
Equation and inequality solving algorithms
Exact arithmetic algorithms
Hybrid symbolic-numeric methods
Linear algebra algorithms
Nonalgebraic algorithms
Number theory algorithms
Optimization algorithms
Symbolic calculus algorithms
Theorem proving algorithms
General and reference
Cross-computing tools and techniques
Design
Empirical studies
Estimation
Evaluation
Experimentation
Measurement
Metrics
Performance
Reliability
Validation
Verification
Document types
Biographies
Computing standards, RFCs and guidelines
General conference proceedings
General literature
Reference works
Surveys and overviews
Hardware
Communication hardware, interfaces and storage
Buses and high-speed links
Displays and imagers
Electro-mechanical devices
External storage
Networking hardware
Printers
Scanners
Sensor applications and deployments
Sensor devices and platforms
Sensors and actuators
Signal processing systems
Beamforming
Digital signal processing
Noise reduction
Sound-based input / output
Wireless devices
Tactile and hand-based interfaces
Haptic devices
Touch screens
Wireless integrated network sensors
Electronic design automation
Hardware description languages and compilation
High-level and register-transfer level synthesis
Datapath optimization
Hardware-software codesign
Operations scheduling
Resource binding and sharing
Logic synthesis
Circuit optimization
Combinational synthesis
Sequential synthesis
Technology-mapping
Transistor-level synthesis
Methodologies for EDA
Best practices for EDA
Design databases for EDA
Software tools for EDA
Modeling and parameter extraction
Physical design (EDA)
Clock-network synthesis
Packaging
Partitioning and floorplanning
Physical synthesis
Placement
Power grid design
Wire routing
Timing analysis
Compact delay models
Electrical-level simulation
Model-order reduction
Static timing analysis
Statistical timing analysis
Transition-based timing analysis
Emerging technologies
Analysis and design of emerging devices and systems
Emerging architectures
Emerging languages and compilers
Emerging simulation
Emerging tools and methodologies
Biology-related information processing
Bio-embedded electronics
Neural systems
Circuit substrates
Carbon based electronics
Cellular neural networks
Flexible and printable circuits
III-V compounds
Superconducting circuits
Electromechanical systems
Microelectromechanical systems
Nanoelectromechanical systems
Emerging interfaces
Emerging optical and photonic technologies
Memory and dense storage
Plasmonics
Quantum technologies
Quantum dots and cellular automata
Quantum computation
Quantum communication and cryptography
Quantum error correction and fault tolerance
Single electron devices
Tunneling devices
Reversible logic
Spintronics and magnetic technologies
Hardware test
Analog, mixed-signal and radio frequency test
Board- and system-level test
Defect-based test
Fault models and test metrics
Design for testability
Built-in self-test
Online test and diagnostics
Test data compression
Hardware reliability screening
Memory test and repair
Test-pattern generation and fault simulation
Testing with distributed and parallel systems
Hardware validation
Functional verification
Assertion checking
Coverage metrics
Equivalence checking
Model checking
Semi-formal verification
Simulation and emulation
Theorem proving and SAT solving
Transaction-level verification
Physical verification
Design rule checking
Layout-versus-schematics
Power and thermal analysis
Timing analysis and sign-off
Post-manufacture validation and debug
Bug detection, localization and diagnosis
Bug fixing (hardware)
Design for debug
Integrated circuits
3D integrated circuits
Digital switches
Logic families
Transistors
Interconnect
Input / output circuits
Metallic interconnect
Photonic and optical interconnect
Radio frequency and wireless interconnect
Logic circuits
Arithmetic and datapath circuits
Asynchronous circuits
Combinational circuits
Design modules and hierarchy
Finite state machines
Sequential circuits
Reconfigurable logic and FPGAs
Hardware accelerators
High-speed input / output
Programmable interconnect
Programmable logic elements
Reconfigurable logic applications
Semiconductor memory
Dynamic memory
Non-volatile memory
Read-only memory
Static memory
Power and energy
Energy distribution
Energy metering
Power conversion
Power networks
Smart grid
Impact on the environment
Energy generation and storage
Batteries
Fuel-based energy
Renewable energy
Reusable energy storage
Power estimation and optimization
Chip-level power issues
Circuits power issues
Enterprise level and data centers power issues
Interconnect power issues
Platform power issues
Switching devices power issues
Thermal issues
Temperature control
Temperature monitoring
Temperature optimization
Temperature simulation and estimation
Printed circuit boards
Electromagnetic interference and compatibility
PCB design and layout
Robustness
Design for manufacturability
Process variations
Yield and cost modeling
Yield and cost optimization
Fault tolerance
Error detection and error correction
Failure prediction
Failure recovery, maintenance and self-repair
Redundancy
Self-checking mechanisms
System-level fault tolerance
Hardware reliability
Aging of circuits and systems
Circuit hardening
Early-life failures and infant mortality
Process, voltage and temperature variations
Signal integrity and noise analysis
Transient errors and upsets
Safety critical systems
Very large scale integration design
3D integrated circuits
Analog and mixed-signal circuits
Analog and mixed-signal circuit optimization
Analog and mixed-signal circuit synthesis
Clock generation and timing
Data conversion
Radio frequency and wireless circuits
Wireline communication
Application-specific VLSI designs
Application specific instruction set processors
Application specific integrated circuits
Application specific processors
Design reuse and communication-based design
Hard and soft IP
Network on chip
Platform-based design
System on a chip
Design rules
Economics of chip design and manufacturing
Full-custom circuits
On-chip resource management
On-chip sensors
Standard cell libraries
VLSI design manufacturing considerations
VLSI packaging
Die and wafer stacking
Input / output styles
Multi-chip modules
Package-level interconnect
VLSI system specification and constraints
Human-centered computing
Accessibility
Accessibility design and evaluation methods
Accessibility systems and tools
Accessibility technologies
Accessibility theory, concepts and paradigms
Empirical studies in accessibility
Collaborative and social computing
Collaborative and social computing design and evaluation methods
Ethnographic studies
Social network analysis
Collaborative and social computing devices
Collaborative and social computing systems and tools
Asynchronous editors
Blogs
Open source software
Reputation systems
Social networking sites
Social tagging systems
Synchronous editors
Wikis
Collaborative and social computing theory, concepts and paradigms
Collaborative content creation
Collaborative filtering
Computer supported cooperative work
Social content sharing
Social engineering (social sciences)
Social media
Social navigation
Social networks
Social recommendation
Social tagging
Empirical studies in collaborative and social computing
Human computer interaction (HCI)
Empirical studies in HCI
HCI design and evaluation methods
Field studies
Heuristic evaluations
Laboratory experiments
Usability testing
User models
User studies
Walkthrough evaluations
HCI theory, concepts and models
Interaction devices
Displays and imagers
Graphics input devices
Haptic devices
Keyboards
Pointing devices
Sound-based input / output
Touch screens
Interaction paradigms
Collaborative interaction
Command line interfaces
Graphical user interfaces
Hypertext / hypermedia
Mixed / augmented reality
Natural language interfaces
Virtual reality
Web-based interaction
Interaction techniques
Auditory feedback
Gestural input
Pointing
Text input
Interactive systems and tools
User interface management systems
User interface programming
User interface toolkits
Interaction design
Empirical studies in interaction design
Interaction design process and methods
Activity centered design
Contextual design
Interface design prototyping
Participatory design
Scenario-based design
User centered design
User interface design
Interaction design theory, concepts and paradigms
Systems and tools for interaction design
Wireframes
Ubiquitous and mobile computing
Empirical studies in ubiquitous and mobile computing
Ubiquitous and mobile computing design and evaluation methods
Ubiquitous and mobile computing systems and tools
Ubiquitous and mobile computing theory, concepts and paradigms
Ambient intelligence
Mobile computing
Ubiquitous computing
Ubiquitous and mobile devices
E-book readers
Handheld game consoles
Interactive whiteboards
Mobile devices
Mobile phones
Personal digital assistants
Portable media players
Smartphones
Tablet computers
Visualization
Empirical studies in visualization
Visualization design and evaluation methods
Visualization application domains
Geographic visualization
Information visualization
Scientific visualization
Visual analytics
Visualization systems and tools
Visualization toolkits
Visualization techniques
Cladograms
Dendrograms
Graph drawings
Heat maps
Hyperbolic trees
Treemaps
Visualization theory, concepts and paradigms
Information systems
Data management systems
Data structures
Data access methods
Data scans
Multidimensional range search
Point lookups
Proximity search
Unidimensional range search
Data layout
Data compression
Data encryption
Record and block layout
Database administration
Autonomous database administration
Data dictionaries
Database performance evaluation
Database utilities and tools
Database design and models
Data model extensions
Data provenance
Data streams
Incomplete data
Inconsistent data
Semi-structured data
Temporal data
Uncertainty
Entity relationship models
Graph-based database models
Hierarchical data models
Network data models
Physical data models
Relational database model
Database management system engines
Database query processing
Join algorithms
Query operators
Query optimization
Query planning
Database transaction processing
Data locking
Database recovery
Transaction logging
Database views
DBMS engine architectures
Integrity checking
Distributed database transactions
Deadlocks
Distributed data locking
Distributed database recovery
Main memory engines
Online analytical processing engines
Parallel and distributed DBMSs
Key-value stores
MapReduce-based systems
Relational parallel and distributed DBMSs
Record and buffer management
Stream management
Triggers and rules
Information integration
Data cleaning
Data exchange
Data warehouses
Deduplication
Entity resolution
Extraction, transformation and loading
Federated databases
Mediators and data integration
Wrappers (data mining)
Middleware for databases
Application servers
Data federation tools
Data replication tools
Database web servers
Distributed transaction monitors
Enterprise application integration tools
Message queues
Middleware business process managers
Object-relational mapping facilities
Service buses
Query languages
Call level interfaces
Query languages for non-relational engines
MapReduce languages
Relational database query languages
Structured Query Language
XML query languages
XPath
XQuery
Information retrieval
Document representation
Content analysis and feature selection
Data encoding and canonicalization
Dictionaries
Document collection models
Document structure
Document topic models
Ontologies
Thesauri
Evaluation of retrieval results
Presentation of retrieval results
Relevance assessment
Retrieval effectiveness
Retrieval efficiency
Test collections
Information retrieval query processing
Query intent
Query log analysis
Query reformulation
Query representation
Query suggestion
Retrieval models and ranking
Combination, fusion and federated search
Information retrieval diversity
Language models
Learning to rank
Novelty in information retrieval
Probabilistic retrieval models
Rank aggregation
Similarity measures
Top-k retrieval in databases
Retrieval tasks and goals
Business intelligence
Clustering and classification
Document filtering
Expert search
Information extraction
Near-duplicate and plagiarism detection
Question answering
Recommender systems
Sentiment analysis
Summarization
Search engine architectures and scalability
Adversarial retrieval
Distributed retrieval
Link and co-citation analysis
Peer-to-peer retrieval
Retrieval on mobile devices
Search engine indexing
Search index compression
Searching with auxiliary databases
Specialized information retrieval
Environment-specific retrieval
Desktop search
Enterprise search
Web and social media search
Multimedia and multimodal retrieval
Image search
Music retrieval
Speech / audio search
Video search
Structure and multilingual text search
Chemical and biochemical retrieval
Mathematics retrieval
Multilingual and cross-lingual retrieval
Structured text search
Users and interactive retrieval
Collaborative search
Personalization
Search interfaces
Task models
Information storage systems
Information storage technologies
Disk arrays
Magnetic disks
Magnetic tapes
Optical / magneto-optical disks
Storage class memory
Flash memory
Phase change memory
Tape libraries
Record storage systems
Block / page strategies
Interpage free-space management
Intrapage space management
Slotted pages
Directory structures
B-trees
Extent-based file structures
Inodes
Vnodes
Record layout alternatives
Fixed length attributes
Null values in records
Variable length attributes
Record storage alternatives
Hashed file organization
Heap (data structure)
Indexed file organization
Linked lists
Relational storage
Column based storage
Compression strategies
Horizontal partitioning
Hybrid storage layouts
Vertical partitioning
Storage architectures
Cloud based storage
Distributed storage
Storage network architectures
Direct attached storage
Network attached storage
Storage area networks
Storage management
Hierarchical storage management
Information lifecycle management
Storage power management
Storage virtualization
Thin provisioning
Version management
Storage replication
Mirroring
Point-in-time copies
RAID
Remote replication
Storage recovery strategies
Information systems applications
Computational advertising
Collaborative and social computing systems and tools
Asynchronous editors
Blogs
Open source software
Reputation systems
Social networking sites
Social tagging systems
Synchronous editors
Wikis
Computing platforms
Data mining
Association rules
Clustering
Collaborative filtering
Data cleaning
Data stream mining
Nearest-neighbor search
Digital libraries and archives
Decision support systems
Data analytics
Data warehouses
Expert systems
Online analytical processing
Enterprise information systems
Data centers
Enterprise applications
Enterprise resource planning
Extranets
Intranets
Mobile information processing systems
Multimedia information systems
Massively multiplayer online games
Multimedia content creation
Multimedia databases
Multimedia streaming
Process control systems
Spatial-temporal systems
Data streaming
Geographic information systems
Global positioning systems
Location based services
Sensor networks
World Wide Web
Online advertising
Content match advertising
Display advertising
Social advertising
Sponsored search advertising
Web applications
Crowdsourcing
Answer ranking
Incentive schemes
Reputation systems
Trust
Electronic commerce
Digital cash
E-commerce infrastructure
Electronic data interchange
Electronic funds transfer
Online auctions
Online banking
Online shopping
Secure online transactions
Internet communications tools
Blogs
Chat
Email
Texting
Web conferencing
Social networks
Web data description languages
Markup languages
Extensible Markup Language (XML)
Hypertext languages
Semantic web description languages
Resource Description Framework (RDF)
Web Ontology Language (OWL)
Web interfaces
Browsers
Mashups
Wikis
Web mining
Site wrapping
Data extraction and integration
Deep web
Search results deduplication
Surfacing
Traffic analysis
Web log analysis
Web searching and information discovery
Collaborative filtering
Content ranking
Personalization
Social recommendation
Social tagging
Web search engines
Page and site ranking
Spam detection
Web crawling
Web indexing
Web services
RESTful web services
Service discovery and interfaces
Simple Object Access Protocol (SOAP)
Universal Description Discovery and Integration (UDDI)
Web Services Description Language (WSDL)
Mathematics of computing
Continuous mathematics
Continuous functions
Calculus
Differential calculus
Integral calculus
Lambda calculus
Topology
Algebraic topology
Geometric topology
Point-set topology
Discrete mathematics
Combinatorics
Combinatorial algorithms
Combinatorial optimization
Combinatoric problems
Combinatorics on words
Enumeration
Generating functions
Permutations and combinations
Graph theory
Approximation algorithms
Extremal graph theory
Graph algorithms
Graph coloring
Graph enumeration
Graphs and surfaces
Hypergraphs
Matchings and factors
Matroids and greedoids
Network flows
Paths and connectivity problems
Random graphs
Spectra of graphs
Trees
Information theory
Coding theory
Mathematical analysis
Calculus
Differential calculus
Integral calculus
Lambda calculus
Differential equations
Differential algebraic equations
Differential variational inequalities
Ordinary differential equations
Partial differential equations
Integral equations
Functional analysis
Approximation
Mathematical optimization
Continuous optimization
Convex optimization
Linear programming
Nonconvex optimization
Quadratic programming
Quasiconvex programming and unimodality
Semidefinite programming
Stochastic control and optimization
Discrete optimization
Network optimization
Mixed discrete-continuous optimization
Integer programming
Submodular optimization and polymatroids
Nonlinear equations
Numerical analysis
Arbitrary-precision arithmetic
Automatic differentiation
Computation of transforms
Computations in finite fields
Computations on matrices
Computations on polynomials
Gröbner bases and other special bases
Discretization
Interpolation
Interval arithmetic
Mesh generation
Number-theoretic computations
Numerical differentiation
Quadrature
Mathematical software
Mathematical software performance
Solvers
Statistical software
Probability and statistics
Distribution functions
Multivariate statistics
Nonparametric statistics
Probabilistic algorithms
Probabilistic inference problems
Bayesian computation
Computing most probable explanation
Density estimation
Quantile regression
Hypothesis testing and confidence interval computation
Max marginal computation
Maximum likelihood estimation
Probabilistic reasoning algorithms
Expectation maximization
Kalman filters and hidden Markov models
Loopy belief propagation
Random number generation
Markov-chain Monte Carlo methods
Gibbs sampling
Markov-chain Monte Carlo convergence measures
Metropolis-Hastings algorithm
Simulated annealing
Resampling methods
Bootstrapping
Jackknifing
Sequential Monte Carlo methods
Variable elimination
Variational methods
Probabilistic representations
Bayesian networks
Causal networks
Decision diagrams
Equational models
Factor graphs
Markov networks
Nonparametric representations
Bayesian nonparametric models
Kernel density estimators
Spline models
Stochastic differential equations
Statistical paradigms
Cluster analysis
Contingency table analysis
Dimensionality reduction
Exploratory data analysis
Queueing theory
Regression analysis
Robust regression
Renewal theory
Statistical graphics
Survival analysis
Time series analysis
Stochastic processes
Markov processes
Networks
Network algorithms
Control path algorithms
Network control algorithms
Network design and planning algorithms
Network resources allocation
Traffic engineering algorithms
Data path algorithms
Deep packet inspection
Packet classification
Packet scheduling
Network economics
Network architectures
Network design principles
Layering
Naming and addressing
Programming interfaces
Network components
End nodes
Network adapters
Network servers
Intermediate nodes
Bridges and switches
Routers
Logical nodes
Network domains
Middle boxes / network appliances
Physical links
Repeaters
Wireless access points, base stations and infrastructure
Cognitive radios
Network performance evaluation
Network experimentation
Network measurement
Network performance analysis
Network performance modeling
Network simulations
Network properties
Network dynamics
Network manageability
Network mobility
Network privacy and anonymity
Network range
Local area networks
Metropolitan area networks
Short-range networks
Very long-range networks
Wide area networks
Network reliability
Error detection and error correction
Network security
Denial-of-service attacks
Firewalls
Mobile and wireless security
Security protocols
Web protocol security
Network structure
Logical / virtual topologies
Network topology types
Bus networks
Hybrid networks
Mesh networks
Wireless mesh networks
Point-to-point networks
Ring networks
Fiber distributed data interface (FDDI)
Token ring networks
Star networks
Physical topologies
Topology analysis and generation
Network protocols
Cross-layer protocols
Application layer protocols
Peer-to-peer protocols
Link-layer protocols
Network File System (NFS) protocol
Network protocol design
Network layer protocols
Routing protocols
Signaling protocols
OAM protocols
Network policy
Time synchronization protocols
Presentation protocols
Protocol correctness
Formal specifications
Protocol testing and verification
Session protocols
Transport protocols
Network services
Cloud computing
In-network processing
Location based services
Naming and addressing
Network management
Network monitoring
Programmable networks
Network types
Ad hoc networks
Mobile ad hoc networks
Data center networks
Cyber-physical networks
Sensor networks
Home networks
Mobile networks
Network on chip
Packet-switching networks
Overlay and other logical network structures
Online social networks
Peer-to-peer networks
Social media networks
World Wide Web (network structure)
Public Internet
Storage area networks
Wired access networks
Wireless access networks
Wireless local area networks
Wireless personal area networks
Security and privacy
Cryptography
Cryptanalysis and other attacks
Information-theoretic techniques
Key management
Mathematical foundations of cryptography
Public key (asymmetric) techniques
Digital signatures
Public key encryption
Symmetric cryptography and hash functions
Block and stream ciphers
Hash functions and message authentication codes
Database and storage security
Data anonymization and sanitization
Database activity monitoring
Information accountability and usage control
Management and querying of encrypted data
Formal methods and theory of security
Formal security models
Logic and verification
Security requirements
Trust frameworks
Human and societal aspects of security and privacy
Economics of security and privacy
Privacy protections
Social aspects of security and privacy
Usability in security and privacy
Intrusion/anomaly detection and malware mitigation
Intrusion detection systems
Malware and its mitigation
Social engineering attacks
Phishing
Spoofing attacks
Network security
Denial-of-service attacks
Firewalls
Mobile and wireless security
Security protocols
Web protocol security
Security in hardware
Embedded systems security
Hardware reverse engineering
Hardware attacks and countermeasures
Malicious design modifications
Side-channel analysis and countermeasures
Hardware security implementation
Hardware-based security protocols
Tamper-proof and tamper-resistant designs
Security services
Access control
Authorization
Authentication
Biometrics
Graphical / visual passwords
Multi-factor authentication
Digital rights management
Privacy-preserving protocols
Pseudonymity, anonymity and untraceability
Software and application security
Domain-specific security and privacy architectures
Social network security and privacy
Software reverse engineering
Software security engineering
Web application security
Systems security
Browser security
Denial-of-service attacks
Distributed systems security
File system security
Firewalls
Information flow control
Operating systems security
Mobile platform security
Trusted computing
Virtualization and security
Vulnerability management
Penetration testing
Vulnerability scanners
Social and professional topics
Computing / technology policy
Censorship
Censoring filters
Hate speech
Political speech
Pornography
Technology and censorship
Commerce policy
Antitrust and competition
Consumer products policy
Governmental regulations
Online auctions policy
Taxation
Transborder data flow
Computer crime
Financial crime
Identity theft
Malware / spyware crime
Social engineering attacks
Phishing
Spoofing attacks
Government technology policy
Governmental regulations
Import / export controls
Intellectual property
Copyrights
Database protection laws
Digital rights management
Hardware reverse engineering
Internet governance / domain names
Licensing
Patents
Secondary liability
Soft intellectual property
Software reverse engineering
Trademarks
Treaties
Medical information policy
Genetic information
Health information exchanges
Medical records
Medical technologies
Remote medicine
Patient privacy
Personal health records
Network access control
Broadband access
Censoring filters
Net neutrality
Network access restrictions
Acceptable use policy restrictions
Age-based restrictions
Universal access
Privacy policies
Surveillance
Corporate surveillance
Governmental surveillance
Professional topics
Computing and business
Automation
Computer supported cooperative work
Economic impact
Employment issues
Offshoring
Reengineering
Socio-technical systems
Computing education
Accreditation
Adult education
Computational thinking
Computing literacy
Computing education programs
Computational science and engineering education
Computer engineering education
Information science education
Computer science education
CS1
Information systems education
Information technology education
Software engineering education
Informal education
K-12 education
Model curricula
Student assessment
Computing industry
Computer manufacturing
Industry statistics
Sustainability
Computing profession
Assistive technologies
Codes of ethics
Computing occupations
Computing organizations
Employment issues
Funding
Testing, certification and licensing
History of computing
Historical people
History of computing theory
History of hardware
History of programming languages
History of software
Management of computing and information systems
File systems management
Implementation management
Computing equipment management
Hardware selection
Pricing and resource allocation
Information system economics
Network operations
Project and people management
Computer and information systems training
Project management techniques
Project staffing
Systems analysis and design
Systems development
Systems planning
Software management
Software maintenance
Software selection and adaptation
System management
Centralization / decentralization
Quality assurance
Technology audits
User characteristics
Age
Adolescents
Children
Seniors
Cultural characteristics
Geographic characteristics
Gender
Men
Women
People with disabilities
Race and ethnicity
Religious orientation
Sexual orientation
Software and its engineering
Software creation and management
Collaboration in software development
Open source model
Programming teams
Designing software
Requirements analysis
Software design engineering
Software design tradeoffs
Software implementation planning
Software design techniques
Software development process management
Risk management
Software development methods
Agile software development
Capability Maturity Model
Design patterns
Rapid application development
Spiral model
V-model
Waterfall model
Software development techniques
Error handling and recovery
Flowcharts
Object oriented development
Reusability
Software product lines
Software prototyping
Software post-development issues
Backup procedures
Documentation
Maintaining software
Software evolution
Software reverse engineering
Software version control
System administration
Software verification and validation
Empirical software validation
Fault tree analysis
Formal software verification
Operational analysis
Process validation
Acceptance testing
Pair programming
Traceability
Use cases
Walkthroughs
Software defect analysis
Software testing and debugging
Software prototyping
Software notations and tools
Compilers
Dynamic compilers
Incremental compilers
Interpreters
Just-in-time compilers
Parsers
Preprocessors
Retargetable compilers
Runtime environments
Source code generation
Translator writing systems and compiler generators
Context specific languages
API languages
Command and control languages
Domain specific languages
Graphical user interface languages
Interface definition languages
Macro languages
Markup languages
Extensible Markup Language (XML)
Hypertext languages
Programming by example
Scripting languages
Specialized application languages
State based definitions
Visual languages
Window managers
Development frameworks and environments
Application specific development environments
Integrated and visual development environments
Object oriented frameworks
Software as a service orchestration systems
Formal language definitions
Semantics
Syntax
General programming languages
Language features
Abstract data types
Classes and objects
Concurrent programming structures
Constraints
Control structures
Coroutines
Data types and structures
Frameworks
Inheritance
Modules / packages
Patterns
Polymorphism
Procedures, functions and subroutines
Recursion
Language types
Assembly languages
Concurrent programming languages
Constraint and logic languages
Data flow languages
Distributed programming languages
Extensible languages
Functional languages
Imperative languages
Multiparadigm languages
Object oriented languages
Parallel programming languages
Very high level languages
Software configuration management and version control systems
Software libraries and repositories
Software maintenance tools
System description languages
Architecture description languages
Design languages
Integration frameworks
Orchestration languages
Specification languages
System modeling languages
Unified Modeling Language (UML)
Software organization and properties
Contextual software domains
E-commerce infrastructure
Operating systems
File systems management
Communications management
Buffering
Input / output
Message passing
Memory management
Allocation / deallocation strategies
Distributed memory
Garbage collection
Main memory
Secondary storage
Virtual memory
Process management
Concurrency control
Deadlocks
Monitors
Multiprocessing / multiprogramming / multitasking
Multithreading
Mutual exclusion
Power management
Process synchronization
Scheduling
Software infrastructure
Interpreters
Middleware
Embedded middleware
Message oriented middleware
Reflective middleware
Virtual machines
Virtual worlds software
Interactive games
Virtual worlds training simulations
Extra-functional properties
Interoperability
Software performance
Software fault tolerance
Checkpoint / restart
Software reliability
Software safety
Software usability
Software functional properties
Correctness
Access protection
Completeness
Consistency
Functionality
Real-time schedulability
Synchronization
Formal methods
Automated static analysis
Dynamic analysis
Model checking
Software verification
Software system structures
Abstraction, modeling and modularity
Distributed systems organizing principles
Client-server architectures
Cloud computing
Grid computing
Organizing principles for web applications
Embedded software
Real-time systems software
Software architectures
3-tier architectures
Cooperating communicating processes
Data flow architectures
Electronic blackboards
Layered systems
n-tier architectures
Object oriented architectures
Peer-to-peer architectures
Publish-subscribe / event-based architectures
Simulator / interpreter
Space-based architectures
Tightly coupled architectures
Software system models
Entity relationship modeling
Feature interaction
Massively parallel systems
Model-driven software engineering
Petri nets
State systems
Ultra-large-scale systems
Theory of computation
Computational complexity and cryptography
Algebraic complexity theory
Circuit complexity
Communication complexity
Complexity classes
Complexity theory and logic
Cryptographic primitives
Cryptographic protocols
Interactive proof systems
Oracles and decision trees
Problems, reductions and completeness
Proof complexity
Quantum complexity theory
Design and analysis of algorithms
Algorithm design techniques
Backtracking
Branch-and-bound
Divide and conquer
Dynamic programming
Preconditioning
Concurrent algorithms
Approximation algorithms analysis
Facility location and clustering
Numeric approximation algorithms
Packing and covering problems
Rounding techniques
Routing and network design problems
Scheduling algorithms
Stochastic approximation
Data structures design and analysis
Cell probe models and lower bounds
Data compression
Pattern matching
Predecessor queries
Sorting and searching
Distributed algorithms
MapReduce algorithms
Self-organization
Graph algorithms analysis
Dynamic graph algorithms
Network flows
Shortest paths
Sparsification and spanners
Mathematical optimization
Continuous optimization
Convex optimization
Linear programming
Nonconvex optimization
Quadratic programming
Quasiconvex programming and unimodality
Semidefinite programming
Stochastic control and optimization
Discrete optimization
Network optimization
Mixed discrete-continuous optimization
Integer programming
Submodular optimization and polymatroids
Online algorithms
Adversary models
Caching and paging algorithms
K-server algorithms
Online learning algorithms
Scheduling algorithms
Parallel algorithms
MapReduce algorithms
Massively parallel algorithms
Self-organization
Shared memory algorithms
Vector / streaming algorithms
Parameterized complexity and exact algorithms
Fixed parameter tractability
W hierarchy
Streaming, sublinear and near linear time algorithms
Bloom filters and hashing
Lower bounds and information complexity
Nearest neighbor algorithms
Random order and robust communication complexity
Sketching and sampling
Formal languages and automata theory
Automata extensions
Quantitative automata
Transducers
Automata over infinite objects
Formalisms
Algebraic language theory
Rewrite systems
Grammars and context-free languages
Regular languages
Tree languages
Logic
Abstraction
Automated reasoning
Constraint and logic programming
Constructive mathematics
Description logics
Equational logic and rewriting
Finite Model Theory
Higher order logic
Hoare logic
Linear logic
Logic and verification
Modal and temporal logics
Programming logic
Proof theory
Separation logic
Type theory
Verification by model checking
Models of computation
Abstract machines
Computability
Lambda calculus
Recursive functions
Turing machines
Interactive computation
Concurrency
Distributed computing models
Parallel computing models
Process calculi
Probabilistic computation
Quantum computation theory
Quantum communication complexity
Quantum complexity theory
Quantum information theory
Quantum query complexity
Streaming models
Timed and hybrid models
Randomness, geometry and discrete structures
Computational geometry
Error-correcting codes
Expander graphs and randomness extractors
Generating random combinatorial structures
Pseudorandomness and derandomization
Random network models
Random projections and metric embeddings
Random walks and Markov chains
Semantics and reasoning
Program constructs
Control primitives
Functional constructs
Object oriented constructs
Program schemes
Type structures
Program reasoning
Abstraction
Assertions
Invariants
Parsing
Pre- and post-conditions
Program analysis
Program specifications
Program verification
Program semantics
Action semantics
Algebraic semantics
Axiomatic semantics
Categorical semantics
Denotational semantics
Operational semantics
Theory and algorithms for application domains
Algorithmic game theory and mechanism design
Algorithmic game theory
Algorithmic mechanism design
Computational advertising theory
Computational pricing and auctions
Convergence and learning in games
Exact and approximate computation of equilibria
Market equilibria
Network formation
Network games
Quality of equilibria
Representations of games and their complexity
Social networks
Solution concepts in game theory
Database theory
Data exchange
Data integration
Data modeling
Data provenance
Data structures and algorithms for data management
Database constraints theory
Database interoperability
Database query languages (principles)
Database query processing and optimization (theory)
Incomplete, inconsistent, and uncertain databases
Logic and databases
Theory of database privacy and security
Machine learning theory
Active learning
Bayesian analysis
Boolean function learning
Boosting
Inductive inference
Kernel methods
Gaussian processes
Support vector machines
Markov decision processes
Models of learning
Multi-agent learning
Online learning theory
Query learning
Regret bounds
Reinforcement learning
Adversarial learning
Apprenticeship learning
Inverse reinforcement learning
Multi-agent reinforcement learning
Sequential decision making
Sample complexity and generalization bounds
Semi-supervised learning
Structured prediction
Unsupervised learning and clustering
Education Material Type:
- None -
Assessment Material
-Answer Key
-Portfolio
-Rubric
-Test
Dataset
-Database
-List/Table
-Observed Data
-Remotely Sensed Data
-Trial
Event
-Award/Recognition/Scholarship
-Broadcast
-Call for Participation
-Conference
-Exhibit
-Job
-Learning/Research Opportunity
-News
-Workshop
Instructional Material
-Activity
-Annotation
-Case Study
-Course
-Curriculum
-Demonstration
-Experiment/Lab Activity
-Field Trip
-Game
-Instructional Strategy
-Instructor Guide/Manual
-Interactive Simulation
-Lecture/Presentation
-Lesson/Lesson Plan
-Model
-Problem Set
-Project
-Simulation
-Student Guide
-Syllabus
-Textbook
-Tutorial
-Unit of Instruction
Reference Material
-Abstract
-Article
-Bibliography
-Career Information
-Classification Key
-Educational Standard
-FAQ
-Fiction
-Glossary/Index
-Outline
-Nonfiction Reference
-Periodical
-Policy
-Proceedings
-Proposal
-Report
-Scientific Standard
-Specimen
-Thesis/Dissertation
Community
-Ask-an-Expert
-Forum
-Listserv
-Weblog
-Wiki
Tool
-Code - e.g., scripts that enhance a resource; does not stand alone
-Equipment
-Form
-Numerical Model
-Search Engine
-Software - stand-alone tool, distinct from Numerical Model
Audio/Visual
-Graph
-Illustration
-Image/Image Set
-Map
-Movie/Animation
-Music
-Photograph
-Sound
-Voice Recording
The nature, function or typical use of a resource.
Education Level:
- None -
Pre-Kindergarten
Elementary School
-Early Elementary
--Kindergarten
--Grade 1
--Grade 2
-Upper Elementary
--Grade 3
--Grade 4
--Grade 5
Middle School
-Grade 6
-Grade 7
-Grade 8
High School
-Grade 9
-Grade 10
-Grade 11
-Grade 12
Higher Education
-Undergraduate (Lower Division)
--Grade 13
--Grade 14
-Undergraduate (Upper Division)
--Grade 15
--Grade 16
-Technical Education (Lower Division)
-Technical Education (Upper Division)
-Graduate/Professional
Informal Education
-Elementary School Programming
-Middle School Programming
-High School Programming
-General Public
-Youth Public
Vocational/Professional Development Education
Use to describe the appropriate learning level or range associated with a resource.
Audience:
- None -
Administrator
Educator
General Public
Learner
Parent/Guardian
Professional/Practitioner
Researcher
A broad category that best describes the recipient or user for whom the resource is primarily intended.
Access Rights:
- None selected -
Available by subscription
Available for purchase
Free access
Free access with registration
Limited free access
Information describing conditions or requirements for viewing and/or downloading NSDL material. NSDL controlled vocabulary available; a refinement of the Rights element.
Interactivity Type :
- None selected -
Active
Expositive
Mixed
Undefined
The type of interactions supported by a resource.
Today In Computing History:
- None selected -
January 1
January 2
Format:
Physical medium and/or file/MIME format.
Subject:
The topic of the resource.
Powered by
Drupal
, an open source content management system.
Arch images by
criminalintent
,
auntlaura
, and
geishaboy500
.
CC BY-SA 2.0
