bluuebunny/crossref_metadata_2025_split huggingface dataset:
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.
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.
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.
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.
Peningkatan Keselamatan Kerja di Laboratorium IPA melalui Pelatihan Penggunaan Alat dan Praktikum Alat Sederhana
Authors: Taofik De Budi Irwan , Mulyaningsih Sri , Susila Aceng Ahmad Rodian , Sidiq Purnomo 
Published: May 2024

The laboratory is a facility or place where there are scientific activities (practicum/research) to produce a scientific product (result). The existence of a laboratory in schools is very necessary to support learning in the classroom. The main function of the Laboratory is to study and prove a particular theory and find or produce a scientific product (result).
The laboratory is a practical facility for certain subjects that require practicum activities. Based on these facts, it is necessary to have good school laboratory management and pay attention to work safety factors. Knowledge of Occupational Health and Safety in the laboratory needs to be owned by all parties who will work in the laboratory so that accidents do not occur. The method used is in the form of exposure to material and an introduction to simple practicum by paying attention to OHS offline which contains an explanation of the basic concepts of work safety, sources of causes of work accidents, cases and how to control work safety in the laboratory. The data analysis technique used is descriptive. The result of this community service is the participants' understanding of how to carry out laboratory activities safely so that practicum activities in the school environment (SMP, SMA/MA) can be carried out smoothly and safely.
Penerapan Video Media Pembelajaran Penjumlahan Bilangan Bulat
Authors: Tristanti Lia Budi , Ernawati Wiwik , Hidayati Wiwin Sri 
Published: May 2024

Tujuan penelitian ini yaitu mendeskripsikan proses pembelajaran matematika dengan media video pada materi penjumlahan bilangan bulat dan kemampuan siswa dalam menjumlahkan bilangan bulat sebelum dan sesudah pemanfaatan media video materi penjumlahan bilangan bulat. Penelitian ini menggunakan pendekatan kualitatif. Metode pengumpulan data menggunakan tes dan dokumentasi. Sebelum melaksanakan penelitian, video media pembelajaran penjumlahan bilangan bulat telah divalidasi dan dinyatakan layak digunakan oleh ahli materi dan media. Hasil penelitian menunjukkan bahwa kemampuan siswa dalam menjumlahkan bilangan bulat sebelum dan sesudah pemanfaatan media video terdapat perbedaan yang cukup signifikan yaitu dari 0% menjadi 96%. Artinya sebelum penerapan media video pembelajaran tidak ada siswa yang memenuhi indikator penjumlahan bilangan bulat yang sudah ditetapkan. Sedangkan, setelah penerapan media video pembelajaran terdapat 25 dari 26 siswa yang memenuhi 5 indikator penjumlahan bilangan bulat. Walaupun begitu, pembelajaran matematika menggunakan media video pada materi penjumlahan bilangan bulat belum mencapai ketuntasan kelas yaitu 100%.
The purpose of this study is to describe the process of learning mathematics with video media on the material of adding integers and students' ability to add integers before and after using video media for adding integers. This study uses a qualitative approach. Methods of data collection using tests and documentation. Before carrying out the research, the instructional media video for adding integers has been validated and declared suitable for use by material and media experts. The results showed that the students' ability to add integers before and after the use of video media had a significant difference, from 0% to 96%. This means that before the application of instructional video media there were no students who met the predetermined integer addition indicators. Meanwhile, after the application of instructional video media, there were 25 out of 26 students who met 5 indicators of adding integers. Even so, learning mathematics using video media on the addition of integers has not yet reached class completeness, which is 100%.
Proses Berpikir Kritis Matematis Siswa Ditinjau Dari Tipe Kepribadian Ekstrovert dan Introvert
Authors: Rudianti Rindu , Rudianti Aripin , Muhtadi Dedi 
Published: May 2024

Penelitian dilakukan mengingat pentingnya memperhatikan kemampuan berpikir kritis dan tipe kepribadian untuk menunjang keberhasilan belajar matematika. Penelitian ini mendeskripsikan proses berpikir kritis matematis siswa ditinjau dari tipe kepribadian ekstrovert dan introvert. Metode penelitian yaitu kualitatif eksploratif, dengan subjek sebanyak empat siswa kelas XII teknik busana butik salah satu SMK Negeri di Rajadesa. Instrumen yang digunakan yaitu tes kemampuan berpikir kritis matematis, wawancara, dan angket tipe kepribadian. Hasil penelitian menunjukkan bahwa subjek ekstrovert lebih cepat dibandingkan dengan introvert dalam menyelesaikan masalah, tetapi kurang teliti dalam menyelidiki permasalahan. Subjek ekstrovert juga menggunakan konsep yang salah ketika menarik kesimpulan, mereka tidak tepat dalam mengaitkan informasi yang ada dengan pengetahuan yang dimilikinya. Sedangkan subjek introvert, cenderung tenang, teliti, hati-hati, dan memikirkan kembali solusi sebelum menarik kesimpulan. Siswa introvert mampu mengembangkan argumen dengan mengembangkan informasi yang ada dan memberikan pernyataan yang mengarah pada langkah-langkah yang diambil dalam menyelesaikan masalah, meskipun tidak dapat menuliskannya dengan tepat.
The research was conducted considering the importance of paying attention to critical thinking skills and personality types to support the success of learning mathematics. This study describes students' mathematical critical thinking processes in terms of extrovert and introvert personality types. The research method is qualitative exploratory, with the subject as many as four students of class XII fashion boutique engineering one of the SMK in Rajadesa. The instruments used are mathematical critical thinking ability tests, interviews, and personality type questionnaires. The results showed that extroverted subjects were faster than introverts in solving problems but less thorough in investigating problems. Extroverted subjects also use the wrong concept when concluding, they are not right in relating the existing information to the knowledge they have. While introverted subjects tend to be calm, thorough, careful, and rethink solutions before concluding. Introverted students can develop arguments by developing existing information and providing statements that lead to the steps taken in solving problems, even though they cannot write them down correctly.
Efektivitas Model Edutainment terhadap Hasil Belajar Siswa Kelas X di SMA Negeri 1 Gamping
Authors: Regitanurvikasari  , Jana Padrul , Umasugi Sitti Mutia 
Published: May 2024

