Computer Engineering Commons^™

From Boolean Equalities To Constraints, Sergio Antoy, Michael Hanus

Computer Science Faculty Publications and Presentations

Although functional as well as logic languages use equality to discriminate between logically different cases, the operational meaning of equality is different in such languages. Functional languages reduce equational expressions to their Boolean values, True or False, logic languages use unification to check the validity only and fail otherwise. Consequently, the language Curry, which amalgamates functional and logic programming features, offers two kinds of equational expressions so that the programmer has to distinguish between these uses. We show that this distinction can be avoided by providing an analysis and transformation method that automatically selects the appropriate operation. Without this distinction …

Plasmonic Field Confinement For Separate Absorption-Multiplication In Ingaas Nanopillar Avalanche Photodiodes, Alan C. Farrell, Pradeep Senanayake, Chung-Hong Hung, George El-Howayek, Abhejit Rajagopal, Marc Currie, Majeed M. Hayat, Diana L. Huffaker

Electrical and Computer Engineering Faculty Research and Publications

Avalanche photodiodes (APDs) are essential components in quantum key distribution systems and active imaging systems requiring both ultrafast response time to measure photon time of flight and high gain to detect low photon flux. The internal gain of an APD can improve system signal-to-noise ratio (SNR). Excess noise is typically kept low through the selection of material with intrinsically low excess noise, using separate-absorption-multiplication (SAM) heterostructures, or taking advantage of the dead-space effect using thin multiplication regions. In this work we demonstrate the first measurement of excess noise and gain-bandwidth product in III–V nanopillars exhibiting substantially lower excess noise factors …

On Reliability Of Smart Grid Neighborhood Area Networks, Shengjie Xu, Yi Qian, Rose Qingyang Hu

Department of Electrical and Computer Engineering: Faculty Publications

With the integration of the advanced computing and communication technologies, smart grid system is dedicated to enhance the efficiency and the reliability of future power systems greatly through renewable energy resources, as well as distributed communication intelligence and demand response. Along with advanced features of smart grid, the reliability of smart grid communication system emerges to be a critical issue, since millions of smart devices are interconnected through communication networks throughout critical power facilities, which has an immediate and direct impact on the reliability of the entire power infrastructure. In this paper, we present a comprehensive survey of reliability issues …

Spatial Domain Management And Massive Mimo Coordination In 5g Sdn, Songlin Sun, Bo Rong, Rose Qingyang Hu, Yi Qian

Department of Electrical and Computer Engineering: Faculty Publications

In 5G mobile communication systems, massive multiple-input multiple-output (MIMO) and heterogeneous networks (HetNets) play crucial roles to achieve expected coverage and capacity across venues. This paper correspondingly addresses software-defined network (SDN) as the central controller of radio resource management in massive MIMO HetNets. In particular, we identify the huge spatial domain information management and complicated MIMO coordination as the grand challenges in 5G systems. Our work accordingly distinguishes itself by considering more network MIMO aspects, including flexibility and complexity of spatial coordination. In our proposed scheme, SDN controller first collects the user channel state information in an effective way, and …

Forecasting Design Day Demand Using Extremal Quantile Regression, David Joseph Kaftan, Jarrett L. Smalley, George F. Corliss, Ronald H. Brown, Richard James Povinelli

Electrical and Computer Engineering Faculty Research and Publications

Extreme events occur rarely, making them difficult to predict. Extreme cold events strain natural gas systems to their limits. Natural gas distribution companies need to be prepared to satisfy demand on any given day that is at or warmer than an extreme cold threshold. The hypothetical day with temperature at this threshold is called the Design Day. To guarantee Design Day demand is satisfied, distribution companies need to determine the demand that is unlikely to be exceeded on the Design Day.

We approach determining this demand as an extremal quantile regression problem. We review current methods for extremal quantile regression. …

Skin Effect Suppression In Infrared-Laser Irradiated Planar Multi-Walled Carbon Nanotube/ Cu Conductors, Kamran Keramatnejad, Yang Gao, Yunshen Zhou, Hossein Rabiee Glogir, Mengmeng Wang, Yongfeng Lu

Department of Electrical and Computer Engineering: Dissertations, Theses, and Student Research

Skin effect suppression in planar multi-walled carbon nanotube (MWCNT)/Copper (Cu) conductors was realized at the 0-10 MHz frequency range through infrared laser irradiation of MWCNTs, which were coated on the surface of the Cu substrate via the electrophoretic deposition (EPD) method. The effect of laser irradiation and its power density on electrical and structural properties of the MWCNT/Cu conductors was investigated using a wavelength-tunable CO2 laser and then comparing the performance of the samples prepared at different conditions with that of pristine Cu. The irradiation at λ=9.219 μm proved to be effective in selective delivery of energy towards depths close …

Whatsapp Network Forensics: Decrypting And Understanding The Whatsapp Call Signaling Messages, Filip Karpisek, Ibrahim Baggili, Frank Breitinger

Electrical & Computer Engineering and Computer Science Faculty Publications

