CoRR, November 2011
- Aman Chadha, Divya Jyoti, M. Mani Roja:
Text-Independent Speaker Recognition for Low SNR Environments with Encryption.

- Ian Horrocks, Jeff Z. Pan, Giorgos B. Stamou, Giorgos Stoilos, Vassilis Tzouvaras:
Reasoning with Very Expressive Fuzzy Description Logics.

- Chu Min Li, Felip Manyà, Jordi Planes:
New Inference Rules for Max-SAT.

- Rafael H. Bordini, Álvaro F. Moreira, Renata Vieira, Michael Wooldridge:
On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language.

- Boi Faltings, Radu Jurca:
Obtaining Reliable Feedback for Sanctioning Reputation Mechanisms.

- Carmel Domshlak, Jörg Hoffmann:
Probabilistic Planning via Heuristic Forward Search and Weighted Model Counting.

- Indrajit Bhattacharya, Lise Getoor:
Query-time Entity Resolution.

- Jonathan Bredin, Quang Duong, David C. Parkes:
Chain: A Dynamic Double Auction Framework for Matching Patient Agents.

- François Mairesse, Rashmi Prasad, Amanda Stent, Marilyn A. Walker:
Individual and Domain Adaptation in Sentence Planning for Dialogue.

- Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler:
Conjunctive Query Answering for the Description Logic SHIQ.

- George Macleod Coghill, Ross D. King, Ashwin Srinivasan:
Qualitative System Identification from Imperfect Data.

- Malcolm Ross Kinsella Ryan:
Exploiting Subgraph Structure in Multi-Robot Path Planning.

- Yulin Ding, Yan Zhang:
CTL Model Update for System Modifications.

- Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner:
Extended RDF as a Semantic Foundation of Rule Markup Languages.

- Omer Giménez, Anders Jonsson:
The Complexity of Planning Problems With Simple Causal Graphs.

- Menkes Hector Louis van den Briel, Thomas Vossen, Subbarao Kambhampati:
Loosely Coupled Formulations for Automated Planning: An Integer Programming Perspective.

- Daria Terekhov, J. Christopher Beck:
A Constraint Programming Approach for Solving a Queueing Control Problem.

- Frans A. Oliehoek, Matthijs T. J. Spaan, Nikos A. Vlassis:
Optimal and Approximate Q-value Functions for Decentralized POMDPs.

- Jiri Barnat, Keijo Heljanko (Eds.):
Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation.
EPTCS 72 2011
Contents

- Claudia V. Goldman, Shlomo Zilberstein:
Communication-Based Decomposition Mechanisms for Decentralized MDPs.

- Fan Yang, Joseph C. Culberson, Robert Holte, Uzi Zahavi, Ariel Felner:
A General Theory of Additive State Space Abstractions.

- Chenggang Wang, Saket Joshi, Roni Khardon:
First Order Decision Diagrams for Relational MDPs.

- Yiwei Song, Natasha Devroye:
Lattice codes for the Gaussian relay channel: Decode-and-Forward and Compress-and-Forward.

- Andreas Abel, Nicolai Kraus:
A Lambda Term Representation Inspired by Linear Ordered Logic.
1-13

- Maxime Beauquier, Carsten Schürmann:
A Bigraph Relational Model.
14-28

- Mathieu Boespflug, Brigitte Pientka:
Multi-level Contextual Type Theory.
29-43

- Ranald Clouston:
Nominal Logic with Equations Only.
44-57

- Murdoch James Gabbay, Dominic P. Mulligan:
Nominal Henkin Semantics: simply-typed lambda-calculus models in nominal sets.
58-75

- Alan J. Martin, Amy P. Felty:
An Improved Implementation and Abstract Interface for Hybrid.
76-90

- Manosij Ghosh Dastidar, Sourav Sen Gupta:
Generalization of a few results in Integer Partitions.

- Gyesik Lee, Benjamin Werner:
Proof-irrelevant model of CC with predicative induction and judgmental equality.

- Quan Quan, Hai Lin, Kai-Yuan Cai:
Output Feedback Tracking Control for a Class of Uncertain Systems subject to Unmodeled Dynamics and Delay at Input.

- Andrés Cordón-Franco, Hans P. van Ditmarsch, David Fernández Duque, Joost J. Joosten, Fernando Soler-Toscano:
A secure additive protocol for card players.

- Sanaa Elyassami, Ali Idri:
Applying Fuzzy ID3 Decision Tree for Software Effort Estimation.

- Kasra Haghighi, Erik G. Ström, Erik Agrell:
On Optimum Causal Cognitive Spectrum Reutilization Strategy.

- Carlos Aguilar Melchor, Philippe Gaborit, Jon-Lark Kim, Lin Sok, Patrick Solé:
Classification of extremal and $s$-extremal binary self-dual codes of length 38.

- Shuvatov Talgat, Suleimenov Batrbek:
Gas turbine diagnostic system.

- Anita Sobe, Wilfried Elmenreich, László Böszörményi:
Storage Balancing in Self-organizing Multimedia Delivery Systems.

- Roman V. Yampolskiy:
Construction of an NP Problem with an Exponential Lower Bound.

- Zeinab Abbassi, Christina Aperjis, Bernardo A. Huberman:
Swayed by Friends or by the Crowd?

- Yoann Dieudonné, Andrzej Pelc:
Deterministic gathering of anonymous agents in arbitrary networks.

- Adrian Yanes:
OpenWeather: a peer-to-peer weather data transmission protocol.

- Mishari Al Mishari, Gene Tsudik:
Exploring Linkablility of Community Reviewing.

- Brian Kulis, Michael I. Jordan:
Revisiting k-means: New Algorithms via Bayesian Nonparametrics.

- Lubos Brim, Jiri Barnat:
Platform Dependent Verification: On Engineering Verification Tools for 21st Century.
1-12

- Alfons Laarman, Jaco van de Pol:
Variations on Multi-Core Nested Depth-First Search.
13-28

- Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Axel Legay:
Distributed Parametric and Statistical Model Checking.
30-42

- Youssef Hamadi, João Marques-Silva, Christoph M. Wintersteiger:
Lazy Decomposition for Distributed Decision Procedures.
43-54

- Temesghen Kahsai, Cesare Tinelli:
PKind: A parallel k-induction based model checker.
55-62

- Nikola Benes, Ivana Cerná, Milan Krivánek:
CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems.
63-67

- Stefan Vijzelaar, Kees Verstoep, Wan Fokkink, Henri E. Bal:
Distributed MAP in the SpinJa Model Checker.
84-90

- Anton Wijs:
The HIVE Tool for Informed Swarm State Space Exploration.
91-98

- Christina Boucher, Christine Lo, Daniel Lokshtanov:
Outlier Detection for DNA Fragment Assembly.

- Jaydip Sen, Sripad Krishna:
An Efficient Security Mechanism for High-Integrity Wireless Sensor Networks.

- Jaydip Sen:
A Distributed Intrusion Detection System Using Cooperating Agents.

- Jaydip Sen, M. Girish Chandra, P. Balamuralidhar, Harihara S. G., Harish Reddy:
A Distributed Protocol for Detection of Packet Dropping Attack in Mobile Ad Hoc Networks.

- Jaydip Sen, M. Girish Chandra, Harihara S. G., Harish Reddy, P. Balamuralidhar:
A Mechanism for Detection of Gray Hole Attack in Mobile Ad Hoc Networks.

- Jaydip Sen, Sripad Koilakonda, Arijit Ukil:
A Mechanism for Detection of Cooperative Black Hole Attack in Mobile Ad Hoc Networks.

- Boaz Barak, Parikshit Gopalan, Johan Håstad, Raghu Meka, Prasad Raghavendra, David Steurer:
Making the long code shorter, with applications to the Unique Games Conjecture.

- Pekka Kilpeläinen:
Inclusion of Unambiguous RE#s is NP-Hard.

- Bidyut Biman Sarkar, Sugata Sanyal, Nabendu Chaki:
A Stochastic Net Model for Controlling Bullwhip Effect in Virtual Multi-Tier Retail Network.

- Sangkyun Lee, Stephen J. Wright:
Approximate Stochastic Subgradient Estimation Training for Support Vector Machines.

- Laurent Bulteau, Guillaume Fertin, Irena Rusu:
Pancake Flipping is Hard.

- Michael M. Bronstein:
Kernel diff-hash.

- Michal Skrzypczak:
Equational theories of profinite structures.

- Rafael Grimson, Joos Heintz, Bart Kuijpers:
Evaluating geometric queries using few arithmetic operations.

- Serge Kernbach, Kristof Jebens:
Development of a Cost-efficient Autonomous MAV for an Unstructured Indoor Environment.

- Francesco Pantisano, Mehdi Bennis, Walid Saad, Mérouane Debbah:
Spectrum Leasing as an Incentive towards Uplink Macrocell and Femtocell Cooperation.

- Jeannette Janssen, Pawel Pralat, Rory Wilson:
Geometric Graph Properties of the Spatial Preferred Attachment model.

- Shayan Ehsani, MohammadAmin Fazli, Abbas Mehrabian, Sina Sadeghian Sadeghabad, MohammadAli Safari, Morteza Saghafian, Saber ShokatFadaee:
On a Bounded Budget Network Creation Game.

- Sergio España, Nelly Condori-Fernández, Roel Wieringa, Arturo González, Oscar Pastor:
Model-driven system development: Experimental design and report of the pilot experiment.

- Jungyun Bae, Sivakumar Rathinam:
A Primal Dual Algorithm for a Heterogeneous Traveling Salesman Problem.

- Marek Cygan, Stefan Kratsch, Marcin Pilipczuk, Michal Pilipczuk, Magnus Wahlström:
Clique cover and graph separation: New incompressibility results.

- Manindra Agrawal, Chandan Saha, Ramprasad Saptharishi, Nitin Saxena:
Jacobian hits circuits: Hitting-sets, lower bounds for depth-D occur-k formulas & depth-3 transcendence degree-k circuits.

- Andrea E. F. Clementi, Riccardo Silvestri, Luca Trevisan:
Information Spreading in Dynamic Graphs.

- Andrey Nikolaev:
Exploring Oracle RDBMS latches using Solaris DTrace.

- Shurui Huang, Aditya Ramamoorthy:
An achievable region for the double unicast problem based on a minimum cut analysis.

- Moritz Hardt, Aaron Roth:
Beating Randomized Response on Incoherent Matrices.

- Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska:
Computing Optimal Cycle Mean in Parallel on CUDA.
68-83

- Mohamed A. El-Zawawy, Hamada A. Nayel:
Partial Redundancy Elimination for Multi-threaded Programs.

- Mojtaba Vaezi, Fabrice Labeau:
Lossy Distributed Source Coding Using Real-Number Codes.

- Michael A. Forbes, Amir Shpilka:
On Identity Testing of Tensors, Low-rank Recovery and Compressed Sensing.

- Rajeev Alur, Loris D'Antoni, Jyotirmoy V. Deshmukh, Mukund Raghothaman, Yifei Yuan:
Regular Functions, Cost Register Automata, and Generalized Min-Cost Problems.

- Jinjing Jiang, Neeharika Marukala, Tie Liu:
Symmetrical Multilevel Diversity Coding with an All-Access Encoder.

- Chuan Zhang, Keshab K. Parhi:
Efficient Network for Non-Binary QC-LDPC Decoder.

- Chuan Zhang, Bo Yuan, Keshab K. Parhi:
Reduced-Latency SC Polar Decoder Architectures.

- Chuan Zhang, Bo Yuan, Keshab K. Parhi:
Low-Latency SC Decoder Architectures for Polar Codes.

- Hervé Kerivin, Jimmy Leblet, Gwendal Simon, Fen Zhou:
Maximum Bounded Rooted-Tree Packing Problem.

- Yige Wang, Stark C. Draper, Jonathan S. Yedidia:
Hierarchical and High-Girth QC LDPC Codes.

- Pannagadatta K. Shivaswamy, Thorsten Joachims:
Online Learning with Preference Feedback.

- Evan Everett, Debashis Dash, Chris Dick, Ashutosh Sabharwal:
Self-Interference Cancellation in Multi-hop Full-Duplex Networks via Structured Signaling.

- Bin Wu, Liyong Shen, Min Wu, Zhengfeng Yang, Zhenbing Zeng:
Generating Loop Invariants by Computing Vanishing Ideals of Sample Points.

- Andrew N. Jackson:
Using Automated Dependency Analysis To Generate Representation Information.

- Maxim Vashkevich, Wanggen Wan, Alexander A. Petrovsky:
Practical design of multi-channel oversampled warped cosine-modulated filter banks.

- Sourav Dutta, Souvik Bhattacherjee, Ankur Narang:
Towards "Intelligent Compression" in Streams: A Biased Reservoir Sampling based Bloom Filter Approach.

- Ankur Narang, Sourav Dutta, Souvik Bhattacherjee:
Multidimensional Balanced Allocation for Multiple Choice & (1 + Beta) Processes.

- Susanne Albers, Matthias Hellwig:
On the Value of Job Migration in Online Makespan Minimization.

- Sourav Dutta, Souvik Bhattacherjee, Ankur Narang:
Perfectly Balanced Allocation With Estimated Average Using Approximately Constant Retries.

- Stefan Z. Stefanov:
Quantum/Relativistic Computation of Security and Efficiency of Electrical Power System for a Day-Ahead: I. Renormalization.

- Ichrak Amdouni, Pascale Minet, Cedric Adjih:
OSERENA, an Optimized Coloring Algorithm for Dense or Large Scale Wireless Networks.

- Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas.

- Emmanuel Filiot, Raffaella Gentilini, Jean-François Raskin:
Quantitative Languages Defined by Functional Automata.

