Quantitative assessment of the effects of space allowance, group size and floor characteristics on the lying behaviour of growing-finishing pigs

To obtain quantitative information that can be later used in animal welfare modelling, the relationship between the lying behaviour of growing-finishing pigs (initial body weight (BW) between 19 and 87 kg) and different factors related to the housing conditions, with a potential negative effect on their welfare, was studied by means of a meta-analytical approach. Data from 22 experiments reported in 21 scientific publications were collected. The space allowance, expressed on an allometric basis by means of a k-value (m2/BW0.667), the group size (n) and the floor characteristics (fully and partly slatted v. non-slatted floor), as well as their significant two-way interactions were used as fixed effects, and the experiment was used as a random factor to take into account the interexperiment effect. Further regression analyses were performed on the predicted values of observations in order to improve the adjustment of data. A significant quadratic relationship was established between space allowance (k-value, P <0.05; squared k-value, P <0.01) and the percentage of time spent lying. A significant interaction between the k-value and the floor type was also found (P <0.05), showing that the relationship between space allowance and lying behaviour is affected by the presence or absence of slats. Threshold k-values were obtained using broken-line analyses, being about 0.039 for slatted floors and almost double for non-slatted floors. Compared to other studies, these values suggest that the ability to rest as space availability decreases may be compromised before a reduced performance becomes apparent. Group size did not show a significant effect. Additional information should be added to the model, as further data become available, to adjust the proposed parameters as well as to try to include the effect of other important aspects such as that of ambient temperature

Analysis and Verification of Service Interaction Protocols - A Brief Survey

Modeling and analysis of interactions among services is a crucial issue in Service-Oriented Computing. Composing Web services is a complicated task which requires techniques and tools to verify that the new system will behave correctly. In this paper, we first overview some formal models proposed in the literature to describe services. Second, we give a brief survey of verification techniques that can be used to analyse services and their interaction. Last, we focus on the realizability and conformance of choreographies.Comment: In Proceedings TAV-WEB 2010, arXiv:1009.330

Tau Be or not Tau Be? - A Perspective on Service Compatibility and Substitutability

One of the main open research issues in Service Oriented Computing is to propose automated techniques to analyse service interfaces. A first problem, called compatibility, aims at determining whether a set of services (two in this paper) can be composed together and interact with each other as expected. Another related problem is to check the substitutability of one service with another. These problems are especially difficult when behavioural descriptions (i.e., message calls and their ordering) are taken into account in service interfaces. Interfaces should capture as faithfully as possible the service behaviour to make their automated analysis possible while not exhibiting implementation details. In this position paper, we choose Labelled Transition Systems to specify the behavioural part of service interfaces. In particular, we show that internal behaviours (tau transitions) are necessary in these transition systems in order to detect subtle errors that may occur when composing a set of services together. We also show that tau transitions should be handled differently in the compatibility and substitutability problem: the former problem requires to check if the compatibility is preserved every time a tau transition is traversed in one interface, whereas the latter requires a precise analysis of tau branchings in order to make the substitution preserve the properties (e.g., a compatibility notion) which were ensured before replacement.Comment: In Proceedings WCSI 2010, arXiv:1010.233

IN VIVO CONFOCAL MICROENDOSCOPY: FROM THE PROXIMAL BRONCHUS DOWN TO THE PULMONARY ACINUS

In vivo endoscopic microscopy aims to provide the clinician with a tool to assess architecture and morphology of a living tissue in real time, with an optical resolution similar to standard histopathology. To date, available microendoscopic devices use the principle of fluorescence confocal microscopy, and thereby mainly analyse the spatial distribution of specific endogenous or exogenous fluorophores. Fluorescence microendoscopes devoted to respiratory system exploration use a bundle of optical fibres, introduced into the working channel of the bron- choscope. This miniprobe can be applied in vivo onto the bronchial inner surface or advanced into a distal bron- chiole down to the acinus, to produce in situ, in vivo microscopic imaging of the respiratory tract in real time. Fluorescence confocal microendoscopy has the capability to image the epithelial and subepithelial layers of the pro- ximal bronchial tree, as well as the more distal parts of the lungs, from the terminal bronchioles down to the alveolar ducts and sacs. Potential applications include in vivo microscopic assessment of early bronchial cancers, bronchial wall remodelling evaluation and diffuse peripheral lung disease exploration, as well as in vivo diagnosis of peripheral lung nodules. The technique has also the potential to be coupled with fluorescence molecular imaging. This chapter de- scribes the capabilities and possible limitations of confocal microendoscopy for proximal and distal lung exploration

