Displaying a boundary in graphic and symbolic “wait” displays: Duration estimates and users’ preferences

Two experiments assessed the effect of displaying a boundary on duration estimates and preference ratings for dynamic displays that were shown while users waited for the system's response. Displays were either symbolic (changing numbers) or graphic (increasing rectangles) and could contain a boundary that indicated when the interval was expected to be over. Duration estimates were similar for symbolic and graphic displays and for displays with and without a boundary. However, when the displays were encountered successively, participants assessed the graphic displays as having shorter durations than the symbolic displays. Faster rates of change in both types of displays led to increased duration estimates. Although displaying a boundary did not affect duration estimates, participants preferred displays in which a boundary was shown and preferred the graphic displays over the symbolic displays. Hence, bounded graphic displays are recommended as “wait” displays for computerized applications.     

Job-shop scheduling in a body shop

We study a generalized job-shop problem called the body shop scheduling problem (BSSP). This problem arises from the industrial application of welding in a car body production line, where possible collisions between industrial robots have to be taken into account. BSSP corresponds to a job-shop problem where the operations of a job have to follow alternating routes on the machines, certain operations of different jobs are not allowed to be processed at the same time and after processing an operation of a certain job a machine might be unavailable for a given time for operations of other jobs. As main results we will show that for three jobs and four machines the special case where only one machine is used by more than one job is already $\mathcal NP $ -hard. This also implies that the single machine scheduling problem that asks for a makespan minimal schedule of three chains of operations with delays between the operations of a chain is $\mathcal NP $ -hard. On the positive side, we present a polynomial algorithm for the two job case and a pseudo-polynomial algorithm together with an FPTAS  for an arbitrary but constant number of jobs. Hence for a constant number of jobs we fully settle the complexity status of the problem.     

Elimination and accumulation of polycyclic aromatic hydrocarbons in urban stormwater wet detention ponds

The concentrations of polycyclic aromatic hydrocarbons (PAHS) in water and sediments of seven wet detention ponds receiving urban stormwater were investigated. The ponds comprised traditional wet detention ponds with a permanent wet volume and a storage volume as well as ponds that were expanded with sand filters and other means to improve the removal of micropollutants. The concentrations of sigmaPAH in the sediments varied between 6 +/- 5 and 2,222 +/- 603 ng g(-1) dry weight (mean +/- standard deviation), and were highest in the ponds with lower pond volume per catchment area and did not clearly reflect different activities in the catchments. In general, the concentrations of PAHS in the sediments decreased from inlet to outlet, especially in the systems with good conditions for sedimentation such as systems with flow perpendicular sand dikes and extensive submerged vegetation. High molecular weight PAHs were predominant in the sediments indicating the pyrogenic origin of the PAHS. There was no correlation between PAH species concentrations in water or sediments and their hydrophobicity (log K(ow)). PAH concentrations in water fluctuated in response to intensity and frequency of rain events, whereas concentrations in the sediments integrated the pollutant load over time. Pond systems expanded with sand filters and other technologies to enhance removal of micropollutants consistently had concentrations of PAHS in the effluents below the detection level.     

Matrix Interpretations for Proving Termination of Term Rewriting

We present a new method for automatically proving termination of term rewriting. It is based on the well-known idea of interpretation of terms where every rewrite step causes a decrease, but instead of the usual natural numbers we use vectors of natural numbers, ordered by a particular nontotal well-founded ordering. Function symbols are interpreted by linear mappings represented by matrices. This method allows us to prove termination and relative termination. A modification of the latter, in which strict steps are only allowed at the top, turns out to be helpful in combination with the dependency pair transformation. By bounding the dimension and the matrix coefficients, the search problem becomes finite. Our implementation transforms it to a Boolean satisfiability problem (SAT), to be solved by a state-of-the-art SAT solver.     

Nonparametric Bayesian Image Segmentation

Image segmentation algorithms partition the set of pixels of an image into a specific number of different, spatially homogeneous groups. We propose a nonparametric Bayesian model for histogram clustering which automatically determines the number of segments when spatial smoothness constraints on the class assignments are enforced by a Markov Random Field. A Dirichlet process prior controls the level of resolution which corresponds to the number of clusters in data with a unique cluster structure. The resulting posterior is efficiently sampled by a variant of a conjugate-case sampling algorithm for Dirichlet process mixture models. Experimental results are provided for real-world gray value images, synthetic aperture radar images and magnetic resonance imaging data.     

