Limits of the power of Tissue P systems with cell division

Tissue P systems generalize the membrane structure tree usual in original models of P systems to an arbitrary graph. Basic opera- tions in these systems are communication rules, enriched in some variants with cell division or cell separation. Several variants of tissue P systems were recently studied, together with the concept of uniform families of these systems. Their computational power was shown to range between P and NP ? co-NP , thus characterizing some interesting borderlines between tractability and intractability. In this paper we show that com- putational power of these uniform families in polynomial time is limited by the class PSPACE . This class characterizes the power of many clas- sical parallel computing models

Volume Haptics and Dendritic Spine Editing

Esta tesis se ha desarrollado en el contexto del proyecto Cajal Blue Brain, una iniciativa europea dedicada al estudio del cerebro. Uno de los objetivos de esta iniciativa es desarrollar nuevos métodos y nuevas tecnologías que simplifiquen el análisis de datos en el campo neurocientífico. El presente trabajo se ha centrado en diseñar herramientas que combinen información proveniente de distintos canales sensoriales con el fin de acelerar la interacción y análisis de imágenes neurocientíficas. En concreto se estudiará la posibilidad de combinar información visual con información háptica. Las espinas dendríticas son pequeñas protuberancias que recubren la superficie dendrítica de muchas neuronas del cerebro. A día de hoy, se cree que tienen un papel clave en la transmisión de señales neuronales. Motivo por el cual, el interés por parte de la comunidad científica por estas estructuras ha ido en aumento a medida que las técnicas de adquisición de imágenes mejoraban hasta alcanzar una calidad suficiente para analizar dichas estructuras. A menudo, los neurocientíficos utilizan técnicas de microscopía con luz para obtener los datos que les permitan analizar estructuras neuronales tales como neuronas, dendritas y espinas dendríticas. A pesar de que estas técnicas ofrezcan ciertas ventajas frente a su equivalente electrónico, las técnicas basadas en luz permiten una menor resolución. En particular, estructuras pequeñas como las espinas dendríticas pueden capturarse de forma incorrecta en las imágenes obtenidas, impidiendo su análisis. En este trabajo, se presenta una nueva técnica, que permite editar imágenes volumétricas, mediante un dispositivo háptico, con el fin de reconstruir de los cuellos de las espinas dendríticas. Con este objetivo, en un primer momento se desarrolló un algoritmo que proporciona retroalimentación háptica en datos volumétricos, completando la información que provine del canal visual. Dicho algoritmo de renderizado háptico permite a los usuarios tocar y percibir una isosuperficie en el volumen de datos. El algoritmo asegura un renderizado robusto y eficiente. Se utiliza un método basado en las técnicas de “marching tetrahedra” para la extracción local de una isosuperficie continua, lineal y definida por intervalos. La robustez deriva tanto de una etapa de detección de colisiones continua de la isosuperficie extraída, como del uso de técnicas eficientes de renderizado basadas en un proxy puntual. El método de “marching tetrahedra” propuesto garantiza que la topología de la isosuperficie extraída coincida con la topología de una isosuperficie equivalente determinada utilizando una interpolación trilineal. Además, con el objetivo de mejorar la coherencia entre la información háptica y la información visual, el algoritmo de renderizado háptico calcula un segundo proxy en la isosuperficie pintada en la pantalla. En este trabajo se demuestra experimentalmente las mejoras en, primero, la etapa de extracción de isosuperficie, segundo, la robustez a la hora de mantener el proxy en la isosuperficie deseada y finalmente la eficiencia del algoritmo. En segundo lugar, a partir del algoritmo de renderizado háptico propuesto, se desarrolló un procedimiento, en cuatro etapas, para la reconstrucción de espinas dendríticas. Este procedimiento, se puede integrar en los cauces de segmentación automática y semiautomática existentes como una etapa de pre-proceso previa. El procedimiento está diseñando para que tanto la navegación como el proceso de edición en sí mismo estén controlados utilizando un dispositivo háptico. Se han diseñado dos experimentos para evaluar esta técnica. El primero evalúa la aportación de la retroalimentación háptica y el segundo se centra en evaluar la idoneidad del uso de un háptico como dispositivo de entrada. En ambos casos, los resultados demuestran que nuestro procedimiento mejora la precisión de la reconstrucción. En este trabajo se describen también dos casos de uso de nuestro procedimiento en el ámbito de la neurociencia: el primero aplicado a neuronas situadas en la corteza cerebral humana y el segundo aplicado a espinas dendríticas situadas a lo largo de neuronas piramidales de la corteza del cerebro de una rata. Por último, presentamos el programa, Neuro Haptic Editor, desarrollado a lo largo de esta tesis junto con los diferentes algoritmos ya mencionados. ABSTRACT This thesis took place within the Cajal Blue Brain project, a European initiative dedicated to the study of the brain. One of the main goals of this project is the development of new methods and technologies simplifying data analysis in neuroscience. This thesis focused on the development of tools combining information originating from distinct sensory channels with the aim of accelerating both the interaction with neuroscience images and their analysis. In concrete terms, the objective is to study the possibility of combining visual information with haptic information. Dendritic spines are thin protrusions that cover the dendritic surface of numerous neurons in the brain and whose function seems to play a key role in neural circuits. The interest of the neuroscience community toward those structures kept increasing as and when acquisition methods improved, eventually to the point that the produced datasets enabled their analysis. Quite often, neuroscientists use light microscopy techniques to produce the dataset that will allow them to analyse neuronal structures such as neurons, dendrites and dendritic spines. While offering some advantages compared to their electronic counterpart, light microscopy techniques achieve lower resolutions. Particularly, small structures such as dendritic spines might suffer from a very low level of fluorescence in the final dataset, preventing further analysis. This thesis introduces a new technique enabling the edition of volumetric datasets in order to recreate dendritic spine necks using a haptic device. In order to fulfil this objective, we first presented an algorithm to provide haptic feedback directly from volumetric datasets, as an aid to regular visualization. The haptic rendering algorithm lets users perceive isosurfaces in volumetric datasets, and it relies on several design features that ensure a robust and efficient rendering. A marching tetrahedra approach enables the dynamic extraction of a piecewise linear continuous isosurface. Robustness is derived using a Continuous Collision Detection step coupled with acknowledged proxy-based rendering methods over the extracted isosurface. The introduced marching tetrahedra approach guarantees that the extracted isosurface will match the topology of an equivalent isosurface computed using trilinear interpolation. The proposed haptic rendering algorithm improves the coherence between haptic and visual cues computing a second proxy on the isosurface displayed on screen. Three experiments demonstrate the improvements on the isosurface extraction stage as well as the robustness and the efficiency of the complete algorithm. We then introduce our four-steps procedure for the complete reconstruction of dendritic spines. Based on our haptic rendering algorithm, this procedure is intended to work as an image processing stage before the automatic segmentation step giving the final representation of the dendritic spines. The procedure is designed to allow both the navigation and the volume image editing to be carried out using a haptic device. We evaluated our procedure through two experiments. The first experiment concerns the benefits of the force feedback and the second checks the suitability of the use of a haptic device as input. In both cases, the results shows that the procedure improves the editing accuracy. We also report two concrete cases where our procedure was employed in the neuroscience field, the first one concerning dendritic spines in the human cortex, the second one referring to an ongoing experiment studying dendritic spines along dendrites of mouse cortical pyramidal neurons. Finally, we present the software program, Neuro Haptic Editor, that was built along the development of the different algorithms implemented during this thesis, and used by neuroscientists to use our procedure.

