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 ...
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 ...
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 ...
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 ...
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 ...
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
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 ...
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 ...
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 ...
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) ...
