Sciweavers

598 search results - page 13 / 120
» Typing the Numeric Tower
Sort
View
IJON
2007
79views more  IJON 2007»
13 years 7 months ago
Predicting neuronal activity with simple models of the threshold type: Adaptive Exponential Integrate-and-Fire model with two co
An adaptive Exponential Integrate-and-Fire (aEIF) model was used to predict the activity of layer-V-pyramidal neurons of rat neocortex under random current injection. A new protoc...
Claudia Clopath, Renaud Jolivet, Alexander Rauch, ...
VTC
2008
IEEE
125views Communications» more  VTC 2008»
14 years 1 months ago
A General Formula for Log-MGF Computation: Application to the Approximation of Log-Normal Power Sum via Pearson Type IV Distribu
Abstract— In [1], we have recently proposed a general approach for approximating the power sum of Log–Normal Random Variables (RVs) by using the Pearson system of distributions...
Marco Di Renzo, Fabio Graziosi, Fortunato Santucci
ESOP
2000
Springer
13 years 11 months ago
Type Classes with Functional Dependencies
Abstract. Type classes in Haskell allow programmers to define functions that can be used on a set of different types, with a potentially different implementation in each case. For ...
Mark P. Jones
APLAS
2003
ACM
14 years 22 days ago
A Typeful and Tagless Representation for XML Documents
When constructing programs to process XML documents, we immediately face the question as to how XML documents should be represented internally in the programming language we use. C...
Dengping Zhu, Hongwei Xi
KBSE
2009
IEEE
14 years 2 months ago
Static Typing for Ruby on Rails
—Ruby on Rails (or just “Rails”) is a popular web application framework built on top of Ruby, an objectoriented scripting language. While Ruby’s powerful features such as d...
Jong-hoon (David) An, Avik Chaudhuri, Jeffrey S. F...