Decomposable polynomials in second order linear recurrence sequences

We study elements of second order linear recurrence sequences $(G_n)_{n= 0}^{\infty}$ of polynomials in $\mathbb{C}[x]$ which are decomposable, i.e. representable as $G_n=g\circ h$ for some $g, h\in \mathbb{C}[x]$ satisfying $\operatorname{deg}g,\operatorname{deg}h>1$. Under certain assumptions, and provided that $h$ is not of particular type, we show that $\operatorname{deg}g$ may be bounded by a constant independent of $n$, depending only on the sequence.Comment: 26 page

Proficiency-aware systems

In an increasingly digital world, technological developments such as data-driven algorithms and context-aware applications create opportunities for novel human-computer interaction (HCI). We argue that these systems have the latent potential to stimulate users and encourage personal growth. However, users increasingly rely on the intelligence of interactive systems. Thus, it remains a challenge to design for proficiency awareness, essentially demanding increased user attention whilst preserving user engagement. Designing and implementing systems that allow users to become aware of their own proficiency and encourage them to recognize learning benefits is the primary goal of this research. In this thesis, we introduce the concept of proficiency-aware systems as one solution. In our definition, proficiency-aware systems use estimates of the user's proficiency to tailor the interaction in a domain and facilitate a reflective understanding for this proficiency. We envision that proficiency-aware systems leverage collected data for learning benefit. Here, we see self-reflection as a key for users to become aware of necessary efforts to advance their proficiency. A key challenge for proficiency-aware systems is the fact that users often have a different self-perception of their proficiency. The benefits of personal growth and advancing one's repertoire might not necessarily be apparent to users, alienating them, and possibly leading to abandoning the system. To tackle this challenge, this work does not rely on learning strategies but rather focuses on the capabilities of interactive systems to provide users with the necessary means to reflect on their proficiency, such as showing calculated text difficulty to a newspaper editor or visualizing muscle activity to a passionate sportsperson. We first elaborate on how proficiency can be detected and quantified in the context of interactive systems using physiological sensing technologies. Through developing interaction scenarios, we demonstrate the feasibility of gaze- and electromyography-based proficiency-aware systems by utilizing machine learning algorithms that can estimate users' proficiency levels for stationary vision-dominant tasks (reading, information intake) and dynamic manual tasks (playing instruments, fitness exercises). Secondly, we show how to facilitate proficiency awareness for users, including design challenges on when and how to communicate proficiency. We complement this second part by highlighting the necessity of toolkits for sensing modalities to enable the implementation of proficiency-aware systems for a wide audience. In this thesis, we contribute a definition of proficiency-aware systems, which we illustrate by designing and implementing interactive systems. We derive technical requirements for real-time, objective proficiency assessment and identify design qualities of communicating proficiency through user reflection. We summarize our findings in a set of design and engineering guidelines for proficiency awareness in interactive systems, highlighting that proficiency feedback makes performance interpretable for the user.In einer zunehmend digitalen Welt schaffen technologische Entwicklungen - wie datengesteuerte Algorithmen und kontextabhängige Anwendungen - neuartige Interaktionsmöglichkeiten mit digitalen Geräten. Jedoch verlassen sich Nutzer oftmals auf die Intelligenz dieser Systeme, ohne dabei selbst auf eine persönliche Weiterentwicklung hinzuwirken. Wird ein solches Vorgehen angestrebt, verlangt dies seitens der Anwender eine erhöhte Aufmerksamkeit. Es ist daher herausfordernd, ein entsprechendes Design für Kompetenzbewusstsein (Proficiency Awareness) zu etablieren. Das primäre Ziel dieser Arbeit ist es, eine Methodik für das Design und die Implementierung von interaktiven Systemen aufzustellen, die Nutzer dabei unterstützen über ihre eigene Kompetenz zu reflektieren, um dadurch Lerneffekte implizit wahrnehmen können. Diese Arbeit stellt ein Konzept für fähigkeitsbewusste Systeme (proficiency-aware systems) vor, welche die Fähigkeiten von Nutzern abschätzen, die Interaktion entsprechend anpassen sowie das Bewusstsein der Nutzer über deren Fähigkeiten fördern. Hierzu sollten die Systeme gesammelte Daten von Nutzern einsetzen, um Lerneffekte sichtbar zu machen. Die Möglichkeit der Anwender zur Selbstreflexion ist hierbei als entscheidend anzusehen, um als Motivation zur Verbesserung der eigenen Fähigkeiten zu dienen. Eine zentrale Herausforderung solcher Systeme ist die Tatsache, dass Nutzer - im Vergleich zur Abschätzung des Systems - oft eine divergierende Selbstwahrnehmung ihrer Kompetenz haben. Im ersten Moment sind daher die Vorteile einer persönlichen Weiterentwicklung nicht unbedingt ersichtlich. Daher baut diese Forschungsarbeit nicht darauf auf, Nutzer über vorgegebene Lernstrategien zu unterrichten, sondern sie bedient sich der Möglichkeiten interaktiver Systeme, die Anwendern die notwendigen Hilfsmittel zur Verfügung stellen, damit diese selbst über ihre Fähigkeiten reflektieren können. Einem Zeitungseditor könnte beispielsweise die aktuelle Textschwierigkeit angezeigt werden, während einem passionierten Sportler dessen Muskelaktivität veranschaulicht wird. Zunächst wird herausgearbeitet, wie sich die Fähigkeiten der Nutzer mittels physiologischer Sensortechnologien erkennen und quantifizieren lassen. Die Evaluation von Interaktionsszenarien demonstriert die Umsetzbarkeit fähigkeitsbewusster Systeme, basierend auf der Analyse von Blickbewegungen und Muskelaktivität. Hierbei kommen Algorithmen des maschinellen Lernens zum Einsatz, die das Leistungsniveau der Anwender für verschiedene Tätigkeiten berechnen. Im Besonderen analysieren wir stationäre Aktivitäten, die hauptsächlich den Sehsinn ansprechen (Lesen, Aufnahme von Informationen), sowie dynamische Betätigungen, die die Motorik der Nutzer fordern (Spielen von Instrumenten, Fitnessübungen). Der zweite Teil zeigt auf, wie Systeme das Bewusstsein der Anwender für deren eigene Fähigkeiten fördern können, einschließlich der Designherausforderungen , wann und wie das System erkannte Fähigkeiten kommunizieren sollte. Abschließend wird die Notwendigkeit von Toolkits für Sensortechnologien hervorgehoben, um die Implementierung derartiger Systeme für ein breites Publikum zu ermöglichen. Die Forschungsarbeit beinhaltet eine Definition für fähigkeitsbewusste Systeme und veranschaulicht dieses Konzept durch den Entwurf und die Implementierung interaktiver Systeme. Ferner werden technische Anforderungen objektiver Echtzeitabschätzung von Nutzerfähigkeiten erforscht und Designqualitäten für die Kommunikation dieser Abschätzungen mittels Selbstreflexion identifiziert. Zusammengefasst sind die Erkenntnisse in einer Reihe von Design- und Entwicklungsrichtlinien für derartige Systeme. Insbesondere die Kommunikation, der vom System erkannten Kompetenz, hilft Anwendern, die eigene Leistung zu interpretieren

