This infinite, unanimous dissonance : a study in mathematical existentialism through the work of Jean-Paul Sartre and Alain Badiou

This thesis seeks to elucidate a motif common to the work both of Jean-Paul Sartre and Alain Badiou (with special attention being given to Being and Nothingness and Being and Event respectively): the thesis that the subject 's existence precedes and determines its essence. To this end, the author aims to explicate the structural invariances, common to both philosophies, that allow this thesis to take shape. Their explication requires the construction of an overarching conceptual framework within which it may be possible to embed both the phenomenological ontology elaborated in Being and Event and the mathematical ontology outlined in Being and Event. Within this framework, whose axial concept is that of multiplicity, the precedence of essence by existence becomes intelligible in terms of a priority of extensional over intensional determination. A series of familiar existentialist concepts are reconstructed on this basis, such as lack and value, and these are set to work in the task of fleshing out the more or less skeletal theory of the subject presented in Being and Event.

Development of techniques for testing the effect of the E1 region on adenovirus integration /

Adenoviral vectors are currently the most widely used gene therapeutic vectors, but their inability to integrate into host chromosomal DNA shortened their transgene expression and limited their use in clinical trials. In this project, we initially planned to develop a technique to test the effect of the early region 1 (E1) on adenovirus integration by comparing the integration efficiencies between an E1-deleted adenoviral vector (SubE1) and an Elcontaining vector (SubE3). However, we did not harvest any SubE3 virus, even if we repeated the transfection and successfully rescued the SubE1 virus (2/4 transfections generated viruses) and positive control virus (6/6). The failure of rescuing SubE3 could be caused by the instability of the genomic plasmid pFG173, as it had frequent intemal deletions when we were purifying It. Therefore, we developed techniques to test the effect of E1 on homologous recombination (HR) since literature suggested that adenovirus integration is initiated by HR. We attempted to silence the E1 in 293 cells by transfecting E1A/B-specific small interfering RNA (siRNA). However, no silenced phenotype was observed, even if we varied the concentrations of E1A/B siRNA (from 30 nM to 270 nM) and checked the silencing effects at different time points (48, 72, 96 h). One possible explanation would be that the E1A/B siRNA sequences are not potent enough to Induce the silenced phenotype. For evaluating HR efficiencies, an HR assay system based on bacterial transfonmatJon was designed. We constmcted two plasmids ( designated as pUC19-dl1 and pUC19-dl2) containing different defective lacZa cassettes (forming white colonies after transformation) that can generate a functional lacZa cassette (forming blue colonies) through HR after transfecting into 293 cells. The HR efficiencies would be expressed as the percentages of the blue colonies among all the colonies. Unfortunately, after transfonnation of plasmid isolated from 293 cells, no colony was found, even at a transformation efficiency of 1.8x10^ colonies/pg pUC19, suggesting the sensitivity of this system was low. To enhance the sensitivity, PCR was used. We designed a set of primers that can only amplify the recombinant plasmid fomied through HR. Therefore, the HR efficiencies among different treatments can be evaluated by the amplification results, and this system could be used to test the effect of E1 region on adenovirus integration. In addition, to our knowledge there was no previous studies using PCR/ Realtime PCR to evaluate HR efficiency, so this system also provides a PCR-based method to carry out the HR assays.

Transfection of newt blastema mesenchyme using the techniques of lipofection and direct gene transfer

The regenerating amphibian limb provides a useful system for studying genes involved in the establishment of positional information. While a number of candidate genes that may playa role in pattern formation have been identified, their function in vivo is unknown in this system. To better ascertain the role of these genes, it would be useful to be able to alter their normal patterns of expression in vivo and to assess the effects of this misexpression on limb pattern. In order to achieve this, a method of introducing a plasmid containing the eDNA of a gene of interest into a newt blastema (a growth zone of mesenchymal progenitor cells) is needed. Unfortunately, most commonly used transfection techniques cannot be used with newt blastema cells. In this study, I have used the techniques of lipofection and direct gene transfer to introduce plasmid DNA containing reporter genes into the cells of a regenerating newt limb. The technique of lipofection was most effective when the blastema cells were transfected in vitro. The optimal ratio for transfection was shown to be 1:3 DNA:Lipofectin (W/w) , and an increase in the amount of DNA present in the mixture (1:3 ratio maintained) resulted in a corresponding increase in gene expression. The technique of direct gene transfer was used to transfect newt blastema cells with and without prior complex formation with Lipofectin. Injection of plasmid DNA alone provided the most 3 promising results. It was possible to introduce plasmid DNA containing the reporter gene ~-galactosidase and achieve significant gene expression in cells associated with the injection site. In the future, it would be interesting to use this technique to inject plasmid DNA containing a gene which may have a role in pattern formation into specific areas of the newt blastema and to analyze the resulting limb pattern that emerges.

