In this paper we describe an eecient parsing model for monotonous xed-mode DCGs, including traversing of cyclic terms. The algorithm can be viewed as an extension of the classic push-down automaton model in dynamic programming along with the incorporation of a mechanism for detecting and traversing cyclic trees. Details of implementation and experimental tests are described. Experimental result...

Abstract. With the advancement of technology, lowered cost in hardware and widely available development tools, more educators across different disciplines have used virtual reality as a mean to enhance their teaching. The hit pandemic has also speeded up adoption education where face-to-face classes practicals are suspended/cancelled. Virtual Reality tool facilitate teaching learning created ne...

A model of geocoronal solar wind charge exchange (SWCX) emission was built and compared to five Suzaku detections bright SWCX events. An exospheric neutral hydrogen distribution model, cross sections, ion data taken with the ACE WIND satellites, magnetic field models Earth's magnetosphere are all combined in order predict time-variable depending on line-of-sight directions satellite. The modele...

A general robotic mechanism was presented for in-pipe inspection oflevel pipes with varied diameter or curved pipelines. The robot employed three legs comprised of parallelogram linkages mechanism which enables adapting to various elbow joints in the piping systems. The curvatures in pipeline are the most important constraints in front of the robot through navigation process. To study the adapt...

Abstract: Navigation has been a core component of the web since its inception: users and scripts can follow hyperlinks, and can go back or forwards through the navigation history. In this paper, we present a formal model aligned with the whatwg specification of navigation history, and investigate its properties. The fundamental property of navigation history is that traversing the history by δ ...

We propose a scheme to interpolate between a set of two or more 3-dimensional triangulated meshes with corresponding connectivity. The principle behind this is that meshes, when viewed as vectors of edge lengths, can be seen as points in a Euclidean shape space. Within this space, mesh interpolation corresponds to traversing straight lines between points, and due to the Euclidean structure of t...

A fundamental part of many computer algorithms involves traversing a binary tree. One notable example is traversing a space-partitioning acceleration structure when computing ray-traced images. Traditionally, the traversal requires a stack to be temporarily stored for each ray, which results in both additional storage and memorybandwidth usage. We present a novel algorithm for traversing a bina...

We have constructed five new temperature-sensitive DNA topoisomerase II mutations and have analyzed their physiological consequences in yeast. Several lines of evidence suggest that the activity of topoisomerase II is required specifically at the time of miosis. First, top2 mutations cause dramatic lethality at the restrictive temperature, but only if the mutant cells are actively traversing th...

A series of successful microarray experiments typically results in a data matrix containing a list of a few thousand genes and their measured expression values across various conditions tested. The understanding of why some genes are clustered in their expression pattern can be greatly facilitated by gathering all prior knowledge about all the genes in a given cluster. Here we demonstrate a str...