A note on the degree sequences of graphs with restrictions

Degree sequences of some types of graphs will be studied and characterizedin this paper.

Generating hard SAT/CSP instances using expander graphs

In this paper we provide a new method to generate hard k-SAT instances. We incrementally construct a high girth bipartite incidence graph of the k-SAT instance. Having high girth assures high expansion for the graph, and high expansion implies high resolution width. We have extended this approach to generate hard n-ary CSP instances and we have also adapted this idea to increase the expansion of the system of linear equations used to generate XORSAT instances, being able to produce harder satisfiable instances than former generators.

Anonymizing Graphs: Measuring Quality for Clustering

Peer-reviewed

QT interval in healthy dogs: which method of correcting the QT interval in dogs is appropriate for use in small animal clinics?

The electrocardiography (ECG) QT interval is influenced by fluctuations in heart rate (HR) what may lead to misinterpretation of its length. Considering that alterations in QT interval length reflect abnormalities of the ventricular repolarisation which predispose to occurrence of arrhythmias, this variable must be properly evaluated. The aim of this work is to determine which method of correcting the QT interval is the most appropriate for dogs regarding different ranges of normal HR (different breeds). Healthy adult dogs (n=130; German Shepherd, Boxer, Pit Bull Terrier, and Poodle) were submitted to ECG examination and QT intervals were determined in triplicates from the bipolar limb II lead and corrected for the effects of HR through the application of three published formulae involving quadratic, cubic or linear regression. The mean corrected QT values (QTc) obtained using the diverse formulae were significantly different (ρ<0.05), while those derived according to the equation QTcV = QT + 0.087(1- RR) were the most consistent (linear regression). QTcV values were strongly correlated (r=0.83) with the QT interval and showed a coefficient of variation of 8.37% and a 95% confidence interval of 0.22-0.23 s. Owing to its simplicity and reliability, the QTcV was considered the most appropriate to be used for the correction of QT interval in dogs.

Scheduling dynamic dataflow graphs with model checking

With the shift towards many-core computer architectures, dataflow programming has been proposed as one potential solution for producing software that scales to a varying number of processor cores. Programming for parallel architectures is considered difficult as the current popular programming languages are inherently sequential and introducing parallelism is typically up to the programmer. Dataflow, however, is inherently parallel, describing an application as a directed graph, where nodes represent calculations and edges represent a data dependency in form of a queue. These queues are the only allowed communication between the nodes, making the dependencies between the nodes explicit and thereby also the parallelism. Once a node have the su cient inputs available, the node can, independently of any other node, perform calculations, consume inputs, and produce outputs. Data ow models have existed for several decades and have become popular for describing signal processing applications as the graph representation is a very natural representation within this eld. Digital lters are typically described with boxes and arrows also in textbooks. Data ow is also becoming more interesting in other domains, and in principle, any application working on an information stream ts the dataflow paradigm. Such applications are, among others, network protocols, cryptography, and multimedia applications. As an example, the MPEG group standardized a dataflow language called RVC-CAL to be use within reconfigurable video coding. Describing a video coder as a data ow network instead of with conventional programming languages, makes the coder more readable as it describes how the video dataflows through the different coding tools. While dataflow provides an intuitive representation for many applications, it also introduces some new problems that need to be solved in order for data ow to be more widely used. The explicit parallelism of a dataflow program is descriptive and enables an improved utilization of available processing units, however, the independent nodes also implies that some kind of scheduling is required. The need for efficient scheduling becomes even more evident when the number of nodes is larger than the number of processing units and several nodes are running concurrently on one processor core. There exist several data ow models of computation, with different trade-offs between expressiveness and analyzability. These vary from rather restricted but statically schedulable, with minimal scheduling overhead, to dynamic where each ring requires a ring rule to evaluated. The model used in this work, namely RVC-CAL, is a very expressive language, and in the general case it requires dynamic scheduling, however, the strong encapsulation of dataflow nodes enables analysis and the scheduling overhead can be reduced by using quasi-static, or piecewise static, scheduling techniques. The scheduling problem is concerned with nding the few scheduling decisions that must be run-time, while most decisions are pre-calculated. The result is then an, as small as possible, set of static schedules that are dynamically scheduled. To identify these dynamic decisions and to find the concrete schedules, this thesis shows how quasi-static scheduling can be represented as a model checking problem. This involves identifying the relevant information to generate a minimal but complete model to be used for model checking. The model must describe everything that may affect scheduling of the application while omitting everything else in order to avoid state space explosion. This kind of simplification is necessary to make the state space analysis feasible. For the model checker to nd the actual schedules, a set of scheduling strategies are de ned which are able to produce quasi-static schedulers for a wide range of applications. The results of this work show that actor composition with quasi-static scheduling can be used to transform data ow programs to t many different computer architecture with different type and number of cores. This in turn, enables dataflow to provide a more platform independent representation as one application can be fitted to a specific processor architecture without changing the actual program representation. Instead, the program representation is in the context of design space exploration optimized by the development tools to fit the target platform. This work focuses on representing the dataflow scheduling problem as a model checking problem and is implemented as part of a compiler infrastructure. The thesis also presents experimental results as evidence of the usefulness of the approach.

