bluuebunny/crossref_metadata_2025_split huggingface dataset:
L’impact du positionnement sur les troubles de la déglutition des patients ayant une sclérose latérale amyotrophique avec un syndrome de la tête tombante – Etat des lieux de la pratique des ergothérapeutes
Authors: Guilloton Sindou Dorine , Robin Louise , Thomasson Emilie , Sombardier Thierry , Mandigout Stéphane 
Published: May 2024

Contexte : La Sclérose Latérale Amyotrophique (SLA) est une maladie neurodégénérative qui touche les motoneurones. Dans cette pathologie, nous retrouvons fréquemment un syndrome de la tête tombante et des troubles de la déglutition. Le positionnement est une méthode utilisée par les ergothérapeutes comme moyen de prévention, de correction ou de compensation de ces troubles. L’objectif de cette étude est d’analyser la pratique des ergothérapeutes pour savoir quelles techniques de positionnement ils utilisent pour limite les troubles de la déglutition chez les patients ayant une SLA avec un syndrome de la tête tombante.Méthode : L’objectif de notre étude est de réaliser un état des lieux des pratiques des ergothérapeutes afin de savoir quel positionnement ils utilisent pour limiter les troubles de la déglutition. Un questionnaire a été envoyé aux ergothérapeutes travaillant auprès de patient ayant une SLA avec un syndrome de la tête tombante. Résultats : L’analyse des résultats montre qu’un positionnement global est nécessaire pour limiter les troubles de la déglutition. Celui-ci se fait par une installation de la tête, du tronc et du bassin, des membres supérieurs et inférieurs et par une répartition des points d’appui. Il doit être traité en position assise et allongée. L’étude montre également que certains appareillages utilisés pour compenser le syndrome de la tête tombante peuvent rendre plus difficile la déglutition. Conclusion : Les ergothérapeutes utilisent le positionnement pour limiter les troubles de la déglutition. Il s’est avéré que l’installation de chaque segment corporel doit être traitée. L’appareillage utilisé pour compenser le syndrome de la tête tombante doit également être pris en compte.
Automated Theorem Proving for Prolog Verification
Authors: Mesnard Fred , Marianne Thierry , Payet Etienne 
Published: May 2024

LPTP (Logic Program Theorem Prover) is an interactive natural-deduction-based the- orem prover for pure Prolog programs with negation as failure, unification with the occurs check, and a restricted but extensible set of built-in predicates. With LPTP, one can formally prove termination and partial correctness of such Prolog programs. LPTP was designed in the mid 90’s by Robert F. Sta ̈rk. It is written in ISO-Prolog and comes with an Emacs user-interface.From a theoretical point of view, in his publications about LPTP, Sta ̈rk associates a set of first-order axioms IND(P) to the considered Prolog program P. IND(P) contains the Clark’s equality theory for P, definitions of success, failure and termination for each user-defined logic procedure in P , axioms relating these three points of view, and an axiom schema for proving inductive properties. LPTP is thus a dedicated proof editor where these axioms are hard-wired.We propose to explicit these axioms as first-order formulas (FOFs), and apply auto- mated theorem provers to check the property of interest. Using FOF as an intermediary language, we experiment the use of automated theorem provers for Prolog program veri- fication. We evaluate the approach over a benchmark of about 400 properties of Prolog programs from the library available with LPTP. Both the compiler which generates a set of FOF files from a given input Prolog program together with its properties and the benchmark are publicly available.
Prover9 Unleashed: Automated Configuration for Enhanced Proof Discovery
Authors: Aleksandrova Kristina , Jakubuv Jan , Kaliszyk Cezary 
Published: May 2024