Quality and productivity analysis in a very small enterprise using TSPi

This article shows the benefits of developing a software project using TSPi in a "Very Small Enterprise" based in quality and productivity measures. An adapted process from the current process based on the TSPi was defined and the team was trained in it. The pilot project had schedule and budget constraints. The workaround began by gathering historical data from previous projects in order to get a measurement repository, and then the project metrics were collected. Finally, the process, product and quality improvements were verified

Computación celular con membranas: un estudio de modelos de cómputo bioinspirados

Los resultados presentados en la memoria de esta tesis doctoral se enmarcan en la denominada computación celular con membranas una nueva rama de investigación dentro de la computación natural creada por Gh. Paun en 1998, de ahí que habitualmente reciba el nombre de sistemas P. Este nuevo modelo de cómputo distribuido está inspirado en la estructura y funcionamiento de la célula. El objetivo de esta tesis ha sido analizar el poder y la eficiencia computacional de estos sistemas de computación celular. En concreto, se han analizado dos tipos de sistemas P: por un lado los sistemas P de neuronas de impulsos, y por otro los sistemas P con proteínas en las membranas. Para el primer tipo, los resultados obtenidos demuestran que es posible que estos sistemas mantengan su universalidad aunque muchas de sus características se limiten o incluso se eliminen. Para el segundo tipo, se analiza la eficiencia computacional y se demuestra que son capaces de resolver problemas de la clase de complejidad ESPACIO-P (PSPACE) en tiempo polinómico. Análisis del poder computacional: Los sistemas P de neuronas de impulsos (en adelante SN P, acrónimo procedente del inglés «Spiking Neural P Systems») son sistemas inspirados en el funcionamiento neuronal y en la forma en la que los impulsos se propagan por las redes sinápticas. Los SN P bio-inpirados poseen un numeroso abanico de características que ha cen que dichos sistemas sean universales y por tanto equivalentes, en poder computacional, a una máquina de Turing. Estos sistemas son potentes a nivel computacional, pero tal y como se definen incorporan numerosas características, quizás demasiadas. En (Ibarra et al. 2007) se demostró que en estos sistemas sus funcionalidades podrían ser limitadas sin comprometer su universalidad. Los resultados presentados en esta memoria son continuistas con la línea de trabajo de (Ibarra et al. 2007) y aportan nuevas formas normales. Esto es, nuevas variantes simplificadas de los sistemas SN P con un conjunto mínimo de funcionalidades pero que mantienen su poder computacional universal. Análisis de la eficiencia computacional: En esta tesis se ha estudiado la eficiencia computacional de los denominados sistemas P con proteínas en las membranas. Se muestra que este modelo de cómputo es equivalente a las máquinas de acceso aleatorio paralelas (PRAM) o a las máquinas de Turing alterantes ya que se demuestra que un sistema P con proteínas, es capaz de resolver un problema ESPACIOP-Completo como el QSAT(problema de satisfacibilidad de fórmulas lógicas cuantificado) en tiempo polinómico. Esta variante de sistemas P con proteínas es muy eficiente gracias al poder de las proteínas a la hora de catalizar los procesos de comunicación intercelulares. ABSTRACT The results presented at this thesis belong to membrane computing a new research branch inside of Natural computing. This new branch was created by Gh. Paun on 1998, hence usually receives the name of P Systems. This new distributed computing model is inspired on structure and functioning of cell. The aim of this thesis is to analyze the efficiency and computational power of these computational cellular systems. Specifically there have been analyzed two different classes of P systems. On the one hand it has been analyzed the Neural Spiking P Systems, and on the other hand it has been analyzed the P systems with proteins on membranes. For the first class it is shown that it is possible to reduce or restrict the characteristics of these kind of systems without loss of computational power. For the second class it is analyzed the computational efficiency solving on polynomial time PSACE problems. Computational Power Analysis: The spiking neural P systems (SN P in short) are systems inspired by the way of neural cells operate sending spikes through the synaptic networks. The bio-inspired SN Ps possess a large range of features that make these systems to be universal and therefore equivalent in computational power to a Turing machine. Such systems are computationally powerful, but by definition they incorporate a lot of features, perhaps too much. In (Ibarra et al. in 2007) it was shown that their functionality may be limited without compromising its universality. The results presented herein continue the (Ibarra et al. 2007) line of work providing new formal forms. That is, new SN P simplified variants with a minimum set of functionalities but keeping the universal computational power. Computational Efficiency Analisys: In this thesis we study the computational efficiency of P systems with proteins on membranes. We show that this computational model is equivalent to parallel random access machine (PRAM) or alternating Turing machine because, we show P Systems with proteins can solve a PSPACE-Complete problem as QSAT (Quantified Propositional Satisfiability Problem) on polynomial time. This variant of P Systems with proteins is very efficient thanks to computational power of proteins to catalyze inter-cellular communication processes.

