Program Execution Research Articles

The influence of actors on the content and execution of a bereavement programme: a Bourdieu-inspired ethnographical field study in Sweden

IntroductionThe death of a parent can have profound negative impacts on children, and a lack of adequate support can exacerbate negative life experiences.AimTo explore the influences of various actors on the content and execution of a bereavement programme within a Swedish context, considering relational and contextual perspectives.MethodsAn ethnographic field study involving six children, their parents, and eight volunteers. A theory-inspired thematic analysis was conducted, methodically inspired by Braun and Clarke, theoretically inspired by Bourdieu’s concepts of position, power, and capital.ResultsConfidentiality obligation was an essential element in the programme, however, the premisses varied depending on actors’ positions. Volunteers and researchers had different outlets to express their experiences in the program. The programme offered the children an exclusive space for talking about and sharing experiences and feelings. Simultaneously, the programme restricted the children by not allowing them to share their experiences and feelings outside the physical space. The physical settings shaped the different conditions for interactions among the actors. The sessions adopted loss-oriented approaches, where communication between volunteers and children was guided by the volunteers. However, children created strategies for additional, voiceless communication with their peers or themselves. During breaks and mingles, shared interests or spaces connected children (and adults) more than their common experience of parental bereavement.ConclusionThe participants in the programme were significantly influenced by the structural framework of the programme, and their positions within the programme provided them with different conditions of possibility for (inter)acting. Children’s daily activities and interests were both ways to cope with parental bereavement and connect them to other people.

Manajemen Marketing Madrasah Melalui Teknologi Informasi Dan Komunikasi di MA Hidayatul Mubtadiin Jati Agung Lampung Selatan

The point of this examination is to decide and break down the preparation, execution and assessment of madrasa showcasing the executives through data and correspondence innovation at Madrasah Aliyah Hidayatul Mubtadiin Jati Agung South Lampung. This sort of exploration is subjective examination, the technique utilized in this exploration utilizes perception, meetings and documentation. The information sources in this examination are essential and optional exploration sources. The information investigation procedure utilized is an intuitive model and information triangulation to really look at the legitimacy of the information. The exploration results show that 1) Mama Hidayatul Mubtadiin's new understudy confirmations advertising arranging (PPDB) is the most vital phase in the understudy affirmations process. The initial step is vital, on the grounds that the initial step is important for the interaction that will prompt the eventual outcome. Figuring out a promoting program execution plan zeros in additional on tips, strategies, procedures or methodologies that are successful, effective and adaptable to carry out. Execution arranging should think about time distribution, accessibility of assets, HR, offices, etc. 2) Execution of Mama Hidayatul Muntadiin's showcasing through data and correspondence innovation by carrying out a blend, in particular item, value, spot and advancement. In the interim, the media utilized for madrasa advertising are handouts and the web like sites, WA, Instagram, Facebook, TV and papers. 3) Assess the advertising system or execution associated with showcasing, by taking a gander at the degree of promoting exercises that have been carried out, by proceeding with exercises that have been generally answered by the general population.

A method for analyzing the impact of SEUs on satellite networks from the perspective of distributed routing

Single event upset (SEU) refers to the change in the state of a digital circuit caused by a single, energetic particle passing through the sensitive area of semiconductor components. In the space environment, cosmic rays and high-energy particles may lead to SEUs, which can cause failures of routing functions, such as forwarding errors, in satellite networks. This paper focuses on the impact of SEUs on satellite networks from the perspective of distributed routing. The influence of SEUs on a single satellite can easily spread to the entire satellite network through distributed routing, which can influence the reliability of the satellite network. We propose a framework for the reliability analysis of satellite networks under the impact of SEUs. According to the influence of SEUs on the execution of routing programs in different routing phases, we present the error propagation model of satellite networks for understanding SEUs in satellite network routing. We found that all the influences on program execution ultimately converge on data forwarding and can be reflected in the proposed path topology graph. Therefore, we propose an algorithm that can evaluate the impact of SEUs on satellite networks by analyzing the path topology graphs in both normal and SEU scenarios. The feasibility and effectiveness of the proposed method is demonstrated by experiments. The proposed method could provide a new perspective and theoretical basis for research on secure routing mechanisms and program/instruction reinforcement.

Implementation outcomes of the Philadelphia Police School Diversion Program: A school-based alternative-to-arrest initiative

