Concept

Formal scheme

Related publications (102)

Spaces With Noetherian Cohomology

Is the cohomology of the classifying space of a p-compact group, with Noetherian twisted coefficients, a Noetherian module? In this paper we provide, over the ring of p-adic integers, such a generalization to p-compact groups of the Evens-Venkov Theorem. W ...

Cambridge University Press2013

Lattice codes for many-to-one cognitive interference networks

Michael Christoph Gastpar, Jingge Zhu

In this work we consider the cognitive many-to-one interference network. We first extend existing coding schemes from the two-user case to this network scenario. Then we present a novel coding scheme using compute-and-forward and show it can enlarge the ac ...

IEEE2013

Parametrized K-theory

Nicolas Mathieu Michel

In nature, one observes that a K-theory of an object is defined in two steps. First a “structured” category is associated to the object. Second, a K-theory machine is applied to the latter category that produces an infinite loop space. We develop a general ...

2013

Sufficient Conditions for Feasibility and Optimality of Real-Time Optimization Schemes - II. Implementation Issues

Dominique Bonvin, Grégory François, Gene Bunin

The idea of iterative process optimization based on collected output measurements, or "real-time optimization" (RTO), has gained much prominence in recent decades, with many RTO algorithms being proposed, researched, and developed. While the essential goal ...

arXiv:1308.26252013

Sufficient Conditions for Feasibility and Optimality of Real-Time Optimization Schemes - I. Theoretical Foundations

Dominique Bonvin, Grégory François, Gene Bunin

arXiv:1308.2620 [math.OC]2013

Time accurate partitioned algorithms for the solution of fluid-structure interaction problems in haemodynamics

Fabio Nobile, Christian Vergara

In this work we deal with the numerical solution of the fluid-structure interaction problem arising in the haemodynamic environment. In particular, we consider BDF and Newmark time discretization schemes, and we study different methods for the treatment of ...

2013

On the Role of the Necessary Conditions of Optimality in Structuring Dynamic Real-Time Optimization Schemes

Dominique Bonvin

In dynamic optimization problems, the optimal input profiles are typically obtained using models that predict the system behavior. In practice, however, process models are often inaccurate, and on-line adaptation is required for appropriate prediction and ...

Elsevier2013

Distributed bounded-error state estimation for partitioned systems based on practical robust positive invariance

Giancarlo Ferrari Trecate

In this paper we propose a novel partition-based state estimator for linear discrete-time systems composed of physically coupled subsystems affected by bounded disturbances. The proposed scheme is distributed in the sense that each local state estimator ex ...

2013

Comparison of Six Implicit Real-Time Optimization Schemes

Dominique Bonvin, Grégory François

Real-time optimization (RTO) is a class of methods that use measurements to reject the effect of uncertainty on optimal performance. This article compares six implicit RTO schemes, that is, schemes that implement optimality not through numerical optimizati ...

Lavoisier2012

Quantification of "Fuzzy" Chemical Concepts: A Computational Perspective

Matthew Wodrich, Jérôme Florian Gonthier

Chemists recurrently utilize "fuzzy'' chemical concepts (e.g. atomic charges, the chemical bond, strain, aromaticity, branching, etc.), which lack unique quantitative assessments but, nonetheless, are frequently employed as tools for understanding the intr ...

Royal Society of Chemistry2012

Graph Chatbot

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.