bluuebunny/crossref_metadata_2025_split huggingface dataset:
KELANCARAN PRODUKTIVITAS BONGKAR MUAT
Authors: Soedarmanto Soedarmanto , Priyohadi Nugroho Dwi , Priyanto Edi , Susanto Susanto 
Published: January 2024

Tujuan penelitian ini adalah untuk mengetahui pengaruh antara kesiapan alat ship to shore Crane, dan jumlah kapal sandar terhadap Produktivitas Bongkar muat kapal. Obyek penelitian ini adalah PT. Terminal Teluk Lamong. Populasi dan sampel dalam penelitian ini adalah sampel jenuh,yaitu seluruh kegiatan bongkar muat di PT. Terminal Teluk Lamong. Teknik analisa yang digunakan adalah regresi linier berganda. Hasil penelitian menyebutkan bahwa kesiapan alat Ship To shore Crane Twinlift dan Ship To Shore Singlelift tidak berpengaruh signifikan dan negative terhadapa produktivitas bongkar muat, sedangkan jumlah kapal yang bersandar berpengaruh signifikan dan positif terhadap produktivitas bongkar muat. Jika kesiapan alat Ship To shore Crane Twinlift dan Ship To Shore Singlelift mengalami penurunan, maka volume produktivitas bongkar muat dari PT.Terminal Teluk lamong akan menurun, dan jika jumlah kapal yang bersandar naik maka produktivitas bongkar muat mengalami kenaikan
Implementasi Regulasi Nasional Terhadap Keselamatan Kapal Penangkap Ikan (Studi Kasus: Pelabuhan Perikanan Pantai Sadeng, Girisubo, Gunung Kidul)
Authors: Salim Salim , Pratama Wegig , Wibowo Waris , Astriawati Ningrum 
Published: January 2024

Secara umum kapal penangkap ikan di Indonesia di dominasi oleh kapal – kapal perikanan yang berukuran kecil berkisar 5 GT, dan hanya sekitar 15% yang berukuran diatas 5 GT. Bila ditinjau dari ketaatan terhadap regulasi nasional masih banyak terjadi pelanggaran. Dilain sisi faktor keamanan dan keselamatan adalah factor utama yang harus diterapkan. Pelabuhan Perikanan Pantai (PPP) Sadeng merupakan pelabuhan perikanan terbesar di propinsi Daerah Istimewa Yogyakarta (DIY). Demi keselamatan dan kelancaran operasional kapal penangkap ikan semestinya penerapan Regulasi harus dijalankan dengan baik. Penelitian ini bertujuan 1) mengetahui aturan terkait implementasi Regulasi tentang keselamatan kapal penangkap ikan di PPP Sadeng, 2) memberi saran dan masukan bagi stakeholder akan manfaat dari Regulasi Nasional tentang keselamatan kapal penangkap ikan. Penelitian ini merupakan penelitian deskriptif kualitatif, teknik pengumpulan data didapatkan melalui penelitian lapangan field research dengan penggabungan metode observasi, dokumentasi, dan studi Pustaka, analisa data dilakukan secara triangulasi. Hasil penelitian menunjukkan 1) Implementasi Regulasi tentang keselamatan kapal penangkap ikan mengacu kepada Surat Keputusan Menteri No.46 Tahun 1996, PP No. 7 Tahun 2000 , UU No.31 Tahun 2004, Keputusan Menteri No. 9 Tahun 2005, UU. No. 17 Tahun 2008, 2) mengingat karakteristik pekerjaan pada kapal penangkap ikan berbeda sekali dengan kapal lainnya maka disarankan pengaturan keselamatan awak kapal, standar kapal penangkap ikan, pengawakan, persyaratan kerja dan lainya diatur tersendiri, serta perlu adanya sosialisasi dan pengkajian lebih mendalam dan harmonisasi antara peraturan nasional dengan peraturan internasional tentang kapal penangkap ikan untuk meratifikasi STCW-F 1995 dan Torremolinos Safety of Fishing Vessel Convention 1977.
First Steps in Verified Placement, Routing and Timing
Authors: Myreen Magnus O. 
Published: January 2024

Doing any formal reasoning below the boolean abstraction of hardware gates is very unusual, mostly because the models of hardware below this abstraction layer are, at least to me, vague and/or complicated. In this talk, I will present a not-so-serious work-in-progress project on formal reasoning below the level of the boolean abstraction of hardware gates. More precisely, I will explain how hardware gates realised in Conway's Game of Life can be verified and how verified circuits consisting of such gates can be developed. This project touches on verification of placement, routing and timing, which are topics I suspect formal verification in interactive theorem provers have not explored before.
Energy Transparency - More Power to Software Developers!
Authors: Eder Kerstin 
Published: January 2024

