Here are the refereed proceedings of the 8th International Conference on Artificial Intelligence ...

The Second International Workshop on Automated Deduction in Geometry (ADG '98) was held in Beijin...

This book constitutes the refereed proceedings of the 13th International Conference on Artificial...

The series is devoted to the publication of high-level monographs, surveys and proceedings which ...

This book constitutes the thoroughly refereed and revised post-workshop proceedings of the Intern...

The growing demand of speed, accuracy, and reliability in scientific and engineering computing ha...

Distributed MIMO and cell-free mobile communication are emerging technologies of wireless communi...

With a standard program committee and a pre-review process, the Third - ternational Workshop on A...

This book presents the state-of-the-art in tackling differential equations using advanced methods...

Distributed MIMO and cell-free mobile communication are emerging technologies of wireless communi...