Concept

Abstract data type

Related publications (134)

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.

Approved Method: Photometric Testing of Skylights and Tubular Daylighting Devices under Hemispherical Sky Conditions

Marilyne Andersen

This guide provides the IES required uniform method for determining and reporting the photometric characteristics of skylights and tubular daylighting devices. It describes the procedures followed and the precautions observed in obtaining uniform and repro ...

IES - Illuminating Engineering Society2010

On Decision Procedures for Algebraic Data Types with Abstractions

Viktor Kuncak, Philippe Paul Henri Suter, Mirco Dotta

We describe a parameterized decision procedure that extends the decision procedure for functional recursive algebraic data types (trees) with the ability to specify and reason about abstractions of data structures. The abstract values are specified using r ...

2009

Supporting Dimensional Analysis in SystemC-AMS

Alain Vachoux

This paper will introduce new modeling capabilities for SystemC-AMS to describe energy conserving multi-domain systems in a formal and consistent way at a high level of abstraction. To this end, all variables and parameters of the system model need to be a ...

Ieee Service Center, 445 Hoes Lane, Po Box 1331, Piscataway, Nj 08855-1331 Usa2009

The roles of mask luminance and perceptual grouping in visual backward masking

Michael Herzog, Gregory Francis

Visual backward masking is a commonly used technique in vision research and psychology. There are two distinct types of masking. Either masking is strongest for a simultaneous presentation of the target and the mask (A-type masking) or masking is strongest ...

Association for Research in Vision and Ophthalmology2009

Supporting Dimensional Analysis in SystemC-AMS

Alain Vachoux

IEEE2009

2dx - Automated 3D structure reconstruction from 2D crystal data

Henning Paul-Julius Stahlberg

Extended abstract of a paper presented at Microscopy and Microanalysis 2008 in Albuquerque, New Mexico, USA, August 3 – August 7, 2008 ...

Cambridge University Press (CUP)2008

Rational approach for the management of a medium size bridge stock

Eugen Brühwiler

Infrastructure managers of medium size bridge stocks are being faced with the task of approximating short, mid to long term financial needs for their infrastructure. This task is particularly demanding due to the lack of relevant information, in particular ...

Taylor & Francis Group2008

Beyond Novelty Detection: Incongruent Events, when General and Specific Classifiers Disagree

Hynek Hermansky, Jie Luo

Unexpected stimuli are a challenge to any machine learning algorithm. Here we identify distinct types of unexpected events, focusing on ’incongruent events’ - when ’general level’ and ’specific level’ classifiers give conflicting predictions. We define a f ...

2008

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

The arcsine law as a universal aging scheme for trap models

Jiri Cerny

We give a general proof of aging for trap models using the arcsine law for stable subordinators. This proof is based on abstract conditions on the potential theory of the underlying graph and on the randomness of the trapping landscape. We apply this proof ...

2008