bluuebunny/crossref_metadata_2025 huggingface dataset:
Heading control for quadruped stair climbing based on PD controller for the KRSRI competition
Authors: Alfathdyanto Khairurizal , Darmawan Adytia , Alasiry Ali Husein , Taufik Ahmad
Published: October 2023

Quadruped, a robot that resembles four-legged animals, is developed for many purposes, such as surveillance and rescue. Such a caveat requires the robot to have the capability to overcome various terrain and obstacles. When moving across such a landscape, it is essential to maintain the robot's orientation steadily. Inclined terrains such as stairs have posed another challenge to the control strategy as the robot is unstable while climbing. Therefore, the contribution of this work is to address the need for heading control because of the relatively longer stairs used for the current competition compared to the past. The proposed control system simultaneously maintains the heading while keeping the body stable. The inertial measurement unit sensor carried by the robot would provide the pose needed for heading control calculations. The robot's heading becomes the base for the PD controller calculation. The final pose that stabilizes the robot while tackling heading error is a combination of correction from the PD controller and the stabilization part of the control strategy. Then, the leg servo angle determination deployed the inverse kinematics calculation from the suitable robot pose. The proposed method enabled the designed robot to maintain its heading with a 4.4-degree margin of error and stabilize the body. The quadruped also completes the stair climbing at the shortest time of 20 seconds with a speed of up to 5.5 centimeters per second.
The Protection on Notary in Criminal Cases Related to Authentic Fiduciary Deeds
Authors: Adillah Mokhamad Hussain
Published: October 2023

This research aims to find out and analyze the position of notaries in criminal cases related to the fiduciary deed they made and their legal protection. This study uses a sociological juridical approach. Data collection was carried out through interviews and literature study. Data analysis was carried out in a qualitative descriptive manner. This research shows that a notary in a criminal case related to a fiduciary deed he made can serve as a witness or perpetrator of a crime as stipulated in Article 35 of Act No. 42/1999 concerning Fiduciary Guarantees.participating in criminal acts (Article 55 of the Criminal Code), assisting perpetrators in committing crimes (Article 231 of the Criminal Code), making fake letters (Article 263 of the Criminal Code), providing false statements in authentic deeds (Article 266 of the Criminal Code), embezzlement (Article 372 of the Criminal Code), and fraud (Article 378 of the Criminal Code) which causes harm to other parties, the notary can be held criminally responsible.Legal protection for notaries in criminal cases related to the fiduciary deed he made namelyafter the issuance of the Constitutional Court decision No. 49/PUU-X/2012 namely the summons of a notary through the Notary Honorary Council according to Article 66 UUJN. In addition, notaries still receive protection from the rights and obligations of notary disobeying as referred to in Article 1909 paragraph (3) of the Civil Code and Article 322 of the Criminal Code.
PERAN KONSELOR DALAM MENINGKATKAN PERILAKU LITERASI DIGITAL SISWA DI MASA PANDEMI COVID-19
Authors: Wardani Silvia Yula , Kadafi Asroful , Dewi Noviyanti Kartika
Published: October 2023

Pandemi Covid-19 memberikan dampak yang luar biasa bagi tatanan kehidupan, tidak terkecuali di dunia pendidikan. Kebijakan pemerintah untuk melakukan pembatasan dalam rangka memutus rantai penyebaran virus covid-19 membuat sekolah harus memiliki strategi pembelajaran yang efektif. Adanya himbauan untuk tidak melakukan kontak fisik membuat guru dan siswa memanfaatkan perkembangan IT dalam proses pembelajaran. Problematika ini perlu dikaji lebih mendalam terkait kompetensi literasi digital dan peran konselor dalam meningkatkan kompetensi tersebut. Penelitian ini menggunakan desain literature review, dengan menggali berbagai review yang mengangkat isu-isu literasi digital. Hasil penelitian menunjukan, bahwa kemampuan literasi digital sangat diperlukan oleh siswa terutama dalam memperoleh sumber informasi atau bahan pembelajaran. Kemampuan tersebut dapat ditingkatkan apabila ada support sistem salah satunya dari konselor sekolah. Konselor sekolah memiliki peran dan funsgi preventif, kuratif dan pengembangan dalam membantu siswa mencapai perkembangan yang optimal. Dalam upaya meningkatkan perilaku literasi digital maka konselor perlu memfasilitasi siswa untuk menyadari pentingnya kemampuan literasi digital bagi dirinya.
EFEKTIVITAS LAYANAN BIMBINGAN KELOMPOK DENGAN PENDEKATAN BEHAVIORISTIK UNTUK MENINGKATKAN KECERDASAN EMOSIONAL SISWA KELAS XI IPS MAN ASAHAN
Authors: Hasibuan Rafika Syifa Nirwana , Siregar Alfin
Published: October 2023

Ketidakstabilan emosi seseorang berpotensi menimbulkan perilaku agresif. Kemampuan kekurangan untuk mengenali, memastikan, dan mengelola emosi dengan baik dapat menyebabkan kesulitan individu dalam mengontrol impuls, mengelola konflik, dan menangani secara sehat terhadap situasi emosional yang sulit. Oleh sebab itu diperlukan metode untuk meningkatkan kecerdasan emosional, salah satunya dengan layanan bimbingan kelompok dengan pendekatan behavioristik. Tujuan penelitian ini adalah untuk meningkatkan kecerdasan emosional siswa XI IPS MAN Asahan. Metode penelitian yang digunakan adalah True Experimental Design, yaitu penelitian kuantitatif dengan desain pre-test post-test control group design, dengan populasi penelitian 98 siswa X1 IPSS MAN Asahan, sampel dalam penelitian ini adalah 48 siswa. Kuesioner dan observasi digunakan sebagai Teknik pengumpulan data dengan metode analisis data deskriptif dan uji hipotesis t.  Hasil dari penelitian menunjukkan bahwa efektivitas layanan konseling yang ditawarkan oleh kelompok perilaku dapat meningkatkan stabilitas emosional siswa. Menunjukkan bahwa terdapat perbedaan yang signifikan antara skor pretest dan posttest terhadap tingkat emosi peserta kelompok eksperimen dibandingkan dengan kelompok kontrol yang tidak mengalami perubahan/ Perbedaan Skor Kecerdasan Emosional. Sig 0.000 atau probabilitas yang sedikit di bawah alpha 0.05. (0,000 < 0,05) telah diterima Ho ditolak. Semuanya disini menunjukkan bahwa behavioral support system untuk tim efektif dalam meningkatkan kecerdasan emosional siswa XI IPS MAN Asahan.
PENGARUH BURNOUT AKADEMIK TERHADAP HASIL BELAJAR SISWA
Authors: Fitriyadi Slamat , Kamaruddin Kamaruddin , Suwanto Insan , Sanu Sanu
Published: October 2023

