Development of Multi-modal and Super-resolved Retinal Imaging Systems

Advancements in retinal imaging technologies have drastically improved the quality of eye care in the past couple decades. Scanning laser ophthalmoscopy (SLO) and optical coherence tomography (OCT) are two examples of critical imaging modalities for the diagnosis of retinal pathologies. However current-generation SLO and OCT systems have limitations in diagnostic capability due to the following factors: the use of bulky tabletop systems, monochromatic imaging, and resolution degradation due to ocular aberrations and diffraction.

Bulky tabletop SLO and OCT systems are incapable of imaging patients that are supine, under anesthesia, or otherwise unable to maintain the required posture and fixation. Monochromatic SLO and OCT imaging prevents the identification of various color-specific diagnostic markers visible with color fundus photography like those of neovascular age-related macular degeneration. Resolution degradation due to ocular aberrations and diffraction has prevented the imaging of photoreceptors close to the fovea without the use of adaptive optics (AO), which require bulky and expensive components that limit the potential for widespread clinical use.

In this dissertation, techniques for extending the diagnostic capability of SLO and OCT systems are developed. These techniques include design strategies for miniaturizing and combining SLO and OCT to permit multi-modal, lightweight handheld probes to extend high quality retinal imaging to pediatric eye care. In addition, a method for extending true color retinal imaging to SLO to enable high-contrast, depth-resolved, high-fidelity color fundus imaging is demonstrated using a supercontinuum light source. Finally, the development and combination of SLO with a super-resolution confocal microscopy technique known as optical photon reassignment (OPRA) is demonstrated to enable high-resolution imaging of retinal photoreceptors without the use of adaptive optics.

Simulation of Distributed Contact in String Instruments: a Modal Expansion Approach

Impactive contact between a vibrating string and a barrier is a strongly nonlinear phenomenon that presents several challenges in the design of numerical models for simulation and sound synthesis of musical string instruments. These are addressed here by applying Hamiltonian methods to incorporate distributed contact forces into a modal framework for discrete-time simulation of the dynamics of a stiff, damped string. The resulting algorithms have spectral accuracy, are unconditionally stable, and require solving a multivariate nonlinear equation that is guaranteed to have a unique solution. Exemplifying results are presented and discussed in terms of accuracy, convergence, and spurious high-frequency oscillations.

Epistemic Modality in Linguistic and Literature Essays in English : A comparative corpus-based study of modal verbs in student claims

This study is a corpus-based comparison between student essays written in the subject areas of English linguistics and literature at undergraduate level. They are 200 Bachelor degree theses submitted at a variety of university departments (such as English, Language and Literature, Humanities, Social and Intercultural Studies) in Sweden. The comparison concerns frequencies of core modal verbs and how often they occur together with the I, we and it subject pronouns and in the structures this/the [essay, study, project, thesis] when students attempt to communicate their personal claims. Quantitative and qualitative analyses of the essays show few similarities in the ways that core modal verbs appear in both disciplines. The results indicate mainly distinct differences, especially in relation to clusters and variation of performative verbs. Specific patterns in the ways that students use core modal verbs as hedges have also been identified.

Greece, global fault-lines and the disintegrative logics of Germany’s primacy in Europe

Post-Keynesian, heterodox and Marxist political economists have rightly argued that the eurozone crisis is not a fiscal crisis but a balance of payments crisis, mainly caused by the pivotal position of Germany in the European Monetary Union (EMU) and its neo-mercantilist model of growth (low wage, low inflation and export-led). This view, however, sees the split between core and periphery in the European Union as something created with the introduction of the EMU in 1999. This chapter contends that this is not the case. By putting forth a global fault-lines historical perspective and focusing on the case of Greece, it is argued that the problem is not the introduction of the EMU but the geopolitical and macroeconomic asymmetries between core and periphery in Europe since the inception of what vaguely – and even inaccurately – can be defined as ‘European modernity’. Global fault-lines offer a macro-historical and macroeconomic understanding of crises seen as structural events generated by the evolving and contradictory tendencies of capitalism as a world system. It is not just a political economy perspective but a perspective that encompasses many instances of the social, especially geopolitical and geocultural structures.