Static and dynamic lengths of neutrophil microvilli

Containing most of the L-selectin and P-selectin glycoprotein ligand-1 (PSGL-1) on their tips, microvilli are believed to promote the initial arrest of neutrophils on endothelium. At the rolling stage following arrest, the lifetimes of the involved molecular bonds depend on the pulling force imposed by the shear stress of blood flow. With two different methods, electron microscopy and micropipette manipulation, we have obtained two comparable neutrophil microvillus lengths, both ≈0.3 μm in average. We have found also that, under a pulling force, a microvillus can be extended (microvillus extension) or a long thin membrane cylinder (a tether) can be formed from it (tether formation). If the force is ≤34 pN (± 3 pN), the length of the microvillus will be extended; if the force is >61 pN (± 5 pN), a tether will be formed from the microvillus at a constant velocity, which depends linearly on the force. When the force is between 34 pN and 61 pN (transition zone), the degree of association between membrane and cytoskeleton in individual microvilli will dictate whether microvillus extension or tether formation occurs. When a microvillus is extended, it acts like a spring with a spring constant of ≈43 pN/μm. In contrast to a rigid or nonextendible microvillus, both microvillus extension and tether formation can decrease the pulling force imposed on the adhesive bonds, and thus prolonging the persistence of the bonds at high physiological shear stresses.

