Clarin sonoro, que haze gente para el cielo, o Tratado de las penas, qve padecen los condenados

Signaturas: [¶]4, A-Q8, R4.

Western missions and missionaries : a series of letters / by P.J. de Smet.

http://www.archive.org/details/westernmissionsa00smetrich

Seed Scheduling for Peer-to-Peer Networks

The initial phase in a content distribution (file sharing) scenario is a delicate phase due to the lack of global knowledge and the dynamics of the overlay. An unwise distribution of the pieces in this phase can cause delays in reaching steady state, thus increasing file download times. We devise a scheduling algorithm at the seed (source peer with full content), based on a proportional fair approach, and we implement it on a real file sharing client [1]. In dynamic overlays, our solution improves up to 25% the average downloading time of a standard protocol ala BitTorrent.

Type Inference For Recursive Definitions

We consider type systems that combine universal types, recursive types, and object types. We study type inference in these systems under a rank restriction, following Leivant's notion of rank. To motivate our work, we present several examples showing how our systems can be used to type programs encountered in practice. We show that type inference in the rank-k system is decidable for k ≤ 2 and undecidable for k ≥ 3. (Similar results based on different techniques are known to hold for System F, without recursive types and object types.) Our undecidability result is obtained by a reduction from a particular adaptation (which we call "regular") of the semi-unification problem and whose undecidability is, interestingly, obtained by methods totally different from those used in the case of standard (or finite) semi-unification.

Current methods and advances in forecasting of wind power generation

Wind power generation differs from conventional thermal generation due to the stochastic nature of wind. Thus wind power forecasting plays a key role in dealing with the challenges of balancing supply and demand in any electricity system, given the uncertainty associated with the wind farm power output. Accurate wind power forecasting reduces the need for additional balancing energy and reserve power to integrate wind power. Wind power forecasting tools enable better dispatch, scheduling and unit commitment of thermal generators, hydro plant and energy storage plant and more competitive market trading as wind power ramps up and down on the grid. This paper presents an in-depth review of the current methods and advances in wind power forecasting and prediction. Firstly, numerical wind prediction methods from global to local scales, ensemble forecasting, upscaling and downscaling processes are discussed. Next the statistical and machine learning approach methods are detailed. Then the techniques used for benchmarking and uncertainty analysis of forecasts are overviewed, and the performance of various approaches over different forecast time horizons is examined. Finally, current research activities, challenges and potential future developments are appraised.

Towards a situation-awareness-driven design of operational business intelligence & analytics systems

With the swamping and timeliness of data in the organizational context, the decision maker’s choice of an appropriate decision alternative in a given situation is defied. In particular, operational actors are facing the challenge to meet business-critical decisions in a short time and at high frequency. The construct of Situation Awareness (SA) has been established in cognitive psychology as a valid basis for understanding the behavior and decision making of human beings in complex and dynamic systems. SA gives decision makers the possibility to make informed, time-critical decisions and thereby improve the performance of the respective business process. This research paper leverages SA as starting point for a design science project for Operational Business Intelligence and Analytics systems and suggests a first version of design principles.

A theory of buyer-seller networks

This paper introduces a new model of exchange: networks, rather than markets, of buyers and sellers. It begins with the empirically motivated premise that a buyer and seller must have a relationship, a "link," to exchange goods. Networks - buyers, sellers, and the pattern of links connecting them - are common exchange environments. This paper develops a methodology to study network structures and explains why agents may form networks. In a model that captures characteristics of a variety of industries, the paper shows that buyers and sellers, acting strategically in their own self-interests, can form the network structures that maximize overall welfare.

Object files can be purely episodic.

