bluuebunny/crossref_metadata_2025 huggingface dataset:
Parking Surveillance Based on Magnetic Feature and Collaborative Mechanism
Authors: Zhu Hongmei  , Qiu Songde  , Shen Jun  , Yu Fengqi
Published: February 2025

Parking problem becomes one of the major issues in the city development. However, accuracy parking occupancy detection is one of the fundamental issues. This paper addresses this issue from the perspective of detecting the parking vehicles using magnetic sensors. Our research focuses on feature analysis of magnetic distortions induced by parking vehicles in different conditions. Besides, an accuracy parking detection solution based on signal feature and information collaborative mechanism has been proposed. By using signal feature of parking vehicle, more information of vehicle has been exploited to improve the performance of conventional state machine method. In order to improve the accuracy of detection, an information collaborative mechanism of adjacent magnetic sensors has been introduced to tackle the interferences from adjacent vehicles. To test our solution particularly in the challenging situations, real experiments were carried out in both under-ground and ground parking lot. The experiments reveal a high accuracy of about 99.77% in the un-ground and 99.54% in the ground parking plot. Our solution has a significant increase in detection accuracy.
Moving Hadoop to the Cloud for Big Data Analytics
Authors: Astrova Irina  , Koschel Arne  , Heine Felix  , Kalja Ahto
Published: February 2025

Hadoop is a Java-based open source programming framework, which supports the processing and storage of large volumes of data sets in a distributed computing environment. On the other hand, an overwhelming majority of organizations are moving their big data processing and storing to the cloud to take advantage of cost reduction – the cloud eliminates the need for investing heavily in infrastructures, which may or may not be used by organizations. This paper shows how organizations can alleviate some of the obstacles faced when trying to make Hadoop run in the cloud.
Concurrency Issues in Ordinary Place Transition Petri Nets
Authors: Spiteri Staines T.
Published: February 2025

This paper explains concurrency issues present when modeling software systems using ordinary place transition nets. Normally it is assumed that ordinary (elementary) Petri net structures are concurrent or concurrency free. However it can be shown that concurrency does not depend only on the structure of a Petri net but on the distribution of resources in the net. A basic algebraic notation is used for representing concurrency. Examples are given showing different types of concurrency that can be detected in ordinary Petri net structures. These are classified into i) dependent and ii) temporal (weak) concurrency.
Teaching Concurrency: 10 Years of Programming Projects at UCPH
Authors: Vinter Brian  , Larsen Mads Ohm
Published: February 2025

While CSP is traditionally taught as an algebra, with a focus on definitions and proofs, it may also be presented as a style of programming, that is process-oriented programming. For the last decade University of Copenhagen (UCPH) has been teaching CSP as a mix of the two, including both the formal aspects and process-oriented programming. This paper summarized the work that has been made to make process-oriented programming relevant to students, through programming assignments where process orientation is clearly simpler than an equivalent solution in imperative programming style.
Building a C++CSP Channel Using C++ Atomics
Authors: Chalmers Kevin
Published: February 2025

Mutex-based implementations of synchronous channels are slow. This work investigates atomic operations as a technique to improve communication efficiency between two threads via a busy channel. Such a channel provides faster communication than a mutex-based one where the number of threads is identical to the hardware concurrency. To evaluate communication performance, a communication time benchmark is used alongside a selection time benchmark. The communication time benchmark is scaled to evaluate the impact of thread counts greater than the available hardware. Results show that an above ten-times improvement in communication time is possible when the hardware supports the threads fully. The improvement drops as further threads are added to the system due to operating system scheduling taking over the determination of thread activeness. Selection time similarly shows improvement when thread count matches hardware, but likewise reduces as thread count increases. We can conclude that a busy channel is useful in an environment where the thread count matches the available hardware, which is of interest to parallel application developers or control systems with similar properties.
VCSP – Towards a Process Oriented Scratch-Model?
Authors: Vinter Brian
Published: February 2025

Anyone who knows process-oriented programming immediately acknowledges the claim that process orientation is well suited for games programming. As it turns out, this is easier acknowledged than done since there are no game programming frameworks that support an external threading library, but rather all insist on managing threads within the game framework. This fringe introduces an idea, as of yet without any implementation, to integrate visual effects directly within PyCSP.
Rigorous Timing, Static occam, and Classic CSP: Formal Verification for IoT
Authors: Dickson Lawrence J.  , Martin Jeremy M.R.
Published: February 2025

Classic CSP is a “model without time” and yet contains time sequence and even a “time-out” or “sliding choice” operator (Roscoe, The Theory and Practice of Concurrency, 2005, p 80). The static occam language and the Transputer processor, both based on finite CSP, have time and other structure that make them a deliberate refinement of classic CSP; but occam is imperative and capable of doing completely general computing tasks. Programs written in occam and run on the Transputer can be proven correct and their behavior characterised down to cycle count. Classic CSP process descriptions of these same programs can also be investigated and proven using CSP techniques, including hiding.
Pong Inspired Game Written in SME, Running on an FPGA
Authors: Johnsen Carl-Johannes
Published: February 2025

