The CIAO multiparadigm compiler and system: A progress report

Abstract is not available

Electro-optical Simulation of a-Si Thin-Film-Transistor Liquid Crystal Display Pixels

An analysis of an amorphous silicon (a-Si) thin-film-transistor liquid-crystal display (TFT-LCD) pixel is presented. The electro-optical model combines the electrical properties of the switching element and the optical performance of a twisted nematic (TN) liquid-crystal cell.Publicad

Generative capacities of cellular automata codification for evolution of NN codification

Proceeding of: International Conference on Artificial Neural Networks. ICANN 2002, Madrid, Spain, August 28-30, 2002Automatic methods for designing artificial neural nets are desired to avoid the laborious and erratically human expert’s job. Evolutionary computation has been used as a search technique to find appropriate NN architectures. Direct and indirect encoding methods are used to codify the net architecture into the chromosome. A reformulation of an indirect encoding method, based on two bi-dimensional cellular automata, and its generative capacity are presented.Publicad

Blue organic seven segment display based on poly (9,9-dioctyfluorene)with β-phase emission

In this work, organic seven segment displays based on poly(9,9-dioctyfluorene), PFO, have been fabricated. PFO has consolidated as an attractive material for PLEDs due to its efficient blue emission [1] and high hole mobility. Additionally, PFO has a particular conformation, called β-phase associated to extended PFO chain conformation, which is of great interest for potential device applications because, among all others, it has the highest photoluminescence quantum efficiency [2] and the best colour stability [3]. The structure fabricated uses Indium Tin Oxide (ITO) as anode, Poly(3,4 -ethylenedioxythiophene) /poly(4- styrenesulfonate) (PEDOT:PSS) as hole transport layer and Ba:Al as cathode. After thoroughly cleaning the substrates (covered with ITO) a photolithography process is carried out in order to pattern the anode. Next, the organic layers (PEDOTT:PSS and PFO) are spin casted. Finally, metals (Ba~30 nm and Al~100 nm) are thermally evaporated in an atmosphere of 6x10 -6 Torr. PFO is dissolved in toluene at 1 % wt. A detailed description of the fabrication process can be found in [4]. Finally, the device is encapsulated (using an epoxy and a glass tap) and contacts are indium soldered on the pads. In figure 1, we can observe the shadow mask used for the anode photolitography process (left) and the final device lighting in a zero configuration (right)

Paleoecología del género Anchitherium von Meyer, 1834 (Equidae, Perissodactyla, Mammalia) en España: evidencias a partir de las faunas de macromamíferos

En el presente trabajo se interpreta la paleoecología y evolución del équido Anchitherium VON MEYER, 1834 por medio del análisis multifactorial (análisis de componentes principales, análisis discriminante) de las faunas de macromamíferos del Rambliense-Vallesiense inferior de la Península Ibérica. El análisis conjunto con faunas tropicales y subtropicales actuales permite inferir algunas de las características ambientales (temperatura, estacionalidad térmica) bajo las cuales se desarrollan dichas comunidades del Mioceno. Los resultados obtenidos también muestran la posibilidad de interpretar el bioma de una localidad en función de su fauna de macromamíferos, pudiéndose inferir la presencia en el Mioceno ibérico de laurisilvas, bosques tropicales y sabanas. Se observa una relación entre el tamaño relativo de la dentición respecto al tamaño corporal de Anchitherium y las variaciones en la temperatura. Las poblaciones que ocupaban ambientes térmicamente más estacionales presentaban una dentición relativamente mayor respecto al tamaño corporal que las habitantes de ambientes menos estacionales. Esto podría estar relacionado con un menor consumo de frutos determinado por una disminución en la disponibilidad anual de los mismos en las zonas con mayor estacionalidad térmica y un aumento en el consumo de follaje, menos nutritivo. La abundancia relativa de Anchitherium en los yacimientos parece determinada principalmente por las condiciones de temperatura, siendo más abundante cuanto menor es esta. Este hecho podría estar relacionado con las condiciones ambientales que los Anchitheriinae tuvieron que superar para atravesar Beringia antes de alcanzar Eurasia. Se estudian los biomas ocupados por cada especie de Anchitherium. Los dos clados propuestos por SÁNCHEZ et al. (1998) muestran un comportamiento similar. Especies más o menos ubiquistas y adaptadas a ambientes forestales densos dan lugar a especies más derivadas y adaptadas en mayor medida a los ambientes con una estación seca (bosques tropicales y sabanas), predominantes en la Península Ibérica durante el período estudiado. Este proceso es más acusado en el segundo linaje que en el primero. Durante la zona MN 6, una especie ubiquista, el inmigrante norteño A. hippoides entra en la península y sustituye a las especies presentes hasta el momento. Este proceso se relaciona con un progresivo aumento de la humedad ambiental que provocaría una reorganización de la fauna. Finalmente se expone un escenario ambiental para la evolución de Anchitherium en España. En él se muestra la relación de alternancia existente entre Equidae y Rhinocerotidae como grupo faunístico dominante durante el Mioceno. [ABSTRACT] The paleoecology and evolution of the equid Anchitherium VON MEYER, 1834 is studied in this paper by means of multifactorial analysis (principal components analysis, discriminant analysis) of the Ramblian-lower Vallesian large mammal faunas from the Iberian Peninsula. Joint analysis of subtropical and tropical recent faunas and Miocene faunas allow the establishment of several environmental characteristics (temperature, thermal seasonality) of the ecosystems of those Miocene communities. Our results indicate that it is possible to infer the biome of a locality based on its macromammal fauna. It has been able to infer the presence in the Iberian Miocene of temperate evergreen forests, tropical deciduous forests and savannas. A relationship is observed between the relative size of the dentition regarding the corporal size in Anchitherium and the temperature variations. Populations that occupied more thermally seasonal environments presented a relatively bigger dentition regarding their corporal size than the non-seasonally environment inhabitants. This could be related with a diminished consumption of fruits caused by a lesser fruit availability in the more thermal seasonality areas, and a higher consumption of leaves, less nutritive than fruits. The relative abundance of Anchitherium in the fossil local faunas seems mainly settled by temperature, being more abundant in faunas from colder fossil sites. This fact could be related with the environmental conditions that Anchitheriinae had to overcome to cross Beringia before reaching Eurasia. Biomes occupied by each Anchitherium species are studied. The two clades proposed by SÁNCHEZ et al. (1998) shown a similar behaviour. More or less ubiquitous species, adapted to dense forest environments, are substituted by more derived species adapted to ecosystems with a dry station (tropical deciduous forests and savannas), the predominant biomes in the Iberian Peninsula during the studied period. This process is more pronounced in the second lineage than in the first one. Another ubiquitous species, the northern immigrant A. hippoides come into the Iberian Peninsula in MN 6 zone and replace the rest of species. This process is related with the progressive increment in environmental humidity causing a faunal reorganization. Finally an environmental scenario for the evolution of Anchitherium in Spain is exposed. An alternation relationship as faunal dominant group during the Miocene between Equidae and Rhinocerotidae is shown

