3135083 documents found, page 313171 of 313509

A short note on type-inhabitation: Formula-trees vs. game semantics

This short note compares two different methods for exploring type-inhabitation in the simply typed lambda-calculus, highlighting their similarities.

AutoMashUpper: Automatic creation of multi-song music mashups

In this paper we present a system, AutoMashUpper, for making multi-song music mashups. Central to our system is a measure of "mashability" calculated between phrase sections of an input song and songs in a music collection. We define mashability in terms of harmonic and rhythmic similarity and a measure of spectral balance. The principal novelty in our approach centres on the determination of how elements of so...

LASSO vector autoregression structures for very short-term wind power forecasting

The deployment of smart grids and renewable energy dispatch centers motivates the development of forecasting techniques that take advantage of near real-time measurements collected from geographically distributed sensors. This paper describes a forecasting methodology that explores a set of different sparse structures for the vector autoregression (VAR) model using the least absolute shrinkage and selection ope...

The role of a Proof of Concept Center in a university ecosystem: an exploratory...

The Proof of Concept phase in university technology transfer is considered to be critical for the success of both licensing and the creation of spin-off companies. In the United States, Proof of Concept Centers are emerging as successful structures to address the challenges of this phase. In this paper, we present a framework to assess the role for such a structure in a university ecosystem. The framework is bu...

Clustering distributed sensor data streams using local processing and reduced c...

Optical Fiber Tweezers Fabricated by Guided Wave Photo-Polymerization

Stochastic Modeling of Multienergy Carriers Dependencies in Smart Local Network...

In a multienergy system, there are different types of dependencies among the energy carriers. Internal dependencies refer to possible changes in the energy source in the presence of energy converters and storage, and are managed by the system operator through the control strategies applied to the equipment. External dependencies (EDs) are due to the choice of the energy supply according to customer preferences ...

Approximate equilibria for a T cell and treg model

We analyse a model of immune response by T cells (CD4), where regulatory T cells (Tregs) act by inhibiting IL-2 secretion. We introduced an asymmetry reflecting that the difference between the growth and death rates can be higher for the active T cells and the active Tregs than for the inactive T cells and inactive Tregs. This asymmetry mimics the presence of memory T cells. In this paper we start by analysing ...

Limits in Categories of Vietoris Coalgebras

Linear regression model with histogram-valued variables

Histogram-valued variables are a particular kind of variables studied in Symbolic Data Analysis where to each entity under analysis corresponds a distribution that may be represented by a histogram or by a quantile function. Linear regression models for this type of data are necessarily more complex than a simple generalization of the classical model: the parameters cannot be negative; still the linear relation...