Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Function type

Publications associées (12)

Window Size Effects on Subjective Impressions of Daylit Spaces: Indoor Studies at High Latitudes Using Virtual Reality

Marilyne Andersen, Jan Wienold, Kynthia Chamilothori

Daylight provision to the indoor space is affected by different building elements that cannot be fully controlled by the users, such as the window size of a space. The dimensions of the fenestration not only affect the lighting levels, but they also affect ...

2021

Perceptual effects of daylight patterns in architecture

Kynthia Chamilothori

The profound impact of daylight on occupants is broadly recognized in the fields of architecture and lighting. In particular, the façade and its interplay with light is a central design element, while the diversity of daylight in space is widely acknowledg ...

EPFL2019

Optimization of sample size and order size in an inventory model with quality inspection and return of defective items

Naoufel Cheikhrouhou

To ensure all products as perfect, inspection is essential, even though it is not possible to inspect all products after producing them like some special type products as plastic joint for the water pipe. In this direction, this paper develops an inventory ...

SPRINGER2018

Implementing Higher-Kinded Types in Dotty

Martin Odersky, Dmytro Petrashko, Guillaume André Fradji Martres

dotty is a new, experimental Scala compiler based on DOT, the calculus of Dependent Object Types. Higher-kinded types are a natural extension of first-order lambda calculus, and have been a core construct of Haskell and Scala. As long as such types are jus ...

ACM2016

IT Service Alignment Verification of Quantitative Properties in Service Design

Alain Wegmann, Gorica Tapandjieva Sekulovska

Despite many years of research, alignment of business and IT services remains a challenge. In this paper we show how to verify the quantitative properties of a service against stakeholder requirements during service design. We model the service with the Sy ...

2015

Computation Over Gaussian Networks With Orthogonal Components

Michael Christoph Gastpar, Chien-Yi Wang

Function computation over Gaussian networks with orthogonal components is studied for arbitrarily correlated discrete memoryless sources. Two classes of functions are considered: 1) the arithmetic sum function and 2) the type function. The arithmetic sum f ...

Institute of Electrical and Electronics Engineers2014

Indirect, Non-adaptive Control of a Class of Nonlinear Uncertain Systems with Applications to Motion Control of Swimming Robots

Auke Ijspeert, Yannick Morel

Motion control of bio-inspired mobile robotic platforms can prove a challenging problem. In particular, models for the considered type of systems may prove nonlinear, uncertain, and fairly complicated. To address these issues, use of an output predictor-ba ...

Amer Soc Mechanical Engineers2013

Order Types of Convex Bodies

We prove a Hadwiger transversal-type result, characterizing convex position on a family of non-crossing convex bodies in the plane. This theorem suggests a definition for the order type of a family of convex bodies, generalizing the usual definition of ord ...

2011

Fluid-Structure Interaction Problems in Hemodynamics : Parallel Solvers, Preconditioners, and Applications

Paolo Crosetto

In this work we aim at the description, study and numerical investigation of the fluid-structure interaction (FSI) problem applied to hemodynamics. The FSI model considered consists of the Navier-Stokes equations on moving domains modeling blood as a visco ...

EPFL2011

Nonlinear Stability of Riemann Ellipsoids with Symmetric Configurations

Using modern differential geometric methods, we study the relative equilibria for Dirichlet's model of a self-gravitating fluid mass having at least two equal axes. We show that the only relative equilibria of this type correspond to Riemann ellipsoids for ...

Springer-Verlag2009

Compiling generics through user-directed type specialization

Martin Odersky, Iulian Dragos

Compilation of polymorphic code through type erasure gives compact code but performance on primitive types is significantly hurt. Full specialization gives good performance, but at the cost of increased code size and compilation time. Instead we propose a ...

ACM2009

Generics of a Higher Kind

Martin Odersky

With Java 5 and C-# 2.0, first-order parametric polymorphism was introduced in mainstream object-oriented programming languages under the name of generics. Although the first- order variant of generics is very useful, it also imposes some restrictions: it ...

2008