2107 search results - page 133 / 422 » b 2007 |
163
click to vote
TPHOL
2007
IEEE
16 years 15 days 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...
164
click to vote
VTC
2007
IEEE
16 years 15 days 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-...
162
Voted
FIMH
2007
Springer
16 years 12 days 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...
161
click to vote
MTSR
2007
Springer
16 years 11 days 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...
144
Voted
SSC
2007
Springer
16 years 10 days 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 ...