Chao Wang – författare

Safe Robot Navigation Among Moving and Steady Obstacles

Computational Advertising

Market and Technologies for Internet Commercial Monetization

Domain-Specific Computer Architectures for Emerging Applications

Machine Learning and Neural Networks

High Performance Computing for Big Data

Methodologies and Applications

From Internet of Things to Smart Cities

Enabling Technologies

Chinese Currency Exchange Rates Analysis

Risk Management, Forecasting and Hedging Strategies

Abstraction Refinement for Large Scale Model Checking

Computational Advertising

Market and Technologies for Internet Commercial Monetization

Cryogenic Engineering and Technologies

Principles and Applications of Cryogen-Free Systems

Domain-Specific Computer Architectures for Emerging Applications

Machine Learning and Neural Networks

Chinese Currency Exchange Rates Analysis

Risk Management, Forecasting and Hedging Strategies

Reconfigurable and Adaptive Computing

Theory and Applications

Local Well-Posedness and Break-Down Criterion of the Incompressible Euler Equations with Free Boundary

Abstraction Refinement for Large Scale Model Checking

Reconfigurable and Adaptive Computing

Theory and Applications

Cryogenic Engineering and Technologies

Principles and Applications of Cryogen-Free Systems

From Internet of Things to Smart Cities

Enabling Technologies

High Performance Computing for Big Data

Methodologies and Applications

Electromagnetic Field

From Atomic Level to Engineering Applications

Automated Technology for Verification and Analysis

16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

Theory of Translation Closedness for Time Scales

With Applications in Translation Functions and Dynamic Equations

Theory of Translation Closedness for Time Scales

With Applications in Translation Functions and Dynamic Equations

Computer Aided Verification

32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I

Computer Aided Verification

32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

Dynamic Equations and Almost Periodic Fuzzy Functions on Time Scales

Dynamic Equations and Almost Periodic Fuzzy Functions on Time Scales

Combined Measure and Shift Invariance Theory of Time Scales and Applications

Combined Measure and Shift Invariance Theory of Time Scales and Applications

Network and Parallel Computing

14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings