How Video Lecture Capture affects Student Engagement in a University Computer Programming Course: Attendance, Video Viewing Behaviours and Student Attitudes

Introduction
The use of video capture of lectures in Higher Education is not a recent occurrence with web based learning technologies including digital recording of live lectures becoming increasing commonly offered by universities throughout the world (Holliman and Scanlon, 2004). However in the past decade the increase in technical infrastructural provision including the availability of high speed broadband has increased the potential and use of videoed lecture capture. This had led to a variety of lecture capture formats including pod casting, live streaming or delayed broadcasting of whole or part of lectures.
Additionally in the past five years there has been a significant increase in the popularity of online learning, specifically via Massive Open Online Courses (MOOCs) (Vardi, 2014). One of the key aspects of MOOCs is the simulated recording of lecture like activities. There has been and continues to be much debate on the consequences of the popularity of MOOCs, especially in relation to its potential uses within established University programmes.
There have been a number of studies dedicated to the effects of videoing lectures.
The clustered areas of research in video lecture capture have the following main themes:
• Staff perceptions including attendance, performance of students and staff workload
• Reinforcement versus replacement of lectures
• Improved flexibility of learning
• Facilitating engaging and effective learning experiences
• Student usage, perception and satisfaction
• Facilitating students learning at their own pace
Most of the body of the research has concentrated on student and faculty perceptions, including academic achievement, student attendance and engagement (Johnston et al, 2012).
Generally the research has been positive in review of the benefits of lecture capture for both students and faculty. This perception coupled with technical infrastructure improvements and student demand may well mean that the use of video lecture capture will continue to increase in frequency in the next number of years in tertiary education. However there is a relatively limited amount of research in the effects of lecture capture specifically in the area of computer programming with Watkins 2007 being one of few studies . Video delivery of programming solutions is particularly useful for enabling a lecturer to illustrate the complex decision making processes and iterative nature of the actual code development process (Watkins et al 2007). As such research in this area would appear to be particularly appropriate to help inform debate and future decisions made by policy makers.
Research questions and objectives
The purpose of the research was to investigate how a series of lecture captures (in which the audio of lectures and video of on-screen projected content were recorded) impacted on the delivery and learning of a programme of study in an MSc Software Development course in Queen’s University, Belfast, Northern Ireland. The MSc is conversion programme, intended to take graduates from non-computing primary degrees and upskill them in this area. The research specifically targeted the Java programming module within the course. It also analyses and reports on the empirical data from attendances and various video viewing statistics. In addition, qualitative data was collected from staff and student feedback to help contextualise the quantitative results.
Methodology, Methods and Research Instruments Used
The study was conducted with a cohort of 85 post graduate students taking a compulsory module in Java programming in the first semester of a one year MSc in Software Development. A pre-course survey of students found that 58% preferred to have available videos of “key moments” of lectures rather than whole lectures. A large scale study carried out by Guo concluded that “shorter videos are much more engaging” (Guo 2013). Of concern was the potential for low audience retention for videos of whole lectures.
The lecturers recorded snippets of the lecture directly before or after the actual physical delivery of the lecture, in a quiet environment and then upload the video directly to a closed YouTube channel. These snippets generally concentrated on significant parts of the theory followed by theory related coding demonstration activities and were faithful in replication of the face to face lecture. Generally each lecture was supported by two to three videos of durations ranging from 20 – 30 minutes.
Attendance
The MSc programme has several attendance based modules of which Java Programming was one element. In order to assess the consequence on attendance for the Programming module a control was established. The control used was a Database module which is taken by the same students and runs in the same semester.
Access engagement
The videos were hosted on a closed YouTube channel made available only to the students in the class. The channel had enabled analytics which reported on the following areas for all and for each individual video; views (hits), audience retention, viewing devices / operating systems used and minutes watched.
Student attitudes
Three surveys were taken in regard to investigating student attitudes towards the videoing of lectures. The first was before the start of the programming module, then at the mid-point and subsequently after the programme was complete.
The questions in the first survey were targeted at eliciting student attitudes towards lecture capture before they had experienced it in the programme. The midpoint survey gathered data in relation to how the students were individually using the system up to that point. This included feedback on how many videos an individual had watched, viewing duration, primary reasons for watching and the result on attendance, in addition to probing for comments or suggestions. The final survey on course completion contained questions similar to the midpoint survey but in summative view of the whole video programme.
Conclusions and Outcomes
The study confirmed findings of other such investigations illustrating that there is little or no effect on attendance at lectures. The use of the videos appears to help promote continual learning but they are particularly accessed by students at assessment periods. Students respond positively to the ability to access lectures digitally, as a means of reinforcing learning experiences rather than replacing them. Feedback from students was overwhelmingly positive indicating that the videos benefited their learning. Also there are significant benefits to part recording of lectures rather than recording whole lectures. The behaviour viewing trends analytics suggest that despite the increase in the popularity of online learning via MOOCs and the promotion of video learning on mobile devices in fact in this study the vast majority of students accessed the online videos at home on laptops or desktops However, in part, this is likely due to the nature of the taught subject, that being programming.
The research involved prerecording the lecture in smaller timed units and then uploading for distribution to counteract existing quality issues with recording entire live lectures. However the advancement and consequential improvement in quality of in situ lecture capture equipment may well help negate the need to record elsewhere. The research has also highlighted an area of potentially very significant use for performance analysis and improvement that could have major implications for the quality of teaching. A study of the analytics of the viewings of the videos could well provide a quick response formative feedback mechanism for the lecturer. If a videoed lecture either recorded live or later is a true reflection of the face to face lecture an analysis of the viewing patterns for the video may well reveal trends that correspond with the live delivery.

