bluuebunny/crossref_metadata_2025 huggingface dataset:
Hardy-Littlewood-Sobolev Theorem for Bourgain-Morrey Spaces and Approximation
Authors: Diarra Nouffou
Published: May 2024

In this paper, we establish an extension of the Hardy-Littlewood-Sobolev theorem to the setting of the Bourgain-Morrey space Mαq,p(Rd) (1 ≤ q, p, α ≤ ∞), which theory goes back to Bourgain in 1991. We also prove that Mα q,p(R d ) is included in the closure of the Lebesgue space Lα in the Morrey-type space F(q, p, α), which arises naturally in 2015 in the study of boundedness properties of fractional integral operators. Therefore, we establish in Mαq,p some approximation results by compactly supported and/or regular functions. As an application of these results, we obtain an explicit solution in [Lp(Rd)]d of the equation div F = f whenever f is in Mαq,p, with d ≥ 3, 1 ≤ q ≤ α < d and 1/p = 1/α – 1/d.
Princípios Epistemológicos, Sociopolíticos e Psicopedagógicos do Ensino de Ciências por Investigação
Authors: Morais Rafael Pedroso de , Bego Amadeu Moura
Published: May 2024

A ação educacional é o ato de socialização dos saberes humanos historicamente produzidos. Para que essa ação ocorra de modo organizado, sistemático e consciente, é fundamental que seja planejada para esse fim. Nesse contexto, é possível constatar na literatura acadêmico-científica diversos tipos de planejamento que possuem como principal elemento a metodologia de ensino. Apesar disso, estudos têm demonstrado que o termo metodologia de ensino é polissêmico e que seu ensino em disciplinas pedagógicas ocorre sem critérios consensuais. Diante dessa problemática, faz-se premente uma definição precisa e criteriosa para o elemento metodologia de ensino. O objetivo deste artigo é apresentar uma definição para o termo e um instrumento de caracterização e qualificação de propostas metodológicas para o Ensino de Ciências. Para a consecução desses objetivos, apresentamos uma definição para o elemento metodologia de ensino e propomos um instrumento de análise. Com isso, analisamos a proposta de Ensino de Ciências por Investigação e constatamos que ela abarca os princípios epistemológicos, sociopolíticos e psicopedagógicos e os articulam com uma estratégia técnico-operacional de organização do processo de ensino e aprendizagem. Diante dos dados analisados foi possível inferir que o Ensino de Ciências por Investigação é, de fato, uma proposta de metodologia de ensino de Ciências e, ainda, destacamos o potencial do instrumento de análise para contribuir com as problemáticas existentes com relação à temática apresentada.
Simulation model of water-cut oil flows in variable elevation pipelines
Authors: Морецкий Валерий Юрьевич , Жолобов Владимир Васильевич , Салихов Руслан Назирович , Талипов Рустям Фаатович
Published: May 2024

Наличие малого количества воды в перекачиваемой нефти неизбежно приводит к образованию ее скоплений в пониженных зонах профиля трубопровода. Их присутствие и взаимодействие с напорным потоком приводит в том числе к возникновению двухфазных течений и мигрирующих зон с большим водосодержанием. С целью построения замкнутой расчетной модели движения влаги проведена гидродинамическая имитация реальной двухфазной трехскоростной смеси с помощью односкоростной однородной среды с условными физическими характеристиками, зависящими от соотношения фаз. Для описания миграции водных фрагментов, образующихся при разрушении скопления, получена базовая система одноразмерных дифференциальных уравнений, содержащих произвольную функцию двух аргументов. Для иллюстрации процедуры замыкания базовой системы использовано предварительно полученное авторами приближенное частное аналитическое решение задачи о выносе скопления как единого целого, содержащее несколько эмпирических констант. При выборе разностной схемы базовую систему предлагается использовать в форме уравнений газовой динамики с правыми частями, что позволяет учесть двухфазность и применить уже известные алгоритмы численных расчетов газодинамических систем. Изложенный подход может быть применен и к газожидкостным течениям.

The presence of small quantities of water in the pumped oil inevitably leads to water accumulation in low profile sections of pipelines. The presence of water accumulations and their interaction with the pressure flow results, inter alia, in development of two-phase flows and migratory zones with high water content. In order to build a complete computational model of moisture movement, a hydrodynamic simulation of the actual two-phase three-speed mixture was made using a one-velocity homogeneous medium with conditional physical properties depending on the correlation of phases. To describe the migration of water fragments formed during destruction of the accumulation, a basic system of one-dimensional differential equations, containing an arbitrary function of two arguments, was obtained. To illustrate the procedure of the basic system closure, the authors applied a preliminary approximate partial analytical solution obtained in regard to the problem of carrying over a water accumulation as a whole, which included several empirical constants. When choosing a difference scheme, the authors propose to use the basic system in the form of gas dynamics equations with right-hand parts to take into account the two-phase nature and to apply already known algorithms for numerical calculations of gasdynamic systems. The above approach may be applied to the gas-liquid flows.
Alternate Semantics of the Guarded Conditional
Authors: Dershowitz Nachum
Published: May 2024

The various possible semantics of Dijkstra’s guarded commands are elucidated by means of a new graph-based low-level, generic specification language designed for asynchronous nondeterministic algorithms. The graphs incorporate vertices for actions and edges indicating control flow alongside edges for data flow. This formalism allows one to specify, not just input-output behavior nor only what actions take place, but also precisely how often and in what order they transpire.
A Generic Deskolemization Strategy
Authors: Rosain Johann , Bonichon Richard , Cailler Julie , Hermant Olivier
Published: May 2024

