Sciweavers

1399 search results - page 90 / 280
» Multi-party Finite Computations
Sort
View
144
Voted
MCS
2008
Springer
15 years 3 months ago
Numerical optimal control of the wave equation: optimal boundary control of a string to rest in finite time
In many real-life applications of optimal control problems with constraints in form of partial differential equations (PDEs), hyperbolic equations are involved which typically desc...
Matthias Gerdts, Günter Greif, Hans Josef Pes...
153
Voted
VLSI
2010
Springer
15 years 2 months ago
Design of low-complexity and high-speed digital Finite Impulse Response filters
—In this paper, we introduce a design methodology to implement low-complexity and high-speed digital Finite Impulse Response (FIR) filters. Since FIR filters suffer from a larg...
Diego Jaccottet, Eduardo Costa, Levent Aksoy, Paul...
123
Voted
JCAM
2010
111views more  JCAM 2010»
14 years 10 months ago
Finite element simulation of compressible particle-laden gas flows
A macroscopic two-fluid model of compressible particle-laden gas flows is considered. The governing equations are discretized by a high-resolution finite element method based on a...
Marcel Gurris, Dmitri Kuzmin, Stefan Turek
131
Voted
DLT
2004
15 years 5 months ago
Relating Tree Series Transducers and Weighted Tree Automata
Bottom-up tree series transducers (tst) over the semiring A are implemented with the help of bottom-up weighted tree automata (wta) over an extension of A. Therefore bottom-up D-w...
Andreas Maletti
141
Voted
CORR
2006
Springer
144views Education» more  CORR 2006»
15 years 3 months ago
On the logical definability of certain graph and poset languages
We show that it is equivalent, for certain sets of finite graphs, to be definable in CMS (counting monadic second-order, a natural extension of monoadic second-order logic), and t...
Pascal Weil