Sciweavers

292 search results - page 45 / 59
» A linearization of the Lambda-calculus and consequences
Sort
View
JAT
2007
83views more  JAT 2007»
14 years 11 months ago
Characterization and perturbation of Gabor frame sequences with rational parameters
Let A ⊂ L2(R) be at most countable, and p, q ∈ N. We characterize various frame-properties for Gabor systems of the form G(1, p/q,A) = {e2 imxg(x − np/q) : m, n ∈ Z, g ∈...
Marcin Bownik, Ole Christensen
TPDS
2008
117views more  TPDS 2008»
14 years 11 months ago
Energy-Efficient Thermal-Aware Task Scheduling for Homogeneous High-Performance Computing Data Centers: A Cyber-Physical Approac
High Performance Computing data centers have been rapidly growing, both in number and size. Thermal management of data centers can address dominant problems associated with cooling...
Qinghui Tang, Sandeep K. S. Gupta, Georgios Varsam...
JPDC
2007
112views more  JPDC 2007»
14 years 11 months ago
Distributed algorithms for connected domination in wireless networks
We present fast distributed local control Connected Dominating Set (CDS) algorithms for wireless ad hoc networks. We present two randomized distributed algorithms, CDSColor and CD...
Rajiv Gandhi, Srinivasan Parthasarathy 0002
JASSS
2002
244views more  JASSS 2002»
14 years 11 months ago
Applications of Simulation to Social Sciences
What is the degree of sophistication that we have to put into the agents in agents based computer simulation models? Should we provide them with a "mind"? The answer ran...
Gérard Ballot, Gérard Weisbuch
ICRA
2010
IEEE
138views Robotics» more  ICRA 2010»
14 years 10 months ago
Kinematic control of nonholonomic mobile manipulators in the presence of steering wheels
— We consider the kinematic control problem for nonholonomic mobile manipulators (NMMs) whose base contains steering wheels. For all typical tasks, the steering velocity inputs o...
Alessandro De Luca, Giuseppe Oriolo, Paolo Robuffo...