CoRR, August 2012

Mouti Hammami: Maintenance de l'outil Wr2fdr de traduction de Wright vers CSP.

Junze Han, Xiang-Yang Li: Network Agile Preference-Based Prefetching for Mobile Devices.

Sutanay Choudhury, Lawrence B. Holder, George Chin Jr., John Feo: Large-scale continuous subgraph queries on streams.

Lawrence Ong: Capacity Results for Two Classes of Three-Way Channels.

Sashank Dara: Confidentiality without Encryption For Cloud Computational Privacy.

Ahmed Badr, Ashish Khisti, Wai-Tian Tan, John G. Apostolopoulos: Streaming Codes for Channels with Burst and Isolated Erasures.

Dong-Wan Choi, Chin-Wan Chung, Yufei Tao: A Scalable Algorithm for Maximizing Range Sum in Spatial Databases.

Ahmed M. Aly, Walid G. Aref, Mourad Ouzzani: Spatial Queries with Two kNN Predicates.

Cheng Sheng, Nan Zhang, Yufei Tao, Xin Jin: Optimal Algorithms for Crawling a Hidden Database in the Web.

Lu Qin, Jeffrey Xu Yu, Lijun Chang: Diversifying Top-K Results.

Xin Cao, Lisi Chen, Gao Cong, Xiaokui Xiao: Keyword-aware Optimal Route Search.

Bogdan Cautis, Evgeny Kharlamov: Answering Queries using Views over Probabilistic XML: Complexity and Tractability.

Abhay Kumar Jha, Dan Suciu: Probabilistic Databases with MarkoViews.

Konstantinos Mamouras, Sigal Oren, Lior Seeman, Lucja Kot, Johannes Gehrke: The Complexity of Social Coordination.

Xiaofei Zhang, Lei Chen, Min Wang: Efficient Multi-way Theta-Join Processing Using MapReduce.

Harold Lim, Herodotos Herodotou, Shivnath Babu: Stubby: A Transformation-based Optimizer for MapReduce Workflows.

Zhuowei Bao, Susan B. Davidson, Tova Milo: Labeling Workflow Views with Fine-Grained Dependencies.

Jaroslaw Szlichta, Parke Godfrey, Jarek Gryz: Fundamentals of Order Dependencies.

Yu Cao, Chee-Yong Chan, Jie Li, Kian-Lee Tan: Optimization of Analytic Window Functions.

Fabian Hueske, Mathias Peters, Matthias Sax, Astrid Rheinländer, Rico Bergmann, Aljoscha Krettek, Kostas Tzoumas: Opening the Black Boxes in Data Flow Optimization.

Stephan Ewen, Kostas Tzoumas, Moritz Kaufmann, Volker Markl: Spinning Fast Iterative Data Flows.

Svilen R. Mihaylov, Zachary G. Ives, Sudipto Guha: REX: Recursive, Delta-Based Data-Centric Computation.

James Cheng, Zechao Shang, Hong Cheng, Haixun Wang, Jeffrey Xu Yu: K-Reach: Who is in Your Small World.

Wenfei Fan, Xin Wang, Yinghui Wu: Performance Guarantees for Distributed Reachability Queries.

Pirooz Chubak, Davood Rafiei: Efficient Indexing and Querying over Syntactically Annotated Trees.

Ninghui Li, Wahbeh H. Qardaji, Dong Su, Jianneng Cao: PrivBasis: Frequent Itemset Mining with Differential Privacy.

Ganzhao Yuan, Zhenjie Zhang, Marianne Winslett, Xiaokui Xiao, Yin Yang, Zhifeng Hao: Low-Rank Mechanism: Optimizing Batch Queries under Differential Privacy.

Taeho Jung, Xiang-Yang Li: Search Me If You Can: Privacy-preserving Location Query Service.

Denis Brechka: Analysis of access in the Take-Grant model.

Stefan Kratsch, Pascal Schweitzer: Graph Isomorphism for Graph Classes Characterized by two Forbidden Induced Subgraphs.

He Huang, Yu-e Sun, Xiang-Yang Li, Hongli Xu, Yousong Zhou, Liusheng Huang: Truthful Auction Mechanism for Heterogeneous Spectrum Allocation in Wireless Networks.

Saida Aissi, Mohamed Salah Gouider: Personalization in Geographic information systems: A survey.

Saida Aissi, Mohamed Salah Gouider: Spatial and Spatio-Temporal Multidimensional Data Modelling: A Survey.

Othon Michail, Ioannis Chatzigiannakis, Paul G. Spirakis: Naming and Counting in Anonymous Unknown Dynamic Networks.

Peiyan Yuan, Huadong Ma, Xiang-Yang Li, ShaoJie Tang, XuFei Mao: Opportunistic Forwarding with Partial Centrality.

Fabian Schuh, Andreas Schenk, Johannes B. Huber: Matched Decoding for Punctured Convolutional Encoded Transmission Over ISI-Channels.

Asma Boudhief, Mohsen Maraoui, Mounir Zrigui: Adaptation of pedagogical resources description standard (LOM) with the specificity of Arabic language.

Sándor P. Fekete: The Complexity of MaxMin Length Triangulation.

Saida Aissi, Mohamed Salah Gouider: Towards the Next Generation of Data Warehouse Personalization System: A Survey and a Comparative Study.

Jun Zhang, Zhenjie Zhang, Xiaokui Xiao, Yin Yang, Marianne Winslett: Functional Mechanism: Regression Analysis under Differential Privacy.

Jianneng Cao, Panagiotis Karras: Publishing Microdata with a Robust Privacy Guarantee.

Ziyu Guan, Xifeng Yan, Lance M. Kaplan: Measuring Two-Event Structural Correlations on Graphs.

Jeffrey Jestes, Jeff M. Phillips, Feifei Li, Mingwang Tang: Ranking Large Temporal Data.