Tracing pathway activities with kinase inhibitors and reverse phase protein arrays

Controlling aberrant protein kinase activity is a promising strategy for a variety of diseases, particularly cancer. Hence, the development of kinase inhibitors is currently a focal point for pharmaceutical research. In this study we utilize a chip-based reverse phase protein array (RPA) platform for profiling of kinase inhibitors in cell-based assays. In combination with the planar wave-guide technology the assay system has an absolute LOD down to the low zeptomole range. A431 cell lysates were analyzed for the activation state of key effectors in the epidermal growth factor (EGF) and insulin signaling pathways to validate this model for compound screening. A microtiter-plate format for growing, treating, and lysing cells was shown to be suitable for this approach, establishing the value of the technology as a screening tool for characterization of large numbers of kinase inhibitors against a wide variety of cellular signaling pathways. Moreover, the reverse array format allows rapid development of site-specific phosphorylation assays, since in contrast to ELISA type systems only a single antigen-specific antibody is required.     

Solving the Beck and Wieland model with optimal experimentation in DualPC

Currently, there is a renewed interest in the use of optimal experimentation (adaptive control) in economics. Example are found in [Amman and Kendrick, 1999], [Amman and Kendrick, 2003], [Cosimano, in?press], [Cosimano and Gapen, 2005b], [Cosimano and Gapen, 2005a], [Cosimano and Gapen, 2006], [Tesfaselassie et?al., 2007], [Tucci, 1997], [Wieland, 2000a] and [Wieland, 2000b]. In this paper we present the Beck & Wieland model [Beck, G., & Wieland, V. (2002). Learning and control in a changing economic environment. Journal of Economic Dynamics and Control, 26, 1359-1378] and the methodology to solve this model with time-varying parameters using the various control methods described in [Kendrick, 1981] and [Kendrick, 2002]. Furthermore, we also provide numerical results using the DualPC software [Amman, H. M., & Kendrick, D. A. (1999). The DualI/DualPC software for optimal control models: User’s guide. Working paper, Austin, TX 78712, USA: Center for Applied Research in Economics, University of Texas] and show first evidence that optimal experimentation or Dual Control may produce better results than Expected Optimal Feedback.     

Introduction of lysine residues on the light chain constant domain improves the labelling properties of a recombinant Fab fragment

Europium chelates provide a non-radioactive alternative forsensitive labelling of antibodies for diagnostic immunoassays.Lysine residues at antibody surfaces are ready targets for labellingby an isothiocyanate derivative of the europium chelate (Eu³⁺).Here the labelling efficiency of a recombinant anti-human -fetoprotein(hAFP) Fab fragment has been improved by increasing its lysinecontent by protein engineering. Molecular modelling was usedto identify three light chain constant domain surface arginineresidues, R154, R187 and R210, which were mutated to lysineresidues. The mutations did not influence the affinity of thelysine-enriched Fab fragment and its labelling efficiency wasfound to be 40% higher than that of the wildtype Fab fragmentWith low degree of labelling, the affinities of the two Fabfragments were identical and comparable with that of the originalmonoclonal anti-hAFP IgG. With a higher degree of labellingthe affinities of both Fab fragments decreased more than thatof the intact IgG since more lysine residues are available forlabelling in the additional heavy chain constant domains ofthe larger molecule. Electrostatic adsorption and covalent immobilizationof the Fab fragments were characterized by BIAcore^TM and thelysine-enriched Fab fragment was found to be more efficientlyimmobilized to an activated carboxymethyl surface.     

Effect of Berezinskii-Kosterlitz-Thouless vortex fluctuations on the nuclear spin relaxation rate

In this work we examine the influence of the diffusive motion of vortices in highly anisotropic high-T_c superconductors near the Berezinskii-Kosterlitz-Thouless (BKT) transition temperature T _bkt on the spin-lattice relaxation rate T ₁ ^–1 .We find a jump in T ₁ ^–1 at the temperature T _bkt .