P Systems with Tables of Rules

In the last time, several e®orts were made in order to remove the polarization of membranes from P systems with active membranes; the present paper is a contribution in this respect. In order to compensate the loss of power represented by avoiding polarizations, we introduce tables of rules: each membrane has associated several sets of rules, one of which is non- deterministically chosen in each computation step. Three universality results for tabled P systems are given, trying to use rules of as few as possible types. Then, we consider tables with obligatory rules { rules which must be applied at least once when the table is applied. Systems which use tables with at most one obligatory rule are proven to be able to solve SAT problem in linear time. Several open problems are also formulated.Ministerio de Ciencia y Tecnología TIC2002-04220-C03-0

Distributed Systems of Intersecting Branes at Arbitrary Angles

A `reduced' action formulation for a general class of the supergravity solutions, corresponding to the `marginally' bound `distributed' systems of various types of branes at arbitrary angles, is developed. It turns out that all the information regarding the classical features of such solutions is encoded in a first order Lagrangian (the `reduced' Lagrangian) corresponding to the desired geometry of branes. The marginal solution for a system of $N$ such distributions (for various distribution functions) span an $N$ dimensional submanifold of the fields' configuration (target) space, parametrised by a set of $N$ independent harmonic functions on the transverse space. This submanifold, which we call it as the `$H$-surface', is a null surface with respect to a metric on the configuration space, which is defined by the reduced Lagrangian. The equations of motion then transform to a set of equations describing the embedding of a null geodesic surface in this space, which is identified as the $H$-surface. Using these facts, we present a very simple derivation of the conventional orthogonal solutions together with their intersection rules. Then a new solution for a (distributed) pair of $p$-branes at SU(2) angles in $D$ dimensions is derived.Comment: Latex file, 58 pages, no figures, 5 tables, This revision contains some minor changes of the original version including those of the title, abstract and referrences. Some comments are adde

From time-reversal symmetry to quantum Bayes' rules

Bayes' rule $\mathbb{P}(B|A)\mathbb{P}(A)=\mathbb{P}(A|B)\mathbb{P}(B)$ is one of the simplest yet most profound, ubiquitous, and far-reaching results of classical probability theory, with applications in any field utilizing statistical inference. Many attempts have been made to extend this rule to quantum systems, the significance of which we are only beginning to understand. In this work, we develop a systematic framework for defining Bayes' rule in the quantum setting, and we show that a vast majority of the proposed quantum Bayes' rules appearing in the literature are all instances of our definition. Moreover, our Bayes' rule is based upon a simple relationship between the notions of state over time and a time-reversal symmetry map, both of which are introduced here.Comment: Some adjustments and organizational changes, typos fixed, new tables added; 24 pages tota

IRIS: a method for reverse engineering of regulatory relations in gene networks

<p>Abstract</p> <p>Background</p> <p>The ultimate aim of systems biology is to understand and describe how molecular components interact to manifest collective behaviour that is the sum of the single parts. Building a network of molecular interactions is the basic step in modelling a complex entity such as the cell. Even if gene-gene interactions only partially describe real networks because of post-transcriptional modifications and protein regulation, using microarray technology it is possible to combine measurements for thousands of genes into a single analysis step that provides a picture of the cell's gene expression. Several databases provide information about known molecular interactions and various methods have been developed to infer gene networks from expression data. However, network topology alone is not enough to perform simulations and predictions of how a molecular system will respond to perturbations. Rules for interactions among the single parts are needed for a complete definition of the network behaviour. Another interesting question is how to integrate information carried by the network topology, which can be derived from the literature, with large-scale experimental data.</p> <p>Results</p> <p>Here we propose an algorithm, called inference of regulatory interaction schema (IRIS), that uses an iterative approach to map gene expression profile values (both steady-state and time-course) into discrete states and a simple probabilistic method to infer the regulatory functions of the network. These interaction rules are integrated into a factor graph model. We test IRIS on two synthetic networks to determine its accuracy and compare it to other methods. We also apply IRIS to gene expression microarray data for the <it>Saccharomyces cerevisiae </it>cell cycle and for human B-cells and compare the results to literature findings.</p> <p>Conclusions</p> <p>IRIS is a rapid and efficient tool for the inference of regulatory relations in gene networks. A topological description of the network and a matrix of gene expression profiles are required as input to the algorithm. IRIS maps gene expression data onto discrete values and then computes regulatory functions as conditional probability tables. The suitability of the method is demonstrated for synthetic data and microarray data. The resulting network can also be embedded in a factor graph model.</p

Heterogeneous data source integration for smart grid ecosystems based on metadata mining

The arrival of new technologies related to smart grids and the resulting ecosystem of applications andmanagement systems pose many new problems. The databases of the traditional grid and the variousinitiatives related to new technologies have given rise to many different management systems with several formats and different architectures. A heterogeneous data source integration system is necessary toupdate these systems for the new smart grid reality. Additionally, it is necessary to take advantage of theinformation smart grids provide. In this paper, the authors propose a heterogeneous data source integration based on IEC standards and metadata mining. Additionally, an automatic data mining framework isapplied to model the integrated information.Ministerio de Economía y Competitividad TEC2013-40767-

Normal Mode Determination of Perovskite Crystal Structures with Octahedral Rotations: Theory and Applications

Nuclear site analysis methods are used to enumerate the normal modes of $ABX_{3}$ perovskite polymorphs with octahedral rotations. We provide the modes of the fourteen subgroups of the cubic aristotype describing the Glazer octahedral tilt patterns, which are obtained from rotations of the $BX_{6}$ octahedra with different sense and amplitude about high symmetry axes. We tabulate all normal modes of each tilt system and specify the contribution of each atomic species to the mode displacement pattern, elucidating the physical meaning of the symmetry unique modes. We have systematically generated 705 schematic atomic displacement patterns for the normal modes of all 15 (14 rotated + 1 unrotated) Glazer tilt systems. We show through some illustrative examples how to use these tables to identify the octahedral rotations, symmetric breathing, and first-order Jahn-Teller anti-symmetric breathing distortions of the $BX_{6}$ octahedra, and the associated Raman selection rules. We anticipate that these tables and schematics will be useful in understanding the lattice dynamics of bulk perovskites and would serve as reference point in elucidating the atomic origin of a wide range of physical properties in synthetic perovskite thin films and superlattices.Comment: 17 pages, 3 figures, 17 tables. Supporting information accessed through link specified within manuscrip

Authorization and access control of application data in Workflow systems

Workflow Management Systems (WfMSs) are used to support the modeling and coordinated execution of business processes within an organization or across organizational boundaries. Although some research efforts have addressed requirements for authorization and access control for workflow systems, little attention has been paid to the requirements as they apply to application data accessed or managed by WfMSs. In this paper, we discuss key access control requirements for application data in workflow applications using examples from the healthcare domain, introduce a classification of application data used in workflow systems by analyzing their sources, and then propose a comprehensive data authorization and access control mechanism for WfMSs. This involves four aspects: role, task, process instance-based user group, and data content. For implementation, a predicate-based access control method is used. We believe that the proposed model is applicable to workflow applications and WfMSs with diverse access control requirements