14,747 research outputs found
Recommended from our members
Ensuring Access to Safe and Nutritious Food for All Through the Transformation of Food Systems
Dependently Typing R Vectors, Arrays, and Matrices
The R programming language is widely used in large-scale data analyses. It
contains especially rich built-in support for dealing with vectors, arrays, and
matrices. These operations feature prominently in the applications that form
R's raison d'\^etre, making their behavior worth understanding. Furthermore,
ostensibly for programmer convenience, their behavior in R is a notable
extension over the corresponding operations in mathematics, thereby offering
some challenges for specification and static verification.
We report on progress towards statically typing this aspect of the R
language. The interesting aspects of typing, in this case, warn programmers
about violating bounds, so the types must necessarily be dependent. We explain
the ways in which R extends standard mathematical behavior. We then show how
R's behavior can be specified in LiquidHaskell, a dependently-typed extension
to Haskell. In the general case, actually verifying library and client code is
currently beyond LiquidHaskell's reach; therefore, this work provides
challenges and opportunities both for typing R and for progress in
dependently-typed programming languages.Comment: 10 page
Technical Dimensions of Programming Systems
Programming requires much more than just writing code in a programming language. It is usually done in the context of a stateful environment, by interacting with a system through a graphical user interface. Yet, this wide space of possibilities lacks a common structure for navigation. Work on programming systems fails to form a coherent body of research, making it hard to improve on past work and advance the state of the art.
In computer science, much has been said and done to allow comparison of programming languages, yet no similar theory exists for programming systems; we believe that programming systems deserve a theory too.
We present a framework of technical dimensions which capture the underlying characteristics of programming systems and provide a means for conceptualizing and comparing them.
We identify technical dimensions by examining past influential programming systems and reviewing their design principles, technical capabilities, and styles of user interaction. Technical dimensions capture characteristics that may be studied, compared and advanced independently. This makes it possible to talk about programming systems in a way that can be shared and constructively debated rather than relying solely on personal impressions.
Our framework is derived using a qualitative analysis of past programming systems. We outline two concrete ways of using our framework. First, we show how it can analyze a recently developed novel programming system. Then, we use it to identify an interesting unexplored point in the design space of programming systems.
Much research effort focuses on building programming systems that are easier to use, accessible to non-experts, moldable and/or powerful, but such efforts are disconnected. They are informal, guided by the personal vision of their authors and thus are only evaluable and comparable on the basis of individual experience using them. By providing foundations for more systematic research, we can help programming systems researchers to stand, at last, on the shoulders of giants
Gamification in E-Learning: game factors to strengthen specific English pronunciation features in undergraduate students at UPTC Sogamoso
Appendix A Characterization survey (104), Appendix B. EFL Students’ questionnaire (109), Appendix C. Characterization survey: data treatment question (113), Appendix D. Informed consent letter, English version (114), Appendix E. Carta de consentimiento informado, versión en español (117), Appendix F. Time Schedule (120), Appendix G. Sample Challenges at Moodle (126), Appendix H. Participants’ questionnaire results (128).La gamificación es un término que suele denotar el uso de componentes del juego en situaciones no relacionadas con el juego en sà para crear experiencias de aprendizaje agradables, divertidas y motivadoras para los estudiantes (Werbach y Hunter, 2012). Por lo tanto, el análisis de los factores básicos de los juegos se convierte en algo esencial a la hora de definir y utilizar la gamificación como estrategia de mediación del inglés como lengua extranjera para fortalecer rasgos especÃficos de pronunciación en los estudiantes de pregrado de la UPTC Sogamoso.
El procedimiento de estudio se basa en la investigación acción mediante la implementación de la estrategia de gamificación para la mediación en la pronunciación del inglés, orientada a treinta estudiantes de diferentes programas de ingenierÃa, administración y tecnologÃa con niveles heterogéneos de dominio del inglés. Las actividades se centran principalmente en la producción de sonidos, el ritmo, el acento y la entonación, los rasgos de pronunciación segmental y suprasegmental.
Los resultados arrojaron una evidente mejora en las caracterÃsticas segméntales y suprasegmentales de la percepción en la pronunciación de los participantes asà como la contribución del objetivo de los juegos a la instrucción fonética y fonológica, la sensación en el juego a la motivación para mejorar la pronunciación, el reto establecido en los juegos a la actitud positiva de los participantes, y la sociabilidad a la exposición practica de la pronunciación inglesa.Gamification is a relatively new term that often denotes the use of game components in situations unrelated to the game itself to create enjoyable, fun, and motivating learning experiences for students (Werbach and Hunter, 2012). Therefore, analyzing the games' basic factors becomes essential when defining and using gamification as a strategy for English as Foreign Language mediation to strengthen specific pronunciation features in UPTC Sogamoso undergraduate students.
The study procedure is based on action research by implementing the gamification strategy for mediation in English pronunciation, oriented to thirty students from different engineering, management, and technology programs at heterogeneous levels of English proficiency. The activities mainly focus on sound production, rhythm, stress, and intonation, segmental and suprasegmental pronunciation features.
The results showed an evident improvement in the segmental and suprasegmental features of the participants' pronunciation perception as well as the contribution of game goals to phonetics and phonological instruction, the game sensation to the motivation for pronunciation improvement, the game challenge to the participants' positive attitude, and the sociality to the English pronunciation exposure practice
Towards a sociology of conspiracy theories: An investigation into conspiratorial thinking on Dönmes
This thesis investigates the social and political significance of conspiracy theories, which has been an academically neglected topic despite its historical relevance. The academic literature focuses on the methodology, social significance and political impacts of these theories in a secluded manner and lacks empirical analyses. In response, this research provides a comprehensive theoretical framework for conspiracy theories by considering their methodology, political impacts and social significance in the light of empirical data. Theoretically, the thesis uses Adorno's semi-erudition theory along with Girardian approach. It proposes that conspiracy theories are methodologically semi-erudite narratives, i.e. they are biased in favour of a belief and use reason only to prove it. It suggests that conspiracy theories appear in times of power vacuum and provide semi-erudite cognitive maps that relieve alienation and ontological insecurities of people and groups. In so doing, they enforce social control over their audience due to their essentialist, closed-to-interpretation narratives. In order to verify the theory, the study analyses empirically the social and political significance of conspiracy theories about the Dönme community in Turkey. The analysis comprises interviews with conspiracy theorists, conspiracy theory readers and political parties, alongside a frame analysis of the popular conspiracy theory books on Dönmes. These confirm the theoretical framework by showing that the conspiracy theories are fed by the ontological insecurities of Turkish society. Hence, conspiracy theorists, most readers and some political parties respond to their own ontological insecurities and political frustrations through scapegoating Dönmes. Consequently, this work shows that conspiracy theories are important symptoms of society, which, while relieving ontological insecurities, do not provide politically prolific narratives
Recommended from our members
Co-design As Healing: Exploring The Experiences Of Participants Facing Mental Health Problems
This thesis is an exploration of the healing role of co-design in mental health. Although co-design projects conducted within mental health settings are rising, existing literature tends to focus on the object of design and its outcomes while the experiences of participants per se remain largely unexplored. The guiding research question of this study is not how we design things that improve mental health, but how co-designing, as an act, might do so.
The thesis presents two projects that were organized in collaboration with the mental health charity Islington Mind and the Psychosis Therapy Project (PTP) in London.
The project at Islington Mind used a structured design process inviting participants to design for wellbeing. A case study analysis provides insights on how participants were impacted, summarizing key challenges and opportunities.
The design at PTP worked towards creating a collective brief in an emergent fashion, finally culminating in a board game. The experiences of participants were explored through Interpretative Phenomenological Analysis (IPA), using semi-structured interview data. The analysis served to identify key themes characterising the experience of co-design such as contributing, connecting, thinking and intentioning. In addition, a mixed-methods analysis of questionnaires and interview data exploring participants' wellbeing, showed that all participants who engaged fairly consistently in the project improved after the project ended, although some participants' scores returned to baseline six months later.
Reflecting on both projects, an approach to facilitation within mental health is outlined, detailing how the dimensions of weaving and layered participation, nurturing mattering and facilitating attitudes interlace. This contribution raises awareness of tacit dimensions in the practice of facilitation, articulating the nuances of how to encourage and sustain meaningful and ethical engagement and offering insights into a range of tools. It highlights the importance of remaining reflexive in relation to attitudes and emotions and discusses practical methodological and ethical challenges and ways to resolve them which can be of benefit to researchers embarking on a similar journey.
The thesis also offers detailed insights on how methodologies from different fields were integrated into a whole, arguing for transparency and reflexivity about epistemological assumptions, and how underlying paradigms shift in an interdisciplinary context.
Based on the overall findings, the thesis makes a case for considering design as healing (or a designerly way of healing), highlighting implications at a systems, social and individual level. It makes an original contribution to our understanding of design, highlighting its healing character, and proposes a new way to support mental health. The participants in this study not only had increased their own wellbeing through co-designing, but were also empowered and contributed towards healing the world. Hence, the thesis argues for a unique, holistic perspective of design and mental health, recognizing the interconnectedness of the individual, social and systemic dimensions of the healing processes that are ignited
Image classification over unknown and anomalous domains
A longstanding goal in computer vision research is to develop methods that are simultaneously applicable to a broad range of prediction problems. In contrast to this, models often perform best when they are specialized to some task or data type. This thesis investigates the challenges of learning models that generalize well over multiple unknown or anomalous modes and domains in data, and presents new solutions for learning robustly in this setting.
Initial investigations focus on normalization for distributions that contain multiple sources (e.g. images in different styles like cartoons or photos). Experiments demonstrate the extent to which existing modules, batch normalization in particular, struggle with such heterogeneous data, and a new solution is proposed that can better handle data from multiple visual modes, using differing sample statistics for each.
While ideas to counter the overspecialization of models have been formulated in sub-disciplines of transfer learning, e.g. multi-domain and multi-task learning, these usually rely on the existence of meta information, such as task or domain labels. Relaxing this assumption gives rise to a new transfer learning setting, called latent domain learning in this thesis, in which training and inference are carried out over data from multiple visual domains, without domain-level annotations. Customized solutions are required for this, as the performance of standard models degrades: a new data augmentation technique that interpolates between latent domains in an unsupervised way is presented, alongside a dedicated module that sparsely accounts for hidden domains in data, without requiring domain labels to do so.
In addition, the thesis studies the problem of classifying previously unseen or anomalous modes in data, a fundamental problem in one-class learning, and anomaly detection in particular. While recent ideas have been focused on developing self-supervised solutions for the one-class setting, in this thesis new methods based on transfer learning are formulated. Extensive experimental evidence demonstrates that a transfer-based perspective benefits new problems that have recently been proposed in anomaly detection literature, in particular challenging semantic detection tasks
Underwater optical wireless communications in turbulent conditions: from simulation to experimentation
Underwater optical wireless communication (UOWC) is a technology that aims to apply high speed optical wireless communication (OWC) techniques to the underwater channel. UOWC has the potential to provide high speed links over relatively short distances as part of a hybrid underwater network, along with radio frequency (RF) and underwater acoustic communications (UAC) technologies. However, there are some difficulties involved in developing a reliable UOWC link, namely, the complexity of the channel. The main focus throughout this thesis is to develop a greater understanding of the effects of the UOWC channel, especially underwater turbulence. This understanding is developed from basic theory through to simulation and experimental studies in order to gain a holistic understanding of turbulence in the UOWC channel.
This thesis first presents a method of modelling optical underwater turbulence through simulation that allows it to be examined in conjunction with absorption and scattering. In a stationary channel, this turbulence induced scattering is shown to cause and increase both spatial and temporal spreading at the receiver plane. It is also demonstrated using the technique presented that the relative impact of turbulence on a received signal is lower in a highly scattering channel, showing an in-built resilience of these channels. Received intensity distributions are presented confirming that fluctuations in received power from this method follow the commonly used Log-Normal fading model. The impact of turbulence - as measured using this new modelling framework - on link performance, in terms of maximum achievable data rate and bit error rate is equally investigated.
Following that, experimental studies comparing both the relative impact of turbulence induced scattering on coherent and non-coherent light propagating through water and the relative impact of turbulence in different water conditions are presented. It is shown that the scintillation index increases with increasing temperature inhomogeneity in the underwater channel. These results indicate that a light beam from a non-coherent source has a greater resilience to temperature inhomogeneity induced turbulence effect in an underwater channel. These results will help researchers in simulating realistic channel conditions when modelling a light emitting diode (LED) based intensity modulation with direct detection (IM/DD) UOWC link.
Finally, a comparison of different modulation schemes in still and turbulent water conditions is presented. Using an underwater channel emulator, it is shown that pulse position modulation (PPM) and subcarrier intensity modulation (SIM) have an inherent resilience to turbulence induced fading with SIM achieving higher data rates under all conditions. The signal processing technique termed pair-wise coding (PWC) is applied to SIM in underwater optical wireless communications for the first time. The performance of PWC is compared with the, state-of-the-art, bit and power loading optimisation algorithm. Using PWC, a maximum data rate of 5.2 Gbps is achieved in still water conditions
Post-Millennial Queer Sensibility: Collaborative Authorship as Disidentification in Queer Intertextual Commodities
This dissertation is examining LGBTQ+ audiences and creatives collaborating in the creation of new media texts like web shows, podcasts, and video games. The study focuses on three main objects or media texts: Carmilla (web series), Welcome to Night Vale (podcast), and Undertale (video game). These texts are transmedia objects or intertextual commodities. I argue that by using queer gestures of collaborative authorship that reaches out to the audience for canonical contribution create an emerging queer production culture that disidentifies with capitalism even as it negotiates capitalistic structures. The post-millennial queer sensibility is a constellation of aesthetics, self-representation, alternative financing, and interactivity that prioritizes community, trust, and authenticity using new technologies for co-creation.
Within my study, there are four key tactics or queer gestures being explored: remediation, radical ambiguity and multi-forms as queer aesthetics, audience self-representation, alternative financing like micropatronage & licensed fan-made merchandise, and interactivity as performance. The goal of this project is to better understand the changing conceptions of authorship/ownership, canon/fanon (official text/fan created extensions), and community/capitalism in queer subcultures as an indicator of the potential change in more mainstream cultural attitudes. The project takes into consideration a variety of intersecting identities including gender, race, class, and of course sexual orientation in its analysis. By examining the legal discourse around collaborative authorship, the real-life production practices, and audience-creator interactions and attitudes, this study provides insight into how media creatives work with audiences to co-create self-representative media, the motivations, and rewards for creative, audiences, and owners. This study aims to contribute towards a fuller understanding of queer production cultures and audience reception of these media texts, of which there is relatively little academic information. Specifically, the study mines for insights into the changing attitudes towards authorship, ownership, and collaboration within queer indie media projects, especially as these objects are relying on the self-representation of both audiences and creatives in the formation of the text
In her own words: exploring the subjectivity of Freud’s ‘teacher’ Anna von Lieben
This project is inspired by Roy Porter (1985), who draws attention to the patient-shaped gap in medical history, and Rita Charon (2006), who emphasises the need to bring the patient’s narrative to the fore in the practice of medicine. The principal aim was to devise a means of accessing the lived experience of a patient who is no longer alive in order to gain an understanding of her narrative. Anna von Lieben was identified as a suitable subject as she wrote a substantial quantity of autopathographical poetry suitable for analysis and her status as Freud’s patient makes her a person of significant interest to the history of medicine.
The poems were analysed using Interpretative Phenomenological Analysis (IPA), an idiographic and inductive method of qualitative research, based on Heideggerian hermeneutic phenomenology, which explores the lived experience of individuals and is committed to understanding the first-person perspective from the third-person position.
The main findings from the IPA study reveal that Anna experienced a prolonged period of malaise, starting in late adolescence which she believed to result, at least partly, from a traumatic experience which occurred at that time. The analysis also indicates that Anna suffered from deep and lasting feelings of guilt and shame. The discovery of additional family documentation enabled me to contextualise and add substance to the findings of the IPA study. Anna’s husband’s diaries in particular reveal that Anna:
• had a severe and longstanding gynaecological disorder
• suffered from severe morphinism
• did not benefit from Freud’s treatment which seemed neither to ease her symptoms nor identify any cause
• was treated in Paris, not by Jean-Martin Charcot as previously supposed, but by a French hydrotherapist, Theodore Keller, who appears to have become a person of considerable significance in her life.
The above findings led me to investigate Anna’s comorbidities (gynaecological disease and morphinism) and to show how those could be responsible for much of the symptomatology identified by Freud as ‘hysteria’. I then explore the possibility that her psychotic-like experiences could have been iatrogenically induced by her treatment first by Keller and then by Freud. Finally, I propose a fourfold set of hypotheses as an alternative to Freud’s diagnosis of hysteria
- …