Avaliação ecológica do efeito combinado de contaminantes ambientais

The assessment of ecological status of lotic freshwater bodies, based on stringent criteria of classification, has been defined by the Water Framework Directive (WFD), as a result of the implementation and optimization of methodologies that integrate physico-chemical, biological, and hydromorphological parameters. It is recognized that the application of this methodology is not easy, because it requires deep technical and scientific knowledge; it is time consuming in its application involving high financial costs. Thus, the main objective of this study was the development of cheaper and faster complementary methodologies that may contribute to the technical application of the classification criteria defined by the WFD, achieving the same final results of evaluation. In order to achieve this main goal, the river Mau, a small mountain river subjected to different stressors (eg, metals, pesticides), was established as the main sampling area. This thesis reviewed the historical development of various biotic indexes and its application in assessing water quality, especially highlighting the new paradigm defined by the WFD, and the corresponding actions developed for optimization and intercalibration of methodologies, evaluating the final state of water bodies. The ecological spatiotemporal characterization of the river Mau focused on the application of the WFD methodology, using at this stage only macroinvertebrates collected during four seasons. Results were compared with historical data of the last three years and they demonstrated that the river is in good condition. However, the ecological quality decreased at certain locations indicating that organisms were subjected to some type of disturbance. As the ecological quality can be conditioned by pulses of contamination from the sediments, in environmental adverse conditions, assays were performed with elutriates, obtained from sediments collected near the mining complex Braçal-Palhal. Results showed that this method was effective achieving the state of contamination, which may be important in prioritizing/scoring of critical areas within river ecosystems potentially impacted, using the WFD methodology. However, this methodology requires the collection of sediment which can promote the modification and / or loss of contaminants. To solve this potential problem, we developed a new methodology to obtain similar results. For this, we used a benthic microalga, belonging to the Portuguese flora, sensitive to organic pollution and metals. This methodology was optimized for application in situ, by immobilization of diatom in calcium alginate beads. The results showedthat their sensitivity and normal growth rate are similar to data obtained when used free cells of diatom. This new methodology allowed the achievement of a very quick response on the degree of contamination of a site, providing a complementary methodology to WFD.

Étude descriptive des perceptions de soutien, d’habilitation et de reconnaissance favorisant la mobilisation organisationnelle au Ministère de l’éducation nationale et de l’alphabétisation du Burkina Faso

