CoRR, April 2011
- Denis S. Krotov:
On the binary codes with parameters of triply-shortened 1-perfect codes.

- Guanfeng Liang, Nitin H. Vaidya:
Capacity of Byzantine Consensus with Capacity-Limited Point-to-Point Links.

- Elizabeth Bodine-Baron, Christina Lee, Anthony Chong, Babak Hassibi, Adam Wierman:
Peer Effects and Stability in Matching Markets.

- Yoo Chung:
Distributed Denial of Service is a Scalability Problem.

- Shuo-Tsung Chen, Huang-Nan Huang, Chur-Jen Chen:
Adaptive Audio Watermarking via the Optimization Point of View on the Wavelet-Based Entropy.

- S.-T. Chen, H.-N. Huang, S.-Y. Tu:
Quantization Audio Watermarking with Optimal Scaling on Wavelet Coefficients.

- Yi Gai, Bhaskar Krishnamachari:
Decentralized Online Learning Algorithms for Opportunistic Spectrum Access.

- George C. Alexandropoulos, Agisilaos Papadogiannis, Paschalis C. Sofotasios:
A Comparative Study of Relaying Schemes with Decode-and-Forward over Nakagami-m Fading Channels.

- Tobias Christ, Andrea Francke, Heidi Gebauer, Jirí Matousek, Takeaki Uno:
A Doubly Exponentially Crumbled Cake.

- Fabian Abel, Ilknur Celik, Claudia Hauff, Laura Hollink, Geert-Jan Houben:
U-Sem: Semantic Enrichment, User Modeling and Mining of Usage Data on the Social Web.

- Krishnendu Chatterjee, Thomas A. Henzinger, Mathieu Tracol:
The Decidability Frontier for Probabilistic Automata on Infinite Words.

- Vera Hollink, Arjen P. de Vries:
Towards an automated query modification assistant.

- Jörg Bühler, Gerhard Wunder:
On Interference Alignment and the Deterministic Capacity for Cellular Channels with Weak Symmetric Cross Links.

- Sumit Kumar, Deepti Singhal, Garimella Rama Murthy:
Doubly Cognitive Architecture Based Cognitive Wireless Sensor Network.

- Michael Chertkov, Mikhail G. Stepanov, Feng Pan, Ross Baldick:
Exact and Efficient Algorithm to Discover Extreme Stochastic Events in Wind Generation over Transmission Power Grids.

- Martin Grohe, Marc Thurley:
Counting Homomorphisms and Partition Functions.

- Ugo Dal Lago, Marco Gaboardi:
Linear Dependent Types and Relative Completeness.

- Ugo Dal Lago, Margherita Zorzi:
Probabilistic Operational Semantics for the Lambda Calculus.

- Boris D. Lubachevsky:
Why The Results of Parallel and Serial Monte Carlo Simulations May Differ.

- Kristian B. Ølgaard, Garth N. Wells:
Optimisations for quadrature representations of finite element tensors through automated code generation.

- Loïc Michel:
Introduction to the model-free control of microgrids.

- Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev:
On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces.

- Yaser Eftekhari, Anoosheh Heidarzadeh, Amir H. Banihashemi, Ioannis Lambadaris:
Density Evolution Analysis of Node-Based Verification-Based Algorithms in Compressive Sensing.

- Yang Gao, Ertem Tuncel:
Separate Source-Channel Coding for Broadcasting Correlated Gaussians.

- Ido Ginodi, Amir Globerson:
Gaussian Robust Classification.

- Peter R. Brune, Matthew G. Knepley, L. Ridgway Scott:
Unstructured Geometric Multigrid in Two and Three Dimensions on Complex and Graded Meshes.

- Mike Stimpson:
Evolving a New Feature for a Working Program.

- Serge Haddad, Jean Mairesse, Hoang-Thach Nguyen:
Synthesis and Analysis of Product-form Petri Nets.

- Ashkan Khatir, Shaghayegh Abdolahzadegan, Iman Mahmoudi:
High Speed Multiple Valued Logic Full Adder Using Carbon Nano Tube Field Effect Transistor.

- Joseph J. Pfeiffer III, Jennifer Neville:
Methods to Determine Node Centrality and Clustering in Graphs with Uncertain Structure.

- Yudong Chen, Ali Jalali, Sujay Sanghavi, Constantine Caramanis:
Low-rank Matrix Recovery from Errors and Erasures.

- Ehsan Heidari, Ali Movaghar:
An Efficient Method Based on Genetic Algorithms to Solve Sensor Network Optimization Problem.

- Robert Rothenberg:
Proof-Theoretic Soundness and Completeness.

- Neri Merhav:
Relations between redundancy patterns of the Shannon code and wave diffraction patterns of partially disordered media.

- Vladimir V. Gusev, Elena V. Pribavkina:
On Non-Complete Sets and Restivo's Conjecture.

- Linh Anh Nguyen:
A Cut-Free ExpTime Tableau Decision Procedure for the Logic Extending Converse-PDL with Regular Inclusion Axioms.

- Daejung Yoon, Jaekyun Moon:
Soft-Decision-Driven Channel Estimation for Pipelined Turbo Receivers.

- Bartosz Jankowski, Wojciech Mazurczyk, Krzysztof Szczypiorski:
PadSteg: Introducing Inter-Protocol Steganography.

- Peyman Razaghi, Song-Nam Hong, Lei Zhou, Wei Yu, Giuseppe Caire:
Two Birds and One Stone: Gaussian Interference Channel with a Shared Out-of-Band Relay.

- Yu Mao:
Reconstruction of Binary Functions and Shapes from Incomplete Frequency Information.

- Jeong-woo Cho, Yung Yi:
On the Payoff Mechanisms in Peer-Assisted Services with Multiple Content Providers: Rationality and Fairness.

- Yaping Li, Minghua Chen, Qiwei Li, Wei Zhang:
Enabling Multi-level Trust in Privacy Preserving Data Mining.

- Christophe Chabot, Jean-Guillaume Dumas, Laurent Fousse, Pascal Giorgi:
Recursive double-size fixed precision arithmetic.

- Michele Basaldella, Claudia Faggian:
Ludics with repetitions (Exponentials, Interactive types and Completeness).

- Wenyi Zhang, Satish Vedantam, Urbashi Mitra:
Joint Transmission and State Estimation: A Constrained Channel Coding Approach.

- Michael Benedikt, Georg Gottlob, Pierre Senellart:
Determining Relevance of Accesses at Runtime (Extended Version).

- Christian Senger, Vladimir Sidorenko, Steffen Schober, Martin Bossert, Victor V. Zyablov:
Adaptive Single-Trial Error/Erasure Decoding of Reed-Solomon Codes.

- Ye Ji:
Image Retrieval Method Using Top-surf Descriptor.

- Ran Tao:
Visual Concept Detection and Real Time Object Detection.

- Ranjan Pal, Pan Hui:
Modeling Internet Security Investments: The Case of Dealing with Information Uncertainty.

- Seyed Hamed Hassani, Nicolas Macris, Ryuhei Mori:
Near concavity of the growth rate for coupled LDPC chains.

- Peter Lohmann, Heribert Vollmer:
Complexity Results for Modal Dependence Logic.

- Parosh Aziz Abdulla, Richard Mayr:
Computing Optimal Coverability Costs in Priced Timed Petri Nets.

- Pankaj K. Agarwal, Jie Gao, Leonidas J. Guibas, Haim Kaplan, Vladlen Koltun, Natan Rubin, Micha Sharir:
Kinetic Stable Delaunay Graphs.

- Kristian B. Ølgaard, Anders Logg, Garth N. Wells:
Automated code generation for discontinuous Galerkin methods.

- Lakshmi Prasad Natarajan, K. Pavan Srinath, B. Sundar Rajan:
On the Sphere Decoding Complexity of STBCs for Asymmetric MIMO Systems.

- Mohamed A. El-Zawawy:
Program Optimization Based Pointer Analysis and Live Stack-Heap Analysis.

- Ioannis Broustis, Georgios S. Paschos, Dimitris Syrivelis, Leonidas Georgiadis, Leandros Tassiulas:
NCRAWL: Network Coding for Rate Adaptive Wireless Links.

- Mariano Tepper, Pablo Musé, Andrés Almansa:
Meaningful Clustered Forest: an Automatic and Robust Clustering Algorithm.

- Changbo Chen, Marc Moreno Maza:
Algorithms for Computing Triangular Decompositions of Polynomial Systems.

- Afshin Rostamizadeh, Alekh Agarwal, Peter L. Bartlett:
Online and Batch Learning Algorithms for Data with Missing Features.

