CoRR, April 2012

• Angel E. Lozano, Robert W. Heath Jr., Jeffrey G. Andrews:
  Fundamental Limits of Cooperation.
  
• Alexandros Manolakos, Yair Noam, Andrea J. Goldsmith:
  Blind Null-space Tracking for MIMO Underlay Cognitive Radio Networks.
  
• Giuliano Giacaglia, Xiaomeng Shi, MinJi Kim, Daniel Enrique Lucani, Muriel Médard:
  Systematic Network Coding with the Aid of a Full-Duplex Relay.
  
• Ali Jalali, Javad Azimi, Xiaoli Fern:
  Exploration vs Exploitation in Bayesian Optimization.
  
• Kwankyu Lee:
  Unique Decoding of Plane AG Codes Revisited.
  
• Jacques Carette, Russell O'Connor:
  Theory Presentation Combinators.
  
• Heru Susanto, Mohammad Nabil Almunawar, Yong Chee Tuan, Mehmet Sabih Aksoy:
  I-SolFramework: An Integrated .
  
• Christos Boutsidis, Alex Gittens:
  Improved matrix algorithms via the Subsampled Randomized Hadamard Transform.
  
• Ian Lim:
  MIMO Z Channel Interference Management.
  
• Shuqing Zeng:
  Estimating Rigid Transformation Between Two Range Maps Using Expectation Maximization Algorithm.
  
• Guangming Lang, Qingguo Li, Lankun Guo:
  A new fuzzy rough sets based on fuzzy coverings.
  
• Marek Smieja, Jacek Tabor:
  Weighted Approach to Rényi Entropy.
  
• Blaise Genest, Hugo Gimbert, Anca Muscholl, Igor Walukiewicz:
  Asynchronous Games over Tree Architectures.
  
• Marek Smieja, Jacek Tabor:
  Partition Reduction for Lossy Data Compression Problem.
  
• Thava Iyer, Robert Hsieh, Nikzad Babaii Rizvandi, Benoy Varghese, Roksana Boreli:
  Mobile P2P Trusted On-Demand Video Streaming.
  
• Jack Poulson, Björn Engquist, Sergey Fomel, Siwei Li, Lexing Ying:
  A parallel sweeping preconditioner for high frequency heterogeneous 3D Helmholtz equations.
  
• Chunyan Wang, Mao Ye, Bernardo A. Huberman:
  From User Comments to On-line Conversations.
  
• Ahmed Rezine:
  Ordered Counter-Abstraction.
  
• Uwe D. Hanebeck, Jannik Steinbring:
  Progressive Gaussian Filtering.
  
• Elad Hazan, Satyen Kale, Shai Shalev-Shwartz:
  Near-Optimal Algorithms for Online Matrix Prediction.
  
• Mario Jarmasz:
  Roget's Thesaurus as a Lexical Resource for Natural Language Processing.
  
• Adityanand Guntuboyina, Bodhisattva Sen:
  Covering Numbers for Convex Functions.
  
• Yahya S. Khiabani, Shuangqing Wei, Jian Yuan, Jian Wang:
  Enhancement of Secrecy of Block Ciphered Systems by Deliberate Noise.
  
• Srijith Ravikumar, Raju Balakrishnan, Subbarao Kambhampati:
  Ranking Tweets Considering Trust and Relevance.
  
• Zhigang Cao, Mingmin Yang, Xinglong Qu, Xiaoguang Yang:
  Rebels Lead to the Doctrine of the Mean: Opinion Dynamic in a Heterogeneous DeGroot Model.
  
• Zhigang Cao, Haoyu Gao, Xinglong Qu, Mingmin Yang, Xiaoguang Yang:
  Coordination and Emergence in the Cellular Automated Fashion Game.
  
• Deepjyoti Deka, Sriram Vishwanath:
  Network Models for Power Grids: A Generative Approach.
  
• Tsung-Hui Chang, Wing-Kin Ma, Chong-Yung Chi:
  Worst-Case Robust Multiuser Transmit Beamforming Using Semidefinite Relaxation: Duality and Implications.
  
• Jia Zeng, Zhi-Qiang Liu, Xiao-Qin Cao:
  A New Approach to Speeding Up Topic Modeling.
  
• Mete Ozay, Fatos T. Yarman-Vural:
  A New Fuzzy Stacked Generalization Technique for Deep learning and Analysis of its Performance.
  
• Hamid G. Bafghi, Babak Seyfe, Mahtab Mirmohseni, Mohammad Reza Aref:
  On The Achievable Rate Region of a New Wiretap Channel With Side Information.
  
• M. Rizwan Jameel Qureshi, Mehboob Sharif, Nayyar Iqbal:
  Using Fuzzy Logic to Evaluate Normalization Completeness for An Improved Database Design.
  
• Youssef Bassil:
  Service-Oriented Architecture for Weaponry and Battle Command and Control Systems in Warfighting.
  
• Youssef Bassil:
  Expert PC Troubleshooter With Fuzzy-Logic And Self-Learning Support.
  
• Youssef Bassil:
  Hybrid Information Retrieval Model For Web Images.
  
• Youssef Bassil:
  Neural Network Model for Path-Planning of Robotic Rover Systems.
  
• Youssef Bassil:
  Parallel Spell-Checking Algorithm Based on Yahoo! N-Grams Dataset.
  
• Youssef Bassil:
  Service-Oriented Architecture for Space Exploration Robotic Rover Systems.
  
• Youssef Bassil, Paul Semaan:
  Semantic-Sensitive Web Information Retrieval Model for HTML Documents.
  
• Youssef Bassil, Mohammad Alwani:
  OCR Context-Sensitive Error Correction Based on Google Web 1T 5-Gram Data Set.
  
• Youssef Bassil, Mohammad Alwani:
  OCR Post-Processing Error Correction Algorithm using Google Online Spelling Suggestion.
  
• Youssef Bassil:
  Communication Language Specifications For Digital Ecosystems.
  
• Youssef Bassil:
  Management Language Specifications For Digital Ecosystems.
  
• Youssef Bassil:
  Windows And Linux Operating Systems From A Security Perspective.
  
• Ying Cui, Vincent K. N. Lau, Yueping Wu:
  Delay-aware BS Discontinuous Transmission Control and User Scheduling for Energy Harvesting Downlink Coordinated MIMO Systems.
  
• Iftah Gamzu, Moti Medina:
  Improved Approximation for Orienting Mixed Graphs.
  
• Youssef Bassil, Aziz Barbar:
  Sequential & Parallel Algorithms for Big-Integer Numbers Subtraction.
  
• Youssef Bassil, Aziz Barbar:
  MyProLang - My Programming Language: A Template-Driven Automatic Natural Programming Language.
  
• Heru Susanto, Mohammad Nabil Almunawar, Mehmet Sabih Aksoy, Yong Chee Tuan:
  A Simulation Approach Paradigm: An Optimization and Inventory Challenge Case Study.
  
• Youssef Bassil, Aziz Barbar:
  Sequential and Parallel Algorithms for the Addition of Big-Integer Numbers.
  
• Heru Susanto, Mohammad Nabil Almunawar, Yong Chee Tuan, Mehmet Sabih Aksoy, Wahyudin P. Syam:
  Integrated Solution Modeling Software: A New Paradigm on Information Security Review.
  
• Mario Jarmasz, Stan Szpakowicz:
  Roget's Thesaurus and Semantic Similarity.
  
• Mario Jarmasz, Caroline Barrière:
  Keyphrase Extraction : Enhancing Lists.
  
• Mario Jarmasz, Stan Szpakowicz:
  Not As Easy As It Seems: Automating the Construction of Lexical Chains Using Roget's Thesaurus.
  
• Mario Jarmasz, Stan Szpakowicz:
  Roget's Thesaurus: a Lexical Resource to Treasure.
  
• Greg Fish:
  Managing contextual artificial neural networks with a service-based mediator.
  
• Jaydeep P. Bardhan, Matthew G. Knepley:
  Computational science and re-discovery: open-source implementations of ellipsoidal harmonics for problems in potential theory.
  
• Mark P. Woodward, Robert J. Wood:
  Learning from Humans as an I-POMDP.
  
• Mark P. Woodward, Robert J. Wood:
  Framing Human-Robot Task Communication as a POMDP.
  
• Przemyslaw Spurek, Jacek Tabor:
  The memory centre.
  
• K. S. Kuppusamy, G. Aghila:
  A Model for Personalized Keyword Extraction from Web Pages using Segmentation.
  
• Yue Zhao, Francis Chung-Ming Lau:
  Implementation Of Decoders for LDPC Block Codes and LDPC Convolutional Codes Based on GPUs.
  
• Chung-Chieh Fang:
  Comments on "Prediction of Subharmonic Oscillation in Switching Converters Under Different Control Strategies".
  
• Herman Geuvers, Robbert Krebbers, James McKinna:
  The lambda-mu-T-calculus.
  
• Wuqiong Luo, Wee Peng Tay, Mei Leng:
  Identifying Infection Sources and Regions in Large Networks.
  
• Stefan Bauer, Lutz-Peter Nolte, Mauricio Reyes:
  Skull-stripping for Tumor-bearing Brain Images.
  
• Majlesi Shahrbanoo, Mehrpour Ali, Mohsenzadeh Mehran:
  An Approach for Agile SOA Development using Agile Principals.
  
• Mohamed Laaraiedh:
  Implementation of Kalman Filter with Python Language.
  
• Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen:
  Trace Spaces: an Efficient New Technique for State-Space Reduction.
  
• Konstantin Avrachenkov, Peter Jacko:
  CCN Interest Forwarding Strategy as Multi-Armed Bandit Model with Delays.
  
• Vasileios Lampos:
  On voting intentions inference from Twitter content: a case study on UK 2010 General Election.
  
• Bernhard C. Geiger, Gernot Kubin:
  Relative Information Loss in the PCA.
  
• Vincent Y. F. Tan:
  On Dispersions of Discrete Memoryless Channels with Noncausal State Information at the Encoder.
  
• Philipp Winter, Stefan Lindskog:
  How China Is Blocking Tor.
  
• Bassam A. Alqaralleh, K. Almi'Ani:
  Data Gathering Scheme for Wireless SensorNetworks Using a Single Mobile Element.
  
• Zhenghao Zhang, Shuping Gong, Aleksandar D. Dimitrovski, Husheng Li:
  Time Synchronization Attack in Smart Grid-Part I: Impact and Analysis.
  
• Zhenghao Zhang, Matthew Trinkle, Aleksandar D. Dimitrovski, Husheng Li:
  Time Synchronization Attack in Smart Grid-Part II: Cross Layer Detection Mechanism.
  
• Nathalie Bertrand, John Fearnley, Sven Schewe:
  Bounded Satisfiability for PCTL.
  
• Tobias Buer, Jörg Homberger, Hermann Gehring:
  A collaborative ant colony metaheuristic for distributed multi-level lot-sizing.
  
• John D. Ramsdell:
  Deducing Security Goals From Shape Analysis Sentences.
  
• Yishay Mansour, S. Muthukrishnan, Noam Nisan:
  Doubleclick Ad Exchange Auction.
  
• José Miguel Díaz-Báñez, Ruy Fabila Monroy, Pablo Pérez-Lantero:
  On the number of radial orderings of planar point sets.
  
• Siddharth Barman, Xishuo Liu, Stark C. Draper, Benjamin Recht:
  Decomposition Methods for Large Scale LP Decoding.
  
• Badri Narayan Bhaskar, Gongguo Tang, Benjamin Recht:
  Atomic norm denoising with applications to line spectral estimation.
  
• Andrew Cotter, Shai Shalev-Shwartz, Nathan Srebro:
  The Kernelized Stochastic Batch Perceptron.
  
• Gildas Morvan, Daniel Jolly:
  Multi-level agent-based modeling with the Influence Reaction principle.
  
• Martin Biely, Peter Robinson, Ulrich Schmid:
  Agreement in Directed Dynamic Networks.
  
• Boris Bellalta, Jaume Barceló, Dirk Staehle, Alexey V. Vinel, Miquel Oliver:
  On the Performance of Packet Aggregation in IEEE 802.11ac MU-MIMO WLANs.
  
• Sergio Cabello:
  Hardness of approximation for crossing number.
  
• Matthias Scholz:
  Validation of nonlinear PCA.
  
• John Fearnley, Paul W. Goldberg, Rahul Savani, Troels Bjerre Sørensen:
  Approximate Well-supported Nash Equilibria below Two-thirds.
  
• Olivier Bailleux:
  Unit contradiction versus unit propagation.
  
• Seyed Hossein Hosseini, Mahrokh G. Shayesteh:
  Gradually Atom Pruning for Sparse Reconstruction and Extension to Correlated Sparsity.
  
• Anil N. Hirani, Kaushik Kalyanaraman, Evan VanderZee:
  Delaunay Hodge Star.
  
• Rohit Bhadauria, Sugata Sanyal:
  Survey on Security Issues in Cloud Computing and Associated Mitigation Techniques.
  
• Vini Katyal, Deepesh Srivastava:
  Efficient Fruit Defect Detection and Glare removal Algorithm by anisotropic diffusion and 2D Gabor filter.
  
• Christoph Berkholz:
  On the complexity of finding narrow proofs.
  
• Shanshan Wang, Sugumar Murugesan, Junshan Zhang:
  Exploiting Channel Correlation and PU Traffic Memory for Opportunistic Spectrum Scheduling.
  
• Seyed Hossein Hosseini, Mahrokh G. Shayesteh:
  Compressed Sensing for Denoising in Adaptive System Identification.
  
• Shiva Kintali, Asaf Shapira:
  A Note on the Balanced ST-Connectivity.
  
• Kenneth L. Clarkson, Wolfgang Mulzer, C. Seshadhri:
  Self-improving Algorithms for Coordinate-wise Maxima.
  
• Mansoor I. Yousefi, Frank R. Kschischang:
  Information Transmission using the Nonlinear Fourier Transform, Part II: Numerical Methods.
  
• Holger Petersen:
  Bounded Counter Languages.
  
• Andrew Harms, Waheed U. Bajwa, A. Robert Calderbank:
  Faster than Nyquist but Slower than Tropp et al.
  
• Abhishek Ghosh, Sudhakar Pamarti:
  Mitigating Timing Errors in Time-Interleaved ADCs: a signal conditioning approach.
  
