Concept

Property tax

Related publications (46)

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.

Indocyanine green as a prospective sensitizer for photodynamic therapy of melanomas

Patrycja Nowak-Sliwinska

Spectroscopic, photochemical and biological properties of indocyanine green (ICG) are presented. Light over 800 nm is effectively absorbed by ICG. This property as well as photochemical behaviour of ICG make it a very suitable dye for photodynamic treatmen ...

Polish Academy of Sciences / Acta Biochimica Polonica2002

Revisiting Liveness Properties in the Context of Secure Systems

Felix Gaertner

Distinguishing trace-based system properties into safety properties on the one hand and liveness properties on the other has proven very useful for specifying and validating concurrent and fault-tolerant systems. We study the adequacy of these abstractions ...

2002

Asynchronous Leasing

Rachid Guerraoui, Partha Dutta, Romain Boichat

Leasing is a very effective way to improve the performance of distributed algorithms without hampering their fault-tolerance. The notion of lease has traditionally been defined using a global notion of time and was hence strongly tied to synchronous system ...

2001

A Review of Dendritic Hyperbranched Polymer as Modifiers in Epoxy Composites

Dendritic hyperbranched polymers have been shown to be able to double the interlaminar fracture resistance of epoxy-based composites and to reduce the internal stress level by as much as 80% with only 10 phr of modifier. These property improvements were ob ...

2001

Towards validated real-time software

Joseph Sifakis

We present a tool for the design and validation of embedded real time applications. The tool integrates two approaches: the use of the synchronous programming language, ESTEREL for design, and the application of model checking techniques for validation of ...

2000

Review of the work of the RILEM TC 159-ETC: Engineering of the interfacial transition zone in cementitious composites

Karen Scrivener

The present paper presents an overview of the work of the RILEM Technical Committee 159-ETC on the engineering of the interfacial transition zone in cementitious composites. The object of this committee was to resolve the practical influences of the interf ...

2000