Publications related to Compactness theorem

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

2019

On Satisfiability for Quantified Formulas in Instantiation-Based Procedures

Viktor Kuncak, Nicolas Charles Yves Voirol

Procedures for first-order logic with equality are used in many modern theorem provers and solvers, yet procedure termination in case of interesting sub-classes of satisfiable formulas remains a challenging problem. We present an instantiation-based semi-d ...

2016

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

A Surface Potential and Current Model for Polarity-Controllable Silicon Nanowire FETs

Giovanni De Micheli, Pierre-Emmanuel Julien Marc Gaillardon, Jian Zhang

Silicon nanowire FET (SiNWFET) with dynamic polarity control has been experimentally demonstrated and has shown large potential in circuit applications. To fully explore its circuit-level opportunities, a physics-based compact model of the polarity-control ...

2015

Sequences with Minimal Time-Frequency Uncertainty

Martin Vetterli, Reza Parhizkar, Yann Barbotin

A central problem in signal processing and communications is to design signals that are compact both in time and frequency. Heisenberg's uncertainty principle states that a given function cannot be arbitrarily compact both in time and frequency, defining a ...

Elsevier2015

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

Asymptotic Inference For Partially Observed Branching Processes

Victor Panaretos

We consider the problem of estimation in a partially observed discrete-time Galton-Watson branching process, focusing on the first two moments of the offspring distribution. Our study is motivated by modelling the counts of new cases at the onset of a stoc ...

Applied Probability Trust2011

Asymptotic inference for partially observed branching processes

Victor Panaretos

We consider the problem of estimation in a partially observed discrete-time Galton-Watson branching process, focusing on the first two moments of the offspring distribution. Our study is motivated by modelling the counts of new cases at the onset of a stoc ...

Applied Probability Trust2011

On a doubly nonlinear diffusion model of chemotaxis with prevention of overcrowding

Ricardo Esteban Ruiz Baier

This paper addresses the existence and regularity of weak solutions for a fully parabolic model of chemotaxis, with prevention of overcrowding, that degenerates in a two-sided fashion, including an extra nonlinearity represented by a p-Laplacian diffusion ...

Wiley-Blackwell2009

Compactness theorem

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

On Satisfiability for Quantified Formulas in Instantiation-Based Procedures

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

A Surface Potential and Current Model for Polarity-Controllable Silicon Nanowire FETs

Sequences with Minimal Time-Frequency Uncertainty

Moduli spaces of toric manifolds

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

Asymptotic Inference For Partially Observed Branching Processes

Asymptotic inference for partially observed branching processes

On a doubly nonlinear diffusion model of chemotaxis with prevention of overcrowding

Graph Chatbot

Chat with Graph Search

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

Moduli spaces of toric manifolds

Asymptotic Inference For Partially Observed Branching Processes

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

Sequences with Minimal Time-Frequency Uncertainty

On Satisfiability for Quantified Formulas in Instantiation-Based Procedures

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

Asymptotic inference for partially observed branching processes

On a doubly nonlinear diffusion model of chemotaxis with prevention of overcrowding

A Surface Potential and Current Model for Polarity-Controllable Silicon Nanowire FETs