• Deeparnab Chakrabarty, C. Seshadhri:
  Optimal bounds for monotonicity and Lipschitz testing over the hypercube.
  
• Mikhail V. Berlinkov:
  The Cerny Conjecture.
  
• Phan Nhat Hai, Pascal Poncelet, Maguelonne Teisseire:
  GeT_Move: An Efficient and Unifying Spatio-Temporal Pattern Mining Algorithm for Moving Objects.
  
• Lawrence Ong, Chin Keong Ho:
  Optimal Index Codes for a Class of Multicast Networks with Receiver Side Information.
  
• Alexander Rakhlin, Ohad Shamir, Karthik Sridharan:
  Relax and Localize: From Value to Algorithms.
  
• Andri Mirzal, Shinichiro Yoshii, Masashi Furukawa:
  PID Parameters Optimization by Using Genetic Algorithm.
  
• Elisabeth Günther, Olaf Maurer, Nicole Megow, Andreas Wiese:
  A New Approach to Online Scheduling: Approximating the Optimal Competitive Ratio.
  
• Jin-San Cheng, Kai Jin, Xiao-Shan Gao, Daniel Lazard:
  Certified Rational Parametric Approximation of Real Algebraic Space Curves with Local Generic Position Method.
  
• Bharat Adsul, Jinesh Machchhar, Milind A. Sohoni:
  A procedural framework and mathematical analysis for solid sweeps.
  
• Guillaume Aupy, Anne Benoit, Fanny Dufossé, Yves Robert:
  Reclaiming the energy of a schedule: models and algorithms.
  
• Tom Gur, Omer Tamuz:
  Testing Booleanity and the Uncertainty Principle.
  
• Pierre Guillon, Charalampos Zinoviadis:
  Densities and entropies in cellular automata.
  
• Gábor Braun, Samuel Fiorini, Sebastian Pokutta, David Steurer:
  Approximation Limits of Linear Programs (Beyond Hierarchies).
  
• Laurent Decreusefond, Eduardo Ferraz, Philippe Martins, Thanh-Tung Vu:
  Robust methods for LTE and WiMAX dimensioning.
  
• Mikael Gast, Mathias Hauptmann:
  Approximability of the Vertex Cover Problem in Power Law Graphs.
  
• Shweta Singh, Ravindara Bhatt:
  Adjacency Matrix Based Energy Efficient Scheduling using S-MAC Protocol in Wireless Sensor Networks.
  
• Rainer Plaga, Frank Koob:
  A formal definition and a new security mechanism of physical unclonable functions.
  
• Brad Osgood, Aditya Siripuram, William Wu:
  Discrete Sampling and Interpolation: Universal Sampling Sets for Discrete Bandlimited Spaces.
  
• Erwan Le Martelot, Chris Hankin:
  Fast Multi-Scale Detection of Relevant Communities.
  
• Mikhail Kapralov, Ian Post, Jan Vondrák:
  Online and stochastic variants of welfare maximization.
  
• Corentin Briat:
  Convergence and Equivalence results for the Jensen's inequality - Application to time-delay and sampled-data systems.
  
• Johan Thapper, Stanislav Zivny:
  The Power of Linear Programming for Valued CSPs.
  
• Corentin Briat, Olivier Sename, Jean-François Lafay:
  Memory Resilient Gain-scheduled State-Feedback Control of Uncertain LTI/LPV Systems with Time-Varying Delays.
  
• Amotz Bar-Noy, Ben Baumer, Dror Rawitz:
  Set It and Forget It: Approximating the Set Once Strip Cover Problem.
  
• Matthieu Puigt, Anthony Griffin, Athanasios Mouchtaris:
  Post-Nonlinear Sparse Component Analysis Using Single-Source Zones and Functional Data Clustering.
  
• Seth Pettie:
  Tightish Bounds on Davenport-Schinzel Sequences.
  
• Harpreet S. Dhillon, Radha Krishna Ganti, Jeffrey G. Andrews:
  Load-Aware Modeling and Analysis of Heterogeneous Cellular Networks.
  
• Amitav Mukherjee, Minyan Pei, A. Lee Swindlehurst:
  MIMO Precoding in Underlay Cognitive Radio Systems with Completely Unknown Primary CSI.
  
• Michael Saks, C. Seshadhri:
  Space efficient streaming algorithms for the distance to monotonicity and asymmetric edit distance.
  
• François Le Gall:
  Faster Algorithms for Rectangular Matrix Multiplication.
  
• Adrian Kosowski:
  A $\tilde O(n^2)$ Time-Space Trade-off for Undirected s-t Connectivity.
  
• Sasko Ristov, Marjan Gusev, Magdalena Kostoska:
  Cloud Computing Security in Business Information Systems.
  
• Thomas Martin Gawlitza, Helmut Seidl:
  Numerical Invariants through Convex Relaxation and Max-Strategy Iteration.
  
• V. Krithika, Arshinder Kaur, K. Chandra Sekaran:
  Web Services Supply Chains: A Literature Review.
  
• K. Dedecius, V. Seckárová:
  Dynamic Bayesian diffusion estimation.
  
• Abd El Salam Al Hajjar, Anis Ismail, Mohammad Hajjar, Mazen El-Sayed:
  Performance of the Google Desktop, Arabic Google Desktop and Peer to Peer Application in Arabic Language.
  
• Janusz Sosnowski:
  Exploring Application Logs.
  
• Karima Ben Hamida El Abri, Ammar Bouallegue:
  Timing acquisition and demodulation of an UWB system based on the differential scheme.
  
• Aamir Khan, Hasan Farooq:
  Principal Component Analysis-Linear Discriminant Analysis Feature Extractor for Pattern Recognition.
  
• Tomoyuki Ishii, Atsushi Inoie:
  An initial peer configuration algorithm for multi-streaming peer-to-peer networks.
  
• Muhammad Adeel Akram, Aamir Khan, Muhammad Masood Sarfaraz:
  C-slow Technique vs Multiprocessor in designing Low Area Customized Instruction set Processor for Embedded Applications.
  
• Petra Budíková, Michal Batko, Pavel Zezula:
  Query Language for Complex Similarity Queries.
  
• Stefan Göller, Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas, Felix Weiss:
  The Complexity of Monotone Hybrid Logics over Linear Frames and the Natural Numbers.
  
• Farjana Yeasmin Omee, Shiam Shabbir Himel, Md. Abu Naser Bikas:
  A Complete Workflow for Development of Bangla OCR.
  
• Bijan Paul, Md. Ibrahim, Md. Abu Naser Bikas:
  VANET Routing Protocols: Pros and Cons.
  
• Bijan Paul, Md. Ibrahim, Md. Abu Naser Bikas:
  Experimental Analysis of AODV & DSR over TCP & CBR Connections with Varying Speed and Node Density in VANET.
  
• Bijan Paul, Md. Ibrahim, Md. Abu Naser Bikas:
  Performance Evaluation of Aodv&DSR with Varying Pause Time & Node Density Over TCP&CBR Connections in Vanet.
  
• Travis Gagie:
  On the Value of Multiple Read/Write Streams for Data Compression.
  
• Adonis P. H. Fung, K. W. Cheung, T. Y. Wong:
  FAITH: Scanning of Rich Web Applications for Parameter Tampering Vulnerabilities.
  
• Masnida Emami, Ali Setayesh, Nasrin Jaberi:
  Distributed computing of Seismic Imaging Algorithms.
  
• Lirong Xia:
  How Many Vote Operations Are Needed to Manipulate A Voting System?
  
• Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy:
  Experimenting with Component-Based Middleware for Adaptive Fault Tolerant Computing.
  
• Shixin Luo, Rui Zhang, Teng Joon Lim:
  Optimal Save-Then-Transmit Protocol for Energy Harvesting Wireless Transmitters.
  
• Shin-ichi Kuribayashi:
  Reducing Total Power Consumption Method in Cloud Computing Environments.
  
• Shin-ichi Kuribayashi:
  Proposed congestion control method for cloud computing environments.
  
• Shin-ichi Kuribayashi:
  Proposed optimal LSP selection method in MPLS networks.
  
• Zhiyi Huang, Sampath Kannan:
  The Exponential Mechanism for Social Welfare: Private, Truthful, and Nearly Optimal.
  
• Balázs Hidasi, Domonkos Tikk:
  Fast ALS-based tensor factorization for context-aware recommendation from implicit feedback.
  
• Vikram Kumar, Kamran Niyazi, Swapnil Mahe, Swapnil Vyawahare:
  Mouse Simulation Using Two Coloured Tapes.
  
• Ahmed Rhif:
  A Sliding Mode Control for a Sensorless Tracker: Application on a Photovoltaic System.
  
• Jörn Eichler:
  Towards a Security Engineering Process Model for Electronic Business Processes.
  
• Jean-François Biasse, Claus Fieker:
  A polynomial time algorithm for computing the HNF of a module over the integers of a number field.
  
• Mohammad Sazzadul Hoque, Md. Abdul Mukit, Md. Abu Naser Bikas:
  An Implementation of Intrusion Detection System Using Genetic Algorithm.
  
• Abhishek Bhowmick, Zeev Dvir, Shachar Lovett:
  New Lower Bounds for Matching Vector Codes.
  
• Martin Olsen, Anastasios Viglas, Ilia Zvedeniouk:
  An approximation algorithm for the link building problem.
  
• Samuel E. Moelius III:
  Characteristics of Minimal Effective Programming Systems.
  
• Miguel Borges, Paulo Jesus, Carlos Baquero, Paulo Sérgio Almeida:
  Spectra: Robust Estimation of Distribution Functions in Networks.
  
• Mohamed Lahby, Leghris Cherkaoui, Abdellah Adib:
  An Intelligent Network Selection Strategy Based on MADM Methods in Heterogeneous Networks.
  
• Heru Susanto, Fahad Bin Muhaya, Mohammad Nabil Almunawar, Yong Chee Tuan:
  Refinement of Strategy and Technology Domains STOPE View on ISO 27001.
  
• Koichiro Yamaguchi, Tamir Hazan, David A. McAllester, Raquel Urtasun:
  Continuous Markov Random Fields for Robust Stereo Estimation.
  
• Xiaohu Xie, Xiao-Wen Chang, Mazen Al Borno:
  Partial LLL Reduction.
  
• Guoqiang Mao, Brian D. O. Anderson:
  Connectivity of Large Wireless Networks under A Generic Connection Model.
  
• R. K. Roul, S. K. Sahay:
  An Effective Information Retrieval for Ambiguous Query.
  
• Stephen Breen, Xiao-Wen Chang:
  Column Reordering for Box-Constrained Integer Least Squares Problems.
  
• Pushpa R. Suri, Harmunish Taneja:
  An integrated ranking algorithm for efficient information computing in social networks.
  
• Rajab M. Legnain, Roshdy H. M. Hafez, Abdelgader M. Legnain:
  Improved Spatial Modulation for High Spectral Efficiency.
  
• Eun Jung Kim, Christophe Paul, Geevarghese Philip:
  A single-exponential FPT algorithm for the $K_4$-minor cover problem.
  
• Abdullah M. Alshehab, Chiu Tung Wu, Nao Kobayashi, Sikieng Sok, Shigeru Shimamoto:
  Intra-bodyhybrid communication scheme for healthcare systems.
  
• Dohy Hong:
  D-iteration: application to differential equations.
  
• Molood Makhlughian, Seyyed Mohsen Hashemi, Yousef Rastegari, Emad Pejman:
  Web service selection based on ranking of qos using associative classification.
  
• Tuan Tran Thai, Emmanuel Lochin, Jérôme Lacan:
  Online multipath convolutional coding for real-time transmission.
  
• Ahmed Hassan M. Hassan, Bin Dai, Benxiong Huang, Edriss Eisa, Muhammad Azhar Iqbal:
  Relay selection for multiple access relay channel with decode-forward and analog network coding.
  
• Steffen Bartsch, Karsten Sohr, Michaela Bunke, Oliver Hofrichter, Bernhard J. Berger:
  The Transitivity of Trust Problem in the Interaction of Android Applications.
  
• Ian McEwan, David Sheets, Stefan Gustavson, Mark Richardson:
  Efficient computational noise in GLSL.
  
• Ali Soltan Mohammadi, L. Asadzadeh, D. D. Rezaee:
  Learning Fuzzy β-Certain and β-Possible rules from incomplete quantitative data by rough sets.
  
• Faiza Charfi, Mohamed Bouyahi:
  Performance evaluation of beacon enabled IEEE 802.15.4 under NS2.
  
• Iordanis Kerenidis, Sophie Laplante, Virginie Lerays, Jérémie Roland, David Xiao:
  Lower bounds on information complexity via zero-communication protocols and applications.
  
• Rajesh Kumar Bawa, Gaurav Sharma:
  Reliable Resource Selection in Grid Environment.
  
• Leandro Balby Marinho, Cláudio de Souza Baptista, Thomas Sandholm, Iury Nunes, Caio Nóbrega, Jordão Araújo:
  Extracting Geospatial Preferences Using Relational Neighbors.
  
• Sunish Kumar O. S.:
  Ensuring QOS Guarantees in a Hybrid OCS/OBS Network.
  
• Behzad Ahmadi, Osvaldo Simeone, Chiranjib Choudhuri, Urbashi Mitra:
  On Cascade Source Coding with A Side Information "Vending Machine".
  
• Nolmar Melo:
  Goppa goemetry codes via elementary methods (In Portuguese).
  
• Peter Sasvari:
  The macroeconomic effect of the information and communication technology in Hungary.
  
• Yacine Yekache, Yekhlef Mekelleche, Belkacem Kouninef:
  Towards Quranic reader controlled by speech.
  
• Georg Moser, Michael Schaper:
  A Complexity Preserving Transformation from Jinja Bytecode to Rewrite Systems.
  
• Sanjeev Kumar Jha:
  Development of knowledge Base Expert System for Natural treatment of Diabetes disease.
  
• Sara Maalal, Malika Addou:
  A new approach of designing Multi-Agent Systems.
  
• Anh Huy Phan, Petr Tichavský, Andrzej Cichocki:
  On Fast Computation of Gradients for CANDECOMP/PARAFAC Algorithms.
  
