cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Risky and rushed public crack cocaine smoking : the potential for supervised inhalation facilities
Creators: name: Voon, Pauline
name: Ti, Lianping
name: Dong, Huiru
name: Milloy, M-J
name: Wood, Evan
name: Kerr, Thomas
name: Hayashi, Kanna
Publisher: name: The University of British Columbia
Year: 2017

description: Background Despite the multitude of public health and community harms associated with crack cocaine use, little is known about factors associated with smoking crack in public and related risks such as rushed public crack smoking. Methods Data were derived from two prospective cohort studies of people who use illicit drugs in Vancouver, Canada between 2010 and 2014. Multivariable generalized estimating equations were used to identify the prevalence and correlates of public crack smoking and rushed public crack smoking. Results In total, 1085 participants who had smoked crack in the prior six months were eligible for the analysis, of which 379 (34.9 %) reported always or usually smoking crack in public in the previous six months at some point during the study period. Factors positively and independently associated with public crack smoking included public injection drug use (adjusted odds ratio [AOR]: 5.42, 95 % confidence interval [CI]: 3.76-7.82), homelessness (AOR: 3.48, 95 % CI: 2.77-4.36), at least daily crack use (AOR: 2.69, 95 % CI: 2.19-3.31), crack pipe sharing (AOR: 1.98, 95 % CI: 1.60-2.46), drug dealing (AOR: 1.59, 95 % CI: 1.30-1.94), recent incarceration (AOR: 1.47, 95 % CI: 1.09-1.98), noticing police presence when buying or using drugs (AOR: 1.30, 95 % CI: 1.06-1.60), and younger age (AOR: 1.03, 95 % CI: 1.01-1.04). Rushed public crack smoking, which was reported by 216 (28.8 %) of 751 participants who had smoked crack in public at least once during the study period, was positively and independently associated with homelessness (AOR: 2.61, 95 % CI: 1.96-3.49), at least daily crack use (AOR: 1.48, 95 % CI: 1.11-1.98), crack pipe sharing (AOR: 1.44, 95 % CI: 1.10-1.89), drug dealing (AOR: 1.39, 95 % CI: 1.04-1.86), and younger age (AOR: 1.02, 95 % CI: 1.01-1.04). Conclusions A high prevalence of public crack smoking and rushed public crack smoking was observed in this setting. These findings point to the need for implementing and evaluating evidence-based public health interventions, such as supervised inhalation facilities, to reduce the risks and harms associated with smoking crack in public.
Exploring the Intersection of Nanotechnology and Healthcare: Insights from a Research Exchange in Bulgaria
Creators: name: Jyräkoski, Taina
name: Huhtasalo, Jenni
name: Ivanov, Evgeni
Publisher: name: Zenodo
Year: 2025

description: At first glance, nanotechnology may appear unrelated to the daily practices of healthcare professionals. When we were sent on a research exchange hosted by NanoTech Lab Ltd. (Research & Development of Nanomaterials and Nanotechnologies Ltd.) in Bulgaria, the initial experience was both overwhelming and thought-provoking. However, as we explored the intersection of nanotechnology and healthcare during our two-week project secondment (Figure 1), we discovered unexpected synergies and opportunities for collaboration across these fields. This article reflects on our experiences and discusses the emerging possibilities at the convergence of healthcare and nanotechnology.
Hoffnung für die Demokratie? Die Regierung Singapurs ist längst zur Repression früherer Jahre zurückgekehrt
Creators: name: Jordan, Rolf
Publisher: name: südostasien – Zeitschrift für Politik • Kultur • Dialog
Year: 2018

description: Am 16. Dezember 2006 wurde Chee Soon Juan, Vorsitzender der Singapore Democratic Party (SDP) und einer der führenden Oppositionspolitiker Singapurs, nach mehrwöchiger Haft aus dem Gefängnis entlassen.
description: südostasien – Zeitschrift für Politik • Kultur • Dialog, Bd. 23 Nr. 1 (2007): Der fremde Freund – Südostasien und Europa
Zielgerade Wissensgesellschaft – Deutschland und Singapur: Von überraschenden Parallelen und Unterschieden
Creators: name: Hornidge, Anna-Katharina
Publisher: name: südostasien – Zeitschrift für Politik • Kultur • Dialog
Year: 2018

description: Ist es möglich, dass zwei so unterschiedliche Länder wie Deutschland und Singapur – ein europäischer, föderaler Flächenstaat und ein südostasiatischer, zentralorganisierter Stadtstaat – im Streben nach ökonomischer Entwicklung mittels Wissen und der Konstruktion von Wissensgesellschaften sich zunehmend ähneln?
description: südostasien – Zeitschrift für Politik • Kultur • Dialog, Bd. 23 Nr. 1 (2007): Der fremde Freund – Südostasien und Europa
Space debris state estimation onboard a chaser spacecraft
Creators: name: Barbier, Thomas
Publisher: name: University of Surrey
Year: 2023

