Digital Commons Network^™

Residuated Frames With Applications To Decidability, Nikolaos Galatos, Peter Jipsen

Mathematics, Physics, and Computer Science Faculty Articles and Research

Residuated frames provide relational semantics for substructural logics and are a natural generalization of Kripke frames in intuitionistic and modal logic, and of phase spaces in linear logic. We explore the connection between Gentzen systems and residuated frames and illustrate how frames provide a uniform treatment for semantic proofs of cut-elimination, the finite model property and the finite embeddability property, which imply the decidability of the equational/universal theories of the associated residuated lattice-ordered groupoids. In particular these techniques allow us to prove that the variety of involutive FL-algebras and several related varieties have the finite model property.

Long-Term (1951-2007) Rainfall Trends Around Six Indian Cities: Current State, Meteorological, And Urban Dynamics, Shailesh Kumar Kharol, D. G. Kaskaoutis, Anu Rani Sharma, Ramesh P. Singh

Mathematics, Physics, and Computer Science Faculty Articles and Research

The present study focuses on analyzing the precipitation trends over six Indian cities during the summer monsoon (June-September) covering the period 1951-2007 and also attempting to investigate possible urban forcing and dynamics by examining the variation in precipitation in the upwind and downwind directions. The analysis shows negative trends in the total number of rainy days over Hyderabad (-10.4%), Kanpur (-7.1%), Jaipur (-10.5%), and Nagpur (-4.8%) and positive trends over Delhi (7.4%) and Bangalore (22.9%). On the other hand, decreases of -21.3%, -5.9%, -14.2%, and -14.6% in seasonal rainfall are found over Delhi, Hyderabad, Jaipur, and Kanpur, respectively, whereas Bangalore …

Multi Geophysical Parameters For Earthquake Forecasting, Ramesh P. Singh

Mathematics, Physics, and Computer Science Faculty Articles and Research

This article focuses on the importance of keeping the public aware of earthquake forecasting. This article also encourages proper seismic codes to design buildings in the seismic-prone regions because such practice can save lives and property associated with an earthquake.

Practical Approach To Cosmological Perturbations In Modified Gravity, Alessandra Silvestri, Levon Pogosian, Roman V. Buniy

Mathematics, Physics, and Computer Science Faculty Articles and Research

The next generation of large scale surveys will not only measure cosmological parameters within the framework of general relativity, but will also allow for precision tests of the framework itself. At the order of linear perturbations, departures from the growth in the standard cosmological model can be quantified in terms of two functions of time and Fourier number k. We argue that in local theories of gravity, in the quasistatic approximation, these functions must be ratios of polynomials in k, with the numerator of one function being equal to the denominator of the other. Moreover, the polynomials are even and …

The Classical Limit Of Quantum Optics: Not What It Seems At First Sight, Yakir Aharonov, Alonso Botero, Shmuel Nussinov, Sandu Popescu, Jeff Tollaksen, Lev Vaidman

Mathematics, Physics, and Computer Science Faculty Articles and Research

What light is and how to describe it has always been a central subject in physics. As our understanding has increased, so have our theories changed: geometrical optics, wave optics and quantum optics are increasingly sophisticated descriptions, each referring to a larger class of phenomena than its predecessor. But how exactly are these theories related? How and when wave optics reduces to geometric optics is a rather simple problem. Similarly, how quantum optics reduces to wave optics has also been considered to be a very simple business. It is not so. As we show here the classical limit of quantum …

Relation Algebras As Expanded Fl-Algebras, Nikolaos Galatos, Peter Jipsen

Mathematics, Physics, and Computer Science Faculty Articles and Research

This paper studies generalizations of relation algebras to residuated lattices with a unary De Morgan operation. Several new examples of such algebras are presented, and it is shown that many basic results on relation algebras hold in this wider setting. The variety qRA of quasi relation algebras is defined and shown to be a conservative expansion of involutive FL-algebras. Our main result is that equations in qRA and several of its subvarieties can be decided by a Gentzen system, and that these varieties are generated by their finite members.

A Generalized White Noise Space Approach To Stochastic Integration For A Class Of Gaussian Stationary Increment Processes, Daniel Alpay, Alon Kipnis

Mathematics, Physics, and Computer Science Faculty Articles and Research

