Search

Latar belakang: RS. St. Carolus (RSSC) berperan serta dalam program Jaminan Kesehatan Nasioal-Kartu Indonesia Sehat (JKN-KIS) sejak 1 Januari 2014 sebagai Fasilitas Kesehatan Rujukan Tingkat Lanjut (FKRTL). Perbaikan layanan yang berkelanjutan, maka diperlukan peningkatan mutu layanan yang ditunjang dengan kesiapan sumber daya yang dimiliki oleh RSSC. Perbaikan sistem yang terus dilakukan di Era BPJS memerlukan kesiapan sumber daya manusia (SDM) dalam implementasi terhadap perubahan sistem tersebut. Salah satunya adalah perubahan sistem verifikasi klaim konvensional menjadi Verifikasi Digital Klaim (Vedika) pada pelayanan pasien JKN. Vedika merupakan suatu keharusan sebagai persyaratan dalam pengajuan klaim RS kepada BPJS Kesehatan (BPJS-K). Tujuannya adalah menyeragamkan proses verifikasi klaim secara Nasional untuk meningkatkan mutu pelayanan dan mencegah variasi proses yang tidak diperlukan.Tujuan : Melakukan analisa kesiapan SDM dalam melakukan implementasi Sistem Vedika pada pelayanan pasien JKN di RSSC.Metode : Penelitian ini merupakan penelitian studi kasus dengan menggunakan pendekatan deskriptif kualitatif untuk memperoleh data yang mendalam. Studi kasus yang digunakan adalah instrumental case study.Hasil : Implementasi Sistem Vedika di RSSC dilaksanakan oleh karyawan yang berusia antara 20 – 25 tahun dengan ketepatan waktu pengiriman klaim sebesar 89,5% dan jumlah berkas klaim yang dapat diselesaikan sebesar 93,40%. Perbaikan kualitas klaim dari sisi waktu pengiriman berkas klaim dan capaian target kuantitas pengiriman berkas klaim dalam implementasi Vedika mencapai 78,9%, menunjukan kesiapan SDM RSSC. Sedangkan implementasi Vedika di RSSC mendapat dukungan organisasi yang baik sehingga kebutuhan dalam implementasinya dapat berjalan dengan baik.Kesimpulan : Implementasi Sistem Vedika di RSSC sudah berjalan baik dengan dukungan SDM dan organisasi. Implementasi Vedika ini meminimalkan keterlambatan klaim, mempercepat, menstandarkan dan memudahkan pemantauan proses verifikasi klaim di RSSC.Kata Kunci : Klaim, JKN, Sistem Vedika, Sumber Daya Manusia.

Perusahaan asuransi berperan sebagai pihak yang bertanggung jawab untuk menangani risiko kerugian yang dihadapi nasabahnya. Namun perusahaan asuransi juga tidak terlepas dari risiko kerugian itu sendiri. Penelitian ini bertujuan untuk menguji faktorfaktor yang mempengaruhi terjadinya risiko insolvensi pada perusahaan asuransi. Data yang digunakan dalam penelitian merupakan data sekunder yang diperoleh dari laporan keuangan perusahaan asuransi umum yang terdaftar di Bursa Efek Indonesia (BEI) periode 2014-2018 dan dianalisis menggunakan Partial Least Square (PLS). Hasil analisis menunjukkan bahwa klaim memiliki pengaruh terhadap risiko insolvensi, sedangkan reasuransi dan ukuran perusahaan tidak memiliki pengaruh terhadap risiko insolvensi. Selain itu, risiko insolvensi juga tidak memiliki pengaruh terhadap profit perusahaan dan tidak memediasi pengaruh klaim, reasuransi dan ukuran perusahaan terhadap profit perusahaan. The insurance company is responsible for the compensation of the loan. But insurance companies are also inseparable from the risk of loss itself. This study discusses the factors that influence insolvency risk in insurance companies. The data used in this research are secondary data obtained from the financial statements of insurance companies listed on the Indonesia Stock Exchange (IDX) for the 2014-2018 period and analyzed using Partial Least Square (PLS). The analysis shows that claims have an effect on insolvency risk, while reinsurance and company size has no effect on insolvency risk. In addition, insolvency risk also has no effect on company profits and does not mediate the effect of claims, reinsurance and company size on company profits.

Klaim is a coordination language specifically designed to model and program distributed systems consisting of mobile components interacting through multiple distributed tuple spaces. The Klaim’s theoretical foundations provided a solid ground for the implementation of the Klaim’s programming model. To practically program Klaim-based applications, the X-Klaim programming language has been proposed. It extends Klaim with enriched primitives and standard control flow constructs, and is compiled in Java to be executed. However, due to the limits of X-Klaim in terms of usability and the aging of the technology at the basis of its compiler, X-Klaim has been progressively neglected. Motivated by the success that Klaim has gained, the popularity that still has in teaching distributed computing, and its possible future exploitations in the development of modern ICT systems, in this paper we propose a renewed and enhanced version of X-Klaim. The new implementation, coming together with an Eclipse-based IDE tooling, relies on recent powerful frameworks for the development of programming languages.