description: The increasing amount of space debris is posing a serious threat to the sustainable use of
description: space. ADR is a promising solution that involves capturing and disposing of debris using
description: a chaser spacecraft. The success of such missions depends on accurate relative navigation
description: between the chaser and the debris. In the case of an unknown and uncooperative piece of
description: debris, relative pose determination is not possible as no reference is available beforehand.
description: This thesis proposes an onboard software architecture for estimating the shape and state
description: of an unknown space debris, as well as for tracking it, using features detected in the
description: image and the associated depth.

description:

description: The backend, responsible for performing the estimation, is first introduced. An ESKF
description: is used to estimate the chaser trajectory and attitude, as well as the target shape in an
description: arbitrarily fixed target frame. Next, GPs algorithm is applied to model the rotational
description: dynamics of the debris, enabling an accurate attitude propagation independently of its
description: tumbling mode. Finally, a second ESKF is instantiated using existing knowledge to track
description: the position and attitude of the target.

description:

description: The thesis then presents the front-end, responsible for processing images and associating
description: depth data to retrieve and track salient features between images. The commonly
description: used gradient corner detectors and KLT trackers are employed to perform these operations.
description: The implementation of a reliable loop-closure mechanism motivates the development
description: of a meta-matcher consensus algorithm, leading to a drastic decrease in false
description: positive matching compared to commonly used feature-matching algorithms.

description:

description: The entire pipeline, including the front-end and back-end, is then tested on images
description: and depth data generated using a software simulator and a robotic testbed specifically
description: adapted for this work.
An off-grid solar system for rural village implementation in East Malaysia
Creators: name: Wong, Sze Yie
Publisher: name: Swinburne
Year: 2024

description: The design-and-build stages on the Long Beruang Solar Project from design phase to final implementation are reported in this thesis, with its sustainability discussed and reviewed. Long Beruang is a rural Penan village located in inland Sarawak, East Malaysia. The Long Beruang Solar Project is a 54 kWp solar power system which is implemented and monitored by the Public Works Department of Sarawak under the Stimulus Rural Electrification Projects. It is a community-based project, where villagers were fully involved in the building of power house, assembly of system components and the routine maintenance after project implementation. Actual load profiles of the village were recorded to examine the power usage pattern: the first load profile was collected in December 2010 (eight months after the project implementation); on the other hand, the second load profile was collected in March 2012 (twenty-three months after the project implementation). It is found that in the period of fifteen months, the daily energy consumption has increased by 257% and peak load growth has increased by 223%. The environmental and economic impact of this project is scrutinized in terms of CO2 emissions and annual electricity payable, in comparison to two other presumed scenarios in which the village is either generated by Diesel-Generator or by grid. This thesis also contributed to the insufficient solar radiation data available for the state of Sarawak. With this intention, this thesis proposed suitable empirical models to estimate monthly-averaged daily terrestrial solar radiation for the two towns in Sarawak: Kuching and Miri. The Angstrom-Prescott model performed best for Kuching whereas for Miri, Cloudiness model is recommended. For Long Beruang, an Angstrom-Prescott model is proposed for the current stage of this research. Additional sampling, however, maybe required to produce a model with much higher accuracy for future work.
title: Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts, Bd. 41 Nr. 2 (1963)
title: Bd. 41 Nr. 2 (1963)
titleType: AlternativeTitle
Creators: name: Germania : Anzeiger Der Römisch-Germanischen Kommission Des Deutschen Archäologischen Instituts
Publisher: name: Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts
Year: 2022

description: Verfasserverzeichnis der Bibliothekszugänge...483-500 Zugänge der Bibliothek...431-482
Nachrichten
Creators: name: Röttger, Britta
Publisher: name: südostasien – Zeitschrift für Politik • Kultur • Dialog
Year: 2018

description: Nachrichten aus der Region.
description: südostasien – Zeitschrift für Politik • Kultur • Dialog, Bd. 23 Nr. 1 (2007): Der fremde Freund – Südostasien und Europa
Non-markovian quantum brownian motion.
Creators: name: Werren, Nicholas
Publisher: name: University of Surrey
Year: 2020
Subjects: Memory
effects
quantum
biology
physics
doctoral research training centre
surrey
rocco
al-khalili
werren

description: We develop a non-Markovian extension to the caldeira-leggett master equation for quantum Brownian motion by using the timescale of the bath as a small parameter around which to perform a perturbative expansion. This framework allows us to deal directly with the time non-locality of the non-Markovian regime. We derive an exact description of the evolution of the reduced density matrix and obtain a new quantum master equa- tion with non-Markovian corrections added perturbatively to the standard Lindblad form. The resulting simulations show new dynamics and a strong deviation from Markovian behaviour. We observe that quantum coherences survive far longer than in the Marko- vian limit. In particular, when the system is fully non-Markovian, quantum phenomena experience a form of decoherence that behaves functionally like an inverse-power law. These results may have important implications in quantum technologies and biology as they suggest environments can be engineered to support long-lived quantum coherence.
Exploring Parent Experiences when Paediatric Brain Tumour Survivors Enter Adolescence and Young Adulthood
Creators: name: HOULDSWORTH, CERI
Publisher: name: University of Surrey
Year: 2021

