9,985 research outputs found

    Self-Supervised Learning to Prove Equivalence Between Straight-Line Programs via Rewrite Rules

    Full text link
    We target the problem of automatically synthesizing proofs of semantic equivalence between two programs made of sequences of statements. We represent programs using abstract syntax trees (AST), where a given set of semantics-preserving rewrite rules can be applied on a specific AST pattern to generate a transformed and semantically equivalent program. In our system, two programs are equivalent if there exists a sequence of application of these rewrite rules that leads to rewriting one program into the other. We propose a neural network architecture based on a transformer model to generate proofs of equivalence between program pairs. The system outputs a sequence of rewrites, and the validity of the sequence is simply checked by verifying it can be applied. If no valid sequence is produced by the neural network, the system reports the programs as non-equivalent, ensuring by design no programs may be incorrectly reported as equivalent. Our system is fully implemented for a given grammar which can represent straight-line programs with function calls and multiple types. To efficiently train the system to generate such sequences, we develop an original incremental training technique, named self-supervised sample selection. We extensively study the effectiveness of this novel training approach on proofs of increasing complexity and length. Our system, S4Eq, achieves 97% proof success on a curated dataset of 10,000 pairs of equivalent programsComment: 30 pages including appendi

    Examples of works to practice staccato technique in clarinet instrument

    Get PDF
    Klarnetin staccato tekniğini güçlendirme aşamaları eser çalışmalarıyla uygulanmıştır. Staccato geçişlerini hızlandıracak ritim ve nüans çalışmalarına yer verilmiştir. Çalışmanın en önemli amacı sadece staccato çalışması değil parmak-dilin eş zamanlı uyumunun hassasiyeti üzerinde de durulmasıdır. Staccato çalışmalarını daha verimli hale getirmek için eser çalışmasının içinde etüt çalışmasına da yer verilmiştir. Çalışmaların üzerinde titizlikle durulması staccato çalışmasının ilham verici etkisi ile müzikal kimliğe yeni bir boyut kazandırmıştır. Sekiz özgün eser çalışmasının her aşaması anlatılmıştır. Her aşamanın bir sonraki performans ve tekniği güçlendirmesi esas alınmıştır. Bu çalışmada staccato tekniğinin hangi alanlarda kullanıldığı, nasıl sonuçlar elde edildiği bilgisine yer verilmiştir. Notaların parmak ve dil uyumu ile nasıl şekilleneceği ve nasıl bir çalışma disiplini içinde gerçekleşeceği planlanmıştır. Kamış-nota-diyafram-parmak-dil-nüans ve disiplin kavramlarının staccato tekniğinde ayrılmaz bir bütün olduğu saptanmıştır. Araştırmada literatür taraması yapılarak staccato ile ilgili çalışmalar taranmıştır. Tarama sonucunda klarnet tekniğin de kullanılan staccato eser çalışmasının az olduğu tespit edilmiştir. Metot taramasında da etüt çalışmasının daha çok olduğu saptanmıştır. Böylelikle klarnetin staccato tekniğini hızlandırma ve güçlendirme çalışmaları sunulmuştur. Staccato etüt çalışmaları yapılırken, araya eser çalışmasının girmesi beyni rahatlattığı ve istekliliği daha arttırdığı gözlemlenmiştir. Staccato çalışmasını yaparken doğru bir kamış seçimi üzerinde de durulmuştur. Staccato tekniğini doğru çalışmak için doğru bir kamışın dil hızını arttırdığı saptanmıştır. Doğru bir kamış seçimi kamıştan rahat ses çıkmasına bağlıdır. Kamış, dil atma gücünü vermiyorsa daha doğru bir kamış seçiminin yapılması gerekliliği vurgulanmıştır. Staccato çalışmalarında baştan sona bir eseri yorumlamak zor olabilir. Bu açıdan çalışma, verilen müzikal nüanslara uymanın, dil atış performansını rahatlattığını ortaya koymuştur. Gelecek nesillere edinilen bilgi ve birikimlerin aktarılması ve geliştirici olması teşvik edilmiştir. Çıkacak eserlerin nasıl çözüleceği, staccato tekniğinin nasıl üstesinden gelinebileceği anlatılmıştır. Staccato tekniğinin daha kısa sürede çözüme kavuşturulması amaç edinilmiştir. Parmakların yerlerini öğrettiğimiz kadar belleğimize de çalışmaların kaydedilmesi önemlidir. Gösterilen azmin ve sabrın sonucu olarak ortaya çıkan yapıt başarıyı daha da yukarı seviyelere çıkaracaktır

    Strategies for Early Learners

    Get PDF
    Welcome to learning about how to effectively plan curriculum for young children. This textbook will address: • Developing curriculum through the planning cycle • Theories that inform what we know about how children learn and the best ways for teachers to support learning • The three components of developmentally appropriate practice • Importance and value of play and intentional teaching • Different models of curriculum • Process of lesson planning (documenting planned experiences for children) • Physical, temporal, and social environments that set the stage for children’s learning • Appropriate guidance techniques to support children’s behaviors as the self-regulation abilities mature. • Planning for preschool-aged children in specific domains including o Physical development o Language and literacy o Math o Science o Creative (the visual and performing arts) o Diversity (social science and history) o Health and safety • Making children’s learning visible through documentation and assessmenthttps://scholar.utc.edu/open-textbooks/1001/thumbnail.jp

    Gamification in E-Learning: game factors to strengthen specific English pronunciation features in undergraduate students at UPTC Sogamoso

    Get PDF
    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

    ‘Mental fight’ and ‘seeing & writing’ in Virginia Woolf and William Blake

    Get PDF
    This thesis is the first full-length study to assess the writer and publisher Virginia Woolf’s (1882-1941) responses to the radical Romantic poet-painter, and engraver, William Blake (1757-1827). I trace Woolf’s public and private, overt and subtle references to Blake in fiction, essays, notebooks, diaries, letters and drawings. I have examined volumes in Leonard and Virginia Woolf’s library that are pertinent, directly and indirectly, to Woolf’s understanding of Blake. I focus on Woolf’s key phrases about Blake: ‘Mental fight’, and ‘seeing & writing.’ I consider the other phrases Woolf uses to think about Blake in the context of these two categories. Woolf and Blake are both interested in combining visual and verbal aesthetics (‘seeing & writing’). They are both critical of their respective cultures (‘Mental fight’). Woolf mentions ‘seeing & writing’ in connection to Blake in a 1940 notebook. She engages with Blake’s ‘Mental fight’ in ‘Thoughts on Peace in an Air Raid’ (1940). I map late nineteenth and early twentieth-century opinion on Blake and explore Woolf’s engagement with Blake in these wider contexts. I make use of the circumstantial detail of Woolf’s friendship with the great Blake collector and scholar, Geoffrey Keynes (1887-1982), brother of Bloomsbury economist John Maynard Keynes. Woolf was party to the Blake centenary celebrations courtesy of Geoffrey Keynes’s organisation of the centenary exhibition in London in 1927. Chapter One introduces Woolf’s explicit references to Blake and examines the record of Woolf scholarship that unites Woolf and Blake. To see how her predecessors had responded, Chapter Two examines the nineteenth-century interest in Blake and Woolf’s engagement with key nineteenth-century Blakeans. Chapter Three looks at the modernist, early twentieth-century engagement with Blake, to contextualise Woolf’s position on Blake. Chapter Four assesses how Woolf and Blake use ‘Mental fight’ to oppose warmongering and fascist politics. Chapter Five is about what Woolf and Blake write and think about the country and the city. Chapter Six discusses Woolf’s reading of John Milton (1608-1674) in relation to her interest in Blake, drawing on the evidence of Blake’s intense reading of Milton. Chapter Seven examines further miscellaneous continuities between Woolf and Blake. Chapter Eight proposes, in conclusion, that we can only form an impression of Woolf’s Blake. The thesis also has three appendices. First, a chronology of key publications which chart Blake’s reputation as well as Woolf’s allusions to Blake. Second a list all of Blake’s poetry represented in Woolf’s library including contents page. The third lists all the other volumes in Woolf’s library that proved relevant. Although Woolf’s writing is the subject of this thesis, my project necessitates an attempt to recover how Blake was understood and misunderstood by numerous writers in the early twentieth century. The thesis argues Blake is a model radical Romantic who combines the visual and the verbal and that Woolf sees him as a kindred artist

    Walking with the Earth: Intercultural Perspectives on Ethics of Ecological Caring

    Get PDF
    It is commonly believed that considering nature different from us, human beings (qua rational, cultural, religious and social actors), is detrimental to our engagement for the preservation of nature. An obvious example is animal rights, a deep concern for all living beings, including non-human living creatures, which is understandable only if we approach nature, without fearing it, as something which should remain outside of our true home. “Walking with the earth” aims at questioning any similar preconceptions in the wide sense, including allegoric-poetic contributions. We invited 14 authors from 4 continents to express all sorts of ways of saying why caring is so important, why togetherness, being-with each others, as a spiritual but also embodied ethics is important in a divided world

    Graphical scaffolding for the learning of data wrangling APIs

    Get PDF
    In order for students across the sciences to avail themselves of modern data streams, they must first know how to wrangle data: how to reshape ill-organised, tabular data into another format, and how to do this programmatically, in languages such as Python and R. Despite the cross-departmental demand and the ubiquity of data wrangling in analytical workflows, the research on how to optimise the instruction of it has been minimal. Although data wrangling as a programming domain presents distinctive challenges - characterised by on-the-fly syntax lookup and code example integration - it also presents opportunities. One such opportunity is how tabular data structures are easily visualised. To leverage the inherent visualisability of data wrangling, this dissertation evaluates three types of graphics that could be employed as scaffolding for novices: subgoal graphics, thumbnail graphics, and parameter graphics. Using a specially built e-learning platform, this dissertation documents a multi-institutional, randomised, and controlled experiment that investigates the pedagogical effects of these. Our results indicate that the graphics are well-received, that subgoal graphics boost the completion rate, and that thumbnail graphics improve navigability within a command menu. We also obtained several non-significant results, and indications that parameter graphics are counter-productive. We will discuss these findings in the context of general scaffolding dilemmas, and how they fit into a wider research programme on data wrangling instruction

    The geographies of care and training in the development of assistance dog partnerships

    Get PDF
    Human-assistance-dog partnerships form a significant phenomena that have been overlooked in both animal geographies and disability geographies. By focusing on one Assistance Dogs UK (ADUK) charity, ‘Dog A.I.D’., a charity that helps physically disabled and chronically ill people to train their own pets to be assistance dogs, I detail the intimate entangled lifeworlds that humans and dogs occupy. In doing so, I also dialogue between the sub-disciplinary fields of animal geographies and disability geographies, by exploring two broad thematic areas – embodiment and care. As such, this thesis examines the geographies of assistance dog partnership, the care and training practices involved, the benefits and challenges of sharing a lifeworld with a different species, and the changing relationship from a human-pet bond to a human-assistance-dog partnership. Drawing on lived experience and representations of assistance dog partnerships gathered through qualitative (and quantitative) research methods, including a survey, semi-structured interviews (face-to-face, online, and telephone), video ethnography, and magazine analysis, I contribute to research on the assistance dog partnerships and growing debates around the more-than-human nature of care. The ethnomethodological approach to exploring how training occurs between disabled human and assistance dog is also noteworthy as it centres the lively experiences of practice at work between species. The thesis is organised around interconnected themes: the intimate worlds of assistance dog partnerships, working bodies, and caring relations. These thematics allow for a geographical interpretation into the governance, spatial organisation, and representations of dog assistance partnerships. I also explore the training cultures of Dog A.I.D. whilst also spotlighting the lived experiences of training through the early stages of ‘socialisation’, ‘familiarisation’, ‘life skills training’, through to ‘task work’. Finally, the thesis focuses on the practices of care that characterise the assistance dog partnership, showing how care is provided and received by both human and nonhuman. I pay attention to the complex potentiality of the partnership, illustrating how dogs are trained to assist, but also how dogs appear to embody lively, agentic, moments of care. The thesis contributes original work which speaks to animal and disability geographies and attends to the multiple geographies of care-full cross-species lives

    Buddhist Poetics, Beat “Cosmo-Politics,” and the Maker Ethos: Asian Americanist Critiques of Whiteness in Midcentury American Beat Writing

    Get PDF
    Buddhist Poetics, Beat “Cosmo-Politics,” and the Maker Ethos: Asian Americanist Critiques of Whiteness in Midcentury American Beat Writing employs Walter Benjamin’s notion of the “ruin”—which is not just a noun or notion, but also a verb, a mode of criticism—to intervene in the ostensibly well-trodden ground of what is known as “Beat literature.” The project broadly argues for the “ruination” of Beat literature, where ruination means not destruction or annihilation, but a return to an unkempt state (as in the image of a ruined building) that more accurately reflects this literature’s many layers of cultural, interpersonal, and transpacific exchange and extraction. Though many have rightly suggested that Beat literature is broadly Orientalist and transpacific in nature, I reveal the specific cultural appropriations, adaptations, and translations that occurred in this period and in these literary texts: the broadly East Asian cultural materials (like Zen Buddhism) so valued in Beat literature and its social communities were derived not solely from “the East” nor from translated Chinese and Japanese texts, but also from the Asians in America with whom Euro Americans were friends and worked alongside. My chapters on Asian diasporic poetry, letters, and autobiographical writing highlight Beat literature’s connections to ethnic studies, settler colonial studies, gender studies, and critical race theory, applying an interdisciplinary approach to text and culture and bringing forward the cultural productions and expertise of Asian/Americans during this midcentury period. Because I am suggesting the work of Asian/Americans be read alongside other canonical Beat texts, their work destabilizes or “ruins” Beat literature, which has been seen as a body of texts that articulate a political, anticapitalist critique of post-WWII and Cold War-era America, but which I show to be reflective of a specific, European American identity grounded in a politics that does not accommodate the effects of settler colonialism and imperialism. The seeming stability and coherence of the category of “Beat” has only been possible because the work of Asian/Americans in this period was erased, unacknowledged. My project’s major intervention may be found in its combination of critique—where I show how whiteness influenced Euro Americans’ artistic choices and cultural appropriations—and recovery, where I reveal from whom and how these appropriations occurred. Further, I suggest that we begin to analyze American Buddhist writing beyond the limited rubrics formerly available to us in “Beat” and avant-garde literatures and in their communities of reception
    corecore