13618 search results - page 313 / 2724 » The Newton Operating System |
215
click to vote
BMEI
2009
IEEE
15 years 7 months ago
2009
IEEE
The goal of this paper is to develop haptic-visual interaction training system for aircraft fuel supply simulation. Operators can use this system to simulate refueling aircraft in ...
163
click to vote
COMBINATORICS
2006
15 years 6 months ago
2006
The rules of "Bulgarian solitaire" are considered as an operation on the set of partitions to induce a finite dynamical system. We focus on partitions with no preimage u...
118
click to vote
CJ
1998
15 years 6 months ago
1998
Large-scale commercial, industrial and financial operations are becoming ever more interdependent, and ever more dependent on IT. At the same time, the rapidly growing interconnec...
170
click to vote
AAI
2010
15 years 1 months ago
2010
In this paper, we propose a proof system for reasoning on certain specifications of secure authentication systems. For this purpose, a new logic, sequence-indexed linear-time temp...
180
click to vote
MICCAI
2005
Springer
16 years 7 days ago
2005
Springer
In this study we have designed and created a data-fusion display that has enabled volumetric MIP image navigation using intraoperative C-arm CT data in the operating room. The 3D v...