Remembering Lessons Learned: knowledge management techniques for building generational memory

A presentation made at the CAUT Librarians Conference in Ottawa, Ontario in October 2005.

Leisure connections : a case study to understand facilitation techniques with survivors of trauma

Leisure-based therapy is a potentially effective approach to supporting survivors of trauma in their healing. The purpose ofthis qualitative case study was to describe the recreation therapist's facilitation techniques of Leisure Connections, a unique leisurebased psycho-educational group for survivors of trauma, and explore how the facilitation was experienced by participants. Qualitative case study design, following the methods of Yin (1994) was used. One two week, three session Leisure Connections group was observed. Six participants completed the Group· Therapy Alliance Scale (pinsof & Catherall, 1986) and reflection cards. In-depth, semi-structured interviews were conducted with the recreation therapist and four participants. Six themes emerged describing group leader interventions, recreation therapist's actions, recreation therapist's preparation and reflections, group members' experience of a therapeutic alliance, group cohesion, and prior influences and assumptions. Therapeutic alliance and group cohesion were influenced by the recreation therapist's group leader interventions (drawing out, processing, protecting) and actions. The context of the group within a therapeutic community milieu was an important influence.

Undergraduate Students' Experiences of Their Mathematical Identity

This research study explored how undergraduate mathematics students perceive themselves as capable mathematics learners and whether gender differences exist in the undergraduates students' perceptions. The research was framed by three approaches of understanding identity: self-efficacy, environment, and four faces of learner's identity. A mixed methods approach to the study was used where data were collected from interviews and an online questionnaire. Data analysis revealed that undergraduate mathematics students' perceptions of their mathematical identity as capable mathematics learners are influenced by their perceptions of their experiences such as: (a) perceptions of having previous knowledge of the course, (b) being able teach others and others understand it, (c) being recognized by their professors, (d) contributing and fitting in, (e) having opportunities to interact with their peers, and (f) being able to fit in with their image of a capable mathematics learner.

Heuristics for the Critical Node Detection Problem in Large Complex Networks

Complex networks have recently attracted a significant amount of research attention due to their ability to model real world phenomena. One important problem often encountered is to limit diffusive processes spread over the network, for example mitigating pandemic disease or computer virus spread. A number of problem formulations have been proposed that aim to solve such problems based on desired network characteristics, such as maintaining the largest network component after node removal. The recently formulated critical node detection problem aims to remove a small subset of vertices from the network such that the residual network has minimum pairwise connectivity. Unfortunately, the problem is NP-hard and also the number of constraints is cubic in number of vertices, making very large scale problems impossible to solve with traditional mathematical programming techniques. Even many approximation algorithm strategies such as dynamic programming, evolutionary algorithms, etc. all are unusable for networks that contain thousands to millions of vertices. A computationally efficient and simple approach is required in such circumstances, but none currently exist. In this thesis, such an algorithm is proposed. The methodology is based on a depth-first search traversal of the network, and a specially designed ranking function that considers information local to each vertex. Due to the variety of network structures, a number of characteristics must be taken into consideration and combined into a single rank that measures the utility of removing each vertex. Since removing a vertex in sequential fashion impacts the network structure, an efficient post-processing algorithm is also proposed to quickly re-rank vertices. Experiments on a range of common complex network models with varying number of vertices are considered, in addition to real world networks. The proposed algorithm, DFSH, is shown to be highly competitive and often outperforms existing strategies such as Google PageRank for minimizing pairwise connectivity.

Strategies and Techniques for Teaching Children with Learning Disabilities: A Case Study of the Spring Reading Program

This case study explored strategies and techniques in order to assist individuals with learning disabilities in their academic achievement. Of particular focus was how a literacy-based program, titled The Spring Reading Program, utilizes effective tactics and approaches that result in academic growth. The Spring Reading Program, offered by the Learning Disabilities Association of Niagara Region (LDANR) and partnered with John McNamara from Brock University, supports children with reading disabilities academically. In addition, the program helps children increase their confidence and motivation towards literacy. I began this study by outlining the importance of reading followed by and exploration of what educators and researchers have demonstrated regarding effective literacy instruction for children with learning disabilities. I studied effective strategies and techniques in the Spring Reading Program by conducting a qualitative case study of the program. This case study subsequently presents in depth, 4 specific strategies: Hands-on activities, motivation, engagement, and one-on-one instruction. Each strategy demonstrates its effectiveness through literature and examples from the Spring Reading Program.

