Le travail, exposé dans ce rapport, se divise en deux parties. La première partie a fait l'objet d'un rapport de recherche publié en Avril 1984 [Tall]. La deuxième partie résulte d'un travail qui s'est déroulé de juin 1984 i juin 1985. Pour produire des images de hautes qualités, on est obligé de manipuler des grandes quantités de données. D'où l' intérêt d'étudier des algorithmes et des structures de données efficaces pour résoudre ~es problèmes géométriques. On pourra ainsi obtenir des méthodes efficaces pour la manipulation de données graphiques. On peut citer i ce propos, les travaux pionners de SHAMOS dans le domaine de la complexité géométrique [Sham]. La deuxième partie contient la description d 'un logiciel interactif *de manipulation de graphes et d'ordres. A notre connaissnce, la plus ancienne réalisation de ce type de logiciel est le "Graph theory interactive system" de WOLFBERG [Wolf]. Suivant les travaux de GUIDO sur CABRI (CAhier de BRouillon Informatisé), nous desirons offrir un poste de travail sur les graphes pour des chercheurs en théorie des graphes. CABRI est une bonne approche du problème, mais reste d'un emploi malaisé. Nous avons donc étudiés de nouveau le problème en nous attachant à décrire une meilleure interface utilisateur. Nous nous sommes inspirés des travaux sur les logiciels interactif existant, comme ceux développés chez XEROX, au PALO-ALTO RESEARCH CENTER (Smit] chez NIEVERGELT [Sere].

published_or_final_version / Gerontology / Master / Master of Social Sciences

This thesis discusses the effect of sequential conflict resolution maneuvers of a continuous flow of agents through a finite control volume. Video analysis of real world traffic flows that exhibit self-organized capabilities is conducted to extract characteristics of those agents. A tool is created which stabilizes the input video and extracts motion from it using the background subtraction method. I discuss the tool in detail as I created it to be user friendly and easily modifiable for other uses. The aim of the video analysis I conduct is to determine characteristics of agents in self-organized traffic flow. Comparisons are made with agents under sequential conflict resolution schemes and those that exhibit these self-organized capabilities to determine if agents under sequential control can approach the behaviors of those in self-organized environment. Flow geometries are studied and generalized with the goal of determining stability characteristics of arbitrary flow geometries. Stability analysis includes analytical proof of bounds on the conflict resolution maneuvers.

There now exists an abundant collection of conjectures and results, of various complexities, regarding the diophantine properties of Shimura varieties. Two central such statements are the Andre-Oort and Zilber-Pink Conjectures, the first of which is known in many cases, while the second is known in very few cases indeed. The motivating result for much of this document is the modular case of the Andre-Oort Conjecture, which is a theorem of Pila. It is most commonly viewed as a statement about the simplest kind of Shimura varieties, namely modular curves. Here, we tend instead to view it as a statement about the properties of the classical modular j-function. It states, given a complex algebraic variety V, that V contains only finitely many maximal special subvarieties, where a special variety is one which arises from the arithmetic behaviour of the j-function in a certain natural way. The central question of this thesis is the following: what happens if in such statements we replace the j-function with some other kind of modular function; one which is less well-behaved in one way or another? Such modular functions are naturally called nonclassical modular functions. This question, as we shall see, can be studied using techniques of o-minimality and point-counting, but some interesting new features arise and must be dealt with. After laying out some of the classical theory, we go on to describe two particular types of nonclassical modular function: almost holomorphic modular functions and quasimodular functions (which arise naturally from the derivatives of the j-function). We go on to prove some results about the diophantine properties of these functions, including several natural Andre-Oort-type theorems, then conclude by discussing some bigger-picture questions (such as the potential for nonclassical variants of, say, Zilber-Pink) and some directions for future research in this area.

