Publication

Experimental determination of structure factor phases in biocrystallography

Related publications (52)

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.

The second order pullback equation

Bernard Dacorogna, Olivier Kneuss, Gyula Csató

Let f, g be two closed k-forms over R-n. The pullback equation studies the existence of a diffeomorphism phi : R-n -> R-n such that phi*(g) = f. We prove two types of results. The first one sharpens some of the existing regularity results. The second one d ...

Springer2014

Linearizability Is Not Always a Safety Property

Rachid Guerraoui, Eric Ruppert

We show that, in contrast to the general belief in the distributed computing community, linearizability, the celebrated consistency property, is not always a safety property. More specifically, we give an object for which it is possible to have an infinite ...

Springer International Publishing2014

Improving the Performance of Scala Collections with Miniboxing

Martin Odersky, Vlad Ureche, Aymeric Genet

Using generics, Scala collections can be used to store different types of data in a type-safe manner. Unfortunately, due to the erasure transformation, the performance of generics is degraded when storing primitive types, such as integers and floating poin ...

2014

Existence Of Solutions For Jacobian And Hessian Equations Under Smallness Assumptions

Bernard Dacorogna, Sébastien Basterrechea

We discuss three types of problems. The first one involves Jacobian equations and the two others involve Hessian equations. We proceed by fixed point, obtaining the results under a smallness assumption. ...

Taylor & Francis Inc2014

Materials Taking a Lesson from Nature

Holger Frauenrath, Emmanuel Croisier, Liangfei Tian

Structural biomaterials with their often extraordinary properties and versatile functions are typically constructed from very limited sets of building blocks and types of supramolecular interactions. In this review we discuss how, inspired by nature's desi ...

Swiss Chemical Soc2013

Complete Completion using Types and Weights

Viktor Kuncak, Tihomir Gvero, Ivan Kuraj, Ruzica Piskac

Developing modern software 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 synthesizes ...

ACM2013

Extension of FRI for modeling of electrocardiogram signals

Ali Hormati, Gilles Baechler

Recent work has developed a modeling method applicable to certain types of signals having a "finite rate of innovation" (FRI). Such signals contain a sparse collection of time- or frequency-limited pulses having a restricted set of allowable pulse shapes. ...

2013

On Complete Completion using Types and Weights

Viktor Kuncak, Tihomir Gvero, Ivan Kuraj, Ruzica Piskac

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

On Fast Code Completion using Type Inhabitation

Viktor Kuncak, Tihomir Gvero, Ivan Kuraj, Ruzica Piskac

2012

Techniques for modelling microstructure in metal forming processes

Roland Logé

This chapter discusses several types of numerical models for metallurgical evolution. First, some basic notions of microstructure representations and microstructure state variables, some features of hardening and recovery and some features of recrystalliza ...

Elsevier Ltd.2012