Formal Specification and Automatic Verification of Conditional Commitments

Developing and implementing a model checker dedicated to conditional logic with the user interface are urgent requirements for determining whether agents comply with their commitment protocols

USE OF CORN DISTILLERS DRIED GRAINS WITH SOLUBLES (DDGS) AND FOOTS IN NILE TILAPIA FINGERLINGS DIETS

The aim of this study was to investigate the use of corn distillers dried grains with solubles (DDGS) (27.11% CP) and Foots (20.84% CP) as corn processing by-products in monosex Nile tilapia, Oreochromis niloticus diets to replace yellow corn as an energy source and its effect on growth performance, nutrients utilization, whole body proximate composition, nutrients digestibility and economic efficiency. Three hundreds and seventy five fingerlings of Nile tilapia (10± 0.05 g) were randomly distributed into 15 circular plastic tanks (1000 L), representing 5 treatments. Isonitrogenous (25 to 25.84%) and isocaloric (4174.79 to 4364.65 Kcal GE/kg) experimental diets were prepared with substitution levels of DDGS 0% (T1), 20% (T2) and 40% (T3) and Foots 20% (T4) and 40% (T5). The experimental period lasted for 18 week. Results showed that both of DDGS and Foots have higher in all measured amino acids content than those in yellow corn except cysteine. Moreover, DDGS and Foots have higher content of linoleic, oleic, stearic and palmitic acids than those in yellow corn. Also DDGS and Foots covered the nutrient requirements of the essential fatty acid linoleic (18:2 ω 6) for Nile tilapia. Feed intake was significantly decreased as corn partially replaced by Foots more than the DDGS. Apparent digestibility coefficient of CP, EE, NFE and energy recorded the highest values for the T4 (75.76, 89.86%, 57.48 and 68.71%), respectively, followed by T3 with significant differences. The increasing in substitution levels of yellow corn by DDGS did not significantly (P˃0.05) had an effect on Nile tilapia performances. However weight gain and specific growth rate SGR were gradually decreased with increasing the substitution levels of Foots. The CP content of Nile tilapia carcass was significantly increased with increasing the substitution levels of DDGS (T3) and Foots (T5). Feed conversion ratio (FCR) of the fish fed diets T4 (20% Foots) was the best followed by T5 (40% Foots). The cheaper feed cost gain was obtained from T5(40% Foots) followed by T4(20% Foots)

Vitamin C attenuates the toxic effect of nutmeg on primary visual occipital cortex in rats

Background: Nutmeg is neurotoxic in rats and possibly neurotoxic also in hu- mans. The aim of this study is to investigate the effect of nutmeg on the primary visual occipital cortex of adult male rat and to evaluate the possible protective role of vitamin C.  Materials and methods: Fifty Sprague-Dawley adults male rats were randomly divided into three main groups; control, nutmeg-treated (500 and 1000 mg/kg/ /day) and protected groups (nutmeg + vitamin C [500 mg/kg/day]). All rats were treated orally by gavage for 5 days per week for 6 weeks. At the end of the experiment, primary visual occipital cerebral cortex was subjected to histological, immunohistochemical and genetic analyses.  Results: Our results revealed toxic effects of nutmeg on the primary visual occipital cerebral cortex in adult male albino rat. This was indicated by histopathological alterations, including pyknotic nuclei surrounded with vacuolations by light micro- scopic studies and degenerations of organelles by electron microscopic studies. In addition, we detected an increase in immunoreactivity for GFAP and caspase-3 by immunohistochemical assessments. Apoptotic bands appeared in genetic studies. Co-administration of vitamin C ameliorated nutmeg-induced toxic alterations on the primary visual occipital cerebral cortex.  Conclusions: Nutmeg administration caused histopathological and genetic changes in the primary visual occipital cerebral cortex in adult male albino rats. These changes were improved by co-administration of vitamin C.

MODIFIED DOUBLE-DISC SYNERGY TEST (MDDST) FOR DETECTION OF EXTENDED-SPECTRUM BETA-LACTAMASES IN AmpC BETA-LACTAMASE-PRODUCING KLEBSIELLA CLINICAL ISOLATES

The detection of ESBL(S) in gram-negative bacteria that produce AmpC beta-lactamases is problematic. In the present study, the performance of MDDST that employs a combination of cefepime and piperacillin-tazobactam for the detection of ESBL(S) Klebsiella producing AmpC beta-lactamases was evaluated and compared with DDST. E-test phenotypic confirmatory and MTDT tests were adopted for more data confidence. A total of 100 clinical isolates of Klebsiella, which met the CLSI (2012) screening criteria as having broth microdilution (BMD) MIC of > or =2 mg/mL for at least one extended spectrum cephalosporin [ceftazidime (CAZ), cefotaxime (CTX) and cefpodoxime], were accurately-selected for the study. MDDST detected ESBLs in 62 out of the100 studied isolates with 100% sensitivity and specificity, whereas DDST detected ESBLs in only 52 isolates with 92.9% sensitivity and 100% specificity. E-test could detect ESBLs in 62 isolates, while as many as 34/62 ESBL positive isolates were confirmed to be AmpC beta-lactamase positive by the MTDT. MDDST and E-Test could detect ESBLs in all the 34 AmpC positive isolates, whereas DDST detect ESBLs in only 26 isolates.The study recommended MDDST as superior to DDST for the detection of ESBLs in AmpC beta-lactamase-producing Klebsiella spp. and this was confirmed by MTDT and E-Tests

