We show that each level of the quantifier alternation hierarchy within FO[<] on words is a variety of languages. We use the notion of condensed rankers, a refinement of the rankers defined by Weis and Immerman, to produce a decidable hierarchy of varieties which is interwoven with the quantifier alternation hierarchy – and conjecturally equal to it. It follows that the latter hierarchy is decid...

This paper considers the robust stability for uncertain fractional-order (FO) descriptor nonlinear systems. A key analysis technique is enabled by proposed a fundamental boundedness lemma, for the first time. It is used for rigorous robust stability analysis of FO systems, especially for Mittag-Leffler stability analysis of FO nonlinear systems. More importantly, how to obtain a more accurate b...

SCOPE Maternal high-fat diet (HFD) promotes obesity and metabolic disturbances in offspring at weaning and adult life. We investigated metabolic consequences of maternal HFD in adolescent rat offspring and the potential benefic effects of fish oil (FO) (n-3 polyunsaturated fatty acid source). METHODS AND RESULTS Female rats received isocaloric, standard diet (STD: 9% fat) or HFD (28.6%) befor...

A program is rst-order reducible (FO-reducible) with respect to (wrt) a set of integrity constraints if there exists a rst-order theory T such that the set of models for T is exactly the set of intended models for the program wrt all possible EDB's. In this case, we say that P is FO-reducible to T wrt IC. For FO-reducible programs, it is possible to characterize, using rst-order logic implicati...

We developed a new type of anal cup for prevention of coprophagy and determined whether the absorption of Ca and Mg and the stimulatory effects of feeding fructo-oligosaccharides (FO) on the absorption of Ca and Mg were altered by prevention of coprophagy in rats. Rats were fed on a FO-free diet or a diet containing 50 g FO/kg for 2 weeks with or without prevention of coprophagy. FO-feeding inc...

PURPOSE To determine the effects of 6wk of supplementation with fish oil (FO) on blood pressure and the morning salivary cortisol concentration in normotensive adults. METHODS Testing was performed following an overnight fast. Subjects (n=40; 35+/-13y, mean+/-SD) rested supine for 40min, at which time blood pressure and heart rate were measured. Saliva was collected and analyzed for cortisol....

High frequency oscillatory activity (>200Hz) termed “fast oscillations” or FO have been recorded in the rodent somatosensory cortex, and may reflect very rapid integration of vibrissal information in sensory cortex. Yet, while electrophysiological correlates suggest that FO is generated within intra-cortical networks, contributions of subcortical structures along the trigeminal pathway remain u...

High-frequency oscillatory activity (>200 Hz) termed "fast oscillations" (FO) have been recorded in the rodent somatosensory cortex and may reflect very rapid integration of vibrissal information in sensory cortex. Yet, while electrophysiological correlates suggest that FO is generated within intracortical networks, contributions of subcortical structures along the trigeminal pathway remain unc...

The present work aimed to evaluate the effect of partial pork backfat replacement by microencapsulated fish oil (FO) on rheological characteristics, nutritional features (proximate composition and fatty acid profile), physicochemical parameters (pH, colour, texture), sensory quality (descriptive analysis hedonic study) liver pâtés. Three different batches were elaborated: (i) control (CON) with...

The Gulf of Maine, USA is home to four colonial co-nesting tern species: Least Tern (Sternula antillarum), Common (Sterna hirundo), Arctic paradisaea), and the federally endangered Roseate dougallii). Over three decades visual observations chick provisioning were compiled for a comparative dietary study in region, including first detailed descriptions diets. Three prey groups comprised majority...