864 research outputs found

    Letter from Chancellor William H. Cunningham to Mayor William Card: 1994-10-25

    Get PDF
    Letter from Chancellor William H. Cunningham to Mayor William Card regarding the proposed expansion of health care education in the Rio Grande Valley.https://scholarworks.utrgv.edu/hcard/1017/thumbnail.jp

    A dissertation on the Epistle of S. Barnabas : includia discussion of its date and authorship / by William Cunningham ; together with the Greek text, the Latin version, and a new English translation and commentary

    Get PDF
    https://place.asburyseminary.edu/ecommonsatsdigitalresources/1554/thumbnail.jp

    On the even permutation polytope

    Get PDF
    AbstractWe consider the convex hull of the even permutations on a set of n elements. We define a class of valid inequalities and prove that they induce a large class of distinct facets of the polytope. Using the inequalities, we characterize the polytope for n=4, and we confirm a conjecture of Brualdi and Liu that, unlike the convex hull of all permutations, this polytope cannot be described as the solution set of polynomially many linear inequalities. We also discuss the difficulty of determining whether a given point is in the polytope

    Note and Comment

    Get PDF
    The Passing of State Control over Railway Rates; Constitutionality of the New York Workmen\u27s Compensation Act; Must a Passenger Go on the Same Train with His Baggage?; Implied Reservation of Easements; Extent of the City\u27s Right, Under the Power of Eminent Domain, to Exemption from Liability for Consequential Damages Under the Rule of Damnum Absque Injuria

    Applying Formal Verification Methods to Pure Rule-Based Programs

    Get PDF
    Reliability, defined as the guarantee that a program satisfies its specifications, is an important aspect of many applications for which rule-based expert systems are suited. Verification refer to the process used to determine the reliability of the rule-based program. Because past approaches to verification are informal, guarantees of reliability cannot fully be made without severely restricting the system. On the other hand, by constructing formal specifications for a program and showing the program satisfies those specifications, guarantees of reliability can be made. This paper presents an assertional approach to the verification of rule-based programs. The proof logical needed for verification is adopted from one already in use by researchers in concurrent programming. The approach involves using a language called Swarm, and requires one to express program specifications as assertions over the Swarm representation of the program. Among models the employ rule-based notation, Swarm is the first to have an axiomatic proof logic

    Dysflective cones: Visual function and cone reflectivity in long-term follow-up of acute bilateral foveolitis.

    Get PDF
    PURPOSE:Confocal adaptive optics scanning laser ophthalmoscope (AOSLO) images provide a sensitive measure of cone structure. However, the relationship between structural findings of diminished cone reflectivity and visual function is unclear. We used fundus-referenced testing to evaluate visual function in regions of apparent cone loss identified using confocal AOSLO images. METHODS:A patient diagnosed with acute bilateral foveolitis had spectral-domain optical coherence tomography (SD-OCT) (Spectralis HRA + OCT system [Heidelberg Engineering, Vista, CA, USA]) images indicating focal loss of the inner segment-outer segment junction band with an intact, but hyper-reflective, external limiting membrane. Five years after symptom onset, visual acuity had improved from 20/80 to 20/25, but the retinal appearance remained unchanged compared to 3 months after symptoms began. We performed structural assessments using SD-OCT, directional OCT (non-standard use of a prototype on loan from Carl Zeiss Meditec) and AOSLO (custom-built system). We also administered fundus-referenced functional tests in the region of apparent cone loss, including analysis of preferred retinal locus (PRL), AOSLO acuity, and microperimetry with tracking SLO (TSLO) (prototype system). To determine AOSLO-corrected visual acuity, the scanning laser was modulated with a tumbling E consistent with 20/30 visual acuity. Visual sensitivity was assessed in and around the lesion using TSLO microperimetry. Complete eye examination, including standard measures of best-corrected visual acuity, visual field tests, color fundus photos, and fundus auto-fluorescence were also performed. RESULTS:Despite a lack of visible cone profiles in the foveal lesion, fundus-referenced vision testing demonstrated visual function within the lesion consistent with cone function. The PRL was within the lesion of apparent cone loss at the fovea. AOSLO visual acuity tests were abnormal, but measurable: for trials in which the stimulus remained completely within the lesion, the subject got 48% correct, compared to 78% correct when the stimulus was outside the lesion. TSLO microperimetry revealed reduced, but detectible, sensitivity thresholds within the lesion. CONCLUSIONS AND IMPORTANCE:Fundus-referenced visual testing proved useful to identify functional cones despite apparent photoreceptor loss identified using AOSLO and SD-OCT. While AOSLO and SD-OCT appear to be sensitive for the detection of abnormal or absent photoreceptors, changes in photoreceptors that are identified with these imaging tools do not correlate completely with visual function in every patient. Fundus-referenced vision testing is a useful tool to indicate the presence of cones that may be amenable to recovery or response to experimental therapies despite not being visible on confocal AOSLO or SD-OCT images

    Dynamics of Scalar Fields in the Background of Rotating Black Holes

    Get PDF
    A numerical study of the evolution of a massless scalar field in the background of rotating black holes is presented. First, solutions to the wave equation are obtained for slowly rotating black holes. In this approximation, the background geometry is treated as a perturbed Schwarzschild spacetime with the angular momentum per unit mass playing the role of a perturbative parameter. To first order in the angular momentum of the black hole, the scalar wave equation yields two coupled one-dimensional evolution equations for a function representing the scalar field in the Schwarzschild background and a second field that accounts for the rotation. Solutions to the wave equation are also obtained for rapidly rotating black holes. In this case, the wave equation does not admit complete separation of variables and yields a two-dimensional evolution equation. The study shows that, for rotating black holes, the late time dynamics of a massless scalar field exhibit the same power-law behavior as in the case of a Schwarzschild background independently of the angular momentum of the black hole.Comment: 14 pages, RevTex, 6 Figure

    Demonstration of a switchable damping system to allow low-noise operation of high-Q low-mass suspension systems

    Get PDF
    Low mass suspension systems with high-Q pendulum stages are used to enable quantum radiation pressure noise limited experiments. Utilising multiple pendulum stages with vertical blade springs and materials with high quality factors provides attenuation of seismic and thermal noise, however damping of these high-Q pendulum systems in multiple degrees of freedom is essential for practical implementation. Viscous damping such as eddy-current damping can be employed but introduces displacement noise from force noise due to thermal fluctuations in the damping system. In this paper we demonstrate a passive damping system with adjustable damping strength as a solution for this problem that can be used for low mass suspension systems without adding additional displacement noise in science mode. We show a reduction of the damping factor by a factor of 8 on a test suspension and provide a general optimisation for this system.Comment: 5 pages, 5 figure
    • …
    corecore