While many of the state-of-art Automated Theorem Provers (ATP) like E and Vampire, were subject to extensive tuning of strategy schedules in the last decade, the classical ATP prover Prover9 has never been optimized in this direction. Both E and Vampire provide the user with an automatic mode to select good proof search strategies based on the properties of the input problem, while Prover9 provides by default only a relatively weak auto mode. Interestingly, Prover9 provides more varied means for proof control than its competitors. These means, however, must be manually investigated and that is possible only by experienced Prover9 users with a good understanding of how Prover9 works.In this paper, we investigate the possibilities of automatic configuration of Prover9 for user-specified benchmark problems. We employ the automated strategy invention system Grackle to generate Prover9 strategies with both basic and advanced proof search options which require sophisticated strategy space features for Grackle. We test the strategy invention on AIM train/test problem collection and we show that Prover9 can outperform both E and Vampire on these problems. To test the generality of our approach we train and evaluate strategies also on TPTP problems, showing that Prover9 can achieve reasonable complementarity with other ATPs.
Guia de Iniciação Científica na Escola
Authors: Vasques Daniel Giordani , Oliveira Victor Hugo Nedel 
Published: May 2024

O livro "Guia de Iniciação Científica na Escola" é um convite à exploração dos processos envolvidos na iniciação científica, dirigido a professores, estudantes e todos os interessados em compreender e praticar a iniciação científica. Fruto de um intenso processo de pesquisa, reflexão e prática, esta obra oferece uma jornada envolvente e participativa na qual os autores compartilham sua produção de conhecimentos e as experiências que os levaram à construção desse guia. Dividido em três partes, o livro apresenta uma diversidade de recursos, desde uma síntese das pesquisas existentes sobre iniciação científica na educação básica até orientações práticas para conduzir projetos de pesquisa com estudantes. Cada capítulo é um convite à reflexão e à ação, oferecendo materiais didáticos, roteiros de trabalho e até mesmo cartas diretas aos professores e estudantes envolvidos nesse fascinante mundo da iniciação científica. Mais do que um manual, este livro é um companheiro de jornada, destinado a tornar mais acessível e inspiradora a experiência de conduzir e participar de projetos científicos na escola.
Estimasi Stok Karbon Mangrove Eksisting dan Rehabilitasi Di Pesisir Kabupaten Karawang, Indonesia
Authors: Nopiana Medi 
Published: May 2024

Pesisir Kabupaten Karawang merupakan wilayah potensial ekosistem mangrove, namun informasi stok dan serapan karbon eksisting belum diketahui apalagi kontribusi dari permudaan mangrove termasuk dari bibit rehabilitasi. Hasil penelitian menunjukkan bahwa total stok karbon di pesisir Kabupaten Karawang berkisar 13.75 – 56.89 ton C/ha atau secara keseluruhan sebesar 5,799.88 – 24,003.58 ton C. Nilai tersebut, diperoleh dari kontribusi tiga spesies utama yaitu A. marina sebesar 4.38 – 15.38 ton C/ha, R. apiculata sebesar 5.80 – 24.63 ton C/ha dan R. mucronata sebesar 3.57 – 16.88 ton C/ha. Nilai serapan karbon (CO2-equivalen) di pesisir Kabupaten Karawang berkisar 50.40 – 208.58 ton CO2-eq/ha atau secara keseluruhan sebesar 21,266.23 – 88,013.14 ton CO2-eq. Nilai tersebut diperoleh dari kontribusi tiga spesies utama yaitu A. marina sebesar 16.07 – 56.41 ton CO2-eq/ha, R. apiculata sebesar 21.25 – 90.29 ton CO2-eq/ha, dan R. mucronata sebesar 13.08 – 61.88 ton CO2-eq/ha. Nilai kontribusi total stok dan serapan karbon dari permudaan mangrove pada simulasi hingga 10 tahun pertumbuhan diameter mencapai 24.58 ton C/tahun dan 90.14 ton CO2-eq/tahun. Nilai tersebut merupakan akumulasi dari tiga kategori permudaan yaitu kategori anakan eksisting (7.86 ton C/tahun dan 28.82 ton CO2-eq/tahun) , kategori semai eksisting (4.72 ton C/tahun dan 17.32 ton CO2-eq/tahun), serta kategori semai (3.64 ton C/tahun dan 13.33 ton CO2-eq/tahun).
Localized anaplastic lymphoma kinase–positive histiocytosis in a cerebellar hemisphere with long-term treatment: illustrative case
Authors: Kumagai Eita , Tanaka Mio , Iwasaki Fuminori , Yanagimachi Masakatsu , Hirokawa Daisuke , Goto Hiroaki , Tanaka Yukichi 
Published: May 2024