HEPATOPROTECTIVE ACTIVITY OF COSTUS SPECIOSUS (KOEN. EX. RETZ.) AGAINST PARACETAMOL-INDUCED LIVER INJURY IN MICE

Background: Liver diseases are a common cause of mortality and morbidity over the world. It is caused mainly by toxic chemicals and chemotherapeutic agents. Costus speciosus (Koen ex. Retz.) (Zingiberaceae) is widely employed in various traditional medicines for the prevention and treatment of different aliments. The purpose of this study is to assess the protective effect of C. speciosus rhizomes MeOH extract against the injury of the liver induced by paracetamol (PA) in mice. Material and Methods: The mice were pretreated for seven days with distilled H2O, silymarin 12 mg/kg or 100 and 200 mg/kg MeOH extract. Then, PA (750 mg/kg) was also intra-peritoneal administrated once a day. Animals were euthanatized 24 h after the damage inducement. The levels of the serum enzymes aspartate aminotransferase (AST), alkaline phosphatase (ALP), alanine aminotransferase (ALT), and aspartate aminotransferase, in addition to the tumor necrosis factor-alpha (TNF-α), were determined. Moreover, the histopathological examination was carried out. Results: Administration of the MeOH extract (200 mg/kg) showed improvement in the toxic effects of PA through significant fall on the serum markers enzymes of liver damage: AST, ALT, and ALP, as well as TNF-α, compared to silymarin. In parallel, the histopathological profile in the mice` liver also proved that extract markedly minimized the PA toxicity and maintained the liver tissues` histoarchitecture to near the normal ones more than that achieved by silymarin. Conclusion: The findings suggested that C. speciosus extract acts as a potential hepatoprotective agent against PA-induced liver toxicity. This hepato-protection effect may be due to the existence of steroids, saponins, different glycosides, and phenolic compounds in C. speciosus

Foot-and-Mouth Disease Virus Serotype A in Egypt

We describe the characterization of a foot-and-mouth disease (FMD) serotype A virus responsible for recent outbreaks of disease in Egypt. Phylogenetic analysis of VP1 nucleotide sequences demonstrated a close relationship to recent FMD virus isolates from East Africa, rather than to viruses currently circulating in the Middle East

In ovo protective effects of chicoric and rosmarinic acids against Thiacloprid-induced cytotoxicity, oxidative stress, and growth retardation on newly hatched chicks

Thiacloprid (TH) is a neonicotinoid insecticide employed in agriculture to protect fruits and vegetables against different insects. It showed different deleterious effects on the general health of non-target organisms including birds and animals, however, its developmental toxicity has yet to be fully elucidated. Chicoric (CA) and rosmarinic (RA) acids are polyphenolic compounds with a wide range of beneficial biological activities. In this study, the possible protective effects of CA and RA were investigated in chick embryos exposed in ovo to TH (1mg/egg) with or without CA (100 mg/egg) or RA (100 mg/egg) co-exposure. TH reduced the hatchling body weight, body weight/egg weight, and relative weight of bursa of Fabricius in the one-day-old hatchlings. Examination of the 7-day-old chicks revealed a decline in feed intake, daily weight gain, feed conversion ratio (FCR), and plasma levels of T3, T4, and growth hormone. Serum ALT, AST activities, and total cholesterol levels showed significant elevations. Hepatic MDA was increased with a reduction in SOD activity and GSH level and downregulation of the liver SOD and GST gene expression pattern. Serum IgG and IgM levels were reduced, and various histopathological alterations were noticed in the liver. Co-administration of CA or RA with TH mitigated the toxic effects on hatchlings. When both CA and RA are combined, they present a synergistic protective effect. CA and RA can be used as protective agents against TH toxicity as they improve growth performance and have hepatoprotective and immunostimulant effects in newly hatched chicks

Lysozyme as an alternative to antibiotics improves growth, antioxidants status, immunity, and intestinal bacteria in broiler chickens during the fattening period

