Service compositions à la Roman model consist of realizing a virtual service by orchestrating suitably, a set of already available services, where all services are described procedurally as (possibly nondeterministic) transition systems. In this paper, we study a goal-oriented variant of the...
01a Articolo in rivista
-
-
This work reports the design of a 1x2 photonic digital switch controlled by an electrically induced metasurface, configurated by a rectangular array of points where the refractive index is locally changed through the application of an external bias. The device is simulated using the Beam...
-
Background/Objectives: Non-small cell lung cancer (NSCLC) patients without gene driver mutations receive anti-PD1 treatments either as monotherapy or in combination with chemotherapy based on PD-L1 expression in tumor tissue. Anti-PD1 antibodies target various immune system components, perturbing...
-
A current open challenge in precision medicine is sex-specific medicine: the study of how sex-based biological differences influence people's health. With recent advancements in high-throughput technologies, large-scale molecular data are being generated for individual cancer patients, however,...
-
Lumps formed by abnormal cell growth in the brain constitute brain tumors. Treatments differ depending on the specificity of the tumor and the condition of the patient; surgery, radiation therapy and targeted therapy are suggested for less severe tumors, while for severe tumors; chemotherapy is...
-
Automated planning is a branch of artificial intelligence aiming at finding a course of action that achieves specified goals, given a description of the initial state of a system and a model of possible actions. There are plenty of planning approaches working under different assumptions and with...
-
We present a Robust Intrinsically Stable Model Predictive Control (RIS-MPC) framework for humanoid gait generation, which realizes as closely as possible a predefined sequence of footsteps in the presence of both persistent and impulsive perturbations. The MPC-based controller has two modes of...
-
In the current industrial landscape, digitization is essential for the survival and growth of companies of all sizes. The adoption of new technologies and organizational structures is critical as companies navigate complex digital transformations. While Maturity Models (MMs) offer significant...
-
Modern organizations necessitate continuous business processes improvement to maintain efficiency, adaptability, and competitiveness. In the last few years, the Internet of Things, via the deployment of sensors and actuators, has heavily been adopted in organizational and industrial settings to...
-
In the era of Industry 4.0, the New Space Economy, often called Space 4.0, has taken center stage in the satellite industry. The advent of mega-constellations, which entails mass satellite production, necessitates state-of-the-art manufacturing methods. Leveraging Industry 4.0 technologies like the...