# Power domains

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

Highly Cited

2010

Highly Cited

2010

- 2010

This paper is devoted to nonlinear propagation phenomena in general unbounded domains of RN , for reaction-diffusion equationsâ€¦Â (More)

Is this relevant?

Highly Cited

2008

Highly Cited

2008

- IEEE Transactions on Energy Conversion
- 2008

This paper contributes a Markov chain Monte Carlo (MCMC) method for the direct generation of synthetic time series of wind powerâ€¦Â (More)

Is this relevant?

2004

2004

- Electrical Overstress/Electrostatic Dischargeâ€¦
- 2004

This paper examines the issue of transmitting signals between circuits of different power domains within an IC and the ESDâ€¦Â (More)

Is this relevant?

Highly Cited

1999

Highly Cited

1999

- LICS
- 1999

A game semantics of finite nondeterminism is proposed. In this model, a strategy may make a choice between different moves in aâ€¦Â (More)

Is this relevant?

Highly Cited

1998

Highly Cited

1998

- USENIX Annual Technical Conference
- 1998

In this paper, we introduce a new operating system abstraction called reservation domains, and describe its implementation inâ€¦Â (More)

Is this relevant?

1996

1996

- Inf. Comput.
- 1996

We introduce the notion of weakly hyperbolic iterated function system (IFS) on a compact metric space, which generalises that ofâ€¦Â (More)

Is this relevant?

Highly Cited

1993

Highly Cited

1993

- Theory and Formal Methods
- 1993

We introduce domain theory in dynamical systems, iterated function systems (fractals) and measure theory. For a discreteâ€¦Â (More)

Is this relevant?

1993

1993

- MFPS
- 1993

The probabilistic power domain construction of Jones and Plotkin 6, 7] is deened by a construction on dcpo's. We presentâ€¦Â (More)

Is this relevant?

1993

1993

- Theor. Comput. Sci.
- 1993

Lower, upper, sandwich, mixed, and convex power domains are isomorphic to domains of second order predicates mapping predicatesâ€¦Â (More)

Is this relevant?

1990

1990

- Sci. Comput. Program.
- 1990

The variety of power domain constructions proposed in the literature is put into a general algebraic framework. Powerâ€¦Â (More)

Is this relevant?