Penelitian ini bertujuan mengetahui pengaruh burnout akademik terhadap hasil belajar siswa yang berada di SMA Negeri 2 Selakau khususnya kelas XI. Penelitian ini merupakan penelitian Jenis kuantitatif dengan model desain One Shot Case Study. Populasi dalam penelitian ini berjumlah 60 siswa, sedangkan untuk menentukan sampel menggunakan teknik Simple Random Sampling yang berjumlah 30 siswa Teknik dan instrument pengumpul data dalam penelitian ini menggunakan panduan angket dan dokumentasi. Sedangkan Teknik analisis yang digunakan menggunakan analisis regresi linier sederhana. Data penelitian ini adalah hasil skor angket burnout akademik dan nilai hasil belajar siswa. Hasil uji hipotesis regresi linier sederhana diperoleh nilai koefisien determinasi R Square adalah sebesar 0,05. nilai f hitung adalah sebesar 1,488 dengan taraf tingkat signifikan 0,233 > 0,05. serta Koefisien regresi X (Burnout akademik) sebesar -0,223. Hasil penelitian menunjukan bahwa pengaruh variabel X (burnout akademik) terhadap variabel Y (hasil belajar siswa) sangat kecil dilihat dari koefisien determinasi R Square yaitu sebesar 0,05 atau 5%. Pengaruh variabel X terhadap variabel Y tidak signifikan dilihat dari taraf signifikansi yaitu 0,233 yang lebih besar dari 0,05. Serta arah pengaruh variabel X terhadap variabel Y ke arah negatif dilihat dari koefisisen regresi yaitu sebesar -0,233. Berdasarkan hasil analisis data dapat disimpulkan terdapat pengaruh burnout akademik terhadap hasil belajar siswa berpengaruh sangat kecil yaitu hanya sekitar 5%, sedangkan 95% hasil belajar siswa dipengaruhi oleh factor atau variabel lain.
HYPOTHETICAL LEARNING TRAJECTORY (HLT) KUE APEM DALAM PPROSES PEMBELAJARAN MATEMATIKA KELAS I SD
Authors: Fofiqoh Irma Ainur , Wiryanto Wiryanto , Mariana Neni
Published: October 2023

Mata pelajaran matematika merupakan mata pelajaran yang wajib diajarkan kepada peserta didik. Mata pelajaran matematika wajib diajarkan karena matematika berkaitan secara langsung dengan kegiatan manusia dalam sehari-hari. Namun, matematika masih menjadi pelajaran yang masih dirasa sulit dipelajari oleh siswa semua itu dilihat dari minat dan juga hasil belajar siswa yang rendah. Salah satu faktor yang menyebabkan hal tersebut yaitu dalam proses pembelajaran matematika masih mengguankan pendekatan konvensional yang kurang bermakna, kaku, dan membosankan atau kurang menarik. Dari permasalahan tersebut perlu penelitian tentang implementasi pembelajaran etnomatematika dengan pendekatan RME beserta dengan rancangannya untuk memfasilitasi pemahaman dan pengongtruksian pengetahuan peserta didik  dengan pembelajaran yang bermakna dan menarik Oleh karena itu, penelitian ini menggunakan Hypothetical Learning Trajecory (HLT) RME berbasis etnomatematika. Berikut ini tujuan dari penelitian ini yaitu : (1) Mengetahui lintasan belajar Hypothetical Learning Trajecory (HLT) 1 materi operasi penjumlahan dengan pendekatan RME berbasis etnomatematika dengan konteks makanan tradisional kue apem, (2) Menegtahui hasil implementasi Hypothetical Learning Trajecory (HLT) 1 dan rancangan Hypothetical Learning Trajecory (HLT) 2. Teknik pengumpulan data yang digunakan dalam penelitian ini yaitu berupa dokumentasi yang terdiri dari  gambar, pengerjaan LKPD dan observasi keadaan peserta didik dengan metode design and research . Subyek penelitian ini yaitu 4 orang siswa kelas 1 SD. Hasil dari penelitian ini berupa  desain Hypothetical Learning Trajecory (HLT) khususnya pada materi operasi penjumlahan dengan menggunakan pendekatan RME berbasis etnomatematika dengan konteks makanan tradisional kue apem.
HYPHOTHETICAL LEARNING TRAJECTORY(HLT) MATERI PECAHAN DENGAN PENDEKATAN BERBASIS ETNOMATEMATIKA DENGAN KONTEKS MAKANAN KRIPIK APEL
Authors: Abrika Viqa Velvi , Wiryanto Wiryanto , Mariana Neni
Published: October 2023

