This article exercises a Lacanian psychoanalytic intervention into ecocriticism through examining the contradictions of Capitalocene within Frank Norris’s 1901 novel, The Octopus. Drawing upon Jason Moore’s dialectical framework in Anthropocene or Capitalocene? Nature, History and Crisis Capitalism (2016) Philip R. Polefrone’s “The Stock Ticker Garden: Norris, American Literary Naturalism, Aest...

Symbolic trajectory evaluation provides a means to formally verify properties of a sequential system by a modiied form of symbolic simulation. The desired system properties are expressed in a notation combining Boolean expressions and the temporal logic \next-time" operator. In its simplest form, each property is expressed as an assertion A =) C], where the antecedent A expresses some assumed c...

Symbolic objects are the basic elements for knowledge representation in symbolic data analysis. This paper aims to integrate symbolic objects into formal concept analysis in order to compare and tie together both approaches.

In order to reduce state explosion problem, techniques such as symbolic state space traversal and partial order reduction have been proposed. Combining these two techniques, however, seems difficult, and only a few research projects related to this topic have been reported. In this paper, we propose handling single place zero reachability problem of Petri nets by using both partial order reduct...