- Wei Ren, Qing Zhao:
A Note on: `Algorithms for Connected Set Cover Problem and Fault-Tolerant Connected Set Cover Problem'.

- Vijayvaradharaj T. Muralidharan, B. Sundar Rajan:
A Non-Orthogonal DF Scheme for the Single Relay Channel and the Effect of Labelling.

- Ran Gelles, Amit Sahai:
Potent Tree Codes and their applications: Coding for Interactive Communication, revisited.

- Sicun Gao, André Platzer, Edmund M. Clarke:
Quantifier Elimination over Finite Fields Using Gröbner Bases.

- Yoo Chung:
Modeling network technology deployment rates with different network models.

- José Miguel Díaz-Báñez, Matias Korman, Pablo Pérez-Lantero, Inmaculada Ventura:
Locating a service facility and a rapid transit line.

- Anatoly Pashkevich, Alexandr Klimchik, Damien Chablat:
Enhanced stiffness modeling of manipulators with passive joints.

- Markus Wagner, Jareth Day, Claire Diora Jordan, Trent Kroeger, Frank Neumann:
Evolving Pacing Strategies for Team Pursuit Track Cycling.

- Guy Even, Yaniv Fais, Moti Medina, Shimon Shahar, Alexander Zadorojniy:
Real-Time Video Streaming in Multi-hop Wireless Static Ad Hoc Networks.

- Patrick Chedmail, Damien Chablat, Christophe Le Roy:
A distributed Approach for Access and Visibility Task with a Manikin and a Robot in a Virtual Reality Environment.

- Jolly Shah, Vikas Saxena:
Video Encryption: A Survey.

- Lutz Bornmann, Werner Marx:
The Anna Karenina principle: A mechanism for the explanation of success in science.

- B. G. Kodge, P. S. Hiremath:
SLDs for Visualizing Multicolor Elevation Contour Lines in Geo-Spatial Web Applications.

- Deepesh Ranka, Ashwani K. Rana, Rakesh Kumar Yadav, Kamalesh Yadav, Devendra Giri:
Performance evaluation of FD-SOI Mosfets for different metal gate work function.

- Damien Chablat, Fouad Bennis, Bernard Hoessler, Matthieu Guilbert:
Haptic devices and objects, robots and mannequin simulation in a CAD-CAM software: eM-Virtual Desktop.

- Ruina Ma, Damien Chablat, Fouad Bennis, Liang Ma:
A framework of motion capture system based human behaviours simulation for ergonomic analysis.

- Damien Chablat, Guillaume Moroz, Philippe Wenger:
Uniqueness domains and non singular assembly mode changing trajectories.

- Jian Gao, Minghao Yin, Ke Xu:
Phase Transitions in Knowledge Compilation: an Experimental Study.

- Ajesh Babu, Nutan Limaye, Jaikumar Radhakrishnan, Girish Varma:
Streaming algorithms for language recognition problems.

- Charalambos D. Charalambous, Photios Stavrou, Christos K. Kourtellaris:
Causal Rate Distortion Function and Relations to Filtering Theory.

- Dan Olteanu, Jakub Zavodny:
Factorised Representations of Query Results.

- Joost Van Honschoten, Henri de Jong, Wabe W. Koelmans, Thomas P. Parnell, Oleg V. Zaboronski:
Information Storage and Retrieval for Probe Storage using Optical Diffraction Patterns.

- Marius Zimand:
Possibilities and impossibilities in Kolmogorov complexity extraction.

- Gopal Pandurangan, Amitabh Trehan:
Xheal: Localized Self-healing using Expanders.

- Guy Bresler, Dustin Cartwright, David Tse:
Settling the feasibility of interference alignment for the MIMO interference channel: the symmetric square case.

- Yuan Zhang, Cihan Tepedelenlioglu:
Applications of Tauberian Theorem for High-SNR Analysis of Performance over Fading Channels.

- Benjamin A. Burton, Mathias Hiron:
Locating regions in a sequence under density constraints.

- Alexander Yu. Vlasov:
ReveR: Software Simulator of Reversible Processor with Stack.

- Stephen Guo, Mengqiu Wang, Jure Leskovec:
The Role of Social Networks in Online Shopping: Information Passing, Price of Trust, and Consumer Choice.

- Chenwei Wang, Tiangao Gou, Syed Ali Jafar:
Multiple Unicast Capacity of 2-Source 2-Sink Networks.

- Lionel Levine, Katherine E. Stange:
How to make the most of a shared meal: plan the last bite first.

- Dae San Kim, Dong Chan Kim, Jong Yoon Hyun:
Simple proofs for duality of generalized minimum poset weights and weight distributions of (Near-)MDS poset codes.

- Jaydip Sen:
An Efficient Algorithm for Detection of Selfish Packet Dropping Nodes in Wireless Mesh Networks.

- Meisam Razaviyayn, Gennady Lyubeznik, Zhi-Quan Luo:
On the Degrees of Freedom Achievable Through Interference Alignment in a MIMO Interference Channel.

- Y. Ming Tsang, Ada S. Y. Poon, Sateesh Addepalli:
Coding the Beams: Improving Beamforming Training in mmWave Communication System.

- Aleksey A. Galtsev, Andrei M. Sukhov:
Network attack detection at flow level.

- Shafi Bashar, Zhi Ding, Chengshan Xiao:
On Secrecy Rate Analysis of MIMO Wiretap Channels Driven by Finite-Alphabet Input.

- Saeed Rasouli Heikalabad, Hossein Rasouli, Farhad Nematy, Naeim Rahmani:
QEMPAR: QoS and Energy Aware Multi-Path Routing Algorithm for Real-Time Applications in Wireless Sensor Networks.

- Johannes Ebbing, Peter Lohmann:
Complexity of Model Checking for Modal Dependence Logic.

- Xiaodong Li:
Compressed Sensing and Matrix Completion with Constant Proportion of Corruptions.

- Ming Lam Leung:
Fixed Parameter Tractable Algorithm for Firefighting Problem.

- Manuel Bodirsky, Martin Hils, Alex Krimkevitch:
Tractable Set Constraints.

- Abdellatif Zaidi, Shlomo Shamai, Pablo Piantanida, Luc Vandendorpe:
Bounds on the Capacity of the Relay Channel with Noncausal State at Source.

- Babak Bashari Rad, Maslin Masrom, Suhaimi Ibrahim:
Evolution of Computer Virus Concealment and Anti-Virus Techniques: A Short Survey.

- Jun Wang, Gang Li, Hao Zhang, Xiqin Wang:
Analysis of Block OMP using Block RIP.

- Jun Wang, Gang Li, Hao Zhang, Xiqin Wang:
SAR Imaging of Moving Targets via Compressive Sensing.

- Rahul Vaze:
Super Critical and Sub Critical Regimes of Percolation with Secure Communication.

- Samuel Fiorini, Gwenaël Joret:
Approximating the Balanced Minimum Evolution Problem.

- Kaoutar Elhari, Bouchaib Bounabat:
Platform for Assessing Strategic Alignment Using Enterprise Architecture: Application to E-Government Process Assessment.

- Robert Crowston, Gregory Gutin, Mark Jones, Anders Yeo:
Lower Bound for Max-$r$-Lin2 and its Applications in Algorithmics and Graph Theory.

- Saif K. Mohammed, Emanuele Viterbo, Yi Hong, Ananthanarayanan Chockalingam:
Modulation Diversity in Fading Channels with Quantized Receiver.

- Maamar Sedrati, Azeddine Bilami, Mohamed Benmohamed:
M-AODV : AODV variant to improve quality of service in MANETs.

- Liang Ma, Damien Chablat, Fouad Bennis, Wei Zhang, Bo Hu, François Guillaume:
A novel approach for determining fatigue resistances of different muscle groups in static cases.

- Bo Hu, Liang Ma, Wei Zhang, Gaverial Salvendy, Damien Chablat, Fouad Bennis:
Can virtual reality predict body part discomfort and performance of people in realistic world for assembling tasks?

- Daniel M. Kane:
A Small PRG for Polynomial Threshold Functions of Gaussians.

- Emrah Akyol, Kumar Viswanatha, Kenneth Rose:
On Conditions for Linearity of Optimal Estimation.

- Yuanzhang Xiao, Jaeok Park, Mihaela van der Schaar:
Intervention in Power Control Games With Selfish Users.

- Soumen Bag, Soumen Barik, Prithwiraj Sen, Gautam Sanyal:
A Statistical Nonparametric Approach of Face Recognition: Combination of Eigenface & Modified k-Means Clustering.

- Damien Chablat, Jorge Angeles:
The Design of a Novel Prismatic Drive for a Three-DOF Parallel-Kinematics Machine.

- Alessandro Borri, Shaunak Dattaprasad Bopardikar, João Pedro Hespanha, Maria Domenica Di Benedetto:
Hide-and-Seek with Directional Sensing.

- Ashok V. Sutagundar, Sunilkumar S. Manvi:
Context Aware Multisensor Image Fusion for Military Sensor Networks using Multi Agent System.

- Radoslav Fulek, Daniel Neuwirth:
On Sets of Lines Not-Supporting Trees.

- Konstantinos Panagiotou, Reto Spöhel, Angelika Steger, Henning Thomas:
Explosive Percolation in Erdös-Rényi-Like Random Graph Processes.

- Gowri Shankar Ramaswamy, F. Sagayaraj Francis:
Latent table discovery by semantic relationship extraction between unrelated sets of entity sets of structured data sources.

- Guy Even, Yakov Matsri, Moti Medina:
Multi-Hop Routing and Scheduling in Wireless Networks in the SINR model.

- Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella:
JavaCtx: Seamless Toolchain Integration for Context-Oriented Programming.

- Michael Kerber, Michael Sagraloff:
Root Refinement for Real Polynomials.

- David Greenwood, Ian Sommerville:
Expectations and Reality: Why an enterprise software system didn't work as planned.

- Ronitt Rubinfeld, Gil Tamir, Shai Vardi, Ning Xie:
Fast Local Computation Algorithms.

- Wai Han Fong:
Coding Bounds for Multiple Phased-Burst Correction and Single Burst Correction Codes.

- Andreas Argyriou, Charles A. Micchelli, Massimiliano Pontil, Lixin Shen, Yuesheng Xu:
Efficient First Order Methods for Linear Composite Regularizers.

- Dmitry Chizhik, Gerard J. Foschini, Reinaldo A. Valenzuela:
A Basic Unified Context for Evaluating the Beam Forming and MIMO Options in a Wireless Link.

- Damian A. Morero, Graciela Corral-Briones, Carmen E. Rodríguez, Mario Rafael Hueda:
High-Rate Short-Block LDPC Codes for Iterative Decoding with Applications to High-Density Magnetic Recording Channels.

- Mark Burgin, Kees de Vey Mestdagh:
Logical Varieties in Normative Reasoning.

- Xiao Ma, Jia Liu, Baoming Bai:
New Techniques for Upper-Bounding the ML Decoding Performance of Binary Linear Codes.

- Xiaopeng Xu, Xiaochun Zhang:
Gaussian Affine Feature Detector.

- Arijit Laha:
An Agent-based Architecture for a Knowledge-work Support System.

- Amir Aavani:
Translating Pseudo-Boolean Constraints into CNF.

- Christian A. Duncan, Emden R. Gansner, Yifan Hu, Michael Kaufmann, Stephen G. Kobourov:
Optimal Polygonal Representation of Planar Graphs.

- Arijit Laha, Jyotirmay Das:
Fuzzy Rules and Evidence Theory for Satellite Image Analysis.

- Michael Baumann, Michel Bolla, Vincent Daanen, Jean-Luc Descotes, Jean-Yves Giraud, Nikolai Hungr, Antoine Leroy, Jean-Alexandre Long, Sébastien Martin, Jocelyne Troccaz:
Prosper: image and robot-guided prostate brachytherapy.

- Michael Kerber, Michael Sagraloff:
A Worst-case Bound for Topology Computation of Algebraic Curves.

- A. J. Han Vinck:
Coded Modulation for Power Line Communications.

- Byungchun Chung, Sandra Marcello, Amir-Pasha Mirbaha, David Naccache, Karim Sabeg:
Operand Folding Hardware Multipliers.

- Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz:
Efficient Emptiness Check for Timed Büchi Automata (Extended version).

- Guillaume Claret, Michaël Mathieu, David Naccache, Guillaume Seguin:
Physical Simulation of Inarticulate Robots.

- Khaled Masmoudi, Marc Antonini, Pierre Kornprobst:
A bio-inspired image coder with temporal scalability.

- Jan Klein, Sebastiano Barbieri, Miriam H. A. Bauer, Christopher Nimsky, Horst K. Hahn:
Benchmarking the Quality of Diffusion-Weighted Images.

- Luca Piancastelli, Leonardo Frizziero, Simone Marcoppido, Eugenio Pezzuti:
A Fuzzy Control Algorithm for the Electronic Stability Program optimized for tyre burst control.

- Gregory Kucherov:
On-line construction of position heaps.

- Silviu Maniu, Bogdan Cautis:
Efficient Top-K Retrieval in Online Social Tagging Networks.

- Chakradhara Reddy Chinthapanti:
Two Dimensional Random Patterns.

- Bashir Ahmad, Shakeel Ahmad, Shahid Hussain, Muhammad Zaheer Aslam, Zafar Abbas:
Automatic Vehicle Checking Agent (VCA).

- Muhammad Zaheer Aslam, Nasimullah, Abdur Rashid Khan:
A Proposed Decision Support .

- Marko D. Petkovic, Predrag S. Stanimirovic, Milan B. Tasic:
Effective partitioning method for computing weighted Moore-Penrose inverse.

- Milan B. Tasic, Predrag S. Stanimirovic, Marko D. Petkovic:
Symbolic computation of weighted Moore-Penrose inverse using partitioning method.

- Predrag S. Stanimirovic, Milan B. Tasic:
Computing generalized inverses using LU factorization of matrix product.

- Milan B. Tasic, Predrag S. Stanimirovic, Selver H. Pepic:
About the generalized LM-inverse and the weighted Moore-Penrose inverse.

- Andrew Adamatzky, Ben de Lacy Costello, Julian Holley, Jerzy Gorecki, Larry Bull:
Vesicle computers: Approximating Voronoi diagram on Voronoi automata.

- Frédéric Alauzet, Olivier Pironneau:
Continuous and Discrete Adjoints to the Euler Equations for Fluids.

- Klaus Iglberger, Georg Hager, Jan Treibig, Ulrich Rüde:
Expression Templates Revisited: A Performance Analysis of the Current ET Methodology.

- Venkatesan Guruswami, Ali Kemal Sinop:
Optimal Column-Based Low-Rank Matrix Reconstruction.

- Jos C. M. Baeten, Bas Luttik, Paul van Tilburg:
Reactive Turing Machines.

- Yuan Zhang, Cihan Tepedelenlioglu:
Asymptotic Capacity Analysis for Adaptive Transmission Schemes under General Fading Distributions.

- Adarsh B. Narasimhamurthy, Cihan Tepedelenlioglu, Yuan Zhang:
Multi-User Diversity with Random Number of Users.

- Iordanis Kerenidis, Shengyu Zhang:
A quantum protocol for sampling correlated equilibria unconditionally and without a mediator.

- Eduardo Hwang:
Dimensionality Decrease Heuristics for NP Complete Problems.

- Milan Basic:
Which weighted circulant networks have perfect state transfer?

- Francis George Cabarle, Henry Adorna, Miguel A. Martínez-del-Amor:
Simulating Spiking Neural P systems without delays using GPUs.

- Milan Basic:
Characterization of circulant graphs having perfect state transfer.

- Tony T. Lee, Yujie Wan, Hao Guan:
Randomized $\Delta$-Edge-Coloring via Quaternion of Complex Colors.

- Ichrak Amdouni, Pascale Minet, Cedric Adjih:
Node coloring for dense wireless sensor networks.

- K. Suresh:
"Improved FCM algorithm for Clustering on Web Usage Mining".

- Carsten Lemmen, Detlef Gronenborn, Kai W. Wirtz:
A simulation of the Neolithic transition in Western Eurasia.

- Aris L. Moustakas:
Tails of Random Matrix Diagonal Elements: The Case of the Wishart Inverse.

- David Tolpin, Solomon Eyal Shimony:
Rational Deployment of CSP Heuristics.

- M. S. Shirdhonkar, Manesh Kokare:
Off-Line Handwritten Signature Retrieval using Curvelet Transforms.

- Lilatul Ferdouse, Nasrin Akhter, Tamanna Haque Nipa, Fariha Tasmin Jaigirdar:
Simulation and Performance Analysis of Adaptive Filtering Algorithms in Noise Cancellation.

- Ali Rezaei Divroodi, Linh Anh Nguyen:
On Bisimulations for Description Logics.

- Carlos Munuera, Morgan Barbier:
Wet paper codes and the dual distance in steganography.

- André Platzer:
The Structure of Differential Invariants and Differential Cut Elimination.

- Kevin S. Xu, Mark Kliger, Alfred O. Hero III:
Adaptive Evolutionary Clustering.

- Robert Atkey:
Amortised Resource Analysis with Separation Logic.

- Huan He, Ke Xu, Ying Liu:
Internet Resource Pricing Models, Mechanisms, and Methods.

- Sham Kakade, Adam Tauman Kalai, Varun Kanade, Ohad Shamir:
Efficient Learning of Generalized Linear and Single Index Models with Isotonic Regression.

- Yavor Angelov Parvanov:
Materials to the Russian-Bulgarian Comparative Dictionary "EAD".

- Jakob Hoydis, Mari Kobayashi, Mérouane Debbah:
Optimal Channel Training in Uplink Network MIMO Systems.

- Kwie Min Wong:
Template-based matching using weight maps.

- Alwin de Rooij:
GEOMIR2K9 - A Similar Scene Finder.

- Prabhanjan Ananth, Meghana Nasre:
New Hardness Results in Rainbow Connectivity.

- Malik Magdon-Ismail:
A Note On Estimating the Spectral Norm of A Matrix Efficiently.

- Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen:
Optimizing XML querying using type-based document projection.

- Slav Petrov, Dipanjan Das, Ryan T. McDonald:
A Universal Part-of-Speech Tagset.

- Vladimir Pestov:
PAC learnability versus VC dimension: a footnote to a basic result of statistical learning.

- Namrata Vaswani:
Stability of Modified-CS and LS-CS for Recursive Reconstruction of Sparse Signal Sequences.

- Heechul Yun, Cheolgi Kim, Lui Sha:
Deterministic Real-time Thread Scheduling.

- Vasanthan Raghavan, Stephen V. Hanly, Venugopal V. Veeravalli:
Statistical Beamforming on the Grassmann Manifold for the Two-User Broadcast Channel.

- Maximilian Ott, Yan Shvartzshnaider:
A Case for a Global Information Network.

- Zhe Wang, Kai Hu, Ke Xu, Baolin Yin:
Structure Analysis of Network Traffic Matrix Based on Relaxed Principal Component Pursuit.

- Sibel Tari, Murat Genctav:
From a Modified Ambrosio-Tortorelli to a Randomized Part Hierarchy Tree.

- Sibel Tari:
Extracting Parts of 2D Shapes Using Local and Global Interactions Simultaneously.

- Georg Groh, Florian Straub, Andreas Donaubauer, Benjamin Koster:
Space and Time as a Primary Classification Criterion for Information Retrieval in Distributed Social Networking.

- Ori Shental:
Sparse Representation of White Gaussian Noise with Application to L0-Norm Decoding in Noisy Compressed Sensing.

- Yannai A. Gonczarowski, Ehud Friedgut:
On Sisterhood in the Gale-Shapley Matching Algorithm.

- Fedor V. Fomin, Yngve Villanger:
Subexponential Parameterized Algorithm for Minimum Fill-in.

- Boris Ryabko, Pavel Pristavka:
Experimental Investigation of Forecasting Methods Based on Universal Measures.

- Gianpaolo Oriolo, Ugo Pietropaoli, Gautier Stauffer:
On the Recognition of Fuzzy Circular Interval Graphs.

- Vince Bárány, Mikolaj Bojanczyk:
Finite Satisfiability for Guarded Fixpoint Logic.

- David Greenwood, Ian Sommerville:
Responsibility Modeling for the Sociotechnical Risk Analysis of Coalitions of Systems.

- Frank Kammer, Torsten Tholey:
Approximate Tree Decompositions of Planar Graphs in Linear Time.

- C. Ramya, K. S. Shreedhara, G. Kavitha:
Preprocessing: A Prerequisite for Discovering Patterns in WUM Process.

- Abhishek Das, Avijit Kar, Debasis Bhattacharyya:
Elimination of Specular .

- Camil Demetrescu, Irene Finocchi, Andrea Ribichini:
Reactive Imperative Programming with Dataflow Constraints.

- Jeffrey Shallit:
The Critical Exponent is Computable for Automatic Sequences.
231-239

- Edith Hemaspaandra, Henning Schnoor:
Minimization for Generalized Boolean Formulas.

- Kook Jin Ahn, Sudipto Guha:
Linear Programming in the Semi-streaming Model with Application to the Maximum Matching Problem.

- Ido Nevat, Gareth W. Peters, Iain B. Collings, Jinhong Yuan:
Cooperative Spectrum Sensing with Partial CSI.

- Muhammad Zaheer Aslam, Abdur Rashid Khan:
Comparison of Random Waypoint & Random Walk Mobility Model under DSR, AODV & DSDV MANET Routing Protocols.

- Michael P. Friedlander, Mark W. Schmidt:
Hybrid Deterministic-Stochastic Methods for Data Fitting.

- Devavrat Shah, Jinwoo Shin, Prasad Tetali:
Efficient Distributed Medium Access.

- Lila Kari, Steffen Kopecki, Shinnosuke Seki:
On the regularity of iterated hairpin completion of a single word.

- A. N. Trahtman:
Modifying the upper bound on the length of minimal synchronizing word.

- Claus-Peter Wirth:
A Simplified and Improved Free-Variable Framework for Hilbert's epsilon as an Operator of Indefinite Committed Choice.

- Shibdas Roy:
Towards Normal Forms for GHZ/W Calculus.

- Juanjo Rué, Ignasi Sau, Dimitrios M. Thilikos:
Dynamic Programming for Graphs on Surfaces.

- Rahul Jain, Penghui Yao:
A Parallel Approximation Algorithm for Positive Semidefinite Programming.

- Julio Enrique Castrillon-Candas, Jun Li, Victor Eijkhout:
A Discrete Adapted Hierarchical Basis Solver For Radial Basis Function Interpolation.

- Sara Ceschia, Luca Di Gaspero, Andrea Schaerf:
Design, Engineering, and .

- Steven Chaplick, Juraj Stacho:
The vertex leafage of chordal graphs.

- Bernhard Haeupler, David R. Karger:
Faster Information Dissemination in Dynamic Networks via Network Coding.

- Stefan Jaeger:
Computational Complexity on Signed Numbers.

- Serge Gaspers, Stefan Szeider:
Kernels for Global Constraints.

- Mingqiang Li, Jiwu Shu:
C-Codes: Cyclic Lowest-Density MDS Array Codes Constructed Using Starters for RAID 6.

- Anvesh Reddy Aileni:
Key Management in Mobile Sensor Networks.

- Erik Saule, Erdeniz Ö. Bas, Ümit V. Çatalyürek:
Load-Balancing Spatially Located Computations using Rectangular Partitions.

- Diego Rother, Simon Schütz, René Vidal:
A Computational Focus of Attention Mechanism to Process Shapes Efficiently: Theory.

- Konstantinos Nikitopoulos, Gerd Ascheid:
Approximate MIMO Iterative Processing with Adjustable Complexity Requirements.

- Rajeev Alur, Loris D'Antoni:
Streaming Tree Transducers.

- Fernando G. Lobo:
Idealized Dynamic Population Sizing for Uniformly Scaled Problems.

- David Baelde, Romain Beauxis, Samuel Mimram:
Liquidsoap: a High-Level Programming Language for Multimedia Streaming.

- Ioannis Caragiannis, Angelo Fanelli, Nick Gravin, Alexander Skopalik:
Efficient computation of approximate pure Nash equilibria.

- Alaa H. Al-Hamami, Soukaena H. Hashem:
Optimal Cell Towers Distribution by using Spatial Mining and Geographic Information System.

- Gleb Beliakov:
Parallel calculation of the median and order statistics on GPUs with application to robust regression.

- Cagri Aslan, Sibel Tari:
An Axis-Based Representation for Recognition.

- Cagri Aslan, Aykut Erdem, Erkut Erdem, Sibel Tari:
Disconnected Skeleton: Shape at its Absolute Scale.

- Tanzima Hashem, Lars Kulik, Rui Zhang:
Privacy Preserving Moving KNN Queries.

- Pascal Bianchi, Jérémie Jakubowicz:
Distributed Stochastic Approximation for Constrained and Unconstrained Optimization.

- Ali Tajer, Aria Nosratinia, Naofal Al-Dhahir:
Diversity Analysis of Symbol-by-Symbol Linear Equalizers.

- Johannes Klaus Fichte, Stefan Szeider:
Backdoors to Tractable Answer-Set Programming.

- John Iacono, Mihai Patrascu:
Using Hashing to Solve the Dictionary Problem (In External Memory).

- Marcello M. Bonsangue, Stefan Milius, Alexandra Silva:
Sound and complete axiomatizations of coalgebraic language equivalence.

- Bin Fu, Matthew J. Patitz, Robert T. Schweller, Bobby Sheline:
Self-Assembly with Geometric Tiles.

- Marius Zimand:
On the optimal compression of sets in PSPACE.

- Gregory Gutin, Mark Jones, Anders Yeo:
A New Bound for 3-Satisfiable MaxSat and its Algorithmic Application.

- Zaenal Akbar, Laksana Tri Handoko:
Pattern discovery for semi-structured web pages using bar-tree representation.

- Carsten Lutz, Frank Wolter:
Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics.

- Sebastian Ordyniak, Stefan Szeider:
Augmenting Tractable Fragments of Abstract Argumentation.

- Carsten Lutz, Robert Piro, Frank Wolter:
Description Logic TBoxes: Model-theoretic Characterizations and Rewritability.

- Mayur Agrawal, Zachary Chance, David James Love, Venkataramanan Balakrishnan:
Using Channel Output Feedback to Increase Throughput in Hybrid-ARQ.

- Ning Chen, Nick Gravin, Pinyan Lu:
Mechanism Design without Money via Stable Matching.

- Liam Roditty, Virginia Vassilevska Williams:
Minimum Weight Cycles and Triangles: Equivalences and Algorithms.

- Krishnendu Chatterjee, Laurent Doyen:
Energy and Mean-Payoff Parity Markov Decision Processes.

- Alantha Newman, Aleksandar Nikolov:
A counterexample to Beck's conjecture on the discrepancy of three permutations.

- Robert Sanderson, Benjamin Albritton, Rafael Schwemmer, Herbert Van de Sompel:
SharedCanvas: A Collaborative Model for Medieval Manuscript Layout Dissemination.

- Sergey Goncharov, Lutz Schröder:
A Coinductive Calculus for Asynchronous Side-effecting Processes.

- Yashodhan Kanoria, Andrea Montanari:
Subexponential convergence for information aggregation on regular trees.

- Arman Rezaee, Linda Zeger, Muriel Médard:
Speeding Multicast by Acknowledgment Reduction Technique (SMART).

- Keren Censor-Hillel, Bernhard Haeupler, Jonathan A. Kelner, Petar Maymounkov:
Global Computation in a Poorly Connected World: Fast Rumor Spreading with No Dependence on Conductance.

- Anand Bhalgat, Deeparnab Chakrabarty, Sanjeev Khanna:
Social Welfare in One-sided Matching Markets without Money.

- Mireille Arnoux, Thierry Despeyroux:
Multi-representation d'une ontologie : OWL, bases de donnees, systèmes de types et d'objets.

- Andreas Maletti, Daniel Quernheim:
Optimal Hyper-Minimization.

- Mohammad Iftekhar Husain, Steven Y. Ko, Atri Rudra, Steve Uurtamo:
Storage Enforcement with Kolmogorov Complexity and List Decoding.

- Sébastien Collette, John Iacono, Stefan Langerman:
Confluent Persistence Revisited.

- Johan Wästlund:
When only the last one will do.

- Nathanaël Fijalkow, Hugo Gimbert, Youssouf Oualhadj:
Pushing undecidability of the isolation problem for probabilistic automata.

- Nathanaël Fijalkow, Hugo Gimbert, Youssouf Oualhadj:
A Class of Probabilistic Automata with a Decidable Value 1 Problem.

- Ross D. King:
Numbers as Data Structures: The Prime Successor Function as Primitive.

- Michal Pilipczuk:
Problems parameterized by treewidth tractable in single exponential time: a logical approach.

- J. Selva:
Efficient Maximum Likelihood Estimation of a 2-D Complex Sinusoidal Based on Barycentric Interpolation.

- Minati De, Subhas C. Nandy:
Inplace Algorithm for Priority Search Tree and its use in Computing Largest Empty Axis-Parallel Rectangle.

- Kasper Green Larsen, Rasmus Pagh:
I/O-Efficient Data Structures for Colored Range and Prefix Reporting.

- Tobias Mömke, Ola Svensson:
Approximating Graphic TSP by Matchings.

- Valerio Capraro:
Existence of optimal strategies for the Operation Game into amenable semigroups.

- Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, James Worrell, Lijun Zhang:
On Stabilization in Herman's Algorithm.

- Yevgeniy Vorobeychik, Jackson Mayo, Robert C. Armstrong, Joseph R. Ruthruff:
Noncooperatively Optimized Tolerance: Decentralized Strategic Optimization in Complex Systems.

- Eli Gottlieb:
Simple, Decidable Type Inference with Subtyping.

- Hao Zhu, Georgios B. Giannakis:
Estimating the State of AC Power Systems using Semidefinite Programming.

- Alfons Laarman, Jaco van de Pol, Michael Weber:
Parallel Recursive State Compression for Free.

- Sara Ahmadian, Chaitanya Swamy:
Improved Approximation Guarantees for Lower-Bounded Facility Location.

- Juha Kontinen, Antti Kuusisto, Peter Lohmann, Jonni Virtema:
Complexity of two-variable Dependence Logic and IF-Logic.

- Chris Marriott, Carlos Gershenson:
Polyethism in a colony of artificial ants.

- Michalis Christou, Maxime Crochemore, Costas S. Iliopoulos, Marcin Kubica, Solon P. Pissis, Jakub Radoszewski, Wojciech Rytter, Bartosz Szreder, Tomasz Walen:
Efficient Seeds Computation Revisited.

- Laurent Jacques, Jason N. Laska, Petros Boufounos, Richard G. Baraniuk:
Robust 1-Bit Compressive Sensing via Binary Stable Embeddings of Sparse Vectors.

- Jing Huang, A. Lee Swindlehurst:
Robust Secure Transmission in MISO Channels Based on Worst-Case Optimization.

- Hussein Al-Zubaidy, Changcheng Huang, James Yan:
Dynamic Packet Scheduler Optimization in Wireless Relay Networks.

- Ilya Razenshteyn:
Common information revisited.

- Aleksandar Ilic, Dragan Stevanovic:
Constructions of hamiltonian graphs with bounded degree and diameter O (log n).

- Cagatay Capar, Dennis Goeckel, Donald F. Towsley:
Broadcast Analysis for Large Cooperative Wireless Networks.

- Krishnendu Chatterjee, Laurent Doyen, Rohit Singh:
On Memoryless Quantitative Objectives.

- Hongrae Lee, Raymond T. Ng, Kyuseok Shim:
Similarity Join Size Estimation using Locality Sensitive Hashing.

- Ziyang Liu, Sivaramakrishnan Natarajan, Yi Chen:
Query Expansion Based on Clustered Results.

- Debabrata Dash, Neoklis Polyzotis, Anastasia Ailamaki:
CoPhy: A Scalable, Portable, and Interactive Index Advisor for Large Workloads.

- Feng Niu, Christopher Ré, AnHai Doan, Jude W. Shavlik:
Tuffy: Scaling up Statistical Inference in Markov Logic Networks using an RDBMS.

- Eaman Jahani, Michael J. Cafarella, Christopher Ré:
Automatic Optimization for MapReduce Programs.

- De-Nian Yang, Yi-Ling Chen, Wang-Chien Lee, Ming-Syan Chen:
On Social-Temporal Group Query with Acquaintance Constraint.

- Babak Bashari Rad, Maslin Masrom:
Metamorphic Virus Variants Classification Using Opcode Frequency Histogram.

- Babak Bashari Rad, Maslin Masrom:
Metamorphic Virus Detection in Portable Executables Using Opcodes Statistical Feature.

- Salah Rifai, Xavier Glorot, Yoshua Bengio, Pascal Vincent:
Adding noise to the input of a model trained with a regularized objective.

- Quang-Cuong Pham:
Affine trajectory correction for nonholonomic mobile robots.

- Emeric Gioan, Christophe Paul, Marc Tedder, Derek G. Corneil:
Practical and Efficient Split Decomposition via Graph-Labelled Trees.

- Emeric Gioan, Christophe Paul, Marc Tedder, Derek G. Corneil:
Circle Graph Recognition in Time $O(n+m) \alpha(n+m)$.

- Wei Kang, Nan Liu:
The Gaussian Multiple Access Diamond Channel.

- Shlomi Dolev, Sergey Frenkel, Dan E. Tamir:
Computer Arithmetic Preserving Hamming Distance of Operands in Operation Result.

- Zino H. Hu:
On Direct Product of Strongly Connected Automata.

- Wojciech Fraczek, Wojciech Mazurczyk, Krzysztof Szczypiorski:
Hiding Information in a Stream Control Transmission Protocol.

- Hamed Hatami, Shachar Lovett:
Correlation Testing for Affine Invariant Properties on $\mathbb{F}_p^n$ in the High Error Regime.

- Diederik Aerts, Liane Gabora, Sandro Sozzo, Tomas Veloz:
Quantum Structure in Cognition: Fundamentals and Applications.

- Diederik Aerts, Marek Czachor, Sandro Sozzo:
Quantum Interaction Approach in Cognition, Artificial Intelligence and Robotics.

- Krishnendu Chatterjee, Monika Henzinger, Manas Joglekar, Nisarg Shah:
Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives.

- Simona Grusea, Anthony Labarre:
The distribution of cycles in breakpoint graphs of signed permutations.

- Christian Senger, Vladimir Sidorenko, Martin Bossert, Victor V. Zyablov:
Optimal Threshold-Based Multi-Trial Error/Erasure Decoding with the Guruswami-Sudan Algorithm.

- Hector Zenil, Fernando Soler-Toscano, Joost J. Joosten:
Empirical Encounters with Computational Irreducibility and Unpredictability.

- M. A. Shalu, S. Vijayakumar:
The Two Bicliques Problem is in NP intersection coNP.

- Gabriel Popa:
Characterization of Random Linear.

- Yoo Chung, Dongman Lee:
Probabilistic Analysis of Loss in Interface Adapter Chaining.

- Tomás Brázdil, Václav Brozek, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera:
Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes.

- Pin-Hsun Lin, Shih-Chun Lin, Hsuan-Jung Su, Yao-Win Peter Hong:
Clean relaying aided cognitive radio under the coexistence constraint.

- Narad Rampersad, Jeffrey O. Shallit, A. Shur:
Fife's Theorem for (7/3)-Powers.
189-198

- Wooseok Nam, Seung-Hyun Kong:
Least-squares based iterative multipath super-resolution technique.

- B. G. Kodge, P. S. Hiremath:
An Effect of Spatial Filtering in Visualization of Coronary Arteries Imaging.

- Paul Regnier, George Lima, Ernesto Massa:
An Optimal Real-Time Scheduling Approach: From Multiprocessor to Uniprocessor.

- Ruhi Tuncer:
Evolutionary Foundations of Mathematics.

- Franklin Felber:
An automatic volume control for preserving intelligibility.

- Rafael F. Wyrembelski, Holger Boche:
How to Achieve Privacy in Bidirectional Relay Networks.

- Seongwook Jeong, Jaekyun Moon:
Soft-In Soft-Out DFE and Bi-directional DFE.

- B. G. Kodge, P. S. Hiremath:
Visualization techniques for data mining of Latur district satellite imagery.

- Brian Ball, Brian Karrer, M. E. J. Newman:
An efficient and principled method for detecting communities in networks.

- Randall Dougherty, Christopher F. Freiling, Kenneth Zeger:
Non-Shannon Information Inequalities in Four Random Variables.

- Juergen Mangler, Stefanie Rinderle-Ma:
IUPC: Identification and Unification of Process Constraints.

- Ying Liu, Hongying Liu, Ke Xu, Meng Shen, Yifeng Zhong:
A Large Family of Multi-path Dual Congestion Control Algorithms.

- Lili Zhang, Jinhua Jiang, Shuguang Cui:
Interference Channel with State Information.

- Chuan Huang, Jinhua Jiang, Shuguang Cui:
Asymptotic Capacity of Large Relay Networks with Conferencing Links.

- Pinar Heggernes, Pim van 't Hof, Benjamin Lévêque, Daniel Lokshtanov, Christophe Paul:
Contracting Graphs to Paths and Trees.

- Chingtham Tejbanta Singh, G. Sahoo, M. K. Ghose:
An Unmanned Aerial Vehicle as Human-Assistant Robotics System.

- Lamia Benamara, Clémence Magnien:
Removing bias due to finite measurement of dynamic systems: case study on P2P systems.

- Johannes Blömer, Stefanie Naewe:
Solving the Closest Vector Problem with respect to $\ell_p$ Norms.

- David Malone, Kevin Maher:
Investigating the Distribution of Password Choices.

- Anne-Maria Ernvall-Hytönen:
On a conjecture by Belfiore and Solé on some lattices.

- Fillipe Dias Moreira de Souza, Eduardo Valle, Guillermo Camara Chávez, Arnaldo de Albuquerque Araújo:
Hue Histograms to Spatiotemporal Local Features for Action Recognition.

- Per Austrin, Mark Braverman, Eden Chlamtac:
Inapproximability of NP-Complete Variants of Nash Equilibrium.

- Francesco Bonchi, Pooya Esfandiar, David F. Gleich, Chen Greif, Laks V. S. Lakshmanan:
Fast matrix computations for pair-wise and column-wise commute times and Katz scores.

- Masaaki Miki:
Extended force density method and its expressions.

- Tarun Agarwal, Shuguang Cui:
Noncooperative Games for Autonomous Consumer Load Balancing over Smart Grid.

- Alexandra Kolla, Konstantin Makarychev, Yury Makarychev:
How to Play Unique Games against a Semi-Random Adversary.

- Stephan Kreutzer, Siamak Tazari:
Directed Nowhere Dense Classes of Graphs.

- Juha Kärkkäinen, Simon J. Puglisi:
Fixed Block Compression Boosting in FM-Indexes.

- Ery Arias-Castro, Yonina C. Eldar:
Noise Folding in Compressed Sensing.

- Zachary Fitzsimmons, Robin Y. Flatland:
Collective Construction of 2D Block Structures with Holes.

- Michiel W. van Tol, Juha Koivisto:
Extending and Implementing the Self-adaptive Virtual Processor for Distributed Memory Architectures.

- Hongmei Xie, Zhiyuan Yan, Bruce W. Suter:
General Linearized Polynomial Interpolation and Its Applications.

- Lovro Subelj, Stefan Furlan, Marko Bajec:
An expert system for detecting automobile insurance fraud using social network analysis.

- Joachim Kneis, Alexander Langer, Peter Rossmanith:
Courcelle's Theorem - A Game-Theoretic Approach.

- Ali Tajer, Xiaodong Wang:
Information Exchange Limits in Cooperative MIMO Networks.

- Cynthia Dwork, Moritz Hardt, Toniann Pitassi, Omer Reingold, Richard S. Zemel:
Fairness Through Awareness.

- Bundit Laekhanukit:
An improved approximation algorithm for the minimum-cost subset k-connected subgraph problem.

- Christian Drescher, Toby Walsh:
Translation-based Constraint Answer Set Solving.

- Libin Shen:
Understanding Exhaustive Pattern Learning.

- Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh:
Symmetry Breaking for Distributed Multi-Context Systems.

- Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil:
Communication Optimalement Stabilisante sur Canaux non Fiables et non FIFO.

- Denis S. Krotov, Patric R. J. Östergård, Olli Pottonen:
On Optimal Binary One-Error-Correcting Codes of Lengths $2^m-4$ and $2^m-3$.

- Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil:
Auto-Stabilisation et Confinement de Fautes Malicieuses : Optimalité du Protocole min+1.

- Ünal Göktas, Devendra Kapadia:
Methods in Mathematica for Solving Ordinary Differential Equations.

- Ünal Göktas, Willy Hereman:
Symbolic Computation of Recursion Operators for Nonlinear Differential-Difference equations.

- Fanggang Wang, Soung Chang Liew:
Wireless MIMO Switching.

- Mathilde Noual:
Synchronism vs Asynchronism in Boolean networks.

- Mathilde Noual:
General Iteration graphs and Boolean automata circuits.

- Maurizio Lenzerini, Domenico Fabio Savo:
On the evolution of the instance level of DL-lite knowledge bases.

- Tao Wang:
Cramér-Rao Bound for Localization with A Priori Knowledge on Biased Range Measurements.

- Kook Jin Ahn, Sudipto Guha:
Laminar Families and Metric Embeddings: Non-bipartite Maximum Matching Problem in the Semi-Streaming Model.

- Fionn Murtagh, Pedro Contreras:
Fast redshift clustering with the Baire (ultra) metric.

- Neil J. Gunther:
A Note on Parallel Algorithmic Speedup Bounds.

- Shayan Oveis Gharan, Jan Vondrák:
On Variants of the Matroid Secretary Problem.

- Renate A. Schmidt, Dmitry Tishkovsky:
Automated Synthesis of Tableau Calculi.

- Giovanni Viglietta:
Searching Polyhedra by Rotating Planes.

- Salah Rifai, Xavier Muller, Xavier Glorot, Grégoire Mesnil, Yoshua Bengio, Pascal Vincent:
Learning invariant features through local space contraction.

- Arash Khabbazibasmenj, Sergiy A. Vorobyov:
Power Allocation Based on SEP Minimization in Two-Hop Decode-and-Forward Relay Networks.

- Zengmao Chen, Cheng-Xiang Wang, Xuemin Hong, John S. Thompson, Sergiy A. Vorobyov, Feng Zhao, Hailin Xiao, Xiaohu Ge:
Interference Mitigation for Cognitive Radio MIMO Systems Based on Practical Precoding.

- Mingyu Xiao, Ton Kloks, Sheung-Hung Poon:
New parameterized algorithms for edge dominating set.

- Umesh Kumar Pandey, Saurabh Pal:
Data Mining : A prediction of performer or underperformer using classification.

- Umesh Kumar Pandey, Saurabh Pal:
A Data Mining view on Class Room Teaching Language.

- Wei Liu, Eraldo Ribeiro:
A Meshless Method for Variational Nonrigid 2-D Shape Registration.

- Pawel Gawrychowski:
Pattern matching in Lempel-Ziv compressed strings: fast, simple, and deterministic.

- Snehasish Kumar, Satyananda Champati Rai, Rajib Mall, Sateesh Kumar Pradhan:
MiCi: A Novel Micro-Level Temporal Channel Imploration for Mobile Hosts.

- Hans L. Bodlaender, Bart M. P. Jansen, Stefan Kratsch:
Preprocessing for Treewidth: A Combinatorial Analysis through Kernelization.

- Bart M. P. Jansen, Stefan Kratsch:
Data Reduction for Graph Coloring Problems.

- Qinghe Du, Xi Zhang:
QoS-Aware Base-Station Selections for Distributed MIMO Links in Broadband Wireless Networks.

- Ishanu Chattopadhyay:
Distributed Self-Organization Of Swarms To Find Globally $\epsilon$-Optimal Routes To Locally Sensed Targets.

- Qiang Li, Wing-Kin Ma:
A Robust Artificial Noise Aided Transmit Design for Miso Secrecy.

- Sebastian Ordyniak, Daniël Paulusma, Stefan Szeider:
Satisfiability of Acyclic and Almost Acyclic CNF Formulas (II).

- Masahito Hayashi, Ryutaroh Matsumoto:
Universally Attainable Error and Information Exponents for the Broadcast Channels with Confidential Messages.

- Eun Jung Kim, Sebastian Ordyniak, Stefan Szeider:
Algorithms and Complexity Results for Persuasive Argumentation.

- Oleg S. Pianykh:
Improving digital signal interpolation: L2-optimal kernels with kernel-invariant interpolation speed.

- Massimo Franceschet:
Collaboration in computer science: a network science approach. Part II.

- Carsten Gottschlich:
Curved Gabor Filters for Fingerprint Image Enhancement.

- Veniamin I. Morgenshtern, Helmut Bölcskei:
A Short Course on Frame Theory.

- Vincent Y. F. Tan, Laura Balzano, Stark C. Draper:
Rank Minimization over Finite Fields: Fundamental Limits and Coding-Theoretic Interpretations.

- Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh:
Quantitative Synthesis for Concurrent Programs.

- Daniel Zahavi, Ron Dabora:
Capacity Theorems for the Fading Interference Channel with a Relay and Feedback Links.

- Yannis Haralambous:
Seeking Meaning in a Space Made out of Strokes, Radicals, Characters and Compounds.

- Djamal Belazzougui, Alexis C. Kaporis, Paul G. Spirakis:
Random input helps searching predecessors.

- Daniel Loebenberger, Michael Nüsken:
Analyzing standards for RSA integers.

- Bang Ye Wu:
The maximum disjoint paths problem on multi-relations social networks.

- Yuan Yao, Jianfeng Zheng, Zhenghe Feng:
Array independent MIMO channel models with analytical characteristics.

- Rajkumar Buyya, Karthik Sukumar:
Platforms for Building and Deploying Applications for Cloud Computing.

- Nitin Gupta:
EMBANKS: Towards Disk Based Algorithms For Keyword-Search In Structured Databases.

- Nikhil S. Rao, Robert D. Nowak, Stephen J. Wright, Nick G. Kingsbury:
Convex Approaches to Model Wavelet Sparsity Patterns.

- Yoav Shechtman, Yonina C. Eldar, Alexander Szameit, Mordechai Segev:
Sparsity based sub-wavelength imaging with partially incoherent light via quadratic compressed sensing.

- Oussama Allali, Lionel Tabourier, Clémence Magnien, Matthieu Latapy:
Internal links and pairs as a new tool for the analysis of bipartite complex networks.

- Antal Iványi, Imre Kátai:
Testing of random matrices.

- John Augustine, Ioannis Caragiannis, Angelo Fanelli, Christos Kalaitzis:
Enforcing efficient equilibria in network design games via subsidies.

- Zoltán Kása:
Super-d-complexity of finite words.

- Zoltán Kása:
On scattered subword complexity.

- Maurizio Serva:
Phylogeny and geometry of languages from normalized Levenshtein distance.

- Gerhard Lischke:
Primitive words and roots of words.

- Vladimir Yu. Popov:
Arc-preserving subsequences of arc-annotated sequences.

- Sebastian Böcker:
Towards a Data Reduction for the Minimum Flip Supertree Problem.

- Henricus Bouwmeester, Mathias Jacquelin, Julien Langou, Yves Robert:
Tiled QR factorization algorithms.

- Amar Mukherjee:
The 3-satisfiability problem.

- Mohamed Abouelseoud, Aria Nosratinia:
Opportunistic Wireless Relay Networks: Diversity-Multiplexing Tradeoff.

- Barbara Baumeister, Jan de Wiljes:
Aperiodic logarithmic signatures.

- Konstanty Junosza-Szaniawski, Pawel Rzazewski:
Determining L(2,1)-Span in Polynomial Space.

- Aydin Buluç, Kamesh Madduri:
Parallel Breadth-First Search on Distributed Memory Systems.

- Mathukumalli Vidyasagar:
Metrics Between Probability Distributions on Finite Sets of Different Cardinalities by Maximizing Mutual Information (MMI).

- M. Brede:
Playing against the fittest: A simple strategy that promotes the emergence of cooperation.

- H. A. Esmaili, M. R. Khalili Shoja, Hossein Gharaee:
Performance Analysis of AODV under Black Hole Attack through Use of OPNET Simulator.

- Sumit Ganguly:
Polynomial Estimators for High Frequency Moments.

- Bradly Alicea:
Relativistic virtual worlds: an emerging framework.

- Thomas Rothvoß:
The Entropy Rounding Method in Approximation Algorithms.

- Shibamouli Lahiri, Juan Pablo Fernández Ramírez, Shikha Nangia, Prasenjit Mitra, C. Lee Giles, Karl T. Mueller:
ChemXSeer Digital Library Gaussian Search.

- Wiroonsak Santipach, Kritsada Mamat:
Tree-Structured Random Vector Quantization for Limited-Feedback Wireless Channel.

- Damoun Nashtaali, Omid Mashayekhi, Pedram Pad, Seyed Reza Moghadasi, Farokh Marvasti:
New Power Estimation Methods for Highly Overloaded Synchronous CDMA Systems.

- Amit Metodi, Michael Codish, Vitaly Lagoon, Peter J. Stuckey:
Boolean Equi-propagation for Optimized SAT Encoding.

- Helmut Alt, Sergio Cabello, Panos Giannopoulos, Christian Knauer:
Minimum cell connection and separation in line segment arrangements.

- Nissim Halabi, Guy Even:
Local Optimality Certificates for LP Decoding of Tanner Codes.

- Radoslav Fulek, Noushin Saeedi, Deniz Sariöz:
Convex obstacle numbers of outerplanar graphs and bipartite permutation graphs.

- Shaolei Ren, Jaeok Park, Mihaela van der Schaar:
Business Mode Selection in Digital Content Markets.

- Mitchell Keith Bloch:
Temporal Second Difference Traces.

- Matteo Ceriotti, Massimiliano Vasile:
MGA trajectory planning with an ACO-inspired algorithm.

- Michelangelo Grigni, Hao-Hsiang Hung:
Finding Light Spanners in Bounded Pathwidth Graphs.

- Piotr Indyk, Eric Price:
K-Median Clustering, Model-Based Compressive Sensing, and Sparse Recovery for Earth Mover Distance.

- Boaz Barak, Prasad Raghavendra, David Steurer:
Rounding Semidefinite Programming Hierarchies via Global Correlation.

- R. Rajeswara Rao, V. Kamakshi Prasad, A. Nagesh:
Performance Evaluation of Statistical Approaches for Text Independent Speaker Recognition Using Source Feature.

- V. Anitha, J. Akilandeswari:
Secured Message Transmission in Mobile AD HOC Networks through Identification and Removal of Byzantine Failures.

- Tao Wang, Luc Vandendorpe:
Sum Rate Maximized Resource Allocation in Multiple DF Relays Aided OFDM Transmission.

- Chunhua Shen, Junae Kim, Lei Wang, Anton van den Hengel:
Positive Semidefinite Metric Learning Using Boosting-like Algorithms.

- Ruzbeh Tusserkani, Changiz Eslahchi, Hadi Poormohammadi, Azin Azadi:
TripNet: A Method for Constructing Phylogenetic Networks from Triplets.

- Lucas Moutinho Bueno, Eduardo Valle, Ricardo da Silva Torres:
Bayesian approach for near-duplicate image detection.

- Philip N. Klein, Shay Mozes:
Multiple-Source Single-Sink Maximum Flow in Directed Planar Graphs in O(diameter*n*log(n)) Time.

- Massimiliano Vasile, Edmondo A. Minisci, Marco Locatelli:
An inflationary differential evolution algorithm for space trajectory optimization.

- Venkatesan Guruswami, Ali Kemal Sinop:
Lasserre Hierarchy, Higher Eigenvalues, and Approximation Schemes for Quadratic Integer Programming with PSD Objectives.

- Barnaby Martin, Daniël Paulusma:
The Computational Complexity of Disconnected Cut and 2K2-Partition.

- Ali Jalali, Yudong Chen, Sujay Sanghavi, Huan Xu:
Clustering Partially Observed Graphs via Convex Optimization.

- Achaleshwar Sahai, Vaneet Aggarwal, Melda Yuksel, Ashutosh Sabharwal:
Effective Relaying in Two-user Interference Channel with Different Models of Channel Output Feedback.

- Mark A. Davenport, Jason N. Laska, John R. Treichler, Richard G. Baraniuk:
The Pros and Cons of Compressive Sensing for Wideband Signal Acquisition: Noise Folding vs. Dynamic Range.

- Patrick Simmons:
Security Through Amnesia: A Software-Based Solution to the Cold Boot Attack on Disk Encryption.

- Jan Treibig, Georg Hager, Gerhard Wellein:
LIKWID: Lightweight Performance Tools.

- Jakub Lacki, Piotr Sankowski:
Min-cuts and Shortest Cycles in Planar Graphs in O(n log log n) Time.

- Hsien-Chih Chang, Hsueh-I Lu:
Computing the Girth of a Planar Graph in Linear Time.

- Zoran Majkic:
Data Base Mappings and Theory of Sketches.

- Fabien Mathieu:
On Using Seeders for P2P Live Streaming.

- Jian Gao, Minghao Yin, Junping Zhou:
Hybrid Tractable Classes of Binary Quantified Constraint Satisfaction Problems.

- Jakob Hoydis, Mérouane Debbah, Mari Kobayashi:
Asymptotic Moments for Interference Mitigation in Correlated Fading Channels.

- Xiao Ma, Kai Zhang, Baoming Bai, Xiaoyi Zhang:
Serial Concatenation of RS Codes with Kite Codes: Performance Analysis, Iterative Decoding and Design.

- Hamed Hassanzadeh, Mohammad Reza Keyvanpour:
A Machine Learning Based Analytical Framework for Semantic Annotation Requirements.

- Pavel Emeliyanenko, Michael Sagraloff:
On the Complexity of Solving a Bivariate Polynomial System.

- Evgeny S. Sagatov, Andrei M. Sukhov:
Duplication of Key Frames of Video Streams in Wireless Networks.

- Jean Vincent Fonou Dombeu, Magda Huisman:
Combining Ontology Development Methodologies and Semantic Web Platforms for E-government Domain Ontology Development.

- Tomás Brázdil, Václav Brozek, Kousha Etessami, Antonín Kucera:
Approximating the Termination Value of One-Counter MDPs and Stochastic Games.

- Lijun Zhang, David N. Jansen, Flemming Nielson, Holger Hermanns:
Automata-Based CSL Model Checking.

- Abhishek Das, Avijit Kar, Debasis Bhattacharyya:
Preprocessing: A Step in Automating Early Detection of Cervical Cancer.

- Hubie Chen, Víctor Dalmau, Berit Grußien:
Arc Consistency and Friends.

- Jessica Enright, Lorna Stewart:
3-List Colouring Permutation Graphs.

- Markus Chimani, Petr Hlinený:
A Tighter Insertion-based Approximation of the Crossing Number.

- Matt Gibson, Gaurav Kanade, Kasturi R. Varadarajan:
On Isolating Points Using Disks.

- Mitchell Keith Bloch:
Reducing Commitment to Tasks with Off-Policy Hierarchical Reinforcement Learning.

- Tuan Anh Nguyen, Subbarao Kambhampati, Minh Binh Do:
Synthesizing Robust Plans under Incomplete Domain Models.

- Valentino Crespi, George Cybenko, Annarita Giani:
Attacking and Defending Covert Channels and Behavioral Models.

- Jérémie Chalopin, Shantanu Das, Arnaud Labourel, Euripides Markou:
Tight Bounds for Black Hole Search with Scattered Agents in Synchronous Rings.

- Martin Dietzfelbinger, Michael Mitzenmacher, Michael Rink:
Cuckoo Hashing with Pages.

- Teja Damodaram Bavirisetti, B. Sundar Rajan:
Maximum Rate of 3- and 4-Real-Symbol ML Decodable Unitary Weight STBCs.

- Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock:
Reducing Fuzzy Answer Set Programming to Model Finding in Fuzzy Logics.

- Hela Limam, Jalel Akaichi:
Web services synchronization health care application.

- Mariem Krichen, Johanne Cohen, Dominique Barth:
File Transfer Application For Sharing Femto Access.

- Jagadeesh Harshan, B. Sundar Rajan:
A Constellation Power Allocation Scheme for Two-User Gaussian MAC.

- Magnús M. Halldórsson, Pradipta Mitra:
Nearly Optimal Bounds for Distributed Wireless Scheduling in the SINR Model.

- Ken-ichi Kawarabayashi, Philip N. Klein, Christian Sommer:
Linear-Space Approximate Distance Oracles for Planar, Bounded-Genus, and Minor-Free Graphs.

- Ho-Lin Chen, David Doty:
Parallelism and Time in Hierarchical Self-Assembly.

- Emil Björnson, Gan Zheng, Mats Bengtsson, Björn E. Ottersten:
Robust Monotonic Optimization Framework for Multicell MISO Systems.

- Jan Treibig, Georg Hager, Hannes G. Hofmann, Joachim Hornegger, Gerhard Wellein:
Pushing the limits for medical image reconstruction on recent standard multicore processors.

- Emmanuel J. Candès, Mark A. Davenport:
How well can we estimate a sparse vector?

- Shilin Ding:
Learning Undirected Graphical Models with Structure Penalty.

- Manuel Bodirsky, Jan Kára, Barnaby Martin:
The Complexity of Surjective Homomorphism Problems -- a Survey.

- Alan M. Frieze, Charalampos E. Tsourakakis:
High Degree Vertices, Eigenvalues and Diameter of Random Apollonian Networks.

- Antonio da Luz Jr., Eduardo Valle, Arnaldo de Albuquerque Araújo:
Content-Based Spam Filtering on Video Sharing Social Networks.

- Shahrokh Farahmand, Georgios B. Giannakis, Daniele Angelosante:
Doubly Robust Smoothing of Dynamical Processes via Outlier Sparsity Constraints.

- Shahrokh Farahmand, Georgios B. Giannakis, Geert Leus, Zhi Tian:
Tracking Target Signal Strengths on a Grid using Sparsity.

- Vincent Michel, Alexandre Gramfort, Gaël Varoquaux, Evelyn Eger, Christine Keribin, Bertrand Thirion:
A supervised clustering approach for fMRI-based inference of brain states.

- Noam Wagner, Yonina C. Eldar, Arie Feuer, Gilad Danin, Zvi Friedman:
Xampling in Ultrasound Imaging.

- Thomas Brihaye, Laurent Doyen, Gilles Geeraerts, Joël Ouaknine, Jean-François Raskin, James Worrell:
On Reachability for Hybrid Automata over Bounded Time.

- Igor Razgon:
Large Isolating Cuts Shrink the Multiway Cut.

- André Kempe:
Selected Operations, Algorithms, and Applications of n-Tape Weighted Finite-State Machines.

- Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil:
Maximum Metric Spanning Tree made Byzantine Tolerant.

- Daniel Hienert, Benjamin Zapilko, Philipp Schaer, Brigitte Mathiak:
VIZGR: Combining Data on a Visual Level.

- Daniel Lyons, Jan-P. Calliess, Uwe D. Hanebeck:
Chance-constrained Model Predictive Control for Multi-Agent Systems.

- M. Z. Rashed, Ahmed E. Hassan, Ahmed I. Sharaf:
Model based system engineering approach of a lightweight embedded TCP/IP.

- Quan Liu, Kehao Wang, Lin Chen:
On Optimality of Greedy Policy for a Class of Standard Reward Function of Restless Multi-armed Bandit Problem.

- Moreno Marzolla, Raffaela Mirandola:
A Framework for QoS-aware Execution of Workflows over the Cloud.

- Ely Porat, Bar Shalem:
Another one flew over the cuckoo's nest.

- Chao-Kai Wen, Guangming Pan, Jung-Chieh Chen, Meihui Guo:
A Deterministic Equivalent for the Analysis of Small Cell Networks.

- Jie Lu, Choon Yik Tang:
Zero-Gradient-Sum Algorithms for Distributed Convex Optimization: The Continuous-Time Case.

- Or Ordentlich, Uri Erez:
Interference Alignment at Finite SNR.

- Daniel Burfoot:
Notes on a New Philosophy of Empirical Science.

- Meng He, J. Ian Munro, Patrick K. Nicholson:
Dynamic Range Majority Data Structures.

- Elaine Angelino, Michael T. Goodrich, Michael Mitzenmacher, Justin Thaler:
External-Memory Multimaps.

- F. Richard Yu, Bo Sun, Vikram Krishnamurthy, Saqib Ali:
QoS Provisioning for Multimedia Transmission in Cognitive Radio Networks.

- Carlos Gershenson, Mikhail Prokopenko:
Complex Networks.

- F. Richard Yu, Helen Tang, Minyi Huang, Peter C. Mason, Zhiqiang Li:
Distributed Cooperative Spectrum Sensing in Mobile Ad Hoc Networks with Cognitive Radios.

- Yashodhan Kanoria, Andrea Montanari:
Optimal coding for the deletion channel with small deletion probability.

- Kianoush Hosseini, Raviraj S. Adve:
Resource Allocation for Selection-Based Cooperative OFDM Networks.

- Michael W. Mahoney:
Randomized algorithms for matrices and data.

- Stefan Szeider:
Limits of Preprocessing.

- John Iacono, Wolfgang Mulzer:
A Static Optimality Transformation with Applications to Planar Point Location.

- Shie Mannor, John N. Tsitsiklis:
Mean-Variance Optimization in Markov Decision Processes.

- Quansheng Guan, F. Richard Yu, Shengming Jiang:
Topology Control and Routing in Mobile Ad Hoc Networks with Cognitive Radios.

- Peter Meerwald, Teddy Furon:
Towards joint decoding of Tardos fingerprinting codes.

- Andreas Gemsa, Martin Nöllenburg, Ignaz Rutter:
Consistent Labeling of Rotating Maps.

- Christophe Betoule, Thomas Bonald, Remi Clavier, Dario Rossi, Giuseppe Rossini, Gilles Thouenon:
Adaptive Probabilistic Flooding for Multipath Routing.

- Angelo Fanelli, Luca Moscardelli, Alexander Skopalik:
On the Impact of Fair Best Response Dynamics.

- Marie Albenque, Lucas Gerin:
On the algebraic numbers computable by some generalized Ehrenfest urns.

- Sayaka Kamei, Anissa Lamani, Fukuhito Ooshita, Sébastien Tixeuil:
Asynchronous mobile robot gathering from symmetric configurations without global multiplicity detection.

- Inder Jeet Taneja:
A Sequence of Inequalities among Difference of Symmetric Divergence Measures.

- T. N. Janakiraman, A. Senthil Thilak:
A Multi-Hop Weighted Clustering of Homogenous MANETs Using Combined Closeness Index.

- Christoph Adami, Jifeng Qian, Matthew Rupp, Arend Hintze:
Information content of colored motifs in complex networks.

- A. Yazdani, P. Jeffrey:
Complex network analysis of water distribution systems.

- Tom Britton, Mathias Lindholm, Tatyana S. Turova:
A dynamic network in a dynamic population: asymptotic properties.

- Dong-Mei Shi, Yong Zhuang, Bing-Hong Wang:
Effect of depreciation of the public goods in spatial public goods games.

- Relinde Jurrius:
Weight enumeration of codes from finite spaces.

- Luca Valori, Francesco Picciolo, Agnes Allansdottir, Diego Garlaschelli:
Reconciling long-term cultural diversity and short-term collective social behavior.

- Stanley Osher, Yu Mao, Bin Dong, Wotao Yin:
Fast Linearized Bregman Iteration for Compressive Sensing and Sparse Denoising.

- Jeffrey W. Miller, Matthew T. Harrison:
Exact Enumeration and Sampling of Matrices with Specified Margins.

- Atilla Eryilmaz, R. Srikant:
Asymptotically Tight Steady-State Queue Length Bounds Implied By Drift Conditions.

- S. Furuichi, N. Minculete, F.-C. Mitroi:
Some inequalities on generalized entropies.

- Yu-Xiao Zhu, Linyuan Lu, Qian-Ming Zhang, Tao Zhou:
Uncovering missing links with cold ends.

- Alexander Olshevsky, John N. Tsitsiklis:
Degree Fluctuations and the Convergence Time of Consensus Algorithms.

- Naomi Ehrich Leonard, Alexander Olshevsky:
Nonuniform Coverage Control on the Line.

- Haoyang Wu:
Quantum Bayesian implementation and revelation principle.

- Arnab Chakraborty:
QuECT: A New Quantum Programming Paradigm.

- José Antonio Martin H.:
Minimal non-extensible precolorings and implicit-relations.

- Richard A. Blythe:
Random copying in space.

- Sal Barone, Saugata Basu:
Refined bounds on the number of connected components of sign conditions on a variety.

- Ehsan Elhamifar, René Vidal:
Structured Sparse Recovery via Convex Optimization.

- Lingfei Wu, Jiang Zhang:
Accelerating Growth and Size-dependent Distribution of Collective Human Activities Online.

- Steve Gregory:
Ordered and continuous community structure in networks.

- Michael Zargham, Alejandro Ribeiro, Ali Jadbabaie, Asuman E. Ozdaglar:
Accelerated Dual Descent for Network Optimization.

- Xu Chu Ding, Stephen L. Smith, Calin Belta, Daniela Rus:
LTL Control in Uncertain Environments with Probabilistic Satisfaction Guarantees.

- Jill Lagerstrom, Uta Grothkopf:
Astronomy Librarians - Quo Vadis?

- Ralph Blumenhagen, Benjamin Jurke, Thorsten Rahn:
Computational Tools for Cohomology of Toric Varieties.

- Daniel Grady, Rafael Brune, Christian Thiemann, Fabian J. Theis, Dirk Brockmann:
Modularity maximization and tree clustering: Novel ways to determine effective geographic borders.

- Julian Yarkony, Alexander T. Ihler, Charless C. Fowlkes:
Planar Cycle Covering Graphs.

- David R. Wood:
On the number of maximal independent sets in a graph.

- Mikael Carmona, Olivier Michel, Jean-Louis Lacoume, Nathalie Sprynski, Barbara Nicolas:
Algorithm for Sensor Network Attitude Problem.

- Claudio Fontanari, Chiara Marcolla:
On the geometry of small weight codewords of dual algebraic geometric codes.

- Cedric E. Ginestet, Andrew Simmons:
Recursive Shortest Path Algorithm with Application to Density-integration of Weighted Graphs.

- Per Enqvist:
Generalizing the Markov and covariance interpolation problem using input-to-state filters.

- Martin Schwarz, Kristan Temme, Frank Verstraete:
Contracting tensor networks and preparing PEPS on a quantum computer.

- Stanislav Minsker:
Plug-in Approach to Active Learning.

- Tetsufumi Tanamoto, Hideyuki Sugiyama, Tomoaki Inokuchi, Takao Marukame, Mizue Ishikawa, Kazutaka Ikegami, Yoshiaki Saito:
Scalability of spin FPGA: A Reconfigurable Architecture based on spin MOSFET.

- Barry Hurley, Ted Hurley:
Group ring cryptography.

- Seung Ki Baek, Sebastian Bernhardsson, Petter Minnhagen:
Zipf's law unzipped.

- Tara Brough:
Groups with poly-context-free word problem.

- Julien Mairal, Rodolphe Jenatton, Guillaume Obozinski, Francis Bach:
Convex and Network Flow Optimization for Structured Sparsity.

- Per Enqvist:
Approximative Covariance Interpolation.

- Abolfazl Ramezanpour, John Realpe-Gomez, Riccardo Zecchina:
Statistical physics approach to graphical games: local and global interactions.

- Tim Rogers, Alan J. McKane:
A unified framework for Schelling's model of segregation.

- Luca Dall'Asta, Matteo Marsili, Paolo Pin:
Collaboration in Social Networks.

- Emil Saucan:
On the properties of the combinatorial Ricci flow for surfaces.

- Jean-Pierre Dedieu, Gregorio Malajovich, Michael Shub:
Adaptative Step Size Selection for Homotopy Methods to Solve Polynomial Equations.

- Anatoly Zlotnik, Jr-Shin Li:
Optimal Asymptotic Entrainment of Phase-Reduced Oscillators.

- Michel Fliess, Cédric Join, Frédéric Hatt:
Is a probabilistic modeling .

- Guillem Perarnau, Oriol Serra:
On the tree-depth of Random Graphs.

- R. López-Ruiz, Elyas Shivanian, Saeid Abbasbandy, J. L. López:
A Generalized Continuous Model for Random Markets.

- Jon McCammond, John Rhodes, Benjamin Steinberg:
Geometric Semigroup Theory.

- Shinji Tanimoto:
Epidemic spreading with immunization rate on complex networks.

- Josef Schicho, David Sevilla:
Effective radical parametrization of trigonal curves.

- Juanjo Rué, Ignasi Sau, Dimitrios M. Thilikos:
Asymptotic Enumeration of Non-crossing Partitions on Surfaces.

- Michal A. Zabicki:
OpenCL/OpenGL aproach for studying active Brownian motion.

- Lorenzo Isella, Mariateresa Romano, Alain Barrat, Ciro Cattuto, Vittoria Colizza, Wouter Van den Broeck, Francesco Gesualdo, Elisabetta Pandolfi, L. Ravà, Caterina Rizzo, Alberto E. Tozzi:
Close encounters in a pediatric ward: measuring face-to-face proximity and mixing patterns with wearable sensors.

- Tichit Paul-Henri, Shah-Nawaz Burokur, Dylan Germain, Andre de Lustrac:
Design and experimental demonstration of a high-directive emission with optical transformations.

- Mareike Fischer:
Mathematical aspects of phylogenetic groves.

- Agata Fronczak, Piotr Fronczak:
Statistical mechanics of the international trade network.

- Francisco Santos, Tamon Stephen, Hugh Thomas:
Embedding a pair of graphs in a surface, and the width of 4-dimensional prismatoids.

- Didier Henrion, Christophe Louembet:
Convex inner approximations of nonconvex semialgebraic sets applied to fixed-order controller design.

- Said Hamadène, Marie-Amélie Morlais:
Viscosity solutions of systems of PDEs with interconnected obstacles and Multi modes switching problems.

- Guillem Perarnau, Oriol Serra:
Rainbow Matchings: existence and counting.

- Stefan Kaspar:
Computing Border Bases without using a Term Ordering.

- Tamás Szántai, Edith Kovács:
Discovering a junction tree behind a Markov network by a greedy algorithm.

- Alain Hauser, Peter Bühlmann:
Characterization and Greedy Learning of Interventional Markov Equivalence Classes of Directed Acyclic Graphs.

- Carlos Gershenson, David A. Rosenblueth:
Self-organizing traffic lights at multiple-street intersections.

- Donghui Yan, Aiyou Chen, Michael I. Jordan:
Cluster Forests.

- David Yang Gao, Changzhi Wu:
On the Triality Theory in Global Optimization.

- Barbara Lazzari, Roberta Nibbi:
On the exponential decay of the Euler-Bernoulli beam with boundary energy dissipation.

- Vincent A. Traag, Paul Van Dooren, Yurii E. Nesterov:
Narrow scope for resolution-free community detection.

- Iasson Karafyllis, Miroslav Krstic:
Global stabilization of feedforward systems under perturbations in sampling schedule.

- Lovro Subelj, Marko Bajec:
Ubiquitousness of link-density and link-pattern communities in real-world networks.

- Lingfei Wu, Chengjun Wang:
Heterogeneity and Allometric Growth of Human Collaborative Tagging Behavior.

- Maksim Kitsak, Dmitri V. Krioukov:
Hidden Variables in Bipartite Networks.

- Leonardo Colombo, David Martín de Diego:
On the geometry of higher-order variational problems on Lie groups.

- Max Neff, Gisela Anton, Alexander Enzenhöfer, Kay Graf, Juergen Hößl, Uli Katz, Robert Lahmann, Carsten Richardt:
Signal Classification for Acoustic Neutrino Detection.

- Arnab Chakraborty:
RESID: A Practical Stochastic Model for Software Reliability.

- Masaaki Harada:
A Complete Classification of Doubly Even Self-Dual Codes of Length 40.

- Junbo Duan, Charles Soussen, David Brie, Jérôme Idier, Yu-Ping Wang:
A sufficient condition on .

- Omran Ahmadi, Robert Granger:
An efficient deterministic test for Kloosterman sum zeros.

- Masaaki Harada:
On the Residue Codes of Extremal Type II Z4-Codes of Lengths 32 and 40.

- Ming Lam Leung:
Classical vs Quantum Games: Continuous-time Evolutionary Strategy Dynamics.

- Alessandro Pelizzola, Marco Pretti, Jort van Mourik:
Palette-colouring: a belief-propagation approach.

- Paul L. Krapivsky, Sidney Redner, D. Volovik:
Reinforcement-Driven Spread of Innovations and Fads.

- Alireza Goudarzi, Christof Teuscher, Natali Gulbahce, Thimo Rohlf:
Emergent Criticality Through Adaptive Information Processing in Boolean Networks.

- Christoph Koutschan, Christoph Lehrenfeld, Joachim Schoeberl:
Computer Algebra meets Finite Elements: an Efficient Implementation for Maxwell's Equations.

- Fuxin Ren, Xueqi Cheng, Huawei Shen:
Modeling the clustering in citation networks.

- Tilman Dette, Scott Pauls, Daniel N. Rockmore:
Robustness and Contagion in the International Financial Network.

- Michel De Lara, Eladio Ocaña Anaya, Ricardo Oliveros-Ramos, Jorge Tam:
Ecosystem Viable Yields.

- Alex Wang, Vikram Krishnamurthy, Bhashyam Balaji:
Intent Inference and Syntactic Tracking with GMTI Measurements.

- Yanguang Chen:
Unraveling the Rank-Size Rule with Self-Similar Hierarchies.

- Troy Lee, Jérémie Roland:
A strong direct product theorem for quantum query complexity.

- Pedro A. Forero, Vassilis Kekatos, Georgios B. Giannakis:
Robust Clustering Using Outlier-Sparsity Regularization.

- Michael A. Forbes, Neeraj Kayal, Rajat Mittal, Chandan Saha:
Square root Bound on the Least Power Non-residue using a Sylvester-Vandermonde Determinant.

- René Pfitzner, Konstantin S. Turitsyn, Michael Chertkov:
Controlled Tripping of Overheated Lines Mitigates Power Outages.

- Bin Jiang, Tao Jia:
Exploring Human Mobility Patterns Based on Location Information of US Flights.

- Ünal Göktas, Willy Hereman:
Symbolic Computation of .

- Xiaoye Jiang, Yuan Yao, Han Liu, Leonidas J. Guibas:
Compressive Network Analysis.

- Zhaohua Luo:
Universal Algebra and Mathematical Logic.

- Massimiliano Vasile, Camilla Colombo:
Optimal impact strategies for asteroid deflection.

- Xin Zhang:
Class two 1-planar graphs with maximum degree six or seven.

- Soham Biswas, Parongama Sen, Purusattam Ray:
Opinion dynamics model with domain size dependent dynamics: novel features and new universality class.

- Viorel Barbu:
Internal stabilization of the Oseen-Stokes equations by Stratonovich noise.

- Yufeng Shi, Tianxiao Wang, Jiongmin Yong:
Mean-Field Backward Stochastic Volterra Integral Equations.

- Alekh Agarwal, Sahand Negahban, Martin J. Wainwright:
Fast global convergence of gradient methods for high-dimensional statistical recovery.

- Ana Fernández del Río:
Coupled Ising models and interdependent discrete choices under social influence in homogeneous populations.

- Didier Henrion, Jean B. Lasserre:
Inner approximations for polynomial matrix inequalities and robust stability regions.

- Warren Schudy, Maxim Sviridenko:
Concentration and Moment Inequalities for Polynomials of Independent Random Variables.

- Josef Cibulka, Jan Kyncl:
Tight bounds on the maximum size of a set of permutations with bounded VC-dimension.

- Vincent Moulton, Mike A. Steel:
The 'Butterfly effect' in Cayley graphs, and its relevance for evolutionary genomics.

- Theja Tulabandhula, Cynthia Rudin, Patrick Jaillet:
Machine Learning and the Traveling Repairman.

- Alexander Rakhlin, Karthik Sridharan, Ambuj Tewari:
Online Learning: Stochastic and Constrained Adversaries.

- Ivo Hedtke, Sandeep Murthy:
Search and test algorithms for Triple Product Property triples.

- Dániel Gerbner, Balázs Keszegh:
Path-search in the pyramid and in other graphs.

- Mauro Mobilia:
Fixation and Polarization in a Three-Species Opinion Dynamics Model.

- Emile Simon:
An efficient technique for positive filtering of linear systems.

- Samet Oymak, Babak Hassibi:
Finding Dense Clusters via "Low Rank + Sparse" Decomposition.

- Angel Stanoev, Daniel Smilkov, Ljupco Kocarev:
Identifying communities by influence dynamics in social networks.

- Henry Lam, Zhenming Liu, Michael Mitzenmacher, Xiaorui Sun, Yajun Wang:
Information Dissemination via Random Walks in d-Dimensional Space.

- Clement Ampadu:
A Quantum Analogue of Parrondo's Game.

- Zhilin Zhang, Bhaskar D. Rao:
Iterative Reweighted Algorithms for Sparse Signal Recovery with Temporally Correlated Source Vectors.

- Taro Takaguchi, Mitsuhiro Nakamura, Nobuo Sato, Kazuo Yano, Naoki Masuda:
Predictability of conversation partners.

- Emile Simon:
Static output feedback design with the Nelder-Mead algorithm.

- Sinan Aksoy, Adam Azzam, Chaya Coppersmith, Julie Glass, Gizem Karaali, Xueying Zhao, Xinjing Zhu:
Coalitions and Cliques in the School Choice Problem.

- Fahad Saeed, Trairak Pisitkun, Mark A. Knepper, Jason D. Hoffert:
Mining Temporal Patterns from iTRAQ Mass Spectrometry(LC-MS/MS) Data.

- Dionysios Barmpoutis, Richard M. Murray:
Extremal Properties of Complex Networks.

- David Conlon, Jacob Fox, Benny Sudakov:
Erdos-Hajnal-type theorems in hypergraphs.

- Conrad Lee, Fergal Reid, Aaron F. McDaid, Neil J. Hurley:
Seeding for pervasively overlapping communities.

- S. Furuichi, F.-C. Mitroi:
Mathematical inequalities for some divergences.

- Diego Colombo, Marloes H. Maathuis, Markus Kalisch, Thomas S. Richardson:
Learning high-dimensional DAGs with latent and selection variables.

- Dan Burghelea, Tamal K. Dey:
Persistence for Circle Valued Maps.

- Constantin A. Rothkopf, Christos Dimitrakakis:
Preference elicitation and inverse reinforcement learning.

Last update Thu May 23 18:36:00 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page