A symbolic semantics for a clculus for service-oriented computing

We introduce a symbolic characterisation of the operational semantics of COWS, a formal language for specifying and combining service-oriented applications, while modelling their dynamic behaviour. This alternative semantics avoids infinite representations of COWS terms due to the value-passing nature of communication in COWS and is more amenable for automatic manipulation by analytical tools, such as e.g. equivalence and model checkers. We illustrate our approach through a ‘translation service’ scenario

High precision real-time location estimates in a real-life barn environment using a commercial ultra wideband chip

Structural changes lead to an increase in the number of dairy cows and dry sows kept per group. This has consequences in how easily a farmer can supervise his herd and may be detrimental to animal welfare, specifically regarding social relations, time budget and area of residence. An automated tracking system can support the farmer in his management activities and can provide the foundation for a scientific assessment of the welfare consequences of large groups. In this study, a relatively simple and inexpensive real time location system (RTLS) was developed with the aim of achieving precise localization of several tags (animals) in real time and in a real barn environment. The RTLS was based on the ultra-wideband (UWB) technology provided by DecaWave and was adapted for a time difference of arrival (TDoA) procedure to estimate the tags’ positions. The RTLS can handle up to a hundred tags simultaneously using a Pure ALOHA random access method at 1-second intervals. The localization of the tags was estimated in 2D on a given fixed height using a constrained Gauss-Newton algorithm to increase accuracy and stability. The performance of the overall system was evaluated in two different dairy barns. To determine the precision of the system, static and dynamic positions measured at withers height of a cow (1.5 m) and closer to the ground mimicking a lying cow were compared with a reference system (theodolite). The 2D deviations between the systems were used as a measure of precision. In addition, the scalability in respect to the number of tags and the size of the observed area was examined in situations with ten tags and the situation with 100 tags was simulated with a ten-fold increase in sampling rate. According to the field test, the system as developed can be used for the individual localization of animals. At withers height, most of the measured locations deviated less than 0.5 m from the localizations as measured by the theodolite. At lower heights, and closer to the corners of the observed area, some localization estimates were somewhat larger. This was also the case close to large metal barn infrastructure. The measured collision rate of 11% for 100 tags was low. In spite of its low price, the system as a whole is therefore promising and ready for a next step, which should include the observation of large groups of real animals on working farms

Evaluating On-Farm Biodiversity: A Comparison of Assessment Methods

Strategies to stop the loss of biodiversity in agriculture areas will be more successful if farmers have the means to understand changes in biodiversity on their farms and to assess the effectiveness of biodiversity promoting measures. There are several methods to assess on-farm biodiversity but it may be difficult to select the most appropriate method for a farmer’s individual circumstances. This study aims to evaluate the usability and usefulness of four biodiversity assessment methods that are available to farmers in Switzerland. All four methods were applied to five case study farms, which were ranked according to the results. None of the methods were able to provide an exact statement on the current biodiversity status of the farms, but each method could provide an indication, or approximation, of one or more aspects of biodiversity. However, the results also showed that it is possible to generate different statements on the state of biodiversity on the same farms by using different biodiversity assessment methods. All methods showed strengths and weaknesses so, when choosing a method, the purpose of the biodiversity assessment should be kept in the foreground and the limitations of the chosen methods should be considered when interpreting the outcomes

Evaluating Resource Use in Low Input Systems

Work package 5.1 aims at the evaluation of existing accreditation mechanisms and economic approaches related to low-input livestock farming systems and thus of sustainable development processes through a multi-criteria evaluation of the public goods delivered by different production systems, management techniques and breeding innovations. To this end, we are conducting a comparative analysis of approaches to low-input livestock production, based on the multi-criteria assessment of the performances of production schemes in the delivery of public goods

A Feasibility Study on the Use of a Structured Light Depth-Camera for Three-Dimensional Body Measurements of Dairy Cows in Free-Stall Barns

Frequent checks on livestock\u2019s body growth can help reducing problems related to cow infertility or other welfare implications, and recognizing health\u2019s anomalies. In the last ten years, optical methods have been proposed to extract information on various parameters while avoiding direct contact with animals\u2019 body, generally causes stress. This research aims to evaluate a new monitoring system, which is suitable to frequently check calves and cow\u2019s growth through a three-dimensional analysis of their bodies\u2019 portions. The innovative system is based on multiple acquisitions from a low cost Structured Light Depth-Camera (Microsoft Kinect\u2122 v1). The metrological performance of the instrument is proved through an uncertainty analysis and a proper calibration procedure. The paper reports application of the depth camera for extraction of different body parameters. Expanded uncertainty ranging between 3 and 15 mm is reported in the case of ten repeated measurements. Coef\ufb01cients of determination R2> 0.84 and deviations lower than 6% from manual measurements where in general detected in the case of head size, hips distance, withers to tail length, chest girth, hips, and withers height. Conversely, lower performances where recognized in the case of animal depth (R2 = 0.74) and back slope (R2 = 0.12)

Expression profiles of genes regulating dairy cow fertility: recent findings, ongoing activities and future possibilities

