Chao Wang - Böcker

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

Chinese Currency Exchange Rates Analysis

Risk Management, Forecasting and Hedging Strategies

Reconfigurable and Adaptive Computing

Theory and Applications

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

Dynamic Mechanical Behaviors and Constitutive Model of Roller Compacted Concrete

Dynamic Mechanical Behaviors and Constitutive Model of Roller Compacted Concrete