Computer Sciences Commons^™

Enhancing Scalability In Genetic Programming With Adaptable Constraints, Type Constraints And Automatically Defined Functions, George Gerules

Dissertations

Genetic Programming is a type of biological inspired machine learning. It is composed of a population of stochastic individuals. Those individuals can exchange portions of themselves with others in the population through the crossover operation that draws its inspiration from biology. Other biologically inspired operations include mutation and reproduction. The form an individual takes can be many things. It, however, is represented most of the time as a computer program. Constructing correct efficient programs can be notoriously difficult. Various grammar, typing, function constraint, or counting mechanisms can guide creation and evolution of those individuals. These mechanisms can reduce search space …

Nsf High Performance Computing Community Event Hosted In Tulsa, Dillon Martone

Student Research

No abstract provided.

Designing Of The Electronic Components Used In The Device For Biomedical Signals Measurement, H.N Zaynidinov, Sarvar Mahmudjonov

Bulletin of TUIT: Management and Communication Technologies

Wireless health care monitoring technologies have the energetic to replace our lifestyle with various application uses in the field of such as healthcare management, retailer, travels, company, dependents care and urgent management, in addition to many area for improving. Electrocardiography (ECG) is a common technique for recording the electrical activity of human heart. Accurate computer analysis of ECG signal is challenging, as it is exceedingly prone to high frequency noise and various other artifacts due to its low amplitude. The accuracy of these algorithms relies on the low-pass and high-pass filtration of the input ECG signal. In this paper, it …

An Architecture For Blockchain-Based Collaborative Signature-Based Intrusion Detection System, Daniel Laufenberg

Master of Science in Information Technology Theses

Collaborative intrusion detection system (CIDS), where IDS hosts work with each other and share resources, have been proposed to cope with the increasingly sophisticated cyberattacks. Despite the promising benefits such as expanded signature databases and alert data from multiple sites, trust management and consensus building remain as challenges for a CIDS to work effectively. The blockchain technology with built-in immutability and consensus building capability provides a viable solution to the issues of CIDS. In this paper, we introduce an architecture for a blockchain-enabled signature-based collaborative IDS, discuss the implementation strategy of the proposed architecture and developed a prototype using Hyperledger …

Mathematics And Programming Exercises For Educational Robot Navigation, Ronald I. Greenberg

Computer Science: Faculty Publications and Other Works

This paper points students towards ideas they can use towards developing a convenient library for robot navigation, with examples based on Botball primitives, and points educators towards mathematics and programming exercises they can suggest to students, especially advanced high school students.

Rf Energy Harvesting Wireless Communication: Rf Environment, Device Hardware And Practical Issues, Yu Luo, Lina Pu, Guodong Wang, Yanxiao Zhao

Faculty Publications

Radio frequency (RF) based wireless power transfer provides an attractive solution to extend the lifetime of power-constrained wireless sensor networks. Through harvesting RF energy from surrounding environments or dedicated energy sources, low-power wireless devices can be self-sustaining and environment-friendly. These features make the RF energy harvesting wireless communication (RF-EHWC) technique attractive to a wide range of applications. The objective of this article is to investigate the latest research activities on the practical RF-EHWC design. The distribution of RF energy in the real environment, the hardware design of RF-EHWC devices and the practical issues in the implementation of RF-EHWC networks are …

Enhancement Aes Based On 3d Chaos Theory And Dna Operations Addition, Alaa Kadhim, Rasha Subhi Ali

Karbala International Journal of Modern Science

The techniques modern used to encrypt text data play an important role in preventing unauthorized access. The AES algorithm is widely used in various cryptographic applications, but coz the algorithm has been subjected to several successive attacks, the need is necessary to improve the algorithm and make it more powerful the algorithm.In dis search will be inserted plaintext 1024 will be divided into four blocks each Block consists of 256 bits and each Block will pass the four stages represent(substitution,shift,Mix column and round key).A new step will be added to the four stages of permutation. Where chaos theory is adopted …

Features Of Designing The Architecture Of Intelligent Transport Systems, Jaffar Daeibal, Vyacheslav Lapshin, Dmitry Elkin, Sergey A. Kucherov

Karbala International Journal of Modern Science

In the global experience, intelligent transport systems (ITS) are recognized as a general transport ideology for integrating the achievements of telematics in all types of transport activities to solve economic and social problems: reducing accidents, improving the efficiency of public transport and cargo transportation, ensuring overall transport security, and improving environmental performance. Considering the design features of the intelligent transport system (ITS), there is a need to develop requirements for the functional and physical architecture as the main part of the ITS development. The creation of functional and physical architecture touches upon issues such as: the scheme of interaction between …