• N. Mallikharjuna Rao, C. Sasidhar, V. Sathyendra Kumar:
  Cloud Computing Through Mobile-Learning.
  
• Negin Golrezaei, Andreas F. Molisch, Alexandros G. Dimakis, Giuseppe Caire:
  Femtocaching and Device-to-Device Collaboration: A New Architecture for Wireless Video Distribution.
  
• N. Mallikharjuna Rao:
  An Intelligent Location Management approaches in GSM Mobile Network.
  
• N. Mallikharjuna Rao:
  An Intelligent Software Workflow Process Design for Location Management on Mobile Devices.
  
• Tejaswini Apte, Maya Ingle, A. K. Goyal:
  Improving Seek Time for Column Store Using MMH Algorithm.
  
• Marwa M. A. Elfattah, Aliaa A. A. Youssif, Ebada Sarhan Ahmed:
  Handsets Malware Threats and Facing Techniques.
  
• Narendra K. Pareek:
  Design and Analysis of a Novel Digital Image Encryption Scheme.
  
• Choon Boon Ng, Yong Haur Tay, Bok-Min Goi:
  Vision-based Human Gender Recognition: A Survey.
  
• Prasun Chowdhury, Iti Saha Misra, Salil Kumar Sanyal:
  Cross Layer QoS Support Architecture with Integrated CAC and Scheduling Algorithms for WiMAX BWA Networks.
  
• Sofiene Haboubi, Samia Maddouri, Hamid Amiri:
  Discrimination between Arabic and Latin from bilingual documents.
  
• Marek Cygan, Harold N. Gabow, Piotr Sankowski:
  Algorithmic Applications of Baur-Strassen's Theorem: Shortest Cycles, Diameter and Matchings.
  
• Haris Aziz:
  Stable marriage and roommate problems with individual-based stability.
  
• Mohamed Ali Mahjoub, Karim Kalti:
  Image segmentation by adaptive distance based on EM algorithm.
  
• Khlifia Jayech, Mohamed Ali Mahjoub:
  New approach using Bayesian Network to improve content based image classification systems.
  
• Oussema Zayane, Besma Jouini, Mohamed Ali Mahjoub:
  Automatic liver segmentation method in CT images.
  
• Nabil Ghanmy, Mohamed Ali Mahjoub, Najoua Essoukri Ben Amara:
  Characterization of Dynamic Bayesian Network.
  
• Abdullah M. Alaraj:
  Optimizing One Fair Document Exchange Protocol.
  
• Abdullah M. Alaraj:
  Simple and Efficient Contract Signing Protocol.
  
• Ali Elouafiq:
  Design and Engineering of a Chess-Robotic Arm.
  
• Ali Elouafiq:
  The Lego Mindstorms Robotics Invention Systems 2.0 Toolkit: A Study Case.
  
• Ali Elouafiq:
  Authentication and Encryption in GSM and 3GUMTS: An Emphasis on Protocols and Algorithms.
  
• Ali Elouafiq:
  Machine Cognition Models: EPAM and GPS.
  
• Bernd R. Schuh:
  Phase Transition in Unrestricted Random SAT.
  
• Anshul Verma, Anurag Srivastava:
  Integrated Routing Protocol for Opportunistic Networks.
  
• Gabriele Fici:
  A Characterization of Bispecial Sturmian Words.
  
• Idan Livni, Anatoly Khina, Ayal Hitron, Uri Erez:
  Space-Time MIMO Multicasting.
  
• Moncef Charfi, Monji Kherallah, Abdelkarim Elbaati, Adel M. Alimi:
  A New Approach for Arabic Handwritten Postal Addresses Recognition.
  
• Khlifia Jayech, Mohamed Ali Mahjoub:
  Clustering and Bayesian network for image of faces classification.
  
• Fradj Ben Lamine, Karim Kalti, Mohamed Ali Mahjoub:
  The threshold EM algorithm for parameter learning in bayesian network with incomplete data.
  
• K. Somasundaram, S. Vimala:
  Multi-Level Coding Efficiency with Improved Quality for Image Compression based on AMBTC.
  
• Mostafa Rahimi Azghadi, Said F. Al-Sarawi, Nicolangelo Iannella, Derek Abbott:
  Efficient Design of Triplet Based Spike-Timing Dependent Plasticity.
  
• Dhyanendra Jain:
  Hiding Sensitive Association Rules without Altering the Support of Sensitive Item(s).
  
• Nathan O. Collier, David Pardo, Maciej Paszynski, Victor M. Calo:
  Computational complexity and memory usage for multi-frontal direct solvers in structured mesh finite elements.
  
• Lukas Krämer, Edoardo Di Napoli, Martin Galgon, Bruno Lang, Paolo Bientinesi:
  Dissecting the FEAST algorithm for generalized Eigenproblems.
  
• Jianhua Mo, Meixia Tao, Yuan Liu:
  Relay Placement for Physical Layer Security: A Secure Connection Perspective.
  
• Eugene Goldberg, Panagiotis Manolios:
  Removal of Quantifiers by Elimination of Boundary Points.
  
• Rohit Agrawal, Ashesh Vasalya:
  Bluetooth Navigation System using Wi-Fi Access Points.
  
• Yukio-Pegio Gunji, Yuta Nishiyama, Andrew Adamatzky:
  Robust Soldier Crab Ball Gate.
  
• Rishabh Singh, Sumit Gulwani, Armando Solar-Lezama:
  Automated Semantic Grading of Programs.
  
• Foto N. Afrati, Anish Das Sarma, Semih Salihoglu, Jeffrey D. Ullman:
  Vision Paper: Towards an Understanding of the Limits of Map-Reduce Computation.
  
• Ruina Ma, Damien Chablat, Fouad Bennis, Liang Ma:
  Human Muscle Fatigue Model in Dynamic Motions.
  
• Alexandr Klimchik, Anatoly Pashkevich, Damien Chablat, Geir Hovland:
  Compensation of compliance errors in parallel manipulators composed of non-perfect kinematic chains.
  
• Deepak Ponvel Chermakani:
  A Non-Triviality Certificate for Scalars and its application to Linear Systems.
  
• Sumit Katiyar, R. K. Jain, N. K. Agrawal:
  R.F. Pollution Reduction in Cellular Communication.
  
• R. K. Jain, Sumit Katiyar, N. K. Agrawal:
  Smart Antenna for Cellular Mobile Communication.
  
• Arindam Sarkar, S. Karforma, J. K. Mandal:
  Object Oriented Modelling of Idea using GA based efficient key generation for e-governance security (OOMIG).
  
• Debarghya Ghoshdastidar, Ambedkar Dukkipati:
  On q-Gaussian kernel and its Reproducing Kernel Hilbert Space.
  
• Jitendra Maan:
  Mobile Web - Strategy for Enterprise Success.
  
• Asad Maqsood, Rehanullah Khan:
  Vehicular Ad-hoc Networks.
  
• Rehanullah Khan, Asad Maqsood, Zeeshan Khan, Muhammad Ishaq, Arsalan Arif:
  Skin-color based videos categorization.
  
• Chung-Chieh Fang:
  Using Nyquist or Nyquist-Like Plot to Predict Three Typical Instabilities in DC-DC Converters.
  
• K. G. Preetha, A. Unnikrishnan, K. Poulose Jacob:
  A probabilistic approach to reduce the route establishment overhead in AODV algorithm for manet.
  
• Fernando Almeida:
  Web 2.0 Technologies and Social Networking Security Fears in Enterprises.
  
• Hong Xie, John C. S. Lui:
  Mathematical Modeling of Competitive Group Recommendation Systems with Application to Peer Review Systems.
  
• Hafizul Fahri Hanafi, Khairulanuar Samsudin:
  Mobile Learning Environment System (MLES): The Case of Android-based Learning Application on Undergraduates' Learning.
  
• Mostafa Rahimi Azghadi, Said F. Al-Sarawi, Nicolangelo Iannella, Derek Abbott:
  Design and Implementation of BCM Rule Based on Spike-Timing Dependent Plasticity.
  
• Mostafa Rahimi Azghadi, Omid Kavehie, Keivan Navi:
  A Novel Design for Quantum-dot Cellular Automata Cells and Full Adders.
  
• Sergiu Hart, Noam Nisan:
  Approximate Revenue Maximization with Multiple Items.
  
• Lei Song, Lijun Zhang, Jens Chr. Godskesen:
  The Branching Time Spectrum for Continuous-time MDPs.
  
• Jason Filipou, Alexander Artikis, Anastasios Skarlatidis, Georgios Paliouras:
  A Probabilistic Logic Programming Event Calculus.
  
• Konstantinos Chorianopoulos:
  User-based key frame detection in social web video.
  
• Bahman Kalantari:
  A Characterization Theorem and An Algorithm for A Convex Hull Problem.
  
• Jan A. Bergstra:
  Four Conceptions of Instruction Sequence Faults.
  
• Loet Leydesdorff:
  Accounting for the Uncertainty in the Evaluation of Percentile Ranks.
  
• Long Tran-Thanh, Archie C. Chapman, Alex Rogers, Nicholas R. Jennings:
  Knapsack based Optimal Policies for Budget-Limited Multi-Armed Bandits.
  
• Yanfeng Geng, Christos G. Cassandras:
  Multi-intersection Traffic Light Control Using Infinitesimal Perturbation Analysis.
  
• Bobbie Chern, Idoia Ochoa, Alexandros Manolakos, Albert No, Kartik Venkat, Tsachy Weissman:
  Reference Based Genome Compression.
  
• Petar Popovski, Osvaldo Simeone:
  Two-Way Communication with Energy Exchange.
  
• Dzevdan Kapetanovic, Hei Victor Cheng, Wai Ho Mow, Fredrik Rusek:
  A Lattice-Theoretic Characterization of Optimal Minimum-Distance Linear Precoders.
  
• Petra Berenbrink, Colin Cooper, Tom Friedetzky:
  Random walks which prefer unvisited edges. Exploring high girth even degree expanders in linear time.
  
• Xiao Hu, Chuibo Chen, Xiaolong Chen, Zi-Ke Zhang:
  Social Recommender Systems Based on Coupling Network Structure Analysis.
  
• Sanjeev Arora, Rong Ge, Ankur Moitra:
  Learning Topic Models - Going beyond SVD.
  
• J. Ian Munro, Patrick K. Nicholson:
  Succinct Posets.
  
• Qingxuan Yang, John A. Ellis, Khalegh Mamakani, Frank Ruskey:
  Parallel and sequential in-place permuting and perfect shuffling using involutions.
  
• Junha Lee, Donghun Lee, Dae-Kyoo Kim, Sooyong Park:
  A Semantic-Based Approach for Detecting and Decomposing God Classes.
  
• Martin Grohe, Martin Otto:
  Pebble Games and Linear Equations.
  
• Christopher J. Quinn, Negar Kiyavash, Todd P. Coleman:
  Directed Information Graphs.
  
• Xiao-Wen Chang, Jinming Wen, Xiaohu Xie:
  Effects of the LLL reduction on the success probability of the Babai point and on the complexity of sphere decoding.
  
• Igor Ya. Subbotin, Michael Gr. Voskoglou:
  Applications of fuzzy logic to Case-Based Reasoning.
  
• Shayan Oveis Gharan, Luca Trevisan:
  Approximating the Expansion Profile and Almost Optimal Local Graph Clustering.
  
• Peng Cui:
  Negative Weights Make Unique Games Harder.
  
• Wei Zeng, Li Chen:
  Multi-Output Recommender: Items, Groups and Friends, and Their Mutual Contributing Effects.
  
• Paul Tune:
  Computing Constrained Cramer Rao Bounds.
  
• Jérémy Barbay, Gonzalo Navarro, Pablo Pérez-Lantero:
  Adaptive Techniques to find Optimal Planar Boxes.
  
• Liang Liu, Rui Zhang, Kee-Chaing Chua:
  Wireless Information Transfer with Opportunistic Energy Harvesting.
  
• Gengran Hu, Yanbin Pan:
  A New Reduction from Search SVP to Optimization SVP.
  
• R. Ramalakshmi, S. Radhakrishnan:
  Improving Route Discovery Using Stable Connected Dominating Set in MANETs.
  
• Mostafa Rahimi Azghadi, Omid Kavehie, Keivan Navi:
  A Novel Design for Quantum-dot Cellular Automata Cells and Full Adders.
  
• Shalini Puri, Sona Kaushik:
  A technical study and analysis on fuzzy similarity based models for text classification.
  
• Shalini Puri:
  A Fuzzy Similarity Based Concept Mining Model for Text Classification.
  
• Babasaheb G. Patil, Shaila Subbaraman:
  SVD-EBP Algorithm for Iris Pattern Recognition.
  
• S. P. Khandait, R. C. Thool, P. D. Khandait:
  Automatic facial feature extraction and expression recognition based on neural network.
  
• Nacim Yanes, Sihem Ben Sassi, Henda Hajjami Ben Ghézala:
  A Theoretical and Empirical .
  
• Zouheir Rezki, Mohamed-Slim Alouini:
  Ergodic Capacity of Cognitive Radio under Imperfect Channel State Information.
  
• Stefano Rini, Ernest Kurniawan, Andrea Goldsmith:
  Primary Rate-Splitting Achieves Capacity for the Gaussian Cognitive Interference Channel.
  
• Rodica Bozianu, Catalin Dima, Constantin Enea:
  Model-checking an Epistemic μ-calculus with Synchronous and Perfect Recall Semantics.
  
• Sumit Katiyar, R. K. Jain, N. K. Agrawal:
  An Intelligent Approach for Dense Urban Area in existing 2G / 2.5G.
  
• Sumit Katiyar, R. K. Jain, N. K. Agrawal:
  R.F. Pollution Reduction in Cellular Communication.
  
• Jun Yee Ng, Yong Haur Tay:
  Image-based Vehicle Classification System.
  
• Petr A. Golovach, Bernard Lidický, Barnaby Martin, Daniël Paulusma:
  Finding vertex-surjective graph homomorphisms.
  
• Michael Rink:
  On Thresholds for the Appearance of 2-cores in Mixed Hypergraphs.
  
• Fernand Meyer:
  The steepest watershed: from graphs to images.
  
• Jeremiah Blocki, Avrim Blum, Anupam Datta, Or Sheffet:
  The Johnson-Lindenstrauss Transform Itself Preserves Differential Privacy.
  
