Log in

Relevant bibliographies by topics / Purpose of proving / Journal articles

To see the other types of publications on this topic, follow the link: Purpose of proving.

Journal articles on the topic 'Purpose of proving'

Author: Grafiati

Published: 30 May 2022

Last updated: 31 July 2025

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 'Purpose of proving.'

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

Sutcliffe, Geoff, and Christian Suttner. "Evaluating general purpose automated theorem proving systems." Artificial Intelligence 131, no. 1-2 (2001): 39–54. http://dx.doi.org/10.1016/s0004-3702(01)00113-8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Kosobudzki, Mariusz, and Krzysztof Jamroziak. "Chosen Problems of Selection the Basic Chassis for the Special Purpose Body." Solid State Phenomena 220-221 (January 2015): 829–32. http://dx.doi.org/10.4028/www.scientific.net/ssp.220-221.829.

Full text

Abstract:

The chosen problems of selection the basic chassis for special purpose body are presented in the paper. The technical data of chassis have to go through various tests, most often within the proving ground tests. The paper contains the analysis of chosen tests and their usefulness in the design process of special purpose vehicle.

APA, Harvard, Vancouver, ISO, and other styles

3

Fayeton, S., and M. van Wassenhoven. "Clinical verification of symptom pictures of homeopathic medicines." British Homeopathic Journal 90, no. 01 (2001): 29–32. http://dx.doi.org/10.1054/homp.1999.0459.

Full text

Abstract:

AbstractThis invitation for co-operation is addressed to all interested groups. Its purpose is data collection for clinical verification of symptoms from homeopathic proving and collection of clinical symptoms not derived from homeopathic pathogenetic trials (provings). To date no consensus exists on this topic. The European Committee for Homoeopathy (ECH) research sub-committee has created a working group on this topic. This paper is the result of a review of papers on the topic, exchanges between members and a meeting.

APA, Harvard, Vancouver, ISO, and other styles

4

Raynikov, A. S. "Disadvantages of the general-purpose presumption of good faith by example of contract negotiations." Siberian Law Herald 3 (2024): 51–56. http://dx.doi.org/10.26516/2071-8136.2024.3.51.

Full text

Abstract:

It is established that the distinctions between good faith in the objective sense and good faith in the subjective sense provide for different ways of proving relevant circumstances. It is proved that there can be no presumption regarding good faith in the objec-tive sense. The study revealed that good faith in the subjective sense, by contrast, is based on the assumption that the subject is bona fide. The difference in proof of two types of good faith is demonstrated by example of contract negotiations. It has been proven that there is no legal sense to place the burden of proving a good fait

APA, Harvard, Vancouver, ISO, and other styles

5

Balabanov, S. P. "The Features of Proving of the Property Transfer Fact under the Contract of Lease of a Buildings and Structures (Based on Judicial Practice Materials)." Rossijskoe pravosudie 5 (May 25, 2021): 29–37. http://dx.doi.org/10.37399/issn2072-909x.2021.5.29-37.

Full text

Abstract:

The article is devoted to the consideration of the problem of proving of the property transfer fact under the contract of lease of a buildings and structures, in the absence of an act of acceptance and transfer. The purpose of the article is to determine the most effective strategy for proving the property transfer fact under the contract of lease of a buildings and structures. Achieving this purpose requires determining the essential features of specified contract, as well as identifying and analyzing the approaches, that have been established in law enforcement practice, regarding to admissi

APA, Harvard, Vancouver, ISO, and other styles

6

Pakpahan, Novritsar Hasintongan, Teguh Prasetyo, Erny Herlin Setyorini, and Yovita Arie Mangesti. "Trial Proving in Electronic Criminal Case Trial Based On the Dignified Justice Perspective." Ius Poenale 3, no. 1 (2022): 1–12. http://dx.doi.org/10.25041/ip.v3i1.2452.

Full text

Abstract:

Trial proving in Indonesia has always been limited to Criminal Procedural Law and other regulations. Following the recent development of electronic criminal case trials, there has not been any precise regulation aside from Supreme Court Regulation 4 of 2020. The contradiction between KUHAP and Supreme Court Regulation causes problems, especially regarding trial proving. The purpose of the paper is to provide a legal solution to the problem of the legal emptiness regarding the regulation of trial proving in electronic criminal case trials from the perspective of Dignified Justice that will prov

APA, Harvard, Vancouver, ISO, and other styles

7

Mongkolkeha, Chirasak, and Poom Kumam. "Some Geometric Properties of Lacunary Sequence Spaces Related to Fixed Point Property." Abstract and Applied Analysis 2011 (2011): 1–13. http://dx.doi.org/10.1155/2011/903736.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Novozhilov, I. M., S. E. Abramkin, A. V. Plotnikov, and T. V. Kukharova. "Analysis of the Temperature Field of the Main Gas Pipeline for the Purpose of Automation." LETI Transactions on Electrical Engineering & Computer Science 15, no. 7 (2022): 28–36. http://dx.doi.org/10.32603/2071-8985-2022-15-7-28-36.

Full text

Abstract:

