2107 search results - page 133 / 422 » b 2007 |
183
Voted
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract. We use the theorem prover Isabelle to formalise and machinecheck results of the theory of generalised substitutions given by Dunne and used in the B method. We describe t...
180
click to vote
VTC
2007
IEEE
16 years 1 months ago
2007
IEEE
— This letter proposes a simple but highly efficient technique to jointly utilize space, time, and polarization diversities. The technique is based on extending orthogonal space-...
173
click to vote
FIMH
2007
Springer
16 years 1 months ago
2007
Springer
We developed an infant circulation model which incorporates an accurate myocardial cell model including a beta adrenergic system. The beta adrenergic system is essential for the re...
180
Voted
MTSR
2007
Springer
16 years 1 months ago
2007
Springer
Despite the growing number of ontologies online available, their range of application in real world projects is comparatively limited. This paper describes the construction of an o...
159
click to vote
SSC
2007
Springer
16 years 1 months ago
2007
Springer
In this short note we introduce two new sequences defined using the sum of digits in the representation of an integer in a certain base. A connection to Niven numbers is proposed ...