Computer and information sciences topic list of research papers
-
A Process Algebra Genetic Algorithm2011 / Sertac Karaman, Tal Shima, Emilio Frazzoli
-
Emerging educational technologies: Tensions and synergy
Abstract A review of high level sources with regard to new and emerging technologies was conducted. Three technologies, according to these sources, appear especially promising: (a) massive open online courses (MOOCs), (b) personalized learning, and...
2013 / J. Michael Spector -
Leveraging Localized Social Media Insights for Early Warning Systems
Abstract Social Media is more and more positioning as the channel to implement early warning systems for prompt reaction to events that might affect a company's core business. The enabling of geo-location for social media interactions unlocks new...
2014 / J. Bernabé-Moreno, A. Tejeda-Lorente, C. Porcel, E. Herrera-Viedma -
Randomized controlled trials versus rough set analysis: two competing approaches for evaluating clinical data2014 / Tomasz Rzepiński
-
Self-adaptive fitness formulation for constrained optimization2003 / R. Farmani, J.A. Wright
-
Smart cameras: 2D affine models for determining subject facial expressions2010 / Ioana Bacivarov, Peter Corcoran, Mircea Ionita
-
Associating of Verbs in the Linguistic Consciousness
Abstract The work is concerned with associative-derivational potential of verbs with the meaning “to deprive of life” in four languages of different structures: English, Turkish, Tatar and Russian. Basic verbs of this lexical-semantic group are...
2014 / Diana Khakimzyanova -
Cyclic Hybrid Flow-shop Scheduling Problem with Machine Setups
Abstract In this paper we consider an NP -hard hybrid flow shop problem with machine setups and cycle-time minimization. The above issue is an important generalization of a flow-shop problem with minimization of a cycle time, and it stays in a...
2014 / Wojciech Bożejko, Łukasz Gniewkowski, Jarosław Pempera, Mieczysław Wodecki -
Tools to implement and improve blood donor hemovigilance in Brazil**See paper by Braz AC et al. on pages 139-146.2014 / Cesar de Almeida Neto
-
Technique for Cross-layer Vertical Handover Prediction in 4G Wireless Networks
Abstract With the increasing deployment of a variety of wireless access networks, wireless devices face the challenge of selecting the most suitable network from a set of available access networks. Some of the weighty issues in 4G wireless networks...
2014 / Abubakar M. Miyim, Mahamod Ismail, Rosdiadee Nordin, M. Taha Ismail -
Bayesian Detection in Bounded Height Tree Networks2009 / Wee Peng Tay, J.N. Tsitsiklis, M.Z. Win
-
A Weighted Linear Combining Scheme for Cooperative Spectrum Sensing
Abstract Cooperative spectrum sensing exploits spatial diversity of secondary-users (SUs), to reliably detect the availability of a spectrum. Soft energy combining schemes have optimal detection performance at the cost of high cooperation overhead,...
2014 / Sheeraz Akhtar Alvi, Muhammad Shahzad Younis, Muhammad Imran, Fazal-E-Amin -
Connecting IoT Sensors to Knowledge-based Systems by Transforming SenML to RDF
Abstract Applying Semantic Web technologies to Internet of Things (IoT) enables smart applications and services in a variety of domains. However, the gap between semantic representations and data formats used in IoT devices introduces a challenge...
2014 / Xiang Su, Hao Zhang, Jukka Riekki, Ari Keränen, Jukka K. Nurminen, et al. -
New Approaches in the Analysis of the Contemporary Dramatic Character
Abstract The character is the core of dramaturgy. The current paper aims to present the newest research regarding the contemporary dramatic character. The study looks at the recent theoretical approaches that hold a double perspective on the...
2013 / Ioana-Tatiana Ciocan -
A Geometric View of Partial Order Reduction
Abstract Verifying that a concurrent program satisfies a given property, such as deadlock-freeness, is computationally difficult. Naive exploration techniques are facing the state space explosion problem: they consider an exponential number of...
2013 / Eric Goubault, Tobias Heindel, Samuel Mimram -
Blind Search for Optimal Wiener Equalizers Using an Artificial Immune Network Model2003 / Romis Ribeiro de Faissol Attux, Murilo Bellezoni Loiola, Ricardo Suyama, Leandro Nunes de Castro, Fernando José Von Zuben, et al.
-
Weak Behavioral Subtyping for Types with Mutable Objects
Abstract This paper studies the question of when one abstract data type (ADT) is a behavioral subtype of another, and proposes a model-theoretic notion of weak behavioral subtyping. Weak behavioral subtyping permits supertype abstraction to be a...
2004 / Krishna Kishore Dhara, Gary T. Leavens -
Parallel Model Checking for LTL, CTL∗, and L2μ
Abstract We describe a parallel model-checking algorithm for the fragment of the μ-calculus that allows one alternation of minimal and maximal fixed-point operators. This fragment is also known as L 2μ. Since LTL and CTL∗ can be ...
2005 / Martin Leucker, Rafal Somla, Michael Weber -
Timed Semantics of Message Sequence Charts Based on Timed Automata
Abstract Message Sequence Charts (MSCs) provide a way for quick and easily understandable modelling of concurrent systems. Apart from their intuitive semantics easily deduced from their visual syntax, there is a formally...
2004 / Philipp Lucas -
Web Components and the Semantic Web
Abstract Component-based software engineering on the Web differs from traditional component and software engineering. We investigate Web component engineering activites that are crucial for the development, composition, and deployment of components...
2004 / Máire Casey, Claus Pahl