Synthesis And Optimization Of High-Level Stream Programs

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.

This document contains all the data and the details of the analysis used in the manuscript titled " Control of Ge island coalescence for the formation of nanowires on silicon." https://doi.org/10.1039/D3NH00573A ...

This data set contains the data collected during the FNS project Green Piezo (Grant no. 179064) in association with the recent publication entitled “3D printing of customizable transient bioelectronics and sensors”. This work aims to study and demonstrate ...

Electronic devices play an irreplaceable role in our lives. With the tightening time to market, exploding demand for computing power, and continuous desire for smaller, faster, less energy-consuming, and lower-cost chips, computer-aided design for electron ...

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 ...

Machine learning (ML) enables artificial intelligent (AI) agents to learn autonomously from data obtained from their environment to perform tasks. Modern ML systems have proven to be extremely effective, reaching or even exceeding human intelligence. Altho ...

The CA1 region of the hippocampus is one of the most studied regions of the rodent brain, thought to play an important role in cognitive functions such as memory and spatial navigation. Despite a wealth of experimental data on its structure and function, i ...

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 ...

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 ...

This directory contains open-source data obtained using a single-bladed H-type vertical-axis wind turbine prototype with individual blade pitching. This data results from the optimisation of the blade's pitching kinematics using a genetic algorithm at two ...

Modern neuroscience research is generating increasingly large datasets, from recording thousands of neurons over long timescales to behavioral recordings of animals spanning weeks, months, or even years. Despite a great variety in recording setups and expe ...

Cloud computing environments increasingly provision field-programmable gate arrays (FPGAs) for their programmability and hardware-level parallelism. While FPGAs are typically used by one tenant at a time, multitenant schemes supporting spatial sharing of c ...

In light of the challenges posed by climate change and the goals of the Paris Agreement, electricity generation is shifting to a more renewable and decentralized pattern, while the operation of systems like buildings is increasingly electrified. This calls ...

Verification and testing of hardware heavily relies on cycle-accurate simulation of RTL. As single-processor performance is growing only slowly, conventional, single-threaded RTL simulation is becoming impractical for increasingly complex chip designs and ...

. High-resolution simulations of particle-based kinetic plasma models typically require a high number of particles and thus often become computationally intractable. This is exacerbated in multi-query simulations, where the problem depends on a set of para ...

This dataset contains aerosol optical absorption coefficients at seven different wavelengths (babs(λ)), averaged to 10 min time resolution, measured during the year-long MOSAiC expedition from October 2019 to September 2020. The measurements were performed ...

Here, we present new cryogenic infrared spectra of the (Imidazole) H-n(+) (n=1,2,3) ions. The data was obtained using helium tagging infrared predissociation spectroscopy. The new results were compared with the data obtained by Gerardi et al. (Chem. Phys. ...

The expansive production of data in materials science, their widespread sharing and repurposing requires educated support and stewardship. In order to ensure that this need helps rather than hinders scientific work, the implementation of the FAIR-data prin ...

This dataset supports the publication 'Elastocapillary menisci mediate interaction of neighboring structures at the surface of a compliant solid' by Lebo Molefe and John M. Kolinski, Physical Review E, (2023). The data are surface profiles of textured surf ...

Systems and methods for monitoring penile tumescence are provided that overcome the drawbacks of previously known systems by providing a wearable formed of a flexible and elastic tube having a plurality of sensors disposed on or embedded within it, the wea ...

Efficient numerical simulations of coupled multi-component systems can be particularly challenging. This is mostly due to the complexity of their solutions, as mutual interactions may cause emergent behaviors, including synchronization and instabilities. V ...

Synthesis And Optimization Of High-Level Stream Programs

Chat with Graph Search

Data set for control of Ge island coalescence for the formation of nanowires on silicon

Dataset for '3D printing of customizable transient bioelectronics and sensors'

Contemporary Logic Synthesis: with an Application to AQFP Circuit Optimization

Data and scripts for the RaFSIP scheme

Few-shot Learning for Efficient and Effective Machine Learning Model Adaptation

Community-based reconstruction and simulation of a full-scale model of region CA1 of rat hippocampus

Orchestrating chromosome conformation capture analysis with Bioconductor

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

Data from: Optimal blade pitch control for enhanced vertical-axis wind turbine performance

Robust machine learning for neuroscientific inference

X-Attack 2.0: The Risk of Power Wasters and Satisfiability Don’t-Care Hardware Trojans to Shared Cloud FPGAs

Quantifying the Unknown: Data-Driven Approaches and Applications in Energy Systems

Highly Parallel RTL Simulation

Adaptive Symplectic Model Order Reduction Of Parametric Particle-Based Vlasov-Poisson Equation

Aerosol optical absorption coefficients at seven wavelengths in 10 min resolution measured in the Swiss container during MOSAiC 2019/2020

Structures of the (Imidazole)(n)H+ ... Ar (n=1,2,3) complexes determined from IR spectroscopy and quantum chemical calculations

Shared metadata for data-centric materials science

Dataset for "Elastocapillary menisci mediate interaction of neighboring structures at the surface of a compliant solid"

Tumescense monitoring system for diagnosing erectile dysfunction and methods of use

Reduced order models for coupled systems