How to Improve the Production Process for interactive TV with semi-formal Methods

The central question for this paper is how to improve the production process by closing the gap between industrial designers and software engineers of television(TV)-based User Interfaces (UI) in an industrial environment. Software engineers are highly interested whether one UI design can be converted into several fully functional UIs for TV products with different screen properties. The aim of the software engineers is to apply automatic layout and scaling in order to speed up and improve the production process. However, the question is whether a UI design lends itself for such automatic layout and scaling. This is investigated by analysing a prototype UI design done by industrial designers. In a first requirements study, industrial designers had created meta-annotations on top of their UI design in order to disclose their design rationale for discussions with software engineers. In a second study, five (out of ten) industrial designers assessed the potential of four different meta-annotation approaches. The question was which annotation method industrial designers would prefer and whether it could satisfy the technical requirements of the software engineering process. One main result is that the industrial designers preferred the method they were already familiar with, which therefore seems to be the most effective one although the main objective of automatic layout and scaling could still not be achieved.

Thermal right-handed neutrino production rate in the relativistic regime

The production rate of right-handed neutrinos from a Standard Model plasma at a temperature above a hundred GeV is evaluated up to NLO in Standard Model couplings. The results apply in the so-called relativistic regime, referring parametrically to a mass M ~ πT, generalizing thereby previous NLO results which only apply in the non-relativistic regime M ≫ πT. The non-relativistic expansion is observed to converge for M ≳ 15T, but the smallness of any loop corrections allows it to be used in practice already for M ≳ 4T. In the latter regime any non-covariant dependence of the differential rate on the spatial momentum is shown to be mild. The loop expansion breaks down in the ultrarelativistic regime M ≪ πT, but after a simple mass resummation it nevertheless extrapolates reasonably well towards a result obtained previously through complete LPM resummation, apparently confirming a strong enhancement of the rate at high temperatures (which facilitates chemical equilibration). When combined with other ingredients the results may help to improve upon the accuracy of leptogenesis computations operating above the electroweak scale.

Involvement of a region of 23S ribosomal RNA of {\it E. coli\/} in decoding of termination codons

Involvement of E. coli 23S ribosomal RNA (rRNA) in decoding of termination codons was first indicated by the characterization of a 23S rRNA mutant that causes UGA-specific nonsense suppression. The work described here was begun to test the hypothesis that more 23S rRNA suppressors of specific nonsense mutations can be isolated and that they would occur non-randomly in the rRNA genes and be clustered in specific, functionally significant regions of rRNA.^ Approximately 2 kilobases of the gene for 23S rRNA were subjected to PCR random mutagenesis and the amplified products screened for suppression of nonsense mutations in trpA. All of the suppressor mutations obtained were located in a thirty-nucleotide part of the GTPase center, a conserved rRNA sequence and structure, and they and others made in that region by site-directed mutagenesis were shown to be UGA-specific in their suppression of termination codon mutations. These results proved the initial hypothesis and demonstrated that a group of nucleotides in this region are involved in decoding of the UGA termination codon. Further, it was shown that limitation of cellular availability or synthesis of L11, a ribosomal protein that binds to the GTPase center rRNA, resulted in suppression of termination codon mutations, suggesting the direct involvement of L11 in termination in vivo.^ Finally, in vivo analysis of certain site-specific mutations made in the GTPase center RNA demonstrated that (a) the G$\cdot$A base pair closing the hexanucleotide hairpin loop was not essential for normal termination, (b) the "U-turn" structure in the 1093 to 1098 hexaloop is critical for normal termination, (c) nucleotides A1095 and A1067, necessary for the binding to ribosomes of thiostrepton, an antibiotic that inhibits polypeptide release factor binding to ribosomes in vitro, are also necessary for normal peptide chain termination in vivo, and (d) involvement of this region of rRNA in termination is determined by some unique subset structure that includes particular nucleotides rather than merely by a general structural feature of the GTPase center.^ This work advances the understanding of peptide chain termination by demonstrating that the GTPase region of 23S rRNA participates in recognition of termination codons, through an associated ribosomal protein and specific conserved nucleotides and structural motifs in its RNA. ^

