Z. Rehák

Learn More
BACKGROUND White-nose syndrome is a disease of hibernating insectivorous bats associated with the fungus Geomyces destructans. It first appeared in North America in 2006, where over a million bats died since then. In Europe, G. destructans was first identified in France in 2009. Its distribution, infection dynamics, and effects on hibernating bats in Europe(More)
Host traits and phylogeny can determine infection risk by driving pathogen transmission and its ability to infect new hosts. Predicting such risks is critical when designing disease mitigation strategies, and especially as regards wildlife, where intensive management is often advocated or prevented by economic and/or practical reasons. We investigated(More)
The paper considers the problem of model checking real-life VHDL-based hardware designs via their automated transformation to a model verifiable using the SMV model checker. In particular, model checking of asynchronous designs, i.e., designs driven by multiple clocks, is discussed. Two original approaches to compiling asynchronous VHDL designs to the SMV(More)
BACKGROUND The role of 18F-fluorodeoxyglucose positron emission computed tomography (18F-FDG PET/CT) is increasing in the diagnosis of polymyalgia rheumatica (PMR), one of the most common inflammatory rheumatic diseases. In addition to other locations, increased 18F-FDG accumulation has been detected in the praepubic region in some patients. However, a(More)
Because body temperature is tightly coupled to physiological function, hibernating animals entering deep torpor are typically immobile. We analysed thermal behaviour and locomotory activity of hibernating greater mouse-eared bats Myotis myotis and found two types of movement behaviour related to body temperature, i.e. movement at high fur temperature and at(More)
  • 1