Recherche

Afficher tous les résultats pour

Accueil

Concept

Interface (programmation orientée objet)

Science formelle
Informatique théorique
Théorie des langages de pro...
Langage de programmation de...

À propos
Confidentialité
Mentions légales

Graph Chatbot

Publications associées (22)

Page 1 sur 2

A framework to automate the design of digitally-fabricated timber plate structures

Yves Weinand, Petras Vestartas, Aryan Rezaei Rad, Nicolas Henry Pierre Louis Rogeau

The current study uses knowledge from digital architecture, computer science, engineering informatics, and structural engineering to formulate an algorithmic framework for integrated Computer-Aided Design (CAD) and Computer-Aided Engineering (CAE) of Integ ...

2021

JIT works: decide when all data is known (VLDB Women in Database Research Award talk)

Anastasia Ailamaki

When the time comes to make a critical decision, it is of paramount importance to prepare enough so that all the information necessary is available at decision time. Under-preparation leads to uninformed decisions; over-preparation, however, may lead to co ...

ASSOC COMPUTING MACHINERY2020

i-PI 2.0: A universal force engine for advanced molecular simulations

Michele Ceriotti, Anne-Clémence Corminboeuf, David Mark Wilkins, Bingqing Cheng, Venkat Kapil, Mariana Rossi Carvalho, Riccardo Petraglia, Benjamin Aaron Helfrecht, Robert Horst Meissner

Progress in the atomic-scale modeling of matter over the past decade has been tremendous. This progress has been brought about by improvements in methods for evaluating interatomic forces that work by either solving the electronic structure problem explici ...

ELSEVIER SCIENCE BV2019

Object-Oriented Recovery for Non-volatile Memory

James Richard Larus, Nachshon Cohen, David Teksen Aksun

New non-volatile memory (NVM) technologies enable direct, durable storage of data in an application's heap. Durable, randomly accessible memory facilitates the construction of applications that do not lose data at system shutdown or power failure. Existing ...

ACM2018

Interflow: interprocedural flow-sensitive type inference and method duplication

Martin Odersky, Denys Shabalin

Scala heavily relies on a number of object-oriented abstractions to support its feature-rich collections library. There are known techniques that optimize those abstractions away in just-in-time (JIT) compilers, but applying them in the ahead-of-time (AOT) ...

2018

Structure of Herbig AeBe Disks at the milliarcsecond Scale—A Statistical Survey in the H Band Using PIONIER-VLTI

Ferréol Arnaud Marie Soulez

Context. It is now generally accepted that the near-infrared excess of Herbig AeBe stars originates in the dust of a circumstellar disk. Aims. The aims of this article are to infer the radial and vertical structure of these disks at scales of order 1 au, a ...

ESO2017

StreamFlow 1.0: an extension to the spatially distributed snow model Alpine3D for hydrological modelling and deterministic stream temperature prediction

Michael Lehning, Wolf Hendrik Huwald, Francesco Comola, Aurélien Gallice, Tristan Jonas Brauchli

Climate change is expected to strongly impact the hydrological and thermal regimes of Alpine rivers within the coming decades. In this context, the development of hydrological models accounting for the specific dynamics of Alpine catchments appears as one ...

Copernicus Gesellschaft Mbh2016

Type Soundness for Dependent Object Types (DOT)

Tiark Rompf, Nada Amin

Scala's type system unifies aspects of ML modules, object-oriented, and functional programming. The Dependent Object Types (DOT) family of calculi has been proposed as a new theoretic foundation for Scala and similar expressive languages. Unfortunately, ty ...

Assoc Computing Machinery2016

Type Soundness for Dependent Object Types

Tiark Rompf, Nada Amin

Scala’s type system unifies aspects of ML modules, object-oriented, and functional programming. The Dependent Object Types (DOT) family of calculi has been proposed as a new theoretic foundation for Scala and similar expressive languages. Unfortunately, ty ...

2016

Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution

Martin Odersky, Philipp Haller, Heather Christine Klug

Functional programming (FP) is regularly touted as the way forward for bringing parallel, concurrent, and distributed programming to the mainstream. The popularity of the rationale behind this viewpoint (immutable data transformed by function application) ...

2014

Computational Approach to the Geometry of Compact Riemann Surfaces

Manuel Racle

The goal of this document is to provide a generalmethod for the computational approach to the topology and geometry of compact Riemann surfaces. The approach is inspired by the paradigms of object oriented programming. Our methods allow us in particular to ...

EPFL2013

Embedded Domain-Specific Languages using Libraries and Dynamic Metaprogramming

Gilles Dubochet

Domain-specific programming is bound to play a central role in improving the productivity of writing software. This is because modern, intricate, general-purpose abstractions are rarely applicable directly to everyday programming. However, such abstraction ...

EPFL2011

Vehicle recognition from multi-spectral and LiDAR elevation data with object-oriented analysis

André-Gilles Dumont, Sofia Samoili

This research study addresses issues of transport modeling aiming to the recognition of vehicles, with perspective to generate a knowledge base for an automatic recognition of vehicles from similar type of data. Based on two datasets consisted of multi-spe ...

2011

Strategies for Delay-Limited Source-Channel Coding

Marius Kleiner

In point-to-point source-channel communication with a fidelity criterion and a transmission cost constraint, the region of achievable cost and fidelity pairs is completely characterized by Shannon's separation theorem. However, this is in general only true ...

EPFL2010

Type Classes as Objects and Implicits

Martin Odersky

Type classes were originally developed in Haskell as a disciplined alternative to ad-hoc polymorphism. Type classes have been shown to provide a type-safe solution to important challenges in software engineering and programming languages such as, for examp ...

ACM2010

Compiling Scala for Performance

Iulian Dragos

Scala is a new programming language bringing together object-oriented and functional programming. Its defining features are uniformity and extensibility. Scala offers great flexibility for programmers, allowing them to grow the language through libraries. ...

EPFL2010

Programming language abstractions for mobile code

Scala is a general-purpose programming language developed at EPFL. It combines the most important concepts found in object-oriented and functional languages. Scala is a statically typed language; in particular it features an advanced type system and suppor ...

EPFL2009

Vector modelling of hydrating cement microstructure and kinetics

A new modelling framework, called μic, has been developed to enable simulations of complex particulate growths, in particular the microstructural evolution of hydrating cement paste. μic has been developed using the vector approach, which preserves the mul ...

EPFL2008

Dataflow/Actor-Oriented language for the design of complex signal processing systems

Marco Mattavelli, Christophe Lucarz, Ghislain Roquier

Signal processing algorithms become more and more complex and the algorithm architecture adaptation and design processes cannot any longer rely only on the intuition of the designers to build efficient systems. Specific tools and methods are needed to cope ...

2008

Object-oriented pattern matching

Burak Emir

Pattern matching is a programming language construct considered essential in functional programming. Its purpose is to inspect and decompose data. Instead, object-oriented programming languages do not have a dedicated construct for this purpose. A possible ...

EPFL2007