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.