Bit-Width Analysis for General Applications

It has been widely known that a significant part of the bits are useless or even unused during the program execution. Bit-width analysis targets at finding the minimum bits needed for each variable in the program, which ensures the execution correctness and resources saving. In this paper, we proposed a static analysis method for bit-widths in general applications, which approximates conservatively at compile time and is independent of runtime conditions. While most related work focus on integer applications, our method is also tailored and applicable to floating point variables, which could be extended to transform floating point number into fixed point numbers together with precision analysis. We used more precise representations for data value ranges of both scalar and array variables. Element level analysis is carried out for arrays. We also suggested an alternative for the standard fixed-point iterations in bi-directional range analysis. These techniques are implemented on the Trimaran compiler structure and tested on a set of benchmarks to show the results.

The Benefits of Re-Evaluating Real-Time Fulfillment Decisions

At the time of a customer order, the e-tailer assigns the order to one or more of its order fulfillment centers, and/or to drop shippers, so as to minimize procurement and transportation costs, based on the available current information. However this assignment is necessarily myopic as it cannot account for all future events, such as subsequent customer orders or inventory replenishments. We examine the potential benefits from periodically re-evaluating these real-time order-assignment decisions. We construct near-optimal heuristics for the re-assignment for a large set of customer orders with the objective to minimize the total number of shipments. We investigate how best to implement these heuristics for a rolling horizon, and discuss the effect of demand correlation, customer order size, and the number of customer orders on the nature of the heuristics. Finally, we present potential saving opportunities by testing the heuristics on sets of order data from a major e-tailer.

Efectos del sistema de multifondos en el Régimen de Ahorro Individual en Colombia

Recientemente, el gobierno nacional radicó un proyecto de reforma financiera en el que se propone flexibilizar la regulación de los Fondos de Pensiones. En particular, se propone que los agentes pueden escoger la composición del portafolio en el que están invertidos sus ahorros pensionales. Para evaluar los posibles efectos de este cambio sobre el bienestar de los agentes, este trabajo analiza las decisiones de inversión de un individuo con función de utilidad con aversión absoluta al riesgo constante (CARA) frente a la Teoría de la diversificación del portafolio. Adicionalmente, se realiza un ejercicio contrafactual con el fin de calcular cual hubiera sido el valor del activo pensional para diferentes individuos si la legislación propuesta por el gobierno hubiera aplicado para el período 1980-2008. Este ejercicio se realiza utilizando información de las Bolsas de Valores de Colombia y la Encuesta de Calidad de Vida 2003 (ECV 2003), siguiendo la metodología de Herscovich (2003) los resultados del análisis teórico sugieren que ante un mayor valor acumulado en las cuentas de pensión, los individuos disminuyen su exposición ante el riesgo en sus portafolios. Así, la composición del portafolio debe estar más concentrada en renta variable para los agentes jóvenes y más concentrada en renta fija para los agentes viejos. Por otro lado, el ejercicio contrafactual, indica que la mejor decisión habría sido invertir todo el portafolio en activos de renta variable. Este contraste en los resultados llama la atención acerca de dos problemas: Primero, es posible que la estrategia que maximiza la utilidad ex-ante de los individuos no sea la misma que maximiza el valor de su pensión. Segundo, el ejercicio presentado parte del supuesto de que no hay información adicional que permita suponer cambios de tendencia o de volatilidad en las rentabilidades de los distintos activos financieros. No obstante, es claro que los especialistas en el mercado financiero cuentan con información suficiente para predecir este tipo de eventos. Por esta razón, el estudio sugiere que el papel de la asesoría financiera a los ahorradores es fundamental para permitir un cambio al sistema multifondos, puesto que el incremento en las opciones de inversión no conduce a un incremento en el bienestar de los individuos en ausencia de información. Adicionalmente, al comparar la evolución de las cuentas de pensión con los porcentajes históricos y con el sistema multifondos, se encuentra un mejor desempeño cuando el porcentaje de inversión en activos de renta variable es mayor que el actual, lo cual sugiere un incremento en la restricción actual de inversión de activos de renta variable para mejorar el desempeño de los fondos.

Concepción teórica y práctica de la ciudadanía en el proyecto de cultura ciudadana estudio de caso: “ahorro voluntario de agua” 1997 Bogotá

El objetivo de la presente investigación consiste en determinar cuál es la concepción teórica y práctica de ciudadanía dentro de la política de Cultura Ciudadana a partir del caso del “Ahorro Voluntario de Agua” de 1997 en la ciudad de Bogotá. Para ello, se realizó un análisis de contenido de 263 documentos de distintas fuentes, categorizadas en Prensa e Institucional. Por medio del análisis se logró determinar que la ciudadanía dentro de la Cultura Ciudadana hace uso de distintos elementos de la teoría de la ciudadanía realizada desde la filosofía. De igual manera se propone una ciudadanía moralista que parte del hecho de una ciudad homogénea cuando en realidad es heterogénea, esto es evidente en la comprensión de las clases sociales dentro de Bogotá y su leve relevancia para solucionar la crisis de Chingaza en 1997. Finalmente, en la discusión entre ciudadanía activa o pasiva, se deduce que en la Cultura Ciudadana se presenta una ciudadanía activa en el espacio de lo privado, con gran participación en los deberes determinados por el castigo y pasiva en derechos.

Using zappers in Common Learning Spaces (Windows XP)

This resource is now obsolete and has been replaced by http://www.edshare.soton.ac.uk/5920/ This PowerPoint is an animated step-by-step guide that shows tutors how to use zappers in a teaching session. It covers starting the PC, distributing the zappers, plugging in the receiver, starting the software, running the presentation and managing voting, saving data at the end and collecting the handsets. It takes around 5 minutes to view.

