The Complexity of Model Checking (Collapsible) Higher-Order Pushdown Systems

We study (collapsible) higher-order pushdown systems --- theoretically robust and well-studied models of higher-order programs --- along with their natural subclass called (collapsible) higher-order basic process algebras. We provide a comprehensive analysis of the model checking complexity of a range of both branching-time and linear-time temporal logics. We obtain tight bounds on data, expression, and combined-complexity for both (collapsible) higher-order pushdown systems and (collapsible) higher-order basic process algebra. At order-$k$, results range from polynomial to $(k+1)$-exponential time. Finally, we study (collapsible) higher-order basic process algebras as graph generators and show that they are almost as powerful as (collapsible) higher-order pushdown systems up to MSO interpretations

Hubungan Antara Burnout dengan Academic Procrastination pada Mahasiswa Fakultas Kedokteran Universitas Tarumanagara Tahap Akademik

Burnout merupakan suatu keadaan yang ditandai dengan keadaan kelelahan fisik dan mental, meningkatnya perasaan negatif atau sinisme, berkurangnya efektivitas dalam melakukan sesuatu dan sering beranggapan bahwa dirinya tidak kompeten. Mahasiswa yang mengalami burnout dan jenuh terhadap suatu proses pembelajaran lebih rentan untuk melakukan prokrastinasi akademik atau menunda tugas yang diberikan oleh dosen. Banyak mahasiswa yang melakukan penundaan dalam mengerjakan tugas, sehingga tugas yang seharusnya dikerjakan lebih awal tidak selesai dikerjakan dan semakin banyak tugas yang menumpuk. Ini dapat membuat mahasiswa menjadi semakin tertekan dan dapat menyebabkan burnout. Penelitian ini bertujuan untuk mengetahui hubungan antara burnout dengan prokrastinasi akademik pada mahasiswa Fakultas Kedokteran Universitas Tarumanagara tahap akademik. Penelitian ini menggunakan studi cross sectional dan dilakukan pada 182 mahasiswa FK UNTAR tahap akademik. Pengumpulan data menggunakan kuesioner secara daring dan data dianalisis menggunakan uji statistic analysis of variance (ANOVA). Mahasiswa mengalami burnout ringan 4 (2,2%), burnout sedang 173 (95,1%), burnout berat 5 (2,7%), dan mean pada prokrastinasi akademik 25,43. Temuan ini secara statistic didapatkan p-value sebesar 0,499 sehingga dapat disimpulkan bahwa tidak terdapat hubungan antara burnout dengan prokrastinasi akademik pada mahasiswa Fakultas Kedokteran Universitas Tarumanagara tahap akademik

DATA VISUALISASI TINGKAT KENAIKAN LIMBAH SAMPAH DI INDONESIA

Waste or garbage is a leftover material that has no use or is disposed of after daily activities by humans. The purpose of this research is to know whether waste in Indonesia has increased or not in the last three years and to find out what type of waste is the most in the last three years, and finally, what province has the largest pile of waste in the last three years. This research uses the method that has some procedures. They are acquired, parse, filter, mine, represent, refine, and interact. The visualization data used is using Microsoft Excel. There are two pieces of data, data on waste generation per year and data on the most types of waste from 2020 to 2022 in Indonesia based on SIPSN data. Data from SIPSN already in Microsoft Excel is inserted into Power BI by selecting "Get data ''; The data is processed into a table and started to be able to filter the data that has appeared. Data is then filtered to remove unwanted data. Waste accumulation in Indonesia has tended to decrease in the last three years. Various provinces in Indonesia have different figures depending on the population and advancement of infrastructure in the province. Last three years, food waste has become the highest number of waste. People aren't aware that the food scraps they consume can affect the total amount of waste/garbage. DKI Jakarta Province is the province that has the most waste pile. It is because DKI Jakarta province is a province that has a large population

Engaging students in scenario-based assessment for final exams

