Results 11  20
of
175
Tutor dr. ir. A. Augusteijn, Silicon Hive Supervisor dr. ir. C. Hemerik, TU/e Instruction Selection on Directed Acyclic Graphs
, 2007
"... Abstract i Wellknown techniques exist for optimal instruction selection based on treematching and dynamic programming. Such algorithms can optimally cover a tree of operations, representing a program under compilation, with treepatterns describing the semantics of target operations. These techniq ..."
Abstract
 Add to MetaCart
semantics that need to be described using DAGs instead of trees. Certain basic assumptions in optimal tree pattern matching (which enable dynamic programming and hence efficient implementations) break down when being generalized to DAGs. The Silicon Hive compiler uses a dataflow graph as its intermediate
Effective bounds from ineffective proofs in analysis: an application of functional interpretation and majorization
 J. Symbolic Logic
, 1992
"... We show how to extract effective bounds Φ for ∀u1∀v ≤γ tu∃wηG0–sentences which depend on u only (i.e. ∀u∀v ≤γ tu∃w ≤η ΦuG0) from arithmetical proofs which use analytical assumptions of the form (∗)∀xδ∃y ≤ρ sx∀zτF0 (δ, ρ, τ are arbitrary finite types, η ≤ 2, G0, F0 are quantifier–free and s, t close ..."
Abstract

Cited by 39 (22 self)
 Add to MetaCart