Behavioral equivalence of hidden k-logics: an abstract algebraic approach

This work advances a research agenda which has as its main aim the application of Abstract Algebraic Logic (AAL) methods and tools to the specification and verification of software systems. It uses a generalization of the notion of an abstract deductive system to handle multi-sorted deductive systems which differentiate visible and hidden sorts. Two main results of the paper are obtained by generalizing properties of the Leibniz congruence — the central notion in AAL. In this paper we discuss a question we posed in [1] about the relationship between the behavioral equivalences of equivalent hidden logics. We also present a necessary and sufficient intrinsic condition for two hidden logics to be equivalent.

Numerical analysis of the modal coupling at low resonances in a Colombian Andean Bandola in C using the finite element method

The work presented in this thesis is concerned with the dynamical behavior of a CBandola's acoustical box at low resonances -- Two models consisting of two and three coupled oscillators are proposed in order to analyse the response at the first two and three resonances, respectively -- These models describe the first resonances in a bandola as a combination of the lowest modes of vibration of enclosed air, top and back plates -- Physically, the coupling between these elements is caused by the fluid-structure interaction that gives rise to coupled modes of vibration for the assembled resonance box -- In this sense, the coupling in the models is expressed in terms of the ratio of effective areas and masses of the elements which is an useful parameter to control the coupling -- Numerical models are developed for the analysis of modal coupling which is performed using the Finite Element Method -- First, it is analysed the modal behavior of separate elements: enclosed air, top plate and back plate -- This step is important to identify participating modes in the coupling -- Then, a numerical model of the resonance box is used to compute the coupled modes -- The computation of normal modes of vibration was executed in the frequency range of 0-800Hz -- Although the introduced models of coupled oscillators only predict maximum the first three resonances, they also allow to study qualitatively the coupling between the rest of the computed modes in the range -- Considering that dynamic response of a structure can be described in terms of the modal parameters, this work represents, in a good approach, the basic behavior of a CBandola, although experimental measurements are suggested as further work to verify the obtained results and get more information about some characteristics of the coupled modes, for instance, the phase of vibration of the air mode and the radiation e ciency

Proof theory for hybrid(ised) logics

Hybridisation is a systematic process along which the characteristic features of hybrid logic, both at the syntactic and the semantic levels, are developed on top of an arbitrary logic framed as an institution. In a series of papers this process has been detailed and taken as a basis for a speci cation methodology for recon gurable systems. The present paper extends this work by showing how a proof calculus (in both a Hilbert and a tableau based format) for the hybridised version of a logic can be systematically generated from a proof calculus for the latter. Such developments provide the basis for a complete proof theory for hybrid(ised) logics, and thus pave the way to the development of (dedicated) proof support.

Reuse and integration of specification logics: the hybridisation perspective

Hybridisation is a systematic process along which the characteristic features of hybrid logic, both at the syntactic and the semantic levels, are developed on top of an arbitrary logic framed as an institution. It also captures the construction of first-order encodings of such hybridised institutions into theories in first-order logic. The method was originally developed to build suitable logics for the specification of reconfigurable software systems on top of whatever logic is used to describe local requirements of each system’s configuration. Hybridisation has, however, a broader scope, providing a fresh example of yet another development in combining and reusing logics driven by a problem from Computer Science. This paper offers an overview of this method, proposes some new extensions, namely the introduction of full quantification leading to the specification of dynamic modalities, and exemplifies its potential through a didactical application. It is discussed how hybridisation can be successfully used in a formal specification course in which students progress from equational to hybrid specifications in a uniform setting, integrating paradigms, combining data and behaviour, and dealing appropriately with systems evolution and reconfiguration.

Modal Control of Vibration in Rotating Machines and Other Generally Damped Systems

