Constraint-Flow Nets: A Model for Building Constraints from Resource Dependencies

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 work presents the initial studies on the requirements for the design of 3D coils on EU-DEMO. The use of 3D coils in present machines includes two main purposes: the first one is the Error Field Correction (EFC). The EFC aims at minimizing the intrinsi ...

Conceptual models such as database schemas, ontologies or process models have been established as a means for effective engineering of information systems. Yet, for complex systems, conceptual models are created by a variety of stakeholders, which calls fo ...

Independent modeling of various modules of an information system (IS), and consequently database subschemas, may result in formal or semantic conflicts between the modules being modeled. Such conflicts may cause collisions between the integrated database s ...

Convolutional neural networks (CNNs) based approaches for semantic alignment and object landmark detection have improved their performance significantly. Current efforts for the two tasks focus on addressing the lack of massive training data through weakly ...

Data models capture the structure and characteristic properties of data entities, e.g., in terms of a database schema or an ontology. They are the backbone of diverse applications, reaching from information integration, through peer-to-peer systems and ele ...

Designing digital circuits well is notoriously difficult. This difficulty stems in part from the very many degrees of freedom inherent in circuit design, typically coupled with the need to satisfy various constraints. In this thesis, we demonstrate how for ...

This paper presents a coordinated primal-dual interior point (PDIP) method for solving structured convex linear and quadratic programs (LP-QP) in a distributed man- ner. The considered class of problems represents a multi-agent setting, where the aggregate ...

Architectures are common means for organising coordination between components in order to build complex systems and to make them manageable. They allow thinking on a higher plane and avoiding low-level mistakes. Architectures provide means for ensuring cor ...

Holant is a framework of counting characterized by local constraints. It is closely related to other well-studied frameworks such as the counting constraint satisfaction problem (#CSP) and graph homomorphism. An effective dichotomy for such frameworks can ...

Architectures depict design principles: paradigms that can be understood by all, allow thinking on a higher plane and avoiding low-level mistakes. They provide means for ensuring correctness by construction by enforcing global properties characterizing the ...

At the centre of the research is the preservation of the countryside which is highlighted and studied through an architectural approach which focuses on cabins in the high mountains. The projects must reflect upon territorial, global and sustainable aspect ...

Schema matching supports data integration by establishing correspondences between the attributes of independently designed database schemas. In recent years, various tools for automatic pair-wise matching of schemas have been developed. Since the matching ...

We prove that the quantifier-free fragment of the theory of character strings with regular language membership constraints and linear integer constraints over string lengths is decidable. We do that by describing a sound, complete and terminating tableaux ...

We present Leon, a system for developing functional Scala programs annotated with contracts. Contracts in Leon can themselves refer to recursively defined functions. Leon aims to find counterexamples when functions do not meet the specifications, and proof ...

We study a framework for the specification of architecture styles as families of architectures involving a common set of types of components and coordination mechanisms. The framework combines two logics: 1) interaction logics for the specification of arch ...

Schema matching is the process of establishing correspondences between the attributes of database schemas for data integration purposes. Although several automatic schema matching tools have been developed, their results are often incomplete or erroneous. ...

Our goal is to help people construct software that does what they wish. We develop tools and algorithms that span static and dynamic verification, constraint solving, and program synthesis. I will outline the current state our verification and synthesis sy ...

Schema matching is the process of establishing correspondences between the attributes of database schemas for data integration purpose. Although several schema matching tools have been developed, their results are often incomplete or erroneous. To obtain c ...

Constraint-Flow Nets: A Model for Building Constraints from Resource Dependencies

Chat with Graph Search

Studies on EU-DEMO 3D coils requirements and conceptual design for error field correction and plasma control

Reconciling Matching Networks of Conceptual Models

Consolidation of database check constraints

Joint Learning of Semantic Alignment and Object Landmark Detection

Handling probabilistic integrity constraints in pay-as-you-go reconciliation of data models

Satisfiability-Based Methods for Digital Circuit Design, Debug, and Optimization

On Coordinated Primal-Dual Interior-Point Methods for Multi-Agent Optimization

A Semantic Framework for Architecture Modelling

A Dichotomy for Real Weighted Holant Problems

A General Framework for Architecture Composability

Altitude: architecture et environnement de haute montagne

SMART: A tool for analyzing and reconciling schema matching networks

A Decision Procedure for Regular Membership and Length Constraints over Unbounded Strings

Developing Verified Software Using Leon

Configuration Logics: Modelling Architecture Styles

Reconciling Schema Matching Networks Through Crowdsourcing

Pay-as-you-go Reconciliation in Schema Matching Networks

Verifying and Synthesizing Software with Recursive Functions

A General Framework for Architecture Composability

Collaborative Schema Matching Reconciliation