Programming with Enumerable Sets of Structures

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.

Context. Gaia DR3 has offered the scientific community a remarkable dataset of approximately one million spectra acquired with the radial velocity spectrometer (RVS) in the calcium II triplet region, which is well suited to identify very metal-poor (VMP) s ...

To achieve rigorous certification of autonomous vehicles (AVs), testing approaches must handle all possible, practically relevant traffic scenarios. This is achievable through the handling of relevant abstractions within the scenario specification language ...

The combination of palladium salts and bipyridyl ligands can lead to the formation of a large variety of coordination complexes, with different shapes and sizes, displaying a very versatile host-guest chemistry. Increasing their structural complexity remai ...

Modern optimization is tasked with handling applications of increasingly large scale, chiefly due to the massive amounts of widely available data and the ever-growing reach of Machine Learning. Consequently, this area of research is under steady pressure t ...

The occurrence of manufacturing defects in wind turbine blade (WTB) production can result in significant increases in operation and maintenance costs of WTBs, reduce capacity factors of wind farms, and occasionally lead to severe and disastrous consequence ...

An efficient characterization of scientifically significant locations is essential prior to the return of humans to the Moon. The highest resolution imagery acquired from orbit of south-polar shadowed regions and other relevant locations remains, at best, ...

The space industry has experienced substantial growth in recent years, leading to rapid advancements in space exploration and space-based technologies. Consequently, the study of electronics and sensor performance in extreme environments has become crucial ...

Stabilizing liquid-liquid interfaces, whether between miscible or immiscible liquids, is crucial for a wide range of applications, including energy storage, microreactors, and biomimetic structures. In this study, a versatile approach for stabilizing the w ...

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

IntroductionThe current assessment and standardization of microsurgical skills are subjective, posing challenges in reliable skill evaluation. We aim to address these limitations by developing a quantitative and objective framework for accurately assessing ...

The extent of littoral influence on lake gas dynamics remains debated in the aquatic science community due to the lack of direct quantification of lateral gas transport. The prevalent assumption of diffusive horizontal transport in gas budgets fails to exp ...

Modern power distribution systems are experiencing a large-scale integration of Converter-Interfaced Distributed Energy Resources (CIDERs). Their presence complicates the analysis and mitigation of harmonics, whose creation and propagation may be amplified ...

The shapes of galaxies, their outer regions in particular, are important guideposts to their formation and evolution. In this work, we report on the discovery of strongly box-shaped morphologies of the otherwise well-studied elliptical and lenticular galax ...

Cutting plane methods are a fundamental approach for solving integer linear programs (ILPs). In each iteration of such methods, additional linear constraints (cuts) are introduced to the constraint set with the aim of excluding the previous fractional opti ...

We propose a structured prediction approach for robot imitation learning from demonstrations. Among various tools for robot imitation learning, supervised learning has been observed to have a prominent role. Structured prediction is a form of supervised le ...

The first generation of S-band injectors for free-electron lasers has illustrated high reliability and performance by driving the latest generation of high brightness machines. However, the ultimate electron beam brightness of these devices is limited by t ...

A search for the rare eta -> mu(+)mu(-)mu(+)mu(-) double-Dalitz decay is performed using a sample of proton-proton collisions, collected by the CMS experiment at the CERN LHC with high-rate muon triggers during 2017 and 2018 and corresponding to an integra ...

Modern programs are monolithic, combining code of varied provenance without isolation, all the while running on network-connected devices. A vulnerability in any component may compromise code and data of all other components. Compartmentalization separates ...

The potential of automatic code generation through Model-Driven Engineering (MDE) frameworks has yet to be realized. Beyond their ability to help software professionals write more accurate, reusable code, MDE frameworks could make programming accessible fo ...

There is a growing recognition that electronic band structure is a local property of materials and devices, and there is steep growth in capabilities to collect the relevant data. New photon sources, from small-laboratory-based lasers to free electron lase ...

Programming with Enumerable Sets of Structures

Chat with Graph Search

Gaia's brightest very metal-poor (VMP) stars Metallicity catalogue of a thousand VMP stars from Gaia's radial velocity spectrometer spectra

Concretize: A Model-Driven Tool for Scenario-Based Autonomous Vehicle Testing

Palladium-based supramolecular assemblies: from complex structures to water-soluble anion-receptors

Scalable constrained optimization

Non-contact sensing for anomaly detection in wind turbine blades: A focus-SVDD with complex-valued auto-encoder approach

A lunar reconnaissance drone for cooperative exploration and high-resolution mapping of extreme locations

Single-Photon Avalanche Diode Image Sensors for Harsh Radiation Environments

A Versatile Approach to Stabilize Liquid-Liquid Interfaces using Surfactant Self-Assembly

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

An objective skill assessment framework for microsurgical anastomosis based on ALI scores

Lake surface cooling drives littoral-pelagic exchange of dissolved gases

Unified Harmonic Power-Flow and Stability Analysis of Power Grids with Converter-Interfaced Distributed Energy Resources

The Halos and Environments of Nearby Galaxies (HERON) survey IV. Complexity in the boxy galaxies NGC720 and NGC2768

Learning to Remove Cuts in Integer Linear Programming

A structured prediction approach for robot imitation learning

Toward a brightness upgrade to the SwissFEL: A high gradient traveling-wave rf photogun

Observation of the Rare Decay of the η Meson to Four Muons

SecureCells: A Secure Compartmentalized Architecture

Chat2Code: A Chatbot for Model Specification and Code Generation, The Case of Smart Contracts

Transfer learning application of self-supervised learning in ARPES