The Use of Video Self-Modeling as an Intervention to Teach Rules and Procedures to Students with Autism Spectrum Disorder

The Use of Video Self-Modeling as an Intervention to Teach Rules and Procedures to Students with Autism Spectrum Disorder.

A software tool that generates symbolic model verifier (SMV) input language from a predicate transition net

The purpose of this research was to apply model checking by using a symbolic model checker on Predicate Transition Nets (PrT Nets). A PrT Net is a formal model of information flow which allows system properties to be modeled and analyzed. The aim of this thesis was to use the modeling and analysis power of PrT nets to provide a mechanism for the system model to be verified. Symbolic Model Verifier (SMV) was the model checker chosen in this thesis, and in order to verify the PrT net model of a system, it was translated to SMV input language. A software tool was implemented which translates the PrT Net into SMV language, hence enabling the process of model checking. The system includes two parts: the PrT net editor where the representation of a system can be edited, and the translator which converts the PrT net into an SMV program.

A Research Platform for Artificial Neural Networks with Applications in Pediatric Epilepsy

This dissertation established a state-of-the-art programming tool for designing and training artificial neural networks (ANNs) and showed its applicability to brain research. The developed tool, called NeuralStudio, allows users without programming skills to conduct studies based on ANNs in a powerful and very user friendly interface. A series of unique features has been implemented in NeuralStudio, such as ROC analysis, cross-validation, network averaging, topology optimization, and optimization of the activation function’s slopes. It also included a Support Vector Machines module for comparison purposes. Once the tool was fully developed, it was applied to two studies in brain research. In the first study, the goal was to create and train an ANN to detect epileptic seizures from subdural EEG. This analysis involved extracting features from the spectral power in the gamma frequencies. In the second application, a unique method was devised to link EEG recordings to epileptic and non-epileptic subjects. The contribution of this method consisted of developing a descriptor matrix that can be used to represent any EEG file regarding its duration and the number of electrodes. The first study showed that the inter-electrode mean of the spectral power in the gamma frequencies and its duration above a specific threshold performs better than the other frequencies in seizure detection, exhibiting an accuracy of 95.90%, a sensitivity of 92.59%, and a specificity of 96.84%. The second study yielded that Hjorth’s parameter activity is sufficient to accurately relate EEG to epileptic and non-epileptic subjects. After testing, accuracy, sensitivity and specificity of the classifier were all above 0.9667. Statistical tests measured the superiority of activity at over 99.99 % certainty. It was demonstrated that 1) the spectral power in the gamma frequencies is highly effective in locating seizures from EEG and 2) activity can be used to link EEG recordings to epileptic and non-epileptic subjects. These two studies required high computational load and could be addressed thanks to NeuralStudio. From a medical perspective, both methods proved the merits of NeuralStudio in brain research applications. For its outstanding features, NeuralStudio has been recently awarded a patent (US patent No. 7502763).

Semeando a cultura audiovisual no Rio Grande do Norte: a experiência das oficinas de vídeos do Coletivo Caminhos, Comunicação & Cultura

The audiovisual media is an instrument of communication that plays an important role in the cultural, social and political understanding of society. This survey was done intenting to identify the contribution of the audiovisual media to the culture in the Rio Grande do Norte and trying to understand the process of producing audiovisual in this state. To reach the aim, a case report was done regard the activities of Caminhos, Comunicação & Cultura – CC&C – a group that conducts cultural activities in the state since 2006 and has 76% of its activities related to audiovisual production, in which 47% of them, are video workshops. The video workshop project "Sowing Culture", held by the group in the city of Venha Ver/RN in January 2013, was observed and analised from its conception to its realization. The research pursued to reveal how the initiatives of independent producers, such as the CC&C group, can promote the access to audiovisual culture in regions where such knowledge is limited or nonexistent, due to the poor state policies related to the culture. Methodologically, the research was structured by performing a historical and descriptive analysis of hypothetical-deductive method through participant observation. For the conceptual and theoretical development, it was addressed the Sociability, Ethnography and media activism. The research proved that the independent audiovisual producers are promoting changes in the RN audiovisual practices. Before the background featured in the research, it is proposed a prognostic from researching to opening the RN Audiovisual Observatory, a communicational tool projected as space of sharing information, thinking, speaking, contacting and promoting the audiovisual productions of the state.

