CoRR, March 2012

Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Alin Deutsch, Marco Montali: Verification of Relational Data-Centric Dynamic Systems with External Services.

Chithrupa Ramesh, Henrik Sandberg, Karl Henrik Johansson: Design of State-based Schedulers for a Network of Control Loops.

Junshan Li: Connectivity in one-dimensional ad hoc networks with an access point.

Georgios Piliouras, Tomás Valla, László A. Végh: LP-based Covering Games with Low Price of Anarchy.

Felix Halim, Stratos Idreos, Panagiotis Karras, Roland H. C. Yap: Stochastic Database Cracking: Towards Robust Adaptive Indexing in Main-Memory Column-Stores.

Georgios Giannikis, Gustavo Alonso, Donald Kossmann: SharedDB: Killing One Thousand Queries With One Stone.

Joachim Selke, Christoph Lofi, Wolf-Tilo Balke: Pushing the Boundaries of Crowd-enabled Databases with Query-driven Schema Expansion.

Bo Zhao, Benjamin I. P. Rubinstein, Jim Gemmell, Jiawei Han: A Bayesian Approach to Discovering Truth from Conflicting Sources for Data Integration.

Prasang Upadhyaya, Magdalena Balazinska, Dan Suciu: How to Price Shared Optimizations in the Cloud.

Albert Angel, Nick Koudas, Nikos Sarkas, Divesh Srivastava: Dense Subgraph Maintenance under Streaming Edge Weight Updates for Real-time Story Identification.

Iman Elghandour, Ashraf Aboulnaga: ReStore: Reusing Results of MapReduce Jobs.

Luis Quesada: Using Barriers to Reduce the Sensitivity to Edge Miscalculations of Casting-Based Object Projection Feature Estimation.

Vince Bárány, Balder ten Cate, Martin Otto: Queries with Guarded Negation (full version).

Rina Panigrahy, Li Zhang: The Mind Grows Circuits.

Pradip Sircar: Joint Estimation of Angle and Delay of Radio Wave Arrival under Multiplicative Noise Environment.

Egor Ianovski: Cake Cutting Mechanisms.

Giorgi Japaridze: On the system CL12 of computability logic.

Tianrong Lin: On equivalence of multi-letter and multi-letter measure-many quantum finite automata.

Mita Pal, Soubhik Chakraborty, N. C. Mahanti: How does the Shift-insertion sort behave when the sorting elements follow a Normal distribution?

Pankaj Dayama, Aditya Karnik, Y. Narahari: Optimal Mix of Incentive Strategies for Product Marketing on Social Networks.

Peter beim Graben: The Horse Raced Past: Gardenpath Processing in Dynamical Systems.

Yingyi Bu, Vinayak R. Borkar, Michael J. Carey, Joshua Rosen, Neoklis Polyzotis, Tyson Condie, Markus Weimer, Raghu Ramakrishnan: Scaling Datalog for Machine Learning on Big Data.

G. S. Raghavendra, N. Prasanna Kumar: Statistical Approach for Selecting Elite Ants.

S. Nirmala Sugirtha Rajini, T. Bhuvaneswari: An Interface using SOA Framework For Mediclaim Provider.

Gabriel Dulac-Arnold, Ludovic Denoyer, Philippe Preux, Patrick Gallinari: Fast Reinforcement Learning with Large Action Sets using Error-Correcting Output Codes for MDP Factorization.

Dov M. Gabbay: The Equational Approach to CF2 Semantics.

Michael Dinitz, Guy Kortsarz, Ran Raz: Label Cover instances with large girth and the hardness of approximating basic k-spanner.

Tapalina Bhattasali, Rituparna Chaki, Sugata Sanyal: Sleep Deprivation Attack Detection in Wireless Sensor Network.

Tapalina Bhattasali, Rituparna Chaki: A Survey of Recent Intrusion Detection Systems for Wireless Sensor Network.

Boris Alexeev, M. Brian Jacokes: A rearrangement step with potential uses in priority queues.

S. Chitra, J. B. Bhattacharjee, B. Thilakavathi: Image Fusion and Re-Modified SPIHT for Fused Image.

Varsha Dani, Valerie King, Mahnush Movahedi, Jared Saia: Breaking the O(nm) Bit Barrier: Secure Multiparty Computation with a Static Adversary.

Krishna V. Kaipa, Harish K. Pillai: Weight spectrum of codes associated with the Grassmannian G(3,7).

S. Aruna, S. P. Rajagopalan, L. V. Nandakishore: Application of Gist SVM in Cancer Detection.

Niels Drost, Jason Maassen, Maarten A. J. van Meersbergen, Henri E. Bal, F. Inti Pelupessy, Simon Portegies Zwart, Michael Kliphuis, Henk A. Dijkstra, Frank J. Seinstra: High-Performance Distributed Multi-Model / Multi-Kernel Simulations: A Case-Study in Jungle Computing.

Frederico Araujo Durão, Peter Dolog: A Personalized Tag-Based Recommendation in Social Web Systems.

Alfredo Esposito: Debunking some myths about biometric authentication.

Aaron Roth, Grant Schoenebeck: Conducting Truthful Surveys, Cheaply.

Abhijit Chowdhury, Angshu Kumar Sinha, Saurabh Dutta: Introduction of a Triple Prime Symmetric Key Block Cipher.

Valérie Monfort, Sihem Cherif: Bridging the Gap between .

Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe: Online Voter Control in Sequential Elections.

Jan Olaf Blech: On Compositional Reasoning for Guaranteeing Probabilistic Properties.

Theo Dimitrakos, David Brossard, Pierre de Leusse: Securing business operations in an SOA.

Pierre de Leusse, Krzysztof Zielinski: Toward Governance of Cross-Cloud Application Deployment.

Katuru S. M. Kalyana Chakravarthy: "openness of search engine": A critical flaw in search systems; a case study on google, yahoo and bing.

Pierre de Leusse, Bartosz Kwolek, Krzysztof Zielinski: A common interface for multi-rule-engine distributed systems.

Rob Arthan, Paulo Oliva: (Dual) Hoops Have Unique Halving.

Pierre de Leusse, Panos Periorellis, Theo Dimitrakos, Srijith K. Nair: Self Managed Security Cell, a security model for the Internet of Things and Services.

