Field guide to gendered public life : balancing the preservation of the existing vibrant public life with the improvement of the female experience

This thesis examines urban design practices in cities with long history, vibrant social cultures and complex cultural dynamics. Using Thessaloniki as a case study, it focuses on negative gendered experiences caused by some of these local cultural norms. The study aims to understand and reveal to what extent these elements have shaped and reinforced experiences in the public realm, in order to propose more gender-inclusive approaches that can sustainably coexist with the city’s features forming its vibrant public life. The research involves an analysis of the city’s built environment followed by a close investigation of the ways the city operates that offer an insight into the character of urban life and the social dynamics. Additionally, it includes documentation of the findings from research and observation, that was synthesized into a field guide providing ways for people to read the city, as well as proposing design typologies that address the issue

Review of Anna Maria Droumpouki's, Μνημεία της λήθης: Ίχνη του Β΄Παγκοσμίου Πολέμου στην Ελλάδα και στην Ευρώπη [Monuments to oblivion: traces of the Second World War in Greece and Europe]

Anna Maria Droumpouki, Μνημεία της λήθης: Ίχνη του Β΄ παγκοσμίου πολέμου στην Ελλάδα και στην Ευρώπη [Monuments to oblivion: traces of the Second World War in Greece and Europe], Athens: Polis, 2014. 512 pp

Review of Anna Maria Droumpouki's, Μνημεία της λήθης: Ίχνη του Β΄Παγκοσμίου Πολέμου στην Ελλάδα και στην Ευρώπη [Monuments to oblivion: traces of the Second World War in Greece and Europe]

Anna Maria Droumpouki, Μνημεία της λήθης: Ίχνη του Β΄ παγκοσμίου πολέμου στην Ελλάδα και στην Ευρώπη [Monuments to oblivion: traces of the Second World War in Greece and Europe], Athens: Polis, 2014. 512 pp

Διερεύνηση της εκτροπής λιγνοκυτταρινούχου μάζας από το ΕΜΑΚ Άνω Λιοσίων για παραγωγή αιθανόλης δεύτερης γενιάς

Εθνικό Μετσόβιο Πολυτεχνείο--Μεταπτυχιακή Εργασία. Διεπιστημονικό-Διατμηματικό Πρόγραμμα Μεταπτυχιακών Σπουδών (Δ.Π.Μ.Σ.) “Περιβάλλον και Ανάπτυξη

Formalising Ordinal Partition Relations Using Isabelle/HOL

This is an overview of a formalisation project in the proof assistant Isabelle/HOL of a number of research results in infinitary combinatorics and set theory (more specifically in ordinal partition relations) by Erd\H{o}s--Milner, Specker, Larson and Nash-Williams, leading to Larson's proof of the unpublished result by E.C. Milner asserting that for all $m \in \mathbb{N}$, \omega^\omega\arrows(\omega^\omega, m). This material has been recently formalised by Paulson and is available on the Archive of Formal Proofs; here we discuss some of the most challenging aspects of the formalisation process. This project is also a demonstration of working with Zermelo-Fraenkel set theory in higher-order logic

Plasma membrane disruptions with different modes of injurious mechanical ventilation in normal rat lungs

Plasma membrane disruptions are caused by excessive mechanical stress and thought to be involved in inflammatory mediator upregulation. Presently, plasma membrane disruption formation has been studied only during mechanical ventilation with large tidal volumes and limitedly to subpleural alveoli. No information is available concerning the distribution of plasma membrane disruptions within the lung or the development of plasma membrane disruptions during another modality of injurious mechanical ventilation, i.e., mechanical ventilation with eupneic tidal volume (7 mL[middle dot]kg-1) at low end-expiratory lung volume. The aim of this study is to assess whether 1) mechanical ventilation with eupneic tidal volume at low end-expiratory lung volume causes plasma membrane disruptions; and 2) the distribution of plasma membrane disruptions differs from that of mechanical ventilation with large tidal volume at normal end-expiratory lung volume. Design: Experimental animal model. Subjects: Sprague-Dawley rats. Interventions: Plasma membrane disruptions have been detected as red spots in gelatin-included slices of rat lungs stained with ethidium homodimer-1 shortly after anesthesia (control) after prolonged mechanical ventilation with eupneic tidal volume at low end-expiratory lung volume followed or not by the restoration of physiological end-expiratory lung volume and after prolonged mechanical ventilation with large tidal volumes and normal end-expiratory lung volume. Measurements and Main Results: Plasma membrane disruptions increased during mechanical ventilation at low end-expiratory lung volume, mainly at the bronchiolar level. Resealing of most plasma membrane disruptions occurred on restoration of normal end-expiratory lung volume. Mechanical ventilation with large tidal volume caused the appearance of plasma membrane disruptions, both bronchiolar and parenchymal, the latter to a much greater extent than with mechanical ventilation at low end-expiratory lung volume. The increase of plasma membrane disruptions correlated with the concomitant increase of airway resistance with both modes of mechanical ventilation. Conclusions: Amount and distribution of plasma membrane disruptions between small airways and lung parenchyma depends on the type of injurious mechanical ventilation. This could be relevant to the release of inflammatory mediators

Formalising Mathematics – in Praxis; A Mathematician’s First Experiences with Isabelle/HOL and the Why and How of Getting Started

AbstractThis is an account of a mathematician’s first experiences with the proof assistant (interactive theorem prover) Isabelle/HOL, including a discussion on the rationale behind formalising mathematics and the choice of Isabelle/HOL in particular, some instructions for new users, some technical and conceptual observations focussing on some of the first difficulties encountered, and some thoughts on the use and potential of proof assistants for mathematics.</jats:p

Proof Mining for Nonlinear Operator Theory: Four Case Studies on Accretive Operators, the Cauchy Problem and Nonexpansive Semigroups

We present the first applications of proof mining to the theory of partial differential equations as well as to set-valued operators in Banach spaces, in particular to abstract Cauchy problems generated by set-valued nonlinear operators that fulfill certain accretivity conditions. In relation to (various versions of) uniform accretivity we introduce a new notion of modulus of accretivity. A central result is an extraction of effective bounds on the convergence of the solution of the Cauchy problem to the zero of the operator that generates it. We also provide an example of an application for a specific partial differential equation. For such operators as well as for operators fulfilling the so-called $\phi$-expansivity property, again in general real Banach spaces, we give computable rates of convergence of their resolvents to their zeros. We give two applications of proof mining to nonlinear nonexpansive semigroups, analysing two completely different proofs of essentially the same statement and obtaining completely different bounds. More specifically we obtain effective bounds for the computation of the approximate common fixed points of one-parameter nonexpansive semigroups on a subset of a Banach space and (for a convex subset) we give corollaries on their asymptotic regularity with respect to Krasnoselskii's and Kuhfittig's iteration schemata. The bounds obtained in all the above works are all not only effective, but also highly uniform and of low complexity. We finally include a short comment on a different perspective of a (potential) proof-theoretic application to partial differential equations, namely a reverse mathematical study of a proof for the existence of a weak solution of the Navier-Stokes equations motivating future work