Publications related to Fold (higher-order function)

Photolabile coumarins with improved efficiency through azetidinyl substitution

Pablo Rivera Fuentes, Zacharias Thiel, Eric Vauthey

Azetidinyl substituents have been recently used to improve the fluorescence quantum yield of several classes of fluorophores. Herein, we demonstrate that other useful photochem. processes can be modulated using this strategy. In particular, we prepd. and m ...

2018

Contract-Based Resource Verification for Higher-Order Functions with Memoization

Viktor Kuncak, Ravichandhran Kandhadai Madhavan, Sumith Kulal

We present a new approach for specifying and verifying resource utilization of higher-order functional programs that use lazy evaluation and memoization. In our approach, users can specify the desired resource bound as templates with numerical holes e.g. a ...

Assoc Computing Machinery2017

Morphological Diversity Strongly Constrains Synaptic Connectivity and Plasticity

Henry Markram, Eilif Benjamin Muller, Srikanth Ramaswamy, Michael Reimann, Anna-Lena Horlemann

Synaptic connectivity between neurons is naturally constrained by the anatomical overlap of neuronal arbors, the space on the axon available for synapses, and by physiological mechanisms that form synapses at a subset of potential synapse locations. What i ...

Oxford University Press (OUP)2017

Termination of Open Higher-Order Programs

Viktor Kuncak, Nicolas Charles Yves Voirol, Ravichandhran Kandhadai Madhavan

We study the problem of proving termination of open, higher-order programs with recursive functions and datatypes. We identify a new point in the design space of solutions, with an appealing trade-off between simplicity of specification, modularity, and am ...

2017

Proactive Synthesis of Recursive Tree-to-String Functions from Examples

Viktor Kuncak, Mikaël Mayer, Jad Hamza

Synthesis from examples enables non-expert users to generate programs by specifying examples of their behavior. A domain-specific form of such synthesis has been recently deployed in a widely used spreadsheet software product. In this paper we contribute t ...

2017

Foldable Drones: from Biology to Technology

Dario Floreano, Stefano Mintchev, Jun Shintake

Current drones are developed with a fixed morphology that can limit their versatility and mission capabilities. There is biological evidence that adaptive morphological changes can not only extend dynamic performances, but also provide new functionalities. ...

SPIE2017

An origami-inspired cargo drone

Dario Floreano, Stefano Mintchev, Przemyslaw Mariusz Kornatowski

Multicopters stand to revolutionize parcel delivery because of their capability to operate in areas with unsuitable road infrastructure and precisely maneuver in cluttered environments. However, current multicopters for delivery can be dangerous for people ...

2017

On Counter-Example Complete Verification for Higher-Order Functions

Viktor Kuncak, Etienne Kneuss, Nicolas Charles Yves Voirol

We present a verification procedure for pure higher-order functional Scala programs with parametric types. We show that our procedure is sound for proofs, as well as sound and complete for counter-examples. The procedure reduces the analysis of higher-orde ...

2015

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.

Fold (higher-order function)

Photolabile coumarins with improved efficiency through azetidinyl substitution

Contract-Based Resource Verification for Higher-Order Functions with Memoization

Morphological Diversity Strongly Constrains Synaptic Connectivity and Plasticity

Termination of Open Higher-Order Programs

Proactive Synthesis of Recursive Tree-to-String Functions from Examples

Foldable Drones: from Biology to Technology

An origami-inspired cargo drone

On Counter-Example Complete Verification for Higher-Order Functions

Search Techniques for Code Generation

BactImAS: a platform for processing and analysis of bacterial time-lapse microscopy movies

Graph Chatbot

Chat with Graph Search

Proactive Synthesis of Recursive Tree-to-String Functions from Examples

Search Techniques for Code Generation

Morphological Diversity Strongly Constrains Synaptic Connectivity and Plasticity

Foldable Drones: from Biology to Technology

Termination of Open Higher-Order Programs

An origami-inspired cargo drone

On Counter-Example Complete Verification for Higher-Order Functions

BactImAS: a platform for processing and analysis of bacterial time-lapse microscopy movies

Photolabile coumarins with improved efficiency through azetidinyl substitution

Contract-Based Resource Verification for Higher-Order Functions with Memoization