description: Purpose: Paediatric brain tumours significantly impact not just the individual diagnosed but the entire family. Parents often assume the responsibility of caring for and supporting survivors well into adulthood, yet the long term impact the tumour has on them remains relatively unknown. Adolescence is a particularly important stage of development, in which individuals are expected to increase autonomy and reduce their reliance on parents. However, the literature suggests the late effects of the brain tumour may make this transition more difficult, both practically and emotionally, for survivors. This study aimed to explore the experiences of parents as their child grows older and enters this new phase of life. Methods: Six parents (five mothers and one father) of paediatric brain tumour survivors aged between 15 and 20 years old were interviewed individually. The transcripts were analysed using Interpretative Phenomenological Analysis (IPA). Results: One superordinate theme, ‘achieving a balance’, was identified. This overarching theme reflects the internal conflicts parents experienced following their child’s brain tumour. Four subordinate themes were identified: ‘my needs vs. my child’s’; ‘autonomy vs. protection’; ‘expectation vs. reality’; and ‘my unwell child’s needs vs. other family members needs’. Whilst parents described achieving a greater balance in some of these areas with time, adolescence brought new challenges for parents. Conclusion: Parents of paediatric brain tumour survivors experience unique challenges as their child reaches adolescence. Families may benefit from additional support from professionals at this transition point. Suggestions for future research are outlined.
The relationship between perfectionism and quality of life in people with irritable bowel syndrome (IBS).
Creators: name: Reville, Hannah
Publisher: name: University of Surrey
Year: 2020

description: Objectives: The aim of this study is to investigate the relationship between perfectionism and quality of life in people with Irritable Bowel Syndrome (IBS). It was hypothesised that people with IBS who score highly on perfectionism will experience a poor quality of life, and that perseverative thinking will mediate this relationship. Methods: A quantitative cross-sectional design was used. Online questionnaires were completed by 418 adults with a diagnosis of IBS. Perfectionism was measured using Hewitt & Flett’s Self-Orientated and Socially Prescribed Perfectionism subscales. Other measures included The Perseverative Thinking Questionnaire and IBS Quality of Life. Correlational and regression analyses were performed in SPSS and mediation analyses using Hayes PROCESS for bootstrapping. Results: Self-Orientated and Socially Prescribed Perfectionism were both found to predict poorer IBS quality of life. Perseverative thinking was found to mediate the relationship between both dimensions of perfectionism and IBS quality of life. Moreover, these associations remained after accounting for the effects of age, gender, comorbidity and duration of IBS. Conclusions: People with IBS who have elevated levels of perfectionism are likely to suffer poorer quality of life, and this is mediated through perseverative thinking. This suggests perfectionism and perseverative thinking are possible perpetuating factors of IBS. Clinicians should consider specifically assessing and targeting these areas for intervention among people with IBS.
Nachrichten
Creators: name: Pauls, Sarah
Publisher: name: südostasien – Zeitschrift für Politik • Kultur • Dialog
Year: 2018

description: Nachrichten aus der Region.
description: südostasien – Zeitschrift für Politik • Kultur • Dialog, Bd. 23 Nr. 1 (2007): Der fremde Freund – Südostasien und Europa
Putsch in Thailand – und nun? Eine Einschätzung der Einschätzungen zum Militärputsch
Creators: name: Zöllner, Hans-Bernd
Publisher: name: südostasien – Zeitschrift für Politik • Kultur • Dialog
Year: 2018

description: Der jüngste Militärputsch in Thailand hat weitgehende Ratlosigkeit aus gelöst. »Und nun?« fragt nicht nur der Putsch-Einschätzer in südostasien 4/2006.
description: südostasien – Zeitschrift für Politik • Kultur • Dialog, Bd. 23 Nr. 1 (2007): Der fremde Freund – Südostasien und Europa
title: Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts, Bd. 41 Nr. 1 (1963)
title: Bd. 41 Nr. 1 (1963)
titleType: AlternativeTitle
Creators: name: Germania : Anzeiger Der Römisch-Germanischen Kommission Des Deutschen Archäologischen Instituts
Publisher: name: Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts
Year: 2022

description: Zugänge der Bibliothek...180-227 Philip Corder, The Roman Town and Villa at Great Casterton, Rutland...155-157 Inhalt Titelei
Smart Cities as enablers of collaborative open-source software development
Creators: name: Weidner, Christian
Publisher: name: Zenodo
Year: 2025
Subjects: Open-source software
Smart City
Local Government
Public Sector
Collaboration

description: This poster explores the impact of smart cities on the public sector's engagement in governmental open-source software (OSS) projects, hence in their digital sovereignty. A quantitative survey of OSS community members found significant correlations between higher Smart City Index (SCI) scores and greater participation in supporting tasks such as bug reporting and feature requests. Such engagement fosters innovation and strengthens collaboration within digital public infrastructure. These findings underline the need for further research on how smart cities promote openness, participation, and digital literacy among citizens and public servants.
Understandings of mental health and support for young Black men living in the UK
Creators: name: MEECHAN, HANNAH
Publisher: name: University of Surrey
Year: 2021