Non-Direct Encoding Method Based on Cellular Automata to Design Neural Network Architectures

Architecture design is a fundamental step in the successful application of Feed forward Neural Networks. In most cases a large number of neural networks architectures suitable to solve a problem exist and the architecture design is, unfortunately, still a human expert’s job. It depends heavily on the expert and on a tedious trial-and-error process. In the last years, many works have been focused on automatic resolution of the design of neural network architectures. Most of the methods are based on evolutionary computation paradigms. Some of the designed methods are based on direct representations of the parameters of the network. These representations do not allow scalability; thus, for representing large architectures very large structures are required. More interesting alternatives are represented by indirect schemes. They codify a compact representation of the neural network. In this work, an indirect constructive encoding scheme is proposed. This scheme is based on cellular automata representations and is inspired by the idea that only a few seeds for the initial configuration of a cellular automaton can produce a wide variety of feed forward neural networks architectures. The cellular approach is experimentally validated in different domains and compared with a direct codification scheme.Publicad

The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems

CIAO is an advanced programming environment supporting Logic and Constraint programming. It offers a simple concurrent kernel on top of which declarative and non-declarative extensions are added via librarles. Librarles are available for supporting the ISOProlog standard, several constraint domains, functional and higher order programming, concurrent and distributed programming, internet programming, and others. The source language allows declaring properties of predicates via assertions, including types and modes. Such properties are checked at compile-time or at run-time. The compiler and system architecture are designed to natively support modular global analysis, with the two objectives of proving properties in assertions and performing program optimizations, including transparently exploiting parallelism in programs. The purpose of this paper is to report on recent progress made in the context of the CIAO system, with special emphasis on the capabilities of the compiler, the techniques used for supporting such capabilities, and the results in the áreas of program analysis and transformation already obtained with the system

Evolutionary cellular configurations for designing feed-forward neural networks architectures

Proceeding of: 6th International Work-Conference on Artificial and Natural Neural Networks, IWANN 2001 Granada, Spain, June 13–15, 2001In the recent years, the interest to develop automatic methods to determine appropriate architectures of feed-forward neural networks has increased. Most of the methods are based on evolutionary computation paradigms. Some of the designed methods are based on direct representations of the parameters of the network. These representations do not allow scalability, so to represent large architectures, very large structures are required. An alternative more interesting are the indirect schemes. They codify a compact representation of the neural network. In this work, an indirect constructive encoding scheme is presented. This scheme is based on cellular automata representations in order to increase the scalability of the method

Uniqueness of static decompositions

We classify static manifolds which admit more than one static decomposition whenever a condition on the curvature is fullfilled. For this, we take a standard static vector field and analyze its associated one parameter family of projections onto the base. We show that the base itself is a static manifold and the warping function satisfies severe restrictions, leading us to our classification results. Moreover, we show that certain condition on the lightlike sectional curvature ensures the uniqueness of static decomposition for Lorentzian manifolds.Comment: 14 page