Penggabungan konsep Education dan Entertainment (Edutainment) dalam pembelajaran matematika dapat menjadi suatu solusi yang berdampak baik pada peningkatan hasil belajar matematika siswa. Tujuan penelitian ini adalah untuk menguji efektivitas model edutainment dalam pembelajaran matematika terhadap aspek hasil belajar siswa. Jenis penelitian yang digunakan adalah Quasi Experimental (The Nonequivalent Control Group Design). Populasi penelitian mencakup siswa kelas X SMA Negeri 1 Gamping. Teknik sampling dalam penelitian ini menggunakan simple random sampling, sehingga diperoleh dua kelas sebagai kelas eksperimen dan kelas kontrol. Instrumen penelitian yang digunakan adalah soal pretest, posttest, dan lembar observasi keterlaksanaan pembelajaran. Hasil penelitian menunjukkan bahwa pembelajaran matematika menggunakan model Edutainment efektif terhadap hasil belajar siswa. Model pembelajaran langsung juga efektif terhadap hasil belajar siswa dalam pembelajaran matematika. Sedangkan hasil komparasi pembelajaran matematika dengan model Edutainment dan model pembelajaran langsung adalah bahwa model Edutainment lebih efektif dibandingkan dengan model pembelajaran langsung ditinjau dari aspek hasil belajar siswa.
Merging the concept of Education and Entertainment (Edutainment) in learning mathematics can be a solution that has a good impact on improving students' mathematics learning outcomes. The purpose of this study was to test the effectiveness of the edutainment model in learning mathematics on aspects of student learning outcomes. The type of research used is Quasi-Experimental (The Nonequivalent Control Group Design). The research population includes students of class X SMA Negeri 1 Gamping. The sampling technique in this study used simple random sampling; so, two classes were obtained the experimental class and the control class. The research instruments used were pre-test, post-test, and learning implementation observation sheets. The results showed that learning mathematics using the Edutainment model was effective on student learning outcomes. The direct learning model is also effective in the student learning outcomes in learning mathematics. While the results of the comparison of learning mathematics with the Edutainment model and the direct learning model are that the Edutainment model is more effective than the direct learning model in terms of student learning outcomes.
INFORMATION AND ANALYTICAL BASIS FOR ASSESSING THE RELIABILITY OF CONSTRUCTION PROJECT EXECUTORS
Authors: Zhaldak Ruslan 
Published: May 2024

Almost every project is an iterative process that includes refinement, revision of decisions, changes in architectural and structural solutions, as well as methods of manufacturing structures and building construction. Digital technologies in construction management also include virtual reality (VR) and augmented reality (AR). The use of VR and AR allows you to visualize construction projects before their physical implementation. Thus, an integrated solution that performs visual and graphical defragmentation of the life and operational and production cycle of a construction project using the principles and applied tools of digitalization, represented as a Fuzzy model, allows you to create or edit the model at any stage, is the closest to reality and leads to a reduction in the time between the design and construction phases of the life of a construction project. Since project management is closely related to decision-making processes, decisions are made under conditions of certainty (the outcome of the decision is known), risk (an event may occur and a certain estimate can be made), uncertainty (probability). and the consequences of the event cannot be predicted). A method for managing a construction project based on fuzzy logic has been developed, which makes it possible to assess both the intermediate state of project implementation by its individual parameters and to predict the project outcome in a changing environment. The construction of a fuzzy model of a project management system is based on a formal representation of the object's characteristics in terms of linguistic variables. In the control system, the input and output variables of the system are considered as linguistic variables. The purpose of management is to determine the values of control variables (inputs), the implementation of which ensures the desired behavior or desired state of the project as a management object. Real-time project analytics is the main source of information for decision-making. It allows to productively structure the task of assessing the reliability of construction contractors and formulate its regulations for a particular construction company with unique operational and production specifics.
METHODS AND TOOLS OF PUBLIC SPACES RESEARCH
Authors: Kryvoruchko Olha 
Published: May 2024

The article considers the methods of public space research on the subject of their efficiency of use, quality, accessibility and inclusiveness, spatial planning and compositional characteristics. The main focus is on the quality of public space and quality characteristics. In the study of public spaces, we analyze four basic groups of characteristics: 1) the functioning of the space and the way it is used; 2) planning, volumetric and spatial features of space, including typology and compositional analysis; 3) analysis of elements of public spaces; 4) the quality of public space, which includes four basic research sub-layers: accessibility; comfort and image; use and activity; sociability. In addition, in order to meet modern ideas about quality public space, it should be humane and people-oriented, inclusive for different social groups of users, ecological and sustainable, safe and individualistic, non-conflict, cost-effective, local and atypical.