A New Approach To The Potential Energy Of Solids, Radhika Chauhan, Sanjeev K. Verma, Anushri Gupta, Anita Kumari, B. D. Indu

Karbala International Journal of Modern Science

A general theory is developed to investigate the expression for potential energy without using (i) empirical results and (ii) process of parameterizing. The simple approach of thermodynamics is adopted to obtain the expressions for the interaction energy of solids in terms of interatomic separation and crystal volume. The new findings have been applied to obtain the expressions for bulk modulus and pressure. The variation of the potential energy function, which provides a means to understand the stability of a crystal has been found in excellent agreements to the earlier results. The use of obtained harmonic and anharmonic force constants may …

Kinetic Study For The Effect Of New Inhibitors On The Activity Of Purified Gpt From Blood Of Cardiovascular Patients, Firas Maher

Karbala International Journal of Modern Science

In this study several biochemical parameters for cardiovascular patients have been measured CK-MB ,LDH ,GPT and GOT in addition to lipid profile , MDA ,Vitamin C and Vitamin E . New derivatives of ascorbic acid have been synthesized and tested to inhibit the purified GPT from the blood of cardiovascular patients Glutamate pyruvate transaminase (GPT) was purified from cardiovascular patients using ammonium sulphate salt for precipitation then dialysed using 0.1 M Tris-HCL buffer pH7.8 , then filtrated by gel filtration chromatography using Sephadex G-100 , followed by electrophoresis using poly acrylamide – bis acrylamide and sodium dodecyl sulphate (SDS). Derivatives …

Neighborhoods And Partial Sums Of A New Class Of Meromorphic Multivalent Functions Defined By Fractional Calculus, Aqeel Ketab Al-Khafaji, Waggas Galib Atshan, Salwa Salman Abed

Karbala International Journal of Modern Science

In this paper, we introduce and study a new class A^* (λ,μ,ν,η,p,ζ,τ) of meromorphic multivalent functions defined by fractional calculus operator of the punctured unit disc U^*. On this class we obtain several results like, coefficient inequality, modified Hadamard product, (N,δ)- neighborhood, partial sums, convex linear combination and integral operator.

Biomedical Applications Of Chasmanthera Dependens Stem Extract Mediated Silver Nanoparticles As Antimicrobial, Antioxidant, Anticoagulant, Thrombolytic, And Larvicidal Agents, Daniel Ayandiran Aina, Oluwafayoke Owolo, Agbaje Lateef, Folasade O. Aina, Abbas Saeed Hakeem, Morenike Adeoye-Isijola, Victor Okon, Tesleem B. Asafa, Joseph Adetunji Elegbede, Olumide D. Olukanni, Isaac Adediji

Karbala International Journal of Modern Science

The stem extract of Chasmanthera dependens was used in the biofabrication of silver nanoparticles (AgNPs) in this study. The AgNPs was characterised using UV-visible spectroscopy, Field Emission Scanning Electron Microscope (FESEM), EDX, and the Fourier Transform Infrared Spectroscopy (FTIR). Antibacterial, antioxidant, anticoagulant, thrombolytic and larvicidal activities of the biosynthesised nanoparticles were carried out. There was a peak at 418 nm with a strong silver peak observed around 2.7KeV when the EDX analysis was carried out. The FESEM showed a large number of cubically shaped nanoparticles with sizes ranging from 24.53 to 92.38 nm. CDE-AgNPs was effective against Klebsiella pneumoniae at …

Editorial Board

Karbala International Journal of Modern Science

No abstract provided.

Phenomena Of Social Dynamics In Online Games, Essa Alhazmi

USF Tampa Graduate Theses and Dissertations

Online communities exhibit dynamic social phenomena that, if understood, can both influence the design of technical platforms and inform theories about general social dynamics. With increasing popularity, online games provide a rich recording of social dynamics that can contribute to understanding human behavior. This dissertation studies two phenomena of social dynamics at large scale using data traces from online games. The first phenomenon is team formation and the second is players mobility between gaming servers.

This dissertation first presents a framework for collecting data from online gaming through crawling. It includes the data sources and the tools used for data …

An Exploration Of Turkish Kindergarten Early Career Stage Teachers’ Technology Beliefs And Practices, Ozge Ozel

USF Tampa Graduate Theses and Dissertations

The purpose of this study was to explore Turkish kindergarten early career stage teachers’ self-efficacy beliefs towards technology and their technology integration practices in their classrooms by answering: What are self-efficacy beliefs of Turkish kindergarten early career stage teachers towards technology? How do Turkish kindergarten early career teachers integrate technology into their classrooms’ instructions? The study was designed as a qualitative multiple case study and guided by Bandura’s (1986) social cognitive theory and Mishra and Koehler’s (2006) TPACK conceptual framework. I conducted this study in Istanbul, where is the most crowded and metropolitan city in Turkey. The schools were chosen …

