Log in

Relevant bibliographies by topics / Compilation Rules / Journal articles

To see the other types of publications on this topic, follow the link: Compilation Rules.

Journal articles on the topic 'Compilation Rules'

Author: Grafiati

Published: 4 June 2021

Last updated: 8 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Compilation Rules.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Cools, Ronald, and Philip Rabinowitz. "Monomial cubature rules since “Stroud”: a compilation." Journal of Computational and Applied Mathematics 48, no. 3 (November 1993): 309–26. http://dx.doi.org/10.1016/0377-0427(93)90027-9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

YIN, Ming-Hao, Ji-Gui SUN, Hai LIN, and Xia WU. "Possibilistic Extension Rules for Reasoning and Knowledge Compilation." Journal of Software 21, no. 11 (January 28, 2011): 2826–37. http://dx.doi.org/10.3724/sp.j.1001.2010.03690.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

HOLZBAUR, CHRISTIAN, MARIA GARCIA DE LA BANDA, PETER J. STUCKEY, and GREGORY J. DUCK. "Optimizing compilation of constraint handling rules in HAL." Theory and Practice of Logic Programming 5, no. 4-5 (July 2005): 503–31. http://dx.doi.org/10.1017/s1471068405002413.

Full text

Abstract:

In this paper we discuss the optimizing compilation of Constraint Handling Rules (CHRs). CHRs are a multi-headed committed choice constraint language, commonly applied for writing incremental constraint solvers. CHRs are usually implemented as a language extension that compiles to the underlying language. In this paper we show how we can use different kinds of information in the compilation of CHRs to obtain access efficiency, and a better translation of the CHR rules into the underlying language, which in this case is HAL. The kinds of information used include the types, modes, determinism, f

APA, Harvard, Vancouver, ISO, and other styles

4

Rocha, André Dantas, Valter Vieira De Camargo, and Paulo César Masiero. "Uso de Aspectos para Verificar Regras de Instanciação de Frameworks." Revista de Informática Teórica e Aplicada 11, no. 2 (December 20, 2004): 9–20. http://dx.doi.org/10.22456/2175-2745.5979.

Full text

Abstract:

Instantiation of frameworks is usually a time-consuming, error-prone process as there are specific rule types that must be followed to produce an application that meets its requirements. Some of these rules refer to framework specific implementation policies and cannot be verified in compilation time, such as nomenclature rules and default constructors. A relevant problem is that faults generated when these rules are not applied can only be detected later, during the system usage. A mechanism to enforce that certain rules for a persistency framework be strictly followed, is shown. 

APA, Harvard, Vancouver, ISO, and other styles

5

Cools, Ronald. "Monomial cubature rules since “Stroud”: a compilation — part 2." Journal of Computational and Applied Mathematics 112, no. 1-2 (November 1999): 21–27. http://dx.doi.org/10.1016/s0377-0427(99)00229-0.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Kordela, Marzena. "Teoria prawa Zygmunta Ziembińskiego." Filozofia Publiczna i Edukacja Demokratyczna 4, no. 1 (July 15, 2018): 230–49. http://dx.doi.org/10.14746/fped.2015.4.1.12.

Full text

Abstract:

