We present a mathematical and computational feasibility study of the variational convex decomposition of 2D vector fields into coherent structures and additively superposed flow textures. Such decompositions are of interest for the analysis of image sequences in experimental fluid dynamics and for highly non-rigid image flows in computer vision. Our work extends current research on image decomp...

Integrated Model of Distributed Systems is used for specification and verification of distributed systems. In the formalism, a system is modeled as a set of servers’ states and agents’ messages. The operation of a system is modeled as actions converting global system configuration (a set of states and messages) to a new configuration. The formalism is used in Dedan verification environment, in ...

Multi-task learning aims at combining information across tasks to boost prediction performance, especially when the number of training samples is small and the number of predictors is very large. In this paper, we first extend the Sparse Discriminate Analysis (SDA) of Clemmensen et al.. We call this Multi-task Sparse Discriminate Analysis (MtSDA). MtSDA formulates multi-label prediction as a qu...

Formal concept analysis (FCA) can be used for designing concept lattices from binary data for knowledge discovery purposes. Pattern structures in FCA are able to deal with complex data. In addition, this formalism provides a concise and an efficient algorithmic view of the formalism of symbolic data analysis (SDA).

BACKGROUND The traditional measure for assessing dental treatment needs and workforce requirements based solely on normative need (NN) has major shortcomings. The sociodental approach (SDA) to assess needs overcomes some of the shortcomings as it combines normative and subjective needs assessments and also incorporates behavioural propensity (Sheiham and Tsakos 2007). The objective of this stud...

Three acclimation groups [i.e. non-diapause (LD), diapause (SD) and diapause, cold-acclimated (SDA)] of the adult bugs Pyrrhocoris apterus differed markedly in their levels of chill tolerance. Survival time at a sub-zero, but non-freezing, temperature of -5 degrees C (Lt50) extended from 7.6 days, through 35.6 days, to >60 days in the LD, SD and SDA insects, respectively. The time necessary for...

The sphere decoding algorithm (SDA) has been widely used for maximum likelihood (ML) detection in MIMO systems. However, the conventional SDA is very complex for hardware implementation, and the throughput of current SDA implementation is below the requirement of next generation high-speed wireless communications. In this paper, we introduce an efficient pipeline interleaved (PL) sphere decodin...

This paper presents a new domain decomposition method for nonlinear finite element analysis introducing the concept of dual partition super-elements. The method extends ideas from the displacement frame method and is ideally suited for parallel nonlinear static/dynamic analysis of structural systems. In the new method, domain decomposition is realised by replacing one or more subdomains in a ‘p...

Heat generated by the specific dynamic action (SDA) associated with feeding is known to substitute for the thermoregulatory costs of cold-exposed endotherms; however, the effectiveness of this depends on food temperature. When food is cooler than core body temperature, it is warmed by body heat and, consequently, imposes a thermoregulatory challenge to the animal. The degree to which this cost ...