Structural features of the γ subunit of the Escherichia coli F1 ATPase revealed by a 4.4-Å resolution map obtained by x-ray crystallography

The F1 part of the F1FO ATP synthase from Escherichia coli has been crystallized and its structure determined to 4.4-Å resolution by using molecular replacement based on the structure of the beef-heart mitochondrial enzyme. The bacterial F1 consists of five subunits with stoichiometry α3, β3, γ, δ, and ɛ. δ was removed before crystallization. In agreement with the structure of the beef-heart mitochondrial enzyme, although not that from rat liver, the present study suggests that the α and β subunits are arranged in a hexagonal barrel but depart from exact 3-fold symmetry. In the structures of both beef heart and rat-liver mitochondrial F1, less than half of the structure of the γ subunit was seen because of presumed disorder in the crystals. The present electron-density map includes a number of rod-shaped features which appear to correspond to additional α-helical regions within the γ subunit. These suggest that the γ subunit traverses the full length of the stalk that links the F1 and FO parts and makes significant contacts with the c subunit ring of FO.

Zn2+ interaction with Alzheimer amyloid beta protein calcium channels.

The Alzheimer disease 40-residue amyloid beta protein (AbetaP[1-40]) forms cation-selective channels across acidic phospholipid bilayer membranes with spontaneous transitions over a wide range of conductances ranging from 40 to 4000 pS. Zn2+ has been reported to bind to AbetaP[1-40] with high affinity, and it has been implicated in the formation of amyloid plaques. We now report the functional consequences of such Zn2+ binding for the AbetaP[1-40] channel. Provided the AbetaP[1-40] channel is expressed in the low conductance (<400 pS) mode, Zn2+ blocks the open channel in a dose- dependent manner. For AbetaP[1-40] channels in the giant conductance mode (>400 pS), Zn2+ doses in the millimolar range were required to exert substantial blockade. The Zn2+ chelator o-phenanthroline reverses the blockade. We also found that Zn2+ modulates AbetaP[1-40] channel gating and conductance only from one side of the channel. These data are consistent with predictions of our recent molecular modeling studies on AbetaP[1-40] channels indicating asymmetric Zn(2+)-AbetaP[1-40] interactions at the entrance to the pore.

A structural basis for a phosphoramide mustard-induced DNA interstrand cross-link at 5'-d(GAC).

Phosphoramide mustard-induced DNA interstrand cross-links were studied both in vitro and by computer simulation. The local determinants for the formation of phosphoramide mustard-induced DNA interstrand cross-links were defined by using different pairs of synthetic oligonucleotide duplexes, each of which contained a single potentially cross-linkable site. Phosphoramide mustard was found to cross-link dG to dG at a 5'-d(GAC)-3'. The structural basis for the formation of this 1,3 cross-link was studied by molecular dynamics and quantum chemistry. Molecular dynamics indicated that the geometrical proximity of the binding sites also favored a 1,3 dG-to-dG linkage over a 1,2 dG-to-dG linkage in a 5'-d(GCC)-3' sequence. While the enthalpies of 1,2 and 1,3 mustard cross-linked DNA were found to be very close, a 1,3 structure was more flexible and may therefore be in a considerably higher entropic state.