description: "Black males within Western society, who navigate recurrent racism and discrimination, have frequently been constructed as “high risk” for mental health difficulties. Research, particularly in the USA, has identified the barriers that Black males face in relation to seeking help, with research outlining the underutilisation of mental health services and overrepresentation of acute mental health diagnoses such as psychosis. Research within the UK has explored barriers to help-seeking amongst males in general, or adult Black males who are within the mental health or prison systems, yet to date little is known about the ways in which young Black men outside of formal services understand mental health. Therefore, this paper offers a contribution to knowledge by examining the way in which young Black males in the UK make sense of mental health and associated systems of support. Data from ten interviews with males aged 16-18 from a London school was collected and analysed using thematic analysis (TA). The Black males’ understandings of mental health were embedded with notions of masculinity, being in control and strong, and they understood mental health problems as something that is experienced by other people. Formal support for mental health difficulties was constructed as an unfamiliar and unapproachable system, that is often unkind and discriminatory towards Black males. Speaking to family and friends about mental health difficulties felt more accessible for these young males, however their construct of mental health and concepts within the community provided further silencing on using this support. This study suggests important implications for understanding the experiences of mental health and seeking support amongst Black males in the UK. "
Das »Feuer« im Süden – Thailands militante Islamisten töten weiter
Creators: name: Nelson, Michael H.
Publisher: name: südostasien – Zeitschrift für Politik • Kultur • Dialog
Year: 2018

description: Seit fünf Jahren werden Thailands südlichste Provinzen Yala, Pattani und Narathiwat (sowie Teile Songkhlas) von einer neuen Welle islamistischen Terrors heimgesucht, der bis heute fast 2.000 Menschen zum Opfer gefallen sind – Muslime, Buddhisten, Polizisten, Soldaten, Lehrer, Straßenhändler, Lokalpolitiker, Mönche und Arbeiter in Gummiplantagen.
description: südostasien – Zeitschrift für Politik • Kultur • Dialog, Bd. 23 Nr. 1 (2007): Der fremde Freund – Südostasien und Europa
A thesis of clinical research and practice: Part A: Stroke as a Risk Factor for Loneliness: Evidence from the English Longitudinal Study of Ageing; Part B: The Patient Experience of Neuropsychological Assessment in Healthcare: A Scoping Review; Part C: Summary of clinical practice and assessments
Creators: name: Parsons, William
Publisher: name: University of Surrey
Year: 2023

description: Loneliness has been found to significantly increase the risk of having a stroke, however
description: research about stroke as a risk factor for loneliness is limited. Part one of this portfolio
description: presents findings a study examining the relationship between stroke and loneliness using both
description: cross-sectional and longitudinal analyses with a national sample of community-dwelling
description: older adults. This study demonstrated that stroke survivors have a significantly increased
description: likelihood of being lonely at baseline, however, stroke itself does not significantly increase
description: the risk of experiencing incident loneliness when sociodemographic and health-related risk
description: factors are accounted for. Part two of the portfolio presents a scoping review on the patient
description: experience of neuropsychological assessment in healthcare. The findings of the review
description: suggest neuropsychological assessment can be experienced as emotionally difficult but also
description: can be viewed positively. Uncertainty about the process was common, and the role of the
description: assessing clinician was viewed as important. Whilst the outcomes of the assessment were
description: often viewed as beneficial, physical discomfort, issues with feedback, the impact of the
description: assessment environment, and the influence of language, culture, and ethnicity on the
description: experience were all reported.
A study of novel forms of thermoluminescent media for clinical dosimetry.
Creators: name: Alanazi, Abdulaziz
Publisher: name: University of Surrey
Year: 2020

description: This work encompasses studies of two novel materials for radiation dosimetry as well establishment of a novel technique for dosimetry. Silica-based material and CNTs (carbon nanotubes) were used as passive radiation dosimeters. The atomic effective numbers (Zeff) for the silica-based materials (glass beads and optical fibres) are similar to that for the bone tissue, while carbon nanotubes have effective atomic number (Zeff) similar to that of human soft tissue. Present studies have been carried out seeking to improve upon the thermoluminescence (TL) yield of commercially produced small diameter telecommunication optical fibres as well as glass beads. Their small sizes make them of great interest as they can fulfil the Bragg–Gray cavity theory. In this thesis, demonstration is made of their utilities to measure the depth-dose profile for protons and neutrons at therapeutic energies range. In regard to carbon nanotubes, these were made in thin films (known as buckypaper) with various thickness ranging from ~10 to ~100 µm to fulfil two conditions; (i) satisfying the Bragg–Gray cavity theory, and; (ii) to present tissue equivalent material. The CNTs were examined in using conventional thermoluminescence technique. Then, a novel method of dosimetry was established by use of x-ray photoelectron spectroscopy (XPS).
Corporate Corruption: Individual Discretion and Corporate Financial Integrity in Portugal
Creators: name: Worsdell, Filipe
Publisher: name: University of Surrey
Year: 2020

