Publication

On the Situated Semantics of Service Systems

Related publications (32)

Co-Design Optimisation of Morphing Topology and Control of Winged Drones

Dario Floreano, Valentin Wüest, Fabio Bergonti

The design and control of winged aircraft and drones is an iterative process aimed at identifying a compromise of mission-specific costs and constraints. When agility is required, shape-shifting (morphing) drones represent an efficient solution. However, m ...

2024

Homotopical relations between 2-dimensional categories and their infinity-analogues

Lyne Moser

In this thesis, we study the homotopical relations of 2-categories, double categories, and their infinity-analogues. For this, we construct homotopy theories for the objects of interest, and show that there are homotopically full embeddings of 2-categories ...

EPFL2021

Design and control of a prototype structure that adapts to loading through large shape changes

Ian Smith, Gennaro Senatore, Arka Prabhata Reksowardojo, Apoorv Srivastava

This paper reports on experimental testing that was carried out on a prototype adaptive structure designed to counteract the effect of loading through controlled large shape changes. The prototype is 6.6 m truss equipped with 12 linear actuators which has ...

ELSEVIER2020

Antenna for a Cranial Implant: Simulation Issues and Design Strategies

Anja Skrivervik, Zvonimir Sipus, Miroslav Veljovic

The design of a specific antenna for a cranial implant is used to illustrate design and simulation issues linked to implantable antennas. After a brief introduction, we will review the requirements for the antenna, and go through the design process, discus ...

IEEE2020

Designing, Aligning, and Visualizing Service Systems

Gorica Tapandjieva Sekulovska

Service is a concept that separates the concerns of an organization into (1) the value created for users and (2) the way the organization manages its resources to provide this value. The discipline of management of information technology (IT) uses services ...

EPFL2018

Design-oriented Modeling of 28 nm FDSOI CMOS Technology down to 4.2 K for Quantum Computing

Christian Enz, Farzan Jazaeri, Arnout Lodewijk M Beckers, Louis Hutin

In this paper a commercial 28 nm FDSOI CMOS technology is characterized and modeled from room temperature down to 4.2 K. Here we explain the influence of incomplete ionization and interface traps on this technology starting from the fundamental device-phys ...

2018

Information-gap decision theory (IGDT): a new promising method for management of uncertainties in hydropower projects: case study

Anton Schleiss, Felix Oberrauch

The design of hydropower is determined by estimates and long-term forecasts. These forecasts and estimates are highly uncertain and make performance evaluation and design choices challenging. Effective values deviating from the estimates can have a signifi ...

Hydropower&Dams, Aqua Media International2018

Alignment Verification in the Early Stage of Service Design

Alain Wegmann, Gorica Tapandjieva Sekulovska, Matteo Filipponi

Verification is a costly task, sometimes burdensome and tedious, requiring strong formal background. To reduce the effort and cost invested in verification, we developed a model-driven approach for automatic verification of service properties, done in the ...

2017

A necessary and sufficient condition for induced model structures

Kathryn Hess Bellwald, Magdalena Kedziorek

A common technique for producing a new model category structure is to lift the fibrations and weak equivalences of an existing model structure along a right adjoint. Formally dual but technically much harder is to lift the cofibrations and weak equivalence ...

Wiley2017

A Proposition for a Design Method of Service Systems

Blagovesta Hristova Kostova

This research is in the domain of service science and proposes a method for designing service systems. We consider three levels of design – individual, organizational, and implementation. The proposed design method links these three levels by explicit inpu ...

2017

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.