Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correctness of slicing, which should ideally be proven independent of concrete programming languages and with the help of well-known verifying techniques such as proof assistants. After verifying static intraprocedural and d...

Herein, the effect of shortening intercritical annealing (IA) time in a two-step process “intercritical and tempering (IAT)” on microstructure mechanical properties medium-manganese steel (MMnS) made Fe–0.05C–7Mn–1.5Cu–1.5Ni–1.5Al–1.5Si–0.5Mo (wt%) containing copper-rich (CRP) Ni(Al/Mn) precipitates is investigated. The atom probe tomography (APT), electron backscattering diffraction (EBSD), sy...

Abstract In multisite forest genetic experiments, the presence of genotype × environment interaction (GEI) is common. GEI may negatively affect estimates variance and hamper selection decisions in tree breeding programs. Several measures exist to evaluate stability tested genotypes’ performance across environments with a choice method likely affecting breeders’ decisions. this study, we evaluat...

Young’s syndrome (YS) is a triad of bronchiectasis, chronic rhinosinusitis and infertility due to vas deferens obstruction, in which case cystic fibrosis (CF) and primary ciliary diskinesia are excluded. One assumed aetiology of YS is mercury exposure during childhood. During the 20th Century, mercury use was discouraged, thus reducing exposure. HENDRY et al. [1] postulated that this was the re...

Some uniform decay estimates are established for solutions of the following type retarded integral inequalities:y(t)?E(t,?)?y??+??tK1(t,s)?ys?ds+?t?K2(t,s)?ys?ds+?,t???0. As a simple example application, scalar functional differential equation x?=?a(t)x+B(t,xt) is considered, and global asymptotic stability proved under weaker conditions. Another ODE system x?=F0(t,x)+?i=1mFi(t,x(t?ri(t))) on R...

Glycogen and glucose concentrations (mg/g of tissue) and amounts (mg) were determined in the yolks of fertile eggs on the day of set and in the yolk sac (YS) and liver of broiler chick embryos between 11 and 21 embryonic days of age (E). On the day of set, the yolk contained 50 mg of glucose (0.31% of yolk) but did not contain glycogen. During incubation, the amount of glucose in the YS increas...

This study examines the influence of competition on the financial stability of the commercial banks of Association of Southeast Asian Nation (ASEAN) over the 1990 to 2014 period. Panzar-Rosse H-statistic, Lerner index and Herfindahl-Hirschman Index (HHI) are used as measures of competition, while Z-score, non-performing loan (NPL) ratio and equity ratio are used as measures of financial stabili...

Under model correctness, highly accurate inference on a scalar interest parameter in the presence of a nuisance parameter can be achieved by several routes, among them considering the bootstrap distribution of the signed root likelihood ratio statistic. The context of model mis-specification is considered and inference based on a robust form of the signed root statistic is discussed in detail. ...

In a replicated 3 x 3 Latin square experiment, six heifers (443 +/- 6.1 kg) fed a 61% barley grain:39% alfalfa silage diet (DM basis) were given intraruminal doses of powdered Yucca schidigera (YS). Doses of 0 (control), 20, or 60 g/d were given at 0800 daily. Ruminal content was sampled 0, 2, 4, and 6 h after dosing. Acidity, concentrations of reducing sugars, free amino acids, and peptides in...