NoDI topics

Statistical and quantum mechnics of complex networks
Time-space average theory of big data
Capture of deterministic lower probability events in AMS
Scientific features and complexity of massive network information
Formal methods and foundamental theories of software development
Development, verification, and execution of safety-critical software
Symbolic and numeric computation
  • Theories, models, paradigms, and methodologies
  • Design, implementation, and analysis of algorithms
  • Design and implementation of software systems
  • Applications in science, technology, and engineering
Knowledge management and discovery
  • Processing, analysis, and modeling of data, information, and knowledge
  • Formalization, representation, and management of complex knowledge
  • Automated knowledge discovery and reasoning
  • Design and implementation of knowledge bases and management systems​