Quantifying epistemic actions in human-computer interaction

As digital systems move away from traditional desktop setups, new interaction paradigms are emerging that better integrate with users’ realworld surroundings, and better support users’ individual needs. While promising, these modern interaction paradigms also present new challenges, such as a lack of paradigm-specific tools to systematically evaluate and fully understand their use. This dissertation tackles this issue by framing empirical studies of three novel digital systems in embodied cognition – an exciting new perspective in cognitive science where the body and its interactions with the physical world take a central role in human cognition. This is achieved by first, focusing the design of all these systems on a contemporary interaction paradigm that emphasizes physical interaction on tangible interaction, a contemporary interaction paradigm; and second, by comprehensively studying user performance in these systems through a set of novel performance metrics grounded on epistemic actions, a relatively well established and studied construct in the literature on embodied cognition. The first system presented in this dissertation is an augmented Four-in-a-row board game. Three different versions of the game were developed, based on three different interaction paradigms (tangible, touch and mouse), and a repeated measures study involving 36 participants measured the occurrence of three simple epistemic actions across these three interfaces. The results highlight the relevance of epistemic actions in such a task and suggest that the different interaction paradigms afford instantiation of these actions in different ways. Additionally, the tangible version of the system supports the most rapid execution of these actions, providing novel quantitative insights into the real benefits of tangible systems. The second system presented in this dissertation is a tangible tabletop scheduling application. Two studies with single and paired users provide several insights into the impact of epistemic actions on the user experience when these are performed outside of a system’s sensing boundaries. These insights are clustered by the form, size and location of ideal interface areas for such offline epistemic actions to occur, as well as how can physical tokens be designed to better support them. Finally, and based on the results obtained to this point, the last study presented in this dissertation directly addresses the lack of empirical tools to formally evaluate tangible interaction. It presents a video-coding framework grounded on a systematic literature review of 78 papers, and evaluates its value as metric through a 60 participant study performed across three different research laboratories. The results highlight the usefulness and power of epistemic actions as a performance metric for tangible systems. In sum, through the use of such novel metrics in each of the three studies presented, this dissertation provides a better understanding of the real impact and benefits of designing and developing systems that feature tangible interaction.

Effects of discontinuous Percoll gradient centrifugation on the quality of bovine spermatozoa evaluated with computer-assisted semen analysis and fluorescent probes association

The objective of this study was to evaluate the quality of bovine frozen-thawed sperm cells after Percoll gradient centrifugation. Frozen semen doses were obtained from six bulls of different breeds, including three taurine and three Zebu animals. Four ejaculates per bull were evaluated before and after discontinuous Percoll gradient centrifugation. Sperm motility was assessed by computer-assisted semen analysis and the integrity of the plasma and acrosomal membranes, as well as mitochondrial function, were evaluated using a combination of fluorescent probes propidium iodide, fluorescein isothiocyanate-conjugated Pisum sativum agglutinin and 5,5',6,6'-tetrachloro-1,1',3,3'-tetraethylbenzimidazolcarbocyanine iodide. The procedure of Percoll gradient centrifugation increased the percentage of total and progressive sperm motility, beat frequency, rectilinear motility, linearity and rapidly moving cells. In addition, the percentage of cells with intact plasma membrane and mitochondrial membrane potential was increased in post-centrifugation samples. However, the percentage of sperm cells with intact acrosomal membrane was markedly reduced. The method used selected the motile cells with intact plasma membrane and higher mitochondrial functionality in frozen-thawed bull semen, but processing, centrifugation and/or the Percoll medium caused damage to the acrosomal membrane.

An Optimum-Path Forest framework for intrusion detection in computer networks

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Design and Analysis of Optical Interconnection Networks for a Dataflow Parallel Computer

This work shows the design, simulation, and analysis of two optical interconnection networks for a Dataflow parallel computer architecture. To verify the optical interconnection network performance on the Dataflow architecture, we have analyzed the load balancing among the processors during the parallel programs executions. The load balancing is a very important parameter because it is directly associated to the dataflow parallelism degree. This article proves that optical interconnection networks designed with simple optical devices can provide efficiently the dataflow requirements of a high performance communication system.

Fast-forward/fast-backward substitutions on vector computers

This paper deals with approaches for sparse matrix substitutions using vector processing. Many publications have used the W-matrix method to solve the forward/backward substitutions on vector computer. Recently a different approach has been presented using dependency-based substitution algorithm (DBSA). In this paper the focus is on new algorithms able to explore the sparsity of the vectors. The efficiency is tested using linear systems from power systems with 118, 320, 725 and 1729 buses. The tests were performed on a CRAY Y MP2E/232. The speedups for a fast-forward/fast-backward using a 1729-bus system are near 19 and 14 for real and complex arithmetic operations, respectively. When forward/backward is employed the speedups are about 8 and 6 to perform the same simulations.

Continuous-time and discrete-time sliding mode control accomplished using a computer

A computer-based sliding mode control (SMC) is analysed. The control law is accomplished using a computer and A/D and D/A converters. Two SMC designs are presented. The first one is a continuous-time conventional SMC design, with a variable structure law, which does not take into consideration the sampling period. The second one is a discrete-time SMC design, with a smooth sliding law, which does not have a structure variable and takes into consideration the sampling period. Both techniques are applied to control an inverted pendulum system. The performance of both the continuous-time and discrete-time controllers are compared. Simulations and experimental results are shown and the effectiveness of the proposed techniques is analysed.

Arithmetic fuchsian groups and space time block codes

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Evaluation of Pupillary Diameter in Preschool Children

