Technical Reports
-
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
