Sciweavers

2062 search results - page 209 / 413
» Derivatives of Logical Formulas
Sort
View
139
Voted
APPML
2005
101views more  APPML 2005»
15 years 4 months ago
A posteriori discontinuous Galerkin error estimates for transient convection-diffusion equations
A posteriori error estimates are derived for unsteady convection-diffusion equations discretized with the non-symmetric interior penalty and the local discontinuous Galerkin metho...
Alexandre Ern, Jennifer Proft
146
Voted
QUESTA
2002
116views more  QUESTA 2002»
15 years 4 months ago
Analysis of an Infinite-Server Queue with Batch Markovian Arrival Streams
This paper considers an infinite-server queue with multiple batch Markovian arrival streams. The service time distribution of customers may be different for different arrival strea...
Hiroyuki Masuyama, Tetsuya Takine
JSC
2008
126views more  JSC 2008»
15 years 3 months ago
Computing singular points of plane rational curves
We compute the singular points of a plane rational curve, parametrically given, using the implicitization matrix derived from the -basis of the curve. It is shown that singularity...
Falai Chen, Wenping Wang, Yang Liu
ICC
2009
IEEE
143views Communications» more  ICC 2009»
15 years 2 months ago
Throughput Improvement through Precoding in OFDMA Systems with Limited Feedback
In this paper, we study the possibility of throughput improvement through precoding in OFDMA based wireless systems with limited channel feedback. Precoding can increase the overal...
Sameh Sorour, Amin Alamdar Yazdi, Shahrokh Valaee,...
CALCO
2007
Springer
118views Mathematics» more  CALCO 2007»
15 years 10 months ago
Free Modal Algebras: A Coalgebraic Perspective
In this paper we discuss a uniform method for constructing free modal and distributive modal algebras. This method draws on works by (Abramsky 2005) and (Ghilardi 1995). We revisit...
Nick Bezhanishvili, Alexander Kurz