WhatsApp is a widely adopted mobile messaging application with over 800 million users. Recently, a calling feature was added to the application and no comprehensive digital forensic analysis has been performed with regards to this feature at the time of writing this paper. In this work, we describe how we were able to decrypt the network traffic and obtain forensic artifacts that relate to this new calling feature which included the: a) WhatsApp phone numbers, b) WhatsApp server IPs, c) WhatsApp audio codec (Opus), d) WhatsApp call duration, and e) WhatsApp's call termination. We explain the methods and tools used …

Empirical Investigation Of Key Business Factors For Digital Game Performance, Saiqa Aleem, Luiz Fernando Capretz, Faheem Ahmed

Electrical and Computer Engineering Publications

Game development is an interdisciplinary concept that embraces software engineering, business, management, and artistic disciplines. This research facilitates a better understanding of the business dimension of digital games. The main objective of this research is to investigate empirically the effect of business factors on the performance of digital games in the market and to answer the research questions asked in this study. Game development organizations are facing high pressure and competition in the digital game industry. Business has become a crucial dimension, especially for game development organizations. The main contribution of this paper is to investigate empirically the influence of …

Mutations Of Adjacent Amino Acid Pairs Are Not Always Independent, Jyotsna Ramanan, Peter Revesz

CSE Conference and Workshop Papers

Evolutionary studies usually assume that the genetic mutations are independent of each other. This paper tests the independence hypothesis for genetic mutations with regard to protein coding regions. According to the new experimental results the independence assumption generally holds, but there are certain exceptions. In particular, the coding regions that represent two adjacent amino acids seem to change in ways that sometimes deviate significantly from the expected theoretical probability under the independence assumption.

A Computational Translation Of The Phaistos Disk, Peter Revesz

CSE Conference and Workshop Papers

For over a century the text of the Phaistos Disk remained an enigma without a convincing translation. This paper presents a novel semi-automatic translation method that uses for the first time a recently discovered connection between the Phaistos Disk symbols and other ancient scripts, including the Old Hungarian alphabet. The connection between the Phaistos Disk script and the Old Hungarian alphabet suggested the possibility that the Phaistos Disk language may be related to Proto-Finno-Ugric, Proto-Ugric, or Proto-Hungarian. Using words and suffixes from those languages, it is possible to translate the Phaistos Disk text as an ancient sun hymn, possibly connected …

A Computational Model Of The Spread Of Ancient Human Populations Based On Mitochondrial Dna Samples, Peter Revesz

CSE Conference and Workshop Papers

The extraction of mitochondrial DNA (mtDNA) from ancient human population samples provides important data for the reconstruction of population influences, spread and evolution from the Neolithic to the present. This paper presents a mtDNA-based similarity measure between pairs of human populations and a computational model for the evolution of human populations. In a computational experiment, the paper studies the mtDNA information from five Neolithic and Bronze Age populations, namely the Andronovo, the Bell Beaker, the Minoan, the Rössen and the Únětice populations. In the past these populations were identified as separate cultural groups based on geographic location, age and the …

A-Maze-D: Advanced Maze Development Kit Using Constraint Databases, Shruti Daggumarti, Peter Revesz, Corey Svehla

CSE Conference and Workshop Papers

In this paper, we describe the A-Maze-D system which shows that constraint databases can be applied conveniently and efficiently to the design of maze games. A-Maze-D provides a versatile set of features by a combination of a MATLAB library and the MLPQ constraint database system. A-Maze-D is the first system that uses constraint databases to build maze games and opens new ideas in video game development.

Professor Frank Breitinger's Full Bibliography, Frank Breitinger

Electrical & Computer Engineering and Computer Science Faculty Publications

No abstract provided.

Translation Of Rabindranath Tagore's 'Ode To Africa', Monish Ranjan Chatterjee

Electrical and Computer Engineering Faculty Publications

During his illustrious lifetime, Rabindranath Tagore travelled extensively around the world, spreading inspiration and gaining veneration in most destinations as the emissary of the East and of a deeply futuristic Universalist philosophy. An assessment of the intellectuals and cultural icons of the world whom Tagore encountered, interacted with, and influenced, is both astonishing and indeed still waiting to be adequately evaluated. His exchanges with Einstein, Wells, Rolland, Gide, Freud, Durant, Yeats, Rothenstein, Andrews, Noguchi, Gandhi, Radhakrishnan, Nehru, Bose and numerous others are well-documented. Tagore's literary works and public life centered on rejoicing in and celebrating everything unique and artistic in …

Industry-University Collaboration: A University Of Dayton Model, Guru Subramanyam

Electrical and Computer Engineering Faculty Publications

This paper introduces industry-university collaboration activities currently in place at the University of Dayton's School of Engineering. These collaborations are important to prepare industry-ready graduates who excel in technical, entrepreneurial, and leadership skills. One of the key curricular components is the industry-sponsored multidisciplinary projects. Industry involvement in advisory committee, strategic research partnerships, and other forms are discussed.

Spectral And Performance Analysis For The Propagation And Retrieval Of Signals From Modulated Chaos Waves Transmitted Through Modified Von Karman Turbulence, Fathi H.A. Mohamed, Monish Ranjan Chatterjee