Given the prior knowledge of implementing SME (Synchronous Message Exchange) onto hardware, describing small hardware becomes very simple. This is shown by constructing a Pong inspired game in SME, in approximately a week, which runs on an FPGA (Field-Programmable Gate Array). The game uses the VGA port as output and the buttons on the board as input, and as such runs purely on the FPGA. The game consists of two larger parts: the VGA controller and the game logic, with the VGA controller being the most problematic part to
Concurrency, Intuition and Formal Verification: Yes, We Can! (Ben-Ari's Twin-Process Conundrum)
Authors: Pedersen Jan B.  , Welch Peter H.
Published: February 2025

Not only can (and should) concurrency be introduced early in the undergraduate CS curriculum – but mechanisms for its formal analysis and verification can be presented that are intuitive, effective and easy to learn and apply. Further, this can be done without requiring students to be trained in the underlying formal mathematics. Instead, we stand on the shoulders of giants who have engineered the necessary mathematics into the concurrency models we use (CSP, π-calculus), the programming languages/libraries (occam-π, JCSP, Process-J) that let us design and build efficient executable systems within these models, and the model checker (FDR3) that lets us explore and verify those systems. All we require from our students are a love of the subject, a flair for programming and some time and effort. This talk presents some experience over the past ten years that lets us make these claims.
SpiNNaker 2: A 10 Million Core Processor System for Brain Simulation and Machine Learning
Authors: Mayr Christian  , Höppner Sebastian  , Furber Steve
Published: February 2025

SpiNNaker is an ARM-based processor platform optimized for the simulation of spiking neural networks. This brief describes the roadmap in going from the current SPINNaker1 system, a 1 Million core machine in 130nm CMOS, to SpiNNaker2, a 10 Million core machine in 22nm FDSOI. Apart from pure scaling, we will take advantage of specific technology features, such as runtime adaptive body biasing, to deliver cutting-edge power consumption. Power management of the cores allows a wide range of workload adaptivity, i.e. processor power scales with the complexity and activity of the spiking network. Additional numerical accelerators will enhance the utility of SpiNNaker2 for simulation of spiking neural networks as well as for executing conventional deep neural networks. These measures should increase the simulation capacity of the machine by a factor >50. The interplay between the two domains, i.e. spiking and rate based, will provide an interesting field for algorithm exploration on SpiNNaker2. Apart from the platforms' traditional usage as a neuroscience exploration tool, the extended functionality opens up new application areas such as automotive AI, tactile internet, industry 4.0 and biomedical processing.
Emit – Communicating Sequential Processes in Ruby
Authors: Larsen Mads Ohm  , Vinter Brian
Published: February 2025

CSP is an algebra for reasoning about concurrent systems of processes. Being able to do so has become a necessity for computer scientists. Having to think about abstractions like mutexes and threads in practice can be cumbersome, complex, and erroneous. Ruby as a programming language has been described as fun to program in. It is however missing a CSP framework that it can call its own. Emit, which is presented in this paper, tries to mitigate this by providing such a CSP framework. As a CSP framework, Emit makes it easy to think about processes, channels, and communication. It is not yet feature complete, however comparing it to its nearest peer, PyCSP, shows good performance for the COMMSTIME benchmark, where Emit is 100 times faster.
MUMMERING Platform Idea's & Ubiquitous Data Analysis
Authors: Munk Rasmus  , Vinter Brian
Published: February 2025

The growth from terabytes of 3D imaging data and soon approaching petabytes from material analysis has left the scientists involved with a set of challenges. In particular, the ability to efficiently analyze an ever growing collection of material tomography scans. The MUMMERING research project aims to solve this by providing ability to submit workflows to automate the process of analyzing the collected data. We explore and present our initial design thoughts in this endeavor. This includes a proposal to utilize the IDMC system developed at UCPH to provide an efficient method in terms of scheduling and execution of workflows. Beyond this mere exploration of thoughts about a potential solution for the MUMMERING project, this paper will also we introduce our initial work in providing ubiquitous access to the produced datasets. The aim here is to provide a simple API for loading/storing datasets during an image analysis, by providing this universal data access library (i.e. mig_utils). With this we hope to help the non computer scientists involved in defining imaging analysis programs that easily either can executed locally during the experimentation phase or subsequently scheduled by a workflow scheduler.
Testing and Verifying Parallel Programs Using Data Refinement
Authors: Martin Jeremy M.R.
Published: February 2025

We show how to apply the technique of data refinement from the field of Formal Methods to test or verify scientific parallel programs by generalizing the concept of abstraction functions to distributed data structures. This work is motivated by experience of developing computationally-intensive finance models to support the London Insurance Market and the application of test-driven development to achieve correctness by design.
Big Data Analysis with Skeletons on SOFA
Authors: Skovhede Kenneth  , Vinter Brian
Published: February 2025

This paper explores how a skeleton based approach can be used to perform big data analysis. We introduce a restricted storage system based on blocks with a fixed maximum size. The storage design removes the residual data problem commonly found in storage systems, and enables processing on individual blocks. We then introduce a stream-oriented query system that can be used on top of the distributed storage system. The query system is built on a limited number of core operations. Each of the perform a specified function, such as filtering elements, but are skeleton operations where the programmer needs to fill in how to perform the operation. The operations are designed to allow splitting across the blocks in the storage system, giving concurrent execution while maintaining a completely sequential program description. To assist in understanding the data flow, we also introduce a graphical representation for each of the methods, enabling a visual expression of an algorithm. To evaluate the query system we implement a number of classic Big-Data queries and show how to implement them with code, and how the queries can be visualized with the graphical representation.
Unravelling XC Concepts [[combine]], [[combinable]], [[distribute]], [[distributable]] and [[distributed(..)]] plus par and on …
Authors: Teig Øyvind
Published: February 2025

The XC programming language is designed to make runnable multitask programs for XMOS' xCore multicore microcontrollers, spread on tiles and cores. This presentation addresses only a few aspects of XC. What is a combinable and what is a distributable task, syntactically and semantically, but also resource wise and geographically on the chip? The xCore compiler handles the lowering of interfaces onto statically and dynamically allocated channel resources. The microcode and built-in scheduler also reflect them. Of the rather limited amount of resources, one must make it with 32 chanends per tile, with seemingly loose coupling between the XC code and the final number of chanends. Fiddling around, rather overwhelmed, with [[combine]], [[combinable]], [[distribute]], [[distributable]] and [[distributed(..)]] plus par and on reveals a lot of how unchanged functionality spreads differently over cores or across tiles. Thus the same functional code may require anything from, like, six to zero chanends! The goal of this fringe presentation is to trigger interest, not provide answers. Or rather, only those answers that the author might presently have acquired by surrendering to this can of reserved words and observe what might possibly happen. Like, there must be an electric motor inside, because the sound of it is so pleasant.
Pure Tubular Carcinoma of Breast: A Rare Case Report
Authors: Narayanan Arsha , Jaleel Jiya , Gopalakrishnan Aswathy
Published: February 2025

Tubular carcinoma is one of the rare subtypes of invasive carcinoma breast. We report a case of pure tubular carcinoma of breast, in a 40-year-old female. The patient had complaints of breast lump and was diagnosed with pure tubular carcinoma on histopathological examination. There are minimal reported cases of pure variants of tubular breast carcinoma in literature prior to this. It is imperative that these cases are accurately diagnosed as they have favorable prognosis and better response to therapy. 
Keywords: Tubular carcinoma, Breast cancer.
GlamHub Redefining Beauty and Fashion Retail through Digital Innovation and Consumer-Centric Strategies
Authors: Rathi B.  , Sreedhanya C  , Sunitha S
Published: February 2025

Beauty provides an online way of reservation cosmetic services and also provides a window for customers for their selected services. GlamHub is an online platform that serves as a centralized interface connecting users with various beauty and styling service providers and product vendors. Users can book appointments with parlors, makeup artists, mehandi artists, and rental jewellery and costume shops, as well as order beauty products directly through the platform. The system includes features such as appointment scheduling, complaint resolution, product ordering, and multimedia content showcasing the work of service providers. GlamHub provides access to a diverse range of beauty service providers, including both established beauty parlors and individual artists or renters.
Smart Building Solution for Enhanced Fire Safety and Energy Efficiency Using IoT Technologies
Authors: Makwana Dipesh , Sompura Jay
Published: February 2025

This research paper investigates a Smart Building solution that integrates Internet of Things (IoT) technologies to simultaneously optimize energy consumption and enhance fire safety. The proposed solution leverages IoT-based thermal sensors, smoke detection systems, a LabVIEW-based data acquisition and control system, and MOSFET-controlled power switching circuits. The system dynamically manages lighting and camera systems based on occupancy data and real-time fire detection, thus not only improving energy efficiency and reducing operational costs but also providing rapid emergency response capabilities that enhance occupant safety during fire events. The intelligent management of these systems ensures a high level of safety and efficiency without compromising performance.
НЕМОВЛЕННЄВІ ІНСТРУМЕНТИ ПРАВОВОГО РЕГУЛЮВАННЯ
Authors: ШЕПТУХОВСЬКИЙ Станіслав
Published: February 2025

Розглянуто властивості тексту як засобу комунікації у нормотворенні і правозастосуванні. Оглянуто низку мовленнєвих актів, вчинення яких в силу закону спричиняє правові наслідки та на їх фоні – показано діяння, котрі не є вербальною поведінкою, проте також набувають правового значення в силу вказівки на це в законодавстві, комунікативної ситуації та здатності виражати умисел чи волевиявлення. Обстоюється ідея фактичного здійснення правової комунікації, включно із правовим регулюванням, засобами, які не є ані усним чи письмовим текстом, ані іншою мовленнєвою дією: візуальними чи звуковими сигналами, (нетекстовими) символами, жестами, символікою, пофарбуванням, маркуванням тощо. Розглянуто ознаки мовчання як невербального акта. Висловлено позицію, відповідно до якої неунормованість – через повну відсутність норми або її формулювання у навмисно невизначений спосіб – є юридично значущим мовчанням владного суб’єкта і може виражати (презюмувати) згоду (в адміністративній процедурі), дозвіл (у межах загально-дозвільного принципу) або заборону (у разі спеціально-юридичного підходу). Порушено питання про можливість повного чи часткового закріплення правової норми нетекстовими засобами. Зазначено, що юридична визначеність, як критерій якості законодавства у нетекстовому правовому регулюванні забезпечується конкретизацією ситуації (її звуженням, яке відповідає функції «гіпотези» правової норми та «контексту» у мовленні) застосування немовних засобів, їх попереднього однакового засвоєння учасниками юридично значущої комунікації. За відсутності консенсусу окремі переваги таких засобів – миттєве сприйняття, інтуїтивна зрозумілість – втрачаються, відповідна «візуальна» чи «сонорна» норма стає юридично невизначеною. Зауважено, що немовні засоби використовуються також у рамках звичаю, який є джерелом права – так само, як і закон. Констатовано, що знакові системи, не належні до мови, зокрема – до державної мови як засобу правничої комунікації, – наділені правовим значенням та мають ознаки тексту. На цій підставі зроблено припущення про окремі підстави для розгляду явища тексту за межами мови; одночасно констатовано виконання мовою функції мета-системи щодо відокремлених знакових систем. Зауважено, що у правовій комунікації текст виконує посередницьку функцію. Додержання екстралінгвальної відповідності юридичного тексту зменшує розрив між правом та законом, відставання останнього від правової реальності. Окреслено перспективи розширення предмету лінгвістичної експертизи та зауважено, що інтерпретацію немовленнєвих засобів правової комунікації може бути покладено, зокрема у цивільному процесі, на експерта з питань права.
ПРЕДМЕТНА СФЕРА ДІЯЛЬНОСТІ ЦЕНТРАЛЬНИХ ОРГАНІВ УКРАЇНИ ПІД ЧАС СПІВРОБІТНИЦТВА З МІЖНАРОДНИМ КРИМІНАЛЬНИМ СУДОМ
Authors: СМИРНОВ Максим
Published: February 2025

У статті визначається предметна сфера діяльності центральних органів України, їх функцій та повноваження під час співробітництва з Міжнародним кримінальним судом (МКС). Звертається увага на те, що центральними органами України щодо співробітництва з МКС є Офіс Генерального прокурора – під час розслідування та судового розгляду, а також виконання інших повноважень, що випливають із зобов’язань України у зв’язку з визнанням Україною юрисдикції МКС та Міністерство юстиції України – під час виконання вироків чи інших рішень Міжнародного кримінального суду, ухвалених за результатами розгляду справи. Обґрунтовується твердження, що саме центральні органи України застосовують, передбачені Кримінальним процесуальним кодексом України та Римським статутом МКС різні форми та процедури співробітництва України з МКС з метою сприяння здійсненню розслідування, кримінального переслідування, притягненні до кримінальної відповідальності та покаранні осіб, які вчинили найтяжчі міжнародні злочини, що підпадають під юрисдикцію МКС. Наголошується, що повноваження центрального органу України з питань співробітництва з МКС передбачені ст. 618 Кримінального процесуального кодексу України. Проте зазначена стаття не передбачає вичерпного переліку таких повноважень центрального органу України. В залежності від форм та процедур співробітництва з МКС центральні органи України можуть здійснювати інші повноваження, які передбачені Кримінальним процесуальним кодексом України та Римським статутом МКС. Стверджується, що необхідно розрізняти функції та повноваження центральних органів України, які передбачені розділом IХ та ІХ2 Кримінального процесуального кодексу України. Повноваження центрального органу України передбачені ст. 618 та розділом IХ2 Кримінального процесуального кодексу України обмежуються предметною сферою діяльності, яка пов’язана питаннями співробітництва з МКС під час здійснення розслідування, судового розгляду та виконання рішень МКС. Зазначаються конкретні повноваження центрального органу України під час співробітництва з МКС. Доводиться теза, що функції та повноваження центрального органу України з питань співробітництва з МКС мають особливості, які обумовлені нормативно-правовим регулюванням та правовими підставами здійснення співробітництва, а також предметною сферою діяльності.
ПОНЯТТЯ РОЗВІДКИ ТА ОСОБЛИВОСТІ ЇЇ ВЕДЕННЯ В АНТСЬКО-ВІЗАНТІЙСЬКИХ КОНФЛІКТАХ VI СТОЛІТТЯ
Authors: СУШКО Олександр
Published: February 2025

У науковій статті встановлено, що розвідка є важливою складовою забезпечення національної безпеки, яка має глибоке історичне коріння та еволюціонувала від простих форм збору інформації у доісторичні часи до складних систем, регламентованих законодавством сучасних держав. Водночас у наш час розвідка є ключовим елементом національної безпеки України. З 2020 року в Україні діє Закон України «Про розвідку», у якому законодавчо визначено поняття розвідки, її завдання, функції та організацію. Розглянуто, що на теренах України перші елементи розвідувальної діяльності проявлялися ще в доісторичний період і в подальшому стали важливим елементом виживання та досягнення військової переваги, зокрема під час антсько-візантійських конфліктів VI століття. Обґрунтовано, що анти використовували широкий спектр методів розвідки, включаючи агентурну діяльність, військову розвідку та адаптивні підходи до збору інформації. Співпраця з гунським військом та взаємодія з Візантією сприяли вдосконаленню їхніх навичок розвідки. Водночас Візантія застосовувала ефективні стратегії дипломатичної розвідки, підкупу та принципу «розділяй і володарюй», які послаблювали антські племена. Доведено, що візантійці вважали антів небезпечними противниками, тому під час походів проти них активно застосовували військову розвідку. Здійснено висновок, що вивчення історичних форм розвідувальної діяльності є важливим для розуміння сучасних підходів до організації розвідки. Підкреслено, що історичний досвід може бути корисним для забезпечення національної безпеки України з урахуванням сучасних викликів. Запропоновано перспективи подальших досліджень, зокрема аналіз впливу історичних підходів до розвідки на формування сучасних моделей розвідувальної діяльності.
ПОНЯТТЯ, СКЛАД ТА КВАЛІФІКУЮЧІ ОЗНАКИ АДМІНІСТРАТИВНОГО ПРАВОПОРУШЕННЯ У СФЕРІ ОПОДАТКУВАННЯ
Authors: Ремез Катерина Ігорівна
Published: February 2025

У статті проаналізовано поняття, склад та кваліфікуючі ознаки адміністративного правопорушення у сфері оподаткування. Методологічною основою дослідження стали порівняльний метод та метод міждисциплінарного підходу. Визначено, що податки є основним джерелом доходів держави і забезпечують фінансування важливих сфер життя громадян, таких як освіта, охорона здоров’я, інфраструктура та оборона в системі публічного адміністрування податкової сфери, саме тому важливим аспектом є забезпечення застосування заходів державного примусу, за правопорушення в цій сфері. Виокремлено, що законодавством, на сьогодні, передбачено різні види юридичної відповідальності, серед яких, зокрема адміністративна відповідальність посідає одне із важливих місць. Адміністративна відповідальність за порушення податкового законодавства не лише карає правопорушника, але й має на меті запобігати майбутнім правопорушенням. Вона діє як превентивний засіб примусового характеру, створюючи умови для дотримання податкового законодавства. Підставою для адміністративної відповідальності за порушення податкового законодавства є наявність саме складу адміністративного правопорушення. Охарактеризовано елементи складу адміністративного правопорушення. Визначено, що об’єктом податкового правопорушення є врегульовані нормами адміністративного та податкового права суспільні відносини, які внаслідок дії або бездіяльності завдається шкода чи збиток. Об’єктивною стороною є сукупність визначених відповідною нормою права обов’язкових та факультативних ознак. Суб’єктом податкового правопорушення є особа, яка вчинила порушення податкового законодавства і яку відповідно до чинного законодавства може бути притягнуто до відповідальності, а суб’єктивною стороною є внутрішній бік діяння, що відображає наміри і мотиви особи, що вчинила правопорушення. Визначено, що залежно від того, чи враховуються наслідки вчиненого правопорушення при притягненні особи до відповідальності за порушення податкового законодавства, правопорушення поділяються на матеріальні та формальні.
ОСОБЛИВОСТІ МЕХАНІЗМІВ ПСИХОЛОГІЧНОГО ЗАХИСТУ ЧОЛОВІКІВ ТА ЖІНОК В ЕКСТРЕМАЛЬНИХ СИТУАЦІЯХ
Authors: ЗАЙЦЕВА Олена , ГРИСЬ Антоніна
Published: February 2025

Стаття присвячена теоретичному та емпіричному дослідженню особливостей механізмів психологічного захисту чоловіків та жінок в екстремальних ситуаціях, зокрема в умовах війни. Метою статті є висвітлення результатів емпіричного дослідження особливостей механізмів психологічного захисту чоловіків та жінок в екстремальних ситуаціях та їх порівняння. У дослідженні було використано комплекс методів: теоретичні (аналіз, синтез, порівняння та ін.) емпіричні (анкетування, психодіагностичні методики та ін.), математико-статистичний аналіз. Розкрито та проаналізовано основні підходи до визначення понять та класифікації механізмів психологічного захисту, а також поняття «екстремальної ситуації» у вітчизняній та зарубіжній літературі. Висвітлено психологічні наслідки впливу екстремальних ситуацій на особистість. Наведено результати дослідження нервово-психічної напруженості, психологічного стресу, показники механізмів психологічного захисту та ресурсних каналів в експериментальних групах. У статті також представлено результати порівняльного аналізу показників механізмів психологічного захисту та розвиненості ресурсних каналів між чоловіками та жінками в екстремальних ситуаціях за моделлю. Зроблено висновок, що статистично значимих відмінностей між результатами двох груп немає. Представлено програму розвитку психологічного захисту особистості в екстремальних ситуаціях та надано рекомендації щодо психологічної допомоги людям, які переживають наслідки екстремальних ситуацій. Дослідження відкриває перспектики подальшого вивчення психологічного захисту особистості в екстремальних умовах, а також методів психологічної допомоги людям, що переживають наслідки екстремальних ситуацій.
ПРОФЕСІЙНА ІНТЕГРАЦІЯ ВІЙСЬКОВИХ ВЕТЕРАНІВ У СОЦІУМ: ПСИХОЛОГІЧНИЙ ДОСВІД ЗАРУБІЖЖЯ
Authors: КАЛМИКОВА Лариса , КОБЕЦЬ Ірина
Published: February 2025

Стаття присвячена висвітленню результатів аналізу зарубіжних програм психологічної підтримки військових ветеранів через їхню професійну інтеграцію у соціум. Аналіз існуючих у вітчизняній психології робіт з означеної проблематики засвідчив, що цей напрям психологічних досліджень є відносно новим і малодослідженим. Є окремі розвідки, суміжні з цією проблематикою, але вони більше сфокусовані на вирішенні інших питань реабілітації, зокрема адаптації, становленні, корекції і компенсації порушених психічних функцій. Автори програм професійної інтеграції ветеранів у США, Канаді та Великій Британії виявляють глибоке розуміння важливості психологічної підтримки в процесі переходу військовослужбовців до цивільного життя, зокрема використання: когнітивно-поведінкової терапії (КПТ), методів управління стресом, групової підтримки, психоосвіти, терапії прийняття та відданості (ACT), а також інтеграції психологічного консультування з кар’єрним розвитком. Вони спрямовані на підвищення рівня адаптації, зниження рівня стресу, поліпшення емоційного благополуччя, а також на успішну професійну інтеграцію ветеранів. Дослідження цих програм засвідчило, що вони можуть бути прикладом для використання в Україні. Впровадження та адаптації подібних програм в Україні має передбачати не лише приклад кращих практик, але й урахування культурних особливостей та специфічних потреб українських ветеранів. Залучення кваліфікованих науковців і психологів та терапевтів, розвиток інфраструктури для надання відповідних послуг, формування комплексних навчальних програм є ключовими для забезпечення успішної реабілітації ветеранів. Врахування міжнародного досвіду та його реалізація в українських реаліях може значно сприяти розробці ефективних стратегій психологічної реабілітації та професійної інтеграції ветеранів.
Enhancing the Academic Writing Process Using Artificial Intelligence: A Bibliometric
Authors: Mulyanah Euis Yanah , Hidayat Sholeh , Yuhana Yuyu , Ishak
Published: February 2025

This systematic literature review (SLR) examines the limitations of Artificial Intelligence (AI) writing assistant tools and their implications for education. The study identifies six critical shortcomings: (1) lack of academic rigor, (2) insufficient knowledge base, (3) inability to synthesize complex ideas, (4) absence of human cognitive abilities, (5) limited adaptability, and (6) questionable originality. The review highlights the challenges of engaging students with diverse emotional and cognitive characteristics, supported by statistical insights into emotional and cognitive engagement. It explores the ethical considerations and potential impacts of AI technologies on academic integrity and credibility. The findings also encompass a comparative analysis of AI models like Gemini and ChatGPT, their applications in various educational contexts, and their effectiveness in tasks such as feedback mechanisms and assessment techniques. Findings underscore the tools' potential to enhance engagement and comprehension while emphasizing the need for balanced integration with human input to preserve academic credibility. This research highlights AI's transformative yet limited role in education, advocating for responsible use and continuous evaluation.
TESTING AND IMPLEMENTATION OF NEW CATALYSTS FOR HYDROTREATING GASOLINE FRACTIONS
Authors:   JSC «Middle Volga Oil Refining Research Institute» (JSC «MidVolgaNIINP»), Kirillova E. V. , Markova M. G. ,   JSC «Middle Volga Oil Refining Research Institute» (JSC «MidVolgaNIINP»), Tyukilina P. M. ,   JSC «Middle Volga Oil Refining Research Institute» (JSC «MidVolgaNIINP»), Chernobrovin K. A. ,   PJSC «Rosneft Oil Company», Pakhomov A. V. ,   PJSC «Rosneft Oil Company»
Published: February 2025

Comparative laboratory tests were carried out on a new package of catalysts for the hydrotreating of gasoline fractions produced by LLC RN-kat, consisting of catalysts RN-2152 (nickel-molybdenum) (RN-2152 (NM)) and RN-2151 (cobalt-molybdenum) (RN-2151 (CM)). As comparison samples, catalysts for hydrotreating oil fractions AGKD-400 produced by JSC Angarsk Plant of Catalysts and Organic Synthesis (JSC APC and OS) were tested, in a package consisting of nickel-molybdenum and cobalt-molybdenum samples, as well as regenerated and passivated catalysts TK-578, passed two cycles of operation at a diesel fuel hydrotreating plant. Because of the analysis of the physicochemical characteristics of the catalysts, a reduced content of active components was noted in RN-2152 (NM) and RN-2151 (CM), along with high mechanical strength and developed specific surface area of these samples. The results of determining the total conversion of organosulfur and nitrogen components showed that the most active in terms of the set of hydrotreating reactions are the package of catalysts RN-2152 (AN), RN-2151 (CM). Industrial loading of the new package of catalysts was carried out at the hydrotreating unit for gasoline fractions of the Bashneft-Ufimsky Refinery, a branch of PJSC ANK Bashneft. The parameters of the initial activity of the catalysts under production conditions confirm the prediction of activity obtained as a result of laboratory tests.
SOL-GEL METHOD AND ASPECT OF ITS CHOICE FOR BOEHMITE ALUMINUM HYDROXIDES PRODUCTION IN THE RUSSIAN FEDERATION
Authors:   St. Petersburg State Institute of Technology, Yakovlev A.V. , Parfenova L.V. ,   «ARSKA Tech» LLC, Loginov S.V. ,   St. Petersburg State Institute of Technology, Volovikov A.Yu. ,   «ARSKA Tech» LLC
Published: February 2025

In study the prerequisites of sol-gel method working up for industrial production of aluminum hydroxide (AH) as a binder in the processes of obtaining catalyst supports is briefly set forth. The researching results of different AH phases (amorphous, pseudoboehmite, bayerite) formation mechanism are depicted, primarily derived in period of industrial AH producing technology development. The principal parameters and operating conditions of two basic process stages - aluminum alkoxides hydrolysis and gelling -, which control the phase composition of the AH-product, are found out. Sol-gel process parameters determining get of preferably pure boehmite phase are vigorous mixing of reagents flows, high hydrolysis temperature – 90°C and high gelling modulus (peptization coefficient) ≥ 0.5 g acid /g alkoxide Al. The information revealed during analysis of literary sources may be used in the elaboration of AH production by similar sol-gel method in the Russian Federation.
ISOPRENOIDS: GENERAL CHARACTERISTICS, METHODS OF DETERMINATION AND FIELDS OF APPLICATION
Authors:   Institute of Chemistry of Additives named after academician A.M. Guliyev, Ministry of Science and Education of Azerbaijan, Mammadova P.Sh. , Babayev E.R. ,   Institute of Chemistry of Additives named after academician A.M. Guliyev, Ministry of Science and Education of Azerbaijan, Suleymanova E.I. ,   Azerbaijan State University of Oil and Industry, Maharramova L.M. ,   Azerbaijan State University of Oil and Industry
Published: February 2025

Isoprenoids, also known in scientific literature as terpenoids, are a class of naturally occurring organic chemicals derived from the 5-carbon compound isoprene and its derivatives called terpenes, diterpenes, etc. There are approximately 80,000 compounds in this class of compounds. Many terpenoids have significant pharmacological and biological activity and are therefore of interest for medicinal and organic chemistry. Plant terpenoids are used for their aromatic properties and play a role in traditional herbal medicines. However, isoprenoids have a number of other applications, in particular as components of fuels, as well as biomarkers of oils.
PECULIARITIES OF SMM PROMOTION STRATEGY FORMATION: MODERN APPROACHES AND TOOLS
Authors:   State University of Information and Communication Technologies, Romashchenko Olha , Kachmala Viktoriia ,   State University of Information and Communication Technologies, Pavlov Volodymyr ,   State University of Information and Communication Technologies, Hrachov Bohdan ,   State University of Information and Communication Technologies
Published: February 2025

The article examines the features of creating SMM promotion strategies in the context of the digital transformation of marketing communications. The paper examines key aspects of effective SMM marketing, including market research, target audience analysis, selection of optimal social platforms, and content strategy development. Particular attention is paid to monitoring the effectiveness of SMM campaigns and evaluating their results using modern digital tools. Particular attention is paid to modern digital tools, such as Google Analytics, Meta Business Suite, SEMrush, Brandwatch, and others, which allow studying user behavior and increasing the effectiveness of marketing campaigns. The article is aimed at studying modern methods of forming SMM promotion strategies, identifying key tools for effective interaction with the audience in social networks, and analyzing the impact of digital technologies on the marketing activities of enterprises. The paper examines the main stages of developing an SMM strategy, modern trends in online promotion, and methods for assessing the effectiveness of marketing campaigns in the digital environment. Separately, modern tools and platforms for analyzing the effectiveness of marketing campaigns are considered, in particular, Google Analytics, Meta Business Suite, SEMrush, Brandwatch. They allow for a deeper understanding of user behavior, analysis of engagement dynamics, and adjustment of the strategy depending on the results obtained. The article emphasizes the importance of content personalization, automation of online promotion processes, use of video content, cooperation with opinion leaders, and integration of augmented reality technologies into content as an important factor in increasing user engagement. The importance of automating SMM promotion processes is substantiated, which allows optimizing workflows and increasing the efficiency of interaction with the audience. The results of the study confirm that effective planning and implementation of SMM campaigns requires a detailed analysis of audience behavior, adaptation to modern trends and a comprehensive approach to brand management in social networks. The article offers recommendations for improving SMM promotion strategies that will help increase the competitiveness of enterprises in the digital economy.
ASSESSING THE IMPACT OF FINTECH ON FINANCIAL INCLUSION IN ALGERIA: AN ANALYSIS OF DIGITAL FINANCIAL TRANSFORMATION INDICATORS (2016-2022)
Authors: Benamar Djamel Eddine , Mokhtari Sid-Ahmed , Chine Lazhar
Published: February 2025

This research examines the correlation between financial inclusion and financial technology (fintech), particularly emphasizing how fintech can expedite the digital financial transformation in Algeria. This research examines how individuals and institutions are able to access financial products and services, contributing to broader economic development. The study covers the period from 2016 to 2022, employing a descriptive-analytical methodology and incorporating the deductive method for analyzing economic data derived from official statistics and World Bank reports. According to the World Bank data, the adoption of fintech is slowing down due to the deficiency in financial knowledge of the Algerian banking system. According to World Bank data, the results indicate that Algeria is making slow progress in implementing fintech solutions to enhance financial inclusion. This stagnation is attributed to low financial literacy levels and the underdeveloped banking system. The originality of this paper lies in its focus on the intersection between fintech adoption and financial inclusion in the Algerian context, a relatively underexplored area. The study affirms the need to accelerate the digitization of financial and banking services in Algeria by promoting fintech products, improving software infrastructure, and enhancing network readiness indicators. The research concludes with recommendations for policymakers to improve digital financial literacy and foster innovation in banking technologies to achieve broader financial inclusion.
ASSESSMENT OF STATE CIVIL SERVANT RECRUITMENT FOR INDIGENOUS PAPUANS IN SORONG
Authors: Saragih Fauziah , Suswanta  , Amal Ikhlasul
Published: February 2025

This research explores the evaluation of the recruitment of State Civil Apparatus for Indigenous Papuans in Sorong City and the obstacles experienced by the government in recruiting State Civil Apparatus for Indigenous Papuans. The recruitment process for civil servants and state civil servants must be adjusted to three indicators: job analysis, workload analysis, and needs analysis. The novelty of this research is unique because it involves Indigenous Papuans actively in the design and implementation of the recruitment process, giving them a greater role in decisions regarding human resources in the Sorong City government. The method used in this research uses a qualitative-descriptive approach. Data sources were taken from documentary observations and interviews. The findings of this research indicate that the recruitment of State Civil Apparatus for Indigenous Papuans in developing human resources for civil servants in Sorong City is in accordance with government policy and is regulated in Law Number 21 of 2001 concerning Special Autonomy for Papua. Therefore, with the government policy in place so far, the recruitment system for State Civil Apparatus (ASN) for Indigenous Papuans (OAP) is 80 percent and for non-Indigenous Papuans, 20 percent. Then, develop a welfare and justice monitoring mechanism that focuses on Indigenous Papuans who have been recruited to ensure that they get their rights and are treated fairly in the work environment. The obstacles experienced in the recruitment system for State Civil Apparatus (ASN) are the government's budget, human resources, and inadequate infrastructure.
The Effectiveness of Decision Making in the Educational Sector: “Benchmarking of Strategic Management of Colleges in Oman and UK
Authors: Zeaitar Jalal , Sheidi Sheidi
Published: February 2025

The study aims to compare the decision-making processes in the educational institutions of Oman and the UK, considering their respective strategic management models to achieve this aim; the data regarding the decision-making was collected from the respective colleges of the UK and Oman. The target population was concerned departments’ Dean, Directors, and HOD. About 14 responses were collected. Frequency and percentage of responses were identified. Three main themes were identified through thematic analysis of survey results, including information systems, internal and external threats management, and outstanding accomplishments of institutions. However, the small sample size (N=14) is the primary limitation restricting the study results. Results from a study between the UK and Oman showed differences in risk management and internal procedures. This study offers recommendations for bettering strategic management techniques and enhancing our awareness of decision-making processes in higher education. Furthermore, it highlights the need for a well-rounded strategy for making decisions that combines effectiveness with inclusion. Recommendations are offered to educational policymakers and administrators to improve strategic decision-making and entire institutional performance.

Keywords:

Decision making, strategic management, educational institutions, Oman colleges, UK colleges.
Pemanfaatan Buah Naga Merah (Hylocereus costaricensis L.) Sebagai Antioksidan Pada Sediaan Sabun Padat
Authors: Dewi Betna , Elmitra
Published: February 2025

Buah naga merah merupakan tanaman yang banyak mengandung manfaat salah satunya bagian kulit tanaman yang banyak mengandung vitamin, alkaloid, terpenoid, flavonoid dan metabolitb lainnya. Keunggulan dari kulit buah naga super merah, yaitu kaya polifenol dan merupakan sumber antioksidan. Selain itu, aktivitas antioksidan pada kulit buah naga merah lebih besar dibandingkan aktivitas antioksidan pada daging buahnya, sehingga berpotensi untuk dikembangkan menjadi sumber antioksidan alami. Pemanfaatan kulit buah naga merahdengan memformulasikan menjadi sabun padat ekstrak kulit buah naga merah dengan menggunakan metode dingin dengan membuat empat formula FO, F1,F2 dan F3 dengan berbagai variasi konsentrasi ekstrak dan minyak sawit. Proses pembuatan ekstrak dengan  metode maserasi, evaluasi  fisik sediaan meliputi uji organolepstis, pH, stabilitas busa dan uji kesukaan konsumen. Hasil penelitian yang didapatkan  dimana kulit buah naga merah dapat di manfaatkan sebagai sabun padat, hasil evaluasi sabun padat ekstrak buah naga merah dengan berbagai variasi konsentraasi ekstrak kulit buah naga merah dan varias minyak sawit memberikan pengaruh pada evaluasi sediaan, Semua Formula FO, F1,F2 dan F3 memenuhi uji sifat fisik sediaan.
Pengaruh PIO Dengan Dan Tanpa Media Leaflet Terhadap Tingkat Kepatuhan Minum Obat Pasien Hipertensi Di Puskesmas X Kabupaten Batanghari
Authors: Nurhidayanti RTS. Reni , Hadriyati Armini , Yulion Rizky
Published: February 2025

Kepatuhan minum obat sering menjadi kendala bagi pasien dengan penyakit kronis salah satunya adalah hipertensi karena akan mengkonsumsi obat seumur hidup dengan terkontrol. Tujuan penelitian ini untuk mengetahui pengaruh pemberian informasi obat (PIO) dengan dan tanpa media leaflet terhadap kepatuhan minum obat pasien hipertensi rawat jalan di Puskesmas X Kecamatan Batin XXIV Kabupaten Batanghari. Penelitian ini adalah jenis kuantitatif, desain quasi eksperimen dengan rancangan pretest-posttest control grup design. Data diambil secara prospektif dan diukur tingkat kepatuhannya dengan kuesioner MMAS-8 (Morisky Medication Adherence Scale). Hasil analisis memperlihatkan bahwa pemberian informasi obat tanpa media leaflet, dengan uji wilcoxon diperoleh tidak ada pengaruh peningkatan kepatuhan yang signifikan dengan p-value 0.138 (P>0.05) sedangkan hasil dari pemberian informasi obat dengan media leaflet adanya pengaruh peningkatan kepatuhan yang signifikan dengan p-value 0.000 (P<0.05). Kesimpulan penelitian ini adalah pemberian informasi dengan media leaflet berpengaruh dalam meningkatkan kepatuhan minum obat dibandingkan pemberian informasi tanpa media leaflet terhadap pasien hipertensi.
Integration of Piezoelectric Wafer Sensors PWS Signal to Generate Ultrasonic Guided Waves in Planar and Cylindrical Waveguide
Authors: Zitouni Ismaine , Rhimini Hassan , Chouaf Abdelkerim
Published: February 2025

This paper explores the integration of piezoelectric wafers as both generators and receivers of ultrasonic-guided waves in planar and cylindrical waveguides. To this end, a ceramic Piezoelectric single crystal (PZT) generates mechanical waves in the structure. The experimental setup is thoroughly described, and the emitted signals are compared with those from two ultrasonic transducers to ensure signal integrity. A 1D Fast Fourier transform is utilized to monitor the resonant frequency of the generated waves. The study focuses on two types of waveguides: a multi-layer fiberglass composite plate [0° 90°]6 and a single-layer stainless steel pipeline. For each structure, a specific layout of PZT wafers is established to analyze the propagation of guided ultrasonic waves. The results show that PZT wafers effectively generated guided wave modes, allowing for the inspection of structural integrity in both the composite plate and pipeline. Notably, the signals were captured without any loss of information, highlighting the advantages of PZT wafers, including their consistent vibration frequency, simple use, and excellent contact with both flat and curved surfaces. This demonstrates the potential of PWS technology for reliable non-destructive testing in complex structures.