In [13] we defined the λ&-calculus, a simple extension of the typed λcalculus to model typed object-oriented languages. This paper is the continuation or, rather, the companion of [13] since it analyzes the practical counterpart of the theoretical issues introduced there. Indeed, to develop a formal study of type systems for object-oriented languages we define a meta-language based on λ& and we...

Adult hand preference emerges from complex developmental changes in arm and hand use during childhood. Recent reports have highlighted the importance of understanding arm and hand use during the first year of life including the period before reach onset. This longitudinal study tested the hypothesis that significant right-left differences exist in pre-reaching arm movements. We examined right a...

With the increased integration of renewable energy sources the interaction between energy producers and consumers has become a bi-directional exchange. Therefore, the electrical grid must be adapted into a smart grid which effectively regulates this two-way interaction. With the aid of simulation, stakeholders can obtain information on how to properly develop and control the smart grid. In this...

Smart Cities combine diverse technologies to reduce their environmental impact and offer citizens a higher quality of life. In this paper we present an ongoing effort, within the context of Ciudad2020 project, for overcoming the challenge of homogenizing the citizen’s access to services offered by heterogeneous, and independent entities within a Smart City scenario. We describe how we are apply...

This paper presents the work that has been carried out to annotate semantic roles in the Basque Dependency Treebank (BDT) (Aldezabal et al., 2009). In this paper we will present the resources we have used and the way the annotation of 100 verbs has been done. We have followed the model proposed in the PropBank project (Palmer et al., 2005). In addition, we have adapted AbarHitz (Díaz de Ilarraz...

With the progress of world trade and globalization, and the development of information & communication technology (ICT) and industrial technology, manufacturing pattern and technology are now facing a turning point. In order to realize economic transformation, the Chinese government published China Manufacturing 2025 national strategy; German government published Industry 4.0; and American gove...

This paper presents three controlled perceptual studies investigating the visualization of the cerebral aneurysm anatomy with embedded flow visualization. We evaluate and compare the common semitransparent visualization technique with a ghosted view and a ghosted view with depth enhancement technique. We analyze the techniques’ ability to facilitate and support the shape and spatial representat...

Recent work in deep reinforcement learning has allowed algorithms to learn complex tasks such as Atari 2600 games just from the reward provided by the game, but these algorithms presently require millions of training steps in order to learn, making them approximately five orders of magnitude slower than humans. One reason for this is that humans build robust shared representations that are appl...

An arbiter is a circuit that grants its clients mutually exclusive access to a shared resource. The ideal arbiter cannot be built|either requests must occur synchronously, mutual exclusion is not guaranteed, or the arbiter may become hung inde nitely and fail to make a decision. This thesis explores arbiters whose failure mode is the latter; they are not live. Two speci c arbiters are investiga...

Inferring others' preferences is socially important and useful. We investigated whether children infer preferences from the minimal information provided by an agent's single action, and whether they avoid inferring preference when the action is constrained. In three experiments, children saw vignettes in which an agent took a worse toy instead of a better one. Experiment 1 shows that this singl...