Change of basis for m-primary ideals in one and two variables

Following recent work by van der Hoeven and Lecerf (ISSAC 2017), we discuss the complexity of linear mappings, called untangling and tangling by those authors, that arise in the context of computations with univariate polynomials. We give a slightly faster tangling algorithm and discuss new applications of these techniques. We show how to extend these ideas to bivariate settings, and use them to give bounds on the arithmetic complexity of certain algebras.Comment: In Proceedings ISSAC'19, ACM, New York, USA. See proceedings version for final formattin

A Conceptual Formalization of Crosscutting in AOSD

We propose a formalization of crosscutting based on a conceptual framework for AOSD. Crosscutting is clearly distinguished from the related concepts scattering and tangling. The definitions of these concepts are formalized and visualized with matrices and matrix operations. This allows more precise reasoning about crosscutting

Headphone with in-axle cord connector

A headset including a headband having two end portions each coupled to a respective speaker housing. One or both of the end portions includes a cord connector or jack wherein an audio cord may be coupled. The cord connector is arranged on the headband in a manner such that movement a speaker housing coupled to the headband does not result in tangling of the audio cord.Published versio

Crosscutting, what is and what is not? A Formal definition based on a Crosscutting Pattern

Crosscutting is usually described in terms of scattering and tangling. However, the distinction between these concepts is vague, which could lead to ambiguous statements. Sometimes, precise definitions are required, e.g. for the formal identification of crosscutting concerns. We propose a conceptual framework for formalizing these concepts based on a crosscutting pattern that shows the mapping between elements at two levels, e.g. concerns and representations of concerns. The definitions of the concepts are formalized in terms of linear algebra, and visualized with matrices and matrix operations. In this way, crosscutting can be clearly distinguished from scattering and tangling. Using linear algebra, we demonstrate that our definition generalizes other definitions of crosscutting as described by Masuhara & Kiczales [21] and Tonella and Ceccato [28]. The framework can be applied across several refinement levels assuring traceability of crosscutting concerns. Usability of the framework is illustrated by means of applying it to several areas such as change impact analysis, identification of crosscutting at early phases of software development and in the area of model driven software development

Tangling clustering of inertial particles in stably stratified turbulence

We have predicted theoretically and detected in laboratory experiments a new type of particle clustering (tangling clustering of inertial particles) in a stably stratified turbulence with imposed mean vertical temperature gradient. In this stratified turbulence a spatial distribution of the mean particle number density is nonuniform due to the phenomenon of turbulent thermal diffusion, that results in formation of a gradient of the mean particle number density, \nabla N, and generation of fluctuations of the particle number density by tangling of the gradient, \nabla N, by velocity fluctuations. The mean temperature gradient, \nabla T, produces the temperature fluctuations by tangling of the gradient, \nabla T, by velocity fluctuations. These fluctuations increase the rate of formation of the particle clusters in small scales. In the laboratory stratified turbulence this tangling clustering is much more effective than a pure inertial clustering that has been observed in isothermal turbulence. In particular, in our experiments in oscillating grid isothermal turbulence in air without imposed mean temperature gradient, the inertial clustering is very weak for solid particles with the diameter 10 microns and Reynolds numbers Re =250. Our theoretical predictions are in a good agreement with the obtained experimental results.Comment: 16 pages, 4 figures, REVTEX4, revised versio

Generation of Large-Scale Vorticity in a Homogeneous Turbulence with a Mean Velocity Shear

An effect of a mean velocity shear on a turbulence and on the effective force which is determined by the gradient of Reynolds stresses is studied. Generation of a mean vorticity in a homogeneous incompressible turbulent flow with an imposed mean velocity shear due to an excitation of a large-scale instability is found. The instability is caused by a combined effect of the large-scale shear motions (''skew-induced" deflection of equilibrium mean vorticity) and ''Reynolds stress-induced" generation of perturbations of mean vorticity. Spatial characteristics, such as the minimum size of the growing perturbations and the size of perturbations with the maximum growth rate, are determined. This instability and the dynamics of the mean vorticity are associated with the Prandtl's turbulent secondary flows. This instability is similar to the mean-field magnetic dynamo instability. Astrophysical applications of the obtained results are discussed.Comment: 8 pages, 3 figures, REVTEX4, submitted to Phys. Rev.

AOSD Ontology 1.0 - Public Ontology of Aspect-Orientation

This report presents a Common Foundation for Aspect-Oriented Software Development. A Common Foundation is required to enable effective communication and to enable integration of activities within the Network of Excellence. This Common Foundation is realized by developing an ontology, i.e. the shared meaning of terms and concepts in the domain of AOSD. In the first part of this report, we describe the definitions of an initial set of common AOSD terms. There is general agreement on these definitions. In the second part, we describe the Common Foundation task in detail