Cette thèse de doctorat se situe dans le contexte des préoccupations des autorités nationales et des organisations internationales relatives à l’efficacité des organisations publiques dans les pays en développement, dans le cadre des Objectifs du Millénaire pour le développement (OMD) et du programme Éducation pour tous (ÉPT). L’argument du manque de ressources est de plus en plus remis en cause par le constat que certaines organisations disposant de ressources moindres que d’autres de même nature, obtiennent de meilleurs résultats (Barney, 1991; Durand, 1996; Isckia, 2008). Autrement dit, la quantité de ressources n’explique pas tout; il faut considérer d’autres éléments, dont la mobilisation organisationnelle, c’est-à-dire le mouvement obtenu d’une masse critique d’employés qui adoptent des actions positives dans le sens de l’atteinte des objectifs de leur organisation. Cette mobilisation suppose un climat positif auquel contribue la présence de certains états psychologiques ressentis par les employés, notamment les perceptions de soutien et de reconnaissance de la part de l’organisation de même qu’un sentiment d’habilitation psychologique (Tremblay et Simard, 2005). Ces perceptions et ce sentiment constituent les points focaux de la recherche que nous avons menée au sein du Ministère de l’éducation nationale et de l’alphabétisation (MÉNA) du Burkina Faso. L’objectif principal de notre recherche est de décrire ces trois états psychologiques. Le soutien organisationnel perçu (SOP), l’habilitation psychologique (HP) et la reconnaissance perçue ont été explorés à partir des travaux de Eisenberger et al. (1986), de Spreitzer (1995) et de Brun et Dugas (2005) respectivement. Nous avons délibérément choisi la perspective des employés plutôt que celle des pratiques de gestion observées ou déclarées de leurs supérieurs et avons entrepris de connaître leurs perceptions. Ces dernières méritent que l’on s’en préoccupe car aucune politique, mesure ou pratique visant à instaurer un climat organisationnel mobilisant ne peut être efficace si elle n’est pas perçue comme telle par les employés. Utilisant une méthodologie mixte, nous avons recueilli auprès de cadres et de directions d’école, des données sur les trois états psychologiques retenus, à l’aide d’un questionnaire comportant 37 énoncés (65 répondants); d’entrevues individuelles visant à enrichir, compléter, expliciter ou illustrer les informations obtenues par le questionnaire (18 participants); et de deux groupes de discussion autour des résultats de l’analyse préliminaire des réponses au questionnaire (7 participants). Au total, les données ont été recueillies auprès de 73 personnes, certaines d’entre elles ayant à la fois répondu au questionnaire et participé à une entrevue individuelle. Les données ont été traitées par état psychologique à l’aide des logiciels SPSS Statistics 20 (pour les questionnaires) et QDA Miner 4.0.11 (pour les entretiens individuels). Pour chaque énoncé, chaque variable créée et chacune des caractéristiques (fonction, genre et milieu de travail), nous avons d’abord obtenu des mesures de tendances centrales; nous avons poursuivi en ajoutant un second niveau de traitement en combinant les caractéristiques, par exemple : la fonction (cadre ou direction d’école) et le genre (femme ou homme). Nous avons ensuite procédé au codage des verbatims des entretiens en vue d’en extraire des éléments qui corroborent, précisent ou nuancent les résultats de l’analyse des données obtenues par le questionnaire pour chaque état psychologique. L’exploitation des données d’entretiens visait également à identifier des éléments portant sur le thème de la mobilisation au MÉNA. Les résultats des analyses des données issues des questionnaires indiquent globalement que le soutien organisationnel est perçu de façon négative au sein du MÉNA, seule la valorisation du travail réalisé recueillant un sentiment un peu moins négatif. Les répondants se perçoivent habilités psychologiquement; des quatre composantes de l’habilitation psychologique, c’est l’autonomie qui recueille la perception la plus négative. En ce qui concerne la reconnaissance, on observe une perception positive des éléments reliés à la communication et négative lorsqu’il s’agit de l’appréciation du système d’attribution des récompenses. En complément à ces résultats obtenus de l’analyse des données issues du questionnaire, les entretiens ont permis de mettre en lumière le fait que des pratiques efficaces de gestion (par exemple la rapidité des réponses aux demandes, l’application des normes de ponctualité et d’assiduité, la réception régulière du salaire) sont considérées comme des marques de soutien organisationnel. Ces entretiens ont également permis de découvrir un fort potentiel d’implication personnelle et professionnelle des participants rencontrés qui affichaient une disposition favorable à l’augmentation de leur contribution tout en souhaitant une plus grande reconnaissance de leur potentiel. La prise en compte de la fonction, du genre et du milieu de travail a permis de raffiner les analyses. À titre d’exemple: le soutien organisationnel est perçu plus positivement en milieu urbain qu’en milieu rural; les cadres perçoivent positivement la valorisation que le ministère accorde à leur contribution; alors que les directrices d’école ont une appréciation négative de cette valorisation. Le sentiment de compétence est éprouvé de façon plus positive chez les cadres alors que le sentiment d’autonomie est plus positif chez les directions d’école. En milieu urbain, la transmission de l’information, les rencontres avec les supérieurs et les témoignages d’appréciation sont plus présents qu’en milieu rural. Dans cette recherche, qui s’est déroulée dans un contexte subsaharien, nous avons affiché un parti pris pour une approche universaliste plutôt que culturaliste. Tout en reconnaissant que les traditions et la culture font partie de l’environnement organisationnel, nous pensons qu’elles ne sont pas les principaux facteurs explicatifs des comportements des employés dans une organisation. Les propos tenus par certains des participants que nous avons rencontrés renforcent notre conviction que les pratiques de gestion généralement perçues positivement par les employés le sont également dans ce contexte.