We show how to extract effective bounds Φ for ∀u1∀v ≤γ tu∃wηG0–sentences which depend on u only (i.e. ∀u∀v ≤γ tu∃w ≤η ΦuG0) from arithmetical proofs which use analytical assumptions of the form (∗)∀xδ∃y ≤ρ sx∀zτF0 (δ, ρ, τ are arbitrary finite types, η ≤ 2, G0, F0 are quantifier–free and s
Effect of noise on front propagation in reactiondiffusion equations of KPP type
, 2009
"... We consider reactiondiffusion equations of KPP type in one spatial dimension, perturbed by a FisherWright white noise, under the assumption of uniqueness in distribution. Examples include the randomly perturbed FisherKPP equations and ∂tu = ∂ 2 xu + u(1 − u) + ǫ p u(1 − u) ˙ W, (0.1) ∂tu = ∂ 2 ..."
Abstract

Cited by 15 (2 self)
 Add to MetaCart
We consider reactiondiffusion equations of KPP type in one spatial dimension, perturbed by a FisherWright white noise, under the assumption of uniqueness in distribution. Examples include the randomly perturbed FisherKPP equations and ∂tu = ∂ 2 xu + u(1 − u) + ǫ p u(1 − u) ˙ W, (0.1) ∂tu
SBV REGULARITY FOR HAMILTONJACOBI EQUATIONS IN R n
"... Abstract. In this paper we study the regularity of viscosity solutions to the following HamiltonJacobi equations ∂tu + H(Dxu) = 0 in Ω ⊂ R × R n. In particular, under the assumption that the Hamiltonian H ∈ C 2 (R n) is uniformly convex, we prove that Dxu and ∂tu belong to the class SBVloc(Ω). 1. ..."
Abstract
 Add to MetaCart
Abstract. In this paper we study the regularity of viscosity solutions to the following HamiltonJacobi equations ∂tu + H(Dxu) = 0 in Ω ⊂ R × R n. In particular, under the assumption that the Hamiltonian H ∈ C 2 (R n) is uniformly convex, we prove that Dxu and ∂tu belong to the class SBVloc(Ω). 1.
Global L2 solutions of Stochastic NavierStokes Equations
"... This paper concerns with the Cauchy problem in Rd for stochastic NavierStokes equation ∂tu=∆u − (u, ∇)u − ∇p + f(u) + [(σ, ∇)u − ∇˜p + g(u)] ◦ ˙ W, u (0) = u0, divu =0 driven by white noise ˙ W. Under minimal assumptions on regularity of the coefficients and random forces, the existence of a glo ..."
Abstract

Cited by 27 (2 self)
 Add to MetaCart
This paper concerns with the Cauchy problem in Rd for stochastic NavierStokes equation ∂tu=∆u − (u, ∇)u − ∇p + f(u) + [(σ, ∇)u − ∇˜p + g(u)] ◦ ˙ W, u (0) = u0, divu =0 driven by white noise ˙ W. Under minimal assumptions on regularity of the coefficients and random forces, the existence of a
Some remarks on a receiptfree and universally verifiable Mixtype voting scheme
 Asiacrypt ’96, LNCS 1163
, 1996
"... . At Eurocrypt'95 Sako and Kilian presented the first Mixtype voting scheme which is receiptfree and universally verifiable. In this contribution we analyze this scheme and show that the coercer must not collude with any center. Otherwise its robustness is lost. As a result, the assumed co ..."
Abstract

Cited by 30 (0 self)
 Add to MetaCart
coercer model is clarified. More seriously, it is further pointed out that the privacy of votes can't be guaranteed, if only one Mixcenter is honest. Hence, under the commonly used assumption that only one Mixcenter must be honest, the voting scheme is insecure unless modified. 1 Introduction
2012a) Time to reevaluate financial risk in GP commissioning. British Journal of Healthcare Management 18(1): 3948. Te m p e ra tu re d if fe re n ce Average Maximum An edited version of this article has been published as: Jones R (2013) Environmental v
"... Abstract Financial risk is the gap between the available funds and the healthcare costs (activity and case mix) incurred by the population. Costs are subject to both statistical and environmental volatility. Most studies have only looked at statistical risk arising from variation around a (known) a ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
) average with the assumption that the average into the future will obey forecasting rules. This article demonstrates that the combined and interactive effects of the wider environment (weather, air quality, infectious agents) leads to very high volatility in year to year costs and also generates a set
BLOW UP FOR SOME NONLINEAR PARABOLIC PROBLEMS WITH CONVECTION UNDER DYNAMICAL BOUNDARY CONDITIONS
"... Abstract. Blow up phenomena for solutions of nonlinear parabolic problems including a convection term ∂tu = div(a(x)∇u) + f(x, t, u, ∇u) in a bounded domain under dissipative dynamical time lateral boundary conditions σ∂tu + ∂νu = 0 are investigated. It turns out that under natural assumptions in th ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
Abstract. Blow up phenomena for solutions of nonlinear parabolic problems including a convection term ∂tu = div(a(x)∇u) + f(x, t, u, ∇u) in a bounded domain under dissipative dynamical time lateral boundary conditions σ∂tu + ∂νu = 0 are investigated. It turns out that under natural assumptions
1 CORRECTION TO THE METHOD OF TALMADGE AND FITCH
"... The method of Talmadge and Fitch used for calculating thickener areas was published in 19551. Although in the United States, this method has largely been superseded by the solids flux method, there are other parts in the world that use this method even up to the present 2. The method, however, is er ..."
Abstract
 Add to MetaCart
, is erroneous and this needs to be known to potential users. The error lies in the assumption that the underflow concentration, Cu, and the time of thickening, tu, in a continuousflow thickener can be obtained from data obtained in a single batch settling test. This paper will show that this assumption
Geometric characterization of intermittency in the parabolic Anderson
, 2007
"... Abstract: We consider the parabolic Anderson problem ∂tu = ∆u + ξ(x)u on R+ × Zd with localized initial condition u(0, x) = δ0(x) and random i.i.d. potential ξ. Under the assumption that the distribution of ξ(0) has a doubleexponential, or slightly heavier, tail, we prove the following geometric c ..."
Abstract

Cited by 20 (8 self)
 Add to MetaCart
Abstract: We consider the parabolic Anderson problem ∂tu = ∆u + ξ(x)u on R+ × Zd with localized initial condition u(0, x) = δ0(x) and random i.i.d. potential ξ. Under the assumption that the distribution of ξ(0) has a doubleexponential, or slightly heavier, tail, we prove the following geometric
Results 11  20
of
175