Florian Funke, Alfons Kemper, Thomas Neumann: Compacting Transactional Data in Hybrid OLTP & OLAP Databases.

Alexander Hall, Olaf Bachmann, Robert Büssow, Silviu Ganceanu, Marc Nunkesser: Processing a Trillion Cells per Mouse Click.

Danica Porobic, Ippokratis Pandis, Miguel Branco, Pinar Tözün, Anastasia Ailamaki: OLTP on Hardware Islands.

Daniel Sheldon, Neal E. Young: Hamming Approximation of NP Witnesses.

Antonio Munoz-Canavate, Pedro Hipola: Electronic administration in Spain: from its beginnings to the present.

Stacy Patterson, Aaron J. Elmore, Faisal Nawab, Divyakant Agrawal, Amr El Abbadi: Serializability, not Serial: Concurrency Control and Availability in Multi-Datacenter Datastores.

Alvin Cheung, Owen Arden, Samuel Madden, Andrew C. Myers: Automatic Partitioning of Database Applications.

Caleb Chen Cao, Jieying She, Yongxin Tong, Lei Chen: Whom to Ask? Jury Selection for Decision Making Tasks on Micro-blog Services.

Xiaochun Yang, Honglei Liu, Bin Wang: ALAE: Accelerating Local Alignment with Affine Gap Exactly in Biosequence Databases.

K. Selçuk Candan, Rosaria Rossini, Maria Luisa Sapino, Xiaolan Wang: sDTW: Computing DTW Distances using Locally Relevant Constraints based on Salient Feature Alignments.

Farhan Tauheed, Thomas Heinis, Felix Schürmann, Henry Markram, Anastasia Ailamaki: SCOUT: Prefetching for Latent Feature Following Queries.

Kaibo Wang, Yin Huai, Rubao Lee, Fusheng Wang, Xiaodong Zhang, Joel H. Saltz: Accelerating Pathology Image Data Cross-Comparison on CPU-GPU Hybrid Systems.

Jiexing Li, Arnd Christian König, Vivek R. Narasayya, Surajit Chaudhuri: Robust Estimation of Resource Consumption for SQL Queries using Statistical Techniques.

Cosmin Bonchis, Gabriel Istrate: A Parametric Worst-Case Approach to Fairness in TU-Cooperative Games.

Mahashweta Das, Saravanan Thirumuruganathan, Sihem Amer-Yahia, Gautam Das, Cong Yu: Who Tags What? An Analysis Framework.

Haohan Zhu, George Kollios, Vassilis Athitsos: A Generic Framework for Efficient and Effective Subsequence Retrieval.

Jens Dittrich, Jorge-Arnulfo Quiané-Ruiz, Stefan Richter, Stefan Schuh, Alekh Jindal, Jörg Schad: Only Aggressive Elephants are Fast Elephants.

Rui Li, Shengjie Wang, Kevin Chen-Chuan Chang: Multiple Location Profiling for Users and Relationships from Social Network and Content.

Woon-Hak Kang, Sang-Won Lee, Bongki Moon: Flash-based Extended Cache for Higher Throughput and Faster Recovery.

Michael A. Bender, Martin Farach-Colton, Rob Johnson, Russell Kraner, Bradley C. Kuszmaul, Dzejla Medjedovic, Pablo Montes, Pradeep Shetty, Richard P. Spillane, Erez Zadok: Don't Thrash: How to Cache Your Hash on Flash.

Robert Isele, Christian Bizer: Learning Expressive Linkage Rules using Genetic Programming.

Yongxin Tong, Lei Chen, Yurong Cheng, Philip S. Yu: Mining Frequent Itemsets over Uncertain Databases.

Christoph Lange, Till Mossakowski, Oliver Kutz, Christian Galinski, Michael Grüninger, Daniel Couto Vale: The Distributed Ontology Language (DOL): Use Cases, Syntax, and Extensibility.

Simina Brânzei, Clara Forero, Kate Larson, Peter Bro Miltersen: Equilibria of Chinese Auctions.

Jessica Chang, Harold N. Gabow, Samir Khuller: A Model for Minimizing Active Processor Time.

Saptarshi Das, Indranil Pan, Khrist Sur, Shantanu Das: Artificial Neural Network Based .

Zahra Aminzare, Eduardo D. Sontag: Logarithmic Lipschitz norms and diffusion-induced instability.

Mark A. Davenport, Deanna Needell, Michael B. Wakin: Signal Space CoSaMP for Sparse Recovery with Redundant Dictionaries.

Amed Leiva-Mederos, Jose A. Senso, Sandor Dominguez-Velasco, Pedro Hipola: An Automat for the Semantic Processing of Structured Information.

Julian Yarkony, Alexander T. Ihler, Charless C. Fowlkes: Fast Planar Correlation Clustering for Image Segmentation.

Joan Feigenbaum, Michael Mitzenmacher, Georgios Zervas: An Economic Analysis of User-Privacy Options in Ad-Supported Services.

Shaoli Liu, Yunji Chen, Tianshi Chen, Ling Li, Chao Lu: Global Adaptive Routing Algorithm Without Additional Congestion Propagation Network.

Marko Savic, Milos Stojakovic: Linear Time Algorithm for Optimal Feed-link Placement.

Andy Nguyen: Solving Cyclic Longest Common Subsequence in Quadratic Time.

Shrutivandana Sharma, Demosthenis Teneketzis: Local public good provisioning in networks: A Nash implementation mechanism.

Yun Jiang, Marcus Lim, Ashutosh Saxena: Multidimensional Membership Mixture Models.

Esraa Alomari, Selvakumar Manickam, B. B. Gupta, Shankar Karuppayah, Rafeef Alfaris: Botnet-based Distributed Denial of Service (DDoS) Attacks on Web Servers: Classification and Art.