In this paper, we present a general strategy that enables the translation of tableau proofs using different Skolemization rules into machine-checkable proofs. It is part of a framework that enables (i) instantiation of the strategy into algorithms for different sets of tableau rules (e.g., different logics) and (ii) easy soundness proof which relies on the local extensibility of user-defined rules. Furthermore, we propose an instantiation of this strategy for first-order tableaux that handles notably pre-inner Skolemization rules, which is, as far as the authors know, the first one in the literature. This deskolemization strategy has been implemented in the Goéland [17] automated theorem prover, enabling an export of its proofs to Coq [8] and Lambdapi [2]. Finally, we have evaluated the algorithm performances for inner and pre-inner Skolemization rules through the certification of proofs from some categories of the TPTP [39] library.
Symbolic Realisation of Epistemic Processes
Authors: Hennicker Rolf , Knapp Alexander , Wirsing Martin
Published: May 2024

Epistemic processes describe the dynamic behaviour of multi-agent systems driven by the knowl- edge of agents, which perform epistemic actions that may lead to knowledge updates. Executing epistemic processes directly on epistemic states, given in the traditional way by pointed Kripke structures, quickly becomes computationally expensive due to the semantic update constructions. Based on an abstraction to formulæ of interest, we introduce a symbolic epistemic state representation and a notion of representable epistemic action with efficient symbolic updates. In contrast to existing work on belief or knowledge bases, our approach can handle epistemic actions modelled by arbitrary action models. We introduce an epistemic process calculus and a propositional dynamic logic for specifying process properties that can be interpreted both on the concrete semantic and the symbolic level. We show that our abstraction technique preserves and reflects behavioural properties of epistemic processes whenever processes are started in a symbolic state that is an abstraction of a semantic epistemic state.
Towards computer-assisted proofs of parametric Andrews-Curtis simplifications, II
Authors: Lisitsa Alexei
Published: May 2024

We present recent developments in the applications of automated theorem proving in the investigation of the Andrews-Curtis conjecture. We demonstrate previously unknown simplifications of groups presentations from a parametric family MSn(w∗) of trivial group presentations for n = 3, 4, 5, 6, 7, 8 (subset of well-known Miller-Schupp family). Based on the human analysis of these simplifications we formulate two conjectures on the structure of simplifications for the infinite family MSn(w∗), n ≥ 3.

This is an extended and updated version of the abstract [11] presented at AITP 2023 conference.
A Natural-style Prover in Theorema Using Sequent Calculus with Unit Propagation
Authors: Jebelean Tudor
Published: May 2024

For tutorial purposes we realized a propositional prover in the Theorema system that works in natural style and is based on sequent calculus with unit propagation.

The version of the sequent calculus that we use is a reductionist one: at each step a formula is decomposed according to a fixed rule attached to its main logical connective. Optionally the prover may use unit propagation. Unit propagation in sequent calculus is a novel inference method introduced by the author that consists in propagating literals that occur either as antecedents or postcedents in the sequent: all occurrences of the corresponding variable in any of the other formulae are replaced by the appropriate truth value and the respective formula is simplified by rewriting.

By natural style we understand a style similar to human activity. This applies to syntax of formulae, to inference steps, and to proof presentation. Although based on sequent calculus, the prover does not produce proofs as sequent proof trees, but as natural–style narratives.

The purpose of the tool is tutorial for the understanding of natural–style proving, of sequent calculus, and of the implementation in the Theorema system as a set of rewrite rules for the inferences and a set of accompanying patterns for the explanatory text produced by the prover.
Efficient Simulation for Hardware Model Checking
Authors: Tafese Joseph , Gurfinkel Arie
Published: May 2024

Simulation is an important aspect of model checking, serving as an invaluable pre- processing step that can quickly generate a set of reachable states. This is evident in model checking tools at the Hardware Model Checking Competitions, where Btor2 is used to represent verification problems. Recently, Btor2MLIR was introduced as a novel format for representing safety and correctness constraints for hardware circuits. It provides an executable semantics for circuits represented in Btor2 by producing an equivalent program in LLVM-IR. One challenge in simulating Btor2 circuits is the use of persistent (i.e., immutable) arrays to represent memory. Persistent arrays work well for symbolic reasoning in Smt but they require copy-on-write semantics when being simulated natively. We provide an algorithm for converting persistent arrays to transient (i.e., mutable) arrays with efficient native execution. This approach is implemented in Btor2MLIR, which opens the door for rapid prototyping, dynamic verification techniques and random testing using established tool chains such as LibFuzzer and KLEE. Our evaluation shows that our approach, when compared with BtorSim, has a speedup of three orders of magnitude when safety properties are trivial, and at least one order of magnitude when constraints are disabled.
Verifying SQL queries using theories of tables and relations
Authors: Mohamed Mudathir Mahgoub Yahia , Reynolds Andrew , Tinelli Cesare , Barrett Clark
Published: May 2024

We present a number of first- and second-order extensions to SMT theories specifically aimed at representing and analyzing SQL queries with join, projection, and selection op- erations. We support reasoning about SQL queries with either bag or set semantics for database tables. We provide the former via an extension of a theory of finite bags and the latter via an extension of the theory of finite relations. Furthermore, we add the ability to reason about tables with null values by introducing a theory of nullable sorts based on an extension of the theory of algebraic datatypes. We implemented solvers for these theories in the SMT solver cvc5 and evaluated them on a set of benchmarks derived from public sets of SQL equivalence problems.
IDENTIFICATION OF POTENTIAL-GENERATING IONS IN THE NUTRIENT SOLUTION OF BIOELECTROCHEMICAL SYSTEM
Authors: Kuleshova T. , Zhelnacheva P. , Gasieva Z. , Galushko A. , Panova G.
Published: May 2024