Energy efficiency is now a major, if not the major, constraint in electronic systems engineering. Significant progress has been made in low power hardware design for several decades. The potential for savings is now far greater at the higher levels of abstraction in the system stack. The greatest savings are expected from energy consumption-aware software. Promoting energy efficiency to a first class software design goal is therefore an urgent research challenge.Designing software for energy efficiency requires visibility of energy consumption from the hardware, where the energy is consumed, all the way through to the programs that ultimately control what the hardware does. This visibility is termed energy transparency. Energy transparency enables a deeper understanding of how algorithms and coding impact on the energy consumption of a computation when executed on hardware. It is a key prerequisite for informed design space exploration and helps system designers to find the optimal trade-off between performance, accuracy, security and energy consumption of a computation.In this seminar I will outline recent research advances that will give "more power" to software developers. We will investigate why software is key to energy efficient computing, what energy transparency is, how to monitor and measure the energy consumed by software, how to model energy consumption at different abstraction levels, how data affects the energy consumption of a computation, and how to statically estimate the energy consumed by software.
Learning to Design Efficient Logic Circuits
Authors: Hillier Adam , Vũ Ngân (NV) , Mankowitz Daniel J. , Calandriello Daniele , Leurent Edouard , Rotival Georges , Lobov Ivan , Mahajan Kshiteej , Gelmi Marco , Antropova Natasha 
Published: January 2024

Logic synthesis is the problem of designing a circuit composed of logic gates (e.g., AND, OR, etc.) from an abstract specification of a function (e.g., a truth table) that the circuit should implement. It is how the basic building blocks of modern chips are designed, and is therefore one of the fundamental problems of modern chip design. This is a challenging problem, because in addition to fidelity to the specification, logic synthesis must also take into account the efficiency of the design when implemented in hardware. We propose a machine learning-driven approach to design efficient logic circuits, composed of two stages: 1. Generate a design that optimizes correctness with respect to the specification.
2. Optimize the efficiency of the design while maintaining functional equivalence with respect to the design from the first stage. We compared our technique to other competitive approaches by participating in the IWLS 2023 Programming Contest and achieved the best solution on 82% of circuit design problems in the competition. These results demonstrate that the proposed approach can be used to design logic circuits that are both functionally correct and competitive with human-designed circuits.
Individual and Organisational Differences Affecting Employees’ Satisfaction with Training Programs in Financial Services Triad
Authors: Al Madani Asma , Alkooheji Lamya , Alhittami Abdulghani 
Published: January 2024

The financial sector plays a major role in the economy of the Kingdom Bahrain. This study aimed at examining the relationship between individual and organisational factors in the financial services triad and the level of satisfaction with training programs. Using an online survey, 538 responses were collected from employees in the banking and finance, investment, and insurance sectors in Bahrain. The analysis showed that there was a significant correlation between employees’ satisfaction with training and their age, gender, who selected the program and the mode of delivery, while there was no correlation between their satisfaction with training and their speciality or length of work experience. The participants expressed interest in personalising the training plan to their own needs and goals; receiving more advanced training that is linked to personal and organisational strategic plans; receiving more interaction during the programs; and having problem-based cases and topics introduced into the training.
Allama Iqbal’s Epistemological Approach Towards Religious Ontology
Authors: Dr. Ali RazaTahir  , Muhammad Iqbal Shah  
Published: January 2024

Ontology is a branch of knowledge which is related to the types of existences which are two types the Phenomena and the Noumena. Epistemology is a branch of knowledge which explains the nature and existence of the physical objects which have surrounded us thus the is called the phenomena world. But there are some non-physical ‘phenomenoa’ which Kant had described as the Noumena world. For the former, the human rationality and observation are the types of epistem0lgy which provide answer to some extent. But for the later, these epistemological sources are not sufficient. Thus religion proclaims that it has answer to all these ‘noumenal world’ and metaphysical existences.
Here is Allama Iqbal’s understanding and views that what epistemological approach Islam adopts and how it interprets and explains the noumenal existence such as, the concept 0f God, the human beings, the nature of human beings, their relation to the world, the God and the relationship between the noumenal and phenomenal worlds and the roll of theses explanation in the status of the human beings.
Comportamiento del cultivo de naranja Valencia (Citrus x sinensis (L) Osbeck cv. Valencia) en “fincas tipo” en la provincia de Chanchamayo, Junín, selva central del Perú
Authors: Ruiz-Camacho Wilfredo 
Published: January 2024

