In this paper we use nonparametric kernel density estimation techniques to develop a new class of smooth estimators for the parameters in SURE and simultaneous equations models. The eeciency property of the proposed estimators is also analysed. are thankful to H. L utkepohl and a referee for useful comments on the earlier version of this paper.

CDF and DØ detectors have already collected 1.3 fb−1 of data delivered by the Tevatron collider at 1.96 TeV center-of-mass energy. We present here the various analyses that are currently testing the possibility of a supersymmetric extension of the Standard Model. No evidence for such processes have been found in luminosities that range from 300 to 800 pb−1 and different limits on the different ...

Conventional work on scienti c discovery such as BACON derives empirical law equations from experimental data. In recent years, SDS introducing mathematical admissibility constraints has been proposed to discover rst principle based law equations, and it has been further extended to discover law equations from passively observed data. Furthermore, SSF has been proposed to discover the structure...

Pure methods and model fields are useful and common specification constructs that can be interpreted by the introduction of axioms in a program verifier’s underlying proof system. Care has to be taken that these axioms do not introduce an inconsistency into the proof system. This paper describes and proves sound an approach that ensures no inconsistencies are introduced. Unlike some previous sy...

We present novel Gröbner basis algorithms based on saturation loops used by modern superposition theorem provers. We illustrate the practical value of the algorithms through an experimental implementation within the Z3 SMT solver.

Econometric busines cycle research (EBCR) combines economic theory and measurement in the study of business cycles, i.e., up and downs in overall economic activity. EBCR has four goals: description, forecasting, policy evaluation and implementation/testing of economic theories. In this paper I assess four EBCR methods: business cycle indicators, simultaneous equations models, vector autoregress...

We report on the analysis of archival ASCA, ROSAT and BeppoSAX data of PSR B1055−52, PSR B0656+14 and Geminga, performed in order to investigate the reality of the putative ∼ 10–20 arcmin wide X-ray pulsar-wind nebulae recently proposed to exist around these pulsars. In all these cases, the ROSAT and/or BeppoSAX data show that the diffuse and clumpy X-ray nebulae found by ASCA can be resolved i...

Offshore wind turbines are considered as an important element of the future energy infrastructure. There is currently a surge in the construction of such facilities in Europe, yet there is no track record of long-term performance of these structures. Offshore wind turbines are dynamically sensitive structures because of the very nature of the structural form (tall and slender) and the different...