Fuzzy Connectedness Image Segmentation in Graph Cut Formulation: A Linear-Time Algorithm and a Comparative Analysis

A deep theoretical analysis of the graph cut image segmentation framework presented in this paper simultaneously translates into important contributions in several directions. The most important practical contribution of this work is a full theoretical description, and implementation, of a novel powerful segmentation algorithm, GC(max). The output of GC(max) coincides with a version of a segmentation algorithm known as Iterative Relative Fuzzy Connectedness, IRFC. However, GC(max) is considerably faster than the classic IRFC algorithm, which we prove theoretically and show experimentally. Specifically, we prove that, in the worst case scenario, the GC(max) algorithm runs in linear time with respect to the variable M=|C|+|Z|, where |C| is the image scene size and |Z| is the size of the allowable range, Z, of the associated weight/affinity function. For most implementations, Z is identical to the set of allowable image intensity values, and its size can be treated as small with respect to |C|, meaning that O(M)=O(|C|). In such a situation, GC(max) runs in linear time with respect to the image size |C|. We show that the output of GC(max) constitutes a solution of a graph cut energy minimization problem, in which the energy is defined as the a"" (a) norm ayenF (P) ayen(a) of the map F (P) that associates, with every element e from the boundary of an object P, its weight w(e). This formulation brings IRFC algorithms to the realm of the graph cut energy minimizers, with energy functions ayenF (P) ayen (q) for qa[1,a]. Of these, the best known minimization problem is for the energy ayenF (P) ayen(1), which is solved by the classic min-cut/max-flow algorithm, referred to often as the Graph Cut algorithm. We notice that a minimization problem for ayenF (P) ayen (q) , qa[1,a), is identical to that for ayenF (P) ayen(1), when the original weight function w is replaced by w (q) . Thus, any algorithm GC(sum) solving the ayenF (P) ayen(1) minimization problem, solves also one for ayenF (P) ayen (q) with qa[1,a), so just two algorithms, GC(sum) and GC(max), are enough to solve all ayenF (P) ayen (q) -minimization problems. We also show that, for any fixed weight assignment, the solutions of the ayenF (P) ayen (q) -minimization problems converge to a solution of the ayenF (P) ayen(a)-minimization problem (ayenF (P) ayen(a)=lim (q -> a)ayenF (P) ayen (q) is not enough to deduce that). An experimental comparison of the performance of GC(max) and GC(sum) algorithms is included. This concentrates on comparing the actual (as opposed to provable worst scenario) algorithms' running time, as well as the influence of the choice of the seeds on the output.

Listening to music in the first, but not the last 1.5 km of a 5-km running trial alters pacing strategy and improves performance

We examined the effects of listening to music on attentional focus, rating of perceived exertion (RPE), pacing strategy and performance during a simulated 5-km running race. 15 participants performed 2 controlled trials to establish their best baseline time, followed by 2 counterbalanced experimental trials during which they listened to music during the first (M-start) or the last (M-finish) 1.5 km. The mean running velocity during the first 1.5 km was significantly higher in M-start than in the fastest control condition (p < 0.05), but there was no difference in velocity between conditions during the last 1.5 km (p > 0.05). The faster first 1.5 m in M-start was accompanied by a reduction in associative thoughts compared with the fastest control condition. There were no significant differences in RPE between conditions (p > 0.05). These results suggest that listening to music at the beginning of a trial may draw the attentional focus away from internal sensations of fatigue to thoughts about the external environment. However, along with the reduction in associative thoughts and the increase in running velocity while listening to music, the RPE increased linearly and similarly under all conditions, suggesting that the change in velocity throughout the race may be to maintain the same rate of RPE increase.

Field and Laboratory Studies Provide Insights into the Meaning of Day-Time Activity in a Subterranean Rodent (Ctenomys aff. knighti), the Tuco-Tuco

