Publications associées à Constraint-Flow Nets: A Model for Building Constraints from Resource Dependencies

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

Pierluigi Bruzzone, Hartmut Zohm, Leonardo Pigatto

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

Elsevier Science Sa2023

Reconciling Matching Networks of Conceptual Models

Karl Aberer, Quoc Viet Hung Nguyen, Thành Tâm Nguyên, Zoltán Miklós

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

2019

Consolidation of database check constraints

Nikola Obrenovic

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

2019

Joint Learning of Semantic Alignment and Object Landmark Detection

Seungryong Kim

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

IEEE2019

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

Karl Aberer, Quoc Viet Hung Nguyen, Thành Tâm Nguyên, Zoltán Miklós

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

PERGAMON-ELSEVIER SCIENCE LTD2019

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

Andrew James Becker

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

EPFL2018

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

Colin Neil Jones, Altug Bitlislioglu

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

2017

A Semantic Framework for Architecture Modelling

Eduard Baranov

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

EPFL2017

A Dichotomy for Real Weighted Holant Problems

Sangxia Huang

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

Springer Basel Ag2016

A General Framework for Architecture Composability

Joseph Sifakis, Simon Bliudze, Eduard Baranov

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

Springer Verlag2016