1,854 research outputs found

    Yi Ni v. Holder: Forced Abortion’s Impact on a Husband’s Right to Reproduce

    Get PDF

    Effect Of Digital Advertising On Website Traffic At A Kentucky Comprehensive Regional University

    Get PDF
    The purpose of this research is to quantify differences in key performance indicators between paid and organic (not paid) website traffic over a one year period of time at a regional comprehensive university in Kentucky, which is located in the southeastern United States. Two distinct sources of website traffic can be measured: paid traffic and organic traffic. Using data from website traffic analytics, this study employed multiple linear regression analysis and time series methods to understand the similarities and differences between key performance indicators of paid traffic and organic traffic as they relate to key performance indicators. Data from Google Analytics will be segmented by traffic source type and analyzed using SPSS to return descriptive statistics, multiple linear regression analysis, and time series methods. Results will quantitatively indicate tendencies of users who arrived to a website as a result of paid advertising versus the tendencies of users who arrived to a website via organic methods. Research findings will be useful for higher educational professionals who seek to optimize advertising campaigns and webpages in the student recruitment process

    Effects of structure on flow mechanics in the human left ventricle and respiratory tract

    Get PDF
    2011 Summer.Includes bibliographical references.Cardiac and respiratory dysfunctions represent a large portion of healthcare problems in the United States. Many of these problems are caused by abnormal flow mechanics due to altered anatomical structure. This structure in the human body is very complex and ranges over many different scales. At relatively small scales, one facet that is still not well understood is the role of trabeculae on the biomechanics of the left ventricle. Similarly, large-scale airflow through the respiratory tract has not been fully investigated as a function of age or mechanical ventilation. This research has revealed some of the flow patterns caused by these different scale structures. Fractal geometry was used to help characterize the inner surface of the left ventricle at different times during the cardiac cycle. The fractal dimension of the ventricle was determined using a custom box-counting algorithm developed in MATLAB, and it was shown that trabeculae do indeed play a role in the biomechanics of heart pumping. Computational fluid dynamics (CFD) was also run on the respiratory tracts of three different patients to determine airflow effects due to age and intubation. Three dimensional models were constructed from computed tomography (CT) scans and simulations were run in ANSYS Fluent. Results of the study were validated through grid and time step sensitivity studies as well as comparison to previous studies. It was shown that flow mechanics in the airways of children change with age as well as with the introduction of an intubation tube

    Brandon Scott Moore, Tenor

    Get PDF
    Alleluia / Henry Purcell; “Si bella mercede...”, from Ermelinda / Leonardo Vinci; Ah che nel dirti addio / Saverio Mercadante; WaldesgesprĂ€ch / Robert Schumann; Abendlied / Robert Schumann; Soir / Gabriel FaurĂ©; Now the Green Blade Riseth / Russell Schulz-Widmar; “Empty Chairs” from Les MisĂ©rables / Schönber

    The Lived Experiences of Secondary Teachers Who Give Grades and Feedback: A Phenomenological Study

    Get PDF
    The purpose of this hermeneutic phenomenological study was to understand the lived experiences of secondary teachers who grade student work, including their grading beliefs, decisions, and feedback practices at Discovery Hills Unified School District. The theory that guided this study was self-determination theory as it helps explain the motivation, both intrinsic and extrinsic, for teacher grading practices and the impact of teacher feedback on students. The central question was: What are secondary teachers’ lived experiences with grading student work? Sub questions were used to explore the beliefs, decisions, and practices secondary teachers employ when grading student work or providing feedback. The design for this study followed phenomenological research data collection methods to guide the gathering of data from the lived experiences of secondary teachers across the history/social studies and English content areas in three middle and two high schools. Data sources included individual interviews, focus groups, and letter-writing. The data was analyzed via triangulation and thematic saturation. Further analysis included micro coding, memoing, pattern coding, in vivo coding, and member checks. From the analysis of the data, themes were generated and their interpretations detailed. The results of this study revealed that teachers desire training on best grading and feedback practices that will uncomplicate and systematize grades. Moreover, effective feedback practices were found to impact teacher and student motivation for learning in secondary English and history/social studies classes

    All-Path Reachability Logic

    Full text link
    This paper presents a language-independent proof system for reachability properties of programs written in non-deterministic (e.g., concurrent) languages, referred to as all-path reachability logic. It derives partial-correctness properties with all-path semantics (a state satisfying a given precondition reaches states satisfying a given postcondition on all terminating execution paths). The proof system takes as axioms any unconditional operational semantics, and is sound (partially correct) and (relatively) complete, independent of the object language. The soundness has also been mechanized in Coq. This approach is implemented in a tool for semantics-based verification as part of the K framework (http://kframework.org

    Metal-only Lewis pairs between group 10 metals and Tl(I) or Ag(I): insights into the electronic consequences of Z-type ligand binding†

    Get PDF
    Complexes bearing electron rich transition metal centers, especially those displaying coordinative unsaturation, are well-suited to form reverse-dative σ-interactions with Lewis acids. Herein we demonstrate the generality of zerovalent, group 10 m-terphenyl isocyanide complexes to form reverse-dative σ-interactions to Tl(I) and Ag(I) centers. Structural and spectroscopic investigations of these metal-only Lewis pairs (MOLPs) has allowed insight into the electronic consequences of Lewis-acid ligation within the primary coordination sphere of a transition metal center. Treatment of the bis-isocyanide complex, Pt(CNArDipp2)2 (ArDipp2 = 2,6-(2,6-(i-Pr)2C6H3)2C6H3) with TlOTf (OTf = [O3SCF3]−) yields the Pt/Tl MOLP [TlPt(CNArDipp2)2]OTf (1). 1H NMR and IR spectroscopic studies on 1, and its Pd congener [TlPd(CNArDipp2)2]OTf (2), demonstrate that the M → Tl interaction is labile in solution. However, treatment of complexes 1 and 2 with Na[BArF4] (ArF = 3,5-(CF3)2C6H3) produces [TlPt(CNArDipp2)2]BArF4 (3) and [TlPd(CNArDipp2)2]BArF4 (4), in which Tl(I) binding is shown to be static by IR spectroscopy and, in the case of 3, 195Pt NMR spectroscopy as well. This result provides strong evidence that the M → Tl linkages can be attributed primarily to σ-donation from the group 10 metal to Tl, as loss of ionic stabilization of Tl by the triflate anion is compensated for by increasing the degree of M → Tl σ-donation. In addition, X-ray Absorption Near-Edge Spectroscopy (XANES) on the Pd/Tl and Ni/Tl MOLPs, [TlPd(CNArDipp2)2]OTf (2) and [TlNi(CNArMes2)3]OTf, respectively, is used to illustrate that the formation of a reverse-dative σ-interaction with Tl(I) does not alter the spectroscopic oxidation state of the group 10 metal. Also reported is the ability of M(CNArDipp2)2 (M = Pt, Pd) to form MOLPs with Ag(I), yielding the complexes [AgM(CNArDipp2)2]OTf (5, M = Pt; 6, M = Pd). As was determined for the Tl-containing MOLPs 1–4, it is shown that the spectroscopic oxidation states of the group 10 metal in 5 and 6 are essentially unchanged compared to the zerovalent precursors M(CNArDipp2)2. However, in the case of 5 and 6, the formation of a dative M → Ag σ-bonding interaction facilitates the binding of Lewis bases to the group 10 metal trans to Ag, illustrating the potential of acceptor fragments to open up new coordination sites on transition metal complexes without formal, two-electron oxidation

    TraNCE: Transforming Nested Collections Efficiently

    Get PDF
    Nested relational query languages have long been seen as an attractive tool for scenarios involving large hierarchical datasets. There has been a resurgence of interest in nested relational languages. One driver has been the affinity of these languages for large-scale processing platforms such as Spark and Flink. This demonstration gives a tour of TraNCE, a new system for processing nested data on top of distributed processing systems. The core innovation of the system is a compiler that processes nested relational queries in a series of transformations; these include variants of two prior techniques, shredding and unnesting, as well as a materialization transformation that customizes the way levels of the nested output are generated. The TraNCE platform builds on these techniques by adding components for users to create and visualize queries, as well as data exploration and notebook execution targets to facilitate the construction of large-scale data science applications. The demonstration will both showcase the system from the viewpoint of usability by data scientists and illustrate the data management techniques employed

    Monitoring Areal Snow Cover Using NASA Satellite Imagery

    Get PDF
    The objective of this project is to develop products and tools to assist in the hydrologic modeling process, including tools to help prepare inputs for hydrologic models and improved methods for the visualization of streamflow forecasts. In addition, this project will facilitate the use of NASA satellite imagery (primarily snow cover imagery) by other federal and state agencies with operational streamflow forecasting responsibilities. A GIS software toolkit for monitoring areal snow cover extent and producing streamflow forecasts is being developed. This toolkit will be packaged as multiple extensions for ArcGIS 9.x and an opensource GIS software package. The toolkit will provide users with a means for ingesting NASA EOS satellite imagery (snow cover analysis), preparing hydrologic model inputs, and visualizing streamflow forecasts. Primary products include a software tool for predicting the presence of snow under clouds in satellite images; a software tool for producing gridded temperature and precipitation forecasts; and a suite of tools for visualizing hydrologic model forecasting results. The toolkit will be an expert system designed for operational users that need to generate accurate streamflow forecasts in a timely manner. The Remote Sensing of Snow Cover Toolbar will ingest snow cover imagery from multiple sources, including the MODIS Operational Snowcover Data and convert them to gridded datasets that can be readily used. Statistical techniques will then be applied to the gridded snow cover data to predict the presence of snow under cloud cover. The toolbar has the ability to ingest both binary and fractional snow cover data. Binary mapping techniques use a set of thresholds to determine whether a pixel contains snow or no snow. Fractional mapping techniques provide information regarding the percentage of each pixel that is covered with snow. After the imagery has been ingested, physiographic data is attached to each cell in the snow cover image. This data can be obtained from a digital elevation model (DEM) for the area of interest
    • 

    corecore