Computer Science - Other Publications (50)

Search

Computer Science - Other Publications

In case of a severe accident, the key to saving lives is the time between the incident and when the victim receives treatment from the first-responders. In areas with well designed emergency medical systems, the time for an ambulance to arrive at the accident location is often not too long. However, in many low and middle income countries, it usually takes much longer for an ambulance to arrive at the accident location due to lack of proper services. Read More


This research was to design a 2.4 GHz class E Power Amplifier (PA) for health care, with 0.18um Semiconductor Manufacturing International Corporation CMOS technology by using Cadence software. Read More


The objective of this research was to design a 0-5 GHz RF SOI switch, with 0.18um power Jazz SOI technology by using Cadence software, for health care applications. This paper introduces the design of a RF switch implemented in shunt-series topology. Read More


In this paper we present the new PlanetServer, a set of tools comprising a web Geographic Information System (GIS) and a recently developed Python API capable of analyzing a wide variety of hyperspectral data from different planetary bodies. The research case studies are focusing on 1) the characterization of different hydrosilicates such as chlorites, prehnites and kaolinites in the Nili Fossae area on Mars, and 2) the characterization of ice (CO 2 and H 2 O ice) in two different areas of Mars where ice was reported in a nearly pure state. Results show positive outcome in hyperspectral analysis and visualization compared to previous literature, therefore we suggest using PlanetServer for such investigations. Read More


2017Jan
Affiliations: 1Radboud University, 2Radboud University

Following on from the notion of (first-order) causality, which generalises the notion of being tracepreserving from CP-maps to abstract processes, we give a characterization for the most general kind of map which sends causal processes to causal processes. These new, second-order causal processes enable us to treat the input processes as 'local laboratories' whose causal ordering needs not be fixed in advance. Using this characterization, we give a fully-diagrammatic proof of a non-trivial theorem: namely that being causality-preserving on separable processes implies being 'completely' causality preserving. Read More


Sequential traces of user data are frequently observed online and offline, e.g.,as sequences of visited websites or as sequences of locations captured by GPS. Read More


It is well-known that the quality of random number generators can often be improved by combining several generators, e.g. by summing or subtracting their results. Read More


Computational Intelligence is a dead-end attempt to recreate human-like intelligence in a computing machine. The goal is unattainable because the means chosen for its accomplishment are mutually inconsistent and contradictory: "Computational" implies data processing ability while "Intelligence" implies the ability to process information. In the research community, there is a lack of interest in data versus information divergence. Read More


