1127 search results - page 44 / 226 » Theory Extension in ACL2(r) |
78
Voted
BC
2005
15 years 19 days ago
2005
Neural field models of firing rate activity have had a major impact in helping to develop an understanding of the dynamics seen in brain slice preparations. These models typically...
76
Voted
CEC
2010
IEEE
15 years 1 months ago
2010
IEEE
A Ramsey theory problem, that can be seen as a 2 dimensional extension of the Van der Waerden theorem, was posed by Martin J. Erickson in his book [1]: "find the minimum n su...
125
Voted
CORR
2004
Springer
15 years 17 days ago
2004
Springer
Data structures often use an integer variable to keep track of the number of elements they store. An invariant of such data structure is that the value of the integer variable is ...
128
Voted
JMLR
2008
15 years 21 days ago
2008
When monitoring spatial phenomena, which can often be modeled as Gaussian processes (GPs), choosing sensor locations is a fundamental task. There are several common strategies to ...
75
Voted
MOC
1998
15 years 11 days ago
1998
We use the algorithmic computation of exact sequences of Abelian groups to compute the complete structure of (ZK /m)∗ for an ideal m of a number field K, as well as ray class gr...