Recherche

Afficher tous les résultats pour

Accueil

Catégorie

Logique algébrique

Science formelle
Mathématiques
Logique mathématique
Logique algébrique

À propos
Confidentialité
Mentions légales

Graph Chatbot

Publications associées (19)

Experimental and ab initio derivation of interface stress in nanomultilayered coatings: Application to immiscible Cu/W system with variable in-plane stress

Claudia Cancellieri, Pandula Manura Liyanage, Giacomo Lorenzin

Interface stress is a fundamental descriptor for interphase boundaries and is defined in strict relation to the interface energy. In nanomultilayers with their intrinsically high interface density, the functional properties are dictated by the interface st ...

Elsevier2024

Virtual reality to assess visual attraction and perceived interest to daylit scene variations

Marilyne Andersen, Kynthia Chamilothori, Bahar Aydemir, Caroline Karmann

Façades and light pattern composition have been shown to influence the spatial experience and physiological responses of humans [1,2]. The present study examines the effect of sunlight penetration and window size on fixations to the floor of the scene, and ...

2021

Transformations silencieuses : étude sur l'architecture alpine

Patrick Giromini

This thesis addresses the question of abandonment in architecture, not in its negative sense of desertion, but as a possibility offered to buildings which have lost their original purpose, which is to say those buildings from social and economic contexts w ...

EPFL2021

In Via Accidit

Marco Bakker, Alexandre Blanc

To share an event that happened or could have happen on the road in relation to architecture or space in a wider sense. ...

MANSLAB2020

Insertion device for inserting deformable prosthesis into an eye

Charles-Henri Puncho Jérôme Vila, Diego Ghezzi

An insertion device (100; 100') for inserting a retinal prosthesis (200) into the eye of a patient comprises: a handle portion (1; 1') arranged to be grasped by a user of the insertion device (100; 100'), a cannula element (12; 12') arranged to be inserted ...

2020

Absolute Structure from Scanning Electron Microscopy

Philip Johannes Walter Moll

The absence of centrosymmetry in chiral and polar crystal structures is the reason for many technical relevant physical properties like optical birefringence or ferroelectricity. Other chirality related properties that are actually intensively investigated ...

Nature Research2020

Cross-code gyrokinetic verification and benchmark on the linear collisionless dynamics of the geodesic acoustic mode

Alberto Bottino, Gabriele Merlo

The linear properties of the geodesic acoustic modes (GAMs) in tokamaks are investigated by means of the comparison of analytical theory and gyrokinetic numerical simulations. The dependence on the value of the safety factor, finite-orbit-width of the ions ...

Amer Inst Physics2017

Embryonic timing, axial stem cells, chromatin dynamics, and the Hox clock

Denis Duboule

Collinear regulation of Hox genes in space and time has been an outstanding question ever since the initial work of Ed Lewis in 1978. Here we discuss recent advances in our understanding of this phenomenon in relation to novel concepts associated with larg ...

2017

Vehicle Having a High Clearing Capability

Thomas Estier

The invention relates to a vehicle which includes at least four wheels and a base. Said wheels are attached in pairs at the base via connections and form a bogie consisting of a pair of wheels. Said bogies are rotatably hinged onto the base such that the p ...

2017

Exterior Convexity And Classical Calculus Of Variations

Saugata Bandyopadhyay, Swarnendu Sil

We study the relation between various notions of exterior convexity introduced in [S. Bandyopadhyay, B. Dacorogna and S. Sil, J. Eur. Math. Soc. 17 (2015) 1009-1039.] with the classical notions of rank one convexity, quasiconvexity and polyconvexity. To th ...

Edp Sciences S A2016

Ramsey-Type Results For Semi-Algebraic Relations

János Pach

A k-ary semi-algebraic relation E on R-d is a subset of R-kd, the set of k-tuples of points in R-d, which is determined by a finite number of polynomial inequalities in kd real variables. The description complexity of such a relation is at most t if d, k < ...

Amer Mathematical Soc2014

Reversible Sesqui-Pushout Rewriting, Graph Transformation

Sandro Stucki

The paper proposes a variant of sesqui-pushout rewriting (SqPO) that allows one to develop the theory of nested application conditions (NACs) for arbitrary rule spans; this is a considerable generalisation compared with existing results for NACs, which onl ...

Springer2014

SPBC: Leveraging the Characteristics of MPI HPC Applications for Scalable Checkpointing

André Schiper, Thomas Ropars

The high failure rate expected for future supercomputers requires the design of new fault tolerant solutions. Most checkpointing protocols are designed to work with any message-passing application but suffer from scalability issues at extreme scale. We tak ...

2013

Diffusive-type of double diffusion in lakes - a review

Alfred Johny Wüest, Martin Schmid

This chapter is a contribution in honour of Gerhard H Jirka, who has been fascinated by the amazing variety of small-scale structures that nature surprises us with, particularly in stratified natural waters. Here, we focus on the diffusive regime of double ...

CRC Press2012

Universal Properties of Dark Matter Halos

Igor Tkachev, Alexey Boyarsky, Oleg Ruchayskiy

We discuss the universal relation between density and size of observed dark matter halos that was recently shown to hold on a wide range of scales, from dwarf galaxies to galaxy clusters. Predictions of cold dark matter (Lambda CDM) N-body simulations are ...

2010

Comparative study of ecohydrological streamflow probability distributions

Andrea Rinaldo, Enrico Bertuzzo, Serena Ceola, Gianluca Botter

We run a comparative study of ecohydrological models of streamflow probability distributions (pdfs), p(Q), derived by Botter et al. (2007a, 2009), against field data gathered in different hydrological contexts. Streamflows measured in several catchments ac ...

American Geophysical Union2010

Actions de relations d'équivalence sur les champs d'espaces métriques CAT(0)

Philippe Paul Antoine Henry

This work is dedicated to the study of Borel equivalence relations acting on Borel fields of CAT(0) metric spaces over a standard probability space. In this new framework we get similar results to some theorems proved recently by S. Adams-W. Ballmann or N. ...

EPFL2010

Evidence of inception horizons in karst conduit networks

Laurent Tacher, Pierre-Yves Jeannin, Marco Filipponi

This paper outlines the conclusion from an analysis of 18 large cave systems around the world, comprising more than 1500 km of conduits. The 3D geometry of complex cave systems have been analysed in relation to their geological context as well as their hyd ...

2009

La ville comme "Stimmungslandschaft" : le sentiment urbain à Buenos Aires aux XIXe et XXe siècles

This thesis analyses the city of Buenos Aires as a lived space in its historical context, based on my childhood memories. It characterizes the specific Stimmung that colours the urban and suburban spaces of Buenos Aires in the XIXth and XXth century. I ach ...

EPFL2007

Page 1 sur 1