Comparing hierarchies of total functionals

Get full text

General Recursion via Coinductive Types

Get full text

The succinctness of first-order logic on linear orders

Get full text

Linear Datalog and Bounded Path Duality of Relational Structures

Get full text

Contextual equivalence for higher-order pi-calculus revisited

Get full text

Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge

Get full text

Model-Checking Problems as a Basis for Parameterized Intractability

Get full text

Labelled transition systems as a Stone space

Get full text

Using AI to Auto-Tag Graduate Theses

Facebook’s data enclave and the woes of researching social media recommendation algorithms: A reflection on methods

Get full text

Students' perception of a leaderboard-based mathematics game

Get full text

The rise of John “Q” Public: Conspiracy theories as the public sphere

Get full text

Why do I insist on buying my music when everybody knows it’s free? Ten rationales for an alternative to streaming music consumption

Get full text

Fed up: /r/antiwork and the efficacy of digital labor resistance

Get full text

Misleading information visualisations as a tool of info-warfare: How the same visualisations attract floating narratives of the Russia-Ukraine war parties

Get full text

Peranan Framework ITIL V3 Untuk Mengevaluasi Tingkat Kematangan Layanan Dites di Instansi LLDIKTI Wilayah II

Get full text

Analisis Prediksi Produksi Tanaman Padi Berdasarkan Variabel Iklim Menggunakan Support Vector Regression

Get full text

Jurnal Analisis Klasifikasi Sentimen Pengguna MyPertamina Menggunakan Metode Evaluasi Precision, Recall, dan F1-Score

Get full text

PENGEMBANGAN GAME ADVENTURE SEBAGAI MEDIA PEMBELAJARAN PEMROGRAMAN DASAR DENGAN ENGINE GODOT

Get full text

Rancang Bangun Sistem Keamanan Loker Berbasis Biometrik dan RFID

Get full text