Technical Reports

BSOE faculty, staff and graduate students can request a new technical report number.

• UCSC-CRL-08-01: On Secure Distributed Implementations of Dynamic Access Control
  
• AMS2008-1: A Spatio-Temporal Model for Mean, Anomaly and Trend Fields of North Atlantic Sea Surface Temperature
  Ricardo T. Lemos and Bruno Sansó
  
• AMS2008-2: Bayesian Guided Pattern Search for Robust Local Optimization
  Matthew Taddy, Herbert K. H. Lee, Genetha A. Gray, and Joshua D. Griffin
  
• AMS2008-3: Fast Bayesian Inference for Computer Simulation Inverse Problems
  Matthew Taddy, Herbert K. H. Lee, and Bruno Sansó
  
• AMS2008-4: Bayesian Nonparametric Modeling for Comparison of Single-Neuron Firing Intensities
  Athanasios Kottas and Sam Behseta
  
• AMS2008-5: Advances in the Design of Gaussian Processes as Surrogate Models for Computer Experiments
  Andrés Christen and Bruno Sansó
  
• AMS2008-6: A Bayesian Modeling Approach for Determining Productivity Regimes and their Characteristics
  Stephan B. Munch and Athanasios Kottas
  
• AMS2008-7: Measuring Expectations in Options Markets: An Application to the S&P500 Index
  Abel Rodriguez and Enrique ter Horst
  
• UCSC-CRL-08-02: Qualitative Concurrent Parity Games
  
• UCSC-SOE-08-03: The Complexity of Coverage
  
• UCSC-SOE-08-04: Strategy Improvement for Concurrent Safety Games
  
• UCSC-SOE-08-05: Symbolic Magnifying Lens Abstraction in Markov Decision Processes
  
• UCSC-SOE-08-06: Robust Content-Driven Reputation
  
• UCSC-SOE-08-07: Assigning Trust to Wikipedia Content
  
• UCSC-SOE-08-08: Measuring Contributions to the Wikipedia
  
• UCSC-SOE-08-09: Robust Content-Driven Reputation
  
• UCSC-SOE-08-10: Assembling the Building Blocks of Giant Planets around Intermediate Mass Stars
  K. A. Kretke, D. N. C. Lin, P. Garaud, N. J. Turner
  
• UCSC-SOE-08-12: Selection of a Representative Sample
  Herbert Lee, Matthew Taddy and Genetha Gray
  
• UCSC-SOE-08-11: Turn-Based Qualitative Solution of Concurrent Parity Games
  Krishnendu Chatterjeex, Luca de Alfarox and Thomas A. Henzingeryz
  
• UCSC-SOE-08-13: Dynamics of the Solar Tachocline - II: The Stratified Case
  P. Garaud and J. D. Garaud
  
• UCSC-SOE-08-14: Sketch-based Summarization of Ordered XML Streams
  Veronica Mayorga, Neoklis Polyzotis
  
• UCSC-SOE-08-15: Bayesian Nonparametric Modeling for Markov Switching Regression
  Matt Taddy and Athanasios Kottas
  
• UCSC-SOE-08-16: Algorithms for Game Metrics
  Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar, Vishwanath Raman
  
• UCSC-SOE-08-17: Compositional and Decidable Checking for Dependent Contract Types
  Kenneth Knowles and Cormac Flanagan
  
• UCSC-SOE-08-18: Transfer Learning for Conditional Random Fields with Applications to Human Action Recognition
  Jie Liu, Kai Yu, Yi Zhang
  
• UCSC-SOE-08-19: Interface Building for Software by Modular Three-Valued Refinement
  Pritam Roy
  
• UCSC-SOE-08-22: Statistical Calibration of Climate System Properties - II
  Bruno Sansó and Chris Forest
  
• UCSC-SOE-08-23: The rotation rate of the solar radiative zone
  P. Garaud & C. Guervilly