• Munesh Chandra Trivedi, Mohammadi Akheela Khanum:
  Role of context in usability evaluations: A review.
  
• Mosab Bazargani, António dos Anjos, Fernando G. Lobo, Ali Mollahosseini, Hamid Reza Shahbazkia:
  Affine Image Registration Transformation Estimation Using a Real Coded Genetic Algorithm with SBX.
  
• Samar Agnihotri, Sidharth Jaggi, Minghua Chen:
  Analog Network Coding in General SNR Regime: Performance of Network Simplification.
  
• Anne Condon, Ján Manuch, Chris Thachuk:
  The complexity of string partitioning.
  
• Minghui Jiang:
  Clique in 3-track interval graphs is APX-hard.
  
• Istvan David:
  A model-driven approach for processing complex events.
  
• Rajiv Ranjan, Boualem Benatallah:
  Programming Cloud Resource Orchestration Framework: Operations and Research Challenges.
  
• Bata Vasic, Bane V. Vasic:
  Simplification Resilient LDPC-Coded Sparse-QIM Watermarking for 3D-Meshes.
  
• Nolmar Melo, Douglas F. G. Santiago, Renato Portugal:
  Decoder for Nonbinary CWS Quantum Codes.
  
• Ramancha Sandhyarani, Bodakuntla Rajkumar, Jayadev Gyani:
  Construction of Community Web Directories based on Web usage Data.
  
• Rushdi Shams, Robert E. Mercer:
  Investigating Keyphrase Indexing with Text Denoising.
  
• Richard T. Vaughan, Jens Wawerla:
  Publishing Identifiable Experiment Code And Configuration Is Important, Good and Easy.
  
• Isnain Siddique, Rushdi Shams, M. M. A. Hashem:
  Performance Enhancement of Ad Hoc Networks with Janitor Based Routing.
  
• Rushdi Shams, Adel Elsayed:
  Development of a Conceptual Structure for a Domain-Specific Corpus.
  
• Jun-Ming Xu, Aniruddha Bhargava, Robert Nowak, Xiaojin Zhu:
  Robust Spatio-Temporal Signal Recovery from Noisy Counts in Social Media.
  
• Manel Khelifi, Assia Djabelkhir:
  LMEEC: Layered Multi-Hop Energy Efficient Cluster-based Routing Protocol for Wireless Sensor Networks.
  
• Tsung-Hui Chang, Mahnoosh Alizadeh, Anna Scaglione:
  Coordinated Home Energy Management for Real-Time Power Balancing.
  
• Emanuele Strano, Andrew Adamatzky, Jeff Jones:
  Vie Physarale: Evaluation of Roman roads with slime mould.
  
• Trung Q. Duong, Himal A. Suraweera, Hans-Jürgen Zepernick, Chau Yuen:
  Beamforming in Two-Way Fixed Gain Amplify-and-Forward Relay Systems with CCI.
  
• Wan Mohd. Yaakob Wan Bejuri, Mohd. Murtadha Mohamad, Maimunah Sapri, Mohd Adly Rosly:
  Ubiquitous WLAN/Camera .
  
• Yue Wu, Yicong Zhou, Joseph P. Noonan, Sos S. Agaian, C. L. Philip Chen:
  A Novel Latin Square Image Cipher.
  
• Bin Shen, Luo Si, Rongrong Ji, Bao-Di Liu:
  Robust Nonnegative Matrix Factorization via $L_1$ Norm Regularization.
  
• Muhammad Abdullah Adnan, Ryo Sugihara, Rajesh Gupta:
  Energy Efficient Geographical Load Balancing via Dynamic Deferral of Workload.
  
• Aram Ter-Sarkisov, Stephen R. Marsland:
  Derivation of Upper Bounds on .
  
• Lei Zhao, Yeow-Khiang Chia, Tsachy Weissman:
  Compression with Actions.
  
• Atilim Günes Baydin, Ramon López de Mántaras, Santiago Ontañón:
  Automated Generation of Cross-Domain Analogies via Evolutionary Computation.
  
• R. Venkata Ramana Chary, D. Rajya Lakshmi, K. V. N. Sunitha:
  Feature Extraction Methods for Color Image Similarity.
  
• Jason Crampton, Charles Morisset:
  Towards A Generic Formal Framework for Access Control Systems.
  
• Sing Liew:
  Introducing convex layers to the Traveling Salesman Problem.
  
• Sing Liew:
  Applying convex layers, nearest neighbor and triangle inequality to the Traveling Salesman Problem (TSP).
  
• Sing Liew:
  Optimal tree for Genetic Algorithms in the Traveling Salesman Problem (TSP).
  
• Ilya Loshchilov, Marc Schoenauer, Michèle Sebag:
  Self-Adaptive Surrogate-Assisted Covariance Matrix Adaptation Evolution Strategy.
  
• Lei Zhang, Meng Yang, Xiangchu Feng, Yi Ma, David Zhang:
  Collaborative Representation based Classification for Face Recognition.
  
• Jaafer Al-Sabateen, Saleh Ali Alomari, Putra Sumari:
  An Overview of Video Allocation Algorithms for Flash-based SSD Storage Systems.
  
• Xu Chen, Jianwei Huang:
  Evolutionarily Stable Spectrum Access.
  
• Takeshi Hatanaka, Takayuki Nishi, Masayuki Fujita:
  Vision-Based Cooperative Estimation of Averaged 3D Target Pose under Imperfect Visibility.
  
• Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise:
  Quantifier-Free Interpolation of a Theory of Arrays.
  
• Sanaa Elyassami, Ali Idri:
  Investigating Effort Prediction of Software Projects on the ISBSG Dataset.
  
• Alwen Tiu, Egor Ianovski, Rajeev Goré:
  Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures.
  
• Liang Tang, Yunfei Chen, Evor L. Hines, Mohamed-Slim Alouini:
  Performance Analysis of Spectrum Sensing With Multiple Status Changes in Primary User Traffic.
  
• Manav R. Bhatnagar:
  Decode-and-Forward Based .
  
• Mark F. Flanagan, Enrico Paolini, Marco Chiani, Marc P. C. Fossorier:
  Spectral Shape of Doubly-Generalized LDPC Codes: Efficient and Exact Evaluation.
  
• Lóránt Farkas, Tamás Kói:
  On Capacity Regions of Discrete Asynchronous Multiple Access Channels.
  
• Fernando Barreto, Emílio C. G. Wille, Luiz Nacamura Jr.:
  Fast emergency paths schema to overcome transient link failures in ospf routing.
  
• Diego Figueira:
  Satisfiability for two-variable logic with two successor relations on finite linear orders.
  
• Ali Sadr, Mostafa Zolfaghari-Nejad:
  Physical Unclonable Function (PUF) Based Random Number Generator.
  
• Himanshu Tyagi:
  Distributed Function Computation Under Privacy Constraints.
  
• Daniel Král', Chun-Hung Liu, Jean-Sébastien Sereni, Peter Whalen, Zelealem B. Yilma:
  A new bound for the 2/3 conjecture.
  
• Benedikt Höfling, Hans P. Reiser:
  SecureSMART: A Security Architecture for BFT Replication Libraries.
  
• Petr Volny, David Novak, Pavel Zezula:
  Employing Subsequence Matching in Audio Data Processing.
  
• Laszlo B. Kish, He Wen:
  Noise based logic: why noise? A comparative study of the necessity of randomness out of orthogonality.
  
• Julien Lange, Emilio Tuosto:
  Synthesising Choreographies from Local Session Types (extended version).
  
• Zhiqiang Cui, Zhongfeng Wang, Xinmiao Zhang:
  Reduced-Complexity Column-Layered Decoding and Implementation for LDPC Codes.
  
• Sheng Gao, Ludovic Denoyer, Patrick Gallinari:
  Modeling Relational Data via Latent Factor Blockmodel.
  
• Bikash Kumar Dey, Sidharth Jaggi, Michael Langberg, Anand D. Sarwate:
  Upper Bounds on the Capacity of Binary Channels with Causal Adversaries.
  
• Sheng Gao, Ludovic Denoyer, Patrick Gallinari:
  Probabilistic Latent Tensor Factorization Model for Link Pattern Prediction in Multi-relational Networks.
  
• C. Calderón, L. Delaye, V. Mireles, P. Miramontes:
  Detecting lateral genetic material transfer.
  
• Krishnaram Kenthapadi, Aleksandra Korolova, Ilya Mironov, Nina Mishra:
  Privacy via the Johnson-Lindenstrauss Transform.
  
• Xiong Li, Tai Sing Lee, Yuncai Liu:
  Stochastic Feature Mapping for PAC-Bayes Classification.
  
• P. Kiran, S. Sathish Kumar, N. P. Kavya:
  A Novel Framework using Elliptic .
  
• Dror Baron, Marco F. Duarte:
  Signal Recovery in Compressed Sensing via Universal Priors.
  
• V. Suma, Bhagavant Deshpande, M. Vaidehi, T. R. Gopalakrishnan Nair:
  Cloud Computing For Microfinances.
  
• T. R. Gopalakrishnan Nair, V. Suma, S. Manas:
  Genetic Algorithm to Make Persistent Security and Quality of Image in Steganography from RS Analysis.
  
• Youngae Han:
  An efficient solver for volumetric scattering based on fast spherical harmonics transforms.
  
• Deepali Virmani, Tanuj Singhal, Ghanshyam, Khyati Ahlawat, Noble:
  Application Independent Energy Efficient Data Aggregation in Wireless Sensor Networks.
  
• Minati De, Anil Maheshwari, Subhas C. Nandy:
  Space-efficient Algorithms for Visibility Problems in Simple Polygon.
  
• Damien Chablat, Guillaume Moroz, Vigen Arakelian, Sébastien Briot, Philippe Wenger:
  Solution regions in the parameter space of a 3-RRR decoupled robot for a prescribed workspace.
  
• Mohammad Shaqfeh, Hussein M. Alnuweiri, Mohamed-Slim Alouini:
  Multiuser Switched Diversity Scheduling Schemes.
  
• Gan Zheng, S. H. Song, Kai-Kit Wong, Björn E. Ottersten:
  Cooperative Cognitive Networks: Optimal, Distributed and Low-Complexity Algorithms.
  
• Vladimir V. Podolskii:
  Lower Bound on Weights of Large Degree Threshold Functions.
  
• Shachar Shayovitz, Dan Raphaeli:
  Efficient Iterative Decoding of LDPC in the Presence of Strong Phase Noise.
  
• Huyen Chi Bui, Hugo Méric, Jérôme Lacan, Marie-Laure Boucheret:
  A Cooperative Network Coding Strategy for the Interference Relay Channel.
  
• Conrad Lee, Pádraig Cunningham:
  The Geographic Flow of Music.
  
• Xiaochen Xia, Kui Xu, Youyun Xu:
  Asynchronous Physical-layer Network Coding Scheme for Two-way OFDM Relay.
  
• Trygve Johnsen, Hugues Verdure:
  Stanley-Reisner resolution of constant weight linear codes.
  
• Sumio Fujita, Georges Dupret, Ricardo A. Baeza-Yates:
  Learning to Rank Query Recommendations by Semantic Similarities.
  
• Julia Hoxha, Martin Junghans, Sudhir Agarwal:
  Enabling Semantic Analysis of User Browsing Patterns in the Web of Data.
  
• Magnus Knuth, Johannes Hercher, Harald Sack:
  Collaboratively Patching Linked Data.
  
• Andreas Thalhammer, Ioan Toma, Antonio J. Roa-Valverde, Dieter Fensel:
  Leveraging Usage Data for Linked Data Movie Entity Summarization.
  
• Emilio Vital Brazil, Guilherme Dias da Fonseca, Celina M. Herrera de Figueiredo:
  The Cost of Perfection for Matchings in Graphs.
  
• Anika Gross, Michael Hartung, Andreas Thor, Erhard Rahm:
  How do Ontology Mappings Change in the Life Sciences?
  
• Andrei Barbu, Aaron Michaux, Siddharth Narayanaswamy, Jeffrey Mark Siskind:
  Simultaneous Object Detection, Tracking, and Event Recognition.
  
• Andrei Barbu, Alexander Bridge, Zachary Burchill, Dan Coroian, Sven J. Dickinson, Sanja Fidler, Aaron Michaux, Sam Mussman, Siddharth Narayanaswamy, Dhaval Salvi, Lara Schmidt, Jiangnan Shangguan, Jeffrey Mark Siskind, Jarrell W. Waggoner, Song Wang, Jinlian Wei, Yifan Yin, Zhiqi Zhang:
  Video In Sentences Out.
  
• Taha Yasseri, András Kornai, János Kertész:
  A practical approach to language complexity: a Wikipedia case study.
  
• Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson:
  Layered Fixed Point Logic.
  
• Mehdi Alipour, Hojjat Taghdisi:
  Effect of Thread Level Parallelism on the Performance of Optimum Architecture for Embedded Applications.
  
• Xinyu Xing, Junho Ahn, Wenke Lee, Richard Han, Shivakant Mishra:
  An Empirical Study of Spam and Prevention Mechanisms in Online Video Chat Services.
  
• Veniamin I. Morgenshtern, Erwin Riegler, Wei Yang, Giuseppe Durisi, Shaowei Lin, Bernd Sturmfels, Helmut Bölcskei:
  Capacity Pre-Log of Noncoherent SIMO Channels via Hironaka's Theorem.
  
• Subhabrata Mukherjee, Bimal Roy, Anirban Laha:
  An Efficient Cryptographic Hash Algorithm (BSA).
  
• Siddharth Narayanaswamy, Andrei Barbu, Jeffrey Mark Siskind:
  Seeing Unseeability to See the Unseeable.
  
• Myle Ott, Claire Cardie, Jeffrey T. Hancock:
  Estimating the Prevalence of Deception in Online Review Communities.
  
• Mehdi Alipour, Mostafa E. Salehi:
  Performance-Optimum Superscalar Architecture for Embedded Applications.
  
• Fernand Meyer:
  Watersheds, waterfalls, on edge or node weighted graphs.
  
• Julia Chuzhoy:
  On Vertex Sparsifiers with Steiner Nodes.
  
• Chris Fournier, Diana Inkpen:
  Segmentation Similarity and Agreement.
  