Natural gas transportation and storage processes play an important role in the gas industry. Due to the changing rheological properties of gas under the influence of external factors, industrialists face the question of the need to control the temperature field of existing pipelines. However, this is far from always possible. The authors of this study, from the point of view of system analysis, are developing two methods for assessing the thermal fields of the main gas pipeline. The obtained methods and equations make it possible to calculate the temperature field depending on the gas flow rat

APA, Harvard, Vancouver, ISO, and other styles

9

Tori, Ni Wayan Medita Santipa, Ervina Ahyudanari, Wahju Herijanto, Catur Arif Prastyanto, and A. A. Gde Kartika. "Analysis of External Trip Attraction for Proving Ground at ITS." Jurnal Teknologi Transportasi dan Logistik 5, no. 1 (2024): 81–94. http://dx.doi.org/10.52920/jttl.v5i1.285.

Full text

Abstract:

The development of research in the automotive field is characterized by an increasing number of automotive competitions involving college students. The results of this research have been tested around the campus environment without specialized testing facilities such as a Proving Ground, thus prompting ITS to initiated to build a Proving Ground. The construction of a Proving Ground at ITS will also be utilized as a go-kart activity. The purpose of this research is to develop a trip attraction model and to determine the factors that influence trip atrraction decisions to the Proving Ground to b

APA, Harvard, Vancouver, ISO, and other styles

10

Istudor, Adriana, Gheorghe Voicu, Gheorghe Muscalu, and Paula Tudor. "Evaluation of carbon dioxide released by bread dough during proving stage." E3S Web of Conferences 180 (2020): 03012. http://dx.doi.org/10.1051/e3sconf/202018003012.

Full text

Abstract:

This study presents the analysis of multiple bread dough proving processes with the purpose of establishing a correlation between the concentration of released carbon dioxide during fermentation and the working parameters (time and temperature). The testing was performed using a standard recipe for white bread dough, a small capacity prover with air conditioning unit for temperature and relative humidity regulation, CO2 and temperature sensors with data acquisition plate. In the first part are presented the results for 11 measurements of CO2 concentration for one dough piece fermentation proce

APA, Harvard, Vancouver, ISO, and other styles

11

Dankova, S. O. "Classification of subjects of proving in criminal proceedings in the court of first instance." Uzhhorod National University Herald. Series: Law 3, no. 81 (2024): 62–66. http://dx.doi.org/10.24144/2307-3322.2024.81.3.7.

Full text

Abstract:

In the article the author emphasizes the relative independence of criminal procedural proving in judicial proceedings, its specific structure and the circle of subjects who carry out such activities. It was established that at the doctrinal level there are many approaches to the interpretation of the concept of subjects of proving and their classification, which is due to the lack of clear instructions in the legislation. It is emphasized that the concepts of “participants of judicial proceedings” and “subjects of proving of criminal proceedings in the court of first instance” only partially o

APA, Harvard, Vancouver, ISO, and other styles

12

ȘTEFAN, Florin. "THE PURPOSE OF THE WILDERNESS AND CELL IN THE PSYCHOLOGICAL SHAPING OF THE MONK." Icoana Credintei 7, no. 13 (2021): 48–60. http://dx.doi.org/10.26520/icoana.2021.13.7.48-60.

Full text

Abstract:

Anachoreism is a fascinating feature of Eastern monasticism. Many of the ascetic treatises, and especially the philocal collection, come from the heroic world of the anchorite monks who lived in uninhabited territories, wild but, above all, desert places. From the first centuries of the Christian Church, there are emblematic figures of the anchorite monk in the Egyptian space, who retreated to the desert, such as St. Paul of Thebes, the first Egyptian hermit known by name. The premise from which our study starts is that the geographical places chosen by the Christian anchorites, in this case t

APA, Harvard, Vancouver, ISO, and other styles

13

Lee, Yunju. "A Consideration on Documents Proving Korean Language Proficiency for Foreign Students’ Permanent Residence in Korea." Korean Society of Culture and Convergence 45, no. 9 (2023): 587–600. http://dx.doi.org/10.33645/cnc.2023.09.45.09.587.

Full text

Abstract:

The purpose of this article is to take a close look at the documents proving Korean language proficiency, which are essential requirements when issuing visas and changing residency status for foreigners, identify the problems, and propose ways to prove Korean language proficiency for permanent residence in Korea from the perspective of international students. there is. For this purpose, documents proving Korean language proficiency presented in the “Visa Issuance Guide Manual” and the “Foreigners Residence Guide Manual” were presented by residency status, and TOPIK and KIIP were compared and a

APA, Harvard, Vancouver, ISO, and other styles

14

Setyawan, Vincentius. "The Problems of Proving Electronic Evidence." Fundamental: Jurnal Ilmiah Hukum 11, no. 1 (2022): 73–88. http://dx.doi.org/10.34304/jf.v11i1.62.

Full text

Abstract:

    The purpose of writing this article is to present the results of research on the problems in the existence of electronic evidence in proving civil cases, criminal cases, and state administrative cases, as well as finding solutions to these problems. This article was written using a normative legal research method with a statutory approach and a conceptual approach. The results of this study determine that there is a need for synchronization of rules regarding electronic evidence as regulated in Law Number 11 of 2008 concerning Electronic Information and Transactions

