High-speed turbulent flows are encountered in most space-related applications (including exploration, tourism and defense fields) represent a subject of growing interest the last decades. A major challenge performing high-fidelity simulations such resides stringent requirements for numerical schemes to be used. These must robust enough handle strong, unsteady discontinuities, while ensuring low...

Baer has shown that, for a group G, finiteness of G=Zi(G) implies finiteness of ɣi+1(G). In this paper we will show that the converse is true provided that G=Zi(G) is finitely generated. In particular, when G is a finite nilpotent group we show that |G=Zi(G)| divides |ɣi+1(G)|d′ i(G), where d′i(G) =(d( G /Zi(G)))i.

in recent years, the number of research works devoted to applying the highly accurate numerical schemes, in particular compact finite difference schemes, to numerical simulation of complex flow fields with multi-scale structures, is increasing. the use of compact finite-difference schemes are the simple and powerful ways to reach the objectives of high accuracy and low computational cost. compa...

This paper presents a framework, based on global array data-ow analysis, to reduce communication costs in a program being compiled for a distributed memory machine. This framework applies techniques for partial redundancy elimination to available section descriptors, a novel representation of communication involving array sections. With a single framework, we are able to capture numerous optimi...

Model checking using GPUs has seen increased popularity over the last years. Because GPUs have a limited amount of memory, only small to medium-sized systems can be verified. For on-the-fly explicitstate model checking, we improve memory efficiency by applying partialorder reduction. We propose novel parallel algorithms for three practical approaches to partial-order reduction. Correctness of t...

The paper considers the problem of implementation on graphics processors of numerical integration routines for higher order finite element approximations. The design of suitable GPU kernels is investigated in the context of general purpose integration procedures, as well as particular example applications. The most important characteristic of the problem investigated is the large variation of r...

Functional analysis of the two chitin synthase genes, TcCHS1 and TcCHS2, in the red flour beetle, Tribolium castaneum, revealed unique and complementary roles for each gene. TcCHS1-specific RNA interference (RNAi) disrupted all three types of moult (larval-larval, larval-pupal and pupal-adult) and greatly reduced whole-body chitin content. Exon-specific RNAi showed that splice variant 8a of TcC...