Programming Languages - Science topic

Simulation software addresses complex problems that are difficult to solve analytically. Due to probabilistic elements, simulations often require multiple runs, generating critical decision-making data. However , many users are unfamiliar with the necessary persistence technologies to store and access this data, hindering effective utilisation. We...

Round Robin (RR) CPU Scheduling involves allocating CPU resources to processes in a circular manner using a fixed quantum time (QT). Each process in the ready queue receives an equal time slice known as the quantum time, after which the CPU is reassigned to the next process in line. Some processes under RR complete execution while others return...

Heart health has become a critical issue in our modern world. The elevated risk of heart disease is an important problem for every person. The Internet of Things is among the most innovative new technologies to appear in recent years. An example of such a development is the heart rate monitor. In this paper, we propose a remote heart rate monitorin...

This paper discusses the interest in utilizing R, a programming language, in soil physics for enhanced data reproducibility. Reproducibility is challenging across scientific disciplines, including soil science, and it is encouraged by demands for transparency from funding bodies and governments. Open and reproducible soil physics research can benef...

Este trabalho teve o objetivo de identificar a tendência dos registros de programas de computador voltados para a área contábil no Brasil e como o país se posiciona em relação à América Latina. De natureza aplicada, abordagem mista e exploratória, a busca de dados foi realizada entre junho e outubro de 2022 no portal do INPI e na base de dados LATI...

This article presents a Petri Net model, a token game and implementations in JavaScript, JScript.NET, C, Python, VB.NET and C#.NET for an example application for computing taxes on several incomes. It argues that if the Petri Net model an its annotations can be systematically mapped to a programming language then it is sufficient to study the Petri...

This study was aimed at introducing a new method for predicting the original metrics of fragmented standardized artifacts, specifically of flint blades from the Middle Pre-Pottery Neolithic B (10,200/100–9,500/400 cal B.P.) in the Southern Levant. The excessive re-use of these artifacts or poor preservation conditions often prevent a complete set o...

In an era marked by exponential growth in data generation and an unprecedented convergence of technology and healthcare, the intersection of biostatistics and data science has become a pivotal domain. This book is the ideal companion in navigating the convergence of statistical methodologies and data science techniques with diverse applications imp...

The Whole Farm Model (WFM) is a comprehensive tool developed by DairyNZ to simulate dairy farm systems and explore future opportunities. It integrates various components of a farm, including animal production, pasture management, soil nutrient cycling, and financial performance. The WFM has been instrumental in numerous research projects, providing...

In the tunnel construction project, it is possible to encounter coal mine goaf. The goaf is often accompanied by a large number of toxic and harmful gases such as gas, carbon monoxide and carbon dioxide. These factors undoubtedly increase the occurrence of geological disaster risk accidents such as gas combustion and explosion, resulting in tunnel...

Indigenous languages are critical to cultural identity, carrying unique worldviews, knowledge systems, and histories. However, these languages are rapidly disappearing due to factors like globalization, urbanization, and intergenerational transmission gaps. This paper discusses strategies for the preservation and revitalization of indigenous langua...

Recent technological developments in molecular biology led to large data sets providing new insights into the molecular organisation of cells. To fully exploit their potential, these developments have to be complemented by computer simulations that allow to gain in-depth understanding on molecular principles. We developed the Python-based, reaction...

Objective To enhance documentation on programming decisions in Real World Evidence (RWE) studies. Materials and Methods We analyzed several statistical analysis plans (SAP) within the Vaccine Monitoring Collaboration for Europe (VAC4EU) to identify study design sections and specifications for programming RWE studies. We designed a machine‐readable...

The Structure Fractal Analyzer (SFA) software is designed for the analysis of fractal dimension and structural characteristics of materials based on their images. Utilizing advanced image processing techniques and mathematical analysis, the software enables the examination of materials with varying complexities, revealing their fractal properties a...

