In [4], we have studied the statistical properties and mono-fractality of the power system time series, voltage magnitude (V), frequency (f), and phase angle (θ). The power system data was measured using three Phasor Measurement Units (PMUs) installed at Baylor University, Harris Substation, McDonald Observatory in the Texas Synchrophasor Network [1]. Our analysis of several data sets has shown...

QoS is essential, but for mobile environment, it is difficult to achieve QOS when compared to wired network due to poor communication environment and mobility problems. In this document we explore the prominent efforts done in literature to provide schemes to do QoS in Wireless. We especially concentrate on resource reservation schemes. This document addresses cellular network QoS (mobile user ...

Orthographic varieties are common in the Japanese language, and represent a serious problem for Japanese information retrieval (IR), as IR systems run the risk of missing documents that contain variant forms of the search term. We propose two different strategies for handling orthographic varieties: pronunciation or yomi-based indexing and “Fuzzy Querying”, comparing katakana terms based on edi...

Runtime verification (RV) of a given correctness property φ (often formulated in linear temporal logic LTL [1]) aims at determining the semantics of φ while executing the system under scrutiny; a monitor is defined as a device that reads a finite trace and yields a certain verdict [2]. Runtime verification may work on finite (terminated), finite but continuously expanding, or on prefixes of inf...

In this technical report we present RAPTOR (Rapid Three-Dimensional Orientation Resolver), which is a novel pipeline for inferring solely from 2D image data the 3D position and orientation (pose) of known classes of rigid objects for which man-made 3D models are available. There are many existing systems and techniques that attempt to infer 3D meshes and scene information from 2D image or video...

The Boolean satisfiability problem (SAT) can be solved efficiently with variants of the DPLL algorithm. For industrial SAT problems, DPLL with conflict analysis dependent dynamic decision heuristics has proved to be particularly efficient, e.g. in Chaff. In this work, algorithms that initialize the variable activity values in the solver MiniSAT v1.14 by analyzing the CNF are evolved using genet...

N-(5-[N-(3,4-dihydro-2-methyl-4-oxoquinazolin-6-ylmethyl)-N-methylamino]-2-thenoyl)-L-glutamic acid (ICI D1694) is an analogue of the thymidylate synthase inhibitor, N'°-propargyl-5,8-dideazafolic acid (CB3717). CB3717 was found to be active in early clinical studies, but its use was limited by nephrotoxicity. ICI D1694 is a more potent antitumour agent than CB3717 and is also more water solubl...