This paper gives a technical/scientiic survey of the mathematical semantics of the BSI/VDM Speciication Language, currently being standardised by the British Standards Institution. Following a background introduction , the notion of loose (nondeterministic and underdetermined) speciications and the implications for the underlying type (domain) universe is discussed. This is followed by technica...

The study investigated technology innovations and factors influencing its upgrading in the indigenous textile weaving firms in southwestern Nigeria. Data for the survey was sourced from 300 small scale firms with 91% retrieval rate. The survey instruments which were questionnaire, interview and personal observation elicited information on the weaving process. Majority (89%) of the respondents r...

OBJECTIVES The skill set required for junior doctors to work efficiently and safely Out of Hours (OoH) in hospitals has not been established. This is despite the OoH period representing 75% of the year and it being the time of highest mortality. We set out to explore the expectations of medical students and experiences of junior doctors of the non-technical skills needed to work OoH. DESIGN S...

The stock selection problem is one of the major issues in the investment industry, which is mainly solved by analyzing financial ratios. However, considering the complexity and imprecise patterns of the stock market, obvious and easy-to-understand investment rules, based on fundamental analysis, are difficult to obtain. Fundamental and technical analyses are two common methods for predicting th...

PURPOSE Stereotactic ablative radiotherapy (SABR) is an effective emerging technique for early-stage non-small cell lung cancer (NSCLC). We investigated the current practice of SABR for early-stage NSCLC in Korea. MATERIALS AND METHODS We conducted a nationwide survey of SABR for NSCLC by sending e-mails to all board-certified members of the Korean Society for Radiation Oncology. The survey i...

AIM To provide insights into the capacity to conduct health technology assessment (HTA) in Central, Eastern, and South-Eastern Europe (CESEE), taking account of technical, financial, networking, and human resources. METHODS An e-mail survey of 257 CESEE key informants involved in HTA was undertaken between March and April 2014. Contact e-mail addresses were identified from the internet. The s...

in this paper, a model has been provided for selecting right portfolio in stock exchange. the ranking of financial industries and companies has been applied for the selection of the right stock in this model. these rankings have been done through promethee decision- making method. technical analysis aims to determine the right time to buy and sell the superior stocks. a survey study is also don...