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...

Will reading habit influence your life? Many say yes. Reading underwater slam for structured environments using an imaging sonar is a good habit; you can develop this habit to be such interesting way. Yeah, reading habit will not only make you have any favourite activity. It will be one of guidance of your life. When reading has become a habit, you will not make it as disturbing activities or a...

Two graphs G1 = (V,E1) and G2 = (V,E2) admit a geometric simultaneous embedding if there exist a set of points P and a bijection M : V → P that induce planar straight-line embeddings both for G1 and for G2. The most prominent problem in this area is the question of whether a tree and a path can always be simultaneously embedded. We answer this question in the negative by providing a counterexam...

This paper presents a system for long-term SLAM (simultaneous localization and mapping) by mobile service robots and its experimental evaluation in a real dynamic environment. To deal with the stability-plasticity dilemma (the trade-off between adaptation to new patterns and preservation of old patterns), the environment is represented at multiple timescales simultaneously (5 in our experiments...

in the present work, an efficient modified carbon-ceramic electrode by multi-walled carbon nanotubes/ionic liquid nanocomposite (mwcnts/il/cce) was prepared through a simple and repeatable procedure. the introduced modified electrode was used for the study of the electrochemical behaviour and determination of tryptophan (trp) in the presence of uric acid (ua) using cyclic voltammetry (cv), diff...

in this paper, first the available single charting methods, which have been proposed to detect simultaneous shifts in a single process mean and variance, are reviewed. then, by designing proper simulation studies these methods are evaluated in terms of in-control and out-ofcontrol average run length criteria (arl). the results of these simulation experiments show that the ewma and ewms methods ...