Echium oil (EO), which is enriched in SDA (18:4 n-3), reduces plasma triglyceride (TG) concentrations in humans and mice. We compared mechanisms by which EO and fish oil (FO) reduce plasma TG concentrations in mildly hypertriglyceridemic male apoB100-only LDLrKO mice. Mice were fed one of three atherogenic diets containing 0.2% cholesterol and palm oil (PO; 20%), EO (10% EO + 10% PO), or FO (10...

Verification of properties of first order logic with two variables FO has been investigated in a number of contexts. Over arbitrary structures it is known to be decidable with NEXPTIME complexity, with finitely satisfiable formulas having exponential-sized models. Over word structures, where FO is known to have the same expressiveness as unary temporal logic, the same properties hold. Over fini...

Received (received date) Revised (revised date) The freeze out of the expanding systems, created in relativistic heavy ion collisions, will be discussed. We combine kinetic freeze out equations with Bjorken type system expansion into a unified model. Such a model is a more physical generalization of the earlier simplified non-expanding freeze out models. We shall see that the basic freeze out f...

Purpose. Motor freezing, the inability to produce effective movement, is associated with decreasing amplitude, hastening of movement, and poor coordination. We investigated how manipulations of movement amplitude and cadence affect upper extremity (UE) coordination as measured by the phase coordination index (PCI)-only previously measured in gait-and freezing of the upper extremity (FO-UE) in p...

We identify the computational complexity of the satisfiability problem for FO, the fragment of first-order logic consisting of all relational first-order sentences with at most two distinct variables. Although this fragment was shown to be decidable a long time ago, the computational complexity of its decision problem has not been pinpointed so far. In 1975 Mortimer proved that FO has the finit...

We consider First-Order Linear Temporal Logic (FO-LTL) over linear time N. We focus on finding models with finite first-order domains for FO-LTL formulas. More precisely, we investigate the complexity of the following problem: given a formula φ and an integer n, is there a model of φ with domain of cardinality at most n? We show that depending on the logic considered (FO or FO-LTL) and on the p...

H2B H3N-PEPAKSA...PKKGSKKAVTKAQKKD...RKRSRKE SYS...YKVLK ...TGISSK...S...SEASRLAHYNKRSTITSRE...VRL ...AKH...GTKAVTKYTSAK-COO10 20 29 30 42 52 64 75 80 90 98 107 114 120 100 Ar Ph Ph Ac Ar Ph OH Ph Ph Ph Ph Me OH Me Ph Ph Ph Me Me Ph Ph Ac Me/Ac/Bu/Cr Hib/Su/Fo Ac Bu Cr Me Ac Bu Cr Hib Me Ac Bu Cr Ac Bu Cr Me/Ac/Bu Cr/Hib/Ub Me Ac Bu Cr Hib Ac Hib Me/Cr/Hib Su/ Ub / Fo Ph Og Me Ac Hib Su Fo Me/A...

Bioelectrochemical systems (BES) and forward osmosis (FO) are two emerging technologies with great potential for energy-efficient water/wastewater treatment. BES takes advantage of microbial interaction with a solid electron acceptor/donor to accomplish bioenergy recovery from organic compounds, and FO can extract high-quality water driven by an osmotic pressure. The strong synergy between thos...

In this paper, we propose a low-complexity and efficient carrier recovery algorithm for single carrier transmission systems that is capable of tracking frequency offset (FO) variations. Working as a FO tracking estimator, the algorithm demonstrates good accuracy in simulation and a FO drift of up to 200 MHz/μs can be compensated with minimal degradation in a QPSK system. In 112 Gb/s dual polari...

This paper develops a fractional-order (FO) power rate type reaching law for sliding mode control (SMC) of nonlinear integer order systems with disturbance and uncertainty. The proposed FO power rate type reaching law, including an FO derivative function, is proven to ensure that the state trajectories achieve to the switching surface in a finite time. Most importantly, the calculation formula ...