Computer and information sciences topic list of research papers
-
Automatic Mapping of an Enclosure Using a Mobile Robot
Abstract An autonomous mobile robot moving through an unknown environment needs to be able to locate itself accurately and, at the same time, build a map of its surroundings. This paper investigates the design and implementation of an enclosure...
2014 / Ciprian-Florin Ciurea, Adrian-Vasile Duka, Stelian-Emilian Oltean -
WORL: a nonmonotonic rule language for the semantic web2013 / Son Thanh Cao, Linh Anh Nguyen, Andrzej Szałas
-
Thermal-Infrared Pedestrian ROI Extraction through Thermal and Motion Information Fusion2014 / Antonio Fernández-Caballero, María López, Juan Serrano-Cuerda
-
Two-year retrospective analysis of the international impact of Journal of Optometry: part II2011 / José Manuel González-Méijome, Robert Montés-Micó, César Villa-Collar
-
A Portable OpenCL Lattice Boltzmann Code for Multi- and Many-core Processor Architectures
Abstract The architecture of high performance computing systems is becoming more and more heterogeneous, as accelerators play an increasingly important role alongside traditional CPUs. Programming heterogeneous systems efficiently is a complex task, ...
2014 / Enrico Calore, Sebastiano Fabio Schifano, Raffaele Tripiccione -
Type-based Initialization Analysis of a Synchronous Data-flow Language
Abstract One of the appreciated features of the synchronous data-flow approach is that a program defines a perfectly deterministic behavior. But the use of the delay primitive leads to undefined values at the first cycle; thus a data-flow program is ...
2005 / Jean-Louis Colaço, Marc Pouzet -
Using Internet Protocols to Implement IEC 60870-5 Telecontrol Functions2009 / G. Sanchez, I. Gomez, J. Luque, J. Benjumea, O. Rivera
-
Breaking into BIM: Performing static and dynamic security analysis with the aid of BIM
Abstract The design and construction industry is moving towards Building Information Models (BIM) that provide all of the strengths of traditional 3D CAD with an added layer of data allowing new and powerful applications. We investigate the concept...
2014 / Stuart Porter, Terence Tan, Tele Tan, Geoff West -
Optimization of beamforming and path planning for UAV-assisted wireless relay networks
Abstract Recently, unmanned aerial vehicles (UAVs) acting as relay platforms have attracted considerable attention due to the advantages of extending coverage and improving connectivity for long-range communications. Specifically, in the scenario...
2014 / Jian Ouyang, Yi Zhuang, Min Lin, Jia Liu -
Design Virtual Learning Labs for Courses in Computational Science with Use of Cloud Computing Technologies
Abstract This paper describes the approach to the design and imp le mentation of a virtual learning laboratory (VLL) with the use of cloud computing technologies within the mode l of AaaS (Application as a Service). The formal model of composite...
2014 / Alexey Dukhanov, Maria Karpova, Klavdiya Bochenina -
Will Web Technologies Impact on Building Automation Systems Architecture?
Abstract Offices, factories and even private housings are more and more endowed with building management systems (BMS) targeting an increase of comfort as well as lowering energy costs. This expansion is made possible by the progress realized in...
2014 / Gérôme Bovet, Jean Hennebert -
Classification model for code clones based on machine learning2014 / Jiachen Yang, Keisuke Hotta, Yoshiki Higo, Hiroshi Igaki, Shinji Kusumoto
-
1-D Transforms for the Motion Compensation Residual2010 / F Kamisli, J S Lim
-
An Evolutionary Squeaky Wheel Optimization Approach to Personnel Scheduling2008 / U. Aickelin, E.K. Burke, Jingpeng Li
-
Observationally-induced Algebras in Domain Theory
Abstract We investigate the observationally-induced free algebra approach for constructing computational monads in the categories of classical domain theory. Our investigation yields that the free algebra construction exists for all finitary...
2014 / Ingo Battenfeld -
Precision of Shooting (6.75m) in University Women's Basketball
Abstract Basketball is a game with a broad impact among male and female students in Romania. Therefore, particular attention should be paid to its development in order to achieve high performance in both national and international academic...
2014 / Mihaela Netolitzchi -
Integrated Analysis Framework for Improving Production Processes in Software-intensive Systems
Abstract Software-intensive systems involve the using of software engineering that cooperate with other engineering fields to achieve common goals, e.g., to provide good quality products to the customers in the right time. In the production...
2014 / Wikan Danar Sunindyo -
Cardiac Arrhythmia Classification Using Neural Networks with Selected Features
Abstract This research is to present a new approach for cardiac arrhythmia disease classification. An early and accurate detection of arrhythmia is highly solicited for augmenting survivability. In this connection, intelligent automated decision...
2014 / Malay Mitra, R.K. Samanta -
On 0′-computable reals
Abstract Given a 0′-computable real x we are interested in the relative complexity of the sets Az = {i: zi < x} for possible computable sequences of rationals z = {zs} with limszs = x, with respect to a strong reducibility ≤ = r. It turns out...
2004 / George Barmpalias -
Interpreting Abstract Interpretations in Membership Equational Logic
Abstract We present a logical framework in which abstract interpretations can be naturally specified and then verified. Our approach is based on membership equational logic which extends equational logics by membership axioms, asserting that a term...
2004 / Bernd Fischer, Grigore Roşu