We present a new method for storing sparse matrices as a block matrix-graph where the blocks are stored via a compact, row-ordered scheme. This combines the exibility of the graph structure with the high eeciency of the compact storage technique. The inner compact pattern also allows identiication of entries, which often leads to advantages with respect to memory and computing time. Using this ...

This paper looks at logic programming with three kinds of negation: default, weak and strict negations. A 3-valued logic model theory is discussed for logic programs with three kinds of negation. The procedure is constructed for negations so that a soundness of the procedure is guaranteed in terms of 3-valued logic model theory.

Effect of fractional gas hold-up εG on volumetric mass transfer coefficient KLa were studied for two different type of airlift contactors conventional and modified. KLa was directly proportional to gas hold-up within bubbly flow regime (UG < 0.075 m/s ) in conventional one but reverse trend ( inversely proportional) was reported in modified airlift contactor. Mathematical relation between KLa a...

Für die Unterstützung bei der Organisation und Durchführung des nunmehr vierten Workshops dieser Serie danken wir dem Programmkomitee, das insbesondere durch die Begutachtung der eingereichten Beiträge und die Unterstützung der Autoren durch Hinweise zu ihren Arbeiten zum Gelingen beigetragen hat: Christoph Beierle, FernUniversität Hagen; Hans-Joachim Goltz, Fraunhofer FIRST, Berlin; Petra Hofs...

In this article the structure of subjective well-being (SWB), the relationship between household income and SWB and mean differences in components of SWB in China and the USA are investigated. Both China and the USA were characterized in a three-factor model of SWB (life satisfaction, positive affect and negative affect). Household income was more strongly positively correlated with the three m...

Bipartite graphs can model matching problems, hypergraphs and relations between sets. Studying their surface embeddings is an old tradition, illustrated by the utilities problem. I shall show how such embeddings can be described by pairs of permutations, and how this leads to a classification of the regular (most symmetric) embeddings of complete bipartite graphs. This is joint work with Du, Kw...

Low-temperature series have been derived for the q-state Potts model on the Kagomé lattice (q = 3 and 4) and for the 3-state honeycomb lattice. The series are derived by the finitelattice method, with many additional terms obtained by noting the structure of the correction terms. Accurate estimates of the critical points are found, which confirm exact, but not rigorous results in the case of th...

In this paper two external schema generation algorithms are presented. These algorithms are defined in the framework of the new external schema definition methodology for OODBs put forward in (Samos, 1995); they generate an external schema from a set of classes selected from those existing in an external schema definition repository. Their main characteristic is that they avoid the generation o...

Our submission guesses at entailment based on word similarity between the hypotheses and the text. We attempt three kinds of comparisions: original words (with normalized dates and numbers) synonyms, and antonyms. Each of the three comparisions contributes a different weight to the entailment decision. Our results are insignificantly better than chance for the two-way comparison. However, for t...

Virtually every “serious” place where professional astronomy is done has a librarian, even if shared with the physics or math department. Since its creation in 1994 of Departamento de Astronomı́a (DA) of Universidad de Guanajuato (UG) it was neither provided with a librarian, nor with proper space for its holdings, nor with a budget allowing institutional journal subscriptions. I describe my exp...