We attempt to formulate several mathematical problems suggested by structural patterns present in biomolecular assemblies. Our description of these patterns, by necessity brief and over-concentrated in some places, is self-contained, albeit on a superficial level. An attentive reader is likely to stumble upon a cryptic line here and there; however, things will become more transparent at a secon...

We describe a procedure that takes a classical planning task, a forward-search state, and a set of abstraction-based admissible heuristics, and derives an optimal additive composition of these heuristics with respect to the given state. Most importantly, we show that this procedure is polynomial-time for arbitrary sets of all known to us abstraction-based heuristics such as PDBs, constrained PD...

nize and explain structural patterns in natural-language sentences (specifically English) and eventually yield an output in which the relations between the various items of the sentence are hierarchically displayed. The recognition of these structural patterns is made by means of a system of rules which operate on a sequence of words, i.e. a sentence, whose individual characteristics are pre-es...

Online Social Networking may be a way to support health professionals' need for continuous learning through interaction with peers and experts. Understanding and evaluating such learning is important but difficult, and Social Network Analysis (SNA) offers a solution. This paper demonstrates how SNA can be used to study levels of participation as well as the patterns of interactions that take pl...

Copyright © 2011, IGI Global. Copying or distributing in print or electronic forms without written permission of IGI Global is prohibited. EcoMUVE is designed as a collaborative, inquiry-based, simulated ecosystem experience to support learners developing an understanding of complex causality in ecosystems. (http:// ecomuve.org/) Students typically use simple linear causal forms in their scienc...

To count models for two conjunctive forms (#2SAT problem) is a classic #P problem. We determine different structural patterns on the underlying graph of a 2-CF F allowing the efficient computation of #2SAT(F ). We show that if the constrained graph of a formula is acyclic or the cycles on the graph can be arranged as independent and embedded cycles, then the number of models of F can be counted...

Music structure description, i.e. the task of representing the high-level organization of music pieces in a concise, generic and reproducible way, is currently a scientific challenge both algorithmically and conceptually. In this paper, we focus on semiotic structure, i.e. the description of similarities and internal relationships within a music piece, as a low-rate stream of arbitrary symbols ...

This paper presents two structural patterns to detect divergence of the completion procedure, followed by a detailed overview of diierent examples of divergent rewrite systems. Further it introduces ve different empirical methods to avoid divergence, applicable during a session with a rewrite rule laboratory.

An algorithm for learning structural patterns given in terms of Attributed Relational Graphs (ARG’s) is presented. The algorithm, based on inductive learning methodologies, produces general and coherent prototypes in terms of Generalized Attributed Relational Graphs (GARG’s), which can be easily interpreted and manipulated. The learning process is defined in terms of inference operations especi...

Evaluating collections of XML documents without paying attention to the schema they were written in may give interesting insights about the expected characteristics of a markup language, as well as bout any regularity that may span across vocabularies and languages, and that are more fundamental and frequent than plain content models. In this paper we explore the idea of structural patterns in ...