Detecting palindromes,patterns and borders in regular languages

Given a language L and a non-deterministic finite automaton M, we consider whether we can determine efficiently (in the size of M) if M accepts at least one word in L, or infinitely many words. Given that M accepts at least one word in L, we consider how long a shortest word can be. The languages L that we examine include the palindromes, the non-palindromes, the k-powers, the non-k-powers, the powers, the non-powers (also called primitive words), the words matching a general pattern, the bordered words, and the unbordered words.     

An Adaptable Oscillator-Based Controller for Autonomous Robots

This paper proposes a unique oscillator-based robot controller with learning abilities to effectively guide a team of robots operating in uncertain environments. To verify this, we designed four separate controllers and compared their performance in a series of tests in several different environments. The experiments used a team of three robots to explore arenas with variable lighting and different obstacle patterns, with a goal of having the team as a whole absorb as much light as possible. The four controllers were: a reactive controller, an oscillator with fixed parameters, an oscillator whose parameters changed based on the pattern of sensor information received, and an oscillator-based controller that used reinforcement learning. Experiments confirmed that the proposed method outperforms the others in all environments tested. This material is based upon work supported in part by the U.S. Army Research Office under grant/contract number DAAG55-98-1-0011.     

Parallel Implementation of a Low Order Algorithm for Dynamics of Multibody Systems on a Distributed Memory Computing System

In this paper, a new hybrid parallelisable low order algorithm, developed by the authors for multibody dynamics analysis, is implemented numerically on a distributed memory parallel computing system. The presented implementation can currently accommodate the general spatial motion of chain systems, but key issues for its extension to general tree and closed loop systems are discussed. Explicit algebraic constraints are used to increase coarse grain parallelism, and to study the influence of the dimension of system constraint load equations on the computational efficiency of the algorithm for real parallel implementation using the Message Passing Interface (MPI). The equation formulation parallelism and linear system solution strategies which are used to reduce communication overhead are addressed. Numerical results indicate that the algorithm is scalable, that significant speed-up can be obtained, and that a quasi-logarithmic relation exists between time needed for a function call and numbers of processors used. This result agrees well with theoretical performance predictions. Numerical comparisons with results obtained from independently developed analysis codes have validated the correctness of the new hybrid parallelisable low order algorithm, and demonstrated certain computational advantages.     

Query-driven visualization of time-varying adaptive mesh refinement data

The visualization and analysis of AMR-based simulations is integral to the process of obtaining new insight in scientific research. We present a new method for performing query-driven visualization and analysis on AMR data, with specific emphasis on time-varying AMR data. Our work introduces a new method that directly addresses the dynamic spatial and temporal properties of AMR grids that challenge many existing visualization techniques. Further, we present the first implementation of query-driven visualization on the GPU that uses a GPU-based indexing structure to both answer queries and efficiently utilize GPU memory. We apply our method to two different science domains to demonstrate its broad applicability.     

Service Science

This paper is a first exploration of the relationship between service science and Grid computing. Service science is the study of value co-creation interactions among entities, known as service systems. Within the emerging service science community, service is often defined as the application of competences (resources) for the benefit of another. Grid computing is the study of resource sharing among entities, known as virtual organizations, which solve complex business, societal, scientific, and engineering problems. Within the Grid computing community, service is sometimes defined as protocols plus behavior. Both Grid computing and service science are connecting academic, industry, government, and volunteer sector collaborators on a range of projects including eScience, healthcare, environmental sustainability, and more. This paper compares and contrasts the notions of resource, entity, service, interaction, and success criteria for the two areas of study. In conclusion, new areas for collaborative inquiry are proposed.     

A biomechanical analysis of anterior load carriage

Front load carriage is a common occupational task in some industries (e.g. agriculture, construction), but, as compared to lifting tasks, relatively little research has been conducted on the biomechanical loading during these activities. The focus of this study was to explore the low back biomechanics during these activities and, specifically, to examine the effects of load height and walking speed on trunk muscle activity and trunk posture. Eleven male participants participated in two separate front load-carriage experiments. The first experiment called for carrying a barbell (with weight corresponding to 20% of elbow flexion strength) at three heights (knuckle height, elbow height and shoulder height) at a constant horizontal distance from the spine. The second experiment called for participants to carry a bucket of potatoes weighing 14 kg at the same three heights, but with no further restrictions in technique. In both experiments, the participants performed this task while either standing still or walking at a self-selected speed. As they performed these tasks, the activity levels of the right-side muscle of the rectus abdominis, external oblique, biceps brachii, anterior deltoid and three levels (T9, T12 and L3) of the erector spinae were sampled. Mid-sagittal plane trunk posture was also quantified using three magnetic field-based motion sensors at T9, T12 and L3. The results showed a significant effect of both walking speed and load height on trunk posture and trunk muscle activity levels in both the barbell and bucket experiments. In the barbell experiment, the walking trials generated 43% more trunk muscle activity than the standing trials. Trials at shoulder height produced 11% more muscle activity than trials at elbow height in the T9 erector spinae muscles and 71% more muscle activity in the anterior deltoid. In the bucket experiment, trunk muscle activity responded in a similar fashion, but the key result here was the quantification of the natural hyperextension posture of the spine used to balance the bucket of potatoes. These results provide insight into muscle activation patterns in dynamic settings, especially (load) carrying biomechanics, and have implications in industrial settings that require workers to carry loads in front of their bodies.     

Screening of serum samples from Wegener's granulomatosis patients using antibody microarrays

Wegener's Granulomatosis (WG) is an idiopathic granulomatosis autoimmune vasculitis that primarily affects small vessels and is associated with glomerulonephritis and pulmonary granulomatous vasculitis. Anti‐neutrophil cytoplasmic auto‐antibodies (cANCA) against proteinase‐3 are used to identify WG, but ANCA titers are not present in some patients with the localized disease. The objective of this study was to develop an antibody array to help identify protein expression patterns in serum from patients with WG as compared to normals. The arrays were tested for limits of detection, background, and cross reactivity using standard proteins. The arrays were hybridized with either normal patient serum (n = 30) or with serum samples from a population of WG patients (n = 26) that were age and sex matched. Data analysis and curve fitting of the standard dilution series calculated r² values and determined a sensitivity of <50 pg/mL for the majority of proteins. A total of 24 proteins were assessed. Several statistically significant increases (p<0.05) were seen in the expression of: angiotensin converting enzyme‐I, IFN‐γ, IL‐8, s‐ICAM‐1 and s‐VCAM in WG patients as compared to controls. Utilizing the antibody microarray technology has led to the identification of potential biomarkers of vascular injury in the serum of WG patients.     

Low temperature thermal conductivity of twinned and untwinned indium-thallium alloys

The low-temperature lattice thermal conductivity of twinned and untwinned, martensitic and non-martensitic, indium-thallium alloys has been measured to probe the effect of twin boundaries on phonon thermal transport. The phonon scattering by electrons, sample surfaces, dislocations, and thallium impurities is accounted for adequately by existing theoretical models. The reduced lattice thermal conductivity seen in twinned samples is attributed to additional phonon scattering by twin boundaries and, for the polycrystalline samples, by grain boundaries. Phonon scattering by twin boundaries is much weaker than that generally reported for grain boundaries, and is well represented by an acoustic-mismatch model.