The work considers the effect of the nutrient solution composition on the potential difference formation in the root environment. Identification of possible potential-generating ions in bioelectrochemical systems based on electactive plant and microbial interactions was carried out. The electropotential difference in the root environment was measured when growing lettuce with a nutrient solution with a double increased content of magnesium sulfate, potassium chloride and potassium dihydortophosphate. Changes in the electrical conductivity of nutrient solutions in the process of lettuce growing and the differences in the pH and concentrations of calcium, potassium, ammonium, nitrate ions in the upper and lower electrode areas of bioelectrochemical systems are analyzed. An increase in the concentration of potassium chloride and potassium dihydortophosphate in a nutrient solution led to a decrease in both biomass and the average voltage value to 221 mV and 188 mV, respectively, relatively characteristic of the control option with a classic solution of the potential difference 213 mV. The doubling of the magnesium sulfate concentration, on the contrary, caused an increase in the potential difference to an average value of 263 mV and an increase in biomass by more than 30% relative to control. Probably, magnesium sulfate plays a potential role in the formation of electogenic reactions in the root environment.
FREE RADICALS. FEATURES OF CHEMILUMINESCENT ACTIVITY OF CYTOCHROME C CATALYST IN COMPLEX WITH CARDIOLIPIN
Authors: Levchenko I. , Vladimirov G. , Volodyaev I. , Vladimirov Yu.
Published: May 2024

Using the luminol chemiluminescence method for the lipid-membrane environment, which is condensed. Both lipid peroxidation processes, points of enzymatic activity, quantum yields, structure, and functions of the natural dye-activated fluorescent probe coumarin C-334 chemiluminescence under the action of a heterogeneous catalyst complex of cytochrome C with cardiolipin in aqueous medium and in a nonpolar environment were analyzed , and processes of lipid peroxidation, points of enzymatic activity, quantum yields, structure, functions of chemiluminescence activated by natural dye fluorescent probe coumarin C-525 under the action of heterogeneous catalyst of cytochrome C complex with cardiolipin in aqueous medium and in nonpolar environment. It is shown that: 1) the enzymatic activity points and quantum yields were significantly higher in the presence of the physical activator fluorescent probe natural dye coumarin C-525 than in the case of its own non-activated luminescence or in the case of the natural dye physical activator fluorescent probe coumarin C-334; 2) an important indicator was that the enzymatic activity depends not only on the concentration of cytochrome C in the heterogeneous catalyst of the complex of cytochrome C with cardiolipin, but also on the quantitative ratio determined by a directly proportional relationship in percent between its native form and partially denatured forms.
REGULATION OF THE REDOX-DEPENDENT MECHANISM OF ERYTHROCYTE ADAPTATION BY CERIUM DIOXIDE NANOPARTICLES
Authors: Voinarovski V. , Martinovich G.
Published: May 2024

In the present work, were analyzed the redox activity of cerium dioxide (CDC) nanoparticles of various sizes and studied their ability to regulate the adaptive mechanisms of erythrocytes in the presence of hydrogen peroxide. Cerium dioxide nanoparticles of various sizes were synthesized by homogeneous precipitation in the presence of hexamethylenetetramine at a temperature of 60°C and various synthesis times. The redox properties of cerium dioxide nanoparticles were evaluated spectrofluorimetrically based on the change in the rate of oxidation of 2',7'-dichlorodihydrofluorescein with hydrogen peroxide. It was shown that of the three sizes studied, the largest nanoparticles have the highest stability and aggregation resistance. Using the method of scanning electron microscopy, it was found that these nanoparticles have a predominantly spherical shape with an average diameter of 50 nm and do not contain impurity atoms. As a result of studies in cell-free solutions, it was found that NDC exhibit antioxidant properties and reduce the rate of oxidation of 2',7'-dichlorodihydrofluorescein by hydrogen peroxide. Preliminary incubation of erythrocytes with hydrogen peroxide at a concentration of 100–300 μM makes it possible to reduce the proportion of hemolyzed cells upon destruction by silver nitrate. The use of cerium dioxide nanoparticles leads to a potentiation of the protective effect and a shift in the hormesis region towards lower concentrations of hydrogen peroxide.
Percepciones de anestesiólogos sobre prevención y tratamiento del temblor postoperatorio - Perceptions of anesthesiologists on prevention and treatment of postoperative tremor
Authors: BERMEJO ALVAREZ ANGELICA
Published: May 2024

Introducción: El temblor o escalofrío constituye una manifestación clínica muy frecuente en el postoperatorio del paciente intervenido bajo anestesia general o anestesia raquídea, si bien la hipotermia es el principal factor de riesgo para su presentación, también se mencionan otros factores como el uso de opioides, duración de la cirugía, administración de líquidos intravenosos a temperatura ambiente, entre otros.
Objetivo: Establecer la correlación de conocimientos con las actitudes y prácticas de anestesiólogos sobre prevención y tratamiento del temblor postoperatorio.
Material y métodos: Estudio observacional analítico de correlación; muestra de 35 profesionales de los principales hospitales de Cuenca, mediante la aplicación de un cuestionario elaborado por la autora, se recopilaron los conocimientos, actitudes y prácticas, se utilizó el paquete estadístico SPSS V 25, la investigación contó con la autorización de viabilidad ética del COIF de la Facultad de Ciencias Médicas de la UCE.
Resultados: La muestra estuvo caracterizada por ser de sexo femenino (54,3%); el grupo de edad más frecuente fue 40,89 años, el 31,4% cuenta con experiencia laboral mayor de 10 años; la mayor parte de profesionales labora en el Hospital del Seguro Social, 57,1%. En su mayoría, 60%, posee conocimientos regulares, el 51,4% presentaron una calificación regular en actitudes y, con respecto a las prácticas, el 77,1% manifestó calificaciones regulares. Hubo una correlación positiva débil (37%) entre los conocimientos con las actitudes (p:0,028), pero no entre los conocimientos con las prácticas.
Conclusión: Existe una correlación positiva débil entre los conocimientos con las actitudes y prácticas relacionadas con la prevención y tratamiento del temblor postoperatorio.
Síndrome antifosfolipídico trombótico en una mujer con enfermedad mixta del tejido conectivo. Reporte de caso-Thrombotic antiphospholipid syndrome in a woman with mixed connective tissue disease. Case report
Authors: Falconi-Toro Daniel , Bedón-Galarza Ricardo , Bedoya-Dávila Michelle
Published: May 2024

