scholarly journals High-Level Modelling for Typed Functional Programming

2021 ◽  
pp. 69-94
Author(s):  
Yusuf Moosa Motara
Keyword(s):  
Structural Design ◽  
Functional Programming ◽  
Functional System ◽  
And Mathematics ◽  
High Level ◽  
Insight Into

AbstractThere is currently no way to model the high-level structural design of a functional system. Given the strong links between functional programming and mathematics, it is hypothesised that the language of mathematics can provide insight into how a functional system might be modelled. The approach is successful and both philosophy and the language of mathematics are used to identify the necessary modelling concepts and briefly outline some modelling notation alongside a small case study.

scholarly journals Developing cybersecurity education and awareness programmes for small- and medium-sized enterprises (SMEs)

2019 ◽  
Vol 27 (3) ◽  
pp. 393-410 ◽  
Author(s):  
Maria Bada ◽  
Jason R.C. Nurse
Keyword(s):  
Best Practices ◽  
Research Literature ◽  
Content Type ◽  
Security Education ◽  
Education And Awareness ◽  
The One ◽  
High Level ◽  
And Training ◽  
Insight Into

PurposeThe purpose of this study is to focus on organisation’s cybersecurity strategy and propose a high-level programme for cybersecurity education and awareness to be used when targeting small- and medium-sized enterprises/businesses (SMEs/SMBs) at a city-level. An essential component of an organisation’s cybersecurity strategy is building awareness and education of online threats and how to protect corporate data and services. This programme is based on existing research and provides a unique insight into an ongoing city-based project with similar aims.Design/methodology/approachTo structure this work, a scoping review was conducted of the literature in cybersecurity education and awareness, particularly for SMEs/SMBs. This theoretical analysis was complemented using a case study and reflecting on an ongoing, innovative programme that seeks to work with these businesses to significantly enhance their security posture. From these analyses, best practices and important lessons/recommendations to produce a high-level programme for cybersecurity education and awareness were recommended.FindingsWhile the literature can be informative at guiding education and awareness programmes, it may not always reach real-world programmes. However, existing programmes, such as the one explored in this study, have great potential, but there can be room for improvement. Knowledge from each of these areas can, and should, be combined to the benefit of the academic and practitioner communities.Originality/valueThe study contributes to current research through the outline of a high-level programme for cybersecurity education and awareness targeting SMEs/SMBs. Through this research, literature in this space was examined and insights into the advances and challenges faced by an on-going programme were presented. These analyses allow us to craft a proposal for a core programme that can assist in improving the security education, awareness and training that targets SMEs/SMBs.

scholarly journals Endangered Mediterranean Mountain Heritage—Case Study of katuns at the Kuči Mountain in Montenegro

Land ◽  
2020 ◽  
Vol 9 (8) ◽  
pp. 248
Author(s):  
Ivan Laković ◽  
Aleksandra Kapetanović ◽  
Olga Pelcer-Vujačić ◽  
Tatjana Koprivica
Keyword(s):  
Local Population ◽  
Field Work ◽  
Traditional Use ◽  
Mountain Landscape ◽  
Archival Documents ◽  
Historical Heritage ◽  
High Level ◽  
Level Of Importance ◽  
Insight Into

The study gives an insight into the domain of seasonal mountain settlements for summer cattle grazing (katuns), characteristic for the mountainous areas in the Mediterranean basin. The area of the Kuči Mountain in Montenegro was chosen for the case study. The area contains numerous characteristics exemplary for the topic—193 katuns with more than 2900 belonging housing and subsidiary objects. The presented results originate from the 3-year-long investigations, where the data obtained from archival documents were combined with those acquired through intensive field work and visits to each and every katun determined and documented within the area. The density of these settlements, as well as their architectural and constructional characteristics, show the high level of importance they had for the local population up until the last third of 20th century. Currently, changed sociodemographic trends rendered their intensive traditional use obsolete, but used building techniques, their internal organization and organic connection to the surrounding mountain landscape, have nominated them for important part of region’s historical heritage.

scholarly journals How statically-typed functional programmers write code

2021 ◽  
Vol 5 (OOPSLA) ◽  
pp. 1-30
Author(s):  
Justin Lubin ◽  
Sarah E. Chasins
Keyword(s):  
Grounded Theory ◽  
Functional Programming ◽  
Structured Interview ◽  
Domain Modeling ◽  
Theory Analysis ◽  
Reasoning Strategies ◽  
Lab Experiments ◽  
Type Construction ◽  
High Level ◽  
Insight Into

How working statically-typed functional programmers write code is largely understudied. And yet, a better understanding of developer practices could pave the way for the design of more useful and usable tooling, more ergonomic languages, and more effective on-ramps into programming communities. The goal of this work is to address this knowledge gap: to better understand the high-level authoring patterns that statically-typed functional programmers employ. We conducted a grounded theory analysis of 30 programming sessions of practicing statically-typed functional programmers, 15 of which also included a semi-structured interview. The theory we developed gives insight into how the specific affordances of statically-typed functional programming affect domain modeling, type construction, focusing techniques, exploratory and reasoning strategies, and expressions of intent. We conducted a set of quantitative lab experiments to validate our findings, including that statically-typed functional programmers often iterate between editing types and expressions, that they often run their compiler on code even when they know it will not successfully compile, and that they make textual program edits that reliably signal future edits that they intend to make. Lastly, we outline the implications of our findings for language and tool design. The success of this approach in revealing program authorship patterns suggests that the same methodology could be used to study other understudied programmer populations.

