A proof system for communicating processes with value-passing

A proof system for a version of CCS with value-passing is proposed in which the reasoning about data is factored out from that about the structure of processes. The system is shown to be sound and complete for finite terms with respect to a denotational semantics based on Acceptance Trees.     

Compile-time copy elimination

Single-assignment and functional languages have value semantics that do not permit side-effects. This lack of side-effects makes automatic detection of parallelism and optimization for data locality in programs much easier. However, the same property poses a challenge in implementing these languages efficiently. This paper describes an optimizing compiler system that solves the key problem of aggregate copy elimination. The methods developed rely exclusively on compile-time algorithms, including interprocedural analysis, that are applied to an intermediate data flow representation. By dividing the problem into update-in-place and build-in-place analysis, a small set of relatively simple techniques—edge substitution, graph pattern matching, substructure sharing and substructure targeting—was found to be very powerful. If combined properly and implemented carefully, the algorithms eliminate unnecessary copy operations to a very high degree. No run-time overhead is imposed on the compiled programs.     

The 'Conceptual Change In Science' project

Abstract This paper outlines the work of the Conceptual Change in Science project, funded as part of the ESRC InTER programme. The aims of this research project are to clarify and describe the process of change in learners' conceptual understandings of natural phenomena. The domain of reasoning selected for study is that of mechanics. Computer software which may be useful in exploring and developing pupils' reasoning and promoting conceptual change in this domain is being developed and evaluated. The group that is carrying out the research is based at the Universities of Leeds, Glasgow and the Open University.     

Tablet use in schools: a critical review of the evidence for learning outcomes

The increased popularity of tablets in general has led to uptake in education. We critically review the literature reporting use of tablets by primary and secondary school children across the curriculum, with a particular emphasis on learning outcomes. The systematic review methodology was used, and our literature search resulted in 33 relevant studies meeting the inclusion criteria. A total of 23 met the minimum quality criteria and were examined in detail (16 reporting positive learning outcomes, 5 no difference and 2 negative learning outcomes). Explanations underlying these observations were analysed, and factors contributing to successful uses of tablets are discussed. While we hypothesize how tablets can viably support children in completing a variety of learning tasks (across a range of contexts and academic subjects), the fragmented nature of the current knowledge base, and the scarcity of rigorous studies, makes it difficult to draw firm conclusions. The generalizability of evidence is limited, and detailed explanations as to how, or why, using tablets within certain activities can improve learning remain elusive. We recommend that future research moves beyond exploration towards systematic and in‐depth investigations building on the existing findings documented here.     

Application of polymerase chain reaction for the correlation of Salmonella serovars recovered from greyhound feces with their diet

The polymerase chain reaction was employed to correlate Salmonella serovars isolated from fecal material of greyhounds suffering from gastroenteritis with those isolated from the diet fed to the greyhounds prior to onset of diarrhea. Kennels around the Abilene, Kansas, area were contacted and supplied with materials needed to collect a portion of the diet each day. With the onset of diarrhea, the kennels were instructed to ship the fecal material and diet from the previous 10 days to the laboratory for testing. Forty-one fecal samples and corresponding diets were screened for Salmonella, Clostridium perfringens, Campylobacter jejuni, Staphylococcus aureus, Staphylococcus intermedius, and pathogenic (piliated) Escherichia coli by direct culture using standard procedures. The fecal material was also screened for coronavirus and parvovirus using electron microscopy. Thirty-five "normal" fecal samples were screened for all of the above mentioned microorganisms as a control. In addition, the fecal material was screened for E. coli verotoxins I and II and clostridial enterotoxins. A total of 61 Salmonella isolates were recovered from the 41 samples of feces and diet submitted for testing; 31 were recovered from the feces and 30 from the diet. Four Salmonella isolates were recovered from the normal fecal samples. Results obtained by PCR, plasmid profiles, antigenic analysis, and antibiogram profiles indicated that 16 of the 31 isolates recovered from the fecal material were the same strain as that recovered from the diet.     

Exploring probabilistic bisimulations, part I

We take a fresh look at strong probabilistic bisimulations for processes which exhibit both non-deterministic and probabilistic behaviour. We suggest that it is natural to interpret such processes as distributions over states in a probabilistic labelled transition system, a pLTS; this enables us to adapt the standard notion of contextual equivalence to this setting. We then prove that a novel form of bisimulation equivalence between distributions are both sound and complete with respect to this contextual equivalence. We also show that a very simple extension to HML, Hennessy–Milner Logic, provides finite explanations for inequivalences between distributions. Finally we show that our bisimulations between distributions in a pLTS are simply an alternative characterisation of a standard notion of probabilistic bisimulation equivalence, defined between states in a pLTS.     

