Physical Sciences and Mathematics Commons^™

Tr-2007010: Error-Free Computations Via Floating-Point Operations, V. Y. Pan, B. Murphy, G. Qian, R. E. Rosholt

Computer Science Technical Reports

No abstract provided.

Tr-2007007: Independent Component Analysis: An Introduction, Rave Harpaz

Computer Science Technical Reports

No abstract provided.

Tr-2007009: Computations In The Null Spaces With Additive Preprocessing, Victor Y. Pan

Computer Science Technical Reports

No abstract provided.

Tr-2007014: The Schur Aggregation And Extended Iterative Refinement, V. Y. Pan, B. Murphy, R. E. Rosholt

Computer Science Technical Reports

No abstract provided.

Tr-2007015: Justification Logics And Conservative Extensions, Melvin Fitting

Computer Science Technical Reports

No abstract provided.

Tr-2007016: Symmetric Logic Of Proofs, Sergei Artemov

Computer Science Technical Reports

No abstract provided.

Tr-2007017: Linear Logic With Explicit Resources, Hirohiko Kushida

Computer Science Technical Reports

No abstract provided.

Tr-2007019: Justification Logic, Sergei Artemov

Computer Science Technical Reports

No abstract provided.

Tr-2007020: S4lp And Local Realizability, Melvin Fitting

Computer Science Technical Reports

No abstract provided.

Tr-2007025: Public Communication In Justification Logic, Bryan Renne

Computer Science Technical Reports

No abstract provided.

Tr-2007002: Additive Preconditioning And Aggregation In Matrix Computations, Victor Y. Pan, Brian Murphy, Rhys Eric Rosholt, Dmitriy Ivolgin, Yuqing Tang, Xiaodong Yan

Computer Science Technical Reports

No abstract provided.

Tr-2007003: Additive Preconditioning For Matrix Computations, Victor Y. Pan, Dmitriy Ivolgin, Brian Murphy, Rhys Eric Rosholt, Yuqing Tang, Xiaodong Yan

Computer Science Technical Reports

No abstract provided.

Tr-2007005: Interpreting Knowledge Into Belief In The Presence Of Negative Introspection, Evan Goris

Computer Science Technical Reports

No abstract provided.

Tr-2007008: The Satisfiability Problem—From The Theory Of Np-Completeness To State-Of-The-Art Sat Solvers, Rave Harpaz

Computer Science Technical Reports

No abstract provided.

Tr-2007011: Numerical Computation Of Determinants With Additive Preconditioning, V. Y. Pan, B. Murphy, G. Qian, R. E. Rosholt, I. Taj-Eddin

Computer Science Technical Reports

No abstract provided.

Tr-2007012: The Relative Expressivity Of Public And Private Communication In Bms Logic, Bryan Renne

Computer Science Technical Reports

No abstract provided.

Tr-2007013: Error-Free Computations Via Floating-Point Operations: The Code, V. Y. Pan, B. Murphy, G. Qian, R. E. Rosholt

Computer Science Technical Reports

No abstract provided.

Tr-2007018: Peak Shaving Through Resource Buffering, Amotz Bar-Noy, Matthew P. Johnson, Ou Liu

Computer Science Technical Reports

No abstract provided.

Tr-2007021: Row-Column Pivoting In Gaussian Elimination, Victor Y. Pan, Guoliang Qian, Ai-Long Zheng, Severin Ngnosse

Computer Science Technical Reports

No abstract provided.

Tr-2007022: The Schur Aggregation For Linear Systems And Determinants, V. Y. Pan, B. Murphy, G. Qian, R. E. Rosholt

Computer Science Technical Reports

No abstract provided.

Tr-2007023: The Schur Aggregation For Linear Systems And Determinants, V. Y. Pan, B. Murphy, G. Qian, R. E. Rosholt

Computer Science Technical Reports

No abstract provided.

Tr-2007024: A Register-Free Abstract Prolog Machine With Jumbo Instructions, Neng-Fa Zhou

Computer Science Technical Reports

No abstract provided.

Scientists Are Urged To Look For Extraterrestrial Life Forms, Aldemaro Romero Jr., David Gilmore

Publications and Research

No abstract provided.

Towards The Computation Of The Convex Hull Of A Configuration From Its Corresponding Separating Matrix, Elie Feder, David Garber

Publications and Research

In this paper we cope with the following problem compute the size of the convex hull of a configuration C where the given data is the number of separating lines between any two points of the configuration (where the lines are generated by pairs of other points of the configuration)

We give an algorithm for the case that the convex hull is of size 3 and a partial algorithm and some directions for the case that the convex hull is of size bigger than 3.

Removing Long-Term Errors From The Avhrr–Based Brightness Temperature (Bt), Md Zahidur Rahman, Leonid Roytman, Felix Kogan

Publications and Research

Empirical distribution functions were applied for removing long-term errors from BT data derived from AVHRR sensor on NOAA environmental satellites. This paper investigates BT stability in the NOAA/NESDIS Global Vegetation Index (GVI) data set during 1982-2003. This period includes five NOAA satellites. Degradation of BT over time for each satellite was estimated for geographical location in China. The method of matching empirical distribution function (EDF) improves the time relative stability of BT data for all satellites, especially NOAA-9, -11 and -14.

On Groups Of Homological Dimension One, Jonathan Cornick

Publications and Research

It has been conjectured that the groups of homological dimension one are precisely the nontrivial locally free groups. Some algebraic, geometric and analytic properties of any potential counter example to the conjecture are discussed.

Fundamental Frequency Of Clamped Plates With Circularly Periodic Boundaries, Huseyin Yuce, Chang Y. Wang

Publications and Research

A boundary perturbation method is developed to determine the fundamental frequency of vibrating plates. The method is then applied to wavy, star shape and polygonal plates with clamped boundary conditions. Approximate analytical solutions of the fundamental frequency are obtained with an accuracy of O(e^4), where e is the deviation from the unit circle.

Strokes Of Existence: The Connection Of All Things, Mari Gorman

Graduate Student Publications and Research

Acted or real—and all life is real whether one is acting or not—the common denominator and consistent, ubiquitous reality of life and all behavior is that it manifests in the form of relationships on all scales. But what is a relationship? Until now, the answer to this question has not been sufficiently known. As a result of many years of empirical research that began with the aim of discovering what is going on in a gifted actor when s/he is playing a character that can be observed and experienced as a living, intuitive being, and based on the knowledge that …

Hierarchical Linear Modeling In Organizational Research: Longitudinal Data Outside The Context Of Growth Modeling, Irvin Sam Schonfeld, David Rindskopf

Publications and Research

Organizational researchers, including those carrying out occupational stress research, often conduct longitudinal studies. Hierarchical linear modeling (HLM; also known as multilevel modeling and random regression) can efficiently organize analyses of longitudinal data by including within- and between-person levels of analysis. A great deal of longitudinal research has been conducted in the context of growth studies in which change in the dependent variable is examined in relation to the passage of time. HLM can treat longitudinal data, including data outside the context of the growth study, as nested data, reducing the problem of censoring. Within-person equation coefficients can represent the impact …

Vortices And Chaos In The Quantum Fluid, D. A. Wisniacki, E. R. Pujals, F. Borondo

Publications and Research

The motion of a single vortex originates chaos in the quantum fluid defined in Bohm's interpretation of quantum mechanics. Here we analize this situation in a very simple case: one single vortex in a rectangular billiard.