Our ability to track an object as the same persisting entity over time and motion may primarily rely on spatiotemporal representations which encode some, but not all, of an object's features. Previous researchers using the 'object reviewing' paradigm have demonstrated that such representations can store featural information of well-learned stimuli such as letters and words at a highly abstract level. However, it is unknown whether these representations can also store purely episodic information (i.e. information obtained from a single, novel encounter) that does not correspond to pre-existing type-representations in long-term memory. Here, in an object-reviewing experiment with novel face images as stimuli, observers still produced reliable object-specific preview benefits in dynamic displays: a preview of a novel face on a specific object speeded the recognition of that particular face at a later point when it appeared again on the same object compared to when it reappeared on a different object (beyond display-wide priming), even when all objects moved to new positions in the intervening delay. This case study demonstrates that the mid-level visual representations which keep track of persisting identity over time--e.g. 'object files', in one popular framework can store not only abstract types from long-term memory, but also specific tokens from online visual experience.

Una vinculación de la matemática escolar y la investigación a través de diseños didácticos con el uso de la tecnología

Este trabajo de investigación ha centrado la atención en generar diseños didácticos que aborden temas del Cálculo y Precálculo del currículo actual, cuyos fundamentos teóricos están basados en investigaciones de corte socioepistemológico favoreciendo el uso inteligente de la tecnología en el aula de matemáticas. En éstos se retomarán aspectos que ayuden a la reconstrucción de significados de tópico matemáticos como el teorema de Thales, el uso de la subtangente para caracterizar una curva (máximos, mínimos y puntos de inflexión) y la noción de acumulación para abordar el área bajo la curva.

A last resort

Considers the situations in which the presumption of advancement should apply to gifts given to family members and how this relates to the presumption of a resulting trust, whereby the law presumes that gifts are to be held for the benefit of the donor unless expressed otherwise, with reference to the Privy Council ruling in Antoni v Antoni. Highlights the bias inherent in the presumption of advancement where it operates for gifts given by husbands to wives, but not the other way round. [From Legal Journals Index]

Impacts of fisheries on plankton community structure

There has been much debate on the extent to which resource availability (bottom-up) versus predation pressure from fish (top-down) modulates the dynamics of plankton in marine systems. Physico/chemical bottom-up forcing has been considered to be the main mechanism structuring marine ecosystems, although some field observations and empirical correlations support top-down modulation. Models have indicated possible feedback loops to the plankton and other studies have interpreted a grazing impact from long-term changes in fish stocks. In freshwater systems, evidence for top-down forcing by fish and trophic cascading is well documented. First, evidence for equivalent top-down effects in the marine environment is presented, with an overview of relevant publications. In the second part, time series, averaged for the North Sea (when possible from 1948 to 1997), of fish catch, recruitment, and spawning stock biomass are related to the abundance of species or larger groupings of zooplankton and phytoplankton from the Continuous Plankton Recorder survey and selected environmental parameters. Preliminary analysis suggests that there is strong interaction between different fish species and the plankton and that the fishery, through top-down control, may at times be an important contributor to changes in the North Sea ecosystem.

Genomic organization, complex splicing pattern and expression of a human septin gene on chromosome 17q25.3

The Ov/Br septin gene, which is also a fusion partner of MLL in acute myeloid leukaemia, is a member of a family of novel GTP binding proteins that have been implicated in cytokinesis and exocytosis. In this study, we describe the genomic and transcriptional organization of this gene, detailing seventeen exons distributed over 240 kb of sequence. Extensive database analyses identified orthologous rodent cDNAs that corresponded to new, unidentified 5' splice variants of the Ov/Br septin gene, increasing the total number of such variants to six. We report that splicing events, occurring at non-canonical sites within the body of the 3' terminal exon, remove either 1801 bp or 1849 bp of non-coding sequence and facilitate access to a secondary open reading frame of 44 amino acids maintained near the end of the 3' UTR. These events constitute a novel coding arrangement and represent the first report of such a design being implemented by a eukaryotic gene. The various Ov/Br proteins either differ minimally at their amino and carboxy termini or are equivalent to truncated versions of larger isoforms. Northern analysis with an Ov/Br septin 3' UTR probe reveals three transcripts of 4.4, 4 and 3 kb, the latter being restricted to a sub-set of the tissues tested. Investigation of the identified Ov/Br septin isoforms by RT-PCR confirms a complex transcriptional pattern, with several isoforms showing tissue-specific distribution. To date, none of the other human septins have demonstrated such transcriptional complexity.