Mandarin-English dual language immersion (ME-DLI) programs have been growing rapidly in recent decades. Most dual language immersion programs are not mandated by the school or district but are initiated based on parents’ demands. To better understand the need for ME-DLI programs, this study explored factors associated with ethnic Chinese parents’ d...

Despite recent proliferation of programmable robotic chemistry hardware, current chemical programming ontologies lack essential structured programming constructs like variables, functions, and loops. Herein we present an integration of these concepts into χDL, a universal high-level chemical programming language executable in the Chemputer. To achi...

The development of the stock market has been characterised by a lack of dynamism, particularly in the context of an economic slowdown, policy adjustments and global uncertainties. As a result, corporate earnings have declined, stock demand has decreased, stock prices have fallen and investors are uncertain about the future. The following article ai...

La comunicación puede influir en la satisfacción, estabilidad y solución de conflictos en pareja. Actualmente, ha aumentado el interés por investigar este fenómeno. El propósito de esta investigación fue explorar lo que la literatura científica expone sobre la comunicación en las relaciones de pareja a través de un análisis bibliométrico. Se utiliz...

Network data plane programming is a consequence of the evolution of the concept of control and data plane separation, stated two decades ago, and established on the Software-Defined Networking (SDN) architecture. The concept has been evolving since its initial implementation using the OpenFlow protocol, whereby an omniscient external entity, the co...

Abstract Operation of interconnected power system network involves connection of many generators. It is required that all the generators must remain synchronized at all times when operating within their rated capacity. Unabated continuous grow in system loading may lead to machine running out of synchronism. This paper assessed steady state stabili...

This paper uses advanced techniques for data visualization in order to provide clear guidance for both consumers and manufacturers within the breakfast cereal industry. The research primarily focuses on analyzing key characteristics such as caloric content, fiber content, and sugar levels across various renowned brands of cereal including Larana In...

To study the impact of media attention for carbon neutrality on excess stock returns and the effect of investor sentiment, we first crawled news reports and investor comments from mass media and social media using Python programming language. Then we used text analytics and Bi-directional long-short-term memory (BiLSTM) to get media attention and i...

The article is devoted to the analysis of current directions of improvement of the European Union’s migration policy in the context of immigrant integration, in particular, in the context of growing migration flows to Europe. Authors note that there are problems in building migration policy due to the fragmentation of its regulatory mechanisms. The...

Programming is one of the core disciplines in Computer Science (CS) and Computer Engineering (CE) courses, and it is increasingly permeating the curricula of other study programs. After undergoing an introduction to programming and a course on object-oriented programming, some students will attend an advanced course on programming languages, where...

Peer Code Review (PCR) is a professional practice and a learning method. A case study on PCR was conducted in a “Programming Languages” course in the fall semester of 2023 at the Norwegian University of Science and Tech-nology (NTNU). A new protocol for peer code review was implemented where the students received a suggested solution and instructor...

The theory of solitary waves or solitons is crucial in nonlinear models due to their ability to propagate without distortion, making them essential in fields like physics, biology, engineering, and mathematics. This study explores solitary waves in the time fractional Clannish Random Walker's Parabolic equation using two effective approaches: polyn...

The introductory programming course, known as CS1, has evolved considerably since its inception, with diverse opinions on the essential concepts that should be included. This study aims to identify the fundamental concepts taught in Norwegian CS1 courses in order to develop a validated assessment tool: a concept inventory. This tool will be utilize...

Evaluating the performance of Code Language Models (CLMs) for software engineering tasks, especially in multilingual and low-resource programming language settings, poses significant challenges. These challenges are primarily due to the lack of high-quality benchmarks across various programming languages and the imbalanced nature of the CLMs traini...

Comparing the quality of software written in different computer languages is required in a variety of scenarios, e.g. multi-language projects or application selection process among candidates in different languages. We focus on the challenges related to comparing the maintainability quality typically through a maintainability index or technical deb...

The article examines the processes of adaptation of migrants in the  host community with an emphasis on social and economic aspects. Migration, being  an important part of globalization, leads to changes affecting all levels of society,  including the economy, culture and social relations. Special attention is paid to the  analysis of various a...