Introducción: El síndrome de anticuerpos antifosfolípidos es una enfermedad autoinmune sistémica poco frecuente, que produce un estado de hipercoagulabilidad con riesgo de trombosis. Para su diagnóstico se utilizan los criterios ACR/EULAR APS del 2023. Con respecto al tratamiento son los anticoagulantes y antiagregantes plaquetarios los más utilizados.
La enfermedad mixta del tejido conectivo es una enfermedad autoinmunitaria sistémica que presenta la asociación de manifestaciones clínicas de otras entidades autoinmunes. 
Objetivo: Describir la presentación de dos enfermedades sistémicas autoinmunes poco frecuentes en conjunto, con el propósito de contribuir con un enfoque práctico para el diagnóstico y manejo.
Presentación del caso: Se describe una paciente de 37 años que presentó un episodio de tromboembolia pulmonar secundario a síndrome de anticuerpos antifosfolípidos y en los 6 meses previos tuvo síntomas compatibles con enfermedad mixta del tejido conectivo.
Discusión: Este caso revelo la presencia de dos entidades autoinmunes, síndrome de anticuerpos antifosfolípidos y enfermedad mixta del tejido conectivo presentadas en conjunto y cuyo debut de complicaciones fue una tromboembolia pulmonar, encontrándose además presencia de múltiples autoanticuerpos positivos entre estas anticuerpos antifosfolipídicos y anti-U1 snRNP, lo que representa un reto diagnóstico al diferenciar entre otras enfermedades del tejido conectivo como lupus eritematoso sistémico, esclerosis sistémica cutánea, enfermedad mixta del tejido conectivo y artritis reumatoide. La decisión del tratamiento se basó en las características del paciente y su condición clínica al momento del diagnóstico.
Conclusiones: El síndrome de anticuerpos antifosfolipídicos conlleva la presencia de un episodio trombótico, por otro lado, su asociación con una enfermedad mixta del tejido conectivo es poco frecuente y puede aumentar su morbimortalidad.
WETLANDS CONSTRUÍDOS COMO SUMIDOUROS DE CARBONO OU COMO FONTES DE EMISSÃO – UMA REVISÃO
Authors: Oliveira Valença Gabriela , Belli Filho Paulo , Dall’Ago Conejo e Silva Dayane , De Almeida Mohedano Rodrigo
Published: May 2024

Diante do cenário de aquecimento global, diversas pesquisas sobre remoção de carbono como forma de mitigar os efeitos das mudanças climáticas vêm sendo realizadas. O uso de wetlands construídos para tratamento de águas residuais é conhecido, entretanto a quantidade de estudos sobre o sequestro de carbono desse sistema ainda é limitada. Dessa forma, a revisão sistemática e de literatura teve como objetivo expor as características dos wetlands construídos em relação às emissões de Gases do Efeito Estufa. As bases utilizadas foram Scopus, Springer e Google Scholar e os termos selecionados estavam relacionados aos wetlands construídos e aos gases. Concluiu-se que o wetland construído subsuperficial horizontal tem o potencial de se tornar sumidouro de carbono, por conta do carbono retido nas plantas, e pode emitir menos N2O que o WC de fluxo vertical; quanto à emissão de CH4 é importante conhecer a espécie de planta adotada e o tipo de WC por conta da influência nas emissões de metano.
Investigating Thermal Neutron and Gamma Ray Shielding Properties of Al Matrix Gd2O3-and W-Doped Composites Using Monte Carlo Simulations
Authors: Gaylan Yasin , Bozkurt Ahmet
Published: May 2024

This study aimed to calculate the thermal neutron (0.0253 eV) total macroscopic cross-section and gamma-ray (1.25 MeV) linear absorption coefficient for (100-x)Al-xGd2O3 (x=5 to 50) and 100-(x+y)Al-xGd2O3+yW (x,y=5 to 50) composites using MCNP6.2 simulation code. The simulation consists of a mono-energy point neutron and gamma-ray source, target material, and detector. The F4 tally from the MCNP6.2 library was used as the detector. The results show the highest thermal neutron total macroscopic cross-section for the 50%Al-50%Gd2O3 composite and the highest linear absorption coefficient for the 50%Al-%5Gd2O3-45%W composite. The results of this study provide a good understanding of the thermal neutron and gamma ray the shielding capabilities of Al matrix Gd2O3 and W doped composites.
TINGKAT KESESUAIAN DAERAH PENANGKAPAN IKAN PURSE SEINE DI PPN SIBOLGA TERHADAP REGULASI PENGELOLAAN PERIKANAN
Authors: Simanjuntak Boris Frans Edberg , Gigentika Soraya , Sudarmo Agnes Puspitasari
Published: May 2024

