|< 4 5 6 7 8 >|
CSV
publication icon
Agarwal D (2018) A CAD Based Framework for Optimizing Performance While Ensuring Assembly Fit in Recent Advances in Intelligent Manufacturing - First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part I
publication icon
Sun P (2018) Methodology - A Review of Intelligent Manufacturing: Scope, Strategy and Simulation in Recent Advances in Intelligent Manufacturing - First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part I
publication icon
Fu R (2018) Review on Structure-Based Errors of Parallel Kinematic Machines in Comparison with Traditional NC Machines in Recent Advances in Intelligent Manufacturing - First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part I
publication icon
Sylvestre Melody (2016) Seasonal evolution of C 2N 2, C 3H 4, and C 4H 2 in Titan's lower stratosphere, inferred from Cassini/CIRS far-IR observations in AAS/Division for Planetary Sciences Meeting Abstracts #48
publication icon
Bocchi L (2022) The Reversible Temporal Process Language in Formal Techniques for Distributed Objects, Components, and Systems - 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings
publication icon
Campello V (2020) Combining Multi-Sequence and Synthetic Images for Improved Segmentation of Late Gadolinium Enhancement Cardiac MRI in Statistical Atlases and Computational Models of the Heart. Multi-Sequence CMR Segmentation, CRT-EPiggy and LV Full Quantification Challenges - 10th International Workshop, STACOM 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 13, 2019, Revised Selected Papers
publication icon
Qiu H (2020) Deep Learning for Cardiac Motion Estimation: Supervised vs. Unsupervised Training in Statistical Atlases and Computational Models of the Heart. Multi-Sequence CMR Segmentation, CRT-EPiggy and LV Full Quantification Challenges - 10th International Workshop, STACOM 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 13, 2019, Revised Selected Papers
publication icon
Bila E (2020) Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory in Formal Techniques for Distributed Objects, Components, and Systems - 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings
publication icon
Bila E (2020) Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory in Formal Techniques for Distributed Objects, Components, and Systems - 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings
publication icon
Bila E (2020) Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory in Formal Techniques for Distributed Objects, Components, and Systems - 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings