scholarly journals Balancing the formal and the informal in user-centred design

2021 ◽  
Author(s):  
Michael D Harrison ◽  
Paolo Masci ◽  
José Creissac Campos
Keyword(s):  
Formal Methods ◽  
Systematic Approach ◽  
Formal Analysis ◽  
Interactive Systems ◽  
User Evaluation ◽  
Analysis Techniques ◽  
User Centred Design ◽  
Early Design Stages ◽  
Cooperative Evaluation

Abstract This paper explores the role of formal methods as part of the user-centred design of interactive systems. An iterative process is described, developing prototypes incrementally, proving user-centred requirements while at the same time evaluating the prototypes that are executable forms of the developed models using ‘traditional’ techniques for user evaluation. A formal analysis complements user evaluations. This approach enriches user-centred design that typically focuses understanding on context and producing sketch designs. These sketches are often non-functional (e.g. paper) prototypes. They provide a means of exploring candidate design possibilities using techniques such as cooperative evaluation. This paper describes a further step in the process using formal analysis techniques. The use of formal methods provides a systematic approach to checking plausibility and consistency during early design stages, while at the same time enabling the generation of executable prototypes. The technique is illustrated through an example based on a pill dispenser.

Economic modeling of touristic services demand in the regions

2019 ◽  
pp. 87-93
Author(s):  
Ivan Blahun ◽  
Halyna Leshchuk ◽  
Mariya Kyfor
Keyword(s):  
Systematic Approach ◽  
Income Elasticity ◽  
Probability Model ◽  
Economic Modeling ◽  
Tourism Demand ◽  
Goods And Services ◽  
Household Incomes ◽  
Tourism Services ◽  
Income Decile

Considering the important role of tourism in the socio-economic development of regions, the need for information and modeling of ways to increase demand for tourism services and tourism development is being updated. The article uses methods of analytical, logical, comparative analysis and systematic approach to study trends in demand for tourist services in Ukraine. Econometric modeling analyzes the demand for tourism services by the level of income and expenditures of the population in 2018. Trends in demand for tourism services in 2018 in terms of income and expenditure of the population with the use of the Tornquist econometric model have been analyzed. It is proposed to use the decile groups of the population for analyzing income and expenditure by the level of income, total income per capita, the level of household expenditure relative to income, the percentage of tourism expenditure by households, the expenditure on tourism and the elasticity of tourism demand. Average values of the population’s expenditures on tourism were established, which helped to determine the elasticity of effective demand for each decile group. The more than one unit of elasticity of effective tourism demand for each decile group indicated that tourism services for domestic households belong to the group of luxury goods and services. It should be noted that in the following decile income groups of households there is a decrease in elasticity. It means that when income tends to increase indefinitely, elasticity coefficients fall, and this indicates a stabilization of costs of this type. In this case, the percentage of households in each decile group that recorded the costs of organized tourism in their budgets and the value of the probability of household participation in this form of recreation was determined based on an estimated probability model. An analysis of the values of income elasticity indicators in each income decile group has shown that increasing household incomes contribute to increased demand for tourism services and an increase in the share of expenditures for these purposes in household budgets.

Management of Pleural Effusions in the Emergency Department.

2020 ◽  
Vol 15 ◽  
Author(s):  
MT Congedo ◽  
GM Ferretti ◽  
D Nachira ◽  
MA Pennisi
Keyword(s):  
Emergency Department ◽  
Systematic Approach ◽  
Acute Chest Pain ◽  
Pleural Effusions ◽  
Therapeutic Approaches ◽  
Massive Pleural Effusion ◽  
Emergency Department Setting ◽  
Clinical Conditions ◽  
Definitive Management

Background: In symptomatic patients, admitted in emergency department for acute chest pain and dyspnea, who require an urgent treatment, a rapid diagnosis and prompt management of massive pleural effusion or hemothorax can be lifesaving. The aim of this review was to summarize the current diagnostic and therapeutic approaches for the management of the main types of pleural effusions that physicians can have in an emergency department setting. Methods: Current literature about the topic was reviewed and critically reported, adding the experience of the authors in the management of pleural effusions in emergency settings. Results: The paper analyzed the main types of pleural effusions that physicians can have to treat. It illustrated the diagnostic steps by the principal radiological instruments, with a particular emphasis to the role of ultrasonography, in facilitating diagnosis and guiding invasive procedures. Then, the principal procedures, like thoracentesis and insertion of small and large bore chest drains, are indicated and illustrated according to the characteristics and the amount of the effusion and patient clinical conditions. Conclusion: The emergency physician must have a systematic approach that allows rapid recognition, clinical cause identification and definitive management of potential urgent pleural effusions.