Adanya regulasi pengenaan sanksi bagi pelaku pelanggaran terhadap ketentuan kesesuaian jalur dan daerah penangkapan ikan, ternyata belum sepenuhnya ditaati oleh kapal penangkap ikan yang berpangkalan di PPN Sibolga. Jumlah pelanggaran yang dilakukan kapal purse seine berdasarkan kategori ukuran yaitu ukuran 30-100 GT sebanyak 34 pelanggaran dan ukuran 100-200 GT sebanyak 23 pelanggaran. Menganalisis status dan kesesuaian daerah penangkapan ikan purse seine di PPN Sibolga pada regulasi pengelolaan perikanan merupakan tujuan yang ingin dicapai. Penelitian ini dilaksanakan di Pelabuhan Perikanan Nusantara (PPN) Sibolga dari bulan Januari-Maret 2024. Penelitian ini bersifat kualitatif dengan metode yang digunakan adalah deskriptif. Responden adalah nahkoda dan mualim kapal purse seine. Penentuan sampel pada penelitian secara incidental sampling. Analisis data menggunakan skoring dan pembobotan serta komparasi. Pada hasil status dan kesesuaian daerah penangkapan ikan (DPI) potensial, jalur penangkapan <12 mil untuk nelayan purse seine pelagis kecil pukat rapat dengan ukuran kapal 30-100 GT tergolong potensial karena alat tangkap tersebut hanya mampu dioperasikan di jalur penangkapan <12 mil dan ikan yang menjadi target penangkapan melimpah di wilayah tersebut. Namun jalur penangkapan <12 mil bagi kapal berukuran 30-100 GT, tidak sesuai dengan regulasi PERMEN KP No. 58 tahun 2020 yang menyatakan bahwa kapal >30 GT memiliki jalur penangkapannya > 12 mil. Sementara itu daerah penangkapan ikan potensial untuk nelayan purse seine pelagis kecil pukat tongkol berukuran 30-100 GT dan nelayan kapal purse seine pelagis besar pukat tongkol berukuran 100-300 GT telah sesuai dengan regulasi PERMEN KP No. 58 tahun 2020.
Kata kunci: DPI potensial, kesesuaian, pukat rapat, regulasi
Analisis Kebijakan Merdeka Belajar Episode ke-17: Revitalisasi Bahasa Daerah
Authors: Rohana Rohana , Mukhlis Mukhlis , Jamaluddin Jamaluddin
Published: May 2024

Revitalisasi bahasa daerah di Indonesia telah menjadi isu yang semakin penting dan memerlukan perhatian serius. Kemendikbudristek merespons kondisi krisis bahasa daerah yang terancam punah dengan menerapkan Merdeka Belajar Episode ke-17: Revitalisasi Bahasa Daerah. Pentingnya revitalisasi bahasa daerah sebagai salah satu prioritas merdeka belajar serta sebagai upaya melindungi dan melestarikan bahasa daerah sehingga generasi muda mau belajar dan menggunakan bahasa daerah demi mewujudkan profil pelajar Pancasila. Tulisan ini bertujuan untuk menganalisis kebijakan pemerintah terkait Merdeka Belajar Episode ke-17 tersebut. Dengan menggunakan pendekatan studi literatur, Jenis data yang dikumpulkan berupa hasil penelitian dari berbagai artikel, makalah, sumber pustaka dan dokumen yang sesuai. Adapun metode yang digunakan dalam penelitian ini adalah metode deskriptif analistik dengan menerapkan analisa konten. Konten utama yang dianalis adalah Acara Peluncuran Merdeka Belajar Episode ke-17: Revitalisasi Bahasa Daerah oleh Kemendikbudristek pada Selasa, 22 Februari 2022 yang disiarkan secara daring di Channel Youtube Kemendikbud RI. Penulis menganalisis kebijakan pemerintah berdasarkan teori dari analisis kebijakan menurut William N. Dunn dalam karyanya yang berjudul Public Policy Analysis dan beberapa buku serta artikel terkait. Penulis dalam hal ini mendukung kebijakan pemerintah untuk merevitalisasi bahasa daerah yang hampir punah di Indonesia, dan berharap agar meningkatnya kesadaran publik akan pentingnya melestarikan bahasa daerah sebagai wujud cinta kepada identitas ciri khas daerah masing-masing dalam bingkai NKRI.
Peran MGMP PAI dalam Penguatan Kompetensi dan Kinerja Guru di Zona Utara Kabupaten Lombok Timur
Authors: Hidayati Hidayati , Quddus Abdul , Saparudin Saparudin , Aulia Hesti Dina
Published: May 2024

Artikel ini bertujuan untuk menganalisis: 1) Program MGMP bidang studi Pendidikan Agama Islam dalam penguatan kompetensi dan kinerja guru di Zona Utara Kabupaten Lombok Timur, 2) Kompetensi guru bidang studi Pendidikan Agama Islam di Zona Utara Kabupaten Lombok Timur, 3) Kinerja guru bidang studi Pendidikan Agama Islam di Zona Utara Kabupaten Lombok Timur. Penelitian ini menggunakan pendekatan kualitatif, yang bersifat deskriptif. Sumber data adalah pengurus MGMP, Pengawas PAI, Kepala sekolah dan guru bidang studi PAI. Teknik pengumpulan data: observasi, wawancara dan dokumentasi. Analisis data menggunakan Miles dan Huberman yaitu pengumpulan data, kondensasi data, penyajian data, dan penarikan kesimpulan atau verifikasi. Penelitian ini menemukan:1) Program MGMP terdiri dari program kerja jangka pendek, program kerja jangka menengah dan program jangka panjang, indikator ketercapaian program MGMP, kegiatan inti, kegiatan pengembangan, kegiatan partisipatif, kegiatan insidental seperti: pengisian data EMIS maupun Ujian Pengembangan Kompetensi bagi guru bidang studi. 2) penguatan kompetensi terdiri dari empat kompetensi yakni kompetensi pedagogik, kompetensi kepribadian, kompetensi sosial dan kompetensi profesional melalui program MGMP sebagai wujud tanggung jawab bersama dengan mengadakan bimtek kurikulum baru, workshop materi, metode dan evaluasi pembelajaran. 3) Kinerja guru bidang studi PAI ditunjukkan dengan kemampuan guru dalam membuat RPP dan silabus, menguasai materi, membuat media pembelajaran online, metode pembelajaran yang variatif, membuat alat evaluasi dan melakukan evaluasi. Kesimpulan, dengan kerja keras dan rasa ingin maju bersama guru-guru PAI di Zona Utara, maka guru-guru telah maksimal menyusun program MGMP, melaksanakan dengan kesepakatan bersama baik tempat dan biayanya sehingga MGMP berkonstribusi dalam menguatkan kompetensi dan kinerja guru PAI.
Pengaruh Penerapan Model Kooperatif Tipe Jigsaw Berbantuan Media Realia Terhadap Hasil Belajar Sosiologi
Authors: Dewi Oktaviani , Sukardi Sukardi , Nursaptini Nursaptini , Wahidah Ananda
Published: May 2024

