238 research outputs found
CUDA au Coq: A Framework for Machine-validating GPU Assembly Programs
No full textDue to copyright restrictions and/or publisher's policy full text access from Treasures at UT Dallas is limited to current UTD affiliates (use the provided Link to Article).A prototype framework for formal, machine-checked validation of GPU pseudo-assembly code algorithms using the Coq proof assistant is presented and discussed. The framework is the first to afford GPU programmers a reliable means of formally machine-validating high-assurance GPU computations without trusting any specific source-to-assembly compilation toolchain. A formal operational semantics for the PTX pseudo-assembly language is expressed as inductive, dependent Coq types, facilitating development of proofs and proof tactics that refer directly to the compiled PTX object code. Challenges modeling PTX's complex and highly parallelized computation model in Coq, with sufficient clarity and generality to tractably prove useful properties of realistic GPU programs, are discussed. Examples demonstrate how the prototype can already be used to validate some realistic programs. © 2019 EDAA.ONR award N00014-17-1-2995, NSF award #1513704, an NSF IUCRC award from Lockheed MartinErik Jonsson School of Engineering and Computer Scienc
Henri Temianka Correspondence; (ferrell)
No full textThis collection contains material pertaining to the life, career, and activities of Henri Temianka, violin virtuoso, conductor, music teacher, and author. Materials include correspondence, concert programs and flyers, music scores, photographs, and books.https://digitalcommons.chapman.edu/temianka_correspondence/1944/thumbnail.jp
How green building requirements impact the commercial general contractor in Stockton, California
No full textThis project explored how green building construction impacted a commercial construction company in Stockton, California. Through an examination of green building construction as well as general commercial construction in the Stockton area, the author was able to consider the impact of green building construction upon a sample building company. The analysis also considered a detailed look into 5 target markets in the area selected. Using the context of 1 company, Ferrell Construction (a pseudonym), the project also includes a discussion of green building trends locally and globally
Lynn Griebling, soprano; Frances Bible, mezzo-soprano; Mark Ferrell, piano
No full textCosi fan tutte, Wolfgang Amadeus Mozart (1756-1791) -- Giulio Cesare, George Frideric Händel (1685-1759) -- Adina, Gioacchino Rossini (1792-1868) -- Two Ballads, Benjamin Britten (b. 1913) -- Der Rosenkavalier, Richard Strauss (1864-1949
Validez y confiabilidad del instrumento de calidad de vida de Betty Ferrell, para personas con enfermedad crónica
No full textLa calidad de vida de las personas con enfermedad crónica es un fenómeno de interés que se debe explorar desde diferentes perspectivas tanto desde los profesionales como de los usuarios. Así mismo, se considera un indicador tangible del efecto de las intervenciones en salud y foco central de investigación centrada en describirla y explicar su relación con otras co-variables. Los instrumentos utilizados para evaluar la calidad de vida son herramientas útiles que deben suministrar información real, segura y adecuada para promover programas, diagnosticar situaciones, evaluar tratamientos, entre otros aspectos. Por ello deben seguir procesos psicométricos de validez y confiabilidad que permitan su uso en el contexto local, evidenciando que miden lo que pretende medir y con un alto grado de precisión. OBJETIVO: Determinar la validez y confiabilidad del instrumento calidad de vida paciente con enfermedad crónica de Betty Ferrell, para el contexto colombiano, mediante la realización de pruebas psicométricas en el I y II semestre de 2013. MÉTODO: Estudio de abordaje cuantitativo descriptivo de corte transversal. Se realizó adecuación semántica y determinar la comprensibilidad, validez facial, de contenido y de constructo, así como confiabilidad por consistencia interna mediante el alfa de Cronbach RESULTADOS: El instrumento requirió un ajuste semántico con el que obtuvo una comprensibilidad mayor de 85% en cada uno de los ítems. Se determinó una validez de contenido adecuada con un índice de validez de contenido (IVC) de 0.9, la consistencia interna por medio de alfa de Cronbach fue de 0.88. Respecto a la validez de constructo: el análisis de carga factorial de los ítems en los cuatro factores extraídos y al intentar establecer una relación con la estructuración de las dimensiones planteada por el autor, no se encontró una coincidencia total entre estos dos aspectos. Sólo 22 de los 41 ítems son explicados por el factor subyacente a la dimensión planteada por el autor, observándose marcada discrepancia en las dimensiones de Bienestar Psicológico y Social. CONCLUSIONES: El instrumento de calidad de vida de Betty Ferrell para personas con enfermedad crónica tiene una alta comprensibilidad y un adecuado índice de validez de contenido para su uso en el contexto local. Se requiere seguir estudiando la validez de constructo, se recomienda eliminar el ítem 7 ya que presenta una alta correlación con el ítem 30, realizar un análisis factorial confirmatorio, y explorar la propuesta de cuatro dimensiones (Percepción de carga de la enfermedad, bienestar psicológico, relaciones y formas de afrontamiento a la enfermedad).Abstract. The quality of life of people with chronic illness is a phenomenon of interest to be explored from different perspectives both professionals and users. Also, is considered a tangible indicator of the effect of health interventions and focus of research concentrated on describing and explaining its relationship with other co - variables. The instruments used to assess quality of life are useful tools that should provide real, safe and adequate information to promote programs, diagnose situations, to evaluate treatments, among others. Therefore must follow psychometric validity and reliability processes that allow its use in the local context, showing that measures what it purports to measure with a high degree of accuracy. To determine the validity and reliability of the Betty Ferrell’s quality of life instrument, for people with Chronic disease, for Colombian context , by conducting psychometric tests in the I and II semester of 2013. METHODS: Descriptive study of cross-sectional quantitative approach. Semantic appropriateness and comprehensibility was conducted; facial, content and construct validity was made, reliability for internal consistency using Cronbach's alpha RESULTS: The instrument required a semantic adjustment that I had a higher compressibility of 85 % in each of the items. Adequate content validity with 0.9, internal consistency using Cronbach's alpha was 0.88, it was adequate. Regarding construct validity: factorial analysis of the items loading on the four extracted factors and try to establish a connection with the structuring of the dimensions proposed by the author, an exact match between these two aspects is not found. Only 22 of the 41 items are explained by the underlying dimension factor raised by the author, showing marked discrepancy in the dimensions of Psychological and Social Welfare. CONCLUSIONS: The quality of life instrument Betty Ferrell for people with chronic disease has a high comprehensibility and adequate content validity index for use in the local context. It requires further study construct validity, it is recommended to delete item 7 because it has a high correlation with item 30, perform a confirmatory factor analysis, and explore the proposed four dimensions (Perception of disease burden, psychological well- relationships and ways of coping with the disease).Maestrí
Samuel Barber's "Knoxville: Summer of 1915" from a male perspective
No full textThis document examines Samuel Barber's 1947 work for orchestra and voice, Knoxville: Summer of 1915. The piece was debuted by soprano Eleanor Steber, and it has become traditionally performed by sopranos. The purpose of this study is to present an argument that Knoxville: Summer of 1915 is a piece that can be performed meaningfully and effectively by the tenor voice as well. This document touches on the history of Knoxville, and on the lives and creative outputs of composer Samuel Barber and American author James Agee. Also discussed is the relationship between these two men, and how their commonalities helped to shape this work. The main argument is supported primarily through Agee's text and the way that Barber approached its setting, as well as aspects of vocal technique. American tenor John Aler was interviewed as one of the few tenors to have performed Knoxville, and he provided insights into the textual, musical, and performance aspects of the piece. Given the gender neutrality of the piece, the autobiographical nature of the source material, and the relative ease of the vocal passages, it is concluded that Knoxville: Summer of 1915 is certainly appropriate for a tenor to perform
Monterrey Is Ours! The Mexican War Letters of Lieutenant Dana, 1845-1847
No full textHere we are on the banks of the Nueces in the grand camp of the army of occupation.” So wrote Lt. Napoleon Jackson Tecumseh Dana when in 1845, not many months before the outbreak of the Mexican War, he joined the white-tented encampment of General Zachary Taylor in Texas. And so he continued writing during the uncertain life of camp and campaign for the better part of the next two years. In these letters to his wife, published here for the first time, Dana provides a detailed, firsthand view of the United States’ war with Mexico—fighting off the Mexicans from within Fort Brown during the initial attack; hearing the distant thunder of artillery as Taylor’s army marched to the rescue of the beleaguered Seventh Infantry; occupying Matamoros; taking Monterrey, street by street with the defenders firing from the housetops. After Monterrey, Dana was at the siege of Veracruz and on the march to Cerro Gordo. Badly wounded in the attack on Telegraph Hill at Cerro Gordo, he was left on the field for dead, but was rescued by a burial party a day and a half later. Following the Mexican War, Dana went on to become a major general during the Civil War and later to have an illustrious career as a railroad executive. Nearly one hundred of his letters about the Mexican War survived and are now in the archives at West Point. From them Robert Ferrell has edited this vivid, eyewitness narrative.
Robert H. Ferrell, professor of history at Indiana University, is a widely published author and editor on American diplomatic history.
It is surprising that these remarkable letters have never before been published, but fortunate that they are now available, with Professor Ferrell’s admirable footnotes, to devotees of American history. —The Atlantichttps://uknowledge.uky.edu/upk_latin_american_history/1003/thumbnail.jp
Foundations of marketing / William Pride, O. C. Ferrell.
No full textIncludes bibliographical references (p. 513-542) and indexes.xxi, 569 pages
- …
