Physical Sciences and Mathematics Commons^™

Autopruner: Transformer-Based Call Graph Pruning, Cong Thanh Le, Hong Jin Kang, Truong Giang Nguyen, Stefanus Agus Haryono, David Lo, Xuan-Bach D. Le, Huynh Quyet Thang

Research Collection School Of Computing and Information Systems

Constructing a static call graph requires trade-offs between soundness and precision. Program analysis techniques for constructing call graphs are unfortunately usually imprecise. To address this problem, researchers have recently proposed call graph pruning empowered by machine learning to post-process call graphs constructed by static analysis. A machine learning model is built to capture information from the call graph by extracting structural features for use in a random forest classifier. It then removes edges that are predicted to be false positives. Despite the improvements shown by machine learning models, they are still limited as they do not consider the source code …

How To Formulate Specific How-To Questions In Software Development?, Mingwei Liu, Xin Peng, Andrian Marcus, Christoph Treude, Jiazhan Xie, Huanjun Xu, Yanjun Yang

Research Collection School Of Computing and Information Systems

Developers often ask how-to questions using search engines, technical Q&A communities, and interactive Q&A systems to seek help for specific programming tasks. However, they often do not formulate the questions in a specific way, making it hard for the systems to return the best answers. We propose an approach (TaskKG4Q) that interactively helps developers formulate a programming related how-to question. TaskKG4Q is using a programming task knowledge graph (task KG in short) mined from Stack Overflow questions, which provides a hierarchical conceptual structure for tasks in terms of [actions], [objects], and [constraints]. An empirical evaluation of the intrinsic quality of …

In War And Peace: The Impact Of World Politics On Software Ecosystems, Raula Kula, Christoph Treude

Research Collection School Of Computing and Information Systems

Reliance on third-party libraries is now commonplace in contemporary software engineering. Being open source in nature, these libraries should advocate for a world where the freedoms and opportunities of open source software can be enjoyed by all. Yet, there is a growing concern related to maintainers using their influence to make political stances (i.e., referred to as protestware). In this paper, we reflect on the impact of world politics on software ecosystems, especially in the context of the ongoing War in Ukraine. We show three cases where world politics has had an impact on a software ecosystem, and how these …

Epic-Kitchens Visor Benchmark: Video Segmentations And Object Relations, Ahmad Ak Dar Khalil, Dandan Shan, Bin Zhu, Jian Ma, Amlan Kar, Richard Higgins, David Fouhey, Sanja Fidler, Dima Damen

Research Collection School Of Computing and Information Systems

We introduce VISOR, a new dataset of pixel annotations and a benchmark suite for segmenting hands and active objects in egocentric video. VISOR annotates videos from EPIC-KITCHENS, which comes with a new set of challenges not encountered in current video segmentation datasets. Specifically, we need to ensure both short- and long-term consistency of pixel-level annotations as objects undergo transformative interactions, e.g. an onion is peeled, diced and cooked - where we aim to obtain accurate pixel-level annotations of the peel, onion pieces, chopping board, knife, pan, as well as the acting hands. VISOR introduces an annotation pipeline, AI-powered in parts, …

Skin Lesion Segmentation By Using Object Detection Networks, Deeplab3+, And Active Contours, Fatemeh Bagheri, Mohammad Jafar Tarokh, Majid Ziaratban

Turkish Journal of Electrical Engineering and Computer Sciences

Developing an automatic system for detection, segmentation, and classification of skin lesions is very useful to aid well-timed diagnosis of skin diseases. Lesion segmentation is a crucial task for automated diagnosis of skin cancers, as it affects significantly the accuracy of the subsequent steps. Varieties in sizes and locations of lesions, and the lesions with low-contrast boundaries make this task very challenging. In this paper, a three-stage CNN-based method is presented for accurate segmentation of lesions from dermoscopic images. At the first step, normalization, approximate locations and sizes of lesions are estimated. Due to the importance of the normalization stage, …