APA, Harvard, Vancouver, ISO, and other styles

15

Ismawati Septiningsih. "The Importance of Expert Testimony in Proving Corruption Crimes." IJOLARES : Indonesian Journal of Law Research 1, no. 2 (2023): 32–36. http://dx.doi.org/10.60153/ijolares.v1i2.20.

Full text

Abstract:

The criminal act of corruption is an extraordinary crime that has an extraordinary impact on the state and the survival of its people. Corruption as an extraordinary crime requires extraordinary handling efforts as well, especially in the process of proving it. Proving corruption often requires the role of experts from several disciplines to ensure that corruption has actually occurred. The purpose of writing this article is to analyze the existence of expert testimony as evidence in proving corruption and the extent to which expert testimony contributes to convincing judges that corruption ha

APA, Harvard, Vancouver, ISO, and other styles

16

Siahaan, Parlaungan Gabriel, Novridah Reanti Purba, Muhammad Jafar Anan, Aulia Ulfa, Alya Afifah, and Fransiska Hirim M. Samosir. "Hambatan Dalam Melakukan Pembuktian Terhadap Tindakan Money Politic Pada Masa Kampanye 2024." Innovative: Journal Of Social Science Research 4, no. 3 (2024): 7670–77. http://dx.doi.org/10.31004/innovative.v4i3.11172.

Full text

Abstract:

The purpose of this research is to identify the various obstacles that may arise in the process of proving money politics cases during the 2024 general election campaign. This research will use a case study of the General Election Supervisory Agency (Bawaslu) to gain a deeper understanding of the forms of obstacles that may be faced in uncovering money politics practices. By understanding these barriers, it is hoped that effective strategies can be developed to prevent and handle money politics cases in the future. The research method used in this research is descriptive qualitative with the r

APA, Harvard, Vancouver, ISO, and other styles

17

Saleh Samih Al Samna and Abdul Fattah bin Wan Ismail. "Legal Regulation of Technical Expertise Procedures in proving written Forgery in Palestinian Legislation." Journal of Arts, Literature, Humanities and Social Sciences, no. 119 (April 23, 2025): 339–69. https://doi.org/10.33193/jalhss.119.2025.1403.

Full text

Abstract:

Technical expertise is considered one of the important issues that should be highlighted due to its importance in criminal matters in general, and cases of proving forgery in particular. This study aims primarily to shed light on the extent to which the Palestinian legislator organizes the procedures of technical expertise in proving forgery. Linear, as the importance of the study highlights the analysis of the Palestinian legislative reality in how to combat the crime of forgery of official documents and ways to confront it by stating the procedures of the technical expert to reveal the areas

APA, Harvard, Vancouver, ISO, and other styles

18

Kuznetsov, V., Y. Dobryshkin, I. Lappo, and V. Zhyrnyi. "RECOMMENDATIONS FOR EQUIPPING THE PROVING GROUND F OR TESTING ARMORED AND AUTOMOTIVE VEHICLES." Наукові праці Державного науково-дослідного інституту випробувань і сертифікації озброєння та військової техніки, no. 8 (June 29, 2021): 56–62. http://dx.doi.org/10.37701/dndivsovt.8.2021.06.

Full text

Abstract:

Problem statement. Equipping the Armed Forces of Ukraine with new types of armament and military equipment, including armored and automotive equipment, leads to the need to create an appropriate proving ground: the development of infrastructure facilities, equipping with tools and equipment for laboratory tests, as well as means for monitoring the performance and determining the technical condition of armament and military equipment. Analysis of recent research and publications. Unfortunately, there are no recommendations in the existing publications on equipping the proving ground for a

APA, Harvard, Vancouver, ISO, and other styles

19

Sachin Ashok Murab. "Formal Methods for Security Protocol Verification: Model Checking and Theorem Proving Approaches." Panamerican Mathematical Journal 33, no. 2 (2024): 60–74. http://dx.doi.org/10.52783/pmj.v33.i2.875.

Full text

Abstract:

Formal methods are a key part of making sure that cryptographic systems are safe and reliable. For the purpose of checking security protocols, this paper looks into two well-known formal methods: model checking and theorem proving. When you do model checking, you go through all of a system's possible states to see if it meets certain criteria. On the other hand, theorem proving uses formal evidence and mathematical reasoning to show that protocols are correct. In the beginning of the paper, an outline of security protocols and the need for formal proof methods to make sure they are strong agai

APA, Harvard, Vancouver, ISO, and other styles

20

Marshall, Kevin S., and Kurt J. Beron. "Statistics and the Law: Proving Lost Profits." Texas Wesleyan Law Review 2, no. 3 (1996): 467–79. http://dx.doi.org/10.37419/twlr.v2.i3.2.

Full text

Abstract:

The existence and amount of a firm's lost profits are key elements in most commercial damage cases. Practitioners must be able to demonstrate to the trier of fact the appropriateness and effectiveness of the methodology employed to calculate lost profits.' While practitioners generally employ experts to perform a lost profits analysis, it is essential that practitioners understand the conceptual relationship between the legal standard and the methodology employed. In Texas, the legal standard requires the use of a methodology that goes beyond the mere assertion that the plaintiff has sustained

