Publications associées à Indentation comme syntaxe

Method for patterning a thin film of a solid material

Jürgen Brugger, Giovanni Boero, Xia Liu, Ana Conde Rubio, Samuel Tobias Howell

A method for patterning a thin film of (a) solid material(s), comprising the steps of providing a thin film of said solid material(s) onto a substrate, said substrate being deformable by heat and indentation; and performing a thermo-mechanical indentation ...

2021

Cross-Platform Language Design in Scala.js (Keynote)

Sébastien Jean R Doeraene

Have you ever wondered what is the secret sauce of Scala.js? What defines Scala.js, above all else, is the overarching will to make it cross-platform. A cross-platform language is both portable-most source code cross-compiles and behaves the same way on mu ...

ASSOC COMPUTING MACHINERY2018

Quoted Staged Rewriting: A Practical Approach to Library-Defined Optimizations

Christoph Koch, Amir Shaikhha, Lionel Emile Vincent Parreaux

Staging has proved a successful technique for programmatically removing code abstractions, thereby allowing for faster program execution while retaining a high-level interface for the programmer. Unfortunately, techniques based on staging suffer from a num ...

ACM2017

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

Improved Constructions for Non-adaptive Threshold Group Testing

Mahdi Cheraghchi Bashi Astaneh

The basic goal in combinatorial group testing is to identify a set of up to d defective items within a large population of size n >> d using a pooling strategy. Namely, the items can be grouped together in pools, and a single measurement would reveal wheth ...

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

Compiling structural types on the JVM: a comparison of reflective and generative techniques from Scala's perspective

Martin Odersky, Gilles Dubochet

This article describes Scala's compilation technique of structural types for the JVM. The technique uses Java reflection and polymorphic inline caches. Performance measurements of this technique are presented and analysed. Further measurements compare Scal ...

2009

Probing nanomechanical properties from biomolecules to living cells

Giovanni Dietler, Sandor Kasas

Atomic force microscopy is being increasingly used to explore the physical properties of biological structures. This technique involves the application of a force to the sample and a monitoring of the ensuing deformation process. The available experimental ...

Springer-Verlag2008

Damage evolution in coated cemented carbides under compressive contact loads

Maria-Simona Moldovan

This work deals principally with two important issues and their interrelation: the evolution of damage in coated cemented carbide tools used for cold forming, and the assessment of mechanical behavior of cemented carbides under compressive contact loads. D ...

EPFL2008

Compact test platform for in-situ indentation and scratching inside a scanning electron microscope (SEM)

In-situ materials tests have the advantage to link visual and sensor based information during a dynamic experiment. In this thesis, a compact indenter-scratch test device has been built at EPFL-LSRO and installed inside a Scanning Electron Microscope (SEM) ...

EPFL2006