Bridge transformation for continuation call-based tabled execution.

The advantages of tabled evaluation regarding program termination and reduction of complexity are well known —as are the significant implementation, portability, and maintenance efforts that some proposals (especially those based on suspension) require. This implementation effort is reduced by program transformation-based continuation call techniques, at some efficiency cost. However, the traditional formulation of this proposal by Ramesh and Cheng limits the interleaving of tabled and non-tabled predicates and thus cannot be used as-is for arbitrary programs. In this paper we present a complete translation for the continuation call technique which, using the runtime support needed for the traditional proposal, solves these problems and makes it possible to execute arbitrary tabled programs. We present performance results which show that CCall offers a useful tradeoff that can be competitive with state-of-the-art implementations.

New broadband thermal noise primary standard in coaxial technology

A broadband primary standard for thermal noise measurements is presented and its thermal and electromagnetic behavior is analyzed by means of analytical and numerical simulation techniques. It consists of a broadband termination connected to a 3.5mm coaxial airline partially immersed in liquid Nitrogen. The main innovative part of the device is the thermal bead between inner and outer conductors, designed for obtaining a proper thermal contact and to keep low both its contribution to the total thermal noise and its reflectivity. A sensitivity analysis is realized in order to fix the manufacturing tolerances for a proper performance in the range 10MHz¿26.5GHz.

Analysis of noise temperature sensitivity for the design of a broadband thermal noise primary standard

A broadband primary standard for thermal noise measurements is presented and its thermal and electromagnetic behaviour is analysed by means of a novel hybrid analytical?numerical simulation methodology. The standard consists of a broadband termination connected to a 3.5mm coaxial airline partially immersed in liquid nitrogen and is designed in order to obtain a low reflectivity and a low uncertainty in the noise temperature. A detailed sensitivity analysis is made in order to highlight the critical characteristics that mostly affect the uncertainty in the noise temperature, and also to determine the manufacturing and operation tolerances for a proper performance in the range 10MHz to 26.5 GHz. Aspects such as the thermal bead design, the level of liquid nitrogen or the uncertainties associated with the temperatures, the physical properties of the materials in the standard and the simulation techniques are discussed.

In situ study of Ge(100) surfaces with tertiarybutylphosphine supply in vapor phase epitaxy ambient

GaInP nucleation on Ge(100) often starts by annealing of the Ge(100) substrates under supply of phosphorus precursors. However, the influence on the Ge surface is not well understood. Here, we studied vicinal Ge(100) surfaces annealed under tertiarybutylphosphine (TBP) supply in MOVPE by in situ reflection anisotropy spectroscopy (RAS), X-ray photoelectron spectroscopy (XPS), and low energy electron diffraction (LEED). While XPS reveals a P termination and the presence of carbon on the Ge surface, LEED patterns indicate a disordered surface probably due to by-products of the TBP pyrolysis. However, the TBP annealed Ge(100) surface exhibits a characteristic RA spectrum, which is related to the P termination. RAS allows us to in situ control phosphorus desorption dependent on temperature.

Optical in situ monitoring of hydrogen desorption from Ge(100) surfaces

Molecular hydrogen strongly interacts with vicinal Ge(100) surfaces during preparation in a metal organic vapor phase epitaxy reactor. According to X-ray photoemission spectroscopy and Fourier-transform infrared spectroscopy results, we identify two characteristic reflection anisotropy (RA) spectra for H-free and monohydride-terminated vicinal Ge(100) surfaces. RAS allows in situ monitoring of the surface termination and enables spectroscopic hydrogen kinetic desorption studies on the Ge(100) surface. Comparison of evaluated values for the activation energy and the pre-exponential factor of H desorption evaluated at different photon energies reflects that H unevenly affects the shape of the RA spectrum.

Reachability-based acyclicity analysis by Abstract Interpretation

In programming languages with dynamic use of memory, such as Java, knowing that a reference variable x points to an acyclic data structure is valuable for the analysis of termination and resource usage (e.g., execution time or memory consumption). For instance, this information guarantees that the depth of the data structure to which x points is greater than the depth of the data structure pointed to by x.f for any field f of x. This, in turn, allows bounding the number of iterations of a loop which traverses the structure by its depth, which is essential in order to prove the termination or infer the resource usage of the loop. The present paper provides an Abstract-Interpretation-based formalization of a static analysis for inferring acyclicity, which works on the reduced product of two abstract domains: reachability, which models the property that the location pointed to by a variable w can be reached by dereferencing another variable v (in this case, v is said to reach w); and cyclicity, modeling the property that v can point to a cyclic data structure. The analysis is proven to be sound and optimal with respect to the chosen abstraction.

