Computer Engineering Commons^™

Coalgebras And Their Logics, Alexander Kurz

Engineering Faculty Articles and Research

"Transition systems pervade much of computer science. This article outlines the beginnings of a general theory of specification languages for transition systems. More specifically, transition systems are generalised to coalgebras. Specification languages together with their proof systems, in the following called (logical or modal) calculi, are presented by the associated classes of algebras (e.g., classical propositional logic by Boolean algebras). Stone duality will be used to relate the logics and their coalgebraic semantics."

Development And Delivery Of Coursework: The Legal/Regulatory/Policy Environment Of Cyberforensics, John W. Bagby, John C. Ruhnka

Journal of Digital Forensics, Security and Law

This paper describes a cyber-forensics course that integrates important public policy and legal issues as well as relevant forensic techniques. Cyber-forensics refers to the amalgam of multi-disciplinary activities involved in the identification, gathering, handling, custody, use and security of electronic files and records, involving expertise from the forensic domain, and which produces evidence useful in the proof of facts for both commercial and legal activities. The legal and regulatory environment in which electronic discovery takes place is of critical importance to cyber-forensics experts because the legal process imposes both constraints and opportunities for the effective use of evidence gathered through …

Table Of Contents

Journal of Digital Forensics, Security and Law

No abstract provided.

Table Of Contents

Journal of Digital Forensics, Security and Law

No abstract provided.

Is Forensic Computing A Profession? Revisiting An Old Debate In A New Field, Bernd C. Stahl

Journal of Digital Forensics, Security and Law

Forensic Computing is a new and quickly developing field. It is in the process of becoming an academic discipline or sub-discipline with all the features from full undergraduate and postgraduate course provision to conferences and journals. An important question in this process of turning into an established discipline is whether it will coincide with the recognition of the graduates as professionals. This paper hopes to stimulate the debate as to whether forensic computing is or should be a discipline. In order to approach this question, the paper will discuss the concept of forensic computing including the most salient topics of …

Development Of An Ontology Based Forensic Search Mechanism: Proof Of Concept, Jill Slay, Fiona Schulz

Journal of Digital Forensics, Security and Law

This paper examines the problems faced by Law Enforcement in searching large quantities of electronic evidence. It examines the use of ontologies as the basis for new forensic software filters and provides a proof of concept tool based on an ontological design. It demonstrates that efficient searching is produced through the use of such a design and points to further work that might be carried out to extend this concept.

Table Of Contents

Journal of Digital Forensics, Security and Law

No abstract provided.

The 2006 Analysis Of Information Remaining On Disks Offered For Sale On The Second Hand Market, Andy Jones, Craig Valli, Iain Sutherland, Paula Thomas

Journal of Digital Forensics, Security and Law

All organisations, whether in the public or private sector, use computers for the storage and processing of information relating to their business or services, their employees and their customers. A large proportion of families and individuals in their homes now also use personal computers and, both intentionally and inadvertently, often store on those computers personal information. It is clear that most organisations and individuals continue to be unaware of the information that may be stored on the hard disks that the computers contain, and have not considered what may happen to the information after the disposal of the equipment.

In …

Computer Forensics Field Triage Process Model, Marcus K. Rogers, James Goldman, Rick Mislan, Timothy Wedge, Steve Debrota

Journal of Digital Forensics, Security and Law

With the proliferation of digital based evidence, the need for the timely identification, analysis and interpretation of digital evidence is becoming more crucial. In many investigations critical information is required while at the scene or within a short period of time - measured in hours as opposed to days. The traditional cyber forensics approach of seizing a system(s)/media, transporting it to the lab, making a forensic image(s), and then searching the entire system for potential evidence, is no longer appropriate in some circumstances. In cases such as child abductions, pedophiles, missing or exploited persons, time is of the essence. In …

Observed Web Robot Behavior On Decaying Web Subsites, Joan A. Smith, Frank Mccown, Michael L. Nelson

Computer Science Faculty Publications

We describe the observed crawling patterns of various search engines (including Google, Yahoo and MSN) as they traverse a series of web subsites whose contents decay at predetermined rates. We plot the progress of the crawlers through the subsites, and their behaviors regarding the various file types included in the web subsites. We chose decaying subsites because we were originally interested in tracking the implication of using search engine caches for digital preservation. However, some of the crawling behaviors themselves proved to be interesting and have implications on using a search engine as an interface to a digital library.

Fedcor: An Institutional Cordra Registry, Giridhar Manepalli, Henry Jerez, Michael L. Nelson

Computer Science Faculty Publications

FeDCOR (Federation of DSpace using CORDRA) is a registry-based federation system for DSpace instances. It is based on the CORDRA model. The first article in this issue of D-Lib Magazine describes the Advanced Distributed Learning-Registry (ADL-R) [1], which is the first operational CORDRA registry, and also includes an introduction to CORDRA. That introduction, or other prior knowledge of the CORDRA effort, is recommended for the best understanding of this article, which builds on that base to describe in detail the FeDCOR approach.

Engineering Education In The 21st Century: Issues And Perspectives, Leopold B. Felsen

Turkish Journal of Electrical Engineering and Computer Sciences

No abstract provided.

Electronic Publishing For Engineering Education, Donald G. Dudley

Turkish Journal of Electrical Engineering and Computer Sciences

Electronic transmission of text is a revolution in progress with a profound effect on engineering education. As with all revolutions, the result is both a threat and a promise. The promise is the ease and speed of dissemination of text. The threat involves serious difficulties that arise in efforts to protect the intellectual property rights of the authors and publishers of the technical information. In this paper, we discuss both the threat and the promise. We highlight the differences in dealing with books and with journals. We give a wide range of examples from both inside of and outside of …

Speaking With Numbers: Scientific Literacy And Public Understanding Of Science, Levent Sevgi̇

Turkish Journal of Electrical Engineering and Computer Sciences

Public understanding of science and scientific literacy is discussed. Scientific method, scientific process and scientific filter are reviewed accordingly. Basic terms of measurement and numerical calculation are outlined. Finally, fundamental requirements of scientific literacy and critical response skills are presented.

Introducing Students To Communications Concepts Using Optical And Low-Power Wireless Devices, James M. Conrad, Ivan Howitt

Turkish Journal of Electrical Engineering and Computer Sciences

Wireless communication has become an important feature for commercial products and a popular research topic within the last ten years. There are now more mobile phone subscriptions than wired-line subscriptions. Lately, one area of commercial interest has been low-cost, low-power, and short-distance wireless communication used for "personal wireless networks." Technology advancements are providing smaller and more cost effective devices for integrating computational processing, wireless communication, and a host of other functionalities. These embedded communications devices will be integrated into applications ranging from homeland security to industry automation and monitoring. They will also enable custom tailored engineering solutions, creating a revolutionary …

Computational Sciences: At The Intersection Of Science And Engineering--Case Study For Academic And Research Programs, Menas Kafatos, Peter Becker, Zafer Boybeyi̇

Turkish Journal of Electrical Engineering and Computer Sciences

No abstract provided.

Readjusting The Current Trend In Electrical Power Engineering, Johan Smit, Peter Morshuis, Edward Gulski

Turkish Journal of Electrical Engineering and Computer Sciences

In this paper the electrical power education curriculum is analyzed from the viewpoint of the electrical power industry and from the viewpoint of young people that contemplate their future academic study. From the perspective of young people in industrialized countries contemplating their future and the possibilities of an academic study, the current curriculum in (power) engineering lacks attraction. The number of freshmen still shows a decreasing trend. This paper is aimed to be a contribution towards readjusting this trend

Modeling And Simulation Concepts In Engineering Education: Virtual Tools, Levent Sevgi̇

Turkish Journal of Electrical Engineering and Computer Sciences

This article reviews fundamental concepts of modeling and simulation in computational sciences, such as a model, analytical- and numerical-based modeling, simulation, validation, verification, etc., in relation to the virtual labs widely-offered as parts of engineering education. Virtual tools that can be used in electromagnetic engineering are also introduced.

