Mathematical Logic: Proof theory, Constructive Mathematics

The workshop “Mathematical Logic: Proof Theory, Constructive Mathematics” was centered around proof-theoretic aspects of current mathematics, constructive mathematics and logical aspects of computational complexit

Fibred contextual quantum physics

Inspired by the recast of the quantum mechanics in a toposical framework, we develop a contextual quantum mechanics via the geometric mathematics to propose a quantum contextuality adaptable in every topos. The contextuality adopted corresponds to the belief that the quantum world must only be seen from the classical viewpoints à la Bohr consequently putting forth the notion of a context, while retaining a realist understanding. Mathematically, the cardinal object is a spectral Stone bundle Σ → B (between stably-compact locales) permitting a treatment of the kinematics, fibre by fibre and fully point-free. In leading naturally to a new notion of points, the geometricity permits to understand those of the base space B as the contexts C — the commutative C*–algebras of a incommutative C*–algebras — and those of the spectral locale Σ as the couples (C, ψ), with ψ a state of the system from the perspective of such a C. The contexts are furnished with a natural order, the aggregation order which is installed as the specialization on B and Σ thanks to (one part of) the Priestley's duality adapted geometrically as well as to the effectuality of the lax descent of the Stone bundles along the perfect maps

Sensitivity of metabolic networks

In this thesis we present a comprehensive analysis of sensitivity of metabolic chemical reaction networks, with general kinetics. Sensitivity studies the network response to perturbations. We consider local perturbations of the network components - metabolite concentrations or reaction rates - at a dynamical equilibrium. We investigate the responses in the network, both of the metabolite concentrations and of the reaction fluxes. Firstly, we describe which components of the network respond, at all. Secondly, we analyze whether their responses are positive, negative, or whether the sign depends on the parameters of the system. Sign changes of the Jacobian determinant play an important overall role both in sensitivity analysis and in the bifurcation of equilibria. The first part of this thesis distinguishes reaction network Jacobians with constant sign from the bifurcation case, where that sign depends on specific values of reaction rates. Our approach is purely qualitative, rather than quantitative. In fact, our analysis is based, solely, on the stoichiometry of the reaction network. We do not require any quantitative information on the reaction rates. Instead, the description is done only in algebraic terms, and the only data required is the network structure. Biological applications include detection of multistationarity, enzyme knock-out experiments, and metabolic control.In dieser Arbeit präsentieren wir eine umfassende Sensitivitätsanalyse metabolischer Reaktionsnetzwerke mit allgemeiner Kinetik. Sensitivitätsanalyse meint hier das systematische Studium der Veränderung des Netzwerkkomponenten durch Störungen. Wir betrachten lokale Störungen eines dynamischen Gleichgewichts, das heißt, Störungen der Metabolitenkonzentrationen bzw. der Reaktionsgeschwindigkeiten. Wir untersuchen die resultierenden Veränderung der Metabolitenkonzentrationen als auch die der Reaktionsflüsse. Zunächst beschreiben wir, auf welche Komponenten des Netzwerks überhaupt eingewirkt wird. Zweitens analysieren wir, ob das Vorzeichen der Veränderung von den Parametern des Systems abhängt. Dabei spielen Vorzeichenänderungen der Jacobi-Determinante des Netzwerks eine wichtige Rolle, sowohl bei der Sensitivitätsanalyse als auch bei der Bifurkation von Gleichgewichten. Der erste Teil dieser Arbeit unterscheidet den Fall des konstanten Vorzeichens vom Bifurkationsfall, bei dem das Vorzeichen von den Werten der Reaktionsgeschwindigkeiten abhängt. Unser Ansatz ist eher qualitativ als quantitativ. Tatsächlich basiert unsere Analyse ausschließlich auf der Stöchiometrie des Reaktionsnetzwerks. Quantitative Angaben zu den Reaktionsgeschwindigkeiten sind nicht erforderlich. Stattdessen erfolgt die Beschreibung in rein algebraischen Begriffen, welche nur die Kenntnis der Netzwerkstruktur erfordern. Biologische Anwendungen umfassen den Nachweis von Multistationarität, Enzym-Knock-Out-Experimente und die Stoffwechselkontrolle

Discrete Time Systems

Discrete-Time Systems comprehend an important and broad research field. The consolidation of digital-based computational means in the present, pushes a technological tool into the field with a tremendous impact in areas like Control, Signal Processing, Communications, System Modelling and related Applications. This book attempts to give a scope in the wide area of Discrete-Time Systems. Their contents are grouped conveniently in sections according to significant areas, namely Filtering, Fixed and Adaptive Control Systems, Stability Problems and Miscellaneous Applications. We think that the contribution of the book enlarges the field of the Discrete-Time Systems with signification in the present state-of-the-art. Despite the vertiginous advance in the field, we also believe that the topics described here allow us also to look through some main tendencies in the next years in the research area

Applicazioni di analisi ordinale: il teorema di Kruskal.

Si fornisce una caratterizzazione del teorema di Kruskal con la tecnica dell'analisi ordinale, uno dei principali strumenti della teoria della dimostrazione

The impact of content and language integrated learning (CLIL) on Valencian secondary education students' English language acquisition and academic achievement: a case study