scholarly journals The Multi-Pattern Approach for Systematic Analysis of Transition Pathways

2019 ◽  
Vol 11 (2) ◽  
pp. 318 ◽  
Author(s):  
Fjalar De Haan ◽  
Briony Rogers
Keyword(s):  
Water Management ◽  
Functional System ◽  
Systematic Analysis ◽  
Pattern Approach ◽  
Transition Pathways ◽  
Central Notion ◽  
Case Comparison ◽  
High Level ◽  
Over Time

Pathways have become a central notion in various areas of research, amongst which are the studies of transitions to sustainability. Though various typologies and concepts are available, a framework for systematic analysis of transition pathways is lacking. We present the Multi-Pattern Approach (MPA) to fill this lacuna and provide a step-by-step manual for its application. The MPA addresses a range of traditional challenges of transitions’ pathway analysis, such as temporal and functional system demarcation and the unravelling of complex, interrelated systemic storylines. The approach provides an oft-called for rigour which allows a diagrammatic and formulaic representation of transitions’ pathways. Because of these qualities, the approach allows systematic cross-case comparison and provides a bridge between narrative-based and computational transitions research. The approach is demonstrated with an in-depth empirical case study of water management in Melbourne, Australia over the last 180 years. The article first presents a high-level mapping of the system’s evolution over time and a detailed analysis of the uptake and phasing out of specific servicing technologies and practices.

scholarly journals Strategija repozicioniranja: posljedica neuspjeha ili nastavak priče o uspjehu

2017 ◽  
Vol 7 (1) ◽  
pp. 28
Author(s):  
Ivona Mikulandra Volić ◽  
Ina Relja ◽  
Mate Brković
Keyword(s):  
Strategic Change ◽  
Core Business ◽  
The Core ◽  
Successful Business ◽  
High Level ◽  
The Impact ◽  
A Company ◽  
Insight Into

The issue of disinvesting and the exiting of a company from a business regardless of their performance is of a critical importance for its further activities. The attention of researchers is more focused on the buyer’s side of the story than the seller since the acquisition implies a growth that is equated with success, and sales are usually perceived as a failure without noticing the potential positive consequences for the seller. Exiting the core business by implementing a repositioning strategy can bring a significant strategic change for the enterprise, as well as being a continuation for the enterprise as well as for the entrepreneur of the previous successful business. By presenting a case study this paper analyses the possible causes and questions the justification for the implementation of the repositioning strategy in three selected Croatian companies (Adris Group d.d., Lura Group d.o.o. and Jolly Jbs d.o.o.) that through the process of mergers and acquisitions appear in the role of sellers, and by doing that they exited their core business that helped them gain a high level of customer recognition and business reputation among competitors and associates. The analysis provides insight into a seldom-analyzed application of the repositioning strategy of Croatian companies and it contributes to a better understanding of disinvestment and the impact of the repositioning strategy on the company's performance.

Why Coach? A Case Study of the Prominent Influences on a Top-Level UK Outdoor Adventure Coach

2012 ◽  
Vol 26 (4) ◽  
pp. 571-583 ◽  
Author(s):  
Ross Lorimer ◽  
David Holland-Smith
Keyword(s):  
Outdoor Adventure ◽  
Early Experiences ◽  
The Social ◽  
Personal Experiences ◽  
Formative Experiences ◽  
High Level ◽  
Adventure Sports ◽  
Inductive Thematic Analysis ◽  
Insight Into

The purpose of this study was to examine the influences that led an individual to becoming and remaining an outdoor adventure sport coach. A case study of a single high level climbing/kayaking coach is presented using inductive thematic analysis to explore his perception of the factors that have influenced him before and during his career. This approach provides a unique insight into the social influences on coaches and how they inform coaches’ personal values. The study revealed a pattern of formative experiences acting on the participant throughout his life and career. Early experiences, exposure to the sport, and contact with significant others have influenced his decision to participate in outdoor adventure sports and allow him to derive satisfaction from passing his knowledge onto others. The value of this single coach’s personal experiences of sport is discussed in relation to the insight they provide into why coaches enter and stay in coaching careers.

scholarly journals Analysis of Soccer Players’ Positional Variability During the 2012 UEFA European Championship: A Case Study

2015 ◽  
Vol 47 (1) ◽  
pp. 225-236 ◽  
Author(s):  
Felipe Arruda Moura ◽  
Juliana Exel Santana ◽  
Nathália Arnosti Vieira ◽  
Paulo Roberto Pereira Santiago ◽  
Sergio Augusto Cunha
Keyword(s):  
Graphical Representation ◽  
Principal Component ◽  
Soccer Players ◽  
Image Processing Algorithm ◽  
Heat Maps ◽  
Soccer Teams ◽  
The Mean ◽  
High Level ◽  
Insight Into