The present study aimed to evaluate the impact of dietary lysozyme levels on the growth performance, hematological and blood biochemical parameters, immunity, antioxidant capacity, and intestinal microbial count in broiler chickens. Three-hundred 1 d old birds (Cobb-avian500) were used and divided into five groups (five replicates per group, 60 birds per replicate). Birds in the first group were fed a control diet, while birds in the second, third, fourth, and fifth groups were fed the control diet with 0.2 g lincomycin, 1 g commercial lysozyme, 25 mg chicken egg lysozyme, and 50 mg egg lysozyme per kg of diet, respectively. Results confirmed that, in comparison with the control diet, all supplements had greater impacts on final body weight and body weight gain, and only the egg lysozyme diet (50 mg kg−1 diet) increased feed intake. Lincomycin, commercial lysozyme, and egg lysozyme (25 mg) improved the feed conversion ratio (FCR). Birds fed commercial lysozyme and egg lysozymes showed significantly increased hemoglobin and red blood cell counts. All supplements reduced white blood cells, heterophils, and heterophils / lymphocytes ratio and increased lymphocytes. All supplements significantly increased serum total protein, albumin, globulin, and glucose. The diet of egg lysozyme (50 mg kg−1) significantly decreased alpha-globulin, alanine aminotransferase, triglycerides, cholesterol, and urea levels and increased high-density lipoproteins. Diets with lincomycin, commercial lysozyme, and egg lysozyme significantly increased antioxidant capacity and decreased malondialdehyde (MDA). The interferon-gamma (IFNγ) and interlukin-2 (IL-2) were significantly improved by lincomycin, commercial lysozyme and egg lysozyme diets, but interlukin-10 (IL-10) was significantly increased only by the egg lysozyme (50 mg kg−1) diet. The total bacterial count, Salmonella, Escherichia coli, and Proteus counts were significantly decreased. Dressing rate and breast weight percentage were significantly increased by the egg lysozyme (50 mg kg−1) diet. Thigh weight percentage was increased only by the commercial lysozyme diet. In conclusion, chicken egg lysozyme (50 mg kg−1), a promising alternative for antibiotics in broiler chickens' diet, can enhance growth performance, antioxidant status, immunity, and intestinal bacteria.</p

Putting context to numbers : a geotechnical risk trajectory to cost overrun extremism

The study investigates the cause of the unusually high cost overruns experienced in highway project delivery in the tropical wetland setting of the Niger Delta region of Nigeria. This is in view of the extensive literature supporting the link between geology, the lack of geotechnical best practices and cost overruns. An empirical profiling of cost overrun research further reveals the predominance of mono-method studies based on survey methods, correlative analysis and archival data modelling techniques, all of which are underlain by positivism. The study argues that such positivist philosophies, although methodologically valid, cannot adequately explain and provide in-depth understanding of the contextual cost overrun drivers in highway organisations., Using a robust and thoughtfully designed mix of methods, the paper examines the contribution of geotechnical risks to cost overruns experienced in highway project, and demonstrates the relevance of context in cost overrun research. Cost overrun data from documentary sources for 61 completed highway projects in the Niger Delta are gathered and analysed, revealing an average value of 216%, with extreme cases, ranging up to 1925% of budgeted cost. To uncover the intrinsic contextual drivers, 16 interviews were conducted with participants from the three highway agencies in the region, responsible for the execution of the sampled highway projects. Adopting a geotechnical narrative, the data is thematically analysed, deductively and inductively. The results of the analysis identified that poor project governance, management and procurement practices, have inhibited the competent management of geotechnical risk, creating a propensity for extreme cost overruns on the highway projects. The study submits the phenomenon of cost overruns in public infrastructure projects is underlain by a complexity of contextual social constructs, which would have been overlooked in positivists studies. Cost overrun research therefore, needs to be contextually and numerically anchored. Keywords: Context, Cost overruns, Highway projects, Mixed methods, Social Construct

Imaging Cyclic AMP Changes in Pancreatic Islets of Transgenic Reporter Mice

Cyclic AMP (cAMP) and Ca2+ are two ubiquitous second messengers in transduction pathways downstream of receptors for hormones, neurotransmitters and local signals. The availability of fluorescent Ca2+ reporter dyes that are easily introduced into cells and tissues has facilitated analysis of the dynamics and spatial patterns for Ca2+ signaling pathways. A similar dissection of the role of cAMP has lagged because indicator dyes do not exist. Genetically encoded reporters for cAMP are available but they must be introduced by transient transfection in cell culture, which limits their utility. We report here that we have produced a strain of transgenic mice in which an enhanced cAMP reporter is integrated in the genome and can be expressed in any targeted tissue and with tetracycline induction. We have expressed the cAMP reporter in β-cells of pancreatic islets and conducted an analysis of intracellular cAMP levels in relation to glucose stimulation, Ca2+ levels, and membrane depolarization. Pancreatic function in transgenic mice was normal. In induced transgenic islets, glucose evoked an increase in cAMP in β-cells in a dose-dependent manner. The cAMP response is independent of (in fact, precedes) the Ca2+ influx that results from glucose stimulation of islets. Glucose-evoked cAMP responses are synchronous in cells throughout the islet and occur in 2 phases suggestive of the time course of insulin secretion. Insofar as cAMP in islets is known to potentiate insulin secretion, the novel transgenic mouse model will for the first time permit detailed analyses of cAMP signals in β-cells within islets, i.e. in their native physiological context. Reporter expression in other tissues (such as the heart) where cAMP plays a critical regulatory role, will permit novel biomedical approaches