Computer Science - Other Publications (50)

Search

Computer Science - Other Publications

The widespread availability of GPS information in everyday devices such as cars, smartphones and smart watches make it possible to collect large amount of geospatial trajectory information. A particularly important, yet technically challenging, application of this data is to identify the underlying road network and keep it updated under various changes. In this paper, we propose efficient algorithms that can generate accurate maps in both batch and online settings. Read More


Trace alignment, a procedure for finding common activities and deviations in process executions, does not have a well-established framework for evaluation. A common alignment evaluation tool-reference - based methods - is not applicable if a reference alignment, or ground truth, is not available. On the other hand, reference -free evaluation methods currently are not able to adequately and comprehensively assess alignment quality. Read More


We construct the base $2$ expansion of an absolutely normal real number $x$ so that, for every integer $b$ greater than or equal to $2$, the discrepancy modulo $1$ of the sequence $(b^0 x, b^1 x, b^2 x , \ldots)$ is essentially the same as that realized by almost all real numbers. Read More


Simulations are becoming ever more common as a tool for designing complex products. Sensitivity analysis techniques can be applied to these simulations to gain insight, or to reduce the complexity of the problem at hand. However, these simulators are often expensive to evaluate and sensitivity analysis typically requires a large amount of evaluations. Read More


Purpose: We propose a mathematical framework for quantitative analysis weighting the impact of heterogeneous components of a surgery. While multi-level approaches, surgical process modeling and other workflow analysis methods exist, this is to our knowledge the first quantitative approach. Methods: Inspired by the group decision making problem from the field of operational research, we define event impact factors, which combine independent and very diverse low-level functions. Read More


DEVS is a popular formalism for modelling complex dynamic systems using a discrete-event abstraction. At this abstraction level, a timed sequence ofpertinent "events" input to a system (or internal, in the case of timeouts) cause instantaneous changes to the state of the system. Between events, the state does not change, resulting in a a piecewise constant state trajectory. Read More


In this paper we outline our results for validating the precision of the internal power meters of smart-phones under different workloads. We compare its results with an external power meter. This is the first step towards creating customized energy models on the fly and towards optimizing battery efficiency using genetic program improvements. Read More


In a nutshell, stay-points are locations that a person has stopped for some amount of time. Previous work depends mainly on stay-point identification methods using experimentally fine tuned threshold values. These behave well on their experimental datasets but may exhibit reduced performance on other datasets. Read More


This work proves a new result on the correct convergence of Min-Sum Loopy Belief Propagation (LBP) in an interpolation problem on a square grid graph. The focus is on the notion of local solutions, a numerical quantity attached to each site of the graph that can be used for obtaining MAP estimates. The main result is that over an $N\times N$ grid graph with a one-run boundary configuration, the local solutions at each $i \in B$ can be calculated using Min-Sum LBP by passing difference messages in $2N$ iterations, which parallels the well-known convergence time in trees. Read More


Persistent homology studies the evolution of k-dimensional holes along a nested sequence of simplicial complexes (called a filtration). The set of bars (i.e. Read More


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


As diminishing feature sizes drive down the energy for computations, the power budget for on-chip communication is steadily rising. Furthermore, the increasing number of cores is placing a huge performance burden on the network-on-chip (NoC) infrastructure. While NoCs are designed as regular architectures that allow scaling to hundreds of cores, the lack of a flexible topology gives rise to higher latencies, lower throughput, and increased energy costs. 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