122 research outputs found
Soft constraint automata with memory
No full textIn this paper, we revise the notion of Soft Constraint Automata, where automata transitions are weighted and consequently each action is associated with a preference value. We first relax the underlying algebraic structure that models preferences, with the purpose to use bipolar preferences (i.e., both positive and negative ones). Then, we equip automata with memory cells, that is, with an internal state to remember and update information from transition to transition. Finally, we revise automata operators, as join and hiding
KOMUNIKASI YANG RELEVAN DAN EFEKTIF ANTARA DOKTER DAN PASIEN
No full textAbstract.Communication between doctors and patients on one occasion is not always able to complete all of the efforts in the provision of information, advice, motivation of the patient, or patient compliance in order to resolve health problems. One of the aspects that contribute major impact on patient non-compliance is ineffective communication from the physician to the patient. In this paper the author discusses about how effective communication need to be raised by the physician to the patient. Effective communication is expected to overcome the obstacles caused by both sides, both doctors and patients, so that patients understand and follow the advice given by the doctor, and improve patient compliance in the treatment and resolve health problems.Keywords: Effective Communication, Effective physician-patient communicationAbstrak.Komunikasi antara dokter dan pasien dalam satu kesempatan tidak selalu dapat menyelesaikan semua upaya dalam pemberian informasi, nasehat, motivasi pasien, atau bahkan kepatuhan pasien dalam rangka menyelesaikan masalah kesehatannya. Salah satu aspek yang berperan besar terhadap ketidakpatuhan pasien adalah komunikasi yang tidak efektif dari dokter kepada pasien. Dalam makalah ini penulis membahas mengenai bagaimana bentuk komunikasi efektif yang perlu dimunculkan oleh dokter kepada pasiennya. Komunikasi efektif diharapkan dapat mengatasi kendala yang ditimbulkan dari kedua belah pihak, baik dokter maupun pasien, sehingga pasien memahami dan mengikuti saran yang disampaikan oleh dokter tersebut, serta meningkatkan kepatuhan pasien dalam menjalani pengobatan dan menyelesaikan masalah kesehatannya.Kata kunci : Komunikasi efektif, Komunikasi efektif dokter-pasie
KOMUNIKASI YANG RELEVAN DAN EFEKTIF ANTARA DOKTER DAN PASIEN
No full textAbstract. Communication between doctors and patients on one occasion is not always able to complete all of the efforts in the provision of information, advice, motivation of the patient, or patient compliance in order to resolve health problems. One of the aspects that contribute major impact on patient non-compliance is ineffective communication from the physician to the patient. In this paper the author discusses about how effective communication need to be raised by the physician to the patient. Effective communication is expected to overcome the obstacles caused by both sides, both doctors and patients, so that patients understand and follow the advice given by the doctor, and improve patient compliance in the treatment and resolve health problems.
Keywords: Effective Communication, Effective physician-patient communication
Abstrak. Komunikasi antara dokter dan pasien dalam satu kesempatan tidak selalu dapat menyelesaikan semua upaya dalam pemberian informasi, nasehat, motivasi pasien, atau bahkan kepatuhan pasien dalam rangka menyelesaikan masalah kesehatannya. Salah satu aspek yang berperan besar terhadap ketidakpatuhan pasien adalah komunikasi yang tidak efektif dari dokter kepada pasien. Dalam makalah ini penulis membahas mengenai bagaimana bentuk komunikasi efektif yang perlu dimunculkan oleh dokter kepada pasiennya. Komunikasi efektif diharapkan dapat mengatasi kendala yang ditimbulkan dari kedua belah pihak, baik dokter maupun pasien, sehingga pasien memahami dan mengikuti saran yang disampaikan oleh dokter tersebut, serta meningkatkan kepatuhan pasien dalam menjalani pengobatan dan menyelesaikan masalah kesehatannya.
Kata kunci : Komunikasi efektif, Komunikasi efektif dokter-pasie
KOMUNIKASI YANG RELEVAN DAN EFEKTIF ANTARA DOKTER DAN PASIEN
No full textAbstract. Communication between doctors and patients on one occasion is not always able to complete all of the efforts in the provision of information, advice, motivation of the patient, or patient compliance in order to resolve health problems. One of the aspects that contribute major impact on patient non-compliance is ineffective communication from the physician to the patient. In this paper the author discusses about how effective communication need to be raised by the physician to the patient. Effective communication is expected to overcome the obstacles caused by both sides, both doctors and patients, so that patients understand and follow the advice given by the doctor, and improve patient compliance in the treatment and resolve health problems.
Keywords: Effective Communication, Effective physician-patient communication
Abstrak. Komunikasi antara dokter dan pasien dalam satu kesempatan tidak selalu dapat menyelesaikan semua upaya dalam pemberian informasi, nasehat, motivasi pasien, atau bahkan kepatuhan pasien dalam rangka menyelesaikan masalah kesehatannya. Salah satu aspek yang berperan besar terhadap ketidakpatuhan pasien adalah komunikasi yang tidak efektif dari dokter kepada pasien. Dalam makalah ini penulis membahas mengenai bagaimana bentuk komunikasi efektif yang perlu dimunculkan oleh dokter kepada pasiennya. Komunikasi efektif diharapkan dapat mengatasi kendala yang ditimbulkan dari kedua belah pihak, baik dokter maupun pasien, sehingga pasien memahami dan mengikuti saran yang disampaikan oleh dokter tersebut, serta meningkatkan kepatuhan pasien dalam menjalani pengobatan dan menyelesaikan masalah kesehatannya.
Kata kunci : Komunikasi efektif, Komunikasi efektif dokter-pasie
Exposing latent mutual exclusion by work automata
No full textA concurrent application consists of a set of concurrently executing interacting processes. Although earlier we proposed work automata to specify both computation and interaction of such a set of executing processes, a detailed formal semantics for them was left implicit. In this paper, we provide a formal semantics for work automata, based on which we introduce equivalences such as weak simulation and weak language inclusion. Subsequently, we define operations on work automata that simplify them while preserving these equivalences. Where applicable, these operations simplify a work automaton by merging its different states into a state with a ‘more inclusive’ state-invariant. The resulting state-invariant defines a region in a multidimensional real vector space that potentially contains holes, which in turn expose mutual exclusion among processes. Such exposed dependencies provide additional insight in the behavior of an application, which can enhance scheduling. Our operations, therefore, potentially expose implicit dependencies among processes that otherwise may not be evident to exploit
Rule-based form for stream constraints
No full textConstraint automata specify protocols as labeled transition systems that preserve synchronization under composition. They have been used as a basis for tools, such as compilers and model checkers. Unfortunately, composition of transition systems suffers from state space and transition space explosions, which limits scalability of the tools based on constraint automata. In this work, we propose stream constraints as an alternative to constraint automata that avoids state space explosions. We introduce a rule-based form for stream constraints that can avoid transition space explosions. We provide sufficient conditions under which our approach avoids transition space explosions
Protocol scheduling
No full textInteractions amongst different processes in concurrent software are governed by a protocol. The blocking I/O operations involved in a protocol may temporarily suspend the execution of some processes in an application. Scheduling consists of the allocation of available processors to the appropriate non-suspended processes in an application, such that some specified criteria (e.g., shortest execution time or highest throughput) are met. We use a generic, game-theoretic scheduling framework to find optimal non-preemptive schedules for an application. We then show how such schedules themselves can be encoded as protocols, which in our framework, can be composed with the original application protocol. The resulting composed protocol restricts the number of ready processes to the number of available processors, which enables standard preemptive schedulers of modern operating-systems to closely approximate the behavior and the performance of the optimal non-preemptive scheduler of the application. We evaluate our work by comparing the throughput of two versions of a cyclo-static dataflow network: one version with the usual protocol, and the other version with a restricted protocol
Perlindungan Hukum Terhadap Dokter Dalam Pembukaaan Rahasia Kedokteran Dalam Rekam Medis
No full textABSTRACT: This study aims to analyze the legal protection of doctors in disclosing medical secrets in medical records and to analyze the responsibilities of doctors in disclosing medical secrets in medical records. The type of research used by the author is a type of normative research. Primary legal materials are binding legal materials consisting of legislation, Permenkes. The results of this study are 1) Legal protection for doctors in disclosing medical secrets in medical records, is regulated in Article 9 of Regulation of the Minister of Health Number 36 of 2012, which is a situation where doctors can reveal medical secrets in medical records without the patient's consent due to certain urgent circumstances, 2) The doctor's responsibility in disclosing medical secrets in the medical record if not in an urgent situation can mean that the doctor has violated the law and also the doctor's oath, then sanctions can be imposed on the doctor for ethical violations.
ABSTRAK: Penelitian ini bertujuan menganalisis perlindungan hukum terhadap dokter dalam pembukaan rahasia kedokteran dalam rekam medik dan menganalisis tanggung jawab dokter dalam pembukaan rahasia kedokteran dalam rekam medik. Tipe penelitian yang digunakan oleh penulis adalah tipe penelitian normatif. Bahan hukum primer adalah bahan-bahan hukum yang mengikat terdiri dari perundang-undangan, Permenkes. Hasil dari penelitian ini adalah 1) Perlindungan hukum terhadap dokter dalam pembukaan rahasia kedokteran dalam rekam medik, diatur dalam Pasal 9 Peraturan Menteri Kesehatan Nomor 36 Tahun 2012 yaitu keadaan dimana dokter dapat membuka rahasia kedokteran dalam rekam medis tanpa persetujuan pasien sebab keadaan tertentu yang mendesak, 2) Tanggung jawab dokter dalam pembukaan rahasia kedokteran dalam rekam medik jika tidak dalam keadaan mendesak dapat diartikan dokter telah melakukan pelanggaran hukum dan juga sumpah bagi dokter, maka sanksi dapat dijatuhkan pada dokter atas pelanggaran etikolegal
Quinoprotein glucose dehydrogenase and the b-type cytochromes of acinetobacter calcoaceticus L.M.D. 79.41
No full textApplied Science
Treo: Textual syntax for Reo connectors
No full textReo is an interaction-centric model of concurrency for compositional specification of communication and coordination protocols. Formal verification tools exist to ensure correctness and compliance of protocols specified in Reo, which can readily be (re)used in different applications, or composed into more complex protocols. Recent benchmarks show that compiling such high-level Reo specifications produces executable code that can compete with or even beat the performance of hand-crafted programs written in languages such as C or Java using conventional concurrency constructs. The original declarative graphical syntax of Reo does not support intuitive constructs for parameter passing, iteration, recursion, or conditional specification. This shortcoming hinders Reo's uptake in large-scale practical applications. Although a number of Reo-inspired syntax alternatives have appeared in the past, none of them follows the primary design principles of Reo: a) declarative specification; b) all channel types and their sorts are user-defined; and c) channels compose via shared nodes. In this paper, we offer a textual syntax for Reo that respects these principles and supports flexible parameter passing, iteration, recursion, and conditional specification. In on-going work, we use this textual syntax to compile Reo into target languages such as Java, Promela, and Maude
- …