Zhili Chen, He Huang, Liusheng Huang: True-MCSA: A Framework for Truthful Double Multi-Channel Spectrum Auctions.

Sergey Andreyev: Fixed Interfaces, Adaptive Interfaces... What is next? Total movability - a new paradigm for the user interface.

Zhiping Jiang, Jizhong Zhao, Xiang-Yang Li, Jinsong Han, Wei Xi: Rejecting the Attack: Source Authentication for Wi-Fi Management Frames using CSI Information.

Yun-Chol Jong: Grey Power Models Based on Optimization of Initial Condition and Model Parameters.

Ju Sun, Yuqian Zhang, John Wright: Efficient Point-to-Subspace Query in $\ell^1$ with Application to Robust Face Recognition.

Caijun Zhong, Himal A. Suraweera, Aiping Huang, Zhaoyang Zhang, Chau Yuen: Outage Probability of Dual-Hop Multiple Antenna AF Relaying Systems with Interference.

Alice Miller, Patrick Prosser: Diamond-free Degree Sequences.

Esa Hyytiä, Jörg Ott: Criticality of Large Delay Tolerant Networks via Directed Continuum Percolation in Space-Time.

Shang Shang, Paul W. Cuff, Sanjeev R. Kulkarni, Pan Hui: An Upper Bound on the Convergence Time for Distributed Binary Consensus.

Mária Ercsey-Ravasz, Zoltán Toroczkai: Optimization hardness as transient chaos in an analog approach to constraint satisfaction.

Christopher Schwaab, Jeremy G. Siek: Modular Type-Safety Proofs using Dependant Types.

Simon T. Powers, Jun He: A hybrid artificial immune system and Self Organising Map for network intrusion detection.

Wen-Qi Duan: A Constructive Algorithm to Prove P=NP.

Petteri Kaski, Mikko Koivisto, Janne H. Korhonen: Fast Monotone Summation over Disjoint Sets.

Jing Yang, Stark C. Draper, Robert Nowak: Learning the Interference Graph of a Wireless Network.

Lena Chekina, Duku Mimran, Lior Rokach, Yuval Elovici, Bracha Shapira: Detection of Deviations in Mobile Applications Network Behavior.

Anzar Ahmad, R. Gowri, S. C. Gupta: Simulation Study For Performance Comparison in Hierarchical Network With CHG Approach in MANET.

Daniel Kharitonov: Green Telecom Metrics in Perspective.

Ulrich Menne, Christian Raack, Roland Wessäly, Daniel Kharitonov: Optimal Degree of Optical Circuit Switching in IP-over-WDM Networks.

Partha Pratim Ray: Translation of Bengali Terms in .

Poulami Majumder, Partha Pratim Ray: Hatch-Sens: a Theoretical .

Partha Pratim Ray, Ansuman Banerjee, Banibrata Bag: Debugging Invariant Issues in Pseudo Embedded Program: an Analytical Approach.

Partha Pratim Ray: The green grid saga - a green initiative to data centers: a review.

Partha Pratim Ray, Ansuman Banerjee: Debugging Memory Issues In Embedded Linux: A Case Study.

Foto N. Afrati, Dimitris Fotakis, Jeffrey D. Ullman: Enumerating Subgraph Instances Using Map-Reduce.

XiaoHua Xu, Jiannong Cao, Xiang-Yang Li: MLLS: Minimum Length Link Scheduling Under Physical Interference Model.

Wayes Tushar, Walid Saad, H. Vincent Poor, David B. Smith: Economics of Electric Vehicle Charging: A Game Theoretic Approach.

Wei Gao, Zhi-Hua Zhou: On the consistency of AUC Optimization.

Gregory Crosswhite: Embracing divergence: a formalism for when your semiring is simply not complete, with applications in quantum simulation.

Yin Wang, Yuan He, Dapeng Cheng, Yunhao Liu, Xiang-Yang Li: Triggercast: Enabling Wireless Collisions Constructive.

Frank Stephan, Jason Teutsch: Things that can be made into themselves.

Mahnoosh Kholghi, Mohammad Reza Keyvanpour: Comparative Evaluation of Data Stream Indexing Models.

Jizhong Zhao, Wei Xi, Jinsong Han, ShaoJie Tang, Xiang-Yang Li, Yunhao Liu, Yihong Gong, Zehua Zhou: Efficient and Secure Key Extraction using CSI without Chasing down Errors.

Hamed Hassanzadeh, Mohammad Reza Keyvanpour: Semantic Web Requirements through Web Mining Techniques.

Diodato Ferraioli, Paolo Penna: Imperfect best-response mechanisms.

Pith Xie: Numerical Computations For Real Number System By Logical Calculus.

Bojan Marinkovic, Paola Glavan, Zoran Ognjanovic: Description of the Chord Protocol using ASMs Formalism.

Éric Duchêne, Gabriel Renault: Vertex Nim played on graphs.

Partha Pratim Ray: Universal Numeric Segment Display for Indian Scheduled Languages: an Architectural View.

Partha Pratim Ray: Web based e-learning in india: the cumulative views of different aspects.

Shang Shang, Pan Hui, Sanjeev R. Kulkarni, Paul W. Cuff: Wisdom of the Crowd: Incorporating Social Influence in Recommendation Models.

Shang Shang, Sanjeev R. Kulkarni, Paul W. Cuff, Pan Hui: A Random Walk Based Model Incorporating Social Information for Recommendations.

Michael Mitzenmacher, George Varghese: Biff (Bloom Filter) Codes : Fast Error Correction for Large Data Sets.

Nilanjan Dey, Anamitra Bardhan Roy, Sayantan Dey: A Novel Approach of Color Image Hiding using RGB Color planes and DWT.

Jorge P. Arpasi: On the control of abelian group codes with information group of prime order.

Guanhong Pei, V. S. Anil Kumar: Distributed Algorithms for Maximum Link Scheduling under the Physical Interference Model.

