QRB, QFS, and the probabilistic powerdomain

AbstractWe show that the first author's QRB-domains coincide with Li and Xu's QFS-domains, and also with Lawson-compact quasi-continuous dcpos, with stably-compact locally finitary compact spaces, with sober QFS-spaces, and with sober QRB-spaces. The first three coincidences were discovered independently by Lawson and Xi. The equivalence with sober QFS-spaces is then applied to give a novel, direct proof that the probabilistic powerdomain of a QRB-domain is a QRB-domain. This improves upon a previous, similar result, which was limited to pointed, second-countable QRB-domains

Meet-continuity and locally compact sober dcpos

In this thesis, we investigate meet-continuity over dcpos. We give different equivalent descriptions of meet-continuous dcpos, among which an important characterisation is given via forbidden substructures. By checking the function space of such substructures we prove, as a central contribution, that any dcpo with a core-compact function space must be meet-continuous. As an application , this result entails that any cartesian closed full subcategory of quasicontinuous domains consists of continuous domains entirely. That is to say , both the category of continuous domains and that of quasicontinuous domains share the same cartesian closed full subcategories. Our new characterisation of meet-continuous dcpos also allows us to say more about full subcategories of locally compact sober dcpos which are generalisations of quasicontinuous domains. After developing some theory of characterising coherence and bicompleteness of dcpos, we conclude that any cartesian closed full subcategory of pointed locally compact sober dcpos is entirely contained in the category of stably compact dcpos or that of L-dcpos. As a by-product, our study of coherence of dcpos enables us to characterise Lawson-compactness over arbitrary dcpos

Frame presentations: variants of the reals, rings of functions, their Dedekind completions, and the unit circle

176 p.Esta tesis se enmarca en el contexto de la topología sin puntos y explota el hecho de que se puedendefinir frames por medio de presentaciones de generadores y relaciones, dado que la categoría de frames,que es precisamente el objeto de estudio de la topología sin puntos, es algebraica. Abarca,principalmente, dos temas: la construcción y estudio de la compleción de Dedekind del anillo defunciones reales continuas C(L) definidas en un frame L y el estudio del equivalente sin puntos delcírculo unidad y su estructura de grupo.En el primer caso se construye dicha compleción de tres maneras alternativas: en términos de funcionesreales parciales, introduciendo para este fin el frame de los reales parciales como una variante del framede los reales; en términos de funciones semicontinuas normales; y en términos de funciones Hausdorffcontinuas. También se estudian los casos de los anillos de funciones continuas acotadas y funcionescontinuas con valores enteros y bajo qué condiciones existe un frame M tal que la compleción deDedekind de C(L) sea isomorfa a C(M). Por último, se introducen las nociones de escala generalizada yescala regular con objeto de demostrar que las alternativas construcciones del la compleción de Dedekindde C(L) pueden deducirse de un enfoque unificado.En cuanto al círculo unidad, se afronta el problema de dos maneras alternativas. La primera se basa enuna versión sin puntos de la compactificación de Alexandroff de la recta real y la segunda esta motivadaen la clásica construcción del círculo unidad como el espacio cociente R/Z. Este último enfoque nospermite elevar la estructura canónica de grupo locálico del frame de los reales a este nuevo frame,haciendo uso de técnicas categóricas.Por último, se estudian algunas variantes del frame de los reales y se proporciona el espectro de estos

Caractérisation d'un désordre neurologique et musculaire chez les souris dystonia musculorum

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal

Ice Induced Sea Level Change in the Late Neogene

