We characterize the observed variability of the magnetic helium-strong star j Ori E in terms of a recently developed rigidly rotating magnetosphere model. This model predicts the accumulation of circumstellar plasma in two corotating clouds, situated in magnetohydrostatic equilibrium at the intersections between the magnetic and rotational equators. We find that the model can reproduce well the...

A theoretical model for how Bloch walls occurring in in-plane magnetized ferrite garnet films can serve as efficient magnetic micromanipulators is presented. As an example, the walls' interaction with Abrikosov vortices in a superconductor in close contact with a garnet film is analyzed within the London approximation. The model explains how vortices are attracted to such walls, and excellent q...

The long-term goals of this research are: (i) to identify all relevant physical processes that participate in and contribute significantly to sediment transport in nearshore coastal waters; (ii) to investigate each of the identified processes in order to understand the underlying physics in a quantitative manner; (iii) to develop simple predictive models for each process; and (iv) to incorporat...

We present QMC, a one-sided error Monte Carlo decision procedure for the LTL model-checking problem S |= φ. Besides serving as a randomized algorithm for LTL model checking, QMC delivers quantitative information about the likelihood that S |= φ. In particular, given a specification S of a finite-state system, an LTL formula φ, and parameters and δ, QMC performs random sampling to compute an est...

Article history: Received 16 October 2015 Received in revised form 19 April 2016 Accepted 15 June 2016 Available online xxxx This paper assesses the feasibility of determining key household characteristics based on temporal loadprofiles of household electricity demand. It is known that household characteristics, behaviours and routines drive a number of features of household electricity loads i...

syntax and semantics. Experience with UML 1 has proven this to be a good design decision, because a very common way of applying UML is to first define a UML profile for a particular problem or domain and then use that profile instead of or in addition to standard UML. In essence, profiles are a way of producing what are now commonly referred to as domain-specific

today, changes in the competitive environment have led to creating organizations with a flexible structure and extensive supply networks, so that they are able to make the necessary changes coordinated with their environment. in this regard, organizations are trying to concentrate their efforts on their competing activities and outsource the other activities to other companies. therefore, the d...

We propose a multilayered semantic social network model that offers different views of common interests underlying a community of people. The applicability of the proposed model to a collaborative filtering system is empirically studied. Starting from a number of ontology-based user profiles and taking into account their common preferences, we automatically cluster the domain concept space. Wit...

Today, mechanical engineering products can largely be classified as mechatronic systems, i.e. systems integrating electrical and mechanical components with software. Mechatronic systems are often employed in safety-critical areas, for instance in the automotive or railway domain. MECHATRONIC UML is a UML profile specifically tailored towards the modelling of mechatronic systems. It aims at brin...

Within the general objective of conceiving a cognitive architecture for image interpretation able to generate outputs relevant to several target user profiles, the paper elaborates on a set of operations that should be provided by a cognitive space to guarantee the generation of relevant descriptions. First, it attempts to define a working definition of contrast operation. Then, revisiting well...