Concept

Well-founded relation

Related publications (33)

Succinct ordering and aggregation constraints in algebraic array theories

We discuss two extensions to a recently introduced theory of arrays, which are based on considerations coming from the model theory of power structures. First, we discuss how the ordering relation on the index set can be expressed succinctly by referring t ...

Elsevier Science Inc2024

Localized Ionic Reinforcement of Double Network Granular Hydrogels

Esther Amstad, Alexandra Thoma

Nature produces soft materials with fascinating combinations of mechanical properties. For example, the mussel byssus embodies a combination of stiffness and toughness, a feature that is unmatched by synthetic hydrogels. Key to enabling these excellent mec ...

Wiley-V C H Verlag Gmbh2024

Combinatory Array Logic with Sums

Rodrigo Raya

We prove an NP upper bound on a theory of integer-indexed integer-valued arrays that extends combi- natory array logic with an ordering relation on the index set and the ability to express sums of elements. We compare our fragment with seven other fragment ...

2023

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

The Domestic Turn: Politics of Education from New College to The Palazzo Della Sapienza

Marson Korbi

Student accommodation became a problem only a century after the foundation of the first universities in Europe in the 12th century. At the very beginning students had to provide their own lodgings autonomously. In many university cities the situation prove ...

2023

Dalmine and its Industrial Politics Translated into Type

Anna Karla De Almeida Milani

The research examines the entanglement of urban rationalities and industrial biopolitics in constructing company towns' identities and spatialities, providing different housing typologies for its workers. An epitome of spatial production under industrial p ...

2023

The importance of young professionals for dam engineering in Switzerland

Samuel Luke Vorlet, Valentina Favero

In Switzerland, hydropower is the main energy source and contributes to about 58.3% of the total production. The 2050 energy strategy aims to increase this share in the coming decades. This increase is a challenge for hydropower plants. The maintenance and ...

CRC Press/Balkema2023

Simultaneous Generation of Methyl Esters and CO in Lignin Transformation

Paul Joseph Dyson, Mingyang Liu

Lignin is an abundant renewable carbon source. Due to its complex structure, utilization of lignin is very challenging. Herein, we describe an efficient strategy for the simultaneous utilization of lignin, in which the methoxy groups in lignin react with c ...

WILEY-V C H VERLAG GMBH2022

Transferable machine-learning models of complex materials: the case of GaAs

Giulio Imbalzano

Molecular simulations allow to investigate the behaviour of materials at the atomistic level, shedding light on phenomena that cannot be directly observed in experiments. Accurate results can be obtained with ab initio methods, while simulations of large-s ...

EPFL2021

On the effect of ligand shell heterogeneity on nanoparticle/protein binding thermodynamics

Francesco Stellacci, Ahmet Bekdemir, Suiyang Liao

Nonspecific protein adhesion to nanoparticle (NP) has been proven to have important implications in nanomedicine. However, there are only a few examples of careful studies relating protein binding thermodynamics to NP physicochemical features. In particula ...

2019

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.