Sciweavers

3128 search results - page 235 / 626
» Finite element method
Sort
View
CSUR
1999
137views more  CSUR 1999»
15 years 3 months ago
Algebraic Methods for Specification and Formal Development of Programs
with functions over those sets. This level of abstraction is commensurate with the view that the correctness of the input/output behaviour of a program takes precedence over all it...
Donald Sannella, Andrzej Tarlecki
CORR
2010
Springer
95views Education» more  CORR 2010»
15 years 1 months ago
When are feedforward microcircuits well-modeled by maximum entropy methods?
Describing the collective activity of neural populations is a daunting task: the number of possible patterns grows exponentially with the number of cells, resulting in practically...
Andrea K. Barreiro, Julijana Gjorgjieva, Fred Riek...

Lecture Notes
488views
17 years 3 months ago
Econometrics
These notes cover several topics such as Univariate Time Series Analysis, The Distribution of a Sample Average, Least Squares, Instrumental Variable Method, Simulating the Finite S...
Paul Söderlind
ICCAD
1999
IEEE
77views Hardware» more  ICCAD 1999»
15 years 8 months ago
Virtual screening: a step towards a sparse partial inductance matrix
We extend the partial inductance concept by replacing the magnetic interaction between open filaments i and j by that between filament j and a (finite) closed loop, formed by conn...
A. J. Dammers, N. P. van der Meijs
ANTS
2006
Springer
95views Algorithms» more  ANTS 2006»
15 years 8 months ago
Computing Pro-P Galois Groups
We describe methods for explicit computation of Galois groups of certain tamely ramified p-extensions. In the finite case this yields a short list of candidates for the Galois grou...
Nigel Boston, Harris Nover