Zygmunt Ziembiński was one of the most prominent theoreticians of law in Poland in the second half of the 20th century. He developed an original theory of law defined as a theory of legal phenomena, which covered both logical-linguistic as well as real aspects of law. The theory served as a base for the development of a unique so-called advanced normative conception of sources of law, one of the greatest achievements of theory of law in Poland. This conception encompasses all the indispensable elements of a coherent system of binding legal norms: 1) indication of a political justification (ide

APA, Harvard, Vancouver, ISO, and other styles

7

Cook, Kristin L., Sarah B. Bush, and Karen Karp. "Clarifying Confusing Science Rules, Vocabulary & Diagrams." American Biology Teacher 78, no. 8 (October 1, 2016): 676–78. http://dx.doi.org/10.1525/abt.2016.78.8.676.

Full text

Abstract:

While a wealth of research exists examining elementary teachers' and students' alternative conceptions about science and offering recommendations for teacher preparation to include an emphasis on supporting conceptual change, this article presents a useful compilation that serves as a go-to resource on some of the most common oversimplified rules, incomplete or misleading vocabulary, and confusing diagrams promulgated in science teaching that could lead to enduring student misconceptions.

APA, Harvard, Vancouver, ISO, and other styles

8

Pradana, Rizky Dwi. "KRITIK TERHADAP KOMPILASI HUKUM ISLAM MENGENAI STATUS AHLI WARIS KHUNTSA." Pamulang Law Review 1, no. 1 (July 15, 2019): 31. http://dx.doi.org/10.32493/palrev.v1i1.2844.

Full text

Abstract:

Abstract The study in this scientific work is actually aimed at the existence of a 26-year-old Compilation of Islamic Law (KHI) against the inheritance of khuntsa where there are no clear rules regarding the inheritance of khuntsa. Even though we can find the inheritance discussion in classical fiqh books, there are various opinions to the differences of opinion of the jurists or priests regarding the sex status of khuntsa to the acquisition of inheritance that should have been received by the khuntsa. The question is isn't the classical fiqh books used as a reference in the KHI compilation pr

APA, Harvard, Vancouver, ISO, and other styles

9

Umam, Khairul. "Penyerapan Fiqh Madzhab Syafi’i dalam Penyusunan Kompilasi Hukum Islam." Journal de Jure 9, no. 2 (December 30, 2017): 117. http://dx.doi.org/10.18860/j-fsh.v9i2.6991.

Full text

Abstract:

<p>Islamic Law Compilation is still an interesting topic to study by Muslim scholars in Indonesia. The Islamic Law Compilation is a typical Indonesian jurisprudence used as reference for religious court judges. This article aims to identify the use of the Shafi'ite school on the rules of marriage in the Islamic Law Compilation. This article comes from normative research with a descriptive approach. The results of this study show that the influence of the Shafi'i school is more dominant in the Islamic Law Compilation. However, the compilers of the Islamic Law Compilations used the opinion

APA, Harvard, Vancouver, ISO, and other styles

10

Keller, Agathe. "The mathematical chapter of the Āryabhaṭīya : A compilation of oral mnemonic rules ?" Archives Internationales d'Histoire des Sciences 65, № 175 (липень 2015): 573–98. http://dx.doi.org/10.1484/j.arihs.5.112778.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

한진기 and 왕수진. "On the theoretical principles and rules of the compilation of Chinese dictionary." Journal of Study on Language and Culture of Korea and China ll, no. 15 (February 2008): 171–88. http://dx.doi.org/10.16874/jslckc.2008..15.009.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Wang, Zhan, John R. Talburt, Ningning Wu, Serhan Dagtas, and Meredith Nahm Zozus. "A Rule-Based Data Quality Assessment System for Electronic Health Record Data." Applied Clinical Informatics 11, no. 04 (August 2020): 622–34. http://dx.doi.org/10.1055/s-0040-1715567.

Full text

Abstract:

Abstract Objective Rule-based data quality assessment in health care facilities was explored through compilation, implementation, and evaluation of 63,397 data quality rules in a single-center case study to assess the ability of rules-based data quality assessment to identify data errors of importance to physicians and system owners. Methods We applied a design science framework to design, demonstrate, test, and evaluate a scalable framework with which data quality rules can be managed and used in health care facilities for data quality assessment and monitoring. Results We identified 63,397 r

APA, Harvard, Vancouver, ISO, and other styles

13

Rábová, Ivana, and Michal Hodinka. "Business rules in knowledge management and in information systems – methodology of mining business rules and knowledge." Acta Universitatis Agriculturae et Silviculturae Mendelianae Brunensis 59, no. 4 (2011): 267–72. http://dx.doi.org/10.11118/actaun201159040267.

Full text

Abstract:

Every organisation works according to principles which define business logic that controls all business processes. However, lot of basic rules of business logic are hidden in companies’ guidelines and directives, in informal techniques of experts, processes owners and specialists. The aim of all managers should be a replacement of this incoherent set of information by set of clear and unambiguous terms which describe the way the company is controlled from inside. This notion is a ground of control and administration of business knowledge.Contemporary practises in development of informational s

APA, Harvard, Vancouver, ISO, and other styles

14

Tessari, R. K., and M. A. de Carvalho. "Rules for Problem Solving: Qualitative Analysis and Compilation of Existing Inventive Heuristics of TRIZ." Applied Mechanics and Materials 741 (March 2015): 827–49. http://dx.doi.org/10.4028/www.scientific.net/amm.741.827.

Full text

Abstract:

Heuristics are widely accepted and used as tools for inventive problem solving. A problem when using heuristics is that their number is relatively high and ever growing (469 heuristics were analyzed only in this research). This amount of heuristics makes it necessary for problem solvers to spend a significant amount of time in understanding them, finding the most suitable ones to their specific situations and using them. This article presents a first step towards decreasing this complexity. The main heuristics to solve inventive problems were synthesized into a single list, whose preparation i

APA, Harvard, Vancouver, ISO, and other styles

15

Zhang, Lei, and Hur-Li Lee. "The Role of Genre in the Bibliographic Universe." Advances in Classification Research Online 23, no. 1 (January 30, 2013): 38. http://dx.doi.org/10.7152/acro.v23i1.14236.

Full text

Abstract:

This paper examines the role of genre in organizing bibliographic information through three sets of modern cataloging rules spanning 171 years: Panizzi’s Rules for the Compilation of the Catalogue (91 Rules), Anglo-American Cataloguing Rules Second Edition 2002 Revision (AACR2r), and Resource Description and Access (RDA). Genre-related rules are identified on the basis of their inclusion of the keywords “genre(s)” and “form(s).” Then, the identified rules are analyzed from two aspects: the contexts in which these rules are addressed and four user tasks defined by the Functional Requirements fo

APA, Harvard, Vancouver, ISO, and other styles

16

Melnyk, Svitlana, Viktoriia Sikorska, and Tetiana Luhova. "COMPLEX EDUCATIONAL E-DICTIONARY: COMPILATION METHODS, EXPEDIENCE AND USAGE SPECIFICITY." Naukovì zapiski Nacìonalʹnogo unìversitetu «Ostrozʹka akademìâ». Serìâ «Fìlologìâ» 1, no. 9(77) (January 30, 2020): 11–15. http://dx.doi.org/10.25264/2519-2558-2020-9(77)-11-15.

Full text

Abstract:

The purpose of the article is to justify the necessity of making a comprehensive educational e-dictionary from a number of disciplines within a certain domain, to show its place in the educational space, to find out compilation principles and usage specifics in the educational process. It is noted that modernization of the modern Ukrainian higher education system requires the search for new approaches to the organization of educational activities that would contribute to the creation of a comprehensive perception of the subject field. It is shown that the formation of the integral outlook of t

APA, Harvard, Vancouver, ISO, and other styles

17

Nastangin, Nastangin. "LARANGAN PERKAWINAN DALAM UUP NO 1 TAHUN 1974 DAN KHI PERSPEKTIF FILSAFAT HUKUM ISLAM." Mahakim: Journal of Islamic Family Law 4, no. 1 (January 9, 2020): 11–24. http://dx.doi.org/10.30762/mh.v4i1.1697.

Full text

Abstract:

Rules for marriage restrictions are regulated in the Number Marriage Act. 1 of 1974 from Article 8-10 and also regulated in the Compilation of Islamic Law in Article 39, namely the prohibition forever and Article 40-44, namely a temporary ban. The broad outline, the contents of the rules on the marriage restrictions are same, namely the prohibition of marriage with idolaters, marrying a woman who is still in the iddah period, marrying a stepmother, due to blood relations, intercession, stepchildren who are adherent with their mother, collecting two woman (muhrim). The purpose of this paper is

APA, Harvard, Vancouver, ISO, and other styles

18

Zuhroh, Diana. "KONSEP AHLI WARIS DAN AHLI WARIS PENGGANTI: Studi Putusan Hakim Pengadilan Agama." Al-Ahkam 27, no. 1 (June 9, 2017): 43. http://dx.doi.org/10.21580/ahkam.2017.27.1.1051.

Full text

Abstract:

<p class="IABSSS">There is a fundamental difference between the rules in Islamic inheritance jurisprudence with the rules of inheritance in the Compilation of Islamic Law. Islamic inheritance jurisprudence rules, on one hand, give inheritance rights to those who are still alive at the time of the testator died. On the other hand, the rules of inheritance in the Compilation of Islamic Law, as defined in Article 171 (c), give inheritance rights to the person who died earlier than the testator, as an attempt to legitimize "substitute heirs" under Article 185 paragraph (1). This difference w

APA, Harvard, Vancouver, ISO, and other styles

19

BERNARD, THOMAS A. M., CLEMENS GRELCK, and CHRIS R. JESSHOPE. "ON THE COMPILATION OF A LANGUAGE FOR GENERAL CONCURRENT TARGET ARCHITECTURES." Parallel Processing Letters 20, no. 01 (March 2010): 51–69. http://dx.doi.org/10.1142/s0129626410000053.

Full text

Abstract:

The challenge of programming many-core architectures efficiently and effectively requires models and methods to co-design chip architectures and their software tool chain, using an approach that is both vertical and general. In this paper, we present compilation schemes for a general model of concurrency captured in a parallel language designed for system-level programming and as a target for higher level compilers. We also expose the challenges of integrating these transformation rules into a sequential-oriented compiler. Moreover, we discuss resource mapping inherent to those challenges. Our

APA, Harvard, Vancouver, ISO, and other styles

20

Muwahid, Fahmi, and Riyan Ramdhani. "BATASAN WAKTU PERKAWINAN DALAM PERKARA ISBAT NIKAH PADA SIDANG KELILING DI PENGADILAN AGAMA CIANJUR." Al-Ahwal Al-Syakhsiyyah: Jurnal Hukum Keluarga dan Peradilan Islam 1, no. 1 (September 2, 2020): 27–38. http://dx.doi.org/10.15575/as.v1i1.7800.

Full text

Abstract:

Isbat nikah is one of the products of the Religious Court in the form of the determination of the marriage of a husband and wife that has been carried out in accordance with Islamic provisions. However, in the Cianjur Religious Court there are special rules regarding circuit courts in marital isbat cases, namely the year of marriage for the maximum marriage isbat in 2010, above 2010 must be registered at the Cianjur Religious Court office. This study departs from a rule that has been enacted but there are no additional rules regarding the time limit of marriage in marriage isbat cases in a cir

APA, Harvard, Vancouver, ISO, and other styles

21

Handayani, Noor, and Akhmad Khisni. "Juridical Implementation of Distribution Assets for the Inheritance to Adopted by Islamic Law Compilation." Jurnal Akta 6, no. 4 (February 10, 2020): 763. http://dx.doi.org/10.30659/akta.v6i4.7578.

Full text

Abstract:

The purpose of this study was to: 1) analyze the position adopted child's inheritance rights in Islamic Law Compilation (KHI). 2) to analyze the implementation of the division of property as inheritance to an adopted child Compilation of Islamic Law (KHI). 3) Analyze the legal consequences of the implementation of the division of property as inheritance to an adopted child Compilation of Islamic Law (KHI).This study was prepared using the type of normative juridical research, the research focused on reviewing the application of the rules or norms of positive law. This study uses the approach o

