Specification of a Transactionally and Causally-Consistent (TCC) database

Large-scale application are typically built on top of geo-distributed databases running on multiple datacenters (DCs) situated around the globe. Network failures are unavoidable, but inmost internet services, availability is not negotiable; in this context, the CAP theorem proves that it is impossible to provide both availability and strong consistency at the same time. Sacrificing strong consistency, exposes developers to complex anomalies that are complex to build against.AntidoteDB is a database designed for geo-replication. As it aims to provide high availability with the strongest possible consistency model, it guarantees Transactional Causal Consistency (TCC) and supports CRDTs. TCC means that: (1) if one update happens before another, they will be observed in the same order (causal consistency), and (2) updates in the same transaction are observed all-or-nothing.In AntidoteDB, the database is persisted as a journal of operations. In the current implementation, the journal grows without bound. The main objective of this work is to specify a mechanism for pruning the journal safely, by storing recent checkpoints. This will enable faster reads and crash recovery.Les applications à grande échelle sont généralement construites au-dessus de base de données géo-distribuées qui tournent sur de multiples centres de données répartis dans le monde.Les défaillances de réseaux sont inévitables, pourtant pour la majorité des services en ligne, la disponibilité est essentielle. Dans ce contexte, le théorème CAP prouve qu’il est impossible d’être à la fois hautement disponible et fournir de la cohérence forte. Sacrifier la cohérence forte, expose les développeurs a des anomalies complexes à gérer. AntidoteDB est une base de données conçue pour être répartie à travers le monde. Avec pour objectif de fournir une haute disponibilité avec le plus haut modèle de cohérence possible.Elle garantit de la cohérence causale transactionnelle (TCC) et des types de données convergents(CRDTs). TCC signifie que : (1) si une mise à jour a eu lieu avant une autre, elles seront observées dans le même ordre (cohérence causal), et (2) les mises à jour appartenant à une même transaction seront vues simultanément ou pas du tout.Dans AntidoteDB, la base de données est stockée sous la forme d’un journal d’opération. Dans l’implémentation actuelle le journal croit sans limite. L’objectif principal de ce travail est d’écrire la spécification d’un mécanisme de troncature du journal sûr, en effectuant des points de contrôles. Cela permettra d’avoir des lectures plus rapides ainsi qu’une récupération de données plus rapid

KONSEP ECOPRENEURSHIP SEBAGAI MODEL BISNIS MASA DEPAN UNTUK MENCAPAI SUSTAINABLE DEVELOPMENT GOALS (SDGs) 2030 (Evaluasi Pada Kegiatan Pasar Sehat Bandung 2019)

