bluuebunny/crossref_metadata_2025_split huggingface dataset:
Rule-Elimination Theorems, ExtenDD. Coming to Terms: Proof Theory Extended to Definite Descriptions and other Terms
Authors: Roy Sayantan , Indrzejczak Andrzej 
Published: September 2024

Rule-Elimination TheoremsCut-elimination theorems constitute one of the most important
classes of theorems of proof theory. Since Gentzen’s proof of the
cut-elimination theorem for the system LK, several other proofs have been proposed. Even though the techniques of these proofs can be modified to sequent systems other than LK, they are essentially of a very particular nature; each of them describes an algorithm to transform a given proof to a cut-free proof. However, due to its reliance on heavy syntactic arguments and case distinctions, such an algorithm makes the fundamental structure of the argument rather opaque . We, therefore, consider rules abstractly, within the framework of logical structures familiar from universal logic and aim to clarify the
essence of the so-called “elimination theorems”. To do this, we first give a non-algorithmic proof of the cut-elimination theorem for the propositional fragment of LK. From this proof, we abstract the essential features of the argument and define something called normal sequent structures relative to a particular rule. We then prove a version of the rule-elimination theorem for these. Abstracting even more, we define abstract sequent structures and show that for these structures, the corresponding version of the rule-elimination theorem has a converse as well.
METODE KOMUNIKASI DAKWAH GURU AGAMA PADA SISWA DISABILITAS DI SMPN LUAR BIASA KABUPATEN MUSI RAWAS
Authors: Haq Zainul , Putri Depi , Artiyanto Artiyanto 
Published: September 2024

Berdakwah adalah syi’ar yang disampaikan oleh mubaligh atau Da’i yang mana hal tersebut selalu disampaikan atau tersampaikanya kepada masyarakat tanpa menyandang disabilitas, tetapi bagaimana kemudian kalau Pendakwah menyampaikan dakwah terhadap kaum disabilitas, karna Idealnya kaum disabilitas menginginkan hidup layaknya orang normal yang selalu mendapatkan asumsi tentang apa yang di sampaikan pendakwah.. Tujuan Penelitian ini untuk mengkaji metode komunikasi dakwah guru agama pada siswa disabilitas di SMP Luar Biasa Musi Rawas dan Apa saja faktor pendukung dan penghambat metode komunikasi dakwah guru agama pada siswa disabilitas di SMP Luar Biasa Musi Rawas. Adapun metode yang digunakan adalah deskriptif kualitatif, dengan menggunakan teknik pengumpulan data berupa observasi, wawancara dan dokumentasi. Hasil penelitian menunjukan bahwa metode komunikasi dan materi yang disampaikan pada Tunarungu selain penyampaian secara lisan, Guru juga mengajarkan pelajaran Fiqih dalam bentuk praktek, seperti praktek wudhu dan shalat, kegiatan praktek seperti ini akan diwajibkan oleh seluruh murid dan berlangsung terus menerus agar murid dapat menghafal gerakan-gerakan berwudhu dan shalat dengan tujuan murid dapat menerapkan di rumah dan di lingkungan masyarakat. Di SMP Luar Biasa Musi Rawas ini murid di berikan pembelajaran Agama Islam sejak awal masuk sekolah dari kelas VII sampai kelas IX SMP.
The Impact of Extracurricular Tutoring on the English Achievement of Junior High School Students
Authors: Chen Jiaying 
Published: September 2024

This paper employs quantitative research to examine the potential effects of English extracurricular tutoring on the academic achievement of secondary school pupils. The data utilized are sourced from the China Education Tracker 2013-2014, maintained by the China Centre for Data Surveys and Data (CEPS) at Renmin University of China. The analysis involved controlling variables to examine the impact of various influencing factors. These factors encompass the familial background of students, their economic standing, and the amount of time they dedicate to self-study. In summary, extracurricular tutoring has a beneficial effect on student accomplishment. Specifically, students who engage in extracurricular tutoring are more likely to attain superior academic outcomes compared to their peers who do not participate in such activities. Extracurricular tutoring has been a subject of intense controversy for a long time. The necessity of participating in extracurricular tutoring is constantly questioned, including the specific subjects covered and the level of student involvement.
خطة مقترحة لتحسين مستوى المناخ التنظيمي بمدرسة التقى للتعليم الأساسي (1-4) من وجهة نظر الهيئة التعليمية
Authors: السعيدي كريمة بنت سعيد بن محمد 
Published: September 2024