- Ankit Chaudhary, Jagdish Lal Raheja:
A Formal Approach for Agent Based Large Concurrent Intelligent Systems.

- Serge Kernbach:
Collective Energy Foraging of Robot Swarms and Robot Organisms.

- Aditya Kurve, Christopher Griffin, David J. Miller, George Kesidis:
Game Theoretic Iterative Partitioning for Dynamic Load Balancing in Distributed Network Simulation.

- Tiphaine Phe-Neau, Marcelo Dias de Amorim, Vania Conan:
Using Neighborhood Beyond One Hop in Disruption-Tolerant Networks.

- Roozbeh Rajabi, Mahdi Khodadadzadeh, Hassan Ghassemian:
Graph Regularized Nonnegative Matrix Factorization for Hyperspectral Data Unmixing.

- Maria-Florina Balcan, Eric Blais, Avrim Blum, Liu Yang:
Active Testing.

- Yang Yu, Chao Qian, Zhi-Hua Zhou:
Towards Analyzing Crossover Operators in Evolutionary Search via General Markov Chain Switching Theorem.

- Mihai Cucuringu, Vincent D. Blondel, Paul Van Dooren:
Extracting spatial information from networks with low-order eigenvectors.

- Markus Wittmann, Thomas Zeiser, Georg Hager, Gerhard Wellein:
Comparison of different Propagation Steps for the Lattice Boltzmann Method.

- Marcus Ritt, Alysson M. Costa:
A comparison of formulations for the simple assembly line balancing problem.

- Ashwin Rao, Yeon-sup Lim, Chadi Barakat, Arnaud Legout, Don Towsley, Walid Dabbous:
Network Characteristics of Video Streaming Traffic.

- Sanjeev Arora, Rong Ge, Ravi Kannan, Ankur Moitra:
Computing a Nonnegative Matrix Factorization -- Provably.

- Anand Louis, Prasad Raghavendra, Prasad Tetali, Santosh Vempala:
Many Sparse Cuts via Higher Eigenvalues.

- Mohamed Faouzi Atig, Ahmed Bouajjani, Shaz Qadeer:
Context-Bounded Analysis For Concurrent Programs With Dynamic Creation of Threads.

- John Wright, Arvind Ganesh, Allen Y. Yang, Zihan Zhou, Yi Ma:
Sparsity and Robustness in Face Recognition.

- Nima Noorshams, Martin J. Wainwright:
Stochastic Belief Propagation: Low-Complexity Message-Passing with Guarantees.

- Carlos Alberto Fernández y Fernández, Martín José José:
Towards the integration of formal specification in the Áncora methodology.

- David L. Donoho, Iain Johnstone, Andrea Montanari:
Accurate Prediction of Phase Transitions in Compressed Sensing via a Connection to Minimax Denoising.

- Mohamad Charafeddine, Aydin Sezgin, Zhu Han, Arogyaswami Paulraj:
Achievable and Crystallized Rate Regions of the Interference Channel with Interference as Noise.

- Jung Hoon Lee, Wan Choi, David J. Love:
Achievable DoF and Its User Scaling Law for Opportunistic User Selection in a $K$-transmitter SIMO Interference Channel.

- Alex Skvortsov, Branko Ristic:
Modelling and Performance analysis of a Network of Chemical Sensors with Dynamic Collaboration.

- Wei Li, Chun-Ming Yuan, Xiao-Shan Gao:
Sparse Differential Resultant for Laurent Differential Polynomials.

- Aman Chadha, Divya Jyoti, M. G. Bhatia:
Design and Simulation of an 8-bit.

- Divya Jyoti, Aman Chadha, Pallavi P. Vaidya, M. Mani Roja:
A robust, low-cost approach to Face Detection and Face Recognition.

- Sabu M. Thampi, Ann Jisma Jacob:
Securing Biometric Images using Reversible Watermarking.

- Serge Kernbach:
On Three Challenges of Artificial Living Systems and Embodied Evolution.

- Tobias Kretz, Stefan Hengst, Antonia Pérez Arias, Simon Friedberger, Uwe D. Hanebeck:
Using a Telepresence System to Investigate Route Choice Behavior.

- Martin Grohe, Dániel Marx:
Structure Theorem and Isomorphism Test for Graphs with Excluded Topological Subgraphs.

- Lisa Hellerstein, Devorah Kletenik, Linda Sellie, Rocco A. Servedio:
Tight Bounds on Proper Equivalence Query Learning of DNF.

- Markus Wittmann, Thomas Zeiser, Georg Hager, Gerhard Wellein:
Domain decomposition and locality optimization for large-scale lattice Boltzmann simulations.

- Dan Garber, Elad Hazan:
Universal MMSE Filtering With Logarithmic Adaptive Regret.

- Amos Lapidoth, Ligong Wang:
The State-Dependent Semideterministic Broadcast Channel.

- Benjamin Morandi, Sebastian Nanz, Bertrand Meyer:
Record-Replay Debugging for Concurrent SCOOP Programs.

- Saif K. Mohammed, Erik G. Larsson:
Constant Envelope Precoding for .

- Yu-Ru Lin, James P. Bagrow, David Lazer:
More Voices Than Ever? Quantifying Media Bias in Networks.

- Wojciech Mazurczyk, Pawel Szaga, Krzysztof Szczypiorski:
Using Transcoding for Hidden Communication in IP Telephony.

- Ryan Williams:
A Casual Tour Around a Circuit Complexity Bound.

- Amin Coja-Oghlan, Konstantinos Panagiotou:
Catching the k-NAESAT Threshold.

- Chi Sing Chum, Xiaowen Zhang:
Hash function based secret sharing scheme designs.

- P. Shrinivasan. R. Patnaikuni, Raj. B. Kulkarni:
An architecture for "Web Of Things" using SOCKS protocol based IPv6/IPv4 gatewaying for heterogeneous communication.

- Richard Herrmann:
Covariant fractional extension of the modified Laplace-operator used in 3D-shape recovery.

- Yuyang Wang, Roni Khardon, Pavlos Protopapas:
Nonparametric Bayesian Estimation of Periodic Functions.

- Oleg O. Varlamov:
MIVAR: Transition from .

- Xueying Duan, Qichun Wang:
Two Classes of Crooked Multinomials Inequivalent to Power Functions.

- Cong Ling, Su Gao, Jean-Claude Belfiore:
Wyner-Ziv Coding Based on Multidimensional Nested Lattices.

- Gerald Paul:
An efficient implementation of the simulated annealing heuristic for the quadratic assignment problem.

- Travis Gagie, Juha Kärkkäinen, Yakov Nekrich, Simon J. Puglisi:
A Compressed Self-Index for Genomic Databases.

- Jason Spencer:
Speculative Parallel Evaluation Of Classification Trees On GPGPU Compute Engines.

- Avihai Mejer, Koby Crammer:
Confidence Estimation in Structured Prediction.

- M. Amin Khajehnejad, Weiyu Xu, Amir Salman Avestimehr, Babak Hassibi:
Improving the Thresholds of Sparse Recovery: An Analysis of a Two-Step Reweighted Basis Pursuit Algorithm.

- Yu Zhang, Chengqing Li, Qin Li, Dan Zhang, Shi Shu:
Breaking a chaotic image encryption algorithm based on perceptron model.

- Maria-Florina Balcan, Steve Hanneke:
Robust Interactive Learning.

- Aman Chadha, Pallavi P. Vaidya, M. Mani Roja:
Face Recognition Using Discrete Cosine Transform for Global and Local Features.

- Anthony Afuwoqi, Hongyou Wu:
Promoting Industry-University Partnership in Information Technology.

- John C. Kieffer, Philippe Flajolet, En-Hui Yang:
Universal Lossless Data Compression Via Binary Decision Diagrams.

- Vineet Abhishek, Bruce Hajek, Steven R. Williams:
On Bidding with Securities: Risk Aversion and Positive Dependence.

- Michael M. Bronstein:
Multimodal diff-hash.

- Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen, Thomas Eiter:
Embedding Description Logic Programs into Default Logic.

- Lorenzo Orecchia, Sushant Sachdeva, Nisheeth K. Vishnoi:
Approximating the Exponential, the Lanczos Method and an \tilde{O}(m)-Time Spectral Algorithm for Balanced Separator.

- Taisuke Izumi, Samia Souissi, Yoshiaki Katayama, Nobuhiro Inuzuka, Xavier Défago, Koichi Wada, Masafumi Yamashita:
The Gathering Problem for Two Oblivious Robots with Unreliable Compasses.

- Rishiraj Saha Roy, Niloy Ganguly, Monojit Choudhury, Srivatsan Laxman:
An IR-based Evaluation Framework for Web Search Query Segmentation.

- Linpeng Tang, Qin Liu:
A Survey on Distance Vector Routing Protocols.

- Tobias Brunsch, Heiko Röglin:
Improved Smoothed Analysis of Multiobjective Optimization.

- Gilson O. dos Santos, Francisco M. de Assis:
A scheme for protecting multiple quantum erasures.

- M. Y. Shams, M. Z. Rashad, O. Nomir, R. M. El-Awady:
Iris Recognition Based on LBP and Combined LVQ Classifier.

- Balwinder Singh, Sukhleen Bindra Narang, Arun Khosla:
Particle Swarm Optimization Framework for Low Power Testing of VLSI Circuits.

- Frederico Araujo Durão, Peter Dolog:
Semantic Grounding Strategies for Tagbased Recommender Systems.

- M. Thirumaran, P. Dhavachelvan, Aranganayagi G., S. Abarna:
Evaluation of Computability Criterions for Runtime Web Service Integration.

- Sergey Melnik, Jonathan Ward, James P. Gleeson, Mason A. Porter:
Multi-Stage Complex Contagions.

- Jagannath Aghav, Ashwin Tumma:
Design and Validation of Safety Cruise Control System for Automobiles.

- Colin S. Lea, Jason J. Corso:
Efficient Hierarchical Markov Random Fields for Object Detection on a Mobile Robot.

- Bimal Aklesh Kumar:
Solar Power Systems Web Monitoring.

- Ala'a Z. Al-Howaide, Mohammed I. Khaleel, Ayad M. Salhieh:
Updatable Queue Protocol Based On TCP For Virtual Reality Environment.

- Carlos Aguilar Melchor, Philippe Gaborit, Julien Schrek:
A new zero-knowledge code based identification scheme with reduced communication.

- Sunil Joshi, Deepak Gupta:
Throughput Performance of .

- Archana Shukla:
Sentiment Analysis of Document Based on Annotation.

- Anne Driemel, Herman J. Haverkort, Maarten Löffler:
Flow Computations on Imprecise Terrains.

- Prosenjit Bose, Sébastien Collette, Rolf Fagerberg, Stefan Langerman:
De-amortizing Binary Search Trees.

- Abdelhakim Khlifi, Ridha Bouallegue:
Performance Analysis of LS and LMMSE Channel Estimation Techniques for LTE Downlink Systems.

- Cristina G. Fernandes, Luis A. A. Meira, Flávio Keidi Miyazawa, Lehilton L. C. Pedrosa:
Squared Metric Facility Location Problem.

- Daoud Clarke:
Algebras over a field and semantics for context based reasoning.

- Biswarup Neogi, Soumya Ghosal, Soumyajit Mukherjee, Achintya Das, D. N. Tibarewala:
Simulation Techniques and Prosthetic Approach Towards Biologically Efficient Artificial Sense Organs- An Overview.

- Simon Korman, Daniel Reichman, Gilad Tsur:
Tight Approximation of Image Matching.

- Michael A. Lexa:
Quantization via Empirical Divergence Maximization and Its Applications.

- Guy E. Blelloch, Anupam Gupta, Ioannis Koutis, Gary L. Miller, Richard Peng, Kanat Tangwongsan:
Near Linear-Work Parallel SDD Solvers, Low-Diameter Decomposition, and Low-Stretch Subgraphs.

- Abdelghni Lakehal, Omar El Beqqali:
New Method for 3D Shape Retrieval.

- Syed V. Ahamed, Syed (Shawon) Rahman:
Architecture and Design of Medical Processor Units for Medical Networks.

- Stephen Mohr, Syed (Shawon) Rahman:
IT Security Issues Within the Video Game Industry.

- David Hood, Syed (Shawon) Rahman:
IT Security Plan for Flight Simulation Program.

- Maria Schuett, Syed (Shawon) Rahman:
Information Security Synthesis in Online Universities.

- Jason Slaughter, Syed (Shawon) Rahman:
Information Security Plan for Flight Simulator Applications.

- Shipra Agrawal, Navin Goyal:
Analysis of Thompson Sampling for the multi-armed bandit problem.

- N. S. Narayanaswamy, N. Sadagopan:
On the Complexity of Connected (s, t)-Vertex Separator.

- Svebor Karaman, Jenny Benois-Pineau, Vladislavs Dovgalecs, Rémi Mégret, Julien Pinquier, Régine André-Obrecht, Yann Gaëstel, Jean-François Dartigues:
Hierarchical Hidden Markov Model in Detecting Activities of Daily Living in Wearable Videos for Studies of Dementia.

- Aldo de Luca, Alessandro De Luca:
A generalized palindromization map in free monoids.

- R. Satya Prasad, Bandla Sreenivasa Rao, R. R. L. Kantam:
Monitoring Software Reliability using Statistical Process control: An MMLE approach.

- Seyed Pooya Shariatpanahi, Babak Hossein Khalaj, Kasra Alishahi, Hamed Shah-Mansouri:
One-Hop Throughput of Wireless Networks with Random Connections.

- Laurent George, Laurent Bonnet, Anatole Lécuyer:
Freeze the BCI until the user is ready: a pilot study of a BCI inhibitor.

- Aphirak Jansang, Anan Phonphoem:
Framework Architecture for WLAN Testbed.

- Roshni Neogy, Chandreyee Chowdhury, Sarmistha Neogy:
Reliability of Mobile Agents for Reliable Service Discovery Protocol in MANET.

- Keerthi S. Shetty, Sanjay Singh:
Cloud Based Application Development for Accessing Restaurant Information on Mobile Device using LBS.

- Janette Lehmann, Bruno Gonçalves, Jose J. Ramasco, Ciro Cattuto:
Dynamical Classes of Collective Attention in Twitter.

- Nicolas Ferry, Jean-Yves Tigli, Stephane Lavirotte, Gaëtan Rey, Michel Riveill:
Aspects of Assembly and Cascaded Aspects of Assembly: Logical and Temporal Properties.

- Hossein Shokri, Mohammad Mozaffari, Masoumeh Nasiri-Kenari:
Performance Analysis of Sequential Method for Handover in Cognitive Radio Systems.

- Anouar A. Boudhir, Mohammed Bouhorma, M. Ben Ahmed, Elbrak Said:
The UWB Solution for Multimedia Traffic in Wireless Sensor Networks.

- Tapalina Bhattasali, Rituparna Chaki:
Lightweight Hierarchical Model for HWSNET.

- Jean Vincent Fonou Dombeu, Magda Huisman:
Semantic-Driven e-Government: .

- Yi Chen, Umamahesh Srinivas, Thong T. Do, Vishal Monga, Trac D. Tran:
Discriminative Local Sparse Representations for Robust Face Recognition.

- Noah Burbank, Debojyoti Dutta, Ashish Goel, David Lee, Eli Marschner, Narayanan Shivakumar:
Widescope - A social platform for serious conversations on the Web.

- Sha Hua, Pei Liu, Shivendra S. Panwar:
The Urge to Merge: When Cellular Service Providers Pool Capacity.

- Igal Sason:
On Refined Versions of the Azuma-Hoeffding Inequality with Applications in Information Theory.

- Igal Sason:
On the Concentration of the Crest Factor for OFDM Signals.

- Igal Sason:
On Concentration and Revisited Large Deviations Analysis of Binary Hypothesis Testing.

- Igal Sason:
Moderate Deviations Analysis of Binary Hypothesis Testing.

- Saikat Chatterjee, Dennis Sundman, Mikko Vehkaperä, Mikael Skoglund:
Projection-Based and Look Ahead Strategies for Atom Selection.

- Bivas Mitra, Lionel Tabourier, Camille Roth:
Intrinsically Dynamic Network Communities.

- Mathilde Noual, Sylvain Sené:
Towards a theory of modelling with Boolean automata networks - I. Theorisation and observations.

- Alexandre de Castro, Sônia Ternes, Roberto Herai:
Ag-dependent (in silico) approach implies a deterministic kinetics for homeostatic memory cell turnover.

- Sanmay Das, Allen Lavoie, Malik Magdon-Ismail:
Pushing Your Point of View: Behavioral Measures of Manipulation in Wikipedia.

- Preetha K. G.:
A Novel Solution to the Short Range Bluetooth Communication.

- Lawrence Ong, Sarah J. Johnson, Christopher M. Kellett:
The Half-Duplex AWGN Single-Relay Channel: Full Decoding or Partial Decoding?

- Lawrence Ong, Sarah J. Johnson:
The Capacity Region of the Restricted Two-Way Relay Channel with Any Deterministic Uplink.

- Xiongping Dai:
A criterion of simultaneously symmetrization and spectral finiteness for a finite set of real 2-by-2 matrices.

- Song Liu, Peter A. Flach, Nello Cristianini:
Generic Multiplicative Methods for Implementing Machine Learning Algorithms on MapReduce.

- Hui Wang, Jie Peng, Yuan Li, Haibin Kan:
On $2k$-Variable Symmetric Boolean Functions with Maximum Algebraic Immunity $k$.

- Aaron Potechin:
Monotone switching networks for directed connectivity are strictly more powerful than certain-knowledge switching networks.

- Sudhir B. Lande, J. B. Helonde, Rajesh Pande, S. S. Pathak:
Adaptive Subcarrier and Bit Allocation for Downlink OFDMA System with Proportional Fairness.

- Stefan Kratsch, Magnus Wahlström:
Representative sets and irrelevant vertices: New tools for kernelization.

- Ruchi Tuli, Parveen Kumar:
Minimum Process Coordinated Checkpointing Scheme for Ad Hoc Networks.

- Salah Eddine Rezgui, Hocine Benalla:
High Performance Controllers for Speed and Position Induction Motor Drive using New Reaching Law.

- Vincent Y. F. Tan:
Moderate-Deviations of Lossy Source Coding for Discrete and Gaussian Sources.

- Weishan Dong, Tianshi Chen, Peter Tino, Xin Yao:
Scaling Up Estimation of Distribution Algorithms For Continuous Optimization.

- Andrea Pietracaprina, Geppino Pucci, Matteo Riondato, Francesco Silvestri, Eli Upfal:
Space-Round Tradeoffs for MapReduce Computations.

- Elena Legchekova, Oleg Titov:
Choosing the best resource by method of mamdani.

- Salman Malik, Philippe Jacquet, Cedric Adjih:
On the Throughput Capacity of Wireless Multi-hop Networks with ALOHA, Node Coloring and CSMA.

- Lin Xu, Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown:
SATzilla: Portfolio-based Algorithm Selection for SAT.

- Salman Malik, Philippe Jacquet:
On the Optimal Transmission Scheme to Maximize Local Capacity in Wireless Networks.

- Biswarup Neogi, Soumyajit Mukherjee, Soumya Ghosal, Achintya Das, D. N. Tibarewala:
Design and Implementation of Prosthetic Arm using Gear Motor Control Technique with Appropriate Testing.

- Alberto Bandettini, Fabio Luporini, Giovanni Viglietta:
A Survey on Open Problems for Mobile Robots.

- Rong Jin, Tianbao Yang, Mehrdad Mahdavi:
Improved Bound for the Nystrom's Method and its Application to Kernel Classification.

- Hamidou Tembine:
Large-scale games in large-scale systems.

- Daniel Augot, Morgan Barbier, Caroline Fontaine:
Ensuring message embedding in wet paper steganography.

- Franck Delaplace, Hanna Klaudel, Tarek Melliti, Sylvain Sené:
Analysis of modular organisation of interaction networks based on asymptotic dynamics.

- Salman Malik, Philippe Jacquet:
Optimizing Local Capacity of Wireless Ad Hoc Networks.

- Jin-yi Cai, Xi Chen:
Complexity of Counting CSP with Complex Weights.

- B. Vijayalakshmi, V. Subbiah Bharathi:
A Novel Approach to Texture classification using statistical feature.

- Kishorjit Nongmeikapam, Sivaji Bandyopadhyay:
Genetic Algorithm (GA) in Feature Selection for CRF Based Manipuri Multiword Expression (MWE) Identification.

- C. Dinesh:
Secured Data Consistency and Storage Way in Untrusted Cloud using Server Management Algorithm.

- C. Dinesh:
Data Integrity and Dynamic Storage Way in Cloud Computing.

- Mohammad Zaidul Karim, Nargis Akter:
Optimum Partition Parameter of Divide-and-Conquer Algorithm for Solving Closest-Pair Problem.

- Hugo Méric, Jérôme Lacan, Fabrice Arnal, Guy Lesthievent, Marie-Laure Boucheret:
Improving broadcast channel rate using hierarchical modulation.

- Mohammad Ali Tebbi, Mahtab Mirmohseni, Mahmoud Ahmadian-Attari, Mohammad Reza Aref:
Achievable Rates for a Two-Relay Network with Relays-Transmitter Feedbacks.

- Ayça Özçelikkale, Serdar Yüksel, Haldun M. Özaktas:
Unitary Precoding and Basis Dependency of MMSE Performance for Gaussian Erasure Channels.

- Yuanzhang Xiao, Jaeok Park, Mihaela van der Schaar:
Repeated Games With Intervention: Theory and Applications in Communications.

- Ignacio Gomez Portillo:
Cooperation and its emergence in growing systems with cultural reproduction.

- Dimitris Iliopoulos, Christoph Adami, Peter Szor:
Darwin inside the machines: Malware evolution and the consequences for computer security.

- Muhammad Mahbubur Rahman, Arif Ul Alam, Abdullah Al Mamun, Tamnun E. Mursalin:
A more appropriate Protein Classification using Data Mining.

- Joan Feigenbaum, Aaron Johnson, Paul F. Syverson:
Probabilistic Analysis of Onion Routing in a Black-box Model.

- Taha Sochi:
Testing the Connectivity of Networks.

- C. Ramesh, K. V. Chalapati Rao, A. Govardhan:
A semantically enriched web usage based recommendation model.

- Bhargav Balakrishnan:
Three Tier Encryption Algorithm For Secure File Transfer.

- Sundeep Rangan, Alyson K. Fletcher, Vivek K. Goyal, Philip Schniter:
Hybrid Approximate Message Passing with Applications to Structured Sparsity.

- Brian P. Day, Adam R. Margetts, Daniel W. Bliss, Philip Schniter:
Full-Duplex MIMO Relaying: Achievable Rates under Limited Dynamic Range.

- Sushmita Ruj, Amiya Nayak, Ivan Stojmenovic:
A Security Architecture for Data Aggregation and Access Control in Smart Grids.

- Djamal Belazzougui, Gonzalo Navarro:
New Lower and Upper Bounds for Representing Sequences.

- Moshe Babaioff, Shahar Dobzinski, Sigal Oren, Aviv Zohar:
On Bitcoin and Red Balloons.

- Yuan Yuan He, Subhrakanti Dey:
Power Allocation for Outage Minimization in Cognitive Radio Networks with Limited Feedback.

- Irene Ng, Gerard Briscoe:
Value, Variety and Viability: .

- Jacob Abernethy, Rafael M. Frongillo:
A Collaborative Mechanism for Crowdsourcing Prediction Problems.

- R. B. Geeta, Omkar Mamillapalli, Shashikumar G. Totad, P. V. G. D. Prasad Reddy:
A Novel Approach for Web Page Set Mining.

- Fang Yu, Chao Wang (Eds.):
Proceedings 13th International Workshop on Verification of Infinite-State Systems.
EPTCS 73 2011
Contents

- Chryssis Georgiou, Nicolas C. Nicolaou:
On the Practicality of Atomic MWMR Register Implementations.

- Simon R. Blackburn, Tuvi Etzion:
The asymptotic behavior of Grassmannian codes.

- Juan E. Tapiador, Julio C. Hernandez-Castro, Pedro Peris-Lopez, John A. Clark:
Cryptanalysis of Song's advanced smart card based password authentication protocol.

- M. Thirumaran, P. Dhavachelvan, S. Abarna, Lakshmi P.:
Finite State Machine Based Evaluation Model for Web Service Reliability Analysis.

- Miguel E. Andrés:
Quantitative Analysis of Information Leakage in Probabilistic and Nondeterministic Systems.

- Nicolaie Popescu-Bodorin, Valentina E. Balas, Iulia M. Motoc:
8-Valent Fuzzy Logic for Iris Recognition and Biometry.

- Margherita Napoli, Mimmo Parente:
Graded CTL Model Checking for Test Generation.

- C. Vaz, C. Ferreira:
Towards Automated Verification of Web Services.

- Y. Howard, Stefan Gruner, Andrew M. Gravell, Carla Ferreira, Juan Carlos Augusto:
Model-Based Trace-Checking.

- Andrew M. Gravell, Y. Howard, Juan Carlos Augusto, Carla Ferreira, Stefan Gruner:
Concurrent Development of Model and Implementation.

- Peng Zhong, Ahmad Abu Al Haija, Mai Vu:
On Compress-Forward without Wyner-Ziv Binning for Relay Networks.

- Patrick Valduriez:
Principles of Distributed Data Management in 2020?

- Pranav Dandekar, Nadia Fawaz, Stratis Ioannidis:
Privacy Auctions for Inner Product Disclosures.

- Jeremiah Blocki, Nicolas Christin, Anupam Datta, Arunesh Sinha:
Adaptive Regret Minimization in Bounded-Memory Games.

- Shuchi Chawla, Jason D. Hartline, Balasubramanian Sivan:
Optimal Crowdsourcing Contests.

- Sebastien Ardon, Amitabha Bagchi, Anirban Mahanti, Amit Ruhela, Aaditeshwar Seth, Rudra M. Tripathy, Sipat Triukose:
Spatio-Temporal Analysis of Topic Popularity in Twitter.

- John Augustine, Sandip Das, Anil Maheshwari, Subhas C. Nandy, Sasanka Roy, Swami Sarvattomananda:
Localized Geometric Query Problems.

- Anan Phonphoem, Aphirak Jansang:
A Simple Network Management Architecture for Supporting Network Administrator and QoS Requirements.

- Sariel Har-Peled, Nirman Kumar:
Down the Rabbit Hole: Robust Proximity Search in Sublinear Space.

- Marcos Aurélio Domingues, Alípio Mário Jorge, Carlos Soares:
Using Contextual Information as Virtual Items on Top-N Recommender Systems.

- Anant Baijal, Vikram Singh Chauhan, T. Jayabarathi:
Application of PSO, Artificial .

- Cunsheng Ding:
Cyclotomic Constructions of Cyclic Codes with Length Being the Product of Two Primes.

- Behrang Parhizkar, Ashraf Abbas M. Al-Modwahi, Arash Habibi Lashkari, Mohammad Mehdi Bartaripou, Hossein Reza Babae:
A Survey on Web-based AR Applications.