APA, Harvard, Vancouver, ISO, and other styles

21

Balqis. "Pengaruh Penerapan Pajak Daerah, Retribusi Daerah dan Dana Bagi Hasil Terhadap Kemandirian Keuangan Daerah di Dinas Pendapatan, Pengelolaan Keuangan, dan Aset Daerah (DPPKAD) Eks Karesidenan Pekalongan Pada Tahun 2013 – 2017." Permana : Jurnal Perpajakan, Manajemen, dan Akuntansi 10, no. 1 (2018): 34–49. http://dx.doi.org/10.24905/permana.v10i1.65.

Full text

Abstract:

The purpose of this study is 1) to determine simultaneously the effect of the application of local taxes, regional retribution and revenue sharing funds on financial independence 2) To know partially the effect of tax implementation on regional financial independence 3) To know partially the influence of regional retribution on regional financial independence 4) To know partially the effect of revenue sharing funds on regional financial independence. Data collection method used in this study is documentation. While the data analysis used is classical assumption testing, multiple linear regress

APA, Harvard, Vancouver, ISO, and other styles

22

Niewolik, Daria, Barbara Bednarczyk-Cwynar, Piotr Ruszkowski, and Katarzyna Jaszcz. "Novel Biodegradable Polyanhydrides Based on Betulin Disuccinate and Sebacic Acid for Medical Purpose." Proceedings 67, no. 1 (2020): 17. http://dx.doi.org/10.3390/asec2020-07558.

Full text

Abstract:

The paper describes synthesis and the characterization of novel biodegradable betulin-based polyanhydrides, exhibiting anti-cancer activity. Polyanhydrides were obtained by a melt polycondensation of a disuccinate betulin (3,28-di-O-succinyl betulin) and sebacic acid with the use of acetic anhydride. Mentioned polyanhydrides were then thoroughly characterized by 1H NMR and 13C NMR, size exclusion chromatography, differential scanning calorimetry and FT-IR spectroscopy. The content of sebacic acid in obtained copolymers was from 20 to 80 wt%. The use of sebacic acid as a comonomer increases the

APA, Harvard, Vancouver, ISO, and other styles

23

Nofa, Kharisma Shalsabilla Putri, and Bambang Santoso. "KEKUATAN PEMBUKTIAN SAKSI MAHKOTA SEBAGAI ALAT BUKTI DALAM PEMBUKTIAN TINDAK PIDANA PENCURIAN DENGAN PEMBERATAN." Verstek 11, no. 3 (2023): 397. http://dx.doi.org/10.20961/jv.v11i3.73022.

Full text

Abstract:

<em>This article analyses the strength of the crown witness evidence in proving qualified theft crime in Verdict Number 342/Pid.B/2021/PN Sbr. The purpose of this article is to determine the strength of evidence of the crown witness in proving qualified theft crime. This research is normative legal research which is perspective and applied. This legal research uses a case approach. Types of legal materials used are primary and secondary legal materials. The technique of collecting legal materials used is library research. The analysis technique used is the deductive method. Based on the

APA, Harvard, Vancouver, ISO, and other styles

24

Mitev, M., L. Pekova, and St Valkanov. "DYNAMIC FOLLOW-UP AND PROVING THROUGH COMPUTED TOMOGRAPHY AND MAGNETIC RESONANCE IMAGING OF CHANGES IN SECONDARY MENINGOENCEPHALITIS FROM SUPPURATIVE LEFT MAXILLARY SINUSITIS." Trakia Journal of Sciences 18, no. 2 (2020): 98–104. http://dx.doi.org/10.15547/tjs.2020.02.002.

Full text

Abstract:

Infections of the nervous system and its belonging structures have often been reported as life-threatening conditions. Purpose: the results of dynamic follow-up and proving of changes in secondary meningoencephalitis from suppurative left maxillary sinusitis are presented using the imaging methods - CT and MRI. Methods: diagnostic imaging (CT, MRI), of acute disease in a 13-year-old child with progressive development and proving of secondary bacterial meningoencephalitis. Result: the control CT after two days showed dynamics in the imaging CT finding with the appearance of changes in the type

APA, Harvard, Vancouver, ISO, and other styles

25

Gulkilik, Hilal, Hatice Aydan Kaplan, Hatice Aydan Kaplan, and Nida Emul. "Investigating the Relationship between Argumentation and Proof from a Representational Perspective." International Journal for Mathematics Teaching and Learning 20, no. 2 (2019): 131–48. http://dx.doi.org/10.4256/ijmtl.v20i2.211.

Full text

Abstract:

The purpose of this qualitative study was to analyze the relationship between argumentation and proof in terms of verbal, visual, and algebraic representations of mathematical concepts. We conducted task-based interviews based on geometric locus problems with six undergraduate mathematics teachers while they were working in pairs. We identified the mathematical arguments that the pairs produced in argumentation and proving by using Toulmin's model. We examined the role of representations in the relationship between these two processes by performing an analysis considering the referential syste

APA, Harvard, Vancouver, ISO, and other styles

26

