Computer Engineering Commons^™

A New Method For Simulating Power Flow Density Focused By A Silicon Lens Antenna Irradiated With Linearly Polarized Thz Wave, Catur Apriono, Eko Tjipto Rahardjo, Norihisa Hiromoto

Makara Journal of Technology

A terahertz system uses dielectric lens antennas for focusing and collimating beams of terahertz wave radiation. Linearly polarized terahertz wave radiation has been widely applied in the terahertz system. Therefore, an accurate method for analyzing the power flow density in the dielectric lens antenna irradiated with the linearly polarized terahertz wave radiation is important to design the terahertz systems. In optics, ray-tracing method has been used to calculate the power flow density by a number density of rays. In this study, we propose a method of ray-tracing combined with Fresnel’s transmission, including transmittance and polarization of the terahertz wave radiation …

Stochastic Optimization Of Supply Chain Risk Measures –A Methodology For Improving Supply Security Of Subsidized Fuel Oil In Indonesia, Adinda Yuanita, Andi Noorsaman Sommeng, Anondho Wijonarko

Makara Journal of Technology

Monte Carlo simulation-based methods for stochastic optimization of risk measures is required to solve complex problems in supply security of subsidized fuel oil in Indonesia. In order to overcome constraints in distribution of subsidized fuel in Indonesia, which has the fourth largest population in the world—more than 250,000,000 people with 66.5% of productive population, and has more than 17,000 islands with its population centered around the nation's capital only—it is necessary to have a measurable and integrated risk analysis with monitoring system for the purpose of supply security of subsidized fuel. In consideration of this complex issue, uncertainty and probability …