This work intends to put into motion different fluxes of thinking through three filmic intersections, inspiring uS to think the education experience. This study considers what has the power of affecting and disturbing in a filmic encounter, making the production of different arrangements and contextures possible. Through the experience of watching the short film 'Los colores de las flores' (along with students from the distance undergraduate course in Special Education at Federal University of Santa Maria - UFSM), the issues triggered by the encounter with the movie 'A invenção de Hugo Cabret' (watched along with students and supervisors at the Institutional Program of Teaching Initiation Grant - PIBID - in Visual Arts at UFSM), and the crossing between the movie 'O Balão Branco' and Jorge Larrosa's book 'Pedagogia Profana' (established by Visual Arts undergraduate students in the courses Supervised Teaching Practice II and IV), it was possible to propose problematizations in relation to these intersections and teaching, dialoguing with two lines of thought which overflow and move the thinking in this thesis: multiplicity and evento The problematizations arisen from the inter-relation among the filmic images, the spaces of inventive incidence with the child potency, the narratives and diaries produced by the undergraduate students involved in this investigation, and the concepts operated in this research, specially the French philosophers Gilles Deleuze and Félix Guattari's concepts, acted as a resonance vector, driving the questioning of the unquestionable, and stimulating the invention of multiple and unique scenes in education through the echoes passed on. / Este trabalho intenciona movimentar diferentes fluxos de pensamentos a partir de três intercessões fílmicas, incitando a pensar a experiência educativa. Busca-se dar atenção àquilo que tem a potência de afetar e inquietar em um encontro fílmico, possibilitando a produção de diferentes arranjos e tessituras. A partir da experiência em assistir ao curta-metragem ‘Los colores de las flores’ (com os acadêmicos do Curso de Graduação a Distância de Educação Especial – EAD – da Universidade Federal de Santa Maria – UFSM), das questões disparadas pelo encontro com o filme ‘A Invenção de Hugo Cabret’ (assistido junto aos acadêmicos e supervisoras do Programa Institucional de Bolsa de Iniciação à Docência – PIBID – das Artes Visuais da UFSM) e do atravessamento entre o filme ‘O Balão Branco’ e o livro ‘Pedagogia Profana’, de Jorge Larrosa (com os acadêmicos da Graduação em Artes Visuais da UFSM, nas disciplinas de Estágio Supervisionado III e IV), foi possível tecer problematizações em relação a essas intercessões e a docência, dialogando com duas vertentes que transbordam e movimentam o pensamento desta tese: multiciplicidade e acontecimento. As problematizações suscitadas a partir do cruzamento das imagens fílmicas selecionadas, dos espaços de incidência inventiva com a potência infante, das narrativas e dos diários produzidos pelos acadêmicos envolvidos na investigação e dos conceitos operados na pesquisa, especialmente os conceitos dos filósofos franceses Gilles Deleuze e Félix Guattari, agiram como um vetor de ressonâncias, impulsionando o questionamento do inquestionável e possibilitando, a partir dos ecos repercutidos, inventar múltiplas e singulares cenas para a educação.

In this thesis report we conducted research study on driver's behavior in T-Intersections using simulated environment. This report describes and discusses correlation analysis of driver's personality traits and style while driving at T-Intersections. The experiments were performed on multi user driving simulator under controlled settings, at Linköping University. A total of forty-eight people participated in the study and were divided into groups of four, all driving in the same simulated world. During the experiments participants were asked to fill a series of well-known self-report questionnaires. We evaluated questionnaires to get the insight in driver's personality traits and driving style. The self-report questionnaires consist of Schwartz's configural model of 10 values types and NEO-five factor inventory. Also driver's behavior was studied with the help of questionnaires based on driver's behavior, style, conflict avoidance, time horizon and tolerance of uncertainty. Then these 10 Schwartz's values are correlated with the other questionnaires to give the detail insight of the driving habits and personality traits of the drivers.

In this thesis there can be found various examples from Monge projection. The theory is summarized in the beginning, which is important of understanding the projection and for solving the examples. There are also examples of solving axial affinity and central collineation. Then there is a chapter about the projection of all types of angular and rotational solids, which are solved at the secondary schools. Then follows a chapter, where the sections of these solids are constructed. In the last chapter, there are solved intersection of solids from each type. Powered by TCPDF (www.tcpdf.org)

This thesis describes the development of several spectroscopic methods based on impulsive vibrational spectroscopy as well as of the technique itself. The first chapter describes the ultrafast time domain Raman spectrometer including the development of two noncollinear optical parametric amplifiers for sub-10 fs pulse generation with 343 or 515 nm pumping. In the first spectroscopic study we demonstrate, for the first time, that impulsive vibrational spectroscopy can be used for recording transient Raman spectra of molecules in excited electronic states. We obtain spectra of beta-carotene with comparable, or better, quality than established frequency domain based nonlinear Raman techniques. The following two chapters address the questions on the fate of vibrational coherences when generated on a reactive potential energy surface. We photoexcite bacteriorhodopsin and observe anharmonic coupling mediated vibrational coherence transfer to initially silent vibrational modes. Additionally, we are able to correlate the vibrational coherence activation with the efficiency of the isomerisation reaction in bR. Upon generation of vibrational coherence in the second excited electronic state of beta-carotene, by excitation from the ground electronic state, we are able to follow the wavepacket motion out of the Franck-Condon region. We observe vibrationally coherent internal conversion, through a conical intersection, into the first excited electronic state and are hence able to demonstrate that electronic surface crossings can occur in a vibrationally coherent fashion. Additionally, we find strong evidence for vibronic coupling mediated back and forth crossing between the two electronic states. As a combination of this work we develop a IVS based technique that allows for the direct recording of background and baseline free Raman spectra in the time domain. Several proof of principle experiments highlight the capabilities of this technique for time resolved Raman spectroscopy. In the final chapter we present work on weak-field coherent control. Here, we address the question of whether a photochemical reaction can be controlled by the phase term of an electric excitation field, in the one photon excitation limit. We study the systems rhodamine 101, bacteriorhodopsin, rhodopsin and isorhodopsin and, contrary to previous reports, find no evidence for one photon control.