A Labview-Based Virtual Instrument For Engineering Education: A Numerical Fourier Transform Tool, Levent Sevgi̇, Çağatay Uluişik

Turkish Journal of Electrical Engineering and Computer Sciences

Engineering is based on practice. The minima of this practice should be given during the university education. This has become more and more comprehensive and expensive parallel to high-technology devices developed and presented to societies. Computers, microprocessor-based devices, programmable systems on Chip (PSoC), etc., make engineering education not only very complex but interdisciplinary as well. Building undergraduate labs has become more and more expensive if only physical experimentation and hands-on training are targeted. On the other hand, simple, comparatively much cheaper software may turn a regular personal computer (PC) into a virtual lab. The key question therefore is, to establish …

Two, Three And Four-Dimensional Electromagnetics Using Differential Forms, Karl F. Warnick, Peter Russer

Turkish Journal of Electrical Engineering and Computer Sciences

The exterior calculus of differential forms provides a mathematical framework for electromagnetic field theory that combines much of the generality of tensor analysis with the computational simplicity and concreteness of the vector calculus. We review the pedagogical aspects of the calculus of differential forms in providing distinct representations of field intensity and flux density, physically meaningful graphical representations for sources, fields, and fluxes, and a picture of the curl operation that is as simple and intuitive as that of the gradient and divergence. To further highlight the benefits of differential forms notation, we demonstrate the flexibility of the calculus of …

Complex Analysis Of The Lossy-Transmission Line Theory: A Generalized Smith Chart, E. Gago-Ribas, C. Dehesa-Martinez, M. J. Gonzalez-Morales

Turkish Journal of Electrical Engineering and Computer Sciences

It has been very usual in the specialized literature to skip the detailed study of the lossy transmission line theory by reducing it to the low-loss approximation. Although this is valid in the most common practical cases, the study of the general lossy case becomes very important due to the fact that it makes possible a better and deeper understanding of the physical effects associated to general losses, as well as the low-loss frequency-dependent regime. Besides, the analysis of the general case provides important results that may be extended to the analysis of real waveguiding systems, facilitating the understanding and …

Speech Pre-Processing For Pitch And Pitch-Cylce Evolutions Smoothing, Hassan Farsi

Turkish Journal of Electrical Engineering and Computer Sciences

In low bit rate speech coders, pitch is usually transmitted once per frame and, when needed, the intermediate pitch values are obtained by interpolation between 2 adjacent pitch values. Although pitch usually evolves slowly, sometimes it has irregular variations and the estimated pitch differs from the real one. In addition, some speech coders, e.g., waveform interpolation coders, rely on smooth pitch-cycle evolutions to extract speech model parameters in the analysis stage. However, non-stationary characteristics of speech may lead to inaccurate estimation of the parameters. This affects the synthesised speech quality. We propose a pre-processor, which modifies the residual speech signal …

Adaptive 3d Visual Servo Control Of Robot Manipulators Via Composite Camera Inputs, Türker Şahi̇n, Erkan Zergeroğlu

Turkish Journal of Electrical Engineering and Computer Sciences

This paper considers the problem of position control of robot manipulators via visual servoing in the presence of uncertainty associated with the robot dynamics and the vision system. Specifically, an adaptive controller is designed to compensate for the uncertainties associated with the mechanical parameters of the robot manipulator and the intrinsic parameters of the cameras. The 3D visual information is obtained from the composite inputs of two separate cameras placed in the robot work space. Despite the uncertainties associated with the camera system and robot dynamics the proposed adaptive controller achieves asymptotic end effector position tracking. A Lyapunov based approach …

Human Identification Using Gait, Murat Eki̇nci̇

Turkish Journal of Electrical Engineering and Computer Sciences

Gait refers to the style of walking of an individual. This paper presents a view-invariant approach for human identification at a distance, using gait recognition. Recognition of a person from their gait is a biometric of increasing interest. Based on principal component analysis (PCA), this paper describes a simple, but efficient approach to gait recognition. Binarized silhouettes of a motion object are represented by 1-D signals, which are the basic image features called distance vectors. The distance vectors are differences between the bounding box and silhouette, and are extracted using 4 projections of the silhouette. Based on normalized correlation of …

