Computer and information sciences topic list of research papers
-
Adaptive Low-Power Transmission Coding for Serial Links in Network-on-Chip
Abstract The traditional Serialized Low Energy Transmission Coding (SILENT) is effective in serial links and sequential data patterns. However, it is ineffective in the multiplexed channel used on packet-switched networks because the data packets...
2012 / Xianglong Ren, Deyuan Gao, Xiaoya Fan, Jianfeng An -
A Mining Model for the Worst Plot in the Mobile Communication Networks
Abstract With the mobile communication network's coverage and capacity having reached a high level, providing the high-quality network services for users becomes the primary task of the network operation management. The worst cells having the worst...
2013 / Qi Zhang, Ping Fu, Jinming Peng, Daqiao Huang -
Aeneas: A Tool to Enable Applications to Effectively Use Non-relational Databases
Abstract Non-relational databases arise as a solution to solve the scalability problems of relational databases when dealing with big data applications. However, they are highly configurable prone to user decisions that can heavily affect their...
2013 / Cesare Cugnasco, Roger Hernandez, Yolanda Becerra, Jordi Torres, Eduard Ayguadé -
Interactive Data Mining by Using Multidimensional Scaling
Abstract Blind choice and parameterization of data mining tools often yield vague or completely misleading results. Interactive visualization enables not only extensive exploration of data but also better matching of clustering/classification...
2013 / Piotr Pawliczek, Witold Dzwinel -
Potential Optimality of Pareto Optima
Abstract In this paper the notion of potential optimality without an assumption that a value function exists is used to investigate multicriterial optimization problems. Our results show that the notions of potential optimality and strong Pareto...
2013 / Vladislav V. Podinovski -
RoboGuideDog: Guiding Blind users Through Physical Environments with Laser Range Scanners
Abstract In this paper we discuss initial concepts of the development of a fully automatic guide dog system for blind users. The physical scene is scanned using a laser range device, and the three dimensional point cloud measurements are analyzed...
2012 / Javier V. Gomez, Frode Eika Sandnes -
Fragment Molecular Orbital Method Adaptations for Heterogeneous Computing Platforms
Abstract Modern electronic structure calculations are characterized by unprecedented complexity and accuracy. They de-mand the full power of high-performance computing and must be in tune with the given architecture for superior efficiency. Thus, it ...
2012 / Sai Kiran Talamudupula, Masha Sosonkina, Alexander Gaenko, Michael W. Schmidt -
Hybrid OpenMP/MPI Anisotropic Mesh Smoothing
Abstract Mesh smoothing is an important algorithm for the improvement of element quality in unstructured mesh finite element methods. A new optimisation based mesh smoothing algorithm is presented for anisotropic mesh adaptivity. It is shown that...
2012 / G.J. Gorman, J. Southern, P.E. Farrell, M.D. Piggott, G. Rokos, et al. -
Fuzzy multi-criteria decision making model for different scenarios of electrical power generation in Egypt
Abstract In the analytic network process (ANP) a hierarchy or network is created to represent a decision and establishes a matrix containing the pair wise comparison judgments for the elements linked under a parent element. A priority vector of...
2013 / Hesham A. Hefny, Hamed M. Elsayed, Hisham F. Aly -
ENHANCED WISETRIP: Wide Scale Multimodal and Intelligent Journey Planning
Abstract Enhanced-WISETRIP is the continuation of WISETRIP project and its goal is to build on WISETRIP to bring the currentsystem new possibilities for planning and booking multimodal journeys adapted to all user needs, integrating costs and...
2012 / Alma Solar, Antonio Marqués -
HEX: Scaling honeycombs is easier than scaling clock trees
Abstract We argue that a hexagonal grid with simple intermediate nodes is a robust alternative to buffered clock trees typically used for clock distribution in VLSI circuits, multi-core processors, and other applications that require accurate...
2016 / Danny Dolev, Matthias Függer, Christoph Lenzen, Martin Perner, Ulrich Schmid -
Median Trajectories2012 / Kevin Buchin, Maike Buchin, Marc van Kreveld, Maarten Löffler, Rodrigo I. Silveira, et al.
-
Towards verifying contract regulated service composition2010 / Alessio Lomuscio, Hongyang Qu, Monika Solanki
-
The Montagues and the Capulets2005 / Carole Goble, Chris Wroe
-
A Technique for Verifying Measurements
Abstract We give a technique that can be used to prove that a given function is a measurement. We demonstrate its applicability by using it to resolve three notoriously difficult cases: capacity in information theory, entropy in quantum mechanics...
2008 / Keye Martin, Prakash Panangaden -
Applying a Stochastic Model to a Dynamic, QoS Enabled Web Services Hosting Environment
Abstract Data centres which host Web services for other organisations and users in a Grid environment must provide for Quality of Service (QoS) requirements to be specified to ensure deployed services perform as desired. As services hosted by a data ...
2006 / Charles Kubicek -
Modelling Dynamic Software Architectures using Typed Graph Grammars
Abstract Several recent research efforts have focused on the dynamic aspects of software architectures providing suitable models and techniques for handling the run-time modification of the structure of a system. A large number of heterogeneous...
2008 / Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Hernán Melgratti -
Model-checking Driven Design of Interactive Systems
Abstract This paper describes a model-checking based methodology to detect systematic errors commonly made by non-expert users. The human and computer components of the systems are modelled separately. The human component consists of a general model ...
2007 / Antonio Cerone, Norzima Elbegbayan -
Preface2007 / Maribel Fernández, Claude Kirchner
-
An Algebra for Directed Bigraphs
Abstract We study the algebraic structure of directed bigraphs, a bigraphical model of computations with locations, connections and resources previously introduced as a unifying generalization of other variants of bigraphs. We give a sound and...
2008 / Davide Grohmann, Marino Miculan