Cholinergic stimulation with pyridostigmine reduces the QTc interval in coronary artery disease

Parasympathetic dysfunction is an independent risk factor in patients with coronary artery disease; thus, cholinergic stimulation is a potential therapeutic measure that may be protective by acting on ventricular repolarization. The purpose of the present study was to determine the effects of pyridostigmine bromide (PYR), a reversible anticholinesterase agent, on the electrocardiographic variables, particularly QTc interval, in patients with stable coronary artery disease. In a randomized double-blind crossover placebo-controlled study, simultaneous 12-lead electrocardiographic tracings were obtained at rest from 10 patients with exercise-induced myocardial ischemia before and 2 h after the oral administration of 45 mg PYR or placebo. PYR increased the RR intervals (pre: 921 ± 27 ms vs post: 1127 ± 37 ms; P<0.01) and, in contrast with placebo, decreased the QTc interval (pre: 401 ± 3 ms vs post: 382 ± 3 ms; P<0.01). No other electrocardiographic variables were modified (PR segment, QT interval, QT and QTc dispersions). Cholinergic stimulation with PYR caused bradycardia and reduced the QTc interval without important side effects in patients with coronary disease. These effects, if confirmed in studies over longer periods of administration, may suggest a cardioprotection by cholinergic stimulation with PYR.

Chronic converting enzyme inhibition normalizes QT interval in aging rats

The aim of the present study was to investigate the effects of converting enzyme inhibition by captopril on ECG parameters in aged rats. Four-month-old male rats received captopril dissolved in tap water (0.5 mg/l) or tap water for 2 or 20 months. At the end of treatment, under anesthesia, RR and PR interval, P wave and QRS duration, QT and corrected QT interval were measured in all animals. On the following day, chronic ECG (lead II) recordings were performed to quantify supraventricular (SVPB) or ventricular premature beats (VPB). After sacrifice, the hearts were removed and weighed. RR interval was similar in young and untreated aged rats, but significantly larger in aged rats treated with captopril. P wave and QRS length did not differ among groups. PR interval was significantly larger in old than in young rats and was not affected by captopril. Corrected QT interval was larger in aged than in young rats (117 ± 4 vs 64 ± 6 ms, P<0.05) and was reduced by captopril (71 ± 6 ms, P<0.05). VPB were absent in young rats and highly frequent in untreated old animals (8.4 ± 3.0/30 min). Captopril significantly reduced VPB in old rats (0.3 ± 0.1/30 min, P<0.05). The cardiac hypertrophy found in untreated aged rats was prevented by captopril (3.44 ± 0.14 vs 3.07 ± 0.10 mg/g, P<0.05). The beneficial effects of angiotensin converting enzyme inhibition on the rat heart during the aging process are remarkable.

An analysis of the electrocardiogram QT interval

