Physical Sciences and Mathematics Commons^™

Network Technologies Used To Aggregate Environmental Data, Paul Stasiuk, Konstantin Läufer, George K. Thiruvathukal

Konstantin Läufer

The goal of the Loyola Weather Service (lws) project is to design and build a system of functioning environmental monitoring widgets that can intelligently and autonomously control the environment around them based on set thresholds and triggers. The widgets will also have the ability to aggregate their data and easily display this data in various ways: through a user interface in the room that the widget is placed, via a web application, and programmatically via a RESTful web service.

Putting Type Annotations To Work, Martin Odersky, Konstantin Laufer

Konstantin Läufer

We study an extension of the Hindley/Milner system with explicit type scheme annotations and type declarations. The system can express polymorphic function arguments, user-defined data types with abstract components, and structure types with polymorphic fields. More generally, all programs of the polymorphic lambda calculus can be encoded by a translation between typing derivations. We show that type reconstruction in this system can be reduced to the decidable problem of first-order unification under a mixed prefix.

Automated Systematic Testing For Constraint-Based Interactive Services, Patrice Godefroid, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Laufer

Konstantin Läufer

Constraint-based languages can express in a concise way the complex logic of a new generation of interactive services for applications such as banking or stock trading, that must support multiple types of interfaces for accessing the same data. These include automatic speech-recognition interfaces where inputs may be provided in any order by users of the service. We study in this paper how to systematically test event-driven applications developed using such languages. We show how such applications can be tested automatically, without the need for any manually-written test cases, and effi- ciently, by taking advantage of their capability of taking unordered …

An Object-Oriented Framework For Userland Filesystem Development, George K. Thiruvathukal, Joseph P. Kaylor, Konstantin Läufer

Konstantin Läufer

Userland filesystems (also known as virtual/installable filesystems) represent a promising direction for interfacing the traditional filesystem concept to specific domain instances (e.g. finance, bioinformatics, astronomy, photo sharing services, etc.) One might initially be inclined to think of filesystems as “old school” or “so 1980s” but their use remains an established practice in computational science and in many business domains, owing to the stability of filesystems interfaces and the continued perception of having great overall performance. While the promise of building one’s own userland filesystems is great, the approach has seen little adoption, owing to the complexity of working with low-level …

Simplifying Domain Modeling And Memory Management In User-Mode Filesystems With The Nofs Framework, Joseph P. Kaylor, Konstantin Läufer, George K. Thiruvathukal

Konstantin Läufer

Transparent access to remote data sets and data arising from web services is a non-trivial challenge to application developers. This early stage work addresses this challenge with NOFS, an object-oriented framework for creating filesystems to support domain specific functionality. While an early stage work, we present a solution to solve the access problem. Our solution greatly simplifies the task of filesystems development by providing the glue code needed between a domain model and the filesystem contract. We demonstrate support for domain models that are larger than physical memory and demonstrate how the concerns of caching can be removed from user-mode …

A Polyglot Approach To Bioinformatics Data Integration: Phylogenetic Analysis Of Hiv-1, Steven Reisman, Catherine Putonti, George K. Thiruvathukal, Konstantin Läufer

Konstantin Läufer

RNA-interference has potential therapeutic use against HIV-1 by targeting highly-functional mRNA sequences that contribute to the virulence of the virus. Empirical work has shown that within cell lines, all of the HIV-1 genes are affected by RNAi-induced gene silencing. While promising, inherent in this treatment is the fact that RNAi sequences must be highly specific. HIV, however, mutates rapidly, leading to the evolution of viral escape mutants. In fact, such strains are under strong selection to include mutations within the targeted region, evading the RNAi therapy and thus increasing the virus’ fitness in the host. Taking a phylogenetic approach, we …

Sisl: Several Interfaces, Single Logic, Thomas Ball, Christopher P. Colby, Peter Danielsen, Lalita Jategaonkar Jagadeesan, Radhakrishnan Jagadeesan, Konstantin Laufer, Peter Mataga, Kenneth Rehor

Konstantin Läufer

