Publication

The concept of axial weak twins

Related publications (37)

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.

Statically typed languages verify programs at compile-time. As a result many programming mistakes are detected at an early stage of development. A programmer does not have to specify types for every single term manually, however. Many programming languages ...

EPFL2016

Effects as Implicit Capabilities

Martin Odersky

We propose to investigate a new approach to effect checking that has an elegant solution to the effect polymorphism problem. The central idea is that instead of talking about effects we talk about capabilities. For instance, instead of saying a function “t ...

2015

Sound reasoning about integral data types with a reusable SMT solver interface

Viktor Kuncak, Régis William Blanc

We extend the Leon verification system for Scala with support for bit-vector reasoning, thus addressing one of its fundamental soundness limitation with respect to the treatment of integers primitives. We leverage significant progresses recently achieved i ...

ACM Press2015

On type I blow up formation for the critical NLW

Joachim Krieger, Willie Wai Yeung Wong

We introduce a suitable concept of weak evolution in the context of the radial quintic focussing semilinear wave equation on R^{3+1}, that is adapted to continuation past type II singularities. We show that the weak extension leads to type I singularity fo ...

Taylor & Francis2014

There have been many claims that Tangible User Interfaces (TUIs) can have a positive impact on learning. Alleged benefits include increasing usability, improving engagement and collaboration of students, and providing a better perception of the task, esp ...

EPFL2013

, , ,

A method for fabricating a micromechanical part from a substrate in which the part is fabricated by providing a plurality of fasteners between the part and the substrate, the fasteners being sacrificial, characterized in that the fasteners include at least ...

Organisation Mondiale de la Propriété Intellectuelle2013

, , ,

Developing modern software applications typically involves composing functionality from existing libraries. This task is difficult because libraries may expose many methods to the developer. To help developers in such scenarios, we present a technique that ...

2012

We address the lattice deformation of 1T-TiSe2 within the exciton condensate phase. We show that, at low temperature, condensed excitons influence the lattice through electron-phonon interaction. It is found that at zero temperature, in the exciton condens ...

2011

The Javadoc paradigm for displaying API documentation to users is quite popular, with similar variants existing for many mainstream languages. However, two user interface design properties of Javadoc may reduce its utility when displaying documentation for ...

2010

Multitype Contact Process on Z: Extinction and Interface

Daniel Rodrigues Valesin

We consider a two-type contact process on Z in which both types have equal finite range and supercritical infection rate. We show that a given type becomes extinct with probability 1 if and only if, in the initial configuration, it is confined to a finite ...

2010