Sciweavers

5084 search results - page 320 / 1017
» Proving Possibility Properties
Sort
View
HYBRID
2007
Springer
16 years 25 days ago
Groupoids in Control Systems and the Reachability Problem for a Class of Quantized Control Systems with Nonabelian Symmetries
The aim of this paper is twofold. On one hand we present an approach to the general problem of nonlinear control in the framework of (differentiable) groupoids, which, in our opin...
Alessandro Arsie, Emilio Frazzoli
ATAL
2005
Springer
16 years 7 days ago
The value of privacy: optimal strategies for privacy minded agents
Agents often want to protect private information, while at the same acting upon the information. These two desires are in conflict, and this conflict can be modeled in strategic...
Sieuwert van Otterloo
ICANN
2005
Springer
16 years 6 days ago
High-Throughput Multi-dimensional Scaling (HiT-MDS) for cDNA-Array Expression Data
Multidimensional Scaling (MDS) is a powerful dimension reduction technique for embedding high-dimensional data into a lowdimensional target space. Thereby, the distance relationshi...
Marc Strickert, Stefan Teichmann, Nese Sreenivasul...
MATA
2005
Springer
154views Communications» more  MATA 2005»
16 years 5 days ago
A Co-designed Hardware/Software Architecture for Augmented Materials
Abstract. Recent advances in materials, sensing, power harvesting, contextawareness and miniaturisation have opened-up the possibility of constructing materials that directly inclu...
Simon Dobson, Kieran Delaney, Kafil Mahmood Razeeb...
CSL
2004
Springer
16 years 2 days ago
Structures for Multiplicative Cyclic Linear Logic: Deepness vs Cyclicity
The aim of this work is to give an alternative presentation for the multiplicative fragment of Yetter’s cyclic linear logic. The new presentation is inspired by the calculus of s...
Pietro Di Gianantonio