Música em projetos socioassistenciais governamentais: práticas e concepções culturais no Serviço de Convivência e Fortalecimento de Vínculos em Natal/RN

This present research focus at the teaching of music in social programs, it discuss about the teaching concepts that permeates the educational-musical practice presents in Serviço de Convivência e Fortalecimento de Vínculos (SCFV), of Complexo Dom Bosco, in Natal-RN. The Objective is to reflect upon the music teaching concepts and the relations between musical knowledge and culture. For this, it was problematized the concepts of music teaching and learning in governmental social projects through theoretical and empirical research. After this step, it was studied the cultural aspects involving the routine in the institutions the influenced the music learning at Serviço de Convivência e Fortalecimento de Vínculos, furthermore, and how these aspects are present in the constitution of the paradigms that involve music teaching. For this, it was used a qualitative approach and a case study as type of research. As data capture tool it was used the ethnographic write, photography, interviews as a Facilitator of music with the students of the program, and video recordings of musical learning situations. Theoretical support it was used authors who study the complexity, culture and music teaching in social projects. Finally, the conclusion is that musical learning, in the SCFV context, is involved of cultural conceptions steeped to the Oratório Dom Bosco space and the same time the Brazilian Social Assistance Policy. Sometimes these concepts are contradictory: discipline, leadership and combat social exclusion refer to dialogical cultural hologram of the institutions involved in the music education process.

Automatic and adaptable registration of live RGBD video streams sharing partially overlapping views

In this thesis, we introduce DeReEs-4v, an algorithm for unsupervised and automatic registration of two video frames captured depth-sensing cameras. DeReEs-4V receives two RGBD video streams from two depth-sensing cameras arbitrary located in an indoor space that share a minimum amount of 25% overlap between their captured scenes. The motivation of this research is to employ multiple depth-sensing cameras to enlarge the field of view and acquire a more complete and accurate 3D information of the environment. A typical way to combine multiple views from different cameras is through manual calibration. However, this process is time-consuming and may require some technical knowledge. Moreover, calibration has to be repeated when the location or position of the cameras change. In this research, we demonstrate how DeReEs-4V registration can be used to find the transformation of the view of one camera with respect to the other at interactive rates. Our algorithm automatically finds the 3D transformation to match the views from two cameras, requires no human interference, and is robust to camera movements while capturing. To validate this approach, a thorough examination of the system performance under different scenarios is presented. The system presented here supports any application that might benefit from the wider field-of-view provided by the combined scene from both cameras, including applications in 3D telepresence, gaming, people tracking, videoconferencing and computer vision.

Development of a triage tool for neurodevelopmental risk in children aged 30 months

Peer reviewed

Development of a triage tool for neurodevelopmental risk in children aged 30 months

Peer reviewed

Transplanting the leafy liverwort Herbertus hutchinsiae : A suitable conservation tool to maintain oceanic-montane liverwort-rich heath?

Peer reviewed

Glare, a GIS tool to reconstruct the 3D surface of palaeoglaciers

Acknowledgements This research has been supported by the Leverhulme Trust International Network Grant IN-2012-140. Processing and collecting of ground penetrating data in Forgefonna was part of Elend Førre's master's project that was completed in 2009 at the Department of Geography, University of Bergen. We also acknowledge Dr Andreas Bauder for providing the subglacial topography data for Griessgletscher and Simone Tarquini for granting access to the high resolution TIN of Italy, a cut of which is provided to the reader to practice the tools (see Appendix). Referees Dr. Iestyn Barr, Dr. Jeremy Ely and Dr. Marc Oliva are thanked for their constructive comments and tool testing, which significantly improved the final output.

Development and validation of an attitudinal-profiling tool for patients with asthma

Peer reviewed

Development of a triage tool for neurodevelopmental risk in children aged 30 months

Peer reviewed

Asymmetric 3D video coding based on regions of perceptual relevance