Martin E. Dyer, Alan M. Frieze, Catherine S. Greenhill: On the chromatic number of a random hypergraph.

Ting Hu, Jun Fan, Qiang Wu, Ding-Xuan Zhou: Learning Theory Approach to Minimum Error Entropy Criterion.

Mutaz M. Al-Debei, Enas M. Al-Lozi: Implementations of ICT Innovations: A Comparative Analysis in terms of Challenges between Developed and Developing Countries.

Enas M. Al-Lozi, Mutaz M. Al-Debei: A Framework of Value Exchange and Role Playing in Web 2.0 WebSites.

Dima Jalal, Mutaz M. Al-Debei: Portals and Task Innovation: A Theoretical Framework Founded on Business Intelligence Thinking.

Yaqin Zhou, Xiang-Yang Li, Min Liu, Zhongcheng Li: Link Scheduling for Throughput Maximization in Multihop Wireless Networks Under Physical Interference.

Nader Ale Ebrahim, Shamsuddin Ahmed, Zahari Taha: Establishing Virtual R&D Teams: Obliged Policy.

Andrew Clark, Linda Bushnell, Radha Poovendran: A Supermodular Optimization Framework for Leader Selection under Link Noise in Linear Multi-Agent Systems.

Tanmay Bhattacharya, Nilanjan Dey, S. R. Bhadra Chaudhuri: A Session based Multiple Image Hiding Technique using DWT and DCT.

Paolo Gasti, Gene Tsudik, Ersin Uzun, Lixia Zhang: DoS and DDoS in Named-Data Networking.

Sergey V. Yakhontov: NP=NL and, therefore, P=NP as long as the polynomial upper bound is explicitly known for each language A in NP.

Misha Denil, Nando de Freitas: Recklessly Approximate Sparse Coding.

Hema Swetha Koppula, Rudhir Gupta, Ashutosh Saxena: Human Activity Learning using Object Affordances from RGB-D Videos.

Riad Akrour, Marc Schoenauer, Michèle Sebag: APRIL: Active Preference-learning based Reinforcement Learning.

Nasif Muslim, Md. Tanvir Adnan, Mohammad Zahidul Kabir, Md. Humayun Kabir, Sheikh Mominul Islam: Design and implementation of a digital clock showing digits in Bangla font using microcontroller AT89C4051.

Laurent Reynaud, Tinku Rasheed, Kandeepan Sithamparanathan: An Integrated Aerial Telecommunications Network that Supports Emergency Traffic.

Laurent Reynaud, Salim Zaïmi, Yvon Gourhant: Competitive Assessments for HAP Delivery of Mobile Services in Emerging Countries.

Shiyu Ji, Xiaojun Tong, Miao Zhang: Image encryption schemes for JPEG and GIF formats based on 3D baker with compound chaotic sequence generator.

Georgios Pitsilis, Svein J. Knapskog: Social Trust as a solution to address sparsity-inherent problems of Recommender systems.

Dirk Lewandowski: Credibility in Web Search Engines.

Giuseppe Savaré, Giuseppe Toscani: The concavity of Rènyi entropy power.

Zahra Aminzare: Remarks on contractions of reaction-diffusion PDE's on weighted L^2 norms.

Christopher Rose, I. Saira Mian, Ruochen Song: Timing Channels with Multiple Identical Quanta.

N. S. Bhuvaneswari, R. Praveena, R. Divya: System identification and modeling for interacting and non-interacting tank systems using intelligent techniques.

Fabian Altenbach, Steven Corroy, Georg Böcherer, Rudolf Mathar: Strategies for Distributed Sensor Selection Using Convex Optimization.

Georg Böcherer: Optimal Non-Uniform Mapping for Probabilistic Shaping.

Jasper De Bock, Gert de Cooman: Credal nets under epistemic irrelevance.

Bartlomiej Placzek: Uncertainty-dependent data collection in vehicular sensor networks.

Vladimir Blinovsky, Minglai Cai: Classical-Quantum Arbitrarily Varying Wiretap Channel.

Viet Tung Hoang, Ben Morris, Phillip Rogaway: An Enciphering Scheme Based on a Card Shuffle.

Andrea Simonetto, Tamás Keviczky, Mikael Johansson: A Regularized Saddle-Point Algorithm for Networked Optimization with Resource Allocation Constraints.

Paul Dütting, Felix A. Fischer, Pichayut Jirapinyo, John K. Lai, Benjamin Lubin, David C. Parkes: Payment Rules through Discriminant-Based Classifiers.

Stamatina Thomaidou, Michalis Vazirgiannis, Kyriakos Liakopoulos: Toward an Integrated Framework for Automated Development and Optimization of Online Advertising Campaigns.

Reza Farahbakhsh, Naser Movahhedinia: Seamless Handover for IMS over Mobile-IPv6 Using Context Transfer.

Rkia Aouinatou, Mostafa Belkasmi: An efficient classification in IBE Provide with an improvement of BB2 to an efficient Commutative Blinding scheme.

Neri Merhav, Wojciech Szpankowski: Average redundancy of the Shannon code for Markov sources.

Corentin Briat, Emre A. Yavuz, Gunnar Karlsson: A conservation-law-based modular fluid-flow model for network congestion modeling.

Foteini Alvanaki, Sebastian Michel, Aleksandar Stupar: Building and Maintaining Halls of Fame over a Database.

Marek Cygan, Marcin Pilipczuk: On fixed-parameter algorithms for Split Vertex Deletion.

Ping Li, Art B. Owen, Cun-Hui Zhang: One Permutation Hashing for Efficient Search and Learning.

Julia Chuzhoy, Shi Li: A Polylogarithimic Approximation Algorithm for Edge-Disjoint Paths with Congestion 2.

Raj Rao Nadakuditi, M. E. J. Newman: Spectra of random graphs with arbitrary expected degrees.

