Catalogue Search | MBRL
Are you sure you want to remove the book from the shelf?
{{itemTitle}}
1,592
result(s) for
"Formalization"
Sort by:
Shaping and Being Shaped
As new roles emerge in organizations, it becomes critical to understand how organizational structure can impede or enable the managerial discretion available to role incumbents. We leverage the rich context provided by the emergent role of sustainability managers to examine the interplay between the topdown forces of structure and the bottom-up influences of managerial discretion in shaping new organizational roles over time. We analyzed qualitative data collected from in-depth interviews with sustainability managers in 21 case study organizations in India and Australia, supplemented with archival and observational data. We identified three organizational configurations, with varying levels of top-down structural and bottom-up managerial discretion dynamics at play. Each configuration had different implications for the manager’s role. Our analysis suggests that the third configuration—with semi-structured formalization and a decentralized sustainability program—provided the most conducive conditions for managers to use their discretion to champion innovative sustainability initiatives. New managerial roles in the other configurations, however, do not have to be static. With the maturation of organizational programs and active championing by managers, the structuring of organizational functions and managerial roles can co-evolve. Our findings describe a process of \"shaping and being shaped,\" as structure and managerial discretion co-evolve over time.
Journal Article
Static Analysis of Information Systems for IoT Cyber Security: A Survey of Machine Learning Approaches
Ensuring security for modern IoT systems requires the use of complex methods to analyze their software. One of the most in-demand methods that has repeatedly been proven to be effective is static analysis. However, the progressive complication of the connections in IoT systems, the increase in their scale, and the heterogeneity of elements requires the automation and intellectualization of manual experts’ work. A hypothesis to this end is posed that assumes the applicability of machine-learning solutions for IoT system static analysis. A scheme of this research, which is aimed at confirming the hypothesis and reflecting the ontology of the study, is given. The main contributions to the work are as follows: systematization of static analysis stages for IoT systems and decisions of machine-learning problems in the form of formalized models; review of the entire subject area publications with analysis of the results; confirmation of the machine-learning instrumentaries applicability for each static analysis stage; and the proposal of an intelligent framework concept for the static analysis of IoT systems. The novelty of the results obtained is a consideration of the entire process of static analysis (from the beginning of IoT system research to the final delivery of the results), consideration of each stage from the entirely given set of machine-learning solutions perspective, as well as formalization of the stages and solutions in the form of “Form and Content” data transformations.
Journal Article
Going Underground: Bootlegging and Individual Innovative Performance
To develop innovations in large, mature organizations, individuals often have to resort to underground, “bootleg” research and development (R&D) activities that have no formal organizational support. In doing so, these individuals attempt to achieve greater autonomy over the direction of their R&D efforts and to escape the constraints of organizational accountability. Drawing on theories of proactive creativity and innovation, we argue that these underground R&D efforts help individuals to develop innovations based on the exploration of uncharted territory and delayed assessment of embryonic ideas. After carefully assessing the direction of causality, we find that individuals’ bootleg efforts are associated with achievement of high levels of innovative performance. Furthermore, we show that the costs and benefits of bootlegging for innovation are contingent on the emphasis on the enforcement of organizational norms in the individual’s work environment; we argue and demonstrate empirically that the benefits of an individual’s bootlegging efforts are enhanced in work units with high levels of innovative performance and which include members who are also engaged in bootlegging. However, during periods of organizational change involving formalization of the R&D process, individuals who increase their bootlegging activities are less likely to innovate. We explore the implications of these findings for our understanding of proactive and deviant creativity.
Journal Article
Understanding Variation in Managers' Ambidexterity: Investigating Direct and Interaction Effects of Formal Structural and Personal Coordination Mechanisms
Previous research focuses on firm and business unit level ambidexterity. Therefore, conceptual and empirically validated understanding about ambidexterity at the individual level of analysis is very scarce. This paper addresses this gap in the literature by investigating managers' ambidexterity, delivering three contributions to theory and empirical research on ambidexterity: first, by proposing three related characteristics of ambidextrous managers; second, by developing a model and associated hypotheses on both the direct and interaction effects of formal structural and personal coordination mechanisms on managers' ambidexterity; and third, by testing the hypotheses based on a sample of 716 business unit level and operational level managers.
Findings regarding the formal structural mechanisms indicate that a manager's decision-making authority positively relates to this manager's ambidexterity, whereas formalization of a manager's tasks has no significant relationship with this manager's ambidexterity. Regarding the personal coordination mechanisms, findings indicate that both the participation of a manager in cross-functional interfaces and the connectedness of a manager to other organization members positively relate to this manager's ambidexterity. Furthermore, results show positive interaction effects between the formal structural and personal coordination mechanisms on managers' ambidexterity. The paper's theoretical contributions and empirical results increase our understanding about managers' ambidexterity and about how different types and combinations of coordination mechanisms relate to variation in managers' ambidexterity.
Journal Article
TacticToe: Learning to Prove with Tactics
We implement an automated tactical prover TacticToe on top of the HOL4 interactive theorem prover. TacticToe learns from human proofs which mathematical technique is suitable in each proof situation. This knowledge is then used in a Monte Carlo tree search algorithm to explore promising tactic-level proof paths. On a single CPU, with a time limit of 60 s, TacticToe proves 66.4% of the 7164 theorems in HOL4’s standard library, whereas E prover with auto-schedule solves 34.5%. The success rate rises to 69.0% by combining the results of TacticToe and E prover.
Journal Article
The role of institutional trust in the formalization of women’s savings and loans groups: Experiences from the Nigeria for Women Project version 1; peer review: awaiting peer review
This paper presents evidence on the role of institutional trust in the formation and formalization of government-supported women’s savings groups, known as Women Affinity Groups (WAGs) and implemented through the Nigeria for Women Project (NFWP). While existing research has shown the vital role of peer trust in the operation and effectiveness of savings groups, less is known about how institutional trust affects the formalization and scale up of savings groups. This paper examines how underlying drivers of institutional trust and mistrust shape savings group formalization processes and outcomes. In-depth interviews and focus group discussions with participants, community members, and staff of the NFWP suggest that project implementers were able to overcome initial mistrust of the NFWP by leveraging community structures, demonstrating consistency, and providing promised services. Community mobilization through reputable social networks contributed to the facilitation of group formation, which in turn helped address challenges associated with a weak institutional environment and poor experiences with previous livelihood interventions. A demonstrated record of success also enabled building the credibility of the project.
Journal Article
To Formalize or Not to Formalize: Women Entrepreneurs' Sensemaking of Business Registration in the Context of Nepal
Despite the depiction of decisions to formalize informal firms as rational and ethical, many entrepreneurs in developing countries continue to operate informally regardless of its perceived illicit status. While existing research on why entrepreneurs choose informality emphasizes the economic costs and benefits of such decisions, this often overlooks the realities of the informal economy and the constraints which marginal populations—particularly women—face. In this paper, we use institutional theory and sensemaking to understand the experiences of women in the informal economy and what formalization means to them. We use a qualitative approach to collect data from 90 women entrepreneurs in three different cities in Nepal. In our findings we identify three groups of women with distinctive understandings of formalization—business sustainability, livelihood sufficiency and strategic alignment. Their interpretation of formalization reveals the complex, dynamic, and cyclical nature of formalization decisions. Decisions are also guided by the optimization of social and emotional logics, whereby formalization is conceived differently depending on different life stages, experiences within the informal economy and wider socio-cultural contexts. Our findings highlight the ethical implications of formalization where being a 'good citizen', rather than complying with formal rules and regulations, is about attuning to and fitting in with socially prescribed roles. Our research provides a nuanced view of formalization decisions, challenging idealized and ethical notions of formalization as a desired end state.
Journal Article