Dynopvm: Vm-Based Software Obfuscation With Dynamic Opcode Mapping, Xiaoyang Cheng, Yan Lin, Debin Gao

Research Collection School Of Computing and Information Systems

VM-based software obfuscation has emerged as an effective technique for program obfuscation. Despite various attempts in improving its effectiveness and security, existing VM-based software obfuscators use potentially multiple but static secret mappings between virtual and native opcodes to hide the underlying instructions. In this paper, we present an attack using frequency analysis to effectively recover the secret mapping to compromise the protection, and then propose a novel VM-based obfuscator in which each basic block uses a dynamic and control-flow-aware mapping between the virtual and native instructions. We show that our proposed VM-based obfuscator not only renders the frequency analysis attack …

Practical And Effective Sandboxing For Linux Containers, Zhiyuan Wan, David Lo, Xin Xia, Liang Cai

Research Collection School Of Computing and Information Systems

A container is a group of processes isolated from other groups via distinct kernel namespaces and resource allocation quota. Attacks against containers often leverage kernel exploits through the system call interface. In this paper, we present an approach that mines sandboxes and enables fine-grained sandbox enforcement for containers. We first explore the behavior of a container by running test cases and monitor the accessed system calls including types and arguments during testing. We then characterize the types and arguments of system call invocations and translate them into sandbox rules for the container. The mined sandbox restricts the container’s access to …

Identifying Depression In The National Health And Nutrition Examination Survey Data Using A Deep Learning Algorithm, Jihoon Oh, Kyongsik Yun, Uri Maoz, Tae-Suk Kim, Jeong-Ho Chae

Psychology Faculty Articles and Research

Background

As depression is the leading cause of disability worldwide, large-scale surveys have been conducted to establish the occurrence and risk factors of depression. However, accurately estimating epidemiological factors leading up to depression has remained challenging. Deep-learning algorithms can be applied to assess the factors leading up to prevalence and clinical manifestations of depression.

Methods

Customized deep-neural-network and machine-learning classifiers were assessed using survey data from 19,725 participants from the NHANES database (from 1999 through 2014) and 4949 from the South Korea NHANES (K-NHANES) database in 2014.

Results

A deep-learning algorithm showed area under the receiver operating characteristic curve (AUCs) …

Wing Design Using Sail, Leonid Scott

Scholarly Horizons: University of Minnesota, Morris Undergraduate Journal

In engineering spaces where modeling is difficult, engineers seek a variety of well performing solutions in order to concentrate resources on promising areas of the problem space. We call this process illumination. Gaire et al have designed an algorithm specifically for illumination of problem spaces where the underlying model is computationally expensive. This algorithm, Surrogate Assisted Illumination (SAIL) uses an evolutionary algorithm called MAP-Elites to do illumination. However, SAIL introduces a Gaussian process to simulate the computationally expensive model, and Bayesian optimization for quality control of the Gaussian process. SAIL has demonstrated potential for finding a variety of well performing …

Tools To Improve Interruption Management, Matthew R. Munns

Scholarly Horizons: University of Minnesota, Morris Undergraduate Journal

Interruptions carry a high cost, especially to software developers. To prevent unnecessary interruptions, several technologies are being explored that can help manage the timing of interruptions, such as displaying the interruptibility of a worker to their peers. Relatively simple algorithms utilizing computer interaction data have been created and used successfully in the workplace, while technology using bio-metric emotion recognition to detect the interruptibility of a user is also being developed.

Wireless Physical Layer Design For Confidentiality And Authentication, Tao Wang

USF Tampa Graduate Theses and Dissertations

As various of wireless techniques have been proposed to achieve fast and efficient data communication, it’s becoming increasingly important to protect wireless communications from being undermined by adversaries. A secure and reliable wireless physical layer design is essential and critical to build a solid foundation for upper layer applications. This dissertation present two works that explore the physical layer features to secure wireless communications towards the data confidentiality and user authentication.

The first work builds a reliable wireless communication system to enforce the location restricted service access control. In particular, the work proposes a novel technique named pinpoint waveforming to …

Personalized Product Evaluation Based On Gra-Topsis And Kansei Engineering, Huafeng Quan, Shaobo Li, Hongjing Wei, Jianjun Hu

Faculty Publications