This is a manifesto for DEMoS, which is a Distributed Embedded Modular System, but also a manifesto addressing the need for more inter-/cross-disciplinary mastery of working knowledge related to installing this class of systems in the real world. There is somehow room for yet another class of systems - complementary to existing embedded systems - complementing distributed operating systems - which takes on an interdisciplinary cyber-physical-materiality approach, a dedicated holistic perspective that recognizes the true value of interdisciplinary mastery vs. the implicit and overlooked expense of narrow intra-disciplinary focus dominating much of systems development (e. Read More


To this date, all methodologies for detecting plagiarism have focused on investigating the final digital "outcome", eg. a document or source code. Our novel approach takes the creation process into account using logged events. Read More


City traffic is a dynamic system of enormous complexity. Modeling and predicting city traffic flow remains to be a challenge task and the main difficulties are how to specify the supply and demands and how to parameterize the model. In this paper we attempt to solve these problems with the help of large amount of floating car data. Read More


The previous generation of astronomical instruments tended to consist of single receivers in the focal point of one or more physical reflectors. Because of this, most astronomical data sets were small enough that the raw data could easily be downloaded and processed on a single machine. In the last decade, several large, complex Radio Astronomy instruments have been built and the SKA is currently being designed. Read More


The paper considers the problem of the extremely low frequency magnetic field radiation generated by the tablet computers. Accordingly, the measurement of the magnetic field radiation from a set of tablets is carried out. Furthermore, the measurement results are analyzed and clustered according to the K-Medians algorithm to obtain different magnetic field ranges. Read More


This paper gives a brief description of the Controlled On/Off Loads Library (COOLL) dataset. This latter is a dataset of high-sampled electrical current and voltage measurements representing individual appliances consumption. The measurements were taken in June 2016 in the PRISME laboratory of the University of Orl\'eans, France. Read More


Automatic matching of job offers and job candidates is a major problem for a number of organizations and job applicants that if it were successfully addressed could have a positive impact in many countries around the world. In this context, it is widely accepted that semi-automatic matching algorithms between job and candidate profiles would provide a vital technology for making the recruitment processes faster, more accurate and transparent. In this work, we present our research towards achieving a realistic matching approach for satisfactorily addressing this challenge. Read More


The analysis techniques of system log messages (syslog messages) have a long history from when the syslog mechanism was invented. Typically, the analysis consists of two parts, one is a message template generation, and the other is finding something interesting using the messages classified by the inferred templates. It is important to generate better templates to achieve better, precise, or convincible analysis results. Read More


The idea of computational error correction has been around for over half a century. The motivation has largely been to mitigate unreliable devices, manufacturing defects or harsh environments, primarily as a mandatory measure to preserve reliability, or more recently, as a means to lower energy by allowing soft errors to occasionally creep. While residue codes have shown great promise for this purpose, there have been several orthogonal non-residue based techniques. Read More


Facilitating the coexistence of radar systems with communication systems has been a major area of research in radar engineering. The current work presents a new way to sense the environment using the channel equalization block of existing communication systems. We have named this system CommSense. Read More


Device free activity recognition and monitoring has become a promising research area with increasing public interest in pattern of life monitoring and chronic health conditions. This paper proposes a novel framework for in-home Wi-Fi signal-based activity recognition in e-healthcare applications using passive micro-Doppler (m-D) signature classification. The framework includes signal modeling, Doppler extraction and m-D classification. Read More


There is need for several software systems within the energy domain and corresponding systems are being developed to satisfy these needs. These systems include energy monitoring, information, wide area monitoring and control systems, and SCADA systems. Energy monitoring systems are one of the most important and common systems among them. Read More


In this paper we present a new scheme for instrumentation, which has been inspired by the way small mammals sense their environment. We call this scheme Application Specific Instrumentation (ASIN). A conventional instrumentation system focuses on gathering as much information about the scene as possible. Read More


A fundamental requirement to develop routing strategies in power line networks is the knowledge of the network topology, which might not be complete. In this work, we present a novel method to derive the topology of a distribution network that exploits the capability of Power Line Communication modems to measure the network admittance, and we report the most significant results. Read More


Causality is omnipresent in scientists' verbalisations of their understanding, even though we have no formal consensual scientific definition for it. In Automata Networks, it suffices to say that automata "influence" one another to introduce a notion of causality. One might argue that this merely is an incidental side effect of preferring statements expressed in natural languages to mathematical formulae. Read More


The perspective we take on a system determines the features and properties of this system that we are focusing on. It determines where we search for causes to explain the effects on the system that we observe. It determines the terms in which we expect the information about the system to be expressed. Read More


In this paper, the optimality of ternary arithmetic is investigated under strict mathematical formulation. The arithmetic systems are presented in generic form, as the means to encode numeric values, and the choice of radix is asserted as the main parameter to assess the efficiency of the representation, in terms of information compactness and estimated implementation cost in hardware. Using proper formulations for the optimization task, the universal constant 'e' (base of natural logarithms) is proven as the most efficient radix and ternary is asserted as the closest integer choice. Read More


What is computable with limited resources? How can we verify the correctness of computations? How to measure computational power with precision? Despite the immense scientific and engineering progress in computing, we still have only partial answers to these questions. In order to make these problems more precise, we describe an abstract algebraic definition of classical computation, generalizing traditional models to semigroups. The mathematical abstraction also allows the investigation of different computing paradigms (e. Read More


This paper presents a novel approach to distinguish driving styles with respect to their energy efficiency. A distinct property of our method is that it relies exclusively on Global Positioning System (GPS) logs of drivers. This setting is highly relevant in practice as these data can easily be acquired. Read More


2016Oct
Affiliations: 1Mathematics and Computer Science Division/Argonne National Laboratory, 2Mathematics and Computer Science Division/Argonne National Laboratory, 3Department of Computer Science/Rice University, 4Department of Computer Science/University of Illinois at Urbana-Champaign, 5Department of Computer Science/Rice University, 6Mathematics and Computer Science Division/Argonne National Laboratory, 7Argonne Leadership Computing Facility

Energy and power consumption are major limitations to continued scaling of computing systems. Inexactness, where the quality of the solution can be traded for energy savings, has been proposed as an approach to overcoming those limitations. In the past, however, inexactness necessitated the need for highly customized or specialized hardware. Read More


This document is meant to help individuals use the Cerebral Signal Phase Analysis toolbox which implements different methods for estimating the instantaneous phase and frequency of a signal and calculating some related popular quantities.The toolbox -- which is distributed under the terms of the GNU GENERAL PUBLIC LICENSE as a set of MATLAB routines -- can be downloaded at the address http://oset.ir/category. Read More


Accurate estimation of the confidence of an indoor localization system is crucial for a number of applications including crowd-sensing applications, map-matching services, and probabilistic location fusion techniques; all of which lead to an enhanced user experience. Current approaches for quantifying the output accuracy of a localization system in real-time either do not provide a distance metric, require an extensive training process, and/or are tailored to a specific localization system. In this paper, we present the design, implementation, and evaluation of CONE: a novel calibration-free accurate confidence estimation system that can work in real-time with any location determination system. Read More


With the roll-out of smart meters the importance of effective non-intrusive load monitoring (NILM) techniques has risen rapidly. NILM estimates the power consumption of individual devices given their aggregate consumption. In this way, the combined consumption must only be monitored at a single, central point in the household, providing various advantages such as reduced cost for metering equipment. Read More


Several embedded application domains for reconfigurable systems tend to combine frequent changes with high performance demands of their workloads such as image processing, wearable computing and network processors. Time multiplexing of reconfigurable hardware resources raises a number of new issues, ranging from run-time systems to complex programming models that usually form a Reconfigurable hardware Operating System (ROS). The Operating System performs online task scheduling and handles resource management. Read More


Semantic Web of Things (SWoT) applications focus on providing a wide-scale interoperability that allows the sharing of IoT devices across domains and the reusing of available knowledge on the web. However, the application development is difficult because developers have to do various tasks such as designing an application, annotating IoT data, interpreting data, and combining application domains. To address the above challenges, this paper demonstrates SWoTSuite, a toolkit for prototyping SWoT applications. Read More


Excess freedom in how computers are used creates problems that include: bit rot, problems with big data, problems in the creation and debugging of software, and problems with cyber security. To tame excess freedom, "tough love" is needed in the form of a {\em universal framework for the representation and processing of diverse kinds of knowledge} (UFK). The "SP machine", based on the "SP theory of intelligence", has the potential to provide that framework and to help solve the problems above. Read More


The concept of "logical depth" introduced by Charles H. Bennett (1988) seems to capture, at least partially, the notion of organized complexity, so central in big history. More precisely, the increase in organized complexity refers here to the wealth, variety and intricacy of structures, and should not be confused with the increase of random complexity, formalized by Kolmogorov (1965). Read More


We propose the concept of a system algebra with a parallel composition operation and an interface connection operation, and formalize composition-order invariance, which postulates that the order of composing and connecting systems is irrelevant, a generalized form of associativity. Composition-order invariance explicitly captures a common property that is implicit in any context where one can draw a figure (hiding the drawing order) of several connected systems, which appears in many scientific contexts. This abstract algebra captures settings where one is interested in the behavior of a composed system in an environment and wants to abstract away anything internal not relevant for the behavior. Read More


Knowledge Management (KM) is a strategic component that enables development, growth and continuous improvement of Public Sector Organizations (PSO). This thesis is bounded to this specific context. Indeed, we critically and comprehensively study the factors that characterize KM strategies and those that foster its development and success in PSO, then finally we propose metrics to measure and evaluate, in order to continuous and systematically improve KM practices in PSO. Read More


In vivo wireless medical devices have a critical role in healthcare technologies due to their continuous health monitoring and noninvasive surgery capabilities. In order to fully exploit the potential of such devices, it is necessary to characterize the in vivo wireless communication channel which will help to build reliable and high-performance communication systems. This paper presents preliminary results of experimental characterization for this fascinating communications medium on a human cadaver and compares the results with numerical studies. Read More


In the past few years, the use of smartphones has increased exponentially, and so have the capabilities of such devices. Together with an increase in raw processing power, modern smartphones are equipped with a wide variety of sensors and expose an extensive set of API (Accessible Programming Interface). These capabilities allow us to extract a wide spectrum of data that ranges from information about the environment (e. Read More


Smart living is a trending lifestyle that envisions lower energy consumption, sound public services, and better quality of life for human being. The Internet of Things (IoT) is a compelling platform connecting various sensors around us to the Internet, providing great opportunities for the realization of smart living. Spintronic sensors with superb measuring ability and multiple unique advantages can be an important piece of cornerstone for IoT. Read More


The Directed Layering Problem (DLP) solves a step of the widely used layer-based approach to automatically draw directed acyclic graphs. To cater for cyclic graphs, usually a preprocessing step is used that solves the Feedback Arc Set Problem (FASP) to make the graph acyclic before a layering is determined. Here we present the Generalized Layering Problem (GLP), which solves the combination of DLP and FASP simultaneously, allowing general graphs as input. Read More


As an environment-friendly substitute for conventional fuel-powered vehicles, electric vehicles (EVs) and their components have been widely developed and deployed worldwide. The large-scale integration of EVs into power grid brings both challenges and opportunities to the system performance. On one hand, the load demand from EV charging imposes large impact on the stability and efficiency of power grid. Read More


Energy transparency is a concept that makes a program's energy consumption visible, from hardware up to software, through the different system layers. Such transparency can enable energy optimizations at each layer and between layers, and help both programmers and operating systems make energy-aware decisions. In this paper, we focus on deeply embedded devices, typically used for Internet of Things (IoT) applications, and demonstrate how to enable energy transparency through existing Static Resource Analysis (SRA) techniques and a new target-agnostic profiling technique, without hardware energy measurements. Read More


With unprecedented advances in genetic engineering we are starting to see progressively more original examples of synthetic life. As such organisms become more common it is desirable to be able to distinguish between natural and artificial life forms. In this paper, we present this challenge as a generalized version of Darwin's original problem, which he so brilliantly addressed in On the Origin of Species. Read More


The main purpose of this work is in reducing the queuing delays in major supermarkets or other shopping centers by means of an Electronic Smart Cart System which will introduce an intellectual approach to billing process through RFID technology. Smart Cart System is a cooperative performance of three separate systems: a website developed for the shopping market, electronic smart cart device and anti-theft RFID gates. This project focuses on developing the electronic smart cart device itself. Read More


Computational micromagnetics requires numerical solution of partial differential equations to resolve complex interactions in magnetic nanomaterials. The Virtual Micromagnetics project described here provides virtual machine simulation environments to run open-source micromagnetic simulation packages. These environments allow easy access to simulation packages that are often difficult to compile and install, and enable simulations and their data to be shared and stored in a single virtual hard disk file, which encourages reproducible research. Read More


In this report, we present example data sets and collections for the BeSpaceD platform. BeSpaceD is a spatio-temporal modelling and reasoning software framework. We describe the content of a number of the data sets and how the data was obtained. Read More


The smart grid initiative has encouraged utility companies worldwide to rollout new and smarter versions of energy meters. Before an extensive rollout, which is both labor-intensive and incurs high capital costs, consumers need to be incentivized to reap the long-term benefits of smart grid. Off-the-shelf energy monitors can provide consumers with an insight of such potential benefits. Read More


For better reliability and prolonged battery life, it is important that users and vendors understand the quality of charging and the performance of smartphone batteries. Considering the diverse set of devices and user behavior it is a challenge. In this work, we analyze a large collection of battery analytics dataset collected from 30K devices of 1. Read More


For coherent and direct-detection Orthogonal Frequency Division Multiplexed (OFDM) systems employing radio frequency (RF) pilot tone phase noise cancellation the influence of laser phase noise is evaluated. Novel analytical results for the common phase error and for the (modulation dependent) inter carrier interference are evaluated based upon Gaussian statistics for the laser phase noise. In the evaluation it is accounted for that the laser phase noise is filtered in the correlation signal detection. Read More