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

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.

To retrieve Surface Solar Radiation (SSR) from satellite images, a baseline reflectance of the observed ground in clear-sky conditions, also called background reflectance, is necessary to distinguish atmospheric absorption and scattering effects from surfa ...

This repository contains microphysics routines, scripts, and processed data from the Weather Research and Forecasting (WRF) model simulations presented in the paper "RaFSIP: Parameterizing ice multiplication in models using a machine learning approach", by ...

Many challenges of modern graph processing stem from the fact that graphs have become massive and change frequently. Numerous techniques have been developed to address those issues, with graph cut sparsification offering to replace original graphs with th ...

This book outlines a methodology to develop formally verified Just-in-Time compilers. Just-in-Time compilation is a technique to execute programs, where execution is interleaved with optimizations of the program itself. These compilers often produce fast e ...

Despite the widespread use of self-tracking technologies for promoting personal wellbeing, there is limited research on the monitoring of intimate data, particularly urine. To shed light on the design possibilities within this unexplored domain we designed ...

Faithful human performance capture and free-view rendering from sparse RGB observations is a long-standing problem in Vision and Graphics. The main challenges are the lack of observations and the inherent ambiguities of the setting, e.g. occlusions and dep ...

Two -particle Bose-Einstein momentum correlation functions are studied for charged-hadron pairs in lead -lead collisions at a center -of -mass energy per nucleon pair of .'/sNN = 5.02 TeV. The data sample, containing 4.27 x 109 minimum bias events correspo ...

This paper introduces a novel architecture for Quantum Graph Neural Networks, which is significantly different from previous approaches found in the literature. The proposed approach produces similar outcomes with respect to previous models but with fewer ...

The scale and pervasiveness of the Internet make it a pillar of planetary communication, industry and economy, as well as a fundamental medium for public discourse and democratic engagement. In stark contrast with the Internet's decentralized infrastructur ...

Slope deformation poses significant risks to infrastructure, ecosystems, and human safety, making early and accurate predictions essential for mitigating slope failures and landslides. In this study, we propose a novel approach that integrates a fractional ...

We propose a comparative study of three different methods aimed at optimizing existing groundwater monitoring networks. Monitoring piezometric heads in subsurface porous formations is crucial at regional scales to properly characterize the relevant subsurf ...

We study online bipartite edge coloring, with nodes on one side of the graph revealed sequentially. The trivial greedy algorithm is (2 — o (1))-competitive, which is optimal for graphs of low maximum degree, Δ = O (log n) [BNMN IPL’92]. Numerous online edg ...

Genome-wide chromatin conformation capture assays provide formidable insights into the spatial organization of genomes. However, due to the complexity of the data structure, their integration in multi-omics workflows remains challenging. We present data st ...

Object detection, a fundamental task in computer vision, is crucial for various intelligent edge computing applications. However, object detection algorithms are usually heavy in computation, hindering their deployments on resource-constrained edge devices ...

This data package supports the publication 'Complexity of crack front geometry enhances toughness of brittle solids' by Xinyue Wei, Chenzhuo Li, Cían McCarthy, and John M. Kolinski Nature physics (2024) - https://doi.org/10.1038/s41567-024-02435-x DOI: 1 ...

Numerous conductor designs for pulsed magnets based on High Temperature Superconductors (HTS), featuring stacks of tapes are currently being proposed. A major contribution to the AC losses is expected to be given by hysteresis losses. Several numerical mod ...

Given two elliptic curves and the degree of an isogeny between them, finding the isogeny is believed to be a difficult problem—upon which rests the security of nearly any isogeny-based scheme. If, however, to the data above we add information about the beh ...

We introduce an algorithm to reconstruct a mesh from discrete samples of a shape's Signed Distance Function (SDF). A simple geometric reinterpretation of the SDF lets us formulate the problem through a point cloud, from which a surface can be extracted wit ...

In this paper, we propose an analytical stochastic dynamic programming (SDP) algorithm to address the optimal management problem of price-maker community energy storage. As a price-maker, energy storage smooths price differences, thus decreasing energy arb ...

Image information about the state of a building after an earthquake, which can be collected without endangering the post-earthquake reconnaissance activities, can be used to reduce uncertainties in response predictions for future seismic events. This paper ...

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

Chat with Graph Search

Retrieval of Surface Solar Radiation through Implicit Albedo Recovery from Temporal Context

Data and scripts for the RaFSIP scheme

Graph sparsification, sketching and adaptivity

Formal Verification of Just-in-Time Compilation

Designing for Intimate Wellbeing: Aidee, a Qualitative Approach To Urine Home Monitoring

MetaCap: Meta-learning Priors from Multi-view Imagery for Sparse-View Human Performance Capture and Rendering

Two-particle Bose-Einstein correlations and their Lévy parameters in PbPb collisions at √sNN=5.02 TeV

A Study on Quantum Graph Neural Networks Applied to Molecular Physics

Planetary-Scale Byzantine Fault Tolerance

Slope Deformation Prediction Combining Particle Swarm Optimization-Based Fractional-Order Grey Model and K-Means Clustering

Data-driven statistical optimization of a groundwater monitoring network

Deterministic Online Bipartite Edge Coloring

Orchestrating chromosome conformation capture analysis with Bioconductor

Edge-Cloud Collaborated Object Detection via Bandwidth Adaptive Difficult-Case Discriminator

Dataset for "Complexity of crack front geometry enhances toughness of brittle solids"

Validation and Application of Hysteresis Loss Model for HTS Stacks and Conductors for Fusion Applications

Isogeny Problems with Level Structure

Reach For the Arcs: Reconstructing Surfaces from SDFs via Tangent Points

Energy Management of Price-Maker Community Energy Storage by Stochastic Dynamic Programming

Reducing uncertainties in response predictions of earthquake-damaged masonry buildings using data from image-based inspection