APA, Harvard, Vancouver, ISO, and other styles

22

Halvoník, Dominik, and Jozef Kapusta. "Framework for e-Learning Materials Optimization." International Journal of Emerging Technologies in Learning (iJET) 15, no. 11 (June 12, 2020): 67. http://dx.doi.org/10.3991/ijet.v15i11.12721.

Full text

Abstract:

Creating educational materials (activities, e-books etc.) in each e-learning course can be divided into 2 main parts. The first can be defined as a compilation of ideas and information that we want to pass on to the student. This section of building e-learning materials process is very abstract and correct selection of what we want to teach the students is highly delicate and depends on teacher’s skills and didactic principles. The second phase is also important but it can be formalized. Main aim of this paper is to define and confirms a set of formal rules compiled into framework which can be

APA, Harvard, Vancouver, ISO, and other styles

23

Santoso, Dri, and Muhamad Nasrudin. "POLYGAMY IN INDONESIA AND ITS RELEVANCE TO THE PROTECTION OF WOMEN AND CHILDREN IN THE PERSPECTIVE OF ISLAMIC LAW PHILOSOPHY." AKADEMIKA: Jurnal Pemikiran Islam 26, no. 1 (June 30, 2021): 121. http://dx.doi.org/10.32332/akademika.v26i1.2406.

