Sciweavers

CORR
2004
Springer
196views Education» more  CORR 2004»
13 years 4 months ago
Swarming around Shellfish Larvae
: The collection of wild larvae seed as a source of raw material is a major sub industry of shellfish aquaculture. To predict when, where and in what quantities wild seed will be a...
Vitorino Ramos, Jonathan Campbell, John Slater, Jo...
CORR
2004
Springer
146views Education» more  CORR 2004»
13 years 4 months ago
ANTIDS: Self-Organized Ant-based Clustering Model for Intrusion Detection System
: Security of computers and the networks that connect them is increasingly becoming of great significance. Computer security is defined as the protection of computing systems again...
Vitorino Ramos, Ajith Abraham
CORR
2004
Springer
97views Education» more  CORR 2004»
13 years 4 months ago
Free quasi-symmetric functions, product actions and quantum field theory of partitions
Abstract. We investigate two associative products over the ring of symmetric functions related to the intransitive and Cartesian products of permutation groups. As an application, ...
Gérard Henry Edmond Duchamp, Jean-Gabriel L...
CORR
2004
Springer
111views Education» more  CORR 2004»
13 years 4 months ago
Monotonicity Results for Coherent MIMO Rician Channels
The dependence of the Gaussian input information rate on the line-of-sight (LOS) matrix in multiple-input multiple-output (MIMO) coherent Rician fading channels is explored. It is ...
Daniel Hoesli, Young-Han Kim, Amos Lapidoth
CORR
2004
Springer
128views Education» more  CORR 2004»
13 years 4 months ago
Vector Symbolic Architectures answer Jackendoff's challenges for cognitive neuroscience
Jackendoff (2002) posed four challenges that linguistic combinatoriality and rules of language present to theories of brain function. The essence of these problems is the question...
Ross W. Gayler
CORR
2004
Springer
89views Education» more  CORR 2004»
13 years 4 months ago
Gyroscopically Stabilized Robot: Balance and Tracking
: The single wheel, gyroscopically stabilized robot - Gyrover, is a dynamically stable but statically unstable, underactuated system. In this paper, based on the dynamic model of t...
Yongsheng Ou, Yangsheng Xu
CORR
2004
Springer
120views Education» more  CORR 2004»
13 years 4 months ago
Validating a Web Service Security Abstraction by Typing
Abstraction by Typing Andrew D. Gordon Microsoft Research Riccardo Pucella Cornell University An XML web service is, to a first approximation, an RPC service in which requests and...
Andrew D. Gordon, Riccardo Pucella
CORR
2004
Springer
81views Education» more  CORR 2004»
13 years 4 months ago
Widening Operators for Weakly-Relational Numeric Abstractions (Extended Abstract)
Roberto Bagnara, Patricia M. Hill, Elena Mazzi, En...
CORR
2004
Springer
92views Education» more  CORR 2004»
13 years 4 months ago
Tycoon: an Implementation of a Distributed, Market-based Resource Allocation System
Distributed clusters like the Grid and PlanetLab enable the same statistical multiplexing efficiency gains for computing as the Internet provides for networking. One major challen...
Kevin Lai, Lars Rasmusson, Eytan Adar, Stephen Sor...