Mind the gap: Do proportional electoral systems foster a more equal representation of women and men, poor and rich?

Female gender and low income are two markers for groups that have been historically disadvantaged within most societies. The study explores two research questions related to their political representation: (1) ‘Are parties biased towards the ideological preferences of male and rich citizens?’; and (2) ‘Does the proportionality of the electoral system moderate the degree of under-representation of women and poor citizens in the party system?’ A multilevel analysis of survey data from 24 parliamentary democracies indicates that there is some bias against those with low income and, at a much smaller rate, women. This has systemic consequences for the quality of representation, as the preferences of the complementary groups differ. The proportionality of the electoral system influences the degree of under-representation: specifically, larger district magnitudes help in closing the considerable gap between rich and poor.

Loop formulation of supersymmetric Yang-Mills quantum mechanics

We derive the fermion loop formulation of N=4 supersymmetric SU(N) Yang-Mills quantum mechanics on the lattice. The loop formulation naturally separates the contributions to the partition function into its bosonic and fermionic parts with fixed fermion number and provides a way to control potential fermion sign problems arising in numerical simulations of the theory. Furthermore, we present a reduced fermion matrix determinant which allows the projection into the canonical sectors of the theory and hence constitutes an alternative approach to simulate the theory on the lattice.

The EPICA Dronning Maud Land deep drilling operation

We report on the EPICA Dronning Maud Land (East Antarctica) deep drilling operation. Starting with the scientific questions that led to the outline of the EPICA project, we introduce the setting of sister drillings at NorthGRIP and EPICA Dome C within the European ice-coring community. The progress of the drilling operation is described within the context of three parallel, deep-drilling operations, the problems that occurred and the solutions we developed. Modified procedures are described, such as the monitoring of penetration rate via cable weight rather than motor torque, and modifications to the system (e.g. closing the openings at the lower end of the outer barrel to reduce the risk of immersing the drill in highly concentrated chip suspension). Parameters of the drilling (e.g. core-break force, cutter pitch, chips balance, liquid level, core production rate and piece number) are discussed. We also review the operational mode, particularly in the context of achieved core length and piece length, which have to be optimized for drilling efficiency and core quality respectively. We conclude with recommendations addressing the design of the chip-collection openings and strictly limiting the cable-load drop with respect to the load at the start of the run.

Geometric Integrability of the Camassa-Holm Equation. II

It is known that the Camassa–Holm (CH) equation describes pseudo-spherical surfaces and that therefore its integrability properties can be studied by geometrical means. In particular, the CH equation admits nonlocal symmetries of “pseudo-potential type”: the standard quadratic pseudo-potential associated with the geodesics of the pseudo-spherical surfaces determined by (generic) solutions to CH, allows us to construct a covering π of the equation manifold of CH on which nonlocal symmetries can be explicitly calculated. In this article, we present the Lie algebra of (first-order) nonlocal π-symmetries for the CH equation, and we show that this algebra contains a semidirect sum of the loop algebra over sl(2,R) and the centerless Virasoro algebra. As applications, we compute explicit solutions, we construct a Darboux transformation for the CH equation, and we recover its recursion operator. We also extend our results to the associated Camassa–Holm equation introduced by J. Schiff.

Effect of the curing conditions of concrete on the behaviour under freeze-thaw cycles*

