Concurrent Aggregates (CA): An Object-Oriented Language for Fine-Grained Message-Passing Machines

Fine-grained parallel machines have the potential for very high speed computation. To program massively-concurrent MIMD machines, programmers need tools for managing complexity. These tools should not restrict program concurrency. Concurrent Aggregates (CA) provides multiple-access data abstraction tools, Aggregates, which can be used to implement abstractions with virtually unlimited potential for concurrency. Such tools allow programmers to modularize programs without reducing concurrency. I describe the design, motivation, implementation and evaluation of Concurrent Aggregates. CA has been used to construct a number of application programs. Multi-access data abstractions are found to be useful in constructing highly concurrent programs.

Information Dissemination and Aggregation in Asset Markets with Simple Intelligent Traders

Various studies of asset markets have shown that traders are capable of learning and transmitting information through prices in many situations. In this paper we replace human traders with intelligent software agents in a series of simulated markets. Using these simple learning agents, we are able to replicate several features of the experiments with human subjects, regarding (1) dissemination of information from informed to uninformed traders, and (2) aggregation of information spread over different traders.

Evaluation of sets of oriented and non-oriented receptive fields as local descriptors

Local descriptors are increasingly used for the task of object recognition because of their perceived robustness with respect to occlusions and to global geometrical deformations. We propose a performance criterion for a local descriptor based on the tradeoff between selectivity and invariance. In this paper, we evaluate several local descriptors with respect to selectivity and invariance. The descriptors that we evaluated are Gaussian derivatives up to the third order, gray image patches, and Laplacian-based descriptors with either three scales or one scale filters. We compare selectivity and invariance to several affine changes such as rotation, scale, brightness, and viewpoint. Comparisons have been made keeping the dimensionality of the descriptors roughly constant. The overall results indicate a good performance by the descriptor based on a set of oriented Gaussian filters. It is interesting that oriented receptive fields similar to the Gaussian derivatives as well as receptive fields similar to the Laplacian are found in primate visual cortex.

New Architectural Models for Visibly Controllable Computing: The Relevance of Dynamic Object Oriented Architectures and Plan Based Computing Models

Traditionally, we've focussed on the question of how to make a system easy to code the first time, or perhaps on how to ease the system's continued evolution. But if we look at life cycle costs, then we must conclude that the important question is how to make a system easy to operate. To do this we need to make it easy for the operators to see what's going on and to then manipulate the system so that it does what it is supposed to. This is a radically different criterion for success. What makes a computer system visible and controllable? This is a difficult question, but it's clear that today's modern operating systems with nearly 50 million source lines of code are neither. Strikingly, the MIT Lisp Machine and its commercial successors provided almost the same functionality as today's mainstream sytsems, but with only 1 Million lines of code. This paper is a retrospective examination of the features of the Lisp Machine hardware and software system. Our key claim is that by building the Object Abstraction into the lowest tiers of the system, great synergy and clarity were obtained. It is our hope that this is a lesson that can impact tomorrow's designs. We also speculate on how the spirit of the Lisp Machine could be extended to include a comprehensive access control model and how new layers of abstraction could further enrich this model.

Memory Usage Inference for Object-Oriented Programs

We present a type-based approach to statically derive symbolic closed-form formulae that characterize the bounds of heap memory usages of programs written in object-oriented languages. Given a program with size and alias annotations, our inference system will compute the amount of memory required by the methods to execute successfully as well as the amount of memory released when methods return. The obtained analysis results are useful for networked devices with limited computational resources as well as embedded software.

Performance-Driven Microfabrication-Oriented Methodology for MEMS Conceptual Design with Application in Microfluidic Device Design

Performance and manufacturability are two important issues that must be taken into account during MEMS design. Existing MEMS design models or systems follow a process-driven design paradigm, that is, design starts from the specification of process sequence or the customization of foundry-ready process template. There has been essentially no methodology or model that supports generic, high-level design synthesis for MEMS conceptual design. As a result, there lacks a basis for specifying the initial process sequences. To address this problem, this paper proposes a performance-driven, microfabrication-oriented methodology for MEMS conceptual design. A unified behaviour representation method is proposed which incorporates information of both physical interactions and chemical/biological/other reactions. Based on this method, a behavioural process based design synthesis model is proposed, which exploits multidisciplinary phenomena for design solutions, including both the structural components and their configuration for the MEMS device, as well as the necessary substances for the chemical/biological/other reactions. The model supports both forward and backward synthetic search for suitable phenomena. To ensure manufacturability, a strategy of using microfabrication-oriented phenomena as design knowledge is proposed, where the phenomena are developed from existing MEMS devices that have associated MEMS-specific microfabrication processes or foundry-ready process templates. To test the applicability of the proposed methodology, the paper also studies microfluidic device design and uses a micro-pump design for the case study.

Synthesis and Aggregation Behavior of Pluronic F87/Poly(acrylic acid) Block Copolymer with Doxorubicin

