Isolation and amino acid sequence analysis of a 4,000-dalton dynorphin from porcine pituitary

A 4,000-dalton dynorphin was isolated from porcine pituitary. It has 32 amino acids (Mr = 3,986), with the previously described heptadecapeptide (now called dynorphin A) at its amino terminus and a related tridecapeptide, dynorphin B, at its carboxyl terminus. The two peptides are separated by the "processing signal" Lys-Arg

On Semi-Periods

The periods of the three-form on a Calabi-Yau manifold are found as solutions of the Picard-Fuchs equations; however, the toric varietal method leads to a generalized hypergeometric system of equations which has more solutions than just the periods. This same extended set of equations can be derived from symmetry considerations. Semi-periods are solutions of this extended system. They are obtained by integration of the three-form over chains; these chains can be used to construct cycles which, when integrated over, give periods. In simple examples we are able to obtain the complete set of solutions for the extended system. We also conjecture that a certain modification of the method will generate the full space of solutions in general.Comment: 18 pages, plain TeX. Revised derivation of $\Delta^*$ system of equations; version to appear in Nuclear Physics

Reduction and reconstruction of stochastic differential equations via symmetries

An algorithmic method to exploit a general class of infinitesimal symmetries for reducing stochastic differential equations is presented and a natural definition of reconstruction, inspired by the classical reconstruction by quadratures, is proposed. As a side result the well-known solution formula for linear one-dimensional stochastic differential equations is obtained within this symmetry approach. The complete procedure is applied to several examples with both theoretical and applied relevance

F-Theory GUT Vacua on Compact Calabi-Yau Fourfolds

We present compact three-generation F-theory GUT models meeting in particular the constraints of D3-tadpole cancellation and D-term supersymmetry. To this end we explicitly construct elliptically fibered Calabi-Yau fourfolds as complete intersections in a toric ambient space. Toric methods enable us to control the singular geometry of the SU(5) GUT model. The GUT brane wraps a non-generic del Pezzo surface admitting GUT symmetry breaking via hypercharge flux. It is contractible to a curve and we demonstrate the existence of a consistent decoupling limit. We compute the Euler characteristic of the singular Calabi-Yau fourfold to show that our three-generation flux solutions obtained via the spectral cover construction are consistent with D3-tadpole cancellation.Comment: 22+12 pages; v2: minor clarifications on decoupling limi

HCI at the boundary of work and life

The idea behind this Special Issue originates in a workshop on HCI and CSCW research related to work and non-work-life balance organized in conjunction with the ECSCW 2013 conference by the issue co-editors. Fifteen papers were originally submitted for possible inclusion in this Special Issue, and four papers were finally accepted for publication after two rounds of rigorous peer review. The four accepted papers explore, in different ways, HCI at the boundary of work and life. In this editorial, we offer a description of the overall theme and rationale for the Special Issue, including an introduction on the topic relevance and background, and a reflection on how the four accepted papers further current research and debate on the topic

Topological String Amplitudes, Complete Intersection Calabi-Yau Spaces and Threshold Corrections

We present the most complete list of mirror pairs of Calabi-Yau complete intersections in toric ambient varieties and develop the methods to solve the topological string and to calculate higher genus amplitudes on these compact Calabi-Yau spaces. These symplectic invariants are used to remove redundancies in examples. The construction of the B-model propagators leads to compatibility conditions, which constrain multi-parameter mirror maps. For K3 fibered Calabi-Yau spaces without reducible fibers we find closed formulas for all genus contributions in the fiber direction from the geometry of the fibration. If the heterotic dual to this geometry is known, the higher genus invariants can be identified with the degeneracies of BPS states contributing to gravitational threshold corrections and all genus checks on string duality in the perturbative regime are accomplished. We find, however, that the BPS degeneracies do not uniquely fix the non-perturbative completion of the heterotic string. For these geometries we can write the topological partition function in terms of the Donaldson-Thomas invariants and we perform a non-trivial check of S-duality in topological strings. We further investigate transitions via collapsing D5 del Pezzo surfaces and the occurrence of free Z2 quotients that lead to a new class of heterotic duals.Comment: 117 pages, 1 Postscript figur

Energy-efficient scheduling of flexible flow shop of composite recycling

Composite recycling technologies have been developed to tackle the increasing use of composites in industry and as a result of restrictions placed on landfill disposal. Mechanical, thermal and chemical approaches are the existing main recycling techniques to recover the fibres. Some optimisation work for reducing energy consumed by above processes has also been developed. However, the resource efficiency of recycling composites at the workshop level has never been considered before. Considering the current trend of designing and optimising a system in parallel and the future needs of the composite recycling business, a flexible flow shop for carbon fibre reinforced composite recycling is modelled. Optimisation approaches based on non-dominated sorting genetic algorithm II (NSGA-II) have been developed to reduce the time and energy consumed for processing composite wastes by searching for the optimal sub-lot splitting and resource scheduling plans. Case studies on different composite recycling scenarios have been conducted to prove the feasibility of the model and the developed algorithm