With the advancement in network based technology Cloud Computing is gaining more and more popularity as a huge number of enterprise applications and data are using cloud or Network based platforms. These services use the Internet, networking protocols, different management tools and programming language. Providing security is a vital feature requir...

Quantum lambda calculus has been studied mainly as an idealized programming language -- the evaluation essentially corresponds to a deterministic abstract machine. Very little work has been done to develop a rewriting theory for quantum lambda calculus. Recent advances in the theory of probabilistic rewriting give us a way to tackle this task with...

The increasing use of mobile devices in education has transformed traditional teaching and learning processes. With students already accustomed to using mobile devices for daily tasks, educators can leverage this familiarity for educational purposes, particularly in testing and assessments. Mobile-based testing and practicing offers an innovative a...

Software libraries are the elementary building blocks of open source software ecosystems, extending the capabilities of programming languages beyond their standard libraries. Although ecosystem health is often quantified using data on libraries and their interdependencies, we know little about the rate at which new libraries are developed and used....

This study examines the strategies implemented by the Intensive Practical Language Program (IPPL) at IPB Internasional to enhance students' English speaking skills. The research identifies key methods such as immersive language activities, interactive speaking exercises, and personalized feedback from instructors. These strategies are designed to c...

The exponential growth in global student mobility has resulted in a corresponding increase in demand for international student fairs. Education fairs serve as pivotal platforms for the acquisition of information and the formulation of decisions pertaining to academic pursuits, with a considerable number of students ultimately enrolling in undergrad...

Smart contracts form the core of Web3 applications. Contracts mediate the transfer of cryptocurrency, making them irresistible targets for hackers. We introduce ASP, a system aimed at easing the construction of provably secure contracts. The Asp system consists of three closely-linked components: a programming language, a defensive compiler, and a...

Property-based testing (PBT) is a technique for validating code against an executable specification by automatically generating test-data. We present a proof-theoretical reconstruction of this style of testing for relational specifications and employ the Foundational Proof Certificate framework to describe test generators. We do this by encoding ce...

Este estudio tiene como objetivo analizar el impacto de ChatGPT en la enseñanza del lenguaje de programación Python, evaluando su efectividad y explorando sus ventajas, limitaciones y desafíos. Para ello, se realizó una revisión sistemática de 20 artículos recientes que abordan la implementación de ChatGPT en contextos universitarios. La metodologí...

Most reinforcement learning (RL) platforms use high-level programming languages, such as OpenAI Gymnasium using Python. These frameworks provide various API and benchmarks for testing RL algorithms in different domains, such as autonomous driving (AD) and robotics. These platforms often emphasise the design of RL algorithms and the training perform...

This research aims to design an information system for scheduling incoming and outgoing letters at the Asahan District Education Office. Currently, the process of managing letters is still done manually by writing them into a ledger which is inefficient in terms of time and energy. This research uses qualitative methods with data collection techniq...

This article considers the problem of optimizing the process of oil transportation through oil pipelines from fields to oil collection and delivery points. The aim of the study is to build an effective logistics system for product transportation, which ensures the sustainable functioning of industrial production. The paper presents a mathematical m...

Given a natural language query, code search aims to find matching code snippets from a codebase. Recent works are mainly designed for mainstream programming languages with large amounts of training data. However, code search is also needed for domain-specific programming languages, which have fewer training data, and it is a heavy burden to label a...

Proficiency in programming languages is essential across various sectors. As technology advances, AI-driven chatbots are increasingly recognized for their potential in education. This paper presents a scoping review of chatbots in programming education, examining existing research to identify benefits, challenges, and user perceptions. Findings rev...

Supramolecular polymers are able to change their structure, morphology and function in response to external stimuli. However, controlling the independence of stimuli‐responses in these systems is challenging. Herein, we exploit halogen bonding (XB) as a reversible network element to regulate the photoresponsive and adaptive behavior of supramolecul...