American consensus recommendations for gastric scintigraphy: curve fitting with only a few points remains an easy and accurate method to obtain reliable and reproducible gastric emptying estimates.

International audienceBACKGROUND: In 2008, American consensus recommendations for performing gastric emptying (GE) scintigraphy were published. It was recommended that data are acquired only at 0, 1, 2, and 4 h and that the results are expressed as percentages of meal retention. Until now, it was established that the GE time-activity curves should have many points (every 10, 15, or 20 min) to reflect the GE process accurately and to be optimally adjusted by a mathematical model. In this study, we have evaluated the curve fitting using only a few points as proposed by the consensus protocol. MATERIALS AND METHODS: GE scintigraphy tests of 224 patients were retrospectively analyzed. Two curve fittings were done for each patient, either using data acquired every 20 min or using data acquired every hour. A comparison of these two methods was made based on the values of the computed GE parameters. RESULTS: We observed strong correlations between the two methods (r=0.81-0.99, P<0.05). Using the Bland-Altman analysis, more than 95% of the differences were included in the mean difference 95% confidence interval. The mean differences were weak with a relatively small SD and Cohen's k coefficients ranging from 0.84 to 0.93, indicating an excellent agreement between the two methods. CONCLUSION: Our results showed the feasibility and accuracy of curve fitting using only a few points. The curve fitting is easy to perform and allows the computation of reliable and reproducible parameters that reflect the whole GE process

Explicit connection actions in multiparty session types

This work extends asynchronous multiparty session types (MPST) with explicit connection actions to support protocols with op- tional and dynamic participants. The actions by which endpoints are connected and disconnected are a key element of real-world protocols that is not treated in existing MPST works. In addition, the use cases motivating explicit connections often require a more relaxed form of mul- tiparty choice: these extensions do not satisfy the conservative restric- tions used to ensure safety in standard syntactic MPST. Instead, we de- velop a modelling-based approach to validate MPST safety and progress for these enriched protocols. We present a toolchain implementation, for distributed programming based on our extended MPST in Java, and a core formalism, demonstrating the soundness of our approach. We discuss key implementation issues related to the proposed extensions: a practi- cal treatment of choice subtyping for MPST progress, and multiparty correlation of dynamic binary connections

DFT study of pressure induced phase transitions in LiYF4

An investigation of the pressure induced phase transition from the scheelite phase (I41/a, Z=4) to the fergusonite-like phase (I2/a, Z=4)/LaTaO(P21/c, Z=4) of LiYF4 is presented. Employing density functional theory (DFT) within the generalized gradient approximation, the internal degrees of freedom were relaxed for a pressure range of 0 GPa to 20 Gpa. The influence of pressure on the lattice vibration spectrum of the scheelite phase (I41/a, Z=4) was evaluated using the direct approach, i.e. using force constants calculated from atomic displacements. The transition volume is in good agreement with experiment, while the transition pressure is overestimated of 6 GPa. At 20 GPa, a P21/c structure with apentacoordinated lithium cation is found to be the most stable phase. This structure is compatible with a transition driven by a Bg zone-center soft optic mode linked to a soft-acoustic mode along the [11-1] direction as observed for the proper ferroelastic transition of BiVO4

Implementation of the Eclipse Process Framework Composer Tool for the Documentation of Quality Management Systems: A Case Applied in Healthcare Services

This document presents the implementation of the Eclipse Process Framework Composer EPFC tool, in a company in the health sector, which where it were using physical documentation to register the processes QMS Quality Management Systems, in this one it is explained the process of adapting the tool, to migrate the documentary structure of the company, through the application of a model that correlates the attributes of the tool with the documentary structure. The proposed model allows the construction of document structures for the QMS that guide the user in their processes and procedures within the organization. Therefore, it is proposed that by promoting knowledge management and reducing the execution time of the processes, it will be possible for companies to be more productive, improve customer service, failure rates in the development of activities be minimized and, and reduces the lead time in the processes. Finally, it was obtained a documentary platform developed under a process approach that implements interactive diagrams that aim to facilitate the understanding of each of the elements that make up the QMS

Contract Aware Components, 10 years after

The notion of contract aware components has been published roughly ten years ago and is now becoming mainstream in several fields where the usage of software components is seen as critical. The goal of this paper is to survey domains such as Embedded Systems or Service Oriented Architecture where the notion of contract aware components has been influential. For each of these domains we briefly describe what has been done with this idea and we discuss the remaining challenges.Comment: In Proceedings WCSI 2010, arXiv:1010.233

Husbandry factors and health conditions influencing the productivity of French rabbit farms

