The Systematic Design of Responsibility Analysis by Abstract Interpretation

Given a behavior of interest, automatically determining the corresponding responsible entity (i.e., the root cause) is a task of critical importance in program static analysis. In this article, a novel definition of responsibility based on the abstraction of trace semantics is proposed, which takes into account the cognizance of observer, which, to the best of our knowledge, is a new innovative idea in program analysis. Compared to current dependency and causality analysis methods, the responsibility analysis is demonstrated to be more precise on various examples. However, the concrete trace semantics used in defining responsibility is uncomputable in general, which makes the corresponding concrete responsibility analysis undecidable. To solve this problem, the article proposes a sound framework of abstract responsibility analysis, which allows a balance between cost and precision. Essentially, the abstract analysis builds a trace partitioning automaton by an iteration of over-approximating forward reachability analysis with trace partitioning and under/over-approximating backward impossible failure accessibility analysis, and determines the bounds of potentially responsible entities along paths in the automaton. Unlike the concrete responsibility analysis that identifies exactly a single action as the responsible entity along every concrete trace, the abstract analysis may lose some precision and find multiple actions potentially responsible along each automaton path. However, the soundness is preserved, and every responsible entity in the concrete is guaranteed to be also found responsible in the abstract.

Հոգևոր մոնոդիան հայ կոմպոզիտորական արվեստում․Հարո Ստեփանյանի առաջին սիմֆոնիան

Հայ հոգևոր երգաստեղծության նմուշները կոմպոզիտորական ստեղծագործության նյութ են դարձել դեռևս XIX դարավերջին։ Հոգևոր մոնոդիայի մուտքը հետկոմիտասյան շրջանի հայ կոմպոզիտորական արվեստ տեղի ունեցավ 1944 թ.․ նորարարական գաղափարի հեղինակը Հարո Ստեփանյանն էր, որն իր Առաջին սիմֆոնիայում ներառեց «Այսօր ժողովեալ» շարականի թեման։ Սույն հոդվածում քննվում են՝ ա․ Հ․ Ստեփանյանի Առաջին սիմֆոնիայում մոնոդիայի գործածման կերպը և զարգացման սկզբունքները, բ․․ շարականի և օրիգինալ թեմատիզմի հարաբերակցությունը ստեղծագործության երաժշտական հորինվածքում, գ․ մոնոդիայի դերն ու նշանակությունը երկի երաժշտական դրամատուրգիայում։ The samples of the Armenian Sacred music tradition became the subject of musical composition at the end of the 19th century. The sacred monody entered into the Armenian composing art of the post-Komitas era in 1944. The author of the innovative idea was Haro Stepanyan, who included the melodic theme of the “Aysōr žōłōveal” šarakan in his First Symphony. This article examines: a) the manner of usage of the monody and the principles of its development in H. Stepanyan’s First Symphony; b) the correlation between the šarakan and the original theme in the musical composition; c) the role and the importance of the monody in the musical dramaturgy of the artwork.

Beyond the Binary: What does it take to tread the ‘Third Way’ of Urban 12 Regeneration in India?

Urbanisation is an inevitable part of India’s growth, which places enormous strain on existing infrastructure and settlements. Although the need for urban renewal or urban regeneration (as contrasted with greenfield development) is clear, it seems current policy and institutional frameworks have yet to offer any significant results. Lack of financial resources is one of the most critical challenges being faced by governments at various levels, and despite sufficient financial means and instruments to develop new infrastructure (such as the FDI, PPP, TDR, and so on), funding channels for urban renewal projects remain almost non-existent within an environment of mutual distrust. Through a discussion of three ongoing projects, the need to explore outside of conventional models will be demonstrated. In essence, this article advocates for an intermediary working structure of PPPP (Public-Private Partnership with the fourth P standing for People), which can be situated between a strict / formal approach and an unregulated / informal one, often referred to in the Indian context to as Jugaad. Though jugaad is typically characterized by ‘ad-hoc-ism’ and informality, the outcomes still provide affordable solutions for stakeholders. Jugaad is notable for both its process-driven approach involving people-to-people collaboration, and its circumvention of the need for reform of the prevailing systemic environment. We suggest, therefore, that Jugaad in urbanism be reconceived as going beyond quick-fixes to serve as a possible model for resolving challenges in a participatory manner, without resorting to rule-bound contracting methods. *Jugaad is a term applied to a creative or innovative idea providing a quick, alternative way of solving or fixing a problem.