• Rajendra S. Katti, Cristinel Ababei:
  Secure Comparison Without Explicit XOR.
  
• Rupak Majumdar, Indranil Saha, Majid Zamani:
  Synthesis of Minimal Error Control Software.
  
• Subhabrata Mukherjee, Mrinal K. Naskar, Amitava Mukherjee:
  Adaptive Framework for Data Distribution in Wireless Sensor Networks.
  
• Subhabrata Mukherjee, Amrita Saha, Mrinal K. Naskar, Amitava Mukherjee:
  Multisource Adaptive Data Distribution and Routing in Wireless Sensor Networks.
  
• Subhabrata Mukherjee, Anand Seetharam, Abhishek Bhattacharyya, Mrinal K. Naskar, Amitava Mukherjee:
  Designing an Energy Efficient Framework for Data Gathering in Wireless Sensor Network.
  
• Thomas Bläsius, Ignaz Rutter:
  Disconnectivity and Relative Positions in Simultaneous Embeddings.
  
• Xi Li, Chunhua Shen, Qinfeng Shi, Anthony R. Dick, Anton van den Hengel:
  Non-sparse Linear Representations for Visual Tracking with Online Reservoir Metric Learning.
  
• Vít Jelínek, Jan Kratochvíl, Ignaz Rutter:
  A Kuratowski-Type Theorem for Planarity of Partially Embedded Graphs.
  
• Somayeh Salimi, Mikael Skoglund:
  Secret Key Agreement Using Correlated Sources over the Generalized Multiple Access Channel.
  
• Wei Yang, Giuseppe Durisi, Tobias Koch, Yury Polyanskiy:
  Diversity versus Channel Knowledge at Finite Block-Length.
  
• Javier Esparza, Andreas Gaiser, Stefan Kiefer:
  Proving Termination of Probabilistic Programs Using Patterns.
  
• Stanley P. Y. Fung, Chung Keung Poon, Feifeng Zheng:
  Improved Randomized Online Scheduling of Intervals and Jobs.
  
• Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern:
  An Equilibrium Analysis of Scrip Systems.
  
• Meng Zhang, Yi Zhang, Jijun Tang:
  Label-Guided Graph Exploration with Adjustable Ratio of Labels.
  
• Joachim Breitner:
  Tackling the testing migration problem with SAT-Solvers.
  
• Photios Stavrou, Charalambos D. Charalambous, Christos K. Kourtellaris:
  Realizable Rate Distortion Function and Bayesian FIltering Theory.
  
• Stefan S. Dantchev, Barnaby Martin:
  Parameterized Resolution with bounded conjunction.
  
• Vijay Ganesh:
  STP/HAMPI and Computer Security.
  
• Mnacho Echenim, Nicolas Peltier:
  Reasoning on Schemata of Formulae.
  
• Thomas W. Malone, Luis von Ahn:
  Collective Intelligence 2012: Proceedings.
  
• Ayan Chakrabarti, Todd Zickler:
  Image Restoration with Signal-dependent Camera Noise.
  
• Michael S. Bernstein, David R. Karger, Robert C. Miller, Joel Brandt:
  Analytic Methods for Optimizing Realtime Crowdsourcing.
  
• Andrey Grozin:
  TeXmacs-Reduce interface.
  
• Anuj Dawar, Erich Grädel, Bjarki Holm, Eryk Kopczynski, Wied Pakusa:
  Definability of linear equation systems over groups and rings.
  
• Reinhard Pichler, Stefan Rümmele, Stefan Szeider, Stefan Woltran:
  Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth is not Enough.
  
• Xinping Yi, David Gesbert, Sheng Yang, Mari Kobayashi:
  The DoF Region of the Multiple-Antenna Time Correlated Interference Channel with Delayed CSIT.
  
• Martin Huschenbett:
  The Rank of Tree-Automatic Linear Orderings.
  
• Chittampally Vasanth Raja, Srinivas Balasubramanian, Prakash Raghavendra:
  Heterogeneous Highly Parallel Implementation of Matrix Exponentiation Using GPU.
  
• Hugues Randriambololona:
  Asymptotically good binary linear codes with asymptotically good self-intersection spans.
  
• Arnaud Casteigts, Paola Flocchini, Bernard Mans, Nicola Santoro:
  Building Fastest Broadcast Trees in Periodically-Varying Graphs.
  
• Daniela Tuninetti:
  An Outer Bound for the Memoryless Two-user Interference Channel with General Cooperation.
  
• Wei Chen, Wei Lu, Ning Zhang:
  Time-Critical Influence Maximization in Social Networks with Time-Delayed Diffusion Process.
  
• Wei Dai, Serdar Yüksel:
  Technical Report: Observability of a Linear System under Sparsity Constraints.
  
• Yuancheng Luo, Ramani Duraiswami:
  Alternative Tilings for the Fast Multipole Method on the Plane.
  
• Carlos Eduardo Ferreira, Álvaro Junio Pereira Franco:
  Algorithms for Junctions in Directed Acyclic Graphs.
  
• Yuxin Chen, Sanjay Shakkottai, Jeffrey G. Andrews:
  On the Role of Mobility for Multi-message Gossip.
  
• Ali P. Fard, Mahdy Nabaee:
  Secure Tracking in Sensor Networks using Adaptive Extended Kalman Filter.
  
• Anton Salikhmetov:
  A recursive normalizing one-step reduction strategy for the distributive lambda calculus.
  
• Cornelia Castro, Antonio Andrade:
  Teaching Chemistry in a Social Learning Environment: Facing Drivers and Barriers.
  
• Kaibin Huang, Jeffrey G. Andrews:
  A Closer Look at Multi-Cell Cooperation via Stochastic Geometry and Large Deviations.
  
• Hung Q. Ngo, Atri Rudra, Anh N. Le, Thanh-Nhan Nguyen:
  Analyzing Nonblocking Switching Networks using Linear Programming (Duality).
  
• Andrea Scharnhorst, Olav ten Bosch, Peter Doorn:
  Looking at a digital research data archive - Visual interfaces to EASY.
  
• Konstantin Lakhman, Mikhail Burtsev:
  Neuroevolution Results in Emergence of Short-Term Memory for Goal-Directed Behavior.
  
• Oussama Tlili, Minyar Sassi, Habib Ounelli:
  Intelligent Database Flexible Querying System by Approximate Query Processing.
  
• Minyar Sassi:
  Towards Fuzzy-Hard Clustering Mapping Processes.
  
• Kristen Lovejoy, Gregory D. Saxton:
  Information, Community, and Action: How Nonprofit Organizations Use Social Media.
  
• Greg Kochanski:
  Using Mimicry to Learn about Mental Representations.
  
• Raman Yazdani, Masoud Ardakani:
  Reliable communication over non-binary insertion/deletion channels.
  
• Prateek Bhakta, Sarah Miracle, Dana Randall, Amanda Pascoe Streib:
  Mixing Times of Self-Organizing Lists and Biased Permutations.
  
• Ondrej Lengál:
  An Efficient Finite Tree Automata Library.
  
• Vladimir Aristov, Andrey Stroganov:
  Computing without a computer: a new approach for solving nonlinear differential equations.
  
• Azhmukhamedov Iskander:
  Monografia.
  
• Jan A. Bergstra, C. A. Middelburg:
  Process algebra with conditionals in the presence of epsilon.
  
• Valentina Fedorova, Alexander Gammerman, Ilia Nouretdinov, Vladimir Vovk:
  Plug-in martingales for testing exchangeability on-line.
  
• Manfred Jaeger:
  Lower Complexity Bounds for Lifted Inference.
  
• Salman Malik, Philippe Jacquet, Cedric Adjih:
  On the Optimal Transmission Range in Multi-hop Wireless Ad Hoc Networks.
  
• Mark Sh. Levin, Aliaksei Andrushevich, Rolf Kistler, Alexander Klapproth:
  Combinatorial Evolution and Forecasting of Communication Protocol ZigBee.
  
• Lloyd Wood, William D. Ivancic, Wesley M. Eddy, Dave Stewart, James Northam, Chris Jackson:
  Investigating operation of the Internet in orbit: Five years of collaboration around CLEO.
  
• Lloyd Wood:
  Saratoga: scalable, speedy data delivery for sensor networks.
  
• Lloyd Wood:
  Assessing and improving an approach to delay-tolerant networking.
  
• Mickael Randour:
  Automated synthesis of reliable and efficient systems through game theory: a case study.
  
• Aryeh Kontorovich, Ari Trachtenberg:
  Efficiently decoding strings from their shingles.
  
• Moustafa Youssef, Moustafa Elzantout, Reem Elkhouly, Amal Lotfy:
  Ubiquitous Indoor Localization and Worldwide Automatic Construction of Floor Plans.
  
• Mark A. Iwen, Mauro Maggioni:
  Approximation of Points on Low-Dimensional Manifolds Via Random Linear Projections.
  
• Russell C. Thomas, John S. Gero:
  Patterns of Social Influence in a Network of Situated Cognitive Agents.
  
• Kate Starbird:
  What "Crowdsourcing" Obscures: Exposing the Dynamics of Connected Crowd Work during Disaster.
  
• Thomas Gegenhuber, Marko Hrelja:
  Broadcast Search in Innovation Contests: Case for Hybrid Models.
  
• Toby Walsh:
  Symmetry Breaking Constraints: Recent Results.
  
• Gerald C. Kane, Sam Ransbotham:
  Collaborative Development in Wikipedia.
  
• Terrell G. Russell:
  Collective Cognitive Authority: Expertise Location via Social Labeling.
  
• Andreas Bauer, Christian Wolff:
  Event based classification of Web 2.0 text streams.
  
• Dmitry Rudoy, Dan B. Goldman, Eli Shechtman, Lihi Zelnik-Manor:
  Crowdsourcing Gaze Data Collection.
  
• Anton Salikhmetov:
  Blind graph rewriting systems.
  
• Daphna Shwarts-Asher:
  Social Aspects of Virtual Teams.
  
• Hauke Fuehres, Peter A. Gloor, Michael Henninger, Reto Kleeb, Keiichi Nemoto:
  Galaxysearch - Discovering the Knowledge of Many by Using Wikipedia as a Meta-Searchindex.
  
• Amr Ismail, Jocelyn Fiorina, Hikmet Sari:
  A New Low-Complexity Decodable Rate-1 Full-Diversity 4 x 4 STBC with Nonvanishing Determinants.
  
• Zhao Chen, Mai Xu, Liuguo Yin, Jianhua Lu:
  Unequal Error Protected JPEG 2000 Broadcast Scheme with Progressive Fountain Codes.
  
• Amr Ismail, Jocelyn Fiorina, Hikmet Sari:
  A Novel Construction of Multi-group Decodable Space-Time Block Codes.
  
• Zhao Chen, Liuguo Yin, Mai Xu, Jianhua Lu:
  Rateless Codes with Progressive Recovery for Layered Multimedia Delivery.
  
• Juho Salminen:
  Collective Intelligence in Humans: A Literature Review.
  
• Famantanantsoa Randimbivololona, Abderrahmane Brahmi, Philippe Le Meur:
  Airborne software tests on a fully virtual platform.
  
• Eldar Fischer, Yonatan Goldhirsh, Oded Lachish:
  Testing Formula Satisfaction.
  
• Sumit Katiyar, R. K. Jain, N. K. Agrawal:
  Green Cellular Network Deployment To Reduce RF Pollution.
  
• T. Gogacz, J. Marcinkowski:
  Converging to the Chase - a Tool for Finite Controllability.
  
• Keki M. Burjorjee:
  Explaining Adaptation in Genetic Algorithms With Uniform Crossover: The Hyperclimbing Hypothesis.
  
• Xingqin Lin, Radha Krishna Ganti, Philip J. Fleming, Jeffrey G. Andrews:
  Towards Understanding the Fundamentals of Mobility in Cellular Networks.
  
• Andreas Kaltenbrunner, David Laniado:
  There is No Deadline - Time Evolution of Wikipedia Discussions.
  
• Ivo Blohm, Christoph Riedl, Johann Füller, Orhan Köroglu, Jan Marco Leimeister, Helmut Krcmar:
  The Effects of Prediction Market Design and Price Elasticity on Trading Performance of Users: An Experimental Analysis.
  
• Pavlin Mavrodiev, Claudio J. Tessone, Frank Schweitzer:
  Effects of Social Influence on the Wisdom of Crowds.
  
• Arockia Anand Raj, T. Mala:
  Cloudpress 2.0: A MapReduce Approach for News Retrieval on the Cloud.
  
• Robert R. Morris, Rosalind W. Picard:
  Crowdsourcing Collective Emotional Intelligence.
  
• Guilherme Dias da Fonseca, Celina M. Herrera de Figueiredo, Vinícius G. P. de Sá, Raphael Machado:
  Linear Time Approximation for Dominating Sets and Independent Dominating Sets in Unit Disk Graphs.
  
• Lu Xiao:
  Rationale awareness for quality assurance in iterative human computation processes.
  
• Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern:
  Optimizing Scrip Systems: Crashes, Altruists, Hoarders, Sybils and Collusion.
  
• Sjur Dyrkolbotn, Piotr Kazmierczak, Erik Parmann, Truls Pedersen:
  No big deal: introducing roles to reduce the size of ATL models.
  
• Vahed Qazvinian, Dragomir R. Radev:
  A Computational Analysis of Collective Discourse.
  
• Nicolás Della Penna, Mark D. Reid:
  Crowd & Prejudice: An Impossibility Theorem for Crowd Labelling without a Gold Standard.
  
• Sicun Gao, Jeremy Avigad, Edmund M. Clarke:
  Delta-Complete Decision Procedures for Satisfiability over the Reals.
  
• Maria-Florina Balcan, Avrim Blum, Shai Fine, Yishay Mansour:
  Distributed Learning, Communication Complexity and Privacy.
  
• Yu-An Sun, Christopher R. Dance:
  When majority voting fails: Comparing quality assurance methods for noisy human computation environment.
  
• Hal Daumé III, Jeff M. Phillips, Avishek Saha, Suresh Venkatasubramanian:
  Efficient Protocols for Distributed Classification and Optimization.
  
• Endre Boros, Aritanan Gruber:
  Hardness Results for Approximate Pure Horn CNF Formulae Minimization.
  
