We study timed systems in which some timing features are unknown parameters.Parametric timed automata (PTAs) are a classical formalism for such systems but for which most interesting problems are undecidable.Notably, the parametric reachability emptiness problem, i.e., the emptiness of the parameter valuations set allowing to reach some given discr
Abstract This work shows that a soft, thin film comprising randomly aligned carbon nanotubes (CNTs) can reduce surface wear more effectively than a homogeneous thin film because of enhanced elastic recoverability superdry baseball top and contact stress relief originating from its mesh structure.To investigate the wear characteristics of the mesh s
Describing the structure and function of the amphibian cutaneous microbiome has gained importance with the spread of Batrachochytrium dendrobatidis (Bd), the fungal pathogen that can cause the skin disease chytridiomycosis.Sampling amphibian skin microbiota is tonic shower cap needed to characterize current infection status and to help predict futu
This study aims to investigate macroinvertebrate assemblage structure and composition across the three major waterbody types (temporary rivers, depression wetlands and semi-permanent dams) of the Eastern Cape Karoo, and to identify important environmental and spatial correlates of macroinvertebrate assemblage composition in the region.A total of 33