Teste de acidez graxa como índice de qualidade em arroz

Pesquisas visando a redução de perdas de grãos e sementes durante o armazenamento têm ocupado destaque em vários países. Dentro deste contexto, a avaliação da eficácia de um índice de qualidade de boa aplicabilidade, com metodologia simples e de resposta imediata visando tomadas rápidas de decisão é de suma importância. O presente trabalho, conduzido no Laboratório de Processamento de Produtos Agrícolas UNESP, Botucatu/SP teve como objetivos: (a) estabelecer correspondência entre o nível de ácidos graxos livres e as classes de vigor em sementes; (b) estabelecer correspondência entre o nível de ácidos graxos livres e a classificação comercial por tipos, em grãos de arroz (Oryza sativa L.). A correspondência entre o nível de ácidos livres e as classes de vigor em sementes foi avaliada utilizando-se sementes envelhecidas artificialmente, obtendo-se assim níveis diferenciados de vigor. A correspondência entre o nível de ácidos graxos livres e a classificação por tipos, em grãos de arroz, foi realizada utilizando-se amostras de arroz com as porcentagens máximas de grãos defeituosos permitidos pela legislação vigente. Utilizou-se a análise de variância de um delineamento inteiramente ao acaso e, para comparação entre médias, aplicou-se o teste de Tukey ao nível de 5% de probabilidade. Por meio dos resultados obtidos, observou-se que o teste de acidez graxa mostrou-se exeqüível para avaliar o vigor de sementes de arroz. Na pesquisa que buscava uma correspondência entre os valores de acidez graxa e classificação comercial, os dados revelaram a tendência do nível de ácidos graxos livres acompanhar a classificação comercial por tipos.

Study on the K3Li2Nb5O15 formation during the production of (Na0.5K0.5)((1-x))LixNbO3 lead-free piezoceramics at the morphotropic phase boundary

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

Dynamic Lightpath Scheduling in Next-Generation WDM Optical Networks

