In this work, metataxonomic-compositional data analysis was applied to study the influence of inoculation, type ecosystem (brine or fruit), and time fermentation (0, 24, 83 days) on bacterial composition dynamic during industrial Manzanilla Spanish-style green table olive fermentations. Differences in physicochemical microbiological characteristics between inoculated spontaneous fermentations w...

A kinematic analysis was made of swimming of larval herring Clupea harengus L. Swimming style was found to change with growth and development; the amplitude of swimming movements of early post-yolk-sac larvae increases linearly towards the tail, a style of swimming which relies mainly on resistive forces for propulsion. Later, after the caudal and dorsal fins have developed, the swimming style ...

This thesis investigates the application of the service-oriented architectural style in the context of industrial enterprises. This style provides a commonly perceived paradigm to organize distributed software systems. However, beyond the attention this style attracts, little description exists on what differentiates service orientation from already more mature styles, such as component orienta...

The model theory of metric structures ([?]) was successfully applied to analyze ultrapowers of C*-algebras in [?] and [?]. Since important classes of separable C*-algebras, such as UHF, AF, or nuclear algebras, are not elementary (i.e., not characterized by their theory—see [?, §6.1]), for a moment it seemed that model theoretic methods do not apply to these classes of C*-algebras. We prove res...

An omitting types theorem for countable models of superstable theories containing an infinite set of indiscernibles is proved. Various corollaries and applications are given. 1. One of the most useful ways that the model theorist has for controlling models is to attempt to specify the element types that models realize and omit. In this paper we present an omitting types theorem which seems well...

We show that the class of 1-exact operator systems is not uniformly definable by a sequence of types. We use this fact to show that there is no finitary version of Arveson’s extension theorem. Next, we show that WEP is equivalent to a certain notion of existential closedness for C∗-algebras and use this equivalence to give a simpler proof of Kavruk’s result that WEP is equivalent to the complet...