- Ala'a Z. Al-Howaide, Ahmad S. Doulat, Yaser Khamayseh:
Performance Evaluation of Different Scheduling Algorithms in WiMAX.

- Martin Hünniger:
Digital Manifolds and the Theorem of Jordan-Brouwer.

- Asif Irshad Khan, Rizwan Jameel Qurashi, Usman Ali Khan:
A Comprehensive Study of Commonly Practiced Heavy and Light Weight Software Methodologies.

- Ayu Tiwari, Sudip Sanyal, Ajith Abraham, Svein Johan Knapskog, Sugata Sanyal:
A Multi-Factor Security Protocol for Wireless Payment - Secure Web Authentication using Mobile Devices.

- Mário S. Alvim:
Formal approaches to information .

- Yiling Yang, Yu Huang, Jiannong Cao, Xiaoxing Ma, Jian Lu:
Design of a Sliding Window over Asynchronous Event Streams.

- André Thomas, Damien Trentesaux, Paul Valckenaers:
Intelligent Distributed Production Control.

- Shuang Li, Zizhan Zheng, Eylem Ekici, Ness B. Shroff:
Maximizing System Throughput by Cooperative Sensing in Cognitive Radio Networks.

- Bhaskar DasGupta, Devendra Desai:
A Remark on a Connection Between Small Set Expansions and Modularity Clustering in Social Networks.

- N. Ramasubramanian, Srinivas V. V., N. Ammasai Gounden:
Performance of Cache Memory Subsystems for Multicore Architectures.

- Kishore Angrishi, Ulrich Killat:
An Approach using N-Demisupermartingales for the Stochastic Analysis of Networks.

- Laika Satish, Sami Halawani:
A fusion algorithm for joins based on collections in Odra (Object Database for Rapid Application development).

- Vladimir Anashin, Andrei Khrennikov, Ekaterina Yurova:
T-functions revisited: New criteria for bijectivity/transitivity.

- Hassan Gobjuka, Kamal Ahmat:
vFlow: A GUI-Based Tool for Building Batch Applications for Cloud Computing.

- David Doty, Jack H. Lutz, Matthew J. Patitz, Robert T. Schweller, Scott M. Summers, Damien Woods:
The tile assembly model is intrinsically universal.

- Doron Peled, Sven Schewe:
Practical Distributed Control Synthesis.
2-17

- Alex Spelten, Wolfgang Thomas, Sarah Winter:
Trees over Infinite Structures and Path Logics with Synchronization.
20-34

- Laurent Fribourg, Bertrand Revol, Romain Soulat:
Synthesis of Switching Rules for Ensuring Reachability Properties of Sampled Linear Systems.
35-48

- Alberto Ciaffaglione:
A coinductive semantics of the Unlimited Register Machine.
49-63

- Christian Krause, Holger Giese:
Model Checking Probabilistic Real-Time Properties for Service-Oriented Systems with Service Level Agreements.
64-78

- Takashi Tomita, Shigeki Hagihara, Naoki Yonezaki:
A Probabilistic Temporal Logic with Frequency Operators and Its Model Checking.
79-93

- Ashwin Ganesan:
On a bound for the diameter of Cayley networks of symmetric groups generated by transposition trees.

- Iris Eshkol, Denis Maurel, Nathalie Friburger:
ESLO: from transcription to speakers' personal information annotation.

- Akira SaiToh:
A multiprecision matrix .

- Abuzer Yakaryilmaz, A. C. Cem Say:
Proving the power of postselection.

- Argimiro Arratia, Alejandra Cabaña:
Tracing the temporal evolution of clusters in a financial stock market.

- Elsa Tolone, Eric Villemonte de la Clergerie, Benoît Sagot:
Évaluation de lexiques syntaxiques par leur intégartion dans l'analyseur syntaxiques FRMG.

- Kyriaki Ioannidou, Elsa Tolone:
Construction du lexique LGLex à partir des tables du Lexique-Grammaire des verbes du grec moderne.

- Taejoon Kim, David James Love, Bruno Clerckx:
On the Spatial Degrees of Freedom of Multicell and Multiuser MIMO Channels.

- Francisco Lazaro Blasco, Francesco Rossetto:
On the Derivation of Optimal Partial Successive Interference Cancellation.

- Pardeep Kumar, Vivek Kumar Sehgal, Durg Singh Chauhan, P. K. Gupta, Manoj Diwakar:
Effective Ways of Secure, Private and Trusted Cloud Computing.

- Francisco Lazaro Blasco, Gianluigi Liva:
On the Concatenation of Non-Binary Random Linear Fountain Codes with Maximum Distance Separable Codes.

- Joel Veness, Kee Siong Ng, Marcus Hutter, Michael H. Bowling:
Context Tree Switching.

- Balázs Matuz, Francisco Lazaro Blasco, Gianluigi Liva:
On the Application of the Baum-Welch Algorithm for Modeling the Land Mobile Satellite Channel.

- Francisco Lazaro Blasco, Francesco Rossetto, Gerhard Bauch:
Time Interference Alignment via Delay Offset for Long Delay Networks.

- Abbas Kazerooni, Azarang Golmohammadi, Farokh Marvasti:
Salt-and-Pepper Noise Removal Based on Sparse Signal Processing.

- Artur Jez:
Faster fully compressed pattern matching by recompression.

- Mehdi Kaytoue, Sergei O. Kuznetsov, Juraj Macko, Wagner Meira Jr., Amedeo Napoli:
Mining Biclusters of Similar Values with Triadic Concept Analysis.

- Ebrahim B. Al-Safadi, Tareq Y. Al-Naffouri:
Pilotless Recovery of Clipped OFDM Signals by Compressive Sensing over Reliable Data Carriers.

- Beni Yoshida:
Information storage capacity of discrete spin systems.

- Reza Farrahi Moghaddam, Mohamed Cheriet, Thomas Milo, Robert Wisnovsky:
A prototype system for handwritten sub-word recognition: Toward Arabic-manuscript transliteration.

- A. Iványi, L. Lucz, T. F. Móri, P. Sótér:
On Erdős-Gallai and Havel-Hakimi algorithms.

- Dömötör Pálvölgyi:
Lower bounds for finding the maximum and minimum elements with k lies.

- A. Járai, E. Vatai:
Cache optimized linear sieve.

- Mihai Cucuringu, Amit Singer, David Cowburn:
Eigenvector Synchronization, Graph Rigidity and the Molecule Problem.

- Josep Díaz, Leslie Ann Goldberg, George B. Mertzios, David Richerby, Maria J. Serna, Paul G. Spirakis:
Approximating Fixation Probabilities in the Generalized Moran Process.

- Abhishek Kr. Singh, Bollibisai Giridhar, Partha Sarathi Mandal:
Fixing Data Anomalies with Prediction Based Algorithm in Wireless Sensor Networks.

- Kobbi Nissim, Claudio Orlandi, Rann Smorodinsky:
Privacy-Aware Mechanism Design.

- Chen Avin, Zvi Lotker, Yvonne Anne Pignolet:
On The Elite of Social Networks.

- Dustin G. Mixon, Christopher J. Quinn, Negar Kiyavash, Matthew Fickus:
Fingerprinting with Equiangular Tight Frames.

- Nicholas F. Travers, James P. Crutchfield:
Infinite Excess Entropy Processes with Countable-State Generators.

- Lawrence Ong, Sarah J. Johnson, Christopher M. Kellett:
The Capacity of a Class of Multi-Way Relay Channels.

- Lawrence Ong, Christopher M. Kellett, Sarah J. Johnson:
Functional-Decode-Forward for the General Discrete Memoryless Two-Way Relay Channel.

- Evripidis Bampis, Christoph Dürr, Fadi Kacem, Ioannis Milis:
Speed scaling with power down scheduling for agreeable deadlines.

- Xiaojun Sun, Chunming Zhao:
Outage probability of selective decode and forward relaying with secrecy constraints.

- Zoltán Ésik, Satoshi Okawa:
On context-free languages of scattered words.

- Elsa Tolone, Stavroula Voyatzi:
Extending the adverbial coverage of a NLP oriented resource for French.

- Yuhua Sun, Hui Li, Zilong Wang:
The cross-correlation .

- Shah Mahmood, Yvo Desmedt:
Preliminary Analysis of Google+'s Privacy.

- Francisco J. Soulignac:
Fully dynamic recognition of proper circular-arc graphs.

- David Rebollo-Monedero, Javier Parra-Arnau, Claudia Díaz, Jordi Forné:
On the Measurement of Privacy as an Attacker's Estimation Error.

- Luis Barba, Matias Korman, Stefan Langerman, Rodrigo I. Silveira:
Computing a visibility polygon using few variables.

- Thijs Laarhoven, Jeroen Doumen, Peter Roelse, Boris Skoric, Benne de Weger:
Dynamic Tardos Traitor Tracing Schemes.

- Michele Elia, Davide Schipani:
On the Rabin signature.

- Hamid A. Toussi:
tym: Typed Matlab.

- Per Zetterberg, Nima N. Moghadam:
An Experimental Investigation of SIMO, MIMO, Interference-Alignment (IA) and Coordinated Multi-Point (CoMP).

- Edwin A. Henneken, Alberto Accomazzi:
Linking to Data - Effect on Citation Rates in Astronomy.

- C. Patcas:
The debts' clearing problem: a new approach.

- T. Herendi, R. Major:
Modular exponentiation of matrices on FPGA-s.

- G. Farkas, G. Kallós, G. Kiss:
Large primes in generalized Pascal triangles.

- Norbert Pataki:
C++ Standard Template Library by template specialized containers.

- Anish Das Sarma, Ankur Jain, Ashwin Machanavajjhala, Philip Bohannon:
CBLOCK: An Automatic Blocking Mechanism for Large-Scale De-duplication Tasks.

- Yann Chevaleyre, Jérôme Lang, Nicolas Maudet, Jérôme Monnot, Lirong Xia:
New Candidates Welcome! Possible Winners with respect to the Addition of New Candidates.

- Dmitri V. Truhachev:
Achieving AWGN Channel Capacity with Sparse Graph Modulation and "In the Air" Coupling.

- Aytac Azgin, Yucel Altunbasak:
Channel Reordering with Time-shifted Streams to Improve Channel Change Latency in IPTV Networks.

- Wenqi Huang, Tao Ye, Duanbing Chen:
Corner Occupying Theorem for the Two-dimensional Integral Rectangle Packing Problem.

- Vinay Joseph, Gustavo de Veciana:
Variability Aware Network Utility Maximization.

- Gabriel Synnaeve, Pierre Bessière:
A Bayesian Model for Plan Recognition in RTS Games applied to StarCraft.

- Saif Khan Mohammed, Erik G. Larsson:
Single-User Beamforming in Large-Scale MISO Systems with Per-Antenna Constant-Envelope Constraints: The Doughnut Channel.

- Vipul Goyal, Virendra Kumar, Mayank Singh, Ajith Abraham, Sugata Sanyal:
CompChall: Addressing Password Guessing Attacks.

- Soumyendu Das, Subhendu Das, Bijoy Bandyopadhyay, Sugata Sanyal:
Steganography and Steganalysis: Different Approaches.

- Florian Dupuy, Philippe Loubaton:
Diversity of the MMSE receiver in flat fading and frequency selective MIMO channels at fixed rate.

- Aki Saarinen, Matti Siekkinen, Yu Xiao, Jukka K. Nurminen, Matti Kemppainen, Pan Hui:
Offloadable Apps using SmartDiet: Towards an analysis toolkit for mobile application developers.

- Martin Hünniger:
Good Pairs of Adjacency Relations in Arbitrary Dimensions.

- Irina E. Bocharova, Florian Hug, Rolf Johannesson, Boris D. Kudryashov:
An Analytic Expression for the Exact Bit Error Probability for Viterbi Decoding of Convolutional Codes.

- Marek Elias, Jirí Matousek:
Higher-order Erdos--Szekeres theorems.

- Tor Lattimore, Marcus Hutter:
No Free Lunch versus Occam's Razor in Supervised Learning.

- Ian Wood, Peter Sunehag, Marcus Hutter:
(Non-)Equivalence of Universal Priors.

- He Wen, Laszlo B. Kish, Andreas Klappenecker, Ferdinand Peper:
New noise-based logic representations to avoid some problems with time complexity.

- Siham Bekkai:
Minimum degree, independence number and pseudo [2,b]-factors in graphs.

- ChunYuen Teng, Yu-Ru Lin, Lada A. Adamic:
Recipe recommendation using ingredient networks.

- Pengkai Zhao, Cong Shen:
A Low-Delay Low-Complexity EKF Design for Joint Channel and CFO Estimation in Multi-User Cognitive Communications.

- Sergey Kuniavsky, Rann Smorodinsky:
Equilibrium and Potential in Coalitional Congestion Games.

- Bill Hibbard:
Model-based Utility Functions.

- Zhuohua Wu, Mai Vu:
Partial Decode-Forward Binning Schemes for the Causal Cognitive Relay Channels.

- Luis Quesada, Alejandro J. León:
The Object Projection Feature Estimation Problem in Unsupervised Markerless 3D Motion Tracking.

- Luis Quesada, Fernando Berzal, Juan Carlos Cubero Talavera:
A Tool for Model-Based Language Specification.

- Tomasz Suslo:
The Numerical Generalized Least-Squares Estimator of an Unknown Constant Mean of Random Field.

- Jakub Kovác:
Complexity of the path avoiding forbidden pairs problem revisited.

- Sumit Katiyar, R. K. Jain, N. K. Agrawal:
Proposed Cellular Network for .