Les applications rationnelles sont des objets fondamentaux en géométrie algébrique. Elles sont utilisées pour décrire certains objets géométriques, tels que la représentation paramétrique d'une variété algébrique rationnelle. Plus récemment, les applications rationnelles sont apparues dans des contextes d'informatique pour l'ingénierie, dans le domaine de la modélisation de formes, en utilisant des méthodes de conception assistée par ordinateur pour les courbes et les surfaces. Des paramétrisations des courbes et des surfaces sont utilisées de manière intensive afin décrire des objets dans la modélisation géométrique, tel que structures des voitures, des avions. Par conséquent, l'étude des applications rationnelles est d'intérêt théorique dans la géométrie algébrique et l'algèbre commutative, et d'une importance pratique dans la modélisation géométrique. Ma thèse étudie les images et les fibres des applications rationnelles en relation avec les équations des algèbres de Rees et des algèbres symétriques. Dans la modélisation géométrique, il est important d'avoir une connaissance détaillée des propriétés géométriques de l'objet et de la représentation paramétrique avec lesquels on travaille. La question de savoir combien de fois le même point est peint (c'est-à-dire, correspond à des valeurs distinctes du paramètre), ne concerne pas seulement la variété elle-même, mais également la paramétrisation. Il est utile pour les applications de déterminer les singularités des paramétrisations. Dans les chapitres 2 et 3, on étudie des fibres d'une application rationnelle de P^m dans P^n qui est génériquement finie sur son image. Une telle application est définie par un ensemble ordonné de (n+1) polynômes homogènes de même degré d. Plus précisément, dans le chapitre 2, nous traiterons le cas des paramétrisations de surfaces rationnelles de P^2 dans P^3, et y donnons une borne quadratique en d pour le nombre de fibres de dimension 1 de la projection canonique de son graphe sur son image. Nous déduisons ce résultat d'une étude de la différence du degré initial entre les puissances ordinaires et les puissances saturées. Dans le chapitre 3, on affine et généralise les résultats sur les fibres du chapitre précédent. Plus généralement, nous établissons une borne linéaire en d pour le nombre de fibres (m-1)-dimensionnelles de la projection canonique de son graphe sur son image, en utilisant des idéaux de mineurs de la matrice jacobienne.Dans le chapitre 4, nous considérons des applications rationnelles dont la source est le produit de deux espaces projectifs.Notre principal objectif est d'étudier les critères de birationalité pour ces applications. Tout d'abord, un critère général est donné en termes du rang d'une couple de matrices connues sous le nom "matrices jacobiennes duales". Ensuite, nous nous concentrons sur des applications rationnelles de P^1 x P^1 vers P^2 en bidegré bas et fournissons de nouveaux critères de birationalité en analysant les syzygies des équations de définition de l'application; en particulier en examinant la dimension de certaines parties bigraduées du module de syzygies. Enfin, les applications de nos résultats au contexte de la modélisation géométrique sont discutées à la fin du chapitre. / Rational maps are fundamental objects in algebraic geometry. They are used to describe some geometric objects,such as parametric representation of rational algebraic varieties. Lately, rational maps appeared in computer-engineering contexts, mostly applied to shape modeling using computer-aided design methods for curves and surfaces. Parameterized algebraic curves and surfaces are used intensively to describe objects in geometric modeling, such as car bodies, airplanes.Therefore, the study of rational maps is of theoretical interest in algebraic geometry and commutative algebra, and of practical importance in geometric modeling. My thesis studies images and fibers of rational maps in relation with the equations of the symmetric and Rees algebras. In geometric modeling, it is of vital importance to have a detailed knowledge of the geometry of the object and of the parametric representation with which one is working. The question of how many times is the same point being painted (i.e., corresponds to distinct values of parameter), depends not only on the variety itself, but also on the parameterization. It is of interest for applications to determine the singularities of the parameterizations. In the chapters 2 and 3, we study the fibers of a rational map from P^m to P^nthat is generically finite onto its image. More precisely, in the second chapter, we will treat the case of parameterizations of algebraic rational surfaces. In this case, we give a quadratic bound in the degree of the defining equations for the number of one-dimensional fibers of the canonical projection of the graph of $\phi$ onto its image,by studying of the difference between the initial degree of ordinary and saturated powers of the base ideal. In the third chapter, we refine and generalize the results on fibers of the previous chapter.More generally, we establish a linear bound in the degree of the defining equations for the number of (m-1)-dimensional fibers of the canonical projection of its graph onto its image, by using ideals of minors of the Jacobian matrix.In the fourth chapter, we consider rational maps whose source is a product of two subvarieties, each one being embedded in a projective space. Our main objective is to investigate birationality criteria for such maps. First, a general criterion is given in terms of the rank of a couple of matrices that came to be known as "Jacobian dual matrices". Then, we focus on rational maps from P^1 x P^1 to P^2 in very low bidegrees and provide new matrix-based birationality criteria by analyzing the syzygies of the defining equations of the map, in particular by looking at the dimension of certain bigraded parts of the syzygy module. Finally, applications of our results to the context of geometric modeling are discussed at the end of the chapter.