BACKGROUND
Anaplastic lymphoma kinase (ALK)–positive histiocytosis (ALK-H) is an emerging entity in the category of histiocytic neoplasms that was first reported as a multisystemic disease in three infants in 2008. The clinicopathological spectrum of ALK-H has been expanded to include localized disorders in specific organs, but the features of this subtype are not well known. The authors report a case of ALK-H localized in the central nervous system that was difficult to treat and review the relevant literature.

OBSERVATIONS
The authors reviewed archival histiocytic tumors at their institute and found a pediatric case of ALK-H localized in a cerebellar hemisphere that had previously been reported as histiocytic sarcoma. Chemotherapy (approximately 1 year), additional surgery, and conventional chemotherapy (approximately 2.5 years) led to clinical remission, and maintenance chemotherapy was continued (approximately 1.5 years). Three years after completing treatment, a high-grade glioma was found in a cerebral hemisphere, and the patient died of the glioma 2 years later.

LESSONS
Although the prognosis of ALK-H is generally good according to prior cases, the authors’ case required long-term conventional chemotherapy, suggesting the tumor displayed aggressive characteristics. Early administration of ALK inhibitors may be necessary.
Pembelajaran Matematika dengan Media Software GeoGebra Materi Dimensi Tiga
Authors: Maf’ulah Syarifatul , Wulandari Suci , Jauhariyah Lia , Ngateno  
Published: May 2024

Kesulitan siswa dalam memahami materi dimensi tiga perlu diatasi. Misalnya dengan menggunakan bantuan media pembelajaran yang tepat seperti Software GeoGebra. Penelitian bertujuan mendeskripsikan proses pembelajaran dan hasil belajar matematika menggunakan software GeoGebra. Penelitian deskriptif kualitatif ini terdiri dari 19 subjek kelas XII IPS salah satu MA swasta di Jombang. Instrumen penelitian yaitu lembar observasi, tes dan dokumentasi. Berdasarkan hasil penelitian diketahui bahwa proses pembelajaran dengan media software GeoGebra diawali dengan menyampaikan tujuan pembelajaran dan mengingatkan materi sebelumnya, menjelaskan unsur-unsur bangun ruang, memperkenalkan software GeoGebra, menjelaskan fungsi masing-masing menu, menjelaskan materi dimensi tiga menggunakan software GeoGebra, dan memberikan penguatan serta menyimpulkan inti materi yang telah dipelajari. Hasil penelitian lainnya menunjukkan bahwa terdapat perbedaan hasil belajar siswa yang signifikan antara sebelum dan sesudah pemanfaatan GeoGebra. Software GeoGebra cocok digunakan untuk membantu siswa memahami materi dimensi tiga dengan baik.
Students' difficulties in understanding three-dimensional material need to be overcome. For example, by using the help of appropriate learning media such as GeoGebra Software. The purpose of this research was to describe the learning process and learning outcomes of mathematics using GeoGebra software. This qualitative descriptive study consisted of 19 subjects of class XII IPS, one of the private MA in Jombang. The research instruments are observation sheets, tests, and documentation. Based on the results of the study, it is known that the learning process using the GeoGebra software media begins with conveying the learning objectives and reminding the previous material, explaining the elements of spatial structure, introducing the GeoGebra software, explaining the function of each menu, explaining the Three-Dimensional material using the GeoGebra software, and closing with providing reinforcement and conclude the core material that has been studied. The results of other studies indicate that there are significant differences in student learning outcomes between before and after the use of GeoGebra. GeoGebra software is suitable to help students understand three-dimensional material well.
STUDY OF REPRESENTATION AND RESEARCH OF OBJECTS, PHENOMENA AND PROCESSES IN THE ENVIRONMENT THROUGH CARTOGRAPHIC IMAGES AND TOPOGRAPHIC AND GEODESIC MEASUREMENTS
Authors: Dets Tetiana , Kyryliuk Volodymyr , Rozhi Tomas 
Published: May 2024

