We present a denotational semantics for a fully functional subset of the Handel-C hardware compilation language [9], based on the concept of typed assertion traces. We motivate the choice of semantic domains by illustrating the complexities of the behaviour of the language, paying particular attention to the prialt (priority-alternation) construct of Handel-C. We then define the typed assertion...

In this work, Isatis tinctoria hairy root cultures (ITHRCs) were established as an alternative source for flavonoids (FL) production. I. tinctoria hairy root line V was found to be the most efficient line and was further confirmed by the PCR amplification of rolB, rolC and aux1 genes. Culture parameters of ITHRCs were optimized by Box-Behnken design (BBD), and eight bioactive FL constituents (r...

Most research on the genetics of invasive plant species has focused on analyzing spatial differences among existing populations. Using a long-established Gunnera tinctoria population from Ireland, we evaluated the potential of using plants derived from seeds associated with different soil layers to track genetic variation through time. This species and site were chosen because (1) G. tinctoria ...

The present study deals with isolation, taxonomic characterization and biological activity of medicinal mushroom Ganoderma spp. The results of the present study Ganoderma sp. DKR1 and Ganoderma sp. DKR2 were isolated from two hard woods of Casurina equiestifolia and Morinda tinctoria respectively in Cuddalore district, Tamil Nadu, India. The Ganoderma isolate were characterized for macro and mi...

This study aimed to investigate the effects of wild indigo (Baptisia tinctoria) root extract as a functional food material, in terms antioxidant and skin health-related activities. Both water ethanol (50/50, v/v) extracts showed high phenol content. They were evaluated for activity, such 2,2-diphenyl-1-picrylhydrazyl (DPPH), 2,2?-azino-bis(3-ethylbenzothiazoline-6-sulfonic acid) (ABTS), protect...

We study zeros of the L-functions L(f, s) of primitive weight two forms of level q. Our main result is that, on average over forms f of level q prime, the order of the L-functions at the central critical point s = 1 2 is absolutely bounded. On the Birch and Swinnerton-Dyer conjecture, this provides an upper bound for the rank of the Jacobian J0(q) of the modular curve X0(q), which is of the sam...