description: This thesis presents the analysis, findings, contributions and potential implications of the empirical data that emerged from a primary qualitative investigation into how senior managers of Portuguese Multinational Corporations (MNC) perceive and respond to corporate corruption. Through an original systematic approach to analysis, data was subjected to two decision and economic theories: Cooperative Game Theory (Binmore, 1994, 1998b) and the Risk, Uncertainty and Profit Theory (Knight, 1921; Watkins and Knight, 1922). In combination the key concepts from these theories, which are the unique advantages gained from cooperation in formal rules-based games and the differentiation between risk and uncertainty in probability judgements, make up one dimension of an a priori thematic template that considers interviewee responses within two informational environments: the states of clarity and ambiguity. Conducted in Portugal, this research identifies how individuals in business struggle to adequately match complex rule-based standards with informational ambiguity. It seeks to avoid simply defining or highlighting recent examples of corporate corruption but expands on how agents respond to ambiguity through heuristic interpretations of their environment that may be in breach of the pre-agreed rules. Study elucidates why the demands for rule adherence, based on an assumption of perfect information and logical deductive rationality, are in contradiction to how individual agents commonly make judgements. Key findings draw attention to the need for a greater reliance on individual discretion in the face of observed asymmetry between formal and informal approaches to maintaining organisational financial integrity. From these findings two conceptual frameworks, which can both contribute to theory and practice, are presented as a way to better understand how each system is influenced. It is presented that without acknowledging the important role of individual discretion within formal systems, and without greater efforts to align these two systems, the threat of corporate corruption is likely to persist.
Eine Naschkatze erwacht: Thailand, die EU und der Zucker – Ein Szenario
Creators: name: Geppert, Meike
Publisher: name: südostasien – Zeitschrift für Politik • Kultur • Dialog
Year: 2018

description: Jahrzehntelang hat die Europäische Union ihren Bauern Preise für Zucker garantiert, die über dem Weltmarktpreis liegen. Zuletzt war der interne Preis für Zucker dreimal höher als der Weltmarktpreis. So wollte es die europäische Zuckermarktordnung von 1968.
description: südostasien – Zeitschrift für Politik • Kultur • Dialog, Bd. 23 Nr. 1 (2007): Der fremde Freund – Südostasien und Europa
Die Schmalspurbahn: Thailand und Europa – eine begrenzte Beziehung
Creators: name: Walsh, John
Publisher: name: südostasien – Zeitschrift für Politik • Kultur • Dialog
Year: 2018

description: Der Artikel beschreibt die Beziehungen zwischen der EU und Thailand sowie die wichtigsten Faktoren, die sie beeinflussen. Wobei, so der Autor, der beachtenswerteste davon der Aufstieg Chinas ist.
description: südostasien – Zeitschrift für Politik • Kultur • Dialog, Bd. 23 Nr. 1 (2007): Der fremde Freund – Südostasien und Europa
A Binary Analysis Platform in Isabelle/HOL
Creators: name: Griffin, Matthew James
Publisher: name: University of Surrey
Year: 2024
Subjects: Isabelle/HOL
Binary Analysis
Program Verification

description: This thesis sheds light on the key aspects of verifying binary analysis.Binary analysis refers to the process of analysing binaries without the need for high-level source code. The Binary Analysis Platform (BAP) is a widely used tool for performing binary analysis for a wide range of languages (C, C++, Rust), toolchains (LLVM, Ghidra) and target architectures (x86, RISC-V), achieved through lifting to an intermediate language named BIL (BAP Intermediary Language). Unfortunately, BAP lacks a verification component crucial for ensuring both provable correctness and security.In response, we present IsaBIL, a binary analysis framework within Isabelle/HOL based upon BAP. Specifically, we formalise BIL, inheriting the full flexibility of BAP.To make verification tractable, we develop several automation and optimisation techniques that alleviate the proof burden. Most notably, IsaBIL includes a verified Isabelle/ML parser for BIL programs, allowing one to automatically generate the associated Isabelle/HOL program locale from a BAP output. Taken together, IsaBIL provides a highly flexible user-friendly proof environment for program binaries.To motivate the effectiveness of IsaBIL, we integrate it with Hoare logic (to enable proofs of correctness) as well as O’Hearn’s logic (to enable proofs of incorrectness). We prove (in)correctness for key examples drawn from the Joint Strike Fighter coding standards and the MITRE database.Our subsequent work concerns verifying (in)security, specifically Transient Execution Vulnerabilities like Spectre, Meltdown and Foreshadow. Generic compiler mitigations for Spectre are known to be insufficient for eliminating vulnerabilities. Moreover, these mitigation techniques often overprescribe speculative fences, causing the performance of the programs to suffer.Cheang et al. introduced operational semantics of program execution capable of characterising speculative executions and a novel class of information flow hyperproperties termed TPOD that ensure secure speculation. We encode Cheang et al.’s operational semantics in IsaBIL, providing a framework for verifying TPOD using Isabelle/HOL. Through powerful unwinding proofs, our framework can prove the existence of vulnerabilities and correctness of secure speculation. We exemplify our framework by proving (in)security for 20 examples, uncovering fundamental limitations in the TPOD hyperproperty leading to the misclassification of so-called ”conditionally secure" examples.In our culminating work, we overcome the limitations of TPOD by introducing Relative Security, a more general hyperproperty. We instantiate Relative Security within the IsaBIL framework and, using the incremental proof methods described for TPOD, prove relative (in)security across the same Spectre examples, including the ”conditionally secure"example.
Co-creation of sustainability-oriented innovations (SOIs) in tourism destinations
Creators: name: Melenez Roman, Jose Francisco
Publisher: name: University of Surrey
Year: 2023

