A framework for construction and evaluation of high-level specifications for program analysis techniques

1989 ◽  
Vol 24 (7) ◽  
pp. 1-12 ◽  
Author(s):  
G. A. Venkatesh
Keyword(s):  
Program Analysis ◽  
Analysis Techniques ◽  
High Level

PENGARUH CITRA PERUSAHAAN DAN KEPERCAYAAN TERHADAP KEPUASAN PASIEN PADA RUMAH SAKIT MITRA MEDIKA NAROM KABUPATEN BEKASI

2020 ◽  
Vol 7 (1) ◽  
pp. 41-49
Author(s):  
Ajat Sudrajat
Keyword(s):  
Patient Satisfaction ◽  
Health Services ◽  
Corporate Image ◽  
Ordinal Scale ◽  
Survey Method ◽  
Microsoft Excel ◽  
Analysis Techniques ◽  
Level Of Satisfaction ◽  
Verification Methods ◽  
High Level

Patient satisfaction at the hospital is a benchmark that is a benchmark for patients in getting health care. Each hospital must run a variety of strategies so that patients feel satisfied with health services, one of the strategies is through a good corporate image and trust, where a good corporate image can increase trust. So that affecting patient satisfaction Mitra Medika Narom Hospital Kabupaten Bekasi.             This research was conducted with descriptive and verification methods, namely knowing, analyzing, explaining and testing hypotheses, and making conclusions and suggestions. The sample in this study amounted to 240 respondents using the Eksplanary Survey method. Data analysis techniques used are ordinal scale techniques and path analysis using the Method of Successive Interval (MSI) tool, Microsoft Excel 2016 computer programs and SPSS 16.             The results of this study reveal that the company's image at the Mitra Medika Narom Hospital in Kabupaten Bekasi is in the agreed criteria, meaning that Mitra Medika Narom Hospital has built and made a good company image so that it is better known to all people. Furthermore, trust in Mitra Medika Narom Hospital in Kabupaten Bekasi is in the agreed criteria, meaning that Mitra Medika Narom Hospital has succeeded in building a good and optimal Trust so that patients trust Mitra Medika Narom Hospital to obtain health services. Then the patient satisfaction at the Mitra Medika Narom Hospital in Kabupaten Bekasi is in the agreed criteria, meaning that the patients as respondents feel a high level of satisfaction after completing treatment at the Mitra Medika Narom Hospital. There is a positive, strong and two-way correlation between company image and trust variables of 0.646. There is a partial influence of company image on patient satisfaction at Mitra Medika Narom Hospital significantly by 11.98%. There is a partial influence of trust on patient satisfaction at Mitra Medika Narom Hospital significantly by 25.08%. Then there is a simultan influence of corporate image and trust on patient satisfaction at Mitra Medika Narom Hospital positively and significantly by 37.06% while the remaining 62.94% is contributed by other variables not examined

scholarly journals A Runtime System for XML Transformations in Java

2004 ◽  
Vol 11 (33) ◽  
Author(s):  
Aske Simon Christensen ◽  
Christian Kirkegaard ◽  
Anders Møller
Keyword(s):  
Static Analysis ◽  
Programming Language ◽  
Program Analysis ◽  
Companion Paper ◽  
General Purpose ◽  
Runtime System ◽  
Xml Documents ◽  
Level Data ◽  
High Level ◽  
The Given

We show that it is possible to extend a general-purpose programming language with a convenient high-level data-type for manipulating XML documents while permitting (1) precise static analysis for guaranteeing validity of the constructed XML documents relative to the given DTD schemas, and (2) a runtime system where the operations can be performed efficiently. The system, named Xact, is based on a notion of immutable XML templates and uses XPath for deconstructing documents. A companion paper presents the program analysis; this paper focuses on the efficient runtime representation.

Labour Emigration From Ethiopia

