Physical Sciences and Mathematics Commons^™

Personality Types In Software Engineering, Luiz Capretz

Luiz Fernando Capretz

No abstract provided.

Natural History Of Concentric Left Ventricular Geometry In Community-Dwelling Older Adults Without Heart Failure During Seven Years Of Follow-Up, Ravi Desai, Mustafa Ahmed, Marjan Mujib, Inmaculada Aban, Michael Zile, Ali Ahmed

Ravi V Desai MD

No abstract provided.

Absence Of Obesity Paradox In Patients With Chronic Heart Failure And Diabetes Mellitus: A Propensity-Matched Study, Chris Adamopoulos, Philippe Meyer, Ravi Desai, Kyparissi Karatzidou, Fernando Ovalle, Michel White, Inmaculada Aban, Thomas Love, Prakash Deedwania, Stefan Anker, Ali Ahmed

Ravi V Desai MD

No abstract provided.

Relation Of Baseline Systolic Blood Pressure And Long-Term Outcomes In Ambulatory Patients With Chronic Mild To Moderate Heart Failure, Maciej Banach, Vikas Bhatia, Margaret Feller, Marjan Mujib, Ravi Desai, Mustafa Ahmed, Jason Guichard, Inmaculada Aban, Thomas Love, Wilbert Aronow, Michel White, Prakash Deedwania, Gregg Fonarow, Ali Ahmed

Ravi V Desai MD

No abstract provided.

Warfarin Use And Outcomes In Patients With Advanced Chronic Systolic Heart Failure Without Atrial Fibrillation, Prior Thromboembolic Events, Or Prosthetic Valves, Marjan Mujib, Abu-Ahmed Rahman, Ravi Desai, Mustafa Ahmed, Margaret Feller, Inmaculada Aban, Tomas Love, Michel White, Prakash Deedwania, Wilbert Aronow, Gregg Fonarow, Ali Ahmed

Ravi V Desai MD

No abstract provided.

Influence Of Co-Existing Atrial Fibrillation On The Efficacy Of Atorvastatin Treatment In Patients With Dilated Cardiomyopathy: A Pilot Study, Agata Bielecka-Dabrowa, Jan Goch, Jacek Rysz, Marek Maciejewski, Ravi Desai, Wilbert Aronow

Ravi V Desai MD

No abstract provided.

Rheumatic Heart Disease And Risk Of Incident Heart Failure Among Community-Dwelling Older Adults: A Prospective Cohort Study, Marjan Mujib, Ravi Desai, Mustafa Ahmed, Jason Guichard, Margaret Feller, O Ekundayo, Prakash Deedwania, Mahboob Ali, Inmaculada Aban, Thomas Love, Michel White, Wilbert Aronow, Shahbudin Rahimtoola, Robert Bonow, Ali Ahmed

Ravi V Desai MD

No abstract provided.

Relationship Between Left And Right Ventricular Ejection Fractions In Chronic Advanced Systolic Heart Failure: Insights From The Best Trial, Ravi Desai, Philippe Meyer, Mustafa Ahmed, Marjan Mujib, Chris Adamopoulos, Michel White, Inmaculada Aban, Ami Iskandrian, Ali Ahmed

Ravi V Desai MD

No abstract provided.

Using Scala Strategically Across The Undergraduate Curriculum, Mark Lewis, Konstantin Läufer, George Thiruvathukal

George K. Thiruvathukal

Various hybrid-paradigm languages, designed to balance compile-time error detection, conciseness, and performance, have emerged. Scala, e.g., is interoperable with Java and has become an early leader in adoption, especially in the start-up and open-source spaces. Workshop participants experience Scala’s value as a teaching language in the CS curriculum through four lecture-lab modules: In CS1, the read-eval-print loop and simple, uniform syntax aid programming in the small. In CS2, higher-order methods allow concise, efficient manipulation of collections. Advanced topics include domain-specific languages, concurrency, web apps/services, and mobile apps. Laptop recommended with Scala installed.