Holger Petersen: The Power of Centralized PC Systems of Pushdown Automata.

Negin Golrezaei, Alexandros G. Dimakis, Andreas F. Molisch: Scaling Behaviors of Wireless Device-to-Device Communications with Distributed Caching.

Shafigh Parsazad, Ehsan Saboori, Amin Allahyar: Data Selection for Semi-Supervised Learning.

Brian K. Butler, Paul H. Siegel: Numerical Issues Affecting LDPC Error Floors.

Kent E. Morrison: The multiplication game.

Jeffery Burke, Paolo Gasti, Naveen Nathan, Gene Tsudik: Securing Instrumented Environments over Content-Centric Networking: the Case of Lighting Control.

Denis Brechka: Algorithm for searching bridges of specified types in the protection graph for Take-Grant protection model.

Xianwen Wang, Zhi Wang, Shenmeng Xu: Tracing scientists' research trends realtimely.

Yi Fang, Jing Xu, Lin Wang, Guanrong Chen: Performance of MIMO Relay DCSK-CD Systems over Nakagami Fading Channels.

Christian Sternagel: A Locale for Minimal Bad Sequences.

Christian Sternagel: Getting Started with Isabelle/jEdit.

Ignacio Gomez Portillo: Building Cooperative Networks.

Megumi Kaneko, Khaldoun Al Agha: Compressed Sensing based Protocol.

Aman Chadha, Bharatraaj Savardekar, Jay Padhya: Analysis of a Modern Voice Morphing Approach using Gaussian Mixture Models for Laryngectomees.

Geetishree Mishra, Rajeshwari Hegde, K. S. Gurumurthy: Deploying Health Monitoring ECU Towards Enhancing the Performance of In-Vehicle Network.

Cheng Chen, Kui Wu, Venkatesh Srinivasan, Kesav Bharadwaj R: The Best Answers? Think Twice: Online Detection of Commercial Campaigns in the CQA Forums.

Atish Das Sarma, Ashwin Lall, Danupon Nanongkai, Amitabh Trehan: Dense Subgraphs on Dynamic Networks.

Renate A. Schmidt, Dmitry Tishkovsky: Using Tableau to Decide Description Logics with Full Role Negation and Identity.

Amy Zhang, Nadia Fawaz, Stratis Ioannidis, Andrea Montanari: Guess Who Rated This Movie: Identifying Users Through Subspace Clustering.

Robert T. Schweller, Michael Sherman: Fuel Efficient Computation in Passive Self-Assembly.

Yan Shvartzshnaider, Maximilian Ott: Design For Change: Information-Centric Architecture to Support Agile Disaster Response.

Zaafir Barahim, M. Razvi Doomun, Nazrana Joomun: Low-Cost Bluetooth Mobile Positioning for Location-based Application.

Christian Sternagel, René Thiemann, Sarah Winkler, Harald Zankl: CeTA - A Tool for Certified Termination Analysis.

K. Pavan Srinath, B. Sundar Rajan: Improved Perfect Space-Time Block Codes.

K. Pavan Srinath, B. Sundar Rajan: Fast-Decodable MIDO Codes with large Coding Gain.

Christian Sternagel, René Thiemann: Certification extends Termination Techniques.

Christian Sternagel, René Thiemann: A Relative Dependency Pair Framework.

Thomas Sternagel, René Thiemann, Harald Zankl, Christian Sternagel: Recording Completion for Finding and Certifying Proofs in Equational Logic.

René Thiemann: Towards the Certification of Complexity Proofs.

Jingchao Chen: A Dynamic Phase Selection Strategy for Satisfiability Solvers.

Tomás Brázdil, Antonín Kucera, Petr Novotný: Determinacy in Stochastic Games with Unbounded Payoff Functions.

Christoph Dittmann, Stephan Kreutzer, Alexandru I. Tomescu: Graph Operations on Parity Games and Polynomial-Time Algorithms.

Piotr Skowron, Piotr Faliszewski, Arkadii M. Slinko: Proportional Representation as Resource Allocation: Approximability Results.

Josphineleela Ramakrishnan, Ramakrishnan Malaisamy: Performance Measurement and Method Analysis (PMMA) for Fingerprint Reconstruction.

Josphineleela Ramakrishnan, M. Ramakrishnan: An Efficient Automatic Attendance System Using Fingerprint Reconstruction Technique.

Swaprava Nath, Pankaj Dayama, Dinesh Garg, Y. Narahari, James Y. Zou: Mechanism Design for Time Critical and Cost Critical Task Execution via Crowdsourcing.

Ou Wu: Color Assessment and Transfer for Web Pages.

Serge Gaspers, Eun Jung Kim, Sebastian Ordyniak, Saket Saurabh, Stefan Szeider: Don't Be Strict in Local Search!

Serge Gaspers, Mikko Koivisto, Mathieu Liedloff, Sebastian Ordyniak, Stefan Szeider: On Finding Optimal Polytrees.

Bin Dai, A. J. Han Vinck, Zhuojun Zhuang, Yuan Luo: Information-Theoretical Security for Several Models of Multiple-Access Channel.

Radeep B. H., Sanjay Singh: Ownership Authentication Transfer Protocol for Ubiquitous Computing Devices.

Valentin Goranko, Paolo Turrini: Non-cooperative games with preplay negotiations.

Abhijeet Pareek, Philipp Woelfel: RMR-Efficient Randomized Abortable Mutual Exclusion.

Amir Noori: On the Relation between Centrality Measures and Consensus Algorithms.

Amir Noori, Mohammad Bagher Menhaj, Masoud Shafiee: Hybrid systems modeling for gas transmission network.

Perrine Pittet, Christophe Nicolle, Christophe Cruz: Guidelines for a Dynamic Ontology - Integrating Tools of Evolution and Versioning in Ontology.

Valentin Goranko: Transformations of normal form games by preplay offers for payments among players.

