Integrated Analysis of Pressure Transient Tests in the Gulf of Mexico

Imperial Users onl

Reducing the Number of Annotations in a Verification-oriented Imperative Language

Automated software verification is a very active field of research which has made enormous progress both in theoretical and practical aspects. Recently, an important amount of research effort has been put into applying these techniques on top of mainstream programming languages. These languages typically provide powerful features such as reflection, aliasing and polymorphism which are handy for practitioners but, in contrast, make verification a real challenge. In this work we present Pest, a simple experimental, while-style, multiprocedural, imperative programming language which was conceived with verifiability as one of its main goals. This language forces developers to concurrently think about both the statements needed to implement an algorithm and the assertions required to prove its correctness. In order to aid programmers, we propose several techniques to reduce the number and complexity of annotations required to successfully verify their programs. In particular, we show that high-level iteration constructs may alleviate the need for providing complex loop annotations.Comment: 15 pages, 8 figure

Cooperative sensing of spectrum opportunities

Reliability and availability of sensing information gathered from local spectrum sensing (LSS) by a single Cognitive Radio is strongly affected by the propagation conditions, period of sensing, and geographical position of the device. For this reason, cooperative spectrum sensing (CSS) was largely proposed in order to improve LSS performance by using cooperation between Secondary Users (SUs). The goal of this chapter is to provide a general analysis on CSS for cognitive radio networks (CRNs). Firstly, the theoretical system model for centralized CSS is introduced, together with a preliminary discussion on several fusion rules and operative modes. Moreover, three main aspects of CSS that substantially differentiate the theoretical model from realistic application scenarios are analyzed: (i) the presence of spatiotemporal correlation between decisions by different SUs; (ii) the possible mobility of SUs; and (iii) the nonideality of the control channel between the SUs and the Fusion Center (FC). For each aspect, a possible practical solution for network organization is presented, showing that, in particular for the first two aspects, cluster-based CSS, in which sensing SUs are properly chosen, could mitigate the impact of such realistic assumptions

A Comparative Analysis of the Feminine Self in Kate Chopin’s The Awakening and Katherine Anne Porter’s Old Mortality

The Awakening, written by Kate Chopin, and Old Mortality by Katherine Anne Porter are two great works that focus on female protagonists, Edna Pontellier and Aunt Amy, who, living in times when society limited women, sought self-realization and to find their identity. The objective of this dissertation is to compare and analyze the personality of both characters from a psychological, familial, and social point of view. The purpose of this study is to analyze their similarities and differences, both in their personalities and in their path towards the growth and expression of their identity.El Despertar, escrita por Kate Chopin, y Vieja Mortalidad, de Katherine Anne Porter, son dos grandes obras que se centran en las protagonistas, Edna Pontellier y la tía Amy, quienes, en tiempos en los que la sociedad limitaba a las mujeres, buscaban su realización personal y su identidad. El objetivo de esta disertación es comparar y analizar la personalidad de ambos personajes desde un punto de vista psicológico, familiar y social. El propósito de este estudio es analizar sus similitudes y diferencias, en sus formas de ser, en su crecimiento personal y en su identidad.Departamento de Filología InglesaGrado en Estudios Inglese

Amilcar Barca, táctico y estratega : una valoración

Este artículo intenta realizar una valorización global de Amílar Barca como\ud táctico y estratega, no en baño a los calificativos elogiosos de las fuentes (Polibio\ud y Diodoro, principalmente), sino a su desarrollo, según las descripciones conservadas\ud en ellos y su valoración y requerimiento en el terreno. El desarrollo y\ud resultado distan de estar de acuerdo con las excelentes calificaciones globales\ud y la fama del general cartaginés, aspecto éste que arroja interesantes luces\ud sobre el origen último de las fuentes originales de Polibio y Diodoro sobre Amílcar.This paper intends to establish a global valuation of the carriera of Hamilcar\ud Barca as tactician and strategist, not according to the global qualifications of his\ud value settled by the sources (Diodorus and Polybius, mainly), but according to\ud the real development of his campaigns as depicted by those very sources.\ud Development and results which are not adjusted to the excellent global\ud qualifications settled in the original sources about the famous Carthaginian leader.\ud Aspect this one especially interesting to the valuation of the original sources on\ud the topic, as well as on their origin

Mesina y Regio : vidas paralelas

Este artículo trata de la exposición ordenada de los acontecimientos relativos a la presencia de campanos (oscos y suritálicos) en las ciudades de Regio y Mesina y pretende fijar\ud cronológicamente sus acontecimientos más importantes, así como las circunstancias que hacen posible que jueguen un papel de cierto protagonismo en la zona durante tres lustros. En el caso de Regio , hay indicios claros de que, cuando se produce su conquista por parte de los romanos, existía algún tipo de pacto o alianza con la\ud amotinada guarnición que ellos mismos habían introducido en su día. Pacto y alianza que silencian las fuentes y que se ven traicionados en 270 a.C.This paper deals with the presence of Campaniens (i.e. Oscans and Suritalians in\ud general) in both sides of the Messina Strait, its historical development and chronology, as well as the crcumstances which made possible the role they played in the area around fitheen years. In the case of Reghium, there are traces of a pact between Rome and the treacherous garrison at the moment of the Roman conquest in 270 B.C

