Type Inference for Variant Object Types

Existing type systems for object calculi are based on invariant subtyping. Subtyping invariance is required for soundness of static typing in the presence of method overrides, but it is often in the way of the expressive power of the type system. Flexibility of static typing can be recovered in different ways: in first-order systems, by the adoption of object types with variance annotations, in second-order systems by resorting to Self types. Type inference is known to be P-complete for first-order systems of finite and recursive object types, and NP-complete for a restricted version of Self types. The complexity of type inference for systems with variance annotations is yet unknown. This paper presents a new object type system based on the notion of Split types, a form of object types where every method is assigned two types, namely, an update type and a select type. The subtyping relation that arises for Split types is variant and, as a result, subtyping can be performed both in width and in depth. The new type system generalizes all the existing first-order type systems for objects, including systems based on variance annotations. Interestingly, the additional expressive power does not affect the complexity of the type inference problem, as we show by presenting an O(n^3) inference algorithm.

Modeling the Possible Influences of Eye Movements on the Refinement of Cortical Direction Selectivity

The second-order statistics of neural activity was examined in a model of the cat LGN and V1 during free-viewing of natural images. In the model, the specific patterns of thalamocortical activity required for a Bebbian maturation of direction-selective cells in VI were found during the periods of visual fixation, when small eye movements occurred, but not when natural images were examined in the absence of fixational eye movements. In addition, simulations of stroboscopic reming that replicated the abnormal pattern of eye movements observed in kittens chronically exposed to stroboscopic illumination produced results consistent with the reported loss of direction selectivity and preservation of orientation selectivity. These results suggest the involvement of the oculomotor activity of visual fixation in the maturation of cortical direction selectivity.

Fixational Instability and Natural Image Statistics: Implications for Early Visual Representations

Under natural viewing conditions small movements of the eye, head, and body prevent the maintenance of a steady direction of gaze. It is known that stimuli tend to fade when they a restabilized on the retina for several seconds. However; it is unclear whether the physiological motion of the retinal image serves a visual purpose during the brief periods of natural visual fixation. This study examines the impact of fixational instability on the statistics of the visua1 input to the retina and on the structure of neural activity in the early visual system. We show that fixational instability introduces a component in the retinal input signals that in the presence of natural images, lacks spatial correlations. This component strongly influences neural activity in a model of the LGN. It decorrelates cell responses even if the contrast sensitivity functions of simulated cells arc not perfectly tuned to counterbalance the power-law spectrum of natural images. A decorrelation of neural activity at the early stages of the visual system has been proposed to be beneficial for discarding statistical redundancies in the input signals. The results of this study suggest that fixational instability might contribute to establishing efficient representations of natural stimuli.

Miniature Eye Movements Enhance Fine Spatial Details

Our eyes are constantly in motion. Even during visual fixation, small eye movements continually jitter the location of gaze. It is known that visual percepts tend to fade when retinal image motion is eliminated in the laboratory. However, it has long been debated whether, during natural viewing, fixational eye movements have functions in addition to preventing the visual scene from fading. In this study, we analysed the influence in humans of fixational eye movements on the discrimination of gratings masked by noise that has a power spectrum similar to that of natural images. Using a new method of retinal image stabilization18, we selectively eliminated the motion of the retinal image that normally occurs during the intersaccadic intervals of visual fixation. Here we show that fixational eye movements improve discrimination of high spatial frequency stimuli, but not of low spatial frequency stimuli. This improvement originates from the temporal modulations introduced by fixational eye movements in the visual input to the retina, which emphasize the high spatial frequency harmonics of the stimulus. In a natural visual world dominated by low spatial frequencies, fixational eye movements appear to constitute an effective sampling strategy by which the visual system enhances the processing of spatial detail.

Towards persistent structural health monitoring through sustainable wireless sensor networks