Leonid B. Litinskii, Boris V. Kryzhanovsky, Anatoly B. Fonarev: Operator formalism for optical neural network based on the parametrical four-wave mixing process.

Xi Chen, Martin E. Dyer, Leslie Ann Goldberg, Mark Jerrum, Pinyan Lu, Colin McQuillan, David Richerby: The complexity of approximating conservative counting CSPs.

Ilan Shomorony, Amir Salman Avestimehr, Himanshu Asnani, Tsachy Weissman: Worst-Case Source for Distributed Compression with Quadratic Distortion.

XiaoHua Xu, Xiang-Yang Li, ShaoJie Tang, XuFei Mao: Distributed Scheduling for Real-Time Convergecast in Wireless Sensor Networks.

Tasha Frankie, Gordon F. Hughes, Kenneth Kreutz-Delgado: Analysis of Trim Commands on Overprovisioning and Write Amplification in Solid State Drives.

Qinghuai Gao: The Super Robustness of Maximum Likelihood Location Estimator of Exponential Power Distribution, when p < 1.

Peter Sarlin: Self-Organizing Time Map: An Abstraction of Temporal Multivariate Patterns.

Qiang Qian, Songcan Chen: Metric Learning across Heterogeneous Domains by Respectively Aligning Both Priors and Posteriors.

Guangxu Guo, Songcan Chen: Margin Distribution Controlled Boosting.

Sahand Negahban, Benjamin I. P. Rubinstein, Jim Gemmell: Scaling Multiple-Source Entity Resolution using Statistically Efficient Transfer Learning.

Qi Wang, Yue Zhou: New Classes of Zero-Difference Balanced Functions.

Supreeth K. Rao, Arpitha Prasad B., Anushree R. Shetty, Chinmai, R. Bhakthavathsalam, Rajeshwari Hegde: Stereo Acoustic Perception based on Real Time Video Acquisition for Navigational Assistance.

Mohammad Waris Abdullah, Nazar Waheed: Performance and Detection of M-ary Frequency Shift Keying in Triple Layer Wireless Sensor Network.

Raghu Anantharangachar, Srinivasan Ramani: Semantic Web Techniques for Yellow Page Service Providers.

Poo Kuan Hoong, Ian K. T. Tan, Chee Yik Keong: Bittorrent Network Traffic Forecasting With ARMA.

Mina Mishra, Vijay H. Mankar: Message Embedded cipher using 2-D chaotic map.

Richard Perry: Batch Spreadsheet for C Programmers.

Mahdi Aiash, Glenford E. Mapp, Aboubaker Lasebae: A Survey on Authentication and Key Agreement Protocols in Heterogeneous Networks.

Jean-Louis Dessalles: Algorithmic Simplicity and Relevance.

Probir Roy, Md. Mejbah Ul Alam, Nishita Das: Heuristic based task scheduling in multiprocessor systems with genetic algorithm by choosing the eligible processor.

Yucel Altug, Aaron B. Wagner: Moderate Deviations in Channel Coding.

Laxmi Choudhary, Bhawani Shankar Burdak: Role of Ranking Algorithms for Information Retrieval.

Jiannan Wang, Tim Kraska, Michael J. Franklin, Jianhua Feng: CrowdER: Crowdsourcing Entity Resolution.

Michele Dallachiesa, Besmira Nushi, Katsiaryna Mirylenka, Themis Palpanas: Uncertain Time-Series Similarity: Return to the Basics.

Tamraparni Dasu, Ji Meng Loh: Statistical Distortion: Consequences of Data Cleaning.

Willis Lang, Stavros Harizopoulos, Jignesh M. Patel, Mehul A. Shah, Dimitris Tsirogiannis: Towards Energy-Efficient Database Cluster Design.

Frédéric Rodriguez: Technical report: CSVM dictionaries.

Santiago Ontañón: Experiments with Game Tree Search in Real-Time Strategy Games.

B. Thirumala Rao, L. S. S. Reddy: Scheduling Data Intensive Workloads through Virtualization on MapReduce based Clouds.

Fahimeh Farahbod, Mahdi Eftekhari: Comparison of different T-norm operators in classification problems.

Kai Yang, Xi Zhou: MIDI-LAB, a Powerful Visual Basic Program for Creating MIDI Music.

Akshai Aggarwal, Savita Gandhi, Nirbhay Chaubey, Pathik Shah, Madhvi Sadhwani: AODVSEC: A Novel Approach to Secure Ad Hoc on-Demand Distance Vector (AODV) Routing Protocol from Insider Attacks in MANETs.

Richard Perry: An Internet Approach for Engineering Student Exercises.

Manuel Rodriguez Rodriguez, Bobby Philip, Zhen Wang, Mark Berrill: Block-Relaxation Methods for 3D Constant-Coefficient Stencils on GPUs and Multicore CPUs.

Sarabjot Singh, Harpreet S. Dhillon, Jeffrey G. Andrews: Offloading in Heterogeneous Networks: Modeling, Analysis and Design Insights.

Ravi Tandon: Determination Of Optimal Number Of Clusters In Wireless Sensor Networks.

Sukhpal Singh: An algorithm for improving the quality of compacted JPEG image by minimizes the blocking artifacts.

Krishnama Raju Kanchu, Subhash Kak: Goldbach Ellipse Sequences for Cryptographic Applications.

Horia Vlad Balan, Konstantinos Psounis: Tag Spotting at the Interference Range.

Alvin Cheung, Armando Solar-Lezama, Samuel Madden: Inferring SQL Queries Using Program Synthesis.

Francis Bach: Sharp analysis of low-rank kernel matrix approximations.

Abdelhakim Khlifi, Ridha Bouallegue: Comparison between Performances of Channel Estimation Techniques for CP-LTE and ZP-LTE Downlink Systems.