This project is a clinic management system that will be used to solve the current problems that facing by the local clinic in Malaysia. Clinic Management System is a web-based platform system. The main objectives of this project is to improve the business process of the clinic in Malaysia by using the information technology and also enhance the cu...

This paper describes the Pawns programming language, currently under development, which uses several novel features to combine the functional and imperative programming paradigms. It supports pure functional programming (including algebraic data types, higher-order programming and parametric polymorphism), where the representation of values need no...

Gradually typed programming languages, which allow for soundly mixing static and dynamically typed programming styles, present a strong challenge for metatheorists. Even the simplest sound gradually typed languages feature at least recursion and errors, with realistic languages featuring furthermore runtime allocation of memory locations and dynami...

Dirac notation is widely used in quantum physics and quantum programming languages to define, compute and reason about quantum states. This paper considers Dirac notation from the perspective of automated reasoning. We prove two main results: first, the first-order theory of Dirac notation is decidable, by a reduction to the theory of real closed f...

Background Trauma represents a significant global health challenge.The development of an effective scoring tool capable of predicting mortality risk in trauma cases is essential. This study aimed to investigate the combined effects of quick sequential organ failure assessment (qSOFA) and hypothermia (H) along with prothrombin time (PT) in predictin...

Data collection and data preprocessing are crucial stages in web usage mining, mainly because of the unstructured, diverse, and noisy nature of log data. During data collection, log file datasets are loaded and merged. Effective and comprehensive data preprocessing plays a vital role in ensuring the efficiency and scalability of algorithms used in...

Data contamination presents a critical barrier preventing widespread industrial adoption of advanced software engineering techniques that leverage code language models (CLMs). This phenomenon occurs when evaluation data inadvertently overlaps with the public code repositories used to train CLMs, severely undermining the credibility of performance e...

The paper discusses the implementation of OOP in two widely used programming languages, Java and Python, examining their unique memory management strategies, performance characteristics, and security features. RQ1-How does memory management differ between Java and Python in object-oriented systems? RQ2-What are the key differences in security f...

Proprietary closed-source software is still the norm in advanced process control. Transparency and reproducibility are key aspects of scientific research. Free and open-source toolkit can contribute to the development, sharing and advancement of new and efficient control approaches, and the industrial sector will certainly benefit from them. This p...

Human pluripotent stem cells (hPSCs) attract tremendous attention due to their unique properties. Manual extraction of trajectories of cell colonies in experimental image time series is labor intensive and subjective, thus the aim of the work was to develop a computer semi-automated protocol for colony tracking. The developed procedure consists of...

Our everyday lives now heavily rely on artificial intelligence (AI) powered large language models (LLMs). Like regular users, programmers are also benefiting from the newest large language models. In response to the critical role that AI models play in modern software development, this study presents a thorough evaluation of leading programming ass...

This paper focuses on the comparative analysis of popular programming languages used in web development, particularly in the context of IoT-based energy management and smart agriculture IoT networks for real-time farm monitoring. With the growing complexity of digital solutions in agriculture, especially within agricultural food supply chains, the...

The article analyzes the street network of 25 cities of Krasnodar region, reveals the reasons and prerequisites for the classification of cities by the degree of orthogonality of the street network. The article also describes a technique for determining the orthogonality of an urban street network using the python programming language.

El presente trabajo de investigación aborda el diseño de nuevas rutas del sistema de transporte escolar Garzabús de la Universidad Autónoma del Estado de Hidalgo (UAEH) para poder beneficiar a la población estudiantil del Instituto de Ciencias Básicas e Ingeniería (ICBI). Se propone un modelo de optimización basado en Algoritmos Genéticos desarroll...