Modern interactive services such as information and e-commerce services are becoming increasingly more flexible in the types of user interfaces they support. These interfaces incorporate automatic speech recognition and natural language understanding, and include graphical user interfaces on the desktop and web-based interfaces using applets and HTML forms. To what extent can the user interface software be decoupled from the service logic software (the code that defines the essential function of a service)? Decoupling of user interface from service logic directly impacts the flexibility of services, or, how easy they are to modify and extend. To explore these issues, we …

Safe Structural Conformance For Java, Konstantin Laufer, Gerald Baumgartner, Vincent F. Russo

Konstantin Läufer

No abstract provided.

Reference Data Set Of Volcanic Ash Physicochemical And Optical Properties, A. Vogel, S. Diplas, A. J. Durant, A. S. Azar, M. F. Sunding, William I. Rose, A. Sytchkova, C. Bonadonna, K. Krüger, A. Stohl

William I. Rose

Uncertainty in the physicochemical and optical properties of volcanic ash particles creates errors in the detection and modeling of volcanic ash clouds and in quantification of their potential impacts. In this study, we provide a data set that describes the physicochemical and optical properties of a representative selection of volcanic ash samples from nine different volcanic eruptions covering a wide range of silica contents (50–80 wt % SiO2). We measured and calculated parameters describing the physical (size distribution, complex shape, and dense-rock equivalent mass density), chemical (bulk and surface composition), and optical (complex refractive index from ultraviolet to near-infrared wavelengths) …

How Useful Is Gsv As An Environmental Observation Tool? An Analysis Of The Evidence So Far., Katherine Nesse, Leah Airt

SPU Works

Researchers in many disciplines have turned to Google Street View to replace pedestrian- or carbased in-person observation of streetscapes. It is most prevalent within the research literature on the relationship between neighborhood environments and public health but has been used as diverse as disaster recovery, ecology and wildlife habitat, and urban design. Evaluations of the tool have found that the results of GSV-based observation are similar to the results from in-person observation although the similarity depends on the type of characteristic being observed. Larger, permanent and discrete features showed more consistency between the two methods and smaller, transient and judgmental …

Bulk Properties Of The Medium Produced In Relativistic Heavy-Ion Collisions From The Beam Energy Scan Program, L. Adamczyk, James K. Adkins, G. Agakishiev, M. M. Aggarwal, Z. Ahammed, N. N. Ajitanand, I. Alekseev, D. M. Anderson, R. Aoyama, A. Aparin, D. Arkhipkin, E. C. Aschenauer, M. U. Ashraf, A. Attri, G. S. Averichev, X. Bai, V. Bairathi, A. Behera, R. Bellwied, A. Bhasin, A. K. Bhati, P. Bhattarai, J. Bielcik, J. Bielcikova, L. C. Bland, I. G. Bordyuzhin, J. Bouchet, J. D. Brandenburg, A. V. Brandin, D. Brown, Renee H. Fatemi, Suvarna Ramachandran

Physics and Astronomy Faculty Publications

We present measurements of bulk properties of the matter produced in Au+Au collisions at √S_NN = 7.7, 11.5, 19.6, 27, and 39 GeV using identified hadrons (π^±, K^±, p, and p¯) from the STAR experiment in the Beam Energy Scan (BES) Program at the Relativistic Heavy Ion Collider (RHIC). Midrapidity (|y| < 0.1) results for multiplicity densities dN/dy, average transverse momenta ⟨p_T⟩, and particle ratios are presented. The chemical and kinetic freeze-out dynamics at these energies are discussed and presented as a function of collision centrality and energy. These results constitute the systematic …

Surfaces And Interfaces Of Magnetoelectric Oxide Systems, Shi Cao

Department of Physics and Astronomy: Dissertations, Theses, and Student Research

Magnetoelectric materials Cr2O3, hexagonal LuFeO3 and YbFeO3 are studied in this thesis. The surface of chromia (Cr2O3) has a surface electronic structure distinct from the bulk. Our work shows that placing a Cr2O3 single crystal into a single domain state will result in net Cr2O3 spin polarization at the boundary, even in the presence of a gold overlayer. From the Cr 2p3=2 X-ray magnetic circular dichroism signal, there is clear evidence of interface polarization with overlayers of both Pd and Pt on chromia. Cobalt thin films on Cr2O3(0001) show larger magnetic contrast in magnetic force microscopy indicating enhancement of perpendicular …