Unconventional Waste & Flare Gas Recovery System UFGRS in New Circular Economy

Keeping pace with the rest of the world on reducing the greenhouse gas emission, Saudi Aramco embarked on an aggressive program to minimize or cut routine flaring and energy resources used in producing oil and gas through policies, standards and inhouse innovations. The innovative Unconventional Waste & Flare Gas Recovery System UFGRS has supported the corporate strategy to minimize or eliminate routine flaring with minimum CAPEX and OPEX. This paper present in detail the innovative Ejector Based Unconventional Waste/Flare Gas Recovery System (UFGRS) without using gas compressors. The objective of the project is to eliminate the hydrocarbon gas release to atmosphere for any upset flameout scenario from GOSP-A massive flare & relief system and continuously recover 1.825 Billion Standard Cubic Feet per year (1.825 BSCFY) of valuable purge gas with the lowest CAPEX and OPEX. Conventional Flare Gas Recovery System (FGRS) using gas compressors is the normal choice deployed in many facilities to recover the routine gas flaring but it was found to have high CAPEX and OPEX (maintenance, high power consumption & labor intensive) compared to the value of the recovered gas. Also, the compressors based FGRS is more complex and less reliable than the ejector (static) based FGRS. In addition, the innovative FGRS is capable of handling high turndown ratios compared to convention compressor based FGRS. Also, additional innovative parts of this idea is the integration with the existing compression system and the use of only static equipment like ejectors, pipes, valves and water seal drums to recover the waste/flare gas. The idea has very low operating cost compared to conventional flare gas recovery systems, apart from significant gas savings. The unconventional FGRS system was proven successfully in December 2020. The system is currently in operation for 8 months without any interruption and managed to eliminate the total design routine gas flaring rate of 1.825 BSCFY GOSP-A producing facilities. Also, the project resulted in reducing CO2 emission by 106,000 ton/year which positively contributed to the kingdom circular economy initiatives. To further enhance the ejector based FGRS, a US Patent No. 10,429,067 was granted in October 2019 to utilize the Ejector based FGRS concept for Emergency flare gas recovery. The innovative idea includes utilizing multiple ejectors in parallel with provision of different ejectors operating at different pressures that will allow the system to be used to recover flare gas over a range of different flow rates corresponding to different emergency release scenarios. Also, two new patents are under filing to utilize the liquid as motive fluid instead of the gas.

Developing a Smart Helmet Based on the Internet of Things to Manage Hearing Problems in the Construction Projects

Construction sites are renowned as the noisiest places that may cause hearing loss to workers. Lack of awareness about the level of harmful sounds causes more prevalence of hearing loss than other industries. This article intends to solve this issue by an innovative idea that is designing a wearable device called "smart helmet" (SH). The SH uses the concept of the Internet of things (IoT) for real-time monitoring workers' hearing health in construction sites. SH works online to send notifications in the presence of harmful sounds and offline due to storing data to analyse workers' health conditions. The results are divided into two sections: The first section presents the detail of the architecture, hardware and software of the SH and the second section offers a formula to convert noisy situations into allowable working time. By combining the proposed procedure and SH's prepared data, the allowable working time can be calculated for workers. The results of applying this device in practical projects show that steelworkers are more at risk than the others with exposure to 98 dB sounds.

Effectiveness of Modified Hybrid Brainstorming Learning Program in Increasing Innovative Work Behavior and Innovative Idea Performance among Nurses

The ability to learn and innovate has been known as a key-factor for nurses to deliver quality of care and patient safety. To be successful in nursing innovation, nurses should perform sound innovative behaviors; thus, their innovative work behavior (IWB) should be promoted. A comprehensive learning program aimed at improving IWB with effective cognitive stimulation could enhance innovation abilities and quality of innovative idea performance. This study aimed to evaluate the effectiveness of a learning program that uses Modified Hybrid Brainstorming (MHB) techniques in increasing IWB and improving the quality of ideas generated (fluency, flexibility and originality) among nurses. A sample of 60 nurses were randomly assigned to a within group pre-test and post-test study design. The learning program with the MHB method was developed and implemented for 3 sessions workshop. IWB was measured pre- and 12 weeks post-program. Pre- and post-training session fluency, flexibility, and originality of generated ideas were also measured. The percentage of absolute agreement and the index of item- objective congruence of research instruments were met. Data were analyzed using descriptive statistics, and paired t-test. The results revealed that the average IWB scores of nurses after the implementation of the MHB learning program increased significantly (p < 0.05). There was also a significant difference in post-test scores (p < 0.05) of fluency, flexibility, and originality of ideas. This study showed that offering the MHB learning program to nurses is a feasible method to improve IWB and innovative idea.

