Physical Acoustics

Contains reports on three research projects.U. S. Navy (Office of Naval Research) under Contract Nonr-1841(42

Decision Problems for Nash Equilibria in Stochastic Games

We analyse the computational complexity of finding Nash equilibria in stochastic multiplayer games with $\omega$-regular objectives. While the existence of an equilibrium whose payoff falls into a certain interval may be undecidable, we single out several decidable restrictions of the problem. First, restricting the search space to stationary, or pure stationary, equilibria results in problems that are typically contained in PSPACE and NP, respectively. Second, we show that the existence of an equilibrium with a binary payoff (i.e. an equilibrium where each player either wins or loses with probability 1) is decidable. We also establish that the existence of a Nash equilibrium with a certain binary payoff entails the existence of an equilibrium with the same payoff in pure, finite-state strategies.Comment: 22 pages, revised versio

The effect of Gonioscopy on keratometry and corneal surface topography

BACKGROUND: Biometric procedures such as keratometry performed shortly after contact procedures like gonioscopy and applanation tonometry could affect the validity of the measurement. This study was conducted to understand the short-term effect of gonioscopy on corneal curvature measurements and surface topography based Simulated Keratometry and whether this would alter the power of an intraocular lens implant calculated using post-gonioscopy measurements. We further compared the effect of the 2-mirror (Goldmann) and the 4-mirror (Sussman) Gonioscopes. METHODS: A prospective clinic-based self-controlled comparative study. 198 eyes of 99 patients, above 50 years of age, were studied. Exclusion criteria included documented dry eye, history of ocular surgery or trauma, diabetes mellitus and connective tissue disorders. Auto-Keratometry and corneal topography measurements were obtained at baseline and at three follow-up times – within the first 5 minutes, between the 10(th)-15(th )minute and between the 20(th)-25(th )minute after intervention. One eye was randomized for intervention with the 2-mirror gonioscope and the other underwent the 4-mirror after baseline measurements. t-tests were used to examine differences between interventions and between the measurement methods. The sample size was calculated using an estimate of clinically significant lens implant power changes based on the SRK-II formula. RESULTS: Clinically and statistically significant steepening was observed in the first 5 minutes and in the 10–15 minute interval using topography-based Sim K. These changes were not present with the Auto-Keratometer measurements. Although changes from baseline were noted between 20 and 25 minutes topographically, these were not clinically or statistically significant. There was no significant difference between the two types of gonioscopes. There was greater variability in the changes from baseline using the topography-based Sim K readings. CONCLUSION: Reversible steepening of the central corneal surface is produced by the act of gonioscopy as measured by Sim K, whereas no significant differences were present with Auto-K measurements. The type of Gonioscope used does not appear to influence these results. If topographically derived Sim K is used to calculate the power of the intraocular lens implant, we recommend waiting a minimum of 20 minutes before measuring the corneal curvature after gonioscopy with either Goldmann or Sussman contact lenses

Modeling focal epileptic activity in the Wilson-Cowan model with depolarization block

Measurements of neuronal signals during human seizure activity and evoked epileptic activity in experimental models suggest that, in these pathological states, the individual nerve cells experience an activity driven depolarization block, i.e. they saturate. We examined the effect of such a saturation in the Wilson–Cowan formalism by adapting the nonlinear activation function; we substituted the commonly applied sigmoid for a Gaussian function. We discuss experimental recordings during a seizure that support this substitution. Next we perform a bifurcation analysis on the Wilson–Cowan model with a Gaussian activation function. The main effect is an additional stable equilibrium with high excitatory and low inhibitory activity. Analysis of coupled local networks then shows that such high activity can stay localized or spread. Specifically, in a spatial continuum we show a wavefront with inhibition leading followed by excitatory activity. We relate our model simulations to observations of spreading activity during seizures

Retention of the posterior cruciate ligament versus the posterior stabilized design in total knee arthroplasty: a prospective randomized controlled clinical trial

Background: Prosthetic design for the use in primary total knee arthroplasty has evolved into designs that preserve the posterior cruciate ligament (PCL) and those in which the ligament is routinely sacrificed (posterior stabilized). In patients with a functional PCL the decision which design is chosen depends largely on the favour and training of the surgeon. The objective of this study is to determine whether the patient's perceived outcome and speed of recovery differs between a posterior cruciate retaining total knee arthroplasty and a posterior stabilized total knee arthroplasty. Methods/Design: A randomized controlled trial will be conducted. Patients who are admitted for primary unilateral TKA due to primary osteoarthrosis are included when the following inclusion criteria are met: non-fixed fixed varus or valgus deformity less than 10 degrees, age between 55 and 85 years, body mass index less than 35 kg/m(2) and ASA score (American Society of Anaesthesiologists) I or II. Patients are randomized in 2 groups. Patients in the posterior cruciate retaining group will receive a prosthesis with a posterior cut-out for the posterior cruciate ligament and relatively flat topography. In patients allocated to the posterior stabilized group, in which the posterior cruciate ligament is excised, the design may substitute for this function by an intercondylar tibial prominence that articulates with the femur in flexion. Measurements will take place preoperatively and 6 weeks, 3 months, 6 months and 1 year postoperatively. At all measurement points patient's perceived outcome will be assessed using the Western Ontario and McMaster Universities Osteoarthritis Index (WOMAC). Secondary outcome measures are quality of life (SF-36) and physician reported functional status and range of motion as determined with the Knee Society Clinical Rating System (KSS). Discussion: In the current practice both posterior cruciate retaining and posterior stabilized designs for total knee arthroplasty are being used. To date no studies have been performed determining whether there is a difference in patient's perceived outcome between the two designs. Additionally, there is a lack of studies determining the speed of recovery in both designs as most studies only determine the final outcome. This randomised controlled study has been designed to determine whether the patient's perceived outcome and speed of recovery differs between a posterior cruciate retaining total knee arthroplasty and a posterior stabilized total knee arthroplasty

Comparative genomics of isolates of a pseudomonas aeruginosa epidemic strain associated with chronic lung infections of cystic fibrosis patients

Pseudomonas aeruginosa is the main cause of fatal chronic lung infections among individuals suffering from cystic fibrosis (CF). During the past 15 years, particularly aggressive strains transmitted among CF patients have been identified, initially in Europe and more recently in Canada. The aim of this study was to generate high-quality genome sequences for 7 isolates of the Liverpool epidemic strain (LES) from the United Kingdom and Canada representing different virulence characteristics in order to: (1) associate comparative genomics results with virulence factor variability and (2) identify genomic and/or phenotypic divergence between the two geographical locations. We performed phenotypic characterization of pyoverdine, pyocyanin, motility, biofilm formation, and proteolytic activity. We also assessed the degree of virulence using the Dictyostelium discoideum amoeba model. Comparative genomics analysis revealed at least one large deletion (40-50 kb) in 6 out of the 7 isolates compared to the reference genome of LESB58. These deletions correspond to prophages, which are known to increase the competitiveness of LESB58 in chronic lung infection. We also identified 308 non-synonymous polymorphisms, of which 28 were associated with virulence determinants and 52 with regulatory proteins. At the phenotypic level, isolates showed extensive variability in production of pyocyanin, pyoverdine, proteases and biofilm as well as in swimming motility, while being predominantly avirulent in the amoeba model. Isolates from the two continents were phylogenetically and phenotypically undistinguishable. Most regulatory mutations were isolate-specific and 29% of them were predicted to have high functional impact. Therefore, polymorphism in regulatory genes is likely to be an important basis for phenotypic diversity among LES isolates, which in turn might contribute to this strain's adaptability to varying conditions in the CF lung

Critical temperature of an anisotropic superconductor containing both nonmagnetic and magnetic impurities

The combined effect of both nonmagnetic and magnetic impurities on the superconducting transition temperature is studied theoretically within the BCS model. An expression for the critical temperature as a function of potential and spin-flip scattering rates is derived for a two-dimensional superconductor with arbitrary in-plane anisotropy of the superconducting order parameter, ranging from isotropic s-wave to d-wave (or any pairing state with nonzero angular momentum) and including anisotropic s-wave and mixed (d+s)-wave as particular cases. This expression generalizes the well-known Abrikosov-Gor'kov formula for the critical temperature of impure superconductors. The effect of defects and impurities in high temperature superconductors is discussed.Comment: 4 eps figure

Observations on some cellulosic chytridiaceous fungi

Two new species of Endochytrium, E. multiguttulatum and E. cystarum , are described. Nephrochytrium buttermerense Willoughby is transferred to Diplophlyctis under the binomial Diplophlyctis buttermerense (Willoughby) comb. nov. Morphologic and developmental information on an incompletely known fungus, possibly a Solutoparies , and on other previously known cellulosic chytrid species are also given.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/46147/1/203_2004_Article_BF00412053.pd

Extraordinary Molecular Evolution in the PRDM9 Fertility Gene

Recent work indicates that allelic incompatibility in the mouse PRDM9 (Meisetz) gene can cause hybrid male sterility, contributing to genetic isolation and potentially speciation. The only phenotype of mouse PRDM9 knockouts is a meiosis I block that causes sterility in both sexes. The PRDM9 gene encodes a protein with histone H3(K4) trimethyltransferase activity, a KRAB domain, and a DNA-binding domain consisting of multiple tandem C2H2 zinc finger (ZF) domains. We have analyzed human coding polymorphism and interspecies evolutionary changes in the PRDM9 gene. The ZF domains of PRDM9 are evolving very rapidly, with compelling evidence of positive selection in primates. Positively selected amino acids are predominantly those known to make nucleotide specific contacts in C2H2 zinc fingers. These results suggest that PRDM9 is subject to recurrent selection to change DNA-binding specificity. The human PRDM9 protein is highly polymorphic in its ZF domains and nearly all polymorphisms affect the same nucleotide contact residues that are subject to positive selection. ZF domain nucleotide sequences are strongly homogenized within species, indicating that interfinger recombination contributes to their evolution. PRDM9 has previously been assumed to be a transcription factor required to induce meiosis specific genes, a role that is inconsistent with its molecular evolution. We suggest instead that PRDM9 is involved in some aspect of centromere segregation conflict and that rapidly evolving centromeric DNA drives changes in PRDM9 DNA-binding domains

Component-wise incremental LTL model checking

Efficient symbolic and explicit-state model checking approaches have been developed for the verification of linear time temporal logic (LTL) properties. Several attempts have been made to combine the advantages of the various algorithms. Model checking LTL properties usually poses two challenges: one must compute the synchronous product of the state space and the automaton model of the desired property, then look for counterexamples that is reduced to finding strongly connected components (SCCs) in the state space of the product. In case of concurrent systems, where the phenomenon of state space explosion often prevents the successful verification, the so-called saturation algorithm has proved its efficiency in state space exploration. This paper proposes a new approach that leverages the saturation algorithm both as an iteration strategy constructing the product directly, as well as in a new fixed-point computation algorithm to find strongly connected components on-the-fly by incrementally processing the components of the model. Complementing the search for SCCs, explicit techniques and component-wise abstractions are used to prove the absence of counterexamples. The resulting on-the-fly, incremental LTL model checking algorithm proved to scale well with the size of models, as the evaluation on models of the Model Checking Contest suggests