هدفت هذه الدراسة إلى بناء خطة تحسين مقترحة واختبار فاعليتها في مستوى المناخ التنظيمي بمدرسة التقى للتعليم الأساسي من خلال الإجابة على السؤالين الآتيين".
1-	ما خطة التحسين المقترحة لقياس مستوى المناخ التنظيمي بمدرسة التقى للتعليم الأساسي (1-4)؟
2-	ما أثر خطة التحسين المقترحة في مستوى المناخ التنظيمي بمدرسة التقى للتعليم الأساسي (1-4)؟
وللإجابة عن هذين السؤالين أعدت الباحثة خطة تحسين مقترحة، وتطبيق استبانة قياس مستوى المناخ التنظيمي، وقد طُبقت الاستبانة على مجموعتي الدراسة بعد تنفيذ خطة التحسين المقترحة.
وكشفت نتائج الدراسة عن وجود فرق دال إحصائيا بين متوسطي استجابات المجموعتين التجريبية والضابطة في استبانة قياس مستوى المناخ التنظيمي لصالح المجموعة التجريبية تُعزى لخطة التحسين المقترحة، وفي ضوء النتيجة قدمت الدراسة عددا من التوصيات أهمها: الاستمرار في خطة التحسين وتطويرها وتنويع إجراءاتها لبناء مناخ تنظيمي إيجابي، وإشراك أفراد المؤسسة في بناء المناخ التنظيمي الإيجابي. واقترحت إجراء دراسات منها: فاعلية تنفيذ برامج إنمائية مقترحة في مستوى المناخ التنظيمي في مدارس التعليم الأساسي.
Integración de la tecnología en ambientes educativos un impulso para enriquecer el proceso de aprendizaje
Authors: Scotland Ortiz Rocío del Carmen , Asqui Luna Jessica Elizabeth , Quishpi Espinel Laura Mercedes 
Published: September 2024

Introducción: Los sistemas educativos de todo el mundo en la actualidad se enfrentan al desafío de utilizar las Tecnologías de la Información y la Comunicación para proveer a sus estudiantes con las herramientas y conocimientos necesarios que se requieren en su aprendizaje.

Desarrollo: El desarrollo aborda todo lo relacionado con la integración de las tecnología en los diferentes ambientes educativos que permite enriquecer dicho proceso de enseñanza Además, se aborda sobre el papel de la educación virtual y el rol que lleva el docente, las ventajas y desventaja del uso de las tics la educación, el uso de la inteligencia artificial en la educación se pone ejemplos de posibilidades educativas del ciberespacio en la labor educativa: Llegando a la conclusión con las futuras líneas de investigación con respecto a la temática abordada en el artículo.

Conclusiones: La tecnología en ambientes educativos de acceso a la información y conectividad son elementos que requieren ser incorporados de manera pedagógica a dicho proceso como dispositivos mediadores del aprendizaje, pudiendo ser planificado y aplicados eficientemente en el aula, promoviendo interacción positiva entre docentes y estudiantes en un clima de reflexión y autonomía.
Adaptive mesh extended cubic B-spline method for singularly perturbed delay Sobolev problems
Authors: Cheru Shegaye Lema , Duressa Gemechis File , Mekonnen Tariku Birabasa 
Published: September 2024

The purpose of this paper is to develop a robust numerical scheme for a class of singularly perturbed delay Sobolev (pseudo-parabolic) problems that have wide application in various branches of mathematical physics and fluid mechanics.For the small perturbation parameter, the standard numerical schemes for the solution of these problems fail to resolve the boundary layer(s) and the oscillations occur near the boundary layer. Thus, in this paper to resolve the boundary layer(s), im-plicit Euler scheme for the time derivatives on uniform mesh and extended B-spline basis functions consisting of free parameter λ are presented for spatial variable on Bakhvalov type mesh. The stability and uniform convergence analyisis of the proposed method are established. The error estimation of the developed method is shown to be firts order accurate in time and second order accurate in space. Numerical exprementation is carried out to validate the applicability of the developednumerical method. The numerical results reveals that the computational result is in agreement with the theoretical estimations
Prevalência de sintomas neurológicos em pacientes críticos com COVID 19 internados na Unidade de Terapia Intensiva do Hospital São José (Jaraguá do Sul/SC)
Authors: Kaefer Klaus Oscar , Fraccanabbia Daniele , Brito Leonard Rocha Fonseca de , Silva Rosana Mara da 
Published: September 2024

