Table of Contents

• A Web Statistics based Conflation Approach to Improve Arabic Text RetrievalFarag Ahmed, Andreas Nürnberger. 3-9 [doi]
• Improving the predictiveness of ICU medical scales by the method of pairwise comparisonsMohammed Alqarni, Yassen Arabi, Tamar Kakiashvili, Mohammed Khedr, Waldemar W. Koczkodaj, J. Leszek, Artur Przelaskowski, K. Rutkowski. 11-17 [doi]
• A rough k-means fragile watermarking approach for image authenticationLamiaa M. El Bakrawy, Neveen I. Ghali, Aboul Ella Hassanien, Tai-Hoon Kim. 19-23 [doi]
• Sparse PCA for gearbox diagnosticsAnna Bartkowiak, Radoslaw Zimroz. 25-31 [doi]
• CWJess: Implementation of an Expert System Shell for Computing with WordsElham Sahebkar Khorasani, Shahram Rahimi, Purvag Patel, Daniel Houle. 33-39 [doi]
• Visual Exploration of Cash Flow ChainsJerzy J. Korczak, Walter Luszczyk. 41-46 [doi]
• Logical Inference in Query Answering Systems Based on Domain OntologiesJuliusz L. Kulikowski. 47-53 [doi]
• Competitive and self-contained gene set analysis methods applied for class predictionHenryk Maciejewski. 55-61 [doi]
• Knowledge patterns for conversion of sentences in natural language into RDF graph languageRostislav Miarka, Martin Zácek. 63-68 [doi]
• Graph Mining Approach to Suspicious Transaction DetectionKrzysztof Michalak, Jerzy J. Korczak. 69-75 [doi]
• Growing Hierarchical Self-Organizing Map for searching documents using visual contentPawel B. Myszkowski, Bartlomiej M. Buczek. 77-81 [doi]
• Automatic Image Annotation by Image Fragment MatchingMariusz Paradowski, Andrzej Sluzek. 83-89 [doi]
• How to predict future in a world of antibody-antigen chromosomesZbigniew Pliszka, Olgierd Unold. 91-96 [doi]
• The Fuzzy Genetic Strategy for Multiobjective OptimizationKrzysztof Pytel. 97-101 [doi]
• New property for rule interestingness measuresIzabela Szczech, Salvatore Greco, Roman Slowinski. 103-108 [doi]
• The Add-Value of Cases on WUM Plans RecommendationCristina Wanzeller, Orlando Belo. 109-116 [doi]
• Problem of website structure discovery and quality valuationDmitrij Zatuchin. 117-122 [doi]
• Identification of Patient Deterioration in Vital-Sign Data using One-Class Support Vector MachinesLei A. Clifton, David A. Clifton, Peter Watkinson, Lionel Tarassenko. 125-131 [doi]
• Data Mining Research Trends in Computerized Patient RecordsPayam Homayounfar, Mieczyslaw L. Owoc. 133-139 [doi]
• A Bezier Curve Approximation of the Speech Signal in the Classification Process of LaryngopathiesKrzysztof Pancerz, Jaroslaw Szkola, Jan Warchol. 141-146 [doi]
• Validation of Data Categorization Using Extensions of Information Systems: Experiments on Melanocytic Skin Lesion DataKrzysztof Pancerz, Grzegorz Owsiany, Lukasz Piatek. 147-151 [doi]
• Interval based attribute evaluation algorithmMostafa A. Salama, Nashwa El-Bendary, Aboul Ella Hassanien, Kenneth Revett, Aly A. Fahmy. 153-156 [doi]
• Medical Image Segmentation Using Information Extracted from DeformationKai Xiao, Neveen I. Ghali, Aboul Ella Hassanien. 157-163 [doi]
• Discovering similarities for the treatments of liver specific parasitesPinar Yildirim, Kagan Çeken, Osman Saka. 165-168 [doi]
• Reliability Analysis of Healthcare SystemElena N. Zaitseva, Vitaly G. Levashenko, Miroslav Rusin. 169-175 [doi]
• Fuzzy Cognitive Maps Theory for the Political DomainnSameera Alshayji, Nahla Elzant Elkadhi, Zidong Wang. 179-186 [doi]
• Building a Model of Disease Symptoms Using Text Processing and Learning from ExamplesMarek Jaszuk, Grazyna Szostek, Andrzej Walczak, Leszek Puzio. 187-194 [doi]
• Query Expansion: Term Selection using the Semantic Relatedness MeasureVitaly Klyuev, Yannis Haralambous. 195-199 [doi]
• LTIMEX: Representing the Local Semantics of Temporal ExpressionsPawel P. Mazur, Robert Dale. 201-208 [doi]
• Dependency-Based Rules for Grammar Checking with LanguageToolMaxim Mozgovoy. 209-212 [doi]
• cAgnieszka Patyk-Lonska. 213-220 [doi]
• Some tests on geometric analogues of Holographic Reduced Representations and Binary Spatter CodesAgnieszka Patyk-Lonska, Marek Czachor, Diederik Aerts. 221-228 [doi]
• Task Scheduling with Restricted PreemptionsTomasz Baranski. 231-238 [doi]
• A Branch-and-Cut-and-Price Algorithm for a Fingerprint-Template Compression ApplicationAndreas M. Chwatal, Corinna Thöni, Karin Oberlechner, Günther R. Raidl. 239-246 [doi]
• Improved asymptotic analysis for SUMT methodsJean-Pierre Dussault. 247-253 [doi]
• Numerical Assessment of Finite Difference Time Domain (FDTD) and Complex-Envelope Alternating-Direction-Implicit Finite-Difference-Time-Domain (CE-ADI-FDTD) MethodsGebriel Gannat. 255-260 [doi]
• Performing Conjoint Analysis within a Logic-based FrameworkAdrian Giurca, Ingo Schmitt, Daniel Baier. 261-268 [doi]
• Extending the definition of beta-consistent biclustering for feature selectionAntonio Mucherino. 269-274 [doi]
• Formal Verification of Business Processes Represented as Role Activity DiagramsAmelia Badica, Costin Badica. 277-280 [doi]
• Virtualization as an approach in the development of IT system implementation processIwona Chomiak-Orsa, Wieslawa Gryncewicz, Maja Leszczynska. 281-285 [doi]
• An architecture of a Web recommender system using social network user profiles for e-commerceDamian Fijalkowski, Radoslaw Zatoka. 287-290 [doi]
• Geospatial presentation of purchase transactions dataMaciej Grzenda, Krzysztof Kaczmarski, Mateusz Kobos, Marcin Luckner. 291-296 [doi]
• Explaining MCDM acceptance: a conceptual model of influencing factorsMartina Maida, Konradin Maier, Nikolaus Obwegeser, Volker Stix. 297-303 [doi]
• A Context-Aware Mobile Accessible Electric Vehicle Management SystemNils Masuch, Marco Lützenberger, Sebastian Ahrndt, Axel Hessler. 305-312 [doi]
• NotX Service Oriented Multi-platform Notification SystemFilip Nguyen, Jaroslav Skrabalek. 313-316 [doi]
• Commonality in Various Design Science MethodologiesLukasz Ostrowski, Markus Helfert. 317-320 [doi]
• A Hybrid Algorithm for Detecting Changes in Diagnostic Signals Received From Technical DevicesTomasz Pelech-Pilichowski. 321-327 [doi]
• Adapting Scrum for Third Party Services and Network OrganizationsLukasz D. Sienkiewicz, Leszek A. Maciaszek. 329-336 [doi]
• Extending the Descartes Specification Language Towards Process ModelingJoseph E. Urban, Vinitha Hannah Subburaj, Lavanya Ramamoorthy. 337-340 [doi]
• Influence of search engines on customer decision processMarek Zgódka. 341-344 [doi]
• The Intersection of Clinical Decision Support and Electronic Health Record: A Literature ReviewHajar Kashfi. 347-353 [doi]
• EMeH: Extensible Mobile Platform for HealthcareJacek Kobusinski, Maciej Malecki, Krzysztof Stefaniak, Tomasz Bialy. 355-361 [doi]
• Semantic Interoperability for Infectious Disease Reporting SystemMurugavell Pandiyan, Osama Elhassan, Zakaria Maamar, Pallikonda Rajasekar. 363-367 [doi]
• The role of a mobile device in a home monitoring healthcare systemMarcin Bajorek, Jedrzej Nowak. 371-374 [doi]
• MuSA: a multisensor wearable device for AALValentina Bianchi, Ferdinando Grossi, Ilaria De Munari, Paolo Ciampolini. 375-380 [doi]
• Intelligent bathroomAdam Bujnowski, Adam Wtorek, Arkadiusz Palinski. 381-386 [doi]
• Low-coherence method of hematocrit measurementMalgorzata Jedrzjewska-Szczerska, Marcin Gnyba, Michal Kruczkowski. 387-391 [doi]
• Multimodal platform for continuous monitoring of elderly and disabled at homeMariusz Kaczmarek, Jacek Ruminski, Adam Bujnowski. 393-400 [doi]
• Design of a wearable sensor network for home monitoring of human behaviorEliasz Kantoch, Joanna Jaworek, Piotr Augustyniak. 401-403 [doi]
• Measuring Pulse Rate with a Webcam - a Non-contact Method for Evaluating Cardiac ActivityMagdalena Lewandowska, Jacek Ruminski, Tomasz Kocejko, Jedrzej Nowak. 405-410 [doi]
• Pulse pressure velocity measurement - a wearable sensorMateusz Moderhak, Mariusz Moderhak, Jerzy Wtorek, Bart Truyen. 411-416 [doi]
• Analysis of Correlation between Heart Rate and Blood PressureArtur Polinski, Jacek Kot, Anna Meresta. 417-420 [doi]
• The incomplete factorization preconditioners applied to the GMRES(m) method for solving Markov chainsBeata Bylina, Jaroslaw Bylina. 423-430 [doi]
• Cache-Aware Matrix Multiplication on Multicore Systems for IPM-based LP SolversMujahed Eleyat, Lasse Natvig, Jørn Amundsen. 431-438 [doi]
• Object Oriented Model of Generalized Matrix MultipicationMaria Ganzha, Stanislav Sedukhin, Marcin Paprzycki. 439-442 [doi]
• Parallel alternating directions algorithm for 3D Stokes equationIvan Lirkov, Marcin Paprzycki, Maria Ganzha, Pawel Gepner. 443-450 [doi]
• GPGPU calculations of gas thermodynamic quantitiesIgor Mracka, Peter Somora, Tibor Zácik. 451-458 [doi]
• The influence of a matrix condition number on iterative methods' convergenceAnna Pyzara, Beata Bylina, Jaroslaw Bylina. 459-464 [doi]
• Solving Linear Recurrences on Hybrid GPU Accelerated Manycore SystemsPrzemyslaw Stpiczynski. 465-470 [doi]
• A multipoint shooting feasible-SQP method for optimal control of state-constrained parabolic DAE systemsKrystyn Styczen, Wojciech Rafajlowicz. 471-476 [doi]
• A modified multipoint shooting feasible-SQP method for optimal control of DAE systemsKrystyn Styczen, Pawel Drag. 477-484 [doi]
• On the implementation of stream ciphers based on a new family of algebraic graphsVasyl Ustimenko, Stanislaw Kotorowicz, Urszula Romanczuk. 485-490 [doi]
• Implementation of Movie-based Matrix Algorithms on OpenMP PlatformDmitry A. Vazhenin, Alexander Vazhenin. 491-494 [doi]
• Learning to Innovate in Distributed Mobile Application Development: Learning Episodes from Tehran and LondonNeek Alyani, Sara Shirzad. 497-504 [doi]
• Configuring services regarding service environment and productivity indicatorsMichael Becker, Stephan Klingner, Martin Böttcher. 505-512 [doi]
• Service quality description - a business perspectiveMarija Bjekovic, Sylvain Kubicki. 513-520 [doi]
• Towards an Interdisciplinary View on Service Science - The Case of the Financial Services IndustryMichael Fischbach, Thomas Puschmann, Rainer Alt. 521-527 [doi]
• Services Composition Model for Home-Automation peer-to-peer Pervasive ComputingJuan A. Holgado-Terriza, Sandra Rodríguez-Valenzuela. 529-536 [doi]
• Violation of Service Availability Targets in Service Level AgreementsMaurizio Naldi, Loretta Mastroeni. 537-540 [doi]
• Orchestration of Service Design and Service TransitionBernd Pfitzinger, Thomas Jestädt. 541-544 [doi]
• Service Innovation Capability: Proposing a New FrameworkJens Pöppelbuß, Ralf Plattfaut, Kevin Ortbach, Andrea Malsbender, Matthias Voigt, Björn Niehaves, Jörg Becker. 545-551 [doi]
• A Framework for Comparing Cloud-EnvironmentsRainer Schmidt. 553-556 [doi]
• A methodology for developing component-based agent systems focusing on component qualityGeorge Eleftherakis, Petros Kefalas, Evangelos Kehris. 561-568 [doi]
• Monitoring Building Indoors through Clustered Embedded AgentsGiancarlo Fortino, Antonio Guerrieri. 569-576 [doi]
• Multiagent Distributed Grid SchedulerVictor Korneev, Dmitry Semenov, Andrey Kiselev, Boris Shabanov, Pavel Telegin. 577-580 [doi]
• Tuning Computer Gaming Agents using Q-LearningPurvag Patel, Norman Carver, Shahram Rahimi. 581-588 [doi]
• Developing intelligent bots for the Diplomacy gameSylwia Polberg, Marcin Paprzycki, Maria Ganzha. 589-596 [doi]
• Computing Equilibria for Constraint-based Negotiation Games with Interdependent IssuesMihnea Scafes, Costin Badica. 597-603 [doi]
• Agent-Oriented Knowledge Elicitation for Modeling the Winning of "Hearts and Minds"Inna Shvartsman, Kuldar Taveter. 605-608 [doi]
• Multi Agent Simulation for Decision Making in Warehouse ManagementMassimo Cossentino, Carmelo Lodato, Salvatore Lopes, Patrizia Ribino. 611-618 [doi]
• A Multi-Agent Architecture for Simulating and Managing MicrogridsMassimo Cossentino, Carmelo Lodato, Salvatore Lopes, Marcello Pucci, Gianpaolo Vitale, Maurizio Cirrincione. 619-622 [doi]
• Agent.GUI: A Multi-agent Based Simulation FrameworkChristian Derksen, Cherif Branki, Rainer Unland. 623-630 [doi]
• Minority Game: the Battle of Adaptation, Intelligence, Cooperation and PowerAkihiro Eguchi, Hung Nguyen. 631-634 [doi]
• Towards a Generic Testing Framework for Agent-Based Simulation ModelsÖnder Gürcan, Oguz Dikenelli, Carole Bernon. 635-642 [doi]
• Modeling Agent Behavior Through Online Evolutionary and Reinforcement LearningRobert Junges, Franziska Klügl. 643-650 [doi]
• Visualizing Agent-Based Simulation Dynamics in a CAVE - Issues and ArchitecturesAthanasia Louloudi, Franziska Klügl. 651-658 [doi]
• SimConnector: An Approach to Testing Disaster-Alerting Systems Using Agent Based Simulation ModelsMuaz Niazi, Qasim Siddique, Amir Hussain, Giancarlo Fortino. 659-665 [doi]
• A Chemical Inspired Simulation Framework for Pervasive Services EcosystemsDanilo Pianini, Sara Montagna, Mirko Viroli. 667-674 [doi]
• BioMASS: a Biological Multi-Agent Simulation SystemCandelaria Sansores, Flavio Reyes, Héctor F. Gómez, Juan Pavón, Luis Calderon. 675-682 [doi]
• Robust Digital Watermarking System for Still ImagesSergey Anfinogenov, Valery I. Korzhik, Guillermo Morales-Luna. 685-689 [doi]
• Estimating Topographic Heights with the StickGrip Haptic DeviceTatiana Evreinova, Grigori E. Evreinov, Roope Raisamo. 691-697 [doi]
• Image Indexing by Spatial Relationships between Salient ObjectsEugen Ganea, Marius Brezovan. 699-704 [doi]
• From icons perception to mobile interactionChrysoula Gatsou, Anastasios Politis, Dimitrios Zevgolis. 705-710 [doi]
• Automatic Speech Recognition for Polish in a Computer Game InterfaceArtur Janicki, Dariusz Wawer. 711-716 [doi]
• Classification of Learners Using Linear RegressionMarian Cristian Mihaescu. 717-721 [doi]
• Data Centered Collaboration in a Mobile EnvironmentMaciej Panka, Piotr Bala. 723-728 [doi]
• Computerized Three-Dimmensional Craniofacial Reconstruction from Skulls Based on LandmarksLeticia Carnero Pascual, Carmen Lastres Redondo, Belen Rios Sanchez, David Garrido Garrido, Asuncion Santamaria Galdon. 729-735 [doi]
• DCFMS: A Chunk-Based Distributed File System for Supporting Multimedia CommunicationCosmin Marian Poteras, Constantin Petrisor, Mihai Mocanu, Marian Cristian Mihaescu. 737-741 [doi]
• Automatic classification of gestures: a context-dependent approachMario Refice, Michelina Savino, Michele Caccia, Michele Adduci. 743-750 [doi]
• Concurency control for a Multimedia Database SystemCosmin Stoica Spahiu. 751-754 [doi]
• Automated annotation system for natural imagesLiana Stanescu. 755-762 [doi]
• Fuzzy UML and Petri Nets Modeling Investigations on the Pollution Impact on the Air Quality in the Vicinity of the Black Sea Constanta Romanian ResortRoxana-Elena Tudoroiu, Adina Astilean, Tiberiu Letia, Gabriela Neacsu, Zoltan Maroszy, Nicolae Tudoroiu. 763-766 [doi]
• Pass-Image Authentication Method Tolerant to Video-Recording AttacksYutaka Hirakawa, Hiroyuki Take, Kazuo Ohzeki. 767-773 [doi]
• Enhancing DNS Security using Dynamic Firewalling with Network AgentsJoão Afonso, Pedro Veiga. 777-782 [doi]
• Enhanced CakES representing Safety Analysis results of Embedded SystemsYasmin I. Al-Zokari, Daniel Schneider, Dirk Zeckzer, Liliana Guzman, Yarden Livnat, Hans Hagen. 783-790 [doi]
• Integrated management of risk informationJosé Barateiro, José Luis Borbinha. 791-798 [doi]
• Implementation of a Domain-Specific Language EasyTime using LISA Compiler GeneratorIztok Fister Jr., Marjan Mernik, Iztok Fister, Dejan Hrncic. 801-808 [doi]
• Using Aspect-Oriented State Machines for Resolving Feature InteractionsTom Dinkelaker, Mohammed Erradi. 809-816 [doi]
• Domain-Specific Modeling in Document EngineeringVerislav Djukic, Ivan Lukovic, Aleksandar Popovic. 817-824 [doi]
• A MOF based Meta-Model of IIS* Case PIM ConceptsMilan Celikovic, Ivan Lukovic, Slavica Aleksic, Vladimir Ivancevic. 825-832 [doi]
• Memory Safety and Race Freedom in Concurrent Programming Languages with Linear CapabilitiesNiki Vazou, Michalis A. Papakyriakou, Nikolaos Papaspyrou. 833-840 [doi]
• Decomposition of SBQL Queries for Optimal Result CachingPiotr Cybula, Kazimierz Subieta. 841-848 [doi]
• Automated Conversion of ST Control Programs to Why for Verification PurposesJan Sadolewski. 849-854 [doi]
• Implementing Attribute Grammars Using Conventional Compiler Construction ToolsDaniel Rodriguez-Cerezo, Antonio Sarasa-Cabezuelo, José Luis Sierra-Rodríguez. 855-862 [doi]
• The embedded left LR parserBostjan Slivnik. 863-870 [doi]
• Nonlinear Tree Pattern Pushdown AutomataJan Travnicek, Jan Janousek, Borivoj Melichar. 871-878 [doi]
• A Type and Effect System for Implementing Functional Arrays with Destructive UpdatesGeorgios Korfiatis, Michalis A. Papakyriakou, Nikolaos Papaspyrou. 879-886 [doi]
• Checking the Conformance of Grammar Refinements with Respect to Initial Context-Free GrammarsBryan Temprado-Battad, Antonio Sarasa-Cabezuelo, José Luis Sierra-Rodríguez. 887-890 [doi]
• Identification of Patterns through Haskell Programs AnalysisJán Kollár, Sergej Chodarev, Emilia Pietrikova, Lubomir Wassermann. 891-894 [doi]
• Computer Language Notation Specification through Program ExamplesMiroslav Sabo, Jaroslav Porubän, Dominik Lakatos, Michaela Kreutzová. 895-898 [doi]
• Tree Indexing by Pushdown Automata and Repeats of SubtreesTomás Flouri, Jan Janousek, Borivoj Melichar, Costas S. Iliopoulos, Solon P. Pissis. 899-902 [doi]
• Subtree Oracle Pushdown Automata for Ranked and Unranked Ordered TreesMartin Plicka, Jan Janousek, Borivoj Melichar. 903-906 [doi]
• Semi-Automatic Component Upgrade with RefactoringNGZdenek Tronícek. 907-910 [doi]
• Extension of Iterator Traits in the C++ Standard Template LibraryNorbert Pataki, Zoltán Porkoláb. 911-914 [doi]
• Search--Based Testing, the Underlying Engine of Future Internet TestingArthur I. Baars, Kiran Lakhotia, Tanja E. J. Vos, Joachim Wegener. 917-923 [doi]
• Testing and Remote Maintenance of Real Future Internet Scenarios, Towards FITTEST and FastFix Advanced Software EngineeringAlessandra Bagnato, Anna Esparcia-Alcázar, Tanja E. J. Vos, Beatriz Marín, José Oliver Murillo, Salvador I. Folgado, Auxiliadora Carlos Alberola. 925-932 [doi]
• A Neural Model for Ontology MatchingEmil St. Chifu, Ioan Alfred Letia. 933-940 [doi]
• An Adaptive Virtual Machine Replication Algorithm for Highly-Available ServicesAdrian Colesa, Mihai Bica. 941-948 [doi]
• Service Modelling for Internet of ThingsSuparna De, Payam M. Barnaghi, Martin Bauer, Stefan Meissner. 949-955 [doi]
• Self-Healing Approach in the FastFix ProjectBenoit Gaudin, Mike Hinchey. 957-964 [doi]
• Autonomic Execution of Computational WorkflowsTomasz Haupt, Nitin Sukhija, Igor Zhuk. 965-972 [doi]
• An Analysis of mOSAIC ontology for Cloud Resources annotationFrancesco Moscato, Rocco Aversa, Beniamino Di Martino, Teodor Florin Fortis, Victor Ion Munteanu. 973-980 [doi]
• Multi-Agent Architecture for Solving Nonlinear Equations Systems in Semantic Services EnvironmentVictor Ion Munteanu, Cristina Mindruta, Viorel Negru, Calin Sandru. 981-984 [doi]
• Cloud-based Assistive Technology ServicesAne Murua, Igor González, Elena Gómez-Martínez. 985-989 [doi]
• Semantic P2P Search engineIlya Rudomilov, Ivan Jelínek. 991-995 [doi]
• Hybrid Immune-inspired Method for Selecting the Optimal or a Near-Optimal Service CompositionIoan Salomie, Monica Vlad, Viorica R. Chifu, Cristina Bianca Pop. 997-1003 [doi]
• Dynamic Consolidation Methodology for Optimizing the Energy Consumption in Large Virtualized Service CentersTudor Cioara, Ionut Anghel, Ioan Salomie, Daniel Moldovan, Georgiana Copil, Pierluigi Plebani. 1005-1011 [doi]