Lightpath scheduling is an important capability in next-generation wavelength-division multiplexing (WDM) optical networks to reserve resources in advance for a specified time period while provisioning end-to-end lightpaths. In this study, we propose an approach to support dynamic lightpath scheduling in such networks. To minimize blocking probability in a network that accommodates dynamic scheduled lightpath demands (DSLDs), resource allocation should be optimized in a dynamic manner. However, for the network users who desire deterministic services, resources must be reserved in advance and guaranteed for future use. These two objectives may be mutually incompatible. Therefore, we propose a two-phase dynamic lightpath scheduling approach to tackle this issue. The first phase is the deterministic lightpath scheduling phase. When a lightpath request arrives, the network control plane schedules a path with guaranteed resources so that the user can get a quick response with the deterministic lightpath schedule. The second phase is the lightpath re-optimization phase, in which the network control plane re-provisions some already scheduled lightpaths. Experimental results show that our proposed two-phase dynamic lightpath scheduling approach can greatly reduce WDM network blocking.

A Two-phase Approach for Dynamic Lightpath Scheduling in WDM Optical Networks

Lightpath scheduling is an important capability in next-generation wavelength-division multiplexing (WDM) optical networks to reserve resources in advance for a specified time period while provisioning end-to-end lightpaths. In a dynamic environment, the end user requests for dynamic scheduled lightpath demands (D-SLDs) need to be serviced without the knowledge of future requests. Even though the starting time of the request may be hours or days from the current time, the end-user however expects a quick response as to whether the request could be satisfied. We propose a two-phase approach to dynamically schedule and provision D-SLDs. In the first phase, termed the deterministic lightpath scheduling phase, upon arrival of a lightpath request, the network control plane schedules a path with guaranteed resources so that the user can get a quick response with a deterministic lightpath schedule. In the second phase, termed the lightpath re-optimization phase, we re-provision some already scheduled lightpaths to re-optimize for improving network performance. We study two reoptimization scenarios to reallocate network resources while maintaining the existing lightpath schedules. Experimental results show that our proposed two-phase dynamic lightpath scheduling approach can greatly reduce network blocking.

New QR Survey Methodologies to Analyze User Perception of Service Quality in Public Transport: The Experience of Madrid

Customer Satisfaction Surveys (CSS) have become an important tool for public transport planners, as improvements in the perceived quality of service lead to greater use of public transport and lower traffic pollution. Until now, Intelligent Transportation System (ITS) enhancements in public transport have traditionally included fleet management systems based on Automatic Vehicle Location (AVL) technologies, which can be used to optimize routing and scheduling, and to feed real-time information into passenger information channels. However, surveys of public transport users could also benefit from the new information technologies. As most customers carry their smartphones when traveling, Quick Response (QR) codes open up the possibility of conducting these surveys at a lower cost.This paper contributes to the limited existing literature by developing the analysis of QR codes applied to CSS in public transport and highlighting their importance in reducing the cost of data collection and processing. The added value of this research is that it provides the first assessment of a real case study in Madrid (Spain) using QR codes for this purpose. This pilot experience was part of a research project analyzing bus service quality in the same case study, so the QR code survey (155 valid questionnaires) was validated using a conventional face-to-face survey (520 valid questionnaires). The results show clearly that, after overcoming a few teething troubles, this QR code application will ultimately provide transport management with a useful tool to reduce survey costs

The poly dA helix: a new structural motif for high performance DNA-based molecular switches

We report a pH-dependent conformational transition in short, defined homopolymeric deoxyadenosines (dA(15)) from a single helical structure with stacked nucleobases at neutral pH to a double-helical, parallel-stranded duplex held together by AH-HA base pairs at acidic pH. Using native PAGE, 2D NMR, circular dichroism (CD) and fluorescence spectroscopy, we have characterized the two different pH dependent forms of dA(15). The pH-triggered transition between the two defined helical forms of dA(15) is characterized by CD and fluorescence. The kinetics of this conformational switch is found to occur on a millisecond time scale. This robust, highly reversible, pH-induced transition between the two well-defined structured states of dA(15)represents a new molecular building block for the construction of quick-response, pH-switchable architectures in structural DNA nanotechnology.

Field-Effect and Frequency Dependent Transport in Semiconductor-Enriched Single-Wall Carbon Nanotube Network Device

