Publications related to An Intorduction to the Interface Between C and R

Software Synthesis Procedures

Viktor Kuncak, Mikaël Mayer, Philippe Paul Henri Suter, Ruzica Piskac

Automated synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, software synthesis algorithms should behave in a predictable way: they should succ ...

2012

A Programming Workshop using the Robot "Thymio II": The Effect on the Understanding by Children

Francesco Mondada, Michael Bonani, Stéphane Magnenat, Fanny Riedo

Robots are both fascinating objects for the general public and devices whose conception, understanding and pro- gramming involve many fields. This unique combination makes them an ideal tool for introducing science and technology to children. This paper pr ...

IEEE2012

Functions With Orthogonal Hessian

Bernard Dacorogna

A Dirichlet problem for orthogonal Hessians in two dimensions is explicitly solved, by characterizing all piecewise C-2 functions u Omega subset of R-2 -> R with orthogonal Hessian in terms of a property named "second order angle condition" as in (1 1) ...

2010

Deprecating the Observer Pattern

Martin Odersky, Tiark Rompf, Ingo Maier

Programming interactive systems by means of the observer pattern is hard and error-prone yet is still the implementation standard in many production environments. We present an approach to gradually deprecate observers in favor of reactive programming abst ...

2010

Programming with Undo

Ersoy Bayramoglu

This thesis is about objects that can undo their state changes. Based on an earlier work on data structure persistence, we propose generating undo methods for classes from annotated classes automatically. As opposed to ephemeral data structures, persistent ...

2009

A Probabilistic Programming by Demonstration Framework Handling Constraints in Joint Space and Task Space

Aude Billard, Sylvain Calinon

We present a probabilistic architecture for solving generically the problem of extracting the task constraints through a Programming by Demonstration (PbD) framework and for generalizing the acquired knowledge to various situations. We propose an approach ...

2008

The role of perspective functions in convexity, polyconvexity, rank-one convexity and separate convexity

Bernard Dacorogna

Any finite, separately convex, positively homogeneous function on

\mathbb{R}^2

is convex. This was first established by the first author ["Direct methods in calculus of variations", Springer-Verlag (1989)]. Here we give a new and concise proof of this re ...

2008

Jakstab: A Static Analysis Platform for Binaries

Johannes Kinder

For processing compiled code, model checkers require accurate model extraction from binaries. We present our fully configurable binary analysis platform Jakstab, which resolves indirect branches by multiple rounds of disassembly interleaved with dataflow a ...

Springer2008

The subconvexity problem for Rankin-Selberg $L$-functions and equidistribution of Heegner points. II

Philippe Michel

We prove a general subconvex bound in the level aspect for Rankin–Selberg L-functions associated with two primitive holomorphic or Maass cusp forms over Q. We use this bound to establish the equidistribution of incomplete Galois orbits of Heegner points on ...

2006

Exact Local Reconstruction Algorithms for Signals with Finite Rate of Innovation

Martin Vetterli, Thierry Blu, Pier Luigi Dragotti

Consider the problem of sampling signals which are not bandlimited, but still have a finite number of degrees of freedom per unit of time, such as, for example, piecewise polynomial or piecewise sinusoidal signals, and call the number of degrees of freedom ...

2006

An Intorduction to the Interface Between C and R

Graph Chatbot

Chat with Graph Search

Software Synthesis Procedures

A Programming Workshop using the Robot "Thymio II": The Effect on the Understanding by Children

Functions With Orthogonal Hessian

Deprecating the Observer Pattern

Programming with Undo

A Probabilistic Programming by Demonstration Framework Handling Constraints in Joint Space and Task Space

The role of perspective functions in convexity, polyconvexity, rank-one convexity and separate convexity

Jakstab: A Static Analysis Platform for Binaries

The subconvexity problem for Rankin-Selberg $L$-functions and equidistribution of Heegner points. II

Exact Local Reconstruction Algorithms for Signals with Finite Rate of Innovation

Programming with Undo

A Probabilistic Programming by Demonstration Framework Handling Constraints in Joint Space and Task Space

Deprecating the Observer Pattern

Software Synthesis Procedures

The subconvexity problem for Rankin-Selberg $L$-functions and equidistribution of Heegner points. II

Functions With Orthogonal Hessian

Exact Local Reconstruction Algorithms for Signals with Finite Rate of Innovation

Jakstab: A Static Analysis Platform for Binaries

A Programming Workshop using the Robot "Thymio II": The Effect on the Understanding by Children

The role of perspective functions in convexity, polyconvexity, rank-one convexity and separate convexity