Computer and information sciences topic list of research papers
-
A Method for Revealing and Addressing Security Vulnerabilities in Cyber-physical Systems by Modeling Malicious Agent Interactions with Formal Verification
Abstract Several cyber-attacks on the cyber-physical systems (CPS) that monitor and control critical infrastructure were publically announced over the last few years. Almost without exception, the proposed security solutions focus on preventing...
2016 / Dean C. Wardell, Robert F. Mills, Gilbert L. Peterson, Mark E. Oxley -
Which Features Matter How Much When?
Abstract How do brains learn which features matter how much, when and for what purposes? A specific feature may matter more or less for recognitions of different learned patterns, and in different contexts and attentional foci. Simple executable...
2016 / Lee Scheffler -
Real-time Color Codes for Assessing Learning Process
Abstract Effective assessment is an important way for improving the learning process. There are existing guidelines for assessing the learning process, but they lack holistic digital knowledge society considerations. In this paper the authors...
2016 / Laura Dzelzkaleja, Janis Kapenieks -
On the Applicability of Spiking Neural Network Models to Solve the Task of Recognizing Gender Hidden in Texts
Abstract Two approaches to utilize spiking neural networks, applicable for implementing in neuromorphic hardware with ultra-low power consumption, in the task of recognizing gender of a text author are analyzed. The first one is to obtain synaptic...
2016 / Alexander Sboev, Tatiana Litvinova, Danila Vlasov, Alexey Serenko, Ivan Moloshnikov -
Approaches to Solve the Vehicle Routing Problem in the Valuables Delivery Domain
Abstract The various extensions of the vehicle routing problem with time windows (VRPTW) are considered. In addition to the VRPTW, the authors present a method to solve the SDVRPTW – the variation of the task allowing separate goods supply to the...
2016 / Vladimir Korablev, Ivan Makeev, Evgeny Kharitonov, Boris Tshukin, Ilya Romanov -
Study on the Environmental Cognition of a Self-evolving Conscious System
Abstract This study proposes a conscious model for a robot that achieves self-evolution by evaluating whether the internal state of the conscious system is represented as pleasant or unpleasant. For the definition of pleasant and unpleasant, we...
2016 / Riku Sekiguchi, Haruki Ebisawa, Junichi Takeno -
Employing Computer-assisted Translation Tools to Achieve Terminology Standardization in Institutional Translation: Making a Case for Higher Education
Abstract This paper discusses the challenges and benefits of using CAT tools to ensure standardized terminology use in translations in a tertiary education institution. It aims to address the challenges faced in official document translation from...
2016 / Harun Serpil, Gül Durmuşoğlu-Köse, Murat Erbek, Yusuf Öztürk -
On Virtual Characters that Can See
Abstract A virtual character (VC) acts within its virtual world boundaries, but with vision sensory capabilities, it may be expected to explore the real world and interact with the intelligent beings there. Such a VC can be equipped with algorithms...
2016 / Eugene Borovikov, Sergey Yershov -
An Almost Exact Graphic Version of Cholesky's Method for Improving the Manual Analysis of Spatial Porticoes
Abstract This study proposes a new version of Cholesky's classic procedure for solving the linear equation systems derived from the analysis of building structures in terms of first order theory. With this modification the numerical method is turned ...
2016 / Agustin Lacort -
FLOYD-warshall in Scheduling Open Networks
Abstract After introducing main principles of transitive closure of graphs the paper discusses application of a modified Floyd-Warshall algorithm to calculate network time models of projects with no concern on whether the graph has one or more...
2016 / Zoltán A. Vattai -
Intelligence Search Engine and Automatic Integration System for Web-Services and Cloud-Based Data Pro-viders Based on Semantics
Abstract During the last years the concept of publicity accessible services and application interacting to one another has become quite popular. In this connection the majority of specialists and especially business integrators and B2B (business to...
2016 / Artyom Chernyshov, Anita Balandina, Anastasiya Kostkina, Valentin Klimov -
Videoconference System Based on WebRTC With Access to the PSTN
Abstract The research presented in this paper introduces Rendez-Vous, which is a system oriented to provide its users with a greater communication availability through the convergence of the conventional telephony and the real-time multimedia on the ...
2016 / Alfonso Sandoval Rosas, José Luis Alejos Martínez -
Defining Stage Argumentation Semantics in Terms of an Abducible Semantics
Abstract We define a new logic programming semantics in terms of abducible atoms. We use it to characterize the stage extensions of an argumentation framework AF by means of an associated normal program P ...
2016 / Mauricio Osorio, José Luis Carballido, Claudia Zepeda -
Restoring Damaged JPEG Images Obtained from the Wireless Endoscopic Capsule
Abstract The effectiveness of programs for automated recognition of diseases of the digestive tract by the images recorded by a wireless endoscopic capsule depends on the quality of images obtained from it. Therefore, this article discusses the...
2016 / Anastasia Antonova, Askar Shayakov, Timur Khabibullin, Anastasia Tolstaya -
Agent Technologies for Polythematic Organizations Information-Analytical Support
Abstract Large scientific organizations, laboratories, departments and scientific groups exercise need in information support due to issues related to the navigation among huge amount of information in the Internet that is growing every day. This...
2016 / Boris Onykiy, Alexey Artamonov, Anastasia Ananieva, Evheniy Tretyakov, Larisa Pronicheva, et al. -
Automatic Detection of Verbal Aggression for Russian and American Imageboards
Abstract The problem of aggression for Internet communities is rampant. Anonymous forums usually called imageboards are notorious for their aggressive and deviant behaviour even in comparison with other Internet communities. This study is aimed at...
2016 / Denis Gordeev -
Fast and Robust Mesh Generation on the Sphere – Application to Coastal Domains
Abstract This paper presents a fast and robust mesh generation procedure that is able to generate meshes of the earth system (ocean and continent) in matters of seconds. Our algorithm takes as input a standard shape-file i.e. geospatial vector data...
2016 / Jean-François Remacle, Jonathan Lambrechts -
Using neural networks to aid CVSS risk aggregation — An empirically validated approach
Abstract Managing risks in large information infrastructures is often tied to inevitable simplification of the system, to make a risk analysis feasible. One common way of “compacting” matters for efficient decision making is to aggregate...
2016 / Alexander Beck, Stefan Rass -
A Holistic Approach for High-level Programming of Next-generation Data-intensive Applications Targeting Distributed Heterogeneous Computing Environment
Abstract The intrinsic richness and heterogeneity of large amount of data is paired with the extreme complexity in its storing and processing, as well as with the heterogeneity of their processing environments, ranging from super computers to...
2016 / Emanuele Carlini, Patrizio Dazzi, Matteo Mordacchini -
On the Efficiency of the Proportional Allocation Mechanism for Divisible Resources2016 / George Christodoulou, Alkmini Sgouritsa, Bo Tang