El principal objeto de la presente investigación ha sido el de aportar nuevos datos sobre los efectos del enfoque metodológico AICLE (Aprendizaje Integrado de Contenidos y Lenguas Extranjeras) en el contexto plurilingüe de la Comunitat Valenciana. Esta tesis doctoral desarrolla un estudio longitudinal con un diseño de investigación cualitativo y cuantitativo con tres grupos de alumnos, sus profesores y sus familias. Los primeros cuatro capítulos presentan una detallada revisión de literatura que incluye una retrospectiva sobre la metodología de la enseñanza de segundas lenguas y la aparición del AICLE en el contexto europeo. Se ofrece una caracterización pormenorizada del enfoque metodológico con sus puntos fuertes y débiles, y se presta especial atención a sus antecedentes: los modelos canadiense y americano. La última parte de la revisión bibliográfica aporta una amplia panorámica de las más relevantes publicaciones europeas sobre AICLE, haciendo hincapié en los estudios centrados en nuestro país. En ella puede apreciarse cómo la inmensa mayoría de las investigaciones llevadas a cabo en el continente en diferentes niveles educativos aprueba esta metodología. En sus resultados, la superioridad de los grupos experimentales AICLE en el idioma extranjero y el aprendizaje de contenido respecto a los grupos de control es prácticamente una constante. Sin embargo, un grupo cada vez más numeroso de voces críticas ha reaccionado ante este excesivo optimismo inicial y ha puesto de relieve la escasez de estudios AICLE verdaderamente fiables, especialmente los empíricos y de naturaleza cuantitativa. Los principales problemas que afectan a muchas investigaciones abarcan desde trabajar con muestras numérica y geográficamente reducidas hasta no incluir triangulación ni considerar el efecto de importantes variables moderadoras. Asimismo, se espera que los estudios utilicen instrumentos previamente validados, garanticen la homogeneidad de la muestra y lleven a cabo los necesarios análisis estadísticos para no sólo descubrir si las diferencias entre grupos son significativas, sino para determinar si las mejoras halladas pueden realmente atribuirse al programa AICLE. En este contexto de renovado interés por un estudio mejor fundamentado del AICLE se enmarca el presente trabajo de investigación, que tratará de abordar las mencionadas cuestiones ofreciendo un informe metodológicamente riguroso sobre los efectos del programa AICLE en un centro público valenciano. El quinto capítulo establece los objetivos, las preguntas de investigación y justifica el estudio. Describe además de forma detallada el método, incluyendo la muestra y los instrumentos utilizados para la recolección de datos y su posterior análisis estadístico. La muestra de la parte cuantitativa de la investigación involucra a 63 alumnos provenientes de tres clases de 4º de Educación Secundaria Obligatoria (ESO): el grupo experimental AICLE (público) y los grupos de control que estudian inglés como lengua extranjera o ILE (público y concertado). Por otro lado, la muestra cualitativa comprende 68 informantes que participan directa o indirectamente en el programa AICLE implementado en el centro público. Los estudiantes representan el 67,6% de la muestra cuantitativa, sus padres constituyen el 22,1% de la misma y los profesores el restante 10,3%. En lo que respecta a los objetivos de la tesis, el primero consiste en recabar información sobre la satisfacción generada por el programa plurilingüe en los participantes del mismo a todos los niveles curriculares y organizativos (competencias, métodos, materiales y recursos, evaluación, formación del profesorado, programas de movilidad, carga de trabajo). El segundo objetivo es cuantificar el desarrollo de la competencia lingüística en inglés de los alumnos y analizar el impacto del AICLE en su nivel de gramática, vocabulario y destrezas productivas (habla y escritura) y receptivas (escucha y lectura), además de evaluar la duración de estos efectos. Finalmente, nuestro tercer objetivo se centra en valorar el impacto del programa AICLE en el rendimiento escolar de los estudiantes, concretamente en las asignaturas de lengua española, valenciano o lengua autonómica y la asignatura AICLE de Ética

Women’s occupational mobility in the Nigerian service sector through a radical feminist perspective

A thesis submitted in partial fulfilment of the requirements of the University of Wolverhampton for the Degree of Doctor of Philosophy.The impact of women’s contribution and participation in society and its economies has been theorised to contribute trillion dollars to global GDP. There is extensive research and literature that has contextualised and developed our understanding of the marginalisation of women in our societies to advocate for gender equality as the United Nations’ 5th Sustainable Development Goal of Gender Equality is also essential in achieving other sustainable development goals. To contribute to the growing empirical study within the context of Sub-Sahara Africa with a particular focus on Nigeria, this study investigates the impact of institutionalisation of organisational practices in the leadership experience and participation of women in the service sector. Through a radical feminist perspective, a deconstructive analysis of the Nigerian context was conducted on the culture of Nigeria and its influence on organisational culture and the adoption of leadership styles. Focus groups and semi-structured interviews were conducted with 31 women in the service sector in entry-level, middle-management and leadership positions across three industries: financial institutions, Information, Communication and Technology (ICT), and Higher Education. The findings revealed the relationship between the dimensions of institutional theory and women's experience. They shed light on the institutional void and the barriers to women’s occupational mobility and full economic participation. Most importantly, the outcome of this investigation documents critical recommendations for organisations, women, and NGOs to consider how to change cultural mindsets within the service sector. The call for organisations is to be deliberate in identifying barriers and initiating a strategy to tackle those barriers with a ten-part monitoring and evaluation toolkit