Last update: Sat Aug 31 12:36:11 MDT 2024
Volume 7550, 2012Miko\laj Boja\'nczyk and S\lawomir Lasota Fraenkel--Mostowski Sets with Non-homogeneous Atoms . . . . . . . . . 1--5 Sylvain Salvati and Igor Walukiewicz Recursive Schemes, Krivine Machines, and Collapsible Pushdown Automata . . . . . 6--20 Joël Ouaknine and James Worrell Decision Problems for Linear Recurrence Sequences . . . . . . . . . . . . . . . 21--28 Antonín Ku\vcera Playing Games with Counter Automata . . 29--41 Ingo Felscher LTL-Model-Checking via Model Composition 42--53 Christoph Haase and Joël Ouaknine and James Worrell On the Relationship between Reachability Problems in Timed and Counter Automata 54--65 Stefano Brocchi and Paolo Massazza Smooth Sand Piles . . . . . . . . . . . 66--78 Luca Benvenuti and Davide Bresolin and Pieter Collins and Alberto Ferrari Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis . . . . . . . . . . . . . . . . 79--91 S. Akshay and Lo\"\ic Hélouët and Claude Jard and Pierre-Alain Reynier Robustness of Time Petri Nets under Guard Enlargement . . . . . . . . . . . 92--106 Khalil Ghorbal and Parasara Sridhar Duggirala and Vineet Kahlon Efficient Probabilistic Model Checking of Systems with Ranged Probabilities . . 107--120 Rafiq Saleh On the Length of Knot Transformations via Reidemeister Moves I and II . . . . 121--136 Paul Hänsch and Stefan Kowalewski Invariants for LTI Systems with Uncertain Input . . . . . . . . . . . . 137--148 Anonymous Back Matter . . . . . . . . . . . . . . ?? Anonymous Front Matter . . . . . . . . . . . . . . ??
Dieter Rautenbach Account on Intervals . . . . . . . . . . 1--1 David Peleg Constructing Resilient Structures in Graphs: Rigid vs. Competitive Fault-Tolerance . . . . . . . . . . . . 2--2 Amitava Bhattacharya Alternating Reachability and Integer Sum of Closed Alternating Trails . . . . . . 3--3 Martin Charles Golumbic and Michal Stern and Avivit Levy and Gila Morgenstern Student Poster Session . . . . . . . . . 4--6 Anne Berry and Annegret Wagler Triangulation and Clique Separator Decomposition of Claw-Free Graphs . . . 7--21 Flavia Bonomo and Gianpaolo Oriolo and Claudia Snels Minimum Weighted Clique Cover on Strip-Composed Perfect Graphs . . . . . 22--33 Stefan Kratsch and Pascal Schweitzer Graph Isomorphism for Graph Classes Characterized by Two Forbidden Induced Subgraphs . . . . . . . . . . . . . . . 34--45 Danny Hermelin and Julián Mestre and Dror Rawitz Optimization Problems in Dotted Interval Graphs . . . . . . . . . . . . . . . . . 46--56 Mathew C. Francis and Daniel Gonçalves and Pascal Ochem The Maximum Clique Problem in Multiple Interval Graphs (Extended Abstract) . . 57--68 Péter Biró and Matthijs Bomhoff and Petr A. Golovach and Walter Kern and Daniël Paulusma Solutions for the Stable Roommates Problem with Payments . . . . . . . . . 69--80 Daniel Berend and Amir Sapir Which Multi-peg Tower of Hanoi Problems Are Exponential? . . . . . . . . . . . . 81--90 Emilio Di Giacomo and Walter Didimo and Giuseppe Liotta and Fabrizio Montecchiani $h$-Quasi Planar Drawings of Bounded Treewidth Graphs in Linear Area . . . . 91--102 Christopher Auer and Christian Bachmaier and Franz J. Brandenburg and Andreas Gleißner The Duals of Upward Planar Graphs on Cylinders . . . . . . . . . . . . . . . 103--113 Leah Epstein and Asaf Levin and Gerhard J. Woeginger The (Weighted) Metric Dimension of Graphs: Hard and Easy Cases . . . . . . 114--125 Konstanty Junosza-Szaniawski and Jan Kratochvíl and Mathieu Liedloff and Pawe\l Rz\ka\.zewski Determining the $L(2,1)$-Span in Polynomial Space . . . . . . . . . . . . 126--137 Jérôme Javelle and Mehdi Mhalla and Simon Perdrix On the Minimum Degree Up to Local Complementation: Bounds and Complexity 138--147 Haiko Müller On the Stable Degree of Graphs . . . . . 148--159 \Lukasz Kowalik and Marcin Mucha A 9 k Kernel for Nonseparating Independent Set in Planar Graphs . . . . 160--171 Pranabendu Misra and Venkatesh Raman and M. S. Ramanujan and Saket Saurabh Parameterized Algorithms for Even Cycle Transversal . . . . . . . . . . . . . . 172--183 Matthias Mnich and Rico Zenklusen Bisections above Tight Lower Bounds . . 184--193 Anonymous Front Matter . . . . . . . . . . . . . . ??
Claire Gerrard and John McCall and George M. Coghill and Christopher Macleod Temporal Patterns in Artificial Reaction Networks . . . . . . . . . . . . . . . . 1--8 Iakov Karandashev and Boris Kryzhanovsky and Leonid Litinskii Properties of the Hopfield Model with Weighted Patterns . . . . . . . . . . . 9--16 Farouk Chérif Dynamics and Oscillations of GHNNs with Time-Varying Delay . . . . . . . . . . . 17--24 Boris Durán and Yulia Sandamirskaya and Gregor Schöner A Dynamic Field Architecture for the Generation of Hierarchically Organized Sequences . . . . . . . . . . . . . . . 25--32 Michal Matuszak and Jacek Mi\kekisz Stochastic Techniques in Influence Diagrams for Learning Bayesian Network Structure . . . . . . . . . . . . . . . 33--40 Iakov Karandashev and Boris Kryzhanovsky The Mix-Matrix Method in the Problem of Binary Quadratic Optimization . . . . . 41--48 James Austin and Stephen Hobson and Nathan Burles and Simon O'Keefe A Rule Chaining Architecture Using a Correlation Matrix Memory . . . . . . . 49--56 Davide Bacciu and Alessio Micheli and Alessandro Sperduti A Generative Multiset Kernel for Structured Data . . . . . . . . . . . . 57--64 Rafal Zdunek Spectral Signal Unmixing with Interior-Point Nonnegative Matrix Factorization . . . . . . . . . . . . . 65--72 Dan Wang and Donghong Ji and Wei Huang Hybrid Optimized Polynomial Neural Networks with Polynomial Neurons and Fuzzy Polynomial Neurons . . . . . . . . 73--80 KyungHyun Cho and Alexander Ilin and Tapani Raiko Tikhonov-Type Regularization for Restricted Boltzmann Machines . . . . . 81--88 Richard Wood and Ian Bruce and Peter Mascher Modeling of Spiking Analog Neural Circuits with Hebbian Learning, Using Amorphous Semiconductor Thin Film Transistors with Silicon Oxide Nitride Semiconductor Split Gates . . . . . . . 89--96 Marcel Beuler and Aubin Tchaptchet and Werner Bonath and Svetlana Postnova and Hans Albert Braun Real-Time Simulations of Synchronization in a Conductance-Based Neuronal Network with a Digital FPGA Hardware-Core . . . 97--104 Anand Singh and Pierre J. Magistretti and Bruno Weber and Renaud Jolivet Impact of Frequency on the Energetic Efficiency of Action Potentials . . . . 105--112 Kit Cheung and Simon R. Schultz and Wayne Luk A Large-Scale Spiking Neural Network Accelerator for FPGA Systems . . . . . . 113--120 Swadesh Choudhary and Steven Sloan and Sam Fok and Alexander Neckar and Eric Trautmann and Peiran Gao Silicon Neurons That Compute . . . . . . 121--128 Andres Gaona Barrera and Manuel Moreno Arostegui A Communication Infrastructure for Emulating Large-Scale Neural Networks Models . . . . . . . . . . . . . . . . . 129--136 Nooraini Yusoff and André Grüning and Scott Notley Pair-Associate Learning with Modulated Spike-Time Dependent Plasticity . . . . 137--144 Everton J. Agnes and Rubem Erichsen Jr. and Leonardo G. Brunnet Associative Memory in Neuronal Networks of Spiking Neurons: Architecture and Storage Analysis . . . . . . . . . . . . 145--152 Shota Kirikawa and Takashi Ogawa and Toshimichi Saito Bifurcating Neurons with Filtered Base Signals . . . . . . . . . . . . . . . . 153--160 Anonymous Front Matter . . . . . . . . . . . . . . ??
Shinya Suzumura and Ryohei Nakano Complex-Valued Multilayer Perceptron Search Utilizing Eigen Vector Descent and Reducibility Mapping . . . . . . . . 1--8 Kazuyuki Hara and Kentaro Katahira and Kazuo Okanoya and Masato Okada Theoretical Analysis of Function of Derivative Term in On-Line Gradient Descent Learning . . . . . . . . . . . . 9--16 V\vera K\ocircurková Some Comparisons of Networks with Radial and Kernel Units . . . . . . . . . . . . 17--24 Geraldina Ribeiro and Wouter Duivesteijn and Carlos Soares and Arno Knobbe Multilayer Perceptron for Label Ranking 25--32 Irena Koprinska and Mashud Rana and Vassilios G. Agelidis Electricity Load Forecasting: a Weekday-Based Approach . . . . . . . . . 33--41 Michel Tokic and Günther Palm Adaptive Exploration Using Stochastic Neurons . . . . . . . . . . . . . . . . 42--49 Frank-Florian Steege and Horst-Michael Groß Comparison of Long-Term Adaptivity for Neural Networks . . . . . . . . . . . . 50--57 Franck Mamalet and Christophe Garcia Simplifying ConvNets for Fast Learning 58--65 João Fausto Lorenzato de Oliveira and Teresa B. Ludermir A Modified Artificial Fish Swarm Algorithm for the Optimization of Extreme Learning Machines . . . . . . . 66--73 Hiroshi Ninomiya Robust Training of Feedforward Neural Networks Using Combined Online/Batch Quasi-Newton Techniques . . . . . . . . 74--83 Doris Entner and Patrik O. Hoyer Estimating a Causal Order among Groups of Variables in Linear Models . . . . . 84--91 Philemon Brakel and Sander Dieleman and Benjamin Schrauwen Training Restricted Boltzmann Machines with Multi-tempering: Harnessing Parallelization . . . . . . . . . . . . 92--99 Luiz C. B. Torres and Cristiano L. Castro and Antônio P. Braga A Computational Geometry Approach for Pareto-Optimal Selection of Neural Networks . . . . . . . . . . . . . . . . 100--107 Yohannes Kassahun and Hendrik Wöhrle and Alexander Fabisch and Marc Tabie Learning Parameters of Linear Models in Compressed Parameter Space . . . . . . . 108--115 Daichi Nakano and Shin-ichi Maeda and Shin Ishii Control of a Free-Falling Cat by Policy-Based Reinforcement Learning . . 116--123 Tele Hao and Tapani Raiko and Alexander Ilin and Juha Karhunen Gated Boltzmann Machine in Texture Modeling . . . . . . . . . . . . . . . . 124--131 Pavel Krömer and Emilio Corchado and Václav Sná\vsel and Jan Plato\vs and Laura García-Hernández Neural PCA and Maximum Likelihood Hebbian Learning on the GPU . . . . . . 132--139 Marta Díez-Fernández and Sergio Alvarez Teleña and Denise Gorse Construction of Emerging Markets Exchange Traded Funds Using Multiobjective Particle Swarm Optimisation . . . . . . . . . . . . . . 140--147 André R. Gonçalves and Rosana Veroneze and Salomão Madeiro and Carlos R. B. Azevedo The Influence of Supervised Clustering for RBFNN Centers Definition: a Comparative Study . . . . . . . . . . . 148--155 Alessandro Ghio and Davide Anguita and Luca Oneto and Sandro Ridella and Carlotta Schatten Nested Sequential Minimal Optimization for Support Vector Machines . . . . . . 156--163 Anonymous Front Matter . . . . . . . . . . . . . . ??
Luis Soares Barbosa Software Components as Invariant-Typed Arrows . . . . . . . . . . . . . . . . . 1--5 Bernhard Klaus Aichernig The Science of Killing Bugs in a Black Box . . . . . . . . . . . . . . . . . . 6--11 Diogo Nunes Sampaio and Elie Gedeon and Fernando Magno Quintão Pereira Spill Code Placement for SIMD Machines 12--26 Sérgio Medeiros and Fabio Mascarenhas and Roberto Ierusalimschy Left Recursion in Parsing Expression Grammars . . . . . . . . . . . . . . . . 27--41 Victor Hugo Sperle Campos and Raphael Ernani Rodrigues Speed and Precision in Range Analysis 42--56 Péricles Rafael Oliveira Alves and Igor Rafael de Assis Costa Parameter Based Constant Propagation . . 57--71 Leonardo Vieira dos Santos Reis and Roberto da Silva Bigonha Adaptable Parsing Expression Grammars 72--86 Bruno Morais Ferreira and Fernando Magno Quintão Pereira Optimizing a Geomodeling Domain Specific Language . . . . . . . . . . . . . . . . 87--101 Maximilien de Bayser and Renato Cerqueira A System for Runtime Type Introspection in C++ . . . . . . . . . . . . . . . . . 102--116 Jácome Cunha and João Saraiva and Joost Visser Model-Based Programming Environments for Spreadsheets . . . . . . . . . . . . . . 117--133 Felipe Nunes Gaia and Gabriel Coutinho Sousa Ferreira A Quantitative Assessment of Aspectual Feature Modules for Evolving Software Product Lines . . . . . . . . . . . . . 134--149 Marcos Viera and Doaitse Swierstra Attribute Grammar Macros . . . . . . . . 150--164 Anonymous Back Matter . . . . . . . . . . . . . . ?? Anonymous Front Matter . . . . . . . . . . . . . . ??
Kevin Tierney and Rune Mòller Jensen The Liner Shipping Fleet Repositioning Problem with Cargo Flows . . . . . . . . 1--16 Dario Pacino and Alberto Delgado and Rune Mòller Jensen and Tom Bebbington An Accurate Model for Seaworthy Container Vessel Stowage Planning with Ballast Tanks . . . . . . . . . . . . . 17--32 Silvia Schwarze and Stefan Voß and Guohua Zhou and Guoli Zhou Scientometric Analysis of Container Terminals and Ports Literature and Interaction with Publications on Distribution Networks . . . . . . . . . 33--52 João Lemos Nabais and Rudy R. Negenborn and Miguel Ayala Botto A Novel Predictive Control Based Framework for Optimizing Intermodal Container Terminal Operations . . . . . 53--71 Jasmine Siu Lee Lam and Tsz Leung Yip Impact of Port Disruption on Supply Chains: a Petri Net Approach . . . . . . 72--85 Stefan Voß Extended Mis-overlay Calculation for Pre-marshalling Containers . . . . . . . 86--91 Igor Litvinchev and Edith Lucero Ozuna Espinosa Solving the Two-Stage Capacitated Facility Location Problem by the Lagrangian Heuristic . . . . . . . . . . 92--103 Joachim R. Daduna Applying Radio Frequency Identification Technology in Retail Trade from a Logistics Point of View --- An Overview over Opportunities and Limitations . . . 104--119 Line Blander Reinhardt and Simon Spoorendonk and David Pisinger Solving Vehicle Routing with Full Container Load and Time Windows . . . . 120--128 Cagatay Iris and Mehmet Mutlu Yenisey Multi-item Simultaneous Lot Sizing and Storage Allocation with Production and Warehouse Capacities . . . . . . . . . . 129--141 Kerstin Lange and André Rinne and Hans-Dietrich Haasis Planning Maritime Logistics Concepts for Offshore Wind Farms: a Newly Developed Decision Support System . . . . . . . . 142--158 Feng Xu and Yuanbin Song and Hao Hu Application of Cycle-Based Simulation to Estimate Loss of Logistics Productivity on Construction Sites . . . . . . . . . 159--170 Branko Bubalo Benchmarking European Airports Based on a Profitability Envelope . . . . . . . . 171--189 Buyang Cao Solving Vehicle Routing Problems Using an Enhanced Clarke--Wright Algorithm: a Case Study . . . . . . . . . . . . . . . 190--205 San-Nah Sze and Ada Ng Suk-Fong and Kang-Leng Chiew An Insertion Heuristic Manpower Scheduling for In-Flight Catering Service Application . . . . . . . . . . 206--216 Anonymous Back Matter . . . . . . . . . . . . . . ?? Anonymous Front Matter . . . . . . . . . . . . . . ??
Peter-Paul de Wolf and Anco Hundepool $p\%$ Should Dominate . . . . . . . . . 1--10 Jordi Castro A Computational Evaluation of Optimization Solvers for CTA . . . . . . 11--21 Sarah Giessing Flexible Rounding Based on Consistent Post-tabular Stochastic Noise . . . . . 22--34 Jordi Castro Comparing L$_1$ and L$_2$ Distances for CTA . . . . . . . . . . . . . . . . . . 35--46 Mario Trottini and Krish Muralidhar and Rathindra Sarathy An Investigation of Model-Based Microdata Masking for Magnitude Tabular Data Release . . . . . . . . . . . . . . 47--62 Alexander Kowarik and Matthias Templ and Bernhard Meindl and Francois Fonteneau and Bernd Prantner Testing of IHSN C++ Code and Inclusion of New Methods into sdcMicro . . . . . . 63--77 Jordi Marés and Vicenç Torra Clustering-Based Categorical Data Protection . . . . . . . . . . . . . . . 78--89 Josep Domingo-Ferrer and Krish Muralidhar and Guillem Rufian-Torrell Anonymization Methods for Taxonomic Microdata . . . . . . . . . . . . . . . 90--102 Anna Oganian and Josep Domingo-Ferrer Hybrid Microdata via Model-Based Clustering . . . . . . . . . . . . . . . 103--115 Yong Ming Jeffrey Woo and Aleksandra B. Slavkovi\'c Logistic Regression with Variables Subject to Post Randomization Method . . 116--130 Rob Hall and Stephen Fienberg Valid Statistical Inference on Automatically Matched Files . . . . . . 131--142 Michael DePersio and Marlow Lemons and Kaleli A. Ramanayake and Julie Tsay and Laura Zayatz $n$-Cycle Swapping for the American Community Survey . . . . . . . . . . . . 143--164 Matthias Dorner and Jörg Drechsler and Peter Jacobebbinghaus Generating Useful Test Data for Complex Linked Employer--Employee Datasets . . . 165--178 Lara Cleveland and Robert McCaa and Steven Ruggles and Matthew Sobek When Excessive Perturbation Goes Wrong and Why IPUMS-International Relies Instead on Sampling, Suppression, Swapping, and Other Minimally Harmful Methods to Protect Privacy of Census Microdata . . . . . . . . . . . . . . . 179--187 Luisa Franconi and Daniela Ichim Achieving Comparability of Earnings . . 188--199 Flavio Foschi and Maria Cristina Casciano and Luisa Franconi and Daniela Ichim Designing Multiple Releases from the Small and Medium Enterprises Survey . . 200--215 John M. Abowd and Lars Vilhuber and William Block A Proposed Solution to the Archiving and Curation of Confidential Scientific Inputs . . . . . . . . . . . . . . . . . 216--225 Christine M. O'Keefe Confidentialising Maps of Mixed Point and Diffuse Spatial Data . . . . . . . . 226--240 Daniel Z. Zanger Security of Random Output Perturbation for Statistical Databases . . . . . . . 241--256 Anne-Sophie Charest Empirical Evaluation of Statistical Inference from Differentially-Private Contingency Tables . . . . . . . . . . . 257--272 Anonymous Front Matter . . . . . . . . . . . . . . ??
Yaakov HaCohen-Kerner and Aharon Tayeb Experiments with Filtered Detection of Similar Academic Papers . . . . . . . . 1--13 Maciej Piasecki and Rados\law Ramocki and Pawe\l Minda Corpus-Based Semantic Filtering in Discovering Derivational Relations . . . 14--22 Maciej Piasecki and Roman Kurc and Rados\law Ramocki and Bartosz Broda Lexical Activation Area Attachment Algorithm for Wordnet Expansion . . . . 23--31 \Lukasz K\lyk and Pawe\l B. Myszkowski and Bartosz Broda and Maciej Piasecki and David Urbansky Metaheuristics for Tuning Model Parameters in Two Natural Language Processing Applications . . . . . . . . 32--37 Jan \vZi\vzka and Karel Burda and Franti\vsek Da\vrena Clustering a Very Large Number of Textual Unstructured Customers' Reviews in English . . . . . . . . . . . . . . . 38--47 Svetla Boytcheva and Galia Angelova A Workbench for Temporal Event Information Extraction from Patient Records . . . . . . . . . . . . . . . . 48--58 Diana Lupan and Mihai Dasc\ualu and \cStefan Tr\uau\csan-Matu and Philippe Dessus Analyzing Emotional States Induced by News Articles with Latent Semantic Analysis . . . . . . . . . . . . . . . . 59--68 Mostafa Z. Ali and Robert G. Reynolds The Emergence of Cultural Hierarchical Social Networks in Complex Environments 69--78 Udeep Tandukar and Julita Vassileva Ensuring Relevant and Serendipitous Information Flow in Decentralized Online Social Network . . . . . . . . . . . . . 79--88 Ernest Arendarenko and Tuomo Kakkonen Ontology-Based Information and Event Extraction for Business Intelligence . . 89--102 Oliver Kutz and Janna Hastings and Till Mossakowski Modelling Highly Symmetrical Molecules: Linking Ontologies and Graphs . . . . . 103--111 Samia Beldjoudi and Hassina Seridi-Bouchelaghem and Catherine Faron-Zucker Personalizing and Improving Tag-Based Search in Folksonomies . . . . . . . . . 112--118 Aymeric Le Dorze and Lionel Chauvin and Laurent Garcia and David Genest and Stéphane Loiseau Views and Synthesis of Cognitive Maps 119--124 Aleksandra Gruca and Marek Sikora Identification of the Compound Subjective Rule Interestingness Measure for Rule-Based Functional Description of Genes . . . . . . . . . . . . . . . . . 125--134 Matteo Leonetti and Luca Iocchi and Fabio Patrizi Automatic Generation and Learning of Finite-State Controllers . . . . . . . . 135--144 Mariana Damova and Kiril Simov and Zdravko Tashev and Atanas Kiryakov FactForge: Data Service or the Diversity of Inferred Knowledge over LOD . . . . . 145--151 Nouhad Amaneddine and Jean-François Condotta From Path-Consistency to Global Consistency in Temporal Qualitative Constraint Networks . . . . . . . . . . 152--161 Marek Sikora and Adam Skowron and \Lukasz Wróbel Rule Quality Measure-Based Induction of Unordered Sets of Regression Rules . . . 162--171 Jacek Kabzi\'nski Swarm Capability of Finding Eigenvalues 172--177 Farhad Nadi and Ahamad Tajudin Khader A Study on the Utility of Parametric Uniform Crossover for Adaptation of Crossover Operator . . . . . . . . . . . 178--183 Anonymous Front Matter . . . . . . . . . . . . . . ??
Giuliana Dettori and Simone Torsani An Approach to Exploit Social Bookmarking to Improve Formal Language Learning . . . . . . . . . . . . . . . . 1--10 Stefanie Andrea Hillen and Tero Päivärinta Perceived Support in E-Collaborative Learning: An Exploratory Study Which Make Use of Synchronous and Asynchronous Online-Teaching Approaches . . . . . . . 11--20 Zuzana Kubincová and Martin Homola How to Get Around with Wikis in Teaching 21--30 Zoran Putnik and Mirjana Ivanovi\'c and Zoran Budimac and Ladislav Samuelis Wiki --- a Useful Tool to Fight Classroom Cheating? . . . . . . . . . . 31--40 Elvira Popescu Project-Based Learning with eMUSE . . . 41--50 Bernardo Pereira Nunes and Ricardo Kawase and Stefan Dietze Annotation Tool for Enhancing E-Learning Courses . . . . . . . . . . . . . . . . 51--60 Cat Kutay and Deirdre Howard-Wagner and Lynette Riley and Janet Mooney Teaching Culture as Social Constructivism . . . . . . . . . . . . . 61--68 Evgeny Bogdanov and Carsten Ullrich and Erik Isaksson and Matthias Palmer and Denis Gillet From LMS to PLE: a Step Forward through OpenSocial Apps in Moodle . . . . . . . 69--78 Alexander Nussbaumer and Marcel Berthold and Daniel Dahrendorf and Hans-Christian Schmitz A Mashup Recommender for Creating Personal Learning Environments . . . . . 79--88 Lei Zhou and Sandy El Helou and Laurent Moccozet and Laurent Opprecht and Omar Benkacem A Federated Recommender System for Online Learning Environments . . . . . . 89--98 Birgy Lorenz and Kätlin Kalde and Kaido Kikkas Trust and Security Issues in Cloud-Based Learning and Management . . . . . . . . 99--108 Killian Levacher and Seamus Lawless and Vincent Wade Slicepedia: Towards Long Tail Resource Production through Open Corpus Reuse . . 109--119 Fan Yang and Frederick W. B. Li and Rynson W. H. Lau Learning Path Construction Based on Association Link Network . . . . . . . . 120--131 Marián \vSimko and Mária Bieliková Discovering Hierarchical Relationships in Educational Content . . . . . . . . . 132--141 Ioana Ciuciu and Yan Tang Demey An Evaluation Methodology for C-FOAM Applied to Web-Based Learning . . . . . 142--151 Aggeliki Kouneli and Georgia Solomou and Christos Pierrakeas and Achilles Kameas Modeling the Knowledge Domain of the Java Programming Language as an Ontology 152--159 Javier Torrente and Ángel del Blanco and Ángel Serrano-Laguna and José Ángel Vallejo-Pinto Towards Universal Game Development in Education . . . . . . . . . . . . . . . 160--169 Élise Lavoué Towards Social Learning Games . . . . . 170--179 Sabina-Nadina Cehan and Dana-Anca Cehan Computer Games and English Language Learning . . . . . . . . . . . . . . . . 180--189 Athanasios Staikopoulos and Ian O'Keeffe and Rachael Rafter and Eddie Walsh and Bilal Yousuf AMASE: a Framework for Composing Adaptive and Personalised Learning Activities on the Web . . . . . . . . . 190--199 Anonymous Front Matter . . . . . . . . . . . . . . ??
Albert Ali Salah and Javier Ruiz-del-Solar and Çetin Meriçli and Pierre-Yves Oudeyer Human Behavior Understanding for Robotics . . . . . . . . . . . . . . . . 1--16 Oya Çeliktutan and Christian Wolf and Bülent Sankur and Eric Lombardi Real-Time Exact Graph Matching with Application in Human Action Recognition 17--28 Alexandros Andre Chaaraoui and Pau Climent-Pérez and Francisco Flórez-Revuelta An Efficient Approach for Multi-view Human Action Recognition Based on Bag-of-Key-Poses . . . . . . . . . . . . 29--40 Ninghang Hu and Gwenn Englebienne and Ben J. A. Kröse Bayesian Fusion of Ceiling Mounted Camera and Laser Range Finder on a Mobile Robot for People Detection and Localization . . . . . . . . . . . . . . 41--51 Angelica Lim and Hiroshi G. Okuno Using Speech Data to Recognize Emotion in Human Gait . . . . . . . . . . . . . 52--64 Ali-Akbar Samadani and Rob Gorbet and Dana Kuli\'c Gender Differences in the Perception of Affective Movements . . . . . . . . . . 65--76 Laura Vincze and Isabella Poggi and Francesca D'Errico Vagueness and Dreams: Analysis of Body Signals in Vague Dream Telling . . . . . 77--89 Maurizio Mancini and Giovanna Varni and Donald Glowinski and Gualtiero Volpe Computing and Evaluating the Body Laughter Index . . . . . . . . . . . . . 90--98 Samira Sheikhi and Jean-Marc Odobez Recognizing the Visual Focus of Attention for Human Robot Interaction 99--112 Daphne E. Karreman and Elisabeth M. A. G. van Dijk and Vanessa Evers Contextual Analysis of Human Non-verbal Guide Behaviors to Inform the Development of FROG, the Fun Robotic Outdoor Guide . . . . . . . . . . . . . 113--124 Kerstin Fischer and Joe Saunders Getting Acquainted with a Developing Robot . . . . . . . . . . . . . . . . . 125--133 Olivier Mangin and Pierre-Yves Oudeyer Learning the Combinatorial Structure of Demonstrated Behaviors with Inverse Feedback Control . . . . . . . . . . . . 134--147 Guido Schillaci and Bruno Lara and Verena V. Hafner Internal Simulations for Behaviour Selection and Recognition . . . . . . . 148--160 Stéphane Michelet and Koby Karp and Emilie Delaherche and Catherine Achard and Mohamed Chetouani Automatic Imitation Assessment in Interaction . . . . . . . . . . . . . . 161--173 Anonymous Back Matter . . . . . . . . . . . . . . ?? Anonymous Front Matter . . . . . . . . . . . . . . ??
Han-Hing Dang and Bernhard Möller Transitive Separation Logic . . . . . . 1--16 Walter Guttmann Unifying Lazy and Strict Computations 17--32 Peter Höfner and Bernhard Möller and Andreas Zelend Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming . . . . . . . . . . . . . . 33--49 Brijesh Dongol and Ian J. Hayes and Larissa Meinicke and Kim Solin Towards an Algebra for Real-Time Programs . . . . . . . . . . . . . . . . 50--65 Alasdair Armstrong and Georg Struth Automated Reasoning in Higher-Order Regular Algebra . . . . . . . . . . . . 66--81 Wolfram Kahl Towards Certifiable Implementation of Graph Transformation via Relation Categories . . . . . . . . . . . . . . . 82--97 Nelma Moreira and David Pereira and Simão Melo de Sousa Deciding Regular Expressions (In-)Equivalence in Coq . . . . . . . . 98--113 Rudolf Berghammer and Sebastian Fischer Simple Rectangle-Based Functional Programs for Computing Reflexive-Transitive Closures . . . . . 114--129 Nikita Danilenko Using Relations to Develop a Haskell Program for Computing Maximum Bipartite Matchings . . . . . . . . . . . . . . . 130--145 Nuno Macedo and Hugo Pacheco and Alcino Cunha Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants . . . . . . . . . . . . 146--161 Dexter Kozen and Alexandra Silva Left-Handed Completeness . . . . . . . . 162--178 Michael R. Laurence and Georg Struth On Completeness of Omega-Regular Algebras . . . . . . . . . . . . . . . . 179--194 Peter Jipsen Categories of Algebraic Contexts Equivalent to Idempotent Semirings and Domain Semirings . . . . . . . . . . . . 195--206 Koki Nishizawa and Hitoshi Furusawa Relational Representation Theorem for Powerset Quantales . . . . . . . . . . . 207--218 Hitoshi Furusawa and Yasuo Kawahara Point Axioms in Dedekind Categories . . 219--234 Roland Glück Two Observations in Dioid Based Model Refinement . . . . . . . . . . . . . . . 235--247 Francis Atampore and Michael Winter Relation Algebras, Matrices, and Multi-valued Decision Diagrams . . . . . 248--263 Sahar Ismail and Ali Jaoua Incremental Pseudo Rectangular Organization of Information Relative to a Domain . . . . . . . . . . . . . . . . 264--277 Gunther Schmidt Relational Concepts in Social Choice . . 278--293 Bernhard Möller and Patrick Roocks An Algebra of Layered Complex Preferences . . . . . . . . . . . . . . 294--309 Anonymous Front Matter . . . . . . . . . . . . . . ??
Antónia Lopes and José Luiz Fiadeiro A Graph-Based Design Framework for Services . . . . . . . . . . . . . . . . 1--19 Davide Di Ruscio and Ludovico Iovino and Alfonso Pierantonio Evolutionary Togetherness: How to Manage Coupled Evolution in Metamodeling Ecosystems . . . . . . . . . . . . . . . 20--37 Rolf Drechsler and Melanie Diepenbeck and Daniel Große and Ulrich Kühne and Hoang M. Le Completeness-Driven Development . . . . 38--50 Fabio Gadducci and Alberto Lluch Lafuente and Andrea Vandin Exploiting Over- and Under-Approximations for Infinite-State Counterpart Models . . . . . . . . . . . 51--65 Arend Rensink and Eduardo Zambon Pattern-Based Graph Abstraction . . . . 66--80 Barbara König and Jan Stückrath Well-Structured Graph Transformation Systems with Negative Application Conditions . . . . . . . . . . . . . . . 81--95 Reiko Heckel and Hartmut Ehrig and Ulrike Golas and Frank Hermann Parallelism and Concurrency of Stochastic Graph Transformations . . . . 96--110 Michael Löwe Refined Graph Rewriting in Span-Categories . . . . . . . . . . . . 111--125 Fernando Orejas and Artur Boronat and Nikos Mylonakis Borrowed Contexts for Attributed Graphs 126--140 Ulrike Golas and Leen Lambers and Hartmut Ehrig and Holger Giese Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars . . . . . . . . . 141--155 Dominique Duval and Rachid Echahed and Frédéric Prost Graph Transformation with Focus on Incident Edges . . . . . . . . . . . . . 156--171 Takahito Aoto and Jeroen Ketema Rational Term Rewriting Revisited: Decidability and Confluence . . . . . . 172--186 Ulrike Golas A General Attribution Concept for Models in ${\cal M}$-Adhesive Transformation Systems . . . . . . . . . . . . . . . . 187--202 Reiko Heckel DPO Transformation with Open Maps . . . 203--217 Annegret Habel and Detlef Plump $\mathcal {M}, \mathcal {N}$-Adhesive Transformation Systems . . . . . . . . . 218--233 Amir Hossein Ghamarian and Arend Rensink Generalised Compositionality in Graph Transformation . . . . . . . . . . . . . 234--248 Holger Giese and Leen Lambers Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking 249--263 Christoph Blume and H. J. Sander Bruggink and Dominik Engelke and Barbara König Efficient Symbolic Implementation of Graph Automata with Applications to Invariant Checking . . . . . . . . . . . 264--278 Tamim Ahmed Khan and Olga Runge and Reiko Heckel Testing against Visual Contracts: Model-Based Coverage . . . . . . . . . . 279--293 Traian Florin \cSerb\uanu\ct\ua and Grigore Ro\csu A Truly Concurrent Semantics for the $\mathbb{K}$ Framework Based on Graph Transformations . . . . . . . . . . . . 294--310 Anonymous Front Matter . . . . . . . . . . . . . . ??
Anonymous Front Matter . . . . . . . . . . . . . . 1--1 Richard Noss 21$^{\rm st}$ Century Learning for 21$^{\rm st}$ Century Skills: What Does It Mean, and How Do We Do It? . . . . . 3--5 Anonymous Front Matter . . . . . . . . . . . . . . 7--7 Mojisola Anjorin and Thomas Rodenhausen and Renato Domínguez García and Christoph Rensing Exploiting Semantic Information for Graph-Based Recommendations of Learning Resources . . . . . . . . . . . . . . . 9--22 Marcel Berthold and Adam Moore and Christina M. Steiner and Conor Gaffney and Declan Dagger An Initial Evaluation of Metacognitive Scaffolding for Experiential Training Simulators . . . . . . . . . . . . . . . 23--36 Quentin Bonnard and Himanshu Verma and Frédéric Kaplan and Pierre Dillenbourg Paper Interfaces for Learning Geometry 37--50 Michael Derntl and Ralf Klamma The European TEL Projects Community from a Social Network Analysis Perspective 51--64 Son Do-Lenh and Patrick Jermann and Amanda Legge and Guillaume Zufferey and Pierre Dillenbourg TinkerLamp 2.0: Designing and Evaluating Orchestration Technologies for the Classroom . . . . . . . . . . . . . . . 65--78 Anusca Ferrari and Yves Punie and Christine Redecker Understanding Digital Competence in the 21st Century: An Analysis of Current Frameworks . . . . . . . . . . . . . . . 79--92 Andreas Gegenfurtner and Koen Veermans and Marja Vauras How CSCL Moderates the Influence of Self-efficacy on Students' Transfer of Learning . . . . . . . . . . . . . . . . 93--102 Vera Gehlen-Baum and Armin Weinberger Notebook or Facebook? How Students Actually Use Mobile Devices in Large Lectures . . . . . . . . . . . . . . . . 103--112 Israel Gutiérrez Rojas and Raquel M. Crespo García and Carlos Delgado Kloos Enhancing Orchestration of Lab Sessions by Means of Awareness Mechanisms . . . . 113--125 Julia Hadersberger and Alexander Pohl and François Bry Discerning Actuality in Backstage . . . 126--139 Claudia Hauff and Marcel Berthold and Geert-Jan Houben and Christina M. Steiner and Dietrich Albert Tweets Reveal More Than You Know: a Learning Style Analysis on Twitter . . . 140--152 I.-Han Hsiao and Peter Brusilovsky Motivational Social Visualizations for Personalized E-Learning . . . . . . . . 153--165 Aarij Mahmood Hussaan and Karim Sehaba Generator of Adaptive Learning Scenarios: Design and Evaluation in the Project CLES . . . . . . . . . . . . . . 166--179 Andreas Kaschig and Ronald Maier and Alexander Sandow and Alan Brown and Tobias Ley Technological and Organizational Arrangements Sparking Effects on Individual, Community and Organizational Learning . . . . . . . . . . . . . . . . 180--193 Effie Lai-Chong Law and Arunangsu Chatterjee and Dominik Renzel and Ralf Klamma The Social Requirements Engineering (SRE) Approach to Developing a Large-Scale Personal Learning Environment Infrastructure . . . . . . . 194--207 Bertrand Marne and John Wisdom and Benjamin Huynh-Kim-Bang and Jean-Marc Labat The Six Facets of Serious Game Design: a Methodology Enhanced by Our Design Pattern Library . . . . . . . . . . . . 208--221 Bruce M. McLaren and Deanne Adams and Kelley Durkin and George Goguadze and Richard E. Mayer To Err Is Human, to Explain and Correct Is Divine: a Study of Interactive Erroneous Examples with Middle School Math Students . . . . . . . . . . . . . 222--235 Florian Mehm and Johannes Konert and Stefan Göbel and Ralf Steinmetz An Authoring Tool for Adaptive Digital Educational Games . . . . . . . . . . . 236--249 Christine Michel and Elise Lavoué and Laurent Pietrac A Dashboard to Regulate Project-Based Learning . . . . . . . . . . . . . . . . 250--263 Anonymous Front Matter . . . . . . . . . . . . . . ??
Chiara Bodei and Pierpaolo Degano and Gian-Luigi Ferrari and Letterio Galletta Formalising Security in Ubiquitous and Cloud Scenarios . . . . . . . . . . . . 1--29 Young Im Cho Designing Smart Cities: Security Issues 30--40 Tomasz Hyla and Jerzy Peja\'s Certificate-Based Encryption Scheme with General Access Structure . . . . . . . . 41--55 Ekawat Homsirikamol and Pawe\l Morawiecki and Marcin Rogawski and Marian Srebrny Security Margin Evaluation of SHA-3 Contest Finalists through SAT-Based Attacks . . . . . . . . . . . . . . . . 56--67 Um-e-Ghazia and Rahat Masood and Muhammad Awais Shibli and Muhammad Bilal Usage Control Model Specification in XACML Policy Language . . . . . . . . . 68--79 Novarun Deb and Nabendu Chaki TIDS: Trust-Based Intrusion Detection System for Wireless Ad-hoc Networks . . 80--91 Petr Gajdo\vs and Pavel Moravec Intruder Data Classification Using GM-SOM . . . . . . . . . . . . . . . . . 92--100 Pavla Drá\vzdilová and Alisa Babskova and Jan Martinovi\vc and Kate\vrina Slaninová and \vSt\vepán Minks Method for Identification of Suitable Persons in Collaborators' Networks . . . 101--110 Subhasis Dasgupta and Aditya Bagchi A Graph-Based Formalism for Controlling Access to a Digital Library Ontology . . 111--122 Aneta Poniszewska-Maranda Role Approach in Access Control Development with the Usage Control Concept . . . . . . . . . . . . . . . . 123--134 Krzysztof Misztal and Jacek Tabor and Khalid Saeed A New Algorithm for Rotation Detection in Iris Pattern Recognition . . . . . . 135--145 Ryszard Kozera and Jacek Tchórzewski Outlier Removal in $2$D Leap Frog Algorithm . . . . . . . . . . . . . . . 146--157 Rafal Doroz and Krzysztof Wrobel Dynamic Signature Recognition Based on Modified Windows Technique . . . . . . . 158--167 Andrea Albarelli and Filippo Bergamasco and Andrea Torsello Rigid and Non-rigid Shape Matching for Mechanical Components Retrieval . . . . 168--179 Bogus\law Cyganek Embedding of the Extended Euclidean Distance into Pattern Recognition with Higher-Order Singular Value Decomposition of Prototype Tensors . . . 180--190 Piotr Porwik and Tomasz Orczyk DTW and Voting-Based Lip Print Recognition System . . . . . . . . . . . 191--202 Mariusz Rybnik and Piotr Panasiuk and Khalid Saeed and Marcin Rogowski Advances in the Keystroke Dynamics: The Practical Impact of Database Quality . . 203--214 Marek Penhaker and Petr Klimes and Jakub Pindor and David Korpas Advanced Intracardial Biosignal Processing . . . . . . . . . . . . . . . 215--223 Hazar Mliki and Mohamed Hammami and Hanêne Ben-Abdallah Multi-constraints Face Detect-Track System . . . . . . . . . . . . . . . . . 224--235 Martin Augustynek and Ondrej Adamec and David Micanik Using a Differential Pressure Sensor as Spirometer . . . . . . . . . . . . . . . 236--241 Anonymous Front Matter . . . . . . . . . . . . . . ??
Luc De Raedt Declarative Modeling for Machine Learning and Data Mining . . . . . . . . 1--1 Toon Calders Recent Developments in Pattern Mining 2--2 Gilbert Ritschard Exploring Sequential Data . . . . . . . 3--6 Nguyen Lu Dang Khoa and Sanjay Chawla Large Scale Spectral Clustering Using Resistance Distance and Spielman--Teng Solvers . . . . . . . . . . . . . . . . 7--21 Pierre Alquier and Xiaoyin Li Prediction of Quantiles by Statistical Learning and Application to GDP Forecasting . . . . . . . . . . . . . . 22--36 Francis Maes and Raphael Fonteneau and Louis Wehenkel and Damien Ernst Policy Search in a Space of Simple Closed-form Formulas: Towards Interpretability of Reinforcement Learning . . . . . . . . . . . . . . . . 37--51 Esther Galbrun and Angelika Kimmig Towards Finding Relational Redescriptions . . . . . . . . . . . . . 52--66 Dragan Gamberger and Dra\vzen Lu\vcanin and Tomislav \vSmuc Descriptive Modeling of Systemic Banking Crises . . . . . . . . . . . . . . . . . 67--80 Shunsuke Makino and Takaharu Shimada and Kouichi Hirata and Kouki Yonezawa and Kimihito Ito A Trim Distance between Positions in Nucleotide Sequences . . . . . . . . . . 81--94 Einoshin Suzuki and Emi Matsumoto and Asuki Kouno Data Squashing for HSV Subimages by an Autonomous Mobile Robot . . . . . . . . 95--109 Elise Desmier and Marc Plantevit and Céline Robardet and Jean-François Boulicaut Cohesive Co-evolution Patterns in Dynamic Attributed Graphs . . . . . . . 110--124 Rui Li and Stefan Kramer Efficient Redundancy Reduced Subgroup Discovery via Quadratic Programming . . 125--138 Bruno M. Nogueira and Alípio M. Jorge and Solange O. Rezende HCAC: Semi-supervised Hierarchical Clustering Using Confidence-Based Active Learning . . . . . . . . . . . . . . . . 139--153 Bi-Ru Dai and Chih-Heng Chung LF-CARS: a Loose Fragment-Based Consensus Clustering Algorithm with a Robust Similarity . . . . . . . . . . . 154--168 Koji Tabata and Atsuyoshi Nakamura and Mineichi Kudo Fast Approximation Algorithm for the $1$-Median Problem . . . . . . . . . . . 169--183 Tom de Ruijter and Evgeni Tsivtsivadze and Tom Heskes Online Co-regularized Algorithms . . . . 184--193 Prem Raj Adhikari and Jaakko Hollmén Fast Progressive Training of Mixture Models for Model Selection . . . . . . . 194--208 Mickaël Fabr\`egue and Agn\`es Braud and Sandra Bringay and Florence Le Ber and Maguelonne Teisseire Including Spatial Relations and Scales within Sequential Pattern Extraction . . 209--223 Carlos Abreu Ferreira and João Gama and Vítor Santos Costa and Vladimiro Miranda and Audun Botterud Predicting Ramp Events with a Stream-Based HMM Framework . . . . . . . 224--238 Kazumi Saito and Kouzou Ohara and Masahiro Kimura and Hiroshi Motoda Burst Detection in a Sequence of Tweets Based on Information Diffusion Model . . 239--253 Anonymous Front Matter . . . . . . . . . . . . . . ??
Nicolas Guizard and Vladimir S. Fonov and Daniel García-Lorenzo and Béreng\`ere Aubert-Broche Spatio-temporal Regularization for Longitudinal Registration to an Unbiased $3$D Individual Template . . . . . . . . 1--12 Jean-Baptiste Fiot and Laurent Risser and Laurent D. Cohen and Jurgen Fripp Local vs Global Descriptors of Hippocampus Shape Evolution for Alzheimer's Longitudinal Population Analysis . . . . . . . . . . . . . . . . 13--24 Nicolas Duchateau and Mathieu De Craene and Xavier Pennec and Beatriz Merino and Marta Sitges Which Reorientation Framework for the Atlas-Based Comparison of Motion from Cardiac Image Sequences? . . . . . . . . 25--37 Paul C. Pearlman and Ivana I\vsgum and Karina J. Kersbergen and Manon J. N. L. Benders Elastic Demons: Characterizing Cortical Development in Neonates Using an Implicit Surface Registration . . . . . 38--49 Béreng\`ere Aubert-Broche and Vladimir S. Fonov and Daniel García-Lorenzo and Abderazzak Mouiha A New Framework for Analyzing Structural Volume Changes of Longitudinal Brain MRI Data . . . . . . . . . . . . . . . . . . 50--62 Li Wang and Feng Shi and Gang Li and Dinggang Shen 4D Segmentation of Longitudinal Brain MR Images with Consistent Cortical Thickness Measurement . . . . . . . . . 63--75 Manasi Datar and Prasanna Muralidharan and Abhishek Kumar and Sylvain Gouttard and Joseph Piven Mixed-Effects Shape Models for Estimating Longitudinal Changes in Anatomy . . . . . . . . . . . . . . . . 76--87 Ahmed Serag and Ioannis S. Gousias and Antonios Makropoulos and Paul Aljabar and Joseph V. Hajnal Unsupervised Learning of Shape Complexity: Application to Brain Development . . . . . . . . . . . . . . 88--99 Jieqing Jiao and Graham E. Searle and Andri C. Tziortzi and Cristian A. Salinas and Roger N. Gunn Spatial-temporal Pharmacokinetic Model Based Registration of $4$D Brain PET Data . . . . . . . . . . . . . . . . . . 100--112 Erin Stretton and Emmanuel Mandonnet and Ezequiel Geremia and Bjoern H. Menze and Hervé Delingette Predicting the Location of Glioma Recurrence after a Resection Surgery . . 113--123 Nicha Chitphakdithai and Veronica L. Chiang and James S. Duncan Tracking Metastatic Brain Tumors in Longitudinal Scans via Joint Image Registration and Labeling . . . . . . . 124--136 Xiaofeng Liu and Dirk Padfield Motion-Based Segmentation for Cardiomyocyte Characterization . . . . . 137--146 Arunachalam Narayanaswamy and Amine Merouane and Antonio Peixoto and Ena Ladi and Paul Herzmark Multi-temporal Globally-Optimal Dense $3$-D Cell Segmentation and Tracking from Multi-photon Time-Lapse Movies of Live Tissue Microenvironments . . . . . 147--162 Anonymous Back Matter . . . . . . . . . . . . . . ?? Anonymous Front Matter . . . . . . . . . . . . . . ??
Oren Freifeld and Michael J. Black Lie Bodies: a Manifold Representation of $3$D Human Shape . . . . . . . . . . . . 1--14 Yunpeng Li and Noah Snavely and Dan Huttenlocher and Pascal Fua Worldwide Pose Estimation Using $3$D Point Clouds . . . . . . . . . . . . . . 15--29 Thabo Beeler and Derek Bradley and Henning Zimmer and Markus Gross Improved Reconstruction of Deforming Surfaces by Cancelling Ambient Occlusion 30--43 Junbin Liu and Clinton Fookes and Tim Wark and Sridha Sridharan On the Statistical Determination of Optimal Camera Configurations in Large Scale Surveillance Networks . . . . . . 44--57 Geoffrey Oxholm and Prabin Bariya and Ko Nishino The Scale of Geometric Texture . . . . . 58--71 Jack Valmadre and Yingying Zhu and Sridha Sridharan and Simon Lucey Efficient Articulated Trajectory Reconstruction Using Dynamic Programming and Filters . . . . . . . . . . . . . . 72--85 Sid Yingze Bao and Yu Xiang and Silvio Savarese Object Co-detection . . . . . . . . . . 86--101 Shaoxin Li and Xin Liu and Xiujuan Chai and Haihong Zhang and Shihong Lao and Shiguang Shan Morphable Displacement Field Based Image Matching for Face Recognition across Pose . . . . . . . . . . . . . . . . . . 102--115 Sameh Khamis and Vlad I. Morariu and Larry S. Davis Combining Per-frame and Per-track Cues for Multi-person Action Recognition . . 116--129 Aurelien Lucchi and Jason Weston Joint Image and Word Sense Discrimination for Image Retrieval . . . 130--143 Marcus Rohrbach and Michaela Regneri and Mykhaylo Andriluka and Sikandar Amin and Manfred Pinkal Script Data for Attribute-Based Recognition of Composite Activities . . 144--157 Aditya Khosla and Tinghui Zhou and Tomasz Malisiewicz and Alexei A. Efros and Antonio Torralba Undoing the Damage of Dataset Bias . . . 158--171 Jiongxin Liu and Angjoo Kanazawa and David Jacobs and Peter Belhumeur Dog Breed Classification Using Part Localization . . . . . . . . . . . . . . 172--185 Shu Kong and Donghui Wang A Dictionary Learning Approach for Classification: Separating the Particularity and the Commonality . . . 186--199 Stefan Holzer and Jamie Shotton and Pushmeet Kohli Learning to Efficiently Detect Repeatable Interest Points in Depth Data 200--213 Basura Fernando and Elisa Fromont and Tinne Tuytelaars Effective Use of Frequent Itemset Mining for Image Classification . . . . . . . . 214--227 Tomasz Trzcinski and Vincent Lepetit Efficient Discriminative Projections for Compact Binary Descriptors . . . . . . . 228--242 Karen Simonyan and Andrea Vedaldi and Andrew Zisserman Descriptor Learning Using Convex Optimisation . . . . . . . . . . . . . . 243--256 Maruthi Narayanan and Benjamin Kimia Bottom-Up Perceptual Organization of Images into Object Part Hypotheses . . . 257--271 Kwang In Kim and James Tompkin and Martin Theobald and Jan Kautz and Christian Theobalt Match Graph Construction for Large Image Databases . . . . . . . . . . . . . . . 272--285 Anonymous Front Matter . . . . . . . . . . . . . . ??
Jacob Hinkle and Prasanna Muralidharan and P. Thomas Fletcher and Sarang Joshi Polynomial Regression on Riemannian Manifolds . . . . . . . . . . . . . . . 1--14 Yannis Avrithis and Yannis Kalantidis Approximate Gaussian Mixtures for Large Scale Vocabularies . . . . . . . . . . . 15--28 Yichen Wei and Fang Wen and Wangjiang Zhu and Jian Sun Geodesic Saliency Using Background Priors . . . . . . . . . . . . . . . . . 29--42 Brandon M. Smith and Li Zhang Joint Face Alignment with Non-parametric Shape Models . . . . . . . . . . . . . . 43--56 Pedro Martins and Rui Caseiro and João F. Henriques and Jorge Batista Discriminative Bayesian Active Shape Models . . . . . . . . . . . . . . . . . 57--70 Oisin Mac Aodha and Neill D. F. Campbell and Arun Nair and Gabriel J. Brostow Patch Based Synthesis for Single Depth Image Super-Resolution . . . . . . . . . 71--84 Michael Rubinstein and Ce Liu and William T. Freeman Annotation Propagation in Large Image Databases via Dense Image Correspondence 85--99 Yubin Kuang and Kalle Åström Numerically Stable Optimization of Polynomial Solvers for Minimal Problems 100--113 Nataraj Jammalamadaka and Andrew Zisserman and Marcin Eichner and Vittorio Ferrari Has My Algorithm Succeeded? An Evaluator for Human Pose Estimators . . . . . . . 114--128 Genquan Duan and Haizhou Ai and Song Cao and Shihong Lao Group Tracking: Exploring Mutual Relations for Multiple Object Tracking 129--143 Bernhard X. Kausler and Martin Schiegg and Bjoern Andres and Martin Lindner and Ullrich Koethe A Discrete Chain Graph Model for $3d+t$ Cell Tracking with High Misdetection Robustness . . . . . . . . . . . . . . . 144--157 Rui Yao and Qinfeng Shi and Chunhua Shen and Yanning Zhang and Anton van den Hengel Robust Tracking with Weighted Online Structured Learning . . . . . . . . . . 158--172 Guy Rosman and Yu Wang and Xue-Cheng Tai and Ron Kimmel and Alfred M. Bruckstein Fast Regularization of Matrix-Valued Images . . . . . . . . . . . . . . . . . 173--186 Christian J. Schuler and Michael Hirsch and Stefan Harmeling and Bernhard Schölkopf Blind Correction of Optical Aberrations 187--200 Oswald Aldrian and William A. P. Smith Inverse Rendering of Faces on a Cloudy Day . . . . . . . . . . . . . . . . . . 201--214 Freddie Åström and George Baravdish and Michael Felsberg On Tensor-Based PDEs and Their Corresponding Variational Formulations with Application to Color Image Denoising . . . . . . . . . . . . . . . 215--228 Dian Gong and Gérard Medioni and Sikai Zhu and Xuemei Zhao Kernelized Temporal Cut for Online Temporal Segmentation and Recognition 229--243 Yu Cao and Lili Ju and Song Wang Grain Segmentation of $3$D Superalloy Images Using Multichannel EWCVT under Human Annotation Constraints . . . . . . 244--257 Hayko Riemenschneider and Sabine Sternig and Michael Donoser and Peter M. Roth and Horst Bischof Hough Regions for Joining Instance Localization and Segmentation . . . . . 258--271 Adarsh Kowdle and Tsuhan Chen Learning to Segment a Video to Clips Based on Scene and Camera Motion . . . . 272--286 Anonymous Front Matter . . . . . . . . . . . . . . ??
Gaurav Sharma and Sibt ul Hussain and Frédéric Jurie Local Higher-Order Statistics (LHS) for Texture Categorization and Facial Analysis . . . . . . . . . . . . . . . . 1--12 Michael Van den Bergh and Xavier Boix and Gemma Roig and Benjamin de Capitani and Luc Van Gool SEEDS: Superpixels Extracted via Energy-Driven Sampling . . . . . . . . . 13--26 Rolf Köhler and Michael Hirsch and Betty Mohler and Bernhard Schölkopf and Stefan Harmeling Recording and Playback of Camera Shake: Benchmarking Blind Deconvolution with a Real-World Database . . . . . . . . . . 27--40 Stavros Tsogkas and Iasonas Kokkinos Learning-Based Symmetry Detection in Natural Images . . . . . . . . . . . . . 41--54 Nataliya Shapovalova and Arash Vahdat and Kevin Cannons and Tian Lan and Greg Mori Similarity Constrained Latent Support Vector Machine: An Application to Weakly Supervised Action Classification . . . . 55--68 Cem Direko\vglu and Noel E. O'Connor Team Activity Recognition in Sports . . 69--83 Eleonora Vig and Michael Dorr and David Cox Space-Variant Descriptor Sampling for Action Recognition Based on Saliency and Eye Movements . . . . . . . . . . . . . 84--97 Mihalis A. Nicolaou and Vladimir Pavlovic and Maja Pantic Dynamic Probabilistic CCA for Analysis of Affective Behaviour . . . . . . . . . 98--111 Jeremy Jancsary and Sebastian Nowozin and Carsten Rother Loss-Specific Training of Non-Parametric Image Restoration Models: a New State of the Art . . . . . . . . . . . . . . . . 112--125 Naiyan Wang and Tiansheng Yao and Jingdong Wang and Dit-Yan Yeung A Probabilistic Approach to Robust Matrix Factorization . . . . . . . . . . 126--139 Torben Pätz and Tobias Preusser Fast Parameter Sensitivity Analysis of PDE-Based Image Processing Methods . . . 140--153 Bjoern Andres and Jörg H. Kappes and Thorsten Beier and Ullrich Köthe and Fred A. Hamprecht The Lazy Flipper: Efficient Depth-Limited Exhaustive Search in Discrete Graphical Models . . . . . . . 154--166 Ming Du and Rama Chellappa Face Association across Unconstrained Video Frames Using Conditional Random Fields . . . . . . . . . . . . . . . . . 167--180 Oliver J. Woodford and Minh-Tri Pham and Atsuto Maki and Riccardo Gherardi and Frank Perbet Contraction Moves for Geometric Model Fitting . . . . . . . . . . . . . . . . 181--194 Dennis Strelow General and Nested Wiberg Minimization: $L_2$ and Maximum Likelihood . . . . . . 195--207 Evgeny Strekalovskiy and Claudia Nieuwenhuis and Daniel Cremers Nonmetric Priors for Continuous Multilabel Optimization . . . . . . . . 208--221 Ankur Handa and Richard A. Newcombe and Adrien Angeli and Andrew J. Davison Real-Time Camera Tracking: When is High Frame-Rate Best? . . . . . . . . . . . . 222--235 Marshall F. Tappen and Ce Liu A Bayesian Approach to Alignment-Based Image Hallucination . . . . . . . . . . 236--249 Enrique Sánchez-Lozano and Fernando De la Torre and Daniel González-Jiménez Continuous Regression for Non-rigid Image Alignment . . . . . . . . . . . . 250--263 Mohammad Rouhani and Angel D. Sappa Non-rigid Shape Registration: a Single Linear Least Squares Framework . . . . . 264--277 Anonymous Front Matter . . . . . . . . . . . . . . ??
Oswin Aichholzer and Thomas Hackl and Birgit Vogtenhuber On $5$-Gons and $5$-Holes . . . . . . . 1--13 Jin Akiyama and Ikuro Sato and Hyunwoo Seong On Reversibility among Parallelohedra 14--28 Prosenjit Bose and Sander Verdonschot A History of Flips in Combinatorial Triangulations . . . . . . . . . . . . . 29--44 János Pach and Rado\vs Radoi\vci\'c and Géza Tóth Tangled Thrackles . . . . . . . . . . . 45--53 Csaba D. Tóth and Godfried T. Toussaint and Andrew Winslow Open Guard Edges and Edge Guards in Simple Polygons . . . . . . . . . . . . 54--64 Joseph O'Rourke String-Wrapped Rotating Disks . . . . . 65--78 Ruy Fabila-Monroy and David R. Wood The Chromatic Number of the Convex Segment Disjointness Graph . . . . . . . 79--84 Jin-ichi Itoh and Chie Nara and Costin V\^\ilcu Continuous Flattening of Convex Polyhedra . . . . . . . . . . . . . . . 85--97 Oswin Aichholzer and Mario Cetina and Ruy Fabila-Monroy and Jesús Leaños Convexifying Monotone Polygons while Maintaining Internal Visibility . . . . 98--108 José M. Díaz-Báñez and Ruy Fabila-Monroy and Pablo Pérez-Lantero On the Number of Radial Orderings of Colored Planar Point Sets . . . . . . . 109--118 Elsa Omaña-Pulido and Eduardo Rivera-Campo Notes on the Twisted Graph . . . . . . . 119--125 José Miguel Díaz-Báñez and Matias Korman and Pablo Pérez-Lantero Locating a Service Facility and a Rapid Transit Line . . . . . . . . . . . . . . 126--137 Diane L. Souvaine and Csaba D. Tóth and Andrew Winslow Simultaneously Flippable Edges in Triangulations . . . . . . . . . . . . . 138--145 Justin Iwerks and Joseph S. B. Mitchell Spiral Serpentine Polygonization of a Planar Point Set . . . . . . . . . . . . 146--154 José Miguel Díaz-Báñez and Matias Korman and Pablo Pérez-Lantero The $1$-Center and $1$-Highway Problem 155--165 José Cáceres and Carmen Cortés and Clara Isabel Grima Compact Grid Representation of Graphs 166--174 Toshinori Sakai and Jorge Urrutia On the Heaviest Increasing or Decreasing Subsequence of a Permutation, and Paths and Matchings on Weighted Point Sets . . 175--184 Erik D. Demaine and Anna Lubiw A Generalization of the Source Unfolding of Convex Polyhedra . . . . . . . . . . 185--199 Patrizio Angelini and Giuseppe Di Battista and Walter Didimo Large Angle Crossing Drawings of Planar Graphs in Subquadratic Area . . . . . . 200--209 Manuel Abellanas and Antonio L. Bajuelos and Santiago Canales Connecting Red Cells in a Bicolour Voronoi Diagram . . . . . . . . . . . . 210--219 Anonymous Front Matter . . . . . . . . . . . . . . ??
Johan Holmgren and Linda Ramstedt and Paul Davidsson and Jan A. Persson Multi-Agent-Based Simulation for Analysis of Transport Policy and Infrastructure Measures . . . . . . . . 1--15 Bastin Tony Roy Savarimuthu and Maryam Purvis and Harko Verhagen An Agent-Based Simulation of Employing Social Norms in Energy Conservation in Households . . . . . . . . . . . . . . . 16--31 Jens Pfau and Michael Kirley and Yoshihisa Kashima An Agent-Based Model of Stereotype Communication . . . . . . . . . . . . . 32--47 Naoki Fukuta and Takayuki Ito An Approach to Sustainable Electric Power Allocation Using a Multi-round Multi-unit Combinatorial Auction . . . . 48--63 Satoshi Takahashi and Tokuro Matsuo and Takayuki Ito and Roger Y. Lee A Co-dependent Value-Based Mechanism for the Internet Advertisement Auction . . . 64--77 Ryo Kanamori and Takayuki Morikawa and Takayuki Ito Evaluation of Special Lanes as Incentive Policies for Promoting Electric Vehicles 78--89 Enrique de la Hoz and Ivan Marsa-Maestre and Miguel A. Lopez-Carmona Simulation of Coordinated Anticipatory Vehicle Routing Strategies on MATSim . . 90--108 Fenghui Ren and Minjie Zhang and Danny Soetanto Agent-Based Demand Management in a Power Distribution Network by Considering Distributed Generations . . . . . . . . 109--124 Anonymous Back Matter . . . . . . . . . . . . . . ?? Anonymous Front Matter . . . . . . . . . . . . . . ??
Or Litany and Alexander M. Bronstein and Michael M. Bronstein Putting the Pieces Together: Regularized Multi-part Shape Matching . . . . . . . 1--11 Geert Van Eyndhoven and Jan Sijbers and Joost Batenburg Combined Motion Estimation and Reconstruction in Tomography . . . . . . 12--21 Mostafa Abdelrahman and Moumen El-Melegy and Aly Farag 3D Object Classification Using Scale Invariant Heat Kernels with Collaborative Classification . . . . . . 22--31 Federico M. Sukno and John L. Waddington and Paul F. Whelan 3D Facial Landmark Localization Using Combinatorial Search and Shape Regression . . . . . . . . . . . . . . . 32--41 Tammy Riklin Raviv and Yi Gao and James J. Levitt and Sylvain Bouix Statistical Shape Analysis for Population Studies via Level-Set Based Shape Morphing . . . . . . . . . . . . . 42--51 Guy Rosman and Alex M. Bronstein and Michael M. Bronstein and Xue-Cheng Tai and Ron Kimmel Group-Valued Regularization for Analysis of Articulated Motion . . . . . . . . . 52--62 Smit Marvaniya and Sreyasee Bhattacharjee and Venkatesh Manickavasagam and Anurag Mittal Drawing an Automatic Sketch of Deformable Objects Using Only a Few Images . . . . . . . . . . . . . . . . . 63--72 Stefano Berretti and Alberto Del Bimbo and Pietro Pala Superfaces: a Super-Resolution Model for $3$D Faces . . . . . . . . . . . . . . . 73--82 Artiom Kovnatsky and Michael M. Bronstein and Alexander M. Bronstein Stable Spectral Mesh Filtering . . . . . 83--91 Seiichi Uchida and Satoshi Hokahori and Yaokai Feng Analytical Dynamic Programming Matching 92--101 Ying Yang and David Günther and Stefanie Wuhrer and Alan Brunton and Ioannis Ivrissimtzis Correspondences of Persistent Feature Points on Near-Isometric Surfaces . . . 102--112 Antonio Agudo and Begoña Calvo and J. M. M. Montiel 3D Reconstruction of Non-Rigid Surfaces in Real-Time Using Wedge Elements . . . 113--122 Jose A. Iglesias and Ron Kimmel Schrödinger Diffusion for Shape Analysis with Texture . . . . . . . . . . . . . . 123--132 Xin Cheng and Sridha Sridharan and Jason Saraghi and Simon Lucey Anchored Deformable Face Ensemble Alignment . . . . . . . . . . . . . . . 133--142 Eleonora Bardelli and Maria Colombo and Andrea Mennucci and Anthony Yezzi Multiple Object Tracking via Prediction and Filtering with a Sobolev-Type Metric on Curves . . . . . . . . . . . . . . . 143--152 Koichi Kinoshita and Yoshinori Konishi and Masato Kawade and Hiroshi Murase Facial Model Fitting Based on Perturbation Learning and It's Evaluation on Challenging Real-World Diversities Images . . . . . . . . . . . 153--162 Jiejie Zhu and Mayank Bansal and Nick Vander Valk and Hui Cheng Adaptive Rendering for Large-Scale Skyline Characterization and Matching 163--174 Mayank Bansal and Kostas Daniilidis and Harpreet Sawhney Ultra-wide Baseline Facade Matching for Geo-localization . . . . . . . . . . . . 175--186 Varsha Hedau and Sudipta N. Sinha and C. Lawrence Zitnick and Richard Szeliski A Memory Efficient Discriminative Approach for Location Aided Recognition 187--197 Glenn Hartmann and Matthias Grundmann and Judy Hoffman and David Tsai and Vivek Kwatra and Omid Madani Weakly Supervised Learning of Object Segmentations from Web-Scale Video . . . 198--208 Anonymous Front Matter . . . . . . . . . . . . . . ??
Rahul Nair and Frank Lenzen and Stephan Meister and Henrik Schäfer and Christoph Garbe High Accuracy TOF and Stereo Sensor Fusion at Interactive Rates . . . . . . 1--11 Benjamin Langmann and Klaus Hartmann and Otmar Loffeld A Modular Framework for $2$D/$3$D and Multi-modal Segmentation with Joint Super-Resolution . . . . . . . . . . . . 12--21 Zhe Wang and Hong Liu and Yueliang Qian and Tao Xu Real-Time Plane Segmentation and Obstacle Detection of $3$D Point Clouds for Indoor Scenes . . . . . . . . . . . 22--31 Neslihan Bayramog\uglu and Janne Heikkilä and Matti Pietikäinen Combining Textural and Geometrical Descriptors for Scene Recognition . . . 32--41 Jiwen Lu and Gang Wang Human-Centric Indoor Environment Modeling from Depth Videos . . . . . . . 42--51 Zhongwei Cheng and Lei Qin and Yituo Ye and Qingming Huang and Qi Tian Human Daily Action Analysis with Multi-view and Color-Depth Data . . . . 52--61 Bernhard Zeisl and Kevin Köser and Marc Pollefeys Viewpoint Invariant Matching via Developable Surfaces . . . . . . . . . . 62--71 Carl Yuheng Ren and Ian Reid A Unified Energy Minimization Framework for Model Fitting in Depth . . . . . . . 72--82 David F. Fouhey and Alvaro Collet and Martial Hebert and Siddhartha Srinivasa Object Recognition Robust to Imperfect Depth Data . . . . . . . . . . . . . . . 83--92 Wandi Susanto and Marcus Rohrbach and Bernt Schiele 3D Object Detection with Multiple Kinects . . . . . . . . . . . . . . . . 93--102 Adarsh Kowdle and Andrew Gallagher and Tsuhan Chen Combining Monocular Geometric Cues with Traditional Stereo Cues for Consumer Camera Stereo . . . . . . . . . . . . . 103--113 Anita Sellent and Jochen Wingbermühle Quality Assessment of Non-dense Image Correspondences . . . . . . . . . . . . 114--123 Patricia Márquez-Valle and Debora Gil and Aura Hern\`andez-Sabaté A Complete Confidence Framework for Optical Flow . . . . . . . . . . . . . . 124--133 Cevahir Çì\ugla and A. Aydìn Alatan An Improved Stereo Matching Algorithm with Ground Plane and Temporal Smoothness Constraints . . . . . . . . . 134--147 Philippos Mordohai On the Evaluation of Scene Flow Estimation . . . . . . . . . . . . . . . 148--157 Ralf Haeusler and Reinhard Klette Analysis of KITTI Data for Stereo Analysis with Stereo Confidence Measures 158--167 Jonas Wulff and Daniel J. Butler and Garrett B. Stanley and Michael J. Black Lessons and Insights from Creating a Synthetic Optical Flow Benchmark . . . . 168--177 Nazre Batool and Rama Chellappa Modeling and Detection of Wrinkles in Aging Human Faces Using Marked Point Processes . . . . . . . . . . . . . . . 178--188 Charles Otto and Hu Han and Anil Jain How Does Aging Affect Facial Components? 189--198 Zahid Riaz and Michael Beetz Spatio-Temporal Multifeature for Facial Analysis . . . . . . . . . . . . . . . . 199--209 Anonymous Front Matter . . . . . . . . . . . . . . ??
David Pfeiffer and Friedrich Erbs and Uwe Franke Pixels, Stixels, and Objects . . . . . . 1--10 Rodrigo Benenson and Markus Mathias and Radu Timofte and Luc Van Gool Fast Stixel Computation for Fast Pedestrian Detection . . . . . . . . . . 11--20 Subhransu Maji Discovering a Lexicon of Parts and Attributes . . . . . . . . . . . . . . . 21--30 Santosh K. Divvala and Alexei A. Efros and Martial Hebert How Important Are ``Deformable Parts'' in the Deformable Parts Model? . . . . . 31--40 Iasonas Kokkinos Bounding Part Scores for Rapid Detection with Deformable Part Models . . . . . . 41--50 Yu Su and Frédéric Jurie Learning Compact Visual Attributes for Large-Scale Image Classification . . . . 51--60 Shugao Ma and Stan Sclaroff and Nazli Ikizler-Cinbis Unsupervised Learning of Discriminative Relative Visual Attributes . . . . . . . 61--70 Dimitrios I. Kosmopoulos and Fillia Makedon A Method for Online Analysis of Structured Processes Using Bayesian Filters and Echo State Networks . . . . 71--80 Konstantinos Makantasis and Eftychios Protopapadakis and Anastasios Doulamis Monocular Camera Fall Detection System Exploiting $3$D Measures: a Semi-supervised Learning Approach . . . 81--90 Brent C. Munsell and Andrew Temlyakov and Chengzheng Qu and Song Wang Person Identification Using Full-Body Motion and Anthropometric Biometrics from Kinect Videos . . . . . . . . . . . 91--100 Manal Al Ghamdi and Nouf Al Harbi and Yoshihiko Gotoh Spatio-temporal Video Representation with Locality-Constrained Linear Coding 101--110 Paolo Rota and Nicola Conci and Nicu Sebe Real Time Detection of Social Interactions in Surveillance Video . . . 111--120 Karla Brki\'c and Axel Pinz and Zoran Kalafati\'c and Sini\vsa \vSegvi\'c Towards Space-Time Semantics in Two Frames . . . . . . . . . . . . . . . . . 121--130 Avinash Ravichandran and Chaohui Wang and Michalis Raptis and Stefano Soatto SuperFloxels: a Mid-level Representation for Video Sequences . . . . . . . . . . 131--140 Vijay John and Gwenn Englebienne and Ben Krose Relative Camera Localisation in Non-overlapping Camera Networks Using Multiple Trajectories . . . . . . . . . 141--150 Yuichi Ito and Kris M. Kitani and James A. Bagnell and Martial Hebert Detecting Interesting Events Using Unsupervised Density Ratio Estimation 151--161 Stefano Pellegrini and Jürgen Gall and Leonid Sigal and Luc Van Gool Destination Flow for Crowd Simulation 162--171 Quentin Barthélemy and Anthony Larue and Jérôme I. Mars 3D Rotation Invariant Decomposition of Motion Signals . . . . . . . . . . . . . 172--182 Thomas Mauthner and Peter M. Roth and Horst Bischof Learn to Move: Activity Specific Motion Models for Tracking by Detection . . . . 183--192 Håkan Ardö and Mikael Nilsson and Rikard Berthilsson Flow Counting Using Realboosted Multi-sized Window Detectors . . . . . . 193--202 Anonymous Front Matter . . . . . . . . . . . . . . ??
Thomas A. Henzinger Quantitative Reactive Models . . . . . . 1--2 Jesús Sánchez-Cuadrado and Juan de Lara and Esther Guerra Bottom-Up Meta-Modelling: An Interactive Approach . . . . . . . . . . . . . . . . 3--19 Florian Noyrit and Sébastien Gérard and Bran Selic FacadeMetamodel: Masking UML . . . . . . 20--35 Fazle Rabbi and Wendy MacCaull T$_\Box$: a Domain Specific Language for Rapid Workflow Development . . . . . . . 36--52 Andres J. Ramirez and Betty H. C. Cheng and Nelly Bencomo and Pete Sawyer Relaxing Claims: Coping with Uncertainty While Evaluating Assumptions at Run Time 53--69 Germán H. Alférez and Vicente Pelechano Dynamic Evolution of Context-Aware Systems with Models at Runtime . . . . . 70--86 François Fouquet and Grégory Nain and Brice Morin and Erwan Daubert and Olivier Barais An Eclipse Modelling Framework Alternative to Meet the Models@Runtime Requirements . . . . . . . . . . . . . . 87--101 Markus Scheidgen and Anatolij Zubow and Joachim Fischer and Thomas H. Kolbe Automated and Transparent Model Fragmentation for Persisting Large Models . . . . . . . . . . . . . . . . . 102--118 Benoit Combemale and Xavier Thirioux and Benoit Baudry Formally Defining and Iterating Infinite Models . . . . . . . . . . . . . . . . . 119--133 Ábel Hegedüs and Ákos Horváth and István Ráth and Dániel Varró Query-Driven Soft Interconnection of EMF Models . . . . . . . . . . . . . . . . . 134--150 Jean-Marie Favre and Ralf Lämmel and Andrei Varanovich Modeling the Linguistic Architecture of Software Products . . . . . . . . . . . 151--167 Rolf-Helge Pfeiffer and Andrzej W\kasowski Cross-Language Support Mechanisms Significantly Aid Software Development 168--184 Carmine Gravino and Michele Risi and Giuseppe Scanniello and Genoveffa Tortora Do Professional Developers Benefit from Design Pattern Documentation? A Replication in the Context of Source Code Comprehension . . . . . . . . . . . 185--201 Alexander Reder and Alexander Egyed Incremental Consistency Checking for Complex Design Rules and Larger Model Changes . . . . . . . . . . . . . . . . 202--218 Kleinner Farias and Alessandro Garcia and Carlos Lucena Evaluating the Impact of Aspects on Inconsistency Detection Effort: a Controlled Experiment . . . . . . . . . 219--234 Lars Hamann and Oliver Hofrichter and Martin Gogolla On Integrating Structure and Behavior Modeling with OCL . . . . . . . . . . . 235--251 Julia Schroeter and Malte Lochau and Tim Winkelmann Multi-perspectives on Feature Models . . 252--268 Martin Fagereng Johansen and Òystein Haugen and Franck Fleurey and Anne Grete Eldegard Generating Better Partial Covering Arrays by Modeling Weights on Sub-product Lines . . . . . . . . . . . 269--284 Vinay Kulkarni and Souvik Barat and Suman Roychoudhury Towards Business Application Product Lines . . . . . . . . . . . . . . . . . 285--301 Azzam Maraee and Mira Balaban Inter-association Constraints in UML2: Comparative Analysis, Usage Recommendations, and Modeling Guidelines 302--318 Anonymous Front Matter . . . . . . . . . . . . . . ??
Sung-Shik T. Q. Jongmans and Francesco Santini and Mahdi Sargolzaei and Farhad Arbab Automatic Code Generation for the Orchestration of Web Services with Reo 1--16 Lina Barakat and Simon Miles and Michael Luck Reactive Service Selection in Dynamic Service Environments . . . . . . . . . . 17--31 Yuri Demchenko and Canh Ngo and Pedro Martínez-Julia and Elena Torroglosa and Mary Grammatikou GEMBus Based Services Composition Platform for Cloud PaaS . . . . . . . . 32--47 Mila Dalla Preda and Maurizio Gabbrielli and Claudio Guidi and Jacopo Mauro and Fabrizio Montesi Interface-Based Service Composition with Aggregation . . . . . . . . . . . . . . 48--63 Matthew Collinson and David Pym and Barry Taylor A Framework for Modelling Security Architectures in Services Ecosystems . . 64--79 Olga Wenge and Melanie Siebenhaar and Ulrich Lampe and Dieter Schuller and Ralf Steinmetz Much Ado about Security Appeal: Cloud Provider Collaborations and Their Risks 80--90 Frank S. de Boer and Reiner Hähnle and Einar Broch Johnsen and Rudolf Schlatte and Peter Y. H. Wong Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study . . . . . . . . . . . . . . . 91--106 Tam Le Nhan and Gerson Sunyé and Jean-Marc Jézéquel A Model-Driven Approach for Virtual Machine Image Provisioning in Cloud Computing . . . . . . . . . . . . . . . 107--121 Christian Heike and Wolf Zimmermann and Andreas Both Protocol Conformance Checking of Services with Exceptions . . . . . . . . 122--137 Claus Pahl Cloud Service Localisation . . . . . . . 138--153 Kouessi Arafat Romaric Sagbo and Pélagie Houngue Quality Architecture for Resource Allocation in Cloud Computing . . . . . 154--168 Miroslav \vZivkovi\'c and Hans van den Berg Analysis of Revenue Improvements with Runtime Adaptation of Service Composition Based on Conditional Request Retries . . . . . . . . . . . . . . . . 169--183 Manfred Dellkrantz and Maria Kihl and Anders Robertsson Performance Modeling and Analysis of a Database Server with Write-Heavy Workload . . . . . . . . . . . . . . . . 184--191 Marvin Ferber and Thomas Rauber Mobile Cloud Computing in 3G Cellular Networks Using Pipelined Tasks . . . . . 192--199 Florian Fittkau and Sören Frey and Wilhelm Hasselbring Cloud User-Centric Enhancements of the Simulator CloudSim to Improve Cloud Deployment Option Analysis . . . . . . . 200--207 Claudio Guidi and Paolo Anedda and Tullio Vardanega PaaSSOA: An Open PaaS Architecture for Service Oriented Applications . . . . . 208--209 Pierre De Vettor and Michael Mrissa and Carlos Pedrinaci Context Mediation as a Linked Service 210--211 Ming-Xue Wang and Claus Pahl User-Customisable Policy Monitoring for Multi-tenant Cloud Architectures . . . . 212--213 Bin Cheng and Sachin Agarwal and Daniele Abbadessa Enabling Co-browsing Service across Different Browsers and Devices . . . . . 214--229 John Trammel and Ümit Yalçinalp and Andrei Kalfas and James Boag and Dan Brotsky Device Token Protocol for Persistent Authentication Shared across Applications . . . . . . . . . . . . . . 230--243 Anonymous Front Matter . . . . . . . . . . . . . . ??
Muhammad Ajmal and Muhammad Husnain Ashraf and Muhammad Shakir and Yasir Abbas and Faiz Ali Shah Video Summarization: Techniques and Classification . . . . . . . . . . . . . 1--13 Thierry Bay and Romain Raffin and Marc Daniel Discrete Geometric Modeling of Thick Pelvic Organs with a Medial Axis . . . . 14--21 Marzena Bielecka and Andrzej Bielecki An Evolutionary-Neural Algorithm for Solving Inverse IFS Problem for Images in Two-Dimensional Space . . . . . . . . 22--29 Dariusz Borkowski Euler's Approximations to Image Reconstruction . . . . . . . . . . . . . 30--37 Dariusz Borkowski and Katarzyna Ja\'nczak-Borkowska Application of Backward Stochastic Differential Equations to Reconstruction of Vector-Valued Images . . . . . . . . 38--47 M. Emre Celebi and Quan Wen and Gerald Schaefer and Huiyu Zhou Batch Neural Gas with Deterministic Initialization for Color Quantization 48--54 Eduardo E. Dávila Serrano and Laurent Guigues and Jean-Pierre Roux and Frédéric Cervenansky CreaTools: a Framework to Develop Medical Image Processing Software: Application to Simulate Pipeline Stent Deployment in Intracranial Vessels with Aneurysms . . . . . . . . . . . . . . . 55--62 Diana Doma\'nska and Marek Wojtylak and Wies\law Kotarski Visualization of Multidimensional Data in Explorative Forecast . . . . . . . . 63--70 Adam Goi\'nski and Tomasz Zawadzki and S\lawomir Nikiel Automatic Shape Generation Based on Quadratic Four-Dimensional Fractals . . 71--78 Tomasz Grajek and Damian Karwowski and Adam \Luczak and S\lawomir Ma\'ckowiak and Marek Doma\'nski Architecture of Algorithmically Optimized MPEG-4 AVC/H.264 Video Encoder 79--86 Pawe\l Iwaneczko and Karol J\kedrasiak and Krzysztof Daniec and Aleksander Nawrat A Prototype of Unmanned Aerial Vehicle for Image Acquisition . . . . . . . . . 87--94 \Lukasz Janik and Karol J\kedrasiak and Konrad Wojciechowski and Andrzej Pola\'nski Application of a Hybrid Algorithm for Non--humanoid Skeleton Model Estimation from Motion Capture Data . . . . . . . . 95--104 \Lukasz Jopek and Laurent Babout and Marcin Janaszewski A New Method to Segment X-Ray Microtomography Images of Lamellar Titanium Alloy Based on Directional Filter Banks and Gray Level Gradient . . 105--112 Peter Kapec and Michal Papr\vcka and Adam Pa\vzitnaj Intelligent $3$D Graph Exploration with Time-Travel Features . . . . . . . . . . 113--120 Damian Karwowski Improved Adaptive Arithmetic Coding for HEVC Video Compression Technology . . . 121--128 Jacek Komorowski and Przemys\law Rokita Extrinsic Camera Calibration Method and Its Performance Evaluation . . . . . . . 129--138 Ryszard Kozera and Lyle Noakes and Mariusz Rasi\'nski Length Estimation for the Adjusted Exponential Parameterization . . . . . . 139--147 Ryszard Kozera and Mateusz \'Smietanka Sharpness in Trajectory Estimation by Piecewise-quadratics(-cubics) and Cumulative Chords . . . . . . . . . . . 148--155 Robert Krupi\'nski and Przemys\law Mazurek Estimation of Electrooculography and Blinking Signals Based on Filter Banks 156--163 Adam \Luczak and S\lawomir Maákowiak and Damian Karwowski and Tomasz Grajek A Large Barrel Distortion in an Acquisition System for Multifocal Images Extraction . . . . . . . . . . . . . . . 164--171 Anonymous Front Matter . . . . . . . . . . . . . . ??
Twan Basten and Martijn Hendriks and Lou Somers and Nikola Tr\vcka Model-Driven Design-Space Exploration for Software-Intensive Embedded Systems 1--6 Kim G. Larsen Statistical Model Checking, Refinement Checking, Optimization, \ldots for Stochastic Hybrid Systems . . . . . . . 7--10 S. Akshay and Lo\"\ic Hélouët and Claude Jard and Didier Lime and Olivier H. Roux Robustness of Time Petri Nets under Architectural Constraints . . . . . . . 11--26 Eugene Asarin and Nicolas Basset and Marie-Pierre Béal and Aldric Degorre and Dominique Perrin Toward a Timed Theory of Channel Coding 27--42 Nathalie Bertrand and Sven Schewe Playing Optimally on Timed Automata with Random Delays . . . . . . . . . . . . . 43--58 Rebekah Carter and Eva M. Navarro-López Dynamically-Driven Timed Automaton Abstractions for Proving Liveness of Continuous Systems . . . . . . . . . . . 59--74 Chris Chilton and Marta Kwiatkowska and Xu Wang Revisiting Timed Specification Theories: a Linear-Time Perspective . . . . . . . 75--90 Andreas E. Dalsgaard and Alfons Laarman and Kim G. Larsen and Mads Chr. Olesen and Jaco van de Pol Multi-core Reachability for Timed Automata . . . . . . . . . . . . . . . . 91--106 Rayna Dimitrova and Bernd Finkbeiner Counterexample-Guided Synthesis of Observation Predicates . . . . . . . . . 107--122 Christian Ellen and Sebastian Gerwinn and Martin Fränzle Confidence Bounds for Statistical Model Checking of Probabilistic Hybrid Systems 123--138 Hamed Ghasemieh and Anne Remke and Boudewijn Haverkort and Marco Gribaudo Region-Based Analysis of Hybrid Petri Nets with a Single General One-Shot Transition . . . . . . . . . . . . . . . 139--154 Christian Herrera and Bernd Westphal and Sergio Feo-Arenis and Marco Muñiz and Andreas Podelski Reducing Quasi-Equal Clocks in Networks of Timed Automata . . . . . . . . . . . 155--170 Roland Kindermann and Tommi Junttila and Ilkka Niemelä SMT-Based Induction Methods for Timed Systems . . . . . . . . . . . . . . . . 171--187 Marco Muñiz and Bernd Westphal and Andreas Podelski Timed Automata with Disjoint Activity 188--203 Hans-Jörg Peter and Bernd Finkbeiner The Complexity of Bounded Synthesis for Timed Control with Partial Observability 204--219 Jonas Rinast and Sibylle Schupp Static Detection of Zeno Runs in UPPAAL Networks Based on Synchronization Matrices and Two Data-Variable Heuristics . . . . . . . . . . . . . . . 220--235 Amélie Stainer Frequencies in Forgetful Timed Automata 236--251 Martin Wehrle and Sebastian Kupferschmid \sc Mcta: Heuristics and Search for Timed Systems . . . . . . . . . . . . . 252--266 Anonymous Back Matter . . . . . . . . . . . . . . ?? Anonymous Front Matter . . . . . . . . . . . . . . ??
Tomoya Takimoto and Fukuhito Ooshita Communication-Efficient Self-stabilization in Wireless Networks 1--15 Sven Köhler and Volker Turau and Gerhard Mentges Self-stabilizing Local $k$-Placement of Replicas with Minimal Variance . . . . . 16--30 Brahim Neggazi and Mohammed Haddad Self-stabilizing Algorithm for Maximal Graph Partitioning into Triangles . . . 31--42 Mahyar R. Malekpour Brief Announcement: Self-stabilizing Synchronization of Arbitrary Digraphs in Presence of Faults . . . . . . . . . . . 43--45 Ajoy K. Datta and Stéphane Devismes Brief Announcement: Self-stabilizing Silent Disjunction in an Anonymous Network . . . . . . . . . . . . . . . . 46--48 Fukuhito Ooshita and Sébastien Tixeuil On the Self-stabilization of Mobile Oblivious Robots in Uniform Rings . . . 49--63 Stéphane Devismes and Anissa Lamani Optimal Grid Exploration by Asynchronous Oblivious Robots . . . . . . . . . . . . 64--76 Othon Michail and Ioannis Chatzigiannakis Terminating Population Protocols via Some Minimal Global Knowledge Assumptions . . . . . . . . . . . . . . 77--89 Matthias Függer and Alexander Kößler Brief Announcement: The Degrading Effect of Forgetting on a Synchronizer . . . . 90--91 Tomoko Izumi and Yukiko Yamauchi and Sayaka Kamei Brief Announcement: Mobile Agent Rendezvous on Edge Evolving Rings . . . 92--94 Yanhong A. Liu and Scott D. Stoller and Bo Lin High-Level Executable Specifications of Distributed Algorithms . . . . . . . . . 95--110 Yosr Jarraya and Arash Eghtesadi Formal Verification of Security Preservation for Migrating Virtual Machines in the Cloud . . . . . . . . . 111--125 Jordan Adamek and Mikhail Nesterenko Evaluating Practical Tolerance Properties of Stabilizing Programs through Simulation: The Case of Propagation of Information with Feedback 126--132 Shlomi Dolev and Ariel Hanemann Self-stabilizing End-to-End Communication in (Bounded Capacity, Omitting, Duplicating and non-FIFO) Dynamic Networks . . . . . . . . . . . . 133--147 Bertrand Ducourthial and Véronique Cherfaoui Self-stabilizing Distributed Data Fusion 148--162 Colette Johnen From Self- to Self-stabilizing with Service Guarantee $1$-Hop Weight-Based Clustering . . . . . . . . . . . . . . . 163--178 Jingshu Chen Brief Announcement: Verification of Stabilizing Programs with SMT Solvers 179--182 Can Arda Muftuoglu and Péter Bokor and Neeraj Suri Brief Announcement: MP-State: State-Aware Software Model Checking of Message-Passing Systems . . . . . . . . 183--186 Giuseppe Ateniese and Roberto Baldoni Oblivious Assignment with m Slots . . . 187--201 Mohammad Alaggan and Sébastien Gambs BLIP: Non-interactive Differentially-Private Similarity Computation on Bloom filters . . . . . . 202--216 Anonymous Front Matter . . . . . . . . . . . . . . ??
Tao Gong Face Recognition by Searching Most Similar Sample with Immune Learning . . 1--13 Thomas Pierrard and Carlos A. Coello Coello A Multi-Objective Artificial Immune System Based on Hypervolume . . . . . . 14--27 Johannes Textor A Comparative Study of Negative Selection Based Anomaly Detection in Sequence Data . . . . . . . . . . . . . 28--41 TiongHoo Lim and HuiKeng Lau and Jon Timmis and Iain Bate Immune-Inspired Self Healing in Wireless Sensor Networks . . . . . . . . . . . . 42--56 Grazziela P. Figueredo and Peer-Olaf Siebers and Uwe Aickelin and Stephanie Foan A Beginner's Guide to Systems Simulation in Immunology . . . . . . . . . . . . . 57--71 Wilburn W. P. Tsang and Henry Y. K. Lau Clustering-Based Multi-objective Immune Optimization Evolutionary Algorithm . . 72--85 Anna Gogolinska and Wieslaw Nowak Petri Nets Approach to Modeling of Immune System and Autism . . . . . . . . 86--99 Cicero Hildenberg Lima de Oliveira and Thayna Baptista Moroso and Fabio Hugo Souza Matos Mathematical Implementation of Interaction between Malaria and Immune System . . . . . . . . . . . . . . . . . 100--110 Thomas Jansen and Christine Zarges Computing Longest Common Subsequences with the B-Cell Algorithm . . . . . . . 111--124 Jun Fu and Huan Yang and Yiwen Liang and Chengyu Tan Bait a Trap: Introducing Natural Killer Cells to Artificial Immune System for Spyware Detection . . . . . . . . . . . 125--138 Samir A. Mohamed Elsayed and Sanguthevar Rajasekaran and Reda A. Ammar AC-CS: An Immune-Inspired Associative Classification Algorithm . . . . . . . . 139--151 Zeineb Chelly and Zied Elouedi RC-DCA: a New Feature Selection and Signal Categorization Technique for the Dendritic Cell Algorithm Based on Rough Set Theory . . . . . . . . . . . . . . . 152--165 Viviana Cocco Mariani and Leandro dos Santos Coelho and Anderson Duck Artificial Immune Network Approach with Beta Differential Operator Applied to Optimization of Heat Exchangers . . . . 166--177 Patricia Mostardinha and Bruno Filipe Faria and André Zúquete and Fernão Vistulo de Abreu A Negative Selection Approach to Intrusion Detection . . . . . . . . . . 178--190 Danesh Tarapore and Anders Lyhne Christensen and Pedro U. Lima and Jorge Carneiro Clonal Expansion without Self-replicating Entities . . . . . . . 191--204 Mahdi Mohammadi and Ahmad Akbari and Bijan Raahemi and Babak Nassersharif A Real Time Anomaly Detection System Based on Probabilistic Artificial Immune Based Algorithm . . . . . . . . . . . . 205--217 Zixing Cai and Xingbao Liu and Xiaoping Ren CSA/IE: Novel Clonal Selection Algorithm with Information Exchange for High Dimensional Global Optimization Problems 218--231 Pedro Pinacho and Iván Pau and Max Chacón and Sergio Sánchez An Ecological Approach to Anomaly Detection: The EIA Model . . . . . . . . 232--245 Chris Musselle Rethinking Concepts of the Dendritic Cell Algorithm for Multiple Data Stream Analysis . . . . . . . . . . . . . . . . 246--259 Raffaele Giancarlo and Filippo Utro Stability-Based Model Selection for High Throughput Genomic Data: An Algorithmic Paradigm . . . . . . . . . . . . . . . . 260--270 Anonymous Front Matter . . . . . . . . . . . . . . ??
Noura Faraj and Jean-Marc Thiery and Isabelle Bloch and Nad\`ege Varsier and Joe Wiart Robust and Scalable Interactive Freeform Modeling of High Definition Medical Images . . . . . . . . . . . . . . . . . 1--11 Xinyi Cui and Shaoting Zhang and Yiqiang Zhan and Mingchen Gao and Junzhou Huang 3D Anatomical Shape Atlas Construction Using Mesh Quality Preserved Deformable Models . . . . . . . . . . . . . . . . . 12--21 Thomas Albrecht and Thomas Vetter Automatic Fracture Reduction . . . . . . 22--29 Tristan Whitmarsh and Luis M. Del Río Barquero and Silvana Di Gregorio and Jorge Malouf Sierra Age-Related Changes in Vertebral Morphometry by Statistical Shape Analysis . . . . . . . . . . . . . . . . 30--39 Ju Zhang and Duane Malcolm and Jacqui Hislop-Jambrich and C. David L. Thomas and Poul Nielsen Automatic Meshing of Femur Cortical Surfaces from Clinical CT Images . . . . 40--48 Rasmus R. Jensen and Oline V. Olesen and Rasmus R. Paulsen and Mike van der Poel and Rasmus Larsen Statistical Surface Recovery: a Study on Ear Canals . . . . . . . . . . . . . . . 49--58 Hong Zhang and Yuanfeng Jiao and Yongjie Zhang and Kenji Shimada Automated Segmentation of Cerebral Aneurysms Based on Conditional Random Field and Gentle Adaboost . . . . . . . 59--69 Youngjun Kim and Seungbin Lee and Frédérick Roy and Deukhee Lee and Laehyun Kim and Sehyung Park Carving Mesh with Deformation for Soft Tissue Removal Simulation . . . . . . . 70--79 Yi Gao and Sylvain Bouix Synthesis of Realistic Subcortical Anatomy with Known Surface Deformations 80--88 Boris A. Gutman and Ryan McComb and Jay Sung and Won Moon and Paul M. Thompson Robust Shape Correspondence via Spherical Patch Matching for Atlases of Partial Skull Models . . . . . . . . . . 89--100 Max Kahnt and Heiko Ramm and Hans Lamecker and Stefan Zachow Feature-Preserving, Multi-material Mesh Generation Using Hierarchical Oracles 101--111 Gang Li and Jingxin Nie and Dinggang Shen Partition Cortical Surfaces into Supervertices: Method and Application 112--121 Jeonghyung Park and Suzanne M. Shontz and Corina S. Drapaca Automatic Boundary Evolution Tracking via a Combined Level Set Method and Mesh Warping Technique: Application to Hydrocephalus . . . . . . . . . . . . . 122--133 Antonietta Pepe and Laura Brandolini and Marco Piastra and Juha Koikkalainen and Jarmo Hietala Simplified Reeb Graph as Effective Shape Descriptor for the Striatum . . . . . . 134--146 Dominik Sibbing and Hans-Christian Ebke and Kai Ingo Esser and Leif Kobbelt Topology Aware Quad Dominant Meshing for Vascular Structures . . . . . . . . . . 147--158 Philip Voglreiter and Markus Steinberger and Dieter Schmalstieg and Bernhard Kainz Volumetric Real-Time Particle-Based Representation of Large Unstructured Tetrahedral Polygon Meshes . . . . . . . 159--168 Anonymous Back Matter . . . . . . . . . . . . . . ?? Anonymous Front Matter . . . . . . . . . . . . . . ??