Measurement Of The B± Meson Nuclear Modification Factor In Pb-Pb Collisions At Snn =5.02 Tev, A. M. Sirunyam, A. R. Tumasyan, Adam Wolfgang, Marc M. Baarmand, Vallary Bhopatkar, Stefano Colafranceschi, Marcus Hohlmann, Daniel Noonan, Toohin S. Roy, Francisco X. Yumiceva

Aerospace, Physics, and Space Science Faculty Publications

The differential production cross sections of B± mesons are measured via the exclusive decay channels B±→J/ψK±→μ+μ-K± as a function of transverse momentum in pp and Pb-Pb collisions at a center-of-mass energy sNN=5.02 TeV per nucleon pair with the CMS detector at the LHC. The pp(Pb-Pb) data set used for this analysis corresponds to an integrated luminosity of 28.0 pb-1 (351 μb-1). The measurement is performed in the B± meson transverse momentum range of 7 to 50 GeV/c, in the rapidity interval |y|<2.4. In this kinematic range, a strong suppression of the production cross section by about a factor of 2 is observed in the Pb-Pb system in comparison to the expectation from pp reference data. These results are found to be roughly compatible with theoretical calculations incorporating beauty quark diffusion and energy loss in a quark-gluon plasma. © 2017 CERN, for the CMS Collaboration. Published by the American Physical Society under the terms of the «https://creativecommons.org/licenses/by/4.0/» Creative Commons Attribution 4.0 International license. Further distribution of this work must maintain attribution to the author(s) and the published article's title, journal citation, and DOI.

Non-Centrosymmetric Superconductivity And Magnetism In The Presence Of Broken Symmetries, Mojammel Alam Khan

LSU Doctoral Dissertations

Non-centrosymmetric (NC) superconducting and magnetic compounds have been synthesized and investigated using magnetic, specific heat, and transport measurements, as well as by neutron scattering and quantum oscillations. The crystal structures of NC compounds are defined by the lack of an inversion center. In NC superconductors, a finite antisymmetric spin orbit coupling originating from broken inversion symmetry results in unconventional Cooper pairing. Instead of a single spin channel, the order parameter is a mixture of spin-singlet and spin-triplet states. For NC magnetic compounds, the antisymmetric and isotropic spin interactions compete, leading to a helical ground state.

We have studied the NC …

How The Coconino Sandstone Of The Grand Canyon Supports Young-Earth Creation And A Global Flood, John H. Whitmore

Science and Mathematics Faculty Presentations

The Coconino Sandstone is a well-known and recognizable rock layer near the top of the Grand Canyon. Most interpret it as the fossilized remnants of desert sand dunes that formed about 275 million years ago. It is often used as a “silver bullet” of how Scripture is wrong when it comes to a literal interpretation of Noah’s Flood (by Christians and non-Christians alike). In this talk, Whitmore will summarize some easy to understand research that he and others have published which refutes old earth views of the Coconino and instead supports a view that the Coconino was formed underwater. His …

Healthcare It In Skilled Nursing And Post-Acute Care Facilities: Reducing Hospital Admissions And Re-Admissions, Improving Reimbursement And Improving Clinical Operations, Scott L. Hopes

USF Tampa Graduate Theses and Dissertations

Health information technology (HIT), which includes electronic health record (EHR) systems and clinical data analytics, has become a major component of all health care delivery and care management. The adoption of HIT by physicians, hospitals, post-acute care organizations, pharmacies and other health care providers has been accepted as a necessary (and recently, a government required) step toward improved quality, care coordination and reduced costs: “Better coordination of care provides a path to improving communication, improving quality of care, and reducing unnecessary emergency room use and hospital readmissions. LTPAC providers play a critical role in achieving these goals” (HealthIT.gov, 2013).

Though …

Synthesis, In Vitro Characterization And Applications Of Novel 8-Aminoquinoline Fluorescent Probes, Adonis Mcqueen

USF Tampa Graduate Theses and Dissertations