Abdul Razaque, Khaled M. Elleithy: Discovery of Malicious Attacks to Improve Mobile Collaborative Learning (MCL).

Ryul Kim, Myongson Sihn, Okhyon Song: Upper Bounds on the Number of Codewords of Some Separating Codes.

Vo Tam Van, Chau Yuen, Jing Li: Non-homogeneous distributed storage systems.

A. Forootaninia, M. B. Ghaznavi-Ghoushchi: An Improved Watchdog Technique Based On Power-Aware Hierarchical Design For Ids In Wireless Sensor Networks.

M. Rajalakshmi, P. Subashini: A study on non-destructive method for detecting Toxin in pepper using Neural networks.

Abdul Kareem, Mohammad Fazle Azeem: A Novel Fuzzy Logic Based Adaptive Supertwisting Sliding Mode Control Algorithm for Dynamic Uncertain Systems.

Qifeng Qiao, Peter A. Beling: Inverse Reinforcement Learning with Gaussian Process.

Ismael Etxeberria Agiriano, Isidro Calvo, Liliana Montero, Ivan Alonso: A DDS-Based Scalable and Reconfigurable Framework for Cyber-Physical Systems.

Ishaque Ashar K., Prathyusha V., Srikrishna Bhashyam, Andrew Thangaraj: Outer Bounds for the Capacity Region of a Gaussian Two-way Relay Channel.

Murali Sridhar, Srikrishna Bhashyam: On the Sum Rate of a 2 x 2 Interference Network.

Volker Diekert, Anca Muscholl: On distributed monitoring of asynchronous systems.

V. P. Gladis Pushpa Rathi, S. Palani: Brain tumor MRI image classification with feature selection and extraction using linear discriminant analysis.

Khaled Merit, Abdelazziz Ouamri: Securing Speech in GSM Networks using DES with Random Permutation and Inversion Algorithm.

Michael J. Bell, Colin S. Gillespie, Daniel Swan, Phillip Lord: An approach to describing and analysing bulk biological annotation quality: a case study using UniProtKB.

Mohammad Havaei, Nandivada Krishna Prasad, Velleshala Sudheer: Elimination of ISI Using Improved LMS Based Decision Feedback Equalizer.

Sanaz Moshirian, Soheil Ghadami, Mohammad Havaei: Blind Channel Equalization.

Fereydoun Farrahi Moghaddam, Reza Farrahi Moghaddam, Mohamed Cheriet: Curved Space Optimization: A Random Search based on General Relativity Theory.

Dmytro Taranovsky: Space-Efficient Circuit Evaluation.

Philip N. Klein, Shay Mozes, Christian Sommer: Structured Recursive Separator Decompositions for Planar Graphs in Linear Time.

Ernest Ryu, Sean Choi: Stochastic Kronecker Graph on Vertex-Centric BSP.

Sudarshan Nandy, Partha Pratim Sarkar, Achintya Das: Analysis of Statistical Hypothesis based Learning Mechanism for Faster Crawling.

Ranjita Kumari Swain, Prafulla Kumar Behera, Durga Prasad Mohapatra: Minimal TestCase Generation for Object-Oriented Software with State Charts.

Kush R. Varshney, Peter M. van de Ven: Balancing Lifetime and Classification Accuracy of Wireless Sensor Networks.

Mariano Tepper, Guillermo Sapiro: L1 Splines for Robust, Simple, and Fast Smoothing of Grid Data.

Sofya Raskhodnikova, Grigory Yaroslavtsev: Learning pseudo-Boolean k-DNF and Submodular Functions.

M. Razvi Doomun, K. M. Sunjiv Soyjaudah: LOTKIP: Low Overhead TKIP Optimization for Ad Hoc Wireless Network.

Weiyu Xu, Lifeng Lai: Compressed Hypothesis Testing: to Mix or Not to Mix?

Marwah Almasri, Khaled M. Elleithy, Abdul Razaque: Analytical Study of Pre-congestion notification (PCN) techniques.

Olaf Mersmann, Bernd Bischl, Heike Trautmann, Markus Wagner, Frank Neumann: A Novel Feature-Based Approach to Characterize Algorithm Performance for the Traveling Salesman Problem.

M. Anas, Nadeem Javaid, Anzar Mahmood, S. M. Raza, U. Qasim, Z. A. Khan: Minimizing Electricity Theft using Smart Meters in AMI.

Taisuke Izumi, Tadashi Wadayama: A New Direction for Counting Perfect Matchings.

Rafael E. Carrillo, Jason D. McEwen, Dimitri Van De Ville, Jean-Philippe Thiran, Yves Wiaux: Sparsity Averaging for Compressive Imaging.

Nadeem Javaid, A. Sharif, Anzar Mahmood, S. Ahmed, U. Qasim, Z. A. Khan: Monitoring and Controlling Power using Zigbee Communications.

Q. Ain, A. Ikram, Nadeem Javaid, U. Qasim, Z. A. Khan: Modeling Propagation Characteristics for Arm-Motion in Wireless Body Area Sensor Networks.

Arindam Sarkar, J. K. Mandal: Energy Efficient Wireless Communication using Genetic Algorithm Guided Faster Light Weight Digital Signature Algorithm (GADSA).

Arindam Sarkar, J. K. Mandal: Multilayer Perceptron Guided Key Generation Through Mutation with Recursive Replacement in Wireless Communication (MLPKG).

A. A. Khan, Nadeem Javaid, U. Qasim, Z. Lu, Z. A. Khan: HSEP: Heterogeneity-aware Hierarchical Stable Election Protocol for WSNs.

Tianshi Chen, Ke Tang, Guoliang Chen, Xin Yao: A Large Population Size Can Be Unhelpful in Evolutionary Algorithms.

A. Rahim, Nadeem Javaid, M. Aslam, Z. Rahman, U. Qasim, Z. A. Khan: A Comprehensive Survey of MAC Protocols for Wireless Body Area Networks.

