A logic for default reasoning

The need to make default assumptions is frequently encountered in reasoning about incompletely specified worlds. Inferences sanctioned by default are best viewed as beliefs which may well be modified or rejected by subsequent observations. It is this property which leads to the non-monotonicity of any logic of defaults. In this paper we propose a logic for default reasoning. We then specialize our treatment to a very large class of commonly occuring defaults. For this class we develop a complete proof theory and show how to interface it with a top down resolution theorem prover. Finally, we provide criteria under which the revision of derived beliefs must be effected.

Large three-photon absorption cross-section in a novel class of bis-(N-carbazolyl) fluorene derivatives

Two novel symmetrical charge transfer fluorene derivatives (abbreviated as BCZF and BVCZF) with carbazole end-group as the donor moieties have been synthesized. Three-photon absorption cross-sections of these two compounds have been determined by using a Q-switched Nd:YAG laser pumped with 38 ps pulses at 1064 nm in DMF. The measured 3PA cross-sections are 140 x 10(-78) and 400 x 10(-78) cm(6) s(2) for BCZF and BVCZF, respectively. The geometries, electronic structures and electronic spectra of these two compounds are systematically studied by AM1 and ZINDO/S methods. On the basis of correct UV-vis spectra, the influence of different molecular structure on three-photon absorption cross-sections is discussed micromechanically. (C) 2005 Elsevier B.V. All rights reserved.

on a class of pseudorandom sequences from elliptic curves over finite fields

Following the idea of Xing et al., we investigate a general method for constructing families of pseudorandom sequences with low correlation and large linear complexity from elliptic curves over finite fields in this correspondence. With the help of the tool of exponential sums on elliptic curves, we study their periods, linear complexities, linear complexity profiles, distributions of r-patterns, periodic correlation, partial period distributions, and aperiodic correlation in detail. The results show that they have nice randomness.