Pierre de Leusse, Theo Dimitrakos: SOA-based security governance middleware.

Liyong Shen, Jin-San Cheng, Xiaohong Jia: Homeomorphic approximation of the intersection curve of two rational surfaces.

Pierre de Leusse, Panos Periorellis, Paul Watson, Andreas Maierhofer: Secure & Rapid Composition of Infrastructure Services in the Cloud.

Alan J. Cain, Victor Maltcev: Finitely presented monoids with linear Dehn function need not have regular cross-sections.

Sophie Morier-Genoud, Valentin Ovsienko: Orthogonal Designs and a Cubic Binary Function.

Liyong Shen, Chun-Ming Yuan, Xiao-Shan Gao: Certified Approximation of Parametric Space Curves with Cubic B-spline Curves.

Shu Kong, Donghui Wang: Multi-Level Feature Descriptor for Robust Texture Classification via Locality-Constrained Collaborative Strategy.

Minseong Kim: Inconsistency of the Zermelo-Fraenkel set theory with the axiom of choice and its effects on the computational complexity.

Amelia Carolina Sparavigna, Roberto Marazzato: Georeferenced lives.

Haidara Abdalla, Dmitry Ageyev: Application of Multi-layer Graphs In the Design of MPLS Networks.

Martin Bachwerk, Carl Vogel: Modelling Social Structures and Hierarchies in Language Evolution.

Dmitry Ageyev, Haidara Abdalla: Multiservice Telecommunication Systems Parametrical Synthesis by using of Multilayer Graph Mathematical Model.

Martin Bachwerk, Carl Vogel: Establishing linguistic conventions in task-oriented primeval dialogue.

Dmitry Ageyev, Artem Ignatenko: Describing and Modeling of Video-on-Demand Service with the Usage of Multi-Layer Graph.

Julián Urbano, Diego Martín, Mónica Marrero, Jorge Morato: Overview of EIREX 2011: Crowdsourcing.

Ludo Waltman, Nees Jan van Eck: A new methodology for constructing a publication-level classification system of science.

Emilio Ferrara, Pasquale De Meo, Giacomo Fiumara, Alessandro Provetti: The role of strong and weak ties in Facebook: a community structure perspective.

Olga Goussevskaia, Magnús M. Halldórsson, Roger Wattenhofer: Algorithms for Wireless Capacity.

Mrinal Nandi, Amiya Nayak, Bimal K. Roy, Santanu Sarkar: Hypothesis Testing and Decision Theoretic Approach for Fault Detection in Wireless Sensor Networks.

Michalis G. Kallitsis, Stilian Stoev, George Michailidis: Efficient Approximation Algorithms for Optimal Large-scale Network Monitoring.

Corinna Cortes, Mehryar Mohri, Afshin Rostamizadeh: Algorithms for Learning Kernels Based on Centered Alignment.

Alex Brik, Jeffrey B. Remmel: Expressing Preferences using Preference Set Constraint Atoms.

Vitaly Feldman: Learning DNF Expressions from Fourier Spectrum.

Yonghui Xiao, Li Xiong: Online query answering with differential privacy: a utility-driven approach using Bayesian inference.

Dmitry V. Chistikov: Checking Tests for Read-Once Functions over Arbitrary Bases.

Qasim Siddique: Kerberos Authentication in Wireless Sensor Networks.

Mark Sh. Levin: Towards Electronic Shopping of Composite Product.

Nikzad Babaii Rizvandi, Albert Y. Zomaya, Ali Javadzadeh Boloori, Javid Taheri: On Modeling Dependency between MapReduce Configuration Parameters and Total Execution Time.

Vicenç Gómez, Hilbert J. Kappen, Nelly Litvak, Andreas Kaltenbrunner: A likelihood-based framework for the analysis of discussion threads.

Yuri I. Manin, Matilde Marcolli: Kolmogorov complexity and the asymptotic bound for error-correcting codes.

Ahmed Maalel, Habib Hadj Mabrouk: Contribution of Case Based .

Osama Attia, Tamer A. ElBatt: On the Role of Vehicular Mobility in Cooperative Content Caching.

Vladimir Hahanov, Wajeb Gharibi, Eugenia Litvinova, Svetlana Chumachenko: Verification and Diagnosis Infrastructure of SoC HDL-model.

Chun-Ying Chiang, Liang-Hao Huang, Hong-Gwa Yeh: Target set selection problem for honeycomb networks.

Mohammed Fadle Abdulla: Manual and Fast C Code Optimization.

Animashree Anandkumar, Daniel Hsu, Sham M. Kakade: A Method of Moments for Mixture Models and Hidden Markov Models.

Jacques M. Bahi, Nicolas Friot, Christophe Guyeux: Lyapunov exponent evaluation of a digital watermarking scheme proven to be secure.

Matthew S. Nokleby, Behnaam Aazhang: Cooperative Compute-and-Forward.

Joseph Y. Halpern, Willemien Kets: Ambiguous Language and Differences in Beliefs.

Abdessamad Mouzoune: Towards an intelligence based conceptual framework for e-maintenance.

Adel Alahmadi, Robert E. L. Aldred, Romar dela Cruz, Patrick Solé, Carsten Thomassen: The maximum number of minimal codewords in an $[n,k]-$code.

Mohammad Hossein Yassaee, Mohammad Reza Aref, Amin Gohari: Achievability proof via output statistics of random binning.

Farzin Haddadpour, Mohammad Hossein Yassaee, Amin Gohari, Mohammad Reza Aref: Coordination via a relay.

Jaydip Sen: Secure and Energy-Efficient Data Aggregation in Wireless Sensor Networks.

Bo Li, Yijian Pei, Bin Shen, Hao Wu, Min He, Jundong Yang: Resource Availability-Aware Advance Reservation for Parallel Jobs with Deadlines.

Shu Kong, Donghui Wang: A Report on Multilinear PCA Plus Multilinear LDA to Deal with Tensorial Data: Visual Classification as An Example.

Marco Quartulli, Igor G. Olaizola: A review of EO Mining.