Propuesta de una metodología para provisión de servicios de outsourcing de TI

El mercado de outsourcing ha estado creciendo en los últimos años y se prevé que lo siga haciendo en los próximos, pero este crecimiento ha estado limitado por el fracaso de muchos proyectos que, en algunos casos, han llevado a las organizaciones a asumir de nuevo esos servicios (insourcing). Estos fracasos se han debido en gran parte a los problemas con los proveedores: falta de experiencia, de capacidades para asumir los proyectos, dificultad en la comunicación,… A diferencia de lo que ocurre en otras disciplinas, no existe una metodología que ayude, tanto a los clientes como a los proveedores de servicios de outsourcing de TI, a gobernar y gestionar sus proyectos y conseguir los resultados buscados. En los últimos años han aparecido, al mismo tiempo que la expansión del outsourcing, algunos modelos y marcos de buenas prácticas para la gestión de los proyectos de outsourcing, pero generalmente sólo cubren algunos aspectos de la gestión. No se los puede considerar metodologías, porque no definen roles, responsabilidades ni entregables. Por lo general, son el resultado de la experiencia en la gestión de otros tipos de proyectos. Hay que considerar también que, excepto eSCM-SP, que es un modelo de buenas prácticas para mejorar la capacidad en la provisión de servicios, están todos orientados al cliente. El objetivo de esta tesis es, por un lado, demostrar la necesidad de contar con una metodología que guíe a los proveedores durante todo el ciclo de vida un proyecto de outsourcing y, por otro, proponer una metodología que contemple desde la fase inicial de la búsqueda de oportunidades de negocio, evaluación de las propuestas RFP, la decisión de hacer una oferta o no para la prestación de servicios, la participación en la due diligence, la firma del contrato, la transición y la entrega de servicios, hasta la finalización del contrato. La metodología se ha organizado en base a un ciclo de vida del outsourcing de cinco etapas, definiendo para cada una de ellas los roles que participan y las responsabilidades que deberán asumir, las actividades a realizar y los entregables que se deberán generar, y que servirán de elementos de control tanto para la gestión del proyecto como para la provisión del servicio. La validación de la metodología se ha realizado aplicándola en proyectos de provisión de servicios de TI de una mediana empresa española y comparando los resultados obtenidos con los conseguidos en proyectos anteriores. ABSTRACT The outsourcing market has been growing in recent years and it is expected to keep doing so in the coming years, but this growth has been limited by the failure of many projects that, in some cases, has led organizations to take back those services (insourcing). These failures have been due to a major degree to problems with providers: lack of experience and capacity to take on the projects, and difficulties of communication. Unlike what happens in other disciplines, there is no methodology for helping both customers and providers of outsourcing services. In recent years, some good practice frameworks have also appeared at the same time as the expansion of outsourcing. They are not methodologies because they have not defined any roles, responsibilities and deliverables. These frameworks aim to help organizations to be successful at managing and governing outsourcing projects. They are usually the result of their experience in managing other kinds of projects. In consequence, it is not appropriate to name them "methodologies" for managing outsourcing projects and much less "standards". It is also important to note that all existing good practice frameworks, except eSCM-SP, are client-oriented. The aim of this thesis is to state the need to propose a methodology that guides providers throughout the whole outsourcing life cycle and facilitates the provision of quality services and their management, and the proposal of a methodology in which the stages, activities, deliverables, roles and responsibilities are clearly defined. The proposed methodology cover all the stages of the outsourcing life cycle, from the early stage of searching for business opportunities, evaluation of the RFP proposals, the decision to bid or not to bid for the service provision, participation in the due diligence if necessary, the signing of the contract, the transition and delivery of service to the termination of the contract. For each activity, roles, responsibilities and deliverables have been defined. The validation of the methodology has been done by applying it in the provision of some outsourcing projects carried out by a Spanish IT medium company and comparing the results with those obtained in previous projects.

Methodology based on FBG sensors for monitoring of FRP-strengthened beams

