Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Computer Sciences (29)
- Mathematics (4)
- Programming Languages and Compilers (4)
- Social and Behavioral Sciences (3)
- Software Engineering (3)
-
- Applied Statistics (2)
- Earth Sciences (2)
- Environmental Monitoring (2)
- Environmental Sciences (2)
- Geomorphology (2)
- Physics (2)
- Statistics and Probability (2)
- Algebra (1)
- Applied Mathematics (1)
- Arts and Humanities (1)
- Astrophysics and Astronomy (1)
- Biochemistry, Biophysics, and Structural Biology (1)
- Digital Humanities (1)
- Discrete Mathematics and Combinatorics (1)
- Econometrics (1)
- Economics (1)
- Environmental Education (1)
- Environmental Health and Protection (1)
- Environmental Indicators and Impact Assessment (1)
- Fine Arts (1)
- Genetics and Genomics (1)
- Geology (1)
- Geometry and Topology (1)
- Health Psychology (1)
- Keyword
-
- Automated refactoring (2)
- Enumerated types (2)
- Java (2)
- Software environments (2)
- Software maintenance (2)
-
- Software tools (2)
- Aspect-oriented programs (1)
- Aspect-oriented software (1)
- BT data (1)
- Backscattering (1)
- Behavioral reasoning (1)
- Biharmonic equations (1)
- Code (1)
- Cohomology of Groups (1)
- Drawdown (1)
- EDF (1)
- Evolution (1)
- Exponential Smoothing (1)
- Forecasting (1)
- Foundations of quantum mechanics (1)
- Fundamental frequency (1)
- GVI (1)
- Hierarchical linear modeling; multilevel models; analysis of longitudinal data; methodology; occupational stress (1)
- Homological Algebra (1)
- Homological Dimension (1)
- Human behavior (1)
- LIDAR (1)
- Laser beams (1)
- Measurement theory (1)
- Modular verification (1)
Articles 1 - 30 of 40
Full-Text Articles in Physical Sciences and Mathematics
Reasoning About The Behavior Of Aspect-Oriented Programs, Neelam Soundarajan, Raffi T. Khatchadourian, Johan Dovland
Reasoning About The Behavior Of Aspect-Oriented Programs, Neelam Soundarajan, Raffi T. Khatchadourian, Johan Dovland
Publications and Research
Aspect-oriented programming (AOP) has become increasingly popular over the last few years. At the same time, reasoning about the behavior of these programs poses serious challenges. In this paper, we present a rely-guarantee approach to such reasoning. The rely-guarantee approach has proven useful in reasoning about concurrent and distributed programs. We show that some of the key problems encountered in reasoning about aspect-oriented programs are similar to those encountered in reasoning about concurrent programs; and that the rely-guarantee approach, appropriately modified, helps address these problems. We illustrate our approach with a simple example.
An Update On Groundwater Conditions At The Site Of The York College Cuny Campus In Southeastern Queens County, New York City, Nazrul I. Khandaker, Stanley Schleifer, Zarine Ali, Edward A. Molteni
An Update On Groundwater Conditions At The Site Of The York College Cuny Campus In Southeastern Queens County, New York City, Nazrul I. Khandaker, Stanley Schleifer, Zarine Ali, Edward A. Molteni
Publications and Research
The wells operated by the Jamaica Water Supply Company in Queens represent the only large scale utilization of groundwater for public water supply in New York City in recent years. These wells were shut down, for the most part, beginning in 1996. Since that time, water table elevations in the area, which had been drawn down by the withdrawal activity of the Jamaica Water Supply Company, have risen significantly causing some high groundwater problems, including flooding of basements. The New York City Department of Environmental Protection (NYCDEP) has held public hearings on a contemplated resumption of ground water withdrawal in …
Automated Refactoring Of Legacy Java Software To Enumerated Types, Raffi T. Khatchadourian, Jason Sawin, Atanas Rountev
Automated Refactoring Of Legacy Java Software To Enumerated Types, Raffi T. Khatchadourian, Jason Sawin, Atanas Rountev
Publications and Research
Modern Java languages introduce several new features that offer significant improvements over older Java technology. In this article we consider the new enum construct, which provides language support for enumerated types. Prior to recent Java languages, programmers needed to employ various patterns (e.g., the weak enum pattern) to compensate for the absence of enumerated types in Java. Unfortunately, these compensation patterns lack several highly-desirable properties of the enum construct, most notably, type safety. We present a novel fully-automated approach for transforming legacy Java code to use the new enumeration construct. This semantics-preserving approach increases type safety, produces code that is …
A Dynamic-Trend Exponential Smoothing Model, Don Miller, Dan Williams
A Dynamic-Trend Exponential Smoothing Model, Don Miller, Dan Williams
Publications and Research
Forecasters often encounter situations in which the local pattern of a time series is not expected to persist over the forecasting horizon. Since exponential smoothing models emphasize recent behavior, their forecasts may not be appropriate over longer horizons. In this paper, we develop a new model in which the local trend line projected by exponential smoothing converges asymptotically to an assumed future long-run trend line, which might be an extension of a historical long-run trend line. The rapidity of convergence is governed by a parameter. A familiar example is an economic series exhibiting persistent long-run trend with cyclic variation. This …
Automated Refactoring Of Legacy Java Software To Enumerated Types, Raffi T. Khatchadourian, Jason Sawin, Atanas Rountev
Automated Refactoring Of Legacy Java Software To Enumerated Types, Raffi T. Khatchadourian, Jason Sawin, Atanas Rountev
Publications and Research
Modern Java languages introduce several new features that offer significant improvements over older Java technology. In this article we consider the new enum construct, which provides language support for enumerated types. Prior to recent Java languages, programmers needed to employ various patterns (e.g., the weak enum pattern) to compensate for the absence of enumerated types in Java. Unfortunately, these compensation patterns lack several highly-desirable properties of the enum construct, most notably, type safety. We present a novel fully-automated approach for transforming legacy Java code to use the new enumeration construct. This semantics-preserving approach increases type safety, produces code that is …
Rely-Guarantee Approach To Reasoning About Aspect-Oriented Programs, Raffi T. Khatchadourian, Neelam Soundarajan
Rely-Guarantee Approach To Reasoning About Aspect-Oriented Programs, Raffi T. Khatchadourian, Neelam Soundarajan
Publications and Research
Over the last few years, the question of reasoning about aspect-oriented programs has been addressed by a number of authors. In this paper, we present a rely-guarantee approach to such reasoning. The rely-guarantee approach has proven extremely successful in reasoning about concurrent and distributed programs. We show that some of the key problems encountered in reasoning about aspect-oriented programs are similar to those encountered in reasoning about concurrent programs; and that the rely-guarantee approach, appropriately modified, helps address these problems. We illustrate our approach with a simple example.
The Impact Of Receiver Aperture Design And Telescope Properties On Lidar Signal-To-Noise Ratio Improvements, Yasser Hassebo, Khaled El Sayed
The Impact Of Receiver Aperture Design And Telescope Properties On Lidar Signal-To-Noise Ratio Improvements, Yasser Hassebo, Khaled El Sayed
Publications and Research
Range and sensitivities of lidar measurements in daylight are limited by sky background noise power (BGP). This is particularly important for Raman lidar techniques where the Raman backscattered signal is relatively weak. This often restricts Raman lidar measurements to nighttime where BGP is absent. The background noise elimination is particularly important in daytime measurements in case where full overlap between laser beam and receiver telescope field-of-view (FOV) is necessary. Results of numerical simulations for a vertically pointing Lidar show that significant improvements in Lidar signal to noise ratio (SNR) can be obtained, by minimizing the detected sky BGP. This can …
Tr-2007001: On Developing User Interfaces For Children In Educational Virtual Reality Environments, Lori Scarlatos, Rebecca Friedman
Tr-2007001: On Developing User Interfaces For Children In Educational Virtual Reality Environments, Lori Scarlatos, Rebecca Friedman
Computer Science Technical Reports
No abstract provided.
Tr-2007004: Additive Preconditioning, Eigenspaces, And The Inverse Iteration, Victor Y. Pan, Xiaodong Yan
Tr-2007004: Additive Preconditioning, Eigenspaces, And The Inverse Iteration, Victor Y. Pan, Xiaodong Yan
Computer Science Technical Reports
No abstract provided.
Tr-2007006: Realizing Substitution Instances Of Modal Theorems, Melvin Fitting
Tr-2007006: Realizing Substitution Instances Of Modal Theorems, Melvin Fitting
Computer Science Technical Reports
No abstract provided.
Tr-2007010: Error-Free Computations Via Floating-Point Operations, V. Y. Pan, B. Murphy, G. Qian, R. E. Rosholt
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
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
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
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
Tr-2007015: Justification Logics And Conservative Extensions, Melvin Fitting
Computer Science Technical Reports
No abstract provided.
Tr-2007016: Symmetric Logic Of Proofs, Sergei Artemov
Tr-2007016: Symmetric Logic Of Proofs, Sergei Artemov
Computer Science Technical Reports
No abstract provided.
Tr-2007017: Linear Logic With Explicit Resources, Hirohiko Kushida
Tr-2007017: Linear Logic With Explicit Resources, Hirohiko Kushida
Computer Science Technical Reports
No abstract provided.
Tr-2007019: Justification Logic, Sergei Artemov
Tr-2007019: Justification Logic, Sergei Artemov
Computer Science Technical Reports
No abstract provided.
Tr-2007020: S4lp And Local Realizability, Melvin Fitting
Tr-2007020: S4lp And Local Realizability, Melvin Fitting
Computer Science Technical Reports
No abstract provided.
Tr-2007025: Public Communication In Justification Logic, Bryan Renne
Tr-2007025: Public Communication In Justification Logic, Bryan Renne
Computer Science Technical Reports
No abstract provided.
Strokes Of Existence: The Connection Of All Things, Mari Gorman
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 …
Tr-2007002: Additive Preconditioning And Aggregation In Matrix Computations, Victor Y. Pan, Brian Murphy, Rhys Eric Rosholt, Dmitriy Ivolgin, Yuqing Tang, Xiaodong Yan
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
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
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
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
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
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
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
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
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.