The specification logic νZ

This paper introduces a wide-spectrum specification logic νZ. The minimal core logic is extended to a more expressive specification logic which includes a schema calculus similar (but not equivalent) to Z, new additional schema operators, and extensions to programming and program development logics.     

Learning to Predict Non-Deterministically Generated Strings

In this article we present an algorithm that learns to predict non-deterministically generated strings. The problem of learning to predict non-deterministically generated strings was raised by Dietterich and Michalski (1986). While their objective was to give heuristic techniques that could be used to rapidly and effectively learn to predict a somewhat limited class of strings, our objective is to give an algorithm which, though impractical, is capable of learning to predict a very general class. Our algorithm is meant to provide a general framework within which heuristic techniques can be effectively employed.     

Evidence for interaction between transmembrane segments in assembly of Kv1.3

Previously, we showed that the N-terminal recognition domain (T1) of Kv1.3 was not required for assembly of functional channels [Tu et al. (1996) J. Biol. Chem. 271, 18904-18911]. Moreover, specific Kv1.3 peptide fragments including regions of the central core are able to inhibit expression of current produced from a channel lacking the T1 domain, Kv1.3(T1-). To elucidate the mechanism whereby Kv1.3 peptide fragments suppress Kv1.3(T1-) current, we have studied the ability of peptide fragments containing the transmembrane segments S1, S1-S2, or S1-S2-S3 to physically associate with the Kv1.3(T1-) polypeptide subunit in vitro in microsomal membranes. Using c-myc (9E10) epitope-labeled peptide fragments and anti-myc antibody as well as antisera to the Kv1.3 C-terminus, we now demonstrate specific association of these peptide fragments with Kv1.3(T1-). Association of peptide fragments with Kv1.3(T1-) was correlated with integration of both proteins into the membrane. Furthermore, the relative strength and kinetics of this association directly correlated with the ability of fragments to suppress Kv1.3(T1-) current. The rate-limiting step in the sequential synthesis, integration, and formation of a complex was the association of integrated polypeptides within the plane of the lipid bilayer. These results strongly suggest that the physical association of transmembrane segments provides the basis for suppression of K+ channel function by K+ channel peptide fragments in vivo. Moreover, the S1-S2-S3 peptide fragment potently suppressed full-length Kv1.3, thus implicating a role for the S1-S2-S3 region of Kv1.3 in the assembly of the Kv1.3 channel. We refer to these putative association sites as IMA (intramembrane association) sites.     

Detection of melanoma by monitoring the intracellular fluorescein fluorescence polarization changes in lymphocytes

The effectiveness of detecting melanoma by measuring the intracellular fluorescein fluorescent polarization (IFFP) of patients' SCM (structuredness of the cytoplasmic matrix)-responding lymphocytes was examined. SCM-responding lymphocytes from 46 melanoma patients and 32 healthy volunteers were labeled with fluorescein diacetate and challenged with different stimuli, and the resulting polarization was determined. The polarizations (P) obtained upon stimulation with nothing (P-0), encephalitogenic factor (P-EF), phytohaemagglutinin (P-PHA), or melanoma antigen (P-MEL), and the ratios RR(ef) (P-EF/P-PHA) and RR(mel) (P-MEL/P-PHA) were lower for SCM-responding lymphocytes from the patients as a group than for those of the controls. The specificity and sensitivity of the IFFP tests (using cutoff values) to detect melanoma were 90.6 and 73.9%, respectively. The IFFP tests may facilitate the discrimination between melanoma patients and healthy subjects, and may be used in follow-up of patients with melanoma.     

Dynamic stiffness vibration analysis using a high‐order beam model

This work presents the derivation of the exact dynamic stiffness matrix for a high‐order beam element. The terms are found directly from the solutions of the differential equations that describe the deformations of the cross‐section according to the high‐order theory, which include cubic variation of the axial displacements over the cross‐section of the beam. The model has six degrees of freedom at the two ends, one transverse displacement and two rotations, and the end forces are a shear force and two end moments. Using the dynamic stiffness matrix exact vibration frequencies for beams with various combinations of boundary conditions are tabulated and compared with results from the Bernoulli–Euler and Timoshenko beam models. Copyright © 2003 John Wiley & Sons, Ltd.     