South American subterranean rodents (Ctenomys aff. knighti), commonly known as tuco-tucos, display nocturnal, wheel-running behavior under light-dark (LD) conditions, and free-running periods >24 h in constant darkness (DD). However, several reports in the field suggested that a substantial amount of activity occurs during daylight hours, leading us to question whether circadian entrainment in the laboratory accurately reflects behavior in natural conditions. We compared circadian patterns of locomotor activity in DD of animals previously entrained to full laboratory LD cycles (LD12:12) with those of animals that were trapped directly from the field. In both cases, activity onsets in DD immediately reflected the previous dark onset or sundown. Furthermore, freerunning periods upon release into DD were close to 24 h indicating aftereffects of prior entrainment, similarly in both conditions. No difference was detected in the phase of activity measured with and without access to a running wheel. However, when individuals were observed continuously during daylight hours in a semi-natural enclosure, they emerged above-ground on a daily basis. These day-time activities consisted of foraging and burrow maintenance, suggesting that the designation of this species as nocturnal might be inaccurate in the field. Our study of a solitary subterranean species suggests that the circadian clock is entrained similarly under field and laboratory conditions and that day-time activity expressed only in the field is required for foraging and may not be time-dictated by the circadian pacemaker.

Low-level laser therapy (LLLT) in human progressive-intensity running: effects on exercise performance, skeletal muscle status, and oxidative stress

The aim of this work was to evaluate the effects of low-level laser therapy (LLLT) on exercise performance, oxidative stress, and muscle status in humans. A randomized double-blind placebo-controlled crossover trial was performed with 22 untrained male volunteers. LLLT (810 nm, 200 mW, 30 J in each site, 30 s of irradiation in each site) using a multi-diode cluster (with five spots - 6 J from each spot) at 12 sites of each lower limb (six in quadriceps, four in hamstrings, and two in gastrocnemius) was performed 5 min before a standardized progressive-intensity running protocol on a motor-drive treadmill until exhaustion. We analyzed exercise performance (VO(2 max), time to exhaustion, aerobic threshold and anaerobic threshold), levels of oxidative damage to lipids and proteins, the activities of the antioxidant enzymes superoxide dismutase (SOD) and catalase (CAT), and the markers of muscle damage creatine kinase (CK) and lactate dehydrogenase (LDH). Compared to placebo, active LLLT significantly increased exercise performance (VO(2 max) p = 0.01; time to exhaustion, p = 0.04) without changing the aerobic and anaerobic thresholds. LLLT also decreased post-exercise lipid (p = 0.0001) and protein (p = 0.0230) damages, as well as the activities of SOD (p = 0.0034), CK (p = 0.0001) and LDH (p = 0.0001) enzymes. LLLT application was not able to modulate CAT activity. The use of LLLT before progressive-intensity running exercise increases exercise performance, decreases exercise-induced oxidative stress and muscle damage, suggesting that the modulation of the redox system by LLLT could be related to the delay in skeletal muscle fatigue observed after the use of LLLT.

Differential regulation of PGC-1α expression in rat liver and skeletal muscle in response to voluntary running

Abstract Background The beneficial actions of exercise training on lipid, glucose and energy metabolism and insulin sensitivity appear to be in part mediated by PGC-1α. Previous studies have shown that spontaneously exercised rats show at rest enhanced responsiveness to exogenous insulin, lower plasma insulin levels and increased skeletal muscle insulin sensitivity. This study was initiated to examine the functional interaction between exercise-induced modulation of skeletal muscle and liver PGC-1α protein expression, whole body insulin sensitivity, and circulating FFA levels as a measure of whole body fatty acid (lipid) metabolism. Methods Two groups of male Wistar rats (2 Mo of age, 188.82 ± 2.77 g BW) were used in this study. One group consisted of control rats placed in standard laboratory cages. Exercising rats were housed individually in cages equipped with running wheels and allowed to run at their own pace for 5 weeks. At the end of exercise training, insulin sensitivity was evaluated by comparing steady-state plasma glucose (SSPG) concentrations at constant plasma insulin levels attained during the continuous infusion of glucose and insulin to each experimental group. Subsequently, soleus and plantaris muscle and liver samples were collected and quantified for PGC-1α protein expression by Western blotting. Collected blood samples were analyzed for glucose, insulin and FFA concentrations. Results Rats housed in the exercise wheel cages demonstrated almost linear increases in running activity with advancing time reaching to maximum value around 4 weeks. On an average, the rats ran a mean (Mean ± SE) of 4.102 ± 0.747 km/day and consumed significantly more food as compared to sedentary controls (P < 0.001) in order to meet their increased caloric requirement. Mean plasma insulin (P < 0.001) and FFA (P < 0.006) concentrations were lower in the exercise-trained rats as compared to sedentary controls. Mean steady state plasma insulin (SSPI) and glucose (SSPG) concentrations were not significantly different in sedentary control rats as compared to exercise-trained animals. Plantaris PGC-1α protein expression increased significantly from a 1.11 ± 0.12 in the sedentary rats to 1.74 ± 0.09 in exercising rats (P < 0.001). However, exercise had no effect on PGC-1α protein content in either soleus muscle or liver tissue. These results indicate that exercise training selectively up regulates the PGC-1α protein expression in high-oxidative fast skeletal muscle type such as plantaris muscle. Conclusion These data suggest that PGC-1α most likely plays a restricted role in exercise-mediated improvements in insulin resistance (sensitivity) and lowering of circulating FFA levels.