Design And Rationale Of Studies Of Neurohormonal Blockade And Outcomes In Diastolic Heart Failure Using Optimize-Hf Registry Linked To Medicare Data, Yan Zhang, Meredith Kilgore, Tarun Arora, Marjan Mujib, O. Ekundayo, Inmaculada Aban, Margaret Feller, Ravi Desai, Thomas Love, Richard Allman, Gregg Fonarow, Ali Ahmed

Ravi V Desai MD

No abstract provided.

A Propensity-Matched Study Of The Association Of Diabetes Mellitus With Incident Heart Failure And Mortality Among Community-Dwelling Older Adults, Brita Roy, Pushkar Pawar, Ravi Desai, Gregg Fonarow, Marjan Mujib, Yan Zhang, Margaret Feller, Fernando Ovalle, Inmaculada Aban, Thomas Love, Ami Iskandrian, Prakash Deedwania, Ali Ahmed

Ravi V Desai MD

No abstract provided.

Heart Failure Is A Risk Factor For Incident Driving Cessation Among Community-Dwelling Older Adults: Findings From A Prospective Population Study, Richard Sims, Marjan Mujib, Gerald Mcgwin, Yan Zhang, Mustafa Ahmed, Ravi Desai, Inmaculada Aban, Patrick Sawyer, Stefan Anker, Ali Ahmed

Ravi V Desai MD

No abstract provided.

Stratified Polymorphism And Primitive Recursion, Norman Danner, Daniel Leivant

Norman Danner

Natural restrictions on the syntax of the second-order (i.e., polymorphic) lambda calculus are of interest for programming language theory. One of the authors showed in Leivant (1991) that when type abstraction in that calculus is stratified into levels, the definable numeric functions are precisely the super-elementary functions (level [script E]₄ in the Grzegorczyk Hierarchy). We define here a second-order lambda calculus in which type abstraction is stratified to levels up to ω^ω, an ordinal that permits highly uniform (and finite) type inference rules. Referring to this system, we show that the numeric functions definable in …

Managed Care, Hospice Use, Site Of Death, And Medical Expenditures In The Last Year Of Life, Ezekiel Emanuel, Arlene Ash, Wei Yu, Gail Gazelle, Norman Levinsky, Olga Saynina, Mark Mcclellan, Mark Moskowitz

wei yu

BACKGROUND: We examined deaths of Medicare beneficiaries in Massachusetts and California to evaluate the effect of managed care on the use of hospice and site of death and to determine how hospice affects the expenditures for the last year of life.

METHODS: Medicare data for beneficiaries in Massachusetts (n = 37 933) and California (n = 27 685) who died in 1996 were merged with each state's death certificate files to determine site and cause of death. Expenditure data were Health Care Financing Administration payments and were divided into 30-day periods from the date of death back 12 months.

RESULTS: …

Doing Participatory Action Research And Doing A Phd: Words Of Encouragement For Prospective Students, Natascha Klocker

Natascha Klocker

No abstract provided.

Becoming Multiliterate: Digital Video News Construction Within A Technology-Supported Learning Environment, Lori Lockyer, Ian Brown, David Blackall, Barry Harper, Phillip Mckerrow

Professor Lori Lockyer

Twenty-first century literacies imply multiliteracies – going beyond language literacy and numeracy to, among others, information, visual, media and technological literacies. An education that develops capabilities across a range of literacies equips young people with the skills necessary to participate in a complex, globalized workplace and community. A key step toward realizing such national and state education agendas is specific curriculum interventions that are translated to the classroom level. This paper reports on a case study that explored both the process and outcomes of the implementation of an education program which was designed to incorporate multiliteracies.

Adventures In Time And Space, Norman Danner, James Royer

Norman Danner

This paper investigates what is essentially a call-by-value version of PCF under a complexity-theoretically motivated type system. The programming formalism, ATR, has its first-order programs characterize the polynomial-time computable functions, and its second-order programs characterize the type-2 basic feasible functionals of Mehlhorn and of Cook and Urquhart. (The ATR-types are confined to levels 0, 1, and 2.) The type system comes in two parts, one that primarily restricts the sizes of values of expressions and a second that primarily restricts the time required to evaluate expressions. The size-restricted part is motivated by Bellantoni and Cook's and Leivant's implicit characterizations of …

