Home - cqlj/2020 GitHub Wiki
- General and reference
- Hardware
- Printed circuit boards
- Communication hardware, interfaces and storage
- Signal processing systems
- Sensors and actuators
- Buses and high-speed links
- Displays and imagers
- External storage
- Networking hardware
- Printers
- Sensor applications and deployments
- Sensor devices and platforms
- Sound-based input / output
- Tactile and hand-based interfaces
- Scanners
- Wireless devices
- Wireless integrated network sensors
- Electro-mechanical devices
- Integrated circuits
- Very large scale integration design
- 3D integrated circuits
- Analog and mixed-signal circuits
- Application-specific VLSI designs
- Design reuse and communication-based design
- Design rules
- Economics of chip design and manufacturing
- Full-custom circuits
- VLSI design manufacturing considerations
- On-chip resource management
- On-chip sensors
- Standard cell libraries
- VLSI packaging
- VLSI system specification and constraints
- Power and energy
- Electronic design automation
- Hardware validation
- Hardware test
- Robustness
- Emerging technologies
- Analysis and design of emerging devices and systems
- Biology-related information processing
- Circuit substrates
- Electromechanical systems
- Emerging interfaces
- Memory and dense storage
- Emerging optical and photonic technologies
- Reversible logic
- Plasmonics
- Quantum technologies
- Spintronics and magnetic technologies
- Computer systems organization
- Networks
- Network architectures
- Network protocols
- Network components
- Network algorithms
- Network performance evaluation
- Network properties
- Network services
- Network types
- Software and its engineering
- Software organization and properties
- Contextual software domains
- Software system structures
- Embedded software
- Software architectures
- n-tier architectures
- Peer-to-peer architectures
- Data flow architectures
- Cooperating communicating processes
- Layered systems
- Publish-subscribe / event-based architectures
- Electronic blackboards
- Simulator / interpreter
- Object oriented architectures
- Tightly coupled architectures
- Space-based architectures
- 3-tier architectures
- Software system models
- Ultra-large-scale systems
- Distributed systems organizing principles
- Real-time systems software
- Abstraction, modeling and modularity
- Software functional properties
- Extra-functional properties
- Software notations and tools
- General programming languages
- Language types
- Parallel programming languages
- Distributed programming languages
- Imperative languages
- Object oriented languages
- Functional languages
- Concurrent programming languages
- Constraint and logic languages
- Data flow languages
- Extensible languages
- Assembly languages
- Multiparadigm languages
- Very high level languages
- Language features
- Language types
- Formal language definitions
- Compilers
- Context specific languages
- Markup languages
- Scripting languages
- Domain specific languages
- Specialized application languages
- API languages
- Graphical user interface languages
- Window managers
- Command and control languages
- Macro languages
- Programming by example
- State based definitions
- Visual languages
- Interface definition languages
- System description languages
- Development frameworks and environments
- Software configuration management and version control systems
- Software libraries and repositories
- Software maintenance tools
- General programming languages
- Software creation and management
- Software organization and properties
- Theory of computation
- Models of computation
- Formal languages and automata theory
- Computational complexity and cryptography
- Complexity classes
- Problems, reductions and completeness
- Communication complexity
- Circuit complexity
- Oracles and decision trees
- Algebraic complexity theory
- Quantum complexity theory
- Proof complexity
- Interactive proof systems
- Complexity theory and logic
- Cryptographic primitives
- Cryptographic protocols
- Logic
- Logic and verification
- Proof theory
- Modal and temporal logics
- Automated reasoning
- Constraint and logic programming
- Constructive mathematics
- Description logics
- Equational logic and rewriting
- Finite Model Theory
- Higher order logic
- Linear logic
- Programming logic
- Abstraction
- Verification by model checking
- Type theory
- Hoare logic
- Separation logic
- Design and analysis of algorithms
- Graph algorithms analysis
- Approximation algorithms analysis
- Mathematical optimization
- Data structures design and analysis
- Online algorithms
- Parameterized complexity and exact algorithms
- Streaming, sublinear and near linear time algorithms
- Parallel algorithms
- Distributed algorithms
- Algorithm design techniques
- Concurrent algorithms
- Randomness, geometry and discrete structures
- Theory and algorithms for application domains
- Machine learning theory
- Sample complexity and generalization bounds
- Boolean function learning
- Unsupervised learning and clustering
- Kernel methods
- Boosting
- Bayesian analysis
- Inductive inference
- Online learning theory
- Multi-agent learning
- Models of learning
- Query learning
- Structured prediction
- Reinforcement learning
- Active learning
- Semi-supervised learning
- Markov decision processes
- Regret bounds
- Algorithmic game theory and mechanism design
- Social networks
- Algorithmic game theory
- Algorithmic mechanism design
- Solution concepts in game theory
- Exact and approximate computation of equilibria
- Quality of equilibria
- Convergence and learning in games
- Market equilibria
- Computational pricing and auctions
- Representations of games and their complexity
- Network games
- Network formation
- Computational advertising theory
- Database theory
- Data exchange
- Data provenance
- Data modeling
- Database query languages (principles)
- Database constraints theory
- Database interoperability
- Data structures and algorithms for data management
- Database query processing and optimization (theory)
- Data integration
- Logic and databases
- Theory of database privacy and security
- Incomplete, inconsistent, and uncertain databases
- Theory of randomized search heuristics
- Machine learning theory
- Semantics and reasoning
- Mathematics of computing
- Discrete mathematics
- Probability and statistics
- Probabilistic representations
- Probabilistic inference problems
- Probabilistic reasoning algorithms
- Probabilistic algorithms
- Statistical paradigms
- Stochastic processes
- Nonparametric statistics
- Distribution functions
- Multivariate statistics
- Mathematical software
- Information theory
- Mathematical analysis
- Numerical analysis
- Mathematical optimization
- Differential equations
- Calculus
- Functional analysis
- Integral equations
- Nonlinear equations
- Quadrature
- Continuous mathematics
- Information systems
- Data management systems
- Database design and models
- Data structures
- Database management system engines
- DBMS engine architectures
- Database query processing
- Database transaction processing
- Record and buffer management
- Parallel and distributed DBMSs
- Triggers and rules
- Database views
- Integrity checking
- Distributed database transactions
- Main memory engines
- Online analytical processing engines
- Stream management
- Query languages
- Database administration
- Information integration
- Middleware for databases
- Information storage systems
- Information systems applications
- Enterprise information systems
- Collaborative and social computing systems and tools
- Spatial-temporal systems
- Decision support systems
- Mobile information processing systems
- Process control systems
- Multimedia information systems
- Data mining
- Digital libraries and archives
- Computational advertising
- Computing platforms
- World Wide Web
- Information retrieval
- Document representation
- Information retrieval query processing
- Users and interactive retrieval
- Retrieval models and ranking
- Retrieval tasks and goals
- Evaluation of retrieval results
- Search engine architectures and scalability
- Specialized information retrieval
- Data management systems
- Security and privacy
- Cryptography
- Formal methods and theory of security
- Security services
- Intrusion/anomaly detection and malware mitigation
- Security in hardware
- Systems security
- Network security
- Database and storage security
- Software and application security
- Human and societal aspects of security and privacy
- Human-centered computing
- Human computer interaction (HCI)
- Interaction design
- Collaborative and social computing
- Ubiquitous and mobile computing
- Visualization
- Accessibility
- Computing methodologies
- Symbolic and algebraic manipulation
- Symbolic and algebraic algorithms
- Combinatorial algorithms
- Algebraic algorithms
- Nonalgebraic algorithms
- Symbolic calculus algorithms
- Exact arithmetic algorithms
- Hybrid symbolic-numeric methods
- Discrete calculus algorithms
- Number theory algorithms
- Equation and inequality solving algorithms
- Linear algebra algorithms
- Theorem proving algorithms
- Boolean algebra algorithms
- Optimization algorithms
- Computer algebra systems
- Representation of mathematical objects
- Symbolic and algebraic algorithms
- Parallel computing methodologies
- Artificial intelligence
- Natural language processing
- Knowledge representation and reasoning
- Description logics
- Semantic networks
- Nonmonotonic, default reasoning and belief revision
- Probabilistic reasoning
- Vagueness and fuzzy logic
- Causal reasoning and diagnostics
- Temporal reasoning
- Cognitive robotics
- Ontology engineering
- Logic programming and answer set programming
- Spatial and physical reasoning
- Reasoning about belief and knowledge
- Planning and scheduling
- Search methodologies
- Control methods
- Philosophical/theoretical foundations of artificial intelligence
- Distributed artificial intelligence
- Computer vision
- Machine learning
- Learning paradigms
- Learning settings
- Machine learning approaches
- Classification and regression trees
- Kernel methods
- Neural networks
- Logical and relational learning
- Learning in probabilistic graphical models
- Learning linear models
- Factorization methods
- Rule learning
- Instance-based learning
- Markov decision processes
- Partially-observable Markov decision processes
- Stochastic games
- Learning latent representations
- Bio-inspired approaches
- Machine learning algorithms
- Cross-validation
- Modeling and simulation
- Model development and analysis
- Simulation theory
- Simulation types and techniques
- Uncertainty quantification
- Quantum mechanic simulation
- Molecular simulation
- Rare-event simulation
- Discrete-event simulation
- Agent / discrete models
- Distributed simulation
- Continuous simulation
- Continuous models
- Real-time simulation
- Interactive simulation
- Multiscale systems
- Massively parallel and high-performance simulations
- Data assimilation
- Scientific visualization
- Visual analytics
- Simulation by animation
- Artificial life
- Simulation support systems
- Simulation evaluation
- Computer graphics
- Distributed computing methodologies
- Concurrent computing methodologies
- Symbolic and algebraic manipulation
- Applied computing
- Electronic commerce
- Enterprise computing
- Enterprise information systems
- Business process management
- Enterprise architectures
- Service-oriented architectures
- Event-driven architectures
- Business rules
- Enterprise modeling
- Enterprise ontologies, taxonomies and vocabularies
- Enterprise data management
- Reference models
- Business-IT alignment
- IT architectures
- IT governance
- Enterprise computing infrastructures
- Enterprise interoperability
- Physical sciences and engineering
- Life and medical sciences
- Law, social and behavioral sciences
- Computer forensics
- Arts and humanities
- Computers in other domains
- Operations research
- Education
- Document management and text processing
- Social and professional topics
- Professional topics
- Computing industry
- Management of computing and information systems
- History of computing
- Computing education
- Computing and business
- Computing profession
- Computing / technology policy
- User characteristics
- Professional topics