Outpatient Physical Therapy Management of Patient with Severe Lumbar Derangement including Relevant Lateral Shift and Radiculopathy

Background and Purpose. This case describes the 5 week outpatient Physical Therapy management of a 65 year old male with a lumbar radiculopathy and a relevant lateral shift. The patient presented with decreased lumbar range of motion, left sided paresthesia, an antalgic gait and severe pain. Purpose. The purpose of this article is to describe the interventions used for this patient and the results of the interventions. Description. The interventions for this patient included McKenzie techniques as well as some manual techniques. Outcomes. Following the PT intervention, the patient achieved almost full active range of motion, good to normal strength, decreased pain, and a normal gait pattern. Discussion. The treatment of this patient was based primarily on Robin McKenzie\u27s approach to treatment of the spine as well as treating the patient\u27s presenting symptoms, including decreased range of motion and pain. Treatment was altered and/or progressed based on the patient\u27s response

Akses Konsumen Terhadap Keadilan Dalam Undang-Undang Perlindungan Konsumen

Perjuangan masyarakat dalam menuntut penyelesaian atas ketidak­adilan selama ini berhasil dianalisis dengan pendekatan sosio-legal dan diterjemahkan ke dalam sebuah istilah yang sering diwacana­kan kepada publik, yaitu: Akses terhadap Keadilan. Walau tulisan ini menggunakan judul yang hampir senada dengan penelitian sosio-legal, tulisan perlindungan konsumen ini dimaksudkan untuk menambah dimensi penelitian bertema Akses terhadap Keadilandi Indonesia dari sisi yuridis normatif semata. Sampai saat ini, konsumen di Indonesia masih mengandalkan akses keadilan yang disediakan di dalam Undang-Undang Republik Indonesia No. 8 Tahun 1999 tentang Perlindungan Konsumen (UUPK). Sehubungan dengan menguat isu perubahan  terhadap UUPK selama beberapa tahun belakangan ini, dirasa perlu untuk menganalisis akses konsumen terhadap keadilan di dalam UUPK. Hasil penelitian ini menunjukkan bahwa beberapa akses keadilan di dalam UUPK perlu diperkuat dan dipertahankan di dalam “UUPK yang baru” seperti:  keberadaan BPSK, kaidah “konsumen harus kembali ke pelaku usaha terlebih dahulu” harus dicantumkan secara eksplisit di dalam pasal, dan tetap menge­sam­ping­kan keberlakuan asas actor sequitur forum rei. Sebaliknya, “upaya keberatan” perlu dihapus dari “UUPK yang baru” karena menyulit­kan konsumen dalam proses peradilan yang sifatnya sederhana, cepat, dan biaya ringan

