A geometric characterization of the upper bound for the span of the jones polynomial

Let D be a link diagram with n crossings, sA and sB be its extreme states and |sAD| (respectively, |sBD|) be the number of simple closed curves that appear when smoothing D according to sA (respectively, sB). We give a general formula for the sum |sAD| + |sBD| for a k-almost alternating diagram D, for any k, characterizing this sum as the number of faces in an appropriate triangulation of an appropriate surface with boundary. When D is dealternator connected, the triangulation is especially simple, yielding |sAD| + |sBD| = n + 2 - 2k. This gives a simple geometric proof of the upper bound of the span of the Jones polynomial for dealternator connected diagrams, a result first obtained by Zhu [On Kauffman brackets, J. Knot Theory Ramifications6(1) (1997) 125–148.]. Another upper bound of the span of the Jones polynomial for dealternator connected and dealternator reduced diagrams, discovered historically first by Adams et al. [Almost alternating links, Topology Appl.46(2) (1992) 151–165.], is obtained as a corollary. As a new application, we prove that the Turaev genus is equal to the number k of dealternator crossings for any dealternator connected diagram

Lower bound cost estimation for logic programs

It is generally recognized that information about the runtime cost of computations can be useful for a variety of applications, including program transformation, granularity control during parallel execution, and query optimization in deductive databases. Most of the work to date on compile-time cost estimation of logic programs has focused on the estimation of upper bounds on costs. However, in many applications, such as parallel implementations on distributed-memory machines, one would prefer to work with lower bounds instead. The problem with estimating lower bounds is that in general, it is necessary to account for the possibility of failure of head unification, leading to a trivial lower bound of 0. In this paper, we show how, given type and mode information about procedures in a logic program, it is possible to (semi-automatically) derive nontrivial lower bounds on their computational costs. We also discuss the cost analysis for the special and frequent case of divide-and-conquer programs and show how —as a pragmatic short-term solution —it may be possible to obtain useful results simply by identifying and treating divide-and-conquer programs specially.

B-LOG: A branch and bound methodology for the parallel execution of logic programs

We propose a computational methodology -"B-LOG"-, which offers the potential for an effective implementation of Logic Programming in a parallel computer. We also propose a weighting scheme to guide the search process through the graph and we apply the concepts of parallel "branch and bound" algorithms in order to perform a "best-first" search using an information theoretic bound. The concept of "session" is used to speed up the search process in a succession of similar queries. Within a session, we strongly modify the bounds in a local database, while bounds kept in a global database are weakly modified to provide a better initial condition for other sessions. We also propose an implementation scheme based on a database machine using "semantic paging", and the "B-LOG processor" based on a scoreboard driven controller.

Virtual-bound, filamentary and layered states in a box-shaped quantum dot of square potential form the exact numerical solution of the effective mass Schrodinger equation

The effective mass Schrodinger equation of a QD of parallelepipedic shape with a square potential well is solved by diagonalizing the exact Hamiltonian matrix developed in a basis of separation-of-variables wavefunctions. The expected below bandgap bound states are found not to differ very much from the former approximate calculations. In addition, the presence of bound states within the conduction band is confirmed. Furthermore, filamentary states bounded in two dimensions and extended in one dimension and layered states with only one dimension bounded, all within the conduction band which are similar to those originated in quantum wires and quantum wells coexist with the ordinary continuum spectrum of plane waves. All these subtleties are absent in spherically shaped quantum dots, often used for modeling.

The major allergens of birch pollen and cow milk, Bet v 1 and Bos d 5, are structurally related to human licocalin 2, enabling them to manipulate T-helper cells depending on their load with siderophore-bound iron

We conclude that Bet v 1 and Bos d 5 not only structurally mimic human LCN2, but also functionally by their ability to bind iron via siderophores. The apo-forms promote Th2 cells, whereas the holo-forms appear to be immunosuppressive. These results provide for the first time a functional understanding on the principle of allergenicity of major allergens from entirely independent sources, like birch and milk.

Membrane-bound state of the colicin E1 channel domain as an extended two-dimensional helical array

