Deriving a fixpoint computation algorithm for top-down abstract interpretation of logic programs

Bruynooghe described a framework for the top-down abstract interpretation of logic programs. In this framework, abstract interpretation is carried out by constructing an abstract and-or tree in a top-down fashion for a given query and program. Such an abstract interpreter requires fixpoint computation for programs which contain recursive predicates. This paper presents in detail a fixpoint algorithm that has been developed for this purpose and the motivation behind it. We start off by describing a simple-minded algorithm. After pointing out its shortcomings, we present a series of refinements to this algorithm, until we reach the final version. The aim is to give an intuitive grasp and provide justification for the relative complexity of the final algorithm. We also present an informal proof of correctness of the algorithm and some results obtained from an implementation.

Top-Hat HELLISH-VCSOA for optical amplification and wavelength conversion for 0.85 to 1.3ìm operation

The Top-Hat hot electron light emission and lasing in semiconductor heterostructure (HELLISH)-vertical cavity semiconductor optical amplifier (VCSOA) is a modified version of a HELLISH-VCSOA device. It has a shorter p-channel and longer n-channel. The device studied in this work consists of a simple GaAs p-i-n junction, containing 11 Ga0.35In0.65 N0.02As0.08/GaAs multiple quantum wells in its intrinsic region; the active region is enclosed between six pairs of GaAs/AlAs top distributed Bragg reflector (DBR) mirrors and 20.5 pairs of AlAs/GaAs bottom DBR mirrors. The operation of the device is based on longitudinal current transport parallel to the layers of the GaAs p-n junction. The device is characterised through I-V-L and by spectral photoluminescence, electroluminescence and electro-photoluminescence measurements. An amplification of about 25 dB is observed at applied voltages of around V = 88 V.

Selective area growth and characterization of InGaN nano-disks implemented in GaN nanocolumns with different top morphologies

This work reports on the morphology control of the selective area growth of GaN-based nanostructures on c-plane GaN templates. By decreasing the substrate temperature, the nanostructures morphology changes from pyramidal islands (no vertical m-planes), to GaN nanocolumns with top semipolar r-planes, and further to GaN nanocolumns with top polar c-planes. When growing InGaN nano-disks embedded into the GaN nanocolumns, the different morphologies mentioned lead to different optical properties, due to the semi-polar and polar nature of the r-planes and c-planes involved. These differences are assessed by photoluminescence measurements at low temperature and correlated to the specific nano-disk geometry.

Effect of positioning on the accuracy of decision making of association football top-class referees and assistant referees during competitive matches

The aim of this study was to examine the effect of positioning on the correctness of decision making of top-class referees and assistant referees during international games. Match analyses were carried out during the Fe´de´ration Internationale de Football Association (FIFA) Confederations Cup 2009 and 380 foul play incidents and 165 offside situations were examined. The error percentage for the referees when indicating the incidents averaged 14%. The lowest error percentage occurred in the central area of the field, where the collaboration of the assistant referee is limited, and was achieved when indicating the incidents from a distance of 11–15 m, whereas this percentage peaked (23%) in the last 15-min match period. The error rate for the assistant referees was 13%. Distance of the assistant referee to the offside line did not have an impact on the quality of the offside decision. The risk of making incorrect decisions was reduced when the assistant referees viewed the offside situations from an angle between 46 and 608. Incorrect offside decisions occurred twice as often in the second as in the first half of the games. Perceptual-cognitive training sessions specific to the requirements of the game should be implemented in the weekly schedule of football officials to reduce the overall error rate.

Ion charge number and flux saturation effects in the corona of a laser-irradiated pellet

