we explore different ways in which a computational model of diagrammatic reasoning can capture imagery experiences which subjects reported in an experiment on spatial reasoning. The algorithmic reconstruction of this particular reasoning process suggests that computational models of diagrammatic reasoning should be formulated at different levels of abstraction. Four levels are distinguished ord...

Gene expression patterns (motivation) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 Transcription factors . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 Experimental discovery . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 Computational discovery . . . . . . . . . . . . . . . . . . . . . . . . ...

We consider a variant of the single item lot sizing problem where the product, when stored, suffers from a proportional loss, and in which the product demand is affected by uncertainty. This setting is particularly relevant in the energy sector, where the demands must be satisfied in a timely manner and storage losses are, often, unavoidable. We propose a two-stage robust optimization approach ...

This essay addresses the concerns of the foundations of mathematics of the early 20th century which led to the creation of formally axiomatized universes. These are confronted with contemporary developments, particularly in computational logic and neuroscience. Our approach uses computational models of mental experiments with the infinite in set-theory and symbol-manipulation systems, in partic...

This talk will explain how ground state matrix elements specifying moments of quark density and spin distributions in the nucleon have been calculated in full QCD, show how physical extrapolation to the chiral limit including the physics of the pion cloud resolves previous apparent conflicts with experiment, and describe the computational resources required for a definitive comparison with expe...

The main subject of this paper is to describe an experiment of blending two domains using our previous work, Blender (Pereira and Cardoso, 2001), a computational attempt to model Fauconnier and Turner’s (98) Conceptual Blending. In this experiment, we visualize the resulting instances using a logo-like language, allowing us to produce visual blends. We discuss the results and suggest further im...

Is the encoding of content and format necessary for representing beliefs? In three experiments using ”false-representation” tasks, we explored whether beliefs were processed like non-mental representations, under the assumption that non-mental representations require both content and format to be processed. First, beliefs were compared to sentences (linguistic medium) while keeping representati...

In this paper, we report on a two-part experiment aiming to assess and compare the performance of two types of automatic speech recognition (ASR) systems on two different computational platforms when used to augment dictation workflows. The experiment was performed with a sample of speakers of three major languages and with different linguistic profiles: non-native English speakers; non-native ...

A computational framework for analyzing and designing efficient flapping flight vehicles is presented. Two computational tools are considered: a Betz Criterion code proposed by Hall et. al., and an accelerated, unsteady, potential flow solver. The parameters considered in this paper are: the flapping frequency, the flapping amplitude in both up-down and forward-aft directions, and the addition ...