Given a set of p available technologies (treatments, machines, etc.), researchers must often determine which is the best, or simply rank them according to a certain pre-specified criteria. For instance, researchers may be interested in determining which treatment is most efficient in fighting a certain disease, or in ranking vehicles according to a safety standard. These types of problems are k...

Evorobot (http://gral.ip.rm.cnr.it/evorobot/simulator.html) is a software for running evolutionary robotics experiments. It allows to replicate many of the experiments described in (Nolfi S. and Floreano D. [2000]. Evolutionary Robotics: The Biology, Intelligence, and Technology of Self-Organizing Machines. Cambridge, MA: MIT Press/Bradford Books) and to run your own experiments. Evorobot runs ...

ledramp is a "Knight Rider" style LED ramp effect, which uses two complementary PWM phases for consecutive states. Essentially the first state (PULSE) is a counting state lasting for 0.1 sec. The second state, SHIFT, is where the actual shift (left or right) is applied and the boundary conditions (for the leftmost and rightmost positions) are taken into account. This version of the design direc...

The loopgen IP collection provides fast hardware architectures for implementing nested loop structures. The collection comprises of three different architectures (variants) adhering to a common I/O interface, namely hwlu, a mixed-level structural/RTL architecture, ixgenb, a behavioral-level and ixgenr, a high-performance, pure RTL description of a more generalized form of the architecture. Hard...

In Libra, each probabilistic model represents a probability distribution, P (X ), over set of discrete random variables, X = {X1, X2, . . . , Xn}. Libra supports Bayesian networks (BNs), Markov networks (MNs), dependency networks (DNs) [8], sumproduct networks (SPNs) [19], arithmetic circuits (ACs) [6], and mixtures of trees (MT) [17]. BNs and DNs represent a probability distribution as a colle...

This manual provides documentation for using the logical solver introduced in [Genevès, 2006; Genevès et al., 2007; Genevès et al., 2008]. Key-words: Static Analysis, Logic, Satisfiability Solver, XML, Schema, XPath, Queries

Click here to access an up-to-date online version of this document. You will also find the most recent content as well as expandable illustrations, easier navigation, and search capability.