We present our approaches to enhancing the authenticity of final exams across large first-year first semester biology units of cohort sizes between 300-1200 students. Historically exams were primarily used as an instrument that mainly assessed knowledge retention with limited provision of feedback to students. The necessity to shift to online learning during the height of the COVID-19 pandemic provided us with a challenging, yet opportune moment to transform our final examinations into an authentic learning experience for undergraduate biology students. We placed a large focus on integrating scenario-based questions in the final exam thereby assessing students’ ability to apply knowledge to real-world contexts. To enhance engagement with the assessment, we also provided personalised feedback for each student. With additional challenges around access to artificial intelligence and academic integrity, we share our experiences returning to in-person final examinations and evaluate the relevancy and benefits of scenario-based questions for student assessment and learning. We also share our approaches to feedforwarding initiatives to prepare students for examinations that is different to what most students would have experienced in their secondary schooling

Elongation factor Tu is a multifunctional and processed moonlighting protein

Many bacterial moonlighting proteins were originally described in medically, agriculturally, and commercially important members of the low G + C Firmicutes. We show Elongation factor Tu (Ef-Tu) moonlights on the surface of the human pathogens Staphylococcus aureus (SaEf-Tu) and Mycoplasma pneumoniae (MpnEf-Tu), and the porcine pathogen Mycoplasma hyopneumoniae (MhpEf-Tu). Ef-Tu is also a target of multiple processing events on the cell surface and these were characterised using an N-terminomics pipeline. Recombinant MpnEf-Tu bound strongly to a diverse range of host molecules, and when bound to plasminogen, was able to convert plasminogen to plasmin in the presence of plasminogen activators. Fragments of Ef-Tu retain binding capabilities to host proteins. Bioinformatics and structural modelling studies indicate that the accumulation of positively charged amino acids in short linear motifs (SLiMs), and protein processing promote multifunctional behaviour. Codon bias engendered by an A + T rich genome may influence how positively-charged residues accumulate in SLiMs

How Strong a Kick Should be to Topple Northeastern's Tumbling Robot?

Rough terrain locomotion has remained one of the most challenging mobility questions. In 2022, NASA's Innovative Advanced Concepts (NIAC) Program invited US academic institutions to participate NASA's Breakthrough, Innovative \& Game-changing (BIG) Idea competition by proposing novel mobility systems that can negotiate extremely rough terrain, lunar bumpy craters. In this competition, Northeastern University won NASA's top Artemis Award award by proposing an articulated robot tumbler called COBRA (Crater Observing Bio-inspired Rolling Articulator). This report briefly explains the underlying principles that made COBRA successful in competing with other concepts ranging from cable-driven to multi-legged designs from six other participating US institutions

Heterozygous Variants in KMT2E Cause a Spectrum of Neurodevelopmental Disorders and Epilepsy.

We delineate a KMT2E-related neurodevelopmental disorder on the basis of 38 individuals in 36 families. This study includes 31 distinct heterozygous variants in KMT2E (28 ascertained from Matchmaker Exchange and three previously reported), and four individuals with chromosome 7q22.2-22.23 microdeletions encompassing KMT2E (one previously reported). Almost all variants occurred de novo, and most were truncating. Most affected individuals with protein-truncating variants presented with mild intellectual disability. One-quarter of individuals met criteria for autism. Additional common features include macrocephaly, hypotonia, functional gastrointestinal abnormalities, and a subtle facial gestalt. Epilepsy was present in about one-fifth of individuals with truncating variants and was responsive to treatment with anti-epileptic medications in almost all. More than 70% of the individuals were male, and expressivity was variable by sex; epilepsy was more common in females and autism more common in males. The four individuals with microdeletions encompassing KMT2E generally presented similarly to those with truncating variants, but the degree of developmental delay was greater. The group of four individuals with missense variants in KMT2E presented with the most severe developmental delays. Epilepsy was present in all individuals with missense variants, often manifesting as treatment-resistant infantile epileptic encephalopathy. Microcephaly was also common in this group. Haploinsufficiency versus gain-of-function or dominant-negative effects specific to these missense variants in KMT2E might explain this divergence in phenotype, but requires independent validation. Disruptive variants in KMT2E are an under-recognized cause of neurodevelopmental abnormalities