Publications related to Interface (computing)

Truly abstract interfaces for algebraic data types: the extractor typing problem

Martin Odersky, Nicolas Alexander Stucki, Paolo Giosuè Giarrusso

Pattern matching enables inspecting algebraic data types, but typically prevents hiding the implementation of the matched algebraic data type. In Scala, instead, extractors also allow pattern matching on non-algebraic data types and invoking methods on the ...

2018

Optical prism for creating multiple views of an image

Theo Lasser, Marcel Leutenegger, Stefan Geissbuehler

Optical prism comprising two external parallel and reflecting surfaces, one internal interface, parallel to said surfaces and acting as light splitter; said prism furthermore comprising an entrance side forming an angle β with respect to said interface and ...

2016

Sound reasoning about integral data types with a reusable SMT solver interface

Viktor Kuncak, Régis William Blanc

We extend the Leon verification system for Scala with support for bit-vector reasoning, thus addressing one of its fundamental soundness limitation with respect to the treatment of integers primitives. We leverage significant progresses recently achieved i ...

ACM Press2015

MATHICSE Technical Report : A fluid-structure interaction algorithm using radial basis function interpolation between non-conforming interfaces

Alfio Quarteroni, Simone Deparis, Davide Forti

We consider a fluid-structure interaction (FSI) problem discretized by finite elements featuring two different grids that do not necessarily agree on the interface separating the computational domain of the fluid from the one of the structure. After identi ...

MATHICSE2015

CNC-fabricated dovetails for Joints of Prefabricated CLT Components

Yves Weinand, Christopher Werner Matthias Robeller, Benjamin Hahn, Paul Mayencourt

The widely available automated prefabrication in timber construction companies, as well as modern CAD software with application programing interfaces, allow for the design and production of increasingly geometrically complex building components. This devel ...

Springer Verlag2014

The Benefits and Limitations of Distributing a Tangible Interface in a Classroom

Pierre Dillenbourg, Sébastien Cuendet

We report the design and testing of TapaCarp, a CSCL environment for carpenter apprentices. From the start, we designed TapaCarp for a classroom usage. This led to an interface distributed over several components and modalities. A first user study conducte ...

2013

Spline-based framework for interactive segmentation in biomedical imaging

Michaël Unser, Ricard Delgado Gonzalo

Active contours constitute a computationally attractive framework for image segmentation. In this paper, we describe a fully parametric design that relies on B-spline bases and is specified by control points on the image. Our technique yields successful se ...

Elsevier Science Inc2013

The Interface Control Domain Decomposition (Icdd) Method For Elliptic Problems

Alfio Quarteroni, Marco Discacciati

Interface controls are unknown functions used as Dirichlet or Robin boundary data on the interfaces of an overlapping decomposition designed for solving second order elliptic boundary value problems. The controls are computed through an optimal control pro ...

Society for Industrial and Applied Mathematics2013

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.

Interface (computing)

Truly abstract interfaces for algebraic data types: the extractor typing problem

Energy efficiency as an example of cross-discipline collaboration in chemical engineering

Optical prism for creating multiple views of an image

Sound reasoning about integral data types with a reusable SMT solver interface

MATHICSE Technical Report : A fluid-structure interaction algorithm using radial basis function interpolation between non-conforming interfaces

CNC-fabricated dovetails for Joints of Prefabricated CLT Components

The Benefits and Limitations of Distributing a Tangible Interface in a Classroom

Spline-based framework for interactive segmentation in biomedical imaging

The Interface Control Domain Decomposition (Icdd) Method For Elliptic Problems

It's the End of the World as We Know It (And I Feel Fine)

Graph Chatbot

Chat with Graph Search

Truly abstract interfaces for algebraic data types: the extractor typing problem

Energy efficiency as an example of cross-discipline collaboration in chemical engineering

Optical prism for creating multiple views of an image

Sound reasoning about integral data types with a reusable SMT solver interface

MATHICSE Technical Report : A fluid-structure interaction algorithm using radial basis function interpolation between non-conforming interfaces

CNC-fabricated dovetails for Joints of Prefabricated CLT Components

The Benefits and Limitations of Distributing a Tangible Interface in a Classroom

Spline-based framework for interactive segmentation in biomedical imaging

The Interface Control Domain Decomposition (Icdd) Method For Elliptic Problems

It's the End of the World as We Know It (And I Feel Fine)