- Tamal Chakraborty, Atri Mukhopadhyay, Iti Saha Misra, Salil Kumar Sanyal:
VoIP Call Optimization in Diverse Network Scenarios Using Learning Based State-Space Search Technique.

- David Rebollo-Monedero, Javier Parra-Arnau, Jordi Forné:
An Information-Theoretic Privacy Criterion for Query Forgery in Information Retrieval.

- Le Hoang Thai, Nguyen Do Thai Nguyen, Tran Son Hai:
A Facial Expression Classification System Integrating Canny, Principal Component Analysis and Artificial Neural Network.

- Denis Berthier:
Unbiased Statistics of a CSP - A Controlled-Bias Generator.

- Aniruddha Bhattacharyya, Arnab Banerjee, Dipayan Bose, Himadri Nath Saha, Debika Bhattacharyya:
Different types of attacks in Mobile ADHOC Network.

- Hervé Zwirn, Jean-Paul Delahaye:
Unpredictability and Computational Irreducibility.

- Christine Grün:
A probabilistic-numerical approximation for an obstacle problem arising in game theory.

- Aravindh Krishnamoorthy, Deepak Menon:
Matrix Inversion Using Cholesky Decomposition.

- Ryutaroh Matsumoto, Masahito Hayashi:
Universal Strongly Secure Network Coding with Dependent and Non-Uniform Messages.

- Kirill A. Sorudeykin:
A Model of Spatial Thinking for Computational Intelligence.

- Farzad Parvaresh, Raúl H. Etkin:
Efficient Capacity Computation and Power Optimization for Relay Networks.

- Victor A. Rodriguez-Toro, Jaime E. Garzon, Jesus A. Lopez:
Control Neuronal por Modelo Inverso de un Servosistema Usando Algoritmos de Aprendizaje Levenberg-Marquardt y Bayesiano.

- Sourya Roy, Tyler Clemons, S. M. Faisal, Ke Liu, Nikos Hardavellas, Srinivasan Parthasarathy:
Elastic Fidelity: Trading-off Computational Accuracy for Energy Reduction.

- Dmitry Zinoviev:
Parametric Estimation of the Ultimate Size of Hypercomputers.

- Basanna V. Dhandra, R. G. Benne, Mallikarjun Hangarge:
A Single Euler Number Feature for Multi-font Multi-size Kannada Numeral Recognition.

- B. V. Dhandra, R. G. Benne, Mallikarjun Hangarge:
Multi-font Multi-size Kannada Numeral Recognition Based on Structural Features.

- Cheng Chen, Kui Wu, Venkatesh Srinivasan, Xudong Zhang:
Battling the Internet Water Army: Detection of Hidden Paid Posters.

- Monaldo Mastrolilli:
The Feedback Arc Set Problem with Triangle Inequality is a Vertex Cover Problem.

- Volker Diekert, Manfred Kufleitner, Pascal Weil:
Star-Free Languages are Church-Rosser Congruential.

- Andrej Bogdanov, Chin Ho Lee:
Homomorphic encryption from codes.

- Valeria Fionda, Claudio Gutierrez, Giuseppe Pirrò:
Semantic Navigation on the Web of Data: Specification of Routes, Web Fragments and Actions.

- Jyotirmoy Karjee, H. S. Jamadagni:
Energy Aware Node Selection for Cluster-based Data Accuracy Estimation in Wireless Sensor Networks.

- Yuriy Ostapov:
Question Answering in a Natural Language Understanding System Based on Object-Oriented Semantics.

- Yulong Liu, Tiebin Mi, Shidong Li:
Compressed Sensing with General Frames via Optimal-dual-based $\ell_1$-analysis.

- George Iosifidis, Anil Kumar Chorppath, Tansu Alpcan, Iordanis Koutsopoulos:
Incentive Mechanisms for Hierarchical Spectrum Markets.

- Camille Leroux, Alexandre J. Raymond, Gabi Sarkis, Ido Tal, Alexander Vardy, Warren J. Gross:
Hardware Implementation of Successive Cancellation Decoders for Polar Codes.

- Bruno Bauwens, Alexander Shen:
An additivity theorem for plain complexity.

- Hang Dinh, Cristopher Moore, Alexander Russell:
Quantum Fourier sampling, Code Equivalence, and the quantum security of the McEliece and Sidelnikov cryptosystems.

- David Spieler, Ernst Moritz Hahn, Lijun Zhang:
Model Checking CSL for Markov Population Models.

- Gonzalo Navarro, Daniel Valenzuela:
Practical Top-K Document Retrieval in Reduced Space.

- Pieter Van Gorp, Steffen Mazanek, Louis Rose (Eds.):
Proceedings Fifth Transformation Tool Contest.
EPTCS 74 2011
Contents

- Simeon Persson, Kristian Várnai:
Full Restoration of Visual Encrypted Color Images.

- Chong Jiang, R. Srikant:
Parametrized Stochastic Multi-armed Bandits with Binary Rewards.

- Lee-Ad Gottlieb, Aryeh Kontorovich, Robert Krauthgamer:
Efficient Regression in Metric Spaces via Approximate Lipschitz Extension.

- Somayeh Kafaie, Omid Kashefi, Mohsen Sharifi:
A Low-Energy Fast Cyber Foraging Mechanism for Mobile Devices.

- Johan Ugander, Brian Karrer, Lars Backstrom, Cameron Marlow:
The Anatomy of the Facebook Social Graph.

- Krzysztof Szajowski:
Multi-variate Quickest Detection of Significant Change Process.

- Kshitiz Verma, Gianluca Rizzo, Antonio Fernández Anta, Rubén Cuevas Rumín, Arturo Azcorra:
Greening File Distribution: Centralized or Distributed?

- Lluis Pamies-Juarez, Anwitaman Datta, Frédérique E. Oggier:
In-Network Redundancy Generation for Opportunistic Speedup of Backup.

- Nguyen Lu Dang Khoa, Sanjay Chawla:
Large Scale Spectral Clustering Using Approximate Commute Time Embedding.

- Sugata Sanyal, Rangarajan Vasudevan, Ajith Abraham, Marcin Paprzycki:
Grid Security and Integration with Minimal Performance Degradation.

- Mathilde Noual, Damien Regnault, Sylvain Sené:
Non-monotony and Boolean automata networks.

- Dragana Bajovic, Dusan Jakovetic, José M. F. Moura, João Xavier, Bruno Sinopoli:
Large Deviations Performance of Consensus+Innovations Distributed Detection with Non-Gaussian Observations.

- Lars Backstrom, Paolo Boldi, Marco Rosa, Johan Ugander, Sebastiano Vigna:
Four Degrees of Separation.

- Nima S. Anzabi-Nezhad, Ghosheh Abed Hodtani, Mohammad Molavi Kakhki:
Information Theoretic Exemplification of the Impact of Transmitter-Receiver Cognition on the Channel Capacity.

- Usman A. Khan, Ali Jadbabaie:
Networked estimation under information constraints.

- Omar El Ayach, Robert W. Heath Jr.:
Grassmannian Differential Limited Feedback for Interference Alignment.

- Bernadette Charron-Bost, Matthias Függer, Thomas Nowak:
On the Transience of Linear Max-Plus Dynamical Systems.

- Gilles Dowek, Murdoch Gabbay:
From nominal sets binding to .

- Idan Ram, Michael Elad, Israel Cohen:
Redundant Wavelets on Graphs and High Dimensional Data Clouds.

- Hossein Shokri Ghadikolaei, Masoumeh Nasiri-Kenari:
Sensing Matrix Setting Schemes for Cognitive Networks and Their Performance Analysis.

- Keigo Takeuchi, Ralf R. Müller, Mikko Vehkaperä, Toshiyuki Tanaka:
On an Achievable Rate of Large Rayleigh Block-Fading MIMO Channels with No CSI.

- Tao Shi, Vladimir Anashin, Dongdai Lin:
Linear Relation on General Ergodic T-Function.

- Leo Lahti, Martin Schäfer, Hans-Ulrich Klein, Silvio Bicciato, Martin Dugas:
Cancer gene prioritization by integrative analysis of mRNA expression and DNA copy number data: a comparative review.

- Yaniv Altshuler, Nadav Aharony, Michael Fire, Yuval Elovici, Alex Pentland:
Incremental Learning with Accuracy Prediction of Social and Individual Properties from Mobile-Phone Data.

- Karthekeyan Chandrasekaran, Santosh Vempala:
A Discrepancy based Approach to Integer Programming.

- Yaniv Altshuler, Wei Pan, Alex Pentland:
Trends Prediction Using Social Diffusion Models.

- Amelia Carolina Sparavigna:
A self-portrait of young Leonardo.

- Andrew Pickin:
Facial Asymmetry and Emotional Expression.

- Grenville J. Croll:
An Insight into Spreadsheet User Behaviour through an Analysis of EuSpRIG Website Statistics.

- Kyunghan Lee, Yoora Kim, Song Chong, Injong Rhee, Yung Yi, Ness B. Shroff:
On the Critical Delays of Mobile Networks under Levy Walks and Levy Flights.

- Yanhua Li, Wei Chen, Yajun Wang, Zhi-Li Zhang:
Influence Diffusion Dynamics and Influence Maximization in Social Networks with Friend and Foe Relationships.

- Markus Herrmannsdoerfer:
GMF: A Model Migration Case for the Transformation Tool Contest.
1-5

- Sebastian Buchwald, Edgar Jakumeit:
Compiler Optimization: A Case for the Transformation Tool Contest.
6-16

- Tassilo Horn:
Program Understanding: A Reengineering Case for the Transformation Tool Contest.
17-21

- Steffen Mazanek:
HelloWorld! An Instructive Case for the Transformation Tool Contest.
22-26

- Markus Herrmannsdoerfer:
Solving the TTC 2011 Model Migration Case with Edapt.
27-35

- Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Solving the TTC 2011 Model Migration Case with UML-RSDS.
36-41

- Sebastian Buchwald, Edgar Jakumeit:
Solving the TTC 2011 Compiler Optimization Case with GrGen.NET.
42-53

- Dan Li, Xiaoshan Li, Volker Stolz:
Solving the TTC 2011 Compiler Optimization Case with QVTR-XSLT.
54-69

- Markus Lepper, Baltasar Trancón-y-Widemann:
Solving the TTC 2011 Compiler Optimization Task with metatools.
70-115

- Tassilo Horn:
Solving the TTC 2011 Compiler Optimization Case with GReTL.
116-125

- Arend Rensink, Eduardo Zambon:
Solving the TTC 2011 Compiler Optimization Case with GROOVE.
126-130

- Tassilo Horn:
Solving the TTC 2011 Reengineering Case with GReTL.
131-135

- Ábel Hegedüs, Zoltán Ujhelyi, Gábor Bergmann:
Solving the TTC 2011 Reengineering Case with VIATRA2.
136-148

- Markus Herrmannsdoerfer:
Solving the TTC 2011 Reengineering Case with Edapt.
149-158

- Agris Sostaks, Elina Kalnina, Audris Kalnins, Edgars Celms, Janis Iraids:
Solving the TTC 2011 Reengineering Case with MOLA and Higher-Order Transformations.
159-167

- Edgar Jakumeit, Sebastian Buchwald:
Solving the TTC 2011 Reengineering Case with GrGen.NET.
168-180

- Stefan Jurack, Johannes Tietje:
Solving the TTC 2011 Reengineering Case with Henshin.
181-203

- Markus Herrmannsdoerfer:
Saying Hello World with Edapt - A Solution to the TTC 2011 Instructive Case.
204-214

- Amir Hossein Ghamarian, Maarten de Mol, Arend Rensink, Eduardo Zambon:
Saying Hello World with GROOVE - A Solution to the TTC 2011 Instructive Case.
215-222

- Elina Kalnina, Audris Kalnins, Agris Sostaks, Janis Iraids, Edgars Celms:
Saying Hello World with MOLA - A Solution to the TTC 2011 Instructive Case.
237-252

- Stefan Jurack, Johannes Tietje:
Saying Hello World with Henshin - A Solution to the TTC 2011 Instructive Case.
253-280

- Sebastian Buchwald, Edgar Jakumeit:
Saying Hello World with GrGen.NET - A Solution to the TTC 2011 Instructive Case.
281-294

- Ábel Hegedüs, Zoltán Ujhelyi, Gábor Bergmann:
Saying Hello World with VIATRA2 - A Solution to the TTC 2011 Instructive Case.
302-324

- Dan Li, Xiaoshan Li, Volker Stolz:
Saying HelloWorld with QVTR-XSLT - A Solution to the TTC 2011 Instructive Case.
223-236

- Tassilo Horn:
Saying Hello World with GReTL - A Solution to the TTC 2011 Instructive Case.
295-301

- Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Saying Hello World with UML-RSDS - A Solution to the 2011 Instructive Case.
325-331

- Louis M. Rose, Antonio García-Domínguez, James R. Williams, Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack:
Saying Hello World with Epsilon - A Solution to the 2011 Instructive Case.
332-339

- Costas Busch, Chinmoy Dutta, Jaikumar Radhakrishnan, Rajmohan Rajaraman, Srinivasagopalan Srivathsan:
Split and Join: Strong Partitions and Universal Steiner Trees for Graphs.

- Sreeram Kannan, Pramod Viswanath:
Capacity of Multiple Unicast in Wireless Networks: A Polymatroidal Approach.

- Kyomin Jung, Wooram Heo, Wei Chen:
IRIE: A Scalable Influence Maximization Algorithm for Independent Cascade Model and Its Extensions.

- Aroop Mukherjee, Soumen Kanrar:
Enhancement of Image Resolution by Binarization.