Tujuan dari penelitian supaya mengetahui ada atau tidaknya pengaruh penerapan model kooperatif tipe jigsaw berbentuan media realia terhadap hasil belajar sosiologi. Pendekatan pada penelitian ini ialah kuantitatif dengan jenis quasi eksperiment dan pretest-posttest non equivalent control group. Seluruh siswa kelas X pada penelitian ini dijadikan sebagai populasi. Pengambilan sampel dilakukan dengan cara teknik random sampling setelah dilakukannya penyepadanan. Data dikumpulkan melalui tes berupa pilihan ganda yang telah diverifikasi untuk memastikan validitasnya. Data dianalisis secara kuantitatif menggunakan SPSS 25 for Windows dengan analisis deskriptif dan parametrik. Penelitian ini menemukan adanya pengaruh penerapan model kooperatif tipe jigsaw berbantuan media realia terhadap hasil belajar sosiologi di SMAN 1 Gunungsari dengan taraf sig 0,00 < 5% (0,05). Hal tersebut dapat membuktikan bahwa model ini memiliki pengaruh signifikan untuk hasil belajar sosiologi. Selain itu, dari hasil pengujian membuktikan bahwa nilai eksperimen lebih unggul dari nilai kontrol. Meningkatnya hasil belajar dapat dikaitkan dengan inovasi dalam penerapan media realia yang masih kurang umum dilakukan.
Implementation of Peer To Peer Supervision in Developing Competencies of Junior High School and Madrasah Tsanawiyah Teachers in Sekarbela District, Mataram
Authors: Supatah Supatah , Fitriani Moh. Iwan , Thohri Muhammad
Published: May 2024

This study aims to explore the implementation of peer-to-peer supervision in developing teacher competencies at SMPN 17 Mataram and MTSN 3 Mataram. This research method employs a qualitative approach with a case study design. Data collection techniques include observation, interviews, and documentation. Data were analyzed using thematic analysis. The results of the study indicate that peer-to-peer supervision is effective in developing various teacher competencies, such as collaboration, communication, pedagogical knowledge, and technology integration. The positive outcomes include improved teacher competencies, conducive learning environments, and increased teacher comfort in facing evaluations. However, challenges include the lack of objectivity in assessments, suboptimal follow-up after supervision, and absence of an official schedule, affecting effectiveness. The implications emphasize the importance of implementing peer-to-peer supervision to enhance the quality of education in secondary schools. Future research could focus on addressing challenges and further exploring the impact of peer-to-peer supervision.
A REPRESENTAÇÃO DA CRIMINALIDADE NA NARRATIVA DE PSSICA, DE EDYR AUGUSTO
Authors: BELO GEOVANE SILVA , AMORIM JUNIOR LUIZ JOSE NUNES DE , OLIVEIRA LILIANE AFONSO DE , AMORIM THAÍS FERNANDES DE , MOREIRA WANÚBYA DO NASCIMENTO MORAES CAMPELO
Published: May 2024

Este trabalho busca entender a representação da criminalidade na narrativa do romance policial Pssica, do autor Edyr Augusto Proença, publicada no ano de 2015. Para isso, destaca-se a tradução que a obra realiza da violência urbana das cidades paraenses. O objetivo da pesquisa é compreender como os traços da criminalidade se apresentam e como o autor elabora cenários, personagens, enredos e discursos sobre o tema. Os elementos evocados no romance Pssica revelam cenas, fatos, ambientes e sujeitos que se assemelham às contradições urbanas das cidades paraenses, em especial, de Belém. A obra está carregada de tensões, costuras sociais e relações de poder, desse modo, demonstra como a literatura se torna um instrumento de denúncia e espaço de revelação dos problemas urbanos. Algumas questões podem ser levantadas na pesquisa: A obra Pssica pode ser considerada um romance policial? Como o romance traduz e contextualiza o ambiente regional e a violência das cidades do Pará? Quais crimes se revelam e como o “Pssica” os representa? Assim, a pesquisa procura estudar o gênero romance policial e analisar passagens da obra para entender o diálogo da literatura com o contexto social paraense.
O TEXTO ESCRITO DO ALUNO SURDO: A RELAÇÃO DA REALIDADE EVIDENCIADA NO TEXTO E A PRÁTICA DE AVALIAÇÃO EMPREGADA.
Authors: Cruz Alini do Socorro Pinheiro , OLIVEIRA LILIANE AFONSO DE , Belo Geovane Silva , Moreira Wanúbya do Nascimento Moraes Campelo , Amorim Thaís Fernandes de
Published: May 2024

Esta pesquisa propõe-se a algumas discussões sobre materialidade escrita do aluno em momento de
avaliação, em que aspectos como comunicação, cultura e metodologias de ensino tangenciam para o
aspecto macro, ouvintista em detrimento do micro – Surdos. O estudo apoia-se, fundamentalmente, em
Martín-Barbero (2009) e Moita Lopes (2006; 2013). Os procedimentos técnicos da pesquisa são de
caráter bibliográfico e documental, pois a partir da amostra de uma produção textual de sujeito Surdo, e
de dispositivos legais, bem como outros suportes epistemológicos temos pontos de intercessão cultural
entre educador e educando. No contexto escolar do aluno Surdo e a avaliação que é feita no momento
da “correção” do texto escrito deste sujeito, encontram-se entrelaçados constantes reflexões por parte da
instituição de ensino e dos professores sobre a forma de avaliação, afinal, fomentar descentramentos e
descolonizações durante esse processo são estratégias benéficas que incorporam o conhecimento tanto
da informação, estabelecimento de comunicação, bem como do saber comum. A relação da realidade
evidenciada no texto analisado e a prática de avaliação empregada, traça aspectos que demarcam a
regularidade avaliativa às produções textuais de alunos, e como tais materializações comunicacionais
são regularmente, interceptadas em ambientes de ensino, repercutindo, na performance comunicacional
da teia micro ao qual Surdos pertencem na sociedade.
RELAÇÃO ENTRE ALTERAÇÃO DE COR NA COROA E NECROSE PULPAR EM DENTES DECÍDUOS: RELATO DE CASOS
Authors: Almeida Victória Scheeffer Carvalho de , Bonelli Juliana Miranda , Andrade Marcia Rejane Thomas Canabarro , Barcelos Roberta , Antunes Leonardo dos Santos , Antunes Lívia Azeredo Alves
Published: May 2024