The aim of this work is to relate the curing conditions of concrete and the addition of an air-entraining admixture with the damage caused by freeze–thaw cycles. In countries with a continental climate, the curing of concrete in summer is performed under climatic conditions of high temperature and low humidity, and during the winter the concrete suffers conditions of freeze–thaw, often accompanied by the use of de-icing salts. This paper shows the experimental results of the behaviour of concrete specimens cured under climatic summer conditions (high temperature and low humidity) and then subjected to freeze–thaw cycles. Curing of the specimens includes conditions of good and bad practice in relation to wetting and protection of the concrete. It also examines the effectiveness of using an air-entraining admixture in both cases. The experimental programme includes an evaluation of the mechanical properties of the concrete, the study of the cement hydration and the measurement of the volume and pore sizes of the concrete. These tests were performed before and after the application of the freeze–thaw cycles. The results obtained showed that the specimens without air-entraining admixture show a deterioration of mechanical properties after the freeze–thaw test. However, the inclusion of air bubbles benefits the behaviour of concrete against freeze–thaw cycles so even better mechanical properties after the test were observed. This anomalous behaviour is because the cement hydration process continues over the freeze–thaw tests, closing the pore structure. This aspect has been confirmed with the DTA and TG tests performed

Comments and remarks over classic linear loop-gain method for oscillator design and analysis. New proposed method based on NDF/RRT

Abstract. This paper describes a new and original method for designing oscillators based on the Normalized Determinant Function (NDF) and Return Relations (RRT)- Firstly, a review of the loop-gain method will be performed. The loop-gain method pros, cons and some examples for exploring wrong solutions provided by this method will be shown. This method produces in some cases wrong solutions because some necessary conditions have not been fulfilled. The required necessary conditions to assure a right solution will be described. The necessity of using the NDF or the Transpose Return Relations (RRT), which are related with the True Loop-Gain, to test the additional conditions will be demonstrated. To conclude this paper, the steps for oscillator design and analysis, using the proposed NDF/RRj method, will be presented. The loop-gain wrong solutions will be compared with the NDF/RRj and the accuracy of this method to estimate the oscillation frequency and QL will be demonstrated. Some additional examples of plane reference oscillators (Z/Y/T), will be added and they will be analyzed with the new NDF/RRj proposed method, even these oscillators cannot be analyzed using the classic loop gain method.

Image processing based on a model of the mammalian retina

A first study in order to construct a simple model of the mammalian retina is reported. The basic elements for this model are Optical Programmable Logic Cells, OPLCs, previously employed as a functional element for Optical Computing. The same type of circuit simulates the five types of neurons present in the retina. Different responses are obtained by modifying either internal or external connections. Two types of behaviors are reported: symmetrical and non-symmetrical with respect to light position. Some other higher functions, as the possibility to differentiate between symmetric and non-symmetric light images, are performed by another simulation of the first layers of the visual cortex. The possibility to apply these models to image processing is reported.

Online Learning-based Robust Visual Tracking for Autonomous Landing of Unmanned Aerial Vehicles

Autonomous landing is a challenging and important technology for both military and civilian applications of Unmanned Aerial Vehicles (UAVs). In this paper, we present a novel online adaptive visual tracking algorithm for UAVs to land on an arbitrary field (that can be used as the helipad) autonomously at real-time frame rates of more than twenty frames per second. The integration of low-dimensional subspace representation method, online incremental learning approach and hierarchical tracking strategy allows the autolanding task to overcome the problems generated by the challenging situations such as significant appearance change, variant surrounding illumination, partial helipad occlusion, rapid pose variation, onboard mechanical vibration (no video stabilization), low computational capacity and delayed information communication between UAV and Ground Control Station (GCS). The tracking performance of this presented algorithm is evaluated with aerial images from real autolanding flights using manually- labelled ground truth database. The evaluation results show that this new algorithm is highly robust to track the helipad and accurate enough for closing the vision-based control loop.

Online Learning-based Robust Visual Tracking for Autonomous Landing of Unmanned Aerial Vehicles