Saat ini keberlangsungan lingkungan dan pembangunan berkelanjutan sedang menjadi pusat perhatian pemerintah seluruh dunia termasuk Indonesia. Hal ini dapat dilihat dari ikut sertanya Indonesia dalam kesepakatan pembangunan global yang mengesahkan Sustainable Development Goals (SDGs). Dalam mencapai salah satu tujuan SDGs yaitu tujuan nomor 4 Quality Education, peran perguruan tinggi sangatlah penting dalam meningkatkan jumlah remaja dan orang dewasa yang memiliki keahlian yang relevan termasuk keahlian teknis dan kejuruan untuk mendapatkan pekerjaan yang layak dan berwirausaha. Maka perlu adanya SDGs Center pada setiap perguruan tinggi termasuk Telkom University untuk identifikasi prioritas, peluang, dan gaps dalam berwirausaha terkait pelaksanaan SDGs. Dalam mengidentifikasi peluang dan strategi berwirasusaha dan mendapatkan pekerjaan yang layak dalam pembangunan berkelanjutan dan tercapainya agenda SDGs maka diperlukan peninjauan model bisnis berkonsep ecopreneurship. Peninjauan model bisnis dilakukan dengan analisis pemetaan Business Model Canvas (BMC) dari Osterwalder dan Pigneur (2010) pada tenant-tenant yang mengikuti kegiatan pasar sehat Bandung 2019. Penelitian ini termasuk ke dalam penelitian kualitatif studi kasus yang berdasarkan tujuan penelitiannya tergolong ke dalam studi deskriptif dengan penekanan hubungan kausal. Teknik pengambilan sampel yang digunakan dalam penelitian ini adalah purposive sampling dengan metode convenience sampling. Maka dengan kriteria yang telah ditentukan peneliti menentukan lima objek penelitian yaitu Warung 1000 Kebun, Sekolah Rempah Nusantara, Botanina, Rahsa Nusantara, dan Warung Imah Babaturan. Teknik pengumpulan data diperoleh dengan teknik observasi, dan teknik wawancara. Berdasarkan hasil temuan dengan pemetaan BMC dan memodifikasi dengan teori John Elkington (1998) “3P” people, planet, dan profit, setiap objek menunjukkan fokus bisnis nya berbeda-beda. Pada tipe bisnis komunitas fokus bisnis nya berorientasi pada people (social), sedangkan pada tipe bisnis produk fokus bisnis nya berorientasi pada people (social) dan planet (environmental), dan pada tipe bisnis restoran berorientasi pada profit (economic). Kata Kunci: Sustainable Development Goals (SDGs), High Quality, Ecopreneurship, Business Model Canvas (BMC), Sustainable Business Mode

ANALISIS BUDAYA ENTREPRENEURIAL DI UPK SAUYUNAN KECAMATAN BOJONGSOANG BANDUNG

