HW-Hume is the decidable Hume level oriented to direct implementation in hardware. As a first stage in the development of a verified compiler from HW-Hume to Java, we have implemented the semantics of HW-Hume in the Isabelle/HOL theorem prover, enabling the automatic proof of correctness of programs in a Floyd/Hoare style.

Lactation and growth of three contemporary lines of grade Targhee sheep developed from the same genetic base were characterized by three experiments performed over a period of 2 yr. Two lines (HW and DH) had been selected for 120-d weaning weights for 24 yr prior to beginning these experiments. A third line (C) was a randomly selected control. Year I experiment contrasted 10 DH with 7 C ram lam...

The aim of this study was to investigate the DNA content and morphological characteristics of muscle fibers, and their relation to the growth performance in random bred control (RBC) and heavy weight (HW) Japanese quail lines. The 2 lines were of similar embryo size at 6 and 8 d of incubation; however, HW quail were significantly larger than their counterparts after 10 d of incubation (P < 0.05...

Hydrogen water (HW) produced by electrolysis of water has characteristics of extremely low oxidation-reduction potential (ORP) value and high dissolved hydrogen (DH). It has been proved to have various beneficial effects including antioxidant and anti-inflammatory effects; however, HW effect on atopic dermatitis (AD), an inflammatory skin disorder, is poorly documented. In the present study, we...

This paper presents a new approach to synthesize to reconfigurable hardware (HW) user-specified regions of a program, under the assumption of “virtual HW” support. The automation of this approach is supported by a compiler front-end and by an HW compiler under development. The front-end starts from the Java bytecodes and, therefore, supports any language that can be compiled to the JVM (Java Vi...

This paper presents a new approach to synthesize to reconfigurable hardware (HW) user-specified regions of a program, under the assumption of “virtual HW” support. The automation of this approach is supported by a compiler front-end and by an HW compiler under development. The front-end starts from the Java bytecodes and, therefore, supports any language that can be compiled to the JVM (Java Vi...

We examined the nutritional value of different diets on longevity and reproductive performance black soldier flies (Hermetia illucens) under laboratory conditions. In addition to water only (W) (control group), four were used: sugar (SW); pollen, sugar, (PSW); honey, (PHW); honey (HW). The PSW group exhibited highest because it had longest oviposition period, largest number clutches hatched clu...

UNLABELLED In 1998, the National Collegiate Athletic Association (NCAA) adopted a rule requiring that skinfolds (SF) or hydrostatic weighing (HW) be used to estimate minimum weight (MW) in college wrestlers. PURPOSE To cross-validate the NCAA methods for estimation of MW using a multicomponent criterion (4C). METHODS Criterion MW was calculated from body density (BD), bone mineral content (...

For a finite word w of length n and a class of finite automata A, we study the Kolmogorov structure function hw for automatic complexity restricted to A. We propose an approach to computational statistics based on the minimum p-value of hw(m) over 0 ≤ m ≤ n. When A is the class of all finite automata we give some upper bounds for hw. When A consists of automata that detect several success runs ...

The embedded software design cost represents an important percentage of the embedded-system development costs [1]. This paper presents a method for systematic embedded software generation that reduces the software generation cost in a platform-based HW/SW codesign methodology for embedded systems based on SystemC. The goal is that the same SystemC code allows system-level specification and veri...