318,256 research outputs found

    Effectiveness of Article 53 On Marrying Pregnant Women In Compilation Of Islamic Law

    Get PDF
    The purpose of this writing is to find out how effective Article 53 of the Compilation of Islamic Law is for pregnant women married to men who do not impregnate them in the case study of Tojo Una-Una Regency. The method used in this writing is by way of observation, interviews, and documentation. This type of writing is sociological juridical writing. Approach to an empirical sociological juridical analysis by going directly to the object or field. The type of data used is primary legal material and secondary legal material. The results of the writing show that article 53 of the Compilation of Islamic Law against pregnant women marrying men who do not impregnate them is not yet effective. The causal factors include internal factors and factors external. The legal consequences that arise are that it has an impact on the child to be born because it can question how the position, rights, maintenance, and when the birth is a girl, what about the guardian, as well as inheritance problem

    Knowledge base methodology: Methodology for first Engineering Script Language (ESL) knowledge base

    Get PDF
    The primary goal of reusing software components is that software can be developed faster, cheaper and with higher quality. Though, reuse is not automatic and can not just happen. It has to be carefully engineered. For example a component needs to be easily understandable in order to be reused, and it has also to be malleable enough to fit into different applications. In fact the software development process is deeply affected when reuse is being applied. During component development, a serious effort has to be directed toward making these components as reusable. This implies defining reuse coding style guidelines and applying then to any new component to create as well as to any old component to modify. These guidelines should point out the favorable reuse features and may apply to naming conventions, module size and cohesion, internal documentation, etc. During application development, effort is shifted from writing new code toward finding and eventually modifying existing pieces of code, then assembling them together. We see here that reuse is not free, and therefore has to be carefully managed

    Industrial-Strength Documentation for ACL2

    Full text link
    The ACL2 theorem prover is a complex system. Its libraries are vast. Industrial verification efforts may extend this base with hundreds of thousands of lines of additional modeling tools, specifications, and proof scripts. High quality documentation is vital for teams that are working together on projects of this scale. We have developed XDOC, a flexible, scalable documentation tool for ACL2 that can incorporate the documentation for ACL2 itself, the Community Books, and an organization's internal formal verification projects, and which has many features that help to keep the resulting manuals up to date. Using this tool, we have produced a comprehensive, publicly available ACL2+Books Manual that brings better documentation to all ACL2 users. We have also developed an extended manual for use within Centaur Technology that extends the public manual to cover Centaur's internal books. We expect that other organizations using ACL2 will wish to develop similarly extended manuals.Comment: In Proceedings ACL2 2014, arXiv:1406.123

    The alcohol industry, neo-liberalism and the political economy of health

    Get PDF
    Writing in the Australasian Medical Journal Bond, Daube, & Chikritzhs present a fascinating analysis of previously confidential, internal industry documents. The documents became available due to the 1998 Master Settlement Agreement, which was originally initiated to allow public access to internal tobacco industry documents, but since some alcohol companies are controlled by tobacco companies (in this case, Phillip Morris), the internal documents of the alcohol companies (in this case, Miller Brewing Company) became available. It is also interesting to note that Kraft foods is also controlled by Phillip Morris, which means that researchers interested in food policy, marketing and regulation can now access potentially useful documentation on the underlying intentions of a particular food company. The paper presented an analysis of a vast array of alcohol industry documents, and the authors discuss a number of key areas with which the alcohol industry stated their concerns. Within this Editorial, I wish to highlight the implications of many of these concerns within two areas of social and political thought: the political economy of health, and the impact of neo-liberalism

    Program analysis for documentation

    Get PDF
    A program analysis for documentation (PAD) written in FORTRAN has three steps: listing the variables, describing the structure and writing the program specifications. Technical notes on editing criteria for reviewing program documentation, technical notes for PAD, and FORTRAN program analyzer for documentation are appended

    Independent External Monitoring Agricultural Report 2013 Syngenta, Hungary Tiszaföldvar Sunflower

    Get PDF
    This document is part of a digital collection provided by the Martin P. Catherwood Library, ILR School, Cornell University, pertaining to the effects of globalization on the workplace worldwide. Special emphasis is placed on labor rights, working conditions, labor market changes, and union organizing.FLA_2013_Syngenta_IEMAR_Hungary_Tiszafoldvar_Sunflower.pdf: 15 downloads, before Oct. 1, 2020

    Implementasi Nilai-nilai Jurnalistik dalam Penulisan Berita di Intranet sebagai Media Internal Pt.pertamina (Persero) Refinery Unit II Dumai

    Full text link
    Intranet is an internal media owned by PT. Pertamina (Persero) Refinery Unit II Dumai based online. Within the Intranet there is information and news about the company\u27s policies and activities which in the process are carried out by Communications and Relations Section, Team Media Support exactly. News published is the result of coverage by Team Media Support. Thus this study aims to find out how Implementation of Jurnalistic Values in News Writing at Intranet as Internal Media PT. Pertamina (Persero) Refinery Unit II Dumai.This research uses descriptive method qualitative, data collecting technique using observation, in-depth interview and documentation. The informants were chosen by purposive sampling by selecting informants based on certain characteristics, the informant consisted of Head of Communication and Relations, Junior Officer Communication and Relations, Personnel of Team Media Support, and three employees as news reading on Intranet. Data analysis technique using data analysis by Miles and Huberman models.The results of this study show that : 1). Team Media Support has implemented reports/ direct observations in the coverage, but not all coverage is accompanied by interviews and there is also no literature research. 2). For news writing, Team Media Support has not fully understood how to writing a news with news values. 3). For news editing techniques that have been done by the right people and competent, but the efficiency time of editing is still not right because only the Head of Communications and Relationship can does, so that there are some news that has been written can not be published on the same day. 4). The main constraining factor in the implementation is the lack of competent human resources in the field of journalism, while the supporting factor is the Intranet has played an appropriate role as the company\u27s internal media, because with the Intranet dissemination of information more effective and environmentally friendly
    corecore