ABSTRACT Evaluations of juvenile and criminal legal system programs typically focus on outcomes related to program impacts, or effectiveness. However, implementation outcomes – which relate to the processes underlying program execution – are equally as critical to determining program success. Adding to the burgeoning interest in applying implementation science principles to legal system interventions, the current study examined implementation outcomes of the Philadelphia Police School Diversion Program – a school-based, alternative-to-arrest program that has already demonstrated promising effectiveness outcomes. Through qualitative analysis of semi-structured interviews with 11 school and police stakeholders and quantitative analysis of police data for 2,047 school-based arrests in Philadelphia that occurred during the first five years of program operation, we explored outcomes related to Diversion Program adoption, appropriateness, acceptability, fidelity, penetration/reach, and sustainability, as well as stakeholder thoughts about program expansion and replication. Results revealed several important components of program implementation that contributed to its widespread adoption and sustained operations.

An Equity-Focused Assessment of Evidence-Based Parenting Intervention Research

Evidence-based parenting interventions (EBPI) support children and families to promote resilience, address emotional and behavioral concerns, and prevent or address issues related to child maltreatment. Critiques of EBPIs include concerns about their relevance and effectiveness for diverse populations when they are implemented at population scale. Research methods that center racial equity and include community-based participatory approaches have the potential to address some of these concerns. The purpose of the present review was to document the extent to which methods associated with promoting racial equity in research have been used in studies that contribute to the evidence base for programs that meet evidentiary standards for a clearinghouse that was developed to support the Family First Prevention Services Act in the United States. We developed a coding system largely based on the Culturally Responsive Evaluation model. A sample of 47 papers that are part of the evidence base for ten in-home parent skill-based programs were reviewed and coded. Only three of 28 possible codes were observed to occur in over half of the studies (including race/ethnicity demographic characteristics, conducting measure reliability for the study sample, and including information on socioeconomic status). Although the overall presence of equity-informed methods was low, a positive trend was observed over time. This review highlights ways in which rigorous research can incorporate racial equity into the planning, design, execution, and interpretation and dissemination of programs of study. We posit that doing so improves the external validity of studies while maintaining high-quality research that can contribute to an evidence base.

Source code obfuscation with genetic algorithms using LLVM code optimizations

Abstract With the advent of the cloud computing model allowing a shared access to massive computing facilities, a surging demand emerges for the protection of the intellectual property tied to the programs executed on these uncontrolled systems. If novel paradigm as confidential computing aims at protecting the data manipulated during the execution, obfuscating techniques (in particular at the source code level) remain a popular solution to conceal the purpose of a program or its logic without altering its functionality, thus preventing reverse-engineering on the program even with the help of computing resources. The many advantages of code obfuscation, together with its low cost, makes it a popular technique. This paper proposes a novel methodology for source code obfuscation that can be used together with other traditional obfuscation techniques, making the code more robust against reverse engineering attacks. Three program complexity metrics are used to define three different single-objective combinatorial optimization versions of the problem, which are solved and analysed. Additionally, three multi-objective problems are defined, those considering each of the selected metrics together with the program execution time, in order to avoid strong obfuscations penalizing the performance. The goal of the defined problems is to find sequences of LLVM optimizations that lead to highly obfuscated versions of the original code. These transformations are applied to the back-end pseudo-assembly code (i.e., LLVM Intermediate Representation), thus avoiding any further optimizations by the compiler. Classical genetic algorithms (GAs) are used to solve the studied problems, namely a basic cellular GA for the single-objective problems and the popular NSGA-II for the multi-objective ones. The promising results show the potential of the proposed technique.

Measuring the Critical Success Factor of Safety Program in Drilling and Well Intervention Operation at PT. MHK, Ltd.

