This paper gives a new proof for the approximation theorem and the characterisation of normalisability using intersection types for a system with ω and a ≤-relation that is contravariant over arrow types. The technique applied is to define reduction on derivations and to show a strong normalisation result for this reduction. From this result, the characterisation of strong normalisation and the...

In this paper we give the first characterisation of graphs with linear clique-width at most 3, and we give a polynomial-time recognition algorithm for such graphs. In addition, we give a new characterisation of graphs with linear clique-width at most 2 and a new layout characterisation of linear clique-width in general. Among our results is also a decomposition scheme that preserves the linear ...

Atmospheric pressure plasmas are becoming relevant in local microbial deactivation and other combined effects of on living organisms. For this reason, our research was focussed optimisation atmospheric plasma jet (APPJ) parameters to complete the different bacteria strains a medium. Different helium APPJ treatments with discharge were used, such as input voltages gas flows. To better understand...

Conventional geotechnical practice considers that soil is an inert construction material and its engineering properties do not change with time. However, a living ecosystem, naturally as stable ecological system gradually established following initial construction. Over the last few decades, researchers started exploring way to engineer some microorganisms’ activities in order solve problems en...

The increasing levels of drug resistance are one of biggest threats to overcome microbial infection. The ability to rapidly and accurately detect a given pathogen and its drug resistance profile is essential for the appropriate treatment of patients and for preventing further spread of drug-resistant strains. The predictive and informative value of these molecular markers needs to be translated...

Diarrhoeal diseases, almost all of which are caused by food-borne or waterborne microbial pathogens, are leading causes of illness and death in less developed countries, killing an estimated 1.9 million people annually at the global level. Even in developed countries, it is estimated that up to one third of the population are affected by microbiological food-borne diseases each year. The majori...

BACKGROUND The product yield and titers of biological processes involving the conversion of biomass to desirable chemicals can be limited by environmental stresses encountered by the microbial hosts used for the bioconversion. One of these main stresses is growth inhibition due to exposure to low pH conditions. In order to circumvent this problem, understanding the biological mechanisms involve...

We show that the no betting characterisation of the existence of common priors over finite type spaces extends only partially to improper priors in the countably infinite state space context: the existence of a common prior implies the absence of a bounded agreeable bet, and the absence of a common improper prior implies the existence of a bounded agreeable bet. However, a type space that lacks...

Simpson, A.K., A characterisation of the least-fixed-point operator by dinaturality, Theoretical Computer Science 118 (1993) 301-314. The paper addresses the question of when the least-fixed-point operator, in a Cartesian-closed category of domains, is characterised as the unique dinatural transformation from the exponentiation bifunctor to the identity functor. We give a sufficient condition o...