This dissertation presents a study and experimental research on asymmetric coding of stereoscopic video. A review on 3D technologies, video formats and coding is rst presented and then particular emphasis is given to asymmetric coding of 3D content and performance evaluation methods, based on subjective measures, of methods using asymmetric coding. The research objective was de ned to be an extension of the current concept of asymmetric coding for stereo video. To achieve this objective the rst step consists in de ning regions in the spatial dimension of auxiliary view with di erent perceptual relevance within the stereo pair, which are identi ed by a binary mask. Then these regions are encoded with better quality (lower quantisation) for the most relevant ones and worse quality (higher quantisation) for the those with lower perceptual relevance. The actual estimation of the relevance of a given region is based on a measure of disparity according to the absolute di erence between views. To allow encoding of a stereo sequence using this method, a reference H.264/MVC encoder (JM) has been modi ed to allow additional con guration parameters and inputs. The nal encoder is still standard compliant. In order to show the viability of the method subjective assessment tests were performed over a wide range of objective qualities of the auxiliary view. The results of these tests allow us to prove 3 main goals. First, it is shown that the proposed method can be more e cient than traditional asymmetric coding when encoding stereo video at higher qualities/rates. The method can also be used to extend the threshold at which uniform asymmetric coding methods start to have an impact on the subjective quality perceived by the observers. Finally the issue of eye dominance is addressed. Results from stereo still images displayed over a short period of time showed it has little or no impact on the proposed method.

Empirical expression of tool wear when face milling 416 SS

During a machining process, cutting parameters must be taken into account, since depending on them the cutting edge starts to wear out to the point that tool can fail and needs to be change, which increases the cost and time of production. Since wear is a negative phenomenon on the cutting tool, due to the fact that tool life is reduced, it is important to optimize the cutting variables to be used during the machining process, in order to increase tool life. This research is focused on the influence of cutting parameters such as cutting speed, feed per tooth and axial depth of cut on tool wear during a face milling operation. The Taguchi method is applied in this study, since it uses a special design of orthogonal array to study the entire parameters space, with only few numbers of experiments. Also a relationship between tool wear and the cutting parameters is presented. For the studies, a martensitic 416 stainless steel was selected, due to the importance of this material in the machining of valve parts and pump shafts. Copyright © 2009 by ASME.

Physical Insights, Steady Aerodynamic Effects, and a Design Tool for Low-Pressure Turbine Flutter

The successful, efficient, and safe turbine design requires a thorough understanding of the underlying physical phenomena. This research investigates the physical understanding and parameters highly correlated to flutter, an aeroelastic instability prevalent among low pressure turbine (LPT) blades in both aircraft engines and power turbines. The modern way of determining whether a certain cascade of LPT blades is susceptible to flutter is through time-expensive computational fluid dynamics (CFD) codes. These codes converge to solution satisfying the Eulerian conservation equations subject to the boundary conditions of a nodal domain consisting fluid and solid wall particles. Most detailed CFD codes are accompanied by cryptic turbulence models, meticulous grid constructions, and elegant boundary condition enforcements all with one goal in mind: determine the sign (and therefore stability) of the aerodynamic damping. The main question being asked by the aeroelastician, ``is it positive or negative?'' This type of thought-process eventually gives rise to a black-box effect, leaving physical understanding behind. Therefore, the first part of this research aims to understand and reveal the physics behind LPT flutter in addition to several related topics including acoustic resonance effects. A percentage of this initial numerical investigation is completed using an influence coefficient approach to study the variation the work-per-cycle contributions of neighboring cascade blades to a reference airfoil. The second part of this research introduces new discoveries regarding the relationship between steady aerodynamic loading and negative aerodynamic damping. Using validated CFD codes as computational wind tunnels, a multitude of low-pressure turbine flutter parameters, such as reduced frequency, mode shape, and interblade phase angle, will be scrutinized across various airfoil geometries and steady operating conditions to reach new design guidelines regarding the influence of steady aerodynamic loading and LPT flutter. Many pressing topics influencing LPT flutter including shocks, their nonlinearity, and three-dimensionality are also addressed along the way. The work is concluded by introducing a useful preliminary design tool that can estimate within seconds the entire aerodynamic damping versus nodal diameter curve for a given three-dimensional cascade.