Interval-based resource usage verification: Formalization and prototype

In an increasing number of applications (e.g., in embedded, real-time, or mobile systems) it is important or even essential to ensure conformance with respect to a specification expressing resource usages, such as execution time, memory, energy, or user-defined resources. In previous work we have presented a novel framework for data size-aware, static resource usage verification. Specifications can include both lower and upper bound resource usage functions. In order to statically check such specifications, both upper- and lower-bound resource usage functions (on input data sizes) approximating the actual resource usage of the program which are automatically inferred and compared against the specification. The outcome of the static checking of assertions can express intervals for the input data sizes such that a given specification can be proved for some intervals but disproved for others. After an overview of the approach in this paper we provide a number of novel contributions: we present a full formalization, and we report on and provide results from an implementation within the Ciao/CiaoPP framework (which provides a general, unified platform for static and run-time verification, as well as unit testing). We also generalize the checking of assertions to allow preconditions expressing intervals within which the input data size of a program is supposed to lie (i.e., intervals for which each assertion is applicable), and we extend the class of resource usage functions that can be checked.

Termination and cost analysis: Complexity and precision issues

The research in this thesis is related to static cost and termination analysis. Cost analysis aims at estimating the amount of resources that a given program consumes during the execution, and termination analysis aims at proving that the execution of a given program will eventually terminate. These analyses are strongly related, indeed cost analysis techniques heavily rely on techniques developed for termination analysis. Precision, scalability, and applicability are essential in static analysis in general. Precision is related to the quality of the inferred results, scalability to the size of programs that can be analyzed, and applicability to the class of programs that can be handled by the analysis (independently from precision and scalability issues). This thesis addresses these aspects in the context of cost and termination analysis, from both practical and theoretical perspectives. For cost analysis, we concentrate on the problem of solving cost relations (a form of recurrence relations) into closed-form upper and lower bounds, which is the heart of most modern cost analyzers, and also where most of the precision and applicability limitations can be found. We develop tools, and their underlying theoretical foundations, for solving cost relations that overcome the limitations of existing approaches, and demonstrate superiority in both precision and applicability. A unique feature of our techniques is the ability to smoothly handle both lower and upper bounds, by reversing the corresponding notions in the underlying theory. For termination analysis, we study the hardness of the problem of deciding termination for a speci�c form of simple loops that arise in the context of cost analysis. This study gives a better understanding of the (theoretical) limits of scalability and applicability for both termination and cost analysis.

Evaluación del rendimiento de jugadores y equipos de fútbol de nivel de élite en diferentes contextos situacionales = Evaluation on Match Performances of Professional Football Players and Teams under Different Situational Conditions = 不同情境条件下高水平足球运动员和运动队的比赛表现分析

