Physical Sciences and Mathematics Commons^™

Tr-2007020: S4lp And Local Realizability, Melvin Fitting

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-2007004: Additive Preconditioning, Eigenspaces, And The Inverse Iteration, Victor Y. Pan, 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-2007006: Realizing Substitution Instances Of Modal Theorems, Melvin Fitting

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-2007015: Justification Logics And Conservative Extensions, Melvin Fitting

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-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.

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

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.

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-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-2007016: Symmetric Logic Of Proofs, Sergei Artemov

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.

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 …

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.

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.

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.

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.

Provenance Of A Garnet-Rich Beach Placer Deposit, Montauk Point, Long Island, Ny, Nazrul I. Khandaker, Stanley Schleifer, Zarine Ali, Olalekan Jemilugba

Publications and Research

Garnet and magnetite rich sand, also enriched in monazite and zircon, has been observed and sampled near Montauk Point, Long Island. The sediment is derived from the glacial till and stratified drift of the Ronkonkoma Moraine by mechanical weathering and erosion due to wave action at Montauk Point, the headland on the eastern tip of Long Island. Sand sized sediment is moved westward along the southern shore of Long Island by longshore transport. The garnet and magnetite components of this sediment are significantly denser than the quartzo-feldspathic components. This allows for hydraulic segregation of these components, by wave action, …

The Jabal Qarah Caves Of The Hofuf Area, Northeastern Saudi Arabia: A Geological Investigation, Nazrul I. Khandaker, Mahbub Hussain, Fadhel Al-Khalifah

Publications and Research

The Jabal Al Qarah Caves, located approximately 13 km east of Al Hofuf, Eastern Province of Saudi Arabia, are an intricate cave system developed in the calcareous sandstone, marl and clay of the Upper Miocene to Lower Pliocene Hofuf Formation. Physiographically, the hill of Jabal Al Qarah is an outlier mesa that is located at the eastern edge of the Shedgum Plateau, the southern extension of the As Summan Plateau, and the larger Syrian Plateau to the north. Based on cave morphology and interpreted evolutionary histoty, the Jabal Al Qarah caves appear to be significantly different from other limestone caves …

Recent Global Warming: A New Approach To Interpreting Some Of The Data, Stanley Schleifer, Nazrul I. Khandaker, Samuel Borenstein, Che-Tsao Huang, Thakur Chaturgan, Feng Chan Liang, Mario Jo-Ramirez, Dorean J. Flores, Poonraj Persaud, Selwyn N. Lebourne

Publications and Research

The authors have done an analysis of meteorological data which may add to the growing body of information addressing the cause or causes of recent global warming. If an augmented greenhouse effect, due to increasing atmospheric carbon dioxide concentrations, has been a significant factor producing global warming, then this should be indicated by an increase in the interval of time between the time of maximum insolation, and the time of maximum surface temperature, as well as a decrease in the interval of time between the time of minimum insolation and the time of minimum surface temperature, in the mid latitudes. …