In this article we show how to implement merger simulation in Stata after estimating an aggregate nested logit demand system with a linear regression model. We also show how to implement merger simulation when the demand parameters are not estimated, but instead calibrated to be consistent with outside information on average price elasticities and pro…t margins.

We chart the ways in which closure properties of consequence relations for uncertain inference take on different forms according to whether the relations are generated in a quantitative or a qualitative manner. Among the main themes are: the identification of watershed conditions between probabilistically and qualitatively sound rules; failsafe and classicality transforms of qualitatively sound...

We study the task of recognizing human actions in video whilst paying attention to the shot and thread editing structure. Most existing action recognition algorithms ignore this structure, but it is generally present in edited TV and film material. To this end, we make the following contributions: first, we introduce a new dataset of human actions to study the occurrence/reoccurrence of pattern...

Predictive models for the exponential growth rate (EGR) and germination, outgrowth, and lag times (GOL) of Bacillus stearothermophilus previously developed in our laboratory were expanded to include higher salt (1.5%) formulations. The expanded models were validated in 7 military meals-ready-to-eat incubated at temperatures from 45 °C to 60 °C, and tryptic soy broth incubated from 37.5 °C to 70...

Real world protocols often involve human choices that depend on incentives, including when they fail and require fail-safe or fail-deadly mechanisms. We look at three example systems (the EMV protocol, consensus in cryptocurrencies, and Tor) in this context, paying particular attention to the role that incentives play in fail-safe and faildeadly situations. We argue that incentives should expli...

In this paper, a fuzzy version of the analytic form of Hahn-Banachextension theorem is given. As application, the Hahn-Banach theorem for$r$-fuzzy bounded linear functionals on $r$-fuzzy normedlinear spaces is obtained.

This article answers fundamental safety questions for ground robot navigation: Under which circumstances does which control decision make a ground robot safely avoid obstacles? Unsurprisingly, the answer depends on the exact formulation of the safety objective as well as the physical capabilities and limitations of the robot and the obstacles. Because uncertainties about the exact future behavi...

Tarski-Givant's map calculus is brieey reviewed and a plan of research is outlined , aimed at investigating applications of this formalism in the theorem-proving eld. The connections between rst-order logic and the map calculus are investigated , focusing on techniques for translating single sentences from one context to the other as well as on the translation of entire set theories. Issues reg...

Tarski-Givant's map calculus is brieey reviewed and a plan of research is outlined , aimed at investigating applications of this formalism in the theorem-proving eld. The connections between rst-order logic and the map calculus are investigated , focusing on techniques for translating single sentences from one context to the other as well as on the translation of entire set theories. Issues reg...

We argue that the Java type system is sound, by proving a subject reduction theorem. We deene a subset of Java, a language which is safe and which reeects the most essential features of Java, a term rewriting system for the operational semantics and a type inference system to describe compile time type checking. We prove that program execution preserves the types, up to the subclass/subinterfac...