The article examines the process of creating and updating digital topographic maps on the example of the Zakupne settlement territorial community of Khmelnytskyi region. Using the "WidsMob Panorama" program, the authors created a mathematical basis for the maps and updated their content according to the current state of the territory, using aerial photos and combined slides of the last year of updating. This made it possible to increase the accuracy of the electronic map, eliminate deformations and scanning errors. The technical project was developed on the basis of digital data, reflecting the location of objects and their grouping by layers, localization and characteristics. The use of metrics of each object on an electronic map with coordinates of points in a two-dimensional format ensured an accurate display of objects and phenomena. Geoinformation mapping, as a key component of research, included the automated creation and use of maps using GIS, mathematical models, and computational methods. This contributed to the creation of electronic maps, 3D images, animations, providing high automation of processes, interactivity and multimedia. Multi-scale mapping made it possible to model the multi-level structure of phenomena and complex systems, which cannot be done using traditional methods. The results of the study demonstrate that digital mapping provides not only high image quality and promptness of its creation, but also long-term storage, multiple use and modern design of cartographic materials to solve the issues of mapping and researching objects, phenomena and processes in the environment by means of cartographic images. The conclusions emphasize the importance of multiscale mapping for the development of a systematic approach in cartography and its impact on the rational use of territories and the solution of important land management and environmental problems. However, economic constraints can complicate the use of high-tech equipment in some organizations, which requires the search for optimal solutions for automating the processes of creating cartographic images.
TOWN PLANNING DEVELOPMENT OF COASTAL TERRITORIES AS AREAS OF PUBLIC SPACES
Authors: Mykhailyk Olha 
Published: May 2024

The impression of the city is formed on the basis of its public spaces, which are also formed on the coastal zones. The expressive, beautiful and convenient public space of the coastal zone is the face of the city, its presentation. Professionally organized embankments for residents' promenades with bicycle routes, parks, boat gardens, zones for active and quiet recreation are the decoration of the city fabric. The possibility of access to water for all citizens, the prohibition of the construction of transit highways and industrial enterprises, the prohibition of landfills, the organization of fixed landscaped coastal protective strips are necessary components of the public development zone of the coastal areas of the city.
Today, only 15% of the Dnipro shoreline within Kyiv can be considered generally accessible with an appropriate level of comfort. The transformation of the Dnieper embankment of the capital into a center of elite housing and a transport corridor is an impoverishment of the urban fabric, the loss of an important public space of Kyiv. River embankments in Kharkiv (Lopan, Kharkiv) are not architecturally organized public spaces, because unlike the Western European formation of embankments with parade facades, in Kharkiv, the backyards of warehouse and industrial zones traditionally extended onto the coastal areas. Primorsky Odessa is «faceless»: Primorsky Boulevard is narrow (the length of the boulevard is several hundred meters), the famous Potemkin Stairs lead «to nowhere» (they do not have direct access to the sea, but lead to the Maritime Station), the majestic building of the Opera House «turned away» from seas, adjacent water areas are occupied by port harbors.
The experience of the urban planning organization of the coastal zones of Budapest, Bratislava, the Danube cities of Germany and the Slavic Embankment of Venice is a worthy example of coastal zones where ancient traditions and modernity are combined - from ancient buildings and historical monuments to modern art and hip festivals, active recreation in nature with cognitive cultural - historical and gastronomic tourism. Cities of Ukraine lack urban development of coastal zones as public spaces. The world experience of revitalization of urban coastal zones, its transformation into an active urban public space is an example of modern urban planning trends.
INCORPORATION OF UNIVERSAL DESIGN IDEAS IN INDEPENDENT UKRAINE
Authors: Tvoronovych Ihor 
Published: May 2024