Preface

ThisspecialissueoftheJournalofComputerScienceandTechnologycontainsthePro-ceedingsoftheinternationalSummerSchoolandWorkshoponFormalModelsofProgram-mingandtheirApplications,heldinBeijingonSeptember17-20,1997.ThiseventwaspartoftheKIT(KeepinTouch)ProjectSYMSEMoftheEuropeanUnion,andwasjointlyorganizedwithLaboratoryofComputerScience,InstituteofSoftware.'KeepinTouch'isaprogrammeaimedatmaintainingandenhancingthelinksbetweennon-EuropeanscientistsandEuropeaninstitutions.Thepartnersofthissp…     

Sources and Bioactive Properties of Conjugated Dietary Fatty Acids

The group of conjugated fatty acids known as conjugated linoleic acid (CLA) isomers have been extensively studied with regard to their bioactive potential in treating some of the most prominent human health malignancies. However, CLA isomers are not the only group of potentially bioactive conjugated fatty acids currently undergoing study. In this regard, isomers of conjugated α‐linolenic acid, conjugated nonadecadienoic acid and conjugated eicosapentaenoic acid, to name but a few, have undergone experimental assessment. These studies have indicated many of these conjugated fatty acid isomers commonly possess anti‐carcinogenic, anti‐adipogenic, anti‐inflammatory and immune modulating properties, a number of which will be discussed in this review. The mechanisms through which these bioactivities are mediated have not yet been fully elucidated. However, existing evidence indicates that these fatty acids may play a role in modulating the expression of several oncogenes, cell cycle regulators, and genes associated with energy metabolism. Despite such bioactive potential, interest in these conjugated fatty acids has remained low relative to the CLA isomers. This may be partly attributed to the relatively recent emergence of these fatty acids as bioactives, but also due to a lack of awareness regarding sources from which they can be produced. In this review, we will also highlight the common sources of these conjugated fatty acids, including plants, algae, microbes and chemosynthesis.     

Effect of pasture versus indoor feeding systems on quality characteristics,nutritional composition,and sensory and volatile properties of full-fat Cheddar cheese

The purpose of this study was to investigate the effects of pasture-based versus indoor total mixed ration (TMR) feeding systems on the chemical composition, quality characteristics, and sensory properties of full-fat Cheddar cheeses. Fifty-four multiparous and primiparous Friesian cows were divided into 3 groups (n = 18) for an entire lactation. Group 1 was housed indoors and fed a TMR diet of grass silage, maize silage, and concentrates; group 2 was maintained outdoors on perennial ryegrass only pasture (GRS); and group 3 was maintained outdoors on perennial ryegrass/white clover pasture (CLV). Full-fat Cheddar cheeses were manufactured in triplicate at pilot scale from each feeding system in September 2015 and were examined over a 270-d ripening period at 8°C. Pasture-derived feeding systems were shown to produce Cheddar cheeses yellower in color than that of TMR, which was positively correlated with increased cheese β-carotene content. Feeding system had a significant effect on the fatty acid composition of the cheeses. The nutritional composition of Cheddar cheese was improved through pasture-based feeding systems, with significantly lower thrombogenicity index scores and a greater than 2-fold increase in the concentration of vaccenic acid and the bioactive conjugated linoleic acid C18:2 cis-9,trans-11, whereas TMR-derived cheeses had significantly higher palmitic acid content. Fatty acid profiling of cheeses coupled with multivariate analysis showed clear separation of Cheddar cheeses derived from pasture-based diets (GRS or CLV) from that of a TMR system. Such alterations in the fatty acid profile resulted in pasture-derived cheeses having reduced hardness scores at room temperature. Feeding system and ripening time had a significant effect on the volatile profile of the Cheddar cheeses. Pasture-derived Cheddar cheeses had significantly higher concentrations of the hydrocarbon toluene, whereas TMR-derived cheese had significantly higher concentration of 2,3-butanediol. Ripening period resulted in significant alterations to cheese volatile profiles, with increases in acid-, alcohol-, aldehyde-, ester-, and terpene-based volatile compounds. This study has demonstrated the benefits of pasture-derived feeding systems for production of Cheddar cheeses with enhanced nutritional and rheological quality compared with a TMR feeding system.