Objetivo: avaliar e discutir a relação entre alteração de cor na coroa e necrose pulpar em dentes decíduos, baseado em dois relatos de casos. Relato dos casos: em ambos os casos os pacientes do gênero feminino, 4 anos de idade, compareceram a um centro de referência de traumatismos dentários com escurecimento nos incisivos decíduos. Ocaso 1 trata-se de um traumatismo classificado como subluxação ocorrido há mais de dois anos. No exame clínico foi observada alteração de cor nos elementos 51 e 61 e no exame radiográfico não foi verificada imagem sugestiva de lesão periapical. No caso 2, diagnosticado como concussão, clinicamente foi observada alteração de cor e no exame radiográfico verificou-se uma reabsorção radicular associada à lesão periapical no elemento 61. Conclusão: o escurecimento de um dente decíduo após um traumatismo dentário nem sempre é indicativo de necrose pulpar. Sugere-se o acompanhamento periódico da presença de outros fatores, como fístula, abscesso ou lesão apical que irão auxiliar em um correto diagnóstico. Cada caso deve ser averiguado de forma independente tendo em vista que o sucesso do tratamento está vinculado ao acompanhamento periódico e ao diagnóstico de sinais radiográficos e clínicos de alterações decorrentes do episódio traumático.
Descobrindo a beleza além da aparência: construindo sentidos na Língua inglesa a partir da Pedagogia dos multiletramentos
Authors: Albuquerque Wilfrid , Freudenberger Francieli
Published: May 2024

Este trabalho objetiva relatar a experiência de planejamento e regência de um projeto de ensino em uma Escola Estadual de Ensino Integral em João Pessoa. Tal vivência ocorreu durante a atuação dos autores no programa Pibid Letras Inglês da UFPB, em que desenvolveram o projeto "Descobrindo a Beleza para Além da Aparência: Uma abordagem de The Picture of Dorian Gray". Essa ação intencionou explorar noções pertinentes à Pedagogia dos Multiletramentos (Cazden et al., 1996; Cope; Kalantzis, 2015; Martins, 2021) no contexto de ensino de LI com alunos de 2º ano de Ensino Médio. Portanto, este trabalho foca na elaboração do produto final, desvelando os processos de construção de sentidos dos alunos nas aulas de LI. Assim, buscamos contribuir para uma aprendizagem crítica, além de explorar como os recursos multimodais estimulam a leitura e a aprendizagem significativa da língua (Jewitt; Krees, 2010). Os resultados promovem uma discussão acerca das “brechas” para exercitar o Letramento Crítico (Duboc, 2014).
O fenômeno literário: as faces da realidade em O acontecer poético - A história literária
Authors: Albuquerque Rosalia dos Santos , Ferraz Antônio Máximo Von Söhsten Gomes
Published: May 2024

Resenha do capítulo de CASTRO, Manuel Antônio de. O acontecer poético – a história literária. Rio de Janeiro: Antares, 1982. v. único, 145 p. (p. 61-76).
PROPOSTA DE INTERVENÇÃO
Authors: Ribeiro Iranete Pereira , Freitas Jofre Jacob da Silva , Soeiro Ana Cristina Vidigal
Published: May 2024

A presente proposta de intervenção tem o objetivo de sugerir medidas para aprimorar o ensino em dor no Programa de Residência Multiprofissional em Oncologia-Cuidados Paliativos, realizado com parceria entre a Universidade do Estado do Pará (UEPA) e o Hospital Ophir Loyola (HOL), referência em tratamento oncológico, e Centro de Alta Complexidade em Oncologia (CACON) no Estado do Pará.
As sugestões apresentadas têm como base os resultados da pesquisa intitulada "O Ensino sobre dor na perspectiva de residentes de um programa multiprofissional em oncologia-cuidados paliativos", a qual foi realizada como parte da dissertação de mestrado originada no Programa de Mestrado Profissional Ensino em Saúde na Amazônia, promovido pela UEPA e concluída no ano de 2024.
Os dados foram obtidos por meio de um estudo realizado com 27 residentes da Residência Multiprofissional em Oncologia-Cuidados Paliativos, os quais foram convidados a participar da pesquisa, após aprovação pelo Sistema CEP-CONEP. O objetivo do estudo foi investigar a experiência dos residentes multiprofissionais no aprendizado do manejo da dor, buscando identificar desafios e lacunas existentes na abordagem dessa temática.
As sugestões aqui apresentadas representam o consolidado dos achados principais e visam contribuir para o aprimoramento do ensino da temática nesse contexto específico. No entanto, espera-se que elas também possam ser utilizadas em outros contextos institucionais com abrangência na atenção oncológica, considerando a importância dessa abordagem na oferta de cuidados paliativos a pacientes acometidos pelo câncer.
The Theoretical Model on the Placeness of White Space
Authors:   The Association Of Korean Cultural And Historical Geographers, Choi Mikyung , Lee Muyong
Published: May 2024