Introdução: O COVID 19 tem como característica causar uma pneumonia aguda, sendo que as manifestações neurológicas recaem em três categorias: referidas do sistema nervoso central; sintomas do sistema nervoso periférico e manifestações de lesões musculares esqueléticas. Objetivo: determinar a prevalência de manifestações neurológicas em casos graves hospitalizados com COVID-19 junto a Unidade de Terapia Intensiva (UTI) do Hospital São José (Jaraguá do Sul) e relatar a relação entre o desfecho e as comorbidades. Metodologia: Trata-se de um estudo transversal, retrospectivo. Foram coletadas informações do sistema de prontuários eletrônicos dos pacientes infectados por COVID-19, internados na Unidade de Terapia Intensiva do Hospital São José (Jaraguá do Sul) no período de março a dezembro de 2020. Utilizou-se a estatística descritiva e inferencial (teste ANOVA e Tukey), e para a verificação da associação das comorbidades e desfechos utilizou-se Teste de Correlação de Pearson (p < 0,05), utilizando o software SPSS 21. Resultados: No estudo os dados demonstraram mialgia (25,85%) e astenia (11,24%) (manifestações de lesões musculares esqueléticas); em relação as manifestações do sistema nervoso central encontrou-se cefaleia (19,10%) e tontura (3,37%); em relação as manifestações do sistema nervoso periférico encontrou-se anosmia (7,86%); ageusia (5,61%); alteração de consciência (3,37%) e dores em membros inferiores (MMII) 3,37%. Em relação as morbidades e desfecho, a maior prevalência de morbidades foi a HAS (ambos os sexos e desfechos). Conclusão: Compreender as manifestações neurológicas do COVID permite observar a evolução do paciente e possíveis sequelas que essa patologia pode causar ao paciente.
FRUITING BEHAVIOR AND FRUIT QUALITY OF LEADING MANGO CULTIVARS GROWN IN SOUTH PUNJAB-PAKISTAN
Authors: Abdul Ghaffar Grewal  , Zafar Muhammad Shahzad , Muhammad Ahsan Qureshi  , Asifa Hameed  , Samad Raza  , Syed Inam Ullah Shah Bukhari  , Muhammad Mubashir  
Published: September 2024

Mango is an important and exportable fruit crop of Pakistan However, it is being cultivated in Indo-Pakistan region from centuries, yet farmers face decline in mango production due to lack of available knowledge about fruit bearing habits of mango trees. In order to provide this basic information, a three year study plan was carried out on 10 elite varieties of mangoes from 2018-2020 in Punjab Pakistan. Data was statistically analyzed through R statistical programing using ANOVA analysis. The data depicts that cultivar Dusehri, Late Retaul, Sansation and Sufaid Chaunsa took maximum flowering on old shoots while Azeem Chaunsa, Kala Chaunsa, Langra, Sindhri and Anwar Retaul on new shoots. Fruit bearing on old shoots was significantly higher in Dusehri (75.80), while minimum on Azeem Chaunsa (0.0). The fruit bearing on new shoots was significantly higher on Anwar Retaul (99.73), while it was minimum on Dusehri (25.06). Significantly higher fruit weight was observed in Sufaid Chaunsa and total soluble solids were higher in Kala Chaunsa while minimum were observed in Sansation (15.93). Acidity was non-significantly different among the cultivars. Hence, it was concluded that Dusehri, Late Retaul, Sansation and Sufaid Chaunsa took maximum flowering on old shoots while Azeem Chaunsa, Kala Chaunsa, Langra, Sindhri and Anwar Retaul on new shoots. Our studies provide understanding of fruiting behavior which helps in devising mango crop’s varietal-specific management system and paves the way for mango’s quality and yield enhancement.
Eksplorasi Media Edukasi untuk Peningkatan Kemampuan Bahasa Anak Usia Dini: Studi Kasus Kualitatif di Desa Dayak Pampang
Authors: Fajriani Kartika , Adinda Adinda , Liana Heppy 
Published: September 2024