Advanced composite materials are increasingly used in the strengthening of reinforced concrete (RC) structures. The use of externally bonded strips made of fibre-reinforced plastics (FRP) as strengthening method has gained widespread acceptance in recent years since it has many advantages over the traditional techniques. However, unfortunately, this strengthening method is often associated with a brittle and sudden failure caused by some form of FRP bond failure, originated at the termination of the FRP material or at intermediate areas in the vicinity of flexural cracks in the RC beam. Up to date, little effort in the early prediction of the debonding in its initial instants even though this effect is not noticeable by simple visual observation. An early detection of this phenomenon might help in taking actions to prevent future catastrophes. Fibre-optic Bragg grating (FBG) sensors are able to measure strains locally with high resolution and accuracy. Furthermore, as their physical size is extremely small compared with other strain measuring components, it enables to be embedded at the concrete-FRP interface for determining the strain distribution without influencing the mechanical properties of the host materials. This paper shows the development of a debonding identification methodology based on strains experimentally measured. For, it a simplified model is implemented to simulate the behaviour of FRP-strengthened reinforced concrete beams. This model is taken as a basis to. develop an model updating procedure able to detect minor debonding at the concrete-FRP interface from experimental strains obtained by using FBG sensors embedded at the interface

The deferral option in the collective dismissal procedure. La opción de aplazamiento en los expedientes de regulación de empleo.

The work in this paper focuses on the integration of the real options theory for organizational projects in the management of Human Resources, and particularly on the inclusion of the deferral option in collective dismissal procedures. This option has been studied and developed to be applied to ?Expediente de regulación de empleo?, which is the legal form existing in Spain for the collective termination of employment contracts and which organizations turn to when confronted with a negative financial situation, as a way of maintaining their viability. Two main issues which it is hoped to resolve are examined: the search for a source of uncertainty to make the deferral option viable for this type of projects, and the development of a procedure to obtain the value of the option and therefore facilitate decision making. The analysis performed has enabled us to state that the volatility of demand is the source of uncertainty that makes the option viable. The procedure developed by the binomial tree, which is determined by the evolution of demand, is the tool that enables the value of the option to be found.

Translational coupling by modulation of feedback repression in the IF3 operon of Escherichia coli

A pseudoknot formed by a long-range interaction in the mRNA of the initiation factor 3 (IF3) operon is involved in the translational repression of the gene encoding ribosomal protein L35 by another ribosomal protein, L20. The nucleotides forming the 5′ strand of the key stem of the pseudoknot are located within the gene for IF3, whereas those forming the 3′ strand are located 280 nt downstream, immediately upstream of the Shine–Dalgarno sequence of the gene for L35. Here we show that premature termination of IF3 translation at a nonsense codon introduced upstream of the pseudoknot results in a substantial enhancement of L20-mediated repression of L35 expression. Conversely, an increase of IF3 translation decreases repression. These results, in addition to an analysis of the effect of mutations in sequences forming the pseudoknot, indicate that IF3 translation decreases L20-mediated repression of L35 expression. We propose that ribosomes translating IF3 disrupt the pseudoknot and thereby attenuate repression. The result is a novel type of translational coupling, where unfolding of the pseudoknot by ribosomes translating IF3 does not increase expression of L35 directly, but alleviates its repression by L20.

Representation of sound localization cues in the auditory thalamus of the barn owl

Barn owls can localize a sound source using either the map of auditory space contained in the optic tectum or the auditory forebrain. The auditory thalamus, nucleus ovoidalis (N.Ov), is situated between these two auditory areas, and its inactivation precludes the use of the auditory forebrain for sound localization. We examined the sources of inputs to the N.Ov as well as their patterns of termination within the nucleus. We also examined the response of single neurons within the N.Ov to tonal stimuli and sound localization cues. Afferents to the N.Ov originated with a diffuse population of neurons located bilaterally within the lateral shell, core, and medial shell subdivisions of the central nucleus of the inferior colliculus. Additional afferent input originated from the ipsilateral ventral nucleus of the lateral lemniscus. No afferent input was provided to the N.Ov from the external nucleus of the inferior colliculus or the optic tectum. The N.Ov was tonotopically organized with high frequencies represented dorsally and low frequencies ventrally. Although neurons in the N.Ov responded to localization cues, there was no apparent topographic mapping of these cues within the nucleus, in contrast to the tectal pathway. However, nearly all possible types of binaural response to sound localization cues were represented. These findings suggest that in the thalamo-telencephalic auditory pathway, sound localization is subserved by a nontopographic representation of auditory space.

RGS proteins reconstitute the rapid gating kinetics of Gβγ-activated inwardly rectifying K+ channels

