We present a functional approach, based on the ACL2 logic, for the specification of system on a chip communication architectures. Our decomposition of the communications allows the method to be modular for both system definition and validation. When performed in the context of the ACL2 logic, all the definitions and theorems are not only reusable, but also constitute an executable and proven va...

This paper tests for a number of survey effects in the elicitation of expenditure items. In particular we examine the extent to which individuals use features of the expenditure question to construct their answers. We test whether respondents interpret question wording as researchers intend and examine the extent to which prompts, clarifications and seemingly arbitrary features of survey design...

Agile methods are the best fit for tremendously growing software industry due to its flexible and dynamic nature. But the software developed using agile methods do meet the usability standards? To answer this question we can see that majority of agile software development projects currently involve interactive user interface designs, which can only be possible by following User Centered Design ...

Annually, an interdisciplinary community of students, researchers and practitioners gather together to participate in intensive summer school sessions focused on the teaching and practice of User-Centered Design (UCD). By listening to lectures, working in ateliers, living with target users and facing real-world design problems, participants experientially learn a mixture of UCD processes, ethno...

The pandemic of COVID-19 resulted in the physical shutdown which has now transformed education into an exclusive "online learning" model. Zoom is being used to evaluate perceived usability as reference platform. students find it less collaborative, interactive, boring, and collaborative. From this perspective, Usability current online learning platforms important factor, particularly because no...

BACKGROUND Valid and comparable cause of death (COD) statistics are crucial for health policy analyses. Variations in COD assignment across geographical areas are well-documented while socio-institutional factors may affect the process of COD and underlying cause of death (UCD) determination. This study examines the comparability of UCD statistics in Hong Kong and Shanghai, having two political...

The adoption of prosthetic hands by children with congenital upper limb deficiency from a very early age has benefits in terms reducing prosthesis abandonment, improving body image, and mitigating developmental physiological complications that arise the underuse deficit arm. However, current hand prostheses present drawbacks make them not suitable for young children. This study investigates des...

IBM is a diverse multinational company that strives to lead in the creation, development, and manufacture of the world’s most advanced information technologies, including computer systems, software, networking systems, storage devices, and microelectronics. Worldwide research labs work in all areas of information technology, from physics and cognitive science to leading-edge application researc...

OBJECTIVE To assess whether trends in mortality from heart failure (HF) in Australia are due to a change in awareness of the condition or real changes in its epidemiology. METHODS We carried out a retrospective analysis of official data on national mortality data between 1997 and 2003. A death was attributed to HF if the death certificate mentioned HF as either the underlying cause of death (...