- Rachit Agarwal, Abhik Banerjee, Vincent Gauthier, Monique Becker, Chai Kiat Yeo, Bu-Sung Lee:
Achieving Small World Properties using Bio-Inspired Techniques in Wireless Networks.

- Soumen Kanrar, Mohammad Siraj:
Enhanced Antenna Position Implementation Over Vehicular Ad Hoc Network (VNET) In 3D Space.

- Eduardo Montijano, Juan I. Montijano, Carlos Sagüés:
Chebyshev Polynomials in Distributed Consensus Applications.

- N. Karimi:
Analytical calculation of optimal POVM for unambiguous discrimination of quantum states using KKT method.

- Eduardo Montijano, Rosario Aragues, Carlos Sagüés:
Distributed Multi-view Matching in Networks with Limited Communications.

- Francesc Font-Clos, Francesco Alessandro Massucci, Isaac Pérez Castillo:
A weighted message-passing algorithm to estimate volume-related properties of random polytopes.

- Adam O. Kalinich:
Flipping the Winner of a Poset Game.

- Zhengjun Cao, Qian Sha, Xiao Fan:
Adleman-Manders-Miller Root Extraction Method Revisited.

- S. M. Vijay Mahantesh, Sudarshan Iyengar, M. Vijesh, Shruthi Nayak, Nikitha Shenoy:
Prediction Of Arrival Of Nodes In A Scale Free Network.

- M. Vijesh, Sudarshan Iyengar, S. M. Vijay Mahantesh, Amitash Ramesh, Veni Madhavan:
A Navigation Algorithm Inspired by Human Navigation.

- Arka Ghosh:
Comparative study of Financial Time Series Prediction by Artificial Neural Network with Gradient Descent Learning.

- Bryan Dawei He:
A Simple Optimal Binary Representation of Mosaic Floorplans and Baxter Permutations.

- Nabarun Mondal, Partha P. Ghosh:
Universal Computation is 'Almost Surely' Chaotic.

- Chunxiao Jiang, Yan Chen, K. J. Ray Liu, Yong Ren:
Renewal-Theoretical Dynamic Spectrum Access in Cognitive Radio Networks with Unknown Primary Behavior.

- David Colver:
Drivers of the Cost of Spreadsheet Audit.

- Arya Mazumdar:
Explicit Group Testing Scheme that Identifies Almost All Defective Configurations.

- Nancy Wu:
Leveraging User Profile and Behaviour to Design Practical Spreadsheet Controls for the Finance Function.

- Fumiya Okubo, Satoshi Kobayashi, Takashi Yokomori:
Reaction Automata.

- Carlo Blundo, Emiliano De Cristofaro, Paolo Gasti:
EsPRESSo: Efficient Privacy-Preserving Evaluation of Sample Set Similarity.

- Shuai Li, Haojin Zhu, Zhaoyu Gao, Xinping Guan:
Mitigating Entropy Selfishness in Distributed Collaborative Spectrum Sensing.

- Sriram Nagaraj, Aswin C. Sankaranarayanan, Richard G. Baraniuk:
A Theory for Optical flow-based Transport on Image Manifolds.

- Olivier Heen, Erwan Le Merrer, Christoph Neumann, Stéphane Onno:
Pretty Private Group Management.

- Andreas Bauer, Yliès Falcone:
Decentralised LTL Monitoring.

- S. Nithyanandam, K. S. Gayathri, P. L. K. Priyadarshini:
A New IRIS Normalization Process For Recognition System With Cryptographic Techniques.

- Bob Diertens:
Concurrent Models for Function Execution.

- Bob Diertens:
Communicating Concurrent Functions.

- Evan Tan, Chun Tung Chou:
A Frame Rate Optimization Framework For Improving Continuity In Video Streaming.

- Magnús M. Halldórsson, Pradipta Mitra:
Algorithms for Weighted Capacity and Admission Control in Wireless Networks.

- Serge Kernbach:
Robot Companions: Technology for Humans.

- Serge Kernbach:
Awareness and Self-Awareness for Multi-Robot Organisms.

- Roberto Grossi, Giuseppe Ottaviano:
Fast Compressed Tries through Path Decompositions.

- Assalé Adjé, Stéphane Gaubert, Eric Goubault:
Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis.

- David I. Shuman, Pierre Vandergheynst, Pascal Frossard:
Distributed Signal Processing via Chebyshev Polynomial Approximation.

- Inder Jeet Taneja:
Refinement of Gini-Means Inequalities and Connections with Divergence Measures.

- Miguel A. Fortuna, Juan A. Bonachela, Simon A. Levin:
Evolution of a Modular Software Network.

- Justin Ziniel, Philip Schniter:
Efficient High-Dimensional Inference in the Multiple Measurement Vector Problem.

- Marida Dossena:
Coverage Related Issues in Networks.

- Laurent George, Fabien Lotte, Raquel Viciana Abad, Anatole Lécuyer:
Using Scalp Electrical Biosignals to Control an Object by Concentration and Relaxation Tasks: Design and Evaluation.

- Xi Liu, Elza Erkip:
On the Gaussian Z-Interference Channel with Processing Energy Cost.

- Badr Elmir, Bouchaib Bounabat:
A Novel Approach for Periodic Assessment of Business Process Interoperability.

- Sanjay K. Dwivedi, Pramod P. Sukhadeve:
Rule based Part of speech Tagger for Homoeopathy Clinical realm.

- Hossein Shokri Ghadikolaei, Younes Abdi, Masoumeh Nasiri-Kenari:
Analytical and Learning-Based Spectrum Sensing Time Optimization in Cognitive Radio Systems.

- Arman Yousefi, Neal E. Young:
On a Linear Program for Minimum-Weight Triangulation.

- Ryan A. Rossi, Jennifer Neville:
Representations and Ensemble Methods for Dynamic Relational Classification.

- Sariel Har-Peled:
On the Expected Complexity of Random Convex Hulls.

- Abbas Noon, Ali Kalakech, Seifedine Kadry:
A New Round Robin Based Scheduling Algorithm for Operating Systems: Dynamic Quantum Using the Mean Average.

- Hermann Gruber:
Digraph Complexity Measures and Applications in Formal Language Theory.

- Abhishek Anand, Hema Swetha Koppula, Thorsten Joachims, Ashutosh Saxena:
Contextually Guided Semantic Labeling and Search for 3D Point Clouds.

- Sonia Jahid, Shirin Nilizadeh, Prateek Mittal, Nikita Borisov, Apu Kapadia:
A Decentralized Architecture for Enforcing Privacy in Online Social Networks.

- Ho-Leung Chan, Tak Wah Lam, Lap-Kei Lee, Jiangwei Pan, Hing-Fung Ting, Qin Zhang:
Edit Distance to Monotonicity in Sliding Windows.

- Qiang Dong, Hui Gao, Yan Fu, Xiaofan Yang:
Hamiltonian Connectivity of Twisted Hypercube-Like Networks under the Large Fault Model.

- Michael J. Bannister, David Eppstein:
Randomized Speedup of the Bellman-Ford Algorithm.

- Marek Karpinski, Richard Schmied:
Improved Lower Bounds for the Shortest Superstring and Related Problems.

- John Rooksby, Ian Sommerville:
The Management and Use of Social Network Sites in a Government Department.

- Arturo Carpi, Flavio D'Alessandro:
Independent sets of words and the synchronization problem.

- Yiling Chen, Stephen Chong, Ian A. Kash, Tal Moran, Salil P. Vadhan:
Truthful Mechanisms for Agents that Value Privacy.

- Thomas Rothvoß:
Directed Steiner Tree and the Lasserre Hierarchy.

- Rick Quax, Andrea Apolloni, Peter M. A. Sloot:
Information processing reveals how microscopic components affect the macroscopic system-state in complex networks.

- Marco Baldi, Marco Bianchi, Franco Chiaraluce, Torleiv Kløve:
A class of punctured simplex codes which are proper for error detection.

- Willy Picard:
Membership(s) and compliance(s) with class-based graphs.

- Willy Picard:
Capturing Social Requirements for Human Interactions with Service Protocols.

- André Sabino, Armanda Rodrigues:
Understanding the Role of Cooperation in Emergency Plan Construction.

- Zbigniew Paszkiewicz, Willy Picard:
Modelling Competences for Partner Selection in Service-Oriented Virtual Organization Breeding Environments.

- Anis Ismail, Mohamed Quafafou, Gilles Nachouki, Mohammad Hajjar:
Efficient Super-Peer-Based Queries Routing: Simulation and Evaluation.

- Guillaume Aupy, Anne Benoit, Yves Robert:
Energy-aware scheduling under reliability and makespan constraints.

- Milan B. Tasic, Predrag S. Stanimirovic, Selver H. Pepic:
Computation of generalized inverses using Php/MySql environment.

- Matei Zaharia, William J. Bolosky, Kristal Curtis, Armando Fox, David A. Patterson, Scott Shenker, Ion Stoica, Richard M. Karp, Taylor Sittler:
Faster and More Accurate Sequence Alignment with SNAP.

- Willy Picard:
Agile Professional Virtual Community Inheritance via Adaptation of Social Protocols.

- Vijayaraghavan Thirumalai, Pascal Frossard:
Distributed Representation of Geometrically Correlated Images with Compressed Linear Measurements.

- Seifedine Kadry, Mohamad Smaili, Hussam Kassem, Hassan Hayek:
A New Technique to Backup and Restore DBMS using XML and .NET Technologies.

- Seifedine Kadry:
A New Proposed Technique to Improve Software Regression Testing Cost.

- Seifedine Kadry, Mohamad Smaili:
An Improvement of RC4 Cipher Using Vigenere Cipher.

- Alexander Fuchs, Amit Goel, Jim Grundy, Sava Krstic, Cesare Tinelli:
Ground interpolation for the theory of equality.

- Rishabh Iyer, Rushikesh Borse, Ronak Shah, Subhasis Chaudhuri:
Estimation of the Embedding Capacity in Pixel-pair based Watermarking Schemes.

- Gang Wang, Christo Wilson, Xiaohan Zhao, Yibo Zhu, Manish Mohanlal, Haitao Zheng, Ben Y. Zhao:
Serf and Turf: Crowdturfing for Fun and Profit.

- Dmitri V. Truhachev, David G. M. Mitchell, Michael Lentmaier, Daniel J. Costello Jr.:
Connecting Spatially Coupled LDPC Code Chains.

- Nirmal Fernando, Yi Hong, Emanuele Viterbo:
Flip-OFDM for Optical Wireless Communications.

- Michelina Venditti, Emanuela Reale, Loet Leydesdorff:
The Disclosure of University Research for Societal Demand: A Non-Market Perspective on the "Third Mission".

- Baptiste Ducatel, Mehdi Kaytoue, Florent Marcuola, Amedeo Napoli, Laszlo Szathmary:
Coron : Plate-forme d'extraction de connaissances dans les bases de données.

- Mehdi Kaytoue, Sergei O. Kuznetsov, Amedeo Napoli:
Revisiting Numerical Pattern Mining with Formal Concept Analysis.

- Mehdi Kaytoue, Florent Marcuola, Amedeo Napoli, Laszlo Szathmary, Jean Villerd:
The Coron System.

- Andreas Konstantinidis, Haris Haralambous, Alexandros Agapitos, Harris Papadopoulos:
A GP-MOEA/D Approach for Modelling Total Electron Content over Cyprus.

- Zbigniew Paszkiewicz, Willy Picard:
MAPSS, a Multi-Aspect Partner and Service Selection Method.

- Jan Swierzowicz, Willy Picard:
Social Service Brokerage based on UDDI and Social Requirements.

- Chen Avin, Michael Borokhovich, Asaf Cohen, Zvi Lotker:
Efficient Joint Network-Source Coding for Multiple Terminals with Side Information.

- Wojciech Cellary, Willy Picard:
Agile and Pro-Active Public Administration as a Collaborative Networked Organization.

- Zbigniew Paszkiewicz, Willy Picard:
Reference Model for Performance Management in Service-Oriented Virtual Organization Breeding Environments.

- Willy Picard:
Social Protocols for Agile Virtual Teams.

- Jason Crampton, Charles Morisset:
PTaCL: A Language for Attribute-Based Access Control in Open Systems.

- Jan Swierzowicz, Willy Picard:
Social Requirements for Virtual Organization Breeding Environments.

- Wim H. Hesselink:
Partial mutual exclusion for infinitely many processes.

- Zbigniew Paszkiewicz, Willy Picard:
Modeling Virtual Organization Architecture with the Virtual Organization Breeding Methodology.

- Luís F. Seoane, Andreas Ruttor:
Successful attack on PPM-based neural cryptography.

- Kaibin Huang:
Throughput of Wireless Networks Powered by Energy Harvesting.

- Tadeusz Krasinski, Sebastian Sakowski, Tomasz Poplawski:
Autonomous push-down automaton built on DNA.

- Ömer Bulakci, Abdallah Bou Saleh, Simone Redana, Bernhard Raaf, Jyri Hämäläinen:
Enhancing LTE-Advanced Relay Deployments via Relay Cell Extension.

- Ahmad Mahmoody-Ghaidary, Cedric Chauve, Ladislav Stacho:
Tractability results for the Double-Cut-and-Join circular median problem.

- Fumin Zhang, Zhenwu Shi, Shayok Mukhopadhyay:
Robustness Analysis for Battery Supported Cyber-Physical Systems.

- Eli Ben-Sasson, Shachar Lovett, Noga Zewi:
An additive combinatorics approach to the log-rank conjecture in communication complexity.

- Jeremy Avigad:
Type inference in mathematics.

- Gene I. Sher:
Evolving Chart Pattern Sensitive Neural Network Based Forex Trading Agents.

