Axion inflation coupled to the Standard Model (SM) hypercharge gauge sector represents an attractive scenario for generation of primordial hypermagnetic fields. The description this is, however, complicated by Schwinger effect, which gives rise highly nonlinear dynamics. Hypermagnetogenesis during axion in absence effects is well studied and known result a energy density that scales like $H^4\,...

Abstract Planetary rover navigation frequently relies on dead reckoning and external infrastructure such as orbiting satellites. Celestial techniques combine measurements of the Sun, stars, gravity to provide autonomous absolute localization. This study examines performance digital star sextants (DSS)—a suite sensors combining a tracker an inclinometer—on estimating position planetary ...

For the diagnosing modality called MRE (magnetic resonance elastography), the displacement vector of a wave propagating in a human tissue can be measured. The average of the local wavelength from this measured data could be an index for the diagnosing, because the local wave length becomes larger when the tissue is stiffer. By assuming that the local form of the wave is given approximately as m...

As model-driven software development covers additional parts of the development process, the complexity of software models increases as well. At the same time, however, many modelling languages do not provide adequate support for modularising models. For this reason there has been an increasing interest in the topic of model modularisation, often under the heading of aspectoriented modelling (A...

The pp hard bremsstrahlung reaction, p + p → pp(S0) + γ , in which the two protons in the final state are in the S0 state, is investigated theoretically. Here, the most general spin structure of the NN hard bremsstrahlung reaction, consistent with symmetry principles, is derived from a partial-wave expansion of this amplitude. Based on this spin structure, it is shown that there are only four i...

Accurate knowledge of the effect of parameter uncertainty on process design and operation is essential for optimal and feasible operation of a process plant. Existing approaches dealing with uncertainty in the design and process operations level assume the existence of a well defined model to represent process behavior and in almost all cases convexity of the involved equations. However, most o...

One hinderance to model transformation verification is the large number of different MT languages which exist, resulting in a large number of different language-specific analysis tools. As an alternative, we define a single analysis process which can, in principle, analyse specifications in several different transformation languages, by making use of a common intermediate representation to expr...

background and objectives: evaluating the performance of clinical units is critical for effective managementof health settings. certain assessment of clinical variables for performance analysis is not always possible,calling for use of uncertainty theory. this study aimed to develop and evaluate an integrated independentcomponent analysis-fuzzy-data envelopment analysis approach to accurate the...

This study presented a transformation approach of Model Driven Architecture for 3-tiered applications. Mapping rules from computation independent model to platform independent model and from platform independent model to platform specific model were developed. This approach was demonstrated using an on-line bookshop application. With this approach, the weak link of Model Driven Architecture, tr...