Physical Sciences and Mathematics Commons^™

Tr-2005004: Basic Systems Of Epistemic Logic With Justification, Sergei Artemov, Elena Nogina

Computer Science Technical Reports

No abstract provided.

Tr-2005005: Geometric Interpretation And Spherical Property Of The 2-D Poisson Kernel, Sergei Artamoshin

Computer Science Technical Reports

No abstract provided.

Tr-2005009: Additive Preconditioning In Matrix Computations, Victor Y. Pan, Brian Murphy, Rhys Eric Rosholt

Computer Science Technical Reports

No abstract provided.

Tr-2005012: Propositional Games With Explicit Strategies, Bryan Renne

Computer Science Technical Reports

No abstract provided.

Tr-2005010: Multi-Hop Probing Asymptotics In Available Bandwidth Estimation: Stochastic Analysis, Xiliang Liu, Kaliappa Ravindran, Dmitri Loguinov

Computer Science Technical Reports

No abstract provided.

Tr-2005013: Typing In Reflective Combinatory Logic, Nikolai Krupski

Computer Science Technical Reports

No abstract provided.

Tr-2005001: Automatic Target Detection In E3d Images Using Mathematical Morphology Techniques, Ilknur Icke, Jose Hanchi, Robert M. Haralick

Computer Science Technical Reports

No abstract provided.

Tr-2005006: Integration Of Laser Vibrometry With Infrared Video For Multimedia Surveillance Display, Zhigang Zhu, Weihong Li

Computer Science Technical Reports

No abstract provided.

Tr-2005007: Null Spaces, Eigensystems, And Small-Rank Modifications, Victor Y. Pan, Brian Murphy, Rhys Eric Rosholt

Computer Science Technical Reports

No abstract provided.

Tr-2005008: Toeplitz And Hankel Meet Hensel And Newton Modulo A Power Of Two, Victor Y. Pan, Brian Murphy, Rhys E. Rosholt, Xinmao Wang

Computer Science Technical Reports

No abstract provided.

Tr-2005011: Logic Of Proofs For Bounded Arithmetic, Evan Goris

Computer Science Technical Reports

No abstract provided.

Applications Of Discoveries Range From Leveling Rice Fields To Anti-Terrorism Defenses, Aldemaro Romero Jr., Susan D. Allen

Publications and Research

No abstract provided.

(Μ-Diazenediyldiphenyl-Κ2c2, N2: Κ2c2′, N1) Bis [(3, 5-Dimethylphenyl) Tellurium (Ii)]., Prabodhika R. Mallikaratchy, Richard E. Norman, Frank R. Fronczek, Thomas Junk

Publications and Research

The title compound, C28H26N2Te2, prepared by reduction of (3,5-dimethylphenyl)(2-nitrophenyl)tellurium(II), is the first structurally characterized example of an azo group bridging two TeII centers. The compound is centrosymmetric and the Te—N distance [2.6916 (19) A ° ] is longer than in non-bridging azo compounds.

Metathesis Key In Production Of Pharmaceuticals, Plastics, Aldemaro Romero Jr., Michael J. Panigot

Publications and Research

No abstract provided.

Environmental Issues In Latin America And The Caribbean - Preface, Aldemaro Romero Jr., Sarah E. West

Publications and Research

No abstract provided.

Splitting Of Vector Bundles On Punctured Spectrum Of Regular Local Rings, Mahdi Majidi-Zolbanin

Dissertations, Theses, and Capstone Projects

In this dissertation we study splitting of vector bundles of small rank on punctured spectrum of regular local rings. We give a splitting criterion for vector bundles of small rank in terms of vanishing of their intermediate cohomology modules Hⁱ(U, E)_{2_i_n−3}, where n is the dimension of the regular local ring. This is the local analog of a result by N. Mohan Kumar, C. Peterson, and A. Prabhakar Rao for splitting of vector bundles of small rank on projective spaces.

As an application we give a positive answer (in a special case) to a conjecture …

Delineation Of The Fractured-Rock And Unconsolidated Overburden Ground-Water Flow Systems, On The Southern Part Of Manhattan, New York, Through Use Of Advanced Borehole-Geophysical Techniques, Frederick Stumm

Dissertations, Theses, and Capstone Projects