Maxim Zhukovskiy, Dmitry Vinogradov, Yuri Pritykin, Liudmila Ostroumova, Evgeny Grechnikov, Gleb Gusev, Pavel Serdyukov, Andrei Raigorodskii: Empirical Validation of the Buckley--Osthus Model for the Web Host Graph: Degree and Edge Distributions.

Yossi Gilad, Amir Herzberg: TCP Injections for Fun and Clogging.

Kenza Guenda, T. Aaron Gulliver, S. Arash Sheikholeslam: Lexicodes over Rings.

Diederik Aerts, Jan Broekaert, Liane Gabora, Tomas Veloz: The Guppy Effect as Interference.

Ahmad Lashgar, Amirali Baniasadi, Ahmad Khonsari: Dynamic Warp Resizing in High-Performance SIMT.

A. Rehman, M. Mustafa, Nadeem Javaid, U. Qasim, Z. A. Khan: Analytical Survey of Wearable Sensors.

D. Mahmood, Nadeem Javaid, U. Qasim, Z. A. Khan: Routing Load of Route Calculation and Route Maintenance in Wireless Proactive Routing Protocols.

Clemens Grabmayer, Jan Rochel: Expressibility in the Lambda Calculus with Letrec.

Parastoo Sadeghi, Mingchao Yu: Instantly Decodable versus Random Linear Network Coding: A Comparative Framework for Throughput and Decoding Delay Performance.

Yi Fang, Pingping Chen, Lin Wang, Francis Chung-Ming Lau, Kai-Kit Wong: Performance Analysis of Protograph-based LDPC Codes with Spatial Diversity.

K. Latif, M. Jaffar, Nadeem Javaid, M. N. Saqib, U. Qasim, Z. A. Khan: Performance Analysis of Hierarchical Routing Protocols in Wireless Sensor Networks.

M. S. Fareed, Nadeem Javaid, M. Akbar, S. Rehman, U. Qasim, Z. A. Khan: Optimal Number of Cluster Head Selection for Efficient Distribution of Sources in WSNs.

M. S. Fareed, Nadeem Javaid, S. Ahmed, S. Rehman, U. Qasim, Z. A. Khan: Analyzing Energy-efficiency and Route-selection of Multi-level Hierarchal Routing Protocols in WSNs.

T. N. Qureshi, Nadeem Javaid, M. Malik, U. Qasim, Z. A. Khan: On Performance Evaluation of Variants of DEEC in WSNs.

Z. Abbas, Nadeem Javaid, M. A. Khan, S. Ahmed, U. Qasim, Z. A. Khan: Simulation Analysis of IEEE 802.15.4 Non-beacon Mode at Varying Data Rates.

D. Mahmood, Nadeem Javaid, U. Qasim, Z. A. Khan: Routing Load of Route Discovery and Route Maintenance in Wireless Reactive Routing Protocols.

I. Israr, M. M. Yaqoob, Nadeem Javaid, U. Qasim, Z. A. Khan: Simulation Analysis of Medium Access Techniques.

M. M. Yaqoob, I. Israr, Nadeem Javaid, M. A. Khan, U. Qasim, Z. A. Khan: Transmission Delay of Multi-hop Heterogeneous Networks for Medical Applications.

Sebastian Szkoda, Zbigniew Koza, Mateusz Tykierko: Accelerating cellular automata simulations using AVX and CUDA.

Sergio Grammatico, Gabriele Pannocchia: Linear model predictive control based on polyhedral control Lyapunov functions: theory and applications.

Mauro Castelli, Luca Manzoni, Leonardo Vanneschi: An Efficient Genetic Programming .

Rishi Gupta, Piotr Indyk, Eric Price, Yaron Rachlin: Compressive Sensing with Local Geometric Features.

Yong Zeng, Zhifeng Bao, Guoliang Li, Tok Wang Ling, Jiaheng Lu: Breaking Out The XML MisMatch Trap.

Amal Khabou, James Demmel, Laura Grigori, Ming Gu: LU factorization with panel rank revealing pivoting and its communication avoiding version.

Apostolos Syropoulos: On Generalized Fuzzy Multisets and their Use in Computation.

Jan A. Bergstra: Decision Taking for Selling Thread Startup.

Maria Luisa Bonet, Sam Buss, Jan Johannsen: Improved Separations of Regular Resolution from Clause Learning Proof Systems.

Sreenivas Gollapudi, Samuel Ieong, Anitha Kannan: Structured Query Reformulations in Commerce Search.

Nitish Upreti: `CodeAliker' - Plagiarism Detection on the Cloud.

Bo Zhou, Qiankun Song: Period Distribution of Inversive Pseudorandom Number Generators Over Galois Rings.

Jianshu Chen, Ali H. Sayed: Distributed Pareto Optimization via Diffusion Strategies.

S. Bogana, M. Helali, K. Paykan: Error Probability of OSTB Codes and Capacity Analysis with Antenna Selection over Single-Antenna AF Relay Channels.

Eliahu Baransky, Gal Itzhak, Idan Shmuel, Noam Wagner, Eli Shoshan, Yonina C. Eldar: A Sub-Nyquist Radar Prototype: Hardware and Algorithms.

Lovro Subelj, Marko Bajec: Software systems through complex networks science: Review, analysis and applications.

Konrad Rawlik, Marc Toussaint, Sethu Vijayakumar: Path Integral Control by Reproducing Kernel Hilbert Space Embedding.

Pedro C. Pinto, Patrick Thiran, Martin Vetterli: Locating the Source of Diffusion in Large-Scale Networks.

Dennis Luxen, Dennis Schieferdecker: Doing More for Less -- Cache-Aware Parallel Contraction Hierarchies Preprocessing.

Yanxiang Wang, Hari Sundaram, Lexing Xie: Social Event Detection with Interaction Graph Modeling.