Utilizing Motion And Spatial Features For Sign Language Gesture Recognition Using Cascaded Cnn And Lstm Models, Hamzah Luqman, Elsayed Elalfy

Turkish Journal of Electrical Engineering and Computer Sciences

Sign language is a language produced by body parts gestures and facial expressions. The aim of an automatic sign language recognition system is to assign meaning to each sign gesture. Recently, several computer vision systems have been proposed for sign language recognition using a variety of recognition techniques, sign languages, and gesture modalities. However, one of the challenging problems involves image preprocessing, segmentation, extraction and tracking of relevant static and dynamic features related to manual and nonmanual gestures from different images in sequence. In this paper, we studied the efficiency, scalability, and computation time of three cascaded architectures of convolutional …

Computationally Efficient Predictive Torque Control Strategies Without Weighting Factors, Emrah Zerdali̇, Mert Altintaş, Ali̇ Bakbak, Erkan Meşe

Turkish Journal of Electrical Engineering and Computer Sciences

Predictive torque control (PTC) is a promising control method for electric machines due to its simplicity, fast dynamics, ability to handle nonlinearities, and easy inclusion of additional control objectives. The main challenge in conventional PTC design is to determine the weighting factors in the cost function. These weighting factors are generally chosen by the trial-and-error method or metaheuristic optimization algorithms, but these methods may not apply the optimum voltage vectors according to changing operating conditions. There are also several studies on the elimination of the weighting factors. This paper proposes two weighting factorless PTC strategies with lower computational complexities than …

Identification Of Initial Events Of Cascading Failures Using Graph Theory Methods, Mojtaba Fekri, Javad Nikoukar, Gevork Babamalek Gharehpetian

Turkish Journal of Electrical Engineering and Computer Sciences

In power systems, the unintentional outage of a grid element can lead to overload and outage of other equipment and, through a domino effect, all or a large part of a power system may collapse. The resulting events are called cascading, consecutive, or sequential failures. So far, various methods have been proposed to identify the initial events of cascading failures with different levels of accuracy and computational load. In this paper, an effective approach is employed which, by calculating the maximum flow of independent paths between generators and loads in the network graph, identifies the critical lines and transformers of …

Monte-Carlo Method Based Simulations For Photothermal Mucosa Coagulation With Accurate Depth Limits, Merve Türker Burhan, Serhat Tozburun

Turkish Journal of Electrical Engineering and Computer Sciences

The mucosa layer, the innermost layer of the gastrointestinal (GI) system, is of great importance in carcinogenesis since most cancerous tissues occur as superficial lesions. Although various treatment strategies exist, the main difficulty in eradicating lesions is unintentional damage to healthy tissues with the uncontrolled depth of treatment. This study proposes a computer modeling approach for simulating depth-resolved photothermal (laser) mucosal coagulation therapy. Computer modeling mimics the thermal dynamics of mucosal tissue to characterize the total heat energy required for successful superficial coagulation, which can be controlled by the scan rate, scan time, output power, and beam diameter of the …

Modeling And Validation Of The Thermoelectric Generator With Considering The Change Of The Seebeck Effect And Internal Resistance, Mehmet Ali̇ Üstüner, Hayati̇ Mamur, Sezai̇ Taşkin

Turkish Journal of Electrical Engineering and Computer Sciences

Thermoelectric generators (TEGs) produce power in direct proportion to the temperature difference between their surfaces. The Seebeck coefficient and internal resistance of the thermoelements (TEs) that make up the TEGs change depending on the temperature change. In simulation studies, it is seen that these two values are kept constant. However, this situation prevents approaching the data of TEG in real applications. In this study, a TEG Simulink/MATLAB ® model has been developed to capture real TEG module data, which considers changing of both the Seebeck coefficient and the internal resistance depending on the temperature difference change. To achieve this aim, …