Aesthetics

2018 ◽  
Author(s):  
Michael N. Forster
Keyword(s):  
Systematic Approach ◽  
Semantic Content ◽  
Moral Values ◽  
Science And Religion ◽  
Individual Variability ◽  
German Romanticism ◽  
Philosophy Of Literature ◽  
Aesthetic Values

Aesthetics, or the philosophy of literature and art, was one of Herder’s main focuses. By valorizing these areas of culture (in comparison with others such as science and religion) and in several other ways he prepared the ground for German Romanticism. He also established many principles of great intrinsic importance: rejecting apriorism and systematization in aesthetics in favor of an empirical, non-systematic approach; insisting that arts such as sculpture and painting express meanings and therefore require interpretation; recognizing the central role of genre not only in literature but also in such arts; perceiving the deep historical, cultural, and even individual variability of literature and art in respect of semantic content, genre, moral values, and aesthetic values, plus the major implications this variability has for both interpretation and evaluation; developing a set of radical views concerning beauty; and emphasizing the importance of literature and art as means of moral pedagogy.

scholarly journals Tangibly understanding intangible complexities: Designing for distributed autonomous organizations

2019 ◽  
Vol 6 (1) ◽  
pp. 47-63 ◽  
Author(s):  
Bettina Nissen ◽  
Ella Tallyn ◽  
Kate Symons
Keyword(s):  
Distributed Systems ◽  
Interaction Design ◽  
Digital Technologies ◽  
Interactive Systems ◽  
Collaborative Practice ◽  
The Internet ◽  
The Face ◽  
Future Technologies ◽  
The Internet Of Things

Abstract New digital technologies such as Blockchain and smart contracting are rapidly changing the face of value exchange, and present new opportunities and challenges for designers. Designers and data specialists are at the forefront of exploring new ways of exchanging value, using Blockchain, cryptocurrencies, smart contracting and the direct exchanges between things made possible by the Internet of Things (Tallyn et al. 2018; Pschetz et al. 2019). For researchers and designers in areas of Human Computer Interaction (HCI) and Interaction Design to better understand and explore the implications of these emerging and future technologies as Distributed Autonomous Organisations (DAOs) we delivered a workshop at the ACM conference Designing Interactive Systems (DIS) in Edinburgh in 2017 (Nissen et al. 2017). The workshop aimed to use the lens of DAOs to introduce the principle that products and services may soon be owned and managed collectively and not by one person or authority, thus challenging traditional concepts of ownership and power. This workshop builds on established HCI research exploring the role of technology in financial interactions and designing for the rapidly changing world of technology and value exchange (Kaye et al. 2014; Malmborg et al. 2015; Millen et al. 2015; Vines et al. 2014). Beyond this, the HCI community has started to explore these technologies beyond issues of finance, money and collaborative practice, focusing on the implications of these emerging but rapidly ascending distributed systems in more applied contexts (Elsden et al. 2018a). By bringing together designers and researchers with different experiences and knowledge of distributed systems, the aim of this workshop was two-fold. First, to further understand, develop and critique these new forms of distributed power and ownership and second, to practically explore how to design interactive products and services that enable, challenge or disrupt existing and emerging models.

scholarly journals Responses to Stress: Investigating the Role of Gender, Social Relationships, and Touch Avoidance in Italy

2021 ◽  
Vol 18 (2) ◽  
pp. 600
Author(s):  
Marcello Passarelli ◽  
Laura Casetta ◽  
Luca Rizzi ◽  
Raffaella Perrella
Keyword(s):  
Social Relationships ◽  
Stress Responses ◽  
Clinical Settings ◽  
Daily Stressors ◽  
Analysis Techniques ◽  
Touch Avoidance ◽  
Main Determinants ◽  
Reducing Stress ◽  
Social Level

Stress is a physiological response to internal and external events we call “stressors”. Response to the same daily stressors varies across individuals and seems to be higher for women. A possible explanation for this phenomenon is that women perceive sociality, relationships, and intimacy—important sources of both stress and wellbeing—differently from how men experience them. In this study, we investigate how gender, attachment, and touch avoidance predict stress responses on a sample of 335 Italians (216 females; age = 35.82 ± 14.32). Moreover, we analyze the network of relationships between these variables through multiple linear regression and exploratory network analysis techniques. The results recontextualize the role of gender in determining stress responses in terms of (lack of) confidence and touch avoidance toward family members; attitudes toward relationships seem to be the main determinants of stress responses. These results have implications for reducing stress in both clinical settings and at a social level.

