History of Art and Art Criticism: A System in Crisis

This article aims to reconstruct the critical debate regarding the examination of the crisis in the disciplines of art history and criticism with a particular focus on the proposal formulated by U.S. theorists who contributed to October journal. The discrediting of many modernist critical methods, particularly that of Clement Greenberg – the formalist diktat – marked the birth of the journal and gave rise to proposals set forth by critics committed to a new approach. Their divergent positions, nonetheless, have contributed to undermining the traditional concepts of the autonomy of art and criticism. The proposals discussed over the course of publication were the result of a reappraisal of the disciplinary instruments of art history and criticism pursuant to the crucial cultural changes which took place in the 1980s.

Therapeutics bioconjugates: evaluation of iminoboronates as payload delivery system for cancer

The advent of bioconjugation impacted deeply the world of sciences and technology. New biomolecules were found, biological processes were understood, and novel methodologies were formed due to the fast expansion of this area. The possibility of creating new effective therapies for diseases like cancer is one of big applications of this now big area of study. Off target toxicity was always the problem of potent small molecules with high activity towards specific tumour targets. However, chemotherapy is now selective due to powerful linkers that connect targeting molecules with affinity to interesting biological receptors and cytotoxic drugs. This linkers must have very specific properties, such as high stability in plasma, no toxicity, no interference with ligand affinity nor drug potency, and at the same time, be able to lyse once inside the target molecule to release the therapeutic warhead. Bipolar environments between tumour intracellular and extracellular medias are usually exploited by this linkers in order to complete this goal. The work done in this thesis explores a new model for that same task, specific cancer drug delivery. Iminoboronates were studied due to its remarkable selective stability towards a wide pH range and endogenous molecules. A fluorescence probe was design to validate this model by creating an Off/On system and determine the payload release location in situ. A process was optimized to synthetize the probe 8-(1-aminoethyl)-7-hydroxy-coumarin (1) through a reductive amination reaction in a microwave reactor with 61 % yield. A method to conjugate this probe to ABBA was also optimized, obtaining the iminoboronate in good yields in mild conditions. The iminoboronate model was studied regarding its stability in several simulated biological environments and each half-life time was determined, showing the conjugate is stable most of the cases except in tumour intracellular systems. The construction of folate-ABBA-coumarin bioconjugate have been made to complete this evaluation. The ability to be uptaken by a cancer cell through endocytosis process and the conjugation delivery of coumarin fluorescence payload are two features to hope for in this construct.

A type system for value-dependent information flow analysis

Information systems are widespread and used by anyone with computing devices as well as corporations and governments. It is often the case that security leaks are introduced during the development of an application. Reasons for these security bugs are multiple but among them one can easily identify that it is very hard to define and enforce relevant security policies in modern software. This is because modern applications often rely on container sharing and multi-tenancy where, for instance, data can be stored in the same physical space but is logically mapped into different security compartments or data structures. In turn, these security compartments, to which data is classified into in security policies, can also be dynamic and depend on runtime data. In this thesis we introduce and develop the novel notion of dependent information flow types, and focus on the problem of ensuring data confidentiality in data-centric software. Dependent information flow types fit within the standard framework of dependent type theory, but, unlike usual dependent types, crucially allow the security level of a type, rather than just the structural data type itself, to depend on runtime values. Our dependent function and dependent sum information flow types provide a direct, natural and elegant way to express and enforce fine grained security policies on programs. Namely programs that manipulate structured data types in which the security level of a structure field may depend on values dynamically stored in other fields The main contribution of this work is an efficient analysis that allows programmers to verify, during the development phase, whether programs have information leaks, that is, it verifies whether programs protect the confidentiality of the information they manipulate. As such, we also implemented a prototype typechecker that can be found at http://ctp.di.fct.unl.pt/DIFTprototype/.

Developing a gamification system to increase customer lifetime value at MyGon

There have never been so many touch points between companies and consumers as there are today, which paradoxically makes it very challenging for companies to be able to retain and engage customers. Gamification is a strategy used by a large number of companies to increase customer engagement and customer lifetime value. This work aims at developing a gamification system for MyGon, a Portuguese startup working in the market of discounts and experiences. In addition to examining the literature concerning gamification, its elements and characteristics, recommendations were developed for addressing MyGon’s business goals of increasing conversion and customer engagement. The gamification mechanisms suggested include badges, missions, points, leaderboards and levels.