5,173 research outputs found

    Towards Interactive Logic Programming

    Full text link
    Linear logic programming uses provability as the basis for computation. In the operational semantics based on provability, executing the additive-conjunctive goal G1&G2G_1 \& G_2 from a program PP simply terminates with a success if both G1G_1 and G2G_2 are solvable from PP. This is an unsatisfactory situation, as a central action of \& -- the action of choosing either G1G_1 or G2G_2 by the user -- is missing in this semantics. We propose to modify the operational semantics above to allow for more active participation from the user. We illustrate our idea via muProlog, an extension of Prolog with additive goals.Comment: 8 pages. It describes two execution models for interactive logic programmin

    Cultural analysis of hero frames in American and North Korean media: focusing on tragedy and glorification

    Get PDF
    Title from PDF of title page (University of Missouri--Columbia, viewed on September 11, 2013).The entire thesis text is included in the research.pdf file; the official abstract appears in the short.pdf file; a non-technical public abstract appears in the public.pdf file.Thesis advisor: Dr. Sandra DavidsonIncludes bibliographical references.M.A. University of Missouri--Columbia 2013.Dissertations, Academic -- University of Missouri--Columbia -- Journalism."May 2013"Both the U.S. media and The Rodong Sinmun, the state news website of North Korea, used hero frames to describe each other. The hero frame of the United States described itself as a hero, North Korea and Middle Eastern countries as villains, and the people of those countries and sometimes the United States as victims. Meanwhile, The Rodong Sinmun of North Korea used "hero" and "heroic" without a refined symbol system. In The Rodong Sinmun, Kim Il-Sung and Kim Jong-Il were the utmost heroes in that they enabled the heroic working class of North Korea to realize their historic importance and led North Korean soldiers in their success against imperialists. The hero frame used to describe Kim Il-Sung included metaphors such as an affectionate father, the sun, and a tiger. The hero frame for Kim Jong-Il used metaphors such as a mother, the sunshine, and a crane. Kim Il-Sung and Kim Jong-Il were perceived to be optimistic heroes who were not allowed in Korean traditional culture, as featured as the emotion of "han" and in the fable "Baby Commander.

    An empirical analysis of the state of competition in OECD mobile wireless markets

    Full text link
    Contra the current trend of deregulation, mobile wireless markets in the OECD member states appear, until recently, to have been more or less concentrated. The study estimates the equations for market concentration, mobile prices, and profits using annual panel data from 24 OECD member states for the 1998-2009 period, in order to assess their interaction. Mobile prices, measured by revenue per minute in constant USD PPP, are regarded as a direct measure of consumer welfare. Estimation results indicate that in the second half of the 2000s, market concentration had no effect on mobile prices, whereas the positive relationship between market concentration and profits persisted. In other words, the market-power hypothesis is rejected in the second half of the 2000s. This empirical result provides a strong case for a recent lenient approach towards regulation and merger attempts in OECD mobile wireless markets. Additionally, the study provides evidence that regulatory policies have affected mobile market structure and performance

    Structure analysis of single- and multi-frequency subspace migrations in inverse scattering problems

    Full text link
    In this literature, we carefully investigate the structure of single- and multi-frequency imaging functions, that are usually employed in inverse scattering problems. Based on patterns of the singular vectors of the Multi-Static Response (MSR) matrix, we establish a relationship between imaging functions and the Bessel function. This relationship indicates certain properties of imaging functions and the reason behind enhancement in the imaging performance by multiple frequencies. Several numerical simulations with a large amount of noisy data are performed in order to support our investigation.Comment: 11 pages, 10 figure

    Online Appendix to: Peace through Cooperation or Peace through Strength? How to Achieve Peace in the Very Intractable Conflict Society

    Get PDF
    The Korean War, having started on June 25, 1950, has never formally ended. As the two Koreas are technically still at war, the conflict on the Korean Peninsula has become intractable. The goal of this study is to explore the attitudes of South Koreans living in the intractable conflict about how to achieve peace. To fulfill this goal, we conducted a nation-wide survey to investigate attitudes toward militant and cooperative internationalism. We also measured various variables involved with the intractable conflict. Our results indicate that the value of international harmony and equality as well as attitudes toward peace are the best predictors of cooperative internationalism, while the value of international harmony and equality as well as the attitudes toward war were the strongest predictors of militant internationalism. Our results also suggest that the tendency to regard inter-Korean relations as zero-sum relations and the attitudes toward peace mediated the relationship between international harmony and cooperative internationalism, while the zero-sum perception and attitudes toward war on the Korean Peninsula mediated the same value factor and the cooperative internationalism. Possible implications are discussed

    Peace through Cooperation or Peace through Strength? How to Achieve Peace in the Very Intractable Conflict Society

    Get PDF
    The Korean War, having started on June 25, 1950, has never formally ended. As the two Koreas are technically still at war, the conflict on the Korean Peninsula has become intractable. The goal of this study is to explore the attitudes of South Koreans living in the intractable conflict about how to achieve peace. To fulfill this goal, we conducted a nation-wide survey to investigate attitudes toward militant and cooperative internationalism. We also measured various variables involved with the intractable conflict. Our results indicate that the value of international harmony and equality as well as attitudes toward peace are the best predictors of cooperative internationalism, while the value of international harmony and equality as well as the attitudes toward war were the strongest predictors of militant internationalism. Our results also suggest that the tendency to regard inter-Korean relations as zero-sum relations and the attitudes toward peace mediated the relationship between international harmony and cooperative internationalism, while the zero-sum perception and attitudes toward war on the Korean Peninsula mediated the same value factor and the cooperative internationalism. Possible implications are discussed
    corecore