Zahir Tari Verification of Communication Protocols in Web Services. Model-Checking Service Compositions Подробнее
Nicolas Pinel Method of Moments for 2D Scattering Problems. Basic Concepts and Applications Подробнее
Vincent Savaux MMSE-Based Algorithm for Joint Signal Detection, Channel and Noise Variance Estimation for OFDM Systems Подробнее
Szabolcs Michaelde Gyurky The Autonomous System. A Foundational Synthesis of the Sciences of the Mind Подробнее
Franck Barbier COBOL Software Modernization. From Principles to Implementation with the BLU AGE Method Подробнее
Jun Yu Modern Machine Learning Techniques and Their Applications in Cartoon Animation Research Подробнее