Matematika merupakan salah satu mata pelajaran yang ditakuti Peserta didik. Khususnya di sekolah dasar. Bangun ruang adalah sebuah penamaan atau sebutan untuk beberapa bangun-

 bangun yang berbentuk tiga dimensi atau bangun yang mempunyai ruang yang dibatasi oleh sisi-sisinya. Maka dari itu, perlu memperhatikan konteks makanan khas. Partisipan yang terlibat dalam pelaksanaan implementasi adalah yakni peserta didik kelas V. Berdasarkan hasil pengambilan data yang diperoleh pada peserta didik sekolah dasar kelas V mendapatkan “respon yang sangat baik” Berdasarkan permasalahan di atas, maka peneliti melakukan penelitian tentang Hyphothetical Learning Trajectory (HLT) materi tabung dengan menggunakan pendekatan RME Berbasis Etnomatematika dengan konteks makanan kripik apel. Tujuan dari penelitian ini adalah untuk : 1) Mengetahui proses implementasi HLT 1 terkait materi tabung dengan menggunakan konteks makanan kripik apel; 2) Mengetahui hasil implementasi HLT 1 dan rancangan HLT 2. Metode yang digunakan dalam penelitian ini adalah Design dan Research dengan teknik pengumpulan data melalui dokumentasi berupa gambar, pengerjaan LKPD, dan observasi berupa pengamatan peserta didik secara langsung. hasil pengambilan data yang diperoleh pada peserta didik sekolah dasar kelas V. Hasil penelitian ini berupa desain Hyphothetical Learning Trajectory (HLT) khususnya untuk materi tabung dengan menggunakan pendekatan RME berbasis etnomatematika dengan konteks makanan keripik apel.
Impact of social Media and Google on stock Markets During a Pandemic: The Case of an Airline
Authors: Nepp A. N. , Dzhuraeva Z. F.
Published: October 2023

The outbreak of the pandemic has dealt a tangible blow to the global economy, in particular by causing the collapse of stock markets. Most countries have taken measures to contain the coronavirus related to the restriction of human mobility. One of the main victims of such actions were airlines. In order to examine the direct and indirect effects of the pandemic, we investigated the long- and short-term effects on airline stock price volatility of the spread of coronavirus, social media attention to it, the vaccines against coronavirus and restrictive measures in relation to the pandemic. The ARDL model with MG and PMG estimates was applied after the preliminary stability tests for airlines in developed and developing countries. We analyzed the period of the greatest anti-COVID restrictions from 23 March 2020 to 23 March 2021. We reached the following conclusions. Firstly, the increase in the number of cases and deaths from COVID-19 was accompanied by a short-term increase in the volatility of airline stock prices. Secondly, Twitter’s increased focus on COVID-19-related restrictive measures and vaccines against it was accompanied by a short-term increase in airline stock price volatility. Thirdly, the increasing attention at Google on airline restrictions has been accompanied by the long-term effects of rising stock volatility. Our results demonstrate that with the spread of the Internet and social media, the impact of the pandemic on stock markets occurs not only through direct effects on the determinants of Solow’s economic growth model, but also through indirect effects of social media and the Internet on investor behavior through the formation of fear and hysteria in them.
Responsible and sustainable lending by Financial Institutions: A literature Review
Authors: Sachdeva S. , Ramesh L.
Published: October 2023

The subject of the study is to use an extensive literature review to evaluate how academic research on corporate social responsibility (CSR) is developing. The journals and papers in the ISI Web of Science, SCOPUS, and Taylor&Francis databases served as the foundation for this literature review.

The purpose of the study is to highlight essential papers, referenced journals’ importance, and potential future study directions. Determinants that impact the CSR performance of an organization are governance, profitability, firm characteristics, and minimum expenditure. The impact of CSR has been measured using accounting-based market value, risk, excess return on a stock, and moral capital. All the variables are discussed with strongly supported literature and then concluded by giving a framework.

The novelty of our study is that it analyses new research trends while concentrating on the CSR research frontiers.

The conclusion identifies possible areas for scientists to further develop their expertise, including sustainable and responsible financing and ESG strategy.
Financial Policy of Government support for semiconductors Industry Globally and in Russia under sanctions
Authors: Cherednichenko L. G. , Novikova E. S. , Golubtsova E. V.
Published: October 2023

The relevance of this study is determined by the need to develop the domestic semiconductors industry in Russia, taking into account the negative effects both internal and external.

The purpose of this paper is to test the hypothesis of the positive impact of the methods used by the state of financial support of domestic companies to acquire advanced technologies in a specific area in the context of a lack of funding and the significant lag of the national semiconductor industry in the world’s leading countries.

The target of this study is the analysis of possible tools of state support, including subsidies and grants, and methods of their application for the creation of competitive industry of domestic semiconductor production.

The key methods used in this study include the collection and processing of statistical data, their comparative analysis, as well as the elaboration of the regulatory framework on tax regulation in this sector of the economy.

The main methods applied in this study are data collection and processing, comparative analysis, and the development of a regulatory framework for tax regulation in this sector of the economy. The authors analyzed the semiconductors industry in the world, including the production of microprocessors and other semiconductor components. The situation in countries such as China, USA, Japan, Europe, Taiwan, India and Russia is discussed in more detail. The main problems with semiconductor industry development in Russia have been revealed. Additionally, researchers have evaluated and outlined fields of federal budget spendings in the industry in the period of years 2022 and 2025.

The scientific novelty of this paper is to identify the relationship between the measures of state tax incentives provided to the radio-electronic industry and macroeconomic indicators. Based on that authors have developed evaluation criteria of the relevance and efficiency of fiscal preferences for the analyzed industry which is considered as the result of research.

It concluded that the state’s initiatives to promote the radio-electronics industry might provide Russia a chance to catch up to the world’s leading countries in this industry.
Usage of Boroxide and Ulexite Ores in Ferromanganese Production
Authors: KOCADAĞİSTAN Mustafa Engin , AYŞEN Mehmet Zinnur , ÇARDAKLI İsmail Seçkin
Published: October 2023