Jagain.com merupakan sebuah website broker asuransi yang menyediakan beberapa jenis asuransi, salah satunya adalah asuransi kendaraan bermotor. Jagain.com sudah memiliki aplikasi android untuk pengajuan claim supaya pelanggan tidak perlu ke kantor asuransi untuk mengajukan claim. Namun tidak lancarnya informasi yang diperoleh oleh pelanggan menyebabkan pelanggan tidak mengetahui sejauh mana progres perbaikan kendaraan pelanggan di bengkel. Sistem informasi sangatlah penting untuk menunjang kebutuhan perusahaan dalam berinteraksi dan bertukar informasi dengan pihak lain, disamping itu sistem informasi juga membantu dalam layanan informasi terhadap pelanggan. Oleh karena itu, dibuatlah sistem informasi pemantauan progres perbaikan kendaraan di bengkel rekanan jagain.com. Metode penelitian yang digunakan pada penelitian ini adalah metode Research and Development Penelitian ini menghasilkan sistem informasi berbasis web yang menyediakan informasi progres perbaikan kendaraan untuk pelanggan melalui aplikasi jagain.com. Sistem Informasi Pemantauan Progres Perbaikan Kendaraan Bengkel di Rekanan Jagain.com dibangun menggunakan teknologi web. Sistem informasi ini menggunakan PHP sebagai bahasa pemrograman, Codeigniter sebagai framework, serta Mysql sebagai manajemen database untuk menyimpan data progres perbaikan kendaraan. Jagain.com is an insurance broker website that provides several types of insurance, one of which is motor vehicle insurance. Jagain.com already has an android application for filing claims so that customers do not need to go to the insurance office to file a claim. But the lack of information obtained by the customer causes the customer to not know the extent of the progress of the customer's vehicle repair in the workshop. The information system is very important to support the company's needs in interacting and exchanging information with other parties, besides that the information system also helps in the service of information to customers. Therefore, an information system was made to monitor the progress of vehicle repair in the jagain.com partner workshop. The research method used in this study is the Research and Development method. This research produces a web-based information system that provides information on vehicle repair progress for customers through the jagain.com application. Information System for Monitoring Vehicle Repair Workshop Progress at Jagain.com Partner was built using web technology. This information system uses PHP as a programming language, Codeigniter as a framework, and Mysql as a database management to store vehicle progress improvement data.

Penelitian ini bertujuan untuk mengetahui alasan bagaimana pertimbangan hakim dalam memutus kasus putusan Mahkamah Agung Nomor. 560 K/Pdt.Sus/2012 sehingga mendudukkan perjanjian yang tidak ditandatangani oleh Tertanggung adalah sah menurut hukum dan menjadi dasar hubungan hukum antara perusahaan asuransi dengan Alm. Mardi Simarmata (Tertanggung). Serta analisis mengenai ketepatan putusan hakim dalam perkara tersebut, berdasarkan asas-asas hukum perjanjian dan Undang-Undang Nomor 40 Tahun 2014 tentang Perasuransian. Penerbitan polis berdasarkan adanya kesepakatan, diatur syarat dalam Pasal 1320 KUH Perdata dan pengaturan umum asuransi dalam Pasal 250, 251, 255 dan 257 KUH Dagang. Terjadinya penolakan klaim asuransi jiwa karena seorang Tertanggung seharusnya memberikan riwayat medis yang sebenarnya, hal tersebut diatur dalam pasal 251 KUH Dagang dan adanya itikad baik sempurna (utmost good faith) pada diri Tertanggung. Penelitian yang difokuskan untuk mengkaji penerapan kaidah-kaidah atau norma-norma dalam hukum positif. Yuridis Normatif, yaitu pendekatan yang menggunakan konsepsi legis positivis. Dan penelitian ini menggunakan pendekatan perundang-undangan (statute aproach) dan pendekatan kasus (case aproach).