KAJIAN YURIDIS TENTANG KARTU BANK DALAM TRANSAKSI PERBANKAN

Tujuan penelitian adalah untuk mengkaji penerbitan kartu bank berdasarkan peraturan perundang-undangan dan untuk mengkaji fungsi kartu bank dalam transaksi perbankan. Dengan metode penelitian yuridis normatif, kesimpulan yang didapat: 1. Penerbitan kartu bank atau kartu kredit sudah diatur dalam Peraturan Bank Indonesia No. 11/11/PBI/2009 tentang Penyelenggaraan Kegiatan Alat Pembayaran Dengan Menggunakan Kartu. Penerbit Kartu Kredit atau kartu bank wajib memberikan informasi secara tertulis kepada pemegang kartu, paling kurang meliputi prosedur dan tata cara penggunaan kartu kredit, hal-hal penting yang harus diperhatikan oleh pemegang kartu dalam penggunaan kartunya dan konsekuensi atau risiko yang mungkin timbul dari penggunaan kartu. 2. Fungsi Kartu bank atau kartu kredit dalam transaksi perdagangan adalah sebagai Sumber Kredit, dimana kartu bank merupakan instrumen untuk dapat memperoleh kredit dimana cara pembayaran adalah pada setiap dilakukannya transaksi atau juga dibayar secara bulanan, kemudian untuk Penarikan Uang Tunai, dimana Kartu bank juga dapat digunakan untuk melakukan penarikan sejumlah uang tunai apakah itu dilakukan di counter bank ataupun di ATM dan sebagai Penjaminan Cek, dimana Kartu bank dijadikan sebagai jaminan ketika nasabah melakukan penarikan cek atas sejumlah uang untuk meyakinkan si penerima cek dalam bertransaksi.   Kata Kunci : kartu bank, transaksi perbanka

"Mantra" Alih Wahana Tipografi Non-Konvensional pada Puisi Sutardji Calzoum Bachri ke dalam Komposisi Musik