Budaya entrepreneur sangat diperlukan untuk meningkatkan atau mempertahankan laju pertumbuhan entrepreneur dalam suatu negara. Kepentingan dalam membangun budaya entrepreneur melibatkan cara hidup unggul yang menuntut adanya budaya entrepreneurship. Maka dari itu penelitian ini dilakukan untuk menganalisis menganalisis budaya entrepreneurial di UPK Sauyunan Kecamatan Bojongsoang yang berarti melihat sejauh mana budaya entrepreneurial di UPK Sauyunan Kecamatan Bojongsoang dapat diterapkan pada anggotanya. Variabel yang digunakan dalam penelitian ini yaitu budaya entrepreneurial dengan sepuluh dimensi yang terdiri dari umum, rencana strategi, antar fungsi/ antar departemen, dukungan terhadap ide-ide baru, intelijen pasar, pengambilan risiko, kecepatan, fleksibilitas, focus, dan masa depan. Populasi dalam penelitian ini yaitu seluruh anggota UPK Sauyunan pada Desa Buah Batu sebanyak 76 responden. Dengan teknik pengambilan sampel dengan menggunakan teknik sensus yaitu mengambil sampel secara keseluruhan. Pengolahan data menggunakan analisis deskriptif dengan program SPSS 16.0 sebagai alat bantu analisis. Dari hasil penelitian diketahui bahwa budaya entrepreneurial di UPK Sauyunan Kecamatan Bojongsoang termasuk dalam kategori baik dengan rata-rata skor total sebesar 3,72. Kata kunci: Budaya, Entrepreneurial, UPK Sauyunan, Entrepreneurial Orientation Survey (EOS

PROSES REKRUITMENT PEKERJA SOSIAL DI INSTITUSI PENERIMA WAJIB LAPOR INABAH XV PONDOK PESANTREN SURYALAYA

Tujuan dari penelitian ini adalah untuk menggambarkan proses rekruitmen pekerja sosial adiksi di Inabah XV Pondok Pesantren Suryalaya sebagai institusi penerima wajib lapor kementerian sosial, mengingat pentingnya proses rekruitmen untuk menemukan individu yang kompeten untuk mencapai tujuan organisasi. Penelitian ini dilakukan di Inabah XV Pondok Pesantren Suryalaya. Metode yang digunakan dalam penelitian ini adalah deskriptif kualitatif. Deskriptif kualitatif adalah metode yang menginterpretasikan data yang telah dikumpulkan untuk mendapatkan deskripsi yang komprehensif tentang situasi aktual. Data dikumpulkan melalui wawancara dengan pimpinan Inabah XV Pondok Pesantren Suryalaya dan studi literatur. Analisis data dengan mengurangi dan menampilkan sampai dapat disimpulkan. Hasilnya menunjukkan bahwa proses rekruitmen sudah dilaksanakan dengan tahapan mengumumkan lowongan kerja, mengidentifikasi pelamar yang potensial, menyebarkan pengumumam rekrutmen, memproses aplikasi para pelamar, dan menentukan deadline proses lamaran hingga seleksi

TINGKAT STRESS PENYALAHGUNA NAPZA SAAT MENJALANI REHABILITASI DI INABAH XV PONDOK PESANTREN SURYALAYA

Penelitian ini dilakukan untuk memperoleh gambaran mengenai tingkat stress yang dialami santri binaan yang sedang menjalani proses rehabilitasi penyalahgunaan Napza di Inabah Pondok Pesantren Suryalaya Tasikmalaya. Tujuan penelitian untuk mengidentifikasi karakteristik penyalahguna NAPZA, mengukur tingkat stress penyalahguna NAPZA pada aspek fisiologis, emosional, dan perilaku. Metode yang digunakan dalam penelitian adalah kuantitatif dengan metode deskriptif. Teknik pengambilan sampel yang digunakan yaitu sensus dengan jumlah 37 orang responden. Teknik pengumpulan data menggunakan kuesioner baku yang dimodifikasi untuk mengukur tingkat stress. Katagori tingkat stress yaitu, ringan, sedang dan berat. Validitas alat ukur menggunakan validitas muka dan teknik analisis data dengan statistik deskriptif dan tabulasi data. Hasil penelitian menunjukkan bahwa korban penyalahguna NAPZA mengalami stress pada tingkat sedang saat menjalani rehabilitasi. Hal ini dilihat berdasarkan skor pada ketiga aspek stress yaitu fisiologis, emosional dan perilaku. Dari ketiga aspek tersebut stress pada aspek emosional menunjukkan skor tertinggi

PELAKSANAAN COORPORATE SOCIAL RESPONSIBILITY SHAFIRA FOUNDATION DALAM UPAYA PENANGGULANGAN KEMISKINAN DI KOTA BANDUNG

Penanggulangan kemiskinan dapat dilakukan salah satunya dengan menjadikan dunia usaha sebagai potensi dan sumber, dunia usaha memiliki kewajiban melaksanakan tanggung jawab sosialnya. Bentuk perwujudan tanggung jawab sosial sebuah perusahaan terhadap lingkungan sekitarnya akan mempengaruhi perubahan sosial sebagai upaya penanganan kemiskinan melalui Community service, Community relation, dan Community Empowering. Penelitian ini dilakukan untuk mengetahui bentuk pelaksanaan CSR yang dilaksanakan oleh Shafira Foundation sebagai upaya penanggulangan kemiskinan. Metode kualitatif deskriptif, menggunakan tool anaysis dengan metode kajian literatur. Data yang digunakan yaitu data sekunder. Hasil yang ditemukan menunjukan bahwa Shafira Foundation melaksanakan CSR dengan bentuk Community Relationdan Community Empoweringmelalui kegiatan Lembaga Keuangan Mikro Kewirausahaan, Program Bantuan Kemanusiaan, Senior Club Hati Indonesia, dan Beasiswa Bina Prestasi

Transendensi Diri Pekerja Sosial (Studi kasus tentang transendensi diri pekerja sosial di Unit Pelaksana Tugas Pusat Kesejahteraan Sosial Dinas Sosial Kota Bandung)

Demi terlaksananya tujuan praktik pekerja sosial berdasarkan Undang-undang Nomor 14 Tahun 2019, perlu adanya upaya meningkatkan usaha tenaga pekerja sosial untuk menjadi manusia yang berdaya sehingga mampu memberdayakan manusia lain. Dalam konteks ini kita akan melihat pekerja sosial mampu memanajemen diri, mampu meningkatkan keberfungsian, kepedulian, ketahanan, dan terampil dalam menghadapi masalah sosial. Upaya yang dapat dilakukan untuk mendorong peningkatan usaha calon tenaga pekerja sosial menjadi manusia yang berdaya adalah dengan meningkatkan target kebutuhan. Pekerja sosial tidak hanya fokus memenuhi kebutuhan aktualisasi diri (self-actualization) dengan memiliki pengetahuan dan penghargaan, tetapi meningkat ke tahap transendensi diri (self-transcendence). Penelitian ini bertujuan untuk mengenai tingkat transendensi diri pekerja sosial di Unit Pelaksana Tugas Pusat Kesejahteraan Sosial (UPT PUSKESOS) Dinas Sosial Kota Bandung dengan menggunakan metode survey deskriptif dengan pendekatan kuantitatif dan pengambilan data menggunakan Self-Transendence Scale. Teknik sampling yang digunakan adalah teknik sampling jenuh, di mana terdapat 23 orang pekerja sosial yang diteliti. Penelitian menemukan bahwa hampir seluruh pekerja sosial berada pada tingkat kebutuhan transendensi diri yang terdiri dari aspek interpersonal dan intrapersonal. Hal tersebut menunjukan bahwa pengembangan SDM yang ada perlu dipertahankan bahkan ditingkatkan

AVNP2 protects against cognitive impairments induced by C6 glioma by suppressing tumour associated inflammation in rats

© 2020 The Authors. Published by Elsevier Inc. This is an open access article under the CC BY-NC-ND license (http://creativecommons.org/licenses/BY-NC-ND/4.0/).Glioblastoma is a kind of malignant tumour and originates from the central nervous system. In the last century, some researchers and clinician have noticed that the psychosocial and neurocognitive functioning of patients with malignant gliomas can be impaired. Many clinical studies have demonstrated that part of patients, adults or children, diagnosed with glioblastoma will suffer from cognitive deficiency during their clinical course, especially in long-term survivors. Many nanoparticles (NPs) can inhibit the biological functions of tumours by modulating tumour-associated inflammation, which provokes angiogenesis and tumour growth. As one of the best antiviral nanoparticles (AVNPs), AVNP2 is the 2nd generation of AVNP2 that have been conjugated to graphite-graphene for improving physiochemical performance and reducing toxicity. AVNP2 inactivates viruses, such as the H1N1 and H5N1influenza viruses and even the SARS coronavirus, while it inhibits bacteria, such as MRSA and E. coli. As antimicrobials, nanoparticles are considered to be one of the vectors for the administration of therapeutic compounds. Yet, little is known about their potential functionalities and toxicities to the neurotoxic effects of cancer. Herein, we explored the functionality of AVNP2 on inhibiting C6 in glioma-bearing rats. The novel object-recognition test and open-field test showed that AVNP2 significantly improved the neuro-behaviour affected by C6 glioma. AVNP2 also alleviated the decline of long-term potentiation (LTP) and the decreased density of dendritic spines in the CA1 region induced by C6. Western blot assay and immunofluorescence staining showed that the expressions of synaptic-related proteins (PSD-95 and SYP) were increased, and these findings were in accordance with the results mentioned above. It revealed that the sizes of tumours in C6 glioma-bearing rats were smaller after treatment with AVNP2. The decreased expression of inflammatory factors (IL-1β, IL-6 and TNF-α) by Western blotting assay and ELISA, angiogenesis protein (VEGF) by Western blotting assay and other related proteins (BDNF, NF-ĸB, iNOS and COX-2) by Western blotting assay in peri-tumour tissue indicated that AVNP2 could control tumour-associated inflammation, thus efficiently ameliorating the local inflammatory condition and, to some extent, inhibiting angiogenesis in C6-bearing rats. In conclusion, our results suggested that AVNP2 could have an effect on the peri-tumor environment, obviously restraining the growth progress of gliomas, and eventually improving cognitive levels in C6-bearing rats.Peer reviewedProo

Utilisation de spécifications formelle pour implémenter un backend de base de données

Conceptuellement, un système de stockage de base de données n'est qu'une correspondance entre des clés et des valeurs. Cependant, pour offrir des performances élevées et une fiabilité, une base de donnée moderne est un système complexe et concurrent, rendant le système prône aux erreurs. Cette thèse relate notre parcours, allant de la spécification formelle d'une base de données à son implémentation. La spécification est courte et non ambigüe, et aide à raisonner sur la justesse. La lecture du pseudocode de la spécification fournit une base rigoureuse pour une implémentation. La spécification décrit la couche de stockage comme une mémoire partagée transactionnelle simple, avec deux variantes (au comportement équivalent), basées sur une map et un journal. Nous implémentons ces deux variantes en restant fidèles à notre spécification. Nous spécifions les fonctionnalités d'une base de données moderne, ayant un système de journalisation avec des snapshots et de la troncature, comme une composition des deux variants. La spécification de cette dernière est particulièrement simple. Finalement, nous présentons une évaluation expérimentale avec des performances qui sont acceptables pour une implémentation qui est correcte.Conceptually, a database storage backend is just a map of keys to values. However, to provide performance and reliability, a modern store is a complex, concurrent software system, opening many opportunities for bugs. This thesis reports on our journey from formal specification of a store to its implementation. The specification is terse and unambiguous, and helps reason about correctness. Read as pseudocode, the specification provides a rigorous grounding for implementation. The specification describes a store as a simple transactional shared memory, with two (behaviourally equivalent) variants, map- and journal-based. We implement these two basic variants verbatim in Java. We specify the features of a modern store, such as a write-ahead log with checkpointing and truncation, as a dynamic composition of instances of the two basic variants. The specification of correct composition is particularly simple. Our experimental evaluation of an implementation has acceptable performance, while our rigorous methodology increases confidence in its correctness

Utilisation de spécifications formelle pour implémenter un backend de base de données

Conceptually, a database storage backend is just a map of keys to values. However, to provide performance and reliability, a modern store is a complex, concurrent software system, opening many opportunities for bugs. This thesis reports on our journey from formal specification of a store to its implementation. The specification is terse and unambiguous, and helps reason about correctness. Read as pseudocode, the specification provides a rigorous grounding for implementation. The specification describes a store as a simple transactional shared memory, with two (behaviourally equivalent) variants, map- and journal-based. We implement these two basic variants verbatim in Java. We specify the features of a modern store, such as a write-ahead log with checkpointing and truncation, as a dynamic composition of instances of the two basic variants. The specification of correct composition is particularly simple. Our experimental evaluation of an implementation has acceptable performance, while our rigorous methodology increases confidence in its correctness.Conceptuellement, un système de stockage de base de données n'est qu'une correspondance entre des clés et des valeurs. Cependant, pour offrir des performances élevées et une fiabilité, une base de donnée moderne est un système complexe et concurrent, rendant le système prône aux erreurs. Cette thèse relate notre parcours, allant de la spécification formelle d'une base de données à son implémentation. La spécification est courte et non ambigüe, et aide à raisonner sur la justesse. La lecture du pseudocode de la spécification fournit une base rigoureuse pour une implémentation. La spécification décrit la couche de stockage comme une mémoire partagée transactionnelle simple, avec deux variantes (au comportement équivalent), basées sur une map et un journal. Nous implémentons ces deux variantes en restant fidèles à notre spécification. Nous spécifions les fonctionnalités d'une base de données moderne, ayant un système de journalisation avec des snapshots et de la troncature, comme une composition des deux variants. La spécification de cette dernière est particulièrement simple. Finalement, nous présentons une évaluation expérimentale avec des performances qui sont acceptables pour une implémentation qui est correcte