The electrical and optical response of a field-effect device comprising a network of semiconductor-enriched single-wall carbon nanotubes, gated with sodium chloride solution is investigated. Field-effect is demonstrated in a device that uses facile fabrication techniques along with a small-ion as the gate electrolyte-and this is accomplished as a result of the semiconductor enhancement of the tubes. The optical transparency and electrical resistance of the device are modulated with gate voltage. A time-response study of the modulation of optical transparency and electrical resistance upon application of gate voltage suggests the percolative charge transport in the network. Also the ac response in the network is investigated as a function of frequency and temperature down to 5 K. An empirical relation between onset frequency and temperature is determined.

Seismic Microzonation: Principles,Practices and Experiments

This paper presents an overview of the seismic microzonation and the grade/level based study along with methods used for estimating hazard. The principles of seismic microzonation along with some current practices are discussed. Summary of seismic microzonation experiments carried out in India is presented. A detailed work of seismic microzonation of Bangalore has been presented as a case study. In this case study, a seismotectonic map for microzonation area has been developed covering 350 km radius around Bangalore, India using seismicity and seismotectonic parameters of the region. For seismic microzonation Bangalore Mahanagar Palike (BMP) area of 220 km2 has been selected as the study area. Seismic hazard analysis has been carried out using deterministic as well as probabilistic approaches. Synthetic ground motion at 653 locations, recurrence relation and peak ground acceleration maps at rock level have been generated. A detailed site characterization has been carried out using borehole with standard penetration test (SPT) ―N‖ values and geophysical data. The base map and 3-dimensional sub surface borehole model has been generated for study area using geographical information system (GIS). Multichannel analysis of surface wave (MASW)method has been used to generate one-dimensional shear wave velocity profile at 58 locations and two- dimensional profile at 20 locations. These shear wave velocities are used to estimate equivalent shear wave velocity in the study area at every 5m intervals up to a depth of 30m. Because of wider variation in the rock depth, equivalent shear for the soil overburden thickness alone has been estimated and mapped using ArcGIS 9.2. Based on equivalent shear wave velocity of soil overburden thickness, the study area is classified as ―site class D‖. Site response study has been carried out using geotechnical properties and synthetic ground motions with program SHAKE2000.The soil in the study area is classified as soil with moderate amplification potential. Site response results obtained using standard penetration test (SPT) ―N‖ values and shear wave velocity are compared, it is found that the results based on shear wave velocity is lower than the results based on SPT ―N‖ values. Further, predominant frequency of soil column has been estimated based on ambient noise survey measurements using instruments of L4-3D short period sensors equipped with Reftek 24 bit digital acquisition systems. Predominant frequency obtained from site response study is compared with ambient noise survey. In general, predominant frequencies in the study area vary from 3Hz to 12Hz. Due to flat terrain in the study area, the induced effect of land slide possibility is considered to be remote. However, induced effect of liquefaction hazard has been estimated and mapped. Finally, by integrating the above hazard parameters two hazard index maps have been developed using Analytic Hierarchy Process (AHP) on GIS platform. One map is based on deterministic hazard analysis and other map is based on probabilistic hazard analysis. Finally, a general guideline is proposed by bringing out the advantages and disadvantages of different approaches.

Seismic Microzonation of Bangalore - Preliminary Maps

