Xiao-Chuan Cai's Documents

Xiao-Chuan Cai's Documents

Machine Proofs In Geometry: Automated Production of Readable Proofs for Geometry Theorems

Machine Proofs In Geometry: Automated Production of Readable Proofs for Geometry Theorems
Read more
The Evolving Continents: Understanding Processes of Continental Growth - Special Publication 338 (Geological Society Special Publication)

The Evolving Continents: Understanding Processes of Continental Growth - Special Publication 338 (Geological Society Special Publication)
Read more
Optimization and Control with Applications

Optimization and Control with Applications
Read more
Grid and Cooperative Computing - GCC 2004 Workshops: GCC 2004 International Workshops, IGKG, SGT, GISS, AAC-GEVO, and VVS, Wuhan, China, October 21-24, 2004

Grid and Cooperative Computing - GCC 2004 Workshops: GCC 2004 International Workshops, IGKG, SGT, GISS, AAC-GEVO, and VVS, Wuhan, China, October 21-24, 2004
Read more
Grid and Cooperative Computing - GCC 2004: Third International Conference, Wuhan, China, October 21-24, 2004. Proceedings

Grid and Cooperative Computing - GCC 2004: Third International Conference, Wuhan, China, October 21-24, 2004. Proceedings
Read more
Electrochemical Impedance Spectroscopy in PEM Fuel Cells: Fundamentals and Applications

Electrochemical Impedance Spectroscopy in PEM Fuel Cells: Fundamentals and Applications
Read more
An Introduction to Iterative Toeplitz Solvers (Fundamentals of Algorithms)

An Introduction to Iterative Toeplitz Solvers (Fundamentals of Algorithms)
Read more
An introduction to iterative Toeplitz solvers

An introduction to iterative Toeplitz solvers
Read more
Machine proofs in geometry : automated production of readable proofs for geometry theorems

Machine proofs in geometry : automated production of readable proofs for geometry theorems
Read more
Optimization and control with applications

Optimization and control with applications
Read more
NMR Logging Principles and Applications

NMR Logging Principles and Applications
Read more
Information Security and Assurance: 4th International Conference, ISA 2010, Miyazaki, Japan, June 23-25, 2010, Proceedings (Communications in Computer and Information Science)

Information Security and Assurance: 4th International Conference, ISA 2010, Miyazaki, Japan, June 23-25, 2010, Proceedings (Communications in Computer and Information Science)
Read more
Electrochemical Impedance Spectrocopy in PEM Fuel Cells

Electrochemical Impedance Spectrocopy in PEM Fuel Cells
Read more
Advances in Intelligent Computing: International Conference on Intelligent Computing, ICIC 2005, Hefei, China, August 23-26, 2005, Proceedings, Part II

Advances in Intelligent Computing: International Conference on Intelligent Computing, ICIC 2005, Hefei, China, August 23-26, 2005, Proceedings, Part II
Read more
Spheroidal wave functions in electromagnetic theory

Spheroidal wave functions in electromagnetic theory
Read more
Handbook of Markov Chain Monte Carlo

Handbook of Markov Chain Monte Carlo
Read more
Grid and Cooperative Computing - GCC 2004: Third International Conference, Wuhan, China, October 21-24, 2004. Proceedings (Lecture Notes in Computer Science)

Grid and Cooperative Computing - GCC 2004: Third International Conference, Wuhan, China, October 21-24, 2004. Proceedings (Lecture Notes in Computer Science)
Read more
Advances in Intelligent Computing: International Conference on Intelligent Computing, ICIC 2005, Hefei, China, August 23-26, 2005, Proceedings, Part I

Advances in Intelligent Computing: International Conference on Intelligent Computing, ICIC 2005, Hefei, China, August 23-26, 2005, Proceedings, Part I
Read more
Medicine The Ethics of Medical Research on Humans

Medicine The Ethics of Medical Research on Humans
Read more
Global Media Spectacle: News War Over Hong Kong

Global Media Spectacle: News War Over Hong Kong
Read more
PID control for multivariable processes

PID control for multivariable processes
Read more
Computing the Electrical Activity in the Heart

Computing the Electrical Activity in the Heart
Read more
General Theory of Information Transfer and Combinatorics

General Theory of Information Transfer and Combinatorics
Read more
PID Control for Multivariable Processes

PID Control for Multivariable Processes
Read more
Theoretical Computer Science and General Issues)

Theoretical Computer Science and General Issues)
Read more
Knots, braids, and mapping class groups--papers dedicated to Joan S. Birman: proceedings of a conference on low dimensional topology in honor of Joan S. Birman's 70th birthday, March 14-15, 19Author: Joan S Birman; Jane Gilman; William W Menasco; Xiao-son

Knots, braids, and mapping class groups--papers dedicated to Joan S. Birman: proceedings of a conference on low dimensional topology in honor of Joan S. Birman's 70th birthday, March 14-15, 19Author: Joan S Birman; Jane Gilman; William W Menasco; Xiao-son
Read more
Autonomic and Trusted Computing: 4th International Conference, ATC 2007, Hong Kong, China, July 11-13, 2007, Proceedings

Autonomic and Trusted Computing: 4th International Conference, ATC 2007, Hong Kong, China, July 11-13, 2007, Proceedings
Read more
A Minicourse on Stochastic Partial Differential Equations (Lecture Notes in Mathematics)

A Minicourse on Stochastic Partial Differential Equations (Lecture Notes in Mathematics)
Read more
Bioluminescence and Chemiluminescence: Light Emission: Biology and Scientific Applications, Proceedings of the 15th International Symposium

Bioluminescence and Chemiluminescence: Light Emission: Biology and Scientific Applications, Proceedings of the 15th International Symposium
Read more
Catalysts for Fine Chemical Synthesis, Catalysts for Carbon-Carbon Bond Formation (Catalysts For Fine Chemicals Synthesis) (Volume 3)

Catalysts for Fine Chemical Synthesis, Catalysts for Carbon-Carbon Bond Formation (Catalysts For Fine Chemicals Synthesis) (Volume 3)
Read more