Few quantitative data exist on pupil diameter, particularly in children. In this article we describe an analysis of pupil diameter and pupil area in normal preschool children during attentive gaze (AG) and spontaneous gaze (SG) using digital imaging. The pupil diameter and pupil area of 200 preschool children aged 4 to 6 years were evaluated. The images were recorded with a digital camera, transferred to a computer, processed by movie software and submitted to the Invert filter of Adobe Photoshop (R) software. Three consecutive measures of pupil diameter and pupil area were taken for both eyes during AG and SG. Arithmetic means of each parameter were calculated and data were expressed in millimeters. Mean pupil diameter was similar for both eyes, presenting values of 4.9 mm during AG and 4.1 mm during SG. Mean pupil area was also similar for both eyes, presenting values of 15.6 mm(2) and 9.1 mm(2) during AG and SG, respectively. There were no differences between boys and girls. However, 6-year-old children showed lower pupil diameter and area under both evaluation conditions.

Effect of refrigeration systems upon frozen bull sperm viability assessed by computer-assisted sperm analysis and fluorescent probes

Sperm cryopreservation success depends upon the maintenance of spermatozoa fertility potential. Sperm cells must preserve both integrity and functionality of several cell structures. The stabilization phase must allow the exit of water from the sperm cells via osmosis. This study aimed to compare the effect of refrigeration in the commercial refrigerator (CR) and the transport/refrigeration box (TRB) upon the viability of frozen bull sperm diluted in three different extenders (A, B and C). Ten Nellore bulls, Bos taurus indicus maintained in Artificial Insemination Center were used and the spermatozoa samples was assessed for Plasma Membrane Integrity and CASA evaluation. The stabilization phase (5 degrees C/4 hours) was performed in the CR as well as in the TRB, and then samples were exposed to nitrogen vapor during 20 minutes and then plunged into nitrogen. The statistical analysis was done using the variance analysis and the significance level was set at 5%. In the CR the post-thawing parameters for PM and ALH were higher (p < 0.05) in the extender A (glicine egg-yolk) and extender B (glicine egg-free) when compared with extender C (TRIS egg-yolk). As for BCF, STR and LIN, the parameters were higher (p < 0.05) in extender B than in C. Samples that were stabilized in the TRB presented higher post-thawing parameters (p < 0.05) for PM and LIN in extender A and extender B when compared with C. BCF and STR parameters were higher (p < 0.05) in extemder B when compared with C. Extender B samples had higher (p < 0.05) PMI when stabilized in CR. The findings in this experiment enable us to say that both CR and TRB were effective in keeping the viability of post-thawing bull semen.

Anterior Tooth Rehabilitation With Frozen Homogenous Bone Graft and Immediately Loaded Titanium Implant Using Computer-Guided Surgery

Computed tomographic scanning is a precise, noinvasive surveying technique that enables the professionals to improve the precision of implant placement by building a prototype that allows the confection of surgical guides. The authors present a clinical case of anterior tooth rehabilitation with frozen homogenous bone graft and immediately loaded titanium implant using computer-guided surgery. A multislice computed tomography was realized, and a prototype was built. All the procedures were previously realized in the prototype before started in the patient. This technique allows a better surgical planning, makes the procedures more accurate, and reduces surgery time.

Computer-Guided Surgery in Implantology: Review of Basic Concepts

The aim of the present study was to conduct a critical literature review about the technique of computer-guided surgery in implantology to highlight the indications, purposes, immediate loading of implants and complications, protocol of fabrication, and functioning of virtual planning software. This literature review was based on OLDMEDLINE and MEDLINE databases from 2002 to 2010 using the key words "computer-guided surgery" and "implant-supported prosthesis." Thirty-four studies regarding this topic were found. According to the literature review, it was concluded that the computer-assisted surgery is an excellent treatment alternative for patients with appropriate bone quantity for implant insertion in complete and partially edentulous arches. The Procera Nobel Guide software (Nobel Biocare) was the most common software used by the authors. In addition, the flapless surgery is advantageous for positioning of implants but with accurate indication. Although the computer-guided surgery may be helpful for virtual planning of cases with severe bone resorption, the conventional surgical technique is more appropriate. The surgical guide is important for insertion of the implants regardless of the surgical technique, and the success of immediate loading after computer-guided surgery depends on the accuracy of clinical and/or laboratorial steps.

Some experiments with high order compact methods using a computer algebra software - Part I

We consider a procedure for obtaining a compact fourth order method to the steady 2D Navier-Stokes equations in the streamfunction formulation using the computer algebra system Maple. The resulting code is short and from it we obtain the Fortran program for the method. To test the procedure we have solved many cavity-type problems which include one with an analytical solution and the results are compared with results obtained by second order central differences to moderate Reynolds numbers. (c) 2005 Elsevier B.V. All rights reserved.

Some experiments with high order compact methods using a computer algebra software - Part II (non-uniform grid)

We generalize a procedure proposed by Mancera and Hunt [P.F.A. Mancera, R. Hunt, Some experiments with high order compact methods using a computer algebra software-Part 1, Appl. Math. Comput., in press, doi: 10.1016/j.amc.2005.05.015] for obtaining a compact fourth-order method to the steady 2D Navier-Stokes equations in the streamfunction formulation-vorticity using the computer algebra system Maple, which includes conformal mappings and non-uniform grids. To analyse the procedure we have solved a constricted stepped channel problem, where a fine grid is placed near the re-entrant corner by transformation of the independent variables. (c) 2006 Elsevier B.V. All rights reserved.