Este trabajo se realizó con el objetivo de conocer el comportamiento del cultivo de naranja Valencia en “fincas tipo” de la provincia de Chanchamayo, Junín-Perú. El estudio se realizó en Chanchamayo, Región Junín, entre los meses de enero y diciembre del año 2016; para ello se seleccionaron cuatro “fincas tipo” (FT1, FT2, FT3, FT4), con plantas de diez años de edad.
Se le denomina “finca tipo” a la propiedad representativa del grupo de fincas del que fue seleccionado. En cada “finca tipo” se tomaron muestras de suelo, se seleccionaron cincuenta plantas y se evaluaron las características químicas del suelo; incidencia de plagas y enfermedades, calidad del fruto (peso, diámetro y brix) y rendimiento. Para el análisis estadístico, cada “finca tipo” se consideró como un tratamiento, y cada planta como una repetición (cuatro tratamientos con cincuenta repeticiones); y se trabajó como si fuera un Diseño Completamente al Azar.
Los resultados mostraron que el comportamiento de la naranja Valencia fue mejor en la FT2. Esta “finca tipo” tuvo la menor incidencia de plagas y enfermedades; la mejor calidad de fruta y el mayor rendimiento, pero también es la que recibió una mayor inversión.
Analysis of River Flow Velocity Using Current Meter with Six-Tenths Method and Two-Point Method (Case Study of Ampal River, Balikpapan City)
Authors: Giarto Rahmat Bangun , Kiptiah Mariatul , Pradana Ryan 
Published: January 2024

Rivers have cross-sectional sizes in the form of longitudinal profiles, valley slopes, and cross sections. The size can change according to the base material, cliffs, and water discharge so each river has different characteristics. The flow velocity will affect the flow rate. This study aims to determine the flow velocity of the Ampal River and determine the differences between the methods used. Measurement of flow velocity in this study using a current meter with the six-tenths method and the two-point method. The fastest flow velocity obtained on average is at the point z/b = 0.5 or in the middle of the river, with the maximum speed being at Cross Section 4, with a depth of 1.29 m and a speed of 0.474 m/s.
Factors influencing household expenditure on school education in Karnataka
Authors: Jayalakshmi N. , Indira M 
Published: January 2024

Private expenditure on school education is one of the sources of education expenditure other than state and central government spending. The 86th Constitutional Amendment Act 2002, and the Right to Education (RTE) Act, 2009 introduced a rights-based approach to free and compulsory education for all children in the age group of six to fourteen years in India. Under the Right to Education (RTE) Act, a limited number of seats are allocated for free education to economically backward sections in private and private-aided schools. Despite the free education for students in government schools and RTE admissions in private schools, parents incur considerable expenditure. With the increase in the number of private schools, there is an increasing trend in private expenditure on education in India. In this context, this paper analyses factors influencing household expenditure on school education. It is based on primary data collected at the household level in Mysuru district in both rural and urban areas through a survey. The sample consists of 192 households each from urban and rural areas selected randomly from the list available at the schools. Factors influencing the education expenditure of the households on school education were estimated through a linear regression model. Annual Household Income (AHHI), Occupational Status of Father (OSF), Location of Household (LHH), Education Level of Mother (ELM), Education Level of Father (ELF) and Type of Institution (TI) have a positive and significant relationship with total Annual Household Education Expenditure (AHHEE) of the first child in school. In the case of a second school-going child, only Annual Household Income (AHHI) and Type of Institution (TI) were found to have a significant relationship with Annual Household Education Expenditure (AHHEE).
Application of improved Beck oral score in oral care of burn patients with mechanical ventilation
Authors: Wang Yan , Guo Rui , Wang Shu-jie , Zhou Xiu-mei 
Published: January 2024

