This paper presents a new form of quartic equation based on Lagrange’s extremum law and a Groebner basis under the constraint that the geodetic height is the shortest distance between a given point and the reference ellipsoid. A very explicit and concise formulae of the quartic equation by Ferrari’s line is found, which avoids the need of a good starting guess for iterative methods. A new expli...

In all but the most trivial optimization problems, the structure of the solutions exhibit complex interdependencies between the input parameters. Decades of research with stochastic search techniques has shown the benefit of explicitly modeling the interactions between sets of parameters and the overall quality of the solutions discovered. We demonstrate a novel method, based on learning deep n...

The various meta-modelling tools in existence today all have differences in their conformance relations, either intentional or accidental. This results in incompatibilities between tools, where a model cannot simply be exchanged as-is: the meta-meta-model and semantics likely differ. Current tools are inflexible in this regard, making their models grafted on the tool implementation. In this pap...

Static analysis of concurrent languages is a complex task due to the non-deterministicexecution of processes. If the concurrent language being studied allows process synchro-nization, then the analyses are even more complex (and thus expensive), e.g., due to thephenomenon of deadlock. In this work we introduce a static analysis technique based onprogram slicing for concurrent an...

Understanding large multidimensional datasets is one of the most challenging problems in visual data exploration. One key challenge that increases the size of the exploration space is the number of views that one can generate from a single dataset, based on the use of multiple parameter values and exploration paths. Often, no such single view contains all needed insights. The question thus aris...

Abstract The incidence of young but fading radio sources provides important information on the life cycle emission in radio-loud active galactic nuclei. Despite its importance for constraining models source evolution, there are no systematic studies remnants complete samples sources. We report results study 18 compact steep-spectrum (CSS) sources, selected from statistically B3-VLA CSS sample, ...