The drilling and well intervention division implements various safety initiatives to prevent incidents. Despite its multiple activities, an assessment has yet to be conducted to determine the program’s efficacy. This paper aims to determine the elements that impact the effectiveness of safety program execution in drilling and well intervention operations in MHK, Ltd. The Author conducted measurements utilizing variables related to the critical success factor of the safety program, as outlined in the cross-reference research article. Subsequently, the author introduces a system of incentives in variables quantified as a novelty of this research based on input from subject matter experts. By understanding the variables that influence the efficacy of the safety campaign, the safety campaign initiatives will be more focused on mitigating accidents within the drilling and well intervention divisions. The research was conducted utilizing a quantitative approach, where data was gathered through a questionnaire that employed a Likert scale. The population comprises individuals employed in the Drilling and Well Intervention roles at many locations, including the site, field, barge, rig, and town. The data is further analyzed using the Partial Least Squares Structural Equation Modelling (PLS-SEM) technique, employing the smartPLS4 software. The study findings indicated that three out of five variables examined had a favorable and significant impact on the efficacy of the safety program at DWI MHK, Ltd.: management commitment, reward and punishment, and safety arrangement. We propose strengthening identified elements and addressing weaknesses, including utilizing digitalization and artificial intelligence for safety monitoring.

Extracting high-level activities from low-level program execution logs

Extracting high-level activities from low-level program execution logs

Carbon stock, density, and biomass of seagrass in South Bangka, Indonesia

Abstract. Supratman O, Farhaby AM, Henri, Septiyati MU, Adi W. 2024. Carbon stock, density, and biomass of seagrass in South Bangka, Indonesia. Biodiversitas 25: 1736-1742. As a component of the carbon ecosystem, seagrass meadows play a crucial role in preventing climatic change. The execution of Indonesian programs pertaining to carbon economic value, carbon trading, and other endeavors aimed at attaining the Nationally Determined Contribution (NDC) requires estimated data on seagrass carbon stocks. The present study investigates the seagrass density, vegetation carbon stock, and sediment carbon stock of South Bangka, Indonesia. The investigation is carried out in the following stages: i) data collection on-site, ii) laboratory sample analysis, and iii) data analysis. The accumulation of data on-site utilizes a square transect method, which includes the gathering of sediment, sample biomass, and density information. The carbon composition of sediment and seagrass vegetation is ascertained through laboratory analysis employing the Loss of Ignition (LOI) method. The investigation uncovered eight species of seagrass in South Bangka. Cymondocea rotundata, Enhalus acoroides, Halophila ovalis, Halodule pinifolia, Halodule uninervis, Oceana serrulata, Siringodium isotifolium, and Thalassia Hemprichii are the identified species of seagrass. In South Bangka, the combined carbon stock of seagrass (above and below ground carbon) varies between 0.049±0.057 and 1.323±1.581 Mg C Ha-1. The range of sediment carbon is 110.53±42.07 Mg Corg Ha-1 extrapolated to a depth of 1 m. The results of this study suggest that the seagrass meadows in South Bangka are characterized by a significant species diversity and effectively sequester carbon in the form of biomass and sediment. This supports the National Climate Change Mitigation Program for Blue Carbon Ecosystems, an initiative that seeks to mitigate the adverse effects of climate change by utilizing the carbon sequestration capabilities of mangrove forests, seagrass meadows, and tidal marshes.

Dialogue in the Dark Malaysia: reimagining an inclusive society through social innovation

Research methodology This case was developed via primary data collected from personal (one to one) interview with the CEO and founder of Dialogue in the Dark Malaysia (Dialogue Malaysia), Stevens Chan. With Stevens’ contact, the authors also conducted personal interviews with Kaye Chan (co-founder and wife of Stevens Chan), Lynn Foo (project manager since inception until early 2022) and Dr Foo Yin Fah (academic researcher in social entrepreneurship and advisor for Dialogue Malaysia). Secondary data included reports on visually impaired context in Malaysia, Dialogue Malaysia’s annual reports and online articles. Prior to the primary data collection, the authors obtained ethics approval from the University Human Ethics Committee (Project ID: 35461). Case overview/synopsis This case narrative focuses on Stevens Chan, a blind social entrepreneur who champions the empowerment of the disabled and marginalised community. Through a social franchising model, Stevens founded Dialogue in the Dark Malaysia in 2012. As a social start-up, Stevens showcases the strengths of blind and visually impaired individuals through transformative experiential encounters and reimagining future possibilities. Although there are constant challenges in securing financial and human capital, Stevens never lacks psychological capital, characterised by hope, self-efficacy, optimism and resilience. His vision is to educate society on the power of empathy (and not sympathy) and to create a holistic experience of celebrating diversity and inclusion through an innovative discovery centre, where the elderly and the disabled community (including the deaf, mute and those with mobility issues) share their lives with the public through fun activities. However, the future of this social enterprise is uncertain, and this case invites participants to embark on this journey with Stevens to uncover future pathways for growth and social impact. Complexity academic level The case is tailored for higher level undergraduates and entry-level and mid-level managers of executive education programs.

