Sodium dodecyl sulfate (SDS) is commonly used to extract membrane proteins in proteomics studies; however, it can reduce the efficiency of tryptic digestion and interfere with the results of liquid chromatography-mass spectrometry (LC-MS) analysis. Available methods for removing surfactants, such as ultrafiltration, acetone precipitation, and gel electrophoresis, are not completely satisfactory...

We examine the properties of dependence relations in certain non-elementary classes and first-order simple theories. There are two major parts. The goal of the first part is to identify the properties of dependence relations in certain non-elementary classes that, firstly, characterize the model-theoretic properties of those classes; and secondly, allow to uniquely describe an abstract dependen...

The universal theories of integral domains and of ordered integral domains which have the amalgamation property are characterized via their existentially complete models. The results of A. Macintyre, K. McKenna, and L. van den Dries on fields and ordered fields whose complete theories permit elimination of quantifiers are then derived as easy corollaries. A. Macintyre, K. McKenna, and L. van de...

We use a variational principle to derive a mathematical model for a nematic electrolyte in which the liquid crystalline component is described in terms of a second-rank order tensor. The model extends the previously developed director-based theory and accounts for presence of disclinations and possible biaxiality. We verify the model by considering a simple but illustrative example of liquid cr...

The results in this paper are in a context of abstract elementary classes identified by Shelah and Villaveces in which the amalgamation property is not assumed. The long-term goal is to solve Shelah’s Categoricity Conjecture in this context. Here we tackle a problem of Shelah and Villaveces by proving that in their context, the uniqueness of limit models follows from categoricity under the assu...

The amalgamation operation is frequently used to reduce the number of parts of compositional data but it is a non-linear operation in the simplex with the usual geometry, the Aitchison geometry. The concept of balances between groups, a particular coordinate system designed over binary partitions of the parts, could be an alternative to the amalgamation in some cases. In this work we discuss th...

<p>A graph denoted by is a pair of where non-empty set vertices in G, and E edges G. In theory, there are various types graphs including star graphs, cycle graph, wheel graph. Graph operations on two or more can produce new graphs. Amalgamation one the Suppose connected amalgamating 1 2 joining obtained joins vertex into , common resulting from while edge combining g, g side (

We extend Makkai’s proof of strong amalgamation (push-outs of monos along arbitrary maps are monos) from the category of Heyting algebras to a class which includes the categories of symmetric bounded distributive lattices, symmetric Heyting algebras, Heyting modal S4-algebras, Heyting modal bi-S4-albegras, and Lukasiewicz n-valued algebras. We also extend and improve Pitt’s proof that strong am...

We use κ-free but not Whitehead Abelian groups to construct Abstract Elementary Classes (AEC) which satisfy the amalgamation property but fail various conditions on the locality of Galois-types. We introduce the notion that an AEC admits intersections. We conclude that for AEC which admit intersections, the amalgamation property can have no positive effect on locality: there is a transformation...

Let G be a (totally) ordered (abelian) group. A Gmetric space (X, p) consists of a nonempty set A"and a G-metric />: XxX->-G (satisfying the usual axioms of a metric, with G replacing the ordered group of real numbers). That the amalgamation property holds for the class of all metric spaces is attributed, by Morley and Vaught, to Sierpiñski. The following theorem is proved. Theorem. The class o...