Elementos of geometry and trigonometry : from the works of A.M. Legendre, adapted to the course of mathematical instruction in the United State

UANL

Changements techniques dirigés dans le commerce international: une comparaison d'approches pour les États-Unis.

Rapport de recherche

Markovian Processes, Two-Sided Autoregressions and Finite-Sample Inference for Stationary and Nonstationary Autoregressive Processes.

In this paper, we develop finite-sample inference procedures for stationary and nonstationary autoregressive (AR) models. The method is based on special properties of Markov processes and a split-sample technique. The results on Markovian processes (intercalary independence and truncation) only require the existence of conditional densities. They are proved for possibly nonstationary and/or non-Gaussian multivariate Markov processes. In the context of a linear regression model with AR(1) errors, we show how these results can be used to simplify the distributional properties of the model by conditioning a subset of the data on the remaining observations. This transformation leads to a new model which has the form of a two-sided autoregression to which standard classical linear regression inference techniques can be applied. We show how to derive tests and confidence sets for the mean and/or autoregressive parameters of the model. We also develop a test on the order of an autoregression. We show that a combination of subsample-based inferences can improve the performance of the procedure. An application to U.S. domestic investment data illustrates the method.

Logique et tests d'hypotheses: reflexions sur les problemes mal poses en econometrie

Dans ce texte, nous analysons les développements récents de l’économétrie à la lumière de la théorie des tests statistiques. Nous revoyons d’abord quelques principes fondamentaux de philosophie des sciences et de théorie statistique, en mettant l’accent sur la parcimonie et la falsifiabilité comme critères d’évaluation des modèles, sur le rôle de la théorie des tests comme formalisation du principe de falsification de modèles probabilistes, ainsi que sur la justification logique des notions de base de la théorie des tests (tel le niveau d’un test). Nous montrons ensuite que certaines des méthodes statistiques et économétriques les plus utilisées sont fondamentalement inappropriées pour les problèmes et modèles considérés, tandis que de nombreuses hypothèses, pour lesquelles des procédures de test sont communément proposées, ne sont en fait pas du tout testables. De telles situations conduisent à des problèmes statistiques mal posés. Nous analysons quelques cas particuliers de tels problèmes : (1) la construction d’intervalles de confiance dans le cadre de modèles structurels qui posent des problèmes d’identification; (2) la construction de tests pour des hypothèses non paramétriques, incluant la construction de procédures robustes à l’hétéroscédasticité, à la non-normalité ou à la spécification dynamique. Nous indiquons que ces difficultés proviennent souvent de l’ambition d’affaiblir les conditions de régularité nécessaires à toute analyse statistique ainsi que d’une utilisation inappropriée de résultats de théorie distributionnelle asymptotique. Enfin, nous soulignons l’importance de formuler des hypothèses et modèles testables, et de proposer des techniques économétriques dont les propriétés sont démontrables dans les échantillons finis.

Finite-Sample Inference Methods for Simultaneous Equations and Models with Unobserved and Generated Regressors

We propose finite sample tests and confidence sets for models with unobserved and generated regressors as well as various models estimated by instrumental variables methods. The validity of the procedures is unaffected by the presence of identification problems or \"weak instruments\", so no detection of such problems is required. We study two distinct approaches for various models considered by Pagan (1984). The first one is an instrument substitution method which generalizes an approach proposed by Anderson and Rubin (1949) and Fuller (1987) for different (although related) problems, while the second one is based on splitting the sample. The instrument substitution method uses the instruments directly, instead of generated regressors, in order to test hypotheses about the \"structural parameters\" of interest and build confidence sets. The second approach relies on \"generated regressors\", which allows a gain in degrees of freedom, and a sample split technique. For inference about general possibly nonlinear transformations of model parameters, projection techniques are proposed. A distributional theory is obtained under the assumptions of Gaussian errors and strictly exogenous regressors. We show that the various tests and confidence sets proposed are (locally) \"asymptotically valid\" under much weaker assumptions. The properties of the tests proposed are examined in simulation experiments. In general, they outperform the usual asymptotic inference methods in terms of both reliability and power. Finally, the techniques suggested are applied to a model of Tobin’s q and to a model of academic performance.