Many deep spatio-temporal learning methods have been proposed for crowd flow modeling in recent years. However, most of them focus on designing a spatial and temporal convolution mechanism to aggregate information from nearby nodes historical observations pre-defined prediction task. Different the existing research, this paper aims provide generic dynamic representation method modeling. The mai...

The health monitoring of a system remains major issue for its lifetime preservation. In this paper, novel fault diagnosis algorithm is proposed. proposed approach based on unique variable measurement in the time domain and manages to extract behavior evolution. developed tool aims be generic several physical systems with low or high dynamic behavior. depicted present paper two different applica...

The screening of chemical libraries is an important step in the drug discovery process. The existing chemical libraries contain up to millions of compounds. As the screening at such scale is expensive, the virtual screening is often utilized. There exist several variants of virtual screening and ligand-based virtual screening is one of them. It utilizes the similarity of screened chemical compo...

Let Λ be a basic finite dimensional algebra over an algebraically closed field K. Tameness of the representation type of Λ – the only situation in which one can, at least in principle, meaningfully classify all finite dimensional representations of Λ – is a borderline phenomenon. However, even in the wild scenario, it is often possible to obtain a good grasp of the “bulk” of d-dimensional repre...

Part I of this paper develops various general concepts in generic representation and cohomology theories. Roughly speaking, we provide a general theory of orders in non-semisimple algebras applicable to problems in the representation theory of nite and algebraic groups, and we formalize the notion of a \generic" property in representation theory. Part II makes new contributions to the non-descr...

We describe how problems can be solved by “compiling” them to a general-purpose representation scheme such as SAT or PseudoBoolean (PB). We discuss why PB is a so much more expressive and better language than SAT for problems that involve any arithmetic reasoning. We describe PARIS, a program that solves decision problems expressed in PB, that is based on an adaptation of the best SAT solvers. ...

We develop a generic representation of implicit induction proof procedures within the cover set induction framework. Our work further develops the approach of cover set induction on propositional orderings. We show that in order to represent a substantially wide range of implicit induction procedures it is necessary to generalize the induction on formulas (propositions) to the induction on form...

This paper presents a perceptual organization based method for describing, extracting and grouping generic edge features, called Generic Edge Tokens (GET). A GET is a perceptually significant image primitive which represents a class of qualitatively equivalent structure elements. A complete set of GETs includes both linear and non-linear segment classes and junctions of the segments. Edge trace...

There are a variety of ways to represent information and each representation scheme typically has associated tools to manipulate it. In this paper, we present a single, generic representation that can accommodate a broad range of information representation schemes (i.e., structural models), such as XML, RDF, Topic Maps, and various database models. We focus here on model-based information where...