Penelitian ini memfokuskan pembahasan pada upaya mengalihwahanakan aspek tipografi pada puisi Sutardji Calzoum Bachri ke medium bunyi lewat karya "Mantra". Upaya pengalihwahanaan aspek tipografi ini dilakukan dengan cara mencari unsur-unsur yang komparatif di antara dua medium, yaitu antara puisi dan musik. Penulis menemukan hasil komparasi analogis bahwa tata letak kata-kata pada karya puisi selaras dengan tata letak pemain sebagai sumber bunyi pada karya musik. Ekplorasi tata letak sumber bunyi pada karya musik menghasilkan musik spasial yang perlu menggunakan teknik modulasi spasial untuk mewujudkannya. Karya digarap dalam format paduan suara karena dibutuhkan kondisi pemain yang dapat melakukan perpindahan tempat secara efektif.Kata kunci: Tipografi Puisi; Modulasi Spasial; Paduan Suara "Mantra" The Transform of Non-Conventional Typography of Sutardji Calzoum Bachri's Poetry into Music CompositionThis study focuses on the discussion of efforts to transform the typographical aspect of Sutardji Calzoum Bachri's poetry to the medium of sound through the work "Mantra". Efforts to transform this aspect of typography are carried out by looking for comparative elements between the two mediums, between poetry and music. The author finds that the result of analogical comparison is that the layout of the words in a poetry work is similar with the layout of the performers as the source of sound in a musical work. Exploration of the layout of sound sources in musical works creates spatial music that needs to use spatial modulation techniques. The work is composed in a choir format because it requires the condition of the performers to be able to move places effectively.Keywords: Typography in Poetry; Spatial Modulation; Choi

EVALUASI IMPLEMENTASI PROGRAM GERAKAN LITERASI SEKOLAH (GLS) DI TINJAUH DARI ASPEK MASUKAN, KONTEKS, PROSES DAN HASIl PADA SMAN 1 ADONARA BARAT

Penelitian ini bertujuan untuk mengevaluasi keberhasilan implementasi program Gerakan Literasi Sekolah (GLS) di SMAN 1 Adonara Barat ditinjau dari aspek konteks, masukan, proses, dan hasil,. Penelitian ini merupakan penelitian evaluasi dengan menggunakan model CIPP. Teknik pengumpulan data menggunakan wawancara, observasi dan dokumentasi dengan respondennya adalah kepala sekolah, para wakil kepala sekolah, guru dan siswa di SMAN 1 Adonara Barat. Teknik analisis data menggunakan model Miles dan Huberman yaitu reduksi data, penyajian data, dan penarikan kesimpulan/verifikasi. Uji kredibiltas data menggunakan triangulasi sumber dan triangulasi metode. Hasil penelitian menunjukan bahwa (1) implementasi program GLS di SMAN 1 Adonara Barat ditinjau dari (a) aspek konteks dikategorikan berhasil karena sudah terdapat kesuaian antara dasar dan tujuan implementasi program GLS di SMAN 1 Adonara Barat dengan dasar dan tujuan GLS yang sudah pemerintah tetapkan; (b) aspek masukan dikategorikan berhasil dilihat dari tersedianya SDM, sarana prasarana, dan dana yang cukup memadai; (c) aspek proses dikategorikan berhasil dilihat dari terdapatnya aktivitas perencanaan, pengorganisasian, pelaksanaan dan pengawasan. Sementara khusus bagian tahapan pelaksanaan program GLS indikator tahap pembiasaan terpenuhi 90%, tahap pengembangan terpenuhi 75%, dan tahap pembelajaran terpenuhi 73%.; (d) aspek hasil dikategorikan berhasil karena mampu menghasilkan karya berupa tulisan siswa dan guru yang sudah dipublikasikan di media cetak dan dijadikan buku. Melalui GLS terdapat peningkatan pemahaman dan pengetahuan akan program, motivasi dan semangat belajar siswa, kemampuan dan keterampilan baca tulis siswa