Autonomous landing is a challenging and important technology for both military and civilian applications of Unmanned Aerial Vehicles (UAVs). In this paper, we present a novel online adaptive visual tracking algorithm for UAVs to land on an arbitrary field (that can be used as the helipad) autonomously at real-time frame rates of more than twenty frames per second. The integration of low-dimensional subspace representation method, online incremental learning approach and hierarchical tracking strategy allows the autolanding task to overcome the problems generated by the challenging situations such as significant appearance change, variant surrounding illumination, partial helipad occlusion, rapid pose variation, onboard mechanical vibration (no video stabilization), low computational capacity and delayed information communication between UAV and Ground Control Station (GCS). The tracking performance of this presented algorithm is evaluated with aerial images from real autolanding flights using manually- labelled ground truth database. The evaluation results show that this new algorithm is highly robust to track the helipad and accurate enough for closing the vision-based control loop.

The structure of the acto-myosin subfragment 1 complex: Results of searches using data from electron microscopy and x-ray crystallography

Surmises of how myosin subfragment 1 (S1) interacts with actin filaments in muscle contraction rest upon knowing the relative arrangement of the two proteins. Although there exist crystallographic structures for both S1 and actin, as well as electron microscopy data for the acto–S1 complex (AS1), modeling of this arrangement has so far only been done “by eye.” Here we report fitted AS1 structures obtained using a quantitative method that is both more objective and makes more complete use of the data. Using undistorted crystallographic results, the best-fit AS1 structure shows significant differences from that obtained by visual fitting. The best fit is produced using the F-actin model of Holmes et al. [Holmes, K. C., Popp, D., Gebhard, W. & Kabsch, W. (1990) Nature (London) 347, 44–49]. S1 residues at the AS1 interface are now found at a higher radius as well as being translated axially and rotated azimuthally. Fits using S1 plus loops missing from the crystal structure were achieved using a homology search method to predict loop structures. These improved fits favor an arrangement in which the loop at the 50- to 20-kDa domain junction of S1 is located near the N terminus of actin. Rigid-body movements of the lower 50-kDa domain, which further improve the fit, produce closure of the large 50-kDa domain cleft and bring conserved residues in the lower 50-kDa domain into an apparently appropriate orientation for close interaction with actin. This finding supports the idea that binding of ATP to AS1 at the end of the ATPase cycle disrupts the actin binding site by changing the conformation of the 50-kDa cleft of S1.

Direct interaction of Gβγ with a C-terminal Gβγ-binding domain of the Ca2+ channel α1 subunit is responsible for channel inhibition by G protein-coupled receptors

Several classes of voltage-gated Ca2+ channels (VGCCs) are inhibited by G proteins activated by receptors for neurotransmitters and neuromodulatory peptides. Evidence has accumulated to indicate that for non-L-type Ca2+ channels the executing arm of the activated G protein is its βγ dimer (Gβγ). We report below the existence of two Gβγ-binding sites on the A-, B-, and E-type α1 subunits that form non-L-type Ca2+ channels. One, reported previously, is in loop 1 connecting transmembrane domains I and II. The second is located approximately in the middle of the ca. 600-aa-long C-terminal tails. Both Gβγ-binding regions also bind the Ca2+ channel β subunit (CCβ), which, when overexpressed, interferes with inhibition by activated G proteins. Replacement in α1E of loop 1 with that of the G protein-insensitive and Gβγ-binding-negative loop 1 of α1C did not abolish inhibition by G proteins, but the exchange of the α1E C terminus with that of α1C did. This and properties of α1E C-terminal truncations indicated that the Gβγ-binding site mediating the inhibition of Ca2+ channel activity is the one in the C terminus. Binding of Gβγ to this site was inhibited by an α1-binding domain of CCβ, thus providing an explanation for the functional antagonism existing between CCβ and G protein inhibition. The data do not support proposals that Gβγ inhibits α1 function by interacting with the site located in the loop I–II linker. These results define the molecular mechanism by which presynaptic G protein-coupled receptors inhibit neurotransmission.