Statistical Anomalies of Bitflips in SRAMs to Discriminate SBUs from MCUs

Recently, the occurrence of multiple events in static tests has been investigated by checking the statistical distribution of the difference between the addresses of the words containing bitflips. That method has been successfully applied to Field Programmable Gate Arrays (FPGAs) and the original authors indicate that it is also valid for SRAMs. This paper presents a modified methodology that is based on checking the XORed addresses with bitflips, rather than on the difference. Irradiation tests on CMOS 130 & 90 nm SRAMs with 14-MeV neutrons have been performed to validate this methodology. Results in high-altitude environments are also presented and cross-checked with theoretical predictions. In addition, this methodology has also been used to detect modifications in the organization of said memories. Theoretical predictions have been validated with actual data provided by the manufacturer.

Asymptotic Theory for Extended Asymmetric Multivariate GARCH Processes

The paper considers various extended asymmetric multivariate conditional volatility models, and derives appropriate regularity conditions and associated asymptotic theory. This enables checking of internal consistency and allows valid statistical inferences to be drawn based on empirical estimation. For this purpose, we use an underlying vector random coefficient autoregressive process, for which we show the equivalent representation for the asymmetric multivariate conditional volatility model, to derive asymptotic theory for the quasi-maximum likelihood estimator. As an extension, we develop a new multivariate asymmetric long memory volatility model, and discuss the associated asymptotic properties.

Analyse des traces d'exécution pour la vérification des protocoles d'interaction dans les systèmes multiagents

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

On the fly type specialization without type analysis

Les langages de programmation typés dynamiquement tels que JavaScript et Python repoussent la vérification de typage jusqu’au moment de l’exécution. Afin d’optimiser la performance de ces langages, les implémentations de machines virtuelles pour langages dynamiques doivent tenter d’éliminer les tests de typage dynamiques redondants. Cela se fait habituellement en utilisant une analyse d’inférence de types. Cependant, les analyses de ce genre sont souvent coûteuses et impliquent des compromis entre le temps de compilation et la précision des résultats obtenus. Ceci a conduit à la conception d’architectures de VM de plus en plus complexes. Nous proposons le versionnement paresseux de blocs de base, une technique de compilation à la volée simple qui élimine efficacement les tests de typage dynamiques redondants sur les chemins d’exécution critiques. Cette nouvelle approche génère paresseusement des versions spécialisées des blocs de base tout en propageant de l’information de typage contextualisée. Notre technique ne nécessite pas l’utilisation d’analyses de programme coûteuses, n’est pas contrainte par les limitations de précision des analyses d’inférence de types traditionnelles et évite la complexité des techniques d’optimisation spéculatives. Trois extensions sont apportées au versionnement de blocs de base afin de lui donner des capacités d’optimisation interprocédurale. Une première extension lui donne la possibilité de joindre des informations de typage aux propriétés des objets et aux variables globales. Puis, la spécialisation de points d’entrée lui permet de passer de l’information de typage des fonctions appellantes aux fonctions appellées. Finalement, la spécialisation des continuations d’appels permet de transmettre le type des valeurs de retour des fonctions appellées aux appellants sans coût dynamique. Nous démontrons empiriquement que ces extensions permettent au versionnement de blocs de base d’éliminer plus de tests de typage dynamiques que toute analyse d’inférence de typage statique.

Le rôle des réponses cardiovasculaires et respiratoires sur la cognition chez les jeunes et les ainés sains

En plus de contribuer à améliorer la santé de façon générale, l’activité physique chronique pourrait modérer le déclin cognitif associé au vieillissement normal et pathologique (Colcombe et Kramer, 2003; Heyn et al., 2004). Plus précisément, la pratique à long terme d’activités cardiovasculaires aurait des effets positifs sur la cognition des ainés et plus particulièrement sur le contrôle attentionnel, un aspect précocement touché au cours du vieillissement (Raz, 2000; Bherer et al., 2008). Toutefois, les mécanismes par lesquels l’exercice physique aigu améliore la cognition demeurent limités. Malgré ses nombreuses implications théoriques et pratiques, la réponse aiguë de l’oxygénation cérébrale à l’exercice physique et sa relation avec la cognition sont trop peu étudiées. Cette thèse se consacre à cette question. Des études récentes en neuro-imagerie chez les jeunes adultes démontrent que la relation entre l’oxygénation cérébrale et l’intensité de l’exercice suit la forme d’un U inversé. Il existe un seuil au-delà duquel l’oxygénation cérébrale diminue avec l’augmentation de l’intensité de l’exercice. Supposant que les performances cognitives dépendent de la disponibilité de l’oxygène cérébral, cette relation en U inversé devrait affecter les performances cognitives. Avant de préciser le rôle exact de l’oxygénation cérébrale sur les fonctions cognitives, nous avons d’abord examiné le temps nécessaire pour que l’oxygénation cérébrale atteigne un état stable et la durée pendant laquelle cette période stable peut être maintenue lors de paliers de sept minutes à une puissance sous-maximale (40%, 60% et 85% de la puissance aérobie maximale). Nos résultats soulignent l’existence d’une relation inverse entre la durée de l’état stable et l’intensité de l’exercice. Suite à cette vérification méthodologique, la prochaine étape a été de tester la possible relation entre l’oxygénation cérébrale, l’intensité de l’exercice et les performances cognitives, au cours du processus de vieillissement. Les résultats de ces études démontrent que la chute de l’oxygénation cérébrale observée lors des exercices de haute intensité est associée avec une diminution des performances cognitives. Les résultats de cette thèse corrigent l’écart existant dans la documentation entre l’exercice, les fonctions cognitives et les mécanismes neurophysiologiques.