AC-unification, i.e., unification modulo Associativity and Commutativity axioms is a key component in rewrite-based programming languages and theorem provers. We have used the PVS proof assistant to specify Stickel’s pioneering AC-unification algorithm and proved it to be terminating (using an elaborate lexicographic measure based on Fages’ termina...

The emergence of Big Data has spurred the development of various frameworks designed for efficient data storage and processing. Key frameworks include Hadoop, Spark, Flink, Storm, Pig, and Zookeeper. Among these, Apache Flink stands out as a prominent open-source platform known for its powerful stream and batch processing capabilities. It functions...

The skill set needed for enterprise application development is more extensive than what is taught in typical programming courses. Enterprise applications are often rather complicated, distributed, networked, and multi-user. As a result, proficient software engineers need to know more than just the fundamentals of a programming language. GenAI has r...

The important for the country aspect of modernization of production business processes of industrial enterprises is presented, taking into account the forecasting of sales of dual-use goods and technologies, as modern dual-use goods and technologies cannot be produced qualitatively, without the necessary modern equipment, devices, machines and othe...

Data Analytics with Python and Optimization Programming Language (OPL)

Creating a fault-tolerant algorithm using Haskell and TensorFlow for testing the Ethereum Virtual Machine (EVM) is an ambitious but interesting project that combines several complex domains. Let's break this down into components: Understanding EVM (Ethereum Virtual Machine): The EVM is the decentralized computing environment that runs smart contrac...

Objectives This study aimed to assess the accuracy of a two-stage deep learning (DL) model for (1) detecting mandibular third molars (MTMs) and the mandibular canal (MC), and (2) classifying the anatomical relationship between these structures (contact/no contact) on panoramic radiographs. Method MTMs and MCs were labeled on panoramic radiographs...

We developed PyQUDA, a Python wrapper for QUDA written in Cython, designed to facilitate lattice QCD calculations using the Python programming language. PyQUDA leverages the optimized linear algebra capabilities of NumPy/CuPy/PyTorch, along with the highly optimized lattice QCD operations provided by QUDA to accelerate research. This integration si...

Online education's popularity has been continuously increasing over the past few years. Many universities were forced to switch to online education as a result of COVID-19. In many cases, even after more than two years of online instruction, colleges were unable to resume their traditional classroom programs. A growing number of institutions are co...

Hydrogen production from renewable energy sources is a sustainable idea both in the field of energy storage and for environmental protection. Still, the fluctuations of production levels can become an impediment and may attract risks or additional production costs. In order to predict hydrogen production from such sources, an Artificial Intelligenc...

As part of a research on a novel in-process multiprogramming-language interoperability system, this study investigates the interoperability and usage of multiple programming languages within a large dataset of GitHub projects and Stack Overflow Q\&A. It addresses existing multi-lingual development practices and interactions between programming lang...

Spatially resolved transcriptomics (SRT) has become the method of choice for characterising the complexity of biomedical tissue samples. Until recently, scientists were restricted to SRT methods that can profile a limited set of target genes at high spatial resolution or transcriptome‐wide but at a low spatial resolution. Through recent development...

The SMT (Satisfiability Modulo Theories) theory of arrays is well-established and widely used, with variousdecision procedures and extensions developed for it. However, recent works suggest that developing tailoredreasoning for some theories, such as sequences and strings, is more efficient than reasoning over them throughaxiomatization over the th...

The manual registration information system for incoming students is still commonly used by certain universities and colleges in Indonesia. However, the challenge lies in the fact that many potential students, especially those living outside urban areas, face difficulties with manual procedures and indeed many colleges still need a more efficient an...

Warm greetings! This is a special final project summary from our advanced course of Bilingualism II (2024-II) at the University of Quindío - Modern Languages program. It has been a pleasure to share this time with you all. I hope you enjoy it worldwide!

Learning to program certainly involves many aspects. At the linguistic level, for instance, novice programmers with native languages other than English have to cope with the English-like introductory programming languages. However, the lack of English mastery can be problematic at this level. As such, the focal aim of this work is to bring a compre...

The application of machine learning techniques in predicting students' performance, based on their background and their in-term performance has proved to be a helpful tool for foreseeing poor and good performances in various levels of education. The major problem institutions face is the systematic monitoring of students' academic progress in their...