• Lav R. Varshney:
  Toward a Comparative Cognitive History: Archimedes and D. H. J. Polymath.
  
• Farhan Sahito, Wolfgang Slany:
  Functional Magnetic Resonance Imaging and the Challenge of Balancing Human Security with State Security.
  
• B. N. Lawrence, V. Bennett, J. Churchill, M. Juckes, P. Kershaw, P. Oliver, M. Pritchard, A. Stephens:
  The JASMIN super-data-cluster.
  
• Corentin Briat:
  Robust stability and .
  
• Federico Librino, Marco Levorato, Michele Zorzi:
  An Algorithmic Solution for Computing Circle Intersection Areas and its Applications to Wireless Communications.
  
• Roberto Grossi, Giuseppe Ottaviano:
  The Wavelet Trie: Maintaining an Indexed Sequence of Strings in Compressed Space.
  
• Ian Spiro, Thomas Huston, Christoph Bregler:
  Markerless Motion Capture in the Crowd.
  
• Dhiraj Murthy, Alexander Gross, Stephanie Bond:
  Visualizing Collective Discursive User Interactions in Online Life Science Communities.
  
• Seyda Ertekin, Haym Hirsh, Cynthia Rudin:
  Learning to Predict the Wisdom of Crowds.
  
• Andrei Barbu, Alexander Bridge, Dan Coroian, Sven J. Dickinson, Sam Mussman, Siddharth Narayanaswamy, Dhaval Salvi, Lara Schmidt, Jiangnan Shangguan, Jeffrey Mark Siskind, Jarrell W. Waggoner, Song Wang, Jinlian Wei, Yifan Yin, Zhiqi Zhang:
  Large-Scale Automatic Labeling of Video Events with Verbs Based on Event-Participant Interaction.
  
• Mohammad Tofighi, Ali Ayremlou, Farokh Marvasti:
  Compensating Interpolation Distortion by Using New Optimized Modular Method.
  
• En-Hui Yang, Jin Meng:
  Jar Decoding: Non-Asymptotic Converse Coding Theorems, Taylor-Type Expansion, and Optimality.
  
• En-Hui Yang, Jin Meng:
  Non-asymptotic Equipartition Properties for Independent and Identically Distributed Sources.
  
• Huan-Kai Peng, Ying Zhang, Peter Pirolli, Tad Hogg:
  Thermodynamic Principles in Social Collaborations.
  
• Michael E. Roberts, Sam Cheesman, Patrick McMullen:
  Group Foraging in Dynamic Environments.
  
• Yuheng Hu, Sushovan De, Yi Chen, Subbarao Kambhampati:
  Bayesian Data Cleaning for Web Data.
  
• Walter S. Lasecki, Samuel White, Kyle I. Murray, Jeffrey P. Bigham:
  Crowd Memory: Learning in the Collective.
  
• Benjamin Collier, Robert Kraut:
  Leading the Collective: Social Capital and the Development of Leaders in Core-Periphery Organizations.
  
• Mohammad Nabil Almunawar, Muhammad Anshari:
  Improving Customer Service in Healthcare with CRM 2.0.
  
• Muhammad Anshari, Mohammad Nabil Almunawar:
  Evaluating CRM Implementation in Healthcare Organization.
  
• Mohammad Nabil Almunawar, Zaw Wint, Patrick Kim Cheng Low, Muhammad Anshari:
  E-Health Initiative and Customer's Expectation: Case Brunei.
  
• Wen Dong, Bruno Lepri, Alex Pentland:
  Automatic Prediction Of Small Group Performance In Information Sharing Tasks.
  
• Tiebin Mi, Shidong Li, Yulong Liu:
  Fast thresholding algorithms with feedbacks for sparse signal recovery.
  
• Keigo Takeuchi, Ralf R. Müller, Tsutomu Kawabata:
  Large-System Analysis of Joint User Selection and Vector Precoding for Multiuser MIMO Downlink.
  
• Qing F. Zhou, Q. T. Zhang:
  On the Blind Interference Alignment over Homogeneous Block Fading Channels.
  
• Loet Leydesdorff, Ulrike Felt:
  Edited Volumes, Monographs, and .
  
• Ferkan Yilmaz, Mohamed-Slim Alouini:
  On the Computation of the Higher Order Statistics of the Channel Capacity over Generalized Fading Channels.
  
• Sharoda A. Paul, Lichan Hong, Ed H. Chi:
  Who is Authoritative? Understanding Reputation Mechanisms in Quora.
  
• Guillaume Raschia, Martin Theobald, Ioana Manolescu:
  Proceedings of the first International Workshop On Open Data, WOD-2012.
  
• Arkaitz Zubiaga, Damiano Spina, Enrique Amigó, Julio Gonzalo:
  Towards Real-Time Summarization of Scheduled Events from Twitter Streams.
  
• Jean-Guillaume Dumas, Clément Pernet:
  Computational linear algebra over finite fields.
  
• Cristina Flaut:
  Cyclic codes over some special rings.
  
• Mihai-Alin Badiu, Carles Navarro i Manchon, Vasile Bota, Bernard H. Fleury:
  Distributed Iterative Processing for Interference Channels with Receiver Cooperation.
  
• Chenguang Lu:
  GPS Information and Rate Tolerance - Clarifying Relationship between Rate Distortion and Complexity Distortion.
  
• Almila Almila Akdag Salah, Cheng Gao, Krzysztof Suchecki, Andrea Scharnhorst, Richard P. Smiraglia:
  The evolution of classification systems: Ontogeny of the UDC.
  
• Zhi-Yong Zhang, Chun-Ming Yuan, Xiao-Shan Gao:
  Matrix Formula of Differential Resultant for First Order Generic Ordinary Differential Polynomials.
  
• Pablo Aragón, Andreas Kaltenbrunner, David Laniado, Yana Volkovich:
  Biographical Social Networks on Wikipedia - A cross-cultural study of links that made history.
  
• Srinivasan Kalyanaraman:
  Indus script corpora, archaeo-metallurgy and Meluhha (Mleccha).
  
• Jie Xu, Rui Zhang:
  Throughput Optimal Policies for Energy Harvesting Wireless Transmitters with Non-Ideal Circuit Power.
  
• Jingjin Yu, Steven M. LaValle:
  Distance Optimal Formation Control on Graphs with a Tight Convergence Time Guarantee.
  
• Jingjin Yu, Steven M. LaValle:
  Planning Optimal Paths for Multi-agent Systems on Graphs.
  
• Kaiping Xue, Peilin Hong, Changsha Ma:
  A lightweight dynamic pseudonym .
  
• Abdelmalik Moujahid, Alicia D'Anjou, Francisco Javier Torrealdea, Cecilia Sarasola:
  Energy cost reduction in the synchronization of a pair of nonidentical coupled Hindmarsh-Rose neurons.
  
• Blanca Cases, Alicia D'Anjou, Abdelmalik Moujahid:
  On how percolation threshold affects PSO performance.
  
• Jérémie Chalopin, Shantanu Das, Yann Disser, Matús Mihalák, Peter Widmayer:
  Simple Agents Learn to Find Their Way: An Introduction on Mapping Polygons.
  
• J. A. F. Hittinger, J. W. Banks:
  Block-Structured Adaptive Mesh Refinement Algorithms for Vlasov Simulation.
  
• Subramanian Ramamoorthy, András Z. Salamon, Rahul Santhanam:
  Macroscopes: models for collective decision making.
  
• B. Sarala, D. S. Venkateswarulu, B. N. Bhandari:
  Overview of MC CDMA PAPR Reduction Techniques.
  
• A. M. Dorman:
  Stimulus and correlation matching measurement technique in computer based characterization testing.
  
• Lixiu Yu, Jeffrey V. Nickerson, Yasuaki Sakamoto:
  Collective Creativity: Where we are and where we might go.
  
• Christopher Horsethief:
  Re-differentiation as collective intelligence: The Ktunaxa language online community.
  
• Jessica Davies, Nina Narodytska, Toby Walsh:
  Eliminating the Weakest Link: Making Manipulation Intractable?
  
• Mohammad R. Ataei, Amir H. Banihashemi, Thomas Kunz:
  Low-Complexity Energy-Efficient Broadcasting in One-Dimensional Wireless Networks.
  
• Javier Esteban, Antonio Ortega, Sean McPherson, Maheswaran Sathiamoorthy:
  Analysis of Twitter Traffic based on Renewal Densities.
  
• Cristobal Garcia, Pedro Parraguez, Matias Barahona, Peter A. Gloor:
  Tracking the 2011 Student-led Collective Movement in Chile through Social Media Use.
  
• Pierre Sermanet, Soumith Chintala, Yann LeCun:
  Convolutional Neural Networks Applied to House Numbers Digit Classification.
  
• Yuan Qi, Bo Dai, Yao Zhu:
  EigenGP: Gaussian processes with sparse data-dependent eigenfunctions.
  
• Mizal Alobaidi, Andriy Batyiv, Grygoriy Zholtkevych:
  Towards the Notion of an Abstract Quantum Automaton.
  
• Chung-Chieh Fang:
  Closed-Form Critical Conditions of Saddle-Node Bifurcations for Buck Converters.
  
• Chung-Chieh Fang:
  Comments on "Bifurcations in DC-DC Switching Converters: Review of Methods and Applications".
  
• Amr Ismail, Jocelyn Fiorina, Hikmet Sari:
  A New Low-Complexity Decodable Rate-5/4 STBC for Four Transmit Antennas with Nonvanishing Determinants.
  
• Amr Ismail, Jocelyn Fiorina, Hikmet Sari:
  A New Family of Low-Complexity Decodable STBCs for Four Transmit Antennas.
  
• Lisa Fleischer, Yu-Han Lyu:
  Approximately Optimal Auctions for Selling Privacy when Costs are Correlated with Data.
  
• Xavier Vilaça, Oksana Denysyuk, Luís Rodrigues:
  Asynchrony and Collusion in the N-party BAR Transfer Problem.
  
• Joan Boyar, Sushmita Gupta, Kim S. Larsen:
  Access Graphs Results for LRU versus FIFO under Relative Worst Order Analysis.
  
• Thibaut Barthélemy, Martin Josef Geiger, Marc Sevaux:
  Solution Representations and Local Search for the bi-objective Inventory Routing Problem.
  
• Sotiris E. Nikoletseas, Christoforos Raptopoulos, Paul G. Spirakis:
  Maximum Cliques in Graphs with Small Intersection Number and Random Intersection Graphs.
  
• Mikko Vehkaperä, Yoshiyuki Kabashima, Saikat Chatterjee, Erik Aurell, Mikael Skoglund, Lars K. Rasmussen:
  Analysis of Sparse Representations Using Bi-Orthogonal Dictionaries.
  
• Jon Chamberlain, Udo Kruschwitz, Massimo Poesio:
  Motivations for Participation in Socially Networked Collective Intelligence Systems.
  
• Rakshith Rajashekar, K. V. S. Hari:
  Modulation Diversity for Spatial Modulation Using Complex Interleaved Orthogonal Design.
  
• Manu Harju:
  On probabilities of Risk type board game combats.
  
• José Gracia, Christoph Niethammer, Manuel Hasert, Steffen Brinkmann, Rainer Keller, Colin W. Glass:
  Hybrid MPI/StarSs - a case study.
  
• Sérgio André Ferreira, Antonio Andrade:
  Conception of a management tool of Technology Enhanced Learning Environments.
  
• Casey Bennett:
  Utilizing RxNorm to Support Practical Computing Applications: Capturing Medication History in Live Electronic Health Records.
  
• Satyadev Nandakumar, Santhosh Kumar Vangapelli:
  Normality and Finite-state Dimension of Liouville numbers.
  
• Colin Cooper, Robert Elsässer, Hirotaka Ono, Tomasz Radzik:
  Coalescing random walks and voting on graphs.
  
• Richard Preen, Larry Bull:
  Evolution of Supershapes for the Generation of Three-Dimensional Designs.
  
• Tobias Harks, Britta Peis:
  Resource Buying Games.
  
• Benjamin Kuipers:
  An existing, ecologically-successful genus of collectively intelligent artificial creatures.
  
• Youhei Akimoto:
  Analysis of a Natural Gradient Algorithm on Monotonic Convex-Quadratic-Composite Functions.
  
• Karthik Sridharan:
  Learning From An Optimization Viewpoint.
  
• Puripong Suthisopapan, Anupap Meesomboon, Kenta Kasai, Virasit Imtawil:
  Ultra Low Complexity Soft Output Detector for Non-Binary LDPC Coded Large MIMO Systems.
  
• Glencora Borradaile, Seth Pettie, Christian Wulff-Nilsen:
  Connectivity Oracles for Planar Graphs.
  
• Yuan Qi, Yandong Guo:
  Message passing with relaxed moment matching.
  
• Ho-Lin Chen, David Doty, David Soloveichik:
  Deterministic Function Computation with Chemical Reaction Networks.
  
• Richard Preen, Larry Bull:
  Discrete Dynamical Genetic Programming in XCS.
  
• Richard Preen, Larry Bull:
  Fuzzy Dynamical Genetic Programming in XCSF.
  
• Sarit Buzaglo, Tuvi Etzion:
  Tilings with $n$-Dimensional Chairs and their Applications to WOM Codes.
  
• Venkatesan Guruswami, Chaoping Xing:
  Folded Codes from Function Field Towers and Improved Optimal Rate List Decoding.
  
• Yixuan Xie, Jun Li, Robert A. Malaney, Jinhong Yuan:
  Improved Quantum LDPC Decoding Strategies For The Misidentified Quantum Depolarizing Channel.
  
• Eric Schulte, Zachary P. Fry, Ethan Fast, Stephanie Forrest, Westley Weimer:
  Software Mutational Robustness: Bridging The Gap Between Mutation Testing and Evolutionary Biology.
  
• Miles E. Lopes:
  Estimating Unknown Sparsity in Compressed Sensing.
  
• Fedor V. Fomin, Daniel Lokshtanov, Neeldhara Misra, Saket Saurabh:
  Planar F-Deletion: Approximation and Optimal FPT Algorithms.
  
• Lan V. Truong:
  Posterior Matching Scheme for Gaussian Multiple Access Channel with Feedback.
  
• Chun Tung Chou:
  Extended master equation models for molecular communication networks.
  
