Concept

Type algébrique de données

Publications associées (221)

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search

Detecting Anomalies to Improve Classification Performance in Opportunistic Sensor Networks

José del Rocio Millán Ruiz, Ricardo Andres Chavarriaga Lozano, Hesam Sagha

Anomalies and changes in sensor networks which are deployed for activity recognition may abate the classification performance. Detection of anomalies followed by compensatory reaction would ameliorate the performance. This paper introduces a novel approach ...

2011

From Labyrinth to Piano Key Weirs – A historical review

Anton Schleiss

Free crest spillways are hydraulically efficient and safe in operation. Since their discharge capacity is directly proportional to the crest length several types have been developed with the purpose to increase the length of the latter. Among these types t ...

CRC Press, Taylor & Francis Group2011

Towards Complete Reasoning about Axiomatic Specifications

Viktor Kuncak, Swen Jacobs

To support verification of expressive properties of functional programs, we consider algebraic style specifications that may relate multiple user-defined functions, and compare multiple invocations of a function for different arguments. We present decision ...

Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2011

Making environmental sensors on plastic foil

Danick Briand, Jérôme Courbat

The driving forces for organic and printed electronics are the display and lightning, solar cell, battery and electronics (e.g., RFID) industries1. The complete technology chain is being established in the fields of materials preparation, processing and ch ...

2011

Transaction Polymorphism

Rachid Guerraoui, Vincent Gramoli

Concurrent implementations of abstract types usually rely on lock-free primitives or locks and are highly tuned to support a finite set of efficient operations. However, it is very hard to extend such types for specific needs by adding new operations. The ...

2011

Attitudes towards mode choice in Switzerland

Michel Bierlaire, Aurélie Glerum, Bilge Atasoy

We integrate latent attitudes of individuals into a mode choice model through latent variable and latent class models with the help of psychometric indicators that enable us to measure these attitudes. The aim of the inclusion of attitudes is to better und ...

2011

Decision Procedures for Algebraic Data Types with Abstractions

Viktor Kuncak, Philippe Paul Henri Suter, Mirco Dotta

We describe a family of decision procedures that extend the decision procedure for quantifier-free constraints on recursive algebraic data types (term algebras) to support recursive abstraction functions. Our abstraction functions are catamorphisms (term a ...

2010

Named and default arguments for polymorphic object-oriented languages

Martin Odersky, Lukas Rytz

This article describes the design and implementation of named and default arguments in the Scala programming language. While these features are available in many other languages there are significant differences in the actual implementations. We present a ...

ACM2010

On Satisfiability Modulo Computable Functions

Viktor Kuncak, Philippe Paul Henri Suter, Ali Sinan Köksal

We present a semi-decision procedure for checking satisfiability of formulas in the language of algebraic data types and integer linear arithmetic extended with user-defined terminating recursive functions. Our procedure is designed to integrate into a DPL ...

2010

Analysis of BLDC motor with zigzag and rhombic winding

Yves Perriard, Miroslav Markovic, Bruno Dehez

The paper presents a detailed analysis and comparison of two types of non-axial windings used for slotless permanent magnet (PM) motors: zigzag and rhombic ones. The motor mathematical model is verified by 3D FEM software. Finally, the motor prototype is p ...

IEEE, Piscataway, NJ, USA2010