Photolabeling reveals the proximity of the alpha-neurotoxin binding site to the M2 helix of the ion channel in the nicotinic acetylcholine receptor.

A photoactivatable derivative of neurotoxin II from Naja naja oxiana containing a 125I-labeled p-azidosalicylamidoethyl-1,3'-dithiopropyl label at Lys-25 forms a photo-induced cross-link with the delta subunit of the membrane-bound Torpedo californica nicotinic acetylcholine receptor (AChR). The cross-linked radioactive receptor peptide was isolated by reverse-phase HPLC after tryptic digestion of the labeled delta subunit. The sequence of this peptide, delta-(260-277), and the position of the label at Ala-268 were established by matrix-assisted laser-desorption-ionization mass spectrometry based on the molecular mass and on post-source decay fragment analysis. With the known dimensions of the AChR molecule, of the photolabel, and of alpha-neurotoxin, finding the cross-link at delta Ala-268 (located in the upper part of the channel-forming transmembrane helix M2) means that the center of the alpha-neurotoxin binding site is situated at least approximately 40 A from the extracellular surface of the AChR, proximal to the channel axis.

Estudo do processo de formação do cavaco durante o torneamento e sua relação com a microestrutura utilizando o método dos elementos finitos.

O objetivo desse trabalho foi avaliar o processo de formação do cavaco durante o torneamento utilizando simulação numérica pelo método dos elementos finitos. Para realizar o estudo foram definidos dois tipos de aços inoxidáveis austeníticos, um com matriz metálica sem a presença significativa de inclusões, do tipo ABNT 304, e outro com a presença de inclusões não metálicas, do tipo ABNT 303. O estudo foi focado nos mecanismos de formação e ruptura do cavaco, na determinação das forças de usinagem, no campo de tensões, deformações, e temperaturas durante o processo, que foram relacionados com aspectos e características da microestrutura do material. Os resultados obtidos foram comparados com as forças de usinagem experimentais, com a espessura e morfologia do cavaco. O desenvolvimento do trabalho, de acordo com a metodologia adotada, foi realizado em diferentes etapas. Inicialmente foi elaborado e aplicado um modelo de simulação da usinagem considerando o material homogêneo. Em outra etapa, foi realizada a modelagem de uma microestrutura submetida a um estado de tensão e deformação semelhante ao encontrado na simulação da usinagem realizada com material homogêneo. Os resultados mostraram que as partículas das inclusões maiores, alongadas, e em maior quantidade aumentam a tensão e a deformação na microestrutura. As elevadas temperaturas obtidas na usinagem dos aços inoxidáveis austeníticos aumentam a ductilidade dos sulfetos, esses se deformam em compressão junto com a matriz, e têm um efeito limitado como agente de redução dos esforços de usinagem. Por outro lado, os sulfetos facilitam a etapa de ruptura do cavaco em tensões trativas, e tendem a se romper facilitando o processo de quebra.

Inelastic electron tunneling spectroscopy of a single nuclear spin

Detection of a single nuclear spin constitutes an outstanding problem in different fields of physics such as quantum computing or magnetic imaging. Here we show that the energy levels of a single nuclear spin can be measured by means of inelastic electron tunneling spectroscopy (IETS). We consider two different systems, a magnetic adatom probed with scanning tunneling microscopy and a single Bi dopant in a silicon nanotransistor. We find that the hyperfine coupling opens new transport channels which can be resolved at experimentally accessible temperatures. Our simulations evince that IETS yields information about the occupations of the nuclear spin states, paving the way towards transport-detected single nuclear spin resonance.

Sugarcane moth borers (Lepidoptera: Noctuidae and Pyraloidea): phylogenetics constructed using COII and 16S mitochondrial partial gene sequences