This study investigated the possibilities of using low-grade manganese ores in ferromanganese production by smelting process. Fluorspar, ulexite, and boroxide (as flux) were added to manganese ores. Fluxes consisting of activated carbon, charge basicity, and charging materials were used in the smelting experiments. Reference samples without flux were also used for comparison. Charge materials were placed in capped graphite crucibles and smelted at 1650 °C for 2 hours. The metal/slag phases were separated from each other and their chemical analyses were made. At the end of the experiments, it was determined that boron ores instead of fluorspar reduced the manganese leakage in the slag to 1% and increased the manganese in the metal phase to 99%. As a result, it was determined that the fluidity of slag increased more than fluorspar and the smelting time decreased, and it is possible to use boron ores in ferromanganese production.
BATMAN AĞZINDA “MA” ENKLİTİĞİ
Authors: TUĞLUK Mehmet Emin
Published: October 2023

Ölçünlü dil içerisinde çeşitli yönlerden farklılık gösteren konuşma dili ağız olarak tanımlanır. Türkiye’de A. Maksimov’un 1867 yılında Hüdavendigar ve Karamanlı Ağızları üzerine yazdığı denemelerle başlayan ağız araştırmaları 12 Temmuz 1932 tarihinde Türk Dili Tetkik Cemiyetinin kurulmasıyla yaygınlaşmıştır. Kurulan bu cemiyet ilki 1932-1934, ikincisi 1952-1959 yılları arasında olmak üzere iki önemli derleme çalışması yapmıştır. Bu iki derlemeden elde edilen malzeme 1963-1982 yılları arasında Türkiye’de Halk ağzından Derleme Sözlüğü adıyla yayımlanmıştır. Ülkemizde üniversitelerin kurulmasıyla ağız çalışmaları üzerine yapılan çalışmalarda büyük artış görülmüştür. Bununla birlikte hâlâ ağız derlemelerinin yapılmadığı il ve yöreler bulunmaktadır. Bu illerden biri ağız derlemelerinin yapıldığı dönemde il statüsünde bulunmayan Batman’dır.

Batman, 16 Mayıs 1990 tarihinde il statüsünü kazanmış olup Batman’da yaygın olarak Türkçe, Kürtçe ve Arapça konuşulmaktadır. Bu çok dilli yapı bu diller arasında etkileşimi sağlamış ve Batman’a özgü bir ağız özelliği oluşturmuştur. Batman’da kullanılan bu ağız özelliklerinin karakteristik özelliklerinden biri “ma” enklitik edatıdır. Bu çalışmada Batman ağzında kullanılan “ma” enklitik edatının yüklendiği anlamlar tespit edilip bu anlamlar örneklendirilmiştir.
SİHÂM-I KAZÂ’DA HASIM-DOST İKİLEMİ BAĞLAMINDA RUH VE KARAKTER TASVİRLERİ
Authors: ÜNSAL TOPÇU Gamze , ENGİN Nevzat
Published: October 2023

Klasik şiir geleneği içerisinde âşık, mâşuk ve rakîb üçgeni ön plana çıkan tematik konulardandır. Dolayısıyla bu üçgenin bize sunduğu mazmunlar zihin dünyamızda bir resmin şekillenmesine vesile olurlar. Manzumelerde yer alan somut-soyut yahut canlı-cansız her nesne tasvir edildiği sürece var olurlar. Ancak klasik şiirdeki kişiler daima tek düze ve sınırlandırılmış bir çerçeve içerinde verilmez. Bir kişiyi tasvir ederken sadece fiziki yönünü kelimelerle resmedip kişiyi gözümüzde canlandırma yoluna gitmez. Kişiyi karakter yönüyle de tasvir etmeyi tercih eder. Şiirin tabiatı gereği kişi ister övülsün isterse yerilsin, bu övgüye ve yergiye konu olan dış görünüşünün yanı sıra kişinin karakter ve kişiliğidir. Klasik şiirde asıl olan kişinin sahip olduğu meziyetler, kahramanlıklar, cesaret ve iç âleminde kopan fırtınalar hep maddeden öte ruh ile ilgili bir durumdur. Şair insanın ruhsal boyutu ve karakteri ile ilgilenir. Klasik Türk şiirinde fizik ve metafizik ilişkisinde karakter yönü ya methiyelere konu olup alkışlanmış ya da hicve malzeme olup yerilmiştir. Bu çalışmada Nef’î’nin Sihâm-ı Kazâ adlı eserinde ön plana çıkan dost-hasım ikilemesi özellikle ruh tasvirleri doğrultusunda incelenecektir.
EVOLUTION OF THE CONCEPT OF SUSTAINABLE DEVELOPMENT
Authors:   National University of Oil and Gas “Gubkin University”, Khalova Gul’nar O. , Phuong Nguyen Anh ,   Saint Petersburg Mining University
Published: October 2023

In the article, the authors consider the concept of “sustainable development”, the change in its role in the global economy and energy. They define main evolutionary stages of the concept of “sustainable development” and review the works of Russian and foreign scientists on the issues of determining the concept of sustainable development. The article analyzes socio-economic indexes and indicators that play a role in ensuring sustainable development.
DEVELOPMENT OF HUMAN CAPITAL IN THE CONTEXT OF THE ORGANIZATION’S DIGITAL TRANSFORMATION
Authors:   Russian State University for the Humanities, Volodina Ol’ga V.
Published: October 2023

The article discusses the specifics of the concept of “human capital” in the era of digital transformation: the features of those skills, knowledge and competencies that come to the fore in the implementation of digital technologies. During the period of expanding the use of digital tools in the implementation of a significant number of functions performed by an employee, the content of the requirements that are put forward to the employee and, accordingly, the specific content of the organization’s human capital are obviously changing. The article pays special attention to the issue of the speed in digital transformation.
Supporting Standardization of Neural Networks Verification with VNNLIB and CoCoNet
Authors: Demarchi Stefano , Guidotti Dario , Pulina Luca , Tacchella Armando
Published: October 2023

