173,453 research outputs found
Bell Of Bells
No full textC majorModerato(From cover) "Dick Rabe, America's foremost and fastest piano tuner
An event memory for an embodied cooperative virtual guide
No full textRabe F, Wachsmuth I. An event memory for an embodied cooperative virtual guide. In: Postersession at the Interdisciplinary College. 2011: 510
First-principles study of lattice instabilities in ferromagnetic Ni2MnGa
No full textThe phonon-dispersion relations and elastic constants for ferromagnetic Ni2MnGa in the cubic and tetragonally distorted Heusler structures are computed using density-functional and density-functional-perturbation theory within the spin-polarized generalized-gradient approximation. For 0.9<c/a<1.06, the TA(2) transverse- acoustic branch along [110] and the symmetry-related directions exhibit a dynamical instability at a wave vector that depends on c/a. Through examination of the Fermi-surface nesting and electron-phonon coupling, this is identified as a Kohn anomaly. In the parent cubic phase the computed tetragonal shear elastic constant, C-'=(C-11-C-12)/2, is close to zero, indicating a marginal elastic instability towards a uniform tetragonal distortion. We conclude that the cubic Heusler structure is unstable against a family of energy-lowering distortions produced by the coupling between a uniform tetragonal distortion and the corresponding [110] modulation. The computed relation between the c/a ratio and the modulation wave vector is in excellent agreement with structural data on the premartensitic (c/a=1) and martensitic (c/a=0.94) phases of Ni2MnGa
Inhaled Long-Acting {beta}-Agonists Versus Anticholinergics in Older Patients With Chronic Obstructive Pulmonary Disease
No full textlette
The Coq Library as a Theory Graph
No full textRepresenting proof assistant libraries in a way that allows further processing in other systems is becoming increasingly important. It is a critical missing link for integrating proof assistants both with each other or with peripheral tools such as IDEs or proof checkers. Such representations cannot be generated from library source files because they lack semantic enrichment (inferred types, etc.) and only the original proof assistant is able to process them. But even when using the proof assistant’s internal data structures, the complexities of logic, implementation, and library still make this very difficult. We describe one such representation, namely for the library of Coq, using OMDoc theory graphs as the target format. Coq is arguably the most formidable of all proof assistant libraries to tackle, and our work makes a significant step forward. On the theoretical side, our main contribution is a translation of the Coq module system into theory graphs. This greatly reduces the complexity of the library as the more arcane module system features are eliminated while preserving most of the structure. On the practical side, our main contribution is an implementation of this translation. It takes the entire Coq library, which is split over hundreds of decentralized repositories, and produces easily-reusable OMDoc files as output
Going Beyond Counting First Authors in Author Co-citation Analysis
No full textThe present study examines one of the fundamental aspects of author co-citation analysis (ACA) - the way co-citation
counts are defined. Co-citation counting provides the data on which all subsequent statistical analyses and mappings
are based, and we compare ACA results based on two different types of co-citation counting - the traditional type that
only counts the first one among a cited work's authors on the one hand and a non-traditional type that takes into
account the first 5 authors of a cited work on the other hand. Results indicate that the picture produced through this non-traditional author co-citation counting contains more coherent author groups and is therefore considerably clearer. However, this picture represents fewer specialties in the research field being studied than that produced through the traditional first-author co-citation counting when the same number of top-ranked authors is selected and analyzed. Reasons for these effects are discussed
Mitomycin C in highly myopic eyes - Author reply
No full textOphthalmology. 2005 Feb;112(2):208-18; discussion 219.
Mitomycin C modulation of corneal wound healing after photorefractive keratectomy in highly myopic eyes.
Gambato C, Ghirlando A, Moretto E, Busato F, Midena E.
SourceRefractive Surgery Service and Antimetabolite Therapy Research Unit, Department of Ophthalmology, University of Padova, Padova, Italy.
Abstract
PURPOSE: To evaluate the role of topical mitomycin C in corneal wound healing (CWH) after photorefractive keratectomy (PRK) in highly myopic eyes.
DESIGN: Prospective, double-masked, randomized clinical trial.
PARTICIPANTS: Seventy-two eyes of 36 patients affected by high (>7 diopters) myopia.
METHODS: In each patient, one eye was randomly assigned to PRK with intraoperative topical 0.02% mitomycin C application, and the fellow eye was treated with a placebo. Postoperatively, mitomycin C-treated eyes received artificial tears (3 times daily, tapered in 3 months), whereas the fellow eye was treated with fluorometholone sodium 2% and artificial tears (3 times daily, tapered in 3 months).
MAIN OUTCOME MEASURES: Uncorrected visual acuity (UCVA) and best-corrected visual acuity (BCVA), contrast sensitivity, manifest refraction, and biomicroscopy. Contrast sensitivity was determined using the Pelli-Robson chart. Corneal confocal microscopy documented CWH.
RESULTS: Mean follow-up was 18 months (range, 12-36). No side effects or toxic effects were documented. At 12-month follow-up examination, UCVAs (logarithm of the minimum angle of resolution) were 0.4+/-0.48 and 0.5+/-0.53 (P = .03) in mitomycin C-treated eyes and corticosteroid-treated eyes, respectively. At 1 year, corneal haze developed in 20% of corticosteroid-treated eyes, versus 0% of mitomycin C-treated eyes. At 12, 24, and 36 months, corneal confocal microscopy showed activated keratocytes and extracellular matrix significantly more evident in untreated eyes (Ps = 0.004, 0.024, and 0.046, respectively).
CONCLUSION: Topical intraoperative application of 0.02% mitomycin C can reduce haze formation in highly myopic eyes undergoing PRK.
Comment in
Ophthalmology. 2006 Feb;113(2):357; author reply 357-8
Logic-Independent Proof Search in Logical Frameworks: (Short Paper)
No full textLogical frameworks like LF allow to specify the syntax and (natural deduction) inference rules for syntax/proof-checking a wide variety of logical systems. A crucial feature that is missing for prototyping logics is a way to specify basic proof automation. We try to alleviate this problem by generating Prolog (ELPI) inference predicates from logic specifications and controlling them by logic-independent helper predicates that encapsulate the prover characteristics. We show the feasibility of the approach with three experiments: We directly automate ND calculi, we generate tableau theorem provers and model generators
Dispelling the Myths Behind First-author Citation Counts
No full textWe conducted a full-scale evaluative citation analysis study of scholars in the XML research field to explore just how different from each other author rankings resulting from different citation counting methods actually are, and to demonstrate the capability of emerging data and tools on the Web in supporting more realistic citation counting methods. Our results contest some common arguments for the continued
use of first-author citation counts in the evaluation of scholars, such as high correlations between author rankings by first-author citation counts and other citation
counting methods, and high costs of using more realistic citation counting methods that are not well-supported by the ISI databases. It is argued that increasingly available digital full text research papers make it possible for citation analysis studies to go beyond what the ISI databases have directly supported and to employ more
sophisticated methods
- …