Dalam bidang asuransi, risiko dapat diartikan sebagai suatu keadaan ketidakpastian, dimana jika terjadi suatu keadaan yang tidak dikehendaki dapat menimbulkan suatu kerugian. Pada tugas akhir ini akan ditentukan klaim agregasi pada perusahaan asuransi untuk mengukur besarnya risiko yang akan ditanggung oleh perusahaan. Dalam pengelolaan risiko, salah satu metode yang digunakan adalah model klaim agregasi dengan memperhatikan banyaknya klaim dan besar klaim yang diajukan oleh peserta asuransi. Penerapan model klaim agregasi untuk mengukur risiko dilakukan pada perusahaan BPJS Ketenagakerjaan cabang Makassar. Hasil yang diperoleh menunjukkan bahwa distribusi besar klaim individual berdistribusi lognormal, sedangkan jumlah klaim individu berdistribusi binomial negatif dan risiko yang ditanggung oleh perusahaan asuransi tergantung pada besarnya klaim individual dan jumlah klaim yang terjadi selama periode asuransi.

none 4 no Available online 20 September 2016 Rollback is a fundamental technique for ensuring reliability of systems, allowing one, in case of troubles, to recover a past system state. However, the definition of rollback in a concurrent/distributed scenario is quite tricky. We propose an approach based on the notion of causal-consistent reversibility: any given past action can be undone, provided that all the actions caused by it are undone as well. Given that, we define a rollback as the minimal causal-consistent sequence of backward steps able to undo a given action. We define the semantics of such a rollback operator, and show that it satisfies the above specification. The approach that we present is quite general, but we instantiate it in the case of μKlaim, a formal coordination language based on distributed tuple spaces. We remark that this is the first definition of causal-consistent rollback in a shared-memory setting. We illustrate the use of rollback in μKlaim on a simple, but realistic, application scenario. open Giachino, Elena; Lanese, Ivan; Mezzina, Claudio Antares; Tiezzi, Francesco Giachino, Elena; Lanese, Ivan; Mezzina, Claudio Antares; Tiezzi, Francesco

2016 M. Bahri, E 131 12 008, Skripsi berjudul : Kebijakan Freedom of Navigation Amerika Serikat di Laut China Selatan, dibawah bimbingan Muhammad Nasir Badu, Ph.D selaku pembimbing 1 dan Muh. Ashry Sallatu, S.IP., M.Si selaku pembimbing II, pada Departemen Ilmu Hubungan Internasional, Fakultas Ilmu Sosial dan Ilmu Politik, Universitas Hasanuddin. Tujuan dari penelitian ini adalah untuk mengetahui dan memahami kebijakan Freedom Of Navigation (FON) Amerika Serikat di Laut China Selatan dan lebih detailnya dijabarkan melalui pemahaman terhadap kebijakan FON, kepentingan atas ketetapan dari kebijakan tersebut serta implikasi dari kebijakan tersebut. Adapun untuk mencapai tujuan tersebut maka penulis menggunakan metode deskriptif analitik dengan metode pengumpulan data melalui wawancara dan library research serta teknik analisis data secara kualitatif. Sedangkan metode penulisan yang digunakan adalah deduktif . Hasil penelitian ini menunjukkan bahwa kebijakan freedom of navigation Amerika Serikat di Laut China Selatan sebagai upaya penolakan terhadap klaim Republik Rakyat China (RRC) di kawasan tersebut. Hal ini karena klaim tersebut tidak berdasar pada hukum internasional dan telah mengancam keamanan di kawasan tersebut. Keterlibatan AS juga karena didasarkan atas permintaan Negara-negara di Asia Tenggara yang juga mengklaim kawasan tersebut seperti Vietnam dan Filipina. Kepentingan nasional Amerika Serikat selalu mengumandangkan penegakkan freedom of navigation di kawasan tersebut dan hal ini berlaku bagi seluruh negara sebagaimana mandat dalam isi hukum internasional. Sebagai implikasi dari kebijakan tersebut maka gerak China dalam melanjutkan pembangunan dan atau eksploitasi di kawasan tersebut menjadi terbatas. M. Bahri, E 131 12 008, This thesis be entitled is Policy of Freedom of Navigation US in South China Sea, under guidances of Muhammad Nasir Badu, Ph.D as first counselor and Muh. Ashry Sallatu, S.IP., M.Si as second counselor, at International Relations Department, Social and Political Faculty, Hasanuddin university. Purpose of this research are knowing and understanding policy of Freedom Of Navigation (FON) United States in South China Sea and more detail explained with knowledge of FON policy, interest on provisions of policy as well as implications of it???s policy. As to achieve these objectives, the author was using analytic descriptive method with method of data collection through interview and research library and qualitative data analysis techniques. While method process of writing was used by deductive. Results of this research had indicated that policy of freedom of navigation United States in South China Sea as type rejection of claims of People's Republic of China (PRC) in it???s region. This situation because claims is not basing of international law and threatens security in the region. Involvement US also because it is based by request of States in Southeast Asia which also claims the region such as Vietnam and Philippines. National interests of United States has always proclaimed rule of freedom of navigation in the region and this things was true for all countries, as mandated by body of international law. As implications of policy, China motion in continuing development and exploitation in the region become limited.

