Last update:
Sat Mar 30 12:29:02 MDT 2019
Pascal 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 . . . . . . . . . . . . . . ??