Distance perception in immersive environments: the role of photorealism

Immersive environments (IE) are being increasingly used in order to perform psychophysical experiments. The versatility in terms of stimuli presentation and control and the less time-consuming procedures are their greatest strengths. However, to ensure that IE results can be generalized to real world scenarios we must first provide evidence that performance in IE is quantitatively indistinguishable from performance in real-world. Our goal was to perceptually validate distance perception for CAVE-like IEs. Participants performed a Frontal Matching Distance Task (Durgin & Li, 2011) in three different conditions: real-world scenario (RWS); photorealistic IE (IEPH) and non-photorealistic IE (IENPH). Underestimation of distance was found across all the conditions, with a significant difference between the three conditions (Wilks’ Lambda = .38, F(2,134)= 110.8, p<.01, significant pairwise differences with p<.01). We found a mean error of 2.3 meters for the RWS, 5 meters for the IEPH, and of 6 meters for the IENPH in a pooled data set of 5 participants. Results indicate that while having a photorealistic IE with perspective and stereoscopic depth cues might not be enough to elicit a real-world performance in distance judgment tasks, nevertheless this type of environment minimizes the discrepancy between simulation and real-world when compared with non-photorealistic IEs.

Curry-Howard for sequent calculus at last!

This paper tries to remove what seems to be the remaining stumbling blocks in the way to a full understanding of the Curry-Howard isomorphism for sequent calculus, namely the questions: What do variables in proof terms stand for? What is co-control and a co-continuation? How to define the dual of Parigot's mu-operator so that it is a co-control operator? Answering these questions leads to the interpretation that sequent calculus is a formal vector notation with first-class co-control. But this is just the "internal" interpretation, which has to be developed simultaneously with, and is justified by, an "external" one, offered by natural deduction: the sequent calculus corresponds to a bi-directional, agnostic (w.r.t. the call strategy), computational lambda-calculus. Next, the duality between control and co-control is studied and proved in the context of classical logic, where one discovers that the classical sequent calculus has a distortion towards control, and that sequent calculus is the de Morgan dual of natural deduction.

Ionic, paramagnetic and photophysical properties of a new biohybrid material incorporating copper perchlorate

The sol-gel method was employed in the synthesis of di-urethane cross-linked poly(-caprolactone) (d-PCL(530)/siloxane biohybrid ormolytes incorporating copper perchlorate, (Cu(ClO4)2). The highest ionic conductivity of the d PCL(530)/siloxanenCu(ClO4)2 system is that with n = 10 (1.4 x 10-7 and 1.4 x 10-5 S cm-1, at 25 and 100 ºC, respectively). In an attempt to understand the ionic conductivity/ionic association relationship, we decide to inspect the chemical environment experienced by the Cu2+ ions in the d-PCL(530)/siloxane medium. The observed EPR spectra are typical of isolated monomeric Cu2+ ions in axially distorted sites. The molecular orbital coefficients obtained from the EPR spin Hamiltonian parameters and the optical absorption band suggests that bonding between the Cu2+ and its ligand in the ormolytes are moderately ionic. Investigation by photoluminescence spectroscopy did not evidence or allow selective excitation of transitions corresponding to complexed Cu2+ species.

Blow-up and finite time extinction for p(x, t)-curl systems arising in electromagnetism

"Available online 22 March 2016"

Engineering a commercial cold-adapted xylanase for improved low pH stability

Dissertação de mestrado em Genética Molecular

Novel strategies to combat gram-negative bacterial pathogens using bacteriophage proteins

Dissertação de mestrado em Bioengenharia