RepeatMasker is a program that screens DNA sequences for interspersed repeats and low-complexity DNA sequences. In this chapter, we present the procedure to routinely use this program on a personal computer.

The notion of Kolmogorov complexity (=the minimal length of a program that generates some object) is often useful as a kind of language that allows us to reformulate some notions and therefore provide new intuition. In this survey we provide (with minimal comments) many different examples where notions and statements that involve Kolmogorov complexity are compared with their counterparts not in...

This paper studies the structural complexity of model checking for (variations on) the speci cation formalisms used in the tools CMC and Uppaal, and fragments of a timed alternation-free μ-calculus. For each of the logics we study, we characterize the computational complexity of model checking, as well as its speci cation and program complexity, using timed automata as our system model.

The concept of complexity is used in many areas of computer science and software engineering. Software complexity metrics can be used to evaluate and compare quality of software development and maintenance processes and their products. Complexity management and measurement is especially important in novel programming technologies and paradigms, such as aspect-oriented programming, generative pr...

EXECUTIVE SUMMARY Evaluating the effectiveness of maternal and child home visitation programs can be challenging. The complexity of program models, coupled with considerations of real-world program implementation, requires thoughtful and flexible evaluation strategies. Yet, meaningful evaluations of home visitation programs are not only feasible, but are essential as policymakers demand stronge...

Software maintenance and mainly software comprehension pose the largest costs in the software lifecycle. In order to assess the cost of software comprehension, various complexity measures have been proposed in the literature. This paper proposes new cognitive-spatial complexity measures, which combine the impact of spatial as well as architectural aspect of the software to compute the software ...

Knowledge work is generally regarded as involving complex cognition, and few types of knowledge work are as important in the modern economy as software engineering (SE). A large number of measures have been developed to analyze software and its concomitant processes with the goals of evaluating, predicting and controlling its complexity. While many effective measures can be used to achieve thes...

The purpose of this study was to assess adoption, implementation and maintenance of a guided supermarket tour program of nutrition education by Dutch Public Health Services (PHSs), and the factors associated with program dissemination. A first questionnaire was sent to all 60 PHSs, and measured program adoption, perceived program attributes, and characteristics of the adopting organization and ...

We describe an automatic complexity analysis mechanism for programs extracted from proofs carried out with the proof assistant Coq. By extraction, we mean the automatic generation of MiniML code [3]. By complexity analysis, we mean the automatic generation of a description of the time-complexity of a MiniML program in terms of the number of steps needed for its execution. This description can b...