Electrical and Computer Engineering Faculty Publications

A transfer function formalism is applied to track propagation of modulated chaos waves through modified von Karman phase turbulence; the demodulated signal is examined vis-à-vis performance relative to turbulence strength in comparison with non-chaotic propagation.

Negative Index In A Lossy Chiral Metamaterial Under First-Order Material Dispersion Using A Drude Model, Tarig A. Algadey, Monish Ranjan Chatterjee

Electrical and Computer Engineering Faculty Publications

Using the Drude model for complex conductivity,phase and group velocities, and indices are calculated under first-order dispersion in chiral metamaterials. Conditions are derived for negative index, and the results compared with parametric analyses.

A Computational Study Of The Evolution Of Cretan And Related Scripts, Peter Revesz

CSE Conference and Workshop Papers

Crete was the birthplace of several ancient writings, including the Cretan Hieroglyphs, the Linear A and the Linear B scripts. Out of these three only Linear B is deciphered. The sound values of the Cretan Hieroglyph and the Linear A symbols are unknown and attempts to reconstruct them based on Linear B have not been fruitful. In this paper, we compare the ancient Cretan scripts with four other Mediterranean and Black Sea scripts, namely Phoenician, South Arabic, Greek and Old Hungarian. We provide a computational study of the evolution of the three Cretan and four other scripts. This study encompasses …

Coupled Auto-Associative Neural Networks For Heterogeneous Face Recognition, Benjamin S. Riggan, Christopher Reale, Nasser M. Nasrabadi

Department of Electrical and Computer Engineering: Faculty Publications

Several models have been previously suggested for learning correlated representations between source and target modalities. In this paper, we propose a novel coupled autoassociative neural network for learning a target-to-source image representation for heterogenous face recognition. This coupled network is unique, because a cross-modal transformation is learned by forcing the hidden units (latent features) of two neural networks to be as similar as possible, while simultaneously preserving information from the input. The effectiveness of this model is demonstrated using multiple existing heterogeneous face recognition databases. Moreover, the empirical results show that the learned image representation—common latent features—by the coupled auto-associative …

Modeling Security And Resource Allocation For Mobile Multi-Hop Wireless Neworks Using Game Theory, Laurent L. Y. Njilla

FIU Electronic Theses and Dissertations

This dissertation presents novel approaches to modeling and analyzing security and resource allocation in mobile ad hoc networks (MANETs). The research involves the design, implementation and simulation of different models resulting in resource sharing and security’s strengthening of the network among mobile devices. Because of the mobility, the network topology may change quickly and unpredictably over time. Moreover, data-information sent from a source to a designated destination node, which is not nearby, has to route its information with the need of intermediary mobile nodes. However, not all intermediary nodes in the network are willing to participate in data-packet transfer of …

Error Probabilities For Optical Receivers That Employ Dynamically Biased Avalanche Photodiodes, Georges El-Howayek, Majeed M. Hayat

Electrical and Computer Engineering Faculty Research and Publications

A novel theory was recently reported for the avalanche multiplication process in avalanche photodiodes (APDs) under dynamic reverse-biasing conditions. It has been shown theoretically that the bit-synchronized, periodic modulation of the electric field in the multiplication region can offer improvements in the gain-bandwidth product by reducing intersymbol interference in optical receivers. This paper reports a rigorous formulation of the sensitivity of optical receivers that employ dynamically biased APDs. To enable the sensitivity analysis, a recurrence theory is developed to calculate the joint probability distribution function (PDF) of the stochastic gain and avalanche buildup time in APDs that are operated under …

Vanadium Oxide Thin-Film Variable Resistor-Based Rf Switches, Kuanchang Pan, Weisong Wang, Eunsung Shin, Kelvin Freeman, Guru Subramanyam

Electrical and Computer Engineering Faculty Publications

Vanadium dioxide (VO2) is a unique phase change material (PCM) that possesses a metal-to-insulator transition property. Pristine VO2 has a negative temperature coefficient of resistance, and it undergoes an insulator-to-metal phase change at a transition temperature of 68°C. Such a property makes the VO2 thin-film-based variable resistor (varistor) a good candidate in reconfigurable electronics to be integrated with different RF devices such as inductors, varactors, and antennas. Series single-pole single-throw (SPST) switches with integrated VO2 thin films were designed, fabricated, and tested. The overall size of the device is 380 μm × 600 μm. The SPST switches were fabricated on …

Exploring Hidden Coherent Feature Groups And Temporal Semantics For Multimedia Big Data Analysis, Yimin Yang

FIU Electronic Theses and Dissertations

Thanks to the advanced technologies and social networks that allow the data to be widely shared among the Internet, there is an explosion of pervasive multimedia data, generating high demands of multimedia services and applications in various areas for people to easily access and manage multimedia data. Towards such demands, multimedia big data analysis has become an emerging hot topic in both industry and academia, which ranges from basic infrastructure, management, search, and mining to security, privacy, and applications. Within the scope of this dissertation, a multimedia big data analysis framework is proposed for semantic information management and retrieval with …

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 …

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 …

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 …

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.

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 …

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 …