The title compound, C(12)H(11)NO(4)S, is a Schiff base derived from the condensation reaction of equimolar quanti-ties of sulfamide and furfural. The mol-ecule has a trans configuration with respect to the imine C=N double bond. The N atom is involved in an inter-molecular O-H-N hydrogen bond.

We discuss the aximatic basis of quantum mechanics and show that it is neither general nor consistent, since it does not incorporate the magnetic quantization as in the cyclotron motion and the flux quantization. A general and consistent system of axioms is conjectured which incorporates also the magnetic quanti-zation.

This paper studies expressivity bounds for extensions of rst-order logic with counting and unary quanti ers in the presence of relations of large degree. There are several motivations for this work. First, it is known that rst-order logic with counting quanti ers captures uniform TC over ordered structures. Thus, proving expressivity bounds for rst-order with counting can be seen as an attempt ...

Alcohol consumption is a conclusive risk factor of colorectal adenocarcinoma among men (WCRF/ AICR, 2007). The increased risk might be caused by acetaldehyde, the first metabolite in ethanol catabolism, which has a carcinogenic effect in animals (Seitz et al., 1990; Feron et al., 1991) and in humans (Seitz et al., 1996). Additionally, the effects of alcohol may be mediated through the low folat...

The high computational complexity of advanced reasoning tasks such as belief revision and planning calls for eecient and reliable algorithms for reasoning problems harder than NP. In this paper we propose Evaluate , an algorithm for evaluating Quantiied Boolean Formulae, a language that extends propositional logic in a way such that many advanced forms of propo-sitional reasoning, e.g., reasoni...

The ensemble Kalman lter (EnKF) provides an approximate, sequential Monte Carlo solution to the recursive data assimilation algorithm for hidden Markov chains. The challenging conditioning step is approximated by a linear updating, and the updating weights, termed Kalman weights, are inferred from the ensemble members. The EnKF scheme is known to provide unstable predictions and to underestimat...

In this paper we give a new algorithm for performing quantiier elimination from rst order formulae over real closed elds. This algorithm improves the complexity of the asymptotically fastest algorithm for this problem, known to this date. A new feature of our algorithm is that the role of the algebraic part (the dependence on the degrees of the input polynomials) and the combinatorial part (the...

In a companion paper [PT98], we introduced a local type inference method for inferring type arguments to polymorphic functions. We show here how our method can be extended to handle Cardelli and Wegner's Kernel Fun variant of F .

Although Knowledge Representation is full of reasoning problems that have been formally proved to be both NP-hard and coNP-hard, the experimental analysis has largely focused on problems belonging to either NP or coNP. We still do not know, for example, whether well-studied phenomena such as \phase transition", which show up for many NP-complete problems (e.g., sat) happen for p 2-complete prob...

Osteoarthritis is the most common cause of disability in the developed world. One the most important features of the disease is the progressive thinning and eventual loss of articular cartilage which can be visualised using Magnetic Resonance (MR) imaging. A major goal of research in osteoarthritis is the discovery and development of drugs which preserve the articular cartilage. To guide this r...