This paper presents an overview of the seismic microzonation and the grade/level based study along with methods used for estimating hazard. The principles of seismic microzonation along with some current practices are discussed. Summary of seismic microzonation experiments carried out in India is presented. A detailed work of seismic microzonation of Bangalore has been presented as a case study. In this case study, a seismotectonic map for microzonation area has been developed covering 350 km radius around Bangalore, India using seismicity and seismotectonic parameters of the region. For seismic microzonation Bangalore Mahanagar Palike (BMP) area of 220 km2 has been selected as the study area. Seismic hazard analysis has been carried out using deterministic as well as probabilistic approaches. Synthetic ground motion at 653 locations, recurrence relation and peak ground acceleration maps at rock level have been generated. A detailed site characterization has been carried out using borehole with standard penetration test (SPT) ―N‖ values and geophysical data. The base map and 3-dimensional sub surface borehole model has been generated for study area using geographical information system (GIS). Multichannel analysis of surface wave (MASW)method has been used to generate one-dimensional shear wave velocity profile at 58 locations and two- dimensional profile at 20 locations. These shear wave velocities are used to estimate equivalent shear wave velocity in the study area at every 5m intervals up to a depth of 30m. Because of wider variation in the rock depth, equivalent shear for the soil overburden thickness alone has been estimated and mapped using ArcGIS 9.2. Based on equivalent shear wave velocity of soil overburden thickness, the study area is classified as ―site class D‖. Site response study has been carried out using geotechnical properties and synthetic ground motions with program SHAKE2000.The soil in the study area is classified as soil with moderate amplification potential. Site response results obtained using standard penetration test (SPT) ―N‖ values and shear wave velocity are compared, it is found that the results based on shear wave velocity is lower than the results based on SPT ―N‖ values. Further, predominant frequency of soil column has been estimated based on ambient noise survey measurements using instruments of L4-3D short period sensors equipped with Reftek 24 bit digital acquisition systems. Predominant frequency obtained from site response study is compared with ambient noise survey. In general, predominant frequencies in the study area vary from 3Hz to 12Hz. Due to flat terrain in the study area, the induced effect of land slide possibility is considered to be remote. However, induced effect of liquefaction hazard has been estimated and mapped. Finally, by integrating the above hazard parameters two hazard index maps have been developed using Analytic Hierarchy Process (AHP) on GIS platform. One map is based on deterministic hazard analysis and other map is based on probabilistic hazard analysis. Finally, a general guideline is proposed by bringing out the advantages and disadvantages of different approaches.

Null Dereference Verification via Over-approximated Weakest Pre-conditions Analysis

Null dereferences are a bane of programming in languages such as Java. In this paper we propose a sound, demand-driven, inter-procedurally context-sensitive dataflow analysis technique to verify a given dereference as safe or potentially unsafe. Our analysis uses an abstract lattice of formulas to find a pre-condition at the entry of the program such that a null-dereference can occur only if the initial state of the program satisfies this pre-condition. We use a simplified domain of formulas, abstracting out integer arithmetic, as well as unbounded access paths due to recursive data structures. For the sake of precision we model aliasing relationships explicitly in our abstract lattice, enable strong updates, and use a limited notion of path sensitivity. For the sake of scalability we prune formulas continually as they get propagated, reducing to true conjuncts that are less likely to be useful in validating or invalidating the formula. We have implemented our approach, and present an evaluation of it on a set of ten real Java programs. Our results show that the set of design features we have incorporated enable the analysis to (a) explore long, inter-procedural paths to verify each dereference, with (b) reasonable accuracy, and (c) very quick response time per dereference, making it suitable for use in desktop development environments.

Aseismic deformation in subduction megathrusts : central Andes and north-east Japan

We aim to characterize fault slip behavior during all stages of the seismic cycle in subduction megathrust environments with the eventual goal of understanding temporal and spatial variations of fault zone rheology, and to infer possible causal relationships between inter-, co- and post-seismic slip, as well as implications for earthquake and tsunami hazard. In particular we focus on analyzing aseismic deformation occurring during inter-seismic and post-seismic periods of the seismic cycle. We approach the problem using both Bayesian and optimization techniques. The Bayesian approach allows us to completely characterize the model parameter space by searching a posteriori estimates of the range of allowable models, to easily implement any kind of physically plausible a priori information and to perform the inversion without regularization other than that imposed by the parameterization of the model. However, the Bayesian approach computational expensive and not currently viable for quick response scenarios. Therefore, we also pursue improvements in the optimization inference scheme. We present a novel, robust and yet simple regularization technique that allows us to infer robust and somewhat more detailed models of slip on faults. We apply such methodologies, using simple quasi-static elastic models, to perform studies of inter- seismic deformation in the Central Andes subduction zone, and post-seismic deformation induced by the occurrence of the 2011 Mw 9.0 Tohoku-Oki earthquake in Japan. For the Central Andes, we present estimates of apparent coupling probability of the subduction interface and analyze its relationship to past earthquakes in the region. For Japan, we infer high spatial variability in material properties of the megathrust offshore Tohoku. We discuss the potential for a large earthquake just south of the Tohoku-Oki earthquake where our inferences suggest dominantly aseismic behavior.