• Aamir Khan, Muhammad Farhan, Asar Ali:
  Speech Recognition: Increasing Efficiency of Support Vector Machines.
  
• Shaolei Ren, Jaeok Park, Mihaela van der Schaar:
  Entry and Spectrum Sharing Scheme Selection in Femtocell Markets.
  
• Avital Gutman, Noam Nisan:
  Fair Allocation Without Trade.
  
• Brijnesh J. Jain, Klaus Obermayer:
  Learning in Riemannian Orbifolds.
  
• Stella Maria, Maulahikmah Galinium, Husni Fahmi, Haret Faidah, James Purnama, Charles Lim, Harya Damar:
  Design and Implementation of the .
  
• Bunga Sugiarto, Danny Laidi, Arra'di Nur Rizal, Maulahikmah Galinium, Pradana Atmadiputra, Melvin Rubianto, Husni Fahmi, Tri Sampurno, Marsudi Kisworo:
  Design and Implementation of the Connectionless Network Protocol (CLNP) as Loadable Kernel Modules in Linux Kernel 2.6.
  
• Andino Maseleno, Md. Mahmud Hasan:
  Avian Influenza (H5N1) Warning System using Dempster-Shafer Theory and Web Mapping.
  
• Andino Maseleno, Md. Mahmud Hasan:
  Avian Influenza (H5N1) Expert System using Dempster-Shafer Theory.
  
• Thomas P. Jensen, Florent Kirchner, David Pichardie:
  Secure the Clones.
  
• Arpan Chattopadhyay, Abhishek Sinha, Marceau Coupechoux, Anurag Kumar:
  Optimal Capacity Relay Node Placement in a Multi-hop Network on a Line.
  
• Patrick Taillandier, Alexis Drogoul:
  Supervised feature evaluation by consistency analysis: application to measure sets used to characterise geographic objects.
  
• Patrick Taillandier, Julien Gaffuri:
  Designing generalisation evaluation function through human-machine dialogue.
  
• James Cook, Atish Das Sarma, Alex Fabrikant, Andrew Tomkins:
  Your Two Weeks of Fame and Your Grandmother's.
  
• Sriram Sankaranarayanan:
  Change-Of-Bases Abstractions for Non-Linear Systems.
  
• Michael Robinson:
  Multipath-dominant, pulsed doppler analysis of rotating blades.
  
• Gregory Gutin, Gabriele Muciaccia, Anders Yeo:
  (Non-)existence of Polynomial Kernels for the Test Cover Problem.
  
• Andreas Gemsa, D. T. Lee, Chih-Hung Liu, Dorothea Wagner:
  Higher Order City Voronoi Diagrams.
  
• Matthias Christandl, Brent Doran, Michael Walter:
  Computing Multiplicities of Lie Group Representations.
  
• Lotfi Bouzguenda, Manel Turki:
  Coupling Clinical Decision .
  
• Marco Vieira, Ilir Gashi:
  EDCC 2012 - Fast Abstracts & Student Forum Proceedings.
  
• Martin Aumüller, Martin Dietzfelbinger, Philipp Woelfel:
  Explicit and Efficient Hash Families Suffice for Cuckoo Hashing with a Stash.
  
• Oliver Matz:
  First-Order Quantifiers and the Syntactic Monoid of Height Fragments of Picture Languages.
  
• Faisal Tariq, Laurence S. Dooley, Adrian S. Poulton:
  An Interference-Aware Virtual Clustering Paradigm for Resource Management in Cognitive Femtocell Networks.
  
• I-Hong Hou:
  Providing End-to-End Delay Guarantees for Multi-hop Wireless Sensor Networks over Unreliable Channels.
  
• I-Hong Hou, Rahul Singh:
  Real-Time Stochastic Processing Networks with Concurrent Resource Requirements.
  
• John M. Neuberger, Nándor Sieben, James W. Swift:
  An MPI Implementation of a Self-Submitting Parallel Job Queue.
  
• Rizwan Chaudhry, Gregory D. Hager, René Vidal:
  Dynamic Template Tracking and Recognition.
  
• Huy Nguyen, Rong Zheng:
  Influence Spread in Large-Scale Social Networks - A Belief Propagation Approach.
  
• Martin Haenggi:
  Diversity Loss due to Interference Correlation.
  
• Yakov Nekrich, Gonzalo Navarro:
  Sorted Range Reporting.
  
• Namzilp Lertwiram, Petar Popovski, Kei Sakaguchi:
  A Study of Trade-off between Opportunistic Resource Allocation and Interference Alignment in Femtocell Scenarios.
  
• Ayan Acharya, Eduardo R. Hruschka, Joydeep Ghosh:
  A Privacy-Aware Bayesian Approach for Combining Classifier and Cluster Ensembles.
  
• Yuval Filmus, Justin Ward:
  A Tight Combinatorial Algorithm for Submodular Maximization Subject to a Matroid Constraint.
  
• Kazumi Saito, Masahiro Kimura, Kouzou Ohara, Hiroshi Motoda:
  Learning Asynchronous-Time Information Diffusion Models and its Application to Behavioral Data Analysis over Social Networks.
  
• Jay Shah, Ayan Mahalanobis:
  A New Guess-and-Determine Attack on the A5/1.
  
• Patrick Taillandier, Julien Gaffuri:
  Automatic Sampling of Geographic objects.
  
• R. Kaniezhil, C. Chandrasekar, NithyaRekha S.:
  Performance Evaluation of QoS Parameters in Dynamic Spectrum Sharing for Heterogeneous Wireless Communication Networks.
  
• Markus Wagner, Jareth Day, Frank Neumann:
  A Fast and Effective Local Search Algorithm for Optimizing the Placement of Wind Turbines.
  
• Wajeb Gharibi, Yong Xia:
  A Tight Linearization Strategy for Zero-One Quadratic Programming Problems.
  
• Alexander Zeh, Sergey Bezzateev:
  Describing A Cyclic Code by Another Cyclic Code.
  
• Jérôme Javelle, Mehdi Mhalla, Simon Perdrix:
  On the Minimum Degree up to Local Complementation: Bounds and Complexity.
  
• Swan Dubois, Sébastien Tixeuil, Nini Zhu:
  Mariages et Trahisons.
  
• Dima Grigoriev, Vladimir V. Podolskii:
  Complexity of tropical and min-plus linear prevarieties.
  
• Shihao Yan, Robert A. Malaney, Ido Nevat, Gareth W. Peters:
  An Information Theoretic Location Verification System for Wireless Networks.
  
• Yann Barbotin, Martin Vetterli:
  Fast and Robust Parametric Estimation of Jointly Sparse Channels.
  
• Violetta Lonati, Dino Mandrioli, Matteo Pradella:
  Logic Characterization of Floyd Languages.
  
• Eitan Altman, Manjesh Kumar Hanawal, Rajesh Sundaresan:
  Nonneutral network and the role of bargaining power in side payments.
  
• Michiel de Bondt:
  The computational complexity of Minesweeper.
  
• Tsz Chiu Kwok, Lap Chi Lau:
  Finding Small Sparse Cuts Locally by Random Walk.
  
• Manfred Kufleitner, Alexander Lauser:
  The Join Levels of the Trotter-Weil Hierarchy are Decidable.
  
• Prosenjit Bose, Vida Dujmovic, Pat Morin, Michiel H. M. Smid:
  Robust Geometric Spanners.
  
• Florian Rabe:
  A Query Language for Formal Mathematical Libraries.
  
• Jesper H. Sørensen, Petar Popovski, Jan Østergaard:
  Analysis of LT Codes with Unequal Recovery Time.
  
• Ryan O'Donnell, David Witmer:
  Improved small-set expansion from higher eigenvalues.
  
• Jean-Yves Audibert, Sébastien Bubeck, Gábor Lugosi:
  Regret in Online Combinatorial Optimization.
  
• Maarten Löffler, Joe Simons, Darren Strash:
  Dynamic Planar Point Location with Sub-Logarithmic Local Updates.
  
• Chantal Racette:
  Numerical Analysis of Diagonal-Preserving, Ripple-Minimizing and Low-Pass Image Resampling Methods.
  
• Andrey Gorlin, C. R. Ramakrishnan, Scott A. Smolka:
  Model Checking with Probabilistic Tabled Logic Programming.
  
• Yongchao Xu, Thierry Géraud, Laurent Najman:
  Morphological Filtering in Shape Spaces: Applications using Tree-Based Image Representations.
  
• Julius D'souza:
  String Trees.
  
• S. Sobana, S. Krishna Prabha:
  An Efficient Method For Multichannel Wireless Mesh Networks With Pulse Coupled Neural Network.
  
• Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn:
  Verification Condition Generation and Variable Conditions in Smallfoot.
  
• Janna Hastings, Colin R. Batchelor, Fabian Neuhaus, Christoph Steinbeck:
  What's in an `is about' link? Chemical diagrams and the Information Artifact Ontology.
  
• Shuotian Bai, Tingshao Zhu, Li Cheng:
  Big-Five Personality Prediction Based on User Behaviors at Social Network Sites.
  
• Hongyu Liang:
  On the Signed (Total) $k$-Domination Number of a Graph.
  
• Wajeb Gharibi:
  Improved Balas and Mazzola Linearization for Quadratic 0-1 Programs with Application in a New Cutting Plane Algorithm.
  
• Arash Farzan, J. Ian Munro, Rajeev Raman:
  Succinct Indices for Range Queries with applications to Orthogonal Range Maxima.
  
• Eric Rebeiz, Giuseppe Caire, Andreas F. Molisch:
  Energy-Delay Tradeoff and Dynamic Sleep Switching for Bluetooth-Like Body-Area Sensor Networks.
  
• Panayotis Antoniadis, Serge Fdida, Christopher Griffin, Youngmi Jin, George Kesidis:
  CSMA Local Area Networking under Dynamic Altruism.
  
• Guohua Zhang, Xinmei Wang:
  Tight lower bound of consecutive lengths for QC-LDPC codes with girth twelve.
  
• Masoud Farivar, Steven H. Low:
  Branch Flow Model: Relaxations and Convexification.
  
• Shai Bagon, Meirav Galun:
  A Unified Multiscale Framework for Discrete Energy Minimization.
  
• Le Quang Thuan, M. Kanat Camlibel:
  On the existence, uniqueness and nature of Caratheodory and Filippov solutions for bimodal piecewise affine dynamical systems.
  
• Fedor V. Fomin, Saket Saurabh, Yngve Villanger:
  A Polynomial kernel for Proper Interval Vertex Deletion.
  
• Ramachandran Rajesh, Deekshith P. K., Vinod Sharma:
  Capacity of Gaussian MAC Powered by Energy Harvesters without Storage Buffer.
  
• M. Rizwan Jameel Qureshi, Waseem Qureshi:
  Evaluation of the Design Metric to Reduce the Number of Defects in Software Development.
  
• Diederik Aerts, Sandro Sozzo:
  Quantum Interference in Cognition: Structural Aspects of the Brain.
  
• Casey Bennett, Thomas Doub, Rebecca Selove:
  EHRs Connect Research and .
  
• Jakub Michaliszyn, Anca Muscholl, Slawek Staworko, Piotr Wieczorek, Zhilin Wu:
  On Injective Embeddings of Tree Patterns.
  
• Chathuranga Widanapathirana, Bok-Min Goi, Sim Moh Lim:
  MPIFA: A Modified Protocol Independent Fairness Algorithm for Community Wireless Mesh Networks.
  
• Hermann Gruber, Jonathan Lee, Jeffrey Shallit:
  Enumerating regular expressions and their languages.
  
• Emmanuel Jeandel, Pascal Vanier:
  Hardness of conjugacy and factorization of multidimensional subshifts of finite type.
  
• Patrick Taillandier, Cécile Duchêne, Alexis Drogoul:
  Using Belief Theory to Diagnose Control Knowledge Quality. Application to cartographic generalisation.
  
• Patrick Taillandier, Julien Gaffuri:
  Objective Function Designing Led by User Preferences Acquisition.
  
• Patrick Taillandier, Cécile Duchêne, Alexis Drogoul:
  Knowledge revision in systems based on an informed tree search strategy : application to cartographic generalisation.
  
• Thomas Bläsius, Ignaz Rutter, Dorothea Wagner:
  Optimal Orthogonal Graph Drawing with Convex Bend Costs.
  
• Niraj Kumar Singh, Mita Pal, Soubhik Chakraborty:
  The Parameterized Complexity Analysis of Partition Sort for Negative Binomial Distribution Inputs.
  
• Steve Jiekak, Anne-Marie Kermarrec, Nicolas Le Scouarnec, Gilles Straub, Alexandre van Kempen:
  Regenerating codes: what matters in practice?
  
• Zuleita Ka Ming Ho, Eduard A. Jorswieck:
  Instantaneous Relaying: Optimal Strategies and Interference Neutralization.
  
• Antonio Manzalini:
  Mitigating Systemic Risks in Future Networks.
  
• Jan Kretínský, Javier Esparza:
  Deterministic Automata for the (F,G)-fragment of LTL.
  
• Nikhil Karamchandani, Urs Niesen, Suhas N. Diggavi:
  Computation over Mismatched Channels.
  
• Jeffrey Kelling, Géza Ódor, Máté Ferenc Nagy, Henrik Schulz, Karl-Heinz Heinig:
  Comparison of Different Parallel Implementaions of the 2+1-Dimensional KPZ Model and the 3-Dimensional KMC Model.
  
• Niraj Kumar Singh, Soubhik Chakraborty:
  Smart Sort: Design and Analysis of a Fast, Efficient and Robust Comparison Based Internal Sort Algorithm.
  
• Christoph Lange, Patrick Ion, Anastasia Dimou, Charalampos Bratsas, Joseph Corneli, Wolfram Sperber, Michael Kohlhase, Ioannis Antoniou:
  Reimplementing the Mathematical Subject Classification (MSC) as a Linked Open Dataset.
  
• Christoph Lange, Oliver Kutz, Till Mossakowski, Michael Grüninger:
  The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization.
  
• Carst Tankink, Christoph Lange, Josef Urban:
  Point-and-write --- Documenting Formal Mathematics by Reference.
  
• Petr A. Golovach, Pim van 't Hof, Daniël Paulusma:
  Obtaining Planarity by Contracting Few Edges.
  