description: This study aims to critically understand the process of designing collective sustainability-oriented innovations (SOIs) in tourism destinations based on the city of Barcelona as a case study. The study explores how formal and informal institutions influence destination stakeholders' capacity to engage in collective actions to solve sustainability challenges through institutional innovation. The study implements a participatory action research approach to jointly co-create SOIs with the stakeholders by utilizing a novel combination of complexity science and design methods. To this end, a partnership with the City Council of Barcelona was established through its industry and civil society advisory board: Consell de Turisme i Ciutat. Data collection comprised three phases. The first phase included interviews with destination stakeholders to explore linkages between sustainability and innovation and assess the institutional environment. The second phase focused on a participatory system mapping workshop for stakeholders to visually represent the complexity of innovation and sustainability systems. The third phase was an SOI design workshop to collectively formulate SOIs for the destination. Data analysis followed a systematic examination of existing and co-created SOIs by combining the Four Levels of Social Analysis (FLSA) and the Institutional Analysis and Development Framework (IAD). This provides insights on how stakeholder’s conceptualization of sustainability and innovation affect the SOI process, SOI drivers and barriers in tourism destinations, SOI dilemmas, and business models of co-created SOIs. Further, underpinned in collective action and self-governance theories, findings are compared among the three data collection events to delve deep into stakeholders’ interactions of designing SOIs. This allows examining SOIs using the design principles of collective management systems applied to tourism. Findings highlight the importance of (i) allowing wide and democratic participation of public, private and civils sectors in SOIs, (ii) providing opportunities for stakeholders to design their own formal and informal rules through legitimized governance structures, (iii) considering responsible monitoring, graduated sanctions, and clear roles of stakeholders as part of SOI design, (iv) acknowledging legitimacy as a central factor to motivate collaboration and potential diffusion of SOIs, (v) highlighting the role of nurturing trust and reciprocity to diminish incentives to free-ride, and (vi) recognizing the need to develop management-oriented SOIs that embed a sustainability mindset in all types of stakeholders.
Killing spinors, extensions and metric diagonalization in pseudo-Riemannian geometry
Creators: name: Segnan Dalmasso, Romeo
Publisher: name: University of Surrey
Year: 2023

description: In the thesis, I will prove new extension results to obtain pseudo-Riemannian manifolds of dimension n endowed with a Killing spinor, starting from a manifold of dimension n-1 or n-3 with appropriate additional structure. I will also prove a generalization to the smooth, indefinite setting of a known result on the diagonalization of metrics on a 3-dimensional manifold.

description:

description: I will present a construction that revolves around $\lie{z}$-standard Lie algebras, which are standard Lie algebras $\lie{g}\rtimes\Span{e_0}$ endowed with a Sasaki structure $(g,\xi,\eta,\phi)$ such that $\phi(e_0)$ lies in the center $\lie{z}$ of $\mathfrak{g}$. There are two main results. The first one guarantees that a suitable central extension $\mathfrak{g}$ of a nilpotent pseudo-K\""ahler Lie algebra $\check{\mathfrak{g}}$, admitting a derivation $\check{D}\in\text{Der}(\check{\mathfrak{g}})$ commuting with the complex structure and satisfying an additional technical condition, extends to a $\mathfrak{z}$-standard Sasaki Lie algebra of the form $\mathfrak{g}\rtimes_D\mathbb{R}$, where $D$ is a derivation of $\mathfrak{g}$ extending $\check{D}$. The second result specializes the first one to obtain $\mathfrak{z}$-standard pseudo-Sasaki-Einstein Lie algebras. I will also classify $\lie{z}$-standard Sasaki Lie algebras up to dimension 7 obtained extending abelian pseudo-K\""ahler Lie algebras, Einstein-Sasaki $\lie{z}$-standard Lie algebras up to dimension 7, and present examples of the construction in dimension 9.

description:

description: Moreover, I prove an extension result in the non-invariant, analytic setting. I obtain a pseudo-Riemannian spin manifold carrying a Killing spinor by extending a manifold endowed with a real or imaginary harmful structure, i.e., a pair of spinors $(\psi,\phi)$ satisfying a coupled PDE system involving a symmetric endomorphism $A$ which is additionally required to satisfy $d\tr A+\delta A=0$. I prove that the metric of the manifold extends to an Einstein metric, in a space-like or time-like direction, depending on the harmful structure, whether it is real or imaginary, respectively. I point out that, in the definite setting, the condition on the endomorphism can be dropped. I then define the Killing spinor by extending the harmful structure by parallel transport.

description:

description: Finally, I prove that it is always possible to diagonalize the metric of a smooth, Lorentzian, 3-dimensional manifold by applying the technique of moving frames. I show that the existence of coordinates that diagonalize the metric is equivalent to the existence of a coframe satisfying a specific PDE system, hence I prove that the system is diagonal hyperbolic and that the associated Cauchy problem admits non-characteristic initial data.
Designing a shared single display education application through interactive patterns
Creators: name: Cheah, Wai Shiang
name: Mit, Edwin
name: AiSiok Lu, Marlene Valerie
Publisher: name: Swinburne
Year: 2024

description: Interactive patterns are able to promote the notion of reusability in groupware application development. Hence, these patterns support the comprehensiveness of both the interaction design and implementation while easing code modification for groupware application. Groupware is used to describe a broad range of technologies that support person-to-person collaboration. How to design and develop a groupware in an effective manner remains a research question worth exploring. This paper introduces a reusable method, patterns, to develop a single shared display application. Nine different interactive patterns that allow participants to interact collaboratively or noncollaboratively in a single shared display application are introduced in this paper. This is followed by the presentation of our quantitative results on the usability of the interactive patterns and the reusability of the patterns in designing and maintaining a single shared display application. From the results, not only are the patterns useful and easy to understand, the patterns actually ease the process of designing and maintenance during the application development under a single shared display.
Mechanical Design of a Viscoelastic Isolation System for Spacecraft Spinning Mechanism Applications
Creators: name: KAWAK, BENJAMIN JEAN
Publisher: name: University of Surrey
Year: 2022

description: "With the increase of payload sensitivity (such as high-resolution optics for sub-metric imagers), micro-vibration disturbances generated by spacecraft’s spinning actuators, if uncontrolled, may affect on-board instruments and introduce artefacts in the images taken by an Earth observation imager. Viscoelastic isolators have been increasingly used in space applications thanks to their ability to act as a second-order low pass filter to minimise the micro-vibration forces. In this thesis, an innovative viscoelastic material selection process has been developed to assess viscoelastic materials’ mechanical and thermal properties during the early isolator design stages. To characterise viscoelastic isolators, rheological models are commonly used to model viscoelastic isolators. In this dissertation, a new constrained optimisation model is proposed to find an optimised set of model parameters for classical and fractional Kelvin-Voigt models and Maxwell-Voigt models.
description: A design methodology is based on testing the performance of viscoelastic materials, and a viscoelastic isolator is proposed to minimise the micro-vibration forces of spacecraft spinning actuators. The new proposed process of material screening can provide significant time and cost savings during the design of a new viscoelastic isolator for space applications and lowering the associated risks.
description: Based on the research on viscoelastic isolation systems, an innovative conical viscoelastic isolator system has been designed and developed for spacecraft spinning mechanisms. The isolation system is made of a space-qualified viscoelastic material developed for its low out-gassing properties, a conical shape isolator that ensures similar isolation transmissibility both axially and radially and finally, a mechanical snubber which limits the maximum displacement of the isolation system during the launch of the spacecraft. This new isolation system attenuates the vibrations generated by the launcher to the spinning mechanism during the launch phase and the micro-vibrations generated by the mechanisms in the spacecraft while spinning. The developed viscoelastic isolation system can be installed on most types of spinning mechanisms such as reaction wheels, control moment gyroscopes and momentum wheels."
Nachrichten
Creators: name: Bey, Ulrike
name: Müller, Michaela
name: Zöllner, Hans-Bernd
Publisher: name: südostasien – Zeitschrift für Politik • Kultur • Dialog
Year: 2018

description: Nachrichten aus der Region.
description: südostasien – Zeitschrift für Politik • Kultur • Dialog, Bd. 23 Nr. 1 (2007): Der fremde Freund – Südostasien und Europa
Viel Sanktion, wenig Wirkung? Die Burmapolitik der Europäischen Union
Creators: name: Reger, Markus
Publisher: name: südostasien – Zeitschrift für Politik • Kultur • Dialog
Year: 2018

description: Seit der Niederschlagung der Demokratiebewegung in Burma im Jahre 1988 stellt sich für die EU zunehmend die Frage, wie man am effektivsten mit der Militärdiktatur umgehen soll. Oftmals wird gerade die relativ kohärente Position der EU gegenüber der Militärdiktatur in Burma als Beweis für die Ernsthaftigkeit der europäischen Versuche angeführt, Werte wie Demokratie und Menschenrechte zu exportieren.
description: südostasien – Zeitschrift für Politik • Kultur • Dialog, Bd. 23 Nr. 1 (2007): Der fremde Freund – Südostasien und Europa
Relational Ambivalence in Leader-Follower Exchange: Antecedents and Outcomes
Creators: name: Naik, Reema Prafulchandra
Publisher: name: University of Surrey
Year: 2023

