BACKGROUND To ensure the suitability of an infant formula as the sole source of nutrition or provide benefits similar to outcomes in breastfed infants, advancements in formula composition are warranted as more research detailing the nutrient composition of human milk becomes available. This study was designed to evaluate growth and tolerance in healthy infants who received one of two investigat...

introduction: the potential benefit of ultrasonography for detection of thoracic bone fractures has been proven in various surveys but no comprehensive conclusion has been drawn yet; therefore, the present study aimed to conduct a thorough meta-analytic systematic review on this subject. methods: two reviewers independently carried out a comprehensive systematic search in medline, embase, isi w...

The swing-twist decomposition is a standard routine in motion planning for humanoid limbs. In this paper the decomposition formulas are derived and discussed in terms of Clifford algebra. With the decomposition one can express an arbitrary spinor as a product of a twist-free spinor and a swingfree spinor (or vice-versa) in 3-dimensional Euclidean space. It is shown that in the derived decomposi...

One of the long-standing problems on logic programming is to express exception handling in a high-level way. We argue that this problem can be solved by adopting computability logic and sequential-choice disjunctive goal formulas of the form G0 ▽ G1 where G0, G1 are goals. These goals have the following intended semantics: sequentially choose the first true goal Gi and execute Gi where i(= 0 or...

System in Adult and Pediatric Patients with Meningitis and a Negative Gram Stain Susan Wootton, MD; Elizabeth Aguilera, MD; Lucrecia Salazar, MD; Andrew Hemmert, PhD; Rodrigo Hasbun, MD, MPH; Pediatrics, University of Texas Health Science Center, Houston, TX; Division of Infectious Diseases, University of Texas Medical School at Houston, Houston, TX; BioFire Diagnostics, LLC, Salt Lake City, UT...

There are two ways to generalize basic constructions of commutative algebra for a noncommutative case. More traditional way is to define commutative functions like trace or determinant over noncommuting variables. Beginning with [6] this approach was widely used by different authors, see for example [5], [15], [14], [12], [11], [7]. However, there is another possibility to work with purely nonc...

In this paper we define the notion of frame based formulas. We show that the well-known examples of formulas arising from a finite frame, such as the Jankov-de Jongh formulas, subframe formulas and cofinal subframe formulas, are all particular cases of the frame based formulas. We give a criterion for an intermediate logic to be axiomatizable by frame based formulas and use this criterion to ob...

Variants of the Remez algorithm for best polynomial approximation are presented based on two key features: the use of the barycentric interpolation formula to represent the trial polynomials, and the setting of the whole computation in the chebfun system, where the determination of local and global extrema at each iterative step becomes trivial. The new algorithms make it a routine matter to co...

Communicative language use largely entails regular patterns consisting of pre-constructed phrases or sequences. These sequences have been examined by many researchers to find the situation-based formulas which may help L2 learners follow a possibly more target-like speaking system. This study, therefore, explored two categories of formulaic expressions including speech formulas and situation-bo...