The interest in the verification of neural networks has been growing steadily in recent years and there have been several advancements in theory, algorithms and tools for the verification of neural networks. Also propelled by VNNCOMP — the annual competition of tools for the verification of neural networks — the community is making steady progress to close the gap with practical applications. In this scenario, we believe that researchers and practitioners should rely on some commonly accepted standard to describe (trained) networks and their properties, as well as a toolset to visualize and to convert from common formats to such standard. The purpose of VNN-LIB and CoCoNet is precisely to provide such standard and toolset, respectively. In this paper we briefly describe the principles and design choices behind the current version of VNN-LIB standard, and we give an overview of the current and planned capabilities of CoCoNet.
The Vehicle Tutorial: Neural Network Verification with Vehicle
Authors: Daggitt Matthew , Kokke Wen , Komendantskaya Ekaterina , Atkey Robert , Arnaboldi Luca , Slusarz Natalia , Casadio Marco , Coke Ben , Lee Jeonghyeon
Published: October 2023

Machine learning components, such as neural networks, gradually make their way into software; and, when the software is critically safe, the machine learning components must be verifiably safe. This gives rise to the problem of neural network verification. The community has been making rapid progress in developing methods for incorporating logical specifications into neural networks, both in training and verification. However, to truly unlock the ability to verify real-world neural network-enhanced systems we believe the following is necessary:

1. The specification should be written once and should automatically work with training and verification tools. 2. The specification should be written in a manner independent of any particular neural network training/inference platform. 3. The specification should be able to be written as a high-level property over the problem space, rather than a property over the input space (of the neural network). 4. After verification the specification should be exportable to general interactive theorem provers so that its proof can be incorporated into proofs about the larger systems around the neural network.

In this tutorial we presented Vehicle, a tool that allows users to do all of this. We provided an introduction to the Vehicle specification language, and then walked attendees through using it to express a variety of famous and not-so-famous specifications. Subsequently we demonstrate how a specification can be compiled down to i) queries for network verifiers, ii) Tensorflow graphs to be used as loss functions during training and iii) cross-compiled to Agda, a main-stream interactive theorem prover. Finally we discussed some of the technical challenges in the implementation as well as some of the outstanding problems.
Verifying Global Neural Network Specifications using Hyperproperties
Authors: Boetius David , Leue Stefan
Published: October 2023

Current approaches to neural network verification focus on specifications that target small regions around known input data points, such as local robustness. Thus, using these approaches, we can not obtain guarantees for inputs that are not close to known inputs. Yet, it is highly likely that a neural network will encounter such truly unseen inputs during its application. We study global specifications that — when satisfied — provide guarantees for all potential inputs. We introduce a hyperproperty formalism that allows for expressing global specifications such as monotonicity, Lipschitz continuity, global robustness, and dependency fairness. Our formalism enables verifying global specifications using existing neural network verification approaches by leveraging capabilities for verifying general computational graphs. Thereby, we extend the scope of guarantees that can be provided using existing methods. Recent success in verifying specific global specifications shows that attaining strong guarantees for all potential data points is feasible.
Doğu Pontid Volkanik Kuşağında Yer Alan Tersiyer (Eosen) Yaşlı Volkaniklerin Petrolojik Özellikleri: Yusufeli (Artvin) Civarında Yüzeylenen Volkanik Kayaçlar
Authors: YILMAZ Aslıhan , KÖPRÜBAŞI Necla
Published: October 2023

Bu çalışma Yusufeli (Artvin) civarında yüzeylenen Eosen yaşlı volkanik kayaçların mineralojik, petrografik ve petrolojik özelliklerinin incelenmesi için yapılmıştır. İnceleme alanında yüzeyleme veren Eosen yaşlı volkanik kayaçlar genellikle siyahımsı gri, yeşilimsi gri renklerde olup ileri derecede altere olmuşlardır. Bu kayaçların yüzeylendiği değişik yörelerden alınan kayaç örnekleri üzerindeki ince kesit çalışmaları sonucunda plajiyoklaz – piroksen – amfibol – kalsit – klorit – opak minerallerden oluşan bir mineralojik bileşime, porfirik ve intersertal dokuya sahip oldukları saptanmıştır. Bölgedeki volkanik kayaçların andezit, bazalt, bazaltik andezit bileşiminde oldukları görülmüştür. Seçilen kayaç örneklerinin analizlerinden elde edilen veriler ile oluşturulan diyagramlar Eosen yaşlı volkanik kayaçların kalkalkali özellikte olduğunu göstermiştir. Kondrite normalize edilmiş nadir toprak element dağılımları konkav şekilli olup, genellikle birbirine paralel dağılım göstermeleri volkanik kayaçların aynı veya benzer kaynaktan itibaren oluştuğunu düşündürmektedir.
DevOps Test Süreç Geliştirmede Yeni Bir Model Önerisi
Authors: HANCI Asım Kerem , GÜLSEÇEN Sevinç
Published: October 2023

Yazılım dünyasında ürünün hızlı bir şekilde pazara ulaşması için her geçen gün yeni yaklaşımlar belirlenmekte ve yeni metodolojiler benimsenmektedir. Son yıllarda bu konuda oldukça popüler olan DevOps metodolojisi, yazılım geliştirme yaşam döngüsünün diğer safhalarında olduğu gibi yazılım test aktivitelerinde ve test süreçlerinde köklü değişikliklerin oluşmasına ortam hazırlamıştır. Yazılım test aktivitelerinin yapısı büyük ölçüde değişime uğradığı için test süreç değerlendirmelerinde yeni modellere ihtiyaç duyulmaktadır. Gerçekleştirilen bu çalışmada, DevOps metodolojisinin test pratiklerini değerlendiren bir test süreç iyileştirme modeli sunularak bu ihtiyacı gidermek amaçlanmıştır. Model tasarımında akademi ve iş hayatındaki bilgilerden ortak olarak beslenmek adına literatürden ve deneyimli DevOps uzmanlarından yararlanılmıştır. Uzmanların katkısıyla DevOps test pratiklerinin değerlendirilmesi için önemli kriterler belirlenmiş ve bu kriterleri kapsayan yeni bir test süreç iyileştirme modeli oluşturulmuştur. Geliştirilen bu model DevOps pratiklerini gerçekleştiren bir firma üzerinde uygulanmıştır. Bu sayede hem modelin işlerliği hem de firmanın test olgunluğu değerlendirilmiştir. Değerlendirme süreci detaylı olarak gözlemlenmiş olup değerlendirme sonucu ve modelin uygulanabilirliği uzmanlar tarafından teyit edilmiştir.
Farklı İklim Özelliklerine Sahip Fotovoltaik Panel ve Enerji Depolama Entegreli Elektrikli Araç Şarj İstasyonlarının Teknik, Ekonomik ve Çevresel Optimizasyonu
Authors: DEMİRCİ Alpaslan , ÖZTÜRK Zafer
Published: October 2023

