Computer and information sciences topic list of research papers
-
Realizability for Peano arithmetic with winning conditions in HON games
Abstract We build a realizability model for Peano arithmetic based on winning conditions for HON games. Our winning conditions are sets of desequentialized interactions which we call positions. We define a notion of winning strategies on arenas...
2016 / Valentin Blot -
CulSim: A simulator of emergence and resilience of cultural diversity
Abstract CulSim is an agent-based computer simulation software that allows further exploration of influential and recent models of emergence of cultural groups grounded in sociological theories. CulSim provides a collection of tools to analyze...
2016 / Roberto Ulloa -
Designing a Generic Human-Machine Framework for Real-time Supply Chain Planning
Abstract Mixed-Initiative-Systems (MIS) are hybrid decision-making systems in which human and machine collaborate in order to produce a solution. This paper described an MIS adapted to business optimization problems. These problems can usually be...
2016 / Jonathan Gaudreault, Claude-Guy Quimper, Philippe Marier, Mathieu Bouchard, François Chéné, et al. -
Statistical monitoring of linear antenna arrays
Abstract The paper concerns the problem of monitoring linear antenna arrays using the generalized likelihood ratio (GLR) test. When an abnormal event (fault) affects an array of antenna elements, the radiation pattern changes and significant...
2016 / Fouzi Harrou, Ying Sun -
Sub-story detection in Twitter with hierarchical Dirichlet processes
Abstract Social media has now become the de facto information source on real world events. The challenge, however, due to the high volume and velocity nature of social media streams, is in how to follow all posts pertaining to a given event over...
2016 / P.K. Srijith, Mark Hepple, Kalina Bontcheva, Daniel Preotiuc-Pietro -
Permanent Magnet Synchronous Generator Stability Analysis and Control
Abstract In this paper a theoretical approach has been developed to address the stability problem of permanent magnet synchronous generator (PMSG). It is used because of great advantages such as reliability and effectiveness. The proposed technique...
2016 / Marwa A. Abd El Hamied, Noha H.El. Amary -
Preface2016 / José Ramon Arrazola Ramírez, J. Raymundo Marcial-Romero
-
Sorting by Restricted-Length-Weighted Reversals
Classical sorting by reversals uses the unit-cost model, that is, each reversal consumes an equal cost. This model limits the biological meaning of sorting by reversal. Bender and his colleagues extended it by assigning a cost function f(l) = lα ...
2016 / Thach Cam Nguyen, Hieu Trung Ngo, Nguyen Bao Nguyen -
Interaction on Online Forums and Group Communication: A Case Study of an IT Support Community
Abstract In the digital age, group communication migrates online. Web forums serve as communication hubs for people who work together to solve particular problems. This study uses qualitative content analysis and interviews to determine whether...
2016 / Vladimir Gritsenko -
The use and meaning of nano in American English: Towards a systematic description
Abstract The morpheme nano is today used in various words, such as nanometer, nanoscale, nanotechnology, nanomaterial, nanorobot, iPod nano, and nanotyrannus. This range of uses is partly explained by an interest in nanotechnology manifest in many...
2016 / Max Boholm -
Iterative construction of replicated designs based on Sobol' sequences
Abstract In the perspective of estimating main effects of model inputs, two approaches are studied to iteratively construct replicated designs based on Sobol' sequences. Space-filling properties of the resulting designs are studied based on two...
2016 / Laurent Gilquin, Lluís Antoni Jiménez Rugama, Élise Arnaud, Fred J. Hickernell, Hervé Monod, et al. -
New Approaches to Parallelization in Filters Aggregation Based Feature Selection Algorithms
Abstract One of the classical problems in machine learning and data mining is feature selection. A feature selection algorithm is expected to be quick, and at the same time it should show high performance. MeLiF algorithm effectively solves this...
2016 / Ivan Smetannikov, Ilya Isaev, Andrey Filchenkov -
A Case-driven Methodology for the Interdisciplinary Development and Examination of Mental Architectures
Abstract This paper provides a theoretical specification of a case-driven methodology to develop and examine mental architectures 1 . The challenges of regular interdisciplinary collaboration are tackled...
2016 / Samer Schaat -
Comparing Drools and Ontology Reasoning Approaches for Automated Monitoring in Telecommunication Processes
Abstract Automated reconfiguration is one of the crucial tasks in telecommunication service composition. The first step in reconfiguration is the monitoring phase. The problem of monitoring and error detection frequently appears in different...
2016 / Armando Ordóñez, Luis Eraso, Hugo Ordóñez, Luis Merchan -
Filtering Continuous Glucose Monitoring Signal Using Savitzky-Golay Filter and Simple Multivariate Thresholding
Abstract Diabetes mellitus is a chronic disease that causes critical health complications like renal failure, heart disease, stroke, and blindness. For precluding the adverse effects of diabetes mellitus, humans use continuous glucose monitoring...
2016 / Fahreddin Sadıkoglu, Cemal Kavalcıoğlu -
On the topology of the set of singularities of a solution to the Hamilton–Jacobi equation
Abstract We address the topology of the set of singularities of a solution to a Hamilton–Jacobi equation. For this, we will apply the idea of the first two authors (Cannarsa and Cheng, Generalized characteristics and Lax–Oleinik operators: global...
2016 / Piermarco Cannarsa, Wei Cheng, Albert Fathi -
Influence of the Modern Web Communication on the Psychological Characteristics of the Rising Generation (12-13 Year Old) from the View of the Information Images Theory
Abstract The article considers the impact of modern Web communications on the psychophysical characteristics of youth. The authors conducted an experimental study of the influence of modern virtual-communication tools on the basic psychological and...
2016 / Alexander Y. Petukhov, Sophia A. Polevaya, Natalia S. Chuprakova -
Preface2016 / Yannis Manolopoulos, Richard Chbeir, Agma Juci Traina, Youakim Badr, Frederic Andres
-
Fast and simple decycling and dismantling of networks2016 / Lenka Zdeborová, Pan Zhang, Hai-Jun Zhou
-
A note on the convergence rate of Kumar–Singh–Srivastava methods for solving nonlinear equations
Abstract In the present article, it is shown that both the methods presented in Kumar et al. (2013) do not possess the order of convergence as claimed. One of the two methods, derivative involved method possesses the convergence rate of eighth order ...
2016 / J.P. Jaiswal