Присвячено опису розвитку та зародження ідей доступності, інклюзивності та універсального дизайну за часів незалежної України. Описано основні принципи універсального дизайну, розроблені командою Р. Мейса та саме початковий стан розвитку тренду у межах українського соціального та політичного поля (дискурсу). Також було виявлено та описано різницю та локальні особливості уживання термінів «безбар’єрне середовище» , «інклюзія» та «універсальний дизайн», «доступність» в українському соціальному полі. Також наведено приклади та описано перші матеріальні втілення принципів доступності у архітектурному середовищі України. Також надано короткий аналіз можливого розвитку тренду інклюзії та доступності у структурі українського архітектурного та соціального дискурсів. Збільшення кількості людей з інвалідністю, спричинене природними, соціальними та техногенними причинами, з одного боку, та низькою якістю культури універсального дизайну державних та суспільних інституцій в сучасній Україні, з іншого, зумовлює зростаючу потребу у впровадженні культури інклюзії для вирішення численних проблем, що обмежують інклюзивність. До нещодавнього сплеску кількості людей з інвалідністю та внутрішньо переміщених осіб ідеї універсального дизайну не були основними в політиці Україні та не мали комплексної стратегії впровадження, а часто існували в хаотичній формі старих концепцій під загальною назвою (безбар’єрна архітектура). Цінності універсального дизайну логічно випливають із більш загальної екзистенційної проблеми свободи як найважливішої людської потреби. Об'єкти, створені за принципами універсального дизайну можуть також виступати як культурні артефакти. Ідеї універсального дизайну відображають світогляд, який стає дедалі популярнішим в Україні, а його вплив на культуру стає дедалі помітнішим.
Можна також припустити, що культура універсального дизайну може виступати як протидія сучасним формам експансіонізму та авторитаризму. Ідеї та постулати інклюзії є аксіологічною основою і водночас прикладною формою культурної співпраці. Культуру інклюзії можна сприймати як культуру людської діяльності, що породжує нові економічні та соціальні взаємозв'язки.
GENERALISATION OF THE MODERN TYPOLOGY AND EXPERIENCE OF FORMING REHABILITATION CENTRES FOR THE ELDERLY
Authors: Hongjuan Zhao 
Published: May 2024

In the modern world, society faces various challenges and accomplishments. These include wars, natural disasters, virus pandemics, environmental issues, as well as economic and political crises. One prominent issue among these is the increasing population of elderly individuals. This concern is especially critical in China due to historical state-initiated birth control measures, but it is also becoming more prevalent in other nations.
In order to ensure the well-being of elderly individuals, it is essential to have specialized social protection institutions such as medical or rehabilitation centers. Regrettably, there is a lack of these institutions, and government programs and regulations are not always effective in addressing this issue. Despite the existence of prior experience in designing and establishing such centers, the challenge of insufficient facilities for elderly care persists.
In Ukraine, state building codes play a crucial role in regulating various aspects of construction and infrastructure development. One notable example is the DBN A.2.2-18:2007 "Institutions of social protection of the population", which outlines guidelines pertaining to the placement of buildings, land plots, space-planning solutions, fire safety measures, and engineering equipment for facilities such as residential care homes for the elderly, geriatric boarding houses, psycho-neurological boarding houses, and territorial centers of social services. To ensure comprehensive development and compliance with the standards set forth by the DBN A.2.2-18:2007, it operates in conjunction with other pertinent regulations such as DBN B.2.2- 12:2019 "Planning and Development of Territories", DBN B 2.2-9:2018 "Public Buildings and Structures. Main provisions", DBN B 2.2-10:2022 "Healthcare facilities. Basic Provisions", and DBN B 2.2-40:2018 "Inclusiveness of Buildings and Structures. Main provisions". This collective framework of building codes and regulations underscores the importance of adhering to rigorous standards in the construction and management of social welfare institutions in Ukraine. The development of the material and technical base for providing social protection to the unproductive population plays a crucial role in ensuring appropriate care. This includes the establishment of institutions that deliver medical, cultural, and household services primarily tailored to meet the needs of the elderly. Research into both domestic and international practices has revealed distinct categories of institutions: - Social institutions, hospitals, and clubs offering daytime activities for the elderly; - Service amenities integrated into specialized living arrangements such as senior apartment buildings, boarding houses, and geriatric hospitals.