33 research outputs found

    An output-sensitive algorithm for the minimization of 2-dimensional String Covers

    Full text link
    String covers are a powerful tool for analyzing the quasi-periodicity of 1-dimensional data and find applications in automata theory, computational biology, coding and the analysis of transactional data. A \emph{cover} of a string TT is a string CC for which every letter of TT lies within some occurrence of CC. String covers have been generalized in many ways, leading to \emph{k-covers}, \emph{λ\lambda-covers}, \emph{approximate covers} and were studied in different contexts such as \emph{indeterminate strings}. In this paper we generalize string covers to the context of 2-dimensional data, such as images. We show how they can be used for the extraction of textures from images and identification of primitive cells in lattice data. This has interesting applications in image compression, procedural terrain generation and crystallography

    MICA: desktop software for comprehensive searching of DNA databases

    Get PDF
    BACKGROUND: Molecular biologists work with DNA databases that often include entire genomes. A common requirement is to search a DNA database to find exact matches for a nondegenerate or partially degenerate query. The software programs available for such purposes are normally designed to run on remote servers, but an appealing alternative is to work with DNA databases stored on local computers. We describe a desktop software program termed MICA (K-Mer Indexing with Compact Arrays) that allows large DNA databases to be searched efficiently using very little memory. RESULTS: MICA rapidly indexes a DNA database. On a Macintosh G5 computer, the complete human genome could be indexed in about 5 minutes. The indexing algorithm recognizes all 15 characters of the DNA alphabet and fully captures the information in any DNA sequence, yet for a typical sequence of length L, the index occupies only about 2L bytes. The index can be searched to return a complete list of exact matches for a nondegenerate or partially degenerate query of any length. A typical search of a long DNA sequence involves reading only a small fraction of the index into memory. As a result, searches are fast even when the available RAM is limited. CONCLUSION: MICA is suitable as a search engine for desktop DNA analysis software

    Attenuated Fatigue in Slow Twitch Skeletal Muscle during Isotonic Exercise in Rats with Chronic Heart Failure

    Get PDF
    During isometric contractions, slow twitch soleus muscles (SOL) from rats with chronic heart failure (chf) are more fatigable than those of sham animals. However, a muscle normally shortens during activity and fatigue development is highly task dependent. Therefore, we examined the development of skeletal muscle fatigue during shortening (isotonic) contractions in chf and sham-operated rats. Six weeks following coronary artery ligation, infarcted animals were classified as failing (chf) if left ventricle end diastolic pressure was >15mmHg. During isoflurane anaesthesia, SOL with intact blood supply was stimulated (1s on 1s off) at 30Hz for 15 min and allowed to shorten isotonically against a constant afterload. Muscle temperature was maintained at 37°C. In resting muscle, maximum isometric force (Fmax) and the concentrations of ATP and CrP were not different in the two groups. During stimulation, Fmax and the concentrations declined in parallel sham and chf. Fatigue, which was evident as reduced shortening during stimulation, was also not different in the two groups. The isometric force decline was fitted to a bi-exponential decay equation. Both time constants increased transiently and returned to initial values after approximately 200 s of the fatigue protocol. This resulted in a transient rise in baseline tension between stimulations, although this effect which was less prominent in chf than sham. Myosin light chain 2s phosphorylation declined in both groups after 100 s of isotonic contractions, and remained at this level throughout 15 min of stimulation. In spite of higher energy demand during isotonic than isometric contractions, both shortening capacity and rate of isometric force decline were as well or better preserved in fatigued SOL from chf rats than in sham. This observation is in striking contrast to previous reports which have employed isometric contractions to induce fatigue

    Investigating large-scale brain dynamics using field potential recordings: Analysis and interpretation

    Get PDF
    New technologies to record electrical activity from the brain on a massive scale offer tremendous opportunities for discovery. Electrical measurements of large-scale brain dynamics, termed field potentials, are especially important to understanding and treating the human brain. Here, our goal is to provide best practices on how field potential recordings (EEG, MEG, ECoG and LFP) can be analyzed to identify large-scale brain dynamics, and to highlight critical issues and limitations of interpretation in current work. We focus our discussion of analyses around the broad themes of activation, correlation, communication and coding. We provide best-practice recommendations for the analyses and interpretations using a forward model and an inverse model. The forward model describes how field potentials are generated by the activity of populations of neurons. The inverse model describes how to infer the activity of populations of neurons from field potential recordings. A recurring theme is the challenge of understanding how field potentials reflect neuronal population activity given the complexity of the underlying brain systems

    An Alphard Specification of a Correct and Efficient Transformation on Data Structures

    No full text

    Abstraction and Verification in Alphard: A Symbol Table Example

    No full text

    Möglichkeiten und Probleme der Textverarbeitung auf Linguistischer Grundlage

    No full text
    corecore