Two independent records of latest Neogene (2,0 - 6.0 Ma.) glacioeustasy are presented, one of Antarctic ice volume from East Antarctica and the other of eustatic sea level from the South Wanganui Basin, New Zealand. Glacial deposits in the Transantarctic Mountains (Sirius Group) and sediment at the Antarctic continental margin provide direct evidence of Antarctic ice sheet fluctuation. Evidence for deglaciation includes the occurrence of Pliocene marine diatoms in Sirius Group deposits, which are sourced from the East Antarctic interior. K/Ar and 39Ar/40Ar dating of a tuff in the CIROS-2 drill-core confirms their Pliocene age at high latitudes (78 [degrees] S) in Antarctica. Further evidence for Antarctic ice volume fluctuation is recorded by glaciomarine strata from the Ross Sea Sector cored by the CIROS-2 and DVDP-11 drill-holes. Magnetostratigraphy integrated with Beryllium-10, K/Ar and 39Ar/40Ar dating provides a high resolution ([plus or minus] 50 k.y.) chronology of events in these strata. In the Wanganui Basin, New Zealand, a 5 km thick succession of continental shelf sediments, now uplifted, records Late Neogene eustatic sea level fluctuation. In the Late Neogene, basin subsidence equalled sediment input allowing eustatic sea level fluctuation to produce a dynamic alternation of highstand, transgressive, and lowstand sediment wedges. This record of Late Neogene sea level variation is unequalled in its resolution and detail. Magnetostratigraphy provides a high resolution chronology for these sedimentary cycles as well as magnetic tie lines with the Antarctic margin record in McMurdo Sound. These two independent records of Late Neogene glacioeustasy are in good agreement and record the following history: The Late Miocene and Late Pliocene are times of low 'base level' glacioeustasy (here termed glacialism, rather than glacial), with growth of continental-scale ice sheets on the Antarctic continent causing a lowering of global sea level. The Early Pliocene was a time of high 'base level' glacioeustasy (here termed interglacialism, rather than interglacial), driven by collapsing of continental-scale ice sheets to local and subcontinental ice caps. The middle Pliocene is marked by a move into glacialism with an increasing 'base level' of glacioeustatic fluctuation. Higher-order glacial advances and associated eustatic sea-level lowering occurred at approximately 3.5 and 4.3 Ma., separating the Early Pliocene into 3 sea-level stages. Still higher-order glacioeustatic fluctuations are recognised in this study, with durations of 50 Ka. and 100 - 300 Ka.. The 100 - 300 Ka. duration cycles are prominent during interglacialisms, and the 50 Ka. duration cycles are prominent during glacialisms. These shorter duration fluctuations in glacioeustasy have already been recognised as glacial/deglacial cycles from detailed studies of the Quaternary. Four orders of sea-level fluctuation are recognised within the Late Neogene, these are of approximately 0.05 Ma., 0.1-0.3 Ma., 2 Ma., and 4 Ma. in duration. The 2 Ma. and 4 Ma. duration cycles are subdivisions of the third order cyclicity recognised by Vail et al. (1991) (referred to here as cyclicity orders 3a and 3b). The 0.1-0.3 Ma. duration cycles are a subset of the fourth order cyclicity recognised Vail et al. (1991), and the 0.05 Ma. Duration cycles are a subset of the 5 th order cyclicity recognised by Vail et al. (1991). 3a, 3b and 4 th order sea level fluctuations are driven by fluctuations in the volume of the Antarctic Ice Sheet. Fifth order sea level fluctuations are also suggested to be at least partially driven by fluctuations in the volume of the Antarctic Ice Sheet. Milankovitch cyclicities in glacioeustasy (<100 Ka., fifth order cyclicity) are prominent in the geologic record at times when there is large scale glaciation (glacialism) of the Antarctic Continent (e.g. for the Pleistocene). Conversely, at times when the Antarctic continent is in a deglaciated state (deglacialism) fourth order cyclicity is more prominent, with Milankovitch cyclicities present at a parasequence level

ECOS 2012

The 8-volume set contains the Proceedings of the 25th ECOS 2012 International Conference, Perugia, Italy, June 26th to June 29th, 2012. ECOS is an acronym for Efficiency, Cost, Optimization and Simulation (of energy conversion systems and processes), summarizing the topics covered in ECOS: Thermodynamics, Heat and Mass Transfer, Exergy and Second Law Analysis, Process Integration and Heat Exchanger Networks, Fluid Dynamics and Power Plant Components, Fuel Cells, Simulation of Energy Conversion Systems, Renewable Energies, Thermo-Economic Analysis and Optimisation, Combustion, Chemical Reactors, Carbon Capture and Sequestration, Building/Urban/Complex Energy Systems, Water Desalination and Use of Water Resources, Energy Systems- Environmental and Sustainability Issues, System Operation/ Control/Diagnosis and Prognosis, Industrial Ecology