The effectiveness of an executive function program for individuals diagnosed with autism spectrum disorder

AbstractAutistics/individuals with autism spectrum disorder (ASD) commonly display deficits in executive functioning. These deficits negatively impact social success and the autistic's/individual with ASD's ability to form meaningful friendships. Yet, there is limited research provided for the effective teaching of executive functioning skills to autistics/individuals with ASD. The current study provides an evidence‐based behavior analytic approach for developing executive functioning skills for autistics/individuals diagnosed with ASD. The study also provides the preliminary steps to creating a curriculum that is easy to implement and uses minimal resources. Finally, the study extends current literature on the Teaching Interaction Procedure (TIP) and evaluates the effectiveness of the TIP for developing executive functioning skills for older children diagnosed with ASD. The executive function program resulted in acquisition of all six targeted executive functioning skills for all the participants. While generalization and maintenance data were slightly variable across participants, all three participants displayed improvement in executive functioning skills following the implementation of the executive function program and a social validity assessment indicated that the participants were satisfied with the skills taught, the treatment, and the outcomes.

The role of generation Z media literacy in confronting the destructive value messages of digital media

Introduction. Today, the Internet environment has become a usual place of living and working for Generation Z. Digital media have created a unique digital environment adapted to the most diverse requests and needs of the new generation. However, in addition to its constructive capacity and boundless opportunities for education, the digital environment has a negative impact on the value orientations and priorities of the younger generation. The aim of this article is to review the studies on the role of media literacy in countering the negative effects and destructive value messages in digital media, as well as to summarize current trends and educational solutions in teaching media literacy. Materials and methods. The methodological basis of the research includes general scientific methods such as analysis, synthesis, induction, deduction, description, philosophical methods (hermeneutics, dialectics), social and pedagogical methods. Materials of the research are articles from Russian and foreign periodicals published mainly for the last 5 years. The main source of data was the analysis of publications in the search engine for world scientific publications Google Scholar. The search for publications was additionally carried out through electronic scientific libraries Elibrary. ru, CyberLeninka, and ResearchGate. Research results. The increasing complexity and growth of the destructive influence of digital media on the young generation determines the principles of developing and shaping the content and focus of modern media education. The development of media literacy should be carried out according to the age, value, and motivational features of personal development at all levels of education, combining technological, cognitive, social, and ethical components of media competence. Conclusion. The development and execution of media literacy projects and educational programs aimed at developing media literacy and increasing resistance to manipulative and destructive content of digital media is an urgent research and practical task, especially in the context of the experimental-evidence-based paradigm. Today, under conditions of increasing complexity and improvement of digital media, literacy and information culture become the key to the safe psychological and physical growth of a person in the digital world, including in the context of increasing civil involvement of young people. Media literacy is a sophisticated set of abilities, including the ability to think critically about a diverse range of digital content (news, entertainment, commercial, educational, viral) and to understand its consequences. It also includes the ability to use digital tools and technologies to create content, the ability to reflect on one's state and behavior and to manage emotional reactions, and the ability to build socially acceptable and ethically correct communication and interaction with other users. There is a shortage of Russian studies aimed at investigating the educational effects related to literacy education of different age groups in accordance with the user's goals and motivations for digital content consumption.

The Availability Degree of the Application Requirements of the Crisis Management Skills among school principalsin Muscat Governorate in the Sultanate of Oman

The study aimed to identify the availability degree of the application requirements of the crisis management skills among school principals in Muscat Governorate in the Sultanate of Oman. The descriptive approach has been used to have this study applied via a survey of 45 items distributed to 5 domains and applied to a sample of 62 male and female principals drawn randomly from the population. The study has reached a number of results the most important of which is that the arithmetic mean related to the availability degree of the application requirements of the crisis management skills have demonstrated large estimates. The domain of dealing with crises when they occur came first followed by the domain of benefiting from crises after they occur and lastly the domain of crisis prevention skills. The results have also demonstrated the absence of differences of statistical significance in all domains regarding the two sex and education stage variables. The study has recommended a number of mechanisms in order to develop the prinipals crisis management skills, including the increase in the number of workshops and training programs that are specialized in crisis management with emphasis on real examples and practical applications, as well as the execution of training programs on how to prevent crises.

