Last update: Sat Mar 30 12:29:02 MDT 2019
Volume 7502, 2012Pascal Kuyten and Timothy Bickmore and Svetlana Stoyanchev and Paul Piwek and Helmut Prendinger Fully Automated Generation of Question-Answer Pairs for Scripted Virtual Instruction . . . . . . . . . . 1--14 Weizi Li and Jan M. Allbeck The Virtual Apprentice . . . . . . . . . 15--27 Anton Bogdanovych and Kiran Ijaz and Simeon Simoff The City of Uruk: Teaching Ancient History in a Virtual World . . . . . . . 28--35 Anuj Tewari and Ingrid Liu and Carrie Cai and John Canny An Analysis of the Dialogic Complexities in Designing a Question/Answering Based Conversational Agent for Preschoolers 36--45 Sara Bernardini and Kaska Porayska-Pomsta and Tim J. Smith and Katerina Avramides Building Autonomous Social Partners for Autistic Children . . . . . . . . . . . 46--52 Celso M. de Melo and Peter Carnevale and Jonathan Gratch The Effect of Virtual Agents' Emotion Displays and Appraisals on People's Decision Making in Negotiation . . . . . 53--66 Angelo Cafaro and Hannes Högni Vilhjálmsson and Timothy Bickmore and Dirk Heylen First Impressions: Users' Judgments of Virtual Agents' Personality and Interpersonal Attitude in First Encounters . . . . . . . . . . . . . . . 67--80 Jason Tsai and Emma Bowring and Stacy Marsella and Wendy Wood and Milind Tambe A Study of Emotional Contagion with Virtual Characters . . . . . . . . . . . 81--88 Lazlo Ring and Timothy Bickmore and Daniel Schulman Longitudinal Affective Computing . . . . 89--96 Nuno Ferreira and Samuel Mascarenhas and Ana Paiva and Frank Dignum and John Mc Breen and Nick Degens Generating Norm-Related Emotions in Virtual Agents . . . . . . . . . . . . . 97--104 Henrique Campos and Joana Campos and Carlos Martinho and Ana Paiva Virtual Agents in Conflict . . . . . . . 105--111 Elena Márquez Segura and Michael Kriegel and Ruth Aylett and Amol Deshmukh and Henriette Cramer How Do You Like Me in This: User Embodiment Preferences for Companion Agents . . . . . . . . . . . . . . . . . 112--125 Kirsten Bergmann and Friederike Eyssel and Stefan Kopp A Second Chance to Make a First Impression? How Appearance and Nonverbal Behavior Affect Perceived Warmth and Competence of Virtual Agents over Time 126--138 David M. Krum and Evan A. Suma and Mark Bolas Spatial Misregistration of Virtual Human Audio: Implications of the Precedence Effect . . . . . . . . . . . . . . . . . 139--145 Vaishnavi Krishnan and Adriana Foster and Regis Kopper and Benjamin Lok Virtual Human Personality Masks: a Human Computation Approach to Modeling Verbal Personalities in Virtual Humans . . . . 146--152 Annika Silvervarg and Kristin Raukola and Magnus Haake and Agneta Gulz The Effect of Visual Gender on Abuse in Conversation with ECAs . . . . . . . . . 153--160 Jina Lee and Stacy Marsella Modeling Speaker Behavior: a Comparison of Two Approaches . . . . . . . . . . . 161--174 Herwin van Welbergen and Dennis Reidsma and Stefan Kopp An Incremental Multimodal Realizer for Behavior Co-Articulation and Coordination . . . . . . . . . . . . . . 175--188 Tiago Ribeiro and Marco Vala and Ana Paiva Thalamus: Closing the Mind-Body Loop in Interactive Embodied Characters . . . . 189--195 Samer Al Moubayed and Gabriel Skantze and Jonas Beskow Lip-Reading: Furhat Audio Visual Intelligibility of a Back Projected Animated Face . . . . . . . . . . . . . 196--203 Anonymous Front Matter . . . . . . . . . . . . . . ??
Leonardo Andrade Ribeiro and Theo Härder Leveraging the Storage Layer to Support XML Similarity Joins in XDBMSs . . . . . 1--14 Piotr Andruszkiewicz Retention Replacement in Privacy Preserving Classification . . . . . . . 15--28 Witold Andrzejewski and Bartosz B\kebel FOCUS: An Index FO r C ontinuo US Subsequence Pattern Queries . . . . . . 29--42 Rima Bouchakri and Ladjel Bellatreche Static and Incremental Selection of Multi-table Indexes for Very Large Join Queries . . . . . . . . . . . . . . . . 43--56 Sebastian Breß and Felix Beier and Hannes Rauhe Automatic Selection of Processing Units for Coprocessing in Databases . . . . . 57--70 Jerzy Brzezi\'nski and Arkadiusz Danilecki D-ReServE: Distributed Reliable Service Environment . . . . . . . . . . . . . . 71--84 Petra Budikova and Michal Batko and Pavel Zezula Query Language for Complex Similarity Queries . . . . . . . . . . . . . . . . 85--98 Andre Calil and Ronaldo dos Santos Mello SimpleSQL: a Relational Layer for SimpleDB . . . . . . . . . . . . . . . . 99--110 Camilo Castellanos and Dario Correal KALCAS: a FrameworK for Semi-automatic ALignment of Data and Business ProCesses ArchitectureS . . . . . . . . . . . . . 111--124 Barbara Catania and Giovanna Guerrini Towards Relaxed Selection and Join Queries over Data Streams . . . . . . . 125--138 Lars Dannecker and Elena Vasilyeva Efficient Integration of External Information into Forecast Models from the Energy Domain . . . . . . . . . . . 139--152 Christophe Debruyne and Robert Meersman GOSPL: a Method and Tool for Fact-Oriented Hybrid Ontology Engineering . . . . . . . . . . . . . . 153--166 Veneta Dobreva and Martina-Cezara Albutiu Get Tracked: a Triple Store for RFID Traceability Data . . . . . . . . . . . 167--180 Htoo Htoo and Yutaka Ohsawa and Noboru Sonehara Aggregate Nearest Neighbor Search Methods Using SSMTA* Algorithm on Road-Network . . . . . . . . . . . . . . 181--194 Rong Huang and Rada Chirkova and Yahya Fathi Deterministic View Selection for Data-Analysis Queries: Properties and Algorithms . . . . . . . . . . . . . . . 195--208 Milena Ivanova and Martin Kersten Just-In-Time Data Distribution for Analytical Query Processing . . . . . . 209--222 Leonid Kalinichenko and Sergey Stupnikov Synthesis of the Canonical Models for Database Integration Preserving Semantics of the Value Inventive Data Models . . . . . . . . . . . . . . . . . 223--239 Balázs Kósa Containment and Satisfiability Problem for XPath with Recursion . . . . . . . . 240--253 Susana Ladra and Oscar Pedreira and Jose Duato Exploiting SIMD Instructions in Current Processors to Improve Classical String Algorithms . . . . . . . . . . . . . . . 254--267 Sebastian Lehrack and Sascha Saretz A Top-$k$ Filter for Logic-Based Similarity Conditions on Probabilistic Databases . . . . . . . . . . . . . . . 268--281 Anonymous Front Matter . . . . . . . . . . . . . . ??
Zuozheng Lou and Peng Yao and Dingguo Zhang Wireless Master-Slave FES Rehabilitation System Using sEMG Control . . . . . . . 1--10 Lizheng Pan and Aiguo Song and Guozheng Xu and Huijun Li and Baoguo Xu Intelligent Prescription-Diagnosis Function for Rehabilitation Training Robot System . . . . . . . . . . . . . . 11--20 Myagmarbayar Nergui and Yuki Yoshida and Nevrez Imamoglu and Jose Gonzalez and Wenwei Yu Human Behavior Recognition by a Bio-monitoring Mobile Robot . . . . . . 21--30 Yuanjie Fan and Yuehong Yin Differentiated Time-Frequency Characteristics Based Real-Time Motion Decoding for Lower Extremity Rehabilitation Exoskeleton Robot . . . . 31--40 Zhixuan Wei and Weidong Chen and Jingchuan Wang 3D Semantic Map-Based Shared Control for Smart Wheelchair . . . . . . . . . . . . 41--51 Mohammad Habibur Rahman and Maarouf Saad and Jean Pierre Kenné and P. S. Archambault Nonlinear Sliding Mode Control Implementation of an Upper Limb Exoskeleton Robot to Provide Passive Rehabilitation Therapy . . . . . . . . . 52--62 Baocheng Wang and Chenguang Yang and Zhijun Li and Alex Smith sEMG-Based Control of an Exoskeleton Robot Arm . . . . . . . . . . . . . . . 63--73 Gunther Reinhart and Ruediger Spillner and Yi Shen Approaches of Applying Human-Robot-Interaction-Technologies to Assist Workers with Musculoskeletal Disorders in Production . . . . . . . . 74--84 Yixiong Chen and Jin Hu and Feng Zhang and Zengguang Hou Simulation Study of an FES-Involved Control Strategy for Lower Limb Rehabilitation Robot . . . . . . . . . . 85--95 Chao Lv and Le Xie and Wei Shao and Hai-long Yu and Yuan Wang and Jin-wu Wang and Ning Nan Development of a Rehabilitation Robot for Upper-Limb Movements . . . . . . . . 96--102 Gang Zhang and PinKuan Liu and Han Ding Dynamic Optimization with a New Performance Index for a $2$-DoF Translational Parallel Manipulator . . . 103--115 Qiwei Guo and Yueming Hu and Zhifu Li and Ge Ma Research of Piezoelectric Printing Actuator for High-Power White LED Phosphor Coating . . . . . . . . . . . . 116--126 Jian Gao and Zhiliang Wang and Yanyun Liu and Chuanxia Jian and Xin Chen Development of OLED Panel Defect Detection System through Improved Otsu Algorithm . . . . . . . . . . . . . . . 127--134 Jinsong Zhang and Jianhua Zhang The Linkage Control Strategy for the Two-Phase Flow Dispensing System . . . . 135--144 Junfeng Ge and Yuneng Lai and Yuanhao Huang and Jianhua Zhang The Transient Temperature Field Measurement System for Laser Bonding Process . . . . . . . . . . . . . . . . 145--152 Wei Yan and Enrong Wang and Yang Zhao and Rakheja Subhash and Chunyi Su Modeling of Electromagnetic Interference Noise Mechanism for Magneto-Rheological Damper . . . . . . . . . . . . . . . . . 153--163 Johannes Höcherl and Thomas Schlegl An Image Based Algorithm to Safely Locate Human Extremities for Human-Robot Collaboration . . . . . . . . . . . . . 164--175 Hangfei Zhou and Jian Fei and Gen Pan and Weixin Yan and Zhuang Fu and Yanzheng Zhao Research of a Multi-DOF Pathological Sampling Flexible Robot . . . . . . . . 176--185 Juergen Rossmann and Michael Schluse and Christian Schlette and Ralf Waspe Control by $3$D Simulation --- a New eRobotics Approach to Control Design in Automation . . . . . . . . . . . . . . . 186--197 Peter Liu and Chang-En Yang Human Intention Estimation Using Time-Varying Fuzzy Markov Models for Natural Non-verbal Human Robot Interface 198--206 Anonymous Front Matter . . . . . . . . . . . . . . ??
Jingwen Yan and Shannon L. Risacher and Sungeun Kim Multimodal Neuroimaging Predictors for Cognitive Performance Using Structured Sparse Learning . . . . . . . . . . . . 1--17 Martin Dyrba and Michael Ewers and Martin Wegrzyn Combining DTI and MRI for the Automated Detection of Alzheimer's Disease Using a Large European Multicenter Dataset . . . 18--28 Neda Jahanshad and Gautam Prasad and Arthur W. Toga Genetics of Path Lengths in Brain Connectivity Networks: HARDI-Based Maps in 457 Adults . . . . . . . . . . . . . 29--40 Talia M. Nir and Neda Jahanshad and Arthur W. Toga Connectivity Network Breakdown Predicts Imminent Volumetric Atrophy in Early Mild Cognitive Impairment . . . . . . . 41--50 Burak Yoldemir and Bernard Ng and Rafeef Abugharbieh Deconfounding the Effects of Resting State Activity on Task Activation Detection in fMRI . . . . . . . . . . . 51--60 Jie Shi and Paul M. Thompson and Yalin Wang Hyperbolic Ricci Flow and Its Application in Studying Lateral Ventricle Morphometry . . . . . . . . . 61--76 Bennett A. Landman and Xue Yang and Hakmook Kang Do We Really Need Robust and Alternative Inference Methods for Brain MRI? . . . . 77--93 Daoqiang Zhang and Qimiao Guo and Guorong Wu and Dinggang Shen Sparse Patch-Based Label Fusion for Multi-Atlas Segmentation . . . . . . . . 94--102 Suyash P. Awate and Peihong Zhu and Ross T. Whitaker How Many Templates Does It Take for a Good Segmentation?: Error Analysis in Multiatlas Segmentation as a Function of Database Size . . . . . . . . . . . . . 103--114 Juan Eugenio Iglesias and Mert Rory Sabuncu A Generative Model for Probabilistic Label Fusion of Multimodal Data . . . . 115--133 Wei Liu and Xiaozheng Liu and Xiaofu He and Zhenyu Zhou and Ying Wen Spatial Normalization of Diffusion Tensor Images with Voxel-Wise Reconstruction of the Diffusion Gradient Direction . . . . . . . . . . . . . . . 134--146 Yan Jin and Yonggang Shi and Liang Zhan and Junning Li Automatic Population HARDI White Matter Tract Clustering by Label Fusion of Multiple Tract Atlases . . . . . . . . . 147--156 Maddalena Strumia and Constantin Anastasopoulos Comparative Characterisation of Susceptibility Weighted MRI for Brain White Matter Lesions in MS . . . . . . . 157--166 Tuo Zhang and Lei Guo and Hanbo Chen and Xintao Hu and Kaiming Li Constructing Fiber Atlases for Functional ROIs via fMRI-Guided DTI Image Registration . . . . . . . . . . . 167--174 Biao Jie and Daoqiang Zhang and Chong-Yaw Wee and Dinggang Shen Structural Feature Selection for Connectivity Network-Based MCI Diagnosis 175--184 Yaping Wang and Hongjun Jia and Pew-Thian Yap and Bo Cheng Groupwise Segmentation Improves Neuroimaging Classification Accuracy . . 185--193 Pew-Thian Yap and Dinggang Shen DWI Denoising Using Spatial, Angular, and Radiometric Filtering . . . . . . . 194--202 Fang Cao and Olivier Commowick and Elise Bannier MRI Estimation of $T_1$ Relaxation Time Using a Constrained Optimization Algorithm . . . . . . . . . . . . . . . 203--214 Camille Maumet and Pierre Maurel and Jean-Christophe Ferré Robust Cerebral Blood Flow Map Estimation in Arterial Spin Labeling . . 215--224 Anonymous Back Matter . . . . . . . . . . . . . . ?? Anonymous Front Matter . . . . . . . . . . . . . . ??
M. Freiman and S. D. Voss and R. V. Mulkern and J. M. Perez-Rossello and M. J. Callahan Reliable Assessment of Perfusivity and Diffusivity from Diffusion Imaging of the Body . . . . . . . . . . . . . . . . 1--9 Robin Wolz and Chengwen Chu and Kazunari Misawa and Kensaku Mori and Daniel Rueckert Multi-organ Abdominal CT Segmentation Using Hierarchically Weighted Subject-Specific Atlases . . . . . . . . 10--17 Benoit Diotte and Pascal Fallavollita and Lejing Wang and Simon Weidert and Peter-Helmut Thaller Radiation-Free Drill Guidance in Interlocking of Intramedullary Nails . . 18--25 Siyang Zuo and Takeshi Ohdaira and Kenta Kuwana and Yoshihiro Nagao and Satoshi Ieiri Developing Essential Rigid-Flexible Outer Sheath to Enable Novel Multi-piercing Surgery . . . . . . . . . 26--33 Benjamín Béjar Haro and Luca Zappella and René Vidal Surgical Gesture Classification from Video Data . . . . . . . . . . . . . . . 34--41 Caitlin Schneider and Ali Baghani and Robert Rohling and Septimiu Salcudean Remote Ultrasound Palpation for Robotic Interventions Using Absolute Elastography . . . . . . . . . . . . . . 42--49 Igor Peterlík and Christian Duriez and Stéphane Cotin Modeling and Real-Time Simulation of a Vascularized Liver Tissue . . . . . . . 50--57 Yanwu Xu and Jiang Liu and Stephen Lin and Dong Xu and Carol Y. Cheung and Tin Aung and Tien Yin Wong Efficient Optic Cup Detection from Intra-image Learning with Retinal Structure Priors . . . . . . . . . . . . 58--65 Habib Bousleiman and Christof Seiler and Tateyuki Iizuka and Lutz-Peter Nolte and Mauricio Reyes Population-Based Design of Mandibular Plates Based on Bone Quality and Morphology . . . . . . . . . . . . . . . 66--73 Yang Song and Weidong Cai and Yun Zhou and Dagan Feng Thoracic Abnormality Detection with Data Adaptive Structure Estimation . . . . . 74--81 Bo Cheng and Daoqiang Zhang and Dinggang Shen Domain Transfer Learning for MCI Conversion Prediction . . . . . . . . . 82--90 J. Bano and A. Hostettler and S. A. Nicolau and S. Cotin and C. Doignon and H. S. Wu and M. H. Huang Simulation of Pneumoperitoneum for Laparoscopic Surgery Planning . . . . . 91--98 Binbin Pan and James J. Xia and Peng Yuan and Jaime Gateno and Horace H. S. Ip and Qizhen He Incremental Kernel Ridge Regression for the Prediction of Soft Tissue Deformations . . . . . . . . . . . . . . 99--106 Jose George and Kathleen Vunckx and Elke Van de Casteele and Sabine Tejpar Fuzzy Multi-class Statistical Modeling for Efficient Total Lesion Metabolic Activity Estimation from Realistic PET Images . . . . . . . . . . . . . . . . . 107--114 Kien Nguyen and Anindya Sarkar and Anil K. Jain Structure and Context in Prostatic Gland Segmentation and Classification . . . . 115--123 Yinxiao Liu and Punam K. Saha and Ziyue Xu Quantitative Characterization of Trabecular Bone Micro-architecture Using Tensor Scale and Multi-Detector CT Imaging . . . . . . . . . . . . . . . . 124--131 Nikhil Singh and Angela Y. Wang and Preethi Sankaranarayanan and P. Thomas Fletcher Genetic, Structural and Functional Imaging Biomarkers for Early Detection of Conversion from MCI to AD . . . . . . 132--140 Yiqiang Zhan and Dewan Maneesh and Martin Harder and Xiang Sean Zhou Robust MR Spine Detection Using Hierarchical Learning and Local Articulated Model . . . . . . . . . . . 141--148 D. Duong and D. Shastri and P. Tsiamyrtzis and I. Pavlidis Spatiotemporal Reconstruction of the Breathing Function . . . . . . . . . . . 149--156 Angel Cruz-Roa and Fabio González and Joseph Galaro and Alexander R. Judkins and David Ellison A Visual Latent Semantic Approach for Automatic Analysis and Interpretation of Anaplastic Medulloblastoma Virtual Slides . . . . . . . . . . . . . . . . . 157--164 Anonymous Front Matter . . . . . . . . . . . . . . ??
Dominik Kutra and Axel Saalbach and Helko Lehmann and Alexandra Groth and Sebastian P. M. Dries Automatic Multi-model-Based Segmentation of the Left Atrium in Cardiac MRI Scans 1--8 Vincent Bismuth and Régis Vaillant and Hugues Talbot and Laurent Najman Curvilinear Structure Enhancement with the Polygonal Path Image- Application to Guide-Wire Segmentation in X-Ray Fluoroscopy . . . . . . . . . . . . . . 9--16 Peng Wang and Yefeng Zheng and Matthias John and Dorin Comaniciu Catheter Tracking via Online Learning for Dynamic Motion Compensation in Transcatheter Aortic Valve Implantation 17--24 R. J. Housden and A. Arujuna and Y. Ma and N. Nijhof and G. Gijsbers and R. Bullens and M. O'Neill Evaluation of a Real-Time Hybrid Three-Dimensional Echo and X-Ray Imaging System for Guidance of Cardiac Catheterisation Procedures . . . . . . . 25--32 S. Rapaka and T. Mansi and B. Georgescu and M. Pop and G. A. Wright and A. Kamen and Dorin Comaniciu LBM-EP: Lattice-Boltzmann Method for Fast Cardiac Electrophysiology Simulation from $3$D Images . . . . . . 33--40 Stéphanie Marchesseau and Hervé Delingette and Maxime Sermesant and Kawal Rhode Cardiac Mechanical Parameter Calibration Based on the Unscented Transform . . . . 41--48 Elena Bernardis and Ender Konukoglu and Yangming Ou and Dimitris N. Metaxas and Benoit Desjardins Temporal Shape Analysis via the Spectral Signature . . . . . . . . . . . . . . . 49--56 Viviana Siless and Joan Glaun\`es and Pamela Guevara and Jean-François Mangin and Cyril Poupon Joint T1 and Brain Fiber Log-Demons Registration Using Currents to Model Geometry . . . . . . . . . . . . . . . . 57--65 Sebastian Steger and Stefan Wesarg Automated Skeleton Based Multi-modal Deformable Registration of Head&Neck Datasets . . . . . . . . . . . . . . . . 66--73 Alexander Schmidt-Richberg and Jan Ehrhardt and René Werner and Heinz Handels Lung Registration with Improved Fissure Alignment by Integration of Pulmonary Lobe Segmentation . . . . . . . . . . . 74--81 Ilker Hacihaliloglu and Anna Brounstein and Pierre Guy and Antony Hodgson and Rafeef Abugharbieh 3D Ultrasound-CT Registration in Orthopaedic Trauma Using GMM Registration with Optimized Particle Simulation-Based Data Reduction . . . . 82--89 Guorong Wu and Minjeong Kim and Qian Wang and Dinggang Shen Hierarchical Attribute-Guided Symmetric Diffeomorphic Registration for MR Brain Images . . . . . . . . . . . . . . . . . 90--97 Hengameh Mirzaalian and Tim K. Lee and Ghassan Hamarneh Uncertainty-Based Feature Learning for Skin Lesion Matching Using a High Order MRF Optimization Framework . . . . . . . 98--105 Shouhei Hanaoka and Yoshitaka Masutani and Mitsutaka Nemoto and Yukihiro Nomura Automatic Categorization of Anatomical Landmark-Local Appearances Based on Diffeomorphic Demons and Spectral Clustering for Constructing Detector Ensembles . . . . . . . . . . . . . . . 106--113 Ayman El-Baz and Fahmi Khalifa and Ahmed Elnakib and Matthew Nitzken and Ahmed Soliman A Novel Approach for Global Lung Registration Using $3$D Markov--Gibbs Appearance Model . . . . . . . . . . . . 114--121 James A. Shackleford and Qi Yang and Ana M. Lourenço and Nadya Shusharina and Nagarajan Kandasamy Analytic Regularization of Uniform Cubic B-spline Deformation Fields . . . . . . 122--129 Christof Seiler and Xavier Pennec and Mauricio Reyes Simultaneous Multiscale Polyaffine Registration by Incorporating Deformation Statistics . . . . . . . . . 130--137 Junning Li and Yonggang Shi and Giang Tran and Ivo Dinov and Danny J. J. Wang and Arthur W. Toga Fast Diffusion Tensor Registration with Exact Reorientation and Regularization 138--145 Minqi Zhang and Fang Li and Ying He and Shi Lin and Defeng Wang and Lok Ming Lui Registration of Brainstem Surfaces in Adolescent Idiopathic Scoliosis Using Discrete Ricci Flow . . . . . . . . . . 146--154 Martijn van de Giessen and Frans M. Vos and Cornelis A. Grimbergen and Lucas J. van Vliet Groupwise Rigid Registration of Wrist Bones . . . . . . . . . . . . . . . . . 155--162 Anonymous Front Matter . . . . . . . . . . . . . . ??
Berkin Bilgic and Kawin Setsompop and Julien Cohen-Adad and Van Wedeen and Lawrence L. Wald Accelerated Diffusion Spectrum Imaging with Compressed Sensing Using Adaptive Dictionaries . . . . . . . . . . . . . . 1--9 Sylvain Merlet and Emmanuel Caruyer and Rachid Deriche Parametric Dictionary Learning for Modeling EAP and ODF in Diffusion MRI 10--17 Pew-Thian Yap and Dinggang Shen Resolution Enhancement of Diffusion-Weighted Images by Local Fiber Profiling . . . . . . . . . . . . . . . 18--25 M. Jorge Cardoso and Gavin Winston and Marc Modat and Shiva Keihaninejad and John Duncan Geodesic Shape-Based Averaging . . . . . 26--33 Peter Savadjiev and Yogesh Rathi and Sylvain Bouix and Ragini Verma and Carl-Fredrik Westin Multi-scale Characterization of White Matter Tract Geometry . . . . . . . . . 34--41 Jakob Vogel and Tobias Reichl and José Gardiazabal and Nassir Navab and Tobias Lasser Optimization of Acquisition Geometry for Intra-operative Tomographic Imaging . . 42--49 Juan Eugenio Iglesias and Mert Rory Sabuncu and Koen Van Leemput Incorporating Parameter Uncertainty in Bayesian Segmentation Models: Application to Hippocampal Subfield Volumetry . . . . . . . . . . . . . . . 50--57 Xiaojie Huang and Donald P. Dione and Colin B. Compas and Xenophon Papademetris and Ben A. Lin A Dynamical Appearance Model Based on Multiscale Sparse Representation: Segmentation of the Left Ventricle from $4$D Echocardiography . . . . . . . . . 58--65 Rémi Cuingnet and Raphael Prevost and David Lesage and Laurent D. Cohen and Beno\^\it Mory Automatic Detection and Segmentation of Kidneys in $3$D CT Images Using Random Forests . . . . . . . . . . . . . . . . 66--74 Ender Konukoglu and Ben Glocker and Darko Zikic and Antonio Criminisi Neighbourhood Approximation Forests . . 75--82 Roland Kwitt and Nuno Vasconcelos and Sharif Razzaque and Stephen Aylward Recognition in Ultrasound Videos: Where Am I? . . . . . . . . . . . . . . . . . 83--90 Hassan Rivaz and D. Louis Collins Self-similarity Weighted Mutual Information: a New Nonrigid Image Registration Metric . . . . . . . . . . 91--98 Karim Lekadir and Alejandro F. Frangi and Guang-Zhong Yang Inter-Point Procrustes: Identifying Regional and Large Differences in $3$D Anatomical Shapes . . . . . . . . . . . 99--106 Petter Risholm and Firdaus Janoos and Jennifer Pursley and Andriy Fedorov and Clare Tempany Selection of Optimal Hyper-Parameters for Estimation of Uncertainty in MRI-TRUS Registration of the Prostate 107--114 Mattias P. Heinrich and Mark Jenkinson and Sir Michael Brady and Julia A. Schnabel Globally Optimal Deformable Registration on a Minimum Spanning Tree Using Dense Displacement Sampling . . . . . . . . . 115--122 Lauren J. O'Donnell and William M. Wells III and Alexandra J. Golby and Carl-Fredrik Westin Unbiased Groupwise Registration of White Matter Tractography . . . . . . . . . . 123--130 Dong Hye Ye and Jihun Hamm and Dongjin Kwon and Christos Davatzikos and Kilian M. Pohl Regional Manifold Learning for Deformable Registration of Brain MR Images . . . . . . . . . . . . . . . . . 131--138 Ryan D. Datteri and Beno\^\it M. Dawant Estimation and Reduction of Target Registration Error . . . . . . . . . . . 139--146 Aasa Feragen and Jens Petersen and Megan Owen and Pechin Lo and Laura H. Thomsen A Hierarchical Scheme for Geodesic Anatomical Labeling of Airway Trees . . 147--155 Pei Zhang and Pew-Thian Yap and Dinggang Shen and Timothy F. Cootes Initialising Groupwise Non-rigid Registration Using Multiple Parts+Geometry Models . . . . . . . . . 156--163 Anonymous Front Matter . . . . . . . . . . . . . . ??
Jian Xiao and Yu Zhang and Shuwei Chen and Huashan Yu An Application-Level Scheduling with Task Bundling Approach for Many-Task Computing in Heterogeneous Environments 1--13 Jintao Meng and Jianrui Yuan and Jiefeng Cheng and Yanjie Wei and Shengzhong Feng DGraph: Algorithms for Shortgun Reads Assembly Using De Bruijn Graph . . . . . 14--21 Yizhuo Wang and Weixing Ji and Feng Shi and Qi Zuo and Ning Deng Knowledge-Based Adaptive Self-Scheduling 22--32 Shahnawaz Talpur and Feng Shi and Yizhuo Wang Communication Locality Analysis of Triplet-Based Hierarchical Interconnection Network in Chip Multiprocessor . . . . . . . . . . . . . 33--41 Jae-Young Lee A Scoring System for Short Answers on the Test in a Large Group . . . . . . . 42--47 Ralph Duncan and Peder Jungck and Kenneth Ross and Dwight Mulcahy Reference Variables for Dynamic, Reliable Packet Operations . . . . . . . 48--60 Shelly Salim and Christian H. W. Oey and Sangman Moh Are Heterogeneous Cellular Networks Superior to Homogeneous Ones? . . . . . 61--68 Longbo Zhang and Chen Yu and Hai Jin Dynamic Spray and Wait Routing Protocol for Delay Tolerant Networks . . . . . . 69--76 Narjes Soltani and Ehsan Mousavi Khaneghah and Mohsen Sharifi and Seyedeh Leili Mirtaheri A Dynamic Popularity-Aware Load Balancing Algorithm for Structured P2P Systems . . . . . . . . . . . . . . . . 77--84 Jinzhi Lin and Ying Wu and Gongyi Wu and Jingdong Xu NCCPIS: a Co-simulation Tool for Networked Control and Cyber-Physical System Evaluation . . . . . . . . . . . 85--93 Muhammad Ahmed and Xu Huang and Dharmendra Sharma Dempster-Shafer Theory to Identify Insider Attacker in Wireless Sensor Network . . . . . . . . . . . . . . . . 94--100 Bo-Chao Cheng and Guo-Tan Liao and Ching-Kai Lin and Shih-Chun Hsu and Ping-Hai Hsu and Jong Hyuk Park MIB-ITrace-CP: An Improvement of ICMP-Based Traceback Efficiency in Network Forensic Analysis . . . . . . . 101--109 Ding Wang and Chun-guang Ma and Sen-dong Zhao and Chang-li Zhou Breaking a Robust Remote User Authentication Scheme Using Smart Cards 110--118 Irfana Memon An Analysis of Privacy Preserving Data Aggregation Protocols for WSNs . . . . . 119--128 R. Krishnaveni and C. Chellappan and R. Dhanalakshmi Hybrid Obfuscated Javascript Strength Analysis System for Detection of Malicious Websites . . . . . . . . . . . 129--137 Taeseung Lee and Giyoun Won and Seongje Cho and Namje Park and Dongho Won Detection and Mitigation of Web Application Vulnerabilities Based on Security Testing . . . . . . . . . . . . 138--144 Jintao Meng and Jianrui Yuan and Jiefeng Cheng and Yanjie Wei and Shengzhong Feng Small World Asynchronous Parallel Model for Genome Assembly . . . . . . . . . . 145--155 Haitao Jiang and Yun Xu and Yin Liao and Guojie Jin and Guoliang Chen UKCF: a New Graphics Driver Cross-Platform Translation Framework for Virtual Machines . . . . . . . . . . . . 156--163 Yongnan Li and Limin Xiao and Aihua Liang and Yao Zheng and Li Ruan Fast Parallel Garner Algorithm for Chinese Remainder Theorem . . . . . . . 164--171 Xu Zhou and Kai Lu and Xicheng Lu and Xiaoping Wang and Baohua Fan dMPI: Facilitating Debugging of MPI Programs via Deterministic Message Passing . . . . . . . . . . . . . . . . 172--179 Anonymous Front Matter . . . . . . . . . . . . . . ??
Kalyanmoy Deb Advances in Evolutionary Multi-objective Optimization . . . . . . . . . . . . . . 1--26 Massimiliano Di Penta SBSE Meets Software Maintenance: Achievements and Open Problems . . . . . 27--28 Simon Poulding Tutorial: High Performance SBSE Using Commodity Graphics Cards . . . . . . . . 29--29 Jonathan M. Aitken and Rob Alexander and Tim Kelly and Simon Poulding Evolving Robust Networks for Systems-of-Systems . . . . . . . . . . . 30--44 Franco Arito and Francisco Chicano and Enrique Alba On the Application of SAT Solvers to the Test Suite Minimization Problem . . . . 45--59 Márcio de Oliveira Barros Evaluating the Importance of Randomness in Search-Based Software Engineering . . 60--74 Gabriele Bavota and Filomena Carnevale and Andrea De Lucia and Massimiliano Di Penta Putting the Developer in-the-Loop: An Interactive GA for Software Re-modularization . . . . . . . . . . . 75--89 Neelesh Bhattacharya and Olfat El-Mahi and Etienne Duclos and Giovanni Beltrame Optimizing Threads Schedule Alignments to Expose the Interference Bug Pattern 90--104 Mustafa Bozkurt and Mark Harman Optimised Realistic Test Input Generation Using Web Services . . . . . 105--120 Shadi Ghaith and Mel Ó Cinnéide Improving Software Security Using Search-Based Refactoring . . . . . . . . 121--135 Muhammad Zohaib Iqbal and Andrea Arcuri and Lionel Briand Combining Search-Based and Adaptive Random Testing Strategies for Environment Model-Based Testing of Real-Time Embedded Systems . . . . . . . 136--151 Vendula Hrubá and Bohuslav K\vrena and Zden\vek Letko and Shmuel Ur and Tomá\vs Vojnar Testing of Concurrent Programs Using Genetic Algorithms . . . . . . . . . . . 152--167 Roberto Erick Lopez-Herrejon and José A. Galindo and David Benavides and Sergio Segura Reverse Engineering Feature Models with Evolutionary Algorithms: An Exploratory Study . . . . . . . . . . . . . . . . . 168--182 Alan G. Millard and David R. White and John A. Clark Searching for Pareto-optimal Randomised Algorithms . . . . . . . . . . . . . . . 183--197 Andres J. Ramirez and Erik M. Fredericks and Adam C. Jensen and Betty H. C. Cheng Automatically RELAXing a Goal Model to Cope with Uncertainty . . . . . . . . . 198--212 Abdelilah Sakti and Yann-Gaël Guéhéneuc and Gilles Pesant Boosting Search Based Testing by Using Constraint Based Testing . . . . . . . . 213--227 Alex Tomasi and Alessandro Marchetto and Chiara Di Francescomarino Domain-Driven Reduction Optimization of Recovered Business Processes . . . . . . 228--243 Shin Yoo Evolving Human Competitive Spectra-Based Fault Localisation Techniques . . . . . 244--258 Thelma Elita Colanzi and Silvia Regina Vergilio Applying Search Based Optimization to Software Product Line Architectures: Lessons Learned . . . . . . . . . . . . 259--266 Ramin Etemaadi and Michael T. M. Emmerich and Michel R. V. Chaudron Problem-Specific Search Operators for Metaheuristic Software Architecture Design . . . . . . . . . . . . . . . . . 267--272 Anonymous Front Matter . . . . . . . . . . . . . . ??
Andrés Saraos Luna and Valérie Gouranton and Bruno Arnaldi Collaborative Virtual Environments for Training: a Unified Interaction Model for Real Humans and Virtual Humans . . . 1--12 Tom Gedeon and Dingyun Zhu and Stephane Bersot Developing a Situated Virtual Reality Simulation for Telerobotic Control and Training . . . . . . . . . . . . . . . . 13--22 Viktor Wendel and Stefan Göbel and Ralf Steinmetz Game Mastering in Collaborative Multiplayer Serious Games . . . . . . . 23--34 Florian Berger and Wolfgang Müller Implementing High-Resolution Adaptivity in Game-Based Learning . . . . . . . . . 35--40 Cyril Brom and Vít \vSisler and Michaela Buchtová and Daniel Klement and David Lev\vcík Turning High-Schools into Laboratories? Lessons Learnt from Studies of Instructional Effectiveness of Digital Games in the Curricular Schooling System 41--53 \Lukasz Szweda and Daniel Wilusz and Jakub Floty\'nski Application of NXT Based Robots for Teaching Java-Based Concurrency . . . . 54--64 Jan L. Plass and Bruce D. Homer and Elizabeth O. Hayward and Jonathan Frye and Tsu-Ting Huang The Effect of Learning Mechanics Design on Learning Outcomes in a Computer-Based Geometry Game . . . . . . . . . . . . . 65--71 Philip Mildner and Christopher Campbell and Mark Himmelsbach and Christoph Malassa and Marco Miczka A Serious Game for Architectural Knowledge in the Classroom . . . . . . . 72--77 Steven Rausch and Uwe Fasshauer and Alke Martens Evaluation of Competence Development in WoW . . . . . . . . . . . . . . . . . . 78--88 Michail N. Giannakos and Konstantinos Chorianopoulos and Letizia Jaccheri ``This Game Is Girly!'' Perceived Enjoyment and Student Acceptance of Edutainment . . . . . . . . . . . . . . 89--98 Johannes Konert and Stefan Göbel and Ralf Steinmetz Towards a Social Game Interaction Taxonomy . . . . . . . . . . . . . . . . 99--110 Sonja Ganguin and Anna Hoblitz Mobile Worlds: Mobile Gaming and Learning? . . . . . . . . . . . . . . . 111--120 Kazuya Takemata and Akiyuki Minamide and Sumio Nakamura Science and Technology Communication Activities by Using $3$D Image Projection System . . . . . . . . . . . 121--124 Loreen Pogrzeba and Markus Wacker and Bernhard Jung Potentials of a Low-Cost Motion Analysis System for Exergames in Rehabilitation and Sports Medicine . . . . . . . . . . 125--133 Danu Pranantha and Francesco Bellotti and Ricardo Berta and Alessandro De Gloria Puzzle-it: An HTML5 Serious Games Platform for Education . . . . . . . . . 134--143 Florian Mehm and Stefan Göbel and Ralf Steinmetz Authoring of Serious Adventure Games in StoryTec . . . . . . . . . . . . . . . . 144--154 Chun-Tsai Wu and Szu-Ming Chung and Shao-Shiun Chang Designing an Interactive Storytelling Game . . . . . . . . . . . . . . . . . . 155--160 Christian Reuter and Viktor Wendel and Stefan Göbel and Ralf Steinmetz Towards Puzzle Templates for Multiplayer Adventures . . . . . . . . . . . . . . . 161--163 Oliver Korn and Michael Brach and Albrecht Schmidt and Thomas Hörz and Robert Konrad Context-Sensitive User-Centered Scalability: An Introduction Focusing on Exergames and Assistive Systems in Work Contexts . . . . . . . . . . . . . . . . 164--176 Anna Lisa Martin and Josef Wiemeyer The Impact of Different Gaming Interfaces on Spatial Experience and Spatial Presence --- a Pilot Study . . . 177--182 Anonymous Front Matter . . . . . . . . . . . . . . ??
Deokwoo Lee and Hamid Krim System Identification: $3$D Measurement Using Structured Light System . . . . . 1--11 Valérian Némesin and Stéphane Derrode and Amel Benazza-Benyahia Gradual Iris Code Construction from Close-Up Eye Video . . . . . . . . . . . 12--23 Xin Wang and Boris Lenseigne and Pieter Jonker Depth from Vergence and Active Calibration for Humanoid Robots . . . . 24--35 Sergi Foix and Simon Kriegel and Stefan Fuchs and Guillem Aleny\`a and Carme Torras Information-Gain View Planning for Free-Form Object Reconstruction with a $3$D ToF Camera . . . . . . . . . . . . 36--47 Gaetano Di Caterina and Iain Hunter and John J. Soraghan DSP Embedded Smart Surveillance Sensor with Robust SWAD-Based Tracker . . . . . 48--58 Pavel Karas and David Svoboda and Pavel Zem\vcík GPU Optimization of Convolution for Large $3$-D Real Images . . . . . . . . 59--71 Krystyna Malik and Bogdan Smolka Modified Bilateral Filter for the Restoration of Noisy Color Images . . . 72--83 Seyfollah Soleimani and Jacob Premkumar Sukumaran and Koen Douterloigne and Filip Rooms Correction, Stitching and Blur Estimation of Micro-graphs Obtained at High Speed . . . . . . . . . . . . . . . 84--95 Wajdi Elhamzi and Julien Dubois and Johel Miteran and Mohamed Atri and Rached Tourki Hardware Implementation of a Configurable Motion Estimator for Adjusting the Video Coding Performances 96--107 Reinhold Huber-Mörk and Alexander Schindler Quality Assurance for Document Image Collections in Digital Preservation . . 108--119 Mitra Damghanian and Roger Olsson and Mårten Sjöström The Sampling Pattern Cube --- a Representation and Evaluation Tool for Optical Capturing Systems . . . . . . . 120--131 Julien Couillaud and Alain Horé and Djemel Ziou Improving Image Acquisition: a Fish-Inspired Solution . . . . . . . . . 132--141 Angelo Cozzolino and Francesco Flammini and Valentina Galli and Mariangela Lamberti Evaluating the Effects of MJPEG Compression on Motion Tracking in Metro Railway Surveillance . . . . . . . . . . 142--154 Michal Hradi\vs and Martin Kolá\vr and Ale\vs Láník and Ji\vrí Král and Pavel Zem\vcík and Pavel Smr\vz Annotating Images with Suggestions--- User Study of a Tagging System . . . . . 155--166 Daniel Soukup and Reinhold Huber-Mörk Cross-Channel Co-occurrence Matrices for Robust Characterization of Surface Disruptions in $2{1\over2}$D Rail Image Analysis . . . . . . . . . . . . . . . . 167--177 Yainuvis Socarrás Salas and David Vázquez Bermudez and Antonio M. López Peña Improving HOG with Image Segmentation: Application to Human Detection . . . . . 178--189 Soumya Ghose and Jhimli Mitra and Arnau Oliver and Robert Martí and Xavier Lladó and Jordi Freixenet A Supervised Learning Framework for Automatic Prostate Segmentation in Trans Rectal Ultrasound Images . . . . . . . . 190--200 Nicolas Lermé and François Malgouyres Simultaneous Segmentation and Filtering via Reduced Graph Cuts . . . . . . . . . 201--212 Tomá\vs Suk and Cyril Höschl IV and Jan Flusser Rectangular Decomposition of Binary Images . . . . . . . . . . . . . . . . . 213--224 Michal Krumnikl and Eduard Sojka and Jan Gaura A New Level-Set Based Algorithm for Bimodal Depth Segmentation . . . . . . . 225--236 Anonymous Front Matter . . . . . . . . . . . . . . ??
Klaus-Dieter Schewe and Qing Wang Third International Workshop on Conceptual Modelling of Services (CMS 2012) . . . . . . . . . . . . . . . . . 1--2 Mario Buchmayr and Werner Kurschl and Josef Küng A Rule Based Approach for Mapping Sensor Data to Ontological Models in AAL Environments . . . . . . . . . . . . . . 3--12 Mariam Rady Parameters for Service Level Agreements Generation in Cloud Computing . . . . . 13--22 Birger Andersson and Maria Bergholtz and Paul Johannesson Resource, Process, and Use --- Views on Service Modeling . . . . . . . . . . . . 23--33 Mircea Boris Vleju A Client-Centric ASM-Based Approach to Identity Management in Cloud Computing 34--43 Fabio Grandi and Giorgio Orsi and Letizia Tanca and Riccardo Torlone International Workshop on Evolution and Change in Data Management and on Non Conventional Data Access (ECDM --- NoCoDa 2012) . . . . . . . . . . . . . . 45--46 Paolo Terenziani The Telic/Atelic Distinction in Temporal Databases . . . . . . . . . . . . . . . 47--56 Alessandro Solimando and Giorgio Delzanno and Giovanna Guerrini Static Analysis of XML Document Adaptations . . . . . . . . . . . . . . 57--66 Shi Gao and Carlo Zaniolo Supporting Database Provenance under Schema Evolution . . . . . . . . . . . . 67--77 Stéphane Frénot and Stéphane Grumbach An in-Browser Microblog Ranking Engine 78--88 Kostas Stefanidis and Nafiseh Shabib and Kjetil Nòrvåg and John Krogstie Contextual Recommendations for Groups 89--97 David Gil and Juan Trujillo and Il-Yeol Song First International Workshop on Modeling for Data-Intensive Computing . . . . . . 99--99 Fabio Porto and Ana Maria de C. Moura and Bernardo Gonçalves and Ramon Costa A Scientific Hypothesis Conceptual Model 101--110 Alejandro Maté and Hector Llorens and Elisa de Gregorio An Integrated Multidimensional Modeling Approach to Access Big Data in Business Intelligence Platforms . . . . . . . . . 111--120 Salmin Sultana and Elisa Bertino A Comprehensive Model for Provenance . . 121--130 Carlos R. Rivero and Inma Hernández and David Ruiz and Rafael Corchuelo Towards Discovering Ontological Models from Big RDF Data . . . . . . . . . . . 131--140 Krzysztof Wnuk and Markus Borg and Sa\"\id Assar Towards Scalable Information Modeling of Requirements Architectures . . . . . . . 141--150 Ivan J. Jureta and Stéphane Faulkner and Esteban Zimányi Preface to MORE-BI 2012 . . . . . . . . 151--151 Bartosz B\kebel and Miko\laj Morzy and Tadeusz Morzy and Zbyszko Królikowski and Robert Wrembel OLAP-Like Analysis of Time Point-Based Sequential Data . . . . . . . . . . . . 153--161 Thomas Neuböck and Bernd Neumayr and Thomas Rossgatterer and Stefan Anderlik and Michael Schrefl Multi-dimensional Navigation Modeling Using BI Analysis Graphs . . . . . . . . 162--171 Anonymous Front Matter . . . . . . . . . . . . . . ??
Régis Alenda and Nicola Olivetti Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models . . . . . . . . . . . 1--13 Régis Alenda and Nicola Olivetti and Gian Luca Pozzato Nested Sequent Calculi for Conditional Logics . . . . . . . . . . . . . . . . . 14--27 Ofer Arieli Conflict-Tolerant Semantics for Argumentation Frameworks . . . . . . . . 28--40 Dimitris Askounis and Costas D. Koutras and Yorgos Zikos Knowledge Means ` All ', Belief Means ` Most ' . . . . . . . . . . . . . . . . . 41--53 Guillaume Aucher and Bastien Maubert and François Schwarzentruber Generalized DEL-Sequents . . . . . . . . 54--66 Philippe Balbiani and Antoun Yaacoub Deciding the Bisimilarity Relation between Datalog Goals . . . . . . . . . 67--79 Harald Beck and Thomas Eiter and Thomas Krennwallner Inconsistency Management for Traffic Regulations: Formalization and Complexity Results . . . . . . . . . . . 80--93 Mikkel Birkegaard Andersen and Thomas Bolander and Martin Holm Jensen Conditional Epistemic Planning . . . . . 94--106 Richard Booth and Thomas Meyer and Ivan Varzinczak PTL: a Propositional Typicality Logic 107--119 Laura Bozzelli and Hans van Ditmarsch and Sophie Pinchinat The Complexity of One-Agent Refinement Modal Logic . . . . . . . . . . . . . . 120--133 Luciano Caroprese and Irina Trubitsyna and Miros\law Truszczy\'nski and Ester Zumpano The View-Update Problem for Indefinite Databases . . . . . . . . . . . . . . . 134--146 Davide Ciucci and Didier Dubois Three-Valued Logics for Incomplete Information and Epistemic Logic . . . . 147--159 Thomas Eiter and Michael Fink and Thomas Krennwallner and Christoph Redl and Peter Schüller Exploiting Unfounded Sets for HEX-Program Evaluation . . . . . . . . . 160--175 Masood Feyzbakhsh Rankooh and Ali Mahjoob and Gholamreza Ghassem-Sani Using Satisfiability for Non-optimal Temporal Planning . . . . . . . . . . . 176--188 Marc Finthammer and Christoph Beierle How to Exploit Parametric Uniformity for Maximum Entropy Reasoning in a Relational Probabilistic Logic . . . . . 189--201 Enrico Franconi and Volha Kerhet and Nhung Ngo Exact Query Reformulation with First-Order Ontologies and Databases . . 202--214 Alfredo Gabaldon A Selective Semantics for Logic Programs with Preferences . . . . . . . . . . . . 215--227 Laura Giordano and Valentina Gliozzi and Nicola Olivetti and Gian Luca Pozzato A Minimal Model Semantics for Nonmonotonic Reasoning . . . . . . . . . 228--241 Lluís Godo and Enrico Marchioni and Pere Pardo Extending a Temporal Defeasible Argumentation Framework with Possibilistic Weights . . . . . . . . . 242--254 Joanna Goli\'nska-Pilarek On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility . . . . . . 255--266 Anonymous Front Matter . . . . . . . . . . . . . . ??
Mohammad G. Dezfuli and Mostafa S. Haghjoo Xtream: a System for Continuous Querying over Uncertain Data Streams . . . . . . 1--15 Lucie Urbanova and Vilem Vychodil and Lena Wiese Applications of Ordinal Ranks to Flexible Query Answering . . . . . . . . 16--29 Alfredo Cuzzocrea and Rubén de Juan Marín and Hendrik Decker and Francesc D. Muñoz-Escoí Managing Uncertainty in Databases and Scaling It Up to Concurrent Transactions 30--43 Farid Nouioua Generalizing Naive and Stable Semantics in Argumentation Frameworks with Necessities and Preferences . . . . . . 44--57 Leila Amgoud Stable Semantics in Logic-Based Argumentation . . . . . . . . . . . . . 58--71 Leila Amgoud The Outcomes of Logic-Based Argumentation Systems under Preferred Semantics . . . . . . . . . . . . . . . 72--84 Wolfgang Dvo\vrák and Stefan Szeider and Stefan Woltran Abstract Argumentation via Monadic Second Order Logic . . . . . . . . . . . 85--98 Maximiliano C. D. Budán and Mauro Gómez Lucero and Carlos I. Chesñevar and Guillermo R. Simari An Approach to Argumentation Considering Attacks through Time . . . . . . . . . . 99--112 Antoine Chammas and Moamar Sayed-Mouchaweh and Eric Duviella and Stéphane Lecoeuche Drift Detection and Characterization for Fault Diagnosis and Prognosis of Dynamical Systems . . . . . . . . . . . 113--126 Bogdan Trawi\'nski and Tadeusz Lasota and Magdalena Sm\ketek and Grzegorz Trawi\'nski An Attempt to Employ Genetic Fuzzy Systems to Predict from a Data Stream of Premises Transactions . . . . . . . . . 127--140 Edwin Lughofer Navigating Interpretability Issues in Evolving Fuzzy Systems . . . . . . . . . 141--153 Alexandre Decan and Fabian Pijcke and Jef Wijsen Certain Conjunctive Query Answering in SQL . . . . . . . . . . . . . . . . . . 154--167 Luciano Caroprese and Ester Zumpano Restoring Consistency in P2P Deductive Databases . . . . . . . . . . . . . . . 168--179 Jaffer Gardezi and Leopoldo Bertossi Tractable Cases of Clean Query Answering under Entity Resolution via Matching Dependencies . . . . . . . . . . . . . . 180--193 Dorra Attiaoui and Pierre-Emmanuel Doré and Arnaud Martin and Boutheina Ben Yaghlane A Distance between Continuous Belief Functions . . . . . . . . . . . . . . . 194--205 Wafa Laâmari and Boutheina Ben Yaghlane and Christophe Simon On the Complexity of the Graphical Representation and the Belief Inference in the Dynamic Directed Evidential Networks with Conditional Belief Functions . . . . . . . . . . . . . . . 206--218 Jianbing Ma and Salem Benferhat and Weiru Liu Revision over Partial Pre-orders: a Postulational Study . . . . . . . . . . 219--232 Mohammad Ghasemi Hamed and Mathieu Serrurier and Nicolas Durand Representing Uncertainty by Possibility Distributions Encoding Confidence Bands, Tolerance and Prediction Intervals . . . 233--246 Ioannis A. Kougioumtzoglou and Pol D. Spanos Harmonic Wavelets Based Identification of Nonlinear and Time-Variant Systems 247--260 Edoardo Patelli An Upscaling Approach for Uncertainty Quantification of Stochastic Contaminant Transport through Fractured Media . . . 261--272 Anonymous Front Matter . . . . . . . . . . . . . . ??
S. Akshay and Blaise Genest and Lo\"\ic Hélouët Symbolically Bounding the Drift in Time-Constrained MSC Graphs . . . . . . 1--15 Deepak D'Souza and Raj Mohan Matteplackel A Compositional Hierarchical Monitoring Automaton Construction for LTL . . . . . 16--29 César Sánchez and Julian Samborski-Forlese How to Translate Efficiently Extensions of Temporal Logics into Alternating Automata . . . . . . . . . . . . . . . . 30--45 Simon Foster and Ond\vrej Rypá\vcek and Georg Struth Correctness of Object Oriented Models by Extended Type Inference . . . . . . . . 46--60 Liyun Dai and Bican Xia Non-termination Sets of Simple Linear Loops . . . . . . . . . . . . . . . . . 61--73 \Dbarurica Nikoli\'c and Fausto Spoto Definite Expression Aliasing Analysis for Java Bytecode . . . . . . . . . . . 74--89 Adrián Riesco Using Semantics Specified in Maude to Generate Test Cases . . . . . . . . . . 90--104 Lidia Sánchez-Gil and Mercedes Hidalgo-Herrero A Locally Nameless Representation for a Natural Semantics for Lazy Evaluation 105--119 Nikola Bene\vs and Jan K\vretínský Modal Process Rewrite Systems . . . . . 120--135 Adrián Riesco and Juan Rodríguez-Hortalá S-Narrowing for Constructor Systems . . 136--150 Sachin Lodha and Nikhil Patwardhan and Ashim Roy Data Privacy Using MASKETEER$^{TM}$ . . 151--158 Suman Roy and Sidharth Bihary A Conformance Checker Tool CSPConCheck 159--163 S. Raviram and P. Peranandam and M. Satpathy SmartTestGen+: a Test Suite Booster for Enhanced Structural Coverage . . . . . . 164--167 David M. Williams and Joeri de Ruiter Model Checking under Fairness in ProB and Its Application to Fair Exchange Protocols . . . . . . . . . . . . . . . 168--182 Kenro Yatake and Toshiaki Aoki Model Checking of OSEK/VDX OS Design Model Based on Environment Modeling . . 183--197 Sjoerd Cranen and Jeroen J. A. Keiren A Cure for Stuttering Parity Games . . . 198--212 Beno\^\it Caillaud and Jean-Baptiste Raclet Ensuring Reachability by Design . . . . 213--227 Sylvain Peyronnet and Michel De Rougemont Approximate Verification and Enumeration Problems . . . . . . . . . . . . . . . . 228--242 Federico Mari and Igor Melatti and Ivano Salvo Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems . . . . . . . . . 243--258 Anonymous Back Matter . . . . . . . . . . . . . . ?? Anonymous Front Matter . . . . . . . . . . . . . . ??
Edirlei Soares de Lima and Bruno Feijó and Cesar T. Pozzer and Angelo E. M. Ciarlini Social Interaction for Interactive Storytelling . . . . . . . . . . . . . . 1--15 Ivana Müller and Petra Sundström and Martin Murer and Manfred Tscheligi Gaming after Dark . . . . . . . . . . . 16--29 Fabio A. Guilherme da Silva and Antonio L. Furtado and Angelo E. M. Ciarlini Information-Gathering Events in Story Plots . . . . . . . . . . . . . . . . . 30--44 Daniel Apken and Hendrik Landwehr and Marc Herrlich and Markus Krause and Dennis Paul Design and Evaluation of Parametrizable Multi-genre Game Mechanics . . . . . . . 45--52 Oswald D. Kothgassner and Anna Felnhofer and Leon Beutl and Helmut Hlavacs and Mario Lehenbauer A Virtual Training Tool for Giving Talks 53--66 Vít \vSisler and Cyril Brom and Jaroslav Cuhra and Kamil \vCinátl and Jakub Gemrot Stories from the History of Czechoslovakia, a Serious Game for Teaching History of the Czech Lands in the 20th Century --- Notes on Design Concepts and Design Process . . . . . . 67--74 Christopher Blake and Dorothée Hefner and Christian Roth and Christoph Klimmt and Peter Vorderer Cognitive Processes Involved in Video Game Identification . . . . . . . . . . 75--84 Alejandro Moreno and Robby van Delden and Dennis Reidsma and Ronald Poppe and Dirk Heylen An Annotation Scheme for Social Interaction in Digital Playgrounds . . . 85--99 Xuan Wang and Eng Tat Khoo and Sanath Siriwardana and Horathalge Iroshan and Ryohei Nakatsu Philosophy Meets Entertainment: Designing an Interactive Virtual Philosopher . . . . . . . . . . . . . . 100--113 David Conroy and Peta Wyeth and Daniel Johnson Spotting the Difference: Identifying Player Opponent Preferences in FPS Games 114--121 Suwon Lee and Jinki Jung and Jihye Hong and J. B. Ryu and Hyun S. Yang AR Paint: a Fusion System of a Paint Tool and AR . . . . . . . . . . . . . . 122--129 Ali Mazalek and Michael Nitsche and Claudia Rébola and Paul Clifton and Andy Wu and Nick Poirier Pictures at an Exhibition: Design of a Hybrid Puppetry Performance Piece . . . 130--143 Andrea Minuto and Gijs Huisman and Anton Nijholt Follow the Grass: a Smart Material Interactive Pervasive Display . . . . . 144--157 Aljosha Demeulemeester and Katriina Kilpi and Shirley A. Elprama and Sammy Lievens The ICOCOON Virtual Meeting Room: a Virtual Environment as a Support Tool for Multipoint Teleconference Systems 158--171 Sofia Reis and Nuno Correia Playing with the Weather . . . . . . . . 172--184 Lucio Gutierrez and Eleni Stroulia and Ioanis Nikolaidis fAARS: a Platform for Location-Aware Trans-reality Games . . . . . . . . . . 185--192 Stéphanie Mader and Stéphane Natkin and Guillaume Levieux How to Analyse Therapeutic Games: The Player /Game /Therapy Model . . . . . . 193--206 Sebastian Matyas and Daishi Kato and Takao Shime and Kazuo Kunieda and Keiji Yamada Game-Based Trust . . . . . . . . . . . . 207--220 Robby van Delden and Pauline Aarts and Betsy van Dijk Design of Tangible Games for Children Undergoing Occupational and Physical Therapy . . . . . . . . . . . . . . . . 221--234 Kathrin Maria Gerling and Frank Paul Schulte and Jan Smeddinck and Maic Masuch Game Design for Older Adults: Effects of Age-Related Changes on Structural Elements of Digital Games . . . . . . . 235--242 Anonymous Front Matter . . . . . . . . . . . . . . ??
Pieter Abbeel Machine Learning for Robotics . . . . . 1--1 Luc De Raedt Declarative Modeling for Machine Learning and Data Mining . . . . . . . . 2--3 Douglas Eck Machine Learning Methods for Music Discovery and Recommendation . . . . . . 4--4 Daniel Keim Solving Problems with Visual Analytics: Challenges and Applications . . . . . . 5--6 Padhraic Smyth Analyzing Text and Social Network Data with Probabilistic Models . . . . . . . 7--8 Nikolaj Tatti and Jilles Vreeken Discovering Descriptive Tile Trees . . . 9--24 Matteo Riondato and Eli Upfal Efficient Discovery of Association Rules and Frequent Itemsets through Sampling with Tight Performance Guarantees . . . 25--41 Arno Siebes and René Kersten Smoothing Categorical Data . . . . . . . 42--57 Maxime Gasse and Alex Aussem and Haytham Elghazel An Experimental Comparison of Hybrid Algorithms for Bayesian Network Structure Learning . . . . . . . . . . . 58--73 Sebastian Tschiatschek and Peter Reinprecht and Manfred Mücke and Franz Pernkopf Bayesian Network Classifiers with Reduced Precision Parameters . . . . . . 74--89 Tivadar Pápai and Shalini Ghosh and Henry Kautz Combining Subjective Probabilities and Data in Training Markov Logic Networks 90--105 Shengbo Guo and Scott Sanner and Thore Graepel and Wray Buntine Score-Based Bayesian Skill Learning . . 106--121 Ürün Dogan and Tobias Glasmachers and Christian Igel A Note on Extending Generalization Bounds for Binary Large-Margin Classifiers to Multiple Classes . . . . 122--129 Amin Mantrach and Jean-Michel Renders Extension of the Rocchio Classification Method to Multi-modal Categorization of Documents in Social Media . . . . . . . 130--142 Jakramate Bootkrajang and Ata Kabán Label-Noise Robust Logistic Regression and Its Applications . . . . . . . . . . 143--158 Dmitriy Bespalov and Yanjun Qi and Bing Bai and Ali Shokoufandeh Sentiment Classification with Supervised Sequence Embedding . . . . . . . . . . . 159--174 Stefan Edelkamp and Martin Stommel The Bitvector Machine: a Fast and Robust Machine Learning Algorithm for Non-linear Problems . . . . . . . . . . 175--190 Francis Maes and Pierre Geurts and Louis Wehenkel Embedding Monte Carlo Search of Features in Tree-Based Ensemble Methods . . . . . 191--206 Zhihong Zhang and Edwin R. Hancock and Xiao Bai Hypergraph Spectra for Semi-supervised Feature Selection . . . . . . . . . . . 207--222 Jun Wang and Adam Woznica and Alexandros Kalousis Learning Neighborhoods for Metric Learning . . . . . . . . . . . . . . . . 223--236 Anonymous Front Matter . . . . . . . . . . . . . . ??
Ruilin Liu and Hui (Wendy) Wang and Anna Monreale and Dino Pedreschi and Fosca Giannotti and Wenge Guo AUDIO: An Integrity $\underline{Audi}$ting Framework of $\underline{O}$utlier-Mining-as-a-Service Systems 1--18 Staal A. Vinterbo Differentially Private Projected Histograms: Construction and Use for Prediction . . . . . . . . . . . . . . . 19--34 Toshihiro Kamishima and Shotaro Akaho and Hideki Asoh and Jun Sakuma Fairness-Aware Classifier with Prejudice Remover Regularizer . . . . . . . . . . 35--50 Evan Kirshenbaum and George Forman and Michael Dugan A Live Comparison of Methods for Personalized Article Recommendation at Forbes.com . . . . . . . . . . . . . . . 51--66 Balázs Hidasi and Domonkos Tikk Fast ALS-Based Tensor Factorization for Context-Aware Recommendation from Implicit Feedback . . . . . . . . . . . 67--82 Weiwei Cheng and Eyke Hüllermeier Probability Estimation for Multi-class Classification Based on Label Ranking 83--98 N. Kemal Ure and Alborz Geramifard and Girish Chowdhary and Jonathan P. How Adaptive Planning for Markov Decision Processes with Uncertain Transition Models via Incremental Feature Dependency Discovery . . . . . . . . . . 99--115 Riad Akrour and Marc Schoenauer and Mich\`ele Sebag APRIL: Active Preference Learning-Based Reinforcement Learning . . . . . . . . . 116--131 Markus Peters and Wolfgang Ketter and Maytal Saar-Tsechansky and John Collins Autonomous Data-Driven Decision-Making in Smart Electricity Markets . . . . . . 132--147 Bernard Michini and Jonathan P. How Bayesian Nonparametric Inverse Reinforcement Learning . . . . . . . . . 148--163 Truong-Huy Dinh Nguyen and Wee-Sun Lee and Tze-Yun Leong Bootstrapping Monte Carlo Tree Search with an Imperfect Heuristic . . . . . . 164--179 Gabriel Dulac-Arnold and Ludovic Denoyer and Philippe Preux and Patrick Gallinari Fast Reinforcement Learning with Large Action Sets Using Error-Correcting Output Codes for MDP Factorization . . . 180--194 Stefano Ermon and Yexiang Xue and Carla Gomes and Bart Selman Learning Policies for Battery Usage Optimization in Electric Vehicles . . . 195--210 Vivek Ramavajjala and Charles Elkan Policy Iteration Based on a Learned Transition Model . . . . . . . . . . . . 211--226 Abdeslam Boularias and Oliver Krömer and Jan Peters Structured Apprenticeship Learning . . . 227--242 Dominique Gay and Marc Boullé A Bayesian Approach for Classification Rule Mining in Quantitative Databases 243--259 Iyad Batal and Gregory Cooper and Milos Hauskrecht A Bayesian Scoring Technique for Mining Predictive and Non-Spurious Rules . . . 260--276 Florian Lemmerich and Martin Becker and Martin Atzmueller Generic Pattern Trees for Exhaustive Exceptional Model Mining . . . . . . . . 277--292 Tomoharu Iwata and Kevin Duh Bidirectional Semi-supervised Learning with Graphs . . . . . . . . . . . . . . 293--306 Saurabh Verma and Estevam R. Hruschka, Jr. Coupled Bayesian Sets Algorithm for Semi-supervised Learning and Information Extraction . . . . . . . . . . . . . . . 307--322 Anonymous Front Matter . . . . . . . . . . . . . . ??
Christopher Armbrust and Lisa Kiekbusch and Thorsten Ropertz and Karsten Berns Verification of Behaviour Networks Using Finite-State Automata . . . . . . . . . 1--12 Bernhard Beckert and Daniel Bruns Formal Semantics of Model Fields in Annotation-Based Specifications . . . . 13--24 Stefan Edelkamp and Tim Federholzner and Peter Kissmann Searching with Partial Belief States in General Games with Incomplete Information . . . . . . . . . . . . . . 25--36 Christian Federmann A Machine-Learning Framework for Hybrid Machine Translation . . . . . . . . . . 37--48 Marc Finthammer and Christoph Beierle Using Equivalences of Worlds for Aggregation Semantics of Relational Conditionals . . . . . . . . . . . . . . 49--60 Ben Hennig and Norbert Reithinger Developing of a Multimodal Interactive Training System in Therapeutic Calisthenics for Elderly People . . . . 61--72 Shahin Jabbari and Robert C. Holte and Sandra Zilles PAC-Learning with General Class Noise Models . . . . . . . . . . . . . . . . . 73--84 Jens Kessler and Jürgen Strobel and Horst-Michael Gross Avoiding Moving Persons by Using Simple Trajectory Prediction and Spatio Temporal Planning . . . . . . . . . . . 85--96 Oliver Kramer Unsupervised Nearest Neighbors with Kernels . . . . . . . . . . . . . . . . 97--106 Steffen Hölldobler and Norbert Manthey and Peter Steinke A Compact Encoding of Pseudo-Boolean Constraints into SAT . . . . . . . . . . 107--118 Nikita Mattar and Ipke Wachsmuth Small Talk Is More than Chit-Chat . . . 119--130 Benjamin Peherstorfer and Dirk Pflüger and Hans-Joachim Bungartz Clustering Based on Density Estimation with Sparse Grids . . . . . . . . . . . 131--142 Marvin R. G. Schiller and Fernand R. Gobet A Comparison between Cognitive and AI Models of Blackjack Strategy Learning 143--155 Christoph Schwering and Daniel Beck and Stefan Schiffer and Gerhard Lakemeyer Plan Recognition by Program Execution in Continuous Temporal Domains . . . . . . 156--167 Christian Vollmer and Julian P. Eggert and Horst-Michael Gross Modeling Human Motion Trajectories by Sparse Activation of Motion Primitives Learned from Unpartitioned Data . . . . 168--179 Matthias Westphal and Julien Hué Nogoods in Qualitative Constraint-Based Reasoning . . . . . . . . . . . . . . . 180--192 David Zastrau and Stefan Edelkamp Stochastic Gradient Descent with GPGPU 193--204 Xiaomin Zhang and Sandra Zilles and Robert C. Holte Improved Query Suggestion by Query Search . . . . . . . . . . . . . . . . . 205--216 Özgür Lütfü Özçep Knowledge-Base Revision Using Implications as Hypotheses . . . . . . . 217--228 Sangkyun Lee Improving Confidence of Dual Averaging Stochastic Online Learning via Aggregation . . . . . . . . . . . . . . 229--232 Anonymous Front Matter . . . . . . . . . . . . . . ??
Yannis Lilis and Anthony Savidis Implementing Reusable Exception Handling Patterns with Compile-Time Metaprogramming . . . . . . . . . . . . 1--15 Inna Pereverzeva and Elena Troubitsyna and Linas Laibinis A Case Study in Formal Development of a Fault Tolerant Multi-robotic System . . 16--31 Camille Fayollas and Jean-Charles Fabre and David Navarre and Philippe Palanque and Yannick Deleris Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach 32--46 Yuliya Prokhorova and Elena Troubitsyna Linking Modelling in Event-B with Safety Cases . . . . . . . . . . . . . . . . . 47--62 Brahim Hamid and Jacob Geisel and Adel Ziani and David Gonzalez Safety Lifecycle Development Process Modeling for Embedded Systems- Example of Railway Domain . . . . . . . . . . . 63--75 Yasir Imtiaz Khan and Matteo Risoldi Language Enrichment for Resilient MDE 76--90 Maurice H. ter Beek and Henry Muccini and Patrizio Pelliccione Assume-Guarantee Testing of Evolving Software Product Line Architectures . . 91--105 Koray Gülcü and Hasan Sözer and Barì\cs Aktemur FAS: Introducing a Service for Avoiding Faults in Composite Services . . . . . . 106--120 Anatoliy Gorbenko and Alexander Romanovsky and Vyacheslav Kharchenko and Olga Tarasyuk Dependability of Service-Oriented Computing: Time-Probabilistic Failure Modelling . . . . . . . . . . . . . . . 121--133 Amira Ben Hamida and Antonia Bertolino and Antonello Calabr\`o and Guglielmo De Angelis Monitoring Service Choreographies from Multiple Sources . . . . . . . . . . . . 134--149 Paolo Masci and Dominic Furniss and Paul Curzon and Michael D. Harrison and Ann Blandford Supporting Field Investigators with PVS: a Case Study in the Healthcare Domain 150--164 Alessio Ferrari and Massimiliano L. Itria and Silvano Chiaradonna and Giorgio O. Spagnolo Model-Based Evaluation of the Availability of a CBTC System . . . . . 165--179 Anonymous Back Matter . . . . . . . . . . . . . . ?? Anonymous Front Matter . . . . . . . . . . . . . . ??
Ines Di Loreto and Simone Mora and Monica Divitini Don't Panic: Enhancing Soft Skills for Civil Protection Workers . . . . . . . . 1--12 Alex Gekker Health Games . . . . . . . . . . . . . . 13--30 Bob-Antoine J. Menelas and Martin J. D. Otis A Serious Game for Training Balance Control over Different Types of Soil . . 31--42 Minhua Ma and Kim Bale and Paul Rea Constructionist Learning in Anatomy Education . . . . . . . . . . . . . . . 43--58 Margarida Romero and Mireia Usart and Maria Popescu Interdisciplinary and International Adaption and Personalization of the MetaVals Serious Games . . . . . . . . . 59--73 Aida Azadegan and Johann C. K. H. Riedel Serious Games Adoption in Corporate Training . . . . . . . . . . . . . . . . 74--85 Nour El Mawas and Jean-Pierre Cahier Towards Participative and Knowledge-Intensive Serious Games . . . 86--97 Erik D. van der Spek Towards Designing for Competence and Engagement in Serious Games . . . . . . 98--109 Tim Marsh and Li Zhiqiang Nickole and Eric Klopfer Blended In-Game and Off-Game Learning: Assimilating Serious Games in the Classroom and Curriculum . . . . . . . . 110--122 Tintu Mathew and Jochen Zange and Joern Rittweger A Computer Game Based Motivation System for Human Physiology Studies . . . . . . 123--134 Manuel Fradinho Oliveira and Heiko Duin Lessons Learnt from Contextualized Interactive Story Driven Development Methodology . . . . . . . . . . . . . . 135--149 Rosa García Sánchez and Alasdair G. Thin Value Propositions for Serious Games in Health and Well-Being . . . . . . . . . 150--157 Stefano Bocconi and Yulia Bachvarova Dealing with Threshold Concepts in Serious Games for Competence Development 158--169 Martin Koplin and Carl Skelton Betaville --- a Massively Participatory Mirror World Game . . . . . . . . . . . 170--173 Thorsten Wahner and Moritz Kartheuser Logical Thinking by Play Using the Example of the Game ``Space Goats'' . . 174--182 François Bry and Christoph Wieser Squaring and Scripting the ESP Game: Trimming a GWAP to Deep Semantics . . . 183--192 Gregor Cerinsek and Heiko Duin and Fiorella Colombo The Application of the CISD$^2$ Methodology for the Definition of a Serious Game Competence-Based Learning Scenario in the Domain of Sustainable Manufacturing . . . . . . . . . . . . . 193--207 Paul C. Seitlinger and Michael A. Bedek Evaluating the Validity of a Non-invasive Assessment Procedure . . . 208--218 Sobah A. Petersen and Michael A. Bedek Challenges and Opportunities in Evaluating Learning in Serious Games: a Look at Behavioural Aspects . . . . . . 219--230 Jennifer Hyndman and Tom Lunney and Paul Mc Kevitt AmbiLearn: Enhancing the Learning Environment for Primary School Education 231--242 Anonymous Front Matter . . . . . . . . . . . . . . ??
Tetsuya Mizutani and Yuki Shinagawa and Naoki Murakami and Shigeru Igarashi Expressive Secondo Performances of a Realtime Person-Computer Ensemble System 1--8 Yunong Zhang and Huarong Wu and Zhijun Zhang and Senbo Fu and Yonghua Yin Different-Level Schemes' Equivalence for Self-Motion Planning of Robot Manipulators . . . . . . . . . . . . . . 9--16 Lifang Kong and Ying Zhao and Xinbin Liu Grey Incidence Optimization Model Based on Hybrid Differential Evolution Algorithm . . . . . . . . . . . . . . . 17--24 Yongfeng Li and Liping Zhu A Data Mining Based Approach to Research the Relationship between Kansei and Usability: a Case Study of Mobile Phones 25--33 Xiongpai Qin Making Use of the Big Data: Next Generation of Algorithm Trading . . . . 34--41 Rongrong Cao and Dongjuan Zhu and Qinqin Huang and Xunheng Wang and Zongcai Ruan Dynamic Causality Analysis on Default Mode Network . . . . . . . . . . . . . . 42--49 Xiaoju Ma and Bo Li and Ying Zhang and Ming Yan The Canny Edge Detection and Its Improvement . . . . . . . . . . . . . . 50--58 Taizhe Tan and Hailing Liu and Yinwei Zhan and Yuzhen Jin Multi-modality Medical Image Registration Based on Improved I-alpha Information (SNI) with Gradient . . . . 59--66 Lingling Li and Weicheng Xie and Ziyang He and Xin Xu and Changmin Chen and Xiaorong Cui Design of Smart Home Control System Based on ZigBee and Embedded Web Technology . . . . . . . . . . . . . . . 67--74 Ye Zhang and Kang Cao and Kangrui Wu and Tenglong Yu Using Gaussian Potential Function for Underdetermined Blind Sources Separation Based on DUET . . . . . . . . . . . . . 75--81 Xiaochen Li and Xizhong Lou and Ting Peng and Jia Xu and Qian Zhou and Daorong Wu A New Balancing Type of Wireless Sensor Network Routing Algorithm . . . . . . . 82--89 Juanjuan Xu and Jian Wu Development of Portable Gait Analysis System Based on a DSP . . . . . . . . . 90--96 Dongjie Tan and An Zhang Improved Neural Networks Based Method for Infrared Focal Plane Arrays Nonuniformity Correction . . . . . . . . 97--104 Kegang Wang and Liying Qi and Guohua Geng Images Classifications Based on Color-Texture Feature . . . . . . . . . 105--112 Yu Bai and Yanlong Liu A Synchronization Strengthen RFID Authentication Protocol Based on Key Array . . . . . . . . . . . . . . . . . 113--119 Wenchuan Yang and Bei Jia and Bowei Cao Study of a Fuzzy Comprehensive Evaluation Problem in Cloud Computing 120--125 Xiao Wang and Fusheng Yu and Huixin Zhang and Yuming Liu Knowledge-Guided Clustering of Large-Scale Time Series under Wavelet Transformation . . . . . . . . . . . . . 126--133 Leiming Yan and Jinwei Wang and Jin Han and Yuxiang Wang A Significance-Driven Framework for Characterizing and Finding Evolving Patterns of News Networks . . . . . . . 134--141 Dexing Wang and Qian Xie and Dongmei Huang and Hongchun Yuan Analysis of Association Rule Mining on Quantitative Concept Lattice . . . . . . 142--149 Junbo Zhang and Tianrui Li and Hongmei Chen Composite Rough Sets . . . . . . . . . . 150--159 Anonymous Front Matter . . . . . . . . . . . . . . ??
Benjamin Livshits Finding Malware on a Web Scale . . . . . 1--2 Zhaohui Wang and Ryan Johnson and Rahul Murmuria and Angelos Stavrou Exposing Security Risks for Commercial Mobile Devices . . . . . . . . . . . . . 3--21 Fabio Martinelli and Ilaria Matteucci and Charles Morisset From Qualitative to Quantitative Enforcement of Security Policy . . . . . 22--35 Tyrone Cadenhead and Murat Kantarcioglu and Vaibhav Khadilkar and Bhavani Thuraisingham Design and Implementation of a Cloud-Based Assured Information Sharing System . . . . . . . . . . . . . . . . . 36--50 Victor Yakovlev and Valery Korzhik and Mihail Bakaev and Guillermo Morales-Luna Optimization of Key Distribution Protocols Based on Extractors for Noisy Channels within Active Adversaries . . . 51--64 Joe-Kai Tsay and Stig F. Mjòlsnes A Vulnerability in the UMTS and LTE Authentication and Key Agreement Protocols . . . . . . . . . . . . . . . 65--76 Alexandr Moldovyan and Nikolay Moldovyan and Evgenia Novikova Blind 384-bit Digital Signature Scheme 77--83 Xin Jin and Ravi Sandhu and Ram Krishnan RABAC: Role-Centric Attribute-Based Access Control . . . . . . . . . . . . . 84--96 Vladimir Oleshchuk Trust-Aware RBAC . . . . . . . . . . . . 97--107 Alexander Grusho and Nick Grusho and Elena Timonina Alternative Mechanisms for Information Security . . . . . . . . . . . . . . . . 108--113 Josée Desharnais and Erwanne P. Kanyabwero and Nadia Tawbi Enforcing Information Flow Policies by a Three-Valued Analysis . . . . . . . . . 114--129 Tigran Avanesov and Yannick Chevalier and Michaël Rusinowitch and Mathieu Turuani Towards the Orchestration of Secured Services under Non-disclosure Policies 130--145 Andrey Chechulin and Igor Kotenko and Vasily Desnitsky An Approach for Network Information Flow Analysis for Systems of Embedded Components . . . . . . . . . . . . . . . 146--155 Gustavo Gonzalez Granadillo and Hervé Débar and Grégoire Jacob and Chrystel Gaber Individual Countermeasure Selection Based on the Return On Response Investment Index . . . . . . . . . . . . 156--170 Roland Rieke and Luigi Coppolino and Andrew Hutchison and Elsa Prieto and Chrystel Gaber Security and Reliability Requirements for Advanced Security Event Management 171--180 Julian Schütte and Roland Rieke and Timo Winkelvos Model-Based Security Event Management 181--190 Andrey Dolgikh and Tomas Nykodym and Victor Skormin and Zachary Birnbaum Using Behavioral Modeling and Customized Normalcy Profiles as Protection against Targeted Cyber-Attacks . . . . . . . . . 191--202 Yosra Ben Mustapha and Hervé Débar and Grégoire Jacob Limitation of Honeypot/Honeynet Databases to Enhance Alert Correlation 203--217 Dmitry P. Zegzhda and Tatiana V. Stepanova Stochastic Model of Interaction between Botnets and Distributed Computer Defense Systems . . . . . . . . . . . . . . . . 218--225 Chaitanya Yavvari and Arnur Tokhtabayev and Huzefa Rangwala and Angelos Stavrou Malware Characterization Using Behavioral Components . . . . . . . . . 226--239 Anonymous Front Matter . . . . . . . . . . . . . . ??
Stefano Ceri and Emanuele Della Valle and Dino Pedreschi and Roberto Trasarti Mega-modeling for Big Data Analytics . . 1--15 Xin Cao and Lisi Chen and Gao Cong and Christian S. Jensen and Qiang Qu and Anders Skovsgaard Spatial Keyword Querying . . . . . . . . 16--29 Umeshwar Dayal and Chetan Gupta and Malu Castellanos and Song Wang and Manolo Garcia-Solaco Of Cubes, DAGs and Hierarchical Correlations: a Novel Conceptual Model for Analyzing Social Media Data . . . . 30--49 Antonio Villegas and Antoni Olivé and Maria-Ribera Sancho Understanding Constraint Expressions in Large Conceptual Schemas by Automatic Filtering . . . . . . . . . . . . . . . 50--63 Constantin Houy and Peter Fettke and Peter Loos Understanding Understandability of Conceptual Models --- What Are We Actually Talking about? . . . . . . . . 64--77 Jeannette Stark and Werner Esswein Rules from Cognition for Conceptual Modelling . . . . . . . . . . . . . . . 78--87 Stefan Anderlik and Bernd Neumayr and Michael Schrefl Using Domain Ontologies as Semantic Dimensions in Data Warehouses . . . . . 88--101 Yoones A. Sekhavat and Jeffrey Parsons Sliced Column-Store (SCS): Ontological Foundations and Practical Implications 102--115 Alexander Albrecht and Felix Naumann Schema Decryption for Large Extract-Transform-Load Systems . . . . . 116--125 Eirini Ntoutsi and Kostas Stefanidis and Kjetil Nòrvåg and Hans-Peter Kriegel Fast Group Recommendations by Applying User Clustering . . . . . . . . . . . . 126--140 Jingjing Wang and Haixun Wang and Zhongyuan Wang and Kenny Q. Zhu Understanding Tables on the Web . . . . 141--155 Sivan Yogev and Haggai Roitman Bridging the Gaps towards Advanced Data Discovery over Semi-structured Data . . 156--165 Inma Hernández and Carlos R. Rivero and David Ruiz and Rafael Corchuelo Towards Discovering Conceptual Models behind Web Sites . . . . . . . . . . . . 166--175 Sheng Li and Junhu Wang and Kewen Wang and Jiang Li A Distance-Based Spelling Suggestion Method for XML Keyword Search . . . . . 176--189 David W. Embley and Stephen W. Liddle and Deryle W. Lonsdale and Joseph S. Park and Byung-Joo Shin Cross-Language Hybrid Keyword and Semantic Search . . . . . . . . . . . . 190--203 Scott Britell and Lois M. L. Delcambre Mapping Semantic Widgets to Web-Based, Domain-Specific Collections . . . . . . 204--213 Markus Guentert and Matthias Kunze and Mathias Weske Evaluation Measures for Similarity Search Results in Process Model Repositories . . . . . . . . . . . . . . 214--227 Mario Cervera and Manoli Albert and Victoria Torres and Vicente Pelechano The MOSKitt4ME Approach: Providing Process Support in a Method Engineering Context . . . . . . . . . . . . . . . . 228--241 Nicolas Lumineau and Frédérique Laforest and Yann Gripay and Jean-Marc Petit Extending Conceptual Data Model for Dynamic Environment . . . . . . . . . . 242--251 Lam-Son Lê and Aditya Ghose Contracts + Goals = Roles? . . . . . . . 252--266 Anonymous Front Matter . . . . . . . . . . . . . . ??
Pierre-Alain Fouque and Mehdi Tibouchi Indifferentiable Hashing to Barreto--Naehrig Curves . . . . . . . . 1--17 Sihem Mesnager Semi-bent Functions with Multiple Trace Terms and Hyperelliptic Curves . . . . . 18--36 Rodrigo Abarzúa and Nicolas Thériault Complete Atomic Blocks for Elliptic Curves in Jacobian Coordinates over Prime Fields . . . . . . . . . . . . . . 37--55 Duong Hieu Phan and David Pointcheval and Mario Strefler Message-Based Traitor Tracing with Optimal Ciphertext Rate . . . . . . . . 56--77 Michel Abdalla and Jill-Jênn Vie Leakage-Resilient Spatial Encryption . . 78--99 Ioana Boureanu and Aikaterini Mitrokotsa and Serge Vaudenay On the Pseudorandom Function Assumption in (Secure) Distance-Bounding Protocols 100--120 Michel Abdalla and Angelo De Caro and Karina Mochetti Lattice-Based Hierarchical Inner Product Encryption . . . . . . . . . . . . . . . 121--138 Thomas Pöppelmann and Tim Güneysu Towards Efficient Arithmetic for Lattice-Based Cryptography on Reconfigurable Hardware . . . . . . . . 139--158 Daniel J. Bernstein and Tanja Lange and Peter Schwabe The Security Impact of a New Cryptographic Library . . . . . . . . . 159--176 Diego F. Aranha and Armando Faz-Hernández and Julio López and Francisco Rodríguez-Henríquez Faster Implementation of Scalar Multiplication on Koblitz Curves . . . . 177--193 Valérie Nachef and Jacques Patarin and Emmanuel Volte Zero-Knowledge for Multivariate Polynomials . . . . . . . . . . . . . . 194--213 Vanessa Dixon and Michael J. Jacobson Jr. and Renate Scheidler Improved Exponentiation and Key Agreement in the Infrastructure of a Real Quadratic Field . . . . . . . . . . 214--233 Kfir Barhum and Ueli Maurer UOWHFs from OWFs: Trading Regularity for Efficiency . . . . . . . . . . . . . . . 234--253 Andrew MacFie and Daniel Panario Random Mappings with Restricted Preimages . . . . . . . . . . . . . . . 254--270 Aleksandar Kircanski and Amr M. Youssef On the Sosemanuk Related Key-IV Sets . . 271--287 Conrado P. L. Gouvêa and Julio López High Speed Implementation of Authenticated Encryption for the MSP430X Microcontroller . . . . . . . . . . . . 288--304 Benedikt Gierlichs and Jörn-Marc Schmidt and Michael Tunstall Infective Computation and Dummy Rounds: Fault Protection for Block Ciphers without Check-before-Output . . . . . . 305--321 Anonymous Back Matter . . . . . . . . . . . . . . ?? Anonymous Front Matter . . . . . . . . . . . . . . ??
Matthias Bernt and Kun-Mao Chao and Jyun-Wei Kao Preserving Inversion Phylogeny Reconstruction . . . . . . . . . . . . . 1--13 Daniel G. Brown and Jakub Truszkowski Fast Phylogenetic Tree Reconstruction Using Locality-Sensitive Hashing . . . . 14--29 Constantinos Tsirogiannis and Brody Sandel and Dimitris Cheliotis Efficient Computation of Popular Phylogenetic Tree Measures . . . . . . . 30--43 Daniel G. Brown and Daniel Dexter SibJoin: a Fast Heuristic for Half-Sibling Reconstruction . . . . . . 44--56 Yun Zhu and Luay Nakhleh Reconstructing the Evolution of Molecular Interaction Networks under the DMC and Link Dynamics Models . . . . . . 57--68 Bjarni V. Halldórsson and Dima Blokh and Roded Sharan Estimating Population Size via Line Graph Reconstruction . . . . . . . . . . 69--80 Akshay Deepak and David Fernández-Baca and Michelle M. McMahon Extracting Conflict-Free Information from Multi-labeled Trees . . . . . . . . 81--92 Rob Gysel and Kristian Stevens and Dan Gusfield Reducing Problems in Unrooted Tree Compatibility to Restricted Triangulations of Intersection Graphs 93--105 Manuel Lafond and Krister M. Swenson and Nadia El-Mabrouk An Optimal Reconciliation Algorithm for Gene Trees with Polytomies . . . . . . . 106--122 Thi Hau Nguyen and Jean-Philippe Doyon and Stéphanie Pointet Accounting for Gene Tree Uncertainties Improves Gene Trees and Reconciliation Inference . . . . . . . . . . . . . . . 123--134 Nimrod Milo and Shay Zakov and Erez Katzenelson and Eitan Bachmat RNA Tree Comparisons via Unrooted Unordered Alignments . . . . . . . . . . 135--148 Philippe Rinaudo and Yann Ponty and Dominique Barth and Alain Denise Tree Decomposition and Parameterized Algorithms for RNA Structure-Sequence Alignment Including Tertiary Interactions and Pseudoknots . . . . . . 149--164 Anirban Bhar and Martin Haubrock and Anirban Mukhopadhyay $\delta$-TRIMAX: Extracting Triclusters and Analysing Coregulation in Time Series Gene Expression Data . . . . . . 165--177 Yen-Yi Lin and Phuong Dao and Faraz Hach and Marzieh Bakhshi and Fan Mo CLIIQ: Accurate Comparative Detection and Quantification of Expressed Isoforms in a Population . . . . . . . . . . . . 178--189 Brad Shutters and Sudheer Vakati and David Fernández-Baca Improved Lower Bounds on the Compatibility of Quartets, Triplets, and Multi-state Characters . . . . . . . . . 190--200 Yasuo Tabei Succinct Multibit Tree: Compact Representation of Multibit Trees by Using Succinct Data Structures in Chemical Fingerprint Searches . . . . . 201--213 Anthony J. Cox and Tobias Jakobi and Giovanna Rosone Comparing DNA Sequence Collections by Direct Comparison of Compressed Text Indexes . . . . . . . . . . . . . . . . 214--224 Alexander Bowe and Taku Onodera and Kunihiko Sadakane Succinct de Bruijn Graphs . . . . . . . 225--235 Rayan Chikhi and Guillaume Rizk Space-Efficient and Exact de Bruijn Graph Representation Based on a Bloom Filter . . . . . . . . . . . . . . . . . 236--248 Nikolay Vyahhi and Alex Pyshkin and Son Pham and Pavel A. Pevzner From de Bruijn Graphs to Rectangle Graphs for Genome Assembly . . . . . . . 249--261 Anonymous Front Matter . . . . . . . . . . . . . . ??
Andreas Björklund The Path Taken for $k$-Path . . . . . . 1--1 Dániel Marx Randomized Techniques for Parameterized Algorithms . . . . . . . . . . . . . . . 2--2 Marcin Pilipczuk and Micha\l Pilipczuk Finding a Maximum Induced Degenerate Subgraph Faster Than $2^n$ . . . . . . . 3--12 Yijia Chen and Kord Eickmeyer and Jörg Flum The Exponential Time Hypothesis and the Parameterized Clique Problem . . . . . . 13--24 Bruno Escoffier and Jérôme Monnot and Vangelis Th. Paschos New Results on Polynomial Inapproximability and Fixed Parameter Approximability of edge dominating set 25--36 Ivan Bliznets and Alexander Golovnev A New Algorithm for Parameterized MAX-SAT . . . . . . . . . . . . . . . . 37--48 Paola Bonizzoni and Riccardo Dondi and Giancarlo Mauri Restricted and Swap Common Superstring: a Parameterized View . . . . . . . . . . 49--60 \Lukasz Kowalik Nonblocker in H-Minor Free Graphs: Kernelization Meets Discharging . . . . 61--72 Jörg Flum and Moritz Müller Some Definitorial Suggestions for Parameterized Proof Complexity . . . . . 73--84 Petr A. Golovach and Pinar Heggernes and Dieter Kratsch An Exact Algorithm for Subset Feedback Vertex Set on Chordal Graphs . . . . . . 85--96 Fedor V. Fomin and Bart M. P. Jansen and Micha\l Pilipczuk Preprocessing Subgraph and Minor Problems: When Does a Small Vertex Cover Help? . . . . . . . . . . . . . . . . . 97--108 Cédric Bentz A Polynomial-Time Algorithm for Planar Multicuts with Few Source-Sink Pairs . . 109--119 Chiranjit Chakraborty and Rahul Santhanam Instance Compression for the Polynomial Hierarchy and beyond . . . . . . . . . . 120--134 Abhijin Adiga and Jasine Babu and L. Sunil Chandran Polynomial Time and Parameterized Approximation Algorithms for Boxicity 135--146 Petteri Kaski and Mikko Koivisto and Jesper Nederlof Homomorphic Hashing for Sparse Coefficient Extraction . . . . . . . . . 147--158 Petteri Kaski and Mikko Koivisto and Janne H. Korhonen Fast Monotone Summation over Disjoint Sets . . . . . . . . . . . . . . . . . . 159--170 Markus Bläser and Radu Curticapean Weighted Counting of $k$-Matchings Is $\#W[1]$-Hard . . . . . . . . . . . . . 171--181 Kenta Kitsunai and Yasuaki Kobayashi and Keita Komuro Computing Directed Pathwidth in $O(1.89^n)$ Time . . . . . . . . . . . . 182--193 James Abello and Pavel Klavík and Jan Kratochvíl MSOL Restricted Contractibility to Planar Graphs . . . . . . . . . . . . . 194--205 Michael Elberfeld and Christoph Stockhusen and Till Tantau On the Space Complexity of Parameterized Problems . . . . . . . . . . . . . . . . 206--217 Anonymous Front Matter . . . . . . . . . . . . . . ??
Lorenzo Blanco and Valter Crescenzi and Paolo Merialdo and Paolo Papotti Web Data Reconciliation: Models and Experiences . . . . . . . . . . . . . . 1--15 Varish Mulwad and Tim Finin and Anupam Joshi A Domain Independent Framework for Extracting Linked Semantic Data from Tables . . . . . . . . . . . . . . . . . 16--33 Jörg Unbehauen and Sebastian Hellmann and Sören Auer and Claus Stadler Knowledge Extraction from Structured Sources . . . . . . . . . . . . . . . . 34--52 Marco Brambilla and Stefano Ceri and Nicola Cinefra and Anish Das Sarma and Fabio Forghieri Extracting Information from Google Fusion Tables . . . . . . . . . . . . . 53--67 Alessandro Bozzon and Stefano Ceri and Sr\dbaran Zagorac Materialization of Web Data Sources . . 68--81 Vincenzo Guerrisi and Pietro La Torre and Silvia Quarteroni Natural Language Interfaces to Data Services . . . . . . . . . . . . . . . . 82--97 Atakan Aral and Ilker Zafer Akin and Marco Brambilla Mobile Multi-domain Search over Structured Web Data . . . . . . . . . . 98--110 Marco Brambilla and Massimiliano Zanoni Clustering and Labeling of Multi-dimensional Mixed Structured Data 111--126 Rober Morales-Chaparro and Juan Carlos Preciado and Fernando Sánchez-Figueroa Visualizing Search Results: Engineering Visual Patterns Development for the Web 127--142 Alessandro Bozzon and Emanuele Della Valle and Sara Magliacane Extending SPARQL Algebra to Support Efficient Evaluation of Top-K SPARQL Queries . . . . . . . . . . . . . . . . 143--156 Silvana Castano and Alfio Ferrara and Stefano Montanelli Thematic Clustering and Exploration of Linked Data . . . . . . . . . . . . . . 157--175 Marcelo Cohen and Daniel Schwabe Support for Reusable Explorations of Linked Data in the Semantic Web . . . . 176--190 Sara Cohen and Benny Kimelfeld and Georgia Koutrika A Survey on Proximity Measures for Social Networks . . . . . . . . . . . . 191--206 Alessandro Bozzon and Marco Brambilla and Stefano Ceri and Andrea Mauri Extending Search to Crowds: a Model-Driven Approach . . . . . . . . . 207--222 Jörn Hees and Thomas Roth-Berghofer and Ralf Biedert and Benjamin Adrian and Andreas Dengel BetterRelations: Collecting Association Strengths for Linked Data Triples with a Game . . . . . . . . . . . . . . . . . . 223--239 Marco Brambilla and Sofia Ceppi and Nicola Gatti and Enrico H. Gerding An Incentive--Compatible Revenue--Sharing Mechanism for the Economic Sustainability of Multi--domain Search Based on Advertising . . . . . . 240--254 Anonymous Back Matter . . . . . . . . . . . . . . ?? Anonymous Front Matter . . . . . . . . . . . . . . ??
Manfred Broy and María Victoria Cengarle and Eva Geisberger Cyber-Physical Systems: Imminent Challenges . . . . . . . . . . . . . . . 1--28 Dave Cliff and Linda Northrop The Global Financial Markets: An Ultra-Large-Scale Systems Perspective 29--70 Justin Keen What Is a Care Pathway? . . . . . . . . 71--80 Douglas S. Lange and Phillip Verbancsics and Robert S. Gutzwiller and John Reeder and Cullen Sarles Command and Control of Teams of Autonomous Systems . . . . . . . . . . . 81--93 John A. McDermid The Risks of LSCITS: The Odds Are Stacked against Us . . . . . . . . . . . 94--117 Marco Autili and Vittorio Cortellessa and Davide Di Ruscio and Paola Inverardi Integration Architecture Synthesis for Taming Uncertainty in the Digital Space 118--131 Bangdao Chen and A. W. Roscoe Social Networks for Importing and Exporting Security . . . . . . . . . . . 132--147 Jose Faleiro and Sriram Rajamani and Kaushik Rajan and G. Ramalingam and Kapil Vaswani CScale --- a Programming Model for Scalable and Reliable Distributed Applications . . . . . . . . . . . . . . 148--156 David Garlan and Vishal Dwivedi and Ivan Ruchkin and Bradley Schmerl Foundations and Tools for End-User Architecting . . . . . . . . . . . . . . 157--182 Arne Haber and Holger Rendel and Bernhard Rumpe and Ina Schaefer Evolving Delta-Oriented Software Product Line Architectures . . . . . . . . . . . 183--208 Reinhard von Hanxleden and Edward A. Lee and Christian Motika and Hauke Fuhrmann Multi-view Modeling and Pragmatics in 2020 . . . . . . . . . . . . . . . . . . 209--223 Rolf Hennicker and Matthias Ludwig View-Based Development of a Simulation Framework for Multi-disciplinary Environmental Modelling . . . . . . . . 224--250 Richard F. Paige and Phillip J. Brooke and Xiaocheng Ge and Christopher D. S. Power Revealing Complexity through Domain-Specific Modelling and Analysis 251--265 Ian Sommerville and Russell Lock and Tim Storer Information Requirements for Enterprise Systems . . . . . . . . . . . . . . . . 266--282 Étienne André and Kais Klai and Hanen Ochi and Laure Petrucci A Counterexample-Based Incremental and Modular Verification Approach . . . . . 283--302 Radu Calinescu and Shinji Kikuchi and Kenneth Johnson Compositional Reverification of Probabilistic Safety Properties for Large-Scale Complex IT Systems . . . . . 303--329 Maximilien Colange and Lom-Messan Hillah and Fabrice Kordon and Pierre Parutto Extreme Symmetries in Complex Distributed Systems: The Bag-Oriented Approach . . . . . . . . . . . . . . . . 330--352 Klaus Dräger and Marta Kwiatkowska Towards Communication-Based Steering of Complex Distributed Systems . . . . . . 353--368 Carlo Ghezzi Evolution, Adaptation, and the Quest for Incrementality . . . . . . . . . . . . . 369--379 Thomas A. Henzinger and Dejan Ni\vckovi\'c Independent Implementability of Viewpoints . . . . . . . . . . . . . . . 380--395 Anonymous Back Matter . . . . . . . . . . . . . . ?? Anonymous Front Matter . . . . . . . . . . . . . . ??
Haitham Bou Ammar and Matthew E. Taylor and Karl Tuyls and Gerhard Weiss Reinforcement Learning Transfer Using a Sparse Coded Inter-task Mapping . . . . 1--16 Bo An and Milind Tambe Game Theory for Security: An Important Challenge for Multiagent Systems . . . . 17--30 Tim Brys and Yann-Michaël De Hauwere and Ann Nowé and Peter Vrancx Local Coordination in Online Distributed Constraint Optimization Problems . . . . 31--47 Álvaro Carrera and Carlos A. Iglesias Improving Diagnosis Agents with Hybrid Hypotheses Confirmation Reasoning Techniques . . . . . . . . . . . . . . . 48--62 Massimo Cossentino and Carmelo Lodato and Salvatore Lopes and Patrizia Ribino and Valeria Seidita Towards a Design Process for Modeling MAS Organizations . . . . . . . . . . . 63--79 Chukwuemeka David Emele and Timothy J. Norman and Simon Parsons Argumentation Strategies for Task Delegation . . . . . . . . . . . . . . . 80--96 Nicoletta Fornara and Daniel Okouya and Marco Colombetti Using OWL 2 DL for Expressing ACL Content and Semantics . . . . . . . . . 97--113 Marie-Pierre Gleizes Self-adaptive Complex Systems . . . . . 114--128 Cristian Gratie and Adina Magda Florea Argumentation Semantics for Agents . . . 129--144 Michael Kaisers and Daan Bloembergen and Karl Tuyls Multi-agent Learning and the Reinforcement Gradient . . . . . . . . . 145--159 Eric M. Kok and John-Jules Ch. Meyer and Herre van Oostendorp and Henry Prakken A Methodology for the Generation of Multi-agent Argumentation Dialogue Scenarios . . . . . . . . . . . . . . . 160--174 Peter McBurney What Are Models for? . . . . . . . . . . 175--188 Francisco S. Melo and Matthijs T. J. Spaan and Stefan J. Witwicki QueryPOMDP: POMDP-Based Communication in Multiagent Systems . . . . . . . . . . . 189--204 Camille Persson and Gauthier Picard and Fano Ramparany and Olivier Boissier A Multi-agent Based Governance of Machine-to-Machine Systems . . . . . . . 205--220 Valeria Seidita and Massimo Cossentino and Antonio Chella A Proposal of Process Fragment Definition and Documentation . . . . . . 221--237 Filipo Studzinski Perotto Recognizing Internal States of Other Agents to Anticipate and Coordinate Interactions . . . . . . . . . . . . . . 238--258 Anonymous Back Matter . . . . . . . . . . . . . . ?? Anonymous Front Matter . . . . . . . . . . . . . . ??
Cristian Gratie and Adina Magda Florea Fuzzy Labeling for Argumentation Frameworks . . . . . . . . . . . . . . . 1--8 A. Kakas and L. Amgoud and G. Kern-Isberner and N. Maudet and P. Moraitis ABA: Argumentation Based Agents . . . . 9--27 Hiroyuki Kido Practical Argumentation Semantics for Pareto Optimality and Its Relationships with Values . . . . . . . . . . . . . . 28--45 Yoshifumi Maruyama and Taichi Hasegawa and Takeshi Hagiwara and Hajime Sawamura Syncretic Argumentation for Multi-agents by Lattice Homomorphism, Fusion and Sum 46--65 Kazuko Takahashi and Yu Nambu A Semantics for Dynamic Argumentation Frameworks . . . . . . . . . . . . . . . 66--85 Elise Bonzon and Nicolas Maudet On the Outcomes of Multiparty Persuasion 86--101 Ioan Alfred Letia and Adrian Groza Arguing with Justifications between Collaborating Agents . . . . . . . . . . 102--116 T. L. van der Weide and F. Dignum Reasoning about and Discussing Preferences between Arguments . . . . . 117--135 T. L. van der Weide and F. Dignum and J.-J. Ch. Meyer and H. Prakken and G. A. W. Vreeswijk Multi-criteria Argument Selection in Persuasion Dialogues . . . . . . . . . . 136--153 Chukwuemeka David Emele and Timothy J. Norman and Simon Parsons Argumentation Strategies for Collaborative Plan Resourcing . . . . . 154--173 Pere Pardo and Sergio Pajares Ferrando and Eva Onaindia and Lluís Godo and Pilar Dellunde Cooperative Dialogues for Defeasible Argumentation-Based Planning . . . . . . 174--193 Simon Parsons and Elizabeth Sklar and Peter McBurney Using Argumentation to Reason with and about Trust . . . . . . . . . . . . . . 194--212 Elizabeth Sklar and M. Q. Azhar Toward the Application of Argumentation to Interactive Learning Systems . . . . 213--230 Anonymous Back Matter . . . . . . . . . . . . . . ?? Anonymous Front Matter . . . . . . . . . . . . . . ??
Francisco V. Cipolla Ficarra Local Tourism and Cultural Heritage Internalization: Myths and Realities from Software . . . . . . . . . . . . . 1--14 Susana I. Herrera and Silvia del V. Zuaín Emotion and Communicability in e-Culture Applications . . . . . . . . . . . . . . 15--24 Francisco V. Cipolla Ficarra The Expansion Era of the Communicability: First Nations for the Local and Global Promotion of Cultural and Natural Heritage . . . . . . . . . . 25--37 Leda B. Digión and Mabel Sosa Conceptual Integration of Usability and Communicability for the Interface Maintenance of E-learning Type Collaborative Systems . . . . . . . . . 38--48 Francisco V. Cipolla Ficarra Trichotomic Analysis: Communicability, Distance Learning and Hypermedia Systems Off-Line . . . . . . . . . . . . . . . . 49--63 Natalia Trejo and Sandra Casas and Karim Hallar A Feature-Oriented WSDL Extension for Describing Grid Services . . . . . . . . 64--72 Francisco V. Cipolla Ficarra Digital Photography and Geographical Information in the Web 2.0: a Quality Evaluation of the Contents . . . . . . . 73--88 Andreas Kratky Playing Nature --- a Short History of Our Mediated Relationship to Nature . . 89--98 Gonzalo Martín Sánchez Virtual Reconstruction of the Wall and Alcazar of Molina de Segura . . . . . . 99--112 Beatriz Sainz de Abajo and Lucas D. P. Mendes eGovernment: Real Democracy in Digital Society . . . . . . . . . . . . . . . . 113--123 Mauricio Pérez Jiménez Reviews on the Narrative Status of Video Games . . . . . . . . . . . . . . . . . 124--132 Sohaila Binte Ridwan and Hasan Shahid Ferdous The State of OpenStreetMap in Bangladesh 133--143 Luciana Benotti and Alexandre Denis Building Virtual Guides for Virtual Worlds . . . . . . . . . . . . . . . . . 144--153 T. Cerratto-Pargman and O. Knutsson User Centered Development of Automatic E-mail Answering for the Public Sector 154--156 Anonymous Back Matter . . . . . . . . . . . . . . ?? Anonymous Front Matter . . . . . . . . . . . . . . ??
Francisco V. Cipolla Ficarra The Argentinization of the User Centered Design . . . . . . . . . . . . . . . . . 1--14 María M. Clusella and María G. Mitre Integrated Synergy for Cultural Contents Recursivity in e-Culture System . . . . 15--25 M. Claudia Buzzi and Francesco Donini Federation and Security Aspects for the Management of the EHR in Italy . . . . . 26--37 Juan Manuel Rodríguez and Cristian Mateos Are Smartphones Really Useful for Scientific Computing? . . . . . . . . . 38--47 Vili Podgorelec Ontology and Rule Based Inferring on Project Teams . . . . . . . . . . . . . 48--57 Elina Pacini and Melisa Ribero and Cristian Mateos Simulation on Cloud Computing Infrastructures of Parametric Studies of Nonlinear Solids Problems . . . . . . . 58--70 Francisco V. Cipolla Ficarra New Technologies of the Information and Communication: Analysis of the Constructors and Destructors of the European Educational System . . . . . . 71--84 Rubén Fares and Rosanna Costaguta A Multi-agent Model That Promotes Team-Role Balance in Computer Supported Collaborative Learning . . . . . . . . . 85--91 Virginia Yannibelli and Analía Amandi A Memetic Algorithm for Collaborative Learning Team Formation in the Context of Software Engineering Courses . . . . 92--103 Saad Alharbi Empirically Derived Guidelines for Audio-Visual E-mail Browsing . . . . . . 104--113 Alejandro Corbellini and Silvia Schiaffino Intelligent Analysis of User Interactions in a Collaborative Software Engineering Context . . . . . . . . . . 114--123 Francisco V. Cipolla Ficarra Motivation for Next Generation of Users versus Parochialism in Software Engineering . . . . . . . . . . . . . . 124--133 Rosanna Costaguta and Elena Durán Group and Students Profiles to Support Collaborative Learning in a Multiagent Model . . . . . . . . . . . . . . . . . 134--139 Guillermo Rodríguez and Alvaro Soria Teaching Scrum to Software Engineering Students with Virtual Reality Support 140--150 Francisco V. Cipolla Ficarra and Andreas Kratky Security of the Automatic Information On-Line: a Study of the Controls Forbid 151--164 Leda B. Digión and Mabel Sosa Communicability and Usability for the Interface in e-Learning . . . . . . . . 165--175 Matías Nicoletti and J. Andrés Diaz-Pace Towards Software Architecture Documents Matching Stakeholders' Interests . . . . 176--185 Sergio Ariel Salinas and Carlos García Garino An Architecture for Resource Behavior Prediction to Improve Scheduling Systems Performance on Enterprise Desktop Grids 186--196 Juan Francisco Silva Logroño and Luis Berdún Discrete Sequences Analysis for Detecting Software Design Patterns . . . 197--207 Marco Crasso and Cristian Mateos A Programming Model for the Semantic Web 208--218 Anonymous Front Matter . . . . . . . . . . . . . . ??
Nikola Kasabov and Stefan Schliebs and Ammar Mohemmed Modelling the Effect of Genes on the Dynamics of Probabilistic Spiking Neural Networks for Computational Neurogenetic Modelling . . . . . . . . . . . . . . . 1--9 Clelia Di Serio and Danilo Pellin and Alessandro Ambrosi and Ingrid Glad and Arnoldo Frigessi Biostatistics Meets Bioinformatics in Integrating Information from Highdimensional Heterogeneous Genomic Data: Two Examples from Rare Genetic Diseases and Infectious Diseases . . . . 10--20 Claudia Angelini and Daniela De Canditiis and Marianna Pensky and Naomi Brownstein Bayesian Models for the Multi-sample Time-Course Microarray Experiments . . . 21--35 Annalisa Barla and Giuseppe Jurman and Roberto Visintainer and Margherita Squillario A Machine Learning Pipeline for Discriminant Pathways Identification . . 36--48 Paulo J. G. Lisboa and Ian H. Jarman and Terence A. Etchells and Simon J. Chambers Discovering Hidden Pathways in Bioinformatics . . . . . . . . . . . . . 49--60 Niccol\`o Bassani and Federico Ambrogi and Cristina Battaglia and Elia Biganzoli Reliability of miRNA Microarray Platforms: An Approach Based on Random Effects Linear Models . . . . . . . . . 61--72 Roberta Spinelli and Rocco Piazza and Alessandra Pirola and Simona Valletta and Roberta Rostagno A Bioinformatics Procedure to Identify and Annotate Somatic Mutations in Whole-Exome Sequencing Data . . . . . . 73--82 Félix Fernando González-Navarro and Lluís A. Belanche-Muñoz Feature Selection for the Prediction and Visualization of Brain Tumor Types Using Proton Magnetic Resonance Spectroscopy Data . . . . . . . . . . . . . . . . . . 83--97 Vicent J. Ribas and Jesús Caballero López and Anna Sáez de Tejada and Juan Carlos Ruiz-Rodríguez On the Use of Graphical Models to Study ICU Outcome Prediction in Septic Patients Treated with Statins . . . . . 98--111 Arif Canakoglu and Giorgio Ghisalberti and Marco Masseroli Integration of Biomolecular Interaction Data in a Genomic and Proteomic Data Warehouse to Support Biomedical Knowledge Discovery . . . . . . . . . . 112--126 Castrense Savojardo and Piero Fariselli and Damiano Piovesan and Pier Luigi Martelli Machine-Learning Methods to Predict Protein Interaction Sites in Folded Proteins . . . . . . . . . . . . . . . . 127--135 Martha Ivón Cárdenas and Alfredo Vellido and Iván Olier and Xavier Rovira and Jesús Giraldo Complementing Kernel-Based Visualization of Protein Sequences with Their Phylogenetic Tree . . . . . . . . . . . 136--149 Pavol Jancura and Dimitrios Mavroeidis and Elena Marchiori DEEN: a Simple and Fast Algorithm for Network Community Detection . . . . . . 150--163 Paolo Castiglioni Self-similarity in Physiological Time Series: New Perspectives from the Temporal Spectrum of Scale Exponents . . 164--175 Antonio Eleuteri and Azzam F. G. Taktak Support Vector Machines for Survival Regression . . . . . . . . . . . . . . . 176--189 Alexandru George Floares and Irina Luludachi and Colin Dinney and Liana Adam Boosted C5 Trees $i$-Biomarkers Panel for Invasive Bladder Cancer Progression Prediction . . . . . . . . . . . . . . . 190--200 Federico Zambelli and Giulio Pavesi A Faster Algorithm for Motif Finding in Sequences from ChIP-Seq Data . . . . . . 201--212 Fabrice Colas and Jeanine J. Houwing-Duistermaat Case/Control Prediction from Illumina Methylation Microarray's $\beta$ and Two-Color Channels in the Presence of Batch Effects . . . . . . . . . . . . . 213--225 Francesco Napolitano and Roberto Tagliaferri Supporting the Design, Communication and Management of Bioinformatic Protocols through the Leaf Tool . . . . . . . . . 226--237 Davide Chicco and Marco Tagliasacchi and Marco Masseroli Genomic Annotation Prediction Based on Integrated Information . . . . . . . . . 238--252 Anonymous Back Matter . . . . . . . . . . . . . . ?? Anonymous Front Matter . . . . . . . . . . . . . . ??
Kaisa Nyberg ``Provable'' Security against Differential and Linear Cryptanalysis 1--8 Itai Dinur and Orr Dunkelman and Adi Shamir Improved Attacks on Full GOST . . . . . 9--28 Andrey Bogdanov and Meiqin Wang Zero Correlation Linear Cryptanalysis with Reduced Data Complexity . . . . . . 29--48 Meiqin Wang and Yue Sun and Elmar Tischhauser and Bart Preneel A Model for Structure Attacks, with Applications to PRESENT and Serpent . . 49--68 Jiqiang Lu A Methodology for Differential-Linear Cryptanalysis and Its Applications . . . 69--89 Ya Liu and Leibo Li and Dawu Gu and Xiaoyun Wang and Zhiqiang Liu and Jiazhe Chen and Wei Li New Observations on Impossible Differential Cryptanalysis of Reduced-Round Camellia . . . . . . . . . 90--109 Jérémy Jean and María Naya-Plasencia and Thomas Peyrin Improved Rebound Attack on the Finalist Gròstl . . . . . . . . . . . . . . . . . 110--126 Shuang Wu and Dengguo Feng and Wenling Wu and Jian Guo and Le Dong and Jian Zou (Pseudo) Preimage Attack on Round-Reduced Gròstl Hash Function and Others . . . . . . . . . . . . . . . . . 127--145 María Naya-Plasencia and Thomas Peyrin Practical Cryptanalysis of ARMADILLO2 146--162 Lei Wei and Thomas Peyrin and Przemys\law Soko\lowski and San Ling and Josef Pieprzyk and Huaxiong Wang On the (In)Security of IDEA in Various Hashing Modes . . . . . . . . . . . . . 163--179 Phillip Rogaway and Mark Wooding and Haibin Zhang The Security of Ciphertext Stealing . . 180--195 Ewan Fleischmann and Christian Forler and Stefan Lucks McOE: a Family of Almost Foolproof On-Line Authenticated Encryption Schemes 196--215 Markku-Juhani Olavi Saarinen Cycling Attacks on GCM, GHASH and Other Polynomial MACs and Hashes . . . . . . . 216--225 Florian Mendel and Tomislav Nad and Martin Schläffer Collision Attacks on the Reduced Dual-Stream Hash Function RIPEMD-128 . . 226--243 Dmitry Khovratovich and Christian Rechberger and Alexandra Savelieva Bicliques for Preimages: Attacks on Skein-512 and the SHA-2 Family . . . . . 244--263 Ji Li and Takanori Isobe and Kyoji Shibutani Converting Meet-In-The-Middle Preimage Attack into Pseudo Collision Attack: Application to SHA-2 . . . . . . . . . . 264--286 Vesselin Velichkov and Nicky Mouha and Christophe De Canni\`ere and Bart Preneel UNAF: a Special Set of Additive Differences with Application to the Differential Analysis of ARX . . . . . . 287--305 Nicolas T. Courtois and Pouyan Sepehrdad and Petr Su\vsil and Serge Vaudenay ElimLin Algorithm Revisited . . . . . . 306--325 Long Hoang Nguyen and A. W. Roscoe Short-Output Universal Hash Functions and Their Use in Fast and Secure Data Authentication . . . . . . . . . . . . . 326--345 Stefan Heyse and Eike Kiltz and Vadim Lyubashevsky and Christof Paar and Krzysztof Pietrzak Lapin: An Efficient Authentication Protocol Based on Ring-LPN . . . . . . . 346--365 Anonymous Front Matter . . . . . . . . . . . . . . ??