Analyse des traces d'exécution pour la vérification des protocoles d'interaction dans les systèmes multiagents

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Formal Modeling and Analysis Techniques for High Level Petri Nets

Petri Nets are a formal, graphical and executable modeling technique for the specification and analysis of concurrent and distributed systems and have been widely applied in computer science and many other engineering disciplines. Low level Petri nets are simple and useful for modeling control flows but not powerful enough to define data and system functionality. High level Petri nets (HLPNs) have been developed to support data and functionality definitions, such as using complex structured data as tokens and algebraic expressions as transition formulas. Compared to low level Petri nets, HLPNs result in compact system models that are easier to be understood. Therefore, HLPNs are more useful in modeling complex systems. There are two issues in using HLPNs - modeling and analysis. Modeling concerns the abstracting and representing the systems under consideration using HLPNs, and analysis deals with effective ways study the behaviors and properties of the resulting HLPN models. In this dissertation, several modeling and analysis techniques for HLPNs are studied, which are integrated into a framework that is supported by a tool. For modeling, this framework integrates two formal languages: a type of HLPNs called Predicate Transition Net (PrT Net) is used to model a system's behavior and a first-order linear time temporal logic (FOLTL) to specify the system's properties. The main contribution of this dissertation with regard to modeling is to develop a software tool to support the formal modeling capabilities in this framework. For analysis, this framework combines three complementary techniques, simulation, explicit state model checking and bounded model checking (BMC). Simulation is a straightforward and speedy method, but only covers some execution paths in a HLPN model. Explicit state model checking covers all the execution paths but suffers from the state explosion problem. BMC is a tradeoff as it provides a certain level of coverage while more efficient than explicit state model checking. The main contribution of this dissertation with regard to analysis is adapting BMC to analyze HLPN models and integrating the three complementary analysis techniques in a software tool to support the formal analysis capabilities in this framework. The SAMTools developed for this framework in this dissertation integrates three tools: PIPE+ for HLPNs behavioral modeling and simulation, SAMAT for hierarchical structural modeling and property specification, and PIPE+Verifier for behavioral verification.

Perceptions of Underprepared Community College Students regarding their Educational Achievement

The purpose of this study was to understand the perceptions of underprepared college students who had participated in learning communities and who persisted to complete developmental classes and earned at least 30 college-level credit hours to graduate and the perceptions of their peers who had dropped out of college. The theories posed by Tinto, Astin, and Freire formed the framework for this case study. The 22 participants were graduates or transfer students now attending a public university, currently-enrolled sophomores, and students no longer enrolled at the time of the study. Semi-structured individual interviews and a group interview provided narrative data which were transcribed, coded, and analyzed to gain insights into the experiences and perspectives of the participants. The group interview provided a form of member checking to increase accuracy in interpreting themes. A peer reviewer provided feedback on the researcher’s data analysis procedures. The analysis yielded four themes and 14 sub-themes which captured the essence of the participants’ experiences. The pre-college characteristics/traits theme described the students’ internal values and attributes acquired prior to college. The external college support/community influence theme described the encouragement to attend college the students received from family, friends, and high school teachers. The social involvement theme described the students’ participation in campus activities and their interactions with other members of the campus. The academic integration theme described students’ use of campus resources and their contacts with the faculty. The persisters reported strong family and peer support, a sense of responsibility, appreciation for dedicated and caring faculty, and a belief that an education can be a liberatory means to achieve their goals. The non-persisters did not report having the same sense of purpose, goal orientation, determination, obligation to meet family expectations, peer support, campus involvement, positive faculty experiences, and time management skills. The researcher offers an emerging model for understanding factors associated with persistence and three recommendations for enhancing the academic experience of underprepared college students: (a) include a critical pedagogy perspective in coursework where possible, (b) integrate co-curricular activities with the academic disciplines, and (c) increase student-faculty interaction.