description: This PhD research offers a milestone towards building an intellectual project which would hopefully encourage further lines of scholarly inquiry within the domain of relational leadership and leadership development literature. This PhD research will contribute to the literature by extending LMX theory towards the inclusion of relational ambivalence drawing from the literature on social and interpersonal relationships, and ambivalence. The present research addresses the theoretical gap in the LMX literature by developing a theoretical framework of LMX ambivalence. The theoretical contribution will provide the conceptual clarity on underlying dimensions of LMX and provide the rationale for why the LMX relationship can be ambivalent. Drawing upon existing literature on LMX multidimensionality, the four dimensions of LMX, affect loyalty, perceived contribution and professional respect are used as the basis for experimental manipulation of LMX to induce LMX ambivalence. The Study 1 provided the empirical evidence for the antecedents of LMX ambivalence. This research also examined the impact of LMX ambivalence on a broad array of employee outcomes – organisational citizenship behaviour, supervisor targeted interpersonal deviance, and task performance. The empirical support was found for the association between LMX ambivalence and follower’s organisational citizenship behaviour and supervisor- targeted interpersonal deviance. Study 2 showed partial support for negative impact of LMX ambivalence on follower’s citizenship behaviour and study 3 showed support for positive impact of LMX ambivalence on supervisor-targeted interpersonal deviance behaviour. The research also investigated work-related trait rumination as a mediating mechanism to investigate how LMX ambivalence would impact followers’ outcome, and state affectivity as a boundary condition for the indirect path mediated through trait rumination. The moderated mediation analysis provided empirical support for the underlying mechanism and boundary condition for the effect of LMX ambivalence on follower’s organisational citizenship behaviour and supervisor-targeted interpersonal deviance. Theoretical and practical implication of findings of the research are discussed.
Nachrichten
Creators: name: Schepers, Stephan
Publisher: name: südostasien – Zeitschrift für Politik • Kultur • Dialog
Year: 2018

description: Nachrichten aus der Region.
description: südostasien – Zeitschrift für Politik • Kultur • Dialog, Bd. 23 Nr. 1 (2007): Der fremde Freund – Südostasien und Europa
Biomarkers of drug resistance in ovarian cancer.
Creators: name: Assalaarachchi, Hasanthi B.J.
Publisher: name: University of Surrey
Year: 2020

description: Ovarian cancer is usually diagnosed in the advanced stages when the cancer has metastasised making it one of the most common gynaecological cancers with a high mortality rate. The development of drug resistance in such cancers is unfavourable. The aim of this study was to produce biomarkers of drug resistance in ovarian cancer, which can be used to identify a drug-resistant phenotype in patients allowing for alternative treatments besides the first-line choices of carboplatin and paclitaxel. Various methods were used in the study from western blotting to analyse protein expression, epithelial antigen staining to assess epithelial state of cell, scratch assays to determine drug-resistant phenotype, MTT assays to assess drug-inhibitor responses, Annexin V-FITC apoptosis detection assay for cell viability assessment, gene silencing assays to assess drug sensitivity on gene silencing and qPCR array led approach to identify genes upregulated in drug-resistant cell lines. Using an EMT-led approach, analysis of five common EMT markers led to the determination of SLUG as a probable biomarker with E-CADHERIN and β-CATENIN as possible biomarkers. Examination of the downstream signalling proteins of the MET receptor revealed RAC1 could be another possible biomarker. Using the qPCR-led approach, a list of upregulated genes in drug-resistant cell lines was produced with further protein analyses revealing ZEB1, STAT3 and WNT proteins as possible biomarkers. As EMT was used as a starting point to identify markers of drug resistance, to determine its association with drug resistance, a drug-resistant cell line model was produced through the induction of EMT. In conclusion, this study has produced a list of possible biomarkers of drug resistance in ovarian cancer fulfilling its aims. Further investigation of the biomarkers beyond the use of cell models could determine their reliability as biomarkers of drug resistance in ovarian cancer in the clinical setting.
Essays on Monetary Policy
Creators: name: PARK, DONGHYUN
Publisher: name: University of Surrey
Year: 2022

description: This thesis consists of two independent chapters on monetary policy.
description: Chapter 1 studies optimal monetary policy under imperfect credibility in a New Keynesian model with staggered price and wage setting. In our imperfect credibility framework, the central bank commits to a policy plan but occasionally reneges on past promises with a given common knowledge probability. We find that the welfare gains from increasing credibility are approximately linear on the initial credibility level. The variance decomposition shows that wage markup shocks are the main driver of economic fluctuations and that these shocks are better contained when credibility is high. We then show that the degree of credibility impacts the effect of wage flexibility on welfare. When credibility is low, monetary policy is less potent and the economy can experience a feedback loop between wage volatility and price volatility. We show, though, that once wage markup shocks are considered, wage flexibility is welfare improving.
description: Chapter 2 examines the effects of higher inflation expectations on households' consumption plans. Higher inflation expectations can boost private consumption if the real interest rate decreases. However, households often report that they dislike high inflation due to the erosion of nominal income, and standard models often abstract from this channel. This chapter uses a dataset with quantitative expectations for both inflation and nominal interest rates, which allow us to determine consumption behavior both during normal times and zero lower bound (ZLB) periods. We find that higher inflation expectations encourage households to bring forward durable goods purchases while discouraging spending on non-durables. We show that these results are consistent with a model in which higher inflation expectations erode a household's permanent income thereby discouraging non-durable consumption, whereas durable consumption increases due to the lower real rate. Moreover, we analyze different counterfactuals and show that nominal wage expectations are central.