With the improvement of human living standards, users’ requirements have changed from function to emotion. Helping users pick out the most suitable product based on their subjective requirements is of great importance for enterprises. This paper proposes a Kansei engineering-based grey relational analysis and techniques for order preference by similarity to ideal solution (KE-GAR-TOPSIS) method to make a subjective user personalized ranking of alternative products. The KE-GRA-TOPSIS method integrates five methods, including Kansei Engineering (KE), analytic hierarchy process (AHP), entropy, game theory, and grey relational analysis-TOPSIS (GRA-TOPSIS). First, an evaluation system is established by KE and AHP. Second, we define …

Network-Clustered Multi-Modal Bug Localization, Thong Hoang, Richard J. Oentaryo, Tien-Duy B. Le, David Lo

Research Collection School Of Computing and Information Systems

Developers often spend much effort and resources to debug a program. To help the developers debug, numerous information retrieval (IR)-based and spectrum-based bug localization techniques have been devised. IR-based techniques process textual information in bug reports, while spectrum-based techniques process program spectra (i.e., a record of which program elements are executed for each test case). While both techniques ultimately generate a ranked list of program elements that likely contain a bug, they only consider one source of information—either bug reports or program spectra— which is not optimal. In light of this deficiency, this paper presents a new approach dubbed Network-clustered …

High Performance Fuzz Testing Of Memory Forensics Frameworks, Arian Dokht Shahmirza

LSU Master's Theses

The analysis of the volatile memory (RAM) of a computer system, known as memory forensics, is a critical component of modern digital forensics investigations. Since the evidence provided by memory forensics is vital, it is necessary for there to be automated solutions that implement the analysis. Volatility is the most widely used memory forensics framework and also contains the most functionality of all tools publicly available. Volatility, as well as all other memory forensics frameworks, are extremely complex software systems as they must parse a substantial number of in-memory data structures and their associated values. Given the reliance on memory …

Using Forensics To Introduce Ir Spectroscopy & Molecular Modeling, Joseph T. Golab

Faculty Publications & Research

A student activity is reported that analyzes “medical evidence” with experimental and computational methods. The lesson demonstrates benefits of solving practical problems with integrated tools.

Towards Lakosian Multilingual Software Design Principles, Damian Lyons, Saba Zahra, Thomas Marshall

Faculty Publications

Large software systems often comprise programs written in different programming languages. In the case when cross-language interoperability is accomplished with a Foreign Function Interface (FFI), for example pybind11, Boost.Python, Emscripten, PyV8, or JNI, among many others, common software engineering tools, such as call-graph analysis, are obstructed by the opacity of the FFI. This complicates debugging and fosters potential inefficiency and security problems. One contributing issue is that there is little rigorous software design advice for multilingual software. In this paper, we present our progress towards a more rigorous design approach to multilingual software. The approach is based on the existing …

Why Matrix Factorization Works Well In Recommender Systems: A Systems-Based Explanation, Griselda Acosta, Manuel Hernandez, Natalia Villanueva-Rosales, Eric Smith, Vladik Kreinovich

Departmental Technical Reports (CS)

Many computer-based services use recommender systems that predict our preferences based on our degree of satisfaction with the past selections. One of the most efficient techniques making recommender systems successful is matrix factorization. While this technique works well, until now, there was no general explanation of why it works. In this paper, we provide such an explanation.

In Alsina Et Al. Derivation Of Min-Max Fuzzy Logic From Distributivity, All Conditions Are Necessary: A Proof, Vladik Kreinovich, Ildar Batyrshin, Nailya Kubysheva

Departmental Technical Reports (CS)

In their 1983 paper, C. Alsina, E. Trillas, and L. Valverde proved that distributivity, monotonicity, and boundary conditions imply that the "and"-operation is min and the "or"-operation is max. In this paper, we show that all these conditions are necessary for Alsina et al. result to be true.

Beyond P-Boxes And Interval-Valued Moments: Natural Next Approximations To General Imprecise Probabilities, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

To make an adequate decision, we need to know the probabilities of different consequences of different actions. In practice, we only have partial information about these probabilities -- this situation is known as imprecise probabilities. A general description of all possible imprecise probabilities requires using infinitely many parameters. In practice, the two most widely used few-parametric approximate descriptions are p-boxes (bounds on the values of the cumulative distribution function) and interval-valued moments (i.e., bounds on moments). In some situations, these approximations are not sufficiently accurate. So, we need more accurate more-parametric approximations. In this paper, we explain what are the …

Why Beta Priors: Invariance-Based Explanation, Olga Kosheleva, Vladik Kreinovich, Kittawit Autchariyapanitkul

Departmental Technical Reports (CS)

In the Bayesian approach, to describe a prior distribution on the set [0,1] of all possible probability values, typically, a Beta distribution is used. The fact that there have been many successful applications of this idea seems to indicate that there must be a fundamental reason for selecting this particular family of distributions. In this paper, we show that the selection of this family can indeed be explained if we make reasonable invariance requirements.