Objective: To explore the application effect of improved Beck oral score in oral care of burn patients with mechanical ventilation, to provide practical basis for oral care of such patients.Methods: A total of 42 patients with tracheotomy and mechanical ventilation in the Department of Burn Surgery of Baogang Hospital in Inner Mongolia from January 2021 to December 2022 were selected as the study objects, and the patients were randomly divided into observation group and control group, with 21 cases in each group. The control group was given routine oral care, and the observation group was given oral care according to improved Beck oral score. The following were compared between the two groups: Age, total burn area, third-degree burn area, acute physiological and chronic health assessment scores, as well as improved Beck oral scores; the incidence of oral odor, plaque index, mouth ulcer and ventilator-associated pneumonia (VAP) after 7 days; the detection of microorganism in oral secretions.Results: After 7 days, the oral condition of patients in observation group was effectively improved, and the oral comfort level was significantly improved. The incidence of oral odor (2.57±1.59), dental plaque index (2.62±1.47), oral ulcer evaluation (2.24±1.09), VAP incidence (9.52%) and improved Beck oral score (8.09±1.92) in observation group were all lower than those in control group, which was (3.95±1.82), (3.57±1.21), (3.14±1.24), (38.09%), and (9.90±2.21) respectively. The difference was statistically significant (p < .05). The oral normal flora in observation group (71.43%) was higher than that in control group (28.57%), and the difference was statistically significant (p < .05). The oral gram-positive bacteria (19.05%) and Gram-negative bacteria (23.81%) in observation group were lower than those in control group, which was 52.38% and 57.14% respectively, and the difference was statistically significant (p < .05).Conclusions: The application of the improved Beck oral assessment method in dynamic oral care can effectively reduce the content of oral pathogens, lower the incidence of pulmonary infection, and improve the quality of life of patients.
Analisis Pertanyaan dalam Buku Ajar Bahasa Indonesia Tingkat Perguruan Tinggi Berdasarkan Taksonomi Bloom
Authors: Ardiyati Syafira Mahfuzi , Sudewi Ni Ketut Putri Nila 
Published: January 2024

This study aims to describe reading questions contained in textbooks Indonesian the university level using the cognitive dimension of Bloom's Taxonomy. This study used qualitative descriptive method. The data collection technique carried out in this study is in the form of documentation. The results showed that (1) there were 102 questions that were spread unevenly. (2) Bloom's taxonomy includes six cognitive domains namely C1 (remembering), C2 (understanding), C3 (applying), C4 (analyzing), C5 (judging), and C6 (creating). (3) Questions contained in textbooks Indonesian the college level of the cognitive realm understand /C2 dominates with a much greater percentage proportion than other cognitive levels
PERSEPSI MAHASISWA TERHADAP ONLINE PEER FEEDBACK PADA TUGAS MENULIS DISCUSSION TEXT
Authors: Ulya Inayatul 
Published: January 2024

Writing is a productive activity where the writer expresses his/her ideas in the form of sentences, paragraphs or text. One of the writing material is Discussion Text, this text provides the pros and cons of an issue. To know how far students’ writing skill mastered, it was needed to do feedback, one of them was online peer feedback. This study aimed to find out students’ perception on the implementation of online peer feedback on the project of writing discussion text. Mix method research was applied. The subject of the study were the 2nd semester students of English Education Department of Pekalongan University. Questionnaire, interview, and documentation were conducted to get the data. For the quantitative data, they were analyzed statistically, meanwhile for the qualitative data, they were described by doing data interpretation. The finding showed that students’ perceptions in terms of online peer feedback were online peer feedback can be done flexibly and easily accessed. Through peer feedback, students can identify the colleagues writing, in terms of content, structure, linguistic features, vocabulary, and mechanics. Meanwhile, the obstacles faced were that it was not easy for students to compose words in delivering feedback. .
Faktor yang Berhubungan dengan Turnover Intention pada Perawat di RS X Kota Pekalongan
Authors: Fatiyah Sali , Irawan Teguh , Priharwanti Ardiana 
Published: January 2024

Background : Nurses have a very important task for the provision of health services in hospitals. If the existing turnover intention is high, it can be detrimental to the hospital management. Based on data from the HRD Division of Karomah Holistic Hospital in 2023, the turnover rate for nurses in 2022 reached 19.23%. The purpose of this study was to determine the factors associated with turnover intention in nurses at Karomah Holistic Hospital, Pekalongan City. This type of research is analytic observational research with a quantitative approach using a cross sectional research design. Sampling using saturated sampling. The sample of this study were all nurses who were actively working at Karomah Holistic Hospital as many as 30 people. The research instrument used a questionnaire. Data analysis using the Rank-Spearman Correlation Test. The results showed that there was no significant relationship between work stress (? value = 0.545) and turnover intention in nurses at Karomah Holistic Hospital and there was a significant relationship between compensation (? value = 0.000), career development (? value = 0.000), and work environment (? value = 0.000) with turnover intention in nurses at Karomah Holistic Hospital.
Keywords : Turnover Intention, Nurse, Hospital

