Development of a fundus camera for analysis of photoreceptor directionality in the healthy retina

The Stiles-Crawford effect (SCE) is the well-known phenomenon in which the brightness of light perceived by the human eye depends upon its entrance point in the pupil. This physiological characteristic is due to the directional sensitivity of the cone photoreceptors in the retina and it displays an approximately Gaussian dependency which is altered in a number of pathologies. Retinal imaging, a widely spread clinical practice, may be used to evaluate the SCE and thus serve as diagnostic tool. Nonetheless, its use for such a purpose is still underdeveloped and far from the clinical reality. In this project a fundus camera was built and used to assess the cone photoreceptor directionality by reflective imaging of the retina in healthy individuals. The physical and physiological implications of its development are addressed in detail in the text: the optical properties of the human eye, illumination issues, acquiring a retinal image formed by the eye, among others. A full description of the developmental process that led to the final measuring method and results is also given. The developed setup was successfully used to obtain high quality images of the eye fundus and in particular the parafoveal cone photoreceptors. The SCE was successfully observed and characterized. Even though considerable improvements could be done to the measurement method, the project showed the feasibility of using retinal imaging to evaluate the SCE thus motivating its usage in a clinical environment.

An agent based architecture to support monitoring in plug and produce manufacturing systems using knowledge extraction

In recent years a set of production paradigms were proposed in order to capacitate manufacturers to meet the new market requirements, such as the shift in demand for highly customized products resulting in a shorter product life cycle, rather than the traditional mass production standardized consumables. These new paradigms advocate solutions capable of facing these requirements, empowering manufacturing systems with a high capacity to adapt along with elevated flexibility and robustness in order to deal with disturbances, like unexpected orders or malfunctions. Evolvable Production Systems propose a solution based on the usage of modularity and self-organization with a fine granularity level, supporting pluggability and in this way allowing companies to add and/or remove components during execution without any extra re-programming effort. However, current monitoring software was not designed to fully support these characteristics, being commonly based on centralized SCADA systems, incapable of re-adapting during execution to the unexpected plugging/unplugging of devices nor changes in the entire system’s topology. Considering these aspects, the work developed for this thesis encompasses a fully distributed agent-based architecture, capable of performing knowledge extraction at different levels of abstraction without sacrificing the capacity to add and/or remove monitoring entities, responsible for data extraction and analysis, during runtime.

Rely-guarantee protocols for safe interference over shared memory

Mutable state can be useful in certain algorithms, to structure programs, or for efficiency purposes. However, when shared mutable state is used in non-local or nonobvious ways, the interactions that can occur via aliases to that shared memory can be a source of program errors. Undisciplined uses of shared state may unsafely interfere with local reasoning as other aliases may interleave their changes to the shared state in unexpected ways. We propose a novel technique, rely-guarantee protocols, that structures the interactions between aliases and ensures that only safe interference is possible. We present a linear type system outfitted with our novel sharing mechanism that enables controlled interference over shared mutable resources. Each alias is assigned separate, local roles encoded in a protocol abstraction that constrains how an alias can legally use that shared state. By following the spirit of rely-guarantee reasoning, our rely-guarantee protocols ensure that only safe interference can occur but still allow many interesting uses of shared state, such as going beyond invariant and monotonic usages. This thesis describes the three core mechanisms that enable our type-based technique to work: 1) we show how a protocol models an alias’s perspective on how the shared state evolves and constrains that alias’s interactions with the shared state; 2) we show how protocols can be used while enforcing the agreed interference contract; and finally, 3) we show how to check that all local protocols to some shared state can be safely composed to ensure globally safe interference over that shared memory. The interference caused by shared state is rooted at how the uses of di↵erent aliases to that state may be interleaved (perhaps even in non-deterministic ways) at run-time. Therefore, our technique is mostly agnostic as to whether this interference was the result of alias interleaving caused by sequential or concurrent semantics. We show implementations of our technique in both settings, and highlight their di↵erences. Because sharing is “first-class” (and not tied to a module), we show a polymorphic procedure that enables abstract compositions of protocols. Thus, protocols can be specialized or extended without requiring specific knowledge of the interference produce by other protocols to that state. We show that protocol composition can ensure safety even when considering abstracted protocols. We show that this core composition mechanism is sound, decidable (without the need for manual intervention), and provide an algorithm implementation.

A internet e o sistema de justiça