Thermodynamic Analysis Of Irreversible Heat-Transformers, Niccolo` Giannetti, Arnas Arnas, Andrea Rocchetti, Kiyoshi Saito

Makara Journal of Technology

Absorption heat transformers extend the possibilities for efficient and environment-friendly energy conversion processes. Based on a general thermodynamic model of three-thermal cycles with finite thermal capacity of the heat sources, this paper is intent upon analyzing and optimizing the performance of absorption heat transformers, by including the influence of irreversibility in the analytical expression of the system efficiency. Dimensionless parameters for an overall optimization are defined and a first screening is performed to clarify their influence. Dependence on the main factors is highlighted to suggest how to change them in order to enhance the whole system performance. Under this point …

Creation Of Carbon Nanotube Based Biosensors Through Dielectrophoretic Assembly, Nilan S. Mani, Steve Kim, Kaushik Annam, Danielle Bane, Guru Subramanyam

Electrical and Computer Engineering Faculty Publications

Due to their excellent electrical, optical, and mechanical properties, nanosized single wall carbon nanotubes (SWNTs) have attracted significant attention as a transducing element in nano-bio sensor research. Controlled assembly, device fabrication, and bio-functionalization of the SWNTs are crucial in creating the sensors. In this study, working biosensor platforms were created using dielectrophoretic assembly of single wall carbon nanotubes (SWNTs) as a bridge between two gold electrodes. SWNTs in a commercial SDS surfactant solution were dispensed in the gap between the two gold electrodes, followed by applying an ac voltage across the two electrodes. The dielectrophoresis aligns the CNTs and forms …

Automatic Registration Of Optical Aerial Imagery To A Lidar Point Cloud For Generation Of City Models, Bernard Olushola Abayowa, Alper Yilmaz, Russell C. Hardie

Electrical and Computer Engineering Faculty Publications

This paper presents a framework for automatic registration of both the optical and 3D structural information extracted from oblique aerial imagery to a Light Detection and Ranging (LiDAR) point cloud without prior knowledge of an initial alignment. The framework employs a coarse to fine strategy in the estimation of the registration parameters. First, a dense 3D point cloud and the associated relative camera parameters are extracted from the optical aerial imagery using a state-of-the-art 3D reconstruction algorithm. Next, a digital surface model (DSM) is generated from both the LiDAR and the optical imagery-derived point clouds. Coarse registration parameters are then …

A Parallel Algorithm For Compression Of Big Next-Generation Sequencing Datasets, Sandino N. Vargas Perez, Fahad Saeed

Parallel Computing and Data Science Lab Technical Reports

With the advent of high-throughput next-generation sequencing (NGS) techniques, the amount of data being generated represents challenges including storage, analysis and transport of huge datasets. One solution to storage and transmission of data is compression using specialized compression algorithms. However, these specialized algorithms suffer from poor scalability with increasing size of the datasets and best available solutions can take hours to compress gigabytes of data. In this paper we introduce paraDSRC, a parallel implementation of DSRC algorithm using a message passing model that presents reduction of the compression time complexity by a factor of O(1/p ). Our experimental results show …

In Need Of A Domain-Specific Language Modeling Notation For Smartphone Applications With Portable Capability, Hamza Ghandorh, Luiz Fernando Capretz Dr., Ali Bou Nassif Dr.

Electrical and Computer Engineering Publications

The rapid growth of the smartphone market and its increasing revenue has motivated developers to target multiple platforms. Market leaders, such as Apple, Google, and Microsoft, develop their smartphone applications complying with their platform specifications. The specification of each platform makes a platform-dedicated application incompatible with other platforms due to the diversity of operating systems, programming languages, and design patterns. Conventional development methodologies are applied to smartphone applications, yet they perform less well. Smartphone applications have unique hardware and software requirements. All previous factors push smartphone developers to build less sophisticated and low-quality products when targeting multiple smartphone platforms. Model-driven …

A Scaffolded, Metamorphic Ctf For Reverse Engineering, Wu-Chang Feng

Computer Science Faculty Publications and Presentations

Hands-on Capture-the-Flag (CTF) challenges tap into and cultivate the intrinsic motivation within people to solve puzzles, much in the same way Sudoku and crossword puzzles do. While the format has been successful in security competitions, there have been a limited number of attempts to integrate them into a classroom environment. This paper describes MetaCTF, a metamorphic set of CTF challenges for teaching reverse code engineering. MetaCTF is 1) scaffolded in a way that allows students to make incremental progress, 2) integrated with the course material so that students can immediately apply knowledge gained in class, 3) polymorphic and metamorphic so …

The Edge Group Coloring Problem With Applications To Multicast Switching, Jonathan Turner

All Computer Science and Engineering Research

This paper introduces a natural generalization of the classical edge coloring problem in graphs that provides a useful abstraction for two well-known problems in multicast switching. We show that the problem is NP-hard and evaluate the performance of several approximation algorithms, both analytically and experimentally. We find that for random χ-colorable graphs, the number of colors used by the best algorithms falls within a small constant factor of χ, where the constant factor is mainly a function of the ratio of the number of outputs to inputs. When this ratio is less than 10, the best algorithms produces solutions that …

Dna Based Electrolyte/Separator For Lithium Battery Application, Jitendra Kumar, Fahima Ouchen-Bouchendouka, Devin A. Smarra, Guru Subramanyam, James Grote

Electrical and Computer Engineering Faculty Publications

In this study, we demonstrated the use of DNA-CTMA (DC) in combination with PolyVinylidene Fluoride (PVDF) as a host matrix or separator for Lithium based electrolyte to form solid polymer/gel like electrolyte for potential application in Li-ion batteries.

The addition of DC provided a better thermal stability of the composite electrolyte as shown by the thermos-gravimetric analysis (TGA). The AC conductivity measurements suggest that the addition of DC to the gel electrolyte had no effect on the overall ionic conductivity of the composite. The obtained films are flexible with high mechanical stretch-ability as compared to the gel type electrolytes only.

Neural Modeling Of Sequential Inferences And Learning Over Episodic Memory, Budhitama Subagdja, Ah-Hwee Tan

Research Collection School Of Computing and Information Systems

Episodic memory is a significant part of cognition for reasoning and decision making. Retrieval in episodic memory depends on the order relationships of memory items which provides flexibility in reasoning and inferences regarding sequential relations for spatio-temporal domain. However, it is still unclear how they are encoded and how they differ from representations in other types of memory like semantic or procedural memory. This paper presents a neural model of sequential representation and inferences on episodic memory. It contrasts with the common views on sequential representation in neural networks that instead of maintaining transitions between events to represent sequences, they …

Creating Greater Synergy Between Hci Academia And Practice, Fiona Fui-Hoon Nah, Dennis Galletta, Melinda Knight, James R. Lewis, John Pruitt, Gavriel Salvendy, Hong Sheng, Anna Wichansky

Research Collection School Of Computing and Information Systems

This paper presents perspectives from both academia and practice on how both groups can collaborate and work together to create synergy in the development and advancement of human-computer interaction (HCI). Issues and challenges are highlighted, success cases are offered as examples, and suggestions are provided to further such collaborations.

Massive Open Online Networks For Urban Sensing: Design, Deployment And Challenges, Hwee Xian Tan, Hwee-Pink Tan

Research Collection School Of Computing and Information Systems

Recent escalating efforts to realize the vision of smart cities have become a global trend. Within such efforts, the setup of relevant infrastructure is necessary to enable scalable sensing and sense-making in urban environments. In this paper, we discuss the design and implementation of MOON - Massive Open Online Networks - to interconnect large-scale and diverse IoT devices to enable the acquisition of real-time sensing data. We describe the system architecture, and software protocols that form the components of MOON. In addition, we highlight the challenges in the deployment and management of such networks. These are derived through experiences gleaned …

Survivable Cloud Network Mapping For Disaster Recovery Support, Feng Gu, Khaled B. Shaban, Nasir Ghani, Samee Khan, Mahshid R. Naeini, Majeed M. Hayat, Chadi Assi

Electrical and Computer Engineering Faculty Research and Publications

Network virtualization is a key provision for improving the scalability and reliability of cloud computing services. In recent years, various mapping schemes have been developed to reserve VN resources over substrate networks. However, many cloud providers are very concerned about improving service reliability under catastrophic disaster conditions yielding multiple system failures. To address this challenge, this work presents a novel failure region-disjoint VN mapping scheme to improve VN mapping survivability. The problem is first formulated as a mixed integer linear programming problem and then two heuristic solutions are proposed to compute a pair of failure region-disjoint VN mappings. The solution …

Mobile Cloud Computing Based Non Rigid Registration For Image Guided Surgery, Arun Brahmavar Vishwanatha

Computer Science Theses & Dissertations

In this thesis we present the design and implementation of a Mobile Cloud computing platform for non-rigid registration required in Image Guided Surgery (MCIGS). MCIGS contributes in flexible, portable and accurate alignment of pre-operative brain data with intra-operative MRI, for image guided diagnosis and therapy and endoscopic skull base surgery. Improved precision of image guided therapy and specifically neurosurgery procedures is known to result in the improved prognosis for brain tumor patients. MCI GS system is tested with Physics Based Non-Rigid Registration method form ITK. Our preliminary results for brain images indicate that the proposed system over Wi-Fi can be …

Formal Specification Driven Development, Titus Fofung

Dissertations, Theses and Capstone Projects (Full IR Collection)

This paper researches a quantitative metric of investigating Formal Specification-Driven Development (FSDD). Formal specification is needed at the beginning of the development process to prevent ambiguity and to improve the quality through corrections of errors found in the late phases of a traditional design process, Software Development Life Cycle (SDLC). The research is conducted with capstone students using both the FSDD and the SDLC (traditional) models and a quantitative analysis is presented to evaluate the internal quality of the software. The tool used to measure the internal quality is the .NET 2013 analysis tool. Formal Specification-Driven Development (FSDD) is a …

Novelty Wins, “Straight Toward Objective” Loses! Or Book Review: Why Greatness Cannot Be Planned: The Myth Of The Objective, By Kenneth O. Stanley And Joel Lehman, Reuben Hersh

Journal of Humanistic Mathematics

Experiments in evolutionary artificial intelligence demonstrate that progress toward an important, difficult goal is not best achieved by attempting to go directly toward that goal, but rather, by rewarding novelty.

Enabling Distributed Scientific Computing On The Campus, Derek J. Weitzel

School of Computing: Dissertations, Theses, and Student Research

Campus research computing has evolved from many small decentralized resources, such as individual desktops, to fewer, larger centralized resources, such as clusters. This change has been necessitated by the increasing size of researcher's workloads, but this change has harmed the researcher's user experience. We propose to improve the user experience on the computational resources by creating an overlay cluster they are able to control. This overlay should transparently scale to national cyberinfrastructure as the user's demands increase.

We explore methods for improving the user experience when submitting jobs on a campus grid. To this end, we created a remote submission …

Improved Terahertz Modulation Using Germanium Telluride (Gete) Chalcogenide Thin Films, A. H. Gwin, C. H. Kodama, T. Laurvick, Ronald A. Coutu Jr., P. F. Taday

Electrical and Computer Engineering Faculty Research and Publications

We demonstrate improved terahertz (THz) modulation using thermally crystallized germanium telluride (GeTe) thin films. GeTe is a chalcogenidematerial that exhibits a nonvolatile, amorphous to crystalline phase change at approximately 200 °C, as well as six orders of magnitude decreased electrical resistivity. In this study, amorphous GeTe thin filmswere sputtered on sapphire substrates and then tested using THz time-domain spectroscopy (THz-TDS). The test samples, heated in-situ while collecting THz-TDS measurements, exhibited a gradual absorbance increase, an abrupt nonvolatile reduction at the transition temperature, followed by another gradual increase in absorbance. The transition temperature was verified by conducting similar thermal tests while …

Apis And The Library: What, Why?, Graham S. Hukill

Scholars Cooperative Brown Bag Series

APIs (Application Programming Interface): What are they? Why are they? Introduction to APIs and their role in the Library

Compiling Collapsing Rules In Certain Constructor Systems, Sergio Antoy, Andy Jost

Computer Science Faculty Publications and Presentations

The implementation of functional logic languages by means of graph rewriting requires a special handling of collapsing rules. Recent advances about the notion of a needed step in some constructor systems offer a new approach to this problem. We present two results: a transformation of a certain class of constructor-based rewrite systems that eliminates collapsing rules, and a rewrite-like relation that takes advantage of the absence of collapsing rules. We formally state and prove the correctness of these results. When used together, these results simplify without any loss of efficiency an implementation of graph rewriting and consequently of functional logic …

Automatic Fault Injection For Driver Robustness Testing, Kai Cong, Li Lei, Zhenkun Yang, Fei Xie

Computer Science Faculty Publications and Presentations

Robustness testing is a crucial stage in the device driver development cycle. To accelerate driver robustness testing, effective fault scenarios need to be generated and injected without requiring much time and human effort. In this pa- per, we present a practical approach to automatic runtime generation and injection of fault scenarios for driver robust- ness testing. We identify target functions that can fail from runtime execution traces, generate effective fault scenarios on these target functions using a bounded trace-based it- erative strategy, and inject the generated fault scenarios at runtime to test driver robustness using a permutation-based injection mechanism. We …

Secure Transmission And Retrieval Of Images In Conjunction With Steganography Using Chaos In Nonlinear Acousto-Optic Feedback, Monish Ranjan Chatterjee, Fares S. Almehmadi

Electrical and Computer Engineering Faculty Publications

Digital images are encrypted onto a chaotic carrier in a Bragg cell under hybrid nonlinear feedback and secure data is embedded into the system via steganography. System robustness (with and without channel noise) is analyzed vis-a-vis information security.

Management And Analysis Of Multi Class Traffic In Single And Multi-Band Systems, Husnu S. Narman, Shohrab Hossain, Mohammed Atiquzzaman

Computer Sciences and Electrical Engineering Faculty Research

A recent trend in Internet usage has seen large amounts of multimedia data due to increasingly large numbers of mobile users. To facilitate higher bandwidth, modern mobile routers are capable of supporting simultaneous multi-band, leading to less interference, higher capacity and better reliability. However, there exists neither previous work that attempts to maximize utilization of available bandwidth in order to increase performance of multi-band mobile routers through the sharing of traffic classes among different frequency bands of the multi-band mobile router by scheduling, nor that shows multi-band routers are better than single band routers in realistic scenarios. In this paper, …

Creating A Data-Based Facebook Engagement Plan For Chabad At Binghamton, Justin Hayet

Capstone Projects 2015-Present

Core Capstone Question: How does Chabad at Binghamton maximize its online Facebook Engagement in a fashion which mirrors the needs of its diverse online stakeholders?

Schmalzbauer (2013) calculated that two thirds of America’s 400,000 Jewish college students attend schools with a Chabad chapter” (p. 120). Binghamton University’s student population is thirty percent Jewish, that is, 3,500 Jewish students (Hillel, 2014). Chabad at Binghamton’s seven full time staff members and student leadership of eighty-seven designated positions seek to engage all 3,500 of those students through weekly programs, Shabbat dinners, large scale programs and individual meetings. Chabad at Binghamton has been serving …

Classification Of Digital Communication Signal Modulation Schemes In Multipath Environments Using Higher Order Statistics, Meena Sreekantamurthy

Electrical & Computer Engineering Theses & Dissertations

Automatic identification and classification of modulation schemes in communication signals and decoding of information from the captured signals has assumed great importance recently in the wireless communication industry. Advancements in communications have introduced a large variety of modulation schemes in the transmitted signals; consequently, reliable detection of the modulation scheme in the intercepted signal has become an important issue in communications. It is the aim of this thesis to address this issue of reliable detection. Therefore, this research is focused on modeling and simulation of an automatic modulation classifier and, in particular, on the development of algorithms to use higher …

Jsish, Ryan Grasell

Computer Science and Software Engineering

For my senior project, I implemented Professor Keen’s JSish spec in C++. JSish is a subset of Javascript with support for execution from the command line and files.

I chose this project because I wanted to reinforce my programing language skills, learn C++, and gain a deeper understanding of garbage collection.

I quickly grew familiar with C++. My prior experience with both C and Java was a good enough introduction to let me hit the ground running. The biggest hurdle for me was the lack of garbage collection built into C++. I understood the principles of manual memory management, but …

Adaptive Controller Using Runtime Partial Hardware Reconfiguration For Unmanned Aerial Vehicles (Uavs), Nikhil Thomas

Graduate Theses and Dissertations

The goal of this thesis is to explore the feasibility of a multirotor controller system which can dynamically change the arm configuration of a multirotor. Currently most of the multirotor systems have to be powered down, rewired, and programmed with new firmware, to configure how many arms/motors they use to fly. The focus of our effort is to develop a Field Programmable Gate Array (FPGA) based hardware/software controller which uses dynamic partial hardware reconfiguration to switch the arm/motor configuration of a multirotor during operation. We believe that this will make a multirotor more fault tolerant and adaptive. This thesis explains …

Converting Medical Service Provider Data Into A Unified Format For Processing, Brandon Krugman

Master's Theses (2009 -)

Most organizations process flat files regularly. There are different options for processing files, including SQL Server Integration Services (SSIS), BizTalk, SQL import job, and other Extract, Transform, and Load (ETL) processes. All of these options have very strict requirements for file formats. If the format of the file changes, all of these options throw a catastrophic error, and implementing a fix to handle the new format is difficult. With each of the methods, the new format needs to be configured in the development environment, and the data flow must be modified to process all of the changes. Due to the …

Integrity Coded Databases (Icdb) - An Evaluation Of Efficiency, Performance, And Practicality, Jake Rodden, Jyh-Haw Yeh (Mentor), Elmer Duran, Dan Kondratyuk

Idaho Conference on Undergraduate Research

Recently, cloud database storage has become an inexpensive and convenient option to store information; however, this relatively new area of service can be vulnerable to security breaches. Storing data in a foreign location requires the owner to relinquish control of their information. This opens the possibility for internal, malicious attacks that can involve the manipulation, omission, or addition of data. Our research tests a potential solution for retaining data as it was intended to be stored (known as integrity) in these cloud-stored databases: by converting the original databases to Integrity-Coded Databases (ICDB). ICDBs utilize Integrity Codes: cryptographic codes created for …