Second order matrix equations arise in the description of real dynamical systems. Traditional modal control approaches utilise the eigenvectors of the undamped system to diagonalise the system matrices. A regrettable consequence of this approach is the discarding of residual o-diagonal terms in the modal damping matrix. This has particular importance for systems containing skew-symmetry in the damping matrix which is entirely discarded in the modal damping matrix. In this paper a method to utilise modal control using the decoupled second order matrix equations involving nonclassical damping is proposed. An example of modal control sucessfully applied to a rotating system is presented in which the system damping matrix contains skew-symmetric components.

Modal Control of Vibration in Rotating Machines and Other Generally Damped Systems

Second order matrix equations arise in the description of real dynamical systems. Traditional modal control approaches utilise the eigenvectors of the undamped system to diagonalise the system matrices. A regrettable consequence of this approach is the discarding of residual off-diagonal terms in the modal damping matrix. This has particular importance for systems containing skew-symmetry in the damping matrix which is entirely discarded in the modal damping matrix. In this paper a method to utilise modal control using the decoupled second order matrix equations involving non-classical damping is proposed. An example of modal control successfully applied to a rotating system is presented in which the system damping matrix contains skew-symmetric components.

Introducción al análisis modal operacional

Es frecuente que las estructuras, una vez realizadas, muestren diferencias, respecto de su concepción original que, en ocasiones, pueden hacer necesaria una intervención posterior con el objetivo de corregir su comportamiento estructural. En otras ocasiones estas actuaciones se hacen necesarias como consecuencias de deterioros sufridos durante la vida útil de la estructura (daño estructural) o como consecuencia de cambios en el propio uso de la estructura. En cualquier caso, tanto en las situaciones descritas, como en muchas otras, la estructura ha de someterse a un proceso de monitorización que nos permita obtener información experimental de ciertos parámetros estructurales con los que afinar los modelos numéricos que de ellas se realizan. Esta jornada se ha estructurado en cuatro conferencias en las que investigadores de las universidades de Sevilla y Córdoba nos darán una visión divulgativa del problema, nos acercarán a alguna de sus técnicas y nos mostrarán algún caso práctico de gran interés. En la segunda conferencia, el profesor de la Universidad de Córdoba Dr. D. Rafael Castro Triguero, Ingeniero de Caminos, Canales y Puertos y con una amplia experiencia en monitorización de estructuras, mostrará las bases de alguna de estas técnicas y cómo, de la información obtenida, pueden inferirse parámetros estructurales para mejorar los modelos y/o detectar daños estructurales.

Identificación de daño en estructuras históricas mediante análisis modal operacional (OMA)

Es frecuente que las estructuras, una vez realizadas, muestren diferencias, respecto de su concepción original que, en ocasiones, pueden hacer necesaria una intervención posterior con el objetivo de corregir su comportamiento estructural. En otras ocasiones estas actuaciones se hacen necesarias como consecuencias de deterioros sufridos durante la vida útil de la estructura (daño estructural) o como consecuencia de cambios en el propio uso de la estructura. En cualquier caso, tanto en las situaciones descritas, como en muchas otras, la estructura ha de someterse a un proceso de monitorización que nos permita obtener información experimental de ciertos parámetros estructurales con los que afinar los modelos numéricos que de ellas se realizan. Esta jornada se ha estructurado en cuatro conferencias en las que investigadores de las universidades de Sevilla y Córdoba nos darán una visión divulgativa del problema, nos acercarán a alguna de sus técnicas y nos mostrarán algún caso práctico de gran interés. En la tercera conferencia, el profesor de la Universidad de Sevilla Dr. D. Víctor Jesús Compán Cardiel, Arquitecto, mostró cómo la técnica de monitorización conocida pos sus siglas en inglés OMA puede ser aplicada a estructuras antiguas, que forman parte del patrimonio, para aprender de estas estructuras y, llegado el caso, detectar daño en las mismas y poder tomar las medidas necesarias para mejorar su capacidad portante y, con ello, incrementar el tiempo por el que podremos disfrutar de estos singulares edificios.