Malaria is a parasitic disease that is caused by the plasmodium parasite. Plasmodium infection has affected man for thousands of years. With advances in drug discovery over the past century, malaria has evolved to possess resistance to most mainline therapeutics. This war of drug discovery vs plasmodium evolution continues to be fought to this very day, with attempts to eradicate malaria worldwide. Frontline treatments such as chloroquine, artemisinin, and atovaquone/proguanil have all seen parasitic resistance in strains of P. vivax as well as P. falciparum. While plasmodium possesses resistance to most classes of anti-malarials, the 8-aminoquinoline (8-AQ) class has …

Confocal Laser Induced Fluorescence With Comparable Spatial Localization To The Conventional Method, Derek S. Thompson, Miguel F. Henriquez, Earl E. Scime, Timothy N. Good

Physics and Astronomy Faculty Publications

We present measurements of ion velocity distributions obtained by laser induced fluorescence (LIF) using a single viewport in an argon plasma. A patent pending design, which we refer to as the confocal fluorescence telescope, combines large objective lenses with a large central obscuration and a spatial filter to achieve high spatial localization along the laser injection direction. Models of the injection and collection optics of the two assemblies are used to provide a theoretical estimate of the spatial localization of the confocal arrangement, which is taken to be the full width at half maximum of the spatial optical response. The …

The Santa Clara, 2017-10-12, Santa Clara University

The Santa Clara

No abstract provided.

Method Of Lines Transpose: Energy Gradient Flows Using Direct Operator Inversion For Phase-Field Models, Matthew Causley, Hana Cho, Andrew Christlieb

Mathematics Publications

In this work, we develop an $\mathcal{O}(N)$ implicit real space method in 1D and 2D for the Cahn--Hilliard (CH) and vector Cahn--Hilliard (VCH) equations, based on the method of lines transpose (MOL$^{T}$) formulation. This formulation results in a semidiscrete time stepping algorithm, which we prove is gradient stable in the $H^{-1}$ norm. The spatial discretization follows from dimensional splitting and an $\mathcal{O}(N)$ matrix-free solver, which applies fast convolution to the modified Helmholtz equation. We propose a novel factorization technique, in which fourth-order spatial derivatives are incorporated into the solver. The splitting error is included in the nonlinear fixed point iteration, …

Thermodynamics Of Concentrated Solid Solution Alloys, Michael C. Gao, Chuan Zhang, Pan Gao, Fan Zhang, Lizhi Ouyang, Michael Widom, Jeffrey A. Hawk

Mathematical Sciences Faculty Research

This paper reviews the three main approaches for predicting the formation of concentrated solid solution alloys (CSSA) and for modeling their thermodynamic properties, in particular, utilizing the methodologies of empirical thermo-physical parameters, CALPHAD method, and first-principles calculations combined with hybrid Monte Carlo/Molecular Dynamics (MC/MD) simulations. In order to speed up CSSA development, a variety of empirical parameters based on Hume-Rothery rules have been developed. Herein, these parameters have been systematically and critically evaluated for their efficiency in predicting solid solution formation. The phase stability of representative CSSA systems is then illustrated from the perspectives of phase diagrams and nucleation driving …

Quantification Of Precipitation Asymmetries In Tropical Cyclones And Their Relationship To Storm Intensity Changes Using Trmm Data, Yongxian Pei

FIU Electronic Theses and Dissertations

The climatology of precipitation asymmetries in Tropical Cyclones (TCs) and their relationship to TC intensity changes using 16 years of data from the Tropical Rainfall Measuring Mission (TRMM) satellite. TC Inner core precipitation asymmetries were quantified using the Fourier wavenumber decomposition method upon the pixel level data of 3,542 TRMM TMI overpasses. Composites of wavenumber–1 and wavenumber 1–6 total precipitation asymmetries were constructed to show the distribution pattern under different storm motion speed, vertical wind shear and the combined effects of varying vertical wind shear and storm motion. Results indicate that motion–relative total precipitation asymmetry is located down–motion. The phase …

Energy-Resolved Coherent Diffraction From Laser-Driven Electronic Motion In Atoms, Hua-Chieh Shao, Anthony F. Starace

Anthony F. Starace Publications