2015 SITI HARYATI (B1110366). Perlindungan Hukum terhadap Kreditor atas Klaim Asuransi Kredit Usaha Rakyat (KUR) yang Macet pada PT Askrindo, dibimbing oleh Ahmadi Miru dan Winner Sitorus. Penelitian ini bertujuan Untuk mengetahui faktor-faktor yang menjadi penyebab tidak dibayarnya klaim asuransi kredit usaha rakyat (KUR) yang diajukan oleh pihak bank kepada PT Askrindo dan perlindungan hukum terhadap kreditor atas terjadinya wanprestasi dari kredit usaha rakyat (KUR) yang diasuransikan pada PT Askrindo. Untuk memperoleh informasi atau data yang akurat, penulis melakukan penelitian di Bank Mandiri, Bank Rakyat Indonesia, PT Askrindo, dan pengusaha UMK (Usaha Mikro dan Kecil) dengan metode penelitian sosiologi hukum. Data yang diperoleh dianalisis secara kualitatif dan disajikan secara deskriptif. Berdasarkan data yang diperoleh, faktor-faktor yang menjadi penyebab tidak dibayarnya klaim asuransi kredit usaha rakyat (KUR) yang diajukan oleh pihak bank kepada PT Askrindo yaitu klaim yang daluwarsa atau surat pengajuan klaim dari bank melewati 6 bulan sejak KUR jatuh tempo, kelengkapan berkas yang diminta oleh PT Askrindo tidak dilengkapi oleh pihak bank, adanya perbedaan data ketentuan, dan rotasi petugas bank pelaksana KUR yang tinggi mengakibatkan adanya miskomunikasi antara petugas KUR yang lama dengan yang baru mengenai pengajuan klaim asuransi KUR. Perlindungan hukum terhadap kreditor atas terjadinya wanprestasi dari kredit usaha rakyat (KUR) yang diasuransikan pada PT Askrindo terdiri perlindungan hukum preventif yaitu jaminan yang diberikan oleh debitor, penyelesaian secara administrasi perkreditan, serta manajemen resiko secara internal oleh bank pelaksana KUR, dan perlindungan hukum represif melalui upaya hukum seperti Panitia Urusan Piutang Negara, melalui badan peradilan, dan melalui arbitrase atau Badan Alternatif Penyelesaian Sengketa. Kata Kunci : Kredit Usaha Rakyat, klaim, asuransi, PT Askrindo, perlindungan hukum

International audience; Causal-consistent reversibility is a natural way of undoing concurrent computations. We study causal-consistent reversibility in the context of µKLAIM, a formal coordination language based on distributed tuple spaces. We consider both uncontrolled reversibility, suitable to study the basic properties of the reversibility mechanism, and controlled reversibility based on a rollback operator, more suitable for programming applications. The causality structure of the language, and thus the definition of its reversible semantics, differs from all the reversible languages in the literature because of its generative communication paradigm. In particular, the reversible behavior of µKLAIM read primitive, reading a tuple without consuming it, cannot be matched using channel-based communication. We illustrate the reversible extensions of µKLAIM on a simple, but realistic, application scenario.

The aspect oriented programming paradigm facilitates the separation of cross cutting concerns in system development. Security policies are a typical such concern and in this paper we present a simple policy language, LUNAR, and show how it can be translated into aspect definitions. We perform the development for KLAIM, a small kernel language for agent interaction and mobility, and show how static analysis can be used to reduce the number of aspect definitions. This technique has been applied to a larger case study, namely the electronic invoice system at DTU.

Klaim (Kernel Language for Agents Interaction and Mobility) is an experimental language specifically designed to program distributed systems consisting of several mobile components that interact through multiple distributed tuple spaces. Klaim primitives allow programmers to distribute and retrieve data and processes to and from the nodes of a net. Moreover, localities are first-class citizens that can be dynamically created and communicated over the network. Components, both stationary and mobile, can explicitly refer and control the spatial structures of the network. This paper reports the experiences in the design and development of Klaim. Its main purpose is to outline the theoretical foundations of the main features of Klaim and its programming model. We also present a modal logic that permits reasoning about behavioural properties of systems and various type systems that help in controlling agents movements and actions. Extensions of the language in the direction of object oriented programming are also discussed together with the description of the implementation efforts which have lead to the current prototypes.

International audience; In this paper, we propose a structural translation of terms from a simple variant of the Klaim process algebra into behaviourally equivalent finite high-level Petri nets. This yields a formal semantics for mobility allowing one to deal directly with concurrency and causality. Moreover, the equivalence results provide a characterisation of the expressivity of the class of Petri nets we use.