Given a Gaussian stationary increment processes, we show that a Skorokhod-Hitsuda stochastic integral with respect to this process, which obeys the Wick-Itô calculus rules, can be naturally defined using ideas taken from Hida’s white noise space theory. We use the Bochner-Minlos theorem to associate a probability space to the process, and define the counterpart of the S-transform in this space. We then use this transform to define the stochastic integral and prove an associated Itô formula.

Convex Cones Of Generalized Positive Rational Functions And Nevanlinna-Pick Interpolation, Daniel Alpay, Izchak Lewkowicz

Mathematics, Physics, and Computer Science Faculty Articles and Research

Scalar rational functions with a non-negative real part on the right half plane, called positive, are classical in the study of electrical networks, dissipative systems, Nevanlinna-Pick interpolation and other areas. We here study generalized positive functions, i.e with a non-negative real part on the imaginary axis. These functions form a Convex Invertible Cone, cic in short, and we explore two partitionings of this set: (i) into (infinitely many non-invertible) convex cones of functions with prescribed poles and zeroes in the right half plane and (ii) each generalized positive function can be written as a sum of even and odd parts. …

Non-Commutative Stochastic Distributions And Applications To Linear Systems Theory, Daniel Alpay, Guy Salomon

Mathematics, Physics, and Computer Science Faculty Articles and Research

In this paper, we introduce a non-commutative space of stochastic distributions, which contains the non-commutative white noise space, and forms, together with a natural multiplication, a topological algebra. Special inequalities which hold in this space allow to characterize its invertible elements and to develop an appropriate framework of non-commutative stochastic linear systems.

Representation Formulas For Hardy Space Functions Through The Cuntz Relations And New Interpolation Problems, Daniel Alpay, Palle Jorgensen, Izchak Lewkowicz, Itzik Marziano

Mathematics, Physics, and Computer Science Faculty Articles and Research

We introduce connections between the Cuntz relations and the Hardy space H2 of the open unit disk D. We then use them to solve a new kind of multipoint interpolation problem in H2, where for instance, only a linear combination of the values of a function at given points is preassigned, rather than the values at the points themselves.

Scholarship And Soccer: Interview With Alex Galarza, Alex Galarza, Yuya Kiuchi

Faculty Publications

No abstract provided.

Local Connections To Global Collections: The Power Of Interlibrary Loan Services, Beth Posner

Publications and Research

Interlibrary loan services facilitate access to both print and digital information, be it from other libraries nearby or from around the world. ILL librarians and staff members also provide integrated, or global, access to library and information services, in general. They help patrons discover holdings in their own local collections, online open access material, and items available only for purchase from publishers or booksellers. By working closely with colleagues in other libraries, and despite copyright and license restrictions on the sharing of information, as well as limits in budget and staffing, library resource sharing specialists offer both global information and …

A Microfluidic Anti-Factor Xa Assay Device For Point-Of-Care Monitoring Of Anticoagulation Therapy, Leanne F. Harris, Paul Rainey, Vanessa Castro-Lopez, James S. O'Donnell, Anthony J. Killard

Articles

The development of new point-of-care coagulation assay devices is necessary due to the increasing number of patients requiring long-term anticoagulation in addition to the desire for appropriate, targeted anticoagulant therapy and a more rapid response to optimization of treatment. However, the majority of point-of-care devices currently available for hemostasis testing rely on clot-based endpoints which are variable and unreliable and are limited to measuring only certain portions of the coagulation pathway. There is a need for the introduction of point-of-care devices that can execute a broader range of tests; for example, the diagnosis of factor-specific diseases, as well as more …

Restrictive And Expansive Views Of Equality: A Grounded Theory Study That Explores The Influence Of Racial Consciousness On The Behaviors Of White Faculty In The Classroom, Chayla M. Haynes

Electronic Theses and Dissertations

Attempts to address the ever increasing achievement gap among students have failed to explain how and why educational traditions and teaching practices perpetuate the devaluing of some and the overvaluing of others. This predicament, which plagues our educational system, has been of increased concern, given the growing racial diversity among college students and the saturation of White faculty in the academy. White faculty make up the majority, 79%, of all faculty in the academy. White faculty, whether consciously or unconsciously, are less likely to interrogate how race and racism both privilege them within the academy and influence their faculty behaviors. …

Towards The Consideration Of The U.S. Community College Model To Address The Need For Higher Education Reforms In Ghana, John Kwame Asubonteng Rivers