Sugarcane moth borers are a diverse group of species occurring in several genera, but predominately within the Noctuidae and Pyraloidea. They cause economic loss in sugarcane and other crops through damage to stems and stalks by larval boring. Partial sequence data from two mitochondrial genes, COII and 16S, were used to construct a molecular phylogeny based on 26 species from ten genera and six tribes. The Noctuidae were found to be monophyletic, providing molecular support for the taxonomy within this subfamily. However, the Pyraloidea are paraphyletic, with the noctuids splitting Galleriinae and Schoenobiinae from the Crambinae. This supports the separation of the Pyralidae and Crambinae, but does not support the concept of the incorporation of the Schoenobiinae in the Crambidae. Of the three crambine genera examined, Diatraea was monophyletic, Chilo paraphyletic, and Eoreuma was basal to the other two genera. Within the Noctuidae, Sesamia and Bathytricha were monophyletic, with Busseola basal to Bathytricha. Many species in this study (both noctuids and pyraloids) had different biotypes within collection localities and across their distribution; however the individual biotypes were not phylogenetically informative. These data highlight the need for taxonomic revisions at all taxon levels and provide a basis for the development of DNA-based diagnostics for rapidly identifying many species at any developmental stage. This ability is vital, as the species are an incursion threat to Australia and have the potential to cause significant losses to the sugar industry.

Measuring geometric phases of scattering states in nanoscale electronic devices

We show how a quantum property, a geometric phase, associated with scattering states can be exhibited in nanoscale electronic devices. We propose an experiment to use interference to directly measure the effect of this geometric phase. The setup involves a double-path interferometer, adapted from that used to measure the phase evolution of electrons as they traverse a quantum dot (QD). Gate voltages on the QD could be varied cyclically and adiabatically, in a manner similar to that used to observe quantum adiabatic charge pumping. The interference due to the geometric phase results in oscillations in the current collected in the drain when a small bias across the device is applied. We illustrate the effect with examples of geometric phases resulting from both Abelian and non-Abelian gauge potentials.

Schistosome transcriptome analysis at the cutting edge

We live in the era of post-genomics, a term that was, until recently, inappropriate when considering the blood flukes of humans because of the relative lack of knowledge of the schistosome genome. The position has, however, changed dramatically following the recent publication of two landmark papers on transcriptome analysis of Schistosoma japonicum and Schistosoma mansoni. In a quantum leap, both studies report on the identification of many novel genes and genes not previously known from schistosomes. The datasets provide new insights into the biology of the schistosomes and offer an opportunity for identification of potential antischistosome vaccine candidates and drug targets. Remarkable recent progress has also been achieved in genomic sequencing, and completed genomes for both species can be expected shortly.

Pax9 and Jagged1 act downstream of Gli3 in vertabrate limb development

From early in limb development the transcription factor Gli3 acts to define boundaries of gene expression along the anterior-posterior (AP) axis, establishing asymmetric patterns required to provide positional information. As limb development proceeds, posterior mesenchyme expression of Sonic hedgehog (Shh) regulates Gli3 transcription and post-translational processing to specify digit number and identity. The molecular cascades dependent on Gli3 at later stages of limb development, which link early patterning events with final digit morphogenesis, remain poorly characterised. By analysing the transcriptional consequences of loss of Gli3 in the anterior margin of the E11.5 and E12.5 limb bud in the polydactylous mouse mutant extra-toes (Gli3(Xt/Xt)), we have identified a number of known and novel transcripts dependent on Gli3 in the limb. In particular, we demonstrated that the genes encoding the paired box transcription factor Pax9, the Notch ligand Jagged1 and the cell surface receptor Cdo are dependent on Gli3 for correct expression in the anterior limb mesenchyme. Analysis of expression in compound Shh;Gli3 mutant mouse embryos and in both in vitro and in vivo Shh signaling assays, further defined the importance of Shh regulated processing of Gli3 in controlling gene expression. In particular Pax9 regulation by Shh and Gli3 was shown to be context dependent, with major differences between the limb and somite revealed by Shh bead implantation experiments in the chick. Jagged1 was shown to be induced by Shh in the chick limb and in a C3H10T1/2 cell based signaling assay, with Shh;Gli3 mutant analysis indicating that expression is dependent on Gli3 derepression. Our data have also revealed that perturbation of early patterning events within the Gli3(Xt/Xt), limb culminates in a specific delay of anterior chondrogenesis which is subsequently realised as extra digits. (c) 2005 Elsevier Ireland Ltd. All rights reserved.