Wang, Chao.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Automated technology for verification and analysis = 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Wang, Chao.; Lahiri, Shuvendu K.; SpringerLink (Online service)
(Language materials, printed)
From internet of things to smart cities = enabling technologies /
by:
Sun, Hongjian.; Ahmad, Bashar I.; Wang, Chao.
(Language materials, printed)
Automated Technology for Verification and Analysis = 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings /
by:
Lahiri, Shuvendu K.; SpringerLink (Online service); Wang, Chao.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Combined Measure and Shift Invariance Theory of Time Scales and Applications
by:
Agarwal, Ravi P.; Wang, Chao.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
Computer Aided Verification = 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I /
by:
SpringerLink (Online service); Lahiri, Shuvendu K.; Wang, Chao.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Computer Aided Verification = 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II /
by:
SpringerLink (Online service); Lahiri, Shuvendu K.; Wang, Chao.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Theory of Translation Closedness for Time Scales = With Applications in Translation Functions and Dynamic Equations /
by:
SpringerLink (Online service); Sakthivel, Rathinasamy.; Wang, Chao.; O' Regan, Donal.; Agarwal, Ravi P.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
Dynamic Equations and Almost Periodic Fuzzy Functions on Time Scales
by:
SpringerLink (Online service); Agarwal, Ravi P.; Wang, Chao.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
Subjects
Mathematical logic.
Computer organization.
Systems and Data Security.
Difference equations.
Artificial intelligence.
Differential Equations.
Dynamical Systems.
Software engineering.
Theory of Computation.
Harmonic analysis.
Abstract Harmonic Analysis.
Measure and Integration.
Computer Systems Organization and Communication Networks.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Artificial intelligence
Artificial Intelligence.
Differential equations.
Difference and Functional Equations.
Mathematics.
Internet of things.
Discrete Mathematics.
Functional analysis.
Real Functions.
Adaptive computing systems.
Computers.
High technology.
Mathematical models.
Functional equations.
Programming Languages, Compilers, Interpreters.
Dynamical systems.
Software Engineering.
Mathematical Modeling and Industrial Mathematics.
Computer logic.
Automatic theorem proving
Measure theory.
Applications of Mathematics.
Computer simulation.
Information Systems and Communication Service.
Discrete mathematics.
Simulation and Modeling.
Functions of real variables.
Computer Hardware.
Computer hardware.
Programming languages (Electronic computers).
Computer security.
Functional Analysis.