Tutorials
Quantum Services: A Tutorial on the Technology and the Process
 |  |  |
| Javier Romero University of Extremadura, Spain | Jaime Alvarado-Valiente University of Extremadura, Spain | Enrique Mogel University of Extremadura, Spain |
 |  |
| Jose Garcia-Alonso University of Extremadura, Spain | Juan M. Murillo University of Extremadura, Spain |
Abstract
The advent of quantum computing has ushered in a new paradigm in the field of computer science and software engineering, thus expanding the frontiers of computer applications designed for problem solving. The transformation of quantum algorithms into web services is a promising avenue to meet this challenge, as it allows them to be integrated into conventional distributed applications. This tutorial provides an overview of the process of transforming quantum algorithms into web services. It explains how these quantum services can be effectively deployed, specifically through the Amazon Braket platform for quantum computing, and how they can be invoked through classical web service endpoints. This tutorial not only presents the step-by-step methodology, but also provides insight into best practices for successful implementation through a development process. It highlights the use of an extended version of the OpenAPI Specification, along with the simplified automation capabilities offered by GitHub Actions, which play a key role in improving efficiency throughout the development and deployment phases.
Services in Industry 4.0. Modeling and composition for agile supply chains.
 |  |  |
| Francesco Leotta Sapienza Università di Roma, Italy | Flavia Monti Sapienza Università di Roma, Italy | Luciana Silo Sapienza Università di Roma, Italy |
Abstract:
Recent years witnessed a growing interest in the employment of intelligent techniques for the management of manufacturing processes in smart manufacturing. These processes may include tens of resources distributed among several different companies composing the supply chain. The status of the different resources evolves over time in terms of cost, quality, and probability of break, requiring the process to be adaptive and resilient to disruptions. The tutorial explores the modeling of Industry 4.0 systems as services and their composition. We discuss how these systems are designed, integrated and orchestrated to create a interconnected manufacturing environment. Then the potential and limitations of automated reasoning techniques to enable decision-making and process optimization in the modeled systems is analyzed. Finally, a case study and a demo (Adaptive InDustrial APIs – AIDA) will be presented to show the practical application of intelligent techniques in a real manufacturing environment.
What is blockchain and how can it help my business?
 |  |  |
| Marco Comuzzi Ulsan National Institute of Science and Technology, Korea | Giovanni Meroni Technical University of Denmark, Denmark | Paul Grefen Eindhoven University of Technology, Nederlands |
Abstract:
Blockchain is a technology that increasingly permeates the way in which modern businesses operate. However, its dynamics and functioning remain obscure to many. The objective of this tutorial is to provide the tools to understand what blockchain is and the full extent to which it can be used in business.
The first part of the tutorial focuses on defining the fundamental mechanisms of blockchain systems and discussing different types of platforms for blockchain systems implementation. Basic concepts, such as transactions, immutable storage, consensus mechanisms and smart contracts, are introduced in an implementation-agnostic way. In the second part, the instantiation of the mechanisms is then discussed in the context of existing blockchain platforms, such as Bitcoin, Ethereum, IOTA and Hyperledger Fabric.
In the third part, we discuss decision-making tools to understand and assess the suitability of blockchain in different business scenarios and techniques to create business models that exploit blockchain. Examples and case studies of blockchain business applications are discussed extensively. The content of this tutorial is drawn from a book recently published by the speakers.
Satellite Computing: From Space to Your Screen
 |  |
| Qing Li Peking University, China | Daliang Xu Peking University, China |
Abstract:
The space industry is undergoing a transformative shift driven by the rapid growth of LEO satellite mega-constellations. These constellations cater to growing demands in various sectors, from intelligent transportation and smart cities to maritime surveillance and disaster response. Satellite computing emerges as a pivotal foundation in this evolution.
In our tutorial lecture, we embark on a journey into the realm of satellite computing, a burgeoning field with immense potential. We begin by addressing a fundamental question: What is satellite computing? We delve into core concepts, revealing how satellites can function as computational powerhouses orbiting our planet.
As we progress, we explore diverse scenarios where satellite computing shines. We also confront the unique challenges it faces in space’s harsh environment, featuring deep vacuum conditions, radiation exposure, strong vibrations, and extreme temperature ranges. Our tutorial offers insights into our research in satellite computing. We share practical experiences from deploying the Tiansuan constellation, showcasing the real-world applications of these cutting-edge technologies.
Our vision is to democratize satellite computing access. By transforming satellites into servers “with wings”, we envision a future where every corner of the globe reaps the benefits of satellite computing’s vast potential.