17,053 research outputs found
Bayesian cross validation for gravitational-wave searches in pulsar-timing array data
Gravitational-wave data analysis demands sophisticated statistical noise
models in a bid to extract highly obscured signals from data. In Bayesian model
comparison, we choose among a landscape of models by comparing their marginal
likelihoods. However, this computation is numerically fraught and can be
sensitive to arbitrary choices in the specification of parameter priors. In
Bayesian cross validation, we characterize the fit and predictive power of a
model by computing the Bayesian posterior of its parameters in a training
dataset, and then use that posterior to compute the averaged likelihood of a
different testing dataset. The resulting cross-validation scores are
straightforward to compute; they are insensitive to prior tuning; and they
penalize unnecessarily complex models that overfit the training data at the
expense of predictive performance. In this article, we discuss cross validation
in the context of pulsar-timing-array data analysis, and we exemplify its
application to simulated pulsar data (where it successfully selects the correct
spectral index of a stochastic gravitational-wave background), and to a pulsar
dataset from the NANOGrav 11-year release (where it convincingly favors a model
that represents a transient feature in the interstellar medium). We argue that
cross validation offers a promising alternative to Bayesian model comparison,
and we discuss its use for gravitational-wave detection, by selecting or
refuting models that include a gravitational-wave component.Comment: 7 pages, 4 figures. Submitted to MNRA
Recommended from our members
A design representation model for high-level synthesis
Design tools share and exchange various types of information pertaining to the design. The identification of a uniform design representation to capture this information is essential for the development of a successful design environment. We have done an extensive study on the representation needs of existing database tools in the UCI CADLAB; examples of which are graph compilers for high-level hardware specifications, state schedulers, hardware allocators, and microarchitecture optimizers. The result of this study is the development of a design representation model that will serve as a common internal representation (DDM) for all system and behavioral synthesis tools. DDM thus builds the foundation for a CAD Framework in which design tools can communicate via operating on this common representation. The design information is composed of three separate graph models: the conceptual model, the behavioral model and the structural model. The conceptual model (represented by a Design Entity Graph) captures the overall organization of the design information, such as, versions and configurations. The behavioral model (represented by an Augmented Control/Data Flow Graph) describes the design behavior. The structural model (represented by an Annotated Component Graph) captures the hierarchical data path structure and its geometric information. In this paper, we define the last two graph models. They both capture the actual design data of the application domain. Since VHDL has gained increasing popularity as hardware description language for synthesis, we give numerous examples throughout this report that show how the proposed design representation model can be used to represent VHDL specifications
Recommended from our members
Timing models for high-level synthesis
In this paper, we describe a timing model for clock estimation during high-level synthesis. In order to obtain realistic timing estimates, the proposed model considers all delay elements, including datapath, control and wire delays, and several technology factors, such as layout architecture, technology mapping, buffers insertion and loading effects. The experimental results show that this model can provide much better estimates than previous models. This model is well suited for automatic and interactive synthesis as well as feedback-driven synthesis where performance matrices must be rapidly and incrementally calculated
Hyperbolic Discounting of Public Goods
This article examines revealed rates of time preference for public goods, using environmental quality as the case study. A nationally representative panel-based sample of 2,914 respondents considered a series of 5 conjoint policy choices, yielding 14,570 decisions. Both the conditional fixed effect logit estimates of the random utility model and mixed logit estimates implied that the rate of time preference is very high for immediate improvements and drops off substantially thereafter, which is inconsistent with exponential discounting but consistent with hyperbolic discounting. The implied marginal rate of time preference declines and then rises. Estimates of the quasi-hyperbolic discounting parameter range from 0.48 to 0.61. People who are older are especially likely to have a high disutility from delays in improving water quality.
Formal Model Engineering for Embedded Systems Using Real-Time Maude
This paper motivates why Real-Time Maude should be well suited to provide a
formal semantics and formal analysis capabilities to modeling languages for
embedded systems. One can then use the code generation facilities of the tools
for the modeling languages to automatically synthesize Real-Time Maude
verification models from design models, enabling a formal model engineering
process that combines the convenience of modeling using an informal but
intuitive modeling language with formal verification. We give a brief overview
six fairly different modeling formalisms for which Real-Time Maude has provided
the formal semantics and (possibly) formal analysis. These models include
behavioral subsets of the avionics modeling standard AADL, Ptolemy II
discrete-event models, two EMF-based timed model transformation systems, and a
modeling language for handset software.Comment: In Proceedings AMMSE 2011, arXiv:1106.596
Recommended from our members
Behavioral synthesis from VHDL using structured modeling
This dissertation describes work in behavioral synthesis involving the development of a VHDL Synthesis System VSS which accepts a VHDL behavioral input specification and performs technology independent synthesis to generate a circuit netlist of generic components. The VHDL language is used for input and output descriptions. An intermediate representation which incorporates signal typing and component attributes simplifies compilation and facilitates design optimization.A Structured Modeling methodology has been developed to suggest standard VHDL modeling practices for synthesis. Structured modeling provides recommendations for the use of available VHDL description styles so that optimal designs will be synthesized.A design composed of generic components is synthesized from the input description through a process of Graph Compilation, Graph Criticism, and Design Compilation. Experiments were performed to demonstrate the effects of different modeling styles on the quality of the design produced by VSS. Several alternative VHDL models were examined for each benchmark, illustrating the improvements in design quality achieved when Structured Modeling guidelines were followed
Interactive Simplifier Tracing and Debugging in Isabelle
The Isabelle proof assistant comes equipped with a very powerful tactic for
term simplification. While tremendously useful, the results of simplifying a
term do not always match the user's expectation: sometimes, the resulting term
is not in the form the user expected, or the simplifier fails to apply a rule.
We describe a new, interactive tracing facility which offers insight into the
hierarchical structure of the simplification with user-defined filtering,
memoization and search. The new simplifier trace is integrated into the
Isabelle/jEdit Prover IDE.Comment: Conferences on Intelligent Computer Mathematics, 201
- âŠ