Determinantes del perfil de ahorro en Colombia : una estimación para hogares e individuos

En este documento se presenta un análisis de los determinantes del perfil de ahorro para hogares e individuos con el objetivo de contrastar la Hipótesis de Ciclo de Vida, utilizando la metodología expuesta en Deaton y Paxson (2000a y 2000b) con datos de la Encuesta Nacional de Ingresos y Gastos (ENIG) para los periodos 1984-1985, 1994-1995 y 2006-2007. Se encontró que para el análisis por hogar no hay evidencia que determine el cumplimiento de la Hipótesis del Ciclo de Vida, mientras que para el análisis por individuo si existe.

Análisis de la actuación de Estados Unidos y la ONU en Somalia en la creación de un entorno seguro para asistencia humanitaria. (1992-1995)

La creación de un entorno seguro para otorgar la ayuda humanitaria a la población somalí, fue un desafío de proporciones internacionales, en el que la máxima potencia del mundo, Estados y organizaciones, vieron fracasar todos los proyectos tanto en forma de ayudas como en estrategias y operaciones. Las razones de este fracaso de carácter mundial, debido a que representó una amenaza para la paz y la seguridad internacional, todavía se pueden evidenciar en Somalia; este país continúa siendo uno de los más pobres de mundo, no cuenta con gobierno efectivo y no se logró hacer cesar las continuas violaciones de derechos humanos y derecho internacional humanitario en contra de los civiles. La importancia de este caso de estudio radica en el nuevo contexto en el cual se desenvuelve la actuación de la ONU y Estados Unidos en Somalia, en un escenario donde se hace crucial el respeto por los derechos humanos, y se puede evidenciar cómo en esta medida se da lugar a efectuar una intervención humanitaria que antes de la guerra fría hubiera sido inadmisible, partiendo de la importancia del concepto de soberanía estatal. El período fundamental en el cual el problema somalí asume magnitud internacional fue en 1991 con la caída de la dictadura militar y el inicio de un período de carestía que volvió la ya inestable situación del país en un escenario violento, caracterizado por una desastrosa situación de crisis humanitaria, culminado en la batalla de Mogadiscio, que obligó a las interrupciones de las intervenciones internacionales y al fracaso completo de estas últimas en 1995. La actuación de la ONU y de Estados Unidos en el intento de crear un entorno seguro para asistencia humanitaria en Somalia en un período de cuatro años, llevó a la creación de la UNOSOM I, UNITAF y UNOSOM II; durante este tiempo la ONU autorizó el uso de la fuerza si era necesario para asegurar la entrega de la ayuda humanitaria, por lo que los cascos azules hicieron una fuerte presencia. Finalizando 1995 los intentos fracasaron y la ONU y los Estados Unidos decidieron retirarse de Somalia indefinidamente. El siguiente trabajo se enfoca en cuatro años de un adverso desequilibrio en el territorio somalí, dando cuenta del papel que desempeñaron Estados Unidos y la ONU en el intento de crear un entorno seguro parar asistencia humanitaria, dada la precaria situación que atravesaban los civiles envueltos en la guerra civil que hasta hoy no ha culminado, y en un discurso moral que caracterizó a la comunidad internacional acerca la responsabilidad de proteger. A la luz de la carta de Naciones Unidas y de los hechos que transcurrieron antes y durante la actuación de la ONU y Estados Unidos, este caso de estudio pretende exponer los rasgos que definieron la intervención en el intento de crear un entorno seguro para asistencia humanitaria y que finalmente fracasaron.

Efectos de la reducción del nivel del Lago Chad sobre la Seguridad Regional (Nigeria, Níger, Chad y Camerún) durante el período de 2000-2010

El Lago Chad ha sido durante varias décadas, una fuente de supervivencia económica para millones de personas que habitan en cuatro Estados a saber; Nigeria, Níger, Chad y Camerún. No obstante, el cambio climático, el aumento acelerado de la población, la explotación insostenible y la mala regulación de los Estados ribereños han sido los principales factores que han dado lugar, en la última década, a la dramática reducción del nivel del Lago Chad. Teniendo en cuenta que los Estados aledaños al Lago, se encuentran inmersos en una Interdependencia Compleja, este nuevo contexto, ha tenido un impacto directo en la región, debido a que ha agravado otras variables económicas, sociales, ambientales y políticas, dejando un ambiente de inseguridad regional. De esta manera, la reducción de la Cuenca del Lago Chad representa una amenaza compartida que vincula estrechamente a Nigeria, Níger, Chad y Camerún, lo que permite vislumbrar la existencia de un Subcomplejo de Seguridad Regional.

Using Heading Styles in the University's thesis template in MS Word 2010

This will probably be the most useful and time-saving thing you can do when writing a thesis. Using Heading styles in your thesis will not only create a series of sequentially numbered, consistently formatted headings and subheadings, it will also allow you to make a refreshable Table of Contents and make the most out of Word’s Navigation Pane. For best viewing Download the video.

Tools to use when writing a thesis in Word 2010/2013 (PC)

This collection of videos shows you how to use a range of time-saving tools when writing a thesis in MS Word 2010/2013. See the full SupportGuide at http://www.go.soton.ac.uk/thesispc. There are videos on using styles; creating tables of contents and tables of figures; using the Navigation Pane; using the Browse Object tool and many more. There is an equivelent collection for use with Word 2011 which is for use with Apple computers.