Background : Nurses have a very important task for the provision of health services in hospitals. If the existing turnover intention is high, it can be detrimental to the hospital management. Based on data from the HRD Division of Karomah Holistic Hospital in 2023, the turnover rate for nurses in 2022 reached 19.23%. The purpose of this study was to determine the factors associated with turnover intention in nurses at Karomah Holistic Hospital, Pekalongan City. This type of research is analytic observational research with a quantitative approach using a cross sectional research design. Sampling using saturated sampling. The sample of this study were all nurses who were actively working at Karomah Holistic Hospital as many as 30 people. The research instrument used a questionnaire. Data analysis using the Rank-Spearman Correlation Test. The results showed that there was no significant relationship between work stress (? value = 0.545) and turnover intention in nurses at Karomah Holistic Hospital and there was a significant relationship between compensation (? value = 0.000), career development (? value = 0.000), and work environment (? value = 0.000) with turnover intention in nurses at Karomah Holistic Hospital.
Keywords : Turnover Intention, Nurse, Hospital
Het specialiteitsbeginsel in het overleveringsrecht
Authors: Horenblas A.J. (Bram) , Buruma T.M.D. (Tamara) 
Published: January 2024

Het specialiteitsbeginsel in het overleveringsrecht naar aanleiding van HR 12 juli 2022, ECLI:NL:HR:2022:982
In zijn arrest van 12 juli 2022 gaat de Hoge Raad (onder meer) in op de vraag welk rechtsgevolg moet volgen als een overgeleverd persoon wordt vervolgd, berecht of anderszins van zijn vrijheid wordt beroofd voor een ander feit dan het feit (c.q. de feiten) waarop het Europees Arrestatiebevel (EAB) zag (c.q. zagen) én als de uitvoerende lidstaat daar (nog) geen toestemming voor heeft gegeven. In deze bijdrage wordt die uitspraak samengevat en van commentaar voorzien.
RANCANGAN PENGELOLAAN KEBERSIHAN LINGKUNGAN DI KOTA PEMATANG SIANTAR
Authors: Rahmadhani Dicky , Nuraini Cut , Abdiyanto Abdiyanto , Sugiarto Abdi , Millanie Feby 
Published: January 2024

Sampah berfungsi sebagai tempat tinggal berbagai mikroorganisme penyebab penyakit dan juga sebagai cara untuk menyebarkan penyakit. Oleh karena itu, pengelolaan sampah sebaiknya harus di tingkatkan sehingga dampaknya berpengaruh baik bagi Kesehatan masyarakat dan lingkungan khususnya. Faktor yang mempegaruhi pengelolaan sampah meliputi pengumpulan, pengolahan, transportasi dan pemusnahan. Di kota Pematang Siantar, yang menjadi fokus dalam pengelolaan kebersihan lingkungan dari segi sampah berupa pendekatan akhir yang meliputi tahap pengumpulan, pengangkutan dan pembuangan sampah ke Tempat Pembuangan Akhir (TPA). Pada penelitian ini, diketahui bahwa kondisi TPA Pematang Siantar dalam kategori kurang layak dan membahayakan lingkungan. Penelitian ini menggunakan model deskriptif kualitatif dengan metode SWOT. Hasil penelitian menunjukkan stretegi yang dapat dilakukan yaitu meningkatkan penyediaan sarana dan prasarana pengangkutan sampah, menyediakan TPA yang layak, optimalisasi pengangkutan sampah, optimalisasi pendanaan dan kerja sama antar pemerindah daerah dan swasta pembangunan TPA dengan model Sanitary Landfill, dan mengelola sampah dengan cara yang ramah lingkungan. Untuk melakukan penelitian ini, kami menyelidiki subjek atau pelaku langsung dari pengelolaan sampah Pematangsiantar, serta faktor-faktor yang memengaruhi dan mendukung sistem pengelolaan sampah di kota tersebut. Pengelolaan sampah terintegrasi dapat meningkatkan kesehatan dan kesejahteraan warga dengan mendorong masyarakat untuk menjadi kreatif dan inovatif. Untuk memastikan Pematangsiantar menjadi kota bebas limbah, dan perlu diidentifikasi potensi serta metode kreatif lainnya untuk meningkatkan tata kelola sampah di masa depan.