This paper documents the design, implementation and characterisation of a wireless sensor node (GENESI Node v1.0), applicable to long-term structural health monitoring. Presented is a three layer abstraction of the hardware platform; consisting of a Sensor Layer, a Main Layer and a Power Layer. Extended operational lifetime is one of the primary design goals, necessitating the inclusion of supplemental energy sources, energy awareness, and the implementation of optimal components (microcontroller(s), RF transceiver, etc.) to achieve lowest-possible power consumption, whilst ensuring that the functional requirements of the intended application area are satisfied. A novel Smart Power Unit has been developed; including intelligence, ambient available energy harvesting (EH), storage, electrochemical fuel cell integration, and recharging capability, which acts as the Power Layer for the node. The functional node has been prototyped, demonstrated and characterised in a variety of operational modes. It is demonstrable via simulation that, under normal operating conditions within a structural health monitoring application, the node may operate perpetually.

GENESI: Wireless sensor networks for structural monitoring

The GENESI project has the ambitious goal of bringing WSN technology to the level where it can provide the core of the next generation of systems for structural health monitoring that are long lasting, pervasive and totally distributed and autonomous. This goal requires embracing engineering and scientific challenges never successfully tackled before. Sensor nodes will be redesigned to overcome their current limitations, especially concerning energy storage and provisioning (we need devices with virtually infinite lifetime) and resilience to faults and interferences (for reliability and robustness). New software and protocols will be defined to fully take advantage of the new hardware, providing new paradigms for cross-layer interaction at all layers of the protocol stack and satisfying the requirements of a new concept of Quality of Service (QoS) that is application-driven, truly reflecting the end user perspective and expectations. The GENESI project will develop long lasting sensor nodes by combining cutting edge technologies for energy generation from the environment (energy harvesting) and green energy supply (small form factor fuel cells); GENESI will define models for energy harvesting, energy conservation in super-capacitors and supplemental energy availability through fuel cells, in addition to the design of new algorithms and protocols for dynamic allocation of sensing and communication tasks to the sensors. The project team will design communication protocols for large scale heterogeneous wireless sensor/actuator networks with energy-harvesting capabilities and define distributed mechanisms for context assessment and situation awareness. This paper presents an analysis of the GENESI system requirements in order to achieve the ambitious goals of the project. Extending from the requirements presented, the emergent system specification is discussed with respect to the selection and integration of relevant system components.The resulting integrated system will be evaluated and characterised to ensure that it is capable of satisfying the functional requirements of the project

Archaeological Excavations at 18AP44: 193 Main Street, Annapolis, Maryland, 1985-1987

193 Main Street (18AP44) is located between Main Street and Duke of Gloucester Street. The property was used ass a yard related to residential and commercial buildings during the 18th and 19th centuries. In the 1930's a movie theatre and parking lot were built on the property. That structure was torn down in the 1980's and a three-story commercial building was constructed. Archaeological excavations were conducted on the property from 1985-1987. A preliminary report was written in 1986 by Paul A. Shackel. This report is the final report on the archaeological investigations at 193 Main Street.

[Book review] Mathematics and Culture II

Review of Mathematics and Culture II. Visual Perfection: Mathematics and Creativity, Michele Emmer (Ed.), Springer, 2005 ISBN: 978-3-540-21368-0

Pneumatic contactless microfeeder design refinement through CFD simulation

A new contactless pneumatic microfeeder based on distributed manipulation is proposed. By cooperation of dynamically programmable microactuators, the part to be conveyed floats over an air cushion and is moved to the desired location with the desired orientation. CFD simulations are used to test the validity of the proposed concept and refine the design of the microactuators

Modelling and optimization of a pneumatic microfeeder system

This paper presents modelling and design optimization of a microfeeder which, as part of a microassembly system, is used for contactless object delivery. The microfeeder consists of an array of microactuators which are controlled by electrostatic actuation and used for maneuvering outcoming air jet for object hovering and delibery. The airflow behaviour in the microactuator is analysed by means of fluid mechanics and Computational Fluid Dynamics (CFD) simulation from three aspects, theoretical analysis, initial design assessment, and design modifications. The focus is put on the basic types of the microfeeder structure and the effects of structural details to the systematic performance. The structural pattern of the microactuator for forming airflow nozzle is identified and two design plans are proposed as basic structure patterns of pneumatic microactuators. The optimized design numerically shows the ability of delivering objects. This paper analyses the flow distribution pattern in microactuators and points out a way for effective design of pneumatic microfeeder systems. The optimization strategy provided by the present paper has close relevance to the design and manufacture of pneumatic microfeeder systems.