Circuit Principles And Weak Pigeonhole Variants, Chris Pollett, Norman Danner

Norman Danner

This paper considers the relational versions of the surjective, partial surjective, and multifunction weak pigeonhole principles for PV, , , and formulas as well as relativizations of these formulas to higher levels of the bounded arithmetic hierarchy. We show that the partial surjective weak pigeonhole principle for formulas implies that for each k there is a string of length 2^2nk which is hard to block-recognize by circuits of size n^k. These principles in turn imply the partial surjective principle for formulas. We show that the surjective weak pigeonhole principle for formulas in implies …

Massive Star Forming Cores And Outflows Found By Analysis Of Astronomical Data, Hontas Farmer

Hontas F Farmer

Like gems hidden in mountains of sand, I have sifted through vast amounts of data which have been gathered by surveys covering wide areas of the sky at particular wavelengths, and found likely star forming cores, hints of circumstellar disk and outflows in regions of massive star formation. The procedural lesson from my masters thesis is that there are discoveries waiting to be made by comparing data sets gathered at different frequencies, and by conducting coordinated multi-spectral surveys of massive star forming regions.

The Education Issue, George Thiruvathukal

George K. Thiruvathukal

This article is focused on computing education for the 21st Century and how a renewed focus on education is needed to ensure that our discipline remains vibrant and relevant to all students, regardless of whether they are CS majors or not. After all, many graduates end up in a computer science-related job (e.g. information technology, programming, networking/security, etc.) The article specifically focuses on education-related articles that have appeared within the last year or so in the IEEE Computer Society.

Simulation Of Circuit Creation In Tor: Preliminary Results, William Boyd, Norman Danner, Danny Krizanc

Norman Danner

We describe a methodology for simulating Tor relay up/down behavior over time and give some preliminary results.

Effectiveness And Detection Of Denial Of Service Attacks In Tor, Norman Danner, Samuel Defabbia-Kane, Danny Krizanc, Marc Liberatore

Norman Danner

Tor is one of the more popular systems for anonymizing near-real-time communications on the Internet. Borisov et al. [2007] proposed a denial-of-service-based attack on Tor (and related systems) that significantly increases the probability of compromising the anonymity provided. In this article, we analyze the effectiveness of the attack using both an analytic model and simulation. We also describe two algorithms for detecting such attacks, one deterministic and proved correct, the other probabilistic and verified in simulation.

A Static Cost Analysis For A Higher-Order Language, Norman Danner, Jennifer Paykin, James Royer

Norman Danner

We develop a static complexity analysis for a higher-order functional language with structural list recursion. The complexity of an expression is a pair consisting of a cost and a potential. The former is defined to be the size of the expression's evaluation derivation in a standard big-step operational semantics. The latter is a measure of the "future" cost of using the value of that expression. A translation function ||.|| maps target expressions to complexities. Our main result is the following Soundness Theorem: If t is a term in the target language, then the cost component of ||t|| is an upper …

Two Algorithms In Search Of A Type System, Norman Danner, James Royer

Norman Danner

The authors’ ATR programming formalism is a version of call-by-value PCF under a complexity-theoretically motivated type system. ATR programs run in type-2 polynomial-time and all standard type-2 basic feasible functionals are ATR -definable ( ATR types are confined to levels 0, 1, and 2). A limitation of the original version of ATR is that the only directly expressible recursions are tail-recursions. Here we extend ATR so that a broad range of affine recursions are directly expressible. In particular, the revised ATR can fairly naturally express the classic insertion- and selection-sort algorithms, thus overcoming a sticking point of most prior implicit-complexity-based …

