Computer and information sciences topic list of research papers
-
Lattice QCD Applications on QPACE
Abstract QPACE is a novel massively parallel architecture optimized for lattice QCD simulations. A single QPACE node is based on the IBM PowerXCell 8i processor. The nodes are interconnected by a custom 3-dimensional torus network implemented on an...
2011 / Y. Nakamura, A. Nobile, D. Pleiter, H. Simma, T. Streuer, et al. -
About the Garden of Eden Theorems for Cellular Automata in the Hyperbolic Plane
Abstract The Garden of Eden theorems are well known theorems established by Moore and Myhill in the early sixties connecting injectivity and surjectivity for the global function of cellular automata in the (Euclidean) plane. In this paper, it is...
2009 / Maurice Margenstern -
Using global diversity and local topology features to identify influential network spreaders
Abstract Identifying the most influential individuals spreading ideas, information, or infectious diseases is a topic receiving significant attention from network researchers, since such identification can assist or hinder information dissemination, ...
2015 / Yu-Hsiang Fu, Chung-Yuan Huang, Chuen-Tsai Sun -
Modeling of Decision Making Process for Product Service Failure Diagnosis
Abstract Product malfunctions in service are addressed by service centres that diagnose the problem and make decisions on component repair or replacement actions. Feedback in the form of service centre performance in diagnosing and reparing product...
2013 / Avishek Pal, Darek Ceglarek -
NeXO Web: the NeXO ontology database and visualization platform2013 / J. Dutkowski, K. Ono, M. Kramer, M. Yu, D. Pratt, et al.
-
A cross organisation compatible workflows generation and execution framework
Abstract With the development of the Internet, the demand for electronic and online commerce has increased. This has, in turn, increased the demand for business process automation. In this paper, we look at the use of workflows for business process...
2013 / Mohammad Saleem, Paul W.H. Chung, Shaheen Fatima, Wei Dai -
Natural User Interface Integrated In Petri Net Educating Environment
Abstract This contribution deals with an educating tool called PN Designer, developed to support Petri Nets education - design, simulation, properties analysis and testing. It helps students to master Petri Nets and can also be used to examine...
2011 / Katarína Jelemenská, Peter Koine, Ján Turoň, Pavel Čičák -
Heterogeneous Parallel Computations for Solving Global Optimization Problems1
Abstract This paper presents an integrated approach to parallel solution of global optimization time-consuming problems. This approach is based on combining several schemes for reducing multidimensional optimization problems to one-dimensional ones. ...
2015 / Ilja Lebedev, Victor Gergel -
A distributed clinical decision support system architecture
Abstract This paper proposes an open and distributed clinical decision support system architecture. This technical architecture takes advantage of Electronic Health Record (EHR), data mining techniques, clinical databases, domain expert knowledge...
2013 / Shaker H. El-Sappagh, Samir El-Masri -
Data Mining and Visualization of Diagnostic Messages for Condition Monitoring
Abstract Complex technical systems consist of a huge amount of electromechanical subsystems and components with more or less interdependencies. During the operational phase these systems are subject to wear and tear and other degradation mechanisms. ...
2013 / Eckart Uhlmann, Claudio Geisert, Eckhard Hohwieler, Ian Altmann -
An overview of learning mechanisms for cognitive systems2012 / Aimilia Bantouna, Vera Stavroulaki, Yiouli Kritikou, Kostas Tsagkaris, Panagiotis Demestichas, et al.
-
A TMR Genetic Voting Algorithm for Fault-tolerant Medical Robot
Abstract Safety critical systems are the systems which may lead to hazards, loss of lives and great damage to the property if they fail due to errors which may lead to faults. It's important for a variety of reasons that safety critical systems...
2014 / Zahra Latifi, Abbas Karimi -
Light-Weight SMT-based Model Checking
Abstract Recently, the notion of an array-based system has been introduced as an abstraction of infinite state systems (such as mutual exclusion protocols or sorting programs) which allows for model checking of invariant (safety) and recurrence...
2009 / Silvio Ghilardi, Silvio Ranise, Thomas Valsecchi -
Human Behavior Understanding via Top-View Vision
Abstract Aiming to target occlusion problem in complex scenes, human action recognition via a top-view vision is proposed. However, in this view, the human behavior rotated will be mistakenly identified as another behavior. To address this...
2013 / Qing Lin, CanCan Zhou, Shitong Wang, Xiaogang Xu -
Towards Bengali DBpedia
Abstract Online encyclopedia brings a whole universe of real information over a mouse click today. In the recent years, online encyclopedia like Wikipedia shows how big and vast it can be. Collecting information from such a big resource and...
2014 / Arup Sarkar, Ujjal Marjit, Utpal Biswas -
A Well-behaved LTS for the Pi-calculus
Abstract The pi-calculus and its many variations have received much attention in the literature. We discuss the standard early labelled transition system (lts) and outline an approach which decomposes the system into two components, one of which is...
2007 / Paweł Sobociński -
Transformations of Concept Graphs:2004 / John L. Pfaltz
-
BAS: A Case Study for Modeling and Verification in Trustable Model Driven Development
Abstract Multi-view modeling and separation of concerns are widely used to decrease the design complexity of the large-scale software system. To ensure the correctness and consistency of multi-view requirement models, the formal verification...
2009 / Dehui Du, Jing Liu, Honghua Cao, Miaomiao Zhang -
Large-scale Distributed Verification Using CADP: Beyond Clusters to Grids
Abstract Distributed verification uses the resources of several computers to speed up the verification and, even more importantly, to access large amounts of memory beyond the capabilities of a single computer. In this paper, we describe the...
2013 / Hubert Garavel, Radu Mateescu, Wendelin Serwe -
A practical scheduling and power/constellation allocation for three relay networks2012 / Paolo Baracca, Stefano Tomasin, Nevio Benvenuto