Association between antimicrobial usage, biosecurity measures as well as farm performance in German farrow-to-finish farms

Background: Antimicrobial usage in food producing animals is of major concern. A clear link between the extent of use and the development of antimicrobial resistance has already been demonstrated. To evaluate strategies that may reduce the antimicrobial usage while assuring pig health and welfare, it requires profound knowledge of factors that are associated with antimicrobial usage. Data on biosecurity and herd management practices are important parameters to identify risk factors which are related to a higher antimicrobial usage. To investigate between-farm variations of high and low usage the treatment incidence (TI) per age group in 60 German farrow-to-finish herds was qualitatively and quantitatively analysed and linked to biosecurity measures, and herd management characteristics. Results: Weaned pigs received most of the treatments (median TI=487.6), followed by suckling pigs (median TI=138.9). Suckling pigs were treated with critically important antimicrobials (3rd and 4th generation cephalosporines) to a remarkable extent. The number of sows present at site (p<0.01) and a low score for external biosecurity (p=0.06) were associated with a higher antimicrobial usage in pigs from birth till slaughter. Herds with a higher treatment incidence in growing pigs (TI 200days): i) were located in a region with a high pig density (p<0.01), ii) had a less strict access check for visitors and personnel (p<0.01) and iii) scored lower in the subcategory cleaning and disinfection' (internal biosecurity) (p<0.01). Herds with a higher treatment incidence in breeding pigs weaned more piglets per sow and year and scored better in the internal biosecurity level (p=0.02). Conclusions: With the main focus on the treatment incidence in pigs from birth till slaughter and in breeding pigs risk factors for a high usage in these age groups were identified. The level of biosecurity of a herd was associated with the amount of antimicrobials used. Therefore, the findings in this study indicate possible points of action in the reduction and prudent use of antimicrobials in Germany. The active improvement of biosecurity measures could be a promising alternative to reduce antimicrobial usage on herd level

A qualitative assessment of the probability of human exposure to Trichinella spp. in Switzerland

Trichinellosis is a zoonotic disease caused by Trichinella spp. Pork is a potential source of infection for humans. A qualitative assessment was conducted to assess the probability of human exposure to Trichinella spp. in Switzerland via the consumption of pork. For the assessment, both the wildlife cycle and the domestic cycle were taken into account. The probability of occurrence of Trichinella infections in domestic pigs was assessed negligible under controlled housing systems due to biosecurity measures. Free-range pigs were assessed to have a very low probability of being infected. Pork from free-range pigs that were not tested for Trichinella spp. was estimated to carry a very low probability for human exposure to Trichmella spp

Comparing the demonstration of freedom from Trichinella infection of domestic pigs by traditional and risk-based surveillance

Traditionally, the routine artificial digestion test is applied to assess the presence of Trichinella larvae in pigs. However, this diagnostic method has a low sensitivity compared to serological tests. The results from artificial digestion tests in Switzerland were evaluated over a time period of 15 years to determine by when freedom from infection based on these data could be confirmed. Freedom was defined as a 95% probability that the prevalence of infection was below 0·0001%. Freedom was demonstrated after 12 years at the latest. A new risk-based surveillance approach was then developed based on serology. Risk-based surveillance was also assessed over 15 years, starting in 2010. It was shown that by using this design, the sample size could be reduced by at least a factor of 4 when compared with the traditional testing regimen, without lowering the level of confidence in the Trichinella-free status of the pig populatio

Surveillance strategies for Classical Swine Fever in wild boar – a comprehensive evaluation study to ensure powerful surveillance

Surveillance of Classical Swine Fever (CSF) should not only focus on livestock, but must also include wild boar. To prevent disease transmission into commercial pig herds, it is therefore vital to have knowledge about the disease status in wild boar. In the present study, we performed a comprehensive evaluation of alternative surveillance strategies for Classical Swine Fever (CSF) in wild boar and compared them with the currently implemented conventional approach. The evaluation protocol was designed using the EVA tool, a decision support tool to help in the development of an economic and epidemiological evaluation protocol for surveillance. To evaluate the effectiveness of the surveillance strategies, we investigated their sensitivity and timeliness. Acceptability was analysed and finally, the cost-effectiveness of the surveillance strategies was determined. We developed 69 surveillance strategies for comparative evaluation between the existing approach and the novel proposed strategies. Sampling only within sub-adults resulted in a better acceptability and timeliness than the currently implemented strategy. Strategies that were completely based on passive surveillance performance did not achieve the desired detection probability of 95%. In conclusion, the results of the study suggest that risk-based approaches can be an option to design more effective CSF surveillance strategies in wild boar