- Rajasekhar Inkulu, Sanjiv Kapoor:
ANN queries: covering Voronoi diagram with hyperboxes.

- Isaac Pesenson:
Variational Splines and Paley-Wiener Spaces on Combinatorial Graphs.

- Isaac Pesenson, Meyer Z. Pesenson:
Sampling, Filtering and Sparse Approximations on Combinatorial Graphs.

- Nicole Schweikardt, Thomas Schwentick:
A note on the expressive power of linear orders.

- Aarti Singh, Dimple Juneja, A. K. Sharma:
Agent Development Toolkits.

- Paolo Banelli:
Another Useful Theorem for Non-Linear Transformations of Gaussian Random Variables.

- Christian Knauer, Daniel Werner:
Erdős-Szekeres and Testing Weak epsilon-Nets are NP-hard in 3 dimensions - and what now?

- Sergio Cabello, Jean Cardinal, Stefan Langerman:
The Clique Problem in Ray Intersection Graphs.

- Maximilien Gadouleau, Søren Riis:
Computing without memory.

- Amelia Carolina Sparavigna:
An image processing of a Raphael's portrait of Leonardo.

- Mehrdad Mahdavi, Rong Jin, Tianbao Yang:
Trading Regret for Efficiency: Online Convex Optimization with Long Term Constraints.

- Angela Bonifati, Gianvito Summa, Esther Pacitti, Fady Draidi:
Semantic Query Reformulation in Social PDMS.

- Paulo Sérgio Almeida, Carlos Baquero, Alcino Cunha:
Fast Distributed Computation of Distances in Networks.

- Peter Sunehag, Marcus Hutter:
Principles of Solomonoff Induction and AIXI.

- Roberto Muñoz-Soto, Marta Barría, Cristian Rusu:
Virtual Worlds as a Support to Engineering Teaching.

- Garimella Rama Murthy:
Optimal Organizational Hierarchies: Source Coding: Disaster Relief.

- Sergey Kuniavsky, Rann Smorodinsky:
Greediness and Equilibrium in Congestion Games.

- Björn Bringmann, Siegfried Nijssen, Albrecht Zimmermann:
Pattern-Based Classification: A Unifying Perspective.

- Yi-Hao Kao, Benjamin Van Roy:
Learning a Factor Model via Regularized PCA.

- Morteza Ibrahimi, Adel Javanmard, Yashodhan Kanoria, Andrea Montanari:
Robust Max-Product Belief Propagation.

- Amritha Sampath, C. Tripti, Sabu M. Thampi:
An ACO Algorithm for Effective Cluster Head Selection.

- Mingyi Hong, Alfredo Garcia, José Joaquín Escudero Garzás, Ana Garcia Armada:
Lower Bounds Optimization for Coordinated Linear Transmission Beamformer Design in Multicell Network Downlink.

- Hsien-Kuei Hwang, Tsung-Hsi Tsai, Wei-Mei Chen:
Threshold phenomena in k-dominant skylines of random samples.

- Xuebing Han, Hao Zhang:
Fast Algorithms for Sparse Recovery with Perturbed Dictionary.

- Asaf Cohen, Shlomi Dolev, Nir Tzachar:
Efficient and Universal Corruption Resilient Fountain Codes.

- Julien Law-To, Jean-Luc Gauvain, Lori Lamel, Gregory Grefenstette, Guillaume Gravier, Julien Despres, Camille Guinaudeau, Pascale Sébillot:
A Scalable Video Search Engine Based on Audio Content Indexing and Topic Segmentation.

- Vasil Kolev:
Compressed sensing of astronomical images: orthogonal wavelets domains.

- Roope Vehkalahti, Hsiao-feng Lu:
Inverse Determinant Sums and Connections Between Fading Channel Information Theory and Algebra.

- Kamen Lozev:
Shape and Trajectory Tracking of Moving Obstacles.

- Ata Turk, Cevdet Aykanat, Gunduz Vehbi Demirci, Sebastian von Alfthan, Ilja Honkonen:
Improving the Load Balancing Performance of Vlasiator.

- Robby G. McKilliam, Ramanan Subramanian, Emanuele Viterbo, I. Vaughan L. Clarkson:
On the error performance of the $A_n$ lattices.

- Tianbao Yang, Rong Jin, Mehrdad Mahdavi:
Regret Bound by Variation for Online Convex Optimization.

- Awny Sayed:
XML Information Retrieval Systems: A Survey.

- Inder Jeet Taneja:
Nested Inequalities Among Divergence Measures.

- José Ignacio Aliaga, Paolo Bientinesi, Davor Davidovic, Edoardo Di Napoli, Francisco D. Igual, Enrique S. Quintana-Ortí:
Solving Dense Generalized Eigenproblems on Multi-threaded Architectures.

- My Abdellah Kassimi, Omar El Beqqali:
3D Model Retrieval Based on Semantic and Shape Indexes.

- Hajar Elmaghraoui, Imane Zaoui, Dalila Chiadmi, Laila Benhlima:
Graph based E-Government web service composition.

- Stéphane Y. Le Goff:
Capacity-Approaching Signal Constellations for the Additive Exponential Noise Channel.

- Aryeh Kontorovich, Ari Trachtenberg:
Unique decodability of bigram counts by finite automata.

- Francis Bach:
Learning with Submodular Functions: A Convex Optimization Perspective.

- Hakan Erkal, F. Mehmet Ozcelik, Elif Uysal-Biyikoglu:
Optimal Offline Broadcast Scheduling with an Energy Harvesting Transmitter.

- Andrzej Lingas, Dzmitry Sledneu:
A Combinatorial Algorithm for All-Pairs Shortest Paths in Directed Vertex-Weighted Graphs with Applications to Disc Graphs.

- Mehdi Sookhak, Ramin Karimi, Mahboobeh Haghparast, Ismail Fauzi ISnin:
Secure Geographic Routing Protocols: Issues and Approaches.

- Martin R. Albrecht, Gregory V. Bard, Clément Pernet:
Efficient Dense Gaussian Elimination over the Finite Field with Two Elements.

- Souad Bouasker, Tarek Hamrouni, Sadok Ben Yahia:
Algorithmes d'extraction et .

- Jan Pöschko:
Exploring Twitter Hashtags.

- Hyung-Chan An, Robert Kleinberg:
A Diameter-Revealing Proof of the Bondy-Lovász Lemma.

- Manuel Bodirsky, Dugald Macpherson, Johan Thapper:
Constraint Satisfaction Tractability from Semi-lattice Operations on Infinite Sets.

- Scott Hand:
A Markov Random Field Topic Space Model for Document Retrieval.

- Jian Wang, Seokbeop Kwon, Byonghyo Shim:
Generalized Orthogonal Matching Pursuit.

- Chengfang Fang, Ee-Chien Chang:
Publishing Location Dataset Differential Privately with Isotonic Regression.

- Chengwen Xing, Zesong Fei, Shaodan Ma, Jingming Kuang, Yik-Chung Wu:
Optimal Structure of Robust Linear Transceiver for Amplify-and-Forward Multi-Hop MIMO Relaying Systems.

- Majid Khabbazian, Stephane Durocher, Alireza Haghnegahdar:
Bounding Interference in Wireless Ad Hoc Networks with Nodes in Random Position.

- Albert Sunny, Joy Kuri, Nachiket Sahasrabudhe:
Approximate Aggregate Utility Maximization in Multi-Hop Wireless Networks using Distributed Greedy Scheduling.

- Muhammad Nazmul Islam, Raviraj Adve, Behrouz Khoshnevis:
Optimal Shape-Gain Quantization for Multiuser MIMO Systems with Linear Precoding.

- (paper withdrawn).

- Ahmed Tolba, Nabila Eladawi, Mohammed Elmogy:
An Enhanced Indexing And Ranking Technique On The Semantic Web.

- Abdullah Bamatraf, Rosziati Ibrahim, Mohd. Najib Mohd. Salleh:
A New Digital Watermarking Algorithm Using Combination of Least Significant Bit (LSB) and Inverse Bit.

- Humaira Farid, Farooque Azam, M. Aqeel Iqbal:
Minimizing the Risk of Architectural Decay by using Architecture-Centric Evolution Process.

- Hareesh K., Manjaiah D. H.:
Peer-to-Peer Live Streaming and Video On Demand Design Issues and its Challenges.

- Andreas Emil Feldmann:
Fast Balanced Partitioning of Grid Graphs is Hard.

- Riyadh Baghdadi, Albert Cohen, Cédric Bastoul, Louis-Noël Pouchet, Lawrence Rauchwerger:
The Potential of Synergistic Static, Dynamic and Speculative Loop Nest Optimizations for Automatic Parallelization.

- Hussain A. H. Awad, Fadi M. Battah:
Enhancing Information Systems Security in Educational Organizations in KSA through proposing security model.

- Nadir K. Salih, Tianyi Zang, PG. K. Viju, Abdelmotalib A. Mohamed:
Autonomic Management for Multi-agent Systems.

- Sao Mai Nguyen, Adrien Baranes, Pierre-Yves Oudeyer:
Constraining the Size Growth of the Task Space with Socially Guided Intrinsic Motivation using Demonstrations.

- Alireza Abbasi, Liaquat Hossain, Loet Leydesdorff:
Betweenness Centrality as a Driver of Preferential Attachment in the Evolution of Research Collaboration Networks.

- Raghavan Komondoor, K. Vasanta Lakshmi, Deva P. Seetharam, Sudha Balodia:
Packet flow analysis in IP networks via abstract interpretation.

- Yihong Wu, Sergio Verdú:
Optimal Phase Transitions in Compressed Sensing.

- Alireza Amirshahi, Mahmood Fathy, Morteza Romoozi, Mohammad Assarian:
A Fuzzy Realistic Mobility Model For Ad hoc Networks.

- Paolo Banelli:
Bayesian Estimation of a Gaussian source in Middleton's Class-A Impulsive Noise.

- Ashwin Ganesan, Radha R. Iyer:
The regular number of a graph.

- Avrim Blum, Aaron Roth:
Fast Private Data Release Algorithms for Sparse Queries.

- Michal B. Paradowski:
Developing credible AI - linguistic behaviour, simulations, data-driven input, and Turing's legacy.

- Claudius Gros, Gregor Kaczor, Dimitrije Markovic:
Neuropsychological constraints to human data production on a global scale.

- Nicholas Timme, Wesley Alford, Benjamin Flecker, John M. Beggs:
Towards resolving the multivariate information controversy.

- Bill Bekenn, Ray Hooper:
Workbook Structure Analysis - "Coping with the Imperfect".

- Rémi Diana, Emmanuel Lochin:
Modelling the Delay Distribution of Binary Spray and Wait Routing Protocol.

- Kevin McDaid, Ronan MacRuairi, Neil Clynch, Kevin Logue, Cian Clancy, Shane Hayes:
Spreadsheets in Financial Departments: An Automated Analysis of 65,000 Spreadsheets using the Luminous Technology.

- Gordon Guthrie, Stephen McCrory:
Beyond The Desktop Spreadsheet.

- Ruth McKeever, Kevin McDaid:
Effect of Range Naming Conventions on Reliability and Development Time for Simple Spreadsheet Formulas.

- Daniel Kulesz:
From Good Practices to Effective Policies for Preventing Errors in Spreadsheets.

- Martín O. Moguillansky, Nicolás D. Rotstein, Marcelo A. Falappa, Alejandro Javier García, Guillermo Ricardo Simari:
Dynamics of Knowledge in DeLP through Argument Theory Change.

- Pierpaolo Baglietto, Martino Fornasa, Simone Mangiante, Massimo Maresca, Andrea Parodi, Michele Stecca:
A Platform for Spreadsheet Composition.

- Nancy Coster, Linda Leon, Lawrence Kalbers, Dolphy Abraham:
Controls over Spreadsheets for Financial Reporting in Practice.

- Felienne Hermans, Martin Pinzger, Arie van Deursen:
Breviz: Visualizing Spreadsheets using Dataflow Diagrams.

- Martin R. Albrecht:
The M4RIE library for dense linear algebra over small fields with even characteristic.

- José Pedro Correia, Miguel Alexandre Ferreira:
Requirements for Automated Assessment of Spreadsheet Maintainability.

- Thomas A. Grossman, Vijay Mehrotra, Johncharles Sander:
Towards Evaluating the Quality of a Spreadsheet: The Case of the Analytical Spreadsheet Model.

- Zbigniew H. Przasnyski, Linda Leon, Kala Chand Seal:
In Search of a Taxonomy for Classifying Qualitative Spreadsheet Errors.

- Zacchaeus Omogbadegun, Charles Onuwa Uwadia, Charles K. Ayo, Victor Mbarika, Nicholas Ikhu-Omoregbe, Efe Otofia, Frank Chieze:
Multimedia-based Medicinal Plants Sustainability Management System.

- Preeti K. S., Vijit Singh, Sushant Bhatia, Ekansh Preet Singh, Manu Sheel Gupta:
Spreadsheet on Cloud -- Framework for Learning and Health Management System.

- Giovanni Viglietta:
Hardness of Mastermind.

- Yordan Kalmukov:
Architecture of a Conference Management System Providing Advanced Paper Assignment Features.

- Matteo Riondato, Eli Upfal:
Efficient Discovery of Association Rules and Frequent Itemsets through Sampling with Tight Performance Guarantees.

- Kajetan Mlynarski:
Reflexivity and the diagonal argument in proofs of limitative theorems.

- Mark Sh. Levin:
Aggregation of Composite Solutions: strategies, models, examples.

- Kyle Fox:
Faster Shortest Non-contractible Cycles in Directed Surface Graphs.