AbstractThe purpose of this study was to analyse players’ positional variability during the 2012 UEFA European Championship by applying principal component analysis (PCA) to data gathered from heat maps posted on the UEFA website. We analysed the teams that reached the finals and semi-finals of the competition. The players’ 2D coordinates from each match were obtained by applying an image-processing algorithm to the heat maps. With all the players’ 2D coordinates for each match, we applied PCA to identify the directions of greatest variability. Then, two orthogonal segments were centred on each player’s mean position for all matches. The segments’ directions were driven by the eigenvectors of the PCA, and the length of each segment was defined as one standard deviation around the mean. Finally, an ellipse was circumscribed around both segments. To represent player variability, segment lengths and elliptical areas were analysed. The results demonstrate that Portugal exhibited the lowest variability, followed by Germany, Spain and Italy. Additionally, a graphical representation of every player’s ellipse provided insight into the teams’ organisational features throughout the competition. The presented study provides important information regarding soccer teams’ tactical strategy in high-level championships that allows coaches to better control team organisation on the pitch.

Margins and Modernity: A Geocritical Approach to Anna Seward's Llangollen Vale

Romanticism ◽  
2019 ◽  
Vol 25 (1) ◽  
pp. 69-80
Author(s):  
Ruth Knezevich
Keyword(s):  
Analytic Approach ◽  
Romantic Era ◽  
Insight Into

The genre of annotated verse represents an under-explored form of transporting romanticism. In annotated, locodescriptive poems like those in Anna Seward's Llangollen Vale, readers are invited to read not only the spatiality of the landscapes depicted in the verse but also the landscape of the page itself. Seward's poems, with their focus on understanding geographical, political, and historical spaces both real and imaginary, provide geocritical insight into poetic productions of the early Romantic era. Likewise, geocriticism offers a fresh and useful – even necessary – analytic approach to such poems. I adopt Anna Seward as a case study in annotated verse and argue that attending to the materiality and paratextuality of her work allows us to access the complexities of her poetry and prose as well as her position within the wider framework of transporting Romanticism.

Transformative Encounters and Uncanny Intimacies: Biotechnology and Contemporary Art – A Practitioner's Approach and Perspective

Somatechnics ◽  
2012 ◽  
Vol 2 (2) ◽  
pp. 263-283 ◽  
Author(s):  
Svenja J. Kratz
Keyword(s):  
Tissue Culture ◽  
Human Skin ◽  
Contemporary Art ◽  
Skin Equivalent ◽  
Biomedical Innovation ◽  
Equivalent Models ◽  
Science Projects ◽  
Insight Into ◽  
Human Skin Equivalent

Abstract: Presented from an ArtScience practitioner's perspective, this paper provides an overview of Svenja Kratz's experience working as an artist within the area of cell and tissue culture at QUT's Institute of Health and Biomedical Innovation (IHBI). Using The Absence of Alice, a multi-medium exhibition based on the experience of culturing cells, as a case study, the paper gives insight into the artist's approach to working across art and science and how ideas, processes, and languages from each discipline can intermesh and extend the possibilities of each system. The paper also provides an overview of her most recent artwork, The Human Skin Equivalent/Experience Project, which involves the creation of personal jewellery items incorporating human skin equivalent models grown from the artist's skin and participant cells. Referencing this project, and other contemporary bioart works, the value of ArtScience is discussed, focusing in particular on the way in which cross-art-science projects enable an alternative voice to enter into scientific dialogues and have the potential to yield outcomes valuable to both disciplines.

Work Life Balance Of Female Crew In The Aviation Industry: A Case Study

GIS Business ◽  
2019 ◽  
Vol 14 (6) ◽  
pp. 206-212
Author(s):  
Dr. D. Shoba ◽  
Dr. G. Suganthi
Keyword(s):  
Family Life ◽  
Work Life ◽  
Work Life Balance ◽  
Aviation Industry ◽  
Life Balance ◽  
International Airport ◽  
Work Pressure ◽  
Women Employees ◽  
High Level

Employees and employers are facing issues in work life balance. It has become a difficult domain now, because the work needs have increased due to an increase in work pressure and complexities in handling the technology. As there are drastic changes in the rules and regulations in the work scenario of the aviation industry, it makes work life balance of employees difficult and set more hurdles. Hence there are many distractions and imbalances in the life of women employees in the aviation industry working across all levels. This work pressure is creating high level of hurdles in maintaining a harmonious job and family life, especially for female aviation employees. Data is collected from 50 female crew members working at Cochin International Airport. The objective of this study is to analyze the work life balance of working females of Cochin International Airport and its influence on their personal and specialized lives. The result of the study shows that the management should frame certain policies which will help employees to have the balance among their personal and expert lives.

Sign in / Sign up

Export Citation Format

Share Document