Full text

Abstract:

This article discusses the regulation of polygamy in Law No. 1 of 1974 and its derivative rules, as well as the Compilation of Islamic Law with an analysis of Islamic legal philosophy/maqashid al-shari’ah. This research is based on the legitimacy of polygamy as stated in Law Number 1 of 1974 concerning Marriage, article 3, paragraph 2. Polygamy also has rules that require the husband to obtain formal permission from the wife through a court process. Why do the Marriage Regulations regulate this? This research is based on a qualitative descriptive literature review. The method of analysis emplo

APA, Harvard, Vancouver, ISO, and other styles

24

Kızılkaya, Necmettin. "An Outline of the Historical Evolution of Qawā‘id Literature in Islamic Law." American Journal of Islamic Social Sciences 28, no. 1 (January 1, 2011): 76–105. http://dx.doi.org/10.35632/ajiss.v28i1.347.

Full text

Abstract:

The legal rules of each legal system reflect their own nature and primary characteristics in both quantity and quality. Since they comprise the main structure of the system, the study of these rules, therefore, gives an idea about the mechanism of the system as a whole. An investigation of the principles behind these legal rules, which represent dominant features of several rules is a further step and gives an opportunity to understand the common points of the particular cases. These principles have different essences and historical backgrounds in every legal surrounding. The settled principle

APA, Harvard, Vancouver, ISO, and other styles

25

Kızılkaya, Necmettin. "An Outline of the Historical Evolution of Qawā‘id Literature in Islamic Law." American Journal of Islam and Society 28, no. 1 (January 1, 2011): 76–105. http://dx.doi.org/10.35632/ajis.v28i1.347.

Full text

Abstract:

The legal rules of each legal system reflect their own nature and primary characteristics in both quantity and quality. Since they comprise the main structure of the system, the study of these rules, therefore, gives an idea about the mechanism of the system as a whole. An investigation of the principles behind these legal rules, which represent dominant features of several rules is a further step and gives an opportunity to understand the common points of the particular cases. These principles have different essences and historical backgrounds in every legal surrounding. The settled principle

APA, Harvard, Vancouver, ISO, and other styles

26

Muhajir, Muhajir. "STUDI ANALISIS PUTUSAN PENGADILAN AGAMA JAKARTA SELATAN NO. 1751/P/1989 TENTANG PERKAWINAN MELALUI TELEPON." Al-Qadha 5, no. 1 (July 1, 2019): 9–19. http://dx.doi.org/10.32505/qadha.v5i1.956.

Full text

Abstract:

The legal basis of marriage law in Indonesia Constitution No. 1 of 1974 concerning Marriage and Compilation of Islamic law which is a reduction of Islamic rules regarding marriage, divorce, representation and inheritance originating from classical Islamic jurisprudence literature from various schools which are summarized and adapted to the needs of the people of Indonesia. The two legal bases regarding the marriage are expected to be a legal basis for the Indonesian people who will carry out the marriage. But in the practice of implementing marriage in the community, many new things appear tha

APA, Harvard, Vancouver, ISO, and other styles

27

Somawinata, Yusuf. "PELAKSANAAN HUKUM KEWARISAN ISLAM DI PENGADILAN AGAMA BANTEN." ALQALAM 30, no. 1 (April 30, 2013): 158. http://dx.doi.org/10.32678/alqalam.v30i1.1417.