The placeness of white space is a preliminary concept to actively interpret ‘the white space’ as ‘a space with value and meaning of the place’ rather than simply as an empty space. This study aims to build a theoretical model for discussing the placeness of white space. 3W model was derived that summarized the theoretical model on the placeness of white space into The category, The case analysis framework, and The practice strategy. First, As an integrated approach to explaining the placeness of white space. Second, The case analysis framework of the placeness of white space was derived. Third, The practice strategy of the placeness of white space was presented. This study verified the practicality of the theory by applying not only theoretical discussions on the placeness of white space, but also representative cases by type, cases of making placeness of white space, and place marketing measures. This provided a methodology for understanding, quantifying, and evaluating the placenesss of white space. The thoretical model on the placeness of white space can be used to create an alternative place for the loss of humanity and placelessness in an industrial fatique society, and can contribute to socio-cultural use and the practical life of individuals.
Parking Space as the Connecting Space of Immobilities and Mobilities
Authors:   The Association Of Korean Cultural And Historical Geographers, Lee Seungbeen , Paek Yilsoon
Published: May 2024

Korean society’s perception of parking spaces as immobilities has remained in the realm of inefficient, incidental, and fixed spaces. The rise of automobiles in the wake of rapid modernization has influenced a growing interest in mobility, but the discussion of parking spaces has been slow to develop. With the enactment of the Parking Lot Act in 1979, the demand for parking space began to be reflected, but the chronic shortage of space still causes various social conflicts. Examining parking space as a case study, this study emphasizes the expansion of the view of immobilities beyond the mobility bias, and moves away from the way immobilities has been explained in terms of human behavior to address the spaces where immobilities is realized and the institutions and historical aspects that define those spaces. It reveals the spatial nature of immobilities, as well as mobilities, to be relative and active.
The Origin and The Development of an Outer Royal Garden "Hamchunwon" during the Joseon Dynasty
Authors:   The Association Of Korean Cultural And Historical Geographers, Jung Woo-Jin , So Hyun-Su
Published: May 2024

The outer royal palace during the Joseon Dynasty was a royal garden outside the palace, which is defined as one that which controlled entry and view of the people outside given the walls built to surround the hills adjacent to the palace walls. The outer royal garden system began with a wall outside of Changgyeonggung Palace, which was called “Hamchunwon (含春苑)” during the reign of King Seongjong, and around the same time, it was estimated that another was installed and named “Sangrinwon (上林苑)” outside of the palace walls to the east of Changdeokgung Palace. During the time of Gwanghaegun (光海君), when Gyeongdeokgung Palace was built, a new outer royal garden called “Hamchunwon” was formed on the hill outside of Gaeyangmun Gate (開陽門), which was classically modeled after the previously executed outer royal garden system. Since the outer royal garden was of a topography which directly affected the feng shui related aspects of the palace, it was especially managed as a prohibited area. After the outer royal garden was built, the vacant land within the wall took on the role of a production area, and a forest made of shade and fruit trees, etc., was created to provide timber and fruits for the royal families. Hamchunwon accounts for the vast majority of the names of the outer royal gardens emerging across historical documents, while other names emerged including Sangrimwon, “Seowon (西苑)”, and “Bangrimwon (芳林院)”. Among which, Hamchunwon was used as a name of each individual outer royal garden, yet since the mid-18th century, it has been used as a universal name for the outer royal garden of the entire capital city.
The Influence of Facilities, Prices, Trust and Quality of Health Services on Patient Satisfaction
Authors: Yanisha Ajeng , Sukaris Sukaris , Baskoro Heru , Kirono Indro , Dewantoro Ahmad Qoni
Published: May 2024

ABSTRAK
Penelitian ini bertujuan untuk mengetahui seberapa besar Pengaruh Persepsi Atas Fasilitas, Harga, Kepercayaan, dan Kualitas Pelayanan Kesehatan Terhadap Kepuasan Pasien Pada Unit Rawat Inap Rumah Sakit X. Populasi yang digunakan dalam penelitian ini adalah para pasien rawat inap Rumah Sakit X dengan jumlah sampel sebanyak 100 responden dengan menggunakan teknik Non-Probability Sampling dengan pendekatan Accidental Sampling, yaitu teknik penentuan sampel berdasarkan kebetulan, apabila orang yang ditemui tersebut dipandang cocok sebagai sumber data. Berdasarkan analisis data satatistik, indikator-indikator dalam penelitian ini bersifat valid dan reliable. Pada pengujian asumsi klasik, model regresi bebas multikolonieritas, tidak terjadi heteroskedastisitas dan normalitas terpenuhi. Variabel yang paling berpengaruh adalah variabel kualitas pelayanan dengan koefisien regresi paling besar. Pengujian hipotesis menggunakan uji t yang menunjukkan bahwa keempat variabel independen yaitu fasilitas, harga, kepercayaan, dan kualitas pelayanan, yang diteliti terbukti secara signifikan mempengaruhi variabel dependen yaitu kepuasa pasien. Kemudian melalui uji F dapat diketahui bahwa variabel fasilitas, harga, kepercayaan, dan kualitas pelayanan secara bersama-sama berpengaruh terhadap kepuasan pasien.
Kata Kunci: Fasilitas, Harga, Kepercayaan, Kualitas Pelayanan.
 
ABSTRACT
This study aims to determine how much influence perceptions of facilities, price, trust and quality of health services have on patient satisfaction in the inpatient unit of Hospital probability sampling with an accidental sampling approach, namely a technique for determining samples based on chance, if the person they meet is deemed suitable as a data source. Based on data analysis statistics, the indicators in this research are valid and reliable. In testing classical assumptions, the regression model is free multicollinearity, heteroscedasticity does not occur and normality is fulfilled. The most influential variable is the service quality variable with the largest regression coefficient. Hypothesis testing uses the t test which shows that the four independent variables, namely facilities, price, trust and service quality, which were studied are proven to significantly influence the dependent variable, namely satisfaction patient. Then, through the F test, it can be seen that the variables of facility, price, trust and service quality together influence patient satisfaction.
Key words: facilities, prices, trust, service quality.