The M-theory origin of global properties of gauge theories

We show that global properties of gauge groups can be understood as geometric properties in M-theory. Different wrappings of a system of N M5-branes on a torus reduce to four-dimensional theories with AN−1 gauge algebra and different unitary groups. The classical properties of the wrappings determine the global properties of the gauge theories without the need to impose any quantum conditions. We count the inequivalent wrappings as they fall into orbits of the modular group of the torus, which correspond to the S-duality orbits of the gauge theories.

The theory of electrostatic probes in strong magnetic fields : Thesis submitted to the Faculty of The Graduate School of the University of Colorado for the Degree Doctor of Philosophy Department of Aerospace Engineering Science

A theory is developed of an electrostatic probe in a fully-ionized plasma in the presence of a strong magnetic field. The ratio of electron Larmor radius to probe transverse dimension is assumed to be small. Poisson's equation, together with kinetic equations for ions and electrons are considered. An asymptotic perturbation method of multiple scales is used by considering the characteristic lengths appearing in the problem. The leading behavior of the solution is found. The results obtained appear to apply to weaker fields also, agreeing with the solutions known in the limit of no magnetic field. The range of potentials for wich results are presented is limited. The basic effects produced by the field are a depletion of the plasma near the probe and a non-monotonic potential surrounding the probe. The ion saturation current is not changed but changes appear in both the floating potential Vf and the slope of the current-voltage diagram at Vf. The transition region extends beyond the space potential Vs,at wich point the current is largely reduced. The diagram does not have an exponential form in this region as commonly assumed. There exists saturation in electron collection. The extent to which the plasma is disturbed is determined. A cylindrical probe has no solution because of a logarithmic singularity at infinity. Extensions of the theory are considered.

Implementation of the Heated Pulsed Theory using actively heated fiber optics: measurements of soil volumetric water content and soil volumetric heat capacity