A branch and cut algorithm for the VRP with satellite facilities

An important aspect of the vehicle routing problem (VRP) that has been largely overlooked is the use of satellite facilities to replenish vehicles during a route. When possible, satellite replenishment allows the drivers to continue making deliveries until the close of their shift without necessarily returning to the central depot. This situation arises primarily in the distribution of fuels and certain retail items. When demand is random, optimizing customer routes a priori may result in significant additional costs for a particular realization of demand. Satellite facilities are one way of safeguarding against unexpected demand. This paper presents a branch and cut methodology for solving the VRP with satellite facilities subject to capacity and route time constraints. We begin with a mixed-integer linear programming formulation and then describe a series of valid inequalities that can be used to cut off solutions to the linear programming relaxation. Several separation heuristics are then outlined that are used to generate the cuts. Embedded in the methodology is a VRP heuristic for finding good feasible solutions at each stage of the computations. Results are presented for a set of problems derived from our experience with a leading propane distributor.     

Energy Trapping in Dications

The energy interaction curves of a number of diatomic and polyatomic dication systems were calculated in order to study their energy-trapping properties. Generally, the ab initio complete active space multiconfiguration self-consistent field method was used in an extended valence + polarization basis set, with compact effective potentials replacing the core electrons. The diatomic dications include all ten possible binary combinations of oxygen, sulphur, selenium, and tellurium. O₂²⁺ shows the largest exothermicity, measured from equilibrium to the monocation combination asymptote, and highest barrier to dissociation. The calculated equilibrium bond length and harmonic vibrational frequency agree very well with experiment. The O₂²⁺, SO²⁺, SeO²⁺, and TeO²⁺ series show progressively decreasing exothermicities but similar barrier heights. The non-oxides, in contrast, show similar exothermicities but decreasing barriers with increasing size of the atom constituents. These trends are interpreted in terms of both valence bond curve-crossing and molecular orbital bonding models. The ozone dication, O₃²⁺, is found to have a number of low-lying singlet and triplet stationary state structures spanning near-linear to D_3h2+ symmetries. Although the calculated exothermicity is even larger than for O₂²⁺, the barrier to O₂⁺ + O⁺ dissociation is predicted to be low in each case. O₂²⁺ surrounded by six argon atoms to model an isolating environment shows increased equilibrium O–O bond length, decreased exothermicity, and increased barrier to dissociation, relative to the bare dication. O₂²⁺ flanked at each end by a perpendicularly oriented H₂ molecule in a staggered conformation is obstructed from direct conversion to the water dimer dication by a high barrier. However, [(H₂O)₂]²⁺ dissociates smoothly from equilibrium to two water monocations with a large exothermicity but a small barrier.     

Apolipoprotein(a) concentrations in type 2 (non-insulin dependent) diabetic patients from Romania

Several studies suggested that lipoprotein (a)-Lp(a) is an independent atherogenic risk factor. Since non-insulin-dependent diabetes mellitus (NIDDM) is characterized by an increased risk of coronary heart disease (CHD) as related to the general population, the main purpose of our study was to compare the plasma levels of apolipoprotein (a)-(apo) (a) in 30 NIDDM patients hospitalized in our department, and in 20 non-diabetic controls from Timi?oara. Apo (a) values were similar in the two groups (medians, 95% confidence intervals 57 (50-107) in NIDDM versus 58 (51-106) U/l in controls; p = 0.9097). We found weak correlations between apo (a) and hemoglobin A1 (HbA1) (r = 0.42). A significant association was noticed between apo (a) and apo B, both in NIDDM (r = 0.71) and in control subjects (r = 0.81) p < < 0.001. The diabetic patients were screened for microalbuminaria with the MICRAL-test and we compared apo (a) levels in those having albumin excretion values above and under the cut-off point (20 mg/l). Apo (a) concentrations were similar in both samples. We found no association between apo (a) and plasma lipid values. NIDDM patients on fair glycemic control have similar apo (a) concentrations to non-diabetic subjects and they do not seem to be influenced by diabetes duration, HbA1, microalbuminuria and plasma lipid values Apo (a) and apo B are significantly correlated, both in diabetic and non-diabetic subjects.