Full text

Abstract:

This article aims at describing the obseroance of wasiat wajibah (compulsory bequeathment) in the Islamic court of Banten, analyzing the provision of the substitute heir and adopted children in the Compilation of Islamic Law (KHI). In addition, the ideal laws to manage the innheritance rules in Indonesia. This article is library research by using doctrinal approach and using case study and survey methods. The data was, then, analyzed by using analytical descriptive and analytical correlative methods. The result showed that the observance of wasiat wajibah in the Islamic court of Banten employe

APA, Harvard, Vancouver, ISO, and other styles

28

Streiter, Oliver, and Leonid L. Iomdin. "Learning Lessons from Bilingual Corpora: Benefits for Machine Translation." International Journal of Corpus Linguistics 5, no. 2 (December 31, 2000): 199–230. http://dx.doi.org/10.1075/ijcl.5.2.06str.

Full text

Abstract:

The research described in this paper is rooted in the endeavors to combine the advantages of corpus-based and rule-based MT approaches in order to improve the performance of MT systems—most importantly, the quality of translation. The authors review the ongoing activities in the field and present a case study, which shows how translation knowledge can be drawn from parallel corpora and compiled into the lexicon of a rule-based MT system. These data are obtained with the help of three procedures: (1) identification of hence unknown one-word translations, (2) statistical rating of the known one-

APA, Harvard, Vancouver, ISO, and other styles

29

CHEREVKO, Iryna. "ACHIEVEMENTS OF UKRAINIAN DIALECTAL PHRASEOGRAPHY OF THE 21st CENTURY." Ukraine: Cultural Heritage, National Identity, Statehood 31 (2018): 240–50. http://dx.doi.org/10.33402/ukr.2018-31-240-250.

Full text

Abstract:

The article provides a review of Ukrainian dialectal phraseological dictionaries of the 21st century that represent three dialects from the Ukrainian dialectal continuum, the best dictionaries being selected among them. Basic principles and rules of dictionary compilation are also examined. Special attention is paid to the importance of fixing and describing dialectal fixed combinations collected from different territories of Ukraine that show the richness and diversity of Ukrainian phraseology, the spatial prevalence of linguistic units, and variations of component-dialectisms. Keywords diale

APA, Harvard, Vancouver, ISO, and other styles

30

Mabruroh, Mabruroh. "at-Tahlil Ghair at-Taqobul Litahlil al-Akhtha'." Arabiyatuna : Jurnal Bahasa Arab 3, no. 1 (May 14, 2019): 109. http://dx.doi.org/10.29240/jba.v3i1.755.

Full text

Abstract:

In learning Arabic, each student will experience difficulties in the learning process. The difficulties faced by these students will affect the process of acquiring and absorbing the knowledge channeled by the instructor. Some of the effects of these difficulties are the existence of errors in understanding the rules of writing letters (Imla '), the rules of compilation of sentences (Nahwu), the process of word formation and so forth. To overcome errors in language acquisition in learning Arabic, the theory of contrastive analysis and error analysis in learning Arabic was born. Contrative anal

APA, Harvard, Vancouver, ISO, and other styles

31

Suriansyah, Eka. "Merombak Struktur, Membentuk Kultur (Studi Pemikiran Siti Musdah Mulia)." Jurnal Studi Agama dan Masyarakat 13, no. 2 (December 31, 2017): 293. http://dx.doi.org/10.23971/jsam.v13i2.693.

Full text

Abstract:

<p>Law is a structure in society that can lead to the formation of a culture. The formation of culture is closely related to the legal system existing in society. Similarly, marriage culture that occurs in society is the result of the formation of a legal structure. In Indonesia, the legal structure of marriage is based on the Marriage Act No. 1 year 1974 and Presidential Instruction No. 1 year 1991 on the Compilation of Islamic Law. These two legal products are controlling the pattern of marriage rules in Indonesia. As time goes by, both products require refinement because of the emerge

APA, Harvard, Vancouver, ISO, and other styles

32

Khosyi’ah, Siah. "Keadilan Distributif atas Pembagian Harta Bersama dalam Perkawinan bagi Keluarga Muslim di Indonesia." Al-Manahij: Jurnal Kajian Hukum Islam 11, no. 1 (February 22, 2018): 35–48. http://dx.doi.org/10.24090/mnh.v11i1.1266.

Full text

Abstract:

The division of marital joint property after the breakup of marriage, whether dropping out of marriage due to divorce or due to death, is a new thing in Islamic jurisprudence (fiqh). This is because the concept of mutual treasure is not known in the books of classical Islamic jurisprudence of Muslim scholars of the schools at their times, in which their work are always made as referral in the legal cases up to the present days. In Indonesia, the distribution of common property is regulated in the Compilation of Islamic Laws Articles 96 and 97, which stipulate the rules of distribution of joint

APA, Harvard, Vancouver, ISO, and other styles

33

Zamir, Eyal. "Market Overt in the Sale of Goods: Israeli Law in a Comparative Perspective." Israel Law Review 24, no. 1 (1990): 82–127. http://dx.doi.org/10.1017/s0021223700009791.

Full text

Abstract:

Market overt deals with the conflict between thebona fidepurchaser of a chattel and the person whose rights in the property are injured by the sale. Schematically there are three people involved in this situation: the original owner, the seller and the purchaser. The most simple illustration is the case in which A steals goods belonging to B and sells them to C, who does not know of their origin. On the common assumption that A disappears or is insolvent (and even on the assumption that his whereabouts are known and it is possible to file a claim against him) the question arises, who is entitl

APA, Harvard, Vancouver, ISO, and other styles

34

Favereau, Marie. "How the Mamluk Sultan Addressed the Golden Horde’s Khan. The Form of Letters and Rules for Their Compilation." Golden Horde Review 6, no. 1 (March 29, 2018): 41–84. http://dx.doi.org/10.22378/2313-6197.2018-6-1.41-84.

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

Che Hassan, Nor Syamimi Iliani, Nor Hairunnisa Mohammad Nor, Wan Nuur Fazliza Wan Zakaria, and Rohazlyn Rosly. "Atomic Grammar: A Learning Source of ESL Error Identification and Correction." International Journal of Modern Languages And Applied Linguistics 4, no. 3 (October 14, 2020): 65. http://dx.doi.org/10.24191/ijmal.v4i3.10601.

Full text

Abstract:

Error analysis is deemed a fundamental component in language teaching which helps language learners to identify, understand and eventually correct language errors on their own. Atomic Grammar is created as a source of learning English language grammar based on error identification. The website which is accessible via personal computers and smartphones stores a compilation of the common errors made by ESL learners in their compositions followed by detailed explanation which include reasons and rules that formulate the correct use of the parts of speech that have been corrected. Atomic Grammar o

APA, Harvard, Vancouver, ISO, and other styles

36

Hakim, Besim S. "Julian of Ascalon's Treatise of Construction and Design Rules from Sixth-Century Palestine." Journal of the Society of Architectural Historians 60, no. 1 (March 1, 2001): 4–25. http://dx.doi.org/10.2307/991676.

Full text

Abstract:

This is a study of a treatise by Julian of Ascalon, an architect and a native of the Byzantine Palestinian coastal city of Ascalon and a contemporary of the Byzantine emperor Justinian I (A. D. 483-565; reigned 527-565). There is some consensus that the treatise was written during the years 531-533, when the codification of Roman law that resulted in the influential Corpus Juris Civilis was undertaken upon Justinian's order. Julian's treatise is a compilation of construction and design rules that address the prevention of nuisances and potential damages to proximate neighbors resulting from bu

APA, Harvard, Vancouver, ISO, and other styles

37

Al-ʽUmari, Fatimah Muhammad Amin, та Majdi Haji Ibrahim. "مبادئ تأصيل السماع في كتاب سيبويه / Principle of Establishing Listening in Sibawayh’s Book". مجلة الدراسات اللغوية والأدبية (Journal of Linguistic and Literary Studies) 9, № 3 (3 жовтня 2018): 114–32. http://dx.doi.org/10.31436/jlls.v9i3.649.

Full text

Abstract:

ملخص البحث: لَئنْ كان السماع الركيزة الثانية بعد القياس في بناء نظرية النحو العربي، فإنه أساس القياس والمركب الأساسي في إرساء دعائمه، فالركائز التي انطلق منها النحاة في وضع القاعدة النحوية القياسية من جمع المادة اللغوية ووضع القواعد العامة لضبط أصول الجمع اعتمدت بشكل رئيس على السماع. من هذا المنطلق، فإن هذ البحث يهدف إلى تتبع ضوابط مبدأ السماع وتلَمُّس الأطر العامة التي اعتمد عليها سيبويه في بناء أصول نظرية النحو العربي والقواعد؛ وذلك من خلال دراسة متن كتاب سيبويه وتحليله لاستخلاص النتائج واستخبار النصوص في البحث عن أصول السّماع في الكتاب. وسيعتمد البحث في ذلك على المنهج الوصفي التحليلي

APA, Harvard, Vancouver, ISO, and other styles

38

Nesterenko, S., Y. Radzinska, O. Afanasyev, and I. Kondratyuk. "METHODOLOGICAL ASPECTS OF COMPILATION OF LAND MANAGEMENT DOCUMENTATION FOR LAND ALLOCATION." Municipal economy of cities 6, no. 159 (November 27, 2020): 125–29. http://dx.doi.org/10.33042/2522-1809-2020-6-159-125-129.

Full text

Abstract:

The purpose of the article is to study the existing approaches to the development of land management documentation and the development of methodological aspects of compiling land management documentation for land allocation. The paper analyzes modern approaches to the preparation of land management documentation for land allocation in Ukraine. The directions and schemes of formation of land management documentation on land allocation taking into account previous experience are determined. The presented differences in the methods of developing such projects complicate the implementation of the

APA, Harvard, Vancouver, ISO, and other styles

39

Lassu, Péter, and Tibor Pálóczi. "Digital by Nature: The Cephalopods and the Algorithms." Periodica Polytechnica Architecture 49, no. 1 (May 25, 2018): 86–91. http://dx.doi.org/10.3311/ppar.11828.

Full text

Abstract:

This Abstract presents the realisation of the experimental wooden structure, known as “Ammoniterasz” - (Ammonites+Terrace). During the making of this structure, the authors tried to analyse the practical usage of algorithmic design and the generative method. In the generative design, the 3D shape of the real structure is made using an algorithm with predefined editing rules. With an algorithm, it is possible to carry out a real-time structural analysis, together with different kinds of optimisation calculations and production methods. The compilation of the algorithm is created either with scr

APA, Harvard, Vancouver, ISO, and other styles

40

SALEH, AMR HANY, and TOM SCHRIJVERS. "Efficient algebraic effect handlers for Prolog." Theory and Practice of Logic Programming 16, no. 5-6 (September 2016): 884–98. http://dx.doi.org/10.1017/s147106841600034x.

Full text

Abstract:

AbstractRecent work has provided delimited control for Prolog to dynamically manipulate the program control-flow, and to implement a wide range of control-flow and dataflow effects on top of. Unfortunately, delimited control is a rather primitive language feature that is not easy to use.As a remedy, this work introduces algebraic effect handlers for Prolog, as a high-level and structured way of defining new side-effects in a modular fashion. We illustrate the expressive power of the feature and provide an implementation by means of elaboration into the delimited control primitives.The latter a

APA, Harvard, Vancouver, ISO, and other styles

41

Pędzich, Paweł. "From cartography of the Universe to molecular cartography – the use of map projections." Polish Cartographical Review 47, no. 4 (December 1, 2015): 191–201. http://dx.doi.org/10.1515/pcr-2015-0014.

Full text

Abstract:

Abstract Map projections are very important in the compilation of various types of maps and spatial databases. Geographical information systems provide their users with the significant opportunities in the choice of map projections, coordinate systems, their definitions and transitions between them. The role of map projection can be considered depending on an objective, for which a map has to be used, user of this map and a form of its publication. The Internet, mobile devices and GIS caused that the map projections are used for two main purposes: data visualization and performing of calculati

APA, Harvard, Vancouver, ISO, and other styles

42

Kusmayanti, Hazar, Efa Laela Fakhriah, and Bambang Daru Nugroho. "THE SETTLEMENT OF DISPUTES REGARDING DIVISION OF JOINT PROPERTY AFTER A DIVORCE IN THE CENTRAL ACEH REGENCY." Jurnal Ilmiah Islam Futura 21, no. 2 (August 19, 2021): 170. http://dx.doi.org/10.22373/jiif.v21i2.6599.

Full text

Abstract:

This resarch reviews disputes revolving around the division of joint property after a divorce in the Central Aceh Regency using the methods; discussion with family, discussion by involving the customary institution Sarak Opat, and filing a claim to the Takengon Syar’iyah Tribunal. In general, division of joint property in the Central Aceh Regency is done by discussion through the customary institution Sarak Opat. The division of joint property after a divorce in the Central Aceh Regency that is done through discussion takes into account which household the child grew up in and how much money t

APA, Harvard, Vancouver, ISO, and other styles

43

Najeeb, Syed Faiq. "Trading in Islam: Shari‟ah Rules and Contemporary Applications in Islamic Financial Transactions." Journal of Emerging Economies and Islamic Research 2, no. 2 (May 31, 2014): 41. http://dx.doi.org/10.24191/jeeir.v2i2.9624.

Full text

Abstract:

This paper attempts to comprehensively highlight the various Islamic laws and guidelines which govern contracts of exchange involving selling of goods and trading of debts. Muslim jurists have extensively researched, reasoned and deliberated over centuries in order to compile a comprehensive framework of principles Muslims are required to adhere to when engaging in selling of goods and trading of debts. This compilation is based on the rulings derived from the Quran and Sunnah and other secondary sources of Islamic law. The paper introduces the readers to various categories of exchange contrac

APA, Harvard, Vancouver, ISO, and other styles

44

Siregar, Suenta Karina, Utary Maharani Barus, Yezrizawati, and Idha Aprilyana Sembiring. "Property toward Husband Doesn't Provide Children and Wife in the Overview of the Compilation of Islamic Law." Randwick International of Social Science Journal 2, no. 3 (July 31, 2021): 225–35. http://dx.doi.org/10.47175/rissj.v2i3.263.

Full text

Abstract:

The study was conducted to find out Compilation of Islamic Law governing the distribution of joint property, the application of the principle of partnership and the legal considerations of judges in the Supreme Court Decision of the Republic of Indonesia on Case Number 266K/AG/2010 in terms of the Compilation of Islamic Law against husband doesn’t provide for his children and his wife. This research uses normative juridical research methods that use secondary data consisting of primary, secondary, and tertiary legal materials with descriptive analysis and data collection tools are carried out

APA, Harvard, Vancouver, ISO, and other styles

45

Kapp, Marshall B. "Still Dying After All These Years: A Classical Library for Contemporary Controversies." Care Management Journals 10, no. 1 (March 2009): 14–20. http://dx.doi.org/10.1891/1521-0987.10.1.14.

Full text

Abstract:

A review and discussion of Death, Dying and the Ending of Life, edited by Margaret P. Battin, Leslie P. Francis, and Bruce M. Landesman. Ashgate Publishing, 2007. The many philosophical, ethical, legal, and social aspects of death and the dying process remain deeply controversial despite substantial and continuous public discussion and debate about them. Springing from an in-depth review of a newly-published compilation of some of the most seminal writings in this area, the author in this essay reflects on and systematically analyzes how the classical literature of the past millennium has set

APA, Harvard, Vancouver, ISO, and other styles

46

Sovietov, Pyotr Nikolaevich. "Accelerating the Development of DSL Compilers for Specialized Processors." Proceedings of the Institute for System Programming of the RAS 32, no. 5 (2020): 35–56. http://dx.doi.org/10.15514/ispras-2020-32(5)-3.

Full text

Abstract:

Specialized processors programmable in domain-specific languages are increasingly used in modern computing systems. The compiler-in-the-loop approach, based on the joint development of a specialized processor and a compiler, is gaining popularity. At the same time, the traditional tools, like GCC and LLVM, are insufficient for the agile development of optimizing compilers that generate target code of an exotic, irregular architecture with static parallelism of operations. The article proposes methods from the field of program synthesis for the implementation of machine-dependent compilation ph

APA, Harvard, Vancouver, ISO, and other styles

47

Ma, Xinmin. "China and the UNCLOS: Practices and Policies." Chinese Journal of Global Governance 5, no. 1 (March 15, 2019): 1–20. http://dx.doi.org/10.1163/23525207-12340036.

Full text

Abstract:

Abstract The 1982 United Nations Convention on the Law of the Sea (UNCLOS or the Convention) is one of the most important accomplishments in the development of international law in the twentieth century. As a comprehensive compilation of the modern law of the sea, the UNCLOS not only codifies numerous customary rules of law of the sea, but also progressively develops the treaty rules of law of the sea. Especially the three bodies established by the UNCLOS, namely the International Seabed Authority (ISA), the International Tribunal for the Law of the Sea (ITLOS) and the Commission on the Limits

APA, Harvard, Vancouver, ISO, and other styles

48

Schmalenbach, Kirsten. "Ideological Warfare against Cultural Property: UN Strategies and Dilemmas." Max Planck Yearbook of United Nations Law Online 19, no. 1 (May 30, 2016): 1–38. http://dx.doi.org/10.1163/18757413-00190002.

Full text

Abstract:

With iconic cultural heritage in Afghanistan, Mali, Libya, Iraq and Syria at the mercy of Jihadi extremists, the international community’s somewhat feverish compilation of emergency measures illustrates both the sense of urgency now felt, but also how unprepared the world was to be confronted with ideological warfare against the ‘culture of the heretics.’ The laws of armed conflict, and in its wake international criminal law, provide relatively clear cut proscriptive rules against ideologically motived cultural destruction, which cannot be said of peacetime rules on cultural heritage protectio

APA, Harvard, Vancouver, ISO, and other styles

49

Nurhayati, Yati. "Penerapan SNI 03-7051-2004 (pemberian Tanda dan Pemasangan Lampu Halangan (Obstacle Lights) di Sekitar Bandara) di Bandara Juanda Surabaya." WARTA ARDHIA 37, no. 3 (September 30, 2011): 276–93. http://dx.doi.org/10.25104/wa.v37i3.172.276-293.

Full text

Abstract:

Assessment of the Implementation of SNI 03-7051-2004 (The Signs And Installation of Obstruction Lights (Obstacle Lights) vicinity at Airport) For Compulsory Standards at Juanda Airport in Surabaya is to know how the implementation of the provision of signs and installation of lights around the aviation operation Safety area at Juanda Airport Surabaya to support it has required the standards/rules established by the Directorate General of Civil Aviation flight operations in order to ensure aviation safety. Assessment method used quantitative method by decomposition (descriptive), exposure and a

APA, Harvard, Vancouver, ISO, and other styles

50

Anggraeny, Isdian, and Wardah Dinnar Rahmadanti. "The Legality Issue of the Financing Contract at the Sharia Rural Banks (BPRS) and the Solution in Sharia Agreement Law Perspective." Jurnal Magister Hukum Udayana (Udayana Master Law Journal) 9, no. 3 (November 19, 2020): 646. http://dx.doi.org/10.24843/jmhu.2020.v09.i03.p14.

Full text

Abstract:

Sharia-based financing institutions are currently experiencing developments in the financial industry. Sharia financing provided by the BPRS is one of the ways that can be used by the community to meet their daily needs or manage their business. The use of financing certainly has the risk of default and execution of collateral which of course will be detrimental to the creditors (BPRS). Various financing problems are generally caused by the financing process that does not pay attention to legal provisions, especially sharia contract law and guarantee law. Taking the theme: "Issues on the Legal

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!