2021 ◽  
Vol 1 (2) ◽  
pp. 33-50
Author(s):  
Ebabu Chekole Mengistu
Keyword(s):  
Developing Countries ◽  
Migrant Workers ◽  
Document Analysis ◽  
Economic Factors ◽  
Analysis Techniques ◽  
Depth Interview ◽  
Key Informant ◽  
The World ◽  
High Level ◽  
Key Informant Interview

In recent years, the magnitude and complexity of movements have brought increased attention to the phenomenon of emigration which affects nearly all countries in the world. In developing countries, labour emigration is extremely complex. The main objective of the study is to explore the trends, causes, and challenges of labour emigration from Ethiopia. In-depth interview, key informant interview, observation, and document analysis were used as methods of data collection. Content and document analysis techniques were used to analyze the data. The results of the study show that there is a high level of labour emigration from Ethiopia. Labour emigration from Ethiopia is mostly associated with economic factors such as unemployment, underemployment, and the search for better life in the destination countries. The institutional structure and inter-institutional collaboration in relation to labour emigration are informed by a fragmented framework. As a result, Ethiopian migrant workers are highly vulnerable to human rights violations.

Meningkatkan Kemampuan Berfikir Tingkat Tinggi (HOTS) Siswa Kelas XI IPA SMA Negeri 2 Bagan Sinembah T.P 2020/2021 Dengan Penerapan Model Siklus Belajar 5E Melalui Materi Sistem Ekskresi Dalam Proses Pembelajaran Daring

2021 ◽  
Vol 2 (2) ◽  
pp. 44-52
Author(s):  
Salsa Dila Hakim Rangkuti ◽  
Armadani Armadani ◽  
Egithania Br Ketaren ◽  
Linawati Siregar ◽  
Rena Novita
Keyword(s):  
Higher Order Thinking ◽  
Thinking Skills ◽  
Learning Model ◽  
Excretory System ◽  
Science Students ◽  
Higher Order Thinking Skills ◽  
Analysis Techniques ◽  
Thinking Ability ◽  
High Level ◽  
Removal System

This study aims to improve the thinking skills of high-level students through the use of the 5E cycle learning model in class XI IPA students of SMA Negeri 2 Bagan Sinembah TP Riau 2020/2021 (PT) using the Kemmis and Mc.Taggart method to improve. The subjects of this study were 36 students of class XI IPA-1. This classroom action research was carried out in 2 cycles, with each cycle consisting of 1 session. Cycle I discusses the human excretory system, and Cycle II discusses disorders of the human excretory system. The data collection techniques used were tests of higher order thinking skills and teacher activity observation sheets in the application of the 5E cycle learning model and data analysis techniques with individual and classical percentage analysis. The results showed that the use of the 5E cycle learning model was able to improve high thinking skills (HOTS) of class XI science students at SMA Negeri Bagan Sinembah TP 2020/2021 Riau with a material removal system and increasing teacher activity in the learning process. The percentage of thinking ability (HOTS) from 50% in the first cycle increased to 67% in the second cycle in the good category, in the 85% cycle it increased to 92%, the percentage in the very good category was accepted.

CAD Information Handling for Obtaining Dependable Manufacturing Systems

2015 ◽  
Author(s):  
E. Miron ◽  
J. P. Mendonca ◽  
J. Machado ◽  
D. Olaru ◽  
G. Prisacaru
Keyword(s):  
Formal Verification ◽  
Manufacturing Systems ◽  
Specific Problem ◽  
Main Idea ◽  
Software As A Service ◽  
Model Checker ◽  
Mechatronic Systems ◽  
Analysis Techniques ◽  
Successful Design ◽  
High Level

