Learning with belief levels

We study learning of predicate logics formulas from “elementary facts,” i.e. from the values of the predicates in the given model. Several models of learning are considered, but most of our attention is paid to learning with belief levels. We propose an axiom system which describes what we consider to be a human scientist's natural behavior when trying to explore these elementary facts. It is proved that no such system can be complete. However we believe that our axiom system is “practically” complete. Theorems presented in the paper in some sense confirm our hypothesis.     

On the SEP of Cooperative Diversity with Opportunistic Relaying

We analyze the exact symbol error probability (SEP) of cooperative diversity with opportunistic amplify-and-forward (AF) relaying. The benefit of this opportunism to the SEP is assessed by comparing with maximal ratio combining of orthogonal multiple AF relay transmissions.     

Health IT: A Roundtable Discussion with Healthcare Information Technology Executives

Introducing new technology in a healthcare setting is a complex undertaking. In an environment in which accuracy, security, and reliability are critical elements, careful planning is the primary factor in ensuring a successful implementation.     

2007’s Wearable Computing Advances

This year, the 11th International Symposium on Wearable Computers returned to the city where it began: Boston, Massachusetts. ISWC is the premier conference in wearable computing, reporting the latest advances in research and technology. As in previous years, attendees came both from academia and industry, representing a broad spectrum of nationalities and technical interests. The year 2008's program emphasized gesture and activity recognition but also reported on power considerations, augmented reality, evaluation, and new interaction modalities, among other topics.     

Modelling and simulation of KNbO3 ceramics dispersion

The dispersion of potassium niobate (KNbO₃) ceramics is analysed using the multiple-arc approach. This has revealed a high frequency arc that is unattainable by the Cole-Cole single arc analysis. The temperature dependence of the new arc is derived through the spread parameter of the relaxation distribution and interpreted in terms of the ferroelectric property of the KNbO₃ ceramics. It is shown that the overall dispersion behaviour of the ceramics is mainly due to the existence of two distinctly different polarisation mechanisms. The arc approach has also provided an effective tool for network simulation of dispersion whereby the ceramics are modelled by nine parallel R-C branches over the frequency range 10²-10⁵ Hz used     

A test for the statistical significance of DNA sequence similarities for application in databank searches

A method is developed, based on word-searching, which provides a rapid test for the statistical significance of DNA sequence similarities for use in databank searching. The method makes allowance for the lengths and dinucleotide compositions of the sequences being compared. A way is also described to calculate the power of the test, i.e. the probability of detecting a given similarity as being statistically significant. The effects on the power of the test of the scoring method, word length, sequence length, and sequence composition are examined. A novel scoring method is shown to be superior to the method currently used in most word-searching algorithms.     

Development of a Ceramic Micro Heat Exchanger – Design,Construction, and Testing

This article presents the development of a ceramic micro heat exchanger. Starting from its geometrical design, results obtained from a simplified simulation of the heat exchanger efficiency will be given. The alumina microcomponents were manufactured by a rapid prototyping process chain. Here, stereolithography was combined with a low‐pressure injection molding process for the rapid and precise manufacturing of ceramic components down to the micrometer range. A micro heat exchanger, joined from sintered components using a glass solder, was applied as a prototype and checked for its performance at a system pressure of 8 bar.