Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Compactness theorem

Related publications (5)

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

Changyu Guo

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

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, Nicolas Abelé

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