To see the other types of publications on this topic, follow the link: Confluence.
Dissertations / Theses on the topic 'Confluence'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Confluence.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
1
Lindberg, Jessica E. "Confluence." restricted, 2007. http://etd.gsu.edu/theses/available/etd-04192007-132555/.
Full textAbstract:
Thesis (M.F.A.)--Georgia State University, 2007.Title from file title page. Leon Stokesbury, committee chair; Wayne Erickson, Beth Gylys, committee members. Electronic text (57 p.) : digital, PDF file. Description based on contents viewed Dec. 21, 2007.
2
Py, Walter. "Confluence en -calcul." Chambéry, 1998. http://www.theses.fr/1998CHAMS017.
Full textAbstract:
Le -calcul est une extension du -calcul associée a la logique classique. Cette thèse contient : - une collection de résultats généraux sur les systèmes de réduction abstraits (lemmes de hindley-rosen, newman et autres) ; - les preuves de la confluence du -calcul avec ou sans la -réduction ; - des résultats de terminaison, de standardisation et de retardement sur les réduction du -calcul ; - une étude sur la forme normale des -termes ; - l'exhibition de -termes operationnellement-equivalents et non calculatoirement-equivalents, avec comme corollaire un contre-exemple au théorème de Böhm ; - une introduction a un -calcul par valeur confluent et qui préserve le type par réduction.
3
Henrio, Ludovic. "Calcul d'objet asynchrone : confluence et déterminisme." Phd thesis, Université de Nice Sophia-Antipolis, 2003. http://tel.archives-ouvertes.fr/tel-00505940.
Full textAbstract:
L'objectif de cette thèse est de concevoir un calcul d'objets permettant d'écrire des applications parallèles et distribuées, en particulier dans un cadre à grande échelle, tout en assurant de bonnes propriétés. Le calcul proposé s'intitule ASP : Asynchronous Sequential Processes. Les principales caractéristiques de ce calcul sont : des communications asynchrones, la présence de futurs et une exécution séquentielle dans chacun des processus. Ce calcul exhibe de fortes propriétés de confluence et de déterminisme. Cette thèse a donc aussi pour objectif de prouver de telles propriétés dans un cadre aussi général que possible. ASP est basé sur une répartition des objets en différentes activités disjointes. Une activité est un ensemble d'objets gérés par un unique processus. Les objets actifs sont des objets accessibles par des références globales/distantes. Ils communiquent à travers des appels de méthodes asynchrones avec un mécanisme de futurs. Un futur est une référence globale désignant un résultat qui n'est pas encore calculé. Cette thèse modélise ces différents aspects, leurs principales propriétés et les conséquences de ces mécanismes sur la notion de comportement déterministe des programmes. Le résultat principal consiste en une propriété de confluence et son application à l'identification d'un ensemble de programmes se comportant de façon déterministe. Du point de vue pratique, ASP peut aussi être considéré comme une modélisation de la librairie ProActive. Cette librairie fournit des outils pour développer des applications parallèles et distribuées en Java.
4
Henrio, Ludovic. "Asynchronous object calculus : confluence and determinacy." Nice, 2003. http://www.theses.fr/2003NICE4047.
Full textAbstract:
L'objectif de cette thèse est de concevoir un calcul d'objets permettant d'écrire des applications parallèles et distribuées, en particulier dans un cadre à grande échelle, tout en assurant de bonnes propriétés. Le calcul proposé s'intitule ASP : Asynchronous Sequential Processes. Les principales caractéristiques de ce calcul sont : des communications asynchrones, la présence de futurs et une exécution séquentielle dans chacun des processus. Ce calcul exhibe de fortes propriétés de confluence et de déterminisme. Cette thèse a donc aussi pour objectif de prouver de telles propriétés dans un cadre aussi général que possible. ASP est basé sur une répartition des objets en différentes activités disjointes. Une activité est un ensemble d'objets gérés par un unique processus. Les objets actifs sont des objets accessibles par des références globales/distantes. Ils communiquent à travers des appels de méthodes asynchrones avec un mécanisme de futurs. Un futur est une référence globale désignant un résultat qui n'est pas encore calculé. Cette thèse modélise ces différents aspects, leurs principales propriétés et les conséquences de ces mécanismes sur la notion de comportement déterministe des programmes. Le résultat principal consiste en une propriété de confluence et son application à l'identification d'un ensemble de programmes se comportant de façon déterministe. Du point de vue pratique, ASP peut aussi être considéré comme une modélisation de la librairie ProActive. Cette librairie fournit des outils pour développer des applications parallèles et distribuées en JavaThe objective of this thesis is to design an object calculus that allows one to write parallel and distributed applications, particularly on wide range networks, while ensuring good properties. This calculus is named ASP : Asynchronous Sequential Processes. The main characteristics of ASP are: asynchronous communications, futures, and a sequential execution within each process. ASP presents strong confluence and determinism properties, proved in a context as general as possible within this thesis. A first design decision is the absence of sharing : objects live in disjoint activities. An activity is a set of objects managed by a unique process and a unique active object. Active objects are accessible through global/distant references. They communicate through asynchronous method calls with futures. A future is a global reference representing a result not yet computed. This thesis models those aspects, their main properties, and the consequences of these mechanisms on the deterministic behavior of programs. The main result consists in a confluence property and its application to the identification of a set of programs behaving deterministically. From a practical point of view, ASP can also be considered as a model of the ProActive library. This library provides tools for developing parallel and distributed applications in Java
5
Padilla, Raymond V. "Chicano Pedagogy: Confluence, Knowledge, and Transformation." Mexican American Studies & Research Center, The University of Arizona (Tucson, AZ), 2000. http://hdl.handle.net/10150/624841.
Full text
6
Fadhlaoui, Sahbi. "Héritages holocènes et dynamiques morphologiques du bassin versant de l’oued Massengh et ses confluences avec les oueds Sbiba et el Hathob (Dorsale Tunisienne-Tunisie du centre ouest)." Thesis, Paris 4, 2017. http://www.theses.fr/2017PA040228.
Full textAbstract:
Cette thèse porte sur l’étude des paléoenvironnements et des dynamiques morphologiques holocènes dans le bassin versant du Massengh et de ses confluences avec les oueds Sbiba et el Hathob (Tunisie du centre-ouest). Après l’étude du cadre physique de l’évolution des environnements holocènes et actuels, la thèse se concentre dans un premier temps, sur la chronostratigraphie des héritages et des archives sédimentaires. La reconstitution des paléoenvironnements et de la morphogenèse Holocène est tentée, dans un deuxième temps. En dernier lieu, la thèse fait porter l’analyse sur l’évolution morphodynamique actuelle du milieu fluvial à l’échelle de l’espace de confluencesThis thesis focuses on the study of paleoenvironmental and Holocene morphological dynamics in the watershed Massengh and its confluence with the wadis and Sbiba el Hathob (Tunisia's center-west). After studying the physical part of the evolution of Holocene and current environments, the thesis focusesinitiallyon chronostratigraphy inheritances and sedimentary archives. The reconstruction of paleoenvironmentaland morphogenesis Holocene is attempted, in a second step. To summarize, the thesis studies in depth the currentmorphodynamic evolution of the fluvial environment across the space of confluences
7
Hristakiev, Ivaylo. "Confluence analysis for a graph programming language." Thesis, University of York, 2018. http://etheses.whiterose.ac.uk/20255/.
Full textAbstract:
GP 2 is a high-level domain-specific language for programming with graphs. Users write a set of graph transformation rules and organise them with imperative-style control constructs to perform a desired computation on an input graph. As rule selection and matching are non-deterministic, there might be different graphs resulting from program execution. Confluence is a property that establishes the global determinism of a computation despite possible local non-determinism. Conventional confluence analysis is done via so-called critical pairs, which are conflicts in minimal context. A key challenge is extending critical pairs to the setting of GP 2. This thesis concerns the development of confluence analysis for GP 2. First, we extend the notion of conflict to GP 2 rules, and prove that non-conflicting rule applications commute. Second, we define symbolic critical pairs and establish their properties, namely that there are only finitely many of them and that they represent all possible conflicts. We give an effective procedure for their construction. Third, we solve the problem of unifying GP 2 list expressions, which arises during the construction of critical pairs, by giving a unification procedure which terminates with a finite and complete set of unifiers (under certain restrictions). Last but not least, we specify a confluence analysis algorithm based on symbolic critical pairs, and show its soundness by proving the Local Confluence Theorem. Several existing programs are analysed for confluence to demonstrate how the analysis handles several GP 2 features at the same time, and to demonstrate the merit of the used techniques.
8
Dast, Stéphanie. "Roman et confluence des genres (1827-1840)." Paris 4, 2003. http://www.theses.fr/2003PA040027.
Full textAbstract:
L'étude de la production romanesque en France entre 1827 et 1840 met en lumière la place prépondérante acquise durant ces années par un genre que la critique contemporaine et les auteurs eux-mêmes ont qualifié d'universel. La période est remarquable en ce que les romans (œuvres secondaires ou chefs-d'œuvre reconnus) semblent alors capables de surpasser et d'absorber tous les autres genres. C'est la Préface de Cromwell qui affirme en 1827 la volonté romantique d'échapper aux limites génériques. Mais, de fait, le programme hugolien se réalisera moins librement dans le drame que dans le genre romanesque, seul capable de rassembler les genres, canoniques ou non. Avec 1840, en revanche, le roman cesse d'être ce laboratoire des genres où toutes les audaces sont permises : d'une part, il retombe dans le cliché avec l'émergence du roman-feuilleton et de la littérature industrielle, d'autre part, il laisse de côté les excentricités génériques, pour s'orienter vers le roman réaliste. Mais le roman hybride de 1830, lui, est multiple, jusque dans sa manière de fondre les genres, qui oscille entre anarchie et discipline. Ainsi, en intégrant l'Histoire et le drame, il gagne en crédibilité et en unité. Mais simultanément, une multiplicité de créations goguenardes parodie les aspirations de cette génération au roman " total " : absorbant, déformant tout ce qu'elles rencontrent, ces œuvres fragmentées renversent et renouvèlent les genres obsolètes, et cherchent même à dépasser leurs propres limites. À force de contester tous les genres, c'est la Littérature qu'elles semblent mettre en question, mais dans un mouvement d'où le romanesque, apparemment mis à mal, sort toujours renforcé. Ces capacités de régénération se retrouvent dans des romans d'apparence inclassables qui, s'aventurant ici du côté des genres dialogués, là vers le poème, cherchent un autre mode d'harmonie entre les genres à l'intérieur du roman, à l'évolution duquel ils contribuent autant que les œuvres ironiquesThe study of the output of romantic literature in france between 1827 and 1840 highlights the dominant position occupied during these years by a genre which contemporary critics and the authors themselves defined as universal. The period is remakable in that novels (second-rate novels or recognised masterpieces) appear capable of going beyond and indeed absorbing all other genres. In 1827, the "Préface of Cromwell" affirmed the desire of the "romantiques" to break free of genre-imposed limits. However, the Hugolien thesis triumphed less easily in drama than in fiction, which alone was able to merge all genres, traditional or otherwise. However, in 1840, the novel ceased to be such a "laboratory of genres" where anything goes: firstly, it once again resorted to clichés with the emergence of the serialised novel and mass-produced literature and, secondly, it abandoned genre-related excentricities in order to move towards realism in the novel. However, the hybrid novel of 1830, is multi-faceted in the way in which it merges the various genres, which fluctuate between between anarchy and order. Thence, by incorporating history and drama, the novel gains in terms of credibility and overall unity. However, at the same time, a wave of quietly ironic works mocked the aspirations of this generation to create a "total" novel : absorbing and deforming everything in their path, these fragmented works circumvented and renewed obsolete genres and even sought to go beyond their limits. By tacking all the various genres, they appear to be challenging literature itself, but as part of a movement from which the romantic novel, apparently badly shaken, emerges reinvigorated. This regenerative capacity can be found in novels which are apparently unclassifiable, which, for example, veer first towards dialogue-based genres, the towards poetry, seeking another type of harmony between the genres within a novel, towards whose development they contribute just as much as the ironic novels
9
Kennedy, Robert A. "Confluence in phonology: Evidence from Micronesian reduplication." Diss., The University of Arizona, 2003. http://hdl.handle.net/10150/280362.
Full textAbstract:
This dissertation explores the phonological systems of Micronesian languages, in search of patterns that are consistent throughout the family and others that are unique to subgroups and individual languages. Using data from Pohnpeian, Mokilese, Pingilapese, Puluwat, Chuukese, Woleaian, Marshallese, and Kosraean, the study focuses on reduplicative morphology as an illustrative window into the phonology of each language. Each language is treated with an Optimality-Theoretic analysis, and consequently the phonology of each is attributed to the same set of principles. However, as a whole, the analyses cannot explain the existence of common and unique patterns within the family. A model of language change called Confluence is presented in order to account for typological trends among related languages. The model acknowledges that learners of languages settle on a grammar based on ambient data; thus, the acquired grammar should approximate the grammar that produces the ambient data. However, a number of perceptual and articulatory factors have the result that the set of data that the learner perceives is unlike the set of data that the ambient grammar would predict. As a consequence, the learner's grammar may differ from that of the ambient grammar. Because of the inclusion of perceptual and articulatory biases in the model, Confluence predicts several outcomes. First, a particular pattern might be resistant to change, or the same innovation might be likely to occur independently in different languages, and either way it is an observable property of otherwise divergent languages. Second, two or more co-occurring grammatical traits of a particular language can be shown to have a common source. Each of the predictions of Confluence is supported in the language analyses. Examples of robust patterns include coda consonant restrictions, moraic feet, and bimoraic reduplicative prefixes. Two examples of recurring innovations are the introduction of final vowel deletion and the avoidance of initial geminate consonants in favor of some other structure. Phonological patterns that co-occur in a principled manner include geminate inventories and morpheme alignment, foot structure and final vowel lenition, and a cluster of properties that consists of length contrasts, word maximality, morpheme alignment, and segment inventories.
10
Yu, Qingcheng. "Influence of Discharge Ratio and Junction Angle on Sediment Transport and Deposition Patterns in Open Channel Confluences: An Experimental Study." Thesis, Université d'Ottawa / University of Ottawa, 2018. http://hdl.handle.net/10393/38582.
Full textAbstract:
Open channel confluences are common geographical structures in surface runoff. Most natural rivers originate from mountains and hills, flow into a main stream at confluences and finally head into the sea. Confluences are major sites for a main stream to obtain sediment and water from a tributary. Complex turbulence structures such as vortices, flow stagnation, secondary flow, flow re-circulation and water exchange both in vertical and lateral directions result in complicated sedimentation, erosion, mixing and contaminant transport at open channel confluences. The detailed study of flow dynamics and morphodynamics in confluences is of great significance to the urban flood control, scour of the river bed, design and maintenance of the channel and sediment and pollutants transport. This thesis describes a novel flume experiment on the sediment transport patterns in channel confluences as a function of different flow and geometry conditions. The initial equilibrium bed geometry was developed in a mobile bed confluence flume under four cases including two junction angles and two discharge ratios. The equilibrium bed was fixed for each case allowing for detailed flow velocimetry. The observed spatial patterns of turbulence statistics are evaluated with respect to the equilibrium bathymetry. Sediment were then fed instantaneously to the tributary channel at three different feeding sites in order to study the sediment deposition patterns. It was observed that although the sediment initiated at different feeding sites move along different paths through the confluence, all sediment tend to deposit at the face of the dune in the flow separation zone. This thesis also investigated how the deposition pattern would change versus time when feeding at the same site from the tributary channel. The time history of deposition pattern was also investigated for one of the cases. The sediment that initially deposit at the face of the dune eventually moved to the back of the dune and deposit around the post-confluence scour hole, demonstrating that over time the deposition pattern evolves to a state which is similar with the original bed morphology.
11
Liu, Jiaxiang. "Confluence properties of rewrite rules by decreasing diagrams." Thesis, Université Paris-Saclay (ComUE), 2016. http://www.theses.fr/2016SACLX044/document.
Full textAbstract:
Cette thèse étudie la confluence des systèmes de récriture en l'absence de propriété de terminaison, pour des applications aux langages fonctionnels de premier ordre comme MAUDE, ou aux langages d'ordre supérieur comportant des types dépendants, comme Dedukti. Dans le premier cas, les calculs opérant sur des structures de données infinies ne terminent pas. Dans le second, les calculs non typés ne terminent pas à cause de la beta-réduction. Dans le cas où les calculs terminent, la confluence se réduit à celle des pics critiques, divergences minimales du calcul, obtenues à partir d'un terme médian appellé superposition qui se récrit de deux manière différentes en une paire de termes appellée critique. Dans le cas où les calculs ne terminent pas, le résultat majeur est que les calculs définis par des règles linéaires à gauche et sans paires critiques confluent. Il s'agit donc d'étendre ce résultat aux systèmes dont les règles peuvent être non-linéaires à gauche et avoir des paires critiques.L'étude la confluence est faite à partir de la méthode des diagrammes décroissants, qui généralise les techniques utilisées antérieurement aussi bien pour des calculs qui terminent que pour des calculs qui ne terminent pas. Cette technique est abstraite, en ce sens qu'elle s'applique à des relations arbitraires opérant sur un ensemble abstrait. Elle consiste à équipper chaque étape de calcul d'un label pris dans un ensemble bien fondé. Un pic de calcul, composé d'un terme se récrivant de deux manières différentes, possède un diagramme décroissant lorsque ses extémités peuvent se récrire en un terme commun avec des étapes de calcul satisfaisant des conditions de comparaison avec les labels du pic. La force de cette technique est sa complétude, c-a-d que toute relation confluente peut-être équippée d'un système de labels (par des entiers) pour lequel tous ses pics possèdent des diagrammes décroissants. Ce résultat est basé sur un théorème assez ancien de Klop, qui définit pour les systèmes non-terminant, uneespèce de forme normale sous la forme d'une suite infinie de récritures élémentaires, appellée "dérivation cofinale".Dans une première partie, nous révisitons les résultats de van Oostrom, et en proposons une preuve différente dans le but de les généraliser au cas des calculs dits "modulo", c-a-d dans des quotients, qui mèlent des règles et deséquations. Cette généralisation inclue la complétude, en faisant intervenir une généralisation de lanotion de dérivation cofinale dans le cas des calculs cohérents au sens de Jouannaud et Kirchner.La second partie de la thèse applique le théorème de van Oostrom et sa généralisation à des système (concrets) de récriture de termes, ainsi qu'à plusieurs priblèmes ouverts du domaine. L'application récente à des problèmes d'ordre supérieur tirés de la théorie des types dépendants ne fait pas partie de la thèseThis thesis is devoted to the confluence of rewrite systems in the absence of termination, for applications in first-order functional languages like MAUDE or higher-order languages with dependent types, as Dedukti. In the first case, the computations on infinite data structures do not terminate, while in the second case, untyped computations do not terminate because of beta-reduction. In the case where the computations terminate, confluence is reduced to that of critical peaks, the "minimal diverging computations", made of a minimal middle term called "overlap" which computes in two different ways, resulting in a so-called "critical pair". In the case of non-terminating computations, a main result is that left-linear rewrite rules that have no critical pairs are always confluent. This suggests that the notion of critical pairs plays a key role there too, but a general understanding of the confluence of non-terminating computations in terms of critical pairs is still missing.Our investigation of confluence is based on the decreasing diagrams method due to van Oostrom, which generalizes the techniques used previously for both terminating and non-terminating computations. The method is abstract in the sense that it applies to arbitrary relations on an abstract set. It equips each step of computations with a label taken from a well-founded set. A diverging computation, called peak, has a decreasing diagram if its extremities can be joined by steps whose direction and labels satisfy some constraints with respect to the peak's rewrites and labels. The strength of this technique is its completeness, that is, any confluent relation can be equipped with a well-founded set of labels such that all peaks have decreasing diagrams. The proof of completeness is based on Klop's notion of cofinal derivations, which is an infinite derivation playing the role of a normal form when computations do not terminate.In the first part, we revise the results of van Oostrom, and propose an alternative proof that extends the method to the "modulo" case, in which computations mix rewrite steps and equational steps. The completeness result is extended as well, via a generalization of cofinal derivations and the notion of strong coherence due to Jouannaud and Kirchner.The second part of the thesis applies the decreasing diagrams method and its generalization to concrete systems rewriting terms, as well as to several open problems. The recent application to the problems of higher-order computations in dependent type theory is not part of the thesis
12
Orúe-Echevarría, Iglesias Dorleta. "The Brazil-Malvinas Confluence : from local to global scales." Doctoral thesis, Universitat Politècnica de Catalunya, 2019. http://hdl.handle.net/10803/667846.
Full textAbstract:
The Southwest Atlantic Ocean is a key component of the global climate system. It holds the Confluence of the Brazil and Malvinas Currents (BMC), one of the highest frontal systems of the world ocean. The BMC is the encounter point of subtropical origin warm and salty waters, transported southward within the Brazil Current, and subantarctic water flowing equatorward along the Malvinas Current. The intense mixing and cross-frontal exchanges highly transform the water masses that will finally flow southward, eastward of be subducted into the subtropical thermocline. This PhD dissertation aims at extending our knowledge of the circulation and dynamics in the BMC, placing these results in perspective from the small to the global scales.
The intense property contrast found in this region resemble the intense temperature gradients between low and high latitudes. We first analyse the changes in the heat content of the atmosphere and upper ocean for the last 450 kyr and analyse the sensitivity of the system to changes in albedo, cloud cover and atmospheric and oceanic heat transports.
We then describe the hydrographic conditions at the BMC during and early fall cruise. These reveal the presence of brackish river water on top the frontal system. The salinity anomaly at the surface correlates with the presence of large ageostrophic velocities along the frontal jet. In addition, the rapid evolution of these waters impinges on the thermohaline variability in the proximity of the front. The comparison of surface overview during the cruise is well represented by the reanalysis although at depth, this misses the thermohaline intrusions developed both sides the front. On the other hand, climatological data misses the numerous mesoscale features.
We also examine the circulation pattern in the upper 2000 m depth. We find a relatively weak MC near 41°S, 56°W followed by its cyclonic retroflection, an intense subtropical anticyclone replacing the BC-overshoot (BCO), a subantarctic inflow near 53°W maintained both by an upstream earlier diversion of the MC and the cyclonic recirculation of the flow leaving the east along the confluence front, and on the northern extreme of the Confluence the southward flow of BC. The results in this chapter also suggest the existence of dianeutral mixing and cross-frontal exchanges.
We assess the high-frequency temperature variability at this region combining sea surface temperature images with novel high-resolution SeaSoar measurements. We found spatio-temporal scales between 1.5 and 6 days and between 20 and 50 km with the shortest scales along the shelf-break BC and over the Confluence front, with the largest ones along the MC and MRC. Variability increases at the subsurface due to submesoscale thermohaline intrusions.
Finally, we analyse the relative role of dianeutral mixing by small scale turbulence and isoneutal mixing induced by mesoscale eddy stirring in setting the temperature-salinity relationship in the Argentine basin using microstructure measurements along the Subtropical Front (STF). Dieneutral mixing is enhanced in the upper 500 m of the water column, especially downstream the BCO, and at depth over the shelf-break and the eastern limit of the basin at the mid-Atlantic ridge. Isoneutral diffusivity dominates below 500 m in the centre of the basin. Moreover, we determine the cross-frontal eddy-advective mass flux. These induce the subduction of about 3 Sv of mode and intermediate waters into the subtropical thermocline and the poleward transport of Upper Circumpolar Deep Water.El suroeste del Océano Atlántico es clave del sistema climático global. En esta región se encuentran las corrientes de Brasil y Malvinas, dando lugar a uno de los sistemas frontales más intensos del océano mundial, la Confluencia de Brasil-Malvinas (BMC). Esta región frontal es el punto de encuentro de aguas de origen subtropical, cálidas y saladas, que son transportadas hacia el sur en la corriente de Brasil y aguas de origen subantárctico que viajan hacia el ecuador a lo largo de la corriente de Malvinas. La intensa mezcla y los intercambios frontales cruzados transforman en gran medida las masas de agua que aquí se encuentran y que finalmente fluirán hacia el sur, hacia el este o que serán subducidas hacia la termoclina subtropical. Esta tesis tiene como objetivo principal ampliar nuestro conocimiento sobre la circulación y dinámica en la BMC, colocando estos resultados en perspectiva, desde la pequeña escala a la escala global. El intenso contraste de propiedades de las aguas que se encuentran en esta región se asemeja a los intensos gradientes de temperatura que encontramos entre las altas y bajas latitudes. En un primer trabajo, analizamos los cambios en el contenido de calor de la atmósfera y el océano superior durante los últimos 450 millones de años. A continuación, describimos las condiciones hidrográficas encontradas en la BMC a principios de otoño de 2015 a partir de los datos recogidos en una campaña oceanográfica (TIC-MOC) y su comparación con datos de reanálisis y climatológicos. Estos revelan la presencia de aguas salobres del Río de la Plata en los primeros metros del sistema frontal. La anomalía de salinidad presenta una correlación positiva con las intensas velocidades ageostróficas a lo largo del jet frontal. La comparación de la visión general de las condiciones superficiales durante la campaña está bien representada por el reanálisis de alta resolución, aunque en profundidad su exactitud es menor debido a la presencia de intrusiones termohalinas desarrolladas a ambos lados del frente, no reproducidas por el modelo. Los datos climatológicos, sin embargo, al representar las condiciones medias del mes, no muestran las numerosas estructuras de mesoescala encontradas en la región. Asimismo, examinamos el patrón de circulación en los primeros 2000 metros de la columna de agua. Al sur del frente encontramos un transporte débil de la MC aproximadamente a 41oS, 56oW, seguido de su retroflexión ciclónica, un anticiclón subtropical intenso que reemplaza la retroflexión de la corriente de Brasil, un flujo de aguas subantárcticas a 53oW alimentado por un desvío aguas arriba de la MC y la recirculación ciclónica del flujo que sale al este a lo largo del frente de Confluencia. En el extremo norte, encontramos el transporte hacia el sur, dentro de los valores medios, de la corriente de Brasil. Los resultados en este capítulo sugieren también la existencia de mezcla dianeutra e intercambios frontales en la BMC. Evaluamos la variabilidad de alta frecuencia de la temperatura en esta región combinando imágenes de temperatura superficial del mar con nuevas mediciones de alta resolución recogidas con un SeaSoar (campaña RETRO-BMC). Encontramos escalas espacio-temporales características de entre 1.5 y 6 días y entre 20 y 50 km. Las escalas más cortas se encuentran la lo largo de la corriente de Brasil en su proximidad a la plataforma continental y sobre el frente de Confluencia, mientas que las mayores escalas corresponden a la MC y su retroflexión. La variabilidad aumenta en profundidad debido a la presencia de las intrusiones termohalinas submesoescalares. Finalmente, analizamos el papel relativo de la mezcla dianeutra debida a turbulencia de pequeña escala y de la mezcla isoneutra inducida por remolinos de mesoescala en establecer la relación temperatura-salinidad en la cuenca argentina utilizando para ello mediciones de microestructura. La mezcla dianeutra es máxima en los primeros 500 m de la columna de agua, especialmente aguas abajo de la BCO, y en profundidad sobre el borde de la plataforma continental y el límite oriental de la cuenca sobre la Dorsal Mesoatlántica. La difusividad isoneutral domina en profundidad (>500 m) en el centro de la cuenca. Además, determinamos el flujo de masa meridional debido a la advección inducida por los remolimos mesoscalares.
13
WANG, Yi, Masahiko SAKAI, Naoki NISHIDA, Toshiki SAKABE, and Keiichirou KUSAKARI. "Confluence of Length Preserving String Rewriting Systems is Undecidable." 京都大学数理解析研究所, 2007. http://hdl.handle.net/2237/9353.
Full text
14
Gaskin, Janet. "Intensive aDcp Survey of a Gravel-Bed River Confluence." Thesis, University of Ottawa (Canada), 2010. http://hdl.handle.net/10393/28738.
Full textAbstract:
An intensive survey of the high angle asymmetric gravel-bed confluence of the Fraser River Main Channel with Minto Side Channel, downstream of a mid-channel island, was conducted using an acoustic Doppler current profiler (aDcp) during the freshet in June, 2008 at a combined discharge of 7 500 m 3/s. The confluence was characterized by a vertical mixing interface, with the Minto high velocity core being advected downwards in the upstream part of the scour zone; weaker helical flow is evident in the main channel flow as it confines the strongly helical left bank flow. Apparent bed velocity generally followed the thalweg, with the highest values near 0.15 m/s occurring at the edges of the scour zone and along the elongated bed step. In plotted spatial distributions, the areas of high primary bed velocity matched areas of high shear velocity and/or strongly upward vertical flow velocity.
15
Biswell, Andrew. "Conflict and confluence : Anthony Burgess as novelist and journalist." Thesis, University of Warwick, 2002. http://wrap.warwick.ac.uk/2671/.
Full textAbstract:
The overall argument of this thesis is that Anthony Burgess’s literary journalism enables us to make a nuanced reading of his own Catholic novels. My definition of ‘journalism’ is necessarily wide: it takes in television and radio work, as well as published book reviews and interviews. Although previous commentators have established useful connections between Burgess’s novels, his journalism has been consistently overlooked and undervalued. As a result of this neglect, there is no published study of Burgess’s journalistic writing. This is also the first thesis to make extensive use of Burgess’s manuscripts, letters, diaries and other archival materials. The Worm and the Ring (1961), Tremor of Intent (1966) and Early Powers (1980) offer useful examples of ‘confluence’ between fiction and journalism. These novels pick up and develop a variety of material - often, but not exclusively ‘Catholic’ - which Burgess engages with elsewhere, in essays and reviews. The act of reviewing is seen to be crucial part of the process of fiction-writing, and Burgess’s journalism (on Greene, on spy fiction, and on the idea of the Catholic novel) appears to flow into these blocks in a fairly straightforward way. The ‘conflict’ of my title refers to A Clockwork Orange and Burgess’s subsequent journalistic statements about it. His post factum prefaces and other journalistic articles on the novel’s composition are shown to be at variance and typescript evidence. The theological implications of the variant endings are examined carefully, with reference to Burgess’s writings about the theological dispute between Saint Augustine and Pelagius.
16
Dogguy, Mehdi. "Déterminisme et Confluence dans des systèmes concurrents et synchrones." Phd thesis, Université Paris-Diderot - Paris VII, 2012. http://tel.archives-ouvertes.fr/tel-00690512.
Full textAbstract:
Dans cette thèse, nous étudions les notions de déterminisme et de confluence dans des systèmes concurrents et synchrones. Ces derniers sont des variantes du pi-calcul qui ont été étendues avec une notion de temps. Le premier modèle étudié, le S-pi-calcul, est une extension du modèle SL où la réaction à l'absence d'un signal se fait à la fin de l'instant et où les signaux sont considérés comme des valeurs de première classe. Ce modèle utilise les signaux comme mécanisme de communication de base. Dans le cadre du S-pi-calcul, nous avons cherché à développer une théorie compositionnelle de l'équivalence des programmes basée sur la notion de bisimulation. Ensuite, nous avons conçu un système de types en se basant sur une notion d'usage affine pour les signaux que nous avons introduit. Dans ce système, nous avons montré que tout programme typable est déterministe. Le second modèle, TAPIS, est une autre variante du pi-calcul où les canaux sont utilisés pour la communication. Dans ce cadre, nous avons adapté la théorie des types précedemment introduite pour le S-pi-calcul au cas des canaux et montré que les programmes typables sont confluents. Le système développé dans ce contexte ainsi que la preuve du lemme de préservation du typage ont été formalisés dans Coq.
17
Gilmore, Charles A. "The modern Olympic movement : the confluence of realism and idealism." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 1999. http://handle.dtic.mil/100.2/ADA367987.
Full textAbstract:
Thesis (M.A. in National Security Affairs) Naval Postgraduate School, June 1999."June 1999". Thesis advisor(s): Frank M. Teti. Includes bibliographical references (p. 87-91). Also available online.
18
Wang, Cheng. "A joint probability approach for the confluence flood frequency analysis." [Ames, Iowa : Iowa State University], 2007.
Find full text
19
Bergman, Jan Gerhardus. "Liesbeeck-Black river confluence area : land-use opportunities and constraints." Master's thesis, University of Cape Town, 1994. http://hdl.handle.net/11427/14716.
Full textAbstract:
Bibliography: leaves 69-72.This study investigated the land-use potential of the Liesbeeck-Black River confluence area . It is intended to serve as a guide to land-use planners and other interested parties concerning the opportunities and constraints proffered by the environment on the confluence area. The collecting of baseline data was undertaken by nine Masters Students in the Department of Environmental and Geographical Science at the University of Cape Town. Each student then analysed the data individually. The study was undertaken in part fulfilment of the academic requirements of the Masters Degree. The Liesbeeck-Black River confluence area (hereafter called the study area) is located approximately 5.5 km east of the CBD of Cape Town. It covers approximately 232 ha and is bounded by the N2 Freeway to the South, Alexandra Road to the East, Liesbeeck Parkway to the West and the Culemborg-Black River Railway Yard to the North. The aim of the study was twofold, firstly to determine a procedure whereby the optimal land- use alternative for an area could be determined, taking into account the effects of significant environmental elements, and secondly to analyse and determine the optimal land-use alternative for the study area specifically. The procedure developed during the research is an adaptation of the Leopold Matrix method of analysis. The environmental elements characteristic of the study area are listed on the horizontal axis, and the land-use options to be analysed on the vertical axis. The magnitude and significance of the effect of an environmental element on a particular type of land-use can then be rated and this rating entered in the corresponding matrix cell. By adding the ratings of all environmental elements on each land-use option, the overall rating of the different land-use options can be obtained. The option with the highest overall (positive) rating is then considered to be the optimal type of land-use. This method was then applied to assess the land-use potential of the study area. The land-use options considered to be appropriate for the study area were determined by considering only those types of land-uses for which a regional need had previously been established.
20
GUO, YONG. "Modeling Hydrodynamics and Sediment Transport at a River-Coastal Confluence." The Ohio State University, 2002. http://rave.ohiolink.edu/etdc/view?acc_num=osu1039036259.
Full text
21
Guo, Yong. "Modeling hydrodynamics and sediment transport at a river-coastal confluence /." The Ohio State University, 2002. http://rave.ohiolink.edu/etdc/view?acc_num=osu1486463803602671.
Full text
22
Dreyfus, Thomas. "Phénomènes de Stokes et approche galoisienne des problèmes de confluence." Phd thesis, Université Paris-Diderot - Paris VII, 2013. http://tel.archives-ouvertes.fr/tel-00955506.
Full textAbstract:
Cette thèse porte sur la théorie de Galois différentielle. Elle est divisée en deux parties. La première concerne la théorie de Galois différentielle paramétrée, et la seconde, les équations aux q-différences. Dans le chapitre 2, nous exposons une généralisation de l'algorithme de Kovacic qui permet de calculer le groupe de Galois paramétré de certaines équations différentielles paramétrées d'ordre 2. Dans le chapitre 3, nous présentons une généralisation du théorème de densité de Ramis qui donne un ensemble de générateurs topologiques du groupe de Galois pour les équations différentielles linéaires paramétrées à coefficients dans un anneau convenable. Nous obtenons une contribution au problème inverse dans cette théorie de Galois, donnons un critère d'isomonodromie, et répondons partiellement à une question posée par Sibuya. Dans le chapitre 4, il est question de confluence et d'équations aux q-différences. Nous prouvons comment la transformée de Borel-Laplace d'une série formelle divergente solution d'une équation différentielle linéaire à coefficients dans C(z) peut être uniformément approchée par un q-analogue de la transformée de Borel-Laplace appliqué à une série formelle solution d'une famille d'équations aux q-différences linéaires qui discrétise l'équation différentielle. Nous faisons directement les calculs dans le cas des séries hypergéométriques basiques, et nous prouvons sous des hypothèses raisonnables, qu'une matrice fondamentale d'une équation différentielle linéaire à coefficients dans C(z) peut être uniformément approchée par une matrice fondamentale d'une famille d'équations aux q-différences linéaires correspondante.
23
Horrobin, Calum. "Stokes' Phenomenon arising from the confluence of two simple poles." Thesis, Loughborough University, 2018. https://dspace.lboro.ac.uk/2134/28357.
Full textAbstract:
We study certain confluences of equations with two Fuchsian singularities which produce an irregular singularity of Poincaré rank one. We demonstrate a method to understand how to pass from solutions with power-like behavior which are analytic in neighbourhoods to solutions with exponential behavior which are analytic in sectors and have divergent asymptotic behavior. We explicitly calculate the Stokes' matrices of the confluent system in terms of the monodromy data, specifically the connection matrices, of the original system around the merging singularities. The confluence of Gauss' hypergeometric equation gives an excellent opportunity to show our approach with a concrete example. We explicitly show how the Stokes' data arise in the confluences of the isomonodromic deformation problems for the Painlevé equations PVI to PV and PV to PIII(D6).
24
Ferey, Gaspard. "Higher-Order Confluence and Universe Embedding in the Logical Framework." Electronic Thesis or Diss., université Paris-Saclay, 2021. http://www.theses.fr/2021UPASG032.
Full textAbstract:
La multiplicité des systèmes formels a mis en évidence la nécessité d'un socle logique commun dans lequel les formalismes logiques pourraient être exprimés.L'enjeu principal de ce manuscrit est la définition de techniques d'encodages reposant sur la réécriture de termes et capables de réprésenter les fonctionnalités avancées des systèmes de types modernes.Nos encodages s'appuieront sur le lambda-Pi calcul modulo, un système de types dépendants, communément utilisé comme cadre logique, étendu ici par de laréécriture d'ordre supérieur. On s'intéresse, dans une première partie, aux critères de confluence de systèmes de réécriture avec la bêta réduction.La confluence d'un système linéaire à gauche se déduit de l'étude de ses paires critiques pour lesquelles il faut exhiber un diagramme décroissant vis-à-vis d'un certain étiquetage des règles.Le cas non-linéaire nécessite, lui, une compartimentalisation des termes considérés.On considère, dans un second temps, l'encodage de systèmes de types complexes.Sont étudiés successivement, la cumulativité qui nécessite de considérer des symboles privés pour encoder une forme de ``proof irrelevance'', les expressions algébriques d'univers sous contraintes d'univers et enfin le polymorphisme d'univers dont on prouve la correction d'une fonction de traduction depuis un sous-ensemble de Coq.L'implantation de ces résultats a permis de traduire en Dedukti plusieurs développements Coq de taille significativeIn the context of the multiplicity of formal systems, it has become a growing need to express formal proofs into a common logical framework.This thesis focuses on the use of higher-order term rewriting to embed complex formal systems in the simple and well-studied lambda-Pi calculus modulo.This system, commonly used as a logical framework, features dependent types and is extended with higher-order term rewriting.We study, in a first part, criterias for the confluence properties of higher-order rewrite systems considered together with the usual beta reduction.In the case of left-linear systems, confluence can be reduced to the study of critical pairs which must be provided a decreasing diagram with relation to some rule labeling.We show that in the presence of non-linear rules, it is still possible to achieve confluence if the set of considered terms is layered.We then focus, in a second part, on the encoding of higher-order logics based on complex universe structures. The embeding of cumulativity, a limited form of subtyping, is handled with new rewriting techniques relying on private symbols and allowing some form of proof irrelevance.We then describe how algebraic universe expressions containing level variables can be represented, even in presence of universe constraints.Eventually we introduce an embeding of universe polymorphism as defined in the core logic of the Coq system and prove the correctness of the defined translation mechanism.These results, along with other more practical techniques, allowed the implementation of a translator to Dedukti which was used to translate several sizeable Coq developments
25
Taylor, Ryland. "Using geomorphology and animal “individuality” to understand ‘scape-scale predator distributions." Thesis, Kansas State University, 2017. http://hdl.handle.net/2097/38227.
Full textAbstract:
Master of ScienceDepartment of Biology
Martha E. Mather
Determining patterns and drivers of organismal distribution and abundance are fundamental and enduring challenges in ecology, especially for mobile organisms at a ‘scape scale. To address the problem presented by individuals whose distributions are dynamic across large geographic areas, here I tracked 59 acoustically-tagged migratory striped bass (Morone saxatilis) with an array of 26 stationary receivers in Plum Island Estuary (PIE), MA. Specifically, I asked (1) how these predators were distributed across the estuarine seascape, (2) if these fish used three types of geomorphic sites (exits, confluences, and non-confluences) differently, (3) if distinct types of individual distributional “types” existed, and (4) if fish within distinct distributional groups used geomorphic site types and regions differently. Based on three components of predator trajectories (site specific numbers of individuals, residence time, and number of movements), striped bass were not distributed evenly throughout PIE. Confluences attracted tagged striped bass although not all confluences or all parts of confluences were used equally. Use of non-confluences sites was more variable than exits or confluences. Thus, geomorphic drivers and regions link mobile organisms to physical conditions across the seascape. Based on spatial and spatial-temporal cluster analyses, these striped bass predators clustered into four seasonally-resident distributional types. These included the (1) Rowley River group (fish that primarily resided in the Rowley River), (2) Plum Island Sound group (fish that primarily resided in the Middle Sound region), (3) Extreme Fidelity group (fish that spent most of their time in PIE at a single receiver location), and (4) the Exploratory group (fish that showed no affiliation with any particular location). These distributional groups used geomorphic site types and regions differently. Thus, my data show a rare link between behavioral (i.e., individual animal personalities) and field ecology (seascape geomorphology) that can advance the understanding of field-based patterns and drivers of organismal distribution.
26
Tilly, Alexandre de. "Contribution à l'étude des instabilités à la confluence d'écoulements non isothermes." Poitiers, 2006. http://www.theses.fr/2006POIT2260.
Full textAbstract:
Le mémoire présente une étude dynamique et thermique, en air, des instabilités rencontrées lorsqu’un écoulement froid faiblement débitant est introduit dans un écoulement principal plus chaud. La géométrie de la jonction est bidimensionnelle, c’est une fente de faible diamètre hydraulique, pratiquée sur toute la section transversale du canal principal. Trois types d’instabilités perturbant la structure moyenne et fluctuante de l’écoulement ont été identifiés : la formation de rouleaux pseudo périodiques de type Kelvin – Helmholtz ; l’effet « clapet » périodique ; et le battement, sans fréquence particulière. Les flux instationnaires transférés à la paroi ont été mesurés dans le fluide. Leurs évolutions spatiotemporelles sont spécifiques à chaque type d’instabilité. Les évolutions de coefficient d’échange, en moyenne et fluctuation, dépendant du choix de la température de référence, concordent avec la structure cinématique de l’écoulement et sont corrélablesThe report deals with a dynamical and thermal study of the instabilities that occur when a secondary low speed cold air flow is entering a hotter cross flow. The confluence/junction geometry is bidimensional. The slot is a short hydraulic diameter covering the whole transversal cross flow section. Three kinds of instabilities that perturb the fluctuating and mean flow patterns were identified: the pseudo periodic Kelvin – Helmholtz swirls; the pulsed jet effect; and the flapping. The normal to wall heat transfers were measured in the fluid. The spatiotemporal evolutions of these unsteady heat fluxes are specific to the identified kinds of instabilities. The heat transfer evolution is not governed by the classical mean heat transfer coefficient law. But, some formulations, depending on the choice of the reference temperature, show that the fluctuating and mean heat transfer coefficient evolutions concord with the cinematic structure of the flow and can be correlated
27
Fu, Xianjun. "Rousseau, Zola, Bajin : confluence et influence (pour un comparatisme sino-français)." Paris 4, 1990. http://www.theses.fr/1990PA040054.
Full textAbstract:
Entre le développement de la littérature moderne chinoise et la littérature occidentale les deux aspects principaux doivent être retenus : influence idéologique et emprunt des expériences littéraires. Ba Jin et certains écrivains français constituent la relation la plus typique et la plus fructueuse sur le sujet. A partir de la base de la personnalité de Ba Jin et de sa création, la recherche essaie d'analyser les influences de J. -J. Rousseau sur le plan de la pensée démocratique et de l'attitude de création littéraire d'une part et de l'autre, de mettre au jour les emprunts par Ba Jin des techniques romanesques de Zola. Enfin, la thèse indique la ressemblance et la différence entre Ba Jin et Rousseau, Ba Jin et Zola. Celles-ci contribuent à dégager la particularité créative des écrivains en comparaisonBetween the Chinese modern literature and the western literature, we should seize the two principle points: influence in the ideological field and borrowing of the literary experience. Ba Jin and certain of French writers constitute the most typical and the most resultful relation on this subject. Basing on the personality of Ba Jin and his writings, the researches try to analyze the influences of the democratic ideology and of the attitude to creation of J. -J. Rousseau in one way, and in the other, to explain the borrowing of the novel technique of bajin from Zola. Finally the thesis points out the resemblance and the difference between Ba Jin and Rousseau, Ba Jin and Zola. They contribute to a better inducing the creation personality of the writers as a comparative object
28
Anderson, Harold Atwood. "A confluence of streams music and identity in Aotearoa/New Zealand /." College Park, Md.: University of Maryland, 2008. http://hdl.handle.net/1903/8478.
Full textAbstract:
Thesis (Ph. D.) -- University of Maryland, College Park, 2008.Thesis research directed by: Dept. of Music. Title from t.p. of PDF. Includes bibliographical references. Published by UMI Dissertation Services, Ann Arbor, Mich. Also available in paper.
29
Riba, Colin Kirchner Claude Blanqui Frédéric. "Définitions par réécriture dans le lambda-calcul confluence, réductibilité et typage /." S. l. : INPL, 2007. http://www.scd.inpl-nancy.fr/theses/2007_RIBA_C.pdf.
Full text
30
Roquefeuil, Alexis. "Confluence of quantum K-theory to quantum cohomology for projective spaces." Thesis, Angers, 2019. http://www.theses.fr/2019ANGE0019/document.
Full textAbstract:
En géométrie algébrique, les invariants de Gromov—Witten sont des invariants énumératifs qui comptent le nombre de courbes complexes dans une variété projective lisse qui vérifient des conditions d’incidence. En 2001, A. Givental et Y.P. Lee ont défini de nouveaux invariants, dits de Gromov—Witten K-théoriques, en remplaçant les définitions cohomologiques dans la construction des invariants de Gromov—Witten par leurs analogues K-théoriques. Une question essentielle est de comprendre comment sont reliées ces deux théories. En 2013, Iritani- Givental-Milanov-Tonita démontrent que les invariants K-théoriques peuvent être encodés dans une fonction qui vérifie des équations aux q-différences. En général, ces équations fonctionnelles vérifient une propriété appelée “confluence”, selon laquelle on peut dégénérer ces équations pour obtenir une équationdifférentielle. Dans cette thèse, on propose de comparer les deux théories de Gromov— Witten à l’aide de la confluence des équations aux q-différences. On montre que, dans le cas des espaces projectifs complexes, que ce principe s’adapte et que les invariants Kthéoriques peuvent être dégénérés pour obtenir leurs analogues cohomologiques. Plus précisément, on montre que la confluence de la petite fonction J de Givental K-théorique permet de retrouver son analogue cohomologique après une transformation par le caractère de ChernIn algebraic geometry, Gromov— Witten invariants are enumerative invariants that count the number of complex curves in a smooth projective variety satisfying some incidence conditions. In 2001, A. Givental and Y.P. Lee defined new invariants, called Ktheoretical Gromov—Witten invariants. These invariants are obtained by replacing cohomological objects used in the definition of the usual Gromov—Witten invariants by their Ktheoretical analogues. Then, an essential question is to understand how these two theories are related. In 2013, Iritani-Givental- Milanov-Tonita show that K-theoretical Gromov—Witten invariants can be embedded in a function which satisfies a q-difference equation. In general, these functional equations verify a property called “confluence”, which guarantees that we can degenerate these equations to obtain a differential equation. In this thesis, we propose to compare our two Gromov—Witten theories through the confluence of q-difference equations. We show that, in the case of complex projective spaces, this property can be adapted to degenerate Ktheoretical invariants into their cohomological analogues. More precisely, we show that theconfluence of Givental’s small K-theoretical Jfunction produces its cohomological analogue after applying the Chern character
31
Riba, Colin. "Définitions par réécriture dans le lambda-calcul : confluence, réductibilité et typage." Thesis, Vandoeuvre-les-Nancy, INPL, 2007. http://www.theses.fr/2007INPL102N/document.
Full textAbstract:
Cette thèse concerne la combinaison du lambda-calcul et de la réécriture, dont nous étudions principalement deux propriétés : la confluence et la normalisation forte. Nous commençons par étudier sous quelles conditions la combinaison d'une relation de réécriture conditionnelle confluente au lambda-calcul donne une relation de réécriture confluente. Ensuite nous nous intéressons aux preuves de normalisation forte de lambda-calculs typés utilisant la technique de réductibilité. Notre contribution la plus importante est une comparaison de diverses variantes de cette technique, utilisant comme outil de comparaison la manière dont ces variantes s'étendent à la réécriture et dont elles prennent en compte les types unions et les types existentiels implicites. Enfin, nous présentons un critère, basé sur un système de types contraints, pour la normalisation forte de la réécriture conditionnelle combinée au lambda-calcul. Notre approche étend des critères de terminaison existants qui utilisent des annotations de taille. C'est à notre connaissance le premier critère de terminaison pour la réécriture conditionnelle avec membres droits d'ordre supérieur qui prenne en compte, dans l'argument de terminaison, de l'information issue de la satisfaction des conditions des règles de réécritureThis thesis is about the combination of lambda-calculus with rewriting. We mainly study two properties: confluence and strong normalization. We begin by studying under which conditions the combination of a confluent conditional rewrite relation to the lambda-calculus leads to a confluent relation. Next, we study strong normalization proofs of typed lambda-calculi that use the reducibility technique. Our main contribution is a comparison of variants of this technique, with respect to how they extend to rewriting and how they handle union and implicit existential types. Finally, we present a termination criterion for the combination of conditional rewriting and lambda-calculus based on a constrained type system. Our approach, which extends known criteria that use sized types, is to our knowledge the first termination criterion for conditional rewriting with higher-order right-hand sides that takes into account in the termination argument some information generated by the satisfaction of the conditions of the rewrite rules
32
Riba, Colin. "Définitions par réécriture dans le lambda-calcul : confluence, réductibilité et typage." Electronic Thesis or Diss., Vandoeuvre-les-Nancy, INPL, 2007. http://www.theses.fr/2007INPL102N.
Full textAbstract:
Cette thèse concerne la combinaison du lambda-calcul et de la réécriture, dont nous étudions principalement deux propriétés : la confluence et la normalisation forte. Nous commençons par étudier sous quelles conditions la combinaison d'une relation de réécriture conditionnelle confluente au lambda-calcul donne une relation de réécriture confluente. Ensuite nous nous intéressons aux preuves de normalisation forte de lambda-calculs typés utilisant la technique de réductibilité. Notre contribution la plus importante est une comparaison de diverses variantes de cette technique, utilisant comme outil de comparaison la manière dont ces variantes s'étendent à la réécriture et dont elles prennent en compte les types unions et les types existentiels implicites. Enfin, nous présentons un critère, basé sur un système de types contraints, pour la normalisation forte de la réécriture conditionnelle combinée au lambda-calcul. Notre approche étend des critères de terminaison existants qui utilisent des annotations de taille. C'est à notre connaissance le premier critère de terminaison pour la réécriture conditionnelle avec membres droits d'ordre supérieur qui prenne en compte, dans l'argument de terminaison, de l'information issue de la satisfaction des conditions des règles de réécritureThis thesis is about the combination of lambda-calculus with rewriting. We mainly study two properties: confluence and strong normalization. We begin by studying under which conditions the combination of a confluent conditional rewrite relation to the lambda-calculus leads to a confluent relation. Next, we study strong normalization proofs of typed lambda-calculi that use the reducibility technique. Our main contribution is a comparison of variants of this technique, with respect to how they extend to rewriting and how they handle union and implicit existential types. Finally, we present a termination criterion for the combination of conditional rewriting and lambda-calculus based on a constrained type system. Our approach, which extends known criteria that use sized types, is to our knowledge the first termination criterion for conditional rewriting with higher-order right-hand sides that takes into account in the termination argument some information generated by the satisfaction of the conditions of the rewrite rules
33
Savino, Damien Marie. "The contemplative river : the confluence between people and place in ecological restoration /." Saarbrücken : VDM Verl. Müller, 2008. http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=017679465&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA.
Full text
34
Walls, Stephanie. "Un-becoming: A Confluence of the Poetic Voice and the Sociological Imagination." NSUWorks, 2015. http://nsuworks.nova.edu/writing_etd/32.
Full text
35
Savino, Damien Marie. "The contemplative river the confluence between people and place in ecological restoration." Saarbrücken VDM Verlag Dr. Müller, 2004. http://d-nb.info/988795140/04.
Full text
36
Griffiths, Patrick, and patrick griffiths@rmit edu au. "Confluence and consequence: globalisation, viscosities and transformation of HIV risk environments in Vietnam." RMIT University. Applied Communication, 2006. http://adt.lib.rmit.edu.au/adt/public/adt-VIT20070626.162522.
Full textAbstract:
This thesis shows that illicit drug consumers in Vietnam who administer product via injection are vulnerable actors in a paradoxical global/glocal phenomenon rooted in historical complexities of globalisation. Therefore, responsibility for HIV risks should be shifted upstream from the level of individuals toward institutional processes that manufacture environments of harm. At the global level, the UN Milennium Development Goals do not provide the required level of leadership on HIV prevention for drug injectors. Association between globalisation, opiates and blood-born disease in Vietnam is not new and is inseparable from historical transportation, migration and trade processes. As a key locale in the Cold War, after 1975, and 1979 in particular, Vietnam was 'at distance' from increasing intra-regional trade flows across its western frontiers and northern border. As a consequence, it was hermetically sealed to nearby HIV sub-epidemics unfolding among heroin cons umers. A latent HIV risk environment awaited Vietnam should geopolitical grievances be resolved and it became re-integrated among Mekong sub-regional flows. Neo-liberal financial flows returned to Vietnam in 1993 and the Mekong was spanned in 1994. In 1995 it normalised relations with the United States, joined ASEAN and announced the resurrection of transportation linkages across the northern border with China. Mid-decade, its borders were made more porous at the same time as local opium production was reduced as part of the UN global programme against drugs. Exploiting enhanced trans-boundary mobilities intended for goods, opiate traffickers quickly transformed Vietnam into a transit nation and a marke for high-quality heroin well suited to a youthful population experiencing socio-economic change including new consumerism. Following traditional pathways, a radical transformation in the fluidity of drug consumption environs ensued, enabling more widespread and efficient flows of blood across complex boundari es. Analysis reveals that a spatio-temporal confluence of structural factors has created conditions which enabled this process. These factors are overlapping and they range from global influences, such as the collapse of the USSR, to micro-economic reform such as privatisation and modernisation of the domestic pharmaceutical sector. The transformation in opiate consumption from injecting opium to heroin injecting occurred faster than expert-driven prevention systems responded, even in time and space where this was most forseeable. Although the opiate transformation was highly predictable, there has been a time-lag of almost a decade between risk transformations and policy responses equated with harm reduction principles. The thesis shows that blame for HIV sub-epidemics in Vietnam should not be attributed to vulnerable youths and young adults. Expert-driven economic transition associated with global inegration has manufactured circumstances in which drug availability has risen dramatically at a time when emp loyment growth has been insufficient and a commercial sex industry has expanded. This research confirms the cimportance of new methods of risk environment analyses, particularly in relation to trans-boundary hazards associated with global flows, including trade and human mobilities.
37
Baxter, Theresa Paynter. "Relational partners of first responders| A confluence of trauma, coping, burden, and worldviews." Thesis, California State University, Long Beach, 2013. http://pqdtopen.proquest.com/#viewpdf?dispub=1523344.
Full textAbstract:
The purpose of this study was to identify relationships among variables related to the experiences of female spouse/partners of emergency responders. The 30 women sampled had sought treatment for occupation-related PTSD.
The First Responder Support Network (FRSN), a non-profit organization in Northern California, provided data for the study. Instrumentation consisted of a symptom inventory of participants' trauma and questionnaires regarding coping styles, worldviews, and perception of burden in response to living with a first responder.
Traumatic stress symptoms were reported more frequently than among the general population but similar to those of spouses of veterans. Findings suggested a diminished sense of self. Coping styles moderated the effects of trauma and were significantly related to worldviews. A substantial degree of burden was reported but burden levels were not related to traumatic stress.
The results indicated that first responder spouse/partners should be offered individual trauma-focused treatment to strengthen self-identity and fortify positive coping strategies.
38
PARISE, LAURENT. "Confluence de singularites regulieres d'equations differentielles en une singularite irreguliere. Modele de garnier." Université Louis Pasteur (Strasbourg) (1971-2008), 2001. http://www.theses.fr/2001STR13054.
Full textAbstract:
Dans son celebre article paru dans le journal de mathematiques pures et appliquees en 1919, garnier s'interrogeait une equation differentielle possedant une singularite irreguliere peut etre envisagee comme la limite d'une equation pourvue de points singuliers reguliers infiniment voisins ; la conclusion peut-elle etre etendue a leurs integrales ?. La technique employee par garnier s'est averee plus riche encore que le probleme initial et fait l'objet de cette these : etudier le phenomene de confluence de singularites regulieres d'edl en une singularite irreguliere. On considere ici un systeme differentiel admettant une singularite irreguliere de rang r en 0 et un systeme associe admettant r + 1 singularites regulieres de sorte que le premier soit limite du second lorsque tend vers 0. Nous utilisons en outre une technique de cisaillement pour se ramener, par un changement d'inconnue, a deux systemes de tailles plus petites jusqu'au cas scalaire. Nous donnons des solutions fondamentales s'ecrivant comme le produit d'un facteur matriciel et d'une partie exponentielle traduisant exactement les exposants de chaque singularite. Le but principal de ce travail est d'etablir l'existence d'une solution du second systeme holomorphe sur certains secteurs de sommet 0 puis un resultat de convergence uniforme vers la solution canonique du premier systeme. Nous montrerons egalement que la solution du second systeme admet un developpement asymptotique en d'ordre gevrey 1/r.
39
Victorin, Patricia. "Ysaïe le Triste : une esthétique de la confluence : tours, tombeaux, vergers et fontaines /." Paris : H. Champion, 2002. http://catalogue.bnf.fr/ark:/12148/cb388386889.
Full text
40
Schindler, Doris. "Intergenerational Programming: A Confluence of Interests Between the Frail Elderly and Urban Youth." PDXScholar, 1992. https://pdxscholar.library.pdx.edu/open_access_etds/1387.
Full textAbstract:
Two groups of urban residents present ongoing problems, the frail elderly and disadvantaged youth who are approaching transition from school to the work force. Many of the disadvantaged youth are at risk because of family background, inadequate education, and lack of work experience. Many of the frail elderly are unable to care for themselves because of debility, chronic illness, or functional impairments (Eustis, 1974). The United States is experiencing an unprecedented increase in the numbers of persons over 65 years of age and it is expected that between 1980 and 2000 there will be a 67 percent increase in persons 80 and over. These demographic changes are significant especially for long-term care policy for the elderly. There is an urgent need to provide the kind of care that permits them to continue to live in their own homes. The frail elderly perceive their need for a dependable source of food as a primary requirement. If this is not met, institutional care becomes the only possible option. Urban youth face an increasing pressure to take a job in order to earn money, often at the expense of further education. Part-time work and school can be managed, and with planning, the classroom curriculum can be blended with the job. Intergenerational programs present a possible solution to some of the problems of the frail elderly and youth. They can be brought together through one of these programs for their mutual benefit. Intergenerational programming is the process of planned and purposeful interaction between generations. The programs encompass a range of ideas as they are guided by the needs of the community and its resources to meet these needs (Newman, 1983). Project MAIN was one of these projects. In 1983 under the auspices of Portland Youth Advocates, Project MAIN was created to meet the needs of the frail elderly and youth in an urban area. Many of the frail elderly were confined to their homes, unable to do ordinary tasks such as grocery shopping. Low-income teenagers needed access to an income-generating jobs program that would permit them to remain in school. Project MAIN was planned to help disadvantaged youth and simultaneously enrich the lives of the elderly (Ventura-Merkel, 1988). Project MAIN was conceived as a dynamic entity that could not be seen directly, but perceived as a process that had qualitative effects on those with whom it came in contact. It was planned as an active participatory learning experience for youth. Relevant classroom curricula blended with part-time jobs. The focus was on full participation by the youth in the process of providing a shopping service for the homebound elderly. Two important elements of the project were active youth participation and project-oriented learning. The youth planned and operated a shopping service for the frail elderly clients. The youth continued with their education and worked part-time. They began with minimum wage and increases came regularly, following satisfactory evaluation by peers and staff. As they became more competent, they assisted the staff with supervision and instruction. A case study explored the outcomes of Project MAIN. A weakness in the data from guided interviews of the clients resulted from memory loss and confusion encountered in a few of the elderly. A strength was the flexible interviews which gave the elderly time to explore new ideas as they emerged. The outcomes of Project MAIN were measured by the level of satisfaction for both the elderly clients and the participating youth. The levels of satisfaction were high in the pilot project, with its four weeks of intensive training and careful supervision. Adequate funding from private organizations made this possible. In the demonstration phase, funding became an acute problem. Training and supervision of the youthful shoppers was curtailed. Although the clients found the service better than they had before Project MAIN, complaints of broken appointments and declining dependability began to be heard. It became evident that the youth were in need of better preparation and more intensive supervision. Because of lack of funds, it was not possible to supply staff for these tasks. From the outcomes of the pilot project, it is evident that the concept of Project MAIN is a viable one for meeting the needs of the frail elderly and youth. However, from the demonstration phase, it was seen that without adequate funding, the quality of the shopping service declined. Decisions need to be made in the early planning of a program like Project MAIN. Elimination of staff needed for training and supervision in favor if increasing the number of youthful shoppers can threaten the viability of the program.
41
Selm, Leo Joseph. "A family systems approach to treatment of addictive disorders confluence of two existing constructs /." View full text, 2002.
Find full text
42
Amoako, Emefa Juliet Afi. "Shaping policy at the confluence of the global and national : Ghana's education strategic plan." Thesis, University of Oxford, 2010. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.550837.
Full textAbstract:
The thesis examines how education policy in aid dependent developing countries is formed. It looks, in particular, at the case of Ghana, specifically the development of the Education Strategic Plan (ESP). In a departure from the policy text deconstruction or historical overview approaches to understanding educational policy or its emergence, this study looks at the development of policy at the point of interaction. That is it looks at the factors at play when international donor agencies and national governments engage with questions of how to address the challenges of education. It examines the actions and interactions that shape the ESP of Ghana when the Ministry of Education (MoE) and donor agencies meet. Research into the nature of "engagement" has been scant. There is, however, much rhetoric about the "rules of engagement", for example, for "country-led partnerships", but there is still no robust understanding of how these rules of engagement play out in reality. This study responds to persistent demands for examining partnerships, and to the need for a deeper understanding of donor- recipient interactions, because of their impact on the development of education. The thesis also addresses the call for an open examination of country-led foreign aid partnership discourse and aims to contribute to bridging the existing gap in the educational aid and policy literature. While the existing literature portrays an understanding of policy and its processes as constituting different contexts and stages of a cycle, this study aims to add another dimension by depicting the policy formulation process as occurring in a conceptual space referred to in the thesis as the "confluence" or the place where different worldviews and assumptions, different actors and ideas meet. Although policy is understood in terms of stages and contexts in a cycle we do not yet understand the notion of policy formation at the point where different actors and ideas meet. The study is, therefore, a study of how policy emerges on the cusp of the national and the international, the local and the global and argues the salience of the concept of the "confluence". The research employs a case study strategy, as described by Yin, within a qualitative research genre and adopts the interpretative approach of investigating actions that emerge from the MoE-donor agencies' interactions and their shaping of the ESP in their natural setting. In a period of six months, data were generated through participant observation of the MoE-donor events both within and outside the MoE, in- depth interviewing of the MoE and donor officials, and the analysis of relevant documents. Data are qualitatively analysed systematically on multiple levels. First, the analysis is data-led using Blumer's notion of inspection. Inspection characterised by analysis demands a rigorous, focused scrutiny of the MoE-donor interactions and their shaping of the ESP and of whatever analytic categories that emerge. Most of the categories and themes emerge from the data. The findings emerging from the analysis bring to light various formal goals and informal cultures of the MoE-donor interactions, which are explicit or implicit and the way in which they shape the ESP. They suggest why and how the ESP formulation was more donor-led than MoE-led albeit the potential of the ESP to propel the MoE into leadership position. Another level deals with the interpretation of these findings through the lens of Bourdieu's and Lukes' theories of power. In the light of these theories, power in the MoE-donor interactions is interpreted as three-dimensional and symbolic violence. The implications of external and internal ideologies, generated by foreign aid partnerships and globalisation processes for education policy-making in the intersection between the global and national spheres, are also considered. The study thus challenges current discourses on country-led partnerships that dominate the educational aid process and demands a redefinition of donor-recipient interactions in practice. It also calls for efforts to translate the country-led partnership rhetoric into reality. The findings challenge the MoE and donors to adopt an alternative approach in educational aid delivery. The key contribution that this study makes is to offer a deeper insight into specific interactions between development partners such as the MoE and selected donor agencies; the shared beliefs about donors and recipients of educational aid and the actual rather than the stated or proposed norms that guide MoE-donor interactions in education. It is hoped that such research will help to enhance donor-recipient interactions and to provide a deeper understanding of educational aid and policy actions and their implications for education at the confluence where national governments meet donors.
43
Watson, Carol Anne. "A cultural confluence| Approaches to embedding cultural insights and inclusion throughout the marketing process." Thesis, Pepperdine University, 2014. http://pqdtopen.proquest.com/#viewpdf?dispub=1566787.
Full textAbstract:
This study explored the culturally driven variables in the marketing process that contribute to a brand's success or minimize cultural missteps. The primary research question was: How are consumer brand organizations building capabilities and organizing to embed cultural inclusion and insights throughout the marketing communications process? Twenty senior-level marketing executives contributed to the mixed-methods study. Five critical variables were found to be consistent across industries: effective data collection, reporting, and integration are critical; leadership must be courageous and culturally skilled; strategic alignment around cultural inclusion throughout the enterprise and across internal and external stakeholders is necessary; culturally adaptive talent management is required; and an end-to-end focus and recalibration of the processes requires resource investments and a commitment to hardwire a refined approach. Recommendations for leveraging the variables included a greater focus on data integration, inclusive leadership development, process recalibration and development of cultural agility competencies, and knowledge sharing across industries.
44
Church, Julie Elisabeth. "An assessment of the land-use capability of the Liesbeeck-Black River confluence area." Master's thesis, University of Cape Town, 1994. http://hdl.handle.net/11427/13835.
Full textAbstract:
Bibliography: p. 136-139.As a consequence of increasing development pressure and demands on the Liesbeeck Black River Confluence Area (hereafter referred to as the Confluence Area), the Cape Town City Council (CCC), which has the responsibility for land-use planning in the Confluence Area (CA), recognised the need for a focused land-use study to be undertaken. Preliminary baseline information therefore, was collected by the Environmental and Geographical Science Masters class and is presented in the environmental baseline study (MPhil class, 1994).This is an individual study that serves to review and assess the baseline information. It aims to provide general recommendations for future land-use planning in the CA, which optimise the inherent environmental capabilities of the area. It attempts to present to the decision-makers and land-use planners a holistic environmental information base for more··informed land-use planning.
45
Dalgliesh, Christopher. "Landscape evaluation of the Liesbeeck and Black River confluence area : a strategic planning framework." Master's thesis, University of Cape Town, 1994. http://hdl.handle.net/11427/13836.
Full textAbstract:
Bibliography: leaves 87-91.This dissertation aims to evaluate the environmental factors within the Liesbeeck and Black River Confluence Area (CA) and on that basis present conclusions which will inform a land-use decision for the area. It has been undertaken in partial fulfilment of the academic requirements of the M. Phil (Environmental Science) course offered by the Department of Environmental and Geographical Science of the University of Cape Town (UCT). It also serves as a working document informing the Cape Town City Council's (CCC) land-use planning for the CA, and for that reason aims for a balance between academic rigour and the concise, pragmatic style of a report. It should also be noted that this study is almost wholly contingent on a baseline document prepared between January and March 1994 by the 1993/94 M. Phil class. That document identified the totality of environmental factors which might influence land-use planning in the CA and is the point of departure of this dissertation.
46
Ridgard, Brent Wallace. "An evaluation of the land use potential of the Black-Liesbeeck River confluence area." Master's thesis, University of Cape Town, 1994. http://hdl.handle.net/11427/21493.
Full textAbstract:
Bibliography: pages 93-96.Purpose of this report *to assess and evaluate the land use potential of the Black-Liesbeeck River Confluence Area based on the limitations imposed by the biophysical, social, economic and developmental factors operating in the area. *to make general recommendations on which types of land use activities are appropriate for the Confluence Area. Background The Interim Metropolitan Development Framework (IMDF) identifies intensification of existing residential and industrial areas~ as a possible solution to the current trend of urban sprawl in Greater Cape Town. Furthermore, this document states that intensification of existing urban areas should not occur at the expense of maintaining the green open spaces in the city. To achieve this aim a proactive, holistic and integrated approach to environmental planning will be required. This study presents the ideal opportunity to test this planning approach. The Confluence Area is unusual in that it contains large, unutilized open spaces that are surrounded by suburbs with medium to high residential densities. In addition, the Confluence Area is located near one of the largest business centres (the CBD-Salt River-Woodstock-Maitland-Epping-Ndabeni complex) in Greater Cape Town. This study forms part of a planning initiative underway in the Culemborg-Black River (CBR) Area that is adjacent to the northern boundary of the Confluence Area. The aim of this planning initiative undertaken by the Cape Town City Council (CCC) and South African Transport Services (SATS) is to investigate the land use potential of the CBR area. The findings of this study of the Confluence Area will be incorporated into the final planning proposals for the Culemborg-Black River Area.
47
Winn, Justin P. "Vulnerability and Power| Exploring the Confluence of Politics and Climate Change in Cortez, Florida." Thesis, University of South Florida, 2019. http://pqdtopen.proquest.com/#viewpdf?dispub=10980695.
Full textAbstract:
This thesis describes how politics shape vulnerability to climate change at the local level, based on an ethnography in Cortez, Florida. Focusing on a “traditional” commercial fishing village on the Florida Gulf Coast, my research indicates that such vulnerabilities are created at multiple scales of the nexus between governance and commerce. Moreover, a key finding is that, as a community closely linked to the health of local environments, the village in Cortez is largely organized to protect their commercial industry from regional economic overdevelopment; not in recognition of its role in contributing to global climate change, but because such overdevelopment is perceived as unjust and destructive to local environments. Further, through qualitatively examining the environmental values of a “traditional” fishing community located in a large metropolitan coastal area, my thesis confronts the responsibility that broader society may have to reevaluate economic growth in effort to truly foster sustainability and justice. Finally, the thesis describes how communities like Cortez may be repositories for locally developed, ecologically grounded resilience strategies, rendering their voice all the more crucial, beyond conventional stakeholder approaches, in public discussions about regional economic development and marine resource management.
48
Winn, Justin P. "Vulnerability and Power: Exploring the Confluence of Politics and Climate Change in Cortez, Florida." Scholar Commons, 2018. https://scholarcommons.usf.edu/etd/7595.
Full textAbstract:
This thesis describes how politics shape vulnerability to climate change at the local level, based on an ethnography in Cortez, Florida. Focusing on a “traditional” commercial fishing village on the Florida Gulf Coast, my research indicates that such vulnerabilities are created at multiple scales of the nexus between governance and commerce. Moreover, a key finding is that, as a community closely linked to the health of local environments, the village in Cortez is largely organized to protect their commercial industry from regional economic overdevelopment; not in recognition of its role in contributing to global climate change, but because such overdevelopment is perceived as unjust and destructive to local environments. Further, through qualitatively examining the environmental values of a “traditional” fishing community located in a large metropolitan coastal area, my thesis confronts the responsibility that broader society may have to reevaluate economic growth in effort to truly foster sustainability and justice. Finally, the thesis describes how communities like Cortez may be repositories for locally developed, ecologically grounded resilience strategies, rendering their voice all the more crucial, beyond conventional stakeholder approaches, in public discussions about regional economic development and marine resource management.
49
Blanchard, Jesse Ryan. "A Confluence of Invasion, Behavioral, and Theoretical Ecology: What Drives Ephemeral Metacommunity Re-assembly?" FIU Digital Commons, 2018. https://digitalcommons.fiu.edu/etd/3651.
Full textAbstract:
Metacommunity theory has been particularly useful in understanding the way spatially structured communities assemble. Both niche and neutral processes are known to influence metacommunity assembly, and the relative influence of each depends on the level of dispersal-limitation. Contemporary trait-based analyses of metacommunity assembly have enhanced our understanding of these processes. Of the traits investigated, individual personalities have received the least attention, but have been suggested to be drivers of metacommunity assembly model parameters, such as dispersal tendencies and patch density. I address this topic from three angles, three chapters, in this dissertation. First, I used a three-year field survey of fish metacommunity assembly in Everglades National Park to investigate the influence of dispersal-limitation on trait-based metacommunity assembly, asking which traits were important under different levels of dispersal-limitation. I found that the relative influence of traits and local environmental factors decreased, and the influence of regional factors increased with increasing dispersal-limitation. The Rocky Glades has recently been invaded by a micropiscivore with many novel traits, the African Jewelfish. In the second chapter I used my field data to ask what influence this invader has on metacommunity assembly. Overall, African Jewelfish abundance was the third most influential factor in driving assembly. I also used data, which were previously collected by collaborators, from three years prior and two years following the invasion to observe shifts in assembly rules. Assembly became significantly more aggregative immediately following the invasion, a condition which persisted more than a decade later. All previous studies asking the same question, found the same result: invasive introductions correspond with increased species aggregation. This may be a consistent, taxa-independent signal of truly invasive species that can be detected early in the invasion process, making it a potentially useful management tool after further empirical review. In the final chapter, I investigate the potential influence of individual personalities on a metapopulation’s structure. To do this, I used a behavioral individual-based model to explore the influence of sociability, an individual’s propensity to associate with conspecifics, on metapopulation structure at ecologically relevant spatiotemporal scales. I found that individual sociability can significant influence key metapopulation parameters such as dispersal distance and patch density but may not influence landscape occupation. Chapter three concludes with new hypothesis to be evaluated by future field studies. Overall, this dissertation demonstrates the relative roles of invasions, species traits, and individual personalities on metacommunity assembly processes.
50
Johansson, Anthon. "How can Atlassian products be modified to reduce the average time usage for common tasks." Thesis, Linköpings universitet, Interaktiva och kognitiva system, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-138981.
Full textAbstract:
Software tools such as Build systems and project management tools are sometimes notwell designed when it comes to usability. This paper investigates the possibility of creatingcustom solutions for the three Atlassian products Jira, Confluence, and BitBucket, in orderto increase the efficiency when performing common tasks at the Atlassian administration atSaab AB. It was discovered that the main issue was performing reoccurring project-accesspermission audits, which was a very repetitive task with many manual steps involved.The solution to the issue was a Python script that, through the use of the Atlassian RESTAPI, could collect all the necessary information automatically and present it in a readablesummarized view. The amount of manual steps was significantly decreased to just a fewsteps which made a huge difference for the Atlassian administrators at Saab AB.