In this paper we propose a design space exploration method targeting reconfigurable architectures that takes place at the algorithmic level and aims to rapidly highlight architectures that present good performance vs. flexibility tradeoffs. The exploration flow is based on a functional model to describe the architectures that the designer wants to compare. The paper mainly focuses on the projec...

Previous research suggests that children infer the presence of unobserved causes when objects appear to move spontaneously. Are such inferences limited to motion events or do children assume that unexplained physical events have causes more generally? Here we introduce an apparently spontaneous event and ask whether, even in the absence of spatiotemporal and co-variation cues linking the events...

This study investigated how environmental design shapes perceptual-motor exploration, when meta-stable regions of performance are created. Here, we examined how creating meta-stable regions of performance could destabilize pre-existing skills, favoring greater exploration of performance environments, exemplified in this study by climbing surfaces. In this investigation we manipulated hold orien...

Deep-seated mineralization prediction is an important scientific problem in the area of mineral resources exploration. The 3D metallogenic information extraction geology and geochemistry can be great help. This study uses modeling technology to intuitively depict spatial distribution orebodies, fractures, intrusive rocks. In particular, geochemical models 12 elements are established for extract...

Different methods have been developed for mineral exploration so far, amongst which biological-based methods known as geomicrobiological studies are of the most recent ones. Geomicrobiology as an interdisciplinary approach has achieved great progresses during the past two decades and involves the study of microbes in a number of fundamental geological processes, both in the past and present. Th...

Grosu and Smolka have proposed a randomised Monte-Carlo algorithm for LTL model-checking. Their method is based on random exploration of the intersection of the model and of the Büchi automaton that represents the property to be checked. The targets of this exploration are so-called lassos, i.e. elementary paths followed by elementary circuits. During this exploration outgoing transitions are c...

The nerve growth factor (NGF) pathway is of great interest as a potential source of drug targets, for example in the management of certain types of pain. However, selecting targets from this pathway either by intuition or by non-contextual measures is likely to be challenging. An alternative approach is to construct a mathematical model of the system and via sensitivity analysis rank order the ...

Young children can in principle make generic inferences (e.g., "doffels are magnetic") on the basis of their own individual experience. Recent evidence, however, shows that by 4 years of age children make strong generic inferences on the basis of a single pedagogical demonstration with an individual (e.g., an adult demonstrates for the child that a single "doffel" is magnetic). In the current e...

This project aims to use an automated approach to thoroughly explore the design space of a massively-parallel processing fabric, made up of many hundreds or thousands of individual processing elements, and find the best possible architectural design for it. Analysis of results will dictate whether features should be included, and drive the generation of new regions of the design space.

Associative activation is commonly assumed to rely on associative strength, such that if A is strongly associated with B, B is activated whenever A is activated. We challenged this assumption by examining whether the activation of associations is state dependent. In three experiments, subjects performed a free-association task while the level of a simultaneous load was manipulated in various wa...