Advanced borehole-geophysical techniques were used to assess the geohydrology of crystalline bedrock in 31 of 64 boreholes on the southern part of Manhattan Island, N.Y. Ten wells were screened in the unconsolidated overburden (glacial aquifer) to determine water-table elevation, transmissivity, and chloride concentration. The borehole-logging techniques included natural gamma, single-point resistance, short-normal resistivity, mechanical and acoustic caliper, magnetic susceptibility, borehole-fluid temperature and resistivity, borehole-fluid specific conductance, dissolved oxygen, pH, redox, heat-pulse flowmeter (at selected boreholes), borehole deviation, acoustic and optical televiewer, and borehole radar (at selected boreholes). The boreholes penetrated gneiss, schist, and other crystalline bedrock that has an overall …

A Nonparametric Method For Separating Photosynthesis And Respiration Components In Co2 Flux Measurements, Chuixiang Yi, Runze Li, Peter S. Backwin, Ankur Desai, Daniel M. Ricciuto, Sean P. Burns, Andrew A. Turnipseed, Steven C. Wofsy, J. William Munger, Kell Wilson, Russell K. Monson

Publications and Research

Future climate change is expected to affect ecosystem-atmosphere CO₂ exchange, particularly through the influence of temperature. To date, however, few studies have shown that differences in the response of net ecosystem CO₂ exchange (NEE) to temperature among ecosystems can be explained by differences in the photosynthetic and respiratory processes that compose NEE. Using a new nonparametric statistical model, we analyzed data from four forest ecosystems. We observed that differences among forests in their ability to assimilate CO₂ as a function of temperature were attributable to consistent differences in the temperature dependence of photosynthesis and respiration. This observation …

0610-2152b_Nir_Stis, D. A. Golimowski

Publications and Research

No abstract provided.

The Observed Covariance Between Ecosystem Carbon Exchange And Atmospheric Boundary Layer Dynamics At A Site In Northern Wisconsin, Chuixiang Yi, Kenneth J. Davis, Peter S. Bakwin, A. Scott Denning, Nina Zhang, Ankur Desai, John C. Lin, Christoph Gerbig

Publications and Research

Ecosystem CO₂ exchange and atmosphere boundary layer (ABL) mixing are correlated diurnally and seasonally as they are both driven by solar insulation. Tracer transport models predict that these covariance signals produce a meridional gradient of annual mean CO₂ concentration in the marine boundary layer that is half as strong as the signal produced by fossil fuel emissions. This rectifier effect is simulated by most global tracer transport models. However, observations to constrain the strength of these covariance signals in nature are lacking. We investigate the covariance between ecosystem carbon dioxide exchange and ABL dynamics by comparing one widely …

Tr-2004001: Tableaux For The Logic Of Proofs, Bryan Renne

Computer Science Technical Reports

No abstract provided.

Tr-2004002: Oopn: An Object-Oriented Petri Nets And Its Integrated Development Environment, Jinzhong Niu, Jing Zou, Aihua Ren

Computer Science Technical Reports

No abstract provided.

Tr-2004004: Implementing And Automating Basic Number Theory In Metaprl Proof Assistant, Yegor Bryukhov, Alexei Kopylov, Vladimir Krupski, Aleksey Nogin

Computer Science Technical Reports

No abstract provided.

Tr-2004010: Optimal Reversible Quantum Circuit For Multiplication, Anh Quoc Nguyen

Computer Science Technical Reports

No abstract provided.

Tr-2004009: A Reduction Of The Matrix Eigenproblem To Polynomial Rootfinding Via Similarity Transforms Into Arrow-Head Matrices, Victor Y. Pan

Computer Science Technical Reports

No abstract provided.

Tr-2004011: Logic Of Knowledge With Justifications From The Provability Perspective, Sergei Artemov, Elena Nogina

Computer Science Technical Reports

No abstract provided.

Tr-2004012: Single-Hop Probing Asymptotics In Available Bandwidth Estimation: Sample-Path Analysis, Xiliang Liu, Kaliappa Ravindran, Benyuan Liu, Dmitri Loguinov

Computer Science Technical Reports

No abstract provided.

Tr-2004007: Optimal Reversible Quantum Circuit For Multiplication, Anh Quoc Nguyen

Computer Science Technical Reports

No abstract provided.

Tr-2004016: Semantics And Tableaus For Lps4, Melvin Fitting

Computer Science Technical Reports

No abstract provided.

Tr-2004019: Quantified Lp, Melvin Fitting

Computer Science Technical Reports

No abstract provided.