STUDI PERNYATAAN VISI, MISI, STRATEGIC OBJECTIVES DAN PEMETAAN POLA SEBARAN PADA INDUSTRI OTOMOTIF (TAHUN 2007-2016)

The vision statement, mission, and strategic objectives are mandatory requirements that must be formally in the organization. The object of this research is 14 companies of automotive industry and leasing on Indonesia Stock Exchange (BEI). This study aims to determine the general description of vision, mission, and strategic objectives with normative norms, and to know the mapping pattern distribution. The research method used is qualitative descriptive method with data collection technique using literature study. Data analysis techniques used in the form of tabulation matrix of vision, mission, and strategic objectives at the company. The company's vision statement on the automotive industry has been effective, while the mission and strategic objectives have not been effective. All companies in the automotive industry have formal statements or fulfill normative norms of vision statement, while for mission and strategic objectives the majority of companies do not have formal statements or have not fulfilled normative norms of mission statement and strategic obejectives. The pattern of distribution of the vision, mission, and strategic objectives matrix in this industry shows a high pattern for vision, but low trends for mission and strategic objectives. Suggestions for reviewing the vision, mission, and strategic objectives to meet all normative characteristics and for subsequent researchers to use triangulation to reduce bias

Shades of Iteration: from Elgot to Kleene

Notions of iteration range from the arguably most general Elgot iteration to a very specific Kleene iteration. The fundamental nature of Elgot iteration has been extensively explored by Bloom and Esik in the form of iteration theories, while Kleene iteration became extremely popular as an integral part of (untyped) formalisms, such as automata theory, regular expressions and Kleene algebra. Here, we establish a formal connection between Elgot iteration and Kleene iteration in the form of Elgot monads and Kleene monads, respectively. We also introduce a novel class of while-monads, which like Kleene monads admit a relatively simple description in algebraic terms. Like Elgot monads, while-monads cover a large variety of models that meaningfully support while-loops, but may fail the Kleene algebra laws, or even fail to support a Kleen iteration operator altogether.Comment: Extended version of the accepted one for "Recent Trends in Algebraic Development Techniques - 26th IFIP WG 1.3 International Workshop, WADT 2022

Model-based dependability analysis : state-of-the-art, challenges and future outlook

Abstract: Over the past two decades, the study of model-based dependability analysis has gathered significant research interest. Different approaches have been developed to automate and address various limitations of classical dependability techniques to contend with the increasing complexity and challenges of modern safety-critical system. Two leading paradigms have emerged, one which constructs predictive system failure models from component failure models compositionally using the topology of the system. The other utilizes design models - typically state automata - to explore system behaviour through fault injection. This paper reviews a number of prominent techniques under these two paradigms, and provides an insight into their working mechanism, applicability, strengths and challenges, as well as recent developments within these fields. We also discuss the emerging trends on integrated approaches and advanced analysis capabilities. Lastly, we outline the future outlook for model-based dependability analysis

New Species in the Old World: Europe as a Frontier in Biodiversity Exploration, a Test Bed for 21st Century Taxonomy

The number of described species on the planet is about 1.9 million, with ca. 17,000 new species described annually, mostly from the tropics. However, taxonomy is usually described as a science in crisis, lacking manpower and funding, a politically acknowledged problem known as the Taxonomic Impediment. Using data from the Fauna Europaea database and the Zoological Record, we show that contrary to general belief, developed and heavily-studied parts of the world are important reservoirs of unknown species. In Europe, new species of multicellular terrestrial and freshwater animals are being discovered and named at an unprecedented rate: since the 1950s, more than 770 new species are on average described each year from Europe, which add to the 125,000 terrestrial and freshwater multicellular species already known in this region. There is no sign of having reached a plateau that would allow for the assessment of the magnitude of European biodiversity. More remarkably, over 60% of these new species are described by non-professional taxonomists. Amateurs are recognized as an essential part of the workforce in ecology and astronomy, but the magnitude of non-professional taxonomist contributions to alpha-taxonomy has not been fully realized until now. Our results stress the importance of developing a system that better supports and guides this formidable workforce, as we seek to overcome the Taxonomic Impediment and speed up the process of describing the planetary biodiversity before it is too late

The Most Influential Paper Gerard Salton Never Wrote

Gerard Salton is often credited with developing the vector space model (VSM) for information retrieval (IR). Citations to Salton give the impression that the VSM must have been articulated as an IR model sometime between 1970 and 1975. However, the VSM as it is understood today evolved over a longer time period than is usually acknowledged, and an articulation of the model and its assumptions did not appear in print until several years after those assumptions had been criticized and alternative models proposed. An often cited overview paper titled ???A Vector Space Model for Information Retrieval??? (alleged to have been published in 1975) does not exist, and citations to it represent a confusion of two 1975 articles, neither of which were overviews of the VSM as a model of information retrieval. Until the late 1970s, Salton did not present vector spaces as models of IR generally but rather as models of specifi c computations. Citations to the phantom paper refl ect an apparently widely held misconception that the operational features and explanatory devices now associated with the VSM must have been introduced at the same time it was fi rst proposed as an IR model.published or submitted for publicatio

Automated analysis of feature models: Quo vadis?

Feature models have been used since the 90's to describe software product lines as a way of reusing common parts in a family of software systems. In 2010, a systematic literature review was published summarizing the advances and settling the basis of the area of Automated Analysis of Feature Models (AAFM). From then on, different studies have applied the AAFM in different domains. In this paper, we provide an overview of the evolution of this field since 2010 by performing a systematic mapping study considering 423 primary sources. We found six different variability facets where the AAFM is being applied that define the tendencies: product configuration and derivation; testing and evolution; reverse engineering; multi-model variability-analysis; variability modelling and variability-intensive systems. We also confirmed that there is a lack of industrial evidence in most of the cases. Finally, we present where and when the papers have been published and who are the authors and institutions that are contributing to the field. We observed that the maturity is proven by the increment in the number of journals published along the years as well as the diversity of conferences and workshops where papers are published. We also suggest some synergies with other areas such as cloud or mobile computing among others that can motivate further research in the future.Ministerio de Economía y Competitividad TIN2015-70560-RJunta de Andalucía TIC-186

Using a Multiple-Case Studies Design to Investigate the Information-Seeking Behavior of Arts Administrators

The case study method, and in particular the multiple???case studies design, offers LIS researchers a proven tool for achieving a deep understanding of a specific phenomenon???-for example, the information- seeking behavior of a particular user group. Although the case study method has been dismissed by critics who question the rigor of the approach, numerous studies over the past twenty years have demonstrated that the case study method can be used successfully to probe beneath the surface of a situation and to provide a rich context for understanding the phenomena under study. This article summarizes the application of the multiple???case studies design, in which a literal and theoretical replication strategy is used to identify consistent patterns of behavior and to uncover new and/or divergent themes. The motivation behind arts administrators??? decisions to seek information is investigated using this approach and examples are given of sample selection, data collection, and analysis. Specific issues associated with the case study method are identified and practical steps used to address them are suggested.published or submitted for publicatio