Does having a cat in your house increase your risk of catching COVID-19?

[EN]Due to the zoonotic origin of SARS-Coronavirus 2 (SARS-CoV-2), the potential for its transmission from humans back to animals and the possibility that it might establish ongoing infection pathways in other animal species has been discussed. Cats are highly susceptible to SARS-CoV-2 and were shown experimentally to transmit the virus to other cats. Infection of cats has been widely reported. Domestic cats in COVID-19-positive households could therefore be a part of a human to animal to human transmission pathway. Here, we report the results of a qualitative risk assessment focusing on the potential of cat to human transmission in such settings. The assessment was based on evidence available by October 2021. After the introduction of SARS-CoV-2 to a household by a human, cats may become infected and infected cats may pose an additional infection risk for other members of the household. In order to assess this additional risk qualitatively, expert opinion was elicited within the framework of a modified Delphi procedure. The conclusion was that the additional risk of infection of an additional person in a household associated with keeping a domestic cat is very low to negligible, depending on the intensity of cat-to-human interactions. The separation of cats from humans suffering from SARS-CoV-2 infection should contribute to preventing further transmission.SIThis work was funded by the German Federal Ministry of Education and Research within the COVMon Project, being part of the InfectControl2020 Initiative (BMBF grant no. 03COV16D)

On completeness of logic programs

Program correctness (in imperative and functional programming) splits in logic programming into correctness and completeness. Completeness means that a program produces all the answers required by its specification. Little work has been devoted to reasoning about completeness. This paper presents a few sufficient conditions for completeness of definite programs. We also study preserving completeness under some cases of pruning of SLD-trees (e.g. due to using the cut). We treat logic programming as a declarative paradigm, abstracting from any operational semantics as far as possible. We argue that the proposed methods are simple enough to be applied, possibly at an informal level, in practical Prolog programming. We point out importance of approximate specifications.Comment: 20 page

White House Officials at USD March 10 and 11

We numerically investigate the interaction between propagating spin waves and a transverse domain wall in a nanowire by using micromagnetic simulations. In order to understand the mechanisms that lead to domain wall motions, we calculate domain wall velocity in a defect-free nanowire and the depinning fields for a pinned domain wall that is depinned in and against the direction of the spin-wave propagation. We find that the physical origin of the spin-wave-induced domain wall motion strongly depends on the propagating spin-wave frequency. At certain spin-wave frequencies, transverse domain wall vibrations lead to transverse wall displacements by the spin waves, while at other frequencies, large spin-wave reflection drives domain wall motion. By analyzing the depinning field calculations, the different underlying physical mechanisms are distinguished

Concepts for risk-based surveillance in the field of veterinary medicine and veterinary public health: Review of current approaches

BACKGROUND: Emerging animal and zoonotic diseases and increasing international trade have resulted in an increased demand for veterinary surveillance systems. However, human and financial resources available to support government veterinary services are becoming more and more limited in many countries world-wide. Intuitively, issues that present higher risks merit higher priority for surveillance resources as investments will yield higher benefit-cost ratios. The rapid rate of acceptance of this core concept of risk-based surveillance has outpaced the development of its theoretical and practical bases. DISCUSSION: The principal objectives of risk-based veterinary surveillance are to identify surveillance needs to protect the health of livestock and consumers, to set priorities, and to allocate resources effectively and efficiently. An important goal is to achieve a higher benefit-cost ratio with existing or reduced resources. We propose to define risk-based surveillance systems as those that apply risk assessment methods in different steps of traditional surveillance design for early detection and management of diseases or hazards. In risk-based designs, public health, economic and trade consequences of diseases play an important role in selection of diseases or hazards. Furthermore, certain strata of the population of interest have a higher probability to be sampled for detection of diseases or hazards. Evaluation of risk-based surveillance systems shall prove that the efficacy of risk-based systems is equal or higher than traditional systems; however, the efficiency (benefit-cost ratio) shall be higher in risk-based surveillance systems. SUMMARY: Risk-based surveillance considerations are useful to support both strategic and operational decision making. This article highlights applications of risk-based surveillance systems in the veterinary field including food safety. Examples are provided for risk-based hazard selection, risk-based selection of sampling strata as well as sample size calculation based on risk considerations

A formally verified compiler back-end

This article describes the development and formal verification (proof of semantic preservation) of a compiler back-end from Cminor (a simple imperative intermediate language) to PowerPC assembly code, using the Coq proof assistant both for programming the compiler and for proving its correctness. Such a verified compiler is useful in the context of formal methods applied to the certification of critical software: the verification of the compiler guarantees that the safety properties proved on the source code hold for the executable compiled code as well