Slipchenko, O., and V. Kroitor. "Distribution of Responsibilities on Proving in Cases on Reimbursement for Moral (Non-Pecuniary) Damage." Analytical and Comparative Jurisprudence, no. 1 (May 29, 2023): 171–79. http://dx.doi.org/10.24144/2788-6018.2023.01.26.

Full text

Abstract:

The authors of the article study the problem of distributing responsibilities on proving in cases of reimbursement for moral (non-pecuniary) damage. At the same time, it has been noted that each party is currently obliged to prove those circumstances, to which it refers to as the basis of its requirements and objections. Thus, the Civil Procedural Code of Ukraine of 2004 introduced a new concept of adversarial proceedings into civil procedure, where the parties are obliged to play an active role in judicial proving (Art. 12 of the Civil Procedural Code of Ukraine). The authors of the pap

APA, Harvard, Vancouver, ISO, and other styles

27

NOWAKOWSKI, Marek. "Collision avoidance strategies for special-purpose Unmanned Ground Vehicles in dynamic environments with human presence." Inżynieria Bezpieczeństwa Obiektów Antropogenicznych, no. 1 (March 31, 2025): 31–40. https://doi.org/10.37105/iboa.250.

Full text

Abstract:

The evaluation of collision avoidance strategies for special-purpose unmanned ground vehicles (UGVs) operating in dynamic environments with human presence is presented in this study. The autonomous wheeled vehicle equipped with an armament module for combat and reconnaissance tasks is described considering mission specifications and off-road usage scenarios. The main operational parameters are outlined, and the obstacle detection features integrated into the PERUN vehicle are introduced. The control system architecture is presented, along with installed sensors and their perception capabilitie

APA, Harvard, Vancouver, ISO, and other styles

28

Kent, Clement F., and Bernard R. Hodgson. "Extensions of arithmetic for proving termination of computations." Journal of Symbolic Logic 54, no. 3 (1989): 779–94. http://dx.doi.org/10.2307/2274742.

Full text

Abstract:

AbstractKirby and Paris have exhibited combinatorial algorithms whose computations always terminate, but for which termination is not provable in elementary arithmetic. However, termination of these computations can be proved by adding an axiom first introduced by Goodstein in 1944. Our purpose is to investigate this axiom of Goodstein, and some of its variants, and to show that these are potentially adequate to prove termination of computations of a wide class of algorithms. We prove that many variations of Goodstein's axiom are equivalent, over elementary arithmetic, and contrast these resul

APA, Harvard, Vancouver, ISO, and other styles

29

SAKURAI, TAKAFUMI. "CATEGORICAL MODEL CONSTRUCTION FOR PROVING SYNTACTIC PROPERTIES." International Journal of Foundations of Computer Science 12, no. 02 (2001): 213–44. http://dx.doi.org/10.1142/s012905410100045x.

Full text

Abstract:

It is observed that the proof of strong normalizability of typed terms of typed λ-calculus looks like the process of the model construction. The observation is clarified by the works of Hyland and Ong [8], Altenkirch [2], Stefanova and Geuvers [15], and so on. The model of Hyland and Ong is based on PL-category [14] and the model of Altenkirch or Stefanova and Geuvers is a non-categorical model that is specially designed for this purpose. In this paper, we will construct yet another categorical model for the second order λ-calculus — a non-extensional PL-category. To demonstrate the significan

APA, Harvard, Vancouver, ISO, and other styles

30

Paryzkyi, Ihor, Oleksii Humin, Serhii Matvieiev, Olha Marchenko, and Alina Chukaieva. "Administrative offense as deterrent to prove objective aspect in criminal proceedings." Revista Amazonia Investiga 10, no. 45 (2021): 99–104. http://dx.doi.org/10.34069/ai/2021.45.09.10.

Full text

Abstract:

The purpose of the article is to study administrative offense as a deterrent to proving the objective element in criminal proceedings. The research methodology includes the use of general scientific and special methods of scientific cognition: dialectical, epistemological, logical and semantic, system and structural, normative and dogmatic, monographic, legal modeling methods. Research results: The article examines the problems of co-existence of administrative and criminal offenses. The signs of delimitation of these illegal acts are determined, as well as difficulties in defining and differe

APA, Harvard, Vancouver, ISO, and other styles

31

Saed, Najlaa, and Razan Jamil. "Lafizat Albahr Fi Alquran Alkrym - Tafsir Waejaz-." Islamic Sciences Journal 11, no. 7 (2023): 256–80. http://dx.doi.org/10.25130/jis.20.11.7.11.

Full text

Abstract:

    ABSTRACT  The Book of Allah is characterized by the fact that it addresses the mind and the soul together, It explains scientific facts and reinforcing them with the main goal of proving the oneness of Allah to those who susbect this. The scholars are different in the definition of the sea each according to its approach and purpose. In the current research we collected definitions and verses that include the word sea and its derivatives, and we were exposed to the interpretation of selected verses with varying meanings according to the Qur'anic con

APA, Harvard, Vancouver, ISO, and other styles

32

Ayu Rahmawati, Shinta, and Mujiono Hafidh Prasetyo. "PROVING AS AN HEIR WITH A NOTARIAL DEED." Awang Long Law Review 6, no. 2 (2024): 323–31. http://dx.doi.org/10.56301/awl.v6i2.1147.