Financial Development and Economic Growth: Time Series Evidence from Albania

The main objective of this thesis is to explore the short and long run causality patterns in the finance – growth nexus and finance-growth-trade nexus before and after the global financial crisis, in the case of Albania. To this end we use quarterly data on real GDP, 13 proxy measures for financial development and the trade openness indicator for the period 1998Q1 – 2013Q2 and 1998Q1-2008Q3. Causality patterns will be explored in a VAR-VECM framework. For this purpose we will proceed as follows: (i) testing for the integration order of the variables; (ii) cointegration analysis and (iii) performing Granger causality tests in a VAR-VECM framework. In the finance-growth nexus, empirical evidence suggests for a positive long run relationship between finance and economic growth, with causality running from financial development to economic growth. The global financial crisis seems to have not affected the causality direction in the finance and growth nexus, thus supporting the finance led growth hypothesis in the long run in the case of Albania. In the finance-growth-trade openness nexus, we found evidence for a positive long run relationship the variables, with causality direction depending on the proxy used for financial development. When the pre-crisis sample is considered, we find evidence for causality running from financial development and trade openness to economic growth. The global financial crisis seems to have affected somewhat the causality direction in the finance-growth-trade nexus, which has become sensible to the proxy used for financial development. On the short run, empirical evidence suggests for a clear unidirectional relationship between finance and growth, with causality mostly running from economic growth to financial development. When we consider the per-crisis sub sample results are mixed, depending on the proxy used for financial development. The same results are confirmed when trade openness is taken into account.

Optimized scheduling in real-time environments with column generation

Im Bereich sicherheitsrelevanter eingebetteter Systeme stellt sich der Designprozess von Anwendungen als sehr komplex dar. Entsprechend einer gegebenen Hardwarearchitektur lassen sich Steuergeräte aufrüsten, um alle bestehenden Prozesse und Signale pünktlich auszuführen. Die zeitlichen Anforderungen sind strikt und müssen in jeder periodischen Wiederkehr der Prozesse erfüllt sein, da die Sicherstellung der parallelen Ausführung von größter Bedeutung ist. Existierende Ansätze können schnell Designalternativen berechnen, aber sie gewährleisten nicht, dass die Kosten für die nötigen Hardwareänderungen minimal sind. Wir stellen einen Ansatz vor, der kostenminimale Lösungen für das Problem berechnet, die alle zeitlichen Bedingungen erfüllen. Unser Algorithmus verwendet Lineare Programmierung mit Spaltengenerierung, eingebettet in eine Baumstruktur, um untere und obere Schranken während des Optimierungsprozesses bereitzustellen. Die komplexen Randbedingungen zur Gewährleistung der periodischen Ausführung verlagern sich durch eine Zerlegung des Hauptproblems in unabhängige Unterprobleme, die als ganzzahlige lineare Programme formuliert sind. Sowohl die Analysen zur Prozessausführung als auch die Methoden zur Signalübertragung werden untersucht und linearisierte Darstellungen angegeben. Des Weiteren präsentieren wir eine neue Formulierung für die Ausführung mit fixierten Prioritäten, die zusätzlich Prozessantwortzeiten im schlimmsten anzunehmenden Fall berechnet, welche für Szenarien nötig sind, in denen zeitliche Bedingungen an Teilmengen von Prozessen und Signalen gegeben sind. Wir weisen die Anwendbarkeit unserer Methoden durch die Analyse von Instanzen nach, welche Prozessstrukturen aus realen Anwendungen enthalten. Unsere Ergebnisse zeigen, dass untere Schranken schnell berechnet werden können, um die Optimalität von heuristischen Lösungen zu beweisen. Wenn wir optimale Lösungen mit Antwortzeiten liefern, stellt sich unsere neue Formulierung in der Laufzeitanalyse vorteilhaft gegenüber anderen Ansätzen dar. Die besten Resultate werden mit einem hybriden Ansatz erzielt, der heuristische Startlösungen, eine Vorverarbeitung und eine heuristische mit einer kurzen nachfolgenden exakten Berechnungsphase verbindet.