[EN] In 2009 productivity data from 95 kindling to finishing rabbit farms in France were analysed to identify rearing factors and health conditions that influenced their productivity. Farm productivity, expressed on a yearly basis, was described with 4 productivity indices: doe fertility and prolificacy, viability of young rabbits in the nest and mortality during the fattening period. The productivity data were obtained with the technical support of the farm and expressed in a standardised way. The average numerical productivity observed in the sample of farms was 50.9 rabbits produced per doe and per year (CI95% [49.6-52.2]). The husbandry management and health conditions were described based on a questionnaire filled out during an interview with the farmer and a farm visit. Explanatory data were organised into meaningful blocks relative to biosecurity measures, del using a Partiamaternity management, the sanitary context and the farm structure. The relationship between the 4 thematic blocks and the productivity indices was studied in a single mol Least Squares (PLS) regression model. Fertility (81.0%, CI95% [80.0-82.0]) and viability of young at nest (85.1%, CI95% [85.0-85.3] and mortality rate during fattening: 7.2%, CI95% [6.4-7.9]) were significantly associated with common factors relative to maternity management and the health context whereas prolificacy (9.7 live kits per parturition, CI95% [9.5-9.9]) was mostly influenced by a specific set of variables pertaining to those 2 blocks. Farm structure and biosecurity measures had a limited impact on fertility and on kit viability before weaning. The health conditions of the doe herd and the fattening rabbits were found to be significantly associated with several productivity indexes, but their impacts on productivity were as high as the impact of the other blocks. Genetic strain of the females, doe replacement strategy and nursing and weaning practices appeared to significantly influence reproductive performance, viability of kits before weaning and mortality rate during the fattening period. Maternity management therefore seemed to be the key point in rabbit unit management that governed the numerical productivity of the farm.The authors wish to acknowledge the CLIPP-Lapin de France, the SNGTV (French Veterinary Society - rabbit branch) and the FFC (French Federation of Cuniculture) for their collaboration. We also wish to thank the farmers and the rabbit production organisations who participated in the study. The authors are grateful to Ms. Anaïs Croisier for her participation as an investigator and to Mr. Guillaume Coutelet from the French Institute for Avian Production for his technical expertise. Funding was provided by the French Agency for Veterinary Medicinal Products (ANSES-ANMV)Huneau-Salaün, A.; Bougeard, S.; Balaine, L.; Eono, F.; Le Bouquin, S.; Chauvin, C. (2015). Husbandry factors and health conditions influencing the productivity of French rabbit farms. World Rabbit Science. 23(1):27-37. https://doi.org/10.4995/wrs.2015.3076SWORD2737231Castellini, C., Dal Bosco, A., Arias-Álvarez, M., Lorenzo, P. L., Cardinali, R., & Rebollar, P. G. (2010). The main factors affecting the reproductive performance of rabbit does: A review. Animal Reproduction Science, 122(3-4), 174-182. doi:10.1016/j.anireprosci.2010.10.003Coutelet G. 2011. Performances moyennes des élevages cunicoles en France pour l'année 2010. Cuniculture Magazine, 38: 24-27.EFSA. 2005. Scientific Opinion of the Scientific Panel on Animal Health and Welfare on the impact of the current housing and husbandry systems on the health and welfare of farmed domestic rabbits. EFSA J., 2005: 1-31.Lebas F. 2010. Situation cunicole en France en 2009: performances moyennes des élevages selon les résultats du RENACEB pour l'année 2009, situation du marché cunicole français et premières évaluations pour l'année 2010. Cuniculture Magazine, 37: 74-82.Licois D., Coudert P., Marlier D. 2006. Epizootic rabbit enteropathy. In: L. Maertens, P. Coudert (ed). Recent advances in rabbit sciences. Institute for Agricultural and Fisheries Research, Melle, Belgium, 163-170.Marongiu M.L., Dimauro C., Floris B. 2007. A six-year investigation on reproductive performance of hybrid rabbits. 1. Pregnancy rate and numerical productivity at weaning as affected by season. Ital. J. Anim. Sci., 6: 770-772.Rommers J., Maertens L., Kemp B. 2006. New perspectives in rearing systems for rabbit does. In: L. Maertens, P. Coudert (ed). Recent advances in rabbit sciences. Institute for Agricultural and Fisheries Research, Melle, Belgium, 39-51.Serrano P., Pascual M., Gómez E.A. 2012. Analysis of management techniques on productivity indicators using the bdcuni Spanish database. In Proc.: 10th World Rabbit Congress, 3-6 September, 2012. Sharm El-Sheikh, Egypt. 1: 803-807