Computer and information sciences topic list of research papers
-
A formal basis for the design and analysis of firewall security policies
Abstract A firewall is the core of a well defined network security policy. This paper presents an automata-based method to study firewall security policies. We first propose a procedure that synthesizes an automaton that describes a security policy...
2016 / Ahmed Khoumsi, Mohammed Erradi, Wadie Krombi -
Design and performance of two-sleeve low profile antenna for bio-medical applications
Abstract In this paper, a microstrip patch antenna is proposed which is suitable for bio-medical applications. The antenna is designed to operate in the Industrial, Scientific and Medical band at 2.45GHz. Analysis of two sleeve microstrip patch...
2016 / Shikha Sukhija, R.K. Sarin -
An Unsupervised Approach for Combining Scores of Outlier Detection Techniques, Based on Similarity Measures
Abstract Outlier detection, the discovery of observations that deviates from normal behavior, has become crucial in many application domains. Numerous and diverse algorithms have been proposed to detect them. These algorithms identify outliers using ...
2016 / José Ramón Pasillas-Díaz, Sylvie Ratté -
Measuring multiple evolution mechanisms of complex networks2015 / Qian-Ming Zhang, Xiao-Ke Xu, Yu-Xiao Zhu, Tao Zhou
-
pysimm: A python package for simulation of molecular systems
Abstract In this work, we present pysimm, a python package designed to facilitate structure generation, simulation, and modification of molecular systems. pysimm provides a collection of simulation tools and smooth integration with highly optimized...
2016 / Michael E. Fortunato, Coray M. Colina -
An Efficient Hybrid Intelligent Method for Electricity Price Forecasting
Abstract In this paper an efficient method is proposed for electricity price forecasting. This paper focuses on Locational Marginal Price (LMP) that efficiently maintains power markets by alleviating transmission network congestion. There are...
2016 / Hiroyuki Mori, Kaoru Nakano -
Semantic Techniques for Multi-cloud Applications Portability and Interoperability
Abstract The composition of Cloud Services to satisfy customer requirements is a complex task, owing to the huge number of services that are currently available. The advent of Big Data and Internet of Things (IoT), which rely on Cloud resources for...
2016 / Beniamino Di Martino, Antonio Esposito -
Framework for Modelling Multi-stakeholder City Logistics Domain Using the Agent based Modelling Approach
Abstract Efficiency of city logistics activities suffers due to conflicting personal preferences and distributed decision making by multiple city logistics stakeholders. This is exacerbated by interdependency of city logistics activities, decision...
2016 / Nilesh Anand, J.H. Ron van Duin, Lori Tavasszy -
GENESIS-CBA: an agent-based model of peer evaluation and selection in the internet interdomain network2013 / Aemen Lodhi, Amogh Dhamdhere, Constantine Dovrolis
-
Periodic points in the intersection of attracting immediate basins boundaries
Abstract We give conditions under which the intersection between two attracting immediate basins boundaries of a rational map contains at least one periodic point.
2016 / Bastien Rossetti -
Double-spend Attack Models with Time Advantange for Bitcoin
Abstract Bitcoin is a digital currency in which the need for a trusted third party is avoided. Instead, this digital currency is based on the concept of ‘proof of work’ allowing users to execute payments by digitally signing their transactions....
2016 / Carlos Pinzón, Camilo Rocha -
Input-output pairing criterion applied in the genetic algorithm for unstable linear systems2016 / P.Q. Baban, I.N. Rahimabadi
-
Application of Data Mining Techniques for Traffic Density Estimation and Prediction
Abstract Advanced Traveller Information Systems (ATIS) is one of the functional areas of Intelligent Transportation Systems (ITS) and it aims at providing real time traffic information to the travellers for making better travel decisions. This...
2016 / Jithin Raj, Hareesh Bahuleyan, Lelitha Devi Vanajakshi -
Fuzzy interpretation for temporal-difference learning in anomaly detection problems2016 / A.V. Sukhanov, S.M. Kovalev, V. Stýskala
-
Multi-label classification via multi-target regression on data streams2016 / Aljaž Osojnik, Panče Panov, Sašo Džeroski
-
Mining local process models
Abstract In this paper we describe a method to discover frequent behavioral patterns in event logs. We express these patterns as local process models. Local process model mining can be positioned in-between process discovery and episode/sequential...
2016 / Niek Tax, Natalia Sidorova, Reinder Haakma, Wil M.P. van der Aalst -
Evaluation of Agile Suppliers Using Fuzzy MCDM Approach2016 / Mehtap Dursun
-
Non-convex, non-local functionals converging to the total variation
Abstract We present new results concerning the approximation of the total variation, ∫ ...
2016 / Haïm Brezis, Hoai-Minh Nguyen -
Copernicus, a hybrid dataflow and peer-to-peer scientific computing platform for efficient large-scale ensemble sampling
Abstract Compute-intensive applications have gradually changed focus from massively parallel supercomputers to capacity as a resource obtained on-demand. This is particularly true for the large-scale adoption of cloud computing and MapReduce in...
2016 / Iman Pouya, Sander Pronk, Magnus Lundborg, Erik Lindahl -
Recognition-based online Kurdish character recognition using hidden Markov model and harmony search
Abstract In this paper a hidden Markov model and harmony search algorithms are combined for writer independent online Kurdish character recognition. The Markov model is integrated as an intermediate group classifier instead of a main character...
2016 / Rina D. Zarro, Mardin A. Anwer