• Yaser Eftekhari, Amir H. Banihashemi, Ioannis Lambadaris:
  Analysis and Design of Irregular Graphs for Node-Based Verification-Based Recovery Algorithms in Compressed Sensing.
  
• Mahfuza Farooque, Stéphane Lengrand:
  A sequent calculus with procedure calls.
  
• Mahfuza Farooque, Stéphane Lengrand, Assia Mahboubi:
  Two simulations about DPLL(T).
  
• Maximiliano Barchiesi, Mercedes Sangroni, Carlos Renaudo, Pablo Rossi, María de Carmen Pramparo, Valeria Nepote, Nelson Ruben Grosso, María Fernanda Gayol:
  Christhin: Quantitative Analysis of Thin Layer Chromatography.
  
• Jakub Gajarský, Petr Hlinený:
  Deciding Graph MSO Properties: Has it all been told already?
  
• Bart de Keijzer, Tomas B. Klos, Yingqian Zhang:
  Solving Weighted Voting Game Design Problems Optimally: Representations, Synthesis, and Enumeration.
  
• Marie-Louise Bruner, Martin Lackner:
  A Fast Algorithm for Permutation Pattern Matching Based on Alternating Runs.
  
• Tsvi Kopelowitz, Nimrod Talmon:
  Selection in the Presence of Memory Faults, with Applications to In-place Resilient Sorting.
  
• Felipe Cinelli Barbosa, Jörg Kliewer, Max H. M. Costa:
  An Algebraic Framework for Concatenated Linear Block Codes in Side Information Based Problems.
  
• K. S. Kuppusamy, Leena Mary Francis, G. Aghila:
  WILI - Web Interface for people with Lowvision Issues.
  
• Armando Gonçalves Da Silva Junior, Pierre Deransart, Luis-Carlos Menezes, Marcos Aurélio Almeida da Silva, Jacques Robin:
  Towards a Generic Trace for Rule Based Constraint Reasoning.
  
• Yi Zhong, Wenyi Zhang:
  Stochastic Analysis of Mean Interference for RTS/CTS Mechanism.
  
• Heping Jiang:
  Non-Hamiltonian Holes in Grid Graphs.
  
• Anna Bernasconi, Valentina Ciriani, Fabrizio Luccio, Linda Pagli:
  Compact DSOP and partial DSOP Forms.
  
• Simon Hawe, Martin Kleinsteuber, Klaus Diepold:
  Analysis Operator Learning and Its Application to Image Reconstruction.
  
• Joydeep Chandra, Ingo Scholtes, Niloy Ganguly, Frank Schweitzer:
  A Tunable Mechanism for Identifying Trusted Nodes in Large Scale Distributed Networks.
  
• Maxime Lefrançois, Fabien Gandon:
  ILexicOn: toward an ECD-compliant interlingual lexical ontology described with semantic web formalisms.
  
• Jaroslaw Duda, Pawel Korus:
  Correction Trees as an Alternative to Turbo Codes and Low Density Parity Check Codes.
  
• Santiago Escobar (Ed.): Proceedings 10th International Workshop on Reduction Strategies in Rewriting and Programming. EPTCS 82 2011
  Contents
• Romain Couillet, Frédéric Pascal, Jack W. Silverstein:
  Robust M-Estimation for Array Processing: A Random Matrix Approach.
  
• Pankaj K. Agarwal, Rinat Ben Avraham, Haim Kaplan, Micha Sharir:
  Computing the Discrete Fréchet Distance in Subquadratic Time.
  
• Marek Karpinski, Andrzej Rucinski, Edyta Szymanska:
  Approximate Counting of Matchings in Sparse Uniform Hypergraphs.
  
• Nicolae Cleju, Maria G. Jafari, Mark D. Plumbley:
  Analysis-based sparse reconstruction with synthesis-based solvers.
  
• Manfred Kufleitner, Alexander Lauser:
  The Join of R-trivial and L-trivial Monoids via Combinatorics on Words.
  
• Marco Guerini, Carlo Strapparava, Oliviero Stock:
  Ecological Evaluation of Persuasive Messages Using Google AdWords.
  
• Shlomo Geva, Christopher M. De Vries:
  TopSig: Topology Preserving Document Signatures.
  
• Adrien Ickowicz:
  Track estimation with binary derivative observations.
  
• Arthur Carvalho, Kate Larson:
  A Consensual Linear Opinion Pool.
  
• Marco Aldinucci, Marco Danelutto, Massimo Torquati:
  FastFlow tutorial.
  
• Pradeep Singla, Naveen Kr. Malik:
  Reversible Programmable Logic Array (RPLA) using Feynman & MUX Gates for Low Power Industrial Applications.
  
• Manoj Kumar, Vikas Kaushik, Pradeep Singla:
  A New Approach of Improving CFA Image for Digital Camera's.
  
• Dohy Hong:
  Understanding differential equations through diffusion point of view.
  
• Mohammad Tofighi, Mahrokh G. Shayesteh, Hashem Kalbkhani, Mehdi Ghasemzadeh:
  Robust Head Pose Estimation Using Contourlet Transform.
  
• Eric Braude:
  Weakest Preconditions and Cumulative Subgoal Fulfillment: A Comparison.
  
• Qin Xin:
  Faster Treasure Hunt and Better Strongly Universal Exploration Sequences.
  
• Kirill Kogan, Alejandro López-Ortiz, Sergey I. Nikolenko, Alexander Sirotkin, Denis Tugaryov:
  FIFO Queueing Policies for Packets with Heterogeneous Processing.
  
• Michael T. Goodrich, Duy Nguyen, Olga Ohrimenko, Charalampos Papamanthou, Roberto Tamassia, Nikos Triandopoulos, Cristina Videira Lopes:
  Verifying Search Results Over Web Collections.
  
• Dara O. Shayda:
  Kolmogorov Complexity, Causality And Spin.
  
• Peter beim Graben, Roland Potthast:
  Implementing Turing Machines in Dynamic Field Architectures.
  
• Noga Ron-Zewi, Madhu Sudan:
  A new upper bound on the query complexity for testing generalized Reed-Muller codes.
  
• Peter Lofgren:
  On the Worst-Case Performance of the Monte Carlo Method for Incremental Pagerank.
  
• Ketan Rajawat, Emiliano Dall'Anese, Georgios B. Giannakis:
  Dynamic Network Delay Cartography.
  
• Klaus Aehlig, Stephen A. Cook, Phuong Nguyen:
  Relativizing Small Complexity Classes and their Theories.
  
• Moshe Babaioff, Robert Kleinberg, Renato Paes Leme:
  Optimal Mechanisms for Selling Information.
  
• Jun-ichi Yamamoto, Hideo Bannai, Shunsuke Inenaga, Masayuki Takeda:
  Time and Space Efficient Lempel-Ziv Factorization based on Run Length Encoding.
  
• Pradeep Singla, Naveen Kr. Malik:
  A Cost- Effective Design of Reversible Programmable Logic Array.
  
• Pradeep Singla:
  Towards the Solution of Power Dissipation in Electronics Systems through Thermodynamics.
  
• Detlef Plump:
  The Design of GP 2. 1-16
  
• Alberto Verdejo, Narciso Martí-Oliet:
  Basic completion strategies as another application of the Maude strategy language. 17-36
  
• Walid Belkhir, Alain Giorgetti:
  Lazy AC-Pattern Matching for Rewriting. 37-51
  
• Matthias Raffelsieper:
  Productivity of Non-Orthogonal Term Rewrite Systems. 53-67
  
• Hans Zantema:
  Strategy Independent Reduction Lengths in Rewriting and Binary Arithmetic. 69-76
  
• Sudhir R. Ghorpade, Krishna V. Kaipa:
  Automorphism groups of Grassmann codes.
  
• Omer Tamuz:
  A lower bound on seller revenue in single buyer monopoly auctions.
  
• YuQian Zhou:
  The program complexity on .
  
• Patrick E. Farrell, David A. Ham, Simon W. Funke, Marie E. Rognes:
  Automated derivation of the adjoint of high-level transient finite element programs.
  
• Montserrat Manubens, Guillaume Moroz, Damien Chablat, Philippe Wenger, Fabrice Rouillier:
  Cusp Points in the Parameter Space of Degenerate 3-RPR Planar Parallel Manipulators.
  
• B. B. Gupta, Ramesh C. Joshi, Manoj Misra:
  An Efficient Analytical Solution to Thwart DDoS Attacks in Public Domain.
  
• B. B. Gupta, Ramesh C. Joshi, Manoj Misra:
  Dynamic and Auto Responsive Solution for Distributed Denial-of-Service Attacks Detection in ISP Network.
  
• Paul Bonsma:
  Rerouting shortest paths in planar graphs.
  
• David Ramírez, Javier Vía, Ignacio Santamaría, Louis L. Scharf:
  Locally Most Powerful Invariant Tests for Correlation and Sphericity of Gaussian Vectors.
  
• Krzysztof R. Apt, Evangelos Markakis:
  Social Networks with Competing Products.
  
• Roland Kindermann, Tommi A. Junttila, Ilkka Niemelä:
  SMT-based Induction Methods for Timed Systems.
  
• Dimitri Papadimitriou, Albert Cabellos:
  Stability Analysis of Path-vector Routing.
  
• Dimitri Papadimitriou, Albert Cabellos:
  Analysis of Path-vector Routing Stability.
  
• Ibrahim El Bitar, Fatima-Zahra Belouadha, Ounsa Roudies:
  Taxonomy and synthesis of Web services querying languages.
  
• Rakshith Rajashekar, K. V. S. Hari:
  ML Decoding Complexity Reduction in STBCs Using Time-Orthogonal Pulse Shaping.
  
• Dietrich Kuske:
  Isomorphisms of scattered automatic linear orders.
  
• Per Austrin, Johan Håstad:
  On the Usefulness of Predicates.
  
• Shun Watanabe, Yasutada Oohama:
  Cognitive Interference Channels with Confidential Messages under Randomness Constraint.
  
• Per Austrin, Ryan O'Donnell, John Wright:
  A new point of NP-hardness for 2-to-1 Label Cover.
  
• C. Ferreira, S. Monteiro, J. Monteiro:
  Automatic Generation of C-code or PLD Circuits under SFC Graphical Environment.
  
• Kathie Cameron, Steven Chaplick, Chính T. Hoàng:
  Edge Intersection Graphs of L-Shaped Paths in Grids.
  
• Arvind Yedla, Yung-Yih Jian, Phong S. Nguyen, Henry D. Pfister:
  A Simple Proof of Threshold Saturation for Coupled Scalar Recursions.
  
• Mikko Vehkaperä, Saikat Chatterjee, Mikael Skoglund:
  Analysis of MMSE Estimation for Compressive Sensing of Block Sparse Signals.
  
• Thomas A. Courtade:
  Information Masking and Amplification: The Source Coding Setting.
  
• Colin McQuillan:
  Degree two approximate Boolean #CSPs with variable weights.
  
• Jingjin Yu, Steven M. LaValle:
  Multi-agent Path Planning and Network Flow.
  
• Sébastien Bubeck, Nicolò Cesa-Bianchi:
  Regret Analysis of Stochastic and Nonstochastic Multi-armed Bandit Problems.
  
• Elliot Anshelevich, Onkar Bhardwaj, Martin Hoefer:
  Friendship, Altruism, and Reward Sharing in Stable Matching and Contribution Games.
  
• Chathuranga Widanapathirana, Y. Ahmet Sekercioglu, Bok-Min Goi:
  Hybrid FPMS: A New Fairness Protocol Management Scheme for Community Wireless Mesh Networks.
  
• Jeremy Bryans, John S. Fitzgerald (Eds.): Proceedings Third Workshop on Formal Aspects of Virtual Organisations. EPTCS 83 2011
  Contents
• Jérémy Barbay:
  Optimal Prefix Free Code: word-RAM Linear and Algebraic Instance Optimal.
  
• Dusko Pavlovic:
  Quantitative Concept Analysis.
  
• Chathuranga Widanapathirana, Jonathan C. Li, Y. Ahmet Sekercioglu, Milosh V. Ivanovich, Paul G. Fitzpatrick:
  Intelligent Automated Diagnosis of Client Device Bottlenecks in Private Clouds.
  
• Marco Molinaro, R. Ravi:
  Geometry of Online Packing Linear Programs.
  
• Siddharth Barman, Shuchi Chawla, Seeun Umboh:
  A Bicriteria Approximation for the Reordering Buffer Problem.
  
• Adrian Dumitrescu:
  The traveling salesman problem for lines and rays in the plane.
  
• Antonio Blanca, Milena Mihail:
  Efficient Generation ε-close to G(n,p) and Generalizations.
  
• Shrikrishan Yadav, Shuchi Jani, B. L. Pal:
  Analysis of Various Symbol Detection Techniques in Multiple-Input Multiple-Output System (MIMO).
  
• Youssef Bassil, Mohammad Alwani:
  Context-sensitive Spelling Correction Using Google Web 1T 5-Gram Information.
  
• Thomas Bläsius, Stephen G. Kobourov, Ignaz Rutter:
  Simultaneous Embedding of Planar Graphs.
  
• Paolo Liberatore, Marco Schaerf:
  On the Complexity of Finding Second-Best Abductive Explanations.
  
• Michel Rigo:
  Numeration Systems: a Link between Number Theory and Formal Language Theory.
  
• Christoph Benzmueller, Valerio Genovese:
  Quantified Conditional Logics are Fragments of HOL.
  
• Fabrizio Luccio, Linda Pagli:
  Chain Rotations: a New Look at Tree Distance.
  
• S. Albeverio, S. V. Kozyrev:
  Clustering by hypergraphs and dimensionality of cluster systems.
  
• Arthur Carvalho, Kate Larson:
  On a Reliable Peer-Review Process.
  
• Florent R. Madelaine, Barnaby Martin:
  Containment, Equivalence and Coreness from CSP to QCSP and beyond.
  
• Yuxin Chen, Yonina C. Eldar, Andrea J. Goldsmith:
  Channel Capacity under Sub-Nyquist Nonuniform Sampling.
  
• James Abello, Pavel Klavík, Jan Kratochvíl, Tomás Vyskocil:
  Matching and l-Subgraph Contractibility to Planar Graphs.