Subfertility has negative effects for dairy farm profitability, animal welfare and sustainability of animal production. Increasing herd sizes and economic pressures restrict the amount of time that farmers can spend on counteractive management Genetic improvement will become increasingly important to restore reproductive performance. Complementary to traditional breeding value estimation procedures, genomic selection based on genome-wide information will become more widely applied. Functional genomics, including transcriptomics (gene expression profiling), produces the information to understand the consequences of selection as it helps to unravel physiological mechanisms underlying female fertility traits. Insight into the latter is needed to develop new effective management strategies to combat subfertility. Here, the importance of functional genomics for dairy cow reproduction so far and in the near future is evaluated. Recent gene profiling studies in the field of dairy cow fertility are reviewed and new data are presented on genes that are expressed in the brains of dairy cows and that are involved in dairy cow oestrus (behaviour). Fast-developing new research areas in the field of functional genomics, such as epigenetics, RNA interference, variable copy numbers and nutrigenomics are discussed including their promising future value for dairy cow fertility

A Calculus for Orchestration of Web Services

Service-oriented computing, an emerging paradigm for distributed computing based on the use of services, is calling for the development of tools and techniques to build safe and trustworthy systems, and to analyse their behaviour. Therefore, many researchers have proposed to use process calculi, a cornerstone of current foundational research on specification and analysis of concurrent, reactive, and distributed systems. In this paper, we follow this approach and introduce CWS, a process calculus expressly designed for specifying and combining service-oriented applications, while modelling their dynamic behaviour. We show that CWS can model all the phases of the life cycle of service-oriented applications, such as publication, discovery, negotiation, orchestration, deployment, reconfiguration and execution. We illustrate the specification style that CWS supports by means of a large case study from the automotive domain and a number of more specific examples drawn from it

Systems biology in animal sciences

Systems biology is a rapidly expanding field of research and is applied in a number of biological disciplines. In animal sciences, omics approaches are increasingly used, yielding vast amounts of data, but systems biology approaches to extract understanding from these data of biological processes and animal traits are not yet frequently used. This paper aims to explain what systems biology is and which areas of animal sciences could benefit from systems biology approaches. Systems biology aims to understand whole biological systems working as a unit, rather than investigating their individual components. Therefore, systems biology can be considered a holistic approach, as opposed to reductionism. The recently developed ‘omics’ technologies enable biological sciences to characterize the molecular components of life with ever increasing speed, yielding vast amounts of data. However, biological functions do not follow from the simple addition of the properties of system components, but rather arise from the dynamic interactions of these components. Systems biology combines statistics, bioinformatics and mathematical modeling to integrate and analyze large amounts of data in order to extract a better understanding of the biology from these huge data sets and to predict the behavior of biological systems. A ‘system’ approach and mathematical modeling in biological sciences are not new in itself, as they were used in biochemistry, physiology and genetics long before the name systems biology was coined. However, the present combination of mass biological data and of computational and modeling tools is unprecedented and truly represents a major paradigm shift in biology. Significant advances have been made using systems biology approaches, especially in the field of bacterial and eukaryotic cells and in human medicine. Similarly, progress is being made with ‘system approaches’ in animal sciences, providing exciting opportunities to predict and modulate animal traits

A New ELISA Using the ANANAS Technology Showing High Sensitivity to diagnose the Bovine Rhinotracheitis from Individual Sera to Pooled Milk

Diagnostic tests for veterinary surveillance programs should be efficient, easy to use and, possibly, economical. In this context, classic Enzyme linked ImmunoSorbent Assay (ELISA) remains the most common analytical platform employed for serological analyses. The analysis of pooled samples instead of individual ones is a common procedure that permits to certify, with one single test, entire herds as "disease-free". However, diagnostic tests for pooled samples need to be particularly sensitive, especially when the levels of disease markers are low, as in the case of anti-BoHV1 antibodies in milk as markers of Infectious Bovine Rhinotracheitis (IBR) disease. The avidin-nucleic-acid-nanoassembly (ANANAS) is a novel kind of signal amplification platform for immunodiagnostics based on colloidal poly-avidin nanoparticles that, using model analytes, was shown to strongly increase ELISA test performance as compared to monomeric avidin. Here, for the first time, we applied the ANANAS reagent integration in a real diagnostic context. The monoclonal 1G10 anti-bovine IgG1 antibody was biotinylated and integrated with the ANANAS reagents for indirect IBR diagnosis from pooled milk mimicking tank samples from herds with IBR prevalence between 1 to 8%. The sensitivity and specificity of the ANANAS integrated method was compared to that of a classic test based on the same 1G10 antibody directly linked to horseradish peroxidase, and a commercial IDEXX kit recently introduced in the market. ANANAS integration increased by 5-fold the sensitivity of the 1G10 mAb-based conventional ELISA without loosing specificity. When compared to the commercial kit, the 1G10-ANANAS integrated method was capable to detect the presence of anti-BHV1 antibodies from bulk milk of gE antibody positive animals with 2-fold higher sensitivity and similar specificity. The results demonstrate the potentials of this new amplification technology, which permits improving current classic ELISA sensitivity limits without the need for new hardware investments