G protein-gated inward rectifier K+ (GIRK) channels mediate hyperpolarizing postsynaptic potentials in the nervous system and in the heart during activation of Gα(i/o)-coupled receptors. In neurons and cardiac atrial cells the time course for receptor-mediated GIRK current deactivation is 20–40 times faster than that observed in heterologous systems expressing cloned receptors and GIRK channels, suggesting that an additional component(s) is required to confer the rapid kinetic properties of the native transduction pathway. We report here that heterologous expression of “regulators of G protein signaling” (RGS proteins), along with cloned G protein-coupled receptors and GIRK channels, reconstitutes the temporal properties of the native receptor → GIRK signal transduction pathway. GIRK current waveforms evoked by agonist activation of muscarinic m2 receptors or serotonin 1A receptors were dramatically accelerated by coexpression of either RGS1, RGS3, or RGS4, but not RGS2. For the brain-expressed RGS4 isoform, neither the current amplitude nor the steady-state agonist dose-response relationship was significantly affected by RGS expression, although the agonist-independent “basal” GIRK current was suppressed by ≈40%. Because GIRK activation and deactivation kinetics are the limiting rates for the onset and termination of “slow” postsynaptic inhibitory currents in neurons and atrial cells, RGS proteins may play crucial roles in the timing of information transfer within the brain and to peripheral tissues.

Posttranscriptional modification of retroviral primers is required for late stages of DNA replication

During reverse transcription of retroviral RNA, synthesis of (−) strand DNA is primed by a cellular tRNA that anneals to an 18-nt primer binding site within the 5′ long terminal repeat. For (+) strand synthesis using a (−) strand DNA template linked to the tRNA primer, only the first 18 nt of tRNA are replicated to regenerate the primer binding site, creating the (+) strand strong stop DNA intermediate and providing a 3′ terminus capable of strand transfer and further elongation. On model HIV templates that approximate the (−) strand linked to natural modified or synthetic unmodified tRNA3Lys, we find that a (+) strand strong stop intermediate of the proper length is generated only on templates containing the natural, modified tRNA3Lys, suggesting that a posttranscriptional modification provides the termination signal. In the presence of a recipient template, synthesis after strand transfer occurs only from intermediates generated from templates containing modified tRNA3Lys. Reverse transcriptase from Moloney murine leukemia virus and avian myoblastosis virus shows the same requirement for a modified tRNA3Lys template. Because all retroviral tRNA primers contain the same 1-methyl-A58 modification, our results suggest that 1-methyl-A58 is generally required for termination of replication 18 nt into the tRNA sequence, generating the (+) strand intermediate, strand transfer, and subsequent synthesis of the entire (+) strand. The possibility that the host methyl transferase responsible for methylating A58 may provide a target for HIV chemotherapy is discussed.

A novel RNA polymerase I-dependent RNase activity that shortens nascent transcripts from the 3′ end

A novel RNase activity was identified in a yeast RNA polymerase I (pol I) in vitro transcription system. Transcript cleavage occurred at the 3′ end and was dependent on the presence of ternary pol I/DNA/RNA complexes and an additional protein factor not identical to transcription factor IIS (TFIIS). Transcript cleavage was observed both on arrested complexes at the linearized ends of the transcribed DNA and on intrinsic blocks of the DNA template. Shortened transcripts that remained associated within the ternary complexes were capable of resuming RNA chain elongation. Possible functions of the nuclease for transcript elongation or termination are discussed.

Expression, stability, and membrane integration of truncation mutants of bovine rhodopsin

Premature termination of protein synthesis by nonsense mutations is at the molecular origin of a number of inherited disorders in the family of G protein-coupled seven-helix receptor proteins. To understand how such truncated polypeptides are processed by the cell, we have carried out COS-1 cell expression studies of mutants of bovine rhodopsin truncated at the first 1, 1.5, 2, 3, or 5 transmembrane segments (TMS) of the seven present in wild-type opsin. Our experiments show that successful completion of different stages in the cellular processing of the protein [membrane insertion, N-linked glycosylation, stability to proteolytic degradation, and transport from the endoplasmic reticulum (ER) membrane] requires progressively longer lengths of the polypeptide chain. Thus, none of the truncations affected the ability of the polypeptides to be integral membrane proteins. C-terminal truncations that generated polypeptides with fewer than two TMS resulted in misorientation and prevented glycosylation at the N terminus, whereas truncations that generated polypeptides with fewer than five TMS greatly destabilized the protein. However, all of the truncations prevented exit of the polypeptide from the ER. We conclude that during the biogenesis of rhodopsin, proper integration into the ER membrane occurs only after the synthesis of at least two TMS is completed. Synthesis of the next three TMS confers a gradual increase in stability, whereas the presence of more than five TMS is necessary for exit from the ER.