Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Environmental Sciences (833)
- Computer Sciences (818)
- Physics (535)
- Water Resource Management (515)
- Chemistry (379)
-
- Mathematics (334)
- Earth Sciences (277)
- Life Sciences (211)
- Social and Behavioral Sciences (205)
- Engineering (168)
- Oceanography and Atmospheric Sciences and Meteorology (139)
- Medicine and Health Sciences (121)
- Statistics and Probability (118)
- Condensed Matter Physics (99)
- Geology (98)
- Artificial Intelligence and Robotics (94)
- Quantum Physics (92)
- Applied Mathematics (86)
- Astrophysics and Astronomy (82)
- Software Engineering (82)
- Programming Languages and Compilers (80)
- Organic Chemistry (76)
- Arts and Humanities (73)
- Data Science (68)
- Elementary Particles and Fields and String Theory (68)
- Databases and Information Systems (65)
- Biochemistry, Biophysics, and Structural Biology (64)
- Education (62)
- Materials Chemistry (62)
- Keyword
-
- 2014 International Conference on Hydroinformatics HIC (464)
- Hydrodynamic Modelling (61)
- Application of Data-driven Modelling in Water Sciences (51)
- Optimization of Water Resources Management and Control (48)
- Hydrological Modelling (42)
-
- Case Studies (41)
- Application of Optimization Techniques in Model Development (37)
- Climate change (36)
- Model-Data Integration and Data Assimilation (36)
- DSS for Water Resources and Quality Management (33)
- Intro to Data Science (33)
- Remote sensing (30)
- Optimization (29)
- Risk and Uncertainty Analysis (29)
- Statistics (29)
- Drought (28)
- Application Cases of DSS (27)
- Developments of Flood and Drought Early Warning Systems (27)
- Biodiversity (26)
- Computer Science (26)
- Cybersecurity (26)
- Emerging Modelling Paradigms and Model Coupling (26)
- Energy (26)
- Modelling and control in urban water systems (26)
- Real-time data processing (26)
- Erosion (25)
- Health (25)
- Machine learning (25)
- Transport and Eco-hydraulic Modelling (25)
- Computer science (24)
- Publication Year
- Publication
-
- Publications and Research (1244)
- Dissertations, Theses, and Capstone Projects (707)
- International Conference on Hydroinformatics (464)
- Open Educational Resources (389)
- Computer Science Technical Reports (202)
-
- Dissertations and Theses (110)
- Theses and Dissertations (31)
- Student Theses (29)
- Capstones (22)
- Student Theses and Dissertations (9)
- Advanced Science Research Center (5)
- Finding Aids (2)
- Graduate Student Publications and Research (2)
- All Open Access Legacy Dissertations and Capstone Projects (1)
- Before the Textbook (1)
- Theses (1)
- Publication Type
- File Type
Articles 2881 - 2910 of 3219
Full-Text Articles in Physical Sciences and Mathematics
Flocking In The Time-Dissonance Plane, Adam James Wilson
Flocking In The Time-Dissonance Plane, Adam James Wilson
Publications and Research
This paper describes a technique for the sonification of an idealized model of the flocking behavior of birds, fish, and insects. Flocking agents are represented by pitches that move through time to produce chords of variable dissonance. The objective of each agent is to move toward more consonant chord formations with other agents. The output of the sonification is intended to provide material for use in musical composition.
The Maximum Of The Maximum Rectilinear Crossing Numbers Of D-Regular Graphs Of Order N, Matthew Alpert, Elie Feder, Heiko Harborth
The Maximum Of The Maximum Rectilinear Crossing Numbers Of D-Regular Graphs Of Order N, Matthew Alpert, Elie Feder, Heiko Harborth
Publications and Research
We extend known results regarding the maximum rectilinear crossing number of the cycle graph (Cn) and the complete graph (Kn ) to the class of general d-regular graphs Rn,d. We present the generalized star drawings of the d-regular graphs Sn,d of order n where n + d ≡ 1 (mod 2) and prove that they maximize the maximum rectilinear crossing numbers. A star-like drawing of Sn,d for n ≡ d ≡ 0 (mod 2) is introduced and we conjecture that this drawing maximizes the maximum rectilinear crossing numbers, too. We offer a simpler proof of two results initially proved by …
The Orchard Crossing Number Of An Abstract Graph, Elie Feder, David Garber
The Orchard Crossing Number Of An Abstract Graph, Elie Feder, David Garber
Publications and Research
.We introduce the Orchard crossing number, which is defined in a similar way to the well-known rectilinear crossing number. We compute the Orchard crossing number for some simple families of graphs. We also prove some properties of this crossing number.
Moreover, we define a variant of this crossing number which is tightly connected to the rectilinear crossing number, and compute it for some simple families of graphs.
Computer-Aided Reasoning About Knowledge And Justifications, Natalia Novak
Computer-Aided Reasoning About Knowledge And Justifications, Natalia Novak
Dissertations, Theses, and Capstone Projects
In the first Chapter we compare two well-known type-based computer frameworks for computer aided logical reasoning and verification: MetaPRL and Coq. In particular, we implement in MetaPRL the Calculus of Inductive Constructions which is the theoretical base for Coq. This work has shown the common points of MetaPRL and Coq, and revealed their principal methodological differences. A possible application of this work is a possibility to perform re-validation in MetaPRL of the existing library of Coq proofs which could help to build more trust in the latter.
Chapter 2 is the main contribution of the dissertation. It contains the description …
Biodegradation Of Fuel Oxygenates In Northeastern United States Aquifers With An Analysis Of Underground Storage Tank Leaks, Gordon Hinshalwood
Biodegradation Of Fuel Oxygenates In Northeastern United States Aquifers With An Analysis Of Underground Storage Tank Leaks, Gordon Hinshalwood
Dissertations, Theses, and Capstone Projects
During the past decade the application of monitored natural attenuation has become one of the predominant technologies used in the remediation of gasoline spills impacting subsurface soils and groundwater. The success of this method has depended, for the most part, on the biodegradation of those gasoline constituents that dissolve into groundwater and transport with the groundwater most readily.
One of the most mobile components of gasoline formulations during the past 20 years has been methyl tertiary butyl ether (MTBE), which has traditionally been viewed in both the scientific and the regulatory communities as relatively recalcitrant to biodegradation. However, cases of …
A Symbolic Sonification Of L-Systems, Adam James Wilson
A Symbolic Sonification Of L-Systems, Adam James Wilson
Publications and Research
This paper describes a simple technique for the sonification of branching structures in plants. The example is intended to illustrate a qualitative definition of best practices for sonification aimed at the production of musical material. Visually manifest results of tree growth are modelled and subsequently mapped to pitch, time, and amplitude. Sample results are provided in symbolic music notation.
On The Dynamics Of Quasi-Self-Matings Of Generalized Starlike Complex Quadratics And The Structure Of The Mated Julia Sets, Ross Flek
Dissertations, Theses, and Capstone Projects
It has been shown that, in many cases, Julia sets of complex polynomials can be "glued" together to obtain a new Julia set homeomorphic to a Julia set of a rational map; the dynamics of the two polynomials are reflected in the dynamics of the mated rational map. Here, I investigate the Julia sets of self-matings of generalized starlike quadratic polynomials, which enjoy relatively simple combinatorics. The points in the Julia sets of the mated rational maps are completely classified according to their topology. The presence and location of buried points in these Julia sets are addressed. The interconnections between …
Structural Studies Of Biopolymers Using Computer Simulations, Optical And Magnetic Spectroscopy, Subhasish Chatterjee
Structural Studies Of Biopolymers Using Computer Simulations, Optical And Magnetic Spectroscopy, Subhasish Chatterjee
Dissertations, Theses, and Capstone Projects
Biopolymers are essential components of numerous natural and synthetic macromolecular assemblies. In the present study, the structural properties of biopolymers ranging from fungal melanins to synthetic nucleic acids were investigated using spectroscopic methods and theoretical modeling. (1) Computational modeling and molecular dynamics simulations were used to study the structural properties of a short single-stranded (ss) DNA. The dependence of the conformational stability and flexibility of the ssDNA on the thermodynamic conditions of the system was demonstrated. (2) Time-resolved fluorescence spectroscopy involving an organic donor-quencher pair was utilized to study the conformational properties of Y-shaped DNA. Results highlighted the different distances …
Quirky, Not Quacky: Quantum Computing For Librarians, Jill Cirasella
Quirky, Not Quacky: Quantum Computing For Librarians, Jill Cirasella
Publications and Research
This slideshow introduces librarians and non-scientists to the relatively young field of quantum computing.
On The Dynamics Of Quasi-Self-Matings Of Generalized Starlike Complex Quadratics And The Structure Of The Mated Julia Sets, Ross Flek
Dissertations, Theses, and Capstone Projects
It has been shown that, in many cases, Julia sets of complex polynomials can be "glued" together to obtain a new Julia set homeomorphic to a Julia set of a rational map; the dynamics of the two polynomials are reflected in the dynamics of the mated rational map. Here, I investigate the Julia sets of self-matings of generalized starlike quadratic polynomials, which enjoy relatively simple combinatorics. The points in the Julia sets of the mated rational maps are completely classified according to their topology. The presence and location of buried points in these Julia sets are addressed. The interconnections between …
An Analysis Of Entries In The First Tac Market Design Competition, Jinzhong Niu, Kai Cai, Peter Mcburney, Simon Parsons
An Analysis Of Entries In The First Tac Market Design Competition, Jinzhong Niu, Kai Cai, Peter Mcburney, Simon Parsons
Publications and Research
This paper presents an analysis of entries in the first TAC Market Design Competition final that compares the entries across several scenarios. The analysis complements previous work analyzing the 2007 competition, demonstrating some vulnerabilities of entries that placed highly in the competition. The paper also suggests a simple strategy that would have performed well.
On The Assessment Of Pointcut Design In Evolving Aspect-Oriented Software, Raffi T. Khatchadourian, Phil Greenwood, Awais Rashid
On The Assessment Of Pointcut Design In Evolving Aspect-Oriented Software, Raffi T. Khatchadourian, Phil Greenwood, Awais Rashid
Publications and Research
No abstract provided.
Rejuvenate Pointcut: A Tool For Pointcut Expression Recovery In Evolving Aspect-Oriented Software, Raffi T. Khatchadourian, Awais Rashid
Rejuvenate Pointcut: A Tool For Pointcut Expression Recovery In Evolving Aspect-Oriented Software, Raffi T. Khatchadourian, Awais Rashid
Publications and Research
Aspect-oriented programming (AOP) strives to localize the scattered and tangled implementations of crosscutting concerns (CCCs) by allowing developers to declare that certain actions (advice) should be taken at specific points (join points) during the execution of software where a CCC (an aspect) is applicable. However, it is non-trivial to construct optimal pointcut expressions (a collection of join points) that capture the true intentions of the programmer and, upon evolution, maintain these intentions. We demonstrate an AspectJ source-level inferencing tool called rejuvenate pointcut which helps developers maintain pointcut expressions over the lifetime of a software product. A key insight into the …
The Contribution Of Advective Fluxes To Net Ecosystem Exchange In A High-Elevation, Subalpine Forest, Chuixiang Yi, Dean E. Anderson, Andrew A. Turnipseed, Sean P. Burns, Jed P. Sparks, David I. Stannard, Russell K. Monson
The Contribution Of Advective Fluxes To Net Ecosystem Exchange In A High-Elevation, Subalpine Forest, Chuixiang Yi, Dean E. Anderson, Andrew A. Turnipseed, Sean P. Burns, Jed P. Sparks, David I. Stannard, Russell K. Monson
Publications and Research
The eddy covariance technique, which is used in the determination of net ecosystem CO2 exchange (NEE), is subject to significant errors when advection that carries CO2 in the mean flow is ignored. We measured horizontal and vertical advective CO2 fluxes at the Niwot Ridge AmeriFlux site (Colorado, USA) using a measurement approach consisting of multiple towers. We observed relatively high rates of both horizontal (Fhadv) and vertical (Fvadv) advective fluxes at low surface friction velocities (u*) which were associated with downslope katabatic flows. We observed that Fhadv was confined to …
Keeping Abreast Of Quantum News: Quantum Computing On The Web And In The Literature, Jill Cirasella
Keeping Abreast Of Quantum News: Quantum Computing On The Web And In The Literature, Jill Cirasella
Publications and Research
This appendix describes tools that can help you track developments in quantum computing.
Historical Bibliography Of Quantum Computing, Jill Cirasella
Historical Bibliography Of Quantum Computing, Jill Cirasella
Publications and Research
This bibliographic essay reviews seminal papers in quantum computing. Although quantum computing is a young science, its researchers have already published thousands of noteworthy articles, far too many to list here. Therefore, this appendix is not a comprehensive chronicle of the emergence and evolution of the field but rather a guided tour of some of the papers that spurred, formalized, and furthered its study.
Pointcut Rejuvenation: Recovering Pointcut Expressions In Evolving Aspect-Oriented Software, Raffi T. Khatchadourian, Phil Greenwood, Awais Rashid, Guoqing Harry Xu
Pointcut Rejuvenation: Recovering Pointcut Expressions In Evolving Aspect-Oriented Software, Raffi T. Khatchadourian, Phil Greenwood, Awais Rashid, Guoqing Harry Xu
Publications and Research
Pointcut fragility is a well-documented problem in Aspect-Oriented Programming; changes to the base-code can lead to join points incorrectly falling in or out of the scope of pointcuts. In this paper, we present an automated approach which limits fragility problems by providing mechanical assistance in pointcut maintenance. The approach is based on harnessing arbitrarily deep structural commonalities between program elements corresponding to join points selected by a pointcut. The extracted patterns are then applied to later versions to offer suggestions of new join points that may require inclusion. To illustrate that the motivation behind our proposal is well-founded, we first …
Validation Of Tropospheric Emission Spectrometer (Tes) Nadir Ozone Profiles Using Ozonesonde Measurements, Ray Nassar, Jennifer A. Logan, Helen M. Worden, Inna A. Megretskaia, Kevin W. Bowman, Gregory B. Osterman, Anne M. Thompson, David W. Tarasick, Shermane Austin, Hans Claude, Manvendra K. Dubey, Wayne K. Hocking, Bryan J. Johnson, Everette Joseph, John Merrill, Gary A. Morris, Mike Newchurch, Samuel J. Oltmans, Françoise Posny, F. J. Schmidlin, Holger Vömel, David N. Whiteman, Jacquelyn C. Witte
Validation Of Tropospheric Emission Spectrometer (Tes) Nadir Ozone Profiles Using Ozonesonde Measurements, Ray Nassar, Jennifer A. Logan, Helen M. Worden, Inna A. Megretskaia, Kevin W. Bowman, Gregory B. Osterman, Anne M. Thompson, David W. Tarasick, Shermane Austin, Hans Claude, Manvendra K. Dubey, Wayne K. Hocking, Bryan J. Johnson, Everette Joseph, John Merrill, Gary A. Morris, Mike Newchurch, Samuel J. Oltmans, Françoise Posny, F. J. Schmidlin, Holger Vömel, David N. Whiteman, Jacquelyn C. Witte
Publications and Research
We compare Tropospheric Emission Spectrometer (TES) version 2 (V002) nadir ozone profiles with ozonesonde profiles from the Intercontinental Chemical Transport Experiment Ozonesonde Network Study, the World Ozone and Ultraviolet Data Center, the Global Monitoring Division of the Earth System Research Laboratory, and the Southern Hemisphere Additional Ozonesonde archives. Approximately 1600 coincidences spanning 72.5°S–80.3°N from October 2004 to October 2006 are found. The TES averaging kernel and constraint are applied to the ozonesonde data to account for the TES measurement sensitivity and vertical resolution. TES sonde differences are examined in six latitude zones after excluding profiles with thick high clouds. Values …
Characterizing Effective Auction Mechanisms: Insights From The 2007 Tac Mechanism Design Competition, Jinzhong Niu, Kai Cai, Simon Parsons, Enrico Gerding, Peter Mcburney
Characterizing Effective Auction Mechanisms: Insights From The 2007 Tac Mechanism Design Competition, Jinzhong Niu, Kai Cai, Simon Parsons, Enrico Gerding, Peter Mcburney
Publications and Research
This paper analyzes the entrants to the 2007 TAC Market Design competition. It presents a classification of the entries to the competition, and uses this classification to compare these entries. The paper also attempts to relate market dynamics to the auction rules adopted by these entries and their adaptive strategies via a set of post-tournament experiments. Based on this analysis, the paper speculates about the design of effective auction mechanisms, both in the setting of this competition and in the more general case.
Jcat: A Platform For The Tac Market Design Competition, Jinzhong Niu, Kai Cai, Simon Parsons, Enrico Gerding, Peter Mcburney, Thierry Moyaux, Steve Phelps, David Shield
Jcat: A Platform For The Tac Market Design Competition, Jinzhong Niu, Kai Cai, Simon Parsons, Enrico Gerding, Peter Mcburney, Thierry Moyaux, Steve Phelps, David Shield
Publications and Research
No abstract provided.
Methods Of Assessing And Ranking Probable Sources Of Error, Nataniel Greene
Methods Of Assessing And Ranking Probable Sources Of Error, Nataniel Greene
Publications and Research
A classical method for ranking n potential events as sources of error is Bayes' theorem. However, a ranking based on Bayes' theorem lacks a fundamental symmetry: the ranking in terms of blame for error will not be the reverse of the ranking in terms of credit for lack of error. While this is not a flaw in Bayes' theorem, it does lead one to inquire whether there are related methods which have such symmetry. Related methods explored here include the logical version of Bayes' theorem based on probabilities of conditionals, probabilities of biconditionals, and ratios or differences of credit to …
Enforcing Behavioral Constraints In Evolving Aspect-Oriented Programs, Raffi T. Khatchadourian, Johan Dovland, Neelam Soundarajan
Enforcing Behavioral Constraints In Evolving Aspect-Oriented Programs, Raffi T. Khatchadourian, Johan Dovland, Neelam Soundarajan
Publications and Research
Reasoning, specification, and verification of Aspect-Oriented (AO) programs presents unique challenges especially as such programs evolve over time. Components, base-code and aspects alike, may be easily added, removed, interchanged, or presently unavailable at unpredictable frequencies. Consequently, modular reasoning of such programs is highly attractive as it enables tractable evolution, otherwise necessitating that the entire program be reexamined each time a component is changed. It is well known, however, that modular reasoning about AO programs is difficult. In this paper, we present our ongoing work in constructing a rely-guarantee style reasoning system for the Aspect-Oriented Programming (AOP) paradigm, adopting a trace-based …
A Wavelet-Based Method For Overcoming The Gibbs Phenomenon, Nataniel Greene
A Wavelet-Based Method For Overcoming The Gibbs Phenomenon, Nataniel Greene
Publications and Research
The Gibbs phenomenon refers to the lack of uniform convergence which occurs in many orthogonal basis approximations to piecewise smooth functions. This lack of uniform convergence manifests itself in spurious oscillations near the points of discontinuity and a low order of convergence away from the discontinuities. Here we describe a numerical procedure for overcoming the Gibbs phenomenon called the inverse wavelet reconstruction method. The method takes the Fourier coefficients of an oscillatory partial sum and uses them to construct the wavelet coefficients of a non-oscillatory wavelet series.
An Overview Of Conditionals And Biconditionals In Probability, Nataniel Greene
An Overview Of Conditionals And Biconditionals In Probability, Nataniel Greene
Publications and Research
Conditional and biconditional statements are a standard part of symbolic logic but they have only recently begun to be explored in probability for applications in artificial intelligence. Here we give a brief overview of the major theorems involved and illustrate them using two standard model problems from conditional probability.
Fourier Series Of Orthogonal Polynomials, Nataniel Greene
Fourier Series Of Orthogonal Polynomials, Nataniel Greene
Publications and Research
Explicit formulas for the Fourier coefficients of the Legendre polynomials can be found in the Bateman Manuscript Project. However, similar formulas for more general classes of orthogonal polynomials do not appear to have been worked out. Here we derive explicit formulas for the Fourier series of Gegenbauer, Jacobi, Laguerre and Hermite polynomials.
Removing Long-Term Errors From The Avhrr Observation Based On Normalized Difference Vegetation Index (Ndvi), Md Zahidur Rahman, Leonid Roytman, Atiqur Rahman, Felix Kogan, Runa Jesmin
Removing Long-Term Errors From The Avhrr Observation Based On Normalized Difference Vegetation Index (Ndvi), Md Zahidur Rahman, Leonid Roytman, Atiqur Rahman, Felix Kogan, Runa Jesmin
Publications and Research
This paper investigates Normalized Difference Vegetation Index (NDVI) stability in the NOAA/NESDIS Global Vegetation Index (GVI) data during 1982-2003. Advanced Very High Resolution Radiometer (AVHRR) weekly data for the five NOAA afternoon satellites for the China dataset is studied, for it includes a wide variety of different ecosystems represented globally. It was found that data for the years 1988, 1992, 1993, 1994, 1995 and 2000 are not stable enough compared to other years because of satellite orbit drift, and AVHRR sensor degradation. It is assumed that data from NOAA-7 (1982, 1983), NOAA-9 (1985, 1986), NOAA-11 (1989, 1990), NOAA-14 (1996, 1997), …
Tr-2008001: Public And Private Communication Are Different: Results On Relative Expressivity, Bryan Renne
Tr-2008001: Public And Private Communication Are Different: Results On Relative Expressivity, Bryan Renne
Computer Science Technical Reports
No abstract provided.
Tr-2008004: Additive Preconditioning For Matrix Computations, Victor Y. Pan, Dmitriy Ivolgin, Brian Murphy, Rhys Eric Rosholt, Yuqing Tang, Xiaodong Yan
Tr-2008004: 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-2008006: Additive Preconditioning, Eigenspaces, And The Inverse Iteration, Victor Y. Pan, Xiaodong Yan
Tr-2008006: Additive Preconditioning, Eigenspaces, And The Inverse Iteration, Victor Y. Pan, Xiaodong Yan
Computer Science Technical Reports
No abstract provided.
Tr-2008012: Product-Free Lambek Calculus Is Np-Complete, Yury Savateev
Tr-2008012: Product-Free Lambek Calculus Is Np-Complete, Yury Savateev
Computer Science Technical Reports
No abstract provided.