Agents For Integrating Distributed Data For Complex Computations, Ahmed M. Khedr, Raj Bhatnagar

Turkish Journal of Electrical Engineering and Computer Sciences

Algorithms for many complex computations assume that all the relevant data are available on a single node of a computer network. In the emerging distributed and networked knowledge environments, databases relevant for computations may reside on a number of nodes connected by a communication network. These data resources cannot be moved to other network sites due to privacy, security, and size considerations. The desired global computation must be decomposed into local computations to match the distribution of data across the network. The capability to decompose computations must be general enough to handle different distributions of data and different participating nodes …

Uplink Practical Capacity And Interference Statistics Of Wcdma Cigar-Shaped Microcells For Highways In Rural Zones With Non-Uniform Spatial Traffic Distribution And Imperfect Power Control, Bazil Taha Ahmed, Miguel Calvo Ramon, Leandro De Haro-Ariet

Turkish Journal of Electrical Engineering and Computer Sciences

The capacity (the maximum number of users per sector that the system can support) and the interference statistics (expected value and variance) of sectors composed of cigar-shaped WCDMA microcells are studied. A model of 5 microcells is used to analyze the uplink capacity and interference statistics. The microcells are assumed to exist in rural zone highways. The capacity and the interference statistics of the microcells are studied for different non-uniform spatial traffic distributions. As user density decreases away from the base station, the capacity of the sector increases due to the reduced total power transmitted by the interfering users.

State Of The Art For Differential Circuits In Wireless Transceivers: A New Wideband Active Balun In Sige Bicmos Technology, Balwant Godara, Alain Fabre

Turkish Journal of Electrical Engineering and Computer Sciences

The aim of this paper is 3-fold: firstly, to provide a comprehensive overview of the use of differential circuits for analogue signal processing in wireless transceivers; secondly, to describe, in detail, single-ended signal to differential conversion, and the corresponding theory of such devices, their characterisation, various methods of implementation, and comparative analyses of their performance; lastly, to propose a new transistor-based solution for wideband baluns. This novel solution is based on the current conveyor and has been modelled using the transistor parameters of a 0.35 \mu m SiGe BiCMOS technology. The salient features of the new implementation are: (a) stable …

Digital Fractional Frequency Synthesizer Based On Counters, Milan Stork

Turkish Journal of Electrical Engineering and Computer Sciences

This paper describes the architecture of a new pure digital frequency synthesizer based on pulse generators, counters and a register. The technique described here is much simpler than other methods. The synthesizer presented is suitable for the design of VLSI architectures or for programmable large-scale integration circuits.

Statistical Model Of Hot-Carrier Degradation And Lifetime Prediction For P-Mos Transistors, Firat Kaçar, Ayten Kuntman, Hakan Kuntman

Turkish Journal of Electrical Engineering and Computer Sciences

Along with advances in microelectronics, and computer and space technologies, device dimensions are becoming smaller; as a result, hot-carrier effect, lifetime prediction, and reliability become more important concepts for MOS transistors. In this paper, the degradation in the drain current and threshold voltage of P-MOS transistors are observed by operating the devices under voltage stress conditions. Using the observation results, the effect of hot-carriers was investigated statistically and a new statistical method for modeling was proposed as an alternative to those given in the literature. The linear regression method is used to estimate the power, Weibull, and logarithmic parameters, and …

The Effect Of Collector Doping On Inp-Based Double Heterojunction Bipolar Transistors, Serkan Topaloğlu, Jörn Driesen, Werner Prost, Franz Josef Tegude

Turkish Journal of Electrical Engineering and Computer Sciences

High current effects on double heterojunction bipolar transistor (DHBT) performance were investigated. Three DHBTs with different collector doping densities were grown and processed. DC and RF measurements were performed to evaluate the influence of collector doping and the related Kirk effect on HBT performance. In addition to these samples, the Kirk effect was proven on SHBTs and the delay of this effect on submicron HBTs was investigated.