Effectiveness of Early Childhood Education on Student Learning Outcomes in Tehsil Rahim Yar Khan

The research aims to determine the association between Early Childhood Education (ECE) and mental, societal, and emotional development. The objectives of this study are: 1) To assess how well ECE affects the students' learning results. 2) To promote the holistic development of a child. 3) To investigate issues and also create suggestions about the execution of ECE programs. 4) To increase the literacy rate and decrease the dropout level. 5) To encourage a child’s curiosity about his/her environment. A descriptive quantitative design was used for this study. The hypotheses predict a positive effect of ECE on learning outcomes. The results support the hypotheses, showing a significant positive impact of ECE on Student Learning Outcomes (SLO) and improved cognitive, communal, and demonstrative development. The population of this study is all ECE government schools of Tehsil Rahim Yar Khan. 140 ECE schools were selected using a simple random sampling technique. ECE teachers, ECE caregivers, and head teachers were selected from each school and 420 (male and female) individuals participated as a sample. For data collection, one self-structured questionnaire was used which consists of 65 items. After data collection, it was examined with the help of SPSS. The findings suggest that effective ECE is crucial for enhancing SLOs. It is strongly associated with successful learning outcomes for students and plays a vital role in a child’s entire life. ECE creates an environment that develops interest, boosting children to discover learn, and grow. ECE also encourages inspiration, imagination, and investigation crucial for lifelong learning.

CIDER : ASSISTED AUTOMATION TOOL FOR C++ LIBRARIES TESTING

Software testing is one of the most important parts of a product development lifecycle (PDL). Companies face significant risks associated with program failures, including financial and reputational ones, having an interest in investing time and money in new testing and quality assurance practices. The programs written in C++ are known as high performant, but complex due to the language specifics. At the same time automated tools that are available mostly for GUI programs can't help with native modules regression testing. Thus, even partial automation of such processes can have a positive effect on PDL in terms of regression testing effectiveness. The article considers a testing technique of recording and playback of program execution on the component level. The proposed tool generates testing scenarios during the execution of a program, giving the ability to perform manual testing and extend the automated component tests execution database. The experiments showed that such scenarios' code coverage results are at a high level and tend to improve when applying optimization algorithms.

HOL4P4: Mechanized Small-Step Semantics for P4

We present the first semantics of the network data plane programming language P4 able to adequately capture all key features of P4 16 , the most recent version of P4, including external functions (externs) and concurrency. These features are intimately related since, in P4, extern invocations are the only points at which one execution thread can affect another. Reflecting P4’s lack of a general-purpose memory and the presence of multithreading the semantics is given in small-step style and eschews the use of a heap. In addition to the P4 language itself, we provide an architectural level semantics, which allows the composition of P4-programmed blocks, models end-to-end packet processing, and can take into account features such as arbitration and packet recirculation. A corresponding type system is provided with attendant progress, preservation, and type-soundness theorems. Semantics, type system, and meta-theory are formalized in the HOL4 theorem prover. From this formalization, we derive a HOL4 executable semantics that supports verified execution of programs with partially symbolic packets able to validate simple end-to-end program properties.

Design of adaptive protection coordination scheme using SVM for an AC microgrid

Microgrids have gathered a significant amount of attention within the past decade and becoming an essential asset in the energy industry. The ability to integrate sustainable renewable energy generation into the distribution network is one of the main reasons for microgrids' popularity. Besides technical advantages, renewable energy sources integration with the grid poses many technical challenges. Due to randomness in generation and different modes of operation, integrating renewable energy sources into power systems will be challenging. Reliable operation of renewable energy sources integrated microgrids even when faults occur, requires an adaptive protection scheme and relay coordination. In order to tackle those issues, this paper developed an adaptive protection coordination scheme using numerical overcurrent relays and support vector machines with a particle swarm optimization approach. Renewable energy sources based on microgrids use power electronics systems that require relays to operate in milliseconds, and the power system will be safe. particle swarm optimization's program execution time exceeds the primary relays. The machine learning algorithm is faster in computation time. This article proposes a method, particle swarm optimization, to estimate the optimum relay operating time. The machine learning model having a support vector machine is proposed to estimate the relay operating time. The proposed research is developed and tested on an IEEE12BUS and IEEE35BUS system. The support vector machine -based on adaptive protection coordination schemes estimates the operating time of directional overcurrent relays, with a lesser program execution time and a low percentage error rate. The derived result defined that the proposed approach is well-suitable for real-time applications of an AC microgrid system.

