Counterflow of spontaneous mass currents in trapped spin-orbit coupled Fermi gases

We use the Bogoliubov-de Gennes formalism and study the ground-state phases of trapped spin-orbit coupled Fermi gases in two dimensions. Our main finding is that the presence of a symmetric (Rashba type) spin-orbit coupling spontaneously induces counterflowing mass currents in the vicinity of the trap edge, i.e. $\uparrow$ and $\downarrow$ particles circulate in opposite directions with equal speed. These currents flow even in noninteracting systems, but their strength decreases toward the molecular BEC limit, which can be achieved either by increasing the spin-orbit coupling or the interaction strength. These currents are also quite robust against the effects of asymmetric spin-orbit couplings in $x$ and $y$ directions, gradually reducing to zero as the spin-orbit coupling becomes one dimensional. We compare our results with those of chiral p-wave superfluids/superconductors.Comment: 6 pages with 4 figures; to appear in PR

Persepsi Mahasiswa Semester VII PGSD Tentang Pelaksanaan Program Pengalaman Lapangan (PPL)Oleh Fakultas Keguruan Dan Ilmu Pendidikan UMS Tahun Akademik 2013/2014

Penelitian ini bertujuan untuk mendeskripsikan pelaksanaan PPL mahasiswa PGSD FKIP UMS dan persepsi mahasiswa PGSD terhadap PPL. Jenis dari penelitian ini adalah deskriptif dengan pendekatan kualitatif. Sumber data dari penelitian ini adalah mahasiswa, koordinator guru pamong, dan dosen pembimbing lapangan. Teknik pengumpulan data yang digunakan adalah angket, wawancara, dan dokumentasi. Wawancara dilakukan kepada mahasiswa yang telah mengikuti PPL, koordinator guru pamong, dan dosen pembimbing lapangan. Observasi dilakukan kepada 60 mahasiswa untuk mengetahui persepsi mahasiswa semester VII PGSD FKIP UMS tentang PPL tahun 2013. Teknik analisis data dilakukan secara interaktif. Keabsahan data digunakan teknik triangulasi. Triangulasi yang dipakai dalam penelitian ini adalah triangulasi teknik dan sumber. Berdasarkan hasil penelitian yang dilakukan oleh peneliti di sekolah dengan mutu baik, sedang, dan biasa menunjukkan bahwa sejumlah 35 atau 58,33% mahasiswa menyatakan yeng perlu diperbaiki adalah dari segi waktu pendaftaran. Sejumlah 50 atau 83,33% mahasiswa menyatakan bahwa di sekolah mitra belum mempunyai laboratorium IPA dan matematika sebagai sarana pembelajaran. Sebanyak 60 atau 100% mahasiswa menyatakan bahwa kinerja koordinator guru pamong sudah bagus dalam melaksanakan tugas. Sejumlah 21 atau 31% mahasiswa menyatakan bahwa guru pamong masih menggunakan strategi pembelajaran yang konvensional atau kurang dapat mengaktifkan siswa. Sebanyak 40 atau 66,67% mahasiswa menyatakan bahwa kinerja dosen pembimbing lapangan perlu ada perbaikan terutama membimbing mahasiswa dalam menyusun program kerja dan menyususn laporan akhir PPL. Sejumlah 41 atau 68,33% mahasiswa menyatakan bahwa diwajibkan memberikan kenangkenangan kepada sekolah mitra. Sejumlah 57 atau 95% mahasiswa menyatakan bahwa mahasiswa PPL PGSD diwajibkan untuk melaksanakan ujian praktik mengajar. Disimpulkan bahwa adanya kerjasama yang baik antara pihak penyelenggara PPL, mahasiswa, dosen pembimbing lapangan, dan koordinator guru pamong dapat memperlancar pelaksanaan kegiatan PPL

On library correctness under weak memory consistency: specifying and verifying concurrent libraries under declarative consistency models

Concurrent libraries are the building blocks for concurrency. They encompass a range of abstractions (locks, exchangers, stacks, queues, sets) built in a layered fashion: more advanced libraries are built out of simpler ones. While there has been a lot of work on verifying such libraries in a sequentially consistent (SC) environment, little is known about how to specify and verify them under weak memory consistency (WMC). We propose a general declarative framework that allows us to specify concurrent libraries declaratively, and to verify library implementations against their specifications compositionally. Our framework is sufficient to encode standard models such as SC, (R)C11 and TSO. Additionally, we specify several concurrent libraries, including mutual exclusion locks, reader-writer locks, exchangers, queues, stacks and sets. We then use our framework to verify multiple weakly consistent implementations of locks, exchangers, queues and stacks

Automating Deductive Verification for Weak-Memory Programs

Writing correct programs for weak memory models such as the C11 memory model is challenging because of the weak consistency guarantees these models provide. The first program logics for the verification of such programs have recently been proposed, but their usage has been limited thus far to manual proofs. Automating proofs in these logics via first-order solvers is non-trivial, due to reasoning features such as higher-order assertions, modalities and rich permission resources. In this paper, we provide the first implementation of a weak memory program logic using existing deductive verification tools. We tackle three recent program logics: Relaxed Separation Logic and two forms of Fenced Separation Logic, and show how these can be encoded using the Viper verification infrastructure. In doing so, we illustrate several novel encoding techniques which could be employed for other logics. Our work is implemented, and has been evaluated on examples from existing papers as well as the Facebook open-source Folly library.Comment: Extended version of TACAS 2018 publicatio

