Sciweavers

1722 search results - page 61 / 345
» Dedication
Sort
View
ARC
2010
Springer
105views Hardware» more  ARC 2010»
13 years 10 months ago
Lyapunov functionals and matrices
In the talk we present a survey of the current state of art in the area of quadratic functionals with prescribed time derivatives. The ...rst contribution dedicated to the topic w...
Vladimir L. Kharitonov
CORR
2008
Springer
115views Education» more  CORR 2008»
13 years 10 months ago
Kolmogorov complexity in perspective
We survey diverse approaches to the notion of information: from Shannon entropy to Kolmogorov complexity. Two of the main applications of Kolmogorov complexity are presented: rand...
Marie Ferbus-Zanda, Serge Grigorieff
JSYML
2008
109views more  JSYML 2008»
13 years 10 months ago
Closed fragments of provability logics of constructive theories
In this paper we give a new proof of the characterization of the closed fragment of the provability logic of Heyting's Arithmetic. We also provide a characterization of the c...
Albert Visser
ET
2007
65views more  ET 2007»
13 years 10 months ago
RF Testing on a Mixed Signal Tester
In this paper, testing of radio frequency (RF) devices with mixed-signal testers is discussed. General purpose automatic test equipment (ATE) will be used for this. A global posit...
Dana Brown, John Ferrario, Randy Wolf, Jing Li, Ja...
JCT
2000
81views more  JCT 2000»
13 years 9 months ago
Generalized Rook Polynomials
Generalizing the notion of placing rooks on a Ferrers board leads to a new class of combinatorial models and a new class of rook polynomials. Connections are establishedwith absolu...
Jay Goldman, James Haglund