Cerca risorse accademiche

In scheduling, a set of machines in parallel is a setting that is important, from both the theoretical and practical points of view. From the theoretical viewpoint, it is a generalization of the single machine scheduling...

A new species of the hypoptopomatine genus Hisonotus (Loricariidae) is described from a small tributary of the upper río Uruguay basin near the border between Uruguay and Brazil. The new species can be distinguished fro...

In [1] we presented the logic P=PML, a formalism suitable for the speci cation and construction of Real-Time systems. The main algebraic result, namely, the interpretability of P/PML into an equa- tional calculus based o...

Background: Oxidative modification of low density lipoproteins (LDL) is recognized as one of the major processes involved in atherogenesis. The in vitro standardized measurement of LDL oxidative susceptibility could thus...

La disponibilidad de dispositivos de Lógica Programable de alta densidad de integración permite buscar soluciones integradas en un dispositivo SOPC (System On a Programmable Chip). Un tema de creciente interés son los...

Balance between exploitation and exploration is a main factor influencing convergence in an evolutionary algorithm. In order to improve this balance new trends in evolutionary algorithms make use of multi-recombinative a...

La utilización de bases de datos distribuidas (BDD) o de bases de datos federales o federativas (DBF) representan una solución viable para los usuarios cuando deben optar para la generación de sus sistemas de informac...

A multiagent system is no more than a collection of interacting autonomous agents. However, this interaction allows the system as a whole to perform tasks beyond the reach of its individual members. This clearly account...

Se presentan tres alternativas dentro del método de asignación por clases para el cálculo del tiempo de vida de los individuos en algoritmos genéticos con población de tamaño variable (GAVaPS). En la estrategia pl...

En este trabajo los sistemas de software son especificados por medio de un grafo y las propiedades que debe cumplir son expresadas como fórmulas de la lógica modal KPI. Ambos, sistema y propiedades, son traducidos a re...

Desde hace bastante tiempo es aceptado que para el diseño e implementación de aplicaciones web es necesario el empleo de algún método de ingeniería de software. Los métodos empleados en este tipo de desarrollo no p...

Morphometric characters of two populations of Difflugia corona Wallich, 1864 collected in two climatic stations (Spring, Autumn) in lentic environments of Chaco Province, Argentina, are studied. In the first climatic sta...

The parallel computing model used in this paper, the Collective Computing Model (CCM), is a variant of the well-known Bulk Synchronous Parallel (BSP) model. The synchronicity imposed by the BSP model restricts the set of...

Evolutionary Computation is an emergent field, which provides new heuristics to function optimization where traditional approaches make the problem computationally intractable. Exploration and exploitation of solution i...

Las currículas de los cursos de Computación Gráfica adecuados para los alumnos de Ciencias de la Computación e Ingeniería plantean un gran desafío al docente que debe diseñar sus contenidos. Computación Gráfica ...

En este trabajo se muestra la utilización de Subfamilias Finitas de Circuitos Booleanos como un modelo teórico adecuado para la expresión de consultas a una Base de Datos Relacional, cuyo fundamento se basa en la equi...

Este trabalho apresenta uma forma de transformar aplicações orientadas a objetos tolerantes a falhas de crash, podendo ser utilizado em um ambiente distribuído baseado em objetos que se comunicam entre si, a fim de ex...

Many researchers have shown interest to solve the job shop scheduling problem (JSSP) applying evolutionary algorithms (EAs). In a previous work we reported an enhanced evolutionary algorithm, which uses a multiplicity fe...

Niche formation allows evolutionary algorithms to be used when the location and maintenance of multiple solutions appertaining to diverse areas of the phenotypic space is required. Consequently the application field can ...

The objective of this paper is to study a practical approach to deal with non-termination in de nite clause grammars. We focus on two problems, loop and cyclic structure detection and representation, maintaining a tight ...

En los sistemas orientados a objetos tradicionales, el acceso a los provee- dores de servicio se lleva a cabo de manera sencilla a partir de referencias explícitas, tales como punteros o nombres. Sin embargo, la situaci...

Hidden Markov Models are used in different kinds of sequence recognition problems. Specially, Hidden Markov Models are suited for speech/speaker recognition systems. Due to the complexity of the algorithms involved, gene...

Se utilizó un péndulo como dispositivo controlado en el prototipo de un sistema de control de tiempo real empleando diferentes arquitecturas. Se diseñaron algoritmos de control para la evaluación como así también e...

La incorporación de microcontroladores empotrados dentro de diseños complejos basados en lógica programable ha resultado ser una alternativa de uso habitual cuando, junto con una tarea de elevada performance, es neces...