Neurotoxicidade de pesticidas organofosforados durante o desenvolvimento: alterações bioquímicas e comportamentais

Pesticidas organofosforados são amplamente usados e seu uso constitui um grave problema de saúde pública. A ação clássica destes compostos é a inibição irreversível da acetilcolinesterase, promovendo acúmulo de acetilcolina nas sinapses e hiperestimulação colinérgica. No entanto, as consequências da exposição a baixas doses podem se estender a outros mecanismos de ação e sistemas neurotransmissores. Considerando que crianças constituem um grupo particularmente vulnerável aos efeitos de pesticidas, neste trabalho investigamos os efeitos da exposição aos organofosforados metamidofós (MET) e clorpirifós (CPF) durante o desenvolvimento sobre os sistemas colinérgico e serotoninérgico e sobre o comportamento de camundongos. Para isso, camundongos suíços foram expostos a injeções subcutâneas de MET, clorpirifós ou veículo do terceiro (PN3) ao nono (PN9) dias de vida pós-natal. As doses de exposição foram previamente escolhidas através da construção de uma curva dose-resposta que identificou como mais adequadas para este estudo as doses de 1mg/kg de MET e 3mg/kg de CPF, as quais promoveram em torno de 20% de inibição da acetilcolinesterase. Em PN10, parte dos animais foi sacrificada e foram avaliados os sistemas colinérgico e serotoninérgico no tronco encefálico e córtex cerebral. De PN60 a PN63, os animais foram submetidos a uma bateria de testes comportamentais. Em seguida, estes animais também foram sacrificados tendo sido avaliados os sistemas colinérgico e serotoninérgico. Em PN10, MET e CPF causaram alterações que sugerem aumento da atividade colinérgica respectivamente no tronco e córtex em fêmeas. No sistema serotoninérgico, apenas CPF promoveu alterações, aumentando a ligação ao receptor 5HT1A e transportador 5HT em fêmeas e diminuindo na ligação ao 5HT2. Em PN63, a atividade da acetilcolinesterase foi reestabelecida em todos os grupos. Ainda assim, MET diminuiu a atividade da colina acetiltransferase no córtex e a ligação ao transportador colinérgico no tronco. Quanto aos efeitos do CPF, no tronco, houve redução da atividade da colina acetiltransferase em fêmeas e aumento em machos. Sobre o sistema serotoninérgico, MET e CPF promoveram diminuições no 5HT1A respectivamente no tronco e córtex das fêmeas e CPF aumentou a ligação no córtex de machos. A ligação ao 5HT2 foi aumentada após o tratamento com MET e ao transportador 5HT foi diminuída em fêmeas após o tratamento com clorpirifós. Sobre o comportamento, identificamos comportamento associado à depressão em animais expostos a MET e aumento dos níveis de ansiedade, além de prejuízo de aprendizado/memória após exposição à CPF. Desta forma, nossos resultados indicam que a exposição à metamidofós e clorpirifós durante o desenvolvimento é capaz de alterar, de diferentes formas, a atividade colinérgica e serotoninérgica, mesmo que as doses de exposição sejam toxicologicamente equivalentes. Foram verificados efeitos nas vias neuroquímicas logo após a exposição e após um longo período de interrupção do tratamento, indicando efeitos tardios em sistemas importantes que podem estar associados às alterações comportamentais. Finalmente, o presente estudo reforça a associação epidemiológica entre pesticidas e alterações psiquiátricas e a capacidade da programação de alterações a longo-prazo quando a exposição se dá durante o desenvolvimento.