Existe una creciente necesidad de hacer el mejor uso del agua para regadío. Una alternativa eficiente consiste en la monitorización del contenido volumétrico de agua (θ), utilizando sensores de humedad. A pesar de existir una gran diversidad de sensores y tecnologías disponibles, actualmente ninguna de ellas permite obtener medidas distribuidas en perfiles verticales de un metro y en escalas laterales de 0.1-1,000 m. En este sentido, es necesario buscar tecnologías alternativas que sirvan de puente entre las medidas puntuales y las escalas intermedias. Esta tesis doctoral se basa en el uso de Fibra Óptica (FO) con sistema de medida de temperatura distribuida (DTS), una tecnología alternativa de reciente creación que ha levantado gran expectación en las últimas dos décadas. Específicamente utilizamos el método de fibra calentada, en inglés Actively Heated Fiber Optic (AHFO), en la cual los cables de Fibra Óptica se utilizan como sondas de calor mediante la aplicación de corriente eléctrica a través de la camisa de acero inoxidable, o de un conductor eléctrico simétricamente posicionado, envuelto, alrededor del haz de fibra óptica. El uso de fibra calentada se basa en la utilización de la teoría de los pulsos de calor, en inglés Heated Pulsed Theory (HPP), por la cual el conductor se aproxima a una fuente de calor lineal e infinitesimal que introduce calor en el suelo. Mediante el análisis del tiempo de ocurrencia y magnitud de la respuesta térmica ante un pulso de calor, es posible estimar algunas propiedades específicas del suelo, tales como el contenido de humedad, calor específico (C) y conductividad térmica. Estos parámetros pueden ser estimados utilizando un sensor de temperatura adyacente a la sonda de calor [método simple, en inglés single heated pulsed probes (SHPP)], ó a una distancia radial r [método doble, en inglés dual heated pulsed probes (DHPP)]. Esta tesis doctoral pretende probar la idoneidad de los sistemas de fibra óptica calentada para la aplicación de la teoría clásica de sondas calentadas. Para ello, se desarrollarán dos sistemas FO-DTS. El primero se sitúa en un campo agrícola de La Nava de Arévalo (Ávila, España), en el cual se aplica la teoría SHPP para estimar θ. El segundo sistema se desarrolla en laboratorio y emplea la teoría DHPP para medir tanto θ como C. La teoría SHPP puede ser implementada con fibra óptica calentada para obtener medidas distribuidas de θ, mediante la utilización de sistemas FO-DTS y el uso de curvas de calibración específicas para cada suelo. Sin embargo, la mayoría de aplicaciones AHFO se han desarrollado exclusivamente en laboratorio utilizando medios porosos homogéneos. En esta tesis se utiliza el programa Hydrus 2D/3D para definir tales curvas de calibración. El modelo propuesto es validado en un segmento de cable enterrado en una instalación de fibra óptica y es capaz de predecir la respuesta térmica del suelo en puntos concretos de la instalación una vez que las propiedades físicas y térmicas de éste son definidas. La exactitud de la metodología para predecir θ frente a medidas puntuales tomadas con sensores de humedad comerciales fue de 0.001 a 0.022 m3 m-3 La implementación de la teoría DHPP con AHFO para medir C y θ suponen una oportunidad sin precedentes para aplicaciones medioambientales. En esta tesis se emplean diferentes combinaciones de cables y fuentes emisoras de calor, que se colocan en paralelo y utilizan un rango variado de espaciamientos, todo ello en el laboratorio. La amplitud de la señal y el tiempo de llegada se han observado como funciones del calor específico del suelo. Medidas de C, utilizando esta metodología y ante un rango variado de contenidos de humedad, sugirieron la idoneidad del método, aunque también se observaron importantes errores en contenidos bajos de humedad de hasta un 22%. La mejora del método requerirá otros modelos más precisos que tengan en cuenta el diámetro del cable, así como la posible influencia térmica del mismo. ABSTRACT There is an increasing need to make the most efficient use of water for irrigation. A good approach to make irrigation as efficient as possible is to monitor soil water content (θ) using soil moisture sensors. Although, there is a broad range of different sensors and technologies, currently, none of them can practically and accurately provide vertical and lateral moisture profiles spanning 0-1 m depth and 0.1-1,000 m lateral scales. In this regard, further research to fulfill the intermediate scale and to bridge single-point measurement with the broaden scales is still needed. This dissertation is based on the use of Fiber Optics with Distributed Temperature Sensing (FO-DTS), a novel approach which has been receiving growing interest in the last two decades. Specifically, we employ the so called Actively Heated Fiber Optic (AHFO) method, in which FO cables are employed as heat probe conductors by applying electricity to the stainless steel armoring jacket or an added conductor symmetrically positioned (wrapped) about the FO cable. AHFO is based on the classic Heated Pulsed Theory (HPP) which usually employs a heat probe conductor that approximates to an infinite line heat source which injects heat into the soil. Observation of the timing and magnitude of the thermal response to the energy input provide enough information to derive certain specific soil thermal characteristics such as the soil heat capacity, soil thermal conductivity or soil water content. These parameters can be estimated by capturing the soil thermal response (using a thermal sensor) adjacent to the heat source (the heating and the thermal sources are mounted together in the so called single heated pulsed probe (SHPP)), or separated at a certain distance, r (dual heated pulsed method (DHPP) This dissertation aims to test the feasibility of heated fiber optics to implement the HPP theory. Specifically, we focus on measuring soil water content (θ) and soil heat capacity (C) by employing two types of FO-DTS systems. The first one is located in an agricultural field in La Nava de Arévalo (Ávila, Spain) and employ the SHPP theory to estimate θ. The second one is developed in the laboratory using the procedures described in the DHPP theory, and focuses on estimating both C and θ. The SHPP theory can be implemented with actively heated fiber optics (AHFO) to obtain distributed measurements of soil water content (θ) by using reported soil thermal responses in Distributed Temperature Sensing (DTS) and with a soil-specific calibration relationship. However, most reported AHFO applications have been calibrated under laboratory homogeneous soil conditions, while inexpensive efficient calibration procedures useful in heterogeneous soils are lacking. In this PhD thesis, we employ the Hydrus 2D/3D code to define these soil-specific calibration curves. The model is then validated at a selected FO transect of the DTS installation. The model was able to predict the soil thermal response at specific locations of the fiber optic cable once the surrounding soil hydraulic and thermal properties were known. Results using electromagnetic moisture sensors at the same specific locations demonstrate the feasibility of the model to detect θ within an accuracy of 0.001 to 0.022 m3 m-3. Implementation of the Dual Heated Pulsed Probe (DPHP) theory for measurement of volumetric heat capacity (C) and water content (θ) with Distributed Temperature Sensing (DTS) heated fiber optic (FO) systems presents an unprecedented opportunity for environmental monitoring. We test the method using different combinations of FO cables and heat sources at a range of spacings in a laboratory setting. The amplitude and phase-shift in the heat signal with distance was found to be a function of the soil volumetric heat capacity (referred, here, to as Cs). Estimations of Cs at a range of θ suggest feasibility via responsiveness to the changes in θ (we observed a linear relationship in all FO combinations), though observed bias with decreasing soil water contents (up to 22%) was also reported. Optimization will require further models to account for the finite radius and thermal influence of the FO cables, employed here as “needle probes”. Also, consideration of the range of soil conditions and cable spacing and jacket configurations, suggested here to be valuable subjects of further study and development.

Improved static analysis and verification of energy consumption and other resources via abstract interpretation

Resource analysis aims at inferring the cost of executing programs for any possible input, in terms of a given resource, such as the traditional execution steps, time ormemory, and, more recently energy consumption or user defined resources (e.g., number of bits sent over a socket, number of database accesses, number of calls to particular procedures, etc.). This is performed statically, i.e., without actually running the programs. Resource usage information is useful for a variety of optimization and verification applications, as well as for guiding software design. For example, programmers can use such information to choose different algorithmic solutions to a problem; program transformation systems can use cost information to choose between alternative transformations; parallelizing compilers can use cost estimates for granularity control, which tries to balance the overheads of task creation and manipulation against the benefits of parallelization. In this thesis we have significatively improved an existing prototype implementation for resource usage analysis based on abstract interpretation, addressing a number of relevant challenges and overcoming many limitations it presented. The goal of that prototype was to show the viability of casting the resource analysis as an abstract domain, and howit could overcome important limitations of the state-of-the-art resource usage analysis tools. For this purpose, it was implemented as an abstract domain in the abstract interpretation framework of the CiaoPP system, PLAI.We have improved both the design and implementation of the prototype, for eventually allowing an evolution of the tool to the industrial application level. The abstract operations of such tool heavily depend on the setting up and finding closed-form solutions of recurrence relations representing the resource usage behavior of program components and the whole program as well. While there exist many tools, such as Computer Algebra Systems (CAS) and libraries able to find closed-form solutions for some types of recurrences, none of them alone is able to handle all the types of recurrences arising during program analysis. In addition, there are some types of recurrences that cannot be solved by any existing tool. This clearly constitutes a bottleneck for this kind of resource usage analysis. Thus, one of the major challenges we have addressed in this thesis is the design and development of a novel modular framework for solving recurrence relations, able to combine and take advantage of the results of existing solvers. Additionally, we have developed and integrated into our novel solver a technique for finding upper-bound closed-form solutions of a special class of recurrence relations that arise during the analysis of programs with accumulating parameters. Finally, we have integrated the improved resource analysis into the CiaoPP general framework for resource usage verification, and specialized the framework for verifying energy consumption specifications of embedded imperative programs in a real application, showing the usefulness and practicality of the resulting tool.---ABSTRACT---El Análisis de recursos tiene como objetivo inferir el coste de la ejecución de programas para cualquier entrada posible, en términos de algún recurso determinado, como pasos de ejecución, tiempo o memoria, y, más recientemente, el consumo de energía o recursos definidos por el usuario (por ejemplo, número de bits enviados a través de un socket, el número de accesos a una base de datos, cantidad de llamadas a determinados procedimientos, etc.). Ello se realiza estáticamente, es decir, sin necesidad de ejecutar los programas. La información sobre el uso de recursos resulta muy útil para una gran variedad de aplicaciones de optimización y verificación de programas, así como para asistir en el diseño de los mismos. Por ejemplo, los programadores pueden utilizar dicha información para elegir diferentes soluciones algorítmicas a un problema; los sistemas de transformación de programas pueden utilizar la información de coste para elegir entre transformaciones alternativas; los compiladores paralelizantes pueden utilizar las estimaciones de coste para realizar control de granularidad, el cual trata de equilibrar el coste debido a la creación y gestión de tareas, con los beneficios de la paralelización. En esta tesis hemos mejorado de manera significativa la implementación de un prototipo existente para el análisis del uso de recursos basado en interpretación abstracta, abordando diversos desafíos relevantes y superando numerosas limitaciones que éste presentaba. El objetivo de dicho prototipo era mostrar la viabilidad de definir el análisis de recursos como un dominio abstracto, y cómo se podían superar las limitaciones de otras herramientas similares que constituyen el estado del arte. Para ello, se implementó como un dominio abstracto en el marco de interpretación abstracta presente en el sistema CiaoPP, PLAI. Hemos mejorado tanto el diseño como la implementación del mencionado prototipo para posibilitar su evolución hacia una herramienta utilizable en el ámbito industrial. Las operaciones abstractas de dicha herramienta dependen en gran medida de la generación, y posterior búsqueda de soluciones en forma cerrada, de relaciones recurrentes, las cuales modelizan el comportamiento, respecto al consumo de recursos, de los componentes del programa y del programa completo. Si bien existen actualmente muchas herramientas capaces de encontrar soluciones en forma cerrada para ciertos tipos de recurrencias, tales como Sistemas de Computación Algebraicos (CAS) y librerías de programación, ninguna de dichas herramientas es capaz de tratar, por sí sola, todos los tipos de recurrencias que surgen durante el análisis de recursos. Existen incluso recurrencias que no las puede resolver ninguna herramienta actual. Esto constituye claramente un cuello de botella para este tipo de análisis del uso de recursos. Por lo tanto, uno de los principales desafíos que hemos abordado en esta tesis es el diseño y desarrollo de un novedoso marco modular para la resolución de relaciones recurrentes, combinando y aprovechando los resultados de resolutores existentes. Además de ello, hemos desarrollado e integrado en nuestro nuevo resolutor una técnica para la obtención de cotas superiores en forma cerrada de una clase característica de relaciones recurrentes que surgen durante el análisis de programas lógicos con parámetros de acumulación. Finalmente, hemos integrado el nuevo análisis de recursos con el marco general para verificación de recursos de CiaoPP, y hemos instanciado dicho marco para la verificación de especificaciones sobre el consumo de energía de programas imperativas embarcados, mostrando la viabilidad y utilidad de la herramienta resultante en una aplicación real.

Road to 1966 : caminos hacia "complejidad y contradicción en la arquitectura", en la cultura arquitectónica de la segunda posguerra en EE.UU

Complejidad y contradicción en la arquitectura ha resultado ser una de las referencias capitales más aludidas, citadas y reproducidas de la literatura arquitectónica de los tiempos recientes. No en vano, en la introducción de la propia obra, Vincent Scully afirmó que «probablemente es el texto más importante sobre arquitectura desde ‘Vers une Architecture’, escrito por Le Corbusier en 1923». Sin embargo, sus fuentes parece que están inexploradas o, al menos, no examinadas. Por ello, Road to 1966 se plantea como un trabajo de investigación con tres objetivos de partida fundamentales: (1) el interés en estudiar el debate arquitectónico candente, creado con las fricciones surgidas entre los protagonistas de unos años que cambiaron el estado de lo que se consideraba una obra legítima en arquitectura; (2) se pretende ampliar la cronología del desarrollo intelectual de un texto, el de Venturi, que marcó la segunda mitad del siglo xx, de manera retroactiva hasta los años de la II Guerra Mundial, cuando parece que empezaban a ser coherentes y reconocibles unas nuevas posiciones desde las que aproximarse a las cuestiones de la práctica, la teoría y la historia de la arquitectura; (3) poder ofrecer una nueva interpretación de dicho texto de Venturi, entendido no como el origen primigenio de parte de las grandes transformaciones de la arquitectura reciente (de los últimos cincuenta años), sino como el resultado necesario de esa cronología intelectual previa. La arquitectura norteamericana de estos años de posguerra ha resultado ser crucial en su posterior desarrollo, y, especialmente, en relación al libro de Venturi. De hecho, Scully en la introducción de la edición original de Complejidad y contradicción, señalaba que «el principal argumento del libro está expuesto a finales de los cincuenta». Que la arquitectura del siglo xx tiene en la Norteamérica de los años sesenta -cuando se consolida la figura de Venturi- uno de sus capítulos más decisivos, frecuentemente asumido como el paso siguiente a la importada modernidad heroica europea, hoy parece no ser discutido por casi nadie. Ahora bien: ¿qué ocurre con los años intermedios? ¿Qué acontece entre el final de la II Guerra Mundial y esos años sesenta? La posible carencia de una postura dominante y clara quizás haya sumido esta etapa en un cierto olvido o descuido por parte de historiadores y críticos. Así, este trabajo se estructura alrededor del papel que ocupa el texto venturiano, sin ser éste su único protagonista. Tomado más bien como excusa, la tesis va profundizando de manera deductiva en el conjunto de circunstancias que pudieron llevar a su autor hacia las conclusiones que desarrolló, detectando los ambientes biográficos y formativos, pensamientos compartidos e influencias epistemológicas y profesionales mutuas, que justificarían una novedosa interpretación de dicho texto como el corolario necesario de un panorama de crisis y cambios - éste sí protagonista en este trabajo-, al contrario de cómo habitualmente se ha venido entendiendo dicha obra. La investigación se centra predominantemente en el rastreo de las fuentes citadas por el propio Venturi en su libro, así como de los textos de mayor difusión (generalmente revistas profesionales no exclusivamente académicas, además de libros, catálogos de exposiciones, actas de simposios…), y no tanto en las obras construidas o proyectadas; sí, quizás, en los términos en los que dichas obras fueron publicadas, comentadas o reseñadas. Así, se ha adoptado una aproximación concebida sub specie bibliotecae, donde se han aplicado unos métodos de trabajo caracterizados por su componente cronológica, y, después, analítico-comparativa: dicho de otro modo, un método historiográfico-periodístico capaz de relacionar las historias o cursos de ciertas ideas o nociones, dentro de un contexto general más amplio en sus derivadas arquitectónicas, estéticas, socio-generacionales, culturales, filosóficas, científicas, políticas, literarias… Con ello, se pretende establecer una relectura del primer libro de Venturi y sus años de gestación desde unas nuevas concepciones, más modernas que postmodern(ist)as, proponiendo una posible evolución en la arquitectura más reciente cuyas raíces, a fin de cuentas, tendrían su origen en la Norteamérica de 1946 a 1966. ABSTRACT Complexity and Contradiction in Architecture has proved to be one of the capital, alluded references cited and reproduced in the architectural literature of the recent times. Not surprisingly, in the Introduction to the book, Vincent Scully wrote that "yet it is probably the most important writing on the making of architecture since Le Corbusier´s ‘Vers une Architecture’, of 1923". However, its sources seem to be unexplored or at least not examined. Therefore, Road to 1966 is presented as a research with three fundamental starting objectives: (1) first, the interest in studying the burning architectural debate, created within the arising frictions among the protagonists of the years that changed the status of what was considered a legitimate work in architecture; (2) second, it seeks to extend the chronology of the intellectual background of the book written by Venturi, which marked the second half of the twentieth century, in a retroactive manner to the years of the World War II, when it seems that some new positions from which to approach the issues of practice, theory and history of architecture began to be consistent and recognizable; (3) lastly, to offer a new interpretation of Venturi’s text, now understood not as the primal source of the great transformations of the recent architecture (of the last fifty years), but as the necessary result of that background intellectual chronology. The American architecture of these post-war years has proved to be crucial in its later stages, and especially in relation to the book of Robert Venturi. In fact, Scully in the Introduction to the first edition of Complexity and Contradiction, noted that "the major argument of this book was laid out in the late fifties". The fact that the architecture of the twentieth century –when the leading figure of Venturi was consolidated- has in the North America of the sixties one of its most decisive chapters, (often assumed as the next step to the imported European heroic modernism) today seems to be discussed by almost anyone. Now, what about the intervening years? What happens between the end of the World War II and the sixties? The potential lack of a clear dominant position of this stage may have plunged it into oblivion or oversight by historians and critics. Thus, this research is structured around the role that occupies Venturi’s work, whereas this is not its only subject. Rather taken as an excuse, the thesis deepens deductively in the set of circumstances that could lead its author to the conclusions he developed in 1966, detecting biographical and academic environments, shared thoughts and epistemological and mutual professional influences, that would justify a new interpretation of this book as a necessary corollary of an outlook of crisis and change (this major and center subject in this dissertation), contrary to what has been commonly understood upon this work. The research focuses predominantly on tracing the sources cited by Venturi himself in his book, as well as other texts of wider dissemination and outreach (usually professional journals not exclusively academic, as well as books, catalogs of exhibitions, symposia proceedings...), and not so much in the buildings or unbuilt projects; but also, perhaps, it is focused in the terms in which these works were published, commented or reviewed. Hence an approach conceived sub specie bibliotecae has been adopted, with working methods characterized by their chronological component, and then the analytical-comparative one: in other words, a historiographicaljournalistic method able to relate stories or courses of certain ideas or notions, within a broader general context in its architectural, aesthetic, sociological-generational, cultural, philosophical, scientific, political, literary... sides. This approach intends to establish a re-reading of Venturi’s first book and its years of gestation, from some new understandings, more modern than postmodern(ist), proposing a possible evolution of the latest architecture whose roots, after all, would have their origin in the North America of 1946-1966.

Groups, information theory, and Einstein's likelihood principle

We propose a unifying picture where the notion of generalized entropy is related to information theory by means of a group-theoretical approach. The group structure comes from the requirement that an entropy be well defined with respect to the composition of independent systems, in the context of a recently proposed generalization of the Shannon-Khinchin axioms. We associate to each member of a large class of entropies a generalized information measure, satisfying the additivity property on a set of independent systems as a consequence of the underlying group law. At the same time, we also show that Einstein's likelihood function naturally emerges as a byproduct of our informational interpretation of (generally nonadditive) entropies. These results confirm the adequacy of composable entropies both in physical and social science contexts.

Student lecture notes on the Theory & Practice of Physic, and patient case histories, of Lyman Spalding, 1795-1799 (inclusive)

Contains notes taken by Harvard student Lyman Spalding from lectures delivered by Hersey Professor of the Theory and Practice of Physic Benjamin Waterhouse (1754-1846) in 1795. The notes cover the history of medicine, theories of contemporary physicians like Herman Boerhaave, William Cullen, and John Brown, and topics like fetal growth, digestion, and circulation. The volume also contains six pages of patient case notes from Spalding’s medical practice in Walpole, New Hampshire, in 1799, which detail the patients’ symptoms and course of treatment he pursued. In the case of a young man who complained of pain in his breast following a wrestling match, Spalding bled him and prescribed a cathartic of soap and aloes. Spalding also operated on a man who cut off part of his ankle with an ax.

A generalization of Ramsey theory for graphs, with stars and complete graphs as forbidden subgraphs /

Includes bibliographical references.

A generalization of Ramsey theory for graphs /

Bibliography: p. 16.

Interval generalization of switching theory,

Includes bibliographical references.

A generalization of Ramsey theory for graphs /

Includes bibliographical references.

A history of the warfare of science with theology in christendom /

Includes bibliographical references and index.

Principles of coding, filtering, and information theory.

Includes bibliography.

From radical to banal evil: Hannah Arendt against the justification of the unjustifiable

Two central strands in Arendt's thought are the reflection on the evil of Auschwitz and the rethinking in terms of politics of Heidegger's critique of metaphysics. Given Heidegger's taciturnity regarding Auschwitz and Arendt's own taciturnity regarding the philosophical implications of Heidegget's political engagement in 1933, to set out how these strands interrelate is to examine the coherence of Arendt's thought and its potential for a critique of Heidegger. By refusing to countenance a theological conception of the evil of Auschwitz, Arendt consolidates the break with theology that Heidegger attempts through his analysis of the essential finitude of Dasein. In the light of Arendt's account of evil, it is possible to see the theological vestiges in Heidegger's ontology. Heidegger's resumption of the question concerning the categorical interconnections of the ways of Being entails an abandonment of finitude: he accommodates and tacitly justifies that which can have no human justification.

Are interactions in Gray's Reinforcement Sensitivity Theory proximal or distal in the prediction of religiosity: a test of the joint subsystems hypothesis

Gray's Reinforcement Sensitivity Theory (RST) consists of the Behavioural Activation System (BAS) which is the basis of Impulsivity, and Behavioural Inhibition System (BIS) which is the basis of Anxiety. In this study, Impulsivity and Anxiety were used as distal predictors of attitudes to religion in the prediction of three religious dependent variables (Church attendance, Amount of prayer, and Importance of church). We hypothesised that Impulsivity would independently predict a Rewarding attitude to the Church and that Anxiety would independently predict an Anxious attitude to the church, and that these attitudes would be proximal predictors of our dependent variables. Moreover, we predicted that interactions between predictors would be proximal. Using structural equation modelling, data from 400 participants supported the hypotheses. We also tested Eysenck's personality scales of Extraversion and Neuroticism and found a key path of the structural equation model to be non-significant. (C) 2003 Elsevier Ltd. All rights reserved.