UNIVERSITY OF HERTFORDSHIRE
             COMPUTER SCIENCE RESEARCH COLLOQUIUM

                            presents

 "Mathematical Modelling of Persistent Splicing Systems in DNA Computing"

                        Dr. Fariba Karimi

        (Royal Society Wolfson Biocomputation Laboratory,
       Centre for Computer Science and Informatics Research,
                    University of Hertfordshire)

                    30 October 2013 (Wednesday)
                          1 pm -2 pm

                  Hatfield, College Lane Campus
                       Seminar Room C152

                  Everyone is Welcome to Attend

                  Refreshments will be available

Abstract:


Splicing system is a bio-inspired computational model that interprets
the Cutting and pasting behavior of DNA molecules in the presence of
restriction enzymes. Splicing system is defined under the framework
of formal language theory. Different types of splicing systems and
languages such as uniform, null-context, simple, permanent, persistent
and strictly locally testable are introduced by researchers. In this
talk some properties of persistent and permanent splicing systems are
discussed. The interesting point about these two systems is that if
restriction enzymes are chosen from actual biological sense, then the
resulting systems are often persistent and permanent. The main feature of
them is that the property of being crossing of a site is preserved and
consequently, the enzymes cleavage process persists. Some sufficient
conditions are provided for splicing systems to be persistent and
permanent. Also, the concepts of self-closed, crossing-preserved and
extended crossing-preserved are introduced that are closely connected
to the notions of persistent and permanent systems.  Furthermore, a
laboratory experiment has been conducted to biologically validate the
behavior of persistent splicing systems.

---------------------------------------------------
Hertfordshire Computer Science Research Colloquium
http://cs-colloq.stca.herts.ac.uk