A New General Method to Generate Random Modal Formulae for Testing Decision Procedures

The recent emergence of heavily-optimized modal decision procedures has highlighted the key role of empirical testing in this domain. Unfortunately, the introduction of extensive empirical tests for modal logics is recent, and so far none of the proposed test generators is very satisfactory. To cope with this fact, we present a new random generation method that provides benefits over previous methods for generating empirical tests. It fixes and much generalizes one of the best-known methods, the random CNF_[]m test, allowing for generating a much wider variety of problems, covering in principle the whole input space. Our new method produces much more suitable test sets for the current generation of modal decision procedures. We analyze the features of the new method by means of an extensive collection of empirical tests

Eta-nucleon and eta-prime-nucleon coupling constants in QCD and the role of gluons

Coupling constants of $\eta$ and $\eta^{\prime}$ mesons with nucleons have been calculated using the method of QCD sum rules. Starting from vacuum-to-meson correlation function of interpolating fields of two nucleons, its matrix element with respect to nucleon spinors has been considered. Coupling constants at the physical points have been estimated from extrapolation of results obtained at two other points. Anomalous glue has been found to give substantial contribution to the coupling constants and also accounts for a significant OZI-rule violation.Comment: 6 pages, 3 figures and 2 table

A case study of MMO2's Madic: A framework for creating mobile internet systems

Mobile Internet applications on ubiquitous mobile networks allows real-time, anywhere, anytime connectivity to services. Due to its scalability and potential cost savings, mobile communication is being increasingly applied in the business and consumer communities to create innovative data and voice application, which run over the Internet infrastructure. This paper reports on a case study at an organisation that created an innovative approach to developing mobile applications developed by third party independent developers. A conceptual wireless reference model is presented that was used to define the various system components required to create effective mobile applications