Full text

Abstract:

Proof that every citizen has the civil right to an heir, to be able to elimanate discrimination in formal form and officials/institutions that make evidence of an heir to the state and the people of Indonesia. The purpose of this journal article was to know how an heir was show to the notary deed (in the form of certificate of inheritance). The method of research used in compiling this journal article is normatif juridical law. The result in this journal study is that there is discrimination within a rule of law in proving as an heir and what is required of the only institution or official who

APA, Harvard, Vancouver, ISO, and other styles

33

Arif, Anam, Muhammad Nazam, Hamed H. Al-Sulami, Aftab Hussain, and Hasan Mahmood. "Fixed Point and Homotopy Methods in Cone A-Metric Spaces and Application to the Existence of Solutions to Urysohn Integral Equation." Symmetry 14, no. 7 (2022): 1328. http://dx.doi.org/10.3390/sym14071328.

Full text

Abstract:

The purpose of this article is to introduce an ordered implicit relation that can be used for the existence of fixed points of new contractions defined in cone A-metric spaces. We investigate a fixed-point method for proving the existence of Urysohn integral equation solutions. We prove an homotopy result by the application of obtained fixed-point theorem. The hypothesis is demonstrated with examples.

APA, Harvard, Vancouver, ISO, and other styles

34

Pleshakov, Alexander. "Criminal trials of animals in the Middle Ages." OOO "Zhurnal "Voprosy Istorii" 2023, no. 6-1 (2023): 114–21. http://dx.doi.org/10.31166/voprosyistorii202306statyi11.

Full text

Abstract:

The study is devoted to the issues of medieval thought about animals as subjects of crimes, the means of proving their guilt and the purpose of punishments are analyzed. The study proposes a number of conclusions (conclusions) that show the formation of the modern criminal law doctrine about animals - an animal cannot be the subject of a crime and cannot be found guilty of committing it.

APA, Harvard, Vancouver, ISO, and other styles

35

Bouhamed, Ayda, Xin Sun, and Olfa Kanoun. "High performance epoxy/ MWCNTs nanocomposite sensors for multi-purpose sensing in structural health monitoring." Technologies for Lightweight Structures (TLS) 5, no. 1 (2022): 69–76. http://dx.doi.org/10.21935/tls.v5i1.124.

Full text

Abstract:

Structural health monitoring (SHM) is necessary for modern technical development. It can be achieved by detecting different quantities such as pressure and strain using highly sensitive and stable sensors. In this work, epoxy/multiwalled carbon nanotubes (MWCNTs) is used as sensing material to detect both strain and pressure. To ensure better performance, dispersion fabrication process was firstly optimized via electrical and microscopic measurements. Then, the piezoresistive performance such as the sensitivity, linearity, stability and drift were investigated under pressure and strain for fil

APA, Harvard, Vancouver, ISO, and other styles

36

Bouhamed, Ayda, Xin Sun, and Olfa Kanoun. "High performance epoxy/ MWCNTs nanocomposite sensors for multi-purpose sensing in structural health monitoring." Technologies for Lightweight Structures (TLS) 3, no. 1 (2022): 100–107. http://dx.doi.org/10.21935/tls.v3i1.124.

Full text

Abstract:

Structural health monitoring (SHM) is necessary for modern technical development. It can be achieved by detecting different quantities such as pressure and strain using highly sensitive and stable sensors. In this work, epoxy/multiwalled carbon nanotubes (MWCNTs) is used as sensing material to detect both strain and pressure. To ensure better performance, dispersion fabrication process was firstly optimized via electrical and microscopic measurements. Then, the piezoresistive performance such as the sensitivity, linearity, stability and drift were investigated under pressure and strain for fil

APA, Harvard, Vancouver, ISO, and other styles

37

Iskawati, Novita, and Putri Mahadewi. "PENGGUNAAN SAKSI VERBALISAN PADA PEMBUKTIAN PERKARA PENCURIAN DALAM KEADAAN YANG MEMBERATKAN." Verstek 11, no. 2 (2023): 315. http://dx.doi.org/10.20961/jv.v11i2.72102.

Full text

Abstract:

<em>This article analyzes the use of verbal witnesses at proving the case of theft in a situation that burdens the Decision Number 45/Pid.B/2021/PN Wng. The purpose of this article was to determine the compatibility between the use of verbal witness thereof theft in a situation that burdens the provisions of Law Number 8 of 1981 concerning Law of the Criminal Procedure or Book of the Crime Law of the Crime Event (KUHAP). This writing uses normative legal research methods that are prescriptive and applied with a case approach. The type of legal material used is primary and secondary legal

APA, Harvard, Vancouver, ISO, and other styles

38

Vovkivskaya, L. V., and E. V. Savostina. "Analytical review of judicial cases involving antitrust body." Russian competition law and economy, no. 4 (August 20, 2021): 90–93. http://dx.doi.org/10.47361/2542-0259-2020-4-24-90-93.

Full text

Abstract:

Analysis of the arbitration court’s legal positions in cases of violation of antimonopoly legislation on the following issues: limitation period for the institution of administrative proceedings for merger deals, determining the dominant position of an economic entity, court actions against, Antimonopoly service warnings, administrative fines reductions, ways of proving anti-competitive agreements. Purpose: the formation of uniform approaches in law enforcement practice in cases of violation of antitrust laws.

APA, Harvard, Vancouver, ISO, and other styles

39

Rathivel, M., M. Jeyaraman, and Rahul Shukla. "A Study of Fixed Point Results for Incompatible Mappings in Neutrosophic Double Controlled Metric Spaces with Application." International Journal of Analysis and Applications 23 (April 21, 2025): 96. https://doi.org/10.28924/2291-8639-23-2025-96.

Full text

Abstract:

We looked at and illustrated a few axioms of NDCMS (Neutrosophic double controlled metric space) in this article. As a way to generalise the Banach contraction principle in the earlier mentioned spaces, we employed NDCMS. For the purpose of reviewing what we discovered, we graphically validated several examples and supported some findings. Furthermore, we provide evidence of usage and implemented it by proving their presence with a distinctive and integrative solution.

APA, Harvard, Vancouver, ISO, and other styles

40

Anh, Tran Thuy, Tran Duc Minh Hai, Nguyen Danh Tien, and Tran Duc Ha. "STUDY ON ADVANCED TREATMENT OF WASTEWATER BY ULTRA FILTRATION FOR REUSING PURPOSE – ON-SITE PILOTS." Vietnam Journal of Science and Technology 58, no. 5A (2020): 160. http://dx.doi.org/10.15625/2525-2518/58/5a/15283.

Full text

Abstract:

Reclaimed water has been greatly applied worldwide recently to augment water supply for non-potable domestic purpose. The present study put an effect on assessing the application of ultra-filtration (UF) on advanced treatment following conventional domestic wastewater treatment and coal mining wastewater for reusing purpose. On-site advanced treatment pilots using UF membrane with the capacity of 1 – 1.5 m3/h were built to treat decentralized domestic wastewater which has a low concentration of organic matters and coal mining wastewater which is abated by chemical-physical process and advanced

APA, Harvard, Vancouver, ISO, and other styles

41

Henok, Adrianus Herman. "KONSTRUKSI MOTIF DALAM PEMBUKTIAN PERKARA PIDANA." Honeste Vivere 33, no. 2 (2023): 113–29. http://dx.doi.org/10.55809/hv.v33i2.242.

Full text

Abstract:

Hans Jonas in the Ethics of Responsibility states that "Every time you take an action, also imagine the consequences of that action, meaning that if the action is bad then also imagine the bad consequences that will occur, conversely if the action is good then also imagine the good consequences that will occur, or in other words every action has good consequences such as rewards, as well as bad consequences, such as punishment." The purpose of this study is to examine the construction of motives in proving a criminal case based on positive law in Indonesia. The method used is normative juridic

APA, Harvard, Vancouver, ISO, and other styles

42

Postema, Michiel. "Как выступают с докладами физики Западной Европы и физики из стран бывшего Советского Союза". СОВЕТСКИЙ ФИЗИК 116, № 1 (2016): 47–49. https://doi.org/10.5281/zenodo.4770207.

Full text

Abstract:

Published in: Михил Постема. Как выступают с докладами физики Западной Европы и физики из стран бывшего Советского Союза. СОВЕТСКИЙ ФИЗИК, Физический факультет Московский государственный университет имени М.В.Ломоносова, 2016, 117 (1), pp.47-49. Michiel Postema. Physics presentations in Western Europe and in the former Soviet Union. SOVIET PHYSICIST, Physics faculty of Moscow State University M.V. Lomonosov, 2016, 117 (1), pp. 47-49.   The purpose of scientific research is to create, expand, and apply knowledge of Life, the Universe, and Everything. All over the world, Universit

APA, Harvard, Vancouver, ISO, and other styles

43

Salamakha, Vitalii. "PROVING A PERSON’S GUILT IN COMMITTING A CRIME AGAINST LIFE AND HEALTH IN THE CONTEXT OF THE PRESUMPTION OF INNOCENCE." Archives of Criminology and Forensic Sciences 10, no. 2 (2024): 130–37. https://doi.org/10.32353/acfs.10.2024.10.

Full text

Abstract:

Proper regulation of procedures for gathering evidence and adherence to rules of admissibility are prerequisites for ensuring the effective realization of the right to a fair trial and the provision of evidence. The resolution of these issues is closely related to the establishment of the presumption of innocence, which is a fundamental principle of criminal procedure. The purpose of the article is to determine the specifics of proving guilt in the commission of a crime against human life and health, taking into account the content of the principle of the presumption of innocence. It is reason

APA, Harvard, Vancouver, ISO, and other styles

44

Afanasyev, Alexey. "“Inputs” and “outputs” of the mechanism of proving criminal activity." Vestnik of the St. Petersburg University of the Ministry of Internal Affairs of Russia 2025, no. 1 (2025): 82–89. https://doi.org/10.35750/2071-8284-2025-1-82-89.

Full text

Abstract:

Introduction. The article continues the research on revealing the ‘black boxes’ that are modelled in the course of the methodological study of the ‘mechanism of proving criminal activity’. The author puts forward and tests hypotheses concerning the representation of the functional system ‘proving criminal activity’ through its models, and their elements – as ‘inputs’ and ‘outputs’ in the ‘black box’. The author believes that setting regular relations between the structural elements of the models of the mechanism of proving, as well as between ‘inputs’ and ‘outputs’ will allow to understand the

APA, Harvard, Vancouver, ISO, and other styles

45

Saejung, Satit, Suthep Suantai, and Pongsakorn Yotkaew. "A Note on “Common Fixed Point of Multistep Noor Iteration with Errors for a Finite Family of Generalized Asymptotically Quasi-Nonexpansive Mappings”." Abstract and Applied Analysis 2009 (2009): 1–9. http://dx.doi.org/10.1155/2009/283461.

Full text

Abstract:

The purpose of this paper is to give a general and short principle for proving some convergence results of certain types of iterative sequences. A small gap in the paper by Imnang and Suantai (2009) is discussed and corrected. Finally, we prove that the generalized asymptotically quasi-nonexpansive mappings in the sense of Lan (2006) are nothing but asymptotically quasi-nonexpansive. Hence several results concerning these mappings become a special case of the known ones.

APA, Harvard, Vancouver, ISO, and other styles

46

Chen, Xingang, Mohammad Hossein Namjoo, and Yi Wang. "Probing the primordial universe using massive fields." International Journal of Modern Physics D 26, no. 01 (2017): 1740004. http://dx.doi.org/10.1142/s0218271817400041.

Full text

Abstract:

Inflation models are numerous. It is extremely difficult, if possible at all, to identify the actual underlying inflation model of our primordial universe. Thus, for the purpose of proving/falsifying inflation and using inflation to probe new physics, model-independent approaches are crucial. Massive fields play a uniquely important role in those missions. This short review is based on a talk by one of the authors (YW) in the 2nd LeCosPA Symposium.

APA, Harvard, Vancouver, ISO, and other styles

47

Afanas'ev, Aleksey. "Levels of modeling the mechanism of proving criminal activity." Legal Science and Practice: Journal of Nizhny Novgorod Academy of the Ministry of Internal Affairs of Russia 2024, no. 3 (2024): 141–50. http://dx.doi.org/10.36511/2078-5356-2024-3-141-150.

Full text

Abstract:

How to build such a model so that it most fully reflects a particular functional system? Probably, to answer this question, one should take into account, on the one hand, what kind of reality we are talking about, and on the other hand, what types of models and levels of modeling we have at our disposal. In this article, the author’s research focus is aimed at substantiating and proposing levels of modeling the mechanism for proving criminal activity — practical, scientific and methodological. Based on the key provisions of the theory of modeling, the purpose of models, their place and capabil

APA, Harvard, Vancouver, ISO, and other styles

48

Sukhachova, I. O., and M. M. Pohoretskyi. "Mechanism of the prosecutor’s implementation of the function of accusation in proving in the pre-trail investigation of corruption crimes." Analytical and Comparative Jurisprudence, no. 6 (December 16, 2024): 979–88. https://doi.org/10.24144/2788-6018.2024.06.165.

Full text

Abstract:

The scientific article defines the mechanism of implementation by the prosecutor of the function of prosecution in proving corruption crimes in the pre-trial investigation as a complex interacting system of processes that has a normatively defined legal form, phasing and is implemented by the prosecutor to objectively and fully establish the subject of evidence in corruption crimes, bringing the perpetrators to justice and / or applying other measures of a criminal law nature. The purpose of the article is to define the concept and structure of the mechanism of implementation by the prosecutor

APA, Harvard, Vancouver, ISO, and other styles

49

Zhizhina, M. V. "Tactical and methodological basis of investigative inspection and purpose of expertise in relation to a paper document." Courier of Kutafin Moscow State Law University (MSAL)), no. 2 (May 17, 2021): 124–31. http://dx.doi.org/10.17803/2311-5998.2021.78.2.124-131.

Full text

Abstract:

Documents are an essential element of any information system functioning in society: social, economic, political, technical. Different types of information are materialized in different documents, which at present can be paper-based or electronic. Despite the fact that the modern state and its citizens are more and more “digitalized”, the traditional paper document does not lose its position, being the main form of consolidating both legal relations and human thoughts. Accordingly, it is he who is of utmost importance in proving the factual circumstances of the commission of crimes. A “paper”

APA, Harvard, Vancouver, ISO, and other styles

50

Mollin, R. A., and H. C. Williams. "Proof, Disproof and Advances Concerning Certain Conjectures on Real Quadratic Fields." Canadian Journal of Mathematics 47, no. 5 (1995): 1023–36. http://dx.doi.org/10.4153/cjm-1995-054-7.

Full text

Abstract:

AbstractThe purpose of this paper is to address conjectures raised in [2]. We show that one of the conjectures is false and we advance the proof of another by proving it for an infinite set of cases. Furthermore, we give hard evidence as to why the conjecture is true and show what remains to be done to complete the proof. Finally, we prove a conjecture given by S. Louboutin, for Mathematical Reviews, in his discussion of the aforementioned paper.

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!