Dünya’da artan nüfus, teknolojinin hızla gelişimi ve modern yaşam şeklinin toplumu daha fazla tüketime yönlendirmesi enerjiye olan talebi artırmaktadır. Talep edilen enerjinin yaygın olarak konvansiyonel kaynaklardan karşılanması küresel ısınma başta olmak üzere birçok çevresel ve ekonomik problem oluşturmaktadır. Dahası enerji tüketim araçlarının verimliliklerinin düşük olması ve daha çok konvansiyonel kaynaklara bağımlılığı bu durumu daha da kötüleştirmektedir. Dolayısı ile özellikle fosil kaynaklı enerji tüketiminin yaklaşık %20’sine sahip içten yanmalı araçların elektrikli hale getirilmesi ve bunların enerji taleplerinin yenilenebilir enerji kaynakları (YEK) ile karşılanması çok önemlidir. Bu çalışmada elektrikli araç (EA) şarj istasyonlarının solar fotovoltaik panel (FV) ve enerji depolama sistemleri (EDS) ile entegrasyon potansiyeli araştırılmış ve teknik, ekonomik ve çevresel etkileri optimize edilmiştir. Ek olarak önerilen modelin farklı iklimsel özelliklere sahip coğrafi bölgelerdeki etkileri yapılan hassasiyet analizleri ile tespit edilmiştir. Sonuçlar birim enerji maliyetlerinin iklimsel farklılıklara bağlı olarak %21’e kadar artış gösterdiğini ve en iyi sonucun 0,046 $/kWh ile İzmir ilinde elde edildiğini göstermiştir. Kullanılamayan yenilenebilir enerji oranını azaltmak ve temiz enerji tüketimini artırmak amacıyla kullanılan EDS’ler, solar radyasyon potansiyeli düşük olan şehirlerde amortisman sürecinin proje ömrüne yaklaşmasına sebep olmuştur. Diğer taraftan FV’li hibrit modellerde amortisman süreci 7,88 yıla kadar düşmüştür. Sonuçlar FV-EDS entegreli EA şarj istasyonlarının bulundukları bölge iklim özelliklerine bağlı olarak farklı teknik, ekonomik ve çevresel etkilere sahip olabileceğini göstermiştir. Bu durumlar dikkate alınarak altyapı ve yatırımcı teşvik mekanizmalarının geliştirilmesi gerekmektedir.
Asbest Söküm İşleri Risk Değerlendirmesi
Authors: MOGAN Özgen , GÜNGÖR Celal
Published: October 2023

Asbest ısı ve elektrik iletkenliği düşük, fiziksel ve kimyasal etkenlere direnci yüksek bir malzeme olduğu için geçmişte inşaat, kimya, petrol, lastik ve plastik, otomotiv ve enerji sektörü gibi birçok alanda kullanılmıştır. Başta asbestozis ve malign plevral mezotelyoma olmak üzere pek çok sağlık sorununa neden olduğu anlaşıldıktan sonra kullanımını yasaklayıcı yasal düzenlemeler yapılmıştır. Fakat geçmişteki yoğun kullanımı nedeniyle günümüzde halen birçok alanda karşımıza çıkmaktadır. Asbestin uygun şekilde sökülmesi ve uzaklaştırılması oldukça önem taşımaktadır. Ülkemizde, çalışanların asbest söküm, yıkım, tamir, bakım, uzaklaştırma çalışmalarında asbest tozuna maruziyetlerinin önlenmesi ve bu maruziyetten doğacak sağlık risklerinden korunması, sınır değerlerin ve diğer özel önlemlerin belirlenmesi amacıyla Asbestle Çalışmalarda Sağlık ve Güvenlik Önlemleri Hakkında Yönetmelik yürürlüğe girmiştir. Yönetmelik, asbest tozuna maruziyet riski bulunan çalışmalarda işverenin risk değerlendirmesi yapmakla yükümlü olduğunu belirtmektedir. Bu çalışmada, L-Tipi Matris yöntemi kullanılarak konutlarda, işyerlerinde, enerji santrallerinde, maden ocaklarında ve benzeri çalışma alanlarında asbest söküm işlerinde karşılaşılabilecek risklerin değerlendirmesi yapılmıştır. Değerlendirme sonucunda karantina kurulumu ve sökümü, asbest sökümü, söküm sonrası hijyen faaliyetleri, atıkların paketlenmesi ve istiflenmesi işleri yüksek riskli işler olarak belirlenmiştir. Söküm sırasında asbest liflerinin çevreye yayılmasını önlemek amacıyla naylon örtü ile tam sızdırmaz tecrit oluşturulmalı ve uygun sağlık ve güvenlik işaretleri yerleştirilmelidir. Asbest söküm işlerinde çalışanların P3 partikül filtreli tam-yüz veya yarım-yüz maske, Kategori III tip 5/6 tek kullanımlık tulum, iş eldiveni ve iş ayakkabısı gibi uygun kişisel koruyucu donanım (KKD) kullanımı sağlamalıdır. KKD kullanımı ve bakımı konularında çalışanlara eğitim verilmesi ayrıca önemlidir. Asbestli atıklar uygun kalınlıkta çift kat naylona konularak ağızları sıkıca kapatılmalı veya uygun daha büyük naylon torbalara konulmalıdır. Üzerlerine asbestli atık olduğunu bildiren işaretlemeler yapıştırılmalıdır. Atıklar çalışma alanı içinde yaşam mahalline uzak bir yerde geçici depolanmalı ve mümkün olan en kısa sürede lisanslı araçlarla lisanslı atık bertaraf tesisine sevk edilmelidir.
Explanations for Non－compliance with Key Corporate Governance Indicators and Firm Value
Authors:   Korea Accounting Information Association, Doo Seoyoung , Yoon Sung－Soo
Published: October 2023