Atomic level structures have been determined for the soluble forms of several colicins and toxins, but the structural changes that occur after membrane binding have not been well characterized. Changes occurring in the transition from the soluble to membrane-bound state of the C-terminal 190-residue channel polypeptide of colicin E1 (P190) bound to anionic membranes are described. In the membrane-bound state, the α-helical content increases from 60–64% to 80–90%, with a concomitant increase in the average length of the helical segments from 12 to 16 or 17 residues, close to the length required to span the membrane bilayer in the open channel state. The average distance between helical segments is increased and interhelix interactions are weakened, as shown by a major loss of tertiary structure interactions, decreased efficiency of fluorescence resonance energy transfer from an energy donor on helix V of P190 to an acceptor on helix IX, and decreased resonance energy transfer at higher temperatures, not observed in soluble P190, implying freedom of motion of helical segments. Weaker interactions are also shown by a calorimetric thermal transition of low cooperativity, and the extended nature of the helical array is shown by a 3- to 4-fold increase in the average area subtended per molecule to 4,200 Å2 on the membrane surface. The latter, with analysis of the heat capacity changes, implies the absence of a developed hydrophobic core in the membrane-bound P190. The membrane interfacial layer thus serves to promote formation of a highly helical extended two-dimensional flexible net. The properties of the membrane-bound state of the colicin channel domain (i.e., hydrophobic anchor, lengthened and loosely coupled α-helices, and close association with the membrane interfacial layer) are plausible structural features for the state that is a prerequisite for voltage gating, formation of transmembrane helices, and channel opening.

Propeptide and glutamate-containing substrates bound to the vitamin K-dependent carboxylase convert its vitamin K epoxidase function from an inactive to an active state

The vitamin K-dependent γ-glutamyl carboxylase catalyzes the posttranslational conversion of glutamic acid to γ-carboxyglutamic acid in precursor proteins containing the γ-carboxylation recognition site (γ-CRS). During this reaction, glutamic acid is converted to γ-carboxyglutamic acid while vitamin KH2 is converted to vitamin K 2,3-epoxide. Recombinant bovine carboxylase was purified free of γ-CRS-containing propeptide and endogenous substrate in a single-step immunoaffinity procedure. We show that in the absence of γ-CRS-containing propeptide and/or glutamate-containing substrate, carboxylase has little or no epoxidase activity. Epoxidase activity is induced by Phe-Leu-Glu-Glu-Leu (FLEEL) (9.2 pmol per min per pmol of enzyme), propeptide, residues −18 to −1 of proFactor IX (3.4 pmol per min per pmol of enzyme), FLEEL and propeptide (100 pmol per min per pmol of enzyme), and proPT28 (HVFLAPQQARSLLQRVRRANTFLEEVRK, residues −18 to +10 of human acarboxy-proprothrombin), (5.3 pmol per min per pmol of enzyme). These results indicate that in the absence of propeptide or glutamate-containing substrate, oxygenation of vitamin K by the carboxylase does not occur. Upon addition of propeptide or glutamate-containing substrate, the enzyme is converted to an active epoxidase. This regulatory mechanism prevents the generation of a highly reactive vitamin K intermediate in the absence of a substrate for carboxylation.

Probes bound to myosin Cys-707 rotate during length transients in contraction

It is widely conjectured that muscle shortens because portions of myosin molecules (the “cross-bridges”) impel the actin filament to which they transiently attach and that the impulses result from rotation of the cross-bridges. Crystallography indicates that a cross-bridge is articulated–consisting of a globular catalytic/actin-binding domain and a long lever arm that may rotate. Conveniently, a rhodamine probe with detectable attitude can be attached between the globular domain and the lever arm, enabling the observer to tell whether the anchoring region rotates. Well-established signature effects observed in shortening are tension changes resulting from the sudden release or quick stretch of active muscle fibers. In this investigation we found that closely correlated with such tension changes are changes in the attitude of the rhodamine probes. This correlation strongly supports the conjecture about how shortening is achieved.

Identification of the prooxidant site of human ceruloplasmin: A model for oxidative damage by copper bound to protein surfaces

Free transition metal ions oxidize lipids and lipoproteins in vitro; however, recent evidence suggests that free metal ion-independent mechanisms are more likely in vivo. We have shown previously that human ceruloplasmin (Cp), a serum protein containing seven Cu atoms, induces low density lipoprotein oxidation in vitro and that the activity depends on the presence of a single, chelatable Cu atom. We here use biochemical and molecular approaches to determine the site responsible for Cp prooxidant activity. Experiments with the His-specific reagent diethylpyrocarbonate (DEPC) showed that one or more His residues was specifically required. Quantitative [14C]DEPC binding studies indicated the importance of a single His residue because only one was exposed upon removal of the prooxidant Cu. Plasmin digestion of [14C]DEPC-treated Cp (and N-terminal sequence analysis of the fragments) showed that the critical His was in a 17-kDa region containing four His residues in the second major sequence homology domain of Cp. A full length human Cp cDNA was modified by site-directed mutagenesis to give His-to-Ala substitutions at each of the four positions and was transfected into COS-7 cells, and low density lipoprotein oxidation was measured. The prooxidant site was localized to a region containing His426 because CpH426A almost completely lacked prooxidant activity whereas the other mutants expressed normal activity. These observations support the hypothesis that Cu bound at specific sites on protein surfaces can cause oxidative damage to macromolecules in their environment. Cp may serve as a model protein for understanding mechanisms of oxidant damage by copper-containing (or -binding) proteins such as Cu, Zn superoxide dismutase, and amyloid precursor protein.