Global ETD Search

Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.

Results

Showing 1 to 6 of 6 for “"Membrane-Computing"”.

  1. Evolution, communication, observation from biology to membrane computing and back

    La Computación Natural es una disciplina cuyo objetivo fundamental es la simulación e implementación de procesos dinámicos que se dan en la Naturaleza y que son susceptibles de ser interpretados como procedimientos de cálculo. ... height: 150%; font-family: 'Times New Roman','serif'; font-size: …

    sevilla Repository record for Evolution, communication, observation from biology to membrane computing and back (opens in a new tab)

  2. New techniques for implementing membrane systems

    Biomolecular computing is the focus of this thesis. In particular, the area of computing with the membranes of the living cells commonly referred as ‘membrane computing’ or ‘transition P-systems’. It introduces the concept of ‘adaptability’. The new idea of “adaptability “appears in this work. …

    upm Repository record for New techniques for implementing membrane systems (opens in a new tab)

  3. Uniformity conditions for membrane systems Uncovering complexity below P

    … models of cell behaviour collectively known as Membrane Systems or P-Systems. Specifically we focus on analysing the power of cell division and membrane dissolution using the well-established active membrane model. Inspired by circuit complexity, researchers consider uniform and semi-uniform …

    maynooth Repository record for Uniformity conditions for membrane systems Uncovering complexity below P (opens in a new tab)

  4. Formal verification of biologically inspired computing models

    As a recently proposed biologically inspired computing model, cP systems can solve computationally hard problems in polynomial - often linear or sublinear - time. Similar to other membrane computing models, cP systems work in an ideal way, having unlimited space and computing power. This thesis …

    auckland-ms Repository record for Formal verification of biologically inspired computing models (opens in a new tab)

  5. Formale Analyse- und Verifikationsparadigmen für ausgewählte verteilte Splicing-Systeme

    DNA-basierte Systeme beschreiben formal ein alternatives Berechnungskonzept, beruhend auf der Anwendung molekularbiologischer Operationen. Der Grundgedanke ist dabei die Entwicklung alternativer und universeller Rechnerarchitekturen. Infolge der zugrunde liegenden maximalen Parallelität sowie der …

    qucosa-diss