[Purpose] The Comply or Explain (CoE) approach, a core principle of the Corporate Governance Code, encourages an improvement in corporate governance by affording each firm the discretion to choose an appropriate governance structure and by allowing capital market participants to assess the firm’s governance choice. In order to investigate whether the corporate governance disclosure system works in accordance with the spirit of the CoE approach, this study analyzes the relationship between disclosure of the status of compliance with the key indicators of corporate governance and firm value.
[Methodology] Using a sample of listed firms that disclosed corporate governance reports from 2019 to 2021, we perform regression analysis to examine the relationship between the disclosure of compliance or explanations for non－compliance with key corporate governance indicators and firm value. Additionally, we analyze the content of the explanations for noncompliance.
[Findings] We find that compliance with key indicators has a positive relationship with firm value, while explanations for non－compliance do not exhibit a significant relationship with firm value. We also find that the majority of non－compliers state only the fact that they do not comply with the key indicators or provide general explanations exemplified in guidelines and best practices for their non－compliance.
[Implications] The mandatory disclosure system for corporate governance reports, under the CoE approach, is intended to enhance transparency and the long－term value of the firm through effective disclosure of corporate governance and will apply to all listed firms in 2026. We find that the explanations provided by non－compliers are neither specific nor significantly related to firm value. These findings suggest the need for a discussion on ways to enhance the understanding of the essence of the CoE principles, particularly the Explanation (E) element, among both firms and information users and to improve the quality of corporate disclosures.
The Association between Financial Statements Comparability and ESG Activity
Authors:   Korea Accounting Information Association, Jung Woojune , Ahn Hyejin , Yoon Jaewon
Published: October 2023

[Purpose] The purpose of this study is to investigate the relationship between the comparability of financial statements and a company's ESG activities. With the growing social interest in corporate ESG activities, which has been positively associated with their economic effects, companies with higher comparability may show more active ESG activities under greater external monitoring. If external information users of companies with high comparability of financial statements can easily obtain relevant company information, they can collect and interpret more information efficiently and effectively, leading to more active external monitoring of corporate activities.
[Methodology] Regression analysis was conducted using the ESG ratings evaluated by the Korea Institute of Corporate Governance and Sustainability (KCGS) from 2012 to 2020 and the comparability variables of financial statements. Additionally, the relationship between comparability and ESG activities was analyzed by dividing the sample depending on the levels of information asymmetry, and by alternative variable of the comparability and ESG activity to ensure the robustness of the research results.
[Findings] The results show that companies with higher comparability have more active ESG activities, particularly in governance and environmental－related activities, which showed a significant positive relationship. Moreover, the positive relationship between the comparability and ESG activities was more evident in companies with greater information asymmetry, indicating that comparability improves the information environment surrounding companies and strengthens the monitoring function of ESG activities.
[Implications] The study contributes to academic knowledge by demonstrating that the attribute of accounting information, such as the comparability of financial statements, affects a company’s ESG activities.
Game Shutdown and Accounting Value Relevance
Authors:   Korea Accounting Information Association, Moon Boyoung
Published: October 2023

[Purpose] This study empirically analyzed the impact of the introduction of the game shutdown system in 2011 on the value relevance of accounting information.
[Methodology] I analyzed 361 gaming industry companies listed from 2002 to 2020 using Ohlson’s (1995) valuation model to see if the value relevance of accounting information changed with the introduction of the game shutdown system.
[Findings] Net assets and net income were positively associated with stock prices in the gaming industry, and the introduction of the shutdown system didn’t significantly alter their value relevance compared to the pre－introduction period.
[Implications] while industry regulations like the ten－year shutdown system didn’t harm gaming companies’ value relevance, proactive government support and progressive policies can further enhance it in the future for industry growth and global competitiveness.
The Consumption, Production, Trade and Challenges of the Tea Industry in the Philippines
Authors:   The Korean Tea Society, T T , Beom Seo Woo , Eun Jong-Bang
Published: October 2023

Tea is a popular drink highly valued for its health benefits. Interestingly, within the Filipino household, it is often regarded as an herbal remedy instead of a lifestyle drink to be consumed at leisure. However, in recent years, tea consumption has undergone a transformation swiftly evolving from a remedy to a lifestyle choice. This rising trend sets a strong foundation for the industry's future growth in the Philippines. In 2020, the Philippines ranked 69th globally with tea imports aggregating $17 million. In the same year, tea ranked 516th among the country’s most imported products. The Philippines struggles to produce tea on a large scale due to factors such as climate, inadequate infrastructure, and soil acidity. However, the government is undeterred in its efforts to nurture and cultivate the tea industry and aims to support the industry's development trajectory and tackle the funding challenges that accompany research and development endeavors, particularly in the oolong tea market. The increasing demand, especially among the younger population, along with the efforts of the government and private sector to enhance production and develop the industry, have contributed to its potential. This will enable the Philippines to carve out a niche in the global tea market.
Learning Opportunities for Students on “Functions” Provided by Korean and the US Middle-School Mathematics Textbooks
Authors:   The Korea Society Of Educational Studies In Mathematics, Choi Heewon , Kim Gooyeon
Published: October 2023

