The objective was to examine effects of bovine somatotropin (bST), pregnancy, and dietary fatty acids on reproductive responses in lactating dairy cows. Beginning at approximately 17 d in milk (DIM), a comparison was made of isoenergetic diets comprising supplementary lipids of whole cottonseed vs. calcium salts of fish oil enriched lipid (FO). Ovulation was synchronized in cows with a presynch...

We propose a new type of algorithm for computing firstorder (FO) rewritings of concept queries under EL-TBoxes that is tailored towards efficient implementation. The algorithm outputs a non-recursive datalog rewriting if the input is FO-rewritable and otherwise reports non-FO-rewritability. We carry out experiments with ontologies from practical applications which show that our algorithm perfor...

We establish that the decidability of the first order theory of a class of finite structures is a simple and useful condition for guaranteeing that the expressive power of FO + LFP properly extends that of FO on , unifying separation results for various classes of structures that have been studied. We then apply this result to show that it encompasses certain constructive pebble game techniques...

One of the limiting factors in good performance of forward osmosis (FO) membranes is the internal concentration polarization (ICP). To reduce ICP, thin film nanocomposite forward osmosis (TFN-FO) membranes were fabricated by adding different amounts of graphene oxide (GO) nanoplates (0-1 wt. %) to polymer matrix of polysulfone (PSf) substrate. The prepared nanocomposite membranes exhibited both...

We propose axiomatizations of monadic second-order logic (MSO), monadic transitive closure logic (FO(TC1)) and monadic least fixpoint logic (FO(LFP1)) on finite node-labeled sibling-ordered trees. We show by a uniform argument, that our axiomatizations are complete, i.e., in each of our logics, every formula which is valid on the class of finite trees is provable using our axioms. We are intere...

Model checking linear-time properties expressed in first-order logic has nonelementary complexity, and thus various restricted logical languages are employed. In this paper we consider two such restricted specification logics, linear temporal logic (LTL) and two-variable first-order logic (FO). LTL is more expressive but FO can be more succinct, and hence it is not clear which should be easier ...

Producing organic fish diets requires that the use of both fishmeal and fish oil (FO) be minimized and replaced by sustainable, organic sources. The purpose of the present study was to replace FO with organic oils and evaluate the effects on feed intake, feed conversion ratio (FCR), daily specific growth rate (SGR) and nutrient digestibility in diets in which fishmeal protein was partly substit...

BACKGROUND Hepatic dysfunction is a complication associated with parenteral nutrition (PN). Our primary objective was to study the relationship between doses of intravenous fish oil (FO) emulsion in PN and the variation in the main liver function tests (LFTs) in hospitalized PN-treated adults. As a secondary objective, we studied the safety of FO administration. METHODS We conducted a retrosp...

Forward osmosis (FO) is a promising membrane technology to combine seawater desalination and water reuse. More specifically, in a FO-reverse osmosis (RO) hybrid process, high quality water recovered from the wastewater stream is used to dilute seawater before RO treatment. As such, lower desalination energy needs and/or water augmentation can be obtained while delivering safe water for direct p...

This study was designed to determine whether nasal airflow resistance (Rn) which is nonlinear during tidal breathing, can be assessed by the forced oscillation (FO) technique. Rn values obtained by the FO technique and extrapolated to 0 Hz (Rn,FO) were compared to those assessed by posterior rhinomanometry at maximal tidal inspiratory flow (Rn,m), at a 0.5 L x s(-1) flow (Rn,F), and at a 1 hPa ...