Symbolic execution of Reo circuits using constraint automata

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.

The thesis is dedicated to the study of two main partial differential equations (PDEs) in fluid dynamics: the Navier-Stokes equations, which describe the motion of incompressible fluids, and the transport equation with divergence-free velocity fields, whic ...

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

Locomotion is based on a sophisticated interaction among the environment, the musculoskeletal system, the spinal cord, and the brain locomotor areas. Quality of life is strongly related to the proper capability of this movement. However, many pathologies, ...

We use results from communication complexity, both new and old ones, to prove lower bounds for unambiguous finite automata (UFAs). We show three results. 1) Complement: There is a language L recognised by an n-state UFA such that the complement language ̅L ...

Today, automatic control is integrated into a wide spectrum of real-world systems such as electrical grids and transportation networks. Many of these systems comprise numerous interconnected agents, perform safety-critical operations, or generate large amo ...

This dataset contains corrected particle number concentration data measured during the year long MOSAiC expedition from October 2019 to September 2020. The measurement was performed in the Swiss aerosol container on the D-deck of Research Vessel Polarstern ...

Data cleaning has become an indispensable part of data analysis due to the increasing amount of dirty data. Data scientists spend most of their time preparing dirty data before it can be used for data analysis. Existing solutions that attempt to automate t ...

Data are essential to urban building energy models and yet, obtaining sufficient and accurate building data at a large-scale is challenging. Previous studies have highlighted that the data impact on urban case studies has not been sufficiently discussed. T ...

Deletion is a core facet of Online Social Networks (OSNs). For users, deletion is a tool to remove what they have shared and control their data. For OSNs, robust deletion is both an obligation to their users and a risk when developer mistakes inevitably oc ...

This paper presents the digital implementation of a boundary controller with unipolar switching characteristic for single-phase voltage source full-bridge inverters. This paper expands the application of a second-order switching surface-based control metho ...

In the past two decades, the use of ontologies has been proven to be an effective tool for enriching existing information systems in the digital data modelling domain and exploiting those assets for semantic interoperability. With the rise of Industry 4.0, ...

A highly stable nanocomposite of antioxidant activity was developed by immobilization of a superoxide dismutase-mimicking metal complex on copolymer-functionalized nanoclay. The layered double hydroxide (LDH) nanoclays were synthesized and surface modifica ...

Industry and academia are continuously becoming more data-driven and data-intensive, relying on the analysis of a wide variety of datasets to gain insights. At the same time, data variety increases continuously across multiple axes. First, data comes in mu ...

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

Let R be a semilocal principal ideal domain. Two algebraic objects over R in which scalar extension makes sense (e.g. quadratic spaces) are said to be of the same genus if they become isomorphic after extending scalars to all completions of R and its fract ...

Causal consistency is one of the most adopted consistency criteria for distributed implementations of data structures. It ensures that operations are executed at all sites according to their causal precedence. We address the issue of verifying automaticall ...

In this thesis, we explore techniques for the development of recursive functional programs over unbounded domains that are proved correct according to their high-level specifications. We present algorithms for automatically synthesizing executable code, st ...

We study the extinction time tau of the contact process started with full occupancy on finite trees of bounded degree. We show that, if the infection rate is larger than the critical rate for the contact process on Z, then, uniformly over all trees of degr ...

The traditional synthesis question given a specification asks for the automatic construction of a system that satisfies the specification, whereas often there exists a preference order among the different systems that satisfy the given specification. Under ...

This paper studies the second-order coding rates for memoryless channels with a state sequence known non-causally at the encoder. In the case of finite alphabets, an achievability result is obtained using constant-composition random coding, and by using a ...

Symbolic execution of Reo circuits using constraint automata

Chat with Graph Search

Anomalous dissipation and other non-smooth phenomena in fluids

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

Investigating the neuromechanical control of healthy gait modulation and pathological gaits observed in cerebral palsy using neuromuscular simulations

Lower Bounds for Unambiguous Automata via Communication Complexity

Data-driven and Safe Networked Control with Applications to Microgrids

Continuous corrected particle number concentration data in 10 sec resolution, measured in the Swiss aerosol container during MOSAiC 2019/2020

Holistic, Efficient, and Real-time Cleaning of Heterogeneous Data

Data for Urban Scale Building Energy Modelling: Assessing Impacts and Overcoming Availability Challenges

DELF: Safeguarding deletion correctness in Online Social Networks

A Fast-Dynamic Unipolar Switching Control Scheme for Single-Phase Inverters in DC Microgrids

A Method for Converting Current Data to RDF in the Era of Industry 4.0

Highly stable enzyme-mimicking nanocomposite of antioxidant activity

Just-in-time Analytics Over Heterogeneous Data and Hardware

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

Patching And Weak Approximation In Isometry Groups

On verifying causal consistency

Deductive Synthesis and Repair

Exponential extinction time of the contact process on finite graphs

Measuring and Synthesizing Systems in Probabilistic Environments

On the Dispersions of the Gel'fand-Pinsker Channel and Dirty Paper Coding