The Olympic Games and urban displacement: the case of Beijing

Urban spectacles such as the Olympic Games have been long perceived as being able to impose desired effects in the city that act as host. This kind of urban boost may include the creation of new jobs and revenue for local community, growth in tourism and convention business, improvements to city infrastructure and environment, and the stimulation of broad reform in the social, political and institutional realm. Nevertheless at the other end of the debate, the potentially detrimental impacts of Olympic urban development, particularly on disadvantaged and vulnerable groups, have also been increasingly noticed in recent years and subsequently cited by a number of high profile anti-Olympic groups to campaign against Olympic bids and awards. The common areas of concern over Olympic-related projects include the cost and debts risk, environmental threat, the occurrence of social imbalance, and disruption and disturbance of existing community life. Among these issues, displacement of low income households and squatter communities resulting from Olympic-inspired urban renewal are comparatively under-explored and have emerged as an imperative area for research inquiry. This is particularly the case where many other problems have become less prominent. Changing a city’s demographic landscape, particularly displacing lower income people from the area proposed for a profitable development is a highly contentious matter in its own right. Some see it as a natural and inevitable outgrowth of the process of urban evolution, without which cities cannot move towards a more attractive location for consumption-based business. Others believe it reflects urban crises and conflicts, highlighting the market failures, polarization and injustice. Regardless of perception,these phenomena are visible everywhere in post-industrial cities and particularly cannot be ignored when planning for the Olympic Games and other mega-events. The aim of this paper is to start the process of placing the displacement issue in the context of Olympic preparation and to seek a better understanding of their interrelations. In order to develop a better understanding of this issue in terms of cause, process, influential factors and its implication on planning policy, this paper studies the topic from both theoretic and empirical angles. It portrays various situations where the Olympics may trigger or facilitate displacement in host cities during the preparation of the Games, identifies several major variables that may affect the process and the overall outcome, and explores what could be learnt in generic terms for planning Olympic oriented infrastructure so that ill-effects to the local community can be effectively controlled. The paper concludes that the selection of development sites, the integration of Olympic facilities with the city’s fabric, the diversity of housing type produced for local residents and the dynamics of the new socioeconomic structure.

Variaciones termométricas en la planta del pie y piernas valorada en corredores antes y después de correr 30 km

La termometría es una técnica no invasiva que permite cuantificar los cambios en la temperatura cutánea y evaluarla de forma cuantitativa. El aumento significativo de la temperatura puede indicar la existencia de patología. Se ha demostrado que la actividad muscular induce procesos de transferencia de calor entre los músculos y las capas superficiales de tejido. En este estudio queremos cuantificar los cambios de temperatura que se producen en los músculos del pie y miembro inferior tras una carrera de 30 km, para ello hemos utilizado una cámara termográfica de alta resolución. Contamos con la colaboración voluntaria de 32 sujetos sanos a los que procedimos a tomar fotografías de la planta del pie, parte anterior de la pierna, parte posterior de la pierna, parte anterior del muslo y parte posterior del muslo en dos etapas, primero antes de la carrera y segunda toma después de la carrera de 30 km, de esta manera pudimos valorar si había o no variación de temperatura en las zonas seleccionadas. Tras el análisis de los datos obtenidos encontramos significativas variaciones térmicas en Talón, cabeza primer metatarsiano, cabeza segundo metatarsiano, cabeza tercer metatarsiano, cabeza cuarto metatarsiano, cabeza quinto metatarsiano, apófisis estiloides quinto metatarsiano, arco longitudinal interno, maléolo interno, maléolo externo, peroneo lateral largo, vasto interno, vasto externo, recto femoral, tensor de la fascia lata, inserción cuádriceps, gemelo interno, tendón de Aquiles y Biceps femoral.