This paper deals with the need for generic software development tools in evolutionary computations (EC). These tools will be essential for the next generation of evolutionary algorithms where application designers and researchers will need to mix different combinations of traditional EC (e.g. genetic algorithms, genetic programming, evolutionary strategies, etc.), or to create new variations of...

Saada transforms a set of heterogeneous FITS files or VOTables of various categories (images, tables, spectra . . . ) in a database without writing code. Databases created with Saada come with a rich Web interface and an Application Programming Interface (API). They support the four most common VO services. Such databases can mix various categories of data in multiple collections. They allow a ...

Determining the specific mix of fire-fighting resources for a given fire is a necessary condition for identifying the minimum of the Cost Plus Net Value Change (C+NVC) function. Current wildland fire management models may not reliably do so. The problem of identifying the most efficient wildland fire organization is characterized mathematically using integer-programming techniques. This mathema...

Short abstract. The CEP project is the cradle for Italian computer science. Besides delivering the first machine produced in the country (Macchina Ridotta, 1957), it was the seed from which the future Course on Computer Science (1969, again a first for Italy) will develop. Indeed, since its inception the project managers understood the need of courses teaching the use and the possibilities of t...

Generation expansion planning problems should take into account not only satisfaction of future demand but also environmental constraints, such as government imposed limits on pollution produced by coal based power plants. For a vertically integrated system of power plants, we model those features as a two-stage stochastic programming problem with recourse that can be solved by decomposition me...

The original paradigm of literate programming was brought forward mainly for software development, or specifically, to mix source code (for computer) and documentation (for human) together. Early systems include WEB and Noweb; Sweave (Leisch, 2002) was derived from the latter, but it is less focused on documenting software, instead it is mainly used for reproducible data analysis and generating...

In a recent and ongoing work, Baldwin and Klemperer found a connection between tropical geometry and economics. They gave a sufficient condition for the existence of competitive equilibrium in product-mix auctions of indivisible goods. This result, which we call the Unimodularity Theorem, can also be traced back to the work of Danilov, Koshevoy, and Murota. We introduce auction theory for a mat...

Hybrid systems are characterized by a mix of analog and digital inputs and outputs. We deene such systems formally as hybrid automata, and discuss how to specify interesting properties of them. A few approaches to verifying hybrid systems are outlined: reachability analysis, model-checking on nite-state approximating automata, theorem proving, and linear programming. These approaches work with ...

Protein secretion systems that mediate interbacterial competition secret a wide repertoire of antibacterial toxins. A major player in these competitions is the newly discovered bacterial type VI secretion system (T6SS). We recently found that a subset of polymorphic MIX-effectors, which are a widespread class of effectors secreted by T6SSs, are horizontally shared between marine bacteria and ar...

This paper looks at standard retirement targets such as “70@65,” meaning 70% income replacement at age 65, and reconsiders them in a probabilistic setting. The paper uses a chance constrained programming model, supplemented with Monte Carlo simulation, to extend the target to “70% of 70@65” meaning a 70% chance of meeting the target. One implication of the paper is that asset mix is a function ...