Coquand's calculus of constructions: A mathematical foundation for a proof development system

1992 ◽  
Vol 4 (5) ◽  
pp. 425-441 ◽  
Author(s):  
Jonathan P. Seldin
Keyword(s):  
Mathematical Foundation ◽  
Development System ◽  
Calculus Of Constructions

Pengembangan Karir dan Iklim Organisasi terhadap Komitmen Karyawan (Studi Kasus pada Bank Daerah Syariah)

2020 ◽  
Vol 3 (2) ◽  
pp. 120-128
Author(s):  
Fotuho Waruwu ◽  
Dematria Pringgabayu
Keyword(s):  
Career Development ◽  
Human Resources ◽  
Organizational Climate ◽  
Employee Commitment ◽  
The State ◽  
Development System ◽  
Work System ◽  
State Apparatus

Human Resources (HR) is a very important part in PT Bank Daerah Syariah, so that it is expected that there is an ideal and sufficient working period to optimize employee careers and increase employee commitment to the company, considering the products produced by the company are products used to facilitate the state apparatus work system and service to the wider community.This study aims to determine the effect of variable Career Development and Organizational Climate on the commitment of Employees in PT Bank Daerah Syariah. The method used in this study is a research mix method, which is a step of research by combining two forms of approach in research that is quantitative and qualitative. The population in this study were all employees in the Bank Daerah Syariah (BDS) as many as 53 employeesThe results showed that the career development variable (X1) and also the Organizational Climate (X2) had a positive and significant effect on the variable Employee Commitment (Y). The conclusion of the research shows that to increase the commitment of employees in PT Bank Daerah Syariah, the company needs to improve the existing career development system and maintain the organizational climate so that it remains conducive for all employees. 

Development system of metrological maintenance for radio-navigation fields of satellite systems

2001 ◽  
Vol 7 (4) ◽  
pp. 122-125
Author(s):  
V.N. Roman'ko ◽  
◽  
E.N. Khomyakov ◽  
S.T. Cherepkov ◽  
◽  
...  
Keyword(s):  
Development System ◽  
Satellite Systems ◽  
Radio Navigation

Changes in the Teacher Training and Qualification in Bulgaria

2019 ◽  
Vol 7 (3) ◽  
pp. 3-23
Author(s):  
Viara Gyurova
Keyword(s):  
Teacher Education ◽  
Teacher Training ◽  
20Th Century ◽  
Future Development ◽  
Training System ◽  
Development System ◽  
The Past ◽  
Teacher Qualification

Since the beginning of the last decade of the past 20th century, Bulgaria has entered a new, complex stage of its development, with many reforms. Education and teacher training reforms are influenced by the global and European trends, as well as by the national changes (political, economical, social, and technological). The author analyses the main characteristics of the changed teacher training system and teacher qualification and development system. Some of the challenges and directions of the transformation and future development of the teacher education and qualification in Bulgaria are discussed.

Analysis of Stylometric Features and Segmentation Strategies in Intrinsic Plagiarism Detection System

2020 ◽  
Vol 4 (5) ◽  
pp. 988-997
Author(s):  
Sylvia Putri Gunawan ◽  
Lucia Dwi Krisnawati ◽  
Antonius Rachmat Chrismanto
Keyword(s):  
Detection System ◽  
Plagiarism Detection ◽  
Development System ◽  
Intrinsic Plagiarism Detection

Two different paradigms in the field of plagiarism detection resulting in External Plagiarism Detection (EPD) and Intrinsic Plagiarism Detection (IPD) systems. The most common applied system is EPD, which requires its algorithm to make a heuristic comparison between a suspicious document with documents in a corpus. In contrast, given a suspicious document only, an algorithm of IPD should be able to find the plagiarism section by looking for text segments having different writing styles. Previous researches for Indonesian texts fell only in the field of the EPD development system. Therefore, this research focuses on and contributes to experimenting and analyzing the stylometric features and segmentation strategies to build an IPD system for Indonesian texts. The experimentation results show that the paragraph segment performs better by scoring 0.92 for Macro Averaged-Accuracy and 0.54 for Macro Averaged-F1. The stylometric features achieving the highest scores of F-1 and Accuracy are the frequency of punctuation, the average paragraph length, and the type-token ratio.  

Sign in / Sign up

Export Citation Format

Share Document