Concept

Relation algebra

Publications associées (19)

Complex Representation Learning with Graph Convolutional Networks for Knowledge Graph Alignment

Thanh Trung Huynh, Quoc Viet Hung Nguyen, Thành Tâm Nguyên

The task of discovering equivalent entities in knowledge graphs (KGs), so-called KG entity alignment, has drawn much attention to overcome the incompleteness problem of KGs. The majority of existing techniques learns the pointwise representations of entiti ...

London2023

Configuration logics: Modeling architecture styles

Joseph Sifakis, Simon Bliudze, Anastasia Mavridou, Eduard Baranov

We study a framework for the specification of architecture styles as families of architectures involving a common set of types of components and coordination mechanisms. The framework combines two logics: 1) interaction logics for the specification of arch ...

Elsevier Science Inc2017

A Looping-Delooping Adjunction For Topological Spaces

Martina Rovelli

Every principal G-bundle over X is classified up to equivalence by a homotopy class X -> BG, where BG is the classifying space of G. On the other hand, for every nice topological space X Milnor constructed a strict model of its loop space (Omega) over tild ...

Int Press Boston, Inc2017

Configuration Logics - Modelling Architecture Styles

Joseph Sifakis, Simon Bliudze, Anastasia Mavridou, Eduard Baranov

We study a framework for the specification of architecture styles as families of architectures involving a common set of types of components and coordination mechanisms. The framework combines two logics: 1)~interaction logics for the specification of arch ...

2015

How green are British cities? Scaling relations and CO2 emissions

Jean-Louis Scartezzini, Nahid Mohajeri Pour Rayeni

How green or environmentally friendly urban areas are in comparison with rural areas is a topic that has received much attention in recent years. This is understandable because urban areas already emit around 70% of the global greenhouse gases. This percen ...

2015

Strength of glass determined by the relation of the critical flaw to the fracture mirror

Jean-Paul Lebet, Maria Lindqvist

Tensile strength of structural glass elements is highly influenced by flaws. For this paper, the study concentrates on the fracture origin i.e. the critical flaw, situated at the edge of a glass element. In the current study the influence of two different ...

Elsevier2014

Momentum and photon energy dependence of the circular dichroic photoemission in the bulk Rashba semiconductors BiTeX (X = I, Br, Cl)

Marco Grioni, Arnaud Magrez, Oleg Yazyev, Helmuth Berger, Philippe Bugnon, Alberto Crepaldi, Gabriel Albert Autes, Luca Moreschini, Jens Christian Johannsen, Cédric Tournier-Colletta

Bulk Rashba systems BiTeX (X = I, Br, Cl) are emerging as important candidates for developing spintronics devices because of the coexistence of spin-split bulk and surface states, along with the ambipolar character of the surface charge carriers. The need ...

American Physical Society2014

Effect Analysis for Programs with Callbacks

Viktor Kuncak, Etienne Kneuss, Philippe Paul Henri Suter

We introduce a precise interprocedural effect analysis for programs with mutable state, dynamic object allocation, and dynamic dispatch. Our analysis is precise even in the presence of dynamic dispatch where the context-insensitive estimate on the number o ...

Springer Berlin Heidelberg2013

On Effect Analysis for Programs with Callbacks

Viktor Kuncak, Etienne Kneuss, Philippe Paul Henri Suter

2012

Minimal State Representation for Open Fluid-Fluid Reaction Systems

Dominique Bonvin, Philippe Müllhaupt, Michael Amrhein, Nirav Pravinbhai Bhatt

Reaction systems are typically represented by first-principles models that describe the evolution of the states (typically concentrations, volume and temperature) by means of conservation equations of differential nature and constitutive equations of algeb ...

Ieee Computer Soc2012

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search