192,896 research outputs found

    Symbolic Execution as DPLL Modulo Theories

    Full text link
    © Quoc-Sang Phan; licensed under Creative Commons License CC-BY. Imperial College Computing Student Workshop (ICCSW’14). Editors: Rumyana Neykova and Nicholas Ng; pp. 58–65. OpenAccess Series in Informatics. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germanyurn: urn:nbn:de:0030-drops-47746urn: urn:nbn:de:0030-drops-4774

    AN ANALYSIS OF STRUCTURE SHIFTS IN BILINGUAL TRANSLATION OF LEWIS’ THE CHRONICLES OF NARNIA: THE LION, THE WITCH AND THE WARDROBE AND WIDJAJANTO’S THE CHRONICLES OF NARNIA: SANG SINGA, SANG PENYIHIR, DAN LEMARI

    No full text
    This study is aimed to analyze the structure shifts in grammatical complexity and voice change in Clive Staples Lewis’ series novel of The Chronicles of Narnia: The Lion, the Witch and the Wardrobe and its translation in Bahasa Indonesia by Donna Widjajanto The Chronicles of Narnia: Sang Singa, sang Penyihir, dan Lemari. This study happens in bilingual translation which includes English text as the source language and Bahasa Indonesia text as the target language. This research uses qualitative descriptive with quantitative data. The data are used to support the qualitative analysis. In the process of this research, the writer followed the procedures: 1) read the English version as the ST and its Bahasa Indonesia version as the TT, 2) write all sentences which happen structure shifts from the ST and the TT in the data sheet, 3) classify and analyze the data into grammatical complexity and voice change, and 4) classify each grammatical complexity and voice change data of structure shifts into meaning equivalence. The research shows that there are many data which bring about structure shifts in the two versions of the novel. The most frequency of structure shifts are in grammatical complexity change which happens 76 cases from the total number of 103 data. The occurrences of voice change are 16 cases. There are 11 data which bring about grammatical complexity change and voice change all together. Then, the data which are collected are analyzed into meaning equivalence. The meaning equivalence is categorized into equivalent (complete, increased, and decreased) and non- equivalent (different). There are 54 data of complete, 7 data of increased, 27 data of decreased, and 15 data of different meaning. There are some factors which influence this structure shifts: culture, religion and background of knowledge of the translator. These factors affected the qualities of the texts textually and contextually

    Pourquoi mieux alimenter le cheval de sang par R. Wolter

    No full text
    Létard M. Pourquoi mieux alimenter le cheval de sang par R. Wolter. In: Bulletin de l'Académie Vétérinaire de France tome 129 n°4, 1976. pp. 439-440

    Appropriate Similarity Measures for Author Cocitation Analysis

    Full text link
    We provide a number of new insights into the methodological discussion about author cocitation analysis. We first argue that the use of the Pearson correlation for measuring the similarity between authors’ cocitation profiles is not very satisfactory. We then discuss what kind of similarity measures may be used as an alternative to the Pearson correlation. We consider three similarity measures in particular. One is the well-known cosine. The other two similarity measures have not been used before in the bibliometric literature. Finally, we show by means of an example that our findings have a high practical relevance.information science;Pearson correlation;cosine;similarity measure;author cocitation analysis

    A Study on Made by Chung Sang-Ki

    No full text
    that Chung Sang-Ki had made in 1740's has been famous for following features, accurate expression of outlines of Korea, the use of creative scale called as Baek-Li-Chuk(百里尺), the expression of such many kinds of artificial elements as settlement, road system, stagecoach stations, beacon, defensive castles, as well as such physical elements as mountain system, rivers,. For those reasons, several scholars have studied this map, but most studied made by the present have concerned about superficial features of this kinds of maps. Thus this study aims to understand further in the contexts of Korean cartographic history. The major findings of this study are as follows. First, through the examination of existing old Korean maps, 1 tried to find out developing stage of map-making that could be made in. As a result, 1 was able to identify that the shape of the Korean peninsula that by Lee,Yi-Moeng( 李願命) and the manuscript copies of Y oon Y oung s( 尹鎭) map expressed is relatively accurate. In other words, the exaggerated shapes of northern area of Korean peninsula expressed by earlier maps in the Lee Dynasty were corrected by a few maps made in the late 17th century. Second, Chung Sang- Ki(鄭尙轉) had made without field survey, especially compiled existing maps as a creative manner. In his map compilation, Baek-Li一Chuk( 百里,R) was used instead of a grid imported from china

    R-하이드록시카르복실산 생산 재조합 및 그를 이용한 R-하이드록시카르복실산의 제조방법

    No full text
    The present invention relates to recombinant microorganisms carrying both a gene encoding intracellular polyhydroxyalkanoate (PHA) depolymerase and a gene encoding PHA biosynthesis-related enzymes, and a process for preparing optically pure (R)-hydroxycarboxylic acids by culturing the recombinant microorganisms. The present invention provides: a recombinant microorganism transformed with two recombinant plasmids each of which contains a gene encoding intracellular PHA depolymerase and a gene encoding PHA biosynthesis-related enzymes, respectively; a recombinant microorganism harboring a gene encoding PHA biosynthesis-related enzymes in an integrated form with its chromosome, which is transformed with a recombinant plasmid containing a gene encoding intracellular PHA depolymerase; and, a process for preparing optically pure (R)-hydroxycarboxylic acids by culturing the recombinant microorganisms. In accordance with the present invention, (R)-hydroxycarboxylic acids can be released from the recombinant microorganisms into culture media after depolymerizing most PHA produced from the said microorganisms, which makes possible practical preparation of (R)-hydroxycarboxylic acids in a simple manner with reduced waste of substrates to increase the productivity, finally to allow the mass production of various optically pure (R)-hydroxycarboxylic acids

    Sang et milieu intérieur du Nord-Vietnamien

    No full text
    Baylet R. J. Sang et milieu intérieur du Nord-Vietnamien. In: Bulletins et Mémoires de la Société d'anthropologie de Paris, X° Série. Tome 9 fascicule 4-6, 1958. pp. 130-137

    "Closing the R&D Gap, Evaluating the Sources of R&D Spending"

    Full text link
    Both spending and tax policies have been implemented in the United States with the goal of stimulating private sector research and development (R&D). Karier questions whether current R&D policy, especially the research and experimentation tax credit, can contribute to closing the gap between nondefense expenditures on R&D in the United States and such expenditures in other countries, such as Japan and Germany. He also explores possible changes to our current R&D policy to make it more effective.

    Going Beyond Counting First Authors in Author Co-citation Analysis

    Full text link
    The 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

    Letter from R. R. Zellick, Assistant Trust Officer, Anglo California National Bank of San Francisco, to Joseph R. Goodman, October 2, 1942

    No full text
    Letter from R. R. Zellick, Assistant Trust Officer at The Anglo California National Bank of San Francisco, to Joseph R. Goodman, regarding property owned by Dave Tatsuno. Zellick mentions a dispute between current tenants and Tatsuno, and that Tatsuno has asked Goodman to help locate trustworthy tenants.Personal correspondence, organizational records, government documents, publications, and other papers created or collected by Joseph R. Goodman documenting the forced removal and incarceration of Japanese Americans during World War II, as well as organized resistance to incarceration. Included in the collection are records of the Japanese Young Men's Christian Association and the Japanese American Citizens' League in San Francisco, including papers of the Japanese YMCA's executive secretary Lincoln Kanai; Sakai family papers; Goodman's correspondence to and from Japanese American incarcerees, organizations opposing forced removal and incarceration of Japanese Americans, the War Relocation Authority, and others; publications, photographs, and ephemera from the Topaz Relocation Center, where Goodman taught high school; War Relocation Authority records and publications; and newspaper clippings, pamphlets, and reports about forced removal and incarceration created by various government, religious, and civic organizations, in California and nationwide
    corecore