A Grounded Theory of Preneurial Agency in Information Technology Creation

<p>The purpose of this study was to examine how entrepreneurs act to bring an Information Technology-based innovation into being. Successful realisation of such innovations requires collective effort, involving resources and actors both internal and external to the entrepreneur‘s own venture (Van de Ven, 1993a, 2005; Lavie, 2006). The study is qualitative in nature and uses the Glaserian variant of the grounded theory method to collect and analyse data obtained from interviewing entrepreneurs, intrapreneurs, and collective agents involved in creating IT innovation. Through undertaking open, selective, and theoretical coding and the process of constant comparative analysis, the research produces a substantive theory for explaining: A Grounded Theory of Preneurial Agency in IT Creation. The Grounded Theory of Preneurial Agency in IT Creation accounts for the actions of both entrepreneurs and intrapreneurs who are jointly called ―preneurs‖ within this study, and their interaction with collective agents to create IT innovation. The process of preneurial agency, the actions the preneur undertakes to create the innovative idea and make it a tangible reality, is shown as a triality involving the combined agency of the preneur and collective agents interacting within social structures established by the preneur. To support this abstracted view of entrepreneurship, the study develops and defines a family of terms to describe the process of preneurship, the preneur, preneurial agency, and the preneurial ba within which the actors interact to create IT-based innovation. The value of the research lies in its view of the preneur‘s process of transition from entrepreneur to intrapreneur and to institutional actor; and how the actions of both the entrepreneur and intrapreneur to create IT innovation can be shown in an abstracted process of preneurial agency. It is expected that through the application of a specific set of actions, presented in The Grounded Theory of Preneurial Agency in IT Creation as six theoretical propositions, practitioners will be better able to inform their practice, and enhance the self management of their preneurial agency and interaction with collective agents.</p>

A Grounded Theory of Preneurial Agency in Information Technology Creation

<p>The purpose of this study was to examine how entrepreneurs act to bring an Information Technology-based innovation into being. Successful realisation of such innovations requires collective effort, involving resources and actors both internal and external to the entrepreneur‘s own venture (Van de Ven, 1993a, 2005; Lavie, 2006). The study is qualitative in nature and uses the Glaserian variant of the grounded theory method to collect and analyse data obtained from interviewing entrepreneurs, intrapreneurs, and collective agents involved in creating IT innovation. Through undertaking open, selective, and theoretical coding and the process of constant comparative analysis, the research produces a substantive theory for explaining: A Grounded Theory of Preneurial Agency in IT Creation. The Grounded Theory of Preneurial Agency in IT Creation accounts for the actions of both entrepreneurs and intrapreneurs who are jointly called ―preneurs‖ within this study, and their interaction with collective agents to create IT innovation. The process of preneurial agency, the actions the preneur undertakes to create the innovative idea and make it a tangible reality, is shown as a triality involving the combined agency of the preneur and collective agents interacting within social structures established by the preneur. To support this abstracted view of entrepreneurship, the study develops and defines a family of terms to describe the process of preneurship, the preneur, preneurial agency, and the preneurial ba within which the actors interact to create IT-based innovation. The value of the research lies in its view of the preneur‘s process of transition from entrepreneur to intrapreneur and to institutional actor; and how the actions of both the entrepreneur and intrapreneur to create IT innovation can be shown in an abstracted process of preneurial agency. It is expected that through the application of a specific set of actions, presented in The Grounded Theory of Preneurial Agency in IT Creation as six theoretical propositions, practitioners will be better able to inform their practice, and enhance the self management of their preneurial agency and interaction with collective agents.</p>

A Brief Review on Challenges in Design and Development of Nanorobots for Medical Applications

Robotics is a rapidly growing field, and the innovative idea to scale down the size of robots to the nanometer level has paved a new way of treating human health. Nanorobots have become the focus of many researchers aiming to explore their many potential applications in medicine. This paper focuses on manufacturing techniques involved in the fabrication of nanorobots and their associated challenges in terms of design architecture, sensors, actuators, powering, navigation, data transmission, followed by challenges in applications. In addition, an overview of various nanorobotic systems addresses different architectures of a nanorobot. Moreover, multiple medical applications, such as oncology, drug delivery, and surgery, are reviewed and summarized.