We investigate theoretically the use of energy-resolved ultrafast electron diffraction to image laser-driven electronic motion in atoms. A chirped laser pulse is used to transfer the valence electron of the lithium atom from the ground state to the first excited state. During this process, the electronic motion is imaged by 100-fs and 1-fs electron pulses in energy-resolved diffraction measurements. Simulations show that the angle-resolved spectra reveal the time evolution of the energy content and symmetry of the electronic state. The time-dependent diffraction patterns are further interpreted in terms of the momentum transfer. For the case of incident 1-fs electron pulses, …

Jahani Salt Diapir, Iran: Hydrogeology, Karst Features And Effect On Surroundings Environment, Mahmoud Abirifard, Ezzat Raeisi, Mehdi Zarei, Mohammad Zare, Michal Filippi, Jiří Bruthans, Christopher J. Talbot

International Journal of Speleology

The Jahani Salt Diapir (JSD), with an area of 54 km², is an active diapir in the Simply Folded Belt of the Zagros Orogeny, in the south of Iran. Most of the available studies on this diapir are focused on tectonics. The hydrogeology, schematic model of flow direction and hydrochemical effects of the JSD on the adjacent water resources are lacking, and thus, are the focus of this study. The morphology of the JSD was reevaluated by fieldwork and using available maps. The physicochemical characteristics of the springs and hydrometric stations were also measured. The vent of the …

Chemistry 107 Chemistry For Health Professions Ii Online Fall 2015, David M. Wilson

David Wilson

No abstract provided.

Chemistry 107 Chemistry For Health Professions Ii Online Spring 2015, David M. Wilson

David Wilson

No abstract provided.

In Place: October 11, 2017, Place

PLACE Historical Documents

In PLACE is a newsletter designed to keep the Linfield College community apprised of information related to PLACE activities, as well as ways to bring the program into classes. Included in this issue:

• A Message to Faculty
• Spotlight On: Jonathan Rauch & Cheryl Harris
• Upcoming Events
• PLACE in the News
• Last Week in PLACE

Characterizing The Effects Of Radiation On Muscle Cells, Lori Caldwell, Charles Harding, Jr Dennison, Elizabeth Vargis

Posters

As longer space missions become more desirable to public and private institutions, the physiological impact on astronauts must be considered. One of the primary concerns for those spending time in low gravity and high radiation environments is muscle atrophy. A major cause of muscular atrophy is oxidative stress which is amplified by increased levels of ionizing radiation during spaceflight. Additionally, high levels of radiation can damage DNA, increasing the risk of cancer. Utah State University’s Space Environment Test Facility was used to irradiate C2C12 myoblasts and human vascular endothelial cells with a dosage mimicking that on the International Space Station …

A Systematic Review Of Urban Sustainability Assessment Literature, Matthew Cohen

Earth and Environmental Sciences Publications

As the world rapidly urbanizes, there is much focus on achieving sustainability outcomes within cities. Accomplishing this goal requires not only envisioning sustainable cities and implementing strategies, but it also demands assessing progress towards sustainable urban development. Despite a growing literature on sustainability assessment, there is room to further understand the application of sustainability assessment in urban contexts. This paper presents a systematic review of urban sustainability assessment literature to (1) identify the most common methods used for urban sustainability assessment, (2) identify the most common framings for urban sustainability assessment, and (3) identify the most common categories for organizing …

The Impact Of Climate Change On Biodiversity In Nepal: Current Knowledge, Lacunae, And Opportunities, Aishwarya Bhattacharjee, Jose D. Anadon, David L. Lohnman, Tenzing Doleck, Tarendra Lakhankar, Bharat Babu Shrestha, Praseed Thapa, Durga Devkota, Sundar Tiwari, Ajay Jha, Mohan Siwakoti, Naba R. Devkota, Pramod K. Jha, Nir Y. Krakauer

Publications and Research

Nepal has an extreme altitudinal range from 60–8850m with heterogeneous topography and distinct climatic zones. The country is considered a biodiversity hotspot, with nearly a quarter of the land area located in protected areas. Nepal and the surrounding Himalayan region are particularly vulnerable to climate change because of their abrupt ecological and climatic transitions. Tens of millions of people rely on the region’s ecosystem services, and observed and modeled warming trends predict increased climate extremes in the Himalayas. To study the ecological impacts of climate change in Nepal and inform adaptation planning, we review the literature on past, present, and …