An Integrated Framework for the Formal Analysis of Critical Interactive Systems

2020 ◽  
Author(s):  
Ismail Mendil ◽  
Neeraj Kumar Singh ◽  
Yamine Ait-Ameur ◽  
Dominique Mery ◽  
Philippe Palanque
Keyword(s):  
Formal Analysis ◽  
Interactive Systems ◽  
Integrated Framework

The Role of Gait Analysis in Clinical Medicine: A Survey of UK Centres

1987 ◽  
Vol 16 (4) ◽  
pp. 221-227 ◽  
Author(s):  
N Messenger ◽  
P Bowker
Keyword(s):  
Gait Analysis ◽  
Clinical Medicine ◽  
Final Analysis ◽  
Clinical Work ◽  
Clinical Context ◽  
Clinical Value ◽  
Analysis Techniques ◽  
Subjective Views ◽  
The Uk

This paper reports the results of a survey carried out to assess the clinical usage currently being made of gait analysis facilities within the UK. Thirty-five centres were circulated with a questionnaire which requested information under four main headings: (i) equipment, (ii) research projects, (iii) clinical service commitments, and (iv) subjective views of the ultimate clinical value of the service. Of the 25 completed questionnaires returned, 16 were suitable for inclusion in the final analysis of data. The survey provided useful data on the equipment and facilities available in each centre together with details of the service available to prospective referring clinicians. Ten centres were considered as being currently involved in some clinical work, with six of these being routinely involved. The respondents generally felt that gait analysis techniques have a clinical context, if not yet routinely, but the numbers of referrals to the centres is still quite small. A number of areas worthy of further work were identified by the respondents. It is hoped that presentation of these results will stimulate dialogue between centres and between clinicians and bioengineers.

Formal analysis techniques for reliable GPU programming

2017 ◽  
pp. 3-21
Author(s):  
A.F. Donaldson ◽  
G. Gopalakrishnan ◽  
N. Chong ◽  
J. Ketema ◽  
G. Li ◽  
...  
Keyword(s):  
Formal Analysis ◽  
Gpu Programming ◽  
Analysis Techniques

scholarly journals PERAN ORANG TUA DALAM MENANAMKAN NILAI-NILAI PENDIDIKAN KEWIRAUSAHAAN di SENTRA INDUSTRI KRIPIK TEMPE KAWASAN SANAN

2018 ◽  
Vol 4 (2) ◽  
pp. 124
Author(s):  
Nurul Istiqomah
Keyword(s):  
Qualitative Approach ◽  
Entrepreneurial Education ◽  
Data Presentation ◽  
Analysis Techniques ◽  
The Family ◽  
Collection Data ◽  
Role Of Parents ◽  
Industry Center ◽  
Children’S Thinking

<p>Entrepreneurship is very important to instill independence in the younger generation. There are a number of things that have an important influence on a child's soul, including family, school and the environment. The role of the family, especially mothers as early educators who put the most important foundation for the growth of the personality and maturity of children's thinking. There are several research focuses that exist in, among others, (1) to know parents in instilling entrepreneurial education values in the central tempe chips industry in Sanan, Malang. (2) to knowing the form or result of the cultivation of entrepreneurial education values in the central tempe chips industry in Sanan, Malang (3) to knowing the obstacles in cultivating entrepreneurial education values in the Tempe chips industry center in Sanan, Malang. This study uses a qualitative approach to the type of research of community phenomena because researchers take data directly in the field. The technique of collecting data uses observation, interviews, and documentation. Data analysis techniques include data collection, data reduction, and data presentation. The conclusion of this study is the role of parents in instilling entrepreneurial values is to guide and support the activities of their children in the field of entrepreneurship. The results have been well implemented through habituation. The obstacle in implementing entrepreneurship for children is the lack of parental trust so that it is difficult to teach entrepreneurship, it is difficult to determine which products are sold because they are too expensive, and the difficulty of the child to divide time.</p><p class="CPKeyword"><em><strong>Keywords: the role of parents; entrepreneurship</strong></em></p>

Sign in / Sign up

Export Citation Format

Share Document