Let's put in order the accounting records and annual accounts of the agrarian processing companies

The substantive legislation on which Agricultural Processing Companies is based has some notable gaps with regard to the pertinent accounting system. There are grey areas concerning compulsory accounting records and their legalization, together with the process for drawing up, checking, approving and depositing the annual accounts.Consequently, in this paper, we will look first at the corporate and accounting records for Agricultural Processing Companies, putting forward proposals in the wake of recent legislation on the legalization of generally applied corporate and accounting documents.A critical analysis will also be made of the entire process of drafting, auditing, approving and depositing the annual accounts and other documents that Agricultural Processing Companies must send each year to their respective regional registries. Legal and mercantile registries will be differentiated from administrative ones and, in this last sense, changes will be suggested with regard to the place and objective of the deposit of such documents.After thirty-four years old, the substantive legislation in economic and accounting matters of the SAT is out of step with the current law, so a review is necessary. Recent regional regulations have not been a real breakthrough in this regard. We assert the existence of a gap between the substantive rules of the SAT and general accounting rules on financial statements, which is unsustainable and it needs a quick legislative action to be canceled.

Receptive Vocabulary of CLIL and Non-CLIL Primary and Secondary School Learners

CLIL instruction has been reported to be beneficial for foreign language vocabulary learning since CLIL students show higher vocabulary profiles than students of their same age in traditional EFL contexts. However, to our knowledge, the receptive vocabulary knowledge of CLIL and non-CLIL learners at the end of primary and secondary education has not been examined yet. Hence, this study aims at comparing the receptive vocabulary size 79 CLIL primary learners with the receptive vocabulary knowledge of 331 non-CLIL learners at the end of primary and secondary school. Sex-based differences were also analysed. The 2k Vocabulary Levels Test (VLT) was used for the purposes of the study. Results revealed that learners’ receptive vocabulary sizes lie within the most frequent 1000 words, non-CLIL secondary school students throw better results than primary students but the differences between the secondary group and the CLIL group are not statistically significant. As for sex-based differences, we found no significant differences among the groups. These findings led us to believe that the CLIL approach offers a benefit for vocabulary acquisition since CLIL learners have been exposed to the foreign language for a shorter period of time and the results are quite similar to their non-CLIL secondary school partners.

El rol del medialab en la Educación Artística Superior pública ecuatoriana: primeras experiencias en arte, ciencia y tecnología

La educación artística universitaria pública en el Ecuador adolece de materias ligadas al estudio del espacio convergente actual entre arte, ciencia y tecnología y sus respectivas prácticas creativas. Ante esta situación, que denota cierto anquilosamiento bajo técnicas y perfiles tradicionales, son los nuevos medialabs creados en los últimos años en el contexto de las Facultades de Arte de la Universidad de Cuenca y de la Universidad Central del Ecuador (Quito), los que vienen implementando las primeras prácticas en este sentido, cubriendo así las carencias curriculares de dichas carreras en lo que a cultura digital, arte y nuevos medios se refiere. Este estudio analiza las características de estos centros y la metodología seguida para introducir el arte y las nuevas tecnologías de forma pionera en el país. 

Learning for self-regulation: Improving instructional benefits for pupils, teachers, parents, schools, and society at large

Compulsory education laws oblige primary and secondary schools to give each pupil positive encouragement in, for example, social, emotional, cognitive, creative, and ethical respects. This is a fairly smooth process for most pupils, but it is not as easy to achieve with others. A pattern of pupil, home or family, and school variables turns out to be responsible for a long-term process that may lead to a pupil’s dropping out of education. A systemic approach will do much to introduce more clarity into the diagnosis, potential reduction and possible prevention of some persistent educational problems that express themselves in related phenomena, for example low school motivation and achievement; forced underachievement of high ability pupils; concentration of bullying and violent behaviour in and around some types of classes and schools; and drop-out percentages that are relatively constant across time. Such problems have a negative effect on pupils, teachers, parents, schools, and society alike. In this address, I would therefore like to clarify some of the systemic causes and processes that we have identified between specific educational and pupil characteristics. Both theory and practice can assist in developing, implementing, and checking better learning methods and coaching procedures, particularly for pupils at risk. This development approach will take time and require co-ordination, but it will result in much better processes and outcomes than we are used to. First, I will diagnose some systemic aspects of education that do not seem to optimise the learning processes and school careers of some types of pupils in particular. Second, I will specify cognitive, social, motivational, and self-regulative aspects of learning tasks and relate corresponding learning processes to relevant instructional and wider educational contexts. I will elaborate these theoretical notions into an educational design with systemic instructional guidelines and multilevel procedures that may improve learning processes for different types of pupils. Internet-based Information and Communication Technology, or ICT, also plays a major role here. Third, I will report on concrete developments made in prototype research and trials. The development process concerns ICT-based differentiation of learning materials and procedures, and ICT-based strategies to improve pupil development and learning. Fourth, I will focus on the experience gained in primary and secondary educational practice with respect to implementation. We can learn much from such practical experience, in particular about the conditions for developing and implementing the necessary changes in and around schools. Finally, I will propose future research. As I hope to make clear, theory-based development and implementation research can join forces with systemic innovation and differentiated assessment in educational practice, to pave the way for optimal “learning for self-regulation” for pupils, teachers, parents, schools, and society at large.

