We introduce an information bundling model that addresses two important but relatively unstudied issues in real markets for information goods: automated customization of content b...
Abstract. We describe a dynamic data-driven methodology that is capable of simultaneously determining both the parameters of a constitutive model associated with the response of a ...
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...
A user interface, such as a dialog, assists a user in synthesising a set of values, typically parameters for a command object. Code for “command parameter synthesis” is usuall...
Background: We consider the discovery of recombinant segments jointly with their origins within multilocus DNA sequences from bacteria representing heterogeneous populations of fa...
Pekka Marttinen, Adam Baldwin, William P. Hanage, ...