Pendidik sering memanfaatkan berbagai jenis media edukasi untuk mendukung proses pengajaran dan meningkatkan efektivitas kemampuan bahasa anak usia dini di lembaga Taman Kanak-Kanak (TK). Penelitian ini bertujuan untuk mengidentifikasi media edukasi yang digunakan oleh pendidik serta menganalisis kendala yang dialami oleh peserta didik dalam memanfaatkan media tersebut. Teknik pengumpulan data dilakukan melalui observasi, wawancara, dan angket. Observasi dan wawancara dilakukan dengan pendidik untuk mengetahui jenis-jenis media edukasi yang digunakan dalam subelemen anak mengenali dan memahami berbagai informasi, mengomunikasikan perasaan dan pikiran secara lisan, tulisan, atau menggunakan berbagai media serta membangun percakapan. Sementara itu, angket disebarkan kepada 6 guru untuk mengidentifikasi kendala yang mereka hadapi dalam menggunakan media tersebut. Data dikumpulkan dari 2 TK di Desa Dayak Pampang. Hasil penelitian menunjukkan bahwa media edukasi yang digunakan oleh guru terdiri dari buku cerita (32%), video edukasi (14%), Flashcard (8%), boneka tangan (8%), gambar (16%), lagu (12%), LKPD (2%) dan bermain peran (8%). Penggunaan beragam media edukasi ini memberikan pengalaman pembelajaran yang lebih kaya dan menarik anak. Namun, anak menghadapi beberapa kendala kurangnya ketuntasan belajar anak dan kurangnya motivasi anak berbahasa karena pembelajaran masih berorientasi pada buku teks. Hal ini menyebabkan pendidik lebih banyak menggunakan metode penugasan, ceramah, dan LKPD, sehingga progresivitas pemahaman mengenal huruf, membaca huruf dan menulis menjadi kurang optimal dalam menggunakan media edukasi tersebut, seperti keterbatasan aksesibilitas, kurangnya keterampilan teknologi, minimnya dukungan teknis, gangguan distraksi, serta kesulitan dalam beradaptasi dengan media pembelajaran yang tersedia.
Penanaman Nilai-Nilai Moderasi Beragama dalam Pembelajaran
Authors: Sunardi Sunardi , Jamiludin Jamiludin 
Published: September 2024

Moderasi beragama menjadi semakin relevan di tengah pluralitas masyarakat Indonesia yang beragam. Pendidikan di tingkat sekolah menengah menjadi salah satu sarana strategis untuk menanamkan nilai-nilai moderasi beragama guna membentuk generasi yang toleran dan menghargai perbedaan. Penelitian ini bertujuan untuk mengevaluasi bagaimana nilai-nilai moderasi beragama diajarkan dan diterima oleh siswa, serta dampaknya terhadap sikap dan perilaku mereka dalam kehidupan sehari-hari. Penelitian ini menggunakan pendekatan kualitatif dengan metode studi kasus. Pengumpulan data dilakukan melalui observasi, wawancara mendalam dengan guru dan siswa, serta analisis dokumen kurikulum dan materi pembelajaran. Hasil penelitian menunjukkan bahwa nilai-nilai moderasi beragama telah diintegrasikan ke dalam beberapa mata pelajaran, terutama Pendidikan Agama Islam. Siswa menunjukkan pemahaman yang baik mengenai pentingnya moderasi dalam beragama, yang tercermin dalam sikap toleransi mereka terhadap perbedaan agama dan budaya. Namun, tantangan seperti keterbatasan waktu dan sumber daya menjadi kendala dalam penerapan yang lebih luas. Kesimpulan, penanaman nilai-nilai moderasi beragama di SMA Negeri Bareng Jombang cukup efektif, namun memerlukan upaya berkelanjutan dan dukungan dari seluruh elemen sekolah untuk memperkuat implementasinya.
Estudio observacional de cambio de producto de referencia de Etanercept a biosimilar en una población de pacientes con artritis reumatoidea de un hospital de tercer nivel
Authors: Castillo Jurado Mayra , Almeida Guillén Ruth , Vélez Mejía Lissette , Triana Santillán José , Alcívar Guerra Ignacio , Florencia Peña Roberto , Maldonado Romero Liudmila 
Published: September 2024

