We describe a tool that inputs a deterministic ω-automaton with any acceptance condition, and synthesizes an equivalent ω-automaton with another arbitrary acceptance condition and a given number of states, if such an automaton exists. This tool, that relies on a SAT-based encoding of the problem, can be used to provide minimal ω-automata equivalent to given properties, for different acceptance ...

This research analyzes network effects in technology acceptance. The hypothesis is that the size of the user network affects technology acceptance. Even today, empirical measurement of network effects is challenging and there is a lack of experimental evidence. In order to investigate andmeasure the relationechnology acceptance etwork effects etwork externalities aboratory experiment ship betwe...

BACKGROUND Cardiovascular clinical trials depend on patient enrollment. Enrollment rates appear inadequate, but little is known about how frequently patients accept or decline offers of enrollment. The objective of this study was to assess trends and predictors of patient acceptance of offers to enroll in clinical trials for cardiovascular disease. METHODS AND RESULTS We utilized an establish...

There are many indicators of journal quality and prestige. Although acceptance rates are discussed anecdotally, there has been little systematic exploration of the relationship between acceptance rates and other journal measures. This study examines the variability of acceptance rates for a set of 5094 journals in five disciplines and the relationship between acceptance rates and JCR measures f...

Integer carrier phase ambiguity resolution is the key to fast and high-precision global navigation satellite system (GNSS) positioning and application. Apart from integer estimation, also acceptance tests are part of the ambiguity resolution process. A popular acceptance test is the so-called ratio-test. In this contribution we study the properties and the underlying concepts of the ratio-test....

Previous work on the Daily Car-Pooling problem includes an algorithm that consists of greedy assignment alternating with random perturbation. In this study, we examine the effect of varying the move acceptance policy, specifically Late-acceptance criteria with and without reheating. Late acceptance-based move acceptance criteria were chosen because there is strong empirical evidence in the lite...

In this paper, a group acceptance sampling plan is developed for a multiple number of items to be tested simultaneously in a tester. This study provides information for the group acceptance sampling plan using the total number of failures under the truncated life test to establish the percentile life quality assuming that the product lifetimes are Birnbaum-Saunders distributed. The required num...

BACKGROUND The effective implementation of clinical practice guidelines (CPGs) depends critically on the extent to which the strategies that are deployed for implementing the guidelines promote provider acceptance of CPGs. Such implementation strategies can be classified into two types based on whether they primarily target providers (e.g., academic detailing, grand rounds presentations) or the...

Matching a set of agents to a set of objects has many real applications. One well-studied framework is that of prioritybased matching, in which each object is assumed to have a priority order over the agents. The Deferred Acceptance (DA) and Top-Trading-Cycle (TTC) mechanisms are the best-known strategy-proof mechanisms. However, in highly anonymous environments, the set of agents is not known ...