L'objet de cette thèse est l'extension des méthodes de la théorie des types intersections non-idempotents, introduite par Gardner et de Carvalho, à des cadres dépassant le lambda-calcul stricto sensu.- Nous proposons d'abord une caractérisation de la normalisation de tête et de la normalisation forte du lambda-mu calcul (déduction naturelle classique) en introduisant des types unions non-idempotents. Comme dans le cas intuitionniste, la non-idempotence nous permet d'extraire du typage des informations quantitatives ainsi que des preuves de terminaison beaucoup plus élémentaires que dans le cas idempotent. Ces résultats nous conduisent à définir une variante à petits pas du lambda-mu-calcul, dans lequel la normalisation forte est aussi caractérisée avec des méthodes quantitatives. - Dans un deuxième temps, nous étendons la caractérisation de la normalisation faible dans le lambda-calcul pur à un lambda-calcul infinitaire étroitement lié aux arbres de Böhm et dû à Klop et al. Ceci donne une réponse positive à une question connue comme le problème de Klop. À cette fin, il est nécessaire d'introduire conjointement un système (système S) de types infinis utilisant une intersection que nous qualifions de séquentielle, et un critère de validité servant à se débarrasser des preuves dégénérées auxquelles les grammaires coinductives de types donnent naissance. Ceci nous permet aussi de donner une solution au problème n°20 de TLCA (caractérisation par les types des permutations héréditaires). Il est à noter que ces deux problèmes n'ont pas de solution dans le cas fini (Tatsuta, 2007).- Enfin, nous étudions le pouvoir expressif des grammaires coinductives de types, en dehors de tout critère de validité. Nous devons encore recourir au système S et nous montrons que tout terme est typable de façon non triviale avec des types infinis et que l'on peut extraire de ces typages des informations sémantiques comme l'ordre (arité) de n'importe quel lambda-terme. Ceci nous amène à introduire une méthode permettant de typer des termes totalement non-productifs, dits termes muets, inspirée de la logique du premier ordre. Ce résultat prouve que, dans l'extension coinductive du modèle relationnel, tout terme a une interprétation non vide. En utilisant une méthode similaire, nous montrons aussi que le système S collapse surjectivement sur l'ensemble des points de ce modèle. / In this dissertation, we extend the methods of non-idempotent intersection type theory, pioneered by Gardner and de Carvalho, to some calculi beyond the lambda-calculus.- We first present a characterization of head and strong normalization in the lambda-mu calculus (classical natural deduction) by introducing non-idempotent union types. As in the intuitionistic case, non-idempotency allows us to extract quantitative information from the typing derivations and we obtain proofs of termination that are far more elementary than those in the idempotent case. These results leads us to define a small-step variant of the lambda-mu calculus, in which strong normalization is also characterized by means of quantitative methods.- In the second part of the dissertation, we extend the characterization of weak normalization in the pure lambda-calculus to an infinitary lambda-calculus narrowly related to Böhm trees, which was introduced by Klop et al. This gives a positive answer to a question known as Klop's problem. In that purpose, it is necessary to simultaneously introduce a system (system S) featuring infinite types and resorting to an intersection operator that we call sequential, and a validity criterion in order to discard unsound proofs that coinductive grammars give rise to. This also allows us to give a solution to TLCA problem #20 (type-theoretic characterization of hereditary permutations). It is to be noted that those two problem do not have a solution in the finite case (Tatsuta, 2007).- Finally, we study the expressive power of coinductive type grammars, without any validity criterion. We must once more resort to system S and we show that every term is typable in a non-trivial way with infinite types and that one can extract semantical information from those typings e.g. the order (arity) of any lambda-term. This leads us to introduce a method that allows typing totally unproductive terms (the so-called mute terms), which is inspired from first order logic. This result establishes that, in the coinductive extension of the relational model, every term has a non-empty interpretation. Using a similar method, we also prove that system S surjectively collapses on the set of points of this model