Objetivo.- El objetivo primario fue evaluar la actividad de la enfermedad en una población de pacientes con diagnóstico de Artritis Reumatoide (AR) en tratamiento biológico con Etanercept producto de referencia (ETN-PR) que realizaron cambio a Etanercept biosimilar (ETN-BS). El objetivo secundario fue evaluar el uso de corticoides y eventos adversos (EA) antes y después del cambio con el biosimilar (BS).
Materiales y métodos.- Se realizó un estudio longitudinal, retrospectivo en pacientes con diagnóstico de AR según criterios de clasificación del 2010 del American College of Rheumatology (ACR) que seguían controles en la consulta externa de un hospital de tercer nivel. Se revisó las historias clínicas en el sistema informático del hospital. La actividad de la enfermedad se evaluó por medio del marcador serológico PCR (proteína C reactiva) medido en mg/dl (valor de referencia ≤5) y el Clinical Disease Activity Index (CDAI). Ambos fueron recopilados 1 mes previo y 6 meses después del cambio por el BS. También se recabó información sobre el uso de fármacos modificadores de enfermedad (FARME), corticoides y AINES, 1 mes previo y 6 meses después del cambio por el BS y seropositividad para anticuerpos contra factor reumatoideo y péptido citrulinado.
Conclusión.– Los pacientes con AR, mantuvieron la remisión y baja actividad de la enfermedad durante el cambio de ETN-PR a ETN-BS. No hubo aumento en la dosis de corticoides y no se presentaron efectos adversos durante el uso del BS.
Relación entre la concentración sérica de vitamina D y la actividad de la artritis reumatoide
Authors: Santo Cepeda Kristopher , Triana Santillán José , Astudillo Madelin 
Published: September 2024

Objetivo: Determinar los niveles de vitamina D medidos en suero sanguíneo y su asociación con el grado actividad de la artritis reumatoide.
Metodología: Estudio descriptivo, retrospectivo y transversal, que incluyo a 62 pacientes con diagnóstico de Artritis reumatoidea mayores de 18 años según criterios de colegio Americano de Reumatología (ACR) y la liga europea contra el reumatismo (EULAR) publicados en el 2010. Los datos de niveles séricos 25-hidroxivitamina D, la actividad de la enfermedad [medida con el 28-joint Desease Activity Score (DAS28)] y la proteína C reactiva (PCR), se recogieron de las historias clínicas del área de reumatología del Hospital Teodoro Maldonado Carpo.
Para establecer relación entre los niveles séricos y los índices de actividad de la enfermedad (DAS28-PCR) se empleó el coeficiente de correlación de Spearman.
Resultados: El total de población estudiada fue de 62 pacientes con AR de los cuales 91,9 % eran mujeres y la edad media del grupo fue de 56,4 ± (9,2) años. La media de años de evolución de la enfermedad fue de 8,6 ± (3,9). La media de concentración de 25(OH)D en la determinación sérica fue de 27,0 ± 8,0ng/ml. El 41,9% presento niveles séricos de vitamina D suficientes, el 41,9% niveles insuficientes y el 16,2% en valores deficientes. De acuerdo con la actividad de la enfermedad por DAS28-PCR el 6,4% se encontraba en remisión, el 32,2% presentó leve actividad, el 37,1% actividad moderada y el 24,2% alta actividad.
Current Status of Conservation and Exploitation of Unique Values of Typical Folk Art Forms in Tourism Development in Ethnic Minorities in Ha Giang Province, Vietnam
Authors: Vien VU Van , Tam NGUYEN Thi , Son QUANG Van , Huyen DO Thi Thu 
Published: September 2024

