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...

Introduction The reinforced concrete tilt-up building is the most popular form of light industrial and low-rise commercial construction in the Western United States and is a significant portion of new construction nationwide. This popularity is primarily driven by the construction speed and economical nature of tilt-up construction. Architectural acceptance has become more widespread as tilt-up...

On the (im)possibility of improving upon the student-proposing deferred acceptance mechanism by Onur Kesten and Morimitsu Kurino* This paper studies a general school choice problem with or without outside options. The Gale-Shapley student-proposing deferred acceptance mechanism (DA) has played a central role not only in theory but also in important practical applications. We show that in proble...

aim and background: there is a relation between patients' levels of physical functioning and their acceptance of chronic pain. however, this relation has not been examined amongst iranian chronic pain patients. the purpose of this paper was to evaluate the relation between acceptance of chronic pain and physical disability. methods and materials: in a descriptive-correlational study, convenienc...

Mucosal healing is gaining more acceptance as a measure of disease activity in Crohn's disease and ulcerative colitis, and it is also gaining acceptance as an endpoint in clinical trials. Recent publications have correlated achievement of mucosal healing with good outcomes. Currently, there is no validated definition of what constitutes mucosal healing in inflammatory bowel disease. In clinical...

in recent years, the advancement of information and communication technologies and particularly rapid changes of mobile technologies lead to new applications and services. furthermore, the possibility of mobile service delivery will change its current applications. therefore, it is important to identify the user’s acceptance of mobile services; thus, it is necessary to determine the effective a...

UNLABELLED The purpose of donor evaluation for adult-to-adult living donor liver transplantation (LDLT) is to discover medical conditions that could increase the donor postoperative risk of complications and to determine whether the donor can yield a suitable graft for the recipient. We report the outcomes of LDLT donor candidates evaluated in a large multicenter study of LDLT. The records of a...

Healthcare information service is one efficient prevention-oriented way to relieve the lifestyle caused disease, which may influence the young generation more frequently. In order to explore college students’ attitude toward healthcare information services, this study proposes the research model based on Technology Acceptance Model (TAM), where four determinants of the core part of TAM are deri...