Concept

Formal science

Related publications (32)

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.

Animation-Based Service Specification, Verification and Validation

Biljana Bajic-Bizumic

[Context] With the expansion of services and service science, service systems have become an important abstraction for the service revolution. Service is defined as the application of resources (including competences, skills, and knowledge) to make changes ...

EPFL2015

Chapter 6: Design and Design Frameworks: Investment in KBC and economic performance

Christopher Tucci, Tilo Peters

This chapter addresses the nature and the economic impact of design by looking at design-related intellectual property and how businesses protect their knowledge based capital. The chapter reviews the nature and various definitions of design and how design ...

Organization for Economic Cooperation and Development2015

Modeling options for demand side participation of thermostatically controlled loads

Maryam Kamgarpour, John Lygeros

Residential thermostatically controlled loads (TCLs) have potential for participation in electricity markets. This is because we can control a large group of these loads to achieve aggregate system behavior such as providing frequency reserves while ensuri ...

IEEE2013

Morphological Computation and Morphological Control: Steps Toward a Formal Theory and Applications

John Richard Walker

Morphological computation can be loosely defined as the exploitation of the shape, material properties, and physical dynamics of a physical system to improve the efficiency of a computation. Morphological control is the application of morphological computi ...

Mit Press2013

Interactive Code Generation

Ivan Kuraj

This thesis presents two approaches to code generation (synthesis) along with a discussion of other related and influential works, their ideas and relations to these approaches. The common goal of these approaches is to efficiently and effectively assist d ...

2013

This work aims at investigating the automatic recognition of speaker role in meeting conversations from the AMI corpus. Two types of roles are considered: formal roles, fixed over the meeting duration and recognized at recording level, and social roles rel ...

2012

Architectural integration and design of solar thermal systems

Maria Cristina Munari Probst

Although mature technologies at competitive prices are largely available, solar thermal is not yet playing the important role it deserves in the reduction of buildings fossil energy consumption. The generally low architectural quality characterizing existi ...

EPFL2009

Formal semantics for refinement verification of entreprise models

Irina Rychkova

In this dissertation we investigate how Business/IT alignment in enterprise models can be enhanced by using a software engineering stepwise refinement paradigm. To have an IT system that supports an enterprise and meets the enterprise business needs, manag ...

EPFL2008

A formal approach to fault tolerant distributed consensus

Rachele Fuzzati

The term distributed Consensus denotes the problem of getting a certain number of processes, that could be far away from each other and that exchange messages through some communication means, to all agree on the same value. This problem has been proved im ...

EPFL2008

Development of Prototype UrbanSim Models

Michel Bierlaire

UrbanSim is an integrated transportation land-use model that has been under development since the late 1990s. It has received a fair bit of attention in the integrated modeling community. Its notoriety comes primarily from its disaggregated approach. A num ...

2008