Safety of Simultaneous Resections of Colorectal Cancer and Liver Metastases

Liver resection is the only potentially curative method for patients with colorectal cancer metastases and 5-year survival rates are 20% – 40%. Simultaneous resection of colorectal cancer and synchronous liver metastases has been recommended if minor hepatectomy is indicated. The purpose of this paper is to analyze the treatment of hepatic colorectal secondaries and to assess the safety of simultaneous and delayed liver resections and relations of morbidity to the extensiveness of hepatectomy and perioperative factors. Analyzed were 21 patients with liver metastases from colorectal cancer operated between 1997 and 1999 in the Clinical Hospital »Sestre milosrdnice«. Operating time for simultaneous colorectal and liver resections was not significantly longer compared to liver resections alone. No significant difference in complication rate was found after simultaneous procedures and liver resection alone (38% vs. 31%). Complication rate after major liver resections was not significantly greater than after minor resections (38% vs. 31%). No statistically significant differences were found in operation time and blood replacement between patients who developed postoperative complications and those who did not. In conclusion, simultaneous resections of primary colorectal cancer and liver metastases may be considered safe. Morbidity rates are not significantly different from those after liver resections alone, nor depend significantly upon the extensiveness of liver resection, providing that the operation time and blood loss are within the range observed in this study

Struktur sastra lisan Dayak Sangen

Buku Struktur Sastra Lisan Dayak Sangen merupakan salah satu hasil Proyek Penelitian Bahasa dan Sastra Indonesia dau Daerah Kalimantan Selatan tahun 1991./1992 yang pelaksanaannya dipercayakan kepada Tim Peneliti dari Universitas Palangkaraya. Untuk itu, kami ingi.n menyatakan penghargaan dan ucapan terima kasih kepada Pemimpin Proyek Penelitian Bahasa dan Sastra Indonesia dan Daerah Kalimantan Selatan tahun 1991./1992 beserta sta.fnya, dan para peneliti, yaitu Dominicus Doko, Andriastuti, M. Rus Andianto, Dewi Mu1yani, Diana Sofyan dan Samuel Mihing. Penelitian yang dilakukan sehubungan dengan hal tersebut di atas berkisar pada struktur sastra lisan Dayak Sangen. Hal itu, mengingat struktur merupakan salah satu aspek yang mengambil peranan penting dalam sastra, baik lisan maupun tulisan, yang selama ini belum ada seseorang atau suatu badan pun yang meneliti sastra tersebut berdasarkan aspek-aspek di dalamnya, kecuali hanya mengumpulkan yang masih sangat terbatas

Determinan Pemanfaatan Kartu Jaminan Kesehatan Nasional (JKN) di Wilayah Kerja Puskesmas Manutapen Kecamatan Alak Kota Kupang

To achieve Universal Health Coverage (UHC) for the entire population, the Indonesian government took the initiative to establish a public health insurance system through JKN for individual health. The JKN program managed by BPJS, intended to provide health protection for participants to obtain health care benefits and protection to meet the basic health needs. However, the use of JKN cards in community health centers (Puskesmas) remains low. This study was to investigate the determinants of JKN card utilization in Puskesmas Manutapen in 2019. The research is was quantitative study using a cross-sectional design. The sample consisted of 85 people obtained by a purposive sampling technique. Data analysis employed using univariate and bivariate methods with the chi-square test. The results showed that factors  related to JKN card utilization were knowledge (ρ =0.023), income (ρ = 0.037), the availability of facilities and infrastructure (ρ = 0.043), and disease complaints (ρ = 0.041), while unrelated factor was family support (ρ= 0.662). The community should maximize the use of JKN card to obtain comprehensive health services, not only for treatment, but also for prevention to improve their health status. To achieve Universal Health Coverage (UHC) for the entire population, the Indonesian government took the initiative to establish a public health insurance system through JKN for individual health. The JKN program managed by BPJS, intended to provide health protection for participants to obtain health care benefits and protection to meet the basic health needs. However, the use of JKN cards in community health centers (Puskesmas) remains low. This study was to investigate the determinants of JKN card utilization in Puskesmas Manutapen in 2019. The research is was quantitative study using a cross-sectional design. The sample consisted of 85 people obtained by a purposive sampling technique. Data analysis employed using univariate and bivariate methods with the chi-square test. The results showed that factors  related to JKN card utilization were knowledge (ρ =0.023), income (ρ = 0.037), the availability of facilities and infrastructure (ρ = 0.043), and disease complaints (ρ = 0.041), while unrelated factor was family support (ρ= 0.662). The community should maximize the use of JKN card to obtain comprehensive health services, not only for treatment, but also for prevention to improve their health status

Monetary policy and indeterminacy after the 2001 slump

Abstract not availableFirmin Doko Tchatoka, Nicolas Groshenny, Qazi Haque, Mark Wede