The standard acceptance policy for a cryptocurrency transaction at most exchanges is to wait until the transaction is placed in the blockchain and followed by a certain number of blocks. However, as noted by Sompolinsky and Zohar [16], the amount of time for blocks to arrive should also be taken into account as it affects the probability of double spending. Specifically, they propose a dynamic ...

The effectiveness and relevance of independent acceptance testing was assessed by means of an audit of acceptance procedures for 17 MRI systems, with field strengths in the range 0.5-1.5 T, acquired over 8 years. Signal-to-noise ratio and geometric linearity were found to be the image quality parameters most likely to fall below acceptable or expected standards. These received confirmed success...

We assessed whether implementation of a combination of interventions in London tuberculosis clinics raised the levels of HIV test offers, acceptance and coverage. A stepped-wedge cluster randomised controlled trial was conducted across 24 clinics. Interventions were training of clinical staff and provision of tailor-made information resources with or without a change in clinic policy from selec...

BACKGROUND Since a long time, Italy has maintained a dual system to administer childhood immunisations, that is a certain number of mandatory vaccinations and a number of recommended vaccinations. The study aimed to explore the issues surrounding parental acceptance or non-acceptance of the recommended vaccinations for children. METHODS Parents of children aged 3-5 years of day-care centres i...

There are several types of finite automata on infinite words, differing in their acceptance conditions. As each type has its own advantages, there is an extensive research on the size blowup involved in translating one automaton type to another. Of special interest is the Muller type, providing the most detailed acceptance condition. It turns out that there is inconsistency and incompleteness i...

This paper proposes a new way to study traffic flow at an urban unsignalised intersection, through detailed space considerations, using cellular automata (CA). Heterogeneity and inconsistency are simulated by incorporation of different categories of driver behaviour and reassignment of categories with given probabilities at each time step. The method is able to reproduce many features of urban ...

We present work towards a spoken-dialogue embodied companion system that behaves in a socially cooperative fashion, i.e., being attentive to communicative and social cues emitted by the user, inferring internal cognitive, affective and interactional states, and reciprocating with appropriately adapted behavior. It is argued that this capability is vital for fostering cooperative, effortless, an...

The analysis of programs by the exhaustive inspection of reachable states in a nite state graph is a well-understood procedure It is actually implemented in several industrial tools but one of their main limitations is the size of the memory needed to exhaustively build the state graphs of the programs. For numerous properties such as B uchi acceptance (in the deterministic case) and behavioral...

Through a comparison of two communities, this paper addresses village formation in frontier Campeche, Mexico. Mexico's village political unit, the ejido, allows farmers flexibility in deciding who may take up residence in their communities. The paper analyzes how established farmers employ ideas of ethnicity, family, and expectations of social strife to assess the longterm compatibility of newc...