No reports testing the efficacy of the use of the QT/RR ratio <1/2 for detecting a normal QTc interval were found in the literature. The objective of the present study was to determine if a QT/RR ratio <=1/2 can be considered to be equal to the normal QTc and to compare the QT and QTc measured and calculated clinically and by a computerized electrocardiograph. Ratios (140 QT/RR) of 28 successive electrocardiograms obtained from 28 consecutive patients in a tertiary level teaching hospital were analyzed clinically by 5 independent observers and by a computerized electrocardiograph. The QT/RR ratio provided 56% sensitivity and 78% specificity, with an area under the receiver operator characteristic curve of 75.8% (95%CI: 0.68 to 0.84). The divergence in QT and QTc interval measurements between clinical and computerized evaluation were 0.01 ± 0.03 s (95%CI: 0.04-0.02) and 0.01 ± 0.04 s (95%CI: -0.05-0.03), respectively. The QT and QTc values measured clinically and by a computerized electrocardiograph were similar. The QT/RR ratio <=1/2 was not a satisfactory index for QTc evaluation because it could not predict a normal QTc value.

Training-related changes in the R-R interval at the onset of passive movements in humans

The aim of the present study was to determine whether training-related alterations in muscle mechanoreflex activation affect cardiac vagal withdrawal at the onset of exercise. Eighteen male volunteers divided into 9 controls (26 ± 1.9 years) and 9 racket players (25 ± 1.9 years) performed 10 s of voluntary and passive movement characterized by the wrist flexion of their dominant and non-dominant limbs. The respiratory cycle was divided into four phases and the phase 4 R-R interval was measured before and immediately following the initiation of either voluntary or passive movement. At the onset of voluntary exercise, the decrease in R-R interval was similar between dominant and non-dominant forearms in both controls (166 ± 20 vs 180 ± 34 ms, respectively; P > 0.05) and racket players (202 ± 29 vs 201 ± 31 ms, respectively; P > 0.05). Following passive movement, the non-dominant forearm of racket players elicited greater changes than the dominant forearm (129 ± 30 vs 77 ± 17 ms; P < 0.05), as well as both the dominant (54 ± 20 ms; P < 0.05) and non-dominant (59 ± 14 ms; P < 0.05) forearms of control subjects. In contrast, changes in R-R interval elicited by the racket players' dominant forearm were similar to that observed in the control group, indicating that changes in R-R interval at the onset of passive exercise were not attenuated in the dominant forearm of racket players. In summary, cardiac vagal withdrawal induced by muscle mechanoreflex stimulation is well-maintained, despite long-term exposure to training.

Effects of conventional vs high-dose rocuronium on the QTc interval during anesthesia induction and intubation in patients undergoing coronary artery surgery: a randomized, double-blind, parallel trial

Myocardial ischemia, as well as the induction agents used in anesthesia, may cause corrected QT interval (QTc) prolongation. The objective of this randomized, double-blind trial was to determine the effects of high- vs conventional-dose bolus rocuronium on QTc duration and the incidence of dysrhythmias following anesthesia induction and intubation. Fifty patients about to undergo coronary artery surgery were randomly allocated to receive conventional-dose (0.6 mg/kg, group C, n=25) or high-dose (1.2 mg/kg, group H, n=25) rocuronium after induction with etomidate and fentanyl. QTc, heart rate, and mean arterial pressure were recorded before induction (T0), after induction (T1), after rocuronium (just before laryngoscopy; T2), 2 min after intubation (T3), and 5 min after intubation (T4). The occurrence of dysrhythmias was recorded. In both groups, QTc was significantly longer at T3 than at baseline [475 vs 429 ms in group C (P=0.001), and 459 vs 434 ms in group H (P=0.005)]. The incidence of dysrhythmias in group C (28%) and in group H (24%) was similar. The QTc after high-dose rocuronium was not significantly longer than after conventional-dose rocuronium in patients about to undergo coronary artery surgery who were induced with etomidate and fentanyl. In both groups, compared with baseline, QTc was most prolonged at 2 min after intubation, suggesting that QTc prolongation may be due to the nociceptive stimulus of intubation.