Publications associées à Théorème de compacité

Regularity of solutions for a fourth-order elliptic system via Conservation law

In this paper, we obtain interior Holder continuity for solutions of the fourth-order elliptic system Delta(2)u = Delta(V center dot del u) + div(w del u) + W center dot del u formulated by Lamm and Riviere [Comm. Partial Differential Equations 33 (2008) 2 ...

2020

Counterexample-Guided Quantifier Instantiation for Synthesis in SMT, Computer Aided Verification

Viktor Kuncak, Andrew Joseph Reynolds

We introduce the first program synthesis engine implemented inside an SMT solver. We present an approach that extracts solution functions from unsatisfiability proofs of the negated form of synthesis conjectures. We also discuss novel counterexample-guided ...

2015

Moduli spaces of toric manifolds

Tudor Ratiu

We construct a distance on the moduli space of symplectic toric manifolds of dimension four. Then we study some basic topological properties of this space, in particular, path-connectedness, compactness, and completeness. The construction of the distance i ...

Springer Verlag2014

PowerCool: Simulation of Integrated Microfluidic Power Generation in Bright Silicon MPSoCs

David Atienza Alonso, Arvind Raj Mahankali Sridhar, Bruno Michel

Integrated microfluidic power generation and power delivery promises to be a disruptive packaging technology with the potential to combat dark silicon. It essentially consists of integrated microchannel-based electrochemical “flow cells” in a 2D/3D multipr ...

IEEE/ACM Press2014

Compact Modeling of Suspended Gate FET

Mihai Adrian Ionescu, Michel Declercq, Yogesh Singh Chauhan, Dimitrios Tsamados, Nicolas Abelé, Christoph Eggimann

For the first time, a compact model for suspended gate (SG) FET valid for entire bias range is proposed. The model is capable of simulating both pull-in and pull-out effects, which are the two important phenomena of this device. A novel hybrid numerical si ...

2008