This study aims to investigate the learning opportunities for students provided by middle-school mathematics textbooks. Apropos this, we identified learning opportunities as constructs consisting of levels of cognitive demand, types of contexts, types of student response, and big ideas of functions. We analyzed mathematical tasks in “Function” chapters or units from three Korean textbooks and Connected Mathematics_3[CMP3]. The analysis suggests the following: a) Korean textbooks provide students with learning opportunities that emphasize representing functions as tables, graphs, and equations, and finding answers to tasks; b) the tasks in Korean textbooks present big ideas of functions as fragmented or isolated procedures; c) tasks in the function unit in Korean textbooks provide little support for students to develop mathematical competencies; and d) tasks in CMP3 provide learning opportunities for students to understand functions conceptually and achieve learning goals that are established in detail.
A Study on Mathematical Modeling Trends in Korea
Authors:   The Korea Society Of Educational Studies In Mathematics, Hwang Seonyoung , Han Sunyoung
Published: October 2023

Mathematical modeling refers to a core competency and teaching-learning method that is being treated as important worldwide. This study aimed at examining trends of previous studies on mathematical modeling, which were published in Korean journals. This study was conducted with the aim of introducing domestic studies on mathematical modeling to both domestic and foreign researchers. Fifty-four studies from 2013 to 2022 were selected for the current trend study and classified in terms of years, research subjects, and research methods. By year, at least one paper and up to 10 papers were published from 2013 to 2022. As a result of examining the trends of the studies by subject, we revealed that studies targeting teachers were very insufficient. Moreover, the findings show that biased research methods and quantitatively simple analysis methods were mainly used. Last, the relational trend between research topics and implications were diverse depending on the theme such as task, lesson, and teacher education. Specifically, although the studies have provided implications on teacher education steadily, research targeting the topic of teacher education for mathematical modeling have been very limited. For the future study on mathematical modeling, mathematics educators and researchers need to recognize that teacher education is significant in implementing mathematical modeling in school classrooms successively, and to try diverse studies on teacher education for mathematical modeling. This paper will contribute to helping foreign scholars to know the research on mathematical modeling being conducted in Korea, which will ultimately contribute to the literature on mathematical modeling.
A Case Study of Learners' Cognitive Load in Mathematics Problem Solving Process
Authors:   The Korea Society Of Educational Studies In Mathematics, Lee SeHyung , Lee BongJu
Published: October 2023

This study observed the case of cognitive load of learners solving mathematics problems by mixing physiopsychological and subjective measurement methods, and empirically explored the cause of increasing cognitive load. Specifically, it was intended to confirm the actual pattern of cognitive load of learners according to the content area and element. Accordingly, the results of the cognitive load analysis of learners who solve mathematics problem were presented and the factors that caused cognitive load in each content area and problem design were derived. Afterwards, by summarizing the analysis and its characteristics, we discussed the implications for mathematics problem solving teaching and learning design and improvement directions.
Pengaruh Flash Sale dan Tagline “Gratis Ongkir” Shopee Terhadap Keputusan Pembelian Implusif Secara Online
Authors: Ferdiansyah Muhammad Iqbal
Published: October 2023

This research was conducted to test the influence of Flash Sale and Tagline “Shopee Free Shipping on online Implusif purchase decisions. The population in this study was all Mataram Univesity students who used the Shopee application. The number of samples used in this study was 100 people using the survey method. The data collection techniques used are observation, questionnaires and online survey by distributing questionnaires through google forms. The data analysis tool used is the Hypotesis Test, which is a t test and f test using the SPSS 25 for windows program. The results of the analysis of the t test show that there is positive influence and significance. Flash Sale (X1) of the Implusive purchase decision (Y) with calculated value>ttable (4,765>1,984) and a significance level of 0,000<0,050. And the positive influence and significance of the Tagline “Free Shipping”(X2) on the decision of Implusive purchase (Y) with calculated value>ttable (6,231>1,984) and a significance level of 0,000<0,050
STRUCTURE AND COMPOSITION OF HABITAT USED BY ORIENTAL PIED HORNBILL (Anthracoceros albirostris) IN THE UTILIZATION ZONE OF BAMA RESORT BALURAN NATIONAL PARK
Authors: Nurdiansyah Rizal , Aji Irwan Mahakam Lesmono , Syaputra Maiser
Published: October 2023

Abstract

            Oriental pied hornbill (Anthracoceros albirostris) is a  protected species based on Law No. 5 of 1990 on Conservation of Natural Resources and Ecosystems and Government Regulation No. 7 of 1999 concerning Preservation Plants and Animals. One area that is identified as habitat of oriental pied hornbill (Anthracoceros albirostris) in Java is in Utilization Zone of Bama Resort Baluran National Park. This study aims to determine the structure and composition of the constituent elements of habitat used by oriental pied hornbill (Anthracoceros albirostris) in Utilization Zone of Bama Resort Baluran National Park. Data collection methods include, literature review, interviews and observation. Data collected coversbiotic and abiotic components and vegetation. The method employed in this research is IPA method (Indeces Ponctuele del'Abondance) for the determination of the existence of Oriental pied hornbill (Anthracoceros albirostris), and employed a single plot method to observe the vegetation. The results show that the total trees used by oriental pied hornbill (Anthracoceros albirostris) is 14 species, consisting of ten species for cover, six species for food, two species for perches, one species for rest, and no trees were found for nesting. Trees with the highest usage frequency is gondang (Ficus variegata) usedas feed tree with adiameter of 92 cm, height of 25 m, and crown cover of 18,80 m2, with daily temperatures ranged from 29,48°C to 29,79°C, average daily humidity from 84,57% to 85,10% and light intensity from 0,7 lux to 4.460 lux. The species with the highest Importance Value Index is gebang (Corypha utans) witha value of 157,70.