Detection And Classification Of White Blood Cells With An Improved Deep Learning-Based Approach, Fatma Akalin, Nejat Yumuşak

Turkish Journal of Electrical Engineering and Computer Sciences

The analysis of white blood cells, which defend the body against deadly infections and disease-causing substances, is an important issue in the medical world. The concentrations of these cells in the blood, examined in 5 classes, i.e. monocytes, eosinophils, basophils, lymphocytes, and neutrophils, vary according to the types of diseases in the body. The peripheral blood smear is widely used to analyze blood cells. Manual evaluation of this method is laborious and time-consuming. At the same time, many environmental and humanistic parameters affect the method's performance. Therefore, in the presented study, a real-time detection process is realized. Firstly, YOLOv5s, YOLOv5x, …

Affective States Classification Performance Of Audio-Visual Stimuli From Eeg Signals With Multiple-Instance Learning, Yaşar Daşdemi̇r, Rüstem Özakar

Turkish Journal of Electrical Engineering and Computer Sciences

Throughout various disciplines, emotion recognition continues to be an essential subject of study. With the advancement of machine learning methods, accurate emotion recognition from different data modalities (facial images, brain EEG signals) has become possible. Success of EEG-based emotion recognition systems depends on efficient feature extraction and pre/postprocessing of signals. Main objective of this study is to analyze the efficacy of multiple-instance learning (MIL) on postprocessing features of EEG signals using three different domains (time, frequency, time-frequency) for human emotion classification. Methods and results are presented for single-trial classification of valence (V), arousal (A), and dominance (D) ratings from EEG …

Gis Data: Somerset County, Maryland – Shoreline Inventory Data 2021, Karinna Nunez, Tamia Rudnicky, Sharon Killeen, Jessica Hendricks, Catherine R. Duning, Evan Hill

Data

The shoreline inventory files have been generated to support the application of the Maryland Shoreline Stabilization Model (SSM), developed by the Center for Coastal Resources Management (CCRM), Virginia Institute of Marine Science (VIMS), to enhance and streamline regulatory decision making in Maryland. This shoreline inventory includes the features needed as inputs to run the SSM.

The data developed for the Shoreline Inventory is based on a three-tiered shoreline assessment approach. This assessment characterizes conditions by using observations made remotely at the desktop using high resolution imagery. The three-tiered shoreline assessment approach divides the shore zone into three regions: 1) the …

Gis Data: Worcester County, Maryland – Shoreline Inventory Data 2021, Karinna Nunez, Tamia Rudnicky, Sharon Killeen, Jessica Hendricks, Catherine R. Duning, Evan Hill

Data

The shoreline inventory files have been generated to support the application of the Maryland Shoreline Stabilization Model (SSM), developed by the Center for Coastal Resources Management (CCRM), Virginia Institute of Marine Science (VIMS), to enhance and streamline regulatory decision making in Maryland. This shoreline inventory includes the features needed as inputs to run the SSM.

The data developed for the Shoreline Inventory is based on a three-tiered shoreline assessment approach. This assessment characterizes conditions by using observations made remotely at the desktop using high resolution imagery. The three-tiered shoreline assessment approach divides the shore zone into three regions: 1) the …

Gis Data: Charles County, Maryland – Shoreline Inventory Data 2021, Karinna Nunez, Tamia Rudnicky, Sharon Killeen, Jessica Hendricks, Catherine R. Duning, Evan Hill

Data

The shoreline inventory files have been generated to support the application of the Maryland Shoreline Stabilization Model (SSM), developed by the Center for Coastal Resources Management (CCRM), Virginia Institute of Marine Science (VIMS), to enhance and streamline regulatory decision making in Maryland. This shoreline inventory includes the features needed as inputs to run the SSM.

The data developed for the Shoreline Inventory is based on a three-tiered shoreline assessment approach. This assessment characterizes conditions by using observations made remotely at the desktop using high resolution imagery. The three-tiered shoreline assessment approach divides the shore zone into three regions:

1) the …

A Smart Parallel Gripper Industrial Automation System For Measurement Of Gripped Work Piece Thickness, Erik Kocher, Chukwuemeka George Ochieze, Ahmat Oumar, Travis Winter, Aleksandr Sergeyev, Mark Gauthier, Nathir Rawashdeh

Michigan Tech Publications

As part of the advanced programmable logic controllers (PLC) course at Michigan Tech, this class project is performed on a mechatronics system gifted by Donald Engineering, a Michigan-based supplier of industrial automation systems and components. This paper explores the functionality and ladder programming of the smart parallel gripper system to measure the width of components grasped with the gripper. In addition, details of the system’s components, operation, more advanced uses are discussed. On the automation line, this smart gripper can be used to measure the thickness of work pieces while handling them and classifying these as either acceptable, too large …

Advancing The Use Of Fecal Sludge For Timelier And Better-Quality Epidemiological Data In Low- And Middle-Income Countries For Pandemic Prevention, Petros Chigwechokha, Renée Street, Rochelle H. Holm

Faculty and Staff Scholarship

No abstract provided.

Logic, Co-Ordination And The Envelope Of Our Beliefs, Rohit J. Parikh

Publications and Research

Each of us has a story which we can think of as a set of beliefs, hopefully consistent. We make our decisions in view of our beliefs which may be probabilistic, in the general case, but simple yes or no as in this paper. Our beliefs are our envelope just as the shell of a tortoise is its envelope.

Decision theory - or single agent game theory tells us when to make the best choice in a game of us against nature. But nature has no desire to further or frustrate our efforts. Nature is mysterious but not malign.

Things …

New Guidance To Build Resiliency And Mitigate For Sea Level Rise As Elements Of The Chesapeake Bay Preservation Act, Pamela Mason, Julie Herman, Christine Tombleson, Jessica Hendricks, Karen Duhring

Reports

The Center for Coastal Resources Management (CCRM), Virginia Institute of Marine Science (VIMS), worked in collaboration with the Virginia Department of Environmental Quality (DEQ) and the Virginia Coastal Policy Center (VCPC) to develop guidance to inform the implementation of Chesapeake Bay Preservation Act (CBPA) regulations promulgated in 2021. The 2021 regulations added provisions to require local governments to consider climate changes, specifically flooding, sea level rise and storms, and the preservation of mature trees in the administration of the CBPA program. Specifically, CCRM developed analytical data using criteria specified in the CBPA regulations, of the National Oceanic and Atmospheric Administration …

Compilación De Procesos Investigativos En Educación Matemática, Martha Lidia Barreto Moreno, Yeferson Castellanos Novoa, María Alejandra Mayorga Henao, Diana Marcela Contento Sarmiento, Jesús Antonio Villarraga Palomino, Andrés Alberto Gutiérrez Morales, Juan David Firigua Bejarano, Yineth Marleidy Parra Ubaque, Lady Johanna Silva Marín

Educación

En el libro Compilación de procesos de investigación en educación matemática, consta de cuatro capítulos donde se presentan los procesos desarrollados en el marco de proyectos de investigación a nivel de pregrado y postgrado en Educación.

El primer capítulo consiste en la sistematización de la acción docente desarrollada en el marco de los Talleres Itinerantes de Alfabetización Computacional en la provincia de Sumapaz, propuesta de innovación para implementar procesos didácticos que contribuyan al desarrollo del pensamiento matemático computacional en educación básica primaria rural.

El segundo capítulo contiene el proceso investigativo que dio continuidad al trabajo realizado en la Fase1, sobre …

The Eu's Capacity To Lead The Transatlantic Alliance In Ai Regulation, Varun Roy, Vignesh Sreedhar

Claremont-UC Undergraduate Research Conference on the European Union