Electronic Theses and Dissertations

The higher education systems throughout the continent of Africa are undergoing unprecedented challenges and are considered in crisis. African countries, including Ghana, all have in common ties to their colonial legacy whereby they are confronted with weak policies put in place by their colonizers. Having gained their independence, Africans should now take responsibility for the task of reforming their higher education system. To date, nothing substantial has been accomplished, with serious implications for weakening and damaging the structures of the foundation of their educational systems. This qualitative, single case study utilized a postcolonial theory-critical pedagogy framework, providing guidance for coming …

2013 Spring - Veterans Upward Bound Newsletter, Veterans Upward Bound, East Tennessee State University

Veterans Upward Bound Newsletters

No abstract provided.

Joint Utility Of Event- Dependent And Environmental Crime Analysis Techniques For Violent Crime Forecasting, Joel M. Caplan, Leslie W. Kennedy, Eric L. Piza

Publications and Research

Violent crime incidents occurring in Irvington, New Jersey, in 2007 and 2008 are used to assess the joint analytical capabilities of point pattern analysis, hotspot mapping, near-repeat analysis, and risk terrain modeling. One approach to crime analysis suggests that the best way to predict future crime occurrence is to use past behavior, such as actual incidents or collections of incidents, as indicators of future behavior. An alternative approach is to consider the environment in which crimes occur and identify features of the landscape that would be conducive to crime. Thanks to advances in geographic information system technology and federally funded …

Bridging The Gap Between Health And Justice, Lior Gideon

Publications and Research

No abstract provided.

Correctional Telemedicine And Its Benefits For Female Inmates, Chelsea Oliver

Applied Research Projects

The purpose of this study is to identify health issues that are specific to the female population of correctional institutions and how telemedicine would be beneficial in providing healthcare to same. A questionnaire was developed using information from literature on the topics obtained from a variety of places. Once the questionnaire was completed, a randomly selected group of telemedicine providers received the questionnaire, along with an introduction and information on the study that was being conducted.

The barriers of this study came from telemedicine providers either not responding to the questionnaire entirely or the providers only being able to answer …

Conference Transcript: Heeding Frickey's Call: Doing Justice In Indian Country

American Indian Law Review

No abstract provided.

Unmasking Tonto: Can Title Vii "Make It" In Hollywood, Megan Basham

American Indian Law Review

No abstract provided.

May I See Your Id? How Voter Identification Laws Disenfranchise Native Americans' Fundamental Right To Vote, Sally Harrison

American Indian Law Review

No abstract provided.

The Indian States Of America: Parallel Universes & Overlapping Sovereignty, Joseph William Singer

American Indian Law Review

No abstract provided.

The Leonard Peltier Case: An Argument In Support Of Executive Clemency Based On Norms Of International Human Rights, Joseph Ezzo

American Indian Law Review

No abstract provided.

State V. Jim: A New Era In Washington's Treatment Of The Tribes?, Matthew Deisen

American Indian Law Review

No abstract provided.

Winner, Best Appellate Brief In The 2013 Native American Law Student Association Moot Court Competition, Zachary Diionno, Sommerset Wong

American Indian Law Review

No abstract provided.

Half The Sky: Turning Oppression Into Opportunity For Women Worldwide [Review] / Nicholas D. Kristof, Leanne M. Sigvartsen

Andrews University Seminary Studies (AUSS)

No abstract provided.

Alappat Redux: Support For Functional Language In Software Patent Claims, Andrew Chin

Faculty Publications

The Federal Circuit has suggested in some recent cases that any algorithm can serve as adequate structural support for a means-plus-function element in a software patent claim under § 112(f). A recent proposal by Mark Lemley fully endorses this proposition and seeks its broader application. The concept of an algorithm, however, is too slippery to serve as the basis for such a rule. In this Article, I argue that this overreliance on the algorithm concept originated in a revisionist gloss on the Federal Circuit's 1994 Alappat decision. Informed by a closer reading of what Alappat actually has to say about …

Changed Circumstances: The Federal Rules Of Civil Procedure And The Future Of Institutional Reform Litigation After Horne V. Flores, Catherine Y. Kim

Faculty Publications

No abstract provided.

Sexual Orientation-Based Violence In Hong Kong, Rebecca L. Stotzer, Holning S. Lau

Faculty Publications

No abstract provided.