Management of Suspected Cases of Feline Immunodeficiency Virus Infection in Eurasian Lynx (Lynx lynx) During an International Translocation Program.

The Eurasian lynx (Lynx lynx) population in Switzerland serves as a source for reintroductions in neighboring countries. In 2016-2017, three lynx from the same geographical area were found seropositive for feline immunodeficiency virus (FIV) in the framework of an international translocation program. This novel finding raised questions about the virus origin and pathogenicity to lynx, the emerging character of the infection, and the interpretation of serological results in other lynx caught for translocation. Archived serum samples from 84 lynx captured in 2001-2016 were retrospectively tested for FIV antibodies by Western blot. All archived samples were FIV-negative. The three seropositive lynx were monitored in quarantine enclosures prior to euthanasia and necropsy. They showed disease signs, pathological findings, and occurrence of co-infections reminding of those described in FIV-infected domestic cats. All attempts to isolate and characterize the virus failed but serological data and spatiotemporal proximity of the cases suggested emergence of a lentivirus with antigenic and pathogenic similarities to FIV in the Swiss lynx population. A decision scheme was developed to minimize potential health risks posed by FIV infection, both in the recipient and source lynx populations, considering conservation goals, animal welfare, and the limited action range resulting from local human conflicts. Development and implementation of a cautious decision scheme was particularly challenging because FIV pathogenic potential in lynx was unclear, negative FIV serological results obtained within the first weeks after infection are unpredictable, and neither euthanasia nor repatriation of multiple lynx was acceptable options. The proposed scheme distinguished between three scenarios: release at the capture site, translocation, or euthanasia. Until April 2021, none of the 40 lynx newly captured in Switzerland tested FIV-seropositive. Altogether, seropositivity to FIV was documented in none of 124 lynx tested at their first capture, but three of them seroconverted in 2016-2017. Diagnosis of FIV infection in the three seropositive lynx remains uncertain, but clinical observations and pathological findings confirmed that euthanasia was appropriate. Our experiences underline the necessity to include FIV in pathogen screenings of free-ranging European wild felids, the importance of lynx health monitoring, and the usefulness of health protocols in wildlife translocation.

Is xenon a suitable euthanasia agent for mice?

OBJECTIVE: To compare behavioural and electrophysiological variables of mice undergoing gas euthanasia with either xenon (Xe) or carbon dioxide (CO2). STUDY DESIGN: Single animals chronically instrumented for electroencephalography (EEG) recording were randomized to undergo euthanasia with either CO2 or Xe (n = 6 animals per group). ANIMALS: Twelve adult (>6 weeks old) male C57Bl6/n mice. METHODS: Mice were surgically instrumented with EEG and electromyogram electrodes. Following a 7-day recovery period, animals were placed individually in a sealed chamber and a 5-minute baseline recorded in 21% O2. Gas [100% Xe (n = 6) or 100% CO2 (n = 6)] was then added to the chamber at 30% chamber volume minute-1 (2.8 L minute-1) until cessation of breathing. EEG, behaviour (jumping and freezing) and locomotion speed were recorded throughout. RESULTS: Mice undergoing single gas euthanasia with Xe did not show jumping or freezing behaviours and had reduced locomotion speed compared to baseline, in contrast to CO2, which resulted in increases in these variables. EEG recordings revealed sedative effects from Xe but heightened arousal from CO2. CONCLUSIONS: Our data suggest that Xe may be less aversive than CO2 when using a 30% chamber volume minute-1 fill rate and could improve the welfare of mice undergoing gas euthanasia.

Nitrogen gas produces less behavioural and neurophysiological excitation than carbon dioxide in mice undergoing euthanasia.

Carbon dioxide (CO2) is one of the most commonly used gas euthanasia agents in mice, despite reports of aversion and nociception. Inert gases such as nitrogen (N2) may be a viable alternative to carbon dioxide. Here we compared behavioural and electrophysiological reactions to CO2 or N2 at either slow fill or rapid fill in C57Bl/6 mice undergoing gas euthanasia. We found that mice euthanised with CO2 increased locomotor activity compared to baseline, whereas mice exposed to N2 decreased locomotion. Furthermore, mice exposed to CO2 showed significantly more vertical jumps and freezing episodes than mice exposed to N2. We further found that CO2 exposure resulted in increased theta:delta of the EEG, a measure of excitation, whereas the N2 decreased theta:delta. Differences in responses were not oxygen-concentration dependent. Taken together, these results demonstrate that CO2 increases both behavioural and electrophysiological excitation as well as producing a fear response, whereas N2 reduces behavioural activity and central neurological depression and may be less aversive although still produces a fear response. Further studies are required to evaluate N2 as a suitable euthanasia agent for mice.

Severe Conjunctivitis Associated with Chlamydia felis Infection in a Free-ranging Eurasian Lynx ( Lynx lynx).

A free-ranging adult Eurasian lynx ( Lynx lynx) captured in Switzerland presented with a severe purulent unilateral conjunctivitis. Chlamydia felis was detected in conjunctival swabs by real-time quantitative PCR. Systemic treatment with oxytetracycline and ketoprofen led to complete recovery. Infection with C. felis has not been previously reported in Eurasian lynx.

Guided search for hybrid systems based on coarse-grained space abstractions.

Hybrid systems represent an important and powerful formalism for modeling real-world applications such as embedded systems. A verification tool like SpaceEx is based on the exploration of a symbolic search space (the region space). As a verification tool, it is typically optimized towards proving the absence of errors. In some settings, e.g., when the verification tool is employed in a feedback-directed design cycle, one would like to have the option to call a version that is optimized towards finding an error trajectory in the region space. A recent approach in this direction is based on guided search. Guided search relies on a cost function that indicates which states are promising to be explored, and preferably explores more promising states first. In this paper, we propose an abstraction-based cost function based on coarse-grained space abstractions for guiding the reachability analysis. For this purpose, a suitable abstraction technique that exploits the flexible granularity of modern reachability analysis algorithms is introduced. The new cost function is an effective extension of pattern database approaches that have been successfully applied in other areas. The approach has been implemented in the SpaceEx model checker. The evaluation shows its practical potential.