Does Inappropriate Quality Control Demotivate Workers

The construction industry requires quality control and regulation of its contingent,unpredictable environment. However, taking too much control from workers candisempower and demotivate. In the 1970s Deci and Ryan developed selfdeterminationtheory which states that in order to be intrinsically motivated, threecomponents are necessary - competence, autonomy and relatedness. This study aimsto examine the way in which the three ‘nutriments’ for intrinsic motivation may beundermined by heavy-handed quality control. A critical literature review analysesconstruction, psychological and management research regarding the control andmotivation of workers, using self-determination theory as a framework. Initialfindings show that quality management systems do not always work as designed.Workers perceive that unnecessary, wasteful and tedious counter checking of theirwork implies that they are not fully trusted by management to work without oversight.Control of workers and pressure for continual improvement may lead to resistanceand deception. Controlling mechanisms can break the link between performance andsatisfaction, reducing motivation and paradoxically reducing the likelihood of thequality they intend to promote. This study will lead to a greater understanding ofcontrol and motivation, facilitating further research into improvements in theapplication of quality control to maintain employee motivation.

Links hipertextuais na comunicação científica: análise webométrica dos sítios acadêmicos latino-americanos em ciências sociais

VANTI, Nadia. Links hipertextuais na comunicação científica: análise webométrica dos sítios acadêmicos latino-americanos em Ciências Sociais. Porto Alegre, 2007. 292 f. Tese (Doutorado em Comunicação e Informação) – Universidade Federal do Rio Grande do Sul. Porto Alegre, 2007.

National Diet and Nutrition Survey: assessment of dietary sodium in adults (19 to 64 years) in England, 2014

There is an established relationship between salt intake and risk of high blood pressure (BP). High blood pressure (hypertension) is a risk factor for cardiovascular disease (CVD) and scientific evidence shows that a high salt intake can contribute to the development of elevated blood pressure. The Scientific Advisory Committee on Nutrition (SACN) recommend a target reduction in the average salt intake of the population to no more than 6g per day. This figure has been adopted by the UK government as the recommended maximum salt intake for adults and children aged 11 years and over. Following publication of the SACN report in 2003, the government began a programme of reformulation work with the food industry aimed at reducing the salt content of processed food products. Voluntary salt reduction targets were first set in 2006, and subsequently in 2009, 2011 and 2014, for a range of food categories that contribute the most to the population’s salt intakes. Population representative urinary sodium data were collected in England in 2005-06, 2008 (UK), 2011 and 2014. In the latest survey assessment, estimated salt intake of adults aged 19 to 64 years in England was assessed from 24-hour urinary sodium excretion of 689 adults, selected to be representative of this section of the population. Estimated salt intake was calculated using the equation 17.1mmol of sodium = 1g of salt and assumes all sodium was derived from salt. The data were validated as representing daily intake by checking completeness of the urine collections by the para-amino benzoic acid (PABA) method. Urine samples were collected over five months (May to September) in 2014, concurrently with a similar survey in Scotland. This report presents the results for the latest survey assessment (2014) and a new analysis of the trend in estimated salt intake over time. The trend analysis is based on data for urinary sodium excretion from this survey and previous sodium surveys (including data from the National Diet and Nutrition Survey Rolling Programme (NDNS RP) Years 1 to 5) carried out in England over the last ten years, between 2005-06 and 2014. This data has been adjusted to take account of biases resulting from differences between surveys in laboratory analytical methods used for sodium. The analysis provides a revised assessment of the trend in estimated salt intake over time. The trend analysis in this report supersedes the trend analysis published in the report of the 2011 England urinary sodium survey.