Computer and information sciences topic list of research papers
-
A Membership Algorithm for Functional and Multi-valued Dependencies in the Presence of Lists
Abstract Nested lists are used as a data structure whenever order matters. List types are therefore supported by many advanced data models such as genomic sequence, deductive and object-oriented data models including XML. What...
2004 / Sven Hartmann, Sebastian Link -
Design and Implementation of Low Power High Speed Viterbi Decoder
Abstract This paper describes the design of Viterbi decoding algorithm and presents an implementation of the decoder for the UWB MB_OFDM technology. The Viterbi algorithm is a maximum-likelihood algorithm for decoding of convolution codes. The...
2012 / K. Cholan -
Novel Localization of Sensor Nodes in Wireless Sensor Networks using Co-Ordinate Signal Strength Database
Abstract The objective of the proposed system is to remove the dependency of radio irregularity problem in localization of static nodes in wireless sensor networks. Most of the existing range free localization algorithms are mainly suffered by the...
2012 / P. Shunmuga Perumal, V. Rhymend Uthariaraj -
Multi Objective Optimization of classification rules using Cultural Algorithms
Abstract Classification rule mining is the most sought out by users since they represent highly comprehensible form of knowledge. The rules are evaluated based on objective and subjective metrics. The user must be able to specify the properties of...
2012 / Sujatha Srinivasan, Sivakumar Ramakrishnan -
Complex scale-free networks with tunable power-law exponent and clustering
Abstract We introduce a network evolution process motivated by the network of citations in the scientific literature. In each iteration of the process a node is born and directed links are created from the new node to a set of target nodes already...
2013 / E.R. Colman, G.J. Rodgers -
Design of Algorithm of Hydraulic Control System
Abstract The article deals with the design of control algorithm of hydraulic stress equipment for cross-examination. A control algorithm of regulator is designed here, whereas the circuit functionality was verified in Matlab/Simulink environment. ...
2012 / Miková Ľubica, Michal Kelemen -
What do University Professors (Still) Believe in?
Abstract Nowadays we see that the value of a university professor is given mainly by the amount of money that he is able to bring to the institution's budget and by the financial value of the projects he initiates and coordinates (Vlăsceanu, 2006)....
2013 / Gabriel Albu, Venera-Mihaela Cojocariu -
Optimal transport: Monge meets Riemann and Fourier
Abstract This short contribution summarizes a talk given on May 5, 2010, in Cairo, describing some unexpected links between the Monge problem of optimal transport, the Riemann curvature and the heat equation.
2011 / Cédric Villani -
iPhone sensor platforms: Applications to sports monitoring
Abstract The testing and monitoring of elite athletes in their natural training environment is becoming an area of interest to the sporting community. Specialised equipment is cumbersome and influences the training and analysis regimens athletes...
2011 / T. McNab, D.A. James, D. Rowlands -
Integrated Safety and Efficiency in Intelligent Vehicular Networks: Issues and Novel Constructs
Abstract We present the cohort and the group constructs which are aimed at reconciling safety and efficiency for intelligent vehicular networks on roads and highways, and show how platoons and vehicular ad hoc networks can be structured as cohorts...
2012 / Gérard Le Lann -
Novel topological descriptors for analyzing biological networks2010 / Matthias M Dehmer, Nicola N Barbarini, Kurt K Varmuza, Armin A Graber
-
Brian Hears: Online Auditory Processing Using Vectorization Over Channels2011 / Bertrand Fontaine, Dan F. M. Goodman, Victor Benichoux, Romain Brette
-
Symbiosis between the TRECVid benchmark and video libraries at the Netherlands Institute for Sound and Vision2013 / Johan Oomen, Paul Over, Wessel Kraaij, Alan F. Smeaton
-
Efficient reconstruction of biological networks via transitive reduction on general purpose graphics processors2012 / Dragan Bo¿na¿ki, Maximilian R Odenbrett, Anton Wijs, Willem Ligtenberg, Peter Hilbers
-
Hybridizing a Logical Framework
Abstract Logical connectives familiar from the study of hybrid logic can be added to the logical framework LF, a constructive type theory of dependent functions. This extension turns out to be an attractively simple one, and maintains all the usual...
2007 / Jason Reed -
Dinapter: Automatic Adapter Specification for Software Composition
Abstract Enterprise systems rely heavily on compositional software like Software Components or Web Services. The composition of this software allows software reusability, greater productivity and reduced costs. However, these components are...
2009 / José Antonio Martín, Ernesto Pimentel -
Preface2007 / Guido Boella, Mehdi Dastani, Andrea Omicini, Leendert van der Torre, Ivana Cerna, et al.
-
Algebraic Structure of Web Services
Abstract Web Services and Service-Oriented Architecture in general are promising concepts to overcome difficulties such as heterogeneity, scalability, etc. In this paper we present an algebraic structure of Web Services which assist users in Web...
2008 / Peter Höfner, Florian Lautenbacher -
Probabilistic Approach to the Lambda Definability for Fourth Order Types
Abstract It has been proved by Loader [Ralph Loader, The Undecidability of λ - Definability, In Logic, Meaning and Computation: Essays in Memory of Alonzo Church, 331-342, C.A. Anderson and Zeleny editors, Kluwer Academic Publishers, 2001] that...
2005 / Marek Zaionc -
Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics
Abstract Eden is a parallel extension of the functional language Haskell. On behalf of parallelism Eden overrides Haskell's pure lazy approach, combining a non-strict functional application with eager process creation and eager communication. We...
2007 / Mercedes Hidalgo-Herrero, Alberto Verdejo, Yolanda Ortega-Mallén