The quasisteady structure of the corona of a laser-irradiated pellet is completely determined for arbitrary Z, (ion charge number} and re/ra (ratio of critical and ablation radii), and for heat-flux saturation factor/above approximately 0.04. The ion-to-electron temperature ratio at rc grows sensibly with Z,; all other quantities depend weakly and nonmonotonically on Z,. For rc /ra close to unity, and all Z, of interest (Z, < 47}, the flow is subsonic at rc. For a given laser power W, flux saturation may decrease (low/) or increase (high/) the ablation pressure Pa relative to the value obtained when saturation is not considered; in some cases a decrease in/with W fixed increases Pa. For intermediate^ ~0.1), Pa cc (W/r* )2/3 p\n\pc = critical density), independently of rc/ra; for/~0.6, Pa «s larger by a factor of about [rc/raf13. For rjra > 1.2 roughly, the mass ablation rate is C{Z,) [{m/kZ.f^Kr^Pl) l,\ independent of pc and/, and barely dependent on Z,(m, is ion mass; k, Boltzmann's constant; K, conductivity coefficient; and C, a tabulated function).

Regression analysis of top of descent location for idle-thrust descents

In this paper, multiple regression analysis is used to model the top of descent (TOD) location of user-preferred descent trajectories computed by the flight management system (FMS) on over 1000 commercial flights into Melbourne, Australia. In addition to recording TOD, the cruise altitude, final altitude, cruise Mach, descent speed, wind, and engine type were also identified for use as the independent variables in the regression analysis. Both first-order and second-order models are considered, where cross-validation, hypothesis testing, and additional analysis are used to compare models. This identifies the models that should give the smallest errors if used to predict TOD location for new data in the future. A model that is linear in TOD altitude, final altitude, descent speed, and wind gives an estimated standard deviation of 3.9 nmi for TOD location given the trajectory parame- ters, which means about 80% of predictions would have error less than 5 nmi in absolute value. This accuracy is better than demonstrated by other ground automation predictions using kinetic models. Furthermore, this approach would enable online learning of the model. Additional data or further knowledge of algorithms is necessary to conclude definitively that no second-order terms are appropriate. Possible applications of the linear model are described, including enabling arriving aircraft to fly optimized descents computed by the FMS even in congested airspace.

Análisis y planteamiento de modelos de negocio de vídeo over the top (OTT)

Aunque esta no es la primera vez que nuevas compañías y tecnologías revolucionan la forma de entender una industria determinada, los modelos over-the-top (OTT) han provocado una explosión en el consumo de contenidos a través de internet, una revolución en la forma tradicional de comunicarse, de disfrutar de nuevas posibilidades de ocio digital y, por tanto, una transformación a la hora de entender los modelos de monetización de las compañías, actualmente buscando su lugar en la nueva cadena de valor. Ya no cabe duda de que este tipo de servicios se han hecho un hueco en la rutina diaria de las personas pero, a pesar de su rápida adopción y alta tasa de penetración, todo parece indicar que es sólo el comienzo de una nueva era, donde estos nuevos modelos disruptivos, están todavía por definirse. Tras unos años de cambios en el sector de las comunicaciones y entretenimiento digital, es ahora el del consumo audiovisual de entretenimiento el que se está viviendo sus debates más intensos. Este trabajo, presentado como proyecto final dentro del Máster de Consultoría en Gestión de Empresas fruto de la colaboración entre la UPM y la AEC, analiza en profundidad los cambios que está generando la adopción de soluciones de vídeo-OTT en el mercado a todos los niveles: cambios en los patrones de comportamiento de las personas, impactos en los sectores tradicionales (y su traducción en términos económicos y legales), evolución de la tecnología, etc. Todos estos aspectos se visitan haciendo especial hincapié en la cadena de valor y los nuevos modelos de negocio derivados de estas nuevas soluciones permitiendo monetizar estos cambios en un mercado complejo. Como complemento, se presenta un análisis de una de las soluciones líderes en el mercado, NETFLIX. Profundizar en un modelo de negocio de una compañía como esta permite analizar las estrategias seguidas y resultados obtenidos en función de la caracterización del mercado existente en cada momento, tomando notas para tener en cuenta en el planteamiento de modelos de negocio similares. Adicionalmente, en el apartado de recomendaciones para la cadena de valor, se establecen una serie de modelos de negocio que permitan enfrentar la aparición y crecimiento de los servicios OTT desde dos puntos de vista: diferenciación y participación de los mismos. Las aportaciones de valor presentadas, prestan especial atención también sobre las operadoras de telecomunicaciones, uno de los sectores más castigados por la entrada en el mercado de las soluciones de vídeo-OTT, junto con la televisión de pago. Por último, se utilizan todas las conclusiones extraídas de los anteriores apartados (que sirven como caracterización de entorno) para establecer un plan de negocio definiendo una propuesta que podría ser interesante desarrollar en el mercado español, carente actualmente de una solución líder que destaque, como ocurre en otros países. En base a este trabajo, se puede concluir que este tipo de servicios de vídeo-OTT presentan un potencial todavía por desarrollar y que conviene incluir en las estrategias de los próximos años de las compañías del sector, si éstas no quieren perder cuota de un mercado que sin duda evolucionará y revolucionará el mundo de la televisión tal y como existe actualmente.

Mechanical characterization of GdBCO/Ag and YBCO single grains fabricated by top-seeded melt growth at 77 and 300 K

YBaCuO and GdBaCuO + 15 wt% Ag large, single-grain, bulk superconductors have been fabricated via the top-seeded, melt-growth (TSMG) process using a generic NdBCO seed. The mechanical behavior of both materials has been investigated by means of three-point bending (TPB) and transversal tensile tests at 77 and 300 K. The strength, fracture toughness and hardness of the samples were studied for two directions of applied load to obtain comprehensive information about the effect of microstructural anisotropy on the macroscopic and microscopic mechanical properties of these technologically important materials. Splitting (Brazilian) tests were carried out on as-melt-processed cylindrical samples following a standard oxygenation process and with the load applied parallel to the growth-facet lines characteristic of the TSMG process. In addition, the elastic modulus of each material was measured by three different techniques and related to the microstructure of each sample using optical microscopy. The results show that both the mechanical properties and the elastic modulus of both YBCO and GdBCP/Ag are improved at 77 K. However, the GdBCO/Ag samples are less anisotropic and exhibit better mechanical behavior due to the presence of silver particles in the bulk, superconducting matrix. The splitting tensile strength was determined at 77 K and both materials were found to exhibit similar behavior, independently of their differences in microstructure.

Temporally flat top pulse generation from gain switched semiconductor lasers based on a polarization interferometer with variable transfer function

We propose the use of a polarization based interferometer with variable transfer function for the generation of temporally flat top pulses from gain switched single mode semiconductor lasers. The main advantage of the presented technique is its flexibility in terms of input pulse characteristics, as pulse duration, spectral bandwidth and operating wavelength. Theoretical predictions and experimental demonstrations are presented and the proposed technique is applied to two different semiconductor laser sources emitting in the 1550 nm region. Flat top pulses are successfully obtained with input seed pulses with duration ranging from 40 ps to 100 ps.

A proposal for pellet production from residual woody biomass in the island of Majorca (Spain)

The use of residual biomass for energy purposes is of great interest in isolated areas like Majorca for waste reduction, energy sufficiency and renewable energies development. In addition, densification processes lead to easy-to-automate solid biofuels which additionally have higher energy density. The present study aims at (i) the estimation of the potential of residual biomass from woody crops as well as from agri-food and wood industries in Majorca, and (ii) the analysis of the optimal location of potential pellet plants by means of a GIS approach (location-allocation analysis) and a cost evaluation of the pellets production chain. The residual biomass potential from woody crops in Majorca Island was estimated at 35,874 metric tons dry matter (t DM) per year, while the wood and agri-food industries produced annually 21,494 t DM and 2717 t DM, respectively. Thus, there would be enough resource available for the installation of 10 pellet plants of 6400 t·year−1 capacity. These plants were optimally located throughout the island of Mallorca with a maximum threshold distance of 28 km for biomass transport from the production points. Values found for the biomass cost at the pellet plant ranged between 57.1 €·t−1 and 63.4 €·t−1 for biomass transport distance of 10 and 28 km. The cost of pelleting amounted to 56.7 €·t−1; adding the concepts of business fee, pellet transport and profit margin (15%), the total cost of pelleting was estimated at 116.6 €·t−1. The present study provides a proposal for pellet production from residual woody biomass that would supply up to 2.8% of the primary energy consumed by the domestic and services sector in the Balearic Islands.

Estimating the relative roles of top-down and bottom-up forces on insect herbivore populations: A classic study revisited

Although most ecologists agree that both top-down and bottom-up forces (predation and resource limitation, respectively) act in concert to influence populations of herbivores, it has proven difficult to estimate the relative contributions of such forces in terrestrial systems. Using a combination of time–series analysis of population counts recorded over 16 years and experimental data, we present the first estimates of the relative roles of top-down and bottom-up forces on the population dynamics of two terrestrial insect herbivores on the English oak (Quercus robur). Data suggest that temporal variation in winter moth, Operophtera brumata, density is dominated by time-lagged effects of pupal predators. By comparison, spatial variation in O. brumata density is dominated by host–plant quality. Overall, top-down forces explain 34.2% of population variance, bottom-up forces explain 17.2% of population variance, and 48.6% remains unexplained. In contrast, populations of the green oak tortrix, Tortrix viridana, appear dominated by bottom-up forces. Resource limitation, expressed as intraspecific competition among larvae for oak leaves, explains 29.4% of population variance. Host quality effects explain an additional 5.7% of population variance. We detected no major top-down effects on T. viridana populations. An unknown factor causing a linear decline in T. viridana populations over the 16-year study period accounts for most of the remaining unexplained variance. We discuss the observed differences between the insect species and the utility of time–series analysis as a tool in assessing the relative importance of top-down and bottom-up forces on herbivore populations.

Benthic–pelagic links and rocky intertidal communities: Bottom-up effects on top-down control?

Insight into the dependence of benthic communities on biological and physical processes in nearshore pelagic environments, long considered a “black box,” has eluded ecologists. In rocky intertidal communities at Oregon coastal sites 80 km apart, differences in abundance of sessile invertebrates, herbivores, carnivores, and macrophytes in the low zone were not readily explained by local scale differences in hydrodynamic or physical conditions (wave forces, surge flow, or air temperature during low tide). Field experiments employing predator and herbivore manipulations and prey transplants suggested top-down (predation, grazing) processes varied positively with bottom-up processes (growth of filter-feeders, prey recruitment), but the basis for these differences was unknown. Shore-based sampling revealed that between-site differences were associated with nearshore oceanographic conditions, including phytoplankton concentration and productivity, particulates, and water temperature during upwelling. Further, samples taken at 19 sites along 380 km of coastline suggested that the differences documented between two sites reflect broader scale gradients of phytoplankton concentration. Among several alternative explanations, a coastal hydrodynamics hypothesis, reflecting mesoscale (tens to hundreds of kilometers) variation in the interaction between offshore currents and winds and continental shelf bathymetry, was inferred to be the primary underlying cause. Satellite imagery and offshore chlorophyll-a samples are consistent with the postulated mechanism. Our results suggest that benthic community dynamics can be coupled to pelagic ecosystems by both trophic and transport linkages.

Top-down versus bottom-up and the Ruritanian bean bug

In a recent article, Hunter uses the late George Varley and George Gradwell’s long-term data on the winter moth (Operophtera brumata) and green tortrix (Tortrix viridana) populations to propose a method of quantifying the relative importance of top-down effects (because of natural enemies) and bottom-up effects (because of resource competition) in influencing population dynamics. We believe this approach is deeply flawed. Using Varley and Gradwell’s winter moth study, we show that the problems with Hunter’s analysis lie in his misinterpretation of the population dynamics and his inappropriate use of statistical techniques. We also emphasize the importance of distinguishing clearly between two quite different things: firstly, top-down and bottom-up regulation of populations and secondly, the much simpler task of categorizing factors affecting changes in population density as either top-down or bottom-up processes.