An integrated system for building and running reproducible research

Our generation of computational scientists is living in an exciting time: not only do we get to pioneer important algorithms and computations, we also get to set standards on how computational research should be conducted and published. From Euclid’s reasoning and Galileo’s experiments, it took hundreds of years for the theoretical and experimental branches of science to develop standards for publication and peer review. Computational science, rightly regarded as the third branch, can walk the same road much faster. The success and credibility of science are anchored in the willingness of scientists to expose their ideas and results to independent testing and replication by other scientists. This requires the complete and open exchange of data, procedures and materials. The idea of a “replication by other scientists” in reference to computations is more commonly known as “reproducible research”. In this context the journal “EAI Endorsed Transactions on Performance & Modeling, Simulation, Experimentation and Complex Systems” had the exciting and original idea to make the scientist able to submit simultaneously the article and the computation materials (software, data, etc..) which has been used to produce the contents of the article. The goal of this procedure is to allow the scientific community to verify the content of the paper, reproducing it in the platform independently from the OS chosen, confirm or invalidate it and especially allow its reuse to reproduce new results. This procedure is therefore not helpful if there is no minimum methodological support. In fact, the raw data sets and the software are difficult to exploit without the logic that guided their use or their production. This led us to think that in addition to the data sets and the software, an additional element must be provided: the workflow that relies all of them.

Leisure activities, caregiving demands and catecholamine levels in dementia caregivers

This study examined whether satisfaction from leisure activities moderates the relationship between caregiving demands (i.e., hours per day spent caring for a spouse with dementia) and resting levels of the catecholamines norepinephrine (NE) and epinephrine (EPI). Spousal caregivers (n = 107; mean age = 73.95 ± 8.12 years) were assessed in home for plasma levels of NE and EPI, amount of care provided, and leisure satisfaction. Regression was used to determine whether leisure satisfaction moderated the relationship between hours providing care per day and catecholamine levels. A significant interaction was found between hours caregiving and leisure satisfaction for NE, but not for EPI. Post hoc regressions were conducted for both NE and EPI. At low leisure satisfaction, time spent caring for a spouse was positively associated with plasma NE (β = 0.41; p = 0.005) and EPI (β = 0.44; p = 0.003). In contrast, at high levels of satisfaction, time caregiving was not significantly associated with plasma NE (β = -0.08; p = 0.57) or EPI (β = 0.23; p = 0.12). These findings suggest that leisure satisfaction may protect caregivers from increases in catecholamines, which have been implicated in cardiovascular risk. Further support for these findings may impact psychological treatments for distressed caregivers.

Running Head: Social Work Developments in Lithuania

Following the end of a half-century of Soviet occupation, Lithuania, like other former Soviet republics, has been in socio-economic disorder. Now that Lithuania is free, the system of social welfare is characterized by under-funded health services and pensions, and a large number of institutions. Semi-structured interviews were conducted with students and practitioners focusing on community development, using Lofland’s model of social setting analysis.Results indicate that the collaborative efforts successfully produced a revolutionary and successful social service program, a multi-generational living facility offering full-time social services to unwed mothers, infants, and elderly residents.This article is based upon the qualitative study of social work practitioners and social work students and chronicles the successes and difficulties encountered within the process of community development.

Therapy of community-acquired acute bacterial meningitis: the clock is running

Despite antibiotic therapy and supportive intensive medical care, bacterial meningitis remains a disease with high mortality and morbidity. Rapid recognition of symptoms is crucial to direct physicians quickly towards appropriate diagnostic measures and, initially, empiric antibiotic therapy. It has become evident that time from arrival at the hospital to application of the first dose of antibiotics is a crucial independent factor that influences outcome. Here, we review the clinical and laboratory presentation of community-acquired bacterial meningitis and the antibiotic regiments that are currently recommended for its treatment; future therapeutic options are also discussed. Finally, suggestions for the approach to a patient with suspected bacterial meningitis are presented.

