High-Performance Computing for Big Data: Methodologies and Applications explores emerging high-pe...

Abstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction t...

Durability of PEM Fuel Cell Membranes.- Modeling of Membrane-Electrode-Assembly Degradation in Pr...

of Part A.- 1. Lagrangian Mechanics of Particles and Rigid Bodies.- Section 1. Kinematics of Syst...

The self-organizing map (SOM) is an unsupervisedlearning algorithm which has been successfully ...

With the development of linguistics, our understandings about language become more and more profo...

of Part B.- 5. Classical Theory of Electromagnetism.- Section 30. Classical Laws of Electrostatic...

Time-of-flight(TOF) is an important concept in electron optics. In analyzers, TOF is used to sele...

This book constitutes the refereed proceedings of the Second International Workshop on Coding and...

Parallel and distributed applications and algorithms.- Parallel and distributed architectures and...

This book constitutes the refereed proceedings of the 16th International Symposium on Automated T...