beowulf is the first known english epic which preserves the history, myth, culture and some basic human values of people from the past and present, though beowulf is often considered as the archetypal of an anglo-saxon literary work depicting the pagan life of the scandinavians. but a close analysis of their culture presents another perspective of history. some epic characters even elevate them...

this paper aims to explore the relationship between epic poetry and national self-consciousness and in particular study how shahnameh may be analyzed from this angle. what is the relationship between the shahnameh and the iranian national self-consciousness? what can one say about the iranian national self-consciousness on the basis of this text? what does the text reveal about the iranian iden...

Context. The second XMM-Newton serendipitous source catalogue, 2XMM, provides the ideal data base for performing a statistical evaluation of the flux cross-calibration of the XMM-Newton European Photon Imaging Cameras (EPIC). Aims. We aim to evaluate the status of the relative flux calibration of the EPIC cameras on board the XMM-Newton observatory (MOS1, MOS2, and pn) and investigate the depen...

The epics told by two ethnic groups, the Xo Dang and Bahnar, belong to Central Highlands epic region have similarities in content form. This article introduces some basic general features of Bahnar terms theme, plotline, characterization, analyzes cause meaning similarities. We use comparative, interdisciplinary research methods clarify art thereby showing unity diversity Highlands.

We present the results of a friendly competition for formal verification of continuous and hybrid systems with nonlinear continuous dynamics. The friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in 2017. This year, three tools CORA, Flow* and Isabelle/HOL (in alphabetic order) participated. They are applied to solve the reacha...

Although clausal propositional proofs are significantly smaller compared to resolution proofs, their size on disk is still too large for several applications. In this paper we present several methods to compress clausal proofs. These methods are based on a two phase approach. The first phase consists of a light-weight compression algorithm that can easily be added to satisfiability solvers that...