In the face of Chinese advances in AI in terms of technological prowess and influence, there has been a call for collaboration between the EU and the US to create a foundation for AI governance based on shared democratic beliefs. This paper maps out the EU, US, and Chinese approaches to AI development and regulation as we analyze the capacity of the US and EU to establish international standards for AI regulation through channels such as the TTC. As the EU rolled out a proportionate and risk-based approach to ensure stricter regulation for high-risk AI technologies, it laid the foundation …

Mgrre_Thinsections_05_A_67, Mgrre

Thin Sections

No abstract provided.

A Rapid High-Precision Analytical Method For Triple Oxygen Isotope Analysis Of Co2 Gas Using Tunable Infrared Laser Direct Absorption Spectroscopy, Nathan Perdue, Zachary Sharp, David Nelson Jr., Rick Wehr, Christoph Dyroff

Earth and Planetary Sciences ETDs

Rationale

The simultaneous analysis of the three stable isotopes of oxygen – triple oxygen isotope analysis – has become an important analytical technique in natural sciences. Determination of the abundance of the rare ¹⁷O isotope in CO₂ gas using magnetic sector isotope ratio mass spectrometry is complicated by the isobaric interference of ¹⁷O by ­¹³C (¹³C¹⁶O¹⁶O and ¹²C¹⁶O¹⁷O both have mass 45 amu). A number of analytical techniques have been used to measure the ¹⁷O/¹⁶O ratio of CO₂ gas. They …

Visual Report Of Cop26, Stéphanie Heckman

New England Journal of Public Policy

As a visual practitioner my job is to draw people’s thoughts, and in so doing, help people make sense of them. The visual summaries I create live during conferences aim to capture more than just the dry content, but also the dynamic, the mood and the unspoken. It is a tool more aligned with how our associative, sensory-fed brains work, for coping with the deluge of information that faces us these days. And it’s a tool that can help overcome language, learning and other barriers to access.

When I discovered in January 2020 that the next Conference of the Parties, …

The Necessity Of Cloud-Based Simulator For Indonesia's Maritime Education And Training Institutions, Stevian Geerbel Adrianes Rakka

World Maritime University Dissertations

No abstract provided.

Round Robin Tests Of Electron Irradiated Polymers Via Pulsed Electroacoustic Measurements, Zachary Gibson, J. R. Dennison, Virginie Griseri

Physics Student Research

Charge accumulation and migration can be studied using the pulsed electroacoustic (PEA) method to directly measure internal charge distributions in dielectric materials. This study aims to compare measurements using PEA systems constructed in labs at Utah State University and Université Paul Sabatier to establish confidence in comparing PEA results between different PEA systems. While there is good agreement in data measured for pristine samples with DC bias applied and no charge embedded, there are discrepancies in the data when measuring irradiated samples with embedded charge. The overall characteristics of charge distributions measured with both systems is clearly the same, but …

Perceptions Of Mangrove Ecosystem Services And Conservation Priorities By Decision-Makers And Key Stakeholders In Nigeria, Saratu Inuwa Audu

World Maritime University Dissertations

No abstract provided.

Regulating Single-Use Plastic Marine Pollution: A Case Study Of Nigeria, Oseghale Anthony Ebhaleme

World Maritime University Dissertations

No abstract provided.

Evaluating Human Pressure On Mangrove Vegetation In Nigeria: A Case Study Of The Niger Delta, Bashir Shehu Abubakar

World Maritime University Dissertations

No abstract provided.

Preventing Variadic Function Attacks Through Argument Width Counting, Brennan Ward

USF Tampa Graduate Theses and Dissertations

Format String attacks, first noted in June 2000 [1], are a type of attack in which anadversary has control of the string argument (the format string) passed to a string format function (such as printf). Such control allows the attacker to read and write arbitrary program memory. To prevent these attacks, various methodologies have been proposed, each with their own costs and benefits. I present a novel solution to this problem through argument width counting, ensuring that such format functions cannot access stack memory beyond the space where arguments were placed. Additionally, I show how this approach can be expanded …