Ha Giang is a province in the northeastern region of Vietnam, adjacent to the border with China. The 21 ethnic groups living alternately created Ha Giang with a vibrant and diverse cultural picture. Implementing the strategy of taking traditional culture as a driving force for tourism development and promoting tourism to preserve culture, over the past time, Ha Giang province has been quite successful in bringing tangible and intangible cultural values to the world, in which there are types of folk art and literature into the model of community-based tourism to serve tourists. This article presents the current status of exploitation, conservation, and unique values of folk art and literature on ethnic minorities in the socio-economic development of Ha Giang province. This article also evaluates the achievements and limitations of several policies that have been implemented in the past. Hence, the solutions proposed to develop policies to exploit and preserve the values of natural resources include folk art and literature of the ethnic minorities in Ha Giang Province appropriately and effectively, contributing to the province's socio-economic development in the current context.
Factors Influencing The Implementation Of Pregnant Women's Exercise In The Work Area Of Medan Johor Health Center, Medan City, Medan City In 2024
Authors: Lenny Sepriani Br Silalahi  
Published: September 2024

Pregnancy exercise is an effort to improve the health of mothers and babies during pregnancy. Maternal participation in pregnancy exercise in Indonesia is still low, including in Medan City, of 168 pregnant women, 140 of them did not take part in pregnancy exercise. Survey results at the Medan Johor Community Health Center showed that pregnant women did not participate in pregnancy exercise due to lack of knowledge and lack of motivation (60%). The aim of this research is to identify factors that influence the implementation of pregnancy exercise in the Medan Johor Community Health Center Work Area, Medan City in 2024. This type of research is an analytical survey using an approach cross-sectional. The population of this study was all 135 pregnant women aged 22 weeks and over. The sampling technique uses the method proportional samplingas many as 101 people. Data analysis uses univariate and bivariate analysis with tests chi square and multivariate with logistic regression. The results of research using logistic regression are known valuesp-value Logistic regression of educational variables 0.808>0.05, knowledge 0.021<0.05, family support 0.000<0.05 and motivation 0.000<0.05. It is recommended that pregnant women actively participate in outreach programs to increase their knowledge and carry out pregnancy checks and participate in pregnancy exercises.
Deteksi Dini Masalah Kesehatan Jiwa di Masyarakat Desa Paku Alam Kecamatan Sungai Tabuk
Authors: Rahman Subhannur , Al Kahfi Rina , Herawati Anita , Mahdiyah Dede , Vidiasari Darsono Putri , F. Talang Jessica 
Published: September 2024

Dampak dari paska bencana banjir yang masih dirasakan oleh masyarakat Desa Paku Alam Kecamatan Sungai Tabuk masih dirasakan sampai dengan saat ini. Beberapa permasalahan kesehatan jiwa yang ditemukan dari hasil pemeriksaan deteksi dini kesehatan jiwa (SRQ 29) ditemukan sebagian besar masyarakat setempat mengalami masalah kesehatan jiwa seperti kecemasan dan depresi, sebagian kecil ada yang mengalami gejala psikotik akut dan PTSD. Pihak Desa masih belum menemukan cara ataupun solusi yang tepat yang bisa mereka gunakan untuk mengendalikan dan mencegahan masalah kesehatan jiwa yang muncul paska bencana banjir. Rasa ketakutan dan kecemasan terkadang sering muncul dari setiap warganya. Sehingga mereka merasa perlu adanya upaya yang tepat yang bisa dilakukan antara Pihak Penyedia Bantuan dan Aparat Desa Paku Alam untuk bisa bersama-sama menanggulangi permasalahan jiwa yang mereka tidak sadari. Deteksi dini kesehatan jiwa pada individu yang beresiko penting untuk dilakukan dalam rangka meningkatkan derajat kesehatan mental individu dan upaya pencegahan permasalahan kesehatan jiwa sedini mungkin. Kegiatan ini dilaksanakan melalui Fokus Group Discussion (FGD) dengan memberikan edukasi, deteksi dini dan simulasi pencegahan masalahan kesehatan jiwa pen kepada Masyarakat Desa Paku Alam Kecamatan Sungai Tabuk. Jumlah Masyarakat yang dijadikan sasaran kegiatan ini berjumlah 30 orang. Secara keseluruhan hasil dari kegiatan ini didapatkan masyarakat Desa Paku Alam mengerti tentang tata cara pencegahan masalah kesehatan jiwa.