The design of mechatronic systems is a multidisciplinary task that involves skills from mechanic, electronic and informatics areas. Recently, the expertise from such different fields is able to communicate and exchange the necessary contribution to successful design solutions, through a myriad of internet tools available. The introduction of internet of services on the design of mechatronic systems, mainly when teams, with different skills, operate in different geographic places, has contributed to flawlessly integrate better and interoperable final solutions. The design of mechatronic systems without errors — that operate without failures — is an important contribution to such goal. Safe behavior of mechatronic systems is crucial, mainly, in what concerns human safety. The correct behavior of those systems can be improved by the development of safe software for their controllers using some analysis techniques. Among them, Formal Verification (FV) is able to guarantee the best results. One of the main gaps using this technique is the difficulty of obtaining adequate plant models, in a systematic way, because this task is, usually, related with high level of expertise of designers and, in industry, this fact causes some difficulties for using those methods and tools. The work presented in this paper is a part of a larger project developed in the context of Software as a Service (SaaS) platform. It is intended to develop a systematized approach in order to obtain meaningful plant models out of existing CAD data, from Autodesk Inventor (or CATIA), and translate those models to formatted files according to input data of the UPPAAL model-checker (because it allows dealing with time variable). The main idea is to obtain, systematically, plant models for Formal Verification purposes, considering that nowadays companies with different CAD systems are using increasingly often STEP-File format. A solution for this specific problem is explored and presented in this paper.

scholarly journals Effect of SBI Bank Merger on Education Loan, a Comparative Study Using Big Data Analytics

2018 ◽  
Vol 7 (2.32) ◽  
pp. 452
Author(s):  
Anjali Mathur ◽  
K Vinitha ◽  
R Shubham ◽  
K Gowtham
Keyword(s):  
Big Data ◽  
Comparative Study ◽  
Data Analytics ◽  
Big Data Analytics ◽  
Global Level ◽  
Analysis Techniques ◽  
Bank Merger ◽  
Huge Data ◽  
High Level ◽  
The Impact

A bank merger is a situation in which two banks or all branches of a bank join together to become one bank. The bank merger of State Bank of India was implemented on 1stApril 2017 in India. The bank merger is a good idea to centralize the customer’s data from nationwide. However, it is a difficult task for administrators and technologists. Some high level techniques are required to collect the data from the branches, of the bank present at nationwide, and merge them accordingly. For this huge data Big-Data Analysis techniques can be used to manage and access the data. The big data analytics provides algorithms to compare, classify and cluster the data at local and global level. This research paper proposes big data analytics for education loan provided by State Bank of India. The loan granting process becomes centralized after merger. It affects the processing of granting a loan, as earlier it was according to branches only. The proposed work is for comparative study of the impact of bank merger on education loan provided by State Bank of India.  

scholarly journals ANALISIS KEMAMPUAN HIGHER ORDER THINKING SKILLS MAHASISWA SAAT MENGERJAKAN SOAL BERSTANDAR PISA LEVEL 5

2021 ◽  
Vol 9 (2) ◽  
pp. 140-155
Author(s):  
Sermyla Victorita Saetban
Keyword(s):  
Higher Order Thinking ◽  
Thinking Skills ◽  
Higher Order ◽  
Qualitative Description ◽  
Research Subjects ◽  
Higher Order Thinking Skills ◽  
Analysis Techniques ◽  
Learning Mathematics ◽  
University Level ◽  
High Level

The purpose of this study was to describe the ability of university-level students in solving higher-order thinking skills (HOTS) problems with PISA level 5 standards in learning mathematics. This type of research is a qualitative description. The subjects used in this study were students of Sanata Dharma University, semester II Mathematics Education S1, as many as 15 students. The research instrument used was a test item with a HOTS level 5 indicator. The data collection method was obtained through giving tests based on the PISA level 5 indicator. The data analysis techniques used were data reduction, data presentation, and concluding. This research was conducted in March 2020. The results of this study are through the results of the description of the subject's thought process and the results of the analysis of the HOTS indicator achievement, questions with high-level thinking difficulties that are at level 5 cannot be solved by 15 research subjects. Of the 15 subjects, the researcher reduced the data based on the process carried out to produce three different groups of answers. In level 5 HOTS questions, six students have mathematical abilities that meet the four indicators.

Sign in / Sign up

Export Citation Format

Share Document