The subject of study of this Thesis aims to highlight and recognize as an object of reflection the undoubted relationship between the Internet and the Justice System, based on the issue of digital evidence. The simultaneously crossing of the juridical-legal implications and the more technical computer issues is the actual trigger for the discussion of the issues established. The Convention on Cybercrime of the Council of Europe of 23rd November 2001 and the Council Framework Decision n.° 2005/222/JHA of 24th February 2005 were avant-garde in terms of the international work about the crimes in the digital environment. In addition they enabled the harmonization of national legislations on the matter and, consequently, a greater flexibility in international judicial cooperation. Portugal, in compliance with these international studies, ratified, implemented and approved Law n. º 109/2009 of 15th September concerning the Cybercrime Act, establishing a more specific investigation and collection of evidence in electronic support when it comes to combating this type of crime, as it reinforced the Substantive Criminal Law and Procedural Nature. Nevertheless, the constant debates about the New Technologies of Information and Communication have not neglected the positive role of these tools for the user. However, they express a particular concern for their counterproductive effects; a special caution prevails on the part of the judge in assessing the digital evidence, especially circumstantial evidence, due to the its fragility. Indisputably, the practice of crimes through the computer universe, given its inexorable technical complexity, entails many difficulties for the forensic investigation, since the proofs hold temporary, changeable, volatile, and dispersed features. In this pillar, after the consummation of iter criminis, the Fundamental Rights of the suspects may be debated in the course of the investigation and the construction of iter probatorium. The intent of this Thesis is to contribute in a reflective way on the issues presented in order to achieve a bigger technical and legal awareness regarding the collection of digital proof, looking for a much lighter approach to its suitability in terms of evidentiary value.

Arshile Gorky: An Armenian in New York

Born in Armenia, the oldest Christian country in the world but nevertheless one of the youngest reinstated republics (1991) after the collapse of the Soviet Union, Arshile Gorky flew to the United States in 1920, where he chose to reinvent himself in the struggle to become an artist. This reinvention meant the creation of a persona with, or behind, which Gorky kept alive the artistic flame inside himself. Gorky became one of the most learned voices lecturing on contemporary European modernist artists and movements of the late nineteenth and early twentieth centuries in the United States (New York) without ever visiting Europe. Moreover, he was able to survive the traumatic events he underwent during the Armenian Genocide (1915-1919) to adapt to his new country and identity, to live through the years of the Depression and, eventually, to become the protagonistof a major artistic breakthrough. This paper proposes an insight into the experience of life and frame of work of this Armenian-American artist, whose simultaneously rich, traumatic, dislocated and reenacted life and work established one of the most fertile links between his middle‑eastern origins, his dreamed of Europe and the particular transit of his American artistic creation.

Professores realistas: mais eficazes e otimistas

A indisciplina na sala de aula prejudica o ensino e a aprendizagem sendo uma das principais causas do mal-estar dos professores, roubando-lhes energia e tempo conduzindo, muitos deles, à exaustão física e emocional e apresenta-se como um sério problema quer para professores principiantes, quer para professores experientes. A análise do ensino na perspetiva interpessoal possibilita uma nova visão sobre o ambiente de aprendizagem, nomeadamente no que se refere à relação professor-aluno. Nesta perspetiva, o enfoque dirige-se para a análise das perceções dos alunos sobre o comportamento do professor e o impacto que o mesmo tem sobre os alunos. Além de que, ao considerar-se a turma como um sistema deve ter-se em conta que o comportamento não pode ser visto como uma característica da pessoa mas, sim, como uma característica do sistema formado por aqueles que estão envolvidos na interação comunicacional. Analisar as interações comunicacionais à luz da pragmática da comunicação e dos seus cinco axiomas apresenta-se como um poderoso quadro clarificador de muitos dos comportamentos ditos disruptivos, possibilitando aos professores um “novo olhar” sobre o seu papel enquanto gestores da sala de aula. A formação realista de professores apresenta-se como uma estratégia com efeitos muito positivos uma vez que possibilita e ajuda-os a compreenderem o processo de circularidade característico da turma vista como um sistema. Por outro lado, permite evidenciar a impossibilidade dos professores de solucionarem os problemas disciplinares culpabilizando os alunos. Dito de outro modo, a formação realista conduz os professores a um (re) equacionar das suas práticas encorajando-os a selecionarem um comportamento interpessoal mais adequado. No 1º e 3º período letivo, os professores participantes (N= 15) responderam ao Questionário de Interação do Professor (Q.I.P.) e ao Questionário do Otimismo Académico (Q.O.A.) composto por três subescalas: Autoeficácia, Confiança nos alunos e famílias e Ênfase académica. Paralelamente, foram gravadas em suporte vídeo quatro aulas de cada professor, referentes a duas turmas selecionadas previamente pelos mesmos. Após a observação das suas aulas refletiram por escrito aquilo que observaram. No 2º período, participaram numa ação de formação intitulada “Ecologia da sala de aula: relacionamento interpessoal professor-aluno e a criação de ambientes de aprendizagem positivos” baseada no modelo realista de formação de professores. Desta formação resultou um conjunto de relatórios reflexivos que tiveram por objetivo desenvolver nos participantes a sua competência reflexiva, questionarem crenças tidas como inquestionáveis e otimizar a relação professor-aluno. A partir dos resultados obtidos pode afirmar-se que: 1) verificou-se um aumento no otimismo académico e no sentimento de autoeficácia; 2) observou-se um impacto nas conceções prévias, bem como no contexto organizacional.