El dilema de la participación en la enseñanza universitaria

El objetivo del estudio consiste en averiguar las causas de la escasa participación en clases. Para ello se trabajó con dos grupos (total 320 alumnos), en los que se administró una encuesta, luego de asistir a clases donde se aplicaron estrategias innovadoras. Los resultados evidenciaron un alto grado de participación. Los estudiantes citan como principales obstáculos para participar a: la falta de costumbre, timidez, y recién en tercer lugar, al grupo numeroso o falta de oportunidad. Por lo tanto se comprueba que: la participación de los alumnos en clases universitarias no está en función directa al número de alumnos, sino a la planificación de las clases y selección de técnicas innovadoras de enseñanza aprendizaje; al grado de motivación del profesor y su capacidad para incentivar; a la motivación lograda en los estudiantes y a los bloqueos de los alumnos y docentesFil: Rodriguez Pintor, Juana. Universidad Nacional de Cuyo. Facultad de Ciencias EconómicasFil: Caso de Palá, Liliana. Universidad Nacional de Cuyo. Facultad de Ciencias Económica

Performance evaluation of non-prefiltering vs. time reversal prefiltering in distributed and uncoordinated IR-UWB ad-hoc networks

Time Reversal (TR) is a prefiltering scheme mostly analyzed in the context of centralized and synchronous IR-UWB networks, in order to leverage the trade-off between communication performance and device complexity, in particular in presence of multiuser interference. Several strong assumptions have been typically adopted in the analysis of TR, such as the absence of Inter-Symbol / Inter-Frame Interference (ISI/IFI) and multipath dispersion due to complex signal propagation. This work has the main goal of comparing the performance of TR-based systems with traditional non-prefiltered schemes, in the novel context of a distributed and uncoordinated IR-UWB network, under more realistic assumptions including the presence of ISI/IFI and multipath dispersion. Results show that, lack of power control and imperfect channel knowledge affect the performance of both non-prefiltered and TR systems; in these conditions, TR prefiltering still guarantees a performance improvement in sparse/low-loaded and overloaded network scenarios, while the opposite is true for less extreme scenarios, calling for the developement of an adaptive scheme that enables/disables TR prefiltering depending on network conditions

Coverage and Deployment Analysis of Narrowband Internet of Things in the Wild

Narrowband Internet of Things (NB-IoT) is gaining momentum as a promising technology for massive Machine Type Communication (mMTC). Given that its deployment is rapidly progressing worldwide, measurement campaigns and performance analyses are needed to better understand the system and move toward its enhancement. With this aim, this paper presents a large scale measurement campaign and empirical analysis of NB-IoT on operational networks, and discloses valuable insights in terms of deployment strategies and radio coverage performance. The reported results also serve as examples showing the potential usage of the collected dataset, which we make open-source along with a lightweight data visualization platform.Comment: Accepted for publication in IEEE Communications Magazine (Internet of Things and Sensor Networks Series

Violencia escolar: ciberbulling en redes sociales

En el siguiente trabajo se realiza una revisión bibliográfica de la violencia escolar, centrándose en el Ciberbullying. Éste se ha convertido en una problemática nueva por lo cual su conocimiento se hace necesario para intentar solventar el problema de la violencia escolar; concretamente, el Ciberbullying en redes sociales es el conflicto que se está incrementando en los últimos años y del cual se conoce muy poco, aunque los adolescentes de nuestra sociedad están permanentemente en contacto con estas de redes. El objetivo es proporcionar una visión global de los estudios existentes acerca de esta problemática a que nos enfrentamos, para poder trabajar en la prevención en un primer momento y, en la solución del problema de una manera concreta cuando éste ya ha aparecido, atendiendo a las características de la situación. Los resultados servirán para trabajar de una manera consciente, racional y sobretodo, actualizada con los niños que sufren este tipo de acoso escolar.This work carries out a review about the school violence literature focusing in Ciberbullying. Because Ciberbullying has become an actual problematic issue, it is necessary to study about it in order to solve the problem of school violence. Specifically, Ciberbullying in social networks is growing up in the last few years, and it isn´t much known although our teenagers are regularly in touch with the Net. The aim of this paper is to provide an overview of the existing studies related to this problematic issue in order to warn children, parents and professionals about it at first. Then it becomes important to find an appropriate solution when the problems has appeared, attending the whole situation. Results let us to work in a conscious, rational and actual way with children who suffer school bullying