5,764 research outputs found
Defining and Preserving More C Behaviors: Verified Compilation Using a Concrete Memory Model
No full textWe propose a concrete ("pointer as integer") memory semantics for C that supports verified compilation to a target environment having simple "public vs. private" data protection based on tagging or sandboxing (such as the WebAssembly virtual machine). Our semantics gives definition to a range of legacy programming idioms that cause undefined behavior in standard C, and are not covered by existing verified compilers, but that often work in practice. Compiler correctness in this context implies that target programs are secure against all control-flow attacks (although not against data-only attacks). To avoid tying our semantics too closely to particular compiler implementation choices, it is parameterized by a novel form of oracle that non-deterministically chooses the addresses of stack and heap allocations. As a proof-of-concept, we formalize a small RTL-like language and verify two-way refinement for a compiler from this language to a low-level machine and runtime system with hardware tagging. Our Coq formalization and proofs are provided as supplementary material
Appropriations of Irish drama by modern Korean nationalist theatre : a focus on the influence of Sean O’Casey in a colonial context
No full textMy thesis explores how a translated author on the periphery of the host culture’s
translated repertoire can be at once subversive and innovative on the colonial scene,
using as an example the case of Sean O’Casey in colonial Korea. It explores the
importation of Irish drama in modern Korean theatre during the colonial period and
examines the appropriations of O’Casey’s plays by a central Korean playwright, Yu
Chi-jin, in creating his own plays. Under Japanese colonial rule in the early twentieth
century, intellectuals perceived the supreme task for the Korean people to be the
recovery of national sovereignty and independence. The modern Korean theatre
movement which rose among Korean intellectuals and dramatists during the colonial
period was to play a major part in this task. The ultimate goal of this movement was
to establish a modern national theatre promoting Korean culture and educating the
people, thereby recovering national independence. As their modernised dramatic
polysystem was still "young", Korean intellectuals and dramatists who were
involved in the theatre movement had to borrow dramatic models from other
countries. One of the models they chose was Irish playwrights, especially those who
were involved in the Irish dramatic movement. They published or staged the works
of W.B. Yeats, Lord Dunsany [Edward John Moreton Drax Plunkett], Augusta
Gregory, J.M. Synge, St. J. Ervine, T.C. Murray and Sean O'Casey. Although
O'Casey was considered an important dramatist in the Irish dramatic movement, he
was a playwright on the periphery in the list of translated Irish dramatists in Korea
due to the colonisers’ censorship. However, he remained as a subversive and
innovative playwright on the colonial scene by virtue of being appropriated by Yu
Chi-jin who used O’Casey’s plays as models when creating his own works. In
discussing the subject matter of my thesis, I use Even Zohar’s polysystems theory as
a starting point in looking at ideological issues surrounding translation and extend
the discussion to offer a postcolonial perspective. While most translation in a
colonial context was considered as "an expression of the cultural power of the
colonisers," my thesis shifts the focus to translation as an expression of the cultural
power of the colonised. I explore how the colonised uses another colonised culture to
subvert the colonisers’ power
Professionalism, golf coaching and a master of science degree
No full textA distinction can be made between 'professionalisation', which is concerned with occupational status and standing, and 'professionalism,' which refers to matters of quality and standards of practice (especially specialized knowledge, ethics and altruism). The purpose of this stimulus article is to present key features of contemporary medical professionalism as a basis for critically reflecting on discourse associated with Tiger Woods' current coach, Sean Foley. It is suggested that that provision of a Master of Science degree in golf teaching/coaching would facilitate the development of 'professionalism' in golf coaches
Development of diplotriaena-tricuspis (nematoda, diplotriaenoidea), a parasite of corvidae, in intermediate and definitive hosts
No full textPT: J; CR: ANDERSON RC, 1957, CANADIAN J ZOOLOGY, V35, P15 ANDERSON RC, 1957, J HELMINTHOL, V31, P203 ANDERSON RC, 1958, ANN PARASITOL HUM CO, V33, P171 ANDERSON RC, 1959, CAN J ZOOL, V37, P609 ANDERSON RC, 1959, PARASSITOLOGIA, V1, P195 ANDERSON RC, 1962, CAN J ZOOL, V40, P1175 ANDERSON RC, 1968, CAN J ZOOL, V46, P181 ANDERSON RC, 1976, CIH KEYS NEMATODE PA, P59 ANDREWS SE, 1973, 62 WILDL DIS BAIN O, 1969, ANN PARASITOLOGIE, V44, P595 BAIN O, 1973, ANN PARASITOLOGIE, V48, P81 BAKER MR, 1978, CAN J ZOOL, V56, P2127 BASHIRULLAH AKM, 1970, PAKISTAN J ZOOL, V2, P250 BRELJE NA, 1974, J EC ENTOMOL, V67, P134 CABLE RM, 1969, ILLUSTRATED LABORATO CAWTHORN RJ, 1976, CAN J ZOOL, V54, P522 CHABAUD AG, 1954, ANN PARASITOL HUM CO, V29, P42 COOPER CL, 1974, CAN J ZOOL, V52, P1421 CROFT RE, 1957, J WILDL DIS, V11, P228 DIAZUNGRIA MC, 1963, CR ACAD SCI PARASI D, V256, P4314 DUNCKER HR, 1971, ADV ANATOMY EMBRYOLO DUNN OJ, 1974, APPLIED STATISTICS A JUDD WW, 1959, CAN FIELD NAT, V73, P130 LENNETTE EH, 1974, MANUAL CLIN MICROBIO LEVINE ND, 1966, PROTOZOAN PARASITES PICKFORD R, 1969, CAN ENTOMOL, V101, P894 SHUMILO RP, 1966, PARAZITY ZHIVOTN RAS, P120 SMILLIE KW, 1969, 19 U ALB DEP COMP SC SONIN MD, 1968, ESSENTIALS NEMATODOL, V21 WELLS JJ, 1960, J PARASITOL, V46, P623; NR: 30; TC: 9; J9: CAN J ZOOL; PG: 15; GA: JH185Source type: Electronic(1
Anna V. Johnson Anderson album, class of 1912 (AL-58)
No full text"My Golden School Days" record book from Gallaudet University Archives, filled out by Anna V. Johnson Anderson of the class of 1912. Includes photos, program books, and notes on Anderson's classmates, teachers, school year events, vacation trips, and more.This Item is protected by copyright and/or related rights. You are free to use this Item in any way that is permitted by the copyright and related rights legislation that applies to your use. For other uses you need to obtain permission from the rights-holder(s)
Going Beyond Counting First Authors in Author Co-citation Analysis
No full textThe present study examines one of the fundamental aspects of author co-citation analysis (ACA) - the way co-citation
counts are defined. Co-citation counting provides the data on which all subsequent statistical analyses and mappings
are based, and we compare ACA results based on two different types of co-citation counting - the traditional type that
only counts the first one among a cited work's authors on the one hand and a non-traditional type that takes into
account the first 5 authors of a cited work on the other hand. Results indicate that the picture produced through this non-traditional author co-citation counting contains more coherent author groups and is therefore considerably clearer. However, this picture represents fewer specialties in the research field being studied than that produced through the traditional first-author co-citation counting when the same number of top-ranked authors is selected and analyzed. Reasons for these effects are discussed
Ask Me Anything: What is Reddit?
No full textThis article provides a description of the crowdsourced website Reddit and how it may be useful to libraries and librarians.This article is (c) Emerald Group Publishing and permission has been granted for this version to appear here (http://dx.doi.org/doi:10.7282/T3D220BR). Emerald does not grant permission for this article to be further copied/distributed or hosted elsewhere without the express permission from Emerald Group Publishing Limited
Getting acquainted with social networks and apps: Tumblin’ through the visual web
No full textThis article discusses the social media site Tumblr and the visual web and the applications in libraries. Platforms that are part of the visual Web use images, rather than text, as the primary content of a post. Text may appear, but it is secondary to the image, essentially the opposite of a long blog post where the primary content is text with optional pictures placed for emphasis or enhancement.
Three social networks in particular – Tumblr, Pinterest and Instagram – each gained more than 10 million visitors over the course of the year in part by catering to a desire for more visually appealing content.This article is (c) Emerald Group Publishing and permission has been granted for this version to appear here (http://dx.doi.org/doi:10.7282/T3HT2R71). Emerald does not grant permission for this article to be further copied/distributed or hosted elsewhere without the express permission from Emerald Group Publishing Limited
The Sociology of the Professions and the Problem of Journalism Education
No full textAs part of this special issue on the occupations and the sociology of the professions, this article probes how the complexities of journalism's professional status play out in pedgagically in the classroom. The author argues that the current turmoil in journalism, and in journalism education, cannot be attributed to technology alone or economics alone but are a part of a deeper, older professional uncertainty amongst journalists. The author concludes wth an argument that the liberal arts should play a greater role in the education of 21st century journalists
Libraries and Tumblr: A quantitative analysis
No full textThis study is a quantitative analysis of the microblogging site Tumblr in order to determine how this platform is currently being used by libraries and special collections/archives in the United States. Data on library Tumblr blogs was collected at three points during a one year period and included library type, start date, number of posts, average posts per day, type of post, as well as other descriptive information. There is a growing library presence on the social media site Tumblr. The results shows adoption of the social media platform by multiple library types: academic, public, special collections/digital libraries, library organizations and other library/archives.This article is (c) Emerald Group Publishing and permission has been granted for this version to appear here (http://dx.doi.org/doi:10.7282/T3M61N00). Emerald does not grant permission for this article to be further copied/distributed or hosted elsewhere without the express permission from Emerald Group Publishing Limited.Peer reviewe
- …
