bluuebunny/crossref_metadata_2025_split huggingface dataset:
Opacity of Parametric Discrete Event Systems: Models, Decidability, and Algorithms
Authors: deng weilin , qiu daowen , yang jingkai 
Published: July 2023

<p> Finite automata (FAs) model is a popular tool to characterize discrete event systems (DESs) due to its succinctness. However, for some complex systems, it is difficult to describe the necessary details by means of FAs model. In this paper, we consider a kind of extended finite automata (EFAs) in which each transition carries a redicate over state and event parameters. We also consider a type of simplified EFAs, called Event-Parameters EFAs (EP-EFAs), where the state parameters are removed. Based upon these two parametric models, we investigate the problem of opacity analysis for parametric DESs. First of all, it is shown that EFAs model is more expressive than EP-EFAs model. Secondly, it is proved that the opacity properties for EFAs are undecidable in general. Moreover, the decidable opacity properties for EPEFAs are investigated. We present the verification algorithms for current-state opacity, initial-state opacity and infinite-step opacity, and then discuss the complexity. This paper establishes a preliminary theory for the opacity of parametric DESs, which lays a foundation for the opacity analysis of complex systems. </p>
Empowering STEAM Activities with Artificial Intelligence and Open Hardware: the BitDogLab
Authors: Fruett Fabiano , Barbosa Fernanda Pereira , Guimarães Pedro Ivo Aragão , Fraga Samuel Cardoso Fraga 
Published: July 2023

<p> The paper "Empowering STEAM Activities with Artificial Intelligence and Open Hardware: the BitDogLab" discusses the design and development of BitDogLab, a tool intended to enhance Science, Technology, Engineering, Arts, and Mathematics (STEAM) activities. The device is based on the Raspberry Pi Pico board, employing an easy-to-use programming interface powered by the GPT model for artificial intelligence.</p>
<p>BitDogLab leverages open-source platforms, facilitating the expansion and enhancement of its functionalities. It is capable of interfacing with various software resources and more sophisticated hardware, such as robotic systems or advanced sensors. This ability broadens its scope of use in educational applications.</p>
<p>BitDogLab fosters a collaborative learning culture by encouraging community contributions, thereby strengthening the innovation process. Furthermore, BitDogLab is particularly useful in demystifying complex programming concepts, promoting critical thinking, and problem-solving skills. This transforms it from just an educational tool to a catalyst that inspires lifelong learning in the ever-evolving landscape of STEAM education.</p>
Ferroelectric FET based Bayesian Inference Engine for Disease Diagnosis
Authors: Chakraborty Arka , Zarkob Yawar Hayat , Rafiq Musaib , Sahay Shubham 
Published: July 2023

<p>Probabilistic/stochastic computations form the backbone of autonomous systems and classifiers. Recently, biomedical applications of probabilistic computing such as hyperdimensional computing for DNA sequencing, Bayesian networks for disease diagnosis, etc. have attracted significant attention owing to their high energy efficiency. Bayesian inference is widely used for decision making based on independent (often conflicting) sources of information/evidence. A cascaded chain or tree structure of asynchronous circuit elements known as Muller C-Elements can effectively implement Bayesian inference. Such circuits utilize stochastic bit streams to encode input probabilities which enhances their robustness and fault tolerance. However, the CMOS implementation of Muller C-Element are bulky and energy hungry which restricts their widespread application in resource constrained IoT and mobile devices. To enable Bayesian inference based decision making in IoT devices such as UAVs, robots, space rovers, etc, for the first time, we propose a highly compact and energy-efficient implementation of Muller C-Element utilizing a single Ferroelectric FET. The proposed implementation exploits the unique drain-erase, program inhibit and drain inhibit characteristics of FeFETs to encode the output as the polarization state of the ferroelectric layer. Our extensive investigation utilizing an in-house developed experimentally calibrated compact model of FeFET reveals that the proposed C-Element consumes an ultra-low power of 1.07 fW. We also propose a novel read circuitry for realising a Bayesian inference engine by cascading a network of proposed FeFET based C-Elements for practical applications. Furthermore, for the first time, we analyze the impact of cross-correlation between the stochastic input bit streams on the accuracy of the C-Element based Bayesian inference implementations. For proof of concept demonstration, we utilize the proposed FeFET based Muller C-Element for performing breast cancer diagnosis utilizing Wisconsin data-set.</p>
Performance Optimization and Efficiency Enhancement of IoT-Integrated Hybrid Solar Thermoelectric Generation System
Authors: EJAZ ZOHAIB 
Published: July 2023

<p>Solar energy being the cheapest source of renewable energy is abundantly available on earth. The energy produced by solar panels is conditioned by several circumstances in photovoltaic (PV) systems, that is, solar radiation, temperature, angle of the incident light, etc. With rising panel temperature, solar panel efficiency and photovoltaic module output power fall by 0.5% per °C. This study analyzes a hybrid solar thermoelectric system using Thermoelectric Generator (TEG) and Thermoelectric Cooler (TEC) to boost PV system efficiency. Peltier and Seebeck effects of thermoelectric devices in PV systems cool and generate voltage. By utilizing these effects thermoelectric devices improve the efficiency and output power of PV systems by cooling them and generating voltage from their excess heat. Another important aspect to maximize the efficiency of the hybrid solar thermoelectric system is the continuous monitoring of the maximum power point (MPP). In this study, the Maximum Power Point Tracking (MPPT) algorithm is applied to the hybrid solar thermoelectric system to obtain maximum power and enhance the efficiency of the system in unfavorable conditions. The use of thermoelectric devices based on silicone material can lead to increase the efficiency of the normal solar system by 9% to 4.1% at the ideal temperature of 25°C to the extreme temperature of 55°C when thermoelectric module will be work as a generator and during hot weather conditions IoT based thermoelectric module which will work as a cooler of solar panel can increase the efficiency of system by 0% to 4.1% at the ideal temperature of 25°C to the extreme temperature of 55°C by just keeping down the temperature of solar panel respectively. This study is also tested via IoT based controls of loads as well as thermoelectric coolers to make overall system more advance and efficient to control. </p>
Iterative Data Compression with Calculated Codes-IEEE_1col.docx
Authors: Dey Swapan 
Published: July 2023

<p>This paper focuses on enhancing the compression ratio of any existing dictionary-based Lempel-Ziv compression methods (LZW compression and its variants like LZMW, LZWL etc.) by introducing a couple of novel features rather than introducing a new data compression technique. The proposed enhancements are intended to provide better compression ratio on the existing techniques, thus enabling more efficient data storage. By providing a comprehensive description of the constraints inherent in the current dictionary-based compression methods, this paper analytically elaborates the intricacies of the proposed features, along with a logical explication of how their implementation will lead to an enhanced compression ratio. </p>
Digital NGD Circuit Design and Implementation for FPGA-based Embedded System
Authors: RANDRIATSIFERANA Rivo 
Published: July 2023

<p>We present a methodology for implementing NGD using a Finite Impulse Response (FIR) filter. The NGD concept is counter-intuitive in nature, so we first provide the basic theory of FIR-based NGD system synthesis based on second-order FIR systems. We include synthesis results that prove the viability of using FIR filters for NGD functions under specific conditions. We then design, simulate and test FIR-based NGD parameters before building an FPGA-based proof-of-concept implementation for embedded systems. The experimental results show how the frequency responses of the NGD function at baseband frequency correlate well with the theoretical hypothesis, supporting our analysis and validating our methodology. </p>
PELATIHAN PEMBUATAN BIJI KOPI FERMENTASI UNTUK KELOMPOK REPUBLIK TANI MANDIRI DESA KUCUR MALANG
Authors: Rollando Rollando , Monica Eva , Sitepu Rehmadanta , Haryanto Susanto 
Published: July 2023

Coffee has a very big role in increasing the country's foreign exchange. Coffee production has increased drastically throughout Indonesia. One of the coffee-producing areas is Kucur Village. Kucur Village is located in the highlands of Malang Regency which produces Robusta, Arabica, and Liberica coffee varieties. Republik Tani Mandiri (RTM) is a farmer group that sells coffee. However, the coffee product produced is still in the form of ground coffee and innovations need to be added to increase the selling value of coffee. The community service team of Ma Chung University provides training for the manufacture of fermented coffee in the hope that the selling price of coffee can increase. The coffee bean fermentation process uses the Saccharomyces cerevise fungus, the fermentation temperature is 30℃, and the fermentation time is 30 days. The results of this training show that the training process is good and partners consider that this activity should be continued until the packaging process
STRATEGI REBRANDING ELEMENTS PADA UMKM DAPOER MENENG UNTUK MENINGKATKAN BRAND AWARENESS
Authors: Azyumardiani Istabrina Urfa , Sani Salma Fatharani , Herawaty Tetty , Chan Arianis 
Published: July 2023

Currently, many micro, small and medium enterprises have emerged in the food sector, one of which is Dapoer Meneng. Dapoer Meneng is an MSME from Bandung that was founded in 2020. This brand has a problem that is not too well known by the public, therefore we are rebranding the Dapoer Meneng brand by changing several brand elements that aim to improve brand identity. The things that have been done are changing the logo, suggesting new packaging forms, having a color palette as a characteristic, adding and using contemporary language, adding thank you cards and labels and also creating more creative and flexible promotional content. This has received a positive response, both from the owner and from the community. What we do has the same ultimate goal, namely to build a brand identity which we hope can grow brand awareness to consumers and also increase sales from the Dapoer Meneng itself.
PENINGKATAN POLA PIKIR PETANI KANGKUNG DARAT MELALUI PENYULUHAN DAN ANALISIS USAHATANI
Authors: Lalla Milawati , Rahmisyari Rahmisyari 
Published: July 2023

Ipomoea reptans L. is ones type of vegetable that is consumed by the people of Gorontalo. The Mo’awota farmer group harvests every day. The obstacle faced is the lack of knowledge about organic cultivation and farming analysis so that farmer do not know the amount of income obtained from their farming. The purpose of this activity is to increase farmers’ knowledge about the importance of farming analysis and pest control proper and enviromentally friendly farming so as to production that is safe for consumers. The activity was by providing counseling in the Mo’awota farmer group Bulango Timur and conducting pree tests, post tests and calculating farming analysis. The results show that there is increase in farmers’ knowledge about organic farming and pest and desease control. The results of farming analysis obtained that the average income each farmer is Rp.1.060.000,-/month and R/C ratio of 2,12.
PELATIHAN EFIKASI DIRI UNTUK MENINGKATKAN MOTIVASI BERPRESTASI PADA SISWA SMA TEUKU UMAR SEMARANG
Authors: Wangge Maria Yuliana , Pribadi Agung Santoso , Asih Martha Kurnia , Pratiwi Feti 
Published: July 2023

Students are said to be successful in learning if there is a change in student behavior and learning outcomes. In learning activities, motivation is needed as a driving force for students when following the learning process. The phenomenon found that during online learning many students do not have the motivation to learn. One way that can be used to increase student learning motivation is to provide self-efficacy training. Self-efficacy training can help students Community service activities aim to increase students' learning motivation through self-efficacy training. The subjects in this PkM activity were students of class X SMA Teuku Umar Semarang, totaling 60 students. The implementation method used in this training activity is to use the lecture and training method. The activity was carried out in two sessions, the first session was given motivational material and the second session was given self-efficacy material and training to increase self-efficacy. The data analysis method used is descriptive and quantitative analysis. The results of data analysis using the testpaired sample t-test showed an increase in student understanding with a mean difference score of 1.50 Pretest and Posttest 4.07 with a T Test for mean equity of 2.567.
Keywords: Self-Efficacy Training, Student Learning Motivation
Probabilistische Untersuchungen zu Systemeffekten in Verbundfugen mit spröden und duktilen Verbundmitteln/Probabilistic investigations of system effects in the composite connection with brittle and ductile shear connectors
Authors: Wolters Kevin , Feldmann Markus 
Published: July 2023

Verbundmittel wie zum Beispiel Kopfbolzendübel werden im Träger typischerweise in einer höheren Anzahl angeordnet. Daraus ergibt sich ein auf die Versagenswahrscheinlichkeit auswirkender Systemeffekt, der in den Normen nicht berücksichtigt wird.

Dieser Artikel beschreibt solche Systemeffekte, die sich bei Anordnung mehrerer spröder oder duktiler Verbundmittel in Verbundfugen ergeben und zeigt deren maßgebliche Einflüsse in Parameterstudien. Die Systemeffekte haben in baupraktisch relevanten Fällen, auch bei Annahme von sich ideal-spröde verhaltenden Verbundmitteln, einen meist positiven Einfluss auf die Zuverlässigkeit der Verbundfuge und damit des Verbundträgers und zwar umso deutlicher, je stärker die Einzeltragfähigkeiten der Dübel streuen und je weniger diese untereinander korreliert sind. Unter Beibehaltung der normativen Anforderungen an die Zielzuverlässigkeit von Tragwerken könnte im Gegenzug das Bemessungsniveau der Verbundmittel durch eine Anpassung des Teilsicherheitsbeiwertes angehoben werden.
Socio-Economic Status of Tribal Women in Tiruvannamalai District of Tamil Nadu
Authors: Ranjithkumar A. , Dimitrov B.E. George 
Published: July 2023

Since history tribal women have faced problems on basis of two aspects, first one is caste discrimination and Caste discrimination is the social evil. Caste discrimination is a social evil. Various legal measures are being implemented to eliminate caste discrimination. However, caste discrimination could not be stopped. This discrimination is still practiced in the society till today. Second one is gender discrimination and women are not treated equally to men. Women are treated as inferior to men and they do not even get their basic rights. Their rights are denied by men. In these backgrounds the study tries to investigate historical perspectives of tribal and women and to understand socio economic status of Tribal women in Tiruvannamalai district of Tamil Nadu.
Impacto Económico de la Descontaminación Ambiental
Authors: Schmitter Schmitter Eidy Maria 
Published: July 2023

La idea es utilizar el modelo de insumo-producto de Wassily Leontief para realizar esta evaluación. El punto de partida es la imposibilidad de continuar contaminando los efluentes industriales sin tomar medida alguna de mitigación. Se considera tres sectores contaminantes de la economía a saber, productos de molinería y panadería, bebidas, y madera y productos de madera. Se utiliza las estadísticas de la contabilidad nacional publicadas por el INE para el año 2012. Con esta información se calcula la matriz de intercambios inter industriales y el sistema de precios de partida. Se calcula luego, la matriz ampliada incluyendo la información sobre contaminación y descontaminación para calcular el sistema modificado. Se concluye que las industrias sometidas a control, desvían sus costos incrementales sobre los consumidores finales provocando un alza de precios.
Sebuah Kajian Tentang Struktur Modal, Likuiditas dan Harga Saham Pada Perusahaan Perbankan
Authors: Irmawati Eka 
Published: July 2023

Pengaruh Struktur Modal dan Likuiditas Terhadap Harga Saham pada Perusahaan Perbankan yang Terdaftar Di Bursa Efek Indonesia. Penelitian ini bertujuan untuk mengetahui apakah struktur modal berpengaruh harga saham pada perusahaan perbankan yang terdaftar di bursa efek Indonesia 2020-2021. Pengumpulan data menggunakan data sekunder yang diperoleh dari data laporan keuangan publikasi yang diterbitkan oleh bursa efek indonesia dengan menggunakan teknik purposive sampling. Populasinya adalah seluruh perusahaan sektor perbankan yang terdaftar di bursa efek Indonesia periode 2020-2021 yaitu sejumlah 43 perusahaan. Dengan sampel penelitian 56 data sampel. Hasil data variabel penelitian telah diuji asumsi klasik berupa uji asumsi normalitas, multikolinearitas dan heterokedastisitas. Metode analisis data menggunakan teknik analisis statistic deskriptif dan analisis regresi linear berganda. Dengan uji hipotesis yaitu uji f (simultan), uji t dan uji koefisien determinasi. Hasil penelitian menunjukkan bahwa struktur modal berpengaruh tidak signifikan terhadap harga saham dan likuiditas berpengaruh negative tidak signifikan terhadap harga saham.
Por uma linguística aplicada de contato nas posturas praxiológicas do ensino básico e da formação docente de língua inglesa
Authors: Lacerda Rodrigues Hoelzle Maria José , Dos Passos Araujo Capparelli Camila 
Published: July 2023

Neste estudo, temos como objetivo refletir sobre a relevância da linguística de contato (Pratt, 2013) na educação linguística – especialmente no ensino básico e na formação docente de Língua Inglesa. Para tanto, à luz das considerações prattianas (2013), analisamos o padrão de homogeneidade inerente à comunidade imaginada e refletido na comunidade linguística. A fim de apresentar alternativas que vão de encontro a atitudes limitantes no ensino/formação de língua inglesa, reentextualizamos dois exemplos. O primeiro demonstra uma atividade sobre gênero trabalhada a partir da autorreflexão de uma professora em uma sala de aula de ensino básico (Pessoa; Hoelzle, 2017), confrontando simultaneamente um exemplo de diálogo típico de materiais didáticos de inglês. Tal diálogo configura-se como uma amostra fiel da perspectiva de uma linguística de comunidade, envolto por padrões de homogeneidade e linearização. O segundo exemplo, num momento de formação docente (Bastos et al, 2021), traz uma atividade que desconstrói o modelo ideal de falante nativo. Acreditamos que ações como estas, que abraçam a perspectiva de uma linguística de contato diante de uma língua ainda considerada hegemônica, estabelecem caminhos viáveis para o combate às utopias linguísticas (Pratt, 2013) nas escolas e nas universidades.
Palavras-chave: linguística de contato; praxiologias; ensino básico; formação docente.
Low-Dose Vasopressin and Renal Perfusion in Pediatric Cardiac Surgery
Authors: Kumar Alok , Ghotra Gurpinder S. , Raj Sangeeth , Tiwari Nikhil , Ramamurthy HR 
Published: July 2023

Background:
Congenital heart surgeries are associated with post-bypass renal and cardiac dysfunctions. The use of low-dose vasopressin has been found to be beneficial in adult cardiac surgeries.

Objective:
To assess the hemodynamic and renal effects of patients undergoing on-pump pediatric cardiac surgery under general anesthesia (GA) with low-dose vasopressin infusion.

Design:
Prospective randomized controlled study.

Setting:
Operation room and ICU, tertiary care teaching hospital.

Patients:
Fifty-five pediatric cardiac patients undergoing repair for congenital heart diseases (CHD).

Interventions:
Low-dose vasopressin infusion in the study group and placebo in the control group.

Measurements and Main Results:
Renal near-infrared spectroscopy (NIRS), serum NGAL, and inflammatory mediators—IL6 and IL8 along with other renal and hemodynamic parameters in the perioperative period were recorded. Diastolic blood pressure (DBP) and cardiac index were significantly higher in the vasopressin group. Inflammatory markers were significantly high in the immediate postoperative period in all patients which later stabilized in the next 48 h but showed similar trends in both groups. Low-dose vasopressin infusion did not improve either renal perfusion or function. The duration of mechanical ventilation and length of hospital stay, the incidence of AKI development, and transfusion requirements were marginally lower in the vasopressin group, although not significant.

Conclusion:
Low-dose vasopressin infusion improved hemodynamics and showed a decreased incidence of complications. However, it failed to show any benefit of renal function and overall outcome in pediatric cardiac surgery.
Supracarinal lymph node positivity in esophageal squamous cell carcinoma (ESCC) and factors predicting metastasis in supracarinal compartment nodes: Should a total mediastinal node dissection be the standard of care?
Authors: Jain Abhishek R. , Sadhwani Manish A. , Vyas Ronak D. , Pandya Shashank J. , Sharma Mohit R. , Warikoo Vikas , Puj Ketul S. , Salunke Abhijeet A. 
Published: July 2023

Background:
Adequate lymphadenectomy in middle- and lower-third esophagus cancer is still a matter of debate. This study aims to find out the extent of histopathological supracarinal lymph nodes positivity rate to establish an adequate lymph node dissection in esophageal squamous cell carcinoma cases operated up-front or after neoadjuvant chemotherapy (CT) + radiotherapy (RT) and its short-term oncological outcome.

Materials and Methods:
After approval from institutional board review, a retrospective study was conducted from April 2017 to September 2019. A total of 76 patients having mid- or lower-third carcinoma esophagus were operated at our institute for partial/total esophagectomy with extended two-field lymph node dissection were followed. Intraoperative nodal stations were harvested separately and lebeled individually according to the Japanese Esophageal Classification and sent for histopathological examination.

Results:
The patients had an average age of 52 years. Histologically all were squamous cell carcinoma (SCC). Forty-four patients received preoperative concurrent RT plus drug therapy, whereas 18 cases were operated up-front. Fourteen patients were operated after palliative treatment (CT/RT). The average total lymph node yield was 22 nodes (range 3–69). In 26 patients (34.2%), lymph nodes were positive (N+ disease). Supracarinal nodes were positive in 20 cases (26.31%). The average supracarinal lymph node yield was 10.33 nodes (range 2–32). Five patients (6.5%) had only supracarinal lymph nodes positive on histopathological examination. Seventeen patients had a complete pathological response rate (pCR).

Conclusion:
In cases of mid-third esophageal carcinoma, extended two fields with supracarinal lymphadenectomy is strongly recommended even after the patient has received neoadjuvant treatment, although the same for lower-third/gastroesophageal (GE) junction tumors should be considered.