Every theory we will consider will be in a language that has a name ṅ for each n ∈ ω. For example, the name for 2 ∈ ω in the language LΩ of arithmetic is the term “1 + 1”. The results stated will only apply to countable languages. This requirement is implicit in the hypothesis of the existence of an enumeration of all formulas with one free variable, for example. We also assume that formulas an...

In this paper, we introduce a new fragment of the rst-order temporal language, called the monodic fragment, in which all formulas beginning with a temporal operator (Since or Until) have at most one free variable. We show that the satissability problem for monodic formulas in various linear time structures can be reduced to the satissability problem for a certain fragment of classical rst-order...

This study focused on the aquatic insect community in the longitudinal gradient and temporal scales of the Jadro River. The river was sampled for a period of ten years (2000- 2010), four times per year through the various seasons, along the river course. Sampling stations were selected in the upper, middle, and downstream parts of the river. A total of 21,852 specimens of aquatic insects belong...

In performing risk assessments for plant protection products by applicants or regulators in relation to the registration of the products, an important aspect to take into account is the foliar interception and retention of the active substance of the product on the plant. An overview is given of the approaches to this item in several parts of the world. The relevant circumstances and influencin...

Synchronous fluorescence (SF) spectra of dissolved organic matter (DOp/I) show promise for mixing studies and can resolve multiple river inputs to large water masses in a single fast measurement. This study examines the effects of physicochemical variables on DOM SF independent of mixing. Our results show that changes in the pH and metal ion concentration do not affect SF in the alkaline Cuyaho...

Sediments in eight types of mangroves were sampled in the Leizhou Peninsula. Heavy metals were analyzed to investigate the effects on metal distribution of mangrove communities, to evaluate contamination levels, identify sources and relationships between the two. Results showed that mangrove communities have effects on most heavy metal distributions in sediments, especially in the sediment with...

Response surface methodology (RSM) was utilized to investigate the influence of the main emulsion composition; mixture of palm and medium-chain triglyceride (MCT) oil (6%-12% w/w), lecithin (1%-3% w/w), and Cremophor EL (0.5%-1.5% w/w) as well as the preparation method; addition rate (2-20 mL/min), on the physicochemical properties of palm-based nanoemulsions. The response variables were the th...

The IWA Anaerobic Digestion Modelling Task Group was established in 1997 at the 8th World Congress on Anaerobic Digestion (Sendai, Japan) with the goal of developing a generalised anaerobic digestion model. The structured model includes multiple steps describing biochemical as well as physicochemical processes. The biochemical steps include disintegration from homogeneous particulates to carboh...

Several petroleum pitches have been prepared by thermal treatment of various petroleum-derived residues such as clarified oil, aromatic extract and pyrolysis tars. These pitches were characterized physico-chemically (softening point, coking value, QI, & TI) and instrumentally (NMR) and compared. Attempts have been made to correlate physicochemical properties of petroleum residues and pitches wi...

Many organic compounds cause an irreversible damage to human health and the ecosystem and are present in water resources. Among these hazard substances, phenolic compounds play an important role on the actual contamination. Utilization of membrane technology is increasing exponentially in drinking water production and waste water treatment. The removal of organic compounds by nanofiltration mem...