Substitution Of Y For Pr In Prmn2ge2-The Magnetism Of Pr0.8y0.2mn2ge2, Jianli Wang, S Campbell, M Hofmann, S Kennedy, M Avdeev, M Md Din, R Zeng, Z Cheng, S Dou

Jianli Wang

Pr0.8Y0.2Mn2 Ge 2 is found to exhibit four magnetic transitions on decreasing the temperature from the paramagnetic region: (i) paramagnetism to intralayer antiferromagnetism (AFl) at TN intra; (ii) AFl to canted ferromagnetism (Fmc) at TC inter; (iii) Fmc to conical magnetic ordering of the Mn sublattice (Fmi) at Tcc; and (iv) Fmi(Mn) to Fmi(Mn) + F(Pr) at TC Pr. These changes in magnetic structure are discussed in terms of changes in the Mn-Mn separation distances caused by the unit cell contraction and by electronic effects due to replacement of 20% of Pr with Y.

Hybrid Predictive/Vq Lossless Image Coding, P Ogunbona, Jianli Wang, Golshah Naghdy

Jianli Wang

A multiplicative autoregressive model is used in a lossless predictive image coding scheme. The use of vector quantisation (VQ) for compression of the model coefficients leads to an improved compression ratio. Both image adaptive and universal codebooks are considered. A comparative analysis of the new coder is presented through simulation results.

Eight Aggies Honored In 2013 Nsf Graduate Research Fellow Search, Michael Negale

Michael Negale

No abstract provided.

Electron Beam Induced Luminescence Of Sio2 Optical Coatings, Jr Dennison, Amberly Evans, Gregory Wilson, Justin Dekany, Charles Bowers, Robert Meloy

Justin Dekany

Optical coatings of disordered thin film SiO2/SiOx dielectric samples on reflective metal substrates exhibited cathodoluminescence under electron beam irradiation. Measurements of the absolute radiance and emission spectra as functions of incident electron energy, flux and power over a range of sample temperatures are reported. Radiance reached a saturation plateau at high incident electron power. Well below saturation radiance scaled with deposited power, that is linearly with incident power for lower-energy non-penetrating electrons and decreasing with increasing energy for penetrating radiation. Four bands were observed in spectral measurements from 300 nm to 1000 nm. Changes in peak intensity and shifts in …

Extending The Band Model Of Disordered Sio2 Through Cathodoluminescence Studies, Amberly Evans, Gregory Wilson, Jr Dennison, Justin Dekany

Justin Dekany

Optical coatings of disordered thin film SiO2/SiOx dielectric samples on reflective metal substrates exhibited electron-induced luminescence (cathodoluminescence) under electron beam irradiation in an ultrahigh vacuum chamber at the USU facilities,. These experiments provided measurements of the absolute radiance and emission spectra as functions of incident electron energy, flux and power over a range of sample temperatures (300 K to 40 K). Early results from these experiments have led to a preliminary model of the band structure of highly disordered trapped states within the band gap of SiO2. We now extend this model to further describe the excitation of electrons from …

Muon Contribution To Cathodoluminescence Tests?, Justin Dekany, Allen Andersen, Jr Dennison

Justin Dekany

Tests of composites incorporating highly disordered insulating materials that were bombarded with low-flux keV electron beams exhibited three distinct forms of light emission: short-duration (<<1 s), high intensity luminous electrostatic discharges between the insulator and ground--termed “arcs”; intermediate-duration (10-100 s), intense surface emissions—termed “flares”; and lower intensity, continuous surface cathodoluminescent “glow”. During long-duration experiments at temperatures <150 K, relatively intense flare events occurred at rates of ~2 per min. Rapid increase in photon emission and electron displacement current were observed, with long exponential decay times >1 min. We propose that the source of the flares is the interactions of high energy muons—of cosmic ray origin—with the highly-charged insulating components of the composite materials, which trigger avalanche electrostatic discharge and subsequent recharging along with concomitant light emission. We review evidence from the insulator conductivity at low temperatures, the rates and magnitude of surface charging, the flare frequency, and the magnitude and time-dependence of currents and light emission with regard to this …