Poly(acrylic acid) (PAA) was grafted onto both termini of Pluronic F87 (PEO₆₇-PPO₃₉-PEO₆₇) via atom transfer radical polymerization to produce a novel muco-adhesive block copolymer PAA₈₀-b-F₈₇-b-PAA₈₀. It was observed that PAA₈₀-F₈₇-PAA₈₀ forms stable complexes with weakly basic anti-cancer drug, Doxorubicin. Thermodynamic changes due to the drug binding to the copolymer were assessed at different pH by isothermal titration calorimetry (ITC). The formation of the polymer/drug complexes was studied by turbidimetric titration and dynamic light scattering. Doxorubicin and PAA-b-F87-b-PAA block copolymer are found to interact strongly in aqueous solution via non-covalent interactions over a wide pH range. At pH>4.35, drug binding is due to electrostatic interactions. Hydrogen-bond also plays a role in the stabilization of the PAA₈₀-F₈₇-PAA₈₀/DOX complex. At pH 7.4 (α=0.8), the size and stability of polymer/drug complex depend strongly on the doxorubicin concentration. When CDOX <0.13mM, the PAA₈₀-F₈₇-PAA₈₀ copolymer forms stable inter-chain complexes with DOX (110 ~ 150 nm). When CDOX >0.13mM, as suggested by the light scattering result, the reorganization of the polymer/drug complex is believed to occur. With further addition of DOX (CDOX >0.34mM), sharp increase in the turbidity indicates the formation of large aggregates, followed by phase separation. The onset of a sharp enthalpy increase corresponds to the formation of a stoichiometric complex.

Secuenciamiento de actividades educativas orientado a la reutilización y la auto-organización en tutoría inteligente. ' 'Sequencing of learning activities oriented towards reuse and auto-organization for intelligent tutoring systems' '.

Se pretende la elaboración una plataforma capaz de implementar sistemas de tutoría inteligente, orientada al problema de la adaptación del secuenciamiento; la creación de una herramienta o método que defina secuenciamientos adaptativos de material educativo; el desarrollo, empleando la herramienta anterior, de uno o más tutores y adaptar las técnicas de inteligencia de enjambre al campo de los cursos impartidos a través de Internet, Elearning.. En primer lugar se analiza el estado de la cuestión, destacando los aspectos novedosos. A continuación se presentan las aportaciones de la investigación. Por último, se exponen las conclusiones y las líneas de investigación abiertas. También se incluyen apéndices con información adicional que puede ser relevante para algunos lectores. Se investiga el uso de técnicas de inteligencia de enjambre para obtener sistemas educativos robustos y con capacidad de autoorganización. Las lecciones aprendidas de los sistemas cristalizan en la creación de un módulo para SIT.. Las principales contribuciones son: el diseño de una plataforma para el desarrollo de Sistemas de Tutoría Inteligentes (ITS); se presenta una herramienta para la adaptación de secuencias de unidades de aprendizaje, grafos de secuenciamiento (Sequencing Graphs, SG) y se analizan las iniciativas actuales relacionadas con las técnicas de enjambre en educación. Estas técnicas tienen un interés especial para los sistemas de elearning dada su complejidad. .

Validity of the DSM-Oriented Scales of the Child Behavior Checklist and Youth Self-Report

Resumen tomado de la publicaci??n

Spatial Aggregation of Forest Songbird Territories and Possible Implications for Area Sensitivity

Habitat area requirements of forest songbirds vary greatly among species, but the causes of this variation are not well understood. Large area requirements could result from advantages for certain species when settling their territories near those of conspecifics. This phenomenon would result in spatial aggregations much larger than single territories. Species that aggregate their territories could show reduced population viability in highly fragmented forests, since remnant patches may remain unoccupied if they are too small to accommodate several territories. The objectives of this study were twofold: (1) to seek evidence of territory clusters of forest birds at various spatial scales, lags of 250-550 m, before and after controlling for habitat spatial patterns; and (2) to measure the relationship between spatial autocorrelation and apparent landscape sensitivity for these species. In analyses that ignored spatial variation of vegetation within remnant forest patches, nine of the 17 species studied significantly aggregated their territories within patches. After controlling for forest vegetation, the locations of eight out of 17 species remained significantly clustered. The aggregative pattern that we observed may, thus, be indicative of a widespread phenomenon in songbird populations. Furthermore, there was a tendency for species associated with higher forest cover to be more spatially aggregated [ERRATUM].

Theory and observations of ice particle evolution in cirrus using Doppler radar: evidence for aggregation

Vertically pointing Doppler radar has been used to study the evolution of ice particles as they sediment through a cirrus cloud. The measured Doppler fall speeds, together with radar-derived estimates for the altitude of cloud top, are used to estimate a characteristic fall time tc for the `average' ice particle. The change in radar reflectivity Z is studied as a function of tc, and is found to increase exponentially with fall time. We use the idea of dynamically scaling particle size distributions to show that this behaviour implies exponential growth of the average particle size, and argue that this exponential growth is a signature of ice crystal aggregation.

A data collection case study supporting requirements oriented prediction and management in software developments

Consider the statement "this project should cost X and has risk of Y". Such statements are used daily in industry as the basis for making decisions. The work reported here is part of a study aimed at providing a rational and pragmatic basis for such statements. Of particular interest are predictions made in the requirements and early phases of projects. A preliminary model has been constructed using Bayesian Belief Networks and in support of this, a programme to collect and study data during the execution of various software development projects commenced in May 2002. The data collection programme is undertaken under the constraints of a commercial industrial regime of multiple concurrent small to medium scale software development projects. Guided by pragmatism, the work is predicated on the use of data that can be collected readily by project managers; including expert judgements, effort, elapsed times and metrics collected within each project.