95,158 research outputs found
Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond
There is a hidden intrigue in the title. CT is one of the most abstract
mathematical disciplines, sometimes nicknamed "abstract nonsense". MDE is a
recent trend in software development, industrially supported by standards,
tools, and the status of a new "silver bullet". Surprisingly, categorical
patterns turn out to be directly applicable to mathematical modeling of
structures appearing in everyday MDE practice. Model merging, transformation,
synchronization, and other important model management scenarios can be seen as
executions of categorical specifications.
Moreover, the paper aims to elucidate a claim that relationships between CT
and MDE are more complex and richer than is normally assumed for "applied
mathematics". CT provides a toolbox of design patterns and structural
principles of real practical value for MDE. We will present examples of how an
elementary categorical arrangement of a model management scenario reveals
deficiencies in the architecture of modern tools automating the scenario.Comment: In Proceedings ACCAT 2012, arXiv:1208.430
Meta-Functional Benefit Transfer for Wetland Valuation: Making the Most of Small Samples
This study applies functional Benefit Transfer via Meta-Regression Modeling to derive valuation estimates for wetlands in an actual policy setting of proposed groundwater transfers in Eastern Nevada. We illustrate how Bayesian estimation techniques can be used to overcome small sample problems notoriously present in Meta-functional Benefit Transfer. The highlights of our methodology are (i) The hierarchical modeling of heteroskedasticity, (ii) The ability to incorporate additional information via refined priors, and (ii) The derivation of measures of model performance with the corresponding option of model-averaged Benefit Transfer predictions. Our results indicate that economic losses associated with the disappearance of these wetlands can be substantial and that primary valuation studies are warranted.Bayesian Model Averaging; t-Error Regression Model; Meta-Analysis; Benefit Transfer; Wetland Valuation
Experiences in Bayesian Inference in Baltic Salmon Management
We review a success story regarding Bayesian inference in fisheries
management in the Baltic Sea. The management of salmon fisheries is currently
based on the results of a complex Bayesian population dynamic model, and
managers and stakeholders use the probabilities in their discussions. We also
discuss the technical and human challenges in using Bayesian modeling to give
practical advice to the public and to government officials and suggest future
areas in which it can be applied. In particular, large databases in fisheries
science offer flexible ways to use hierarchical models to learn the population
dynamics parameters for those by-catch species that do not have similar large
stock-specific data sets like those that exist for many target species. This
information is required if we are to understand the future ecosystem risks of
fisheries.Comment: Published in at http://dx.doi.org/10.1214/13-STS431 the Statistical
Science (http://www.imstat.org/sts/) by the Institute of Mathematical
Statistics (http://www.imstat.org
Evaluating advanced search interfaces using established information-seeking model
When users have poorly defined or complex goals search interfaces offering only keyword searching facilities provide inadequate support to help them reach their information-seeking objectives. The emergence of interfaces with more advanced capabilities such as faceted browsing and result clustering can go some way to some way toward addressing such problems. The evaluation of these interfaces, however, is challenging since they generally offer diverse and versatile search environments that introduce overwhelming amounts of independent variables to user studies; choosing the interface object as the only independent variable in a study would reveal very little about why one design out-performs another. Nonetheless if we could effectively compare these interfaces we would have a way to determine which was best for a given scenario and begin to learn why. In this article we present a formative framework for the evaluation of advanced search interfaces through the quantification of the strengths and weaknesses of the interfaces in supporting user tactics and varying user conditions. This framework combines established models of users, user needs, and user behaviours to achieve this. The framework is applied to evaluate three search interfaces and demonstrates the potential value of this approach to interactive IR evaluation
A canonical theory of dynamic decision-making
Decision-making behavior is studied in many very different fields, from medicine and eco- nomics to psychology and neuroscience, with major contributions from mathematics and statistics, computer science, AI, and other technical disciplines. However the conceptual- ization of what decision-making is and methods for studying it vary greatly and this has resulted in fragmentation of the field. A theory that can accommodate various perspectives may facilitate interdisciplinary working. We present such a theory in which decision-making is articulated as a set of canonical functions that are sufficiently general to accommodate diverse viewpoints, yet sufficiently precise that they can be instantiated in different ways for specific theoretical or practical purposes. The canons cover the whole decision cycle, from the framing of a decision based on the goals, beliefs, and background knowledge of the decision-maker to the formulation of decision options, establishing preferences over them, and making commitments. Commitments can lead to the initiation of new decisions and any step in the cycle can incorporate reasoning about previous decisions and the rationales for them, and lead to revising or abandoning existing commitments. The theory situates decision-making with respect to other high-level cognitive capabilities like problem solving, planning, and collaborative decision-making. The canonical approach is assessed in three domains: cognitive and neuropsychology, artificial intelligence, and decision engineering
- …