Intra-session test-retest reliability of pelvic floor muscle electromyography during running

INTRODUCTION AND HYPOTHESIS The prevalence of female stress urinary incontinence is high, and young adults are also affected, including athletes, especially those involved in "high-impact" sports. To date there have been almost no studies testing pelvic floor muscle (PFM) activity during dynamic functional whole body movements. The aim of this study was the description and reliability test of PFM activity and time variables during running. METHODS A prospective cross-sectional study including ten healthy female subjects was designed with the focus on the intra-session test-retest reliability of PFM activity and time variables during running derived from electromyography (EMG) and accelerometry. RESULTS Thirteen variables were identified based on ten steps of each subject: Six EMG variables showed good reliability (ICC 0.906-0.942) and seven time variables did not show good reliability (ICC 0.113-0.731). Time variables (e.g. time difference between heel strike and maximal acceleration of vaginal accelerator) showed low reliability. However, relevant PFM EMG variables during running (e.g., pre-activation, minimal and maximal activity) could be identified and showed good reliability. CONCLUSION Further adaptations regarding measurement methods should be tested to gain better control of the kinetics and kinematics of the EMG probe and accelerometers. To our knowledge this is the first study to test the reliability of PFM activity and time variables during dynamic functional whole body movements. More knowledge of PFM activity and time variables may help to provide a deeper insight into physical strain with high force impacts and important functional reflexive contraction patterns of PFM to maintain or to restore continence.

How does credit access affect children's time allocation? Evidence from rural India

Using a unique dataset obtained from rural Andhra Pradesh, India that contains direct observations of household access to credit and detailed time use, results of this study indicate that credit market failures lead to a substantial reallocation of time used by children for activities such as schooling, household chores, remunerative work, and leisure. The negative effects of credit constraints on schooling amount to a 60% decrease of average schooling time. However, the magnitude of decrease due to credit constraints is about half that of the increase in both domestic and remunerative child labor, the other half appearing to come from a reduction in leisure.

Integrating software testing and run-time checking in an assertion verification framework

We have designed and implemented a framework that unifies unit testing and run-time verification (as well as static verification and static debugging). A key contribution of our approach is that a unified assertion language is used for all of these tasks. We first propose methods for compiling runtime checks for (parts of) assertions which cannot be verified at compile-time via program transformation. This transformation allows checking preconditions and postconditions, including conditional postconditions, properties at arbitrary program points, and certain computational properties. The implemented transformation includes several optimizations to reduce run-time overhead. We also propose a minimal addition to the assertion language which allows defining unit tests to be run in order to detect possible violations of the (partial) specifications expressed by the assertions. This language can express for example the input data for performing the unit tests or the number of times that the unit tests should be repeated. We have implemented the framework within the Ciao/CiaoPP system and effectively applied it to the verification of ISO-prolog compliance and to the detection of different types of bugs in the Ciao system source code. Several experimental results are presented that ¡Ilústrate different trade-offs among program size, running time, or levéis of verbosity of the messages shown to the user.

Towards execution time estimation in abstract machine-based languages

Abstract machines provide a certain separation between platformdependent and platform-independent concerns in compilation. Many of the differences between architectures are encapsulated in the speciflc abstract machine implementation and the bytecode is left largely architecture independent. Taking advantage of this fact, we present a framework for estimating upper and lower bounds on the execution times of logic programs running on a bytecode-based abstract machine. Our approach includes a one-time, programindependent proflling stage which calculates constants or functions bounding the execution time of each abstract machine instruction. Then, a compile-time cost estimation phase, using the instruction timing information, infers expressions giving platform-dependent upper and lower bounds on actual execution time as functions of input data sizes for each program. Working at the abstract machine level makes it possible to take into account low-level issues in new architectures and platforms by just reexecuting the calibration stage instead of having to tailor the analysis for each architecture and platform. Applications of such predicted execution times include debugging/veriflcation of time properties, certiflcation of time properties in mobile code, granularity control in parallel/distributed computing, and resource-oriented specialization.