El análisis del rendimiento en deportes juega un papel esencial en el fútbol profesional. Aunque el estudio del análisis del juego en fútbol se ha utilizado desde diferentes ámbitos y situaciones, todavía existen diferentes aspectos y componentes del juego que siguen sin estar estudiados. En este sentido existen diferentes aspectos que deben de superar los estudios previos centrados en el componente descriptivo tales como el uso de variables/ indicadores de rendimiento que no se han definido ni estudiado, la validez de los métodos observaciones que no han sido testados con los softwares específicos en fútbol, la aplicación y utilidad de los resultados, así como las limitaciones del estudio de las variables situacionales/contextuales. Con el objetivo de cubrir las citadas limitaciones se han diseñado 6 estudios independientes e inter-relacionados que tratan de estudiar los aspectos anteriormente referidos. El primer estudio evalua la fiabilidad inter-observadores de las estadísticas de juego de la empresa privada OPTA Sportsdata, estos datos son la muestra de estudio de la presente tesis doctoral. Dos grupos de observadores experimentados se requieren para analizar un partido de la liga española de manera independiente. Los resultados muestran que los eventos de equipos y porteros codificados por los inter-operadores alcanzan un acuerdo muy bueno (valores kappa entre 0.86 y 0.94). La validez inter-observadores de las acciones de juego y los datos de jugadores individuales se evaluó con elevados niveles de acuerdo (valores del coeficiente de correlación intraclase entre 0.88 hasta 1.00, el error típico estandarizado variaba entre 0.00 hasta 0.37). Los resultados sugieren que las estadísticas de juego registradas por los operadores de la empresa OPTA Sportsdata están bien entrenados y son fiables. El segundo, tercer y cuarto estudio se centran en resaltar la aplicabilidad del análisis de rendimiento en el fútbol así como para explicar en profundidad las influencias de las variables situacionales. Utilizando la técnica de los perfiles de rendimiento de jugadores y equipos de fútbol se puede evaluar y comparar de manera gráfica, fácil y visual. Así mismo, mediante esta técnica se puede controlar el efecto de las variables situacionales (localización del partido, nivel del equipo y del oponente, y el resultado final del partido). Los perfiles de rendimiento de porteros (n = 46 porteros, 744 observaciones) y jugadores de campo (n = 409 jugadores, 5288 observaciones) de la primera division professional de fútbol Española (La Liga, temporada 2012-13), los equipos (n = 496 partidos, 992 observaciones) de la UEFA Champions League (temporadas 2009-10 a 2012-13) fueron analizados registrando la media, desviación típica, mediana, cuartiles superior e inferior y el recuento de valores de cada indicador de rendimiento y evento, los cuales se presentaron en su forma tipificada y normalizada. Los valores medios de los porteros de los equipos de diferentes niveles de La Liga y de los equipos de diferente nivel de la UEFA Champions League cuando jugaban en diferentes contextos de juego y situaciones (variables situacionales) fueron comparados utilizando el ANOVA de un factor y la prueba t para muestras independientes (localización del partido, diferencias entre casa y fuera), y fueron establecidos en los perfiles de red después de unificar todos los registros en la misma escala derivada con valores estandarizados. Mientras que las diferencias de rendimiento entre los jugadores de los mejores equipos (Top3) y los peores (Bottom3) fueron comparados mediante el uso de diferencias en la magnitud del tamaño del efecto. El quinto y el sexto estudio analizaban el rendimiento del fútbol desde un punto de vista de predicción del rendimiento. El modelo linear general y el modelo lineal general mixto fue empleado para analizar la magnitud de las relaciones de los indicadores y estadísticas de juego con el resultado final del partido en función del tipo de partido (partidos ajustados o todos los partidos) en la fase de grupos de la Copa del Mundo 2014 de Brasil (n = 48 partidos, 38 partidos ajustados) y La Liga 2012-13 (n = 320 partidos ajustados). Las relaciones fueron evaluadas mediante las inferencias en la magnitud de las diferencias y se expresaron como partidos extra ganados o perdidos por cada 10 partidos mediante la variable calculada en 2 desviaciones típicas. Los resultados mostraron que, para los 48 partidos de la fase de grupos de la Copa del Mundo 2014, nueve variables tuvieron un efecto positive en la probabilidad de ganar (tiros, tiros a puerta, tiros de contraataque, tiros dentro del área, posesión de balón, pases en corto, media de secuencia de pases, duelos aéreos y entradas), cuatro tuvieron efectos negativos (tiros bloqueados, centros, regates y tarjetas amarillas), y otras 12 variables tenían efectos triviales o poco claros. Mientras que los 38 partidos ajustados, el efecto de duelos aéreos y tarjetas amarillas fueron triviales y claramente negativos respectivamente. En la La Liga, existió un efecto moderado positive para cada equipo para los tiros a puerta (3.4 victorias extras por cada 10 partidos; 99% IC ±1.0), y un efecto positivo reducido para tiros totales (1.7 victorias extrsa; ±1.0). Los efectos de la mayoría de los eventos se han relacionado con la posesión del balón, la cual obtuvo efectos negativos entre equipos (1.2 derrotas extras; ±1.0) pero un efecto positivo pequeño entra equipos (1.7 victorias extras; ±1.4). La localización del partido mostró un efecto positive reducido dentro de los equipos (1.9 victorias extras; ±0.9). Los resultados obtenidos en los perfiles y el modelado del rendimiento permiten ofrecer una información detallada y avanzada para el entrenamiento, la preparación previa a los partidos, el control de la competición y el análisis post-partido, así como la evaluación e identificación del talento de los jugadores. ABSTRACT Match performance analysis plays an important role in the modern professional football. Although the research in football match analysis is well-developed, there are still some issues and problems remaining in this field, which mainly include the lack of operational definitions of variables, reliability issues, applicability of the findings, the lack of contextual/situational variables, and focusing too much on descriptive and comparative analysis. In order to address these issues, six independent but related studies were conducted in the current thesis. The first study evaluated the inter-operator reliability of football match statistics from OPTA Sportsdata Company which is the data resourse of the thesis. Two groups of experienced operators were required to analyse a Spanish league match independently in the experiment. Results showed that team events and goalkeeper actions coded by independent operators reached a very good agreement (kappa values between 0.86 and 0.94). The inter-operator reliability of match actions and events of individual outfield players was also tested to be at a high level (intra-class correlation coefficients ranged from 0.88 to 1.00, standardised typical error varied from 0.00 to 0.37). These results suggest that the football match statistics collected by well-trained operators from OPTA Sportsdata Company are reliable. The second, third and fourth study aims to enhance the applicability of football match performance analysis and to explore deeply the influences of situational variables. By using a profiling technique, technical and tactical performances of football players and teams can be interpreted, evaluated and compared more easily and straightforwardly, meanwhile, influences and effects from situational variables (match location, strength of team and opposition, and match outcome) on the performances can be properly incorporated. Performance profiles of goalkeepers (n = 46 goalkeepers, 744 full match observations) and outfield players (n = 409 players, 5288 full match observations) from the Spanish First Division Professional Football League (La Liga, season 2012-13), teams (n = 496 matches, 992 observations) from UEFA Champions League (seasons 2009-10 to 2012-13) were set up by presenting the mean, standard deviation, median, lower and upper quartiles of the count values of each performance-related match action and event to represent their typical performances and spreads. Means of goalkeeper from different levels of team in La Liga and teams of different strength in UEFA Champions League when playing under different situational conditions were compared by using one-way ANOVA and independent sample t test (for match location, home and away differences), and were plotted into the same radar charts after unifying all the event counts by standardised score. While differences between the performances of outfield players from Top3 and from Bottom3 teams were compared by magnitude-based inferences. The fifth and sixth study aims to move from the descriptive and comparative football match analysis to a more predictive one. Generalised linear modelling and generalised mixed linear modelling were undertaken to quantify relationships of the performance-related match events, actions and variables with the match outcome in different types of games (close games and all games) in the group stage of 2014 Brazil FIFA World Cup (n = 48 games, 38 close games) and La Liga 2012-13 (n = 320 close games). Relationships were evaluated with magnitude-based inferences and were expressed as extra matches won or lost per 10 matches for an increase of two standard deviations of a variable. Results showed that, for all the 48 games in the group stage of 2014 FIFA World Cup, nine variables had clearly positive effects on the probability of winning (shot, shot on target, shot from counter attack, shot from inside area, ball possession, short pass, average pass streak, aerial advantage, and tackle), four had clearly negative effects (shot blocked, cross, dribble and red card), other 12 variabless had either trivial or unclear effects. While for the 38 close games, the effects of aerial advantage and yellow card turned to trivial and clearly negative, respectively. In the La Liga, there was a moderate positive within-team effect from shots on target (3.4 extra wins per 10 matches; 99% confidence limits ±1.0), and a small positive within-team effect from total shots (1.7 extra wins; ±1.0). Effects of most other match events were related to ball possession, which had a small negative within-team effect (1.2 extra losses; ±1.0) but a small positive between-team effect (1.7 extra wins; ±1.4). Game location showed a small positive within-team effect (1.9 extra wins; ±0.9). Results from the established performance profiles and modelling can provide detailed and straightforward information for training, pre-match preparations, in-match tactical approaches and post-match evaluations, as well as for player identification and development. 摘要 比赛表现分析在现代足球中起着举足轻重的作用。尽管如今对足球比赛表现分析的研究已经相对完善，但仍有很多不足之处。这些不足主要体现在：研究中缺乏对研究变量的清晰定义、数据信效度缺失、研究结果的实用性受限、比赛情境因素缺失以及过于集中在描述性和对比性分析等。针对这些问题，本论文通过六个独立而又相互联系的研究，进一步对足球比赛表现分析进行完善。 第一个研究对本论文的数据源--OPTA Sportsdata公司的足球比赛数据的信效度进行了实验检验。实验中，两组数据收集人员被要求对同一场西班牙足球甲级联赛的比赛进行分析。研究结果显示，两组收集人员记录下的球队比赛事件和守门员比赛行为具有高度的一致性(卡帕系数介于0.86和0.94)。收集人员输出的外场球员的比赛行为和比赛事件也具有很高的组间一致性(ICC相关系数介于0.88和1.00，标准化典型误差介于0.00和0.37)。实验结果证明了OPTA Sportsdata公司收集的足球比赛数据具有足够高的信效度。 第二、三、四个研究旨在提升足球比赛表现分析研究结果的实用性以及深度探讨比赛情境因素对足球比赛表现的影响。通过对足球运动员和运动队的比赛技战术表现进行档案创建，可以对运动员和运动队的比赛表现进行简直接而直观的呈现、评价和对比，同时，情境变量(比赛场地、球队和对手实力、比赛结果)对比赛表现的影响也可以被整合到表现档案中。本部分对2012-13赛季西班牙足球甲级联赛的参赛守门员(n = 46球员人次，744比赛场次)和外场球员(n = 409球员人次, 5288比赛场次)以及2009-10至2012-13赛季欧洲足球冠军联赛的参赛球队(n = 496比赛场次)的比赛技战术表现进行了档案创建。在表现档案中，各项比赛技战术指标的均值、标准差、中位数和大小四分位数被用来展现守门员、外场球员和球队的普遍表现和表现浮动性。方差分析(ANOVA)被用来对西甲不同水平球队的守门员、欧冠中不同水平球队在不同比赛情境下的普遍表现(各项指标的均值)进行对比，独立样本t检验被用来对比主客场比赛普遍表现的差异。数据量级推断(magnitude-based inferences)的方法则被用来对西甲前三名和最后三名球队外场球员的普遍表现进行对比分析。所有来自不同水平球队的运动员和不同水平运动队的各项比赛指标皆被转换成了标准分数，从而能把他们在各种不同比赛情境下的普遍表现(各项比赛指标的均值)投到相同的雷达图中进行直观的对比。 第五和第六个研究目的在于进行预测性足球比赛表现分析，从而跨越之前固有的描述性和对比性分析。广义线性模型和广义混合线性模型被用来对2014年巴西世界杯小组赛(n = 48 比赛场次，38小分差场次)和2012-13赛季西甲联赛(n = 320小分差场次)的比赛中各表现相关比赛事件、行为和变量与比赛结果(胜、平、负)的关系进行建模。模型中的关系通过数据量级推断(magnitude-based inferences)的方法来界定，具体表现为某个变量增加两个标准差对比赛结果的影响(每10场比赛中额外取胜或失利的场数)。研究结果显示，在2014年巴西世界杯小组赛的所有48场比赛中，9个变量(射门、射正、反击中射门、禁区内射门、控球、短传、连续传球平均次数、高空球争抢成功率和抢断)与赢球概率有清晰的正相关关系，4个变量(射门被封堵、传中、过人和红牌)与赢球概率有清晰的负相关关系，其他12个被分析的变量与赢球概率的相关关系微小或不清晰。而在38场小分差比赛中，高空球争抢成功率由正相关变为微小关系，黄牌则由微小关系变为清晰的负相关。在西甲联赛中，每一支球队增加两个标准差的“射正球门”可以给每10场比赛带来3.4场额外胜利(99%置信区间±1.0场)，而所有球队作为一个整体，每增加两个标准差的“射正球门”可以给每10场比赛带来1.7场额外胜利(99%置信区间±1.0场)。其他大多数比赛相关事件与比赛结果的相关关系与“控球”相关联。每一支球队增加两个标准差的“控球”将会给每10场比赛带来1.2场额外失利(99%置信区间±1.0场)，而所有球队作为一个整体，每增加两个标准差的“控球”可以给每10场比赛带来1.7场额外胜利(99%置信区间±1.4场)。与客场比赛相对，主场能给球队带来1.9 /10场额外胜利(99%置信区间±0.9场)。 比赛表现档案和模型中得出的研究结果可以为俱乐部、足球队、教练组、表现分析师和运动员提供详细而直接的参考信息。这些信息可用于训练指导、赛前备战、赛中技战术调整和赛后技战术表现分析，也可运用于足球运动员选材、培养和发展。

