Computer and information sciences topic list of research papers
-
Big Data Analytics in the Cloud: Spark on Hadoop vs MPI/OpenMP on Beowulf
Abstract One of the biggest challenges of the current big data landscape is our inability to pro- cess vast amounts of information in a reasonable time. In this work, we explore and com- pare two distributed computing frameworks implemented on...
2015 / Jorge L. Reyes-Ortiz, Luca Oneto, Davide Anguita -
Survivable Path Sets: A New Approach to Survivability in Multilayer Networks2014 / Marzieh Parandehgheibi, Hyang-Won Lee, Eytan Modiano
-
A Singular web service for geometric computations2014 / Francisco Botana, Zoltán Kovács
-
Development of Continuing Motivation via Distance Learning Model in Unrest Southernmost Provinces, Thailand
Abstract The purpose of this study was to develop continuing motivation of distance learning model in unrest southernmost provinces of Thailand. The research objectives consist of; (1) to synthesize continuing motivation pattern of distance learning ...
2015 / Monton Pholboon, Wuttisak Pochanukul, Juta Tammachart, Kittisak Na Badalung -
Generalized compressive detection of stochastic signals using Neyman–Pearson theorem2014 / Ying-Gui Wang, Zheng Liu, Le Yang, Wen-Li Jiang
-
Strategic flight assignment approach based on multi-objective parallel evolution algorithm with dynamic migration interval
Abstract The continuous growth of air traffic has led to acute airspace congestion and severe delays, which threatens operation safety and cause enormous economic loss. Flight assignment is an economical and effective strategic plan to reduce the...
2015 / Xuejun Zhang, Xiangmin Guan, Yanbo Zhu, Jiaxing Lei -
A Trusted Third-party (TTP) based Encryption Scheme for Ensuring Data Confidentiality in Cloud Environment
Abstract Cloud computing is an emerging paradigm that affects a large part of the IT industry by offering dynamically scalable resources (e.g., hardware and software) that are provisioned as a service over the Internet. Cloud computing provides...
2014 / Syed Rizvi, Katie Cover, Christopher Gates -
Information Support and Interactive Planning in the Digital Factory: Approach and Industry-driven Evaluation
Abstract In the modern world we are continuously surrounded by information. The human brain has to analyse and interpret this information to transform into useable knowledge that is then used in decision making activities. The advent and...
2014 / C.L. Constantinescu, E. Francalanza, D. Matarazzo, O. Balkan -
Total Path Length and Number of Terminal Nodes for Decision Trees
Abstract This paper presents a new tool for study of relationships between total path length (average depth) and number of terminal nodes for decision trees. These relationships are important from the point of view of optimization of decision trees. ...
2014 / Shahid Hussain -
Profiling user-trigger dependence for Android malware detection
Abstract As mobile computing becomes an integral part of the modern user experience, malicious applications have infiltrated open marketplaces for mobile platforms. Malware apps stealthily launch operations to retrieve sensitive user or device data...
2014 / Karim O. Elish, Xiaokui Shu, Danfeng (Daphne) Yao, Barbara G. Ryder, Xuxian Jiang -
A zero-delay sequential scheme for lossy coding of individual sequences2002 / T. Linder, G. Lagosi
-
Feasible functionals and intersection of ramified types
Abstract We show that the basic feasible functions of Cook and Urquhart's BFF [8,9] are precisely the functionals definable in a natural system of ramified recurrence that uses type intersection (for tier-variants of a common type). This further...
2004 / Daniel Leivant -
Categorical Structure of Asynchrony
Abstract We investigate a categorical framework for the semantics of asynchronous communication in networks of parallel processes. Abstracting from a category of asynchronous labeled transition systems, we formulate the notion of a categorical model ...
2004 / Peter Selinger -
Group Aggregation Techniques for Analytic Hierarchy Process and Analytic Network Process: A Comparative Analysis2015 / Wolfgang Ossadnik, Stefanie Schinke, Ralf H. Kaspar
-
Pin-Align : A New Dynamic Programming Approach to Align Protein-Protein Interaction Networks2014 / Farid Amir-Ghiasvand, Abbas Nowzari-Dalini, Vida Momenzadeh
-
Towards Light-Weight Probabilistic Model Checking2014 / Savas Konur
-
A fast parallel algorithm for finding the longest common sequence of multiple biosequences2006 / Yixin Chen, Andrew Wan, Wei Liu
-
A frame-based domain-specific language for rapid prototyping of FPGA-based software-defined radios2014 / Ganda Ouedraogo, Matthieu Gautier, Olivier Sentieys
-
Denotational Semantics of Shape:
Abstract Past work on the semantics of vectors and arrays provides a denotational semantics for the new, higher-order, polymorphic array programming language FISh, that uses static analysis to determine array shapes. This semantics will be combined...
2004 / C.B. Jay -
Dedekind completion as a method for constructing new Scott domains
Abstract Many operations exist for constructing Scott-domains. This paper presents Dedekind completion as a new operation for constructing such domains and outlines an application of the operation. Dedekind complete Scott domains are of particular...
2004 / Klaus Grue