Sciweavers

2904 search results - page 217 / 581
» Number Forms in the Brain
Sort
View
IJON
2007
73views more  IJON 2007»
15 years 7 months ago
A biophysical model of short-term plasticity at the calyx of Held
The calyx of Held is a giant glutamatergic synapse in the auditory system and displays multiple forms of short-term facilitation and depression. This study presents a detailed mod...
Matthias H. Hennig, Michael Postlethwaite, Ian D. ...
SYNTHESE
2008
114views more  SYNTHESE 2008»
15 years 7 months ago
Quantified coalition logic
We add a limited but useful form of quantification to Coalition Logic, a popular formalism for reasoning about cooperation in game-like multi-agent systems. The basic constructs o...
Thomas Ågotnes, Wiebe van der Hoek, Michael ...
TCOM
2008
81views more  TCOM 2008»
15 years 7 months ago
Optimum Power Allocation for Multiuser OFDM with Arbitrary Signal Constellations
This paper formulates power allocation policies that maximize the region of mutual informations achievable in multiuser downlink OFDM channels. Arbitrary partitioning of the availa...
Angel Lozano, Antonia Maria Tulino, S. Verdii
TCOS
2008
15 years 7 months ago
On Contemporary Denotational Mathematics for Computational Intelligence
Denotational mathematics is a category of expressive mathematical structures that deals with high-level mathematical entities beyond numbers and sets, such as abstract objects, com...
Yingxu Wang
TCS
2008
15 years 7 months ago
The weak lambda calculus as a reasonable machine
We define a new cost model for the call-by-value lambda-calculus satisfying the invariance thesis. That is, under the proposed cost model, Turing machines and the call-by-value la...
Ugo Dal Lago, Simone Martini