9,985 research outputs found
Self-Supervised Learning to Prove Equivalence Between Straight-Line Programs via Rewrite Rules
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
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
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
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
Recommended from our members
Meaning-Making Practices of Emergent Arabic–English Bilingual Kindergarten Children in Cairo
The number of British Schools in the Middle East and North Africa (MENA) region is growing. The National Curriculum of England is used by an increasing number of such schools. As well as exporting a culturally-specific curriculum, these schools usually adopt an ideology of monolingualism, thus potentially limiting communication for emergent bilinguals and failing to acknowledge the multiple ways of meaning-making.
Current studies of translanguaging are moving the focus to multimodal forms of communication as a resource for thinking and communicating (García and Wei 2014, Wei 2018). Building on the work of Kress (1997, 2010) I explore pre-school emergent bilinguals’ wider signifying practices and create an analytical framework, which I call MMTL (multimodal translanguaging), used as a lens to illustrate meaning-making.
Valley Hill in Cairo, Egypt is a British school which encourages ‘English-only’ as the medium of instruction in the kindergarten. Using a case study methodology, this research explores the meaning-making practices of eight emergent bilingual children aged 3–4 during child-initiated play, later reduced to four in the thesis to provide a detailed multimodal analysis. The principal aim is to explore their speech, gaze, gesture, and their engagement (layout/position) with artefacts during play.
The findings of this study suggest that although there is an ‘English-only’ approach, these young emergent bilingual children are meaning-making in a variety of ways. Children are translanguaging but it is never in isolation from other modes of communication. Emergent bilinguals use a range of modes to mediate their understanding and communication with others. They use gesture, gaze, and artefacts alongside translingual practices to move meaning across to more accessible modes, enabling communication and understanding. The implications for schools should be to embrace such hybrid practices and for teachers to be more responsive to young children’s meaning-making to enable learning
‘Mental fight’ and ‘seeing & writing’ in Virginia Woolf and William Blake
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
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
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
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
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
- …