1056 search results - page 67 / 212 » Handbook of mathematical functions |
AISC
2004
Springer
14 years 15 days ago
2004
Springer
While implementing a proof for the Basic Perturbation Lemma (a central result in Homological Algebra) in the theorem prover Isabelle one faces problems such as the implementation o...
BIRTHDAY
2006
Springer
14 years 15 days ago
2006
Springer
Abstract. We introduce a mathematical framework for black-box software testing of functional correctness, based on concepts from stochastic process theory. This framework supports ...
PPSN
2000
Springer
14 years 10 days ago
2000
Springer
This work introduces a general mathematical framework for non-stationary fitness functions which enables the exact definition of certain problem properties. The properties' in...
ANOR
2010
13 years 9 months ago
2010
We consider mixed-integer recourse (MIR) models with a single recourse constraint. We relate the second-stage value function of such problems to the expected simple integer recour...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
We consider the problem of communicating over a multiple-input multiple-output (MIMO) real valued channel for which no mathematical model is specified, and achievable rates are giv...