METHOD OF PROTOTYPING CONTROL UNITS BASED ON THE OPENPLC APPLICATION

The problem of designing control devices based on programmable logic controllers (PLCs) is their high cost and, as a rule, unavailability at the initial design stage. The purpose of the research is to reduce the time and cost of designing the system by creating prototypes of control units with the software implementation of control algorithms in the languages of the MEK 61131-3 standard and the execution of programs in the Arduino board. The research method consists in the decomposition of project models of operating and control automata of the control device and their implementation in the software environment of the OpenPLC application in the form of program organization components (POU) in Ladder Diagram, Function Block Diagram, Sequential Function Chart and Structured Text languages. The result of the study is a method of creating typical POU operating and control automata of the control system, which are executed in the Arduino board. An example of the application of the proposed methodology for the design of a prototype of the facility's temperature control system is given. The developed prototype was tested using a logical PLC and a physical prototype, which confirmed their functional compliance with the original and a reduction in the cost of the equipment by at least an order of magnitude.

Supervised data extraction from transformer representation of Lambda-terms

The object of this research is the process of compiler optimization, as it is essential in modern software development, particularly in functional programming languages like Lambda Calculus. Optimization strategies directly impact interpreter and compiler performance, influencing resource efficiency and program execution. While functional programming compilers have garnered less attention regarding optimization efforts than their object-oriented counterparts, Lambda Calculus’s complexity poses unique challenges. Bridging this gap requires innovative approaches like leveraging machine learning techniques to enhance optimization strategies. This study focuses on leveraging machine learning to bridge the optimization gap in functional programming, particularly within the context of Lambda Calculus. This study delves into the extraction features from Lambda terms related to reduction strategies by applying machine learning. Previous research has explored various approaches, including analyzing reduction step complexities and using sequence analysis Artificial Neural Networks (ANNs) with simplified term representation. This research aims to develop a methodology for extracting comprehensive term data and providing insights into optimal reduction priorities by employing Large Language Models (LLMs). Tasks were set to generate embeddings from Lambda terms using LLMs, train ANN models to predict reduction steps, and compare results with simplified term representations. This study employs a sophisticated blend of machine learning algorithms and deep learning models as a method of analyzing and predicting optimal reduction paths in Lambda Calculus terms. The result of this study is a method that showed improvement in determining the number of reduction steps by using embeddings. Conclusions: The findings of this research offer significant implications for further advancements in compiler and interpreter optimization. This study paves the way for future research to enhance compiler efficiency by demonstrating the efficacy of employing LLMs to prioritize normalization strategies. Using machine learning in functional programming optimization opens avenues for dynamic optimization strategies and comprehensive analysis of program features.

PERAN PUSAKA SAKINAH DALAM UPAYA PENURUNAN ANGKA PERCERAIAN DI KUA BESUK KABUPATEN PROBOLINGGO

The Ministry of Religion, in response to the high divorce rate, has undertaken various initiatives aimed at sustaining family resilience. One such initiative is the Sakinah Family Service Center Program (Pusaka Sakinah), which seeks to enhance the role of the KUA in safeguarding Indonesian families from divorce. This article emphasizes the need to assess the implementation of the Pusaka Sakinah program by the KUA, including the strategies for advancement and the execution of counseling programs. Employing qualitative methods, this research conducted case studies focused on KUA Besuk. The study revealed several key findings: firstly, while enhancing the KUA's role in fostering sakinah families is achievable through the Pusaka Sakinah program, ensuring the sustainability of the program is challenging due to the KUA's heavy reliance on external funding. Secondly, there are limited initiatives and innovations because the concept of the Pusaka Sakinah program is not fully comprehended and has been misinterpreted during the restructuring of KUA, resulting in confusion, reduction, and even rejection of programs perceived as burdensome by KUA. Thirdly, there is still inadequate synergy in the implementation of the program with similar initiatives undertaken by other ministries and local governments. Keywords: Pusaka Sakinah; Wedding; Divorce.