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.