scholarly journals Soundness of a Logic-Based Verification Method for Imperative Loops

2012 ◽  
Author(s):  
Madalina Erascu ◽  
Tudor Jebelean
Keyword(s):  
Verification Method

Texture measurements in Al2O3 using BEKP

1994 ◽  
Vol 52 ◽  
pp. 608-609
Author(s):  
M. D. Vaudin ◽  
J. P. Cline
Keyword(s):  
Neutron Diffraction ◽  
Rapid Method ◽  
Crystallographic Orientation ◽  
Specimen Surface ◽  
X Ray Diffraction ◽  
Anisotropic Crystal ◽  
X Ray ◽  
Verification Method ◽  
Crystal Properties ◽  
Backscattered Electron

The study of preferred crystallographic orientation (texture) in ceramics is assuming greater importance as their anisotropic crystal properties are being used to advantage in an increasing number of applications. The quantification of texture by a reliable and rapid method is required. Analysis of backscattered electron Kikuchi patterns (BEKPs) can be used to provide the crystallographic orientation of as many grains as time and resources allow. The technique is relatively slow, particularly for noncubic materials, but the data are more accurate than any comparable technique when a sufficient number of grains are analyzed. Thus, BEKP is well-suited as a verification method for data obtained in faster ways, such as x-ray or neutron diffraction. We have compared texture data obtained using BEKP, x-ray diffraction and neutron diffraction. Alumina specimens displaying differing levels of axisymmetric (0001) texture normal to the specimen surface were investigated.BEKP patterns were obtained from about a hundred grains selected at random in each specimen.

The Effect of Investments and Risk Based Capital (RBC) of Tabarru Funds on Company (Case Study of Sharia Insurance in Indonesia for 2014-2019)

2020 ◽  
Vol 8 (1) ◽  
pp. 87-97
Author(s):  
Nana Diana ◽  
Tati Apriani
Keyword(s):  
Life Insurance ◽  
Statistical Tests ◽  
Linear Regression Analysis ◽  
Sampling Technique ◽  
Multiple Linear Regression Analysis ◽  
Insurance Companies ◽  
Coefficient Of Determination ◽  
Verification Method ◽  
Investment Returns ◽  
The Government

This study aims to examine the influence of investment returns and Risk Based Capital (RBC) Tabarru Funds to the profit of sharia life insurance in Indonesia from 2014-2019. This study The type of this research is quantitative research with descriptive verification as a method. This research method uses descriptive verification method with quantitative approach. The data used in this study were sourced from the financial statements of Islamic life insurance companies in Indonesia for the 2014-2019 period. Then the data obtained were analyzed using multiple linear regression analysis and hypothesis testing consisting of t test and f test with the help of SPSS 21 software. The sampling technique uses non probability sampling with purposive sampling technique. Based on the results of the study it can be seen that the development of investment returns on Sharia Life Insurance in Indonesia has fluctuated and even suffered losses. While the development of Risk Based Capital (RBC) has increased and decreased but overall above 120% as determined by the government. Likewise, the profits earned in each year fluctuate. The results of statistical tests show that investment results partially have a positive effect on profit and Risk Based Capital (RBC) of Tabarru funds partially has a negative effect on profit. Simultaneously investment return and Risk Based Capital (RBC) affect on profit. In addition, the results of the coefficient of determination (R2) were obtained which obtained a value of 81%. This shows that the variable investment returns and Risk Based Capital (RBC) can affect earnings by 81% and the remaining 19% is influenced by other variables not used in this study.

scholarly journals Integrity and Authenticity of Academic Documents Using Blockchain Approach

2020 ◽  
Vol 32 ◽  
pp. 03038
Author(s):  
Mukul Rane ◽  
Shubham Singh ◽  
Rohan Singh ◽  
Vidhate Amarsinh
Keyword(s):  
Verification Method ◽  
Reference Number ◽  
Educational Institute ◽  
Academic Records ◽  
Block Chain ◽  
The University ◽  
Strong Capacity

Blockchain has a strong capacity to monitor and retain educational records. The paperless future has yet to become a reality, even with the ability to digitally generate documents. Physical copy of records are still regularly printed which makes them susceptible to document fraud. Thus, the issue of fake certificates and academic records has risen drastically. In this paper, we have made a reliable verification method to avoid academic frauds. The idea presented here is developed over Hyperledger. The University or The Educational Institute is responsible for issuing the certificates, mark-sheets, transcripts, etc. and mining it over the blockchain. The student is provided with the hash number which is the reference number. This number serves the reference of the data. The Organization or the Industry Personal using the hash number checks for the integrity of the submitted document. The present study discusses about importance of block chain and it’s applicability especially for the applications like verification of Academic Records.

Sign in / Sign up

Export Citation Format

Share Document