Takayuki Katsuki, Masato Inoue: Posterior Mean Super-Resolution with a Compound Gaussian Markov Random Field Prior.

Michael W. Mahoney: Approximate Computation and Implicit Regularization for Very Large-scale Data Analysis.

Ahmed M. Mahran: A handy systematic method for data hazards detection in an instruction set of a pipelined microprocessor.

Daniel Lokshtanov, N. S. Narayanaswamy, Venkatesh Raman, M. S. Ramanujan, Saket Saurabh: Faster Parameterized Algorithms using Linear Programming.

Ronald de Haan: Functional Logic Programming with Generalized Circular Coinduction.

Farzad Didehvar, Mohsen Mansouri, Zahra Taheri: How much could we cover a set by c.e sets?

Shu Kong, Donghui Wang: Online Discriminative Dictionary Learning for Image Classification Based on Block-Coordinate Descent Method.

Subhadip Basu, Nibaran Das, Ram Sarkar, Mahantapas Kundu, Mita Nasipuri, Dipak Kumar Basu: An MLP based Approach for Recognition of Handwritten `Bangla' Numerals.

Subhadip Basu, Nibaran Das, Ram Sarkar, Mahantapas Kundu, Mita Nasipuri, Dipak Kumar Basu: Handwritten Bangla Alphabet Recognition using an MLP Based Classifier.

Hatem Ltaief, Rio Yokota: Data-Driven Execution of Fast Multipole Methods.

José Ignacio Ronda, Antonio Valdés, Guillermo Gallego: Autocalibration with the Minimum Number of Cameras with Known Pixel Shape.

Ionica Soare, Carmen Antohe: Modeling the geographical studies with GeoGebra-software.

Luca Bortolussi, Jane Hillston: Fluid Model Checking.

Georg Böcherer, Fabian Altenbach, Alex Alvarado, Steven Corroy, Rudolf Mathar: An Efficient Algorithm to Calculate BICM Capacity.

Puripong Suthisopapan, Kenta Kasai, Anupap Meesomboon, Virasit Imtawil: Near Capacity Approaching for Large MIMO Systems by Non-Binary LDPC Codes with MMSE Detection.

Fernando Brito e Abreu: The cloud paradigm: Are you tuned for the lyrics?

Yuyang Wang, Roni Khardon, Pavlos Protopapas: Infinite Shift-invariant Grouped Multi-task Learning for Gaussian Processes.

Ehsan Elhamifar, René Vidal: Sparse Subspace Clustering: Algorithm, Theory, and Applications.

Loet Leydesdorff, Daniele Rotolo, Ismael Rafols: Bibliometric Perspectives on Medical Innovation using the Medical Subject Headings (MeSH) of PubMed.

Stéphane Ross, J. Andrew Bagnell: Agnostic System Identification for Model-Based Reinforcement Learning.

Dimitrios I. Diochnos, Ioannis Z. Emiris, Elias P. Tsigaridas: On the asymptotic and practical complexity of solving bivariate systems over the reals.

Ahmed Maalel, Habib Hadj Mabrouk, Lassaâd Mejri, Henda Hadjami Ben Ghézela: Development of an Ontology to Assist the Modeling of Accident Scenarii "Application on Railroad Transport".

David R. Stoutemyer: Can the Eureqa symbolic regression program, computer algebra and numerical analysis help each other?

Sandeep Gupta, Chinya V. Ravishankar: Lower bounds for Arrangement-based Range-Free Localization in Sensor Networks.

Alessandro Borri, Giordano Pola, Maria Domenica Di Benedetto: A Symbolic Approach to the Design of Nonlinear Networked Control Systems.

Shiteng Chen, Elad Verbin, Wei Yu: Data Structure Lower Bounds on Random Access to Grammar-Compressed Strings.

Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey: Search Combinators.

Abhijeet Bhorkar, Mohammad Naghshvar, Tara Javidi: Opportunistic Routing with Congestion Diversity in Wireless Ad-hoc Networks.

Dan Ladley, Ian Wilkinson, Louise Young: The Evolution of Cooperation in Business.

Ashwin Guha, Ambedkar Dukkipati: An Algorithmic Characterization of Polynomial Functions over Z_{p^n}.

Tomoyuki Yuasa, Susumu Shirayama: A New Analysis Method for Simulations Using Node Categorizations.

Rahul Jain, Yaoyun Shi, Zhaohui Wei, Shengyu Zhang: Correlation/Communication complexity of generating bipartite states.

Jaydip Sen: Secure and Privacy-Preserving Data Aggregation Protocols for Wireless Sensor Networks.

Tichakorn Wongpiromsarn, Emilio Frazzoli: Control of Probabilistic Systems under Dynamic, Partially Known Environments with Temporal Logic Specifications.

Tichakorn Wongpiromsarn, Alphan Ulusoy, Calin Belta, Emilio Frazzoli, Daniela Rus: Incremental Temporal Logic Synthesis of Control Policies for Robots Interacting with Dynamic Agents.

Abhik Banerjee, Rachit Agarwal, Vincent Gauthier, Chai Kiat Yeo, Hossam Afifi, Bu-Sung Lee: A Self-Organization Framework for Wireless Ad Hoc Networks as Small Worlds.

Michelangelo Bucci, Alessandro De Luca, Gabriele Fici: Enumeration and Structure of Trapezoidal Words.

Luciano Panek, Marcelo Firer: Codes Satisfying the Chain Condition with a Poset Weights.

Thomas Kesselheim: Dynamic Packet Scheduling in Wireless Networks.

Olusegun Folorunso, Olufunke R. Vincent, Oluwatimilehin Salako: An Exploratory Study of Critical Factors Affecting the Efficiency of Sorting Techniques (Shell, Heap and Treap).

Yongqiang Wang, Yutaka Hori, Shinji Hara, Francis J. Doyle III: The collective oscillation period of inter-coupled Goodwin oscillators.

Ronald M. Caplan: NLSEmagic: Nonlinear Schrödinger.

Octavio A. González-Estrada, Sundararajan Natarajan, Juan José Ródenas, Hung Nguyen-Xuan, Stéphane P. A. Bordas: Efficient recovery-based error estimation for the smoothed finite element method for smooth and singular linear elasticity.

David R. Stoutemyer: Subtotal ordering -- a pedagogically advantageous algorithm for computing total degree reverse lexicographic order.

Tiangao Gou, Syed Ali Jafar: Optimal Use of Current and Outdated Channel State Information - Degrees of Freedom of the MISO BC with Mixed CSIT.

Thomas David Novlan, Harpreet S. Dhillon, Jeffrey G. Andrews: Analytical Modeling of Uplink Cellular Networks.

N. Md. Jubair Basha, Salman Abdul Moiz, Mohammed Rizwanullah: Model based Software Develeopment: Issues & Challenges.

N. Md. Jubair Basha, Salman Abdul Moiz, A. A. Moiz Qyser: Performance Analysis of HR Portal Domain Components Extraction.

Ilir Çapuni, Péter Gács: A Turing Machine Resisting Isolated Bursts Of Faults.

David R. Stoutemyer: Simplifying products of fractional powers of powers.

David R. Stoutemyer: Series misdemeanors.

Xiang He, Ashish Khisti, Aylin Yener: MIMO Multiple Access Channel with an Arbitrarily Varying Eavesdropper.

Ernesto Diaz-Aviles, Avaré Stewart, Edward Velasco, Kerstin Denecke, Wolfgang Nejdl: Epidemic Intelligence for the Crowd, by the Crowd (Full Version).

Negar Kiyavash, Amir Houmansadr, Nikita Borisov: Multi-Flow Attacks Against Network Flow Watermarks: Analysis and Countermeasures.

Quan Phan, Gerda Janssens, Zoltan Somogyi: Region-based memory management for Mercury programs.

Anirban Kundu, Chunlin Ji: Swarm Behavior of Intelligent Cloud.

Yuval Lomnitz, Meir Feder: Communication over Individual Channels -- a general framework.

Lucian Trifina, Daniela G. Tarniceriu: Improved Method for Searching of Interleavers Using Garello's Method.

Wei Su, Xiaohu Tang, Alexander Pott: A Note on a Conjecture for Balanced Elementary Symmetric Boolean Functions.

Fabrizio Dabbene, Mario Sznaier, Roberto Tempo: Probabilistic Optimal Estimation and Filtering under Uncertainty.

Alexey Radul, Barak A. Pearlmutter, Jeffrey Mark Siskind: AD in Fortran, Part 1: Design.

Alexey Radul, Barak A. Pearlmutter, Jeffrey Mark Siskind: AD in Fortran, Part 2: Implementation via Prepreprocessor.

Anuj Gupta, Prasant Gopal, Piyush Bansal, Kannan Srinathan: A New Look at Composition of Authenticated Byzantine Generals.

Riccardo Murri, Sergio Maffioletti: Batch-oriented software appliances.

Di Liu, Matthew Lease, Rebecca Kuipers, Randolph G. Bias: Crowdsourcing for Usability Testing.

Eduard Gabriel Bazavan, Fuxin Li, Cristian Sminchisescu: Learning Random Kernel Approximations for Object Recognition.

Thomas Genet, Tristan Le Gall, Axel Legay, Valérie Murat: Tree Regular Model Checking for Lattice-Based Automata.

Romain Giot, Christophe Rosenberger, Bernadette Dorizzi: Performance Evaluation of Biometric Template Update.

Martin Dietzfelbinger, Michael Rink: Towards Optimal Degree-distributions for Left-perfect Matchings in Random Bipartite Graphs.

Joan Bruna, Stéphane Mallat: Invariant Scattering Convolution Networks.

Laming Chen, Yuantao Gu: Near-oracle Recovery Performance of Greedy Pursuits with Replacement against General Perturbations.

Sheng-Yuan Tu, Ali H. Sayed: On the Influence of Informed Agents on Learning and Adaptation over Networks.

Finley Freibert, Jon-Lark Kim: Optimum Distance Profiles of Self-Dual Codes and Formally Self-Dual Codes.

Johnny Karout, Gerhard Kramer, Frank R. Kschischang, Erik Agrell: A Two-Dimensional Signal Space for Intensity-Modulated Channels.

Guolong Su, Jian Jin, Yuantao Gu, Jian Wang: Performance Analysis of $l_0$ Norm Constraint Least Mean Square Algorithm.

Andrea Biagioni, Francesca Lo Cicero, Alessandro Lonardo, Pier Stanislao Paolucci, Mersia Perra, Davide Rossetti, Carlo Sidore, Francesco Simula, Laura Tosoratto, Piero Vicini: The Distributed Network Processor: a novel off-chip and on-chip interconnection network architecture.

Xiaohan Wang, Yuantao Gu, Laming Chen: Proof of Convergence and Performance Analysis for Sparse Recovery via Zero-point Attracting Projection.

Andrej Bauer, Matija Pretnar: Programming with Algebraic Effects and Handlers.

Yang You, Laming Chen, Yuantao Gu, Wei Feng, Hui Dai: Retrieve Sparse Solution of Multiple-Measurement Vectors via Zero-point Attracting Projection.

Amir Houmansadr, Nikita Borisov: BotMosaic: Collaborative Network Watermark for Botnet Detection.

Olaf Hartig: SPARQL for a Web of Linked Data: Semantics and Computability (Extended Version).

Morteza Mardani, Gonzalo Mateos, Georgios B. Giannakis: In-network Sparsity-regularized Rank Minimization: Algorithms and Applications.

Ahmad Abu Al Haija, Mai Vu: Rate Maximization for Half-Duplex Multiple Access with Cooperating Transmitters.

Nathaniel Johnston: The Complexity of the Puzzles of Final Fantasy XIII-2.

Anoosheh Heidarzadeh, Amir H. Banihashemi: Coding Delay Analysis of Chunked Codes over Line Networks.

Sheng Yu, Subhash Kak: A Survey of Prediction Using Social Media.

Qiyan Wang, Xun Gong, Giang T. K. Nguyen, Amir Houmansadr, Nikita Borisov: CensorSpoofer: Asymmetric Communication with IP Spoofing for Censorship-Resistant Web Browsing.

Robert Lychev, Sharon Goldberg, Michael Schapira: Network-Destabilizing Attacks.

Win Win Thant, Tin Myat Htwe, Ni Lar Thein: Statistical Function Tagging and Grammatical Relations of Myanmar Sentences.

M. H. R. Khouzani, Soumya Sen, Ness B. Shroff: An Analytical Approach to the Adoption of Asymmetric Bidirectional Firewalls: Need for Regulation?

Nicolas Bock, Matt Challacombe: An Optimized Sparse Approximate Matrix Multiply.

Yaming Wang, Laming Chen, Yuantao Gu: Quantization Reference Voltage of the Modulated Wideband Converter.

Jingbo Liu, Jian Jin, Yuantao Gu: Efficient Recovery of Block Sparse Signals via Zero-point Attracting Projection.

Dohy Hong: D-iteration: Evaluation of a Dynamic Partition Strategy.

Ivan Jureta: Requirements Engineering Methods: A Classification Framework and Research Challenges.

N. Ajith Singh, M. Hemalatha: High performance computing network for cloud environment using simulators.

Anh Le, Athina Markopoulou: NC-Audit: Auditing for Network Coding Storage.

Yajuan Sun, Hai Lin, Ben M. Chen: An input-output Simulation Approach to Control Multi-Affine Systems for Linear Temporal Logic Specifications.

Yajuan Sun, Hai Lin, Ben M. Chen: Bisimilarity Enforcing Supervisory Control for Deterministic Specifications.

Hamza Aldabbas, Tariq Alwada'n, Helge Janicke, Ali Al-Bayatti: Data Confidentiality in Mobile Ad hoc Networks.

Akin Cellatoglu, Balasubramanian Karuppanan: Remote Sensing and Control for Establishing and Maintaining Digital Irrigation.

Marek Cygan, Marcin Pilipczuk, Michal Pilipczuk: Known algorithms for EDGE CLIQUE COVER are probably optimal.

Said El Kafhali, Abdelali El Bouchti, Mohamed Hanini, Abdelkrim Haqiq: Performance Analysis for Bandwidth Allocation in IEEE 802.16 Broadband Wireless Networks using BMAP Queueing.

Juho Park, Gilwon Lee, Youngchul Sung, Masahiro Yukawa: Coordinate Beamforming with Relaxed Zero Forcing: The Sequential Orthogonal Projection Combining Method and Rate Control.

José Antonio Mateo, Valentin Valero, Gregorio Díaz: BPEL-RF: A formal framework for BPEL orchestrations integrating distributed resources.

Guillaume Kom, Alain Tiedeu, Martin Kom, John Ngundam: A comparative evaluation of two algorithms of detection of masses on mammograms.

Tapalina Bhattasali, Rituparna Chaki: AMC Model for Denial of Sleep Attack Detection.

Md. Emdadul Haque, Md. Golam Rashed, M. Hasnat Kabir: A Comprehensive Study and .

Xue Wu: Calculation of the minimum computational complexity based on information entropy.

Riadh Bouslimi, Jalel Akaichi: Using Hausdorff Distance for New Medical Image Annotation.

Ramya Menon C., Vinod Pangracious: Thermal analysis & optimization of a 3 dimensional heterogeneous structure.

Matthew Malloy, Robert D. Nowak: Near-Optimal Compressive Binary Search.

Mingyu Guo, Evangelos Markakis, Krzysztof R. Apt, Vincent Conitzer: Undominated Groves Mechanisms.

Antonino Simone, Boris Skoric, Nicola Zannone: Flow-based reputation: more than just ranking.

Chelsy Sapna Josephus, S. Remya: Enhancement Techniques for Local Content Preservation and Contrast Improvement in Images.

Niraj Kumar Singh, Mita Pal, Soubhik Chakraborty: Partition Sort Revisited: Reconfirming the Robustness in Average Case and much more!

Josh C. Bongard, Paul D. H. Hines, Dylan Conger, Peter Hurd, Zhenyu Lu: Crowdsourcing Predictors of Behavioral Outcomes.

Ohad Gidon, Yair Be'ery: On Pseudocodewords and Improved Union Bound of Linear Programming Decoding of HDPC Codes.

Nissim Halabi, Guy Even: Local-Optimality Guaranties for Optimal Decoding Based on Paths.

Saif Mohammad, Graeme Hirst: Distributional Measures of Semantic Distance: A Survey.

Min Li, Osvaldo Simeone, Aylin Yener: Degraded Broadcast Diamond Channels with Non-Causal State Information at the Source.

Saptarsi Goswami, Samiran Ghosh, Amlan Chakrabarti: Outlier detection from ETL Execution trace.

G. Meenakshi: Multi source feedback based performance appraisal system using Fuzzy logic decision support system.

Nitin H. Vaidya: Matrix Representation of Iterative Approximate Byzantine Consensus in Directed Graphs.

Saif Mohammad, Graeme Hirst: Distributional Measures as Proxies for Semantic Relatedness.

Peter M. van de Ven, Nidhi Hegde, Laurent Massoulié, Theodoros Salonidis: Optimal control of end-user energy storage.

Mahdy Nabaee, Fabrice Labeau: Restricted Isometry Property in Quantized Network Coding of Sparse Messages.

Greg Aloupis, Erik D. Demaine, Alan Guo: Classic Nintendo Games are (NP-)Hard.

Ibrahim Alkore Alshalabi, Khaled M. Elleithy: Effective M-learning design Strategies for computer science and Engineering courses.

Hannah Arendt, Jorgensen Jost: Consensus on Moving Neighborhood Model of Peterson Graph.

Fabio R. J. Vieira, José Ferreira de Rezende, Valmir C. Barbosa, Serge Fdida: Local heuristic for the refinement of multi-path routing in wireless mesh networks.

Parinya Chalermsook, Shiva Kintali, Richard J. Lipton, Danupon Nanongkai: Graph Pricing Problem on Bounded Treewidth, Bounded Genus and k-partite graphs.

Hung Q. Ngo, Ely Porat, Christopher Ré, Atri Rudra: Worst-case Optimal Join Algorithms.

Jean Maitem, Rosmina Joy Cabauatan, Lorena Rabago, Bartolome Tanguilig III: Math world: A game-based 3D Virtual Learning Environment (3D VLE) for second graders.

Naagesh S. Bhat: Design and modelling of different SRAM's based on CNTFET 32nm technology.

Bryan Ford: Icebergs in the Clouds: the Other Risks of Cloud Computing.

Sanjoy Das, D. K. Lobiyal: Analysis of neighbour and isolated node of intersection area based geocasting protocol (IBGP) in VANET.

Zhaowen Wang, Jinjun Wang, Jing Xiao, Kai-Hsiang Lin, Thomas S. Huang: Substructure and Boundary Modeling for Continuous Action Recognition.

Neal Glew, Leaf Petersen: Type-Preserving Flow Analysis and Interprocedural Unboxing (Extended Version).

Xuequn Wang, Yanjun Yu: Classify Participants in Online Communities.

Aneesh Reddy, Sujay Sanghavi, Sanjay Shakkottai: On the Effect of Channel Fading on Greedy Scheduling.

T. Soni Madhulatha: Overview of streaming-data algorithms.

T. Soni Madhulatha: Graph partitioning advance clustering technique.

Sylvain Lespinats, Anke Meyer-Bäse, Michaël Aupetit: A new supervised non-linear mapping.

Arun Sridharan, Can Emre Koksal: A Greedy Link Scheduler for Wireless Networks with Fading Channels.

Mark Sh. Levin, Alexander V. Fimin: Design of modular wireless sensor.

Anatolij Zubow, Robert Sombrutzki, Markus Scheidgen: Towards MAC/Anycast Diversity in IEEE 802.11n MIMO Networks.

Rachid Haboub, Mohammed Ouzzif: Secure and reliable routing in mobile adhoc networks.

Matthew Felice Pace: BSP vs MapReduce.

G. Sudheer, B. V. S. Renuka Devi: A Hybrid Image Cryptosystem Based On OMFLIP Permutation Cipher.

Chi-Yao Hong, Matthew Caesar, Nick G. Duffield, Jia Wang: Tiresias: Online Anomaly Detection for Hierarchical Operational Network Data.

Naagesh S. Bhat: Design and Implementation of IEEE 802.15.4 Mac Protocol on FPGA.

Stephen Cook: Relativized Propositional Calculus.

Emna Ben Slimane, Slaheddine Jarboui, Ammar Bouallègue: Blind Carrier Phase Recovery for General 2π/M-rotationally Symmetric Constellations.

Nando de Freitas, Alex J. Smola, Masrour Zoghi: Regret Bounds for Deterministic Gaussian Process Bandits.

Nidhi, D. K. Lobiyal: Performance Evaluation of Realistic Vanet Using Traffic Light Scenario.

Ryan A. Rossi, Brian Gallagher, Jennifer Neville, Keith Henderson: Role-Dynamics: Fast Mining of Large Dynamic Networks.

Hongmei Xie, Zhiyuan Yan: Exact-MSR Codes for Distributed Storage with Low Repair Complexity.

Gilles Puy, José P. Marques, Rolf Gruetter, Jean-Philippe Thiran, Dimitri Van De Ville, Pierre Vandergheynst, Yves Wiaux: Spread spectrum magnetic resonance imaging.

Risheng Liu, Zhouchen Lin, Fernando De la Torre, Zhixun Su: Fixed-Rank Representation for Unsupervised Visual Learning.

Weiyu Xu, Alexandros G. Dimakis, Babak Hassibi: On the Mixing Time of Markov Chain Monte Carlo for Integer Least-Square Problems.

Andreas Galanis, Daniel Stefankovic, Eric Vigoda: Inapproximability of the Partition Function for the Antiferromagnetic Ising and Hard-Core Models.

Nidhi Bansal, Amit Awasthi: Accomplish the Application Area in Cloud Computing.

Jyotirmoy Karjee, H. S. Jamadagni: Optimal Node Selection using Estimated Data Accuracy Model in Wireless Sensor Networks.

Yongming Li, Qian Wang, Sanjiang Li: On Quotients of Formal Power Series.

Yongming Li, Lijun Li: Model-Checking of Linear-Time Properties Based on Possibility Measure.

Pieter Adriaans: Facticity as the amount of self-descriptive information in a data set.

Supriya Raheja, Reena Dadhich, Smita Rajpal: An Optimum Time Quantum Using Linguistic Synthesis for Round Robin Scheduling Algorithm.

Winter A. Mason, Aaron Clauset: Friends FTW! Friendship and competition in Halo: Reach.

Gurpreet Singh, Ajay Kumar Roy, Surekha K. S., S. Pujari: System on Programable Chip for Performance Estimation of Loom Machine.

Amir Houmansadr, Negar Kiyavash, Nikita Borisov: Non-blind watermarking of network flows.

Vitthal Jadhav, Amar Buchade: Modified Quine-McCluskey Method.

Sergey Petrov, José F. Fontanari, Leonid I. Perlovsky: Categories of Emotion names in Web retrieved texts.

M. H. van Emden: Discovering Algorithms with Matrix Code.

Samar Agnihotri, Sidharth Jaggi, Minghua Chen: Analog Network Coding in General SNR Regime: Performance of A Greedy Scheme.

Nebojsa Milosavljevic, Sameer Pawar, Salim Y. El Rouayheb, Michael Gastpar, Kannan Ramchandran: Minimum Cost Multicast with Decentralized Sources.

Maxim Makatchev, Reid G. Simmons, Majd Sakr: A Cross-cultural Corpus of Annotated Verbal and Nonverbal Behaviors in Receptionist Encounters.

Valerio Capraro, Marco Scarsini: Existence of equilibria in countable games: an algebraic approach.

Sergey Tarasenko: Modeling multistage decision processes with Reflexive Game Theory.

Anand Muralidhar, P. R. Kumar: Near-optimal quantization and linear network coding for relay networks.

Helmi Chaouech, Ridha Bouallegue: Multiuser Detection in Asynchronous Multibeam Communications.

Franck Michel, Johan Montagnat, Tristan Glatard: Technical support for Life Sciences communities on a production grid infrastructure.

Syed Ali Jafar: Elements of Cellular Blind .

Ashraf Qadir, Jeremiah Neubert, William Semke: On-Board Visual Tracking with Unmanned Aircraft System (UAS).

Wesam Gabran, Chun-Hao Liu, Przemyslaw Pawelczak, Danijela Cabric: Primary User Traffic Estimation for Dynamic Spectrum Access.

B. B. Gupta, Ramesh C. Joshi, Manoj Misra: Estimating strength of DDoS attack using various regression models.

B. B. Gupta, Manoj Misra, Ramesh C. Joshi: An ISP Level Solution to Combat DDoS Attacks using Combined Statistical Based Approach.

Nobert Thomas Pallath, Tessamma Thomas: Video Object Tracking and Analysis for Computer Assisted Surgery.

Einollah Pira: An Optimal Algorithm for Conflict-Free Coloring for Tree of Rings.

Adrián Riesco, Juan Rodríguez-Hortalá: Singular and Plural Functions for Functional Logic Programming.

Tetiana Yaroshenko: Institutional repository .

Ramachandran Rajesh, Shahid M. Shah, Vinod Sharma: On Secrecy above Secrecy Capacity.

Michela Iezzi, Marco Di Renzo, Fabio Graziosi: Diversity, Coding, and Multiplexing Trade-Off of Network-Coded Cooperative Wireless Networks.

Sharvari C. Tamane, Ratnadeep R. Deshmukh: Blind 3D Model Watermarking Based on Multi-Resolution Representation and Fuzzy Logic.

Houda Amraoui, Riadh Bouslimi: Fault detection system for Arabic language.

Ladislav Svoboda, Jan Novák, Jan Zeman, Lukás Kurilla: A simple framework for integrated design of complex architectural forms.

Debajit Sensarma, Subhashis Banerjee, Krishnendu Basuli, Saptarshi Naskar, Samar Sen-Sarma: On an optimization technique using Binary Decision Diagram.

Akin Cellatoglu, Balasubramanian Karuppanan: Vibrating Cantilever Transducer Incorporated in Dual Diaphragms Structure for Sensing Differential Pneumatic Pressure.

Akin Cellatoglu, Balasubramanian Karuppanan: Pneumatic Pressure Cell with Twin Diaphragms Embedding Spherical Corrugations in a Dual Diaphragm Structure.

Victor Seal, Arnab Raha, Shovan Maity, Souvik Kumar Mitra, Amitava Mukherjee, Mrinal Kanti Naskar: A Simple Flood Forecasting Scheme Using Wireless Sensor Networks.

K. Sreedhar, B. Panlal: Enhancement of Images using Morphological Transformation.

David Hillerkuss, Rene Schmogrow, Matthias Meyer, Stefan Wolf, Meinert Jordan, Philipp Kleinow, Nicole Lindenmann, Philipp C. Schindler, Argishti Melikyan, Xin Yang, Shalva Ben-Ezra, Bernd Nebendahl, Michael Dreschmann, Joachim Meyer, Francesca Parmigiani, Periklis Petropoulos, Bojan Resan, Aandreas Oehler, Kurt Weingarten, Lars Altenhain, Tobias Ellermeyer, Matthias Moeller, Michael Hübner, Jürgen Becker, Christian Koos, Wolfgang Freude, Juerg Leuthold: Single-laser 32.5 Tbit/s Nyquist WDM transmission.

Michael Robinson: Knowledge-based antenna pattern extrapolation.

Kitty Meeks, Alexander Scott: Spanning trees and the complexity of flood-filling games.

Hélio B. Macêdo Filho, Simone Dantas, Raphael C. S. Machado, Celina M. Herrera de Figueiredo: Biclique-colouring powers of paths and powers of cycles.

Sheng Yang, Mari Kobayashi, David Gesbert, Xinping Yi: Degrees of Freedom of Time Correlated MISO Broadcast Channel with Delayed CSIT.

Neeraj Gupta, Rajiv Shekhar, Prem Kumar Kalra: A Probabilistic Transmission Expansion Planning Methodology based on Roulette Wheel Selection and Social Welfare.

David P. Helmbold, Philip M. Long: On the Necessity of Irrelevant Variables.

Kai Cai, Hideaki Ishii: Average Consensus on General Strongly Connected Digraphs.

Massimo Melucci: When Index Term Probability .

Xixuan Feng, Arun Kumar, Ben Recht, Christopher Ré: Towards a Unified Architecture for in-RDBMS Analytics.

Qiyan Wang, Nikita Borisov: Octopus: A Secure and Anonymous DHT Lookup.

Nurzhan Bakibayev, Dan Olteanu, Jakub Zavodny: FDB: A Query Engine for Factorised Relational Databases.

Thomas Strohmer, Benjamin Friedlander: Analysis of Sparse MIMO Radar.

Derrick Coetzee, Anand Bhaskar, George C. Necula: A model and framework for reliable build systems.

Guanghui Song, Yuta Tsujii, Jun Cheng, Yoichiro Watanabe: Analysis of Finite Field Spreading for Multiple-Access Channel.

Henry Lin, Frans Schalekamp: On the Complexity of the Minimum Latency Scheduling Problem on the Euclidean Plane.

Nadeem Javaid, Ayesha Bibi, Z. A. Khan, Karim Djouani: On using Multiple Quality Link Metrics with Destination Sequenced Distance Vector Protocol for Wireless Multi-Hop Networks.

Nadeem Javaid, Ayesha Bibi, Karim Dridi, Z. A. Khan, Safdar Hussain Bouk: Modeling and Evaluating Enhancements in Expanding Ring Search Algorithm for Wireless Reactive Protocols.

Kadir Akbudak, Enver Kayaaslan, Cevdet Aykanat: Analyzing and enhancing OSKI for sparse matrix-vector multiplication.

Szilárd András, Árpád Baricz: New approximations for DQPSK transmission bit error rate.

Francesco Montorsi, Giorgio Matteo Vitetta: On the Performance Limits of Pilot-Based Estimation of Bandlimited Frequency-Selective Communication Channels.

Tomer Peleg, Michael Elad: Performance Guarantees of the Thresholding Algorithm for the Co-Sparse Analysis Model.

Inder Jeet Taneja: Seven Means, Generalized Triangular Discrimination, and Generating Divergence Measures.

Eun Jung Kim, Daniel Goncalves: On Exact Algorithms for Permutation CSP.

Yannick Chevalier, Mounira Kourjieh: Automated Synthesis of a Finite Complexity Ordering for Saturation.

Kenneth Sebesta, John Baillieul: Animal-Inspired Agile Flight Using Optical Flow Sensing.

Andrzej Kisielewicz, Jakub Kowalski, Marek Szykula: Fast algorithm finding the shortest reset words.

C. F. Larry Heimann, Alan Nochenson: Identifying Tipping Points in a Decision-Theoretic Model of Network Security.

Ehud Lehrer, Marco Scarsini: On the Core of Dynamic Cooperative Games.

Bin Li, Atilla Eryilmaz: A Fast-CSMA Algorithm for Deadline-Constrained Scheduling over Wireless Fading Channels.

Francesco Montorsi, Fabrizio Pancaldi, Giorgio Matteo Vitetta: Statistical Characterization and Mitigation of NLOS Errors in UWB Localization Systems.

Jan Egger, Tina Kapur, Thomas Dukatz, Malgorzata Kolodziej, Dzenan Zukic, Bernd Freisleben, Christopher Nimsky: Square-Cut: A Segmentation Algorithm on the Basis of a Rectangle Shape.

MinJi Kim, Thierry Klein, Emina Soljanin, João Barros, Muriel Médard: Trade-off between cost and goodput in wireless.

Giuseppe Cocco, Deniz Gündüz, Christian Ibars: Streaming Transmitter over Block-Fading Channels with Delay Constraint.

Janusz A. Brzozowski, David Liu: Syntactic Complexity of Finite/Cofinite, Definite, and Reverse Definite Languages.

Medha Atre, Vineet Chaoji, Mohammed J. Zaki: BitPath -- Label Order Constrained Reachability Queries over Large Graphs.

Joshua A. Grochow, Korben Rusek: Report on "Mathematical Aspects of P vs. NP and its Variants.".

Francesco Montorsi, Fabrizio Pancaldi, Giorgio Matteo Vitetta: Statistical Characterization and Mitigation of NLOS Bias in UWB Localization Systems.

Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud: Decorated proofs for computational effects: Exceptions.

Anastasios T. Kyrillidis, Volkan Cevher: Combinatorial Selection and Least Absolute Shrinkage via the CLASH Algorithm.

Pablo Serrano, Paul Patras, Andrea Mannocci, Vincenzo Mancuso, Albert Banchs: Control Theoretic Optimization of 802.11 WLANs: Implementation and Experimental Evaluation.

David Bindel, Jon M. Kleinberg, Sigal Oren: How Bad is Forming Your Own Opinion?

Surjeet Kumar Yadav, Brijesh Bharadwaj, Saurabh Pal: Mining Education Data to Predict Student's Retention: A comparative Study.

Yoshua Bengio: Evolving Culture vs Local Minima.

Jason L. Williams: Hybrid Poisson and multi-Bernoulli filters.

Jason L. Williams: Alternative multi-Bernoulli filters (extended version).

Neeraj K. Chasta: High Speed, Low Power Current Comparators with Hysteresis.

Marin Bertier, Marko Obrovac, Cédric Tedeschi: A Protocol for the Atomic Capture of Multiple Molecules at Large Scale.

Mehrez Boulares, Mohamed Jemni: Toward an example-based machine translation from written text to ASL using virtual agent animation.

Nina Narodytska, Toby Walsh, Lirong Xia: Combining Voting Rules Together.

David Garcia Sanchez, Bruno Lacarrière, Marjorie Musy, Bernard Bourges: Application of sensitivity .

Erhan Turan, Ali Ecder: Set Reduction In Nonlinear Equations.

Pouya Fatehi, Seyyed Mohsen Hashemi: An Agile Method for E-Service Composition.

Sébastien Moretti, Riccardo Murri, Sergio Maffioletti, Arnold Kuzniar, Briséïs Castella, Nicolas Salamin, Marc Robinson-Rechavi, Heinz Stockinger: gcodeml: A Grid-enabled Tool for Detecting Positive Selection in Biological Evolution.

Otman Abdoun, Jaafar Abouchabaka: A Comparative Study of Adaptive Crossover Operators for Genetic Algorithms to Resolve the Traveling Salesman Problem.

Ahmet A. Husainov, Ekaterina S. Kudryashova: Generalized Asynchronous Systems.

Otman Abdoun, Jaafar Abouchabaka, Chakir Tajani: Analyzing the Performance of Mutation Operators to Solve the Travelling Salesman Problem.

Sadaqat Ur Rehman, Muhammad Bilal, Basharat Ahmad, Khawaja Muhammad Yahya, Anees Ullah, Obaid Ur Rehman: Comparison Based Analysis of .

Maria-Luisa Sosas, Miguel-Octavio Arias: Integrated three-dimensional reconstruction using reflectance fields.

G. David Forney Jr., Heide Gluesing-Luerssen: Codes on Graphs: Observability, Controllability and Local Reducibility.

Farzad Didehvar: A Semantic Without Syntax 1.

Vijayvaradharaj T. Muralidharan, B. Sundar Rajan: Distributed Space Time Coding for Wireless Two-way Relaying.

Eduardo Arvelo, Nuno C. Martins: A Receding Horizon Strategy for Systems with Interval-Wise Energy Constraints.

Cristiano Tapparello, Osvaldo Simeone, Michele Rossi: Dynamic Compression-Transmission for Energy-Harvesting Multihop Networks with Correlated Sources.

Shampa Sengupta, Asit Kr. Das: Single Reduct Generation Based on Relative Indiscernibility of Rough Set Theory.

Ashish Mani, C. Patvardhan: A Fast fixed-point Quantum Search Algorithm by using Disentanglement and Measurement.

Nasser Eddine Mouhoub, Abdelhamid Benhocine: An efficient algorithm for generating AoA networks.

Srinivas Yerramalli, Rahul Jain, Urbashi Mitra: A Game Theoretic Model for the Gaussian Broadcast Channel.

Mohammad Hossein Yassaee, Amin Gohari, Mohammad Reza Aref: Channel simulation via interactive communications.

Anton Loss: Generalisation of language and knowledge models for corpus analysis.