Sciweavers

6120 search results - page 115 / 1224
» The Power of Linear Functions
Sort
View
130
Voted
SIAMCO
2002
81views more  SIAMCO 2002»
15 years 5 months ago
Stability of Planar Switched Systems: The Linear Single Input Case
Abstract. We study the stability of the origin for the dynamical system x(t) = u(t)Ax(t)+(1u(t))Bx(t), where A and B are two 2
Ugo V. Boscain
ICRA
2007
IEEE
132views Robotics» more  ICRA 2007»
15 years 12 months ago
Measuring the Magnetic and Hydrodynamic Properties of Assembled-MEMS Microrobots
— Microrobots experience physical phenomena that are difficult to model analytically and that are not completely captured with macro-scale prototypes. In this paper we present a...
Michael P. Kummer, Jake J. Abbott, Karl Vollmers, ...
149
Voted
DATE
2009
IEEE
123views Hardware» more  DATE 2009»
15 years 9 months ago
Novel library of logic gates with ambipolar CNTFETs: Opportunities for multi-level logic synthesis
This paper exploits the unique in-field controllability of the device polarity of ambipolar carbon nanotube field effect transistors (CNTFETs) to design a technology library with ...
M. Haykel Ben Jamaa, Kartik Mohanram, Giovanni De ...
NIPS
2001
15 years 7 months ago
Rates of Convergence of Performance Gradient Estimates Using Function Approximation and Bias in Reinforcement Learning
We address two open theoretical questions in Policy Gradient Reinforcement Learning. The first concerns the efficacy of using function approximation to represent the state action ...
Gregory Z. Grudic, Lyle H. Ungar
CONCUR
2005
Springer
15 years 11 months ago
Termination Analysis of Integer Linear Loops
Usually, ranking function synthesis and invariant generation oop with integer variables involves abstracting the loop to have real variables. Integer division and modulo arithmetic...
Aaron R. Bradley, Zohar Manna, Henny B. Sipma