The (bounded) hairpin completion and its iterated versions are operations on formal languages which have been inspired by the hairpin formation in DNA-biochemistry. The paper answers two questions asked in the literature about the iterated hairpin completion. The first question is whether the class of regular languages is closed under iterated bounded hairpin completion. Here we show that this ...

We present a formal constructive theory of regular languages consisting of about 1400 lines of Coq/Ssreflect. As representations we consider regular expressions, deterministic and nondeterministic automata, and Myhill and Nerode partitions. We construct computable functions translating between these representations and show that equivalence of representations is decidable. We also establish the...

An intrinsic part of information extraction is the creation and manipulation of relations extracted from text. In this article, we develop a foundational framework where the central construct is what we call a document spanner (or just spanner for short). A spanner maps an input string into a relation over the spans (intervals specified by bounding indices) of the string. The focus of this arti...

BACKGROUND The role of the autonomic nervous system (ANS) in the cardiovascular regulation is of primal importance. Since it has been associated with adverse conditions such as cardiac arrhythmias, sudden death, sleep disorders, hypertension and obesity. OBJECTIVES The present study aimed to investigate the impact of recreational football practice on the autonomic cardiac function of male chi...

We prove that if a mapping F : X → → Y , where X and Y are Banach spaces, is metrically regular at x̄ for ȳ and its inverse F−1 is convex and closed valued locally around (x̄, ȳ), then for any function G : X → Y with lipG(x̄) · regF (x̄ | ȳ)) < 1, the mapping (F + G)−1 has a continuous local selection x(·) around (x̄, ȳ + G(x̄)) which is also calm.

OBJECTIVE Endothelial dysfunction, secondary to systemic inflammation and oxidative stress, is known to play a major role in the development and progression of atherosclerosis. It is hypothesized that the lower incidence of coronary artery disease in the premenopausal period in females when compared with males is associated with regular menstrual blood loss. We investigated whether regular bloo...

A higher intake of black tea has been associated with lower cardiovascular disease risk. The antioxidant effects of tea polyphenols may enhance endothelial function and thereby reduce the risk of coronary events. The objective of the present study was to determine whether regular ingestion of black tea can improve brachial artery vasodilator function. The effects of regular ingestion of 5 cups ...

We propose modeling a nearly regular point pattern by a generalized Neyman-Scott process in which the offspring are Gaussian perturbations from a regular mean configuration. The mean configuration of interest is an equilateral grid, but our results can be used for any stationary regular grid. The case of uniformly distributed points is first studied as a benchmark. By considering the square of ...

We introduce a gcd-sum function involving regular integers (mod n) and prove results giving its minimal order, maximal order and average order.