Home

Algebraic logic

Formal sciences
Mathematics
Mathematical logic
Algebraic logic

Related publications (19)

About
Privacy
Disclaimer

Graph Chatbot

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

Pandula Manura Liyanage, Claudia Cancellieri, 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, Caroline Karmann, Kynthia Chamilothori, Bahar Aydemir

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

Alexandre Blanc, Marco Bakker

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

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

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

Page 1 of 2

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

Pandula Manura Liyanage, Claudia Cancellieri, Giacomo Lorenzin

Elsevier2024

MANSLAB2020