- Ilce Georgievski, Alexander Lazovik, Marco Aiello:
Task Interaction in an HTN Planner.

- Philippe De Wilde, Gerard Briscoe:
Stability of Evolving Multi-Agent Systems.

- Arup Kumar Pal, G. P. Biswas, S. Mukhopadhyay:
Design of Image Cryptosystem by Simultaneous VQ-Compression and Shuffling of Codebook and Index Matrix.

- Liang Li, Pinyan Lu, Yitong Yin:
Correlation Decay up to Uniqueness in Spin Systems.

- Lingyang Song, Yonghui Li, Anpeng Huang, Bingli Jiao, Athanasios V. Vasilakos:
Differential Modulation for Bi-directional Relaying with Analog Network Coding.

- Lingyang Song:
Relay Selection for Two-way Relaying with Amplify-and-Forward Protocols.

- Lingyang Song, Hong Guo, Bingli Jiao, Mérouane Debbah:
Joint Relay Selection and Analog Network Coding using Differential Modulation in Two-Way Relay Channels.

- Martin Kleinsteuber, Hao Shen:
Identifiability of Complex Blind Source Separation via Non-Unitary Joint Diagonalization.

- Gan Zheng, Symeon Chatzinotas, Björn E. Ottersten:
Multi-Gateway Cooperation in Multibeam Satellite Systems.

- Lingyang Song, Zhu Han, Zhongshan Zhang, Bingli Jiao:
Non-cooperative Feedback Rate Control Game for Channel State Information in Wireless Networks.

- Leiming Zhang, Lingyang Song, Meng Ma, Bingli Jiao:
On the Minimum Differential Feedback for Time-Correlated MIMO Rayleigh Block-Fading Channels.

- Jingchao Chen, Rongqing Zhang, Lingyang Song, Zhu Han, Bingli Jiao:
Joint Relay and Jammer Selection for Secure Two-Way Relay Networks.

- Samson Abramsky:
A Cook's Tour of the Finitary Non-Well-Founded Sets.

- Samson Abramsky:
A Structural Approach to Reversible Computation.

- Samson Abramsky:
Sequentiality vs. Concurrency in Games and Logic.

- Fabian M. Suchanek, Serge Abiteboul, Pierre Senellart:
PARIS: Probabilistic Alignment of Relations, Instances, and Schema.

- Sayan Ranu, Ambuj K. Singh:
Answering Top-k Queries Over a Mixture of Attractive and Repulsive Dimensions.

- Michael Armbrust, Kristal Curtis, Tim Kraska, Armando Fox, Michael J. Franklin, David A. Patterson:
PIQL: Success-Tolerant Query Processing in the Cloud.

- Peixiang Zhao, Charu C. Aggarwal, Min Wang:
gSketch: On Query Estimation in Graph Streams.

- Brian E. Ruttenberg, Ambuj K. Singh:
Indexing the Earth Mover's Distance Using Normal Distributions.

- Georgios John Fakas, Zhi Cai, Nikos Mamoulis:
Size-l Object Summaries for Relational Keyword Search.

- Lujun Fang, Anish Das Sarma, Cong Yu, Philip Bohannon:
REX: Explaining Relationships between Entity Pairs.

- Guoliang Li, Dong Deng, Jiannan Wang, Jianhua Feng:
PASS-JOIN: A Partition-based Method for Similarity Joins.

- Michal B. Paradowski:
The Embodied Language. Why .

- Chuan-Sheng Wei, Sheng-Gwo Chen, Tone-Yau Huang, Yao Lin Ong:
A secure solution on hierarchical access control.

- Yuan Li, John O. Adeyeye, Reinhard C. Laubenbacher:
Nested Canalyzing Functions And Their Average Sensitivities.

- Yvan Paquot, François Duport, Anteo Smerieri, Joni Dambre, Benjamin Schrauwen, Marc Haelterman, Serge Massar:
Optoelectronic Reservoir Computing.

- Ibidapo, O. Akinyemi, Zaccheous O. Omogbadegun, Olufemi M. Oyelami:
Towards Designing a Biometric Measure for Enhancing ATM Security in Nigeria E-Banking System.

- Rani Qumsiyeh, Maria Soledad Pera, Yiu-Kai Ng:
Generating Exact- and Ranked Partially-Matched Answers to Questions in Advertisements.

- Xiangyang Lu, Jin Hu, Ran Tao, Yue Wang:
Controlling Communication Field of Complex Networks by Transformation Method.

- Nirlakalla Ravi, A. Satish, T. Jayachandra Prasad, T. Subba Rao:
A New Design for Array Multiplier with Trade off in Power and Area.

- Szczecinski Leszek:
Linear Correction of Mismatched L-values in BICM receivers.

- Rodrigo Nava, Gabriel Cristóbal, Boris Escalante-Ramírez:
Invariant texture analysis through Local Binary Patterns.

- Rob Hall, Yuval Nardi, Stephen E. Fienberg:
Achieving Both Valid and Secure Logistic Regression Analysis on Aggregated Data from Different Private Sources.

- Michel X. Goemans, Neil Olver, Thomas Rothvoß, Rico Zenklusen:
Matroids and Integrality Gaps for Hypergraphic Steiner Tree Relaxations.

- Raajay Viswanathan, Prateek Jain, Srivatsan Laxman, Arvind Arasu:
A Learning Framework for Self-Tuning Histograms.

- Pierre Lescanne:
Les crashs sont rationnels.

- Hang-Hyun Jo, Eunyoung Moon, Kimmo Kaski:
Optimized reduction of uncertainty in bursty human dynamics.

- Jianshu Chen, Ali H. Sayed:
Diffusion Adaptation Strategies for Distributed Optimization and Learning over Networks.

- Matthew O. Jackson, Dunia López-Pintado:
Diffusion and Contagion in Networks with Heterogeneous Agents and Homophily.

- Kyu-Min Lee, Jung Yeol Kim, Won-kuk Cho, K.-I. Goh, I.-M. Kim:
Correlated multiplexity induces unusual connectivity in multiplex random networks.

- Sebastian U. Stich, Christian L. Müller, Bernd Gärtner:
Optimization of Convex Functions with Random Pursuit.

- Anthony Bonato, Jeannette Janssen, Pawel Pralat:
Geometric protean graphs.

- Gabriel H. Tucci, Ke Wang:
New Methods for Handling Singular Sample Covariance Matrices.

- Noga Alon, Ankur Moitra, Benny Sudakov:
Nearly Complete Graphs Decomposable into Large Induced Matchings and their Applications.

- Valerio Capraro:
Topology on locally finite metric spaces.

- Pavel Chebotarev, Michel Deza:
A topological interpretation of the walk distances.

- Ivan Soprunov:
Minimum distance for toric complete intersection codes.

- Daniel G. Brown, Jakub Truszkowski:
Fast reconstruction of phylogenetic trees using locally-sensitive hashing.

- Yingtai Xie:
A Graph Invariant and 2-factorizations of a graph.

- D. Boskos, J. Tsinias:
Sufficient Conditions on the Existence of Switching Observers for Nonlinear Time-Varying Systems.

- Samuel Fiorini, Volker Kaibel, Kanstantsin Pashkovich, Dirk Oliver Theis:
Combinatorial Bounds on Nonnegative Rank and Extended Formulations.

- Greg Kuperberg, Shachar Lovett, Ron Peled:
Probabilistic existence of rigid combinatorial structures.

- R. F. L. Evans, R. W. Chantrell, U. Nowak, A. Lyberatos, H-J. Richter:
Entropy and error: density limit for magnetic data storage.

- David G. Messerschmitt:
Interstellar Communication: The Case for Spread Spectrum.

- Fabien Durand:
HD0L-$ω$-equivalence and periodicity problems in the primitive case (to the memory of G. Rauzy).

- Jan Foniok:
On Ramsey properties of classes with forbidden trees.

- Marzieh Nabi-Abdolyousefi, Mehran Mesbahi:
A Sieve Method for Consensus-type Network Tomography.

- Danielle C. Tarraf, Dario Bauso:
Robust Finite Alphabet Control of Dynamic Networks.

- Pedro A. Ortega:
Bayesian Causal Induction.

- Arnab Basu, Samik Basu, Mahan Mj:
Nash Equilibria via Duality and Homological Selection.

- Iasson Karafyllis, Costas Kravaris:
Global Exponential Observers for Two Classes of Nonlinear Systems.

- Samuel Fiorini, Serge Massar, Sebastian Pokutta, Hans Raj Tiwary, Ronald de Wolf:
Linear vs. Semidefinite Extended Formulations: Exponential Separation and Strong Lower Bounds.

- Ahmet A. Husainov:
The Homology Groups of a Partial Trace Monoid Action.

- Ton Kloks, Sheung-Hung Poon, Feng-Ren Tsai, Yue-Li Wang:
The black-and-white coloring problem on distance hereditary graphs and strongly chordal graphs.

- Ayan Mahalanobis:
The MOR cryptosystem and extra-special $p$-groups.

- James R. Lee, Shayan Oveis Gharan, Luca Trevisan:
Multi-way spectral partitioning and higher-order Cheeger inequalities.

- Chihiro H. Nakajima, Takahiro Sakaue:
Computing a Knot Invariant as a Constraint Satisfaction Problem.

- Charles Dossal, Maher Kachour, Jalal Fadili, Gabriel Peyré, Christophe Chesneau:
The degrees of freedom of penalized l1 minimization.

- Qi Cheng, Joshua E. Hill, Daqing Wan:
Counting Value Sets: Algorithm and Complexity.

- Shi-Hua Zhang, Junfei Zhao, Xiang-Sun Zhang:
Co-community Structure in Multiple Evolving Networks.

- Christian Retoré:
Specimens: "most of" generic NPs in a contextually flexible type theory.

- Aleksandr Y. Aravkin, Michael Styer, Zachary Moratto, Ara V. Nefian, Michael Broxton:
Student's T Robust Bundle Adjustment Algorithm.

- Jing Lei, James M. Robins, Larry A. Wasserman:
Efficient Nonparametric Conformal Prediction Regions.

- Rajat S. Roy, Kevin C. Chen, Anirvan M. Sengupta, Alexander Schliep:
SLIQ: Simple Linear Inequalities for Efficient Contig Scaffolding.

- David Rosenbaum, Aram Wettroth Harrow:
Uselessness for an Oracle Model with Internal Randomness.

- Marcus Brazil, Charl J. Ras, Konrad J. Swanepoel, Doreen A. Thomas:
Generalised k-Steiner Tree Problems in Normed Planes.

- Parikshit Shah, Pablo A. Parrilo:
H_2-Optimal Decentralized Control over Posets: A State-Space Solution for State-Feedback.

- Olivier Finkel, Stevo Todorcevic:
A Hierarchy of Tree-Automatic Structures.

- Volker Diekert, Manfred Kufleitner, Benjamin Steinberg:
The Krohn-Rhodes Theorem and Local Divisors.

- Dante Kalise:
A study of a WENO-TVD finite volume scheme for the numerical simulation of atmospheric advective and convective phenomena.

- Amitabh Basu, Robert Hildebrand, Matthias Köppe:
The Triangle Closure is a Polyhedron.

- Ravi Ganti, Alexander G. Gray:
UPAL: Unbiased Pool Based Active Learning.

- Gonzalo Mateos, Georgios B. Giannakis:
Robust PCA as Bilinear Decomposition with Outlier-Sparsity Regularization.

- Marcus Brazil, Charl J. Ras, Doreen A. Thomas:
Exact algorithm for the bottleneck 2-connected $k$-Steiner network problem.

- Marcus Brazil, Charl J. Ras, Doreen A. Thomas:
A Flow-dependent Quadratic Steiner Tree Problem in the Euclidean Plane.

- Sang Hoon Lee, Petter Holme:
Exploring maps with greedy navigators.

- Dante Kalise, Ivar Lie:
Modelling and numerical approximation of a 2.5D set of equations for mesoscale atmospheric processes.

- Florent Foucaud, Tero Laihonen, Aline Parreau:
An improved lower bound for (1,<=2)-identifying codes in the king grid.

- Wesley Calvert, Russell Miller, Jennifer Chubb Reimann:
The Distance Function on a Computable Graph.

- Jakob Heide Jørgensen, Emil Y. Sidky, Xiaochuan Pan:
Ensuring convergence in total-variation-based reconstruction for accurate microcalcification imaging in breast X-ray CT.

- Masaaki Harada:
Some Extremal Self-Dual Codes and Unimodular Lattices in Dimension 40.

- Roman Kogler, David M. South, Michael Steder:
Data Preservation in High Energy Physics.

- Roberto da Silva, Fahad Kalil, Alexandre Souto Martinez, José Palazzo Moreira de Oliveira:
Universality in Bibliometrics.

- Ya-Hong Chen, Rong-Ying Pan, Xiao-Dong Zhang:
The Laplacian Spectra of Graphs and Complex Networks.

- Colin McDiarmid, Tobias Müller:
Integer realizations of disk and segment graphs.

- Luca Gammaitoni:
Beating the Landauer's limit by trading energy with uncertainty.

- Andrew Adamatzky, Stephen Kitson, Ben de Lacy Costello, Mario Ariosto Matranga, Daniel Younger:
Computing with Liquid Crystal Fingers: Models of geometric and logical computation.

- Varsha Dani, Cristopher Moore, Anna Olson:
Tight bounds on the threshold for permuted k-colorability.

- Mate Szalay-Beko, Robin Palotai, Balázs Szappanos, Istvan A. Kovacs, Balázs Papp, Peter Csermely:
ModuLand plug-in for Cytoscape: extensively overlapping modules, community centrality and their use in biological networks.