Fenología y capacidad de dispersión de Monochamus galloprovincialis (Olivier 1795) en la Península Ibérica = Phenology and dispersal ability of Monochamus galloprovincialis (Olivier 1795) at Iberian Peninsula

La aparición y avance de la enfermedad del marchitamiento del pino (Pine Wilt Desease, PWD), causada por Bursaphelenchus xylophilus (Nematoda; Aphelenchoididae), el nematodo de la madera del pino (NMP), en el suroeste de Europa, ha puesto de manifiesto la necesidad de estudiar la fenología y la dispersión de su único vector conocido en Europa, Monochamus galloprovincialis (Col., Cerambycidae). El análisis de 12 series de emergencias entre 2010 y 2014, registradas en Palencia, València y Teruel, con material procedente de diversos puntos de la península ibérica, demostró una alta variabilidad en la fenología de M. galloprovincialis y la divergencia térmica respecto de las poblaciones portuguesas. Para éstas, el establecimiento de los umbrales térmicos de desarrollo de las larvas post-dormantes del vector (12,2 y 33,5ºC) permitió la predicción de la emergencia mediana para la fecha en la que se acumulaban de 822 grados-día. Ninguna de las series analizadas en este trabajo necesitó de dichos grados-día estimados para la emergencia mediana. Asimismo, la emergencia se adelantó en las regiones más calurosas, mientras que se retrasó en las zonas más templadas. Más allá de la posible variabilidad entre poblaciones locales peninsulares, se detectaron indicios de que la diferencia en la acumulación de calor durante el otoño puede afectar el grado de maduración de las larvas invernantes, y su posterior patrón temporal de emergencia. Por último, también fueron observados comportamientos de protandria en las emergencias. Respecto a la fenología de su vuelo, entre los años 2010 y 2015, fueron ejecutados un total de 8 experimentos de captura de M. galloprovincialis mediante trampas cebadas con atrayentes en diferentes regiones (Castellón, Teruel, Segovia y Alicante) permitiendo el seguimiento del periodo de vuelo. Su análisis permitió constatar la disminución de las capturas y el acortamiento del periodo de vuelo con la altitud, el inicio del vuelo en el mes de mayo/junio a partir de los 14ºC de temperatura media diaria, la influencia de las altas temperaturas en la disminución de las capturas estivales (potencial causante de perfiles bimodales en las curvas de vuelo en las zonas menos frías), la evolución de la proporción de sexos a lo largo del periodo de vuelo (que muestra una mayor captura de hembras al inicio y de machos al final) y el comportamiento diurno y ligado a las altas temperaturas del vuelo circadiano del insecto. Dos redes de muestreo sistemático de insectos saproxílicos instaladas en la Comunitat Valencia (Red MUFFET, 15 parcelas, año 2013) y en Murcia (Red ESFP, 20 parcelas, años 2008-2010) permitieron el estudio de la comunidad de insectos relacionada con M. galloprovincialis. Cada una de las parcelas contaba con una trampa cebada con atrayentes y una estación meteorológica. El registro de más de 250 especies de coleópteros saproxílicos demostró el potencial que tiene el empleo de redes de trampas vigía para la detección temprana de organismos exóticos, además de permitir la caracterización y evaluación de las comunidades de entomofauna útil, representando una de las mejores herramientas de la gestión integrada de plagas. En este caso, la comunidad de saproxílicos estudiada mostró ser muy homogénea respecto a la variación ambiental de las zonas de muestreo, y que pese a las pequeñas variaciones entre las comunidades de los diferentes ecosistemas, el rol que M. galloprovincialis desempeña en ellas a lo largo de todo el gradiente estudiado es el mismo. Con todo, el análisis mediante redes de interacción mostró su relevancia ecológica al actuar de conector entre los diferentes niveles tróficos. Por último, un total de 12 experimentos de marcaje-liberación-recaptura desarrollados entre 2009 y 2012 en Castellón, Teruel, Valencia y Murcia permitieron evaluar el comportamiento dispersivo de M. galloprovincialis. Las detecciones mediante trampas cebadas de los insectos liberados se dieron por lo menos 8 días después de la emergencia. La abundancia de población pareció relacionada con la continuidad, la naturalización de la masa, y con la afección previa de incendios. La dispersión no estuvo influida por la dirección ni la intensidad de los vientos dominantes. La abundancia de material hospedante (en lo referente a las variables de masa y a los índices de competencia) influyó en la captura del insecto en paisajes fragmentados, aunque la ubicación de las trampas optimizó el número de capturas cuando se ubicaron en el límite de la masa y en zonas visibles. Por último también se constató que M. galloprovincialis posee suficiente capacidad de dispersión como para recorrer hasta 1500 m/día, llegando a alcanzar distancias máximas de 13600m o de 22100 m. ABSTRACT The detection and expansion of the Pine Wilt Desease (PWD), caused by Bursaphelenchus xylophilus (Nematoda; Aphelenchoididae), Pine Wood Nematode (PWN), in southwestern Europe since 1999, has triggered off the study of the phenology and the dispersion of its unique vector in the continent, Monochamus galloprovincialis (Coleoptera, Cerambycidae). The analysis of 12 emergence series between 2010 and 2014 registered in Palencia, Teruel and Valencia (Spain), registered from field colonized material collected at several locations of the Iberian Peninsula, showed a high variability in the emergence phenology of M. galloprovincialis. In addition, these patterns showed a very acute thermal divergence regarding a development model fitted earlier in Portugal. Such model forecasted the emergence of 50% of M. galloprovincialis individuals in the Setúbal Peninsula (Portugal) when an average of 822 degree-days (DD) were reached, based on the accumulation of heat from the 1st of March until emergence and lower and upper thresholds of 12.2 ºC and 33,5 °C respectively. In our results, all analyzed series needed less than 822 DD to complete the 50% of the emergence. Also, emergency occurred earlier in the hottest regions, while it was delayed in more temperate areas. Beyond the possible variability between local populations, the difference in the heat accumulation during the fall season may have affected the degree of maturation of overwintering larvae, and subsequently, the temporal pattern of M. galloprovincialis emergences. Therefore these results suggest the need to differentiate local management strategies for the PWN vector, depending on the location, and the climatic variables of each region. Finally, protandrous emergence patterns were observed for M. galloprovincialis in most of the studied data-sets. Regarding the flight phenology of M. galloprovincialis, a total of 8 trapping experiments were carried out in different regions of the Iberian Peninsula (Castellón, Teruel, Segovia and Alicante) between 2010 and 2015. The use of commercial lures and traps allowed monitoring of the flight period of M. galloprovincialis. The analyses of such curves, helped confirming different aspects. First, a decline in the number of catches and a shortening of the flight period was observed as the altitude increased. Flight period was recorded to start in May / June when the daily average temperature went over 14 ° C. A significant influence of high temperatures on the decrease of catches in the summer was found in many occasions, which frequently lead to a bimodal profile of the flight curves in warm areas. The evolution of sex ratio along the flight period shows a greater capture of females at the beginning of the period, and of males at the end. In addition, the circadian response of M. galloprovincialis to lured traps was described for the first time, concluding that the insect is diurnal and that such response is linked to high temperatures. Two networks of systematic sampling of saproxylic insects were installed in the Region of Valencia (Red MUFFET, 15 plots, 2013) and Murcia (Red ICPF, 20 plots, 2008-2010). These networks, intended to serve the double purpose of early-detection and long term monitoring of the saproxylic beetle assemblies, allowed the study of insect communities related to M. galloprovincialis. Each of the plots had a trap baited with attractants and a weather station. The registration of almost 300 species of saproxylic beetles demonstrated the potential use of such trapping networks for the early detection of exotic organisms, while at the same time allows the characterization and evaluation of useful entomological fauna communities, representing one of the best tools for the integrated pest management. In this particular case, the studied community of saproxylic beetles was very homogeneous with respect to environmental variation of the sampling areas, and despite small variations between communities of different ecosystems, the role that M. galloprovincialis apparently plays in them across the studied gradient seems to be the same. However, the analysis through food-webs showed the ecological significance of M. galloprovincialis as a connector between different trophic levels. Finally, 12 mark-release-recapture experiments were carried out between 2009 and 2012 in Castellón, Teruel, Valencia and Murcia (Spain) with the aim to describe the dispersive behavior of M. galloprovincialis as well as the stand and landscape characteristics that could influence its abundance and dispersal. No insects younger than 8 days were caught in lured traps. Population abundance estimates from mark-release-recapture data, seemed related to forest continuity, naturalization, and to prior presence of forest fires. On the other hand, M. galloprovincialis dispersal was not found to be significantly influenced by the direction and intensity of prevailing winds. The abundance of host material, very related to stand characteristics and spacing indexes, influenced the insect abundance in fragmented landscapes. In addition, the location of the traps optimized the number of catches when they were placed in the edge of the forest stands and in visible positions. Finally it was also found that M. galloprovincialis is able to fly up to 1500 m / day, reaching maximum distances of up to 13600 m or 22100 m.

Can ozone depletion and global warming interact to produce rapid climate change?

The atmosphere displays modes of variability whose structures exhibit a strong longitudinally symmetric (annular) component that extends from the surface to the stratosphere in middle and high latitudes of both hemispheres. In the past 30 years, these modes have exhibited trends that seem larger than their natural background variability, and may be related to human influences on stratospheric ozone and/or atmospheric greenhouse gas concentrations. The pattern of climate trends during the past few decades is marked by rapid cooling and ozone depletion in the polar lower stratosphere of both hemispheres, coupled with an increasing strength of the wintertime westerly polar vortex and a poleward shift of the westerly wind belt at the earth's surface. Annular modes of variability are fundamentally a result of internal dynamical feedbacks within the climate system, and as such can show a large response to rather modest external forcing. The dynamics and thermodynamics of these modes are such that strong synergistic interactions between stratospheric ozone depletion and greenhouse warming are possible. These interactions may be responsible for the pronounced changes in tropospheric and stratospheric climate observed during the past few decades. If these trends continue, they could have important implications for the climate of the 21st century.

Structure and Expression of a Dhurrinase (β-Glucosidase) from Sorghum1

Sorghum (Sorghum bicolor L. Moench) has two isozymes of the cyanogenic β-glucosidase dhurrinase: dhurrinase-1 (Dhr1) and dhurrinase-2 (Dhr2). A nearly full-length cDNA encoding dhurrinase was isolated from 4-d-old etiolated seedlings and sequenced. The cDNA has a 1695-nucleotide-long open reading frame, which codes for a 565-amino acid-long precursor and a 514-amino acid-long mature protein, respectively. Deduced amino acid sequence of the sorghum Dhr showed 70% identity with two maize (Zea mays) β-glucosidase isozymes. Southern-blot data suggested that β-glu-cosidase is encoded by a small multigene family in sorghum. Northern-blot data indicated that the mRNA corresponding to the cloned Dhr cDNA is present at high levels in the node and upper half of the mesocotyl in etiolated seedlings but at low levels in the root—only in the zone of elongation and the tip region. Light-grown seedling parts had lower levels of Dhr mRNA than those of etiolated seedlings. Immunoblot analysis performed using maize-anti-β-glucosidase sera detected two distinct dhurrinases (57 and 62 kD) in sorghum. The distribution of Dhr activity in different plant parts supports the mRNA and immunoreactive protein data, suggesting that the cloned cDNA corresponds to the Dhr1 (57 kD) isozyme and that the dhr1 gene shows organ-specific expression.

Distinct desmocollin isoforms occur in the same desmosomes and show reciprocally graded distributions in bovine nasal epidermis.

The adhesive core of the desmosome is composed of cadherin-like glycoproteins of two families, desmocollins and desmogleins. Three isoforms of each are expressed in a tissue-specific and developmentally regulated pattern. In bovine nasal epidermis, the three desmocollin (Dsc) isoforms are expressed in overlapping domains; Dsc3 expression is strongest in the basal layer, while Dsc2 and Dsc1 are strongly expressed in the suprabasal layers. Herein we have investigated whether different isoforms are assembled into the same or distinct desmosomes by performing double immunogold labeling using isoform-specific antibodies directed against Dsc1 and Dsc3. The results show that individual desmosomes harbor both isoforms in regions where their expression territories overlap. Quantification showed that the ratio of the proteins in each desmosome altered gradually from basal to immediately suprabasal and upper suprabasal layers, labeling for Dsc1 increasing and Dsc3 decreasing. Thus desmosomes are constantly modified as cells move up the epidermis, with continuing turnover of the desmosomal glycoproteins. Statistical analysis of the quantitative data showed a possible relationship between the distributions of the two isoforms. This gradual change in desmosomal composition may constitute a vertical adhesive gradient within the epidermis, having important consequences for cell positioning and differentiation.

The masses of the neutron and donor star in the high-mass X-ray binary IGR J18027-2016

Aims. We report near-infrared observations of the supergiant donor to the eclipsing high mass X-ray binary pulsar IGR J18027-2016. We aim to determine its spectral type and measure its radial velocity curve and hence determine the stellar masses of the components. Methods. ESO/VLT observations of the donor utilising the NIR spectrograph ISAAC were obtained in the H and K bands. The multi-epoch H band spectra were cross-correlated with RV templates in order to determine a radial solution for the system. Results. The spectral type of the donor was confirmed as B0-1 I. The radial velocity curve constructed has a semi-amplitude of 23.8 ± 3.1 km s-1. Combined with other measured system parameters, a dynamically determined neutron star mass of 1.4  ±  0.2–1.6  ±  0.3 M⊙ is found. The mass range of the B0-B1 I donor was 18.6  ±  0.8–21.8  ±  2.4 M⊙. These lower and upper limits were obtained under the assumption that the system is viewed edge-on (i = 90° with β = 0.89) for the lower limit and the donor fills its Roche lobe (β = 1 with i = 73.1°) for the upper limit respectively.

Water polo throwing speed and body composition: an analysis by playing positions and opposition level

The aim of this study was to develop an anthropometric profile on highly skilled male water polo players by specific playing positions. Also, to identify significant relationships between these features an overhead throwing speed in highly skilled male Water Polo players by specific playing positions. Methods: A total of 94 male water polo players (24.5±5.3 yrs) who were playing in the Spanish King´s cup were studied. Subjects were grouped according to their specific playing positions: 15 goalkeepers, 45 offensive wings, 20 center backs and 14 center forwards. Anthropometric assessment was made following ISAK protocols. Hand grip and throwing speed in several situations were also assessed. A one-way analysis of variance (ANOVA) was used to determine if significant differences existed among the four playing positions. Pearson product-moment correlation coefficients (r) were used to determine the relationships of all anthropometric measures with throwing speed and hand grip. The total player’s somatotype was endomorphic-mesomorphic (2.9–5.8–2.3). Center forwards exhibit important anthropometric differences compared with the other specific playing positions in elite male water polo players, but no differences were found in throwing speed by specific playing positions in each throwing conditions. Moreover, a higher number of relationships between anthropometric and throwing speed were found in wings and also in center backs but no relationships were found in center forwards. The data reflects the importance of muscle mass and upper body in the throwing skill. Coaches can use this information in order to select players for the different specific positions.

A Review on Repeated Games and Reputations with Incomplete Information

In this project we review the effects of reputation within the context of game theory. This is done through a study of two key papers. First, we examine a paper from Fudenberg and Levine: Reputation and Equilibrium Selection in Games with a Patient Player (1989). We add to this a review Gossner’s Simple Bounds on the Value of a Reputation (2011). We look specifically at scenarios in which a long-run player faces a series of short-run opponents, and how the former may develop a reputation. In turn, we show how reputation leads directly to both lower and upper bounds on the long-run player’s payoffs.

Geochemistry of Baltic Sea sediments and porewaters

Patterns of regeneration and burial of phosphorus (P) in the Baltic Sea are strongly dependent on redox conditions. Redox varies spatially along water depth gradients and temporally in response to the seasonal cycle and multidecadal hydrographic variability. Alongside the well-documented link between iron oxyhydroxide dissolution and release of P from Baltic Sea sediments, we show that preferential remineralization of P with respect to carbon (C) and nitrogen (N) during degradation of organic matter plays a key role in determining the surplus of bioavailable P in the water column. Preferential remineralization of P takes place both in the water column and upper sediments and its rate is shown to be redox-dependent, increasing as reducing conditions become more severe at greater water-depth in the deep basins. Existing Redfield-based biogeochemical models of the Baltic may therefore underestimate the imbalance between N and P availability for primary production, and hence the vulnerability of the Baltic to sustained eutrophication via the fixation of atmospheric N. However, burial of organic P is also shown to increase during multidecadal intervals of expanded hypoxia, due to higher net burial rates of organic matter around the margins of the deep basins. Such intervals may be characterized by basin-scale acceleration of all fluxes within the P cycle, including productivity, regeneration and burial, sustained by the relative accessibility of the water column P pool beneath a shallow halocline.

Stable oxygen and carbon isotope of foraminifera from DSDP Leg 90 sites

High-resolution oxygen and carbon isotope stratigraphy is presented for Miocene to early Pliocene sequences at three DSDP sites from the Lord Howe Rise, southwest Pacific, at water depths ranging from 1,300 to 2,000 m. Site 588 is located in the warm subtropics (~26°S), whereas Sites 590 and 591 are positioned in transitional (northern temperate) water masses (~31°S). Benthic foraminiferal oxygen and carbon isotope analyses were conducted on all sites; planktonic foraminiferal isotope data were generated for Site 590 only. Sample resolution in these sequences is on the order of 50,000 yr. or better. The chronological framework employed in this study is based largely upon ages assigned to Neogene calcareous nannoplankton boundaries. The benthic oxygen isotope record exhibits several major features during the Neogene. During most of the early Miocene, delta18O values were relatively low, reaching minimum values in the late early Miocene (19.5 to 16.5 Ma), and recording the climax of Neogene warmth. This was followed by a major increase in benthic delta18O values between ~16.5 and 13.5 Ma, which is interpreted as representing major, permanent accumulation of the East Antarctic ice sheet and cooling of bottom waters. During the 3 m.y. 18O enrichment, surface waters at these middle latitudes warmed between 16 and 14.5 Ma. During the remainder of the middle and late Miocene, benthic delta18O values exhibit distinct fluctuations, but the average value remained unchanged. The isotopic data show two distinct episodes of climatic cooling close to the middle/late Miocene boundary. The earliest of these events occurred between 12.5 and 11.5 Ma in the latest middle Miocene. The second cooling event occurred from 11 to 9 Ma, and is marked by some of the highest delta18O values of the entire Miocene. This was followed by relative warmth during the middle part of the late Miocene. The latest Miocene and earliest Pliocene (6.2 to 4.5 Ma) were marked by relatively high delta18O values, indicating increased cooling and glaciation. During the middle Pliocene, at about 3.4 Ma, a 0.4 per mil increase in benthic delta18O documents a net increase in average global ice volume and cooling of bottom waters. During this interval of increased glaciation, surface waters warmed by 2-3°C in southern middle-latitude regions. During the late Pliocene, between 2.6 and 2.4 Ma, a further increase in delta18O occurred; this has been interpreted by previous workers as heralding the onset of Northern Hemisphere glaciation. Surface-water warming in the middle latitudes occurred in association with major high-latitude glacial increases in the early middle Miocene (16-14 Ma), middle Pliocene (-3.5 Ma), and late Pliocene (~2.4 Ma). These intervals were also marked by increases in the vertical temperature gradient in the open ocean. Intersite correlation is enhanced by using carbon isotope stratigraphy. The great similarity of the delta13C time-series records within and between ocean basins and with water depth clearly indicates that changes in oceanwide average delta13C of [HCO3]- in seawater dominated the records, rather than local effects. Broad changes in the Neogene delta13C record were caused largely by transfer of organic carbon between continental and oceanic reservoirs. These transfers were caused by marine transgressions and regressions on the continental margins. The dominant feature of Neogene delta13C stratigraphy is a broad late early to early middle Miocene increase of about lâ between ~19 and 14.5 Ma. This trend occurred contemporaneously with a period of maximum coastal onlap (transgression) and maximum Neogene climatic warmth. The delta13C trend terminated during the expansion of the Antarctic ice sheet and associated marine regression. The latest Miocene carbon isotope shift (of up to - 0.75 per mil) at 6.2 Ma is clearly recorded in all sites examined and was followed by relatively low values during the remainder of the Neogene. This shift was caused by a glacioeustatic sealevel lowering that exposed continental margins via regression and ultimately increased the flux of organic carbon to the deep sea. An increase in delta13C values during the early Pliocene (~5 to 4 Ma) resulted from marine transgression during a time of global warmth.

(Table T2) Integrated intensity (peak area) of matrix minerals of ODP Hole 173-1068A

Mass-wasting deposits characterize the Upper Jurassic(?) to Lower Cretaceous sedimentary record of the Iberia Abyssal Plain. These deposits include olistostromes at Site 897, olistostromes and/or possible rock-fall deposits at Site 899, a breccia succession at Site 1068, slumped and fractured deposits at Site 1069, and a breccia succession at Site 1070. Whereas the exact origin of these deposits is uncertain, the regional common occurrence of middle to upper Mesozoic mass-wasting deposits suggests that they record the early rifting evolution of the west Iberia margin. This data report presents both qualitative and semiquantitative results from XRD analyses of the breccia matrix at Site 1068. In this study the matrix is defined as the fine-grained particles (as viewed through a binocular microscope) plus cement. Results are based on analytical methods that aimed to isolate the desired matrix from larger clast contamination prior to XRD analyses. In addition, the breccia was sampled at a higher resolution than was conducted aboard ship, producing a more complete description of downcore matrix mineralogical changes. The data presented here may be used to (1) further justify the subunit designation of Unit IV made aboard ship, (2) help determine to what degree the matrix and the larger clasts (studied in thin section aboard ship; Shipboard Scientific Party, 1998, doi:10.2973/odp.proc.ir.173.106.1998) are compositionally distinct, (3) help identify the extent of hydrothermal fluid migration in the breccia, and (4) support the proposed shipboard hypothesis that the Site 1068 breccia succession resulted from multiple mass-wasting.