The Relationlog system is a novel persistent deductive database system for advanced data and knowledgebased applications. It directly supports the storage and inference of data with complex structures, especially data supported in nested relational and complex-object models. The Relationlog system supports the Relationlog query language, which is a typed extension of Datalog with tuples and set...

In this work we address contributions from scalars to (g − 2)μ. In order to explain the recently measured deviation by the BNL experiment on (g−2)μ, it is necessary that these scalars are either light or couple strongly with muons. Here we explore this last possibility. We show that a scalar with mass of order 10 GeV provides significant contribution to (g − 2)μ if the Yukawa coupling is about ...

We introduce new proof systems for propositional logic, simple deduction Frege systems, general deduction Frege systems and nested deduction Frege systems, which augment Frege systems with variants of the deduction rule. We give upper bounds on the lengths of proofs in Frege proof systems compared to lengths in these new systems. As applications we give near-linear simulations of the propositio...

Many modern systems, including web servers, database engines, and operating system kernels, are using language-based protection mechanisms to provide the safety and integrity traditionally supplied by hardware. As these language-based systems become used in more demanding situations, they are faced with the same problems that traditional operating systems have solved—namely shared resource mana...

We implement an alternative loop unwinding strategy for ESBMC at the GOTO level. This substantially improves the reliability of unwinding nested loops.

The parallel ordering of large graphs is a difficult problem, because neither minimumdegree algorithms, nor the best graph partitioning methods that are necessary to nested dissection, parallelize or scale well. This paper presents a set of algorithms, implemented in the PT-Scotch software package, which allows one to order large graphs in parallel, yielding orderings the quality of which is eq...

We introduce new proof systems for propositional logic, simple deduction Frege systems, general deduction Frege systems and nested deduction Frege systems, which augment Frege systems with variants of the deduction rule. We give upper bounds on the lengths of proofs in these systems compared to lengths in Frege proof systems. As an application we give a near-linear simulation of the proposition...

This paper reports about the development of a Named Entity Recognition (NER) system for South and South East Asian languages, particularly for Bengali, Hindi, Telugu, Oriya and Urdu as part of the IJCNLP-08 NER Shared Task. We have used the statistical Conditional Random Fields (CRFs). The system makes use of the different contextual information of the words along with the variety of features t...

Here we summarize the results of the investigation of the IJ = 00 wave [1-3]: this investigation is devoted to the search for the lightest scalar glueball. In Refs. [1, 2], the q q-nonet classi cation of the scalar/isoscalar states is performed in the mass region below 1900 MeV basing on the following data: GAMS data for p! 0 n [4], n [5], n [6]; CERN-M unich data for p! + n [7]; Crystal Barre...

Vacuum polarization integrals involve the vector spectral functions which can be experimentally determined from two sources: (i) ee annihilation cross sections and (ii) hadronic τ decays. Recently results with comparable precision have become available from CMD-2 on one side, and ALEPH, CLEO and OPAL on the other. The comparison of the respective spectral functions involves a correction from is...