CoRR, March 2011
- Yue Zhao, Chee Wei Tan, Amir Salman Avestimehr, Suhas N. Diggavi, Gregory J. Pottie:
On the Sum-Capacity with Successive Decoding in Interference Channels.

- Shaddin Dughmi, Tim Roughgarden, Qiqi Yan:
From Convex Optimization to Randomized Mechanisms: Toward Optimal Combinatorial Auctions for Submodular Bidders.

- Shaddin Dughmi:
A Truthful Randomized Mechanism for Combinatorial Public Projects via Convex Optimization.

- Ranjan Pal, Pan Hui:
On the Economics of Cloud Markets.

- Xin Bai, Dana Fusco:
Interdisciplinary Collaboration through Designing 3D Simulation Case Studies.

- Matthew G. Knepley, Andy R. Terrel:
Finite Element Integration on GPUs.

- Hao-En Chueh:
Mining Target-Oriented Fuzzy Correlation Rules to Optimize Telecom Service Management.

- Xin Liu, Gilles Trédan, Anwitaman Datta:
A generic trust framework for large-scale open systems using machine learning.

- E. P. Ephzibah:
Cost effective approach on feature selection using genetic algorithms and fuzzy logic for diabetes diagnosis.

- Chiranjib Choudhuri, Urbashi Mitra:
Capacity Bounds for Relay Channels with Inter-symbol Interference and Colored Gaussian Noise.

- Tianyi Zhou, Dacheng Tao:
Multi-label Learning via Structured Decomposition and Group Sparsity.

- Enver Kayaaslan, Ali Pinar, Ümit V. Çatalyürek, Cevdet Aykanat:
Hypergraph Partitioning through Vertex Separators on Graphs.

- Remous-Aris Koutsiamanis, Pavlos S. Efraimidis:
An exact and O(1) time heaviest and lightest hitters algorithm for sliding-window data streams.

- Srimanta Kundu, Nibaran Das, Mita Nasipuri:
Automatic Detection of Ringworm using Local Binary Pattern (LBP).

- P. Maragathavalli:
Search-based software test data generation using evolutionary computation.

- Shobha Shankar, T. Ananthapadmanabha:
Fuzzy Approach to Critical Bus Ranking under Normal and Line Outage Contingencies.

- Santosh Ramachandran, Chandramani Kishore Singh, S. V. R. Anand, Malati Hegde, Anurag Kumar, Rajesh Sundaresan:
Neighbor Oblivious and Finite-State Algorithms for Circumventing Local Minima in Geographic Forwarding.

- Jochen Sommerfeld, Igor Bjelakovic, Holger Boche:
Capacity results for compound wiretap channels.

- Amir Ingber, Ram Zamir, Meir Feder:
The Optimal Density of Infinite Constellations for the Gaussian Channel.

- Thomas Bernecker, Tobias Emrich, Hans-Peter Kriegel, Nikos Mamoulis, Matthias Renz, Shiming Zhang, Andreas Züfle:
Inverse Queries For Multidimensional Spaces.

- A. Taufiq Asyhari, Tobias Koch, Albert Guillen i Fabregas:
Nearest Neighbour Decoding and Pilot-Aided Channel Estimation in Stationary Gaussian Flat-Fading Channels.

- Zoran Majkic:
A New Representation Theorem for Many-valued Modal Logics.

- Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani:
Satisfiability of General Intruder Constraints with and without a Set Constructor.

- Zoran Majkic:
DB Category: Denotational Semantics for View-based Database Mappings.

- Ekow J. Otoo, Ali Pinar, Doron Rotem:
A Linear Approximation Algorithm for 2-Dimensional Vector Packing.

- Won-Yong Shin, Daniel Enrique Lucani, Muriel Médard, Milica Stojanovic, Vahid Tarokh:
On the Order Optimality of Large-scale Underwater Networks.

- Huarui Yin, Zhengdao Wang:
Interference Alignment and Degrees of Freedom Region of Cellular Sigma Channel.

- Peng Zhang, Robert C. Qiu:
GLRT-Based Spectrum Sensing with Blindly Learned Feature under Rank-1 Assumption.

- Arash Einolghozati, Mohsen Sardari, Ahmad Beirami, Faramarz Fekri:
Consensus Problem under Diffusion-based Molecular Communication.

- Eyal En Gad, Michael Langberg, Moshe Schwartz, Jehoshua Bruck:
Generalized Gray Codes for Local Rank Modulation.

- David Eppstein, Darren Strash:
Listing All Maximal Cliques in Large Sparse Real-World Graphs.

- Meik Dörpinghaus, Heinrich Meyr:
On the Achievable Rate of Stationary Rayleigh Flat-Fading Channels with Gaussian Inputs.

- Duc-Phong Le, Chao-Liang Liu:
Refinements of Miller's Algorithm over Weierstrass Curves Revisited.

- Anthony Kim:
On Network Coding Capacity - Matroidal Networks and Network Capacity Regions.

- Anthony Kim, Muriel Médard:
Computing Bounds on Network Capacity Regions as a Polytope Reconstruction Problem.

- Matthew Rocklin, Ali Pinar:
Computing an Aggregate Edge-Weight Function for Clustering Graphs with Multiple Edge Types.

- Ronan Collobert, Jason Weston, Léon Bottou, Michael Karlen, Koray Kavukcuoglu, Pavel P. Kuksa:
Natural Language Processing (almost) from Scratch.

- Tolga Mataracioglu, Sevgi Ozkan:
Analysis of the User Acceptance for Implementing ISO/IEC 27001:2005 in Turkish Public Organizations.

- Filippo Bonchi, Ugo Montanari:
Symbolic and Asynchronous Semantics via Normalized Coalgebras.

- Debashis Dash, Ashutosh Sabharwal:
Paranoid Secondary: Waterfilling in a Cognitive Interference Channel with Partial Information.

- Janardhan R. Iyengar, Bryan Ford, Syed Obaid Amin, Michael F. Nowlan, Nabin Tiwari:
Wire-Compatible Unordered Delivery in TCP and TLS.

- Berker Tasoluk, Zuhal Tanrikulu:
A Weakest Chain Approach to Assessing the Overall Effectiveness of the 802.11 Wireless Network Security.

- Camilla Hollanti, Roope Vehkalahti, Youssef Nasser:
Algebraic Hybrid Satellite-Terrestrial Space-Time Codes for Digital Broadcasting in SFN.

- Zoran Majkic:
Sound and Complete Query Answering in Intensional P2P Data Integration.

- José F. Paris:
Outage Probability in η-μ/η-μ Interference-limited Scenarios.

- José F. Paris:
Unified Analysis of the Average Gaussian Error Probability for a Class of Fading Channels.

- José F. Paris:
A Note on the Sum of Correlated Gamma Random Variables.

- Derek Dreyer, Amal Ahmed, Lars Birkedal:
Logical Step-Indexed Logical Relations.

- Marek Cygan, Jesper Nederlof, Marcin Pilipczuk, Michal Pilipczuk, Johan M. M. van Rooij, Jakub Onufry Wojtaszczyk:
Solving connectivity problems parameterized by treewidth in single exponential time.

- Lijun Wang, Ling Shao:
An Algorithm for Repairing Low-Quality Video Enhancement Techniques Based on Trained Filter.

- Marios Kountouris, Jeffrey G. Andrews:
Downlink SDMA with Limited Feedback in Interference-Limited Wireless Networks.

- Constantinos Daskalakis, Ilias Diakonikolas, Rocco A. Servedio:
Learning transformed product distributions.

- Yusuke Watanabe, Kenji Fukumizu:
Loopy Belief Propagation, Bethe Free Energy and Graph Zeta Function.

- Hioual Ouassila, Zizette Boufaïda:
An Agent Based Architecture (Using Planning) for Dynamic and Semantic Web Services Composition in an EBXML Context.

- Y. V. Dongare, P. S. Dhabe, S. V. Deshmukh:
RDBNorma: - A semi-automated tool for relational database schema normalization up to third normal form.

- P. Manickam, T. Guru Baskar, M. Girija, D. Manimegalai:
Performance Comparisons of Routing Protocols in Mobile Ad Hoc Networks.

- Zoran Majkic:
Probabilistic Logic: Many-valuedness and Intensionality.

- Zoran Majkic:
First-order Logic: Modality and Intensionality.

- Mohamed Mkaouar, Rafik Bouaziz, Mohamed Moalla:
Querying and Manipulating Temporal Databases.

- Adrian Walker:
A Wiki for Business Rules in Open Vocabulary, Executable English.

- Marco Piccioni, Manuel Oriol, Bertrand Meyer:
Schema Evolution for Persistent Object-Oriented Software: Model, Empirical Study, and Automated Support.

- Andrzej Banaszuk, Vladimir A. Fonoberov, Thomas A. Frewen, Marin Kobilarov, George Mathew, Igor Mezic, Alessandro Pinto, Tuhin Sahai, Harshad Sane, Alberto Speranzon, Amit Surana:
Scalable Approach to Uncertainty Quantification and Robust Design of Interconnected Dynamical Systems.

- Soumen Bag, Gaurav Harit:
A Medial Axis Based Thinning Strategy for Character Images.

- Andrea E. F. Clementi, Angelo Monti, Francesco Pasquale, Riccardo Silvestri:
Information Spreading in Stationary Markovian Evolving Graphs.

- Fangfei Zhou, Manish Goel, Peter Desnoyers, Ravi Sundaram:
Scheduler Vulnerabilities and Attacks in Cloud Computing.

- Vassilis Kekatos, Georgios B. Giannakis:
Sparse Volterra and Polynomial Regression Models: Recoverability and Estimation.

- Johan Bollen, Bruno Gonçalves, Guangchen Ruan, Huina Mao:
Happiness is assortative in online social networks.

- Shiva Kumar Planjery, Bane V. Vasic, David Declercq:
Decimation-Enhanced Finite Alphabet Iterative Decoders for LDPC codes on the BSC.

- Susmit Jha, Sanjit A. Seshia, Ashish Tiwari:
Synthesizing Switching Logic to Minimize Long-Run Cost.

- Dung Viet Nguyen, Bane V. Vasic, Michael W. Marcellin:
Two-Bit Bit Flipping Decoding of LDPC Codes.

- Neng-Fa Zhou:
The Language Features and Architecture of B-Prolog.

- Graham Cormode, Cecilia Magdalena Procopiuc, Divesh Srivastava, Thanh T. L. Tran:
Differentially Private Publication of Sparse Data.

- G. Sahoo Mesra, Rajesh Kumar Tiwari:
Hiding Secret Information in Movie Clip: A Steganographic Approach.

- Mostafa Zaman Chowdhury, Yeong Min Jang:
Priority based Interface Selection for Overlaying Heterogeneous Networks.

- Armin Banaei, Costas N. Georghiades, Shuguang Cui:
Study of Large Overlaid Cognitive Radio Networks: From Throughput Scaling to Asymptotic Multiplexing Gain.

- Arne Meier, Thomas Schneider:
Generalized Satisfiability for the Description Logic ALC.

- Behzad Sharif, Yoram Bresler:
Generic Feasibility of Perfect Reconstruction with Short FIR Filters in Multi-channel Systems.

- Qi Mao, Ivor W. Tsang:
Multiple Template Learning for Structured Prediction.

- Nathalie Aubrun, Mathieu Sablik:
Multidimensional effective S-adic systems are sofic.

- Zoran Majkic:
Reduction of Many-valued into Two-valued Modal Logics.

- Hela Limam, Jalel Akaichi:
Managing and Querying Web Services Communities: A Survey.

- Dushyant Arora, Marcin Bienkowski, Anja Feldmann, Gregor Schaffrath, Stefan Schmid:
Online Strategies for Intra and Inter Provider Service Migration in Virtual Networks.

- Zoran Majkic:
Intensionality and Two-steps Interpretations.

- Inge Li Gørtz, Viswanath Nagarajan:
Locating Depots for Capacitated Vehicle Routing.

- Christos Boutsidis, Petros Drineas, Malik Magdon-Ismail:
Near-Optimal Column-Based Matrix Reconstruction.

- Bernd Bandemer, Abbas El Gamal:
Communication with Disturbance Constraints.

- MinJi Kim, Elona Erez, Edmund M. Yeh, Muriel Médard:
Deterministic Network Model Revisited: An Algebraic Network Coding Approach.

- Xinhua Wang, Hai Lin:
Two-step differentiator for delayed signal.

- Eray Özkural:
Teraflop-scale Incremental Machine Learning.

- Qi Mao, Ivor W. Tsang:
A Feature Selection Method for Multivariate Performance Measures.

- Xu Chen, Jianwei Huang:
Evolutionary Game and Learning for Dynamic Spectrum Access.

- Paul W. Goldberg, Rahul Savani, Troels Bjerre Sørensen, Carmine Ventre:
On the Approximation Performance of Fictitious Play in Finite Games.

- Zoran Majkic:
Temporal Probabilistic Logic Programs: State and Revision.

- Václav Brozek:
Optimal Strategies in Infinite-state Stochastic Reachability Games.
60-73

- Anton Osokin, Dmitry Vetrov, Vladimir Kolmogorov:
Submodular Decomposition Framework for Inference in Associative Markov Networks with Global Constraints.

- Ján Katrenic, Gabriel Semanisin:
A generalization of Hopcroft-Karp algorithm for semi-matchings and covers in bipartite graphs.

- Surender Baswana, Manoj Gupta, Sandeep Sen:
Fully dynamic maximal matching in O(log n) update time.

- Zeeshan Ahmed:
Designing Flexible GUI to Increase the Acceptance Rate of Product Data Management Systems in Industry.

- Farnood Merrikh-Bayat, Saeed Bagheri Shouraki:
Efficient neuro-fuzzy system and its Memristor Crossbar-based Hardware Implementation.

- Nicola Di Mauro, Teresa Maria Altomare Basile, Stefano Ferilli, Floriana Esposito:
GRASP and path-relinking for Coalition Structure Generation.

- Yangyang Xu, Wotao Yin, Zaiwen Wen, Yin Zhang:
An Alternating Direction Algorithm for Matrix Completion with Nonnegative Factors.

- Minal Tomar, Pratibha Singh:
A Directional Feature with Energy based Offline Signature Verification Network.

- Ms. Deepti Sharma, Ms. Archana B. Saxena:
Framework to Solve Load Balancing Problem in Heterogeneous Web Servers.

- Ken Yamamoto, Yoshihiro Yamazaki:
Fractal behind smart shopping.

- Emilio Ferrara, Robert Baumgartner:
Automatic Wrapper Adaptation by Tree Edit Distance Matching.

- Emilio Ferrara, Robert Baumgartner:
Design of Automatically Adaptable Web Wrappers.

- Antoine Zimmermann, Nuno Lopes, Axel Polleres, Umberto Straccia:
A General Framework for Representing, Reasoning and Querying with Annotated Semantic Web Data.

- Leo Liberti, Carlile Lavor, Benoît Masson, Antonio Mucherino:
Polynomial cases of the Discretizable Molecular Distance Geometry Problem.

- Petr Kuznetsov, Srivatsan Ravi:
On the Cost of Concurrency in Transactional Memory.

- Hugo Méric, Jérôme Lacan, Caroline Amiot-Bazile, Fabrice Arnal, Marie-Laure Boucheret:
Generic Approach for Hierarchical Modulation Performance Analysis: Application to DVB-SH.

- Melda Yuksel, Xi Liu, Elza Erkip:
A Secure Communication Game with a Relay Helping the Eavesdropper.

- Zoran Majkic:
Binary Sequent Calculi for Truth-invariance Entailment of Finite Many-valued Logics.

- Manfred Kufleitner, Alexander Lauser:
Around Dot-depth One.

- Sibel Adali, Tina Liu, Malik Magdon-Ismail:
An Analysis of Optimal Link Bombs.

- Sumanta Chaudhuri, Sylvain Guilley, Philippe Hoogvorst, Jean-Luc Danger, Taha Beyrouthy, Alin Razafindraibe, Laurent Fesquet, Marc Renaudin:
A Secure Asynchronous FPGA Architecture, Experimental Results and Some Debug Feedback.

- Sam Tobin-Hochstadt, David Van Horn:
Modular Analysis via Specifications as Values.

- Chao Li, Gerome Miklau:
Efficient Batch Query Answering Under Differential Privacy.

- Badri N. Vellambi, Nima Torabkhani, Faramarz Fekri:
Study of Throughput and Delay in Finite-Buffer Line Networks.

- Walid Abediseid, Mohamed Oussama Damen:
On the Computational Complexity of Sphere Decoder for Lattice Space-Time Coded MIMO Channel.

- Timothy M. Chan, Sariel Har-Peled:
Approximation Algorithms for Maximum Independent Set of Pseudo-Disks.

- Abdelaziz Marjane, Abdellah Mokrane, Boufeldja Allailou:
Vectorial Feedback with Carry Registers.

- Robert Goldblatt, Marcel Jackson:
Well structured program equivalence is highly undecidable.

- Kazushi Mimura, Masato Okada:
Generating Functional Analysis for Iterative CDMA Multiuser Detectors.

- Hussein Al-Zubaidy, Ioannis Lambadaris, Yannis Viniotis:
Optimal Multi-Server Allocation to Parallel Queues With Independent Random Queue-Server Connectivity.

- Jalaluddin Qureshi, Jianfei Cai, Chuan Heng Foh:
Cooperative Retransmissions Through Collisions.

- Jan Egger, Miriam Helen Anna Bauer, Daniela Kuhnt, Barbara Carl, Christoph Kappus, Bernd Freisleben, Christopher Nimsky:
Evaluation of a Novel Approach for Automatic Volume Determination of Glioblastomas Based on Several Manual Expert Segmentations.

- Miriam Helen Anna Bauer, Jan Egger, Daniela Kuhnt, Sebastiano Barbieri, Jan Klein, Horst K. Hahn, Bernd Freisleben, Christopher Nimsky:
A Semi-Automatic Graph-Based Approach for Determining the Boundary of Eloquent Fiber Bundles in the Human Brain.

- Christoph Lange, Michael Kohlhase, Catalin David, Deyan Ginev, Andrea Kohlhase, Bogdan Matican, Stefan Mirea, Vyacheslav Zholudev:
The Planetary System: Executable Science, Technology, Engineering and Math Papers.

- B. Jalender, A. Govardhan, P. Premchand, C. Kiranmai, G. Suresh Reddy:
Drag and Drop: Influences on the Design of Reusable Software Components.

- Stefan Canzar, Nora C. Toussaint, Gunnar W. Klau:
An Exact Algorithm for Side-Chain Placement in Protein Design.

- Asma Lahimer, Pierre Lopez, Mohamed Haouari:
Climbing depth-bounded adjacent discrepancy search for solving hybrid flow shop scheduling problems with multiprocessor tasks.

- Stevens Le-Blond, Pere Manils, Chaabane Abdelberi, Mohamed Ali Kâafar, Claude Castelluccia, Arnaud Legout, Walid Dabbous:
One Bad Apple Spoils the Bunch: Exploiting P2P Applications to Trace and Profile Tor Users.

- David A. Cohen, Martin C. Cooper, Páidí Creed, András Z. Salamon:
The tractability of CSP classes defined by forbidden patterns.

- Ranjan Pal, Aravind Kailas:
Cost Sharing in Social Community Networks.

- Ranjan Pal, Leana Golubchik:
Pricing and Investments in Internet Security: A Cyber-Insurance Perspective.

- Eirik Rosnes, Michael Helmling, Alexandre Graell i Amat:
Pseudocodewords of Linear Programming Decoding of 3-Dimensional Turbo Codes.

- Xin Li:
All Roads Lead To Rome.

- Martin Haenggi:
Mean Interference in Hard-Core Wireless Networks.

- Georg Gottlob:
On Minimal Constraint Networks.

- Levent Alpoge, Thomas Ang, Luke Schaeffer, Jeffrey Shallit:
Decidability and Shortest Strings in Formal Languages.

- Jeff M. Phillips, Suresh Venkatasubramanian:
A Gentle Introduction to the Kernel Distance.

- Sanjay Karmakar, Mahesh K. Varanasi:
The Generalized Degrees of Freedom of the MIMO Interference Channel.

- José Bento, Morteza Ibrahimi, Andrea Montanari:
Information Theoretic Limits on Learning Stochastic Differential Equations.

- Daniel Bryce, Subbarao Kambhampati, David E. Smith:
Planning Graph Heuristics for Belief Space Search.

- Katia Jaffrès-Runser, Cédric Lauradoux:
Authentication planning for XOR network coding.

- Matthieu Moy:
Efficient and Playful Tools to Teach Unix to New Students.

- Wei Liang Choo, Frédéric Le Mouël, Katia Jaffrès-Runser, Marco Fiore:
Adding Network Coding Capabilities to the WSNet Simulator.

- Angsuman Das, Avishek Adhikari:
An efficient multi-use multi-secret sharing scheme based on hash function.

- Hugo Méric, Jérôme Lacan, Caroline Amiot-Bazile, Fabrice Arnal, Marie-Laure Boucheret:
Generic Approach for Hierarchical Modulation Performance Analysis: Application to DVB-SH and DVB-S2.

- Jin-ichi Itoh, Costin Vîlcu:
Cut locus structures on graphs.

- Dennis Schieferdecker, Markus Völker, Dorothea Wagner:
Efficient Algorithms for Distributed Detection of Holes and Boundaries in Wireless Networks.

- Jan Egger, Bernd Freisleben, Randolph Setser, Rahul Renapuraar, Christina Biermann, Thomas O'Donnell:
Aorta Segmentation for Stent Simulation.

- Jan Egger, Miriam Helen Anna Bauer, Daniela Kuhnt, Christoph Kappus, Barbara Carl, Bernd Freisleben, Christopher Nimsky:
A Flexible Semi-Automatic Approach for Glioblastoma multiforme Segmentation.

- Jan Egger, Miriam Helen Anna Bauer, Daniela Kuhnt, Bernd Freisleben, Christopher Nimsky:
Pituitary Adenoma Segmentation.

- Kehao Wang, Lin Chen:
On the Optimality of Myopic Sensing in Multi-channel Opportunistic Access: the Case of Sensing Multiple Channels.

- Laurent Poinsot, Alexander Pott:
Non-Boolean almost perfect nonlinear functions on non-Abelian groups.

- Sumanta Chaudhuri, Sylvain Guilley:
Side-Channel Oscilloscope.

- Heather Pon-Barry, Stuart M. Shieber:
Recognizing Uncertainty in Speech.

- Martiniano Eguía, Francisco J. Soulignac:
Hereditary biclique-Helly graphs: recognition and maximal biclique enumeration.

- David L. Donoho, Iain Johnstone, Arian Maleki, Andrea Montanari:
Compressed Sensing over $\ell_p$-balls: Minimax Mean Square Error.

- Miriam H. A. Bauer, Jan Egger, Daniela Kuhnt, Sebastiano Barbieri, Jan Klein, Horst K. Hahn, Bernd Freisleben, Christopher Nimsky:
Ray-Based and Graph-Based Methods for Fiber Bundle Boundary Estimation.

- Peter Trifonov:
On the Root Finding Step in List Decoding of Folded Reed-Solomon Codes.

- Manh Cuong Pham, Ralf Klamma, Matthias Jarke:
Development of Computer Science Disciplines - A Social Network Analysis Approach.

- Guoqiang Mao, Brian D. O. Anderson:
Connectivity of Large Scale Networks: Emergence of Unique Unbounded Component.

- Guoqiang Mao, Brian D. O. Anderson:
Connectivity of Large Scale Networks: Distribution of Isolated Nodes.

- Caner Nazaroglu, Ayfer Özgür, Christina Fragouli:
Wireless Network Simplification: the Gaussian N-Relay Diamond Network.

- Jiri Stastny, David Prochazka, Tomas Koubek, Jaromir Landa:
Augmented reality usage for prototyping speed up.

- Justin D. Basilico, M. Arthur Munson, Tamara G. Kolda, Kevin R. Dixon, W. Philip Kegelmeyer:
COMET: A Recipe for Learning and Using Large Ensembles on Massive Data.

- Jiang Lei, Zhu Han, Maria Angeles Vázquez-Castro, Are Hjørungnes:
Secure Satellite Communication Systems Design with Individual Secrecy Rate Constraints.

- Chingtham Tejbanta Singh, G. Sahoo, M. K. Ghose:
An Artificial Immune System Model for Multi-Agents Resource Sharing in Distributed Environments.

- Michael Gnewuch, Magnus Wahlström, Carola Winzen:
A Randomized Algorithm Based on Threshold Accepting to Approximate the Star Discrepancy.

- A. Martin, V. Gayathri, G. Saranya, P. Gayathri, V. Prasanna Venkatesan:
A hybrid model for bankruptcy prediction using genetic algorithm, fuzzy c-means and mars.

- Timon Hertli:
3-SAT Faster and Simpler - Unique-SAT Bounds for PPSZ Hold in General.

- Djamal Belazzougui:
Improved space-time tradeoffs for approximate full-text indexing with one edit error.

- Andres Altieri, Leonardo Rey Vega, Cecilia G. Galarza, Pablo Piantanida:
Cooperative Strategies for Interference-Limited Wireless Networks.

- Harpreet S. Dhillon, Radha Krishna Ganti, François Baccelli, Jeffrey G. Andrews:
Modeling and Analysis of K-Tier Downlink Heterogeneous Cellular Networks.

- Dongjie Yin, Pui King Wong, Tony T. Lee:
Generalized Bianchi's Model of IEEE 802.11 Distributed Coordination Function.

- Xin Liu, Anwitaman Datta, Krzysztof Rzadca:
Trust beyond reputation: A computational trust model based on stereotypes.

- Gábor Erdélyi, Michael R. Fellows, Lena Piras, Jörg Rothe:
Control Complexity in Bucklin and Fallback Voting.

- Xin Kang, Rui Zhang, Mehul Motani:
Price-Based Resource Allocation for Spectrum-Sharing Femtocell Networks: A Stackelberg Game Approach.

- Julien Schmaltz:
Formal verification of a time-triggered hardware interface.

- Keith Briggs:
Asymptotic expansions for enumerating connected labelled graphs.

- Farid M. Ablayev, Bob Coecke, Alexander Vasiliev (Eds.):
Proceedings CSR 2010 Workshop on High Productivity Computations.
EPTCS 52 2010
Contents

- Marek Cygan, Lukasz Kowalik:
Channel Assignment via Fast Zeta Transform.

- Venkatesh Saligrama, Murat Alanyali:
A Token Based Algorithm to Distributed Computation in Sensor Networks.

- Pascal Anelli, Emmanuel Lochin, Rémi Diana:
FavourQueue: a Stateless Active Queue Management to Speed Up Short TCP Flows (and others too!).

- David Levary, Jean-Pierre Eckmann, Elisha Moses, Tsvi Tlusty:
Self reference in word definitions.

- Nabil Litayem, Ahmed Ben Achballah, Slim Ben Saoud:
Building XenoBuntu Linux Distribution for Teaching and Prototyping Real-Time Operating Systems.

- Tiago Silva, Inês de Castro Dutra:
SPPAM - Statistical PreProcessing AlgorithM.

- Felix Xiaozhu Lin, Zhen Wang, Robert LiKamWa, Lin Zhong:
Transparent Programming of Heterogeneous Smartphones for Sensing.

- Szymon Grabowski, Sebastian Deorowicz:
Engineering Relative Compression of Genomes.

- Leonid I. Perlovsky:
Language, Emotions, and Cultures: Emotional Sapir-Whorf Hypothesis.

- Sushmita Ruj, Marcos Antonio Cavenaghi, Zhen Huang, Amiya Nayak, Ivan Stojmenovic:
Data-centric Misbehavior Detection in VANETs.

- Xintian Yang, Srinivasan Parthasarathy, Ponnuswamy Sadayappan:
Fast Sparse Matrix-Vector Multiplication on GPUs: Implications for Graph Mining.

- Nilesh N. Dalvi, Ravi Kumar, Mohamed A. Soliman:
Automatic Wrappers for Large Scale Web Extraction.

- Jun Rao, Eugene J. Shekita, Sandeep Tata:
Using Paxos to Build a Scalable, Consistent, and Highly Available Datastore.

- Bolin Ding, Arnd Christian König:
Fast Set Intersection in Memory.

- Vibhor Rastogi, Nilesh N. Dalvi, Minos N. Garofalakis:
Large-Scale Collective Entity Matching.

- Alexis Akira Toda:
Unification of Maximum Entropy and Bayesian Inference via Plausible Reasoning.

- Carola Winzen:
Direction-Reversing Quasi-Random Rumor Spreading with Restarts.

- Stefano Maranò, Vincenzo Matta, Ting He, Lang Tong:
The Embedding Capacity of Information Flows Under Renewal Traffic.

- Fei Wei, Huazhong Yang:
Mini-step Strategy for Transient Analysis.

- Jorge Silva, Minhua Chen, Yonina C. Eldar, Guillermo Sapiro, Lawrence Carin:
Blind Compressed Sensing Over a Structured Union of Subspaces.

- Quanyan Zhu, Lacra Pavel:
Enabling Differentiated Services Using Generalized Power Control Model in Optical Networks.

- Quanyan Zhu, Hamidou Tembine, Tamer Basar:
Heterogeneous Learning in Zero-Sum Stochastic Games with Incomplete Information.

- Quanyan Zhu, Hamidou Tembine, Tamer Basar:
A Constrained Evolutionary Gaussian Multiple Access Channel Game.

- Quanyan Zhu, Hamidou Tembine, Tamer Basar:
Evolutionary Games for Multiple Access Control.

- Anas Chaaban, Aydin Sezgin, Bernd Bandemer, Arogyaswami Paulraj:
On Gaussian Multiple Access Channels with Interference: Achievable Rates and Upper Bounds.

- Chunliang Yang, Chengling Jiang:
Coded Single-Tone Signaling for Resource Coordination and Interference Management in Femtocell Networks.

- Uriel Feige, Moshe Tennenholtz:
Mechanism design with uncertain inputs (to err is human, to forgive divine).

- Tarik Kaced:
Almost-perfect secret sharing.

- Tarik Kaced, Andrei E. Romashchenko:
Constraint information inequalities revisited.

- Sanjay Karmakar, Mahesh K. Varanasi:
The Generalized Degrees of Freedom Region of the MIMO Interference Channel.

- Andrew Byde, Andy Twigg:
Optimal query/update tradeoffs in versioned dictionaries.

- Tian Peng Ren, Yong Liang Guan, Chau Yuen, Yue Zhou, Er Yang Zhang:
Optimization of Fast-Decodable Full-Rate STBC with Non-Vanishing Determinants.

- David Eppstein, Maarten Löffler:
Bounds on the Complexity of Halfspace Intersections when the Bounded Faces have Small Dimension.

- Tamer Basar, Quanyan Zhu:
Prices of Anarchy, Information, and Cooperation in Differential Games.

- Inder Jeet Taneja:
Inequalities Among Logarithmic-Mean Measures.

- Hiro Ito, Shin-ichi Tanigawa, Yuichi Yoshida:
Constant-Time Algorithms for Sparsity Matroids.

- Yi Wei, Karthik Sukumar, Christian Vecchiola, Dileban Karunamoorthy, Rajkumar Buyya:
Aneka Cloud Application Platform and Its Integration with Windows Azure.

- Reza Asvadi, Amir H. Banihashemi, Mahmoud Ahmadian-Attari, Hamid Saeedi:
LLR Approximation for Wireless Channels Based on Taylor Series and Its Application to BICM with LDPC Codes.

- Antoine Girard, Samuel Martin:
Control Synthesis for Constrained Nonlinear Systems using Hybridization and Robust Controllers on Simplices.

- Roman Kolpakov, Gregory Kucherov, Tatiana A. Starikovskaya:
Linear pattern matching on sparse suffix trees.

- Amos Beimel, Kobbi Nissim, Eran Omri:
Distributed Private Data Analysis: On Simultaneously Solving How and What.

- Lawrence Cayton:
Accelerating Nearest Neighbor Search on Manycore Systems.

- Naoki Masuda, Mitsuhiro Nakamura:
Coevolution of trustful buyers and cooperative sellers in the trust game.

- Yanwei Xu:
Efficient Continual Top-$k$ Keyword Search in Relational Databases.

- Lluis Pamies-Juarez, Ernst Biersack:
Cost Analysis of Redundancy Schemes for Distributed Storage Systems.

- Lam Pham Sy, Valentin Savin, David Declercq, Nghia Pham:
Scheduled-PEG construction of LDPC codes for Upper-Layer FEC.

- Lam Pham Sy, Valentin Savin, David Declercq:
Extended Non-Binary Low-Density Parity-Check Codes over Erasure Channels.

- Paul W. Goldberg:
A Survey of PPAD-Completeness for Computing Nash Equilibria.

- Prerana Laddha:
Memory Retrieval in the B-Matrix Neural Network.

- Konstantin S. Turitsyn, Scott Backhaus, Maxim Ananyev, Michael Chertkov:
Smart Finite State Devices: A Modeling Framework for Demand Response Technologies.

- Xinmei Tian, Dacheng Tao, Yong Rui:
Sparse Transfer Learning for Interactive Video Search Reranking.

- Konstantinos Barlas, George Koletsos, Petros S. Stefaneas:
Transforming ASN.1 Specifications into CafeOBJ to assist with Property Checking.

- Anastasios Zouzias:
A Matrix Hyperbolic Cosine Algorithm and Applications.

- Farid M. Ablayev, Alexander Vasiliev:
On Computational Power of Quantum Read-Once Branching Programs.
1-12

- Bob Coecke, Bill Edwards:
Three qubit entanglement within graphical Z/X-calculus.
22-33

- Bob Coecke, Aleks Kissinger, Alex Merry, Shibdas Roy:
The GHZ/W-calculus contains rational arithmetic.
34-48

- Michael I. Mandel, Razvan Pascanu, Hugo Larochelle, Yoshua Bengio:
Autotagging music with conditional restricted Boltzmann machines.

- M. Amin Khajehnejad, Alexandros G. Dimakis, Babak Hassibi, Benjamin Vigoda, William Bradley:
Reweighted LP Decoding for LDPC Codes.

- Russell O'Connor:
Functor is to Lens as Applicative is to Biplate: Introducing Multiplate.

- Ash Mohammad Abbas:
Polynomial Weights or Generalized Geometric Weights: Yet Another Scheme for Assigning Credits to Multiple Authors.

- Atlas F. Cook, Anne Driemel, Sariel Har-Peled, Jessica Sherette, Carola Wenk:
Computing the Fréchet Distance Between Folded Polygons.

- Neri Merhav:
On optimum strategies for minimizing the exponential moments of a given cost function.

- Pavel Sirotkin:
Predicting User Preferences.

- Dirk A. Lorenz:
Constructing test instances for Basis Pursuit Denoising.

- Finn Årup Nielsen:
A new ANEW: Evaluation of a word list for sentiment analysis in microblogs.

- Mrinal Kumar, Gaurav Maheshwari, N. Sadagopan:
A Characterization of all Stable Minimal Separator Graphs.

- Wentian Li, Pedro Miramontes:
Fitting Ranked English and Spanish Letter Frequency Distribution in U.S. and Mexican Presidential Speeches.

- Wei Chen:
Data sets of very large linear feasibility problems solved by projection methods.

- Moshe Mishali, Yonina C. Eldar:
Xampling: Compressed Sensing of Analog Signals.

- Janusz A. Brzozowski, Baiyu Li, Yuli Ye:
Syntactic Complexity of Prefix-, Suffix-, and Bifix-Free Languages.

- Claire Mouton:
A study of the existing linear algebra libraries that you can use from C++ (Une étude des bibliothèques d'algèbre linéaire utilisables en C++).

- Claire Mouton:
A study of the existing libraries to read from configuration files (from C++).

- Laura Grigori, Frédéric Nataf:
Generalized Filtering Decomposition.

- Nevroz Sen, Giacomo Como, Serdar Yüksel, Fady Alajaji:
On the Capacity of Memoryless Finite-State Multiple Access Channels with Asymmetric Noisy State Information at the Encoders.

- Charles L. Cartledge, Michael L. Nelson:
Connectivity Damage to a Graph by the Removal of an Edge or a Vertex.

- Nathan Bell, Anil N. Hirani:
PyDEC: Software and Algorithms for Discretization of Exterior Calculus.

- Bin Da, Rui Zhang:
Exploiting Interference Alignment in Multi-Cell Cooperative OFDMA Resource Allocation.

- Satyaki Mahalanabis:
A note on active learning for smooth problems.

- Rahul Urgaonkar, Bhuvan Urgaonkar, Michael J. Neely, Anand Sivasubramaniam:
Optimal Power Cost Management Using Stored Energy in Data Centers.

- Aditya G. Parameswaran, Anish Das Sarma, Hector Garcia-Molina, Neoklis Polyzotis, Jennifer Widom:
Human-Assisted Graph Search: It's Okay to Ask Questions.

- Mohamed Yakout, Ahmed K. Elmagarmid, Jennifer Neville, Mourad Ouzzani, Ihab F. Ilyas:
Guided Data Repair.

- Bingsheng He, Jeffrey Xu Yu:
High-Throughput Transaction Executions on Graphics Processors.

- Mehmet Levent Koc, Christopher Ré:
Incrementally Maintaining Classification using an RDBMS.

- Tom Hirschowitz (Ed.):
Proceedings Types for Proofs and Programs, Revised Selected Papers.
EPTCS 53 2009
Contents

- Xiaojun Tang, Ruoheng Liu, Predrag Spasojevic, H. Vincent Poor:
A Broadcast Approach To Secret Key Generation Over Slow Fading Channels.

- Keisuke Goto, Hideo Bannai, Shunsuke Inenaga, Masayuki Takeda:
Fast $q$-gram Mining on SLP Compressed Strings.

- Michael Braun, Tuvi Etzion, Alexander Vardy:
Linearity and Complements in Projective Space.

- Yong Lai, Dayou Liu, Sheng-sheng Wang:
Reduced Ordered Binary Decision Diagram with Implied Literals: A New knowledge Compilation Approach.

- Ashok Kumar Das:
Cryptanalysis And Further Improvement Of A Biometric-Based Remote User Authentication Scheme Using Smart Cards.

- Andrew W. Boyd:
A Longitudinal Study of Social Media Privacy Behavior.

- Johnny Karout, Erik Agrell, Krzysztof Szczerba, Magnus Karlsson:
Designing Power-Efficient Modulation Formats for Noncoherent Optical Systems.

- Lutz Bornmann, Loet Leydesdorff:
Which cities produce excellent papers worldwide more than can be expected? A new mapping approach--using Google Maps--based on statistical significance testing.

- Piero Giacomelli, Giulia Munaro, Roberto Rosso:
Using Soft Computer Techniques on Smart Devices for Monitoring Chronic Diseases: the CHRONIOUS case.

- Lars Bergstrom:
Measuring NUMA effects with the STREAM benchmark.

- H. Emre Guven, Eric L. Miller, Robin O. Cleveland:
Multi-parameter acoustic imaging of uniform objects in inhomogeneous media.

- Christian Kissig, Alexander Kurz:
Generic Trace Logics.

- K. R. Duffy, C. Bordenave, Douglas J. Leith:
Decentralized Constraint Satisfaction.

- Jin-Hao Li, Hsuan-Jung Su:
Feedback Reduction for MIMO Broadcast Channel with Heterogeneous Fading.

- Paulo S. L. M. Barreto, Richard Lindner, Rafael Misoczki:
Decoding square-free Goppa codes over $\F_p$.

- Mohammed Mana, Mohammed Feham, Boucif Amar Bensaber:
A Light Weight Protocol to Provide Location Privacy in Wireless Body Area networks.

- Haris Aziz, Troels Bjerre Sørensen:
Path coalitional games.

- Shriram Sarvotham, Richard G. Baraniuk:
Deterministic Bounds for Restricted Isometry of Compressed Sensing Matrices.

- Andrea Asperti, Enrico Tassi:
Superposition as a logical glue.
1-15

- Claudio Sacerdoti Coen, Enrico Tassi:
Nonuniform Coercions via Unification Hints.
16-29

- Yangyue Feng, Zhaohui Luo:
Typed Operational Semantics for Dependent Record Types.
30-46

- Freek Wiedijk:
Stateless HOL.
47-61

- Raju Singh, A. K. Vatsa:
Confidentiality & Authentication Mechanism for Biometric Information Transmitted over Low Bandwidth & Unreliable channel.

- Jaydip Sen:
A Robust Mechanism for Defending Distributed Denial OF Service Attacks on Web Servers.

- A. B. M. Nasiruzzaman, H. R. Pota:
Transient Stability Assessment of Smart Power System using Complex Networks Framework.

- Ahmed Riadh Rebai, Saïd Hanafi:
A Dynamic Multimedia User-Weight Classification Scheme for IEEE_802.11 WLANs.

- Georg Zetzsche:
On the capabilities of grammars, automata, and transducers controlled by monoids.

- Sahin Emrah Amrahov, Nizami Gasilov, Afet Golayoglu Fatullayev:
Numerical solution of a fuzzy time-optimal control problem.

- V. Manjula, C. Chellappan:
Replication Attack Mitigations for Static and Mobile WSN.

- Abdulbaset H. Mohammad:
A New Localized Network Based Routing Model in Computer and Communication networks.

- Edmund K. Burke, Pedro Leite Rocha, Sanja Petrovic:
An Integer Linear Programming Model for the Radiotherapy Treatment Scheduling Problem.

- Hazim A. Farhan, Hussein H. Owaied, Suhaib I. Al-Ghazi:
Finding Shortest Path for Developed Cognitive Map Using Medial Axis.

- Sofiene Haboubi, Samia Maddouri:
Extraction of handwritten areas from colored image of bank checks by an hybrid method.

- Sofiene Haboubi, Samia Maddouri, Hamid Amiri:
Identification of arabic word from bilingual text using character features.

- M. S. Shirdhonkar, Manesh Kokare:
Off-Line Handwritten Signature Identification Using Rotated Complex Wavelet Filters.

- Paul Ormerod, Ellie Evans:
Ex ante prediction of cascade sizes on networks of agents facing binary outcomes.

- Ram Somaraju, Jochen Trumpf:
Degrees of Freedom of a Communication Channel and Kolmogorov numbers.

- Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil:
Self-Stabilization, Byzantine Containment, and Maximizable Metrics: Necessary Conditions.

- Panayotis Mertikopoulos, Elena Veronica Belmega, Aris L. Moustakas, Samson Lasaulce:
Distributed Learning Policies for Power Allocation in Multiple Access Channels.

- Deqing Wang, Mengxiang Lin, Hui Zhang, Hongping Hu:
Detect Related Bugs from Source Code Using Bug Information.

- Yuri L. Borissov:
On a Connection between Ideal Two-level Autocorrelation and Almost Balancedness of $p$-ary Sequences.

- Fredrik Sandin, Blerim Emruli, Magnus Sahlgren:
Incremental dimension reduction of tensors with random index.

- Amin Aminzadeh Gohari, Shenghao Yang, Sidharth Jaggi:
Beyond the Cut Set Bound: Uncertainty Computations in Network Coding with Correlated Sources.

- Nursen Aydin, Mehmet Karaca, Özgür Erçetin:
Energy-Optimal Scheduling in Low Duty Cycle Sensor Networks.

- Jens Zumbrägel, Vitaly Skachek, Mark F. Flanagan:
On the Pseudocodeword Redundancy of Binary Linear Codes.

- Ludo Waltman, Robert J. W. Tijssen, Nees Jan van Eck:
Globalisation of science in kilometres.

- Martin Biely, Peter Robinson, Ulrich Schmid:
Easy Impossibility Proofs for k-Set Agreement in Message Passing Systems.

- Aïssa Ikhlef, Diomidis S. Michalopoulos, Robert Schober:
Buffers Improve the Performance of Relay Selection.

- Sergio España, Arturo González, Oscar Pastor, Marcela Ruiz:
Integration of Communication Analysis and the OO-Method: Rules for the manual derivation of the Conceptual Model.

- William Cushing, J. Benton, Subbarao Kambhampati:
Cost Based Satisficing Search Considered Harmful.

- Oliver Kullmann:
Constraint satisfaction problems in clausal form.

- Chung-Pi Lee, Hsuan-Jung Su:
Diversity-Multiplexing Tradeoff in the Multiaccess Relay Channel with Finite Block Length.

- Xin Wu, Arunita Jaekel, Ataul Bari:
Optimal channel allocation with dynamic power control in cellular networks.

- Min Chih Lin, Francisco J. Soulignac, Jayme Luiz Szwarcfiter:
Subclasses of Normal Helly Circular-Arc Graphs.

- Taesup Moon, Wei Chu, Lihong Li, Zhaohui Zheng, Yi Chang:
Refining Recency Search Results with User Click Feedback.

- Itzhak Tamo, Zhiying Wang, Jehoshua Bruck:
MDS Array Codes with Optimal Rebuilding.

- Harry Yosh:
The key exchange cryptosystem used with higher order Diophantine equations.

- Christian Bessiere, Nina Narodytska, Claude-Guy Quimper, Toby Walsh:
The AllDifferent Constraint with Precedences.

- Paul Cuff:
Using a Secret Key to Foil an Eavesdropper.

- István Szépkúti:
On the Scalability of Multidimensional Databases.

- Florent Foucaud, Guillem Perarnau:
Bounds for identifying codes in terms of degree parameters.

- Jie Li, Jianping Wu, Ke Xu:
SafeZone: A Hierarchical Inter-Domain Authenticated Source Address Validation Solution.

- Mahmoud Khraiwesh:
Validation Measures in CMMI.

- Xingqin Lin, Tat-Ming Lok:
Learning Equilibrium Play for Stochastic Parallel Gaussian Interference Channels.

- G. A. Sathish Kumar, K. Bhoopathy Bagan, N. Sriraam:
Image Encryption Based on Diffusion and Multiple Chaotic Maps.

- Lucian Trifina, Daniela G. Tarniceriu, Valeriu Munteanu:
Improved QPP Interleavers for LTE Standard.

- Feichi Long, Tiejun Lv:
Relaxed Belief Propagation for MIMO Detection.

- Sumit Kumar, Santosh Kumar, Sukumar Nandi:
Stage Staffing Scheme for Copyright Protection in Multimedia.

- Mark Sh. Levin:
Framework for Clique-based Fusion of Graph Streams in Multi-function System Testing.

- H. S. Behera, Rakesh Mohanty, Debashree Nayak:
A New Proposed Dynamic Quantum with Re-Adjusted Round Robin Scheduling Algorithm and Its Performance Analysis.

- H. S. Behera, Simpi Patel, Bijayalakshmi Panda:
A New Dynamic Round Robin and SRTN Algorithm with Variable Original Time Slice and Intelligent Time Slice for Soft Real Time Systems.

- Heejin Kim, Sang-Rim Lee, Kyoung-Jae Lee, Inkyu Lee:
Transmission Selection Schemes using Sum Rate Analysis in Distributed Antenna Systems.

- Emil Saucan:
A Simple Sampling Method for Metric Measure Spaces.

- Mark Sh. Levin, Aliaksei Andrushevich, Alexander Klapproth:
Composition of Management System for Smart Homes.

- Mark Sh. Levin:
Course on System Design (structural approach).

- István Szépkúti:
Difference Sequence Compression of Multidimensional Databases.

- István Szépkúti:
Multidimensional or Relational? / How to Organize an On-line Analytical Processing Database.

- Jiang Lei, Maria Angeles Vázquez-Castro:
Multibeam Satellite Frequency/Time Duality Study and Capacity Optimization.

- Xing M. Wang:
From Dirac Notation to Probability Bracket Notation: Term Vector Space, Concept Fock Space and Probabilistic IR Models.

- Teja Damodaram Bavirisetti, G. Abhinav, Krishnan Prasad, B. Sundar Rajan:
A Transform Approach to Linear Network Coding for Acyclic Networks with Delay.

- Jin-Hao Li, Hsuan-Jung Su, Yu-Lun Tsai:
Feedback Reduction for Random Beamforming in Multiuser MIMO Broadcast Channel.

- Alexander Rand:
Improved Examples of Non-Termination for Ruppert's Algorithm.

- Daniel Harabor, Philip Kilby:
Informed Heuristics for Guiding Stem-and-Cycle Ejection Chains.

- Danny Z. Chen, Haitao Wang:
Computing Shortest Paths among Curved Obstacles in the Plane.

- Chan Wong Wong, Tan F. Wong, John M. Shea:
LDPC Code Design for the BPSK-constrained Gaussian Wiretap Channel.

- Tuvi Etzion:
Product Constructions for Perfect Lee Codes.

- Ana Sofia Gomes, José Júlio Alferes, Terrance Swift:
A Goal-Directed Implementation of Query Answering for Hybrid MKNF Knowledge Bases.

- Avinatan Hassidim, Haim Kaplan, Yishay Mansour, Noam Nisan:
Non-Price Equilibria in Markets of Discrete Goods.

- Lukasz Debowski:
Mixing, Ergodic, and Nonergodic Processes with Rapidly Growing Information between Blocks.

- Olivier Bailleux:
BoolVar/PB v1.0, a java library for translating pseudo-Boolean constraints into CNF formulae.

- Haim H. Permuter, Himanshu Asnani:
Multiple Access Channel with Partial and Controlled Cribbing Encoders.

- Kashif Mahmood, Mikko Vehkaperä, Yuming Jiang:
Delay Constrained Throughput Analysis of a Correlated MIMO Wireless Channel.

- Robert Dabrowski, Krzysztof Stencel, Grzegorz Timoszuk:
Software is a directed multigraph (and so is software process).

- Igor Cizelj, Xu Chu Ding, Morteza Lahijanian, Alessandro Pinto, Calin Belta:
Probabilistically Safe Vehicle Control in a Hostile Environment.

- Richard Cole, Vijaya Ramachandran:
Efficient Resource Oblivious Algorithms for Multicores.

- Armel Ulrich Kemloh Wagoum, Armin Seyfried, Stefan Holl:
Modelling dynamic route choice of pedestrians to assess the criticality of building evacuation.

- Frédérique E. Oggier, Patrick Solé, Jean-Claude Belfiore:
Lattice Codes for the Wiretap Gaussian Channel: Construction and Analysis.

- Benjamin Fine, Maggie Habeeb, Delaram Kahrobaei, Gerhard Rosenberger:
Aspects of Nonabelian Group Based Cryptography: A Survey and Open Problems.

- Henning Thielemann:
Sampling-rate-aware noise generation.

- Daniel Reem:
The geometric stability of Voronoi diagrams with respect to small changes of the sites.

- Michael Hanus, Sven Koschnicke:
An ER-based Framework for Declarative Web Programming.

- Richard Cole, Vijaya Ramachandran:
Analysis of Randomized Work Stealing with False Sharing.

- István Szépkúti:
Caching in Multidimensional Databases.

- István Szépkúti:
Difference-Huffman Coding of Multidimensional Databases.

- Lele Wang, Mohammad Naghshvar:
On the Capacity of the Noncausal Relay Channel.

- Satish Babu Korada, Andrea Montanari, Sewoong Oh:
Gossip PCA.

- Ning Chen, Xiaotie Deng:
On Nash Dynamics of Matching Market Equilibria.

- Daniel Hsu, Nikos Karampatziakis, John Langford, Alexander J. Smola:
Parallel Online Learning.

- Andrej Poleev:
Universal Metadata Standard.

- Kaibin Huang, Jeffrey G. Andrews:
A Stochastic-Geometry Approach to Coverage in Cellular Networks with Multi-Cell Cooperation.

- Salvatore Catanese, Emilio Ferrara, Giacomo Fiumara, Francesco Pagano:
Rendering of 3D Dynamic Virtual Environments.

- Andrew Twigg, Andrew Byde, Grzegorz Milos, Tim D. Moreton, John Wilkes, Tom Wilkie:
Stratified B-trees and versioning dictionaries.

- Xinhua Wang, Hai Lin:
Design and frequency analysis of continuous finite-time-convergent differentiator.

- Xinhua Wang, Hai Lin:
Design and analysis of continuous hybrid differentiator.

- C. A. Middelburg:
A Survey of Paraconsistent Logics.

- Xu Chu Ding, Stephen L. Smith, Calin Belta, Daniela Rus:
MDP Optimal Control under Temporal Logic Constraints.

- Mirela Damian, Abhaykumar Kumbhar:
Undirected Connectivity of Sparse Yao Graphs.

- Ge Xia:
The Stretch Factor of the Delaunay Triangulation Is Less Than 1.998.

- Pooya Molavi, Ali Jadbabaie:
On Non-Bayesian Social Learning.

- Sylvain Schmitz, Philippe Schnoebelen:
Multiply-Recursive Upper Bounds with Higman's Lemma.

- Osman Yagan, Armand M. Makowski:
On the gradual deployment of random pairwise key distribution schemes (Extended Version).

- Aimal Khan Yousafzai, Mohammad Reza Nakhai:
Interference Alignment with Partially Coordinated Transmit Precoding.

- Zhao Cao, Charles A. Sutton, Yanlei Diao, Prashant J. Shenoy:
Distributed Inference and Query Processing for RFID Tracking and Monitoring.

- Muhammad Rezal Kamel Ariffin, Z. Mahad, Nor Azman Abu, Arif Mandangan, Kamel Ariffin Mohd Atan:
Linear Diophantine Equation Discrete Log Problem and the AAβ-Cryptosystem.

- Amin Emad, Olgica Milenkovic:
Information Theoretic Bounds for Tensor Rank Minimization over Finite Fields.

- Ravi Teja Sukhavasi, Babak Hassibi:
Anytime Reliable Codes for Stabilizing Plants over Erasure Channels.

- Kishor Barman, Onkar Dabeer:
Clustered regression with unknown clusters.

- Dan C. Ciresan, Ueli Meier, Luca Maria Gambardella, Jürgen Schmidhuber:
Handwritten Digit Recognition with a Committee of Deep Neural Nets on GPUs.

- Ashok Kumar Das:
An Improved Efficient Key Distribution Mechanism for Large-Scale Heterogeneous Mobile Sensor Networks.

- M. Ibrahim Moussa:
An Algorithm for Odd Gracefulness of the Tensor Product of Two Line Graphs.

- Panos Giannopoulos, Christian Knauer, Magnus Wahlström, Daniel Werner:
Hardness of discrepancy computation and epsilon-net verification in high dimension.

- Erik D. Demaine, Sarah Eisenstat, Jeffrey Shallit, David A. Wilson:
Remarks on separating words.

- Jan A. Bergstra:
Real Islamic Logic.

- Vissarion Fisikopoulos:
An implementation of range trees with fractional cascading in C++.

- Huang Huang, Vincent K. N. Lau, Yinggang Du, Sheng Liu:
Robust Lattice Alignment for K-user MIMO Interference Channels with Imperfect Channel Knowledge.

- Ayaz Ahmad, Mohamad Assaad:
Canonical Dual Method for Resource Allocation and Adaptive Modulation in Uplink SC-FDMA Systems.

- Gennaro Cordasco, Luisa Gargano:
Community Detection via Semi-Synchronous Label Propagation Algorithms.

- Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz, Fangkai Yang:
Representing First-Order Causal Theories by Logic Programs.

- Erez Kantor, Zvi Lotker, Merav Parter, David Peleg:
The Topology of Wireless Communication.

- Yuxin Deng, Wenjie Du:
Logical, Metric, and Algorithmic Characterisations of Probabilistic Bisimulation.

- Chengpu Wang:
Common Signal Analysis.

- Massimo Benerecetti, Marco Faella, Stefano Minopoli:
Automatic Synthesis of Switching Controllers for Linear Hybrid Automata.

- Miroslav Dudík, John Langford, Lihong Li:
Doubly Robust Policy Evaluation and Learning.

- Ashok Kumar Das, Debasis Giri:
An Identity Based Key Management Scheme in Wireless Sensor Networks.

- Ashok Kumar Das:
An Unconditionally Secure Key Management Scheme for Large-Scale Heterogeneous Wireless Sensor Networks.

- Tharaka Samarasinghe, Hazer Inaltekin, Jamie S. Evans:
Vector Broadcast Channels: Optimality of Threshold Feedback Policies.

- Suresh Badarla, Raghavan Rama:
Note on minimally k-connected graphs.

- Tharaka Samarasinghe, Hazer Inaltekin, Jamie S. Evans:
Vector Broadcast Channels: Optimal Threshold Selection Problem.

- Wojciech M. Golab, Lisa Higham, Philipp Woelfel:
Linearizable Implementations Do Not Suffice for Randomized Distributed Computation.

- Razvan Voicu, Mengran Li:
Cyclic and Inductive Calculi are equivalent.

- Eric Berberich, Pavel Emeliyanenko, Alexander Kobel, Michael Sagraloff:
Arrangement Computation for Planar Algebraic Curves.

- Vijay Kumar Kodavalla, P. G. Krishna Mohan:
Distributed Video Coding: Codec Architecture and Implementation.

- Christian Breitwieser, Christoph Eibel:
TiA -- Documentation of TOBI Interface A.

- B. G. Kodge, P. S. Hiremath:
Computer Modelling of 3D Geological Surface.

- B. G. Kodge, P. S. Hiremath:
Automatic Extraction of Open Space Area from High Resolution Urban Satellite Imagery.

- Ramaprasada R. Kalidindi, K. V. S. V. N. Raju, V. Valli Kumari, Ch. Satyananda Reddy:
Trust Based Participant Driven Privacy Control in Participatory Sensing.

- Andrea Splendiani, Christopher J. Rawlings, Shao-Chih Kuo, Robert Stevens, Phillip W. Lord:
Lost in translation: data integration tools meet the Semantic Web (experiences from the Ondex project).

- Manju Chaudhary, Arun K. Pujari:
High-Energy-First (HEF) Heuristic for Energy-Efficient Target Coverage Problem.

- Biswajit Dutta, Somsubhra Barik, Ananthanarayanan Chockalingam:
Full-Rate Full-Diversity Achieving MIMO Precoding with Partial CSIT.

- José L. Balcázar:
Formal and Computational Properties of the Confidence Boost of Association Rules.

- Chao Tian:
Latent Capacity Region: A Case Study on Symmetric Broadcast With Common Messages.

- Paolo Castiglione, Osvaldo Simeone, Elza Erkip, Thomas Zemen:
Energy Management Policies for Energy-Neutral Source-Channel Coding.

- Alexandru-Adrian Tantar, Emilia Tantar, Pascal Bouvry:
Design and classification of dynamic multi-objective optimization problems.

- Vadas Gintautas, Aric A. Hagberg, Luís M. A. Bettencourt:
When is social computation better than the sum of its parts?

- Anil N. Hirani, Kaushik Kalyanaraman:
Numerical Experiments for Darcy Flow on a Surface Using Mixed Exterior Calculus Methods.

- Saeedeh Parsaeefard, Ahmad R. Sharafat, Mihaela van der Schaar:
Robust Additively Coupled Games.

- Saeedeh Parsaeefard, Ahmad R. Sharafat:
Robust Spectrum Sharing via Worst Case Approach.

- Isabelle Stanton, Ali Pinar:
Constructing and Sampling Graphs with a Prescribed Joint Degree Distribution.

- Antonio Wendell De Oliveira Rodrigues, Frédéric Guyomarc'h, Jean-Luc Dekeyser:
Programming Massively Parallel Architectures using MARTE: a Case Study.

- Vadas Gintautas, Aric A. Hagberg, Luís M. A. Bettencourt:
Cooperative searching for stochastic targets.

- Giacomo Como, Ketan Savla, Daron Acemoglu, Munther A. Dahleh, Emilio Frazzoli:
Robust Distributed Routing in Dynamical Flow Networks - Part II: Strong Resilience, Equilibrium Selection and Cascaded Failures.

- Jérôme Louradour, Hugo Larochelle:
Classification of Sets using Restricted Boltzmann Machines.

- Vitaly Feldman:
Distribution-Independent Evolvability of Linear Threshold Functions.

- Surendra Rahamatkar, Ajay Agarwal:
A Reference Based, Tree Structured Time Synchronization Approach and its Analysis in WSN.

- S. Satheesh, K. V. S. V. R. Prasad:
Medical Image Denoising using Adaptive Threshold Based on Contourlet Transform.

- B. G. Kodge, P. S. Hiremath:
Automatic Open Space Area Extraction and Change Detection from High Resolution Urban Satellite Images.

- P. S. Hiremath, B. G. Kodge:
Generating contour lines using different elevation data file formats.

- B. G. Kodge, P. S. Hiremath:
Detection of Spatial Changes using Spatial Data Mining.

- Xu Feng, Jichang Zhao, Ke Xu:
Link Prediction in Complex Networks: A Clustering Perspective.

- K. V. Iyer:
Functional dependency in relational databases (adapted after M.Y.Vardi's survey).

- Pascal Koiran, Anastasios Zouzias:
On the Certification of the Restricted Isometry Property.

- Olaf Beyersdorff, Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas, Heribert Vollmer:
Model Checking CTL is Almost Always Inherently Sequential.

- Blaz Fortuna, Dunja Mladenic, Marko Grobelnik:
User Modeling Combining Access Logs, Page Content and Semantics.

- Tong Chern:
On Understanding and Machine Understanding.

- Wan Mohd. Yaakob Wan Bejuri, Mohd. Murtadha Mohamad, Maimunah Sapri:
Ubiquitous Positioning: A Taxonomy for Location Determination on Mobile Navigation System.

- Mario Arias, Javier D. Fernández, Miguel A. Martínez-Prieto, Pablo de la Fuente:
An Empirical Study of Real-World SPARQL Queries.

- Ashish Sureka:
Mining User Comment Activity for Detecting Forum Spammers in YouTube.

- Ash Mohammad Abbas:
Bounds and Inequalities Relating h-Index, g-Index, e-Index and Generalized Impact Factor.

- Markus Kirchberg, Ryan K. L. Ko, Bu-Sung Lee:
From Linked Data to Relevant Data -- Time is the Essence.

- Ravi Chugh, Patrick Maxim Rondon, Ranjit Jhala:
System D: Dependent Dynamic Dictionaries.

- Vissarion Fisikopoulos:
Study of the effect of cost policies in the convergence of selfish strategies in Pure Nash Equilibria in Congestion Games.

- Miroslav Ciric, Jelena Ignjatovic, Ivana Jancic, Nada Damljanovic:
Algorithms for computing the greatest simulations and bisimulations between fuzzy automata.

- Praveen Kuruvada:
Memory Storage in a Variable Threshold Neural Network.

- Georg Moser, Andreas Schnabl:
Termination Proofs in the Dependency Pair Framework May Induce Multiple Recursive Derivational Complexity.

- Michael T. Goodrich:
Data-Oblivious External-Memory Algorithms for the Compaction, Selection, and Sorting of Outsourced Data.

- Pars Mutaf:
Defeating Internet attacks and Spam using "disposable" Mobile IPv6 home addresses.

- Maurice Margenstern:
A protocol for a message system for the tiles of the heptagrid, in the hyperbolic plane.

- Chia-han Lee, Wayne Wolf:
Power Consumption of LDPC Decoders in Software Radio.

- Victor M. Preciado, Jaelynn Oh, Ali Jadbabaie:
Analysis of Equilibria and Strategic Interaction in Complex Networks.

- Arash Behboodi, Pablo Piantanida:
Cooperative Strategies for Simultaneous and Broadcast Relay Channels.

- Paolo Braca, Stefano Maranò, Vincenzo Matta:
Asymptotic Properties of One-Bit Distributed Detection with Ordered Transmissions.

- Michael Scherer, Sahbi Sidhom:
Progress of concepts and processes in library information system: towards Library 2.0.

- Matthew Might, David Van Horn:
A family of abstract interpretations for static analysis of concurrent higher-order programs.

- Ritchie Lee, David H. Wolpert:
Game theoretic modeling of pilot behavior during mid-air encounters.

- Graham Cormode, Magda Procopiuc, Entong Shen, Divesh Srivastava, Ting Yu:
Differentially Private Spatial Decompositions.

- Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi:
Differential Privacy: on the trade-off between Utility and Information Leakage.

- Parisa Babaheidarian, Somayeh Salimi, Mohammad Reza Aref:
A New Secret key Agreement Scheme in a Four-Terminal Network.

- A. S. Petrov, Anatoly D. Plotnikov:
Encipher of information on the basis of geometrical presentations.

- Dai Tri Man Le, Stephen A. Cook:
Formalizing Randomized Matching Algorithms.

- Inder Jeet Taneja:
Generalized Symmetric Divergence Measures and the Probability of Error.

- Inder Jeet Taneja:
Upper Bounds on the Probability of Error in terms of Mean Divergence Measures.

- Roman Kolpakov:
On primary and secondary repetitions in words.

- Loet Leydesdorff, Lutz Bornmann:
Integrated Impact Indicators (I3) compared with Impact Factors (IFs): An alternative research design with policy implications.

- Kevin Waugh, Brian D. Ziebart, J. Andrew Bagnell:
Computational Rationalization: The Inverse Equilibrium Problem.

- Rajeev Goré, Linda Postniece, Alwen Tiu:
On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics.

- Chin Keong Ho, Rui Zhang:
Optimal Energy Allocation for Wireless Communications with Energy Harvesting Constraints.

- Alberto Montresor, Francesco De Pellegrini, Daniele Miorandi:
Distributed k-Core Decomposition.

- Dieter Duyck, Joseph Jean Boutros, Marc Moeneclaey:
Precoding for Outage Probability Minimization on Block Fading Channels.

- Phoebus Chen, Chithrupa Ramesh, Karl Henrik Johansson:
Network Estimation and Packet Delivery Prediction for Control over Wireless Mesh Networks.

- Alberto Pepe, Corinna di Gennaro:
Political protest Italian-style: The dissonance between the blogosphere and mainstream media in the promotion and coverage of Beppe Grillo's V-day.

- Zoltán Ésik, Szabolcs Iván:
Context-free ordinals.

- Alireza Vahid, Changho Suh, Amir Salman Avestimehr:
Interference Channels with Rate-Limited Feedback.

- Michael J. Assels, Dana Echtner, Michael Spanner, Serguei A. Mokhov, François Carrière, Manny Taveroff:
Multifaceted Faculty Network Design and Management: Practice and Experience Report.

- Rukun Mao, Husheng Li:
Nobody but You: Sensor Selection for Voltage Regulation in Smart Grid.

- Malik Magdon-Ismail:
Using a Non-Commutative Bernstein Bound to Approximate Some Matrix Algorithms in the Spectral Norm.

- Emmanuel Abbe, Shao-Lun Huang, Emre Telatar:
Proof of the outage probability conjecture for MISO channels.

- Timothy M. Chan, Kasper Green Larsen, Mihai Patrascu:
Orthogonal Range Searching on the RAM, Revisited.

- Yue Wu, Joseph P. Noonan, Sos S. Agaian:
Shannon Entropy based Randomness Measurement and Test for Image Encryption.

- Andrew Lyons:
Acyclic and Star Colorings of Cographs.

- Yiwei Song, Natasha Devroye:
A Lattice Compress-and-Forward Scheme.

- Jovana Ilic, Thomas Strohmer:
Sparsity Enhanced Decision Feedback Equalization.

- Alberto Alonso Fernández, Omar Alvarez Fres, Ignacio González Alonso, Huosheng Hu:
Visual Localisation of Mobile Devices in an Indoor Environment under Network Delay Conditions.

- Sameera Muhamed Salam, K. N. Parvathy, K. S. Sudeep, K. Muralikrishnan:
On the Complexity of Edge Packing and Vertex Packing.

- Saheeb Ahmed Kayani:
Designing a Miniature Wheel Arrangement for Mobile Robot Platforms.

- Adrian Sai-Wah Tam, Kang Xi, H. Jonathan Chao:
Use of Devolved Controllers in Data Center Networks.

- Shahriar Mohammadi, Hossein Jadidoleslamy:
A Comparison of Link Layer Attacks on Wireless Sensor Networks.

- Stéphane Bessy, Anthony Perez:
Polynomial kernels for Proper Interval Completion and related problems.

- Uriel Feige, Daniel Reichman:
Recoverable Values for Independent Sets.

- Alaa Ismail Elnashar:
To Parallelize or Not to Parallelize, Speed Up Issue.

- Hafizan Mat Som, Jasni Mohamad Zain, Amzari Jihadi Ghazali:
Application of Threshold Techniques for Readability Improvement of Jawi Historical Manuscript Images.

- Tomer Michaeli, Daniel Sigalov, Yonina C. Eldar:
Partially Linear Bayesian Estimation with Application to Sparse Approximations.

- Marius Zimand:
Symmetry of information and bounds on nonuniform randomness extraction via Kolmogorov extractors.

- Tobias Kuhn:
Codeco: A Grammar Notation for Controlled Natural Language in Predictive Editors.

- Håkan Terelius, Guodong Shi, Jim Dowling, Amir H. Payberah, Ather Gattami, Karl Henrik Johansson:
Converging an Overlay Network to a Gradient Topology.

- Stefano Bilotta, Donatella Merlini, Elisa Pergola, Renzo Pinzani:
Binary words avoiding a pattern and marked succession rule.

- David Hasenfratz, Andreas Meier, Matthias Woehrle, Marco Zimmerling, Lothar Thiele:
Poster Abstract: If You Have Time, Save Energy with Pull.

- Yi Sun, Faustino J. Gomez, Jürgen Schmidhuber:
Planning to Be Surprised: Optimal Bayesian Exploration in Dynamic Environments.

- Rohith Singi Reddy:
Key Management in Wireless Sensor Networks Using a Modified Blom Scheme.

- Vlad Slavici, Daniel Kunkle, Gene Cooperman, Stephen Linton:
Finding the Minimal DFA of Very Large Finite State Automata with an Application to Token Passing Networks.

- Hadi G. Ghauch, Constantinos B. Papadias:
Interference Alignment: A one-sided approach.

- Steve Haynal, Heidi Haynal:
Generating and Searching Families of FFT Algorithms.

- M. Shahriar Hossain, M. Muztaba Fuad, Debzani Deb, Kazi Muhammad Najmul Hasan Khan, Md. Mahbubul Alam Joarder:
Load Balancing in a Networked Environment through Homogenization.

- M. Shahriar Hossain, Kazi Muhammad Najmul Hasan Khan, M. Muztaba Fuad, Debzani Deb:
Triangular Dynamic Architecture for Distributed Computing in a LAN Environment.

- M. Shahriar Hossain, M. Muztaba Fuad, Md. Mahbubul Alam Joarder:
Agent Based Processing of Global Evaluation Function.

- Oguz Semerci, Eric L. Miller:
A Parametric Level Set Approach to Simultaneous Object Identification and Background Reconstruction for Dual Energy Computed Tomography.

- Maaly Awad S. Hassan, Ibrahim Soliman I Abuhaiba:
Image Encryption Using Differential Evolution Approach in Frequency Domain.

- Lei Zhou, Wei Yu:
Approximate Capacity Region of the $K$-User Cyclic Gaussian Interference Channel.

- Maaly Awad Hassan, Andrew Chickadel:
A Review of Interference Reduction in Wireless Networks Using Graph Coloring Methods.

- Maryam Helmi, Lisa Higham, Eduardo Pacheco, Philipp Woelfel:
The Space Complexity of Long-lived and One-Shot Timestamp Implementations.

- M. Shahriar Hossain, Rafal A. Angryk:
Heuristic Algorithm for Interpretation of Non-Atomic Categorical Attributes in Similarity-based Fuzzy Databases - Scalability Evaluation.

- Markus Wagner, Frank Neumann:
Computational Complexity Results for Genetic Programming and the Sorting Problem.

- Stuart B. Heinrich, Wesley E. Snyder:
Improved Edge Awareness in Discontinuity Preserving Smoothing.

- Ilona Dominika Kosinska:
The FEM approach to the 3D electrodiffusion on 'meshes' optimized with the Metropolis algorithm.

- Maher Abdel-qader, Ahmad Al-Jaber, Alaa Al-Hamami:
Using Short Message Service (SMS) to Support Business Continuity.

- David H. Lorenz, Boaz Rosenan:
A Comparative Case Study of Code Reuse With Language Oriented Programming.

- Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke:
Abstract Processes of Place/Transition Systems.

- Phoebus Chen, Karl Henrik Johansson, Paul Balister, Béla Bollobás, Shankar Sastry:
Multi-path Routing Metrics for Reliable Wireless Mesh Routing Topologies.

- Paul M. B. Vitányi:
On Empirical Entropy.

- Paul Hunter:
LIFO-search on digraphs: A searching game for cycle-rank.

- Kamal Al-Bawani, Alexander Souza:
Competitive Buffer Management with Class Segregation.

- Stuart B. Heinrich, Wesley E. Snyder:
Internal Constraints of the Trifocal Tensor.

- Chenwei Wang, Syed Ali Jafar, Shlomo Shamai, Michele A. Wigger:
Interference, Cooperation and Connectivity - A Degrees of Freedom Perspective.

- Rasmus Pagh, Charalampos E. Tsourakakis:
Colorful Triangle Counting and a MapReduce Implementation.

- Xu Liu, Jianfeng Zhan, Kunlin Zhan, Weisong Shi, Lin Yuan, Dan Meng, Lei Wang:
Automatic Performance Debugging of SPMD-style Parallel Programs.

- Alexander Jaffe, Thomas Moscibroda, Laura Effinger-Dean, Luis Ceze, Karin Strauss:
The Impact of Memory Models on Software Reliability in Multiprocessors.

- David Elkouss, Jesús Martínez-Mateo, Vicente Martin:
Untainted Puncturing for Irregular Low-Density Parity-Check Codes.

- Li Chen:
Cook's Theory and the Twentieth Century Mathematics.

- Barnaby Martin:
QCSP on partially reflexive forests.

- T. V. Laptyeva, S. Flach, K. Kladko:
The weak password problem: chaos, criticality, and encrypted p-CAPTCHAs.

- W. Sean Kennedy, Andrew D. King:
Finding a smallest odd hole in a claw-free graph using global structure.

- Chun-Hung Liu, Jeffrey G. Andrews:
Ergodic Transmission Capacity of Wireless Ad Hoc Networks with Interference Management.

- Bob L. Sturm:
A Study on Sparse Vector Distributions and Recovery from Compressed Sensing.

- Anders Logg, Garth N. Wells:
DOLFIN: Automated Finite Element Computing.

- Wangmei Guo, Ning Cai, Xiaomeng Shi, Muriel Médard:
Localized Dimension Growth in Random Network Coding: A Convolutional Approach.

- Shuchi Chawla, David L. Malec, Azarakhsh Malekian:
Bayesian Mechanism Design for Budget-Constrained Agents.

- Yuriy V. Pershin, Massimiliano Di Ventra:
Solving mazes with memristors: a massively-parallel approach.

- Tao Jia, Rahul V. Kulkarni:
On the structural properties of small-world networks with finite range of shortcut links.

- Joshua L. Payne, Kameron Decker Harris, Peter Sheridan Dodds:
Exact solutions for social and biological contagion models on mixed directed and undirected, degree-correlated random networks.

- Dmitri Maslov, Mehdi Saeedi:
Reversible Circuit Optimization via Leaving the Boolean Domain.

- Peter J. Grabner, Wolfgang Steiner:
Redundancy of minimal weight expansions in Pisot bases.

- Nicolas Broutin, Luc Devroye, Nicolas Fraiman, Gábor Lugosi:
Connectivity threshold for Bluetooth graphs.

- J. Pradeep, E. Srinivasan, S. Himavathi:
Diagonal Based Feature Extraction for Handwritten Alphabets Recognition System using Neural Network.

- Mehdi Molkaraie, Payam Pakzad:
On Properties of the Minimum Entropy Sub-tree to Compute Lower Bounds on the Partition Function.

- Filip Moric, David Pritchard:
Counting large distances in convex polygons.

- Saverio Salzo, Silvia Villa:
Convergence analysis of a proximal Gauss-Newton method.

- Cordian Riener, Thorsten Theobald, Lina Jansson Andrén, Jean B. Lasserre:
Exploiting symmetries in SDP-relaxations for polynomial optimization.

- Evguenii V. Kurmyshev, Héctor A. Juárez, Ricardo A. González-Silva:
Dynamics of bounded confidence opinion in heterogeneous social networks: concord against partial antagonism.

- Ariel Levavi:
Pegging Numbers For Various Tree Graphs.

- Erhan Bayraktar, Mihai Sirbu:
Probabilistic Perron's method and verification without smoothness using viscosity comparison: the linear case.

- Fabio Pasqualetti, Ruggero Carli, Francesco Bullo:
Distributed Estimation and False Data Detection with Application to Power Networks.

- Mihail Cocos, Shawn Fowers:
Music By Numbers.

- Tiziano Squartini, Diego Garlaschelli:
Exact maximum-likelihood method to detect patterns in real networks.

- Donatello Materassi, Giacomo Innocenti, Laura Giarré, Murti V. Salapaka:
Model Identification of a Network as Compressing Sensing.

- Aleksandrs Belovs:
Span-program-based quantum algorithm for the rank problem.

- Josep Freixas, Sascha Kurz:
On minimal integer representations of weighted games.

- Daniel J. McDonald, Cosma Rohilla Shalizi, Mark J. Schervish:
Estimating beta-mixing coefficients.

- Daniel J. McDonald, Cosma Rohilla Shalizi, Mark J. Schervish:
Generalization error bounds for stationary autoregressive models.

- Cosma Rohilla Shalizi, Abigail Z. Jacobs, Aaron Clauset:
Adapting to Non-stationarity with Growing Expert Ensembles.

- Andrea Apolloni, Floriana Gargiulo:
Diffusion processes through social groups' dynamics.

- Qizhi Zhang:
On the Signature Calculus for finite fields of order square of prime numbers.

- Manouchehr Zaker:
On dynamic monopolies of graphs with general thresholds.

- Hamed O. Ghaffari, A. Nabovati, Mostafa Sharifzadeh, R. P. Young:
Fluid flow analysis in a rough fracture (type II) using complex networks and lattice Boltzmann method.

- Mike Stannett:
Computation and Spacetime Structure.

- Thomas Chambrion:
Periodic excitations of a bilinear quantum system.

- Jean-Paul Allouche, Jeffrey Shallit:
A variant of Hofstadter's sequence and finite automata.

- Samet Oymak, Karthik Mohan, Maryam Fazel, Babak Hassibi:
A Simplified Approach to Recovery Conditions for Low Rank Matrices.

- Alessandro Pluchino, Cesare Garofalo, Andrea Rapisarda, S. Spagano, M. Caserta:
Accidental Politicians: How Randomly Selected Legislators Can Improve Parliament Efficiency.

- Tiziano Squartini, Giorgio Fagiolo, Diego Garlaschelli:
Rewiring World Trade. Part I: A Binary Network Analysis.

- Tiziano Squartini, Giorgio Fagiolo, Diego Garlaschelli:
Rewiring World Trade. Part II: A Weighted Network Analysis.

- Mihály Petreczky, Laurent Bako, Jan H. van Schuppen:
Realization theory of discrete-time linear switched systems.

- Mihály Petreczky, Laurent Bako:
On the notion of persistence of excitation for linear switched systems.

- Hadis Amini, Pierre Rouchon, Mazyar Mirrahimi:
Design of Strict Control-Lyapunov Functions for Quantum Systems with QND Measurements.

- Christian M. Schneider, Lucilla de Arcangelis, Hans J. Herrmann:
Scale free networks by preferential depletion.

- Rahul Urgaonkar, Michael J. Neely:
Opportunistic Cooperation in Cognitive Femtocell Networks.

- Adel Javanmard, Andrea Montanari:
Localization from Incomplete Noisy Distance Measurements.

- Qizhi Zhang:
An Improvement to the Number Field Sieve.

- Laurent Bienvenu, Péter Gács, Mathieu Hoyrup, Cristobal Rojas, Alexander Shen:
Algorithmic tests and randomness with respect to a class of measures.

- Trevor I. Fenner, Mark Levene, George Loizou:
A Discrete Evolutionary Model for Chess Players' Ratings.

- Dionisis Stefanatos, Jr-Shin Li:
The Role of Singular Control in Frictionless Atom Cooling in a Harmonic Trapping Potential.

- Shinji Tanimoto:
Epidemic thresholds in directed complex networks.

- Ram Somaraju, Mazyar Mirrahimi, Pierre Rouchon:
Approximate stabilization of an infinite dimensional quantum stochastic system.

- Ram Somaraju, Mazyar Mirrahimi, Pierre Rouchon:
Semi-Global Approximate stabilization of an infinite dimensional quantum stochastic system.

- Christian M. Schneider, Andre A. Moreira, José S. Andrade Jr., Shlomo Havlin, Hans J. Herrmann:
Mitigation of Malicious Attacks on Networks.

- Li-Xin Zhong, Tian Qiu, Jiang-Rong Xu, Bi-Hui Chen:
Limitation of spatial heterogeneity in improving cooperation in coevolutionary dynamics.

- Steven Kelk, Celine Scornavacca, Leo van Iersel:
On the elusiveness of clusters.

- Milan Bradonjic, Albert Cohen:
Stochastic Optimal Control Models for Online Stores.

- Helena Sofia Rodrigues, M. Teresa T. Monteiro, Delfim F. M. Torres, Alan Zinober:
Dengue disease, basic reproduction number and control.

- Yaroslav D. Sergeyev, Dmitri E. Kvasov:
Global Search Based on Efficient Diagonal Partitions and a set of Lipschitz Constants.

- Pavel Chebotarev:
The walk distances in graphs.

- Max D. Steel:
On Stability of V-Like Formations.

- Daniel Smilkov, Ljupco Kocarev:
Analytically solvable processes on networks.

- Daniel Smilkov, Ljupco Kocarev:
Rich-club and page-club coefficients for directed graphs.

- Carla D. Martin, Mason A. Porter:
The Extraordinary SVD.

- Evgenia Gelman:
Adaptive mosaic image representation for image processing.

- Andrea De Montis, Simone Caschili, Alessandro Chessa:
Commuter networks and community detection: a method for planning sub regional areas.

- Leonid Gurvits, Vwani P. Roychowdhury, Sudhir Kumar Singh, Farrokh Vatan:
How much of quantum mechanics is really needed to defy Extended Church-Turing Thesis?

- Nadege Zarrouati, Emanuel Aldea, Pierre Rouchon:
A SO(3)-invariant variational method for depth field estimation based on inertial and camera data.

- Tom Leinster:
A multiplicative characterization of the power means.

- Lovro Subelj, Marko Bajec:
Unfolding communities in large complex networks: Combining defensive and offensive label propagation for core extraction.

- Lovro Subelj, Marko Bajec:
Unfolding network communities by combining defensive and offensive label propagation.

- Yuri Faenza, Gianpaolo Oriolo, Claudia Snels:
A fast algorithm to remove proper and homogenous pairs of cliques (while preserving some graph invariants).

- Yaroslav D. Sergeyev:
Efficient Partition of N-Dimensional Intervals in the Framework of One-Point-Based Algorithms.

- Sebastian Bernhardsson, Seung Ki Baek, Petter Minnhagen:
A Paradoxical Property of the Monkey Book.

- Oleg Golubitsky, Dmitri Maslov:
A Study of Optimal 4-bit Reversible Toffoli Circuits and Their Synthesis.

- Marco Gaviano, Dmitri E. Kvasov, Daniela Lera, Yaroslav D. Sergeyev:
Software for Generation of Classes of Test Functions with Known Local and Global Minima for Global Optimization.

- Hadis Amini, Mazyar Mirrahimi, Pierre Rouchon:
On stability of continuous-time quantum-filters.

- Alexander M. Petersen, H. Eugene Stanley, Sauro Succi:
Statistical regularities in the rank-citation profile of scientists.

- Padmini Mukkamala, János Pach, Dömötör Pálvölgyi:
Lower bounds on the obstacle number of graphs.

- Maris Ozols, Martin Roetteler, Jérémie Roland:
Quantum rejection sampling.

- Fabio Pasqualetti, Florian Dörfler, Francesco Bullo:
Cyber-Physical Attacks in Power Networks: Models, Fundamental Limitations and Monitor Design.

- Yi-Kai Liu:
Universal low-rank matrix recovery from Pauli measurements.

- Benjamin Armbruster, John Gunnar Carlsson:
Dynamic Network Models.

- AlKassem Jebai, François Malrait, Philippe Martin, Pierre Rouchon:
Estimation of Saturation of Permanent-Magnet Synchronous Motors Through an Energy-Based Model.

- Ibrahim Abou Hamad, Per Arne Rikvold, Svetlana V. Poroseva:
Floridian high-voltage power-grid network partitioning and cluster optimization using simulated annealing.

- Tryphon T. Georgiou, Anders Lindquist:
The Separation Principle in Stochastic Control, Redux.

- Dmitry Gavinsky, Martin Roetteler, Jérémie Roland:
Quantum algorithm for the Boolean hidden shift problem.

- Kevin A. Pimbblet:
The h-index in Australian Astronomy.

- Jin-ichi Itoh, Costin Vîlcu:
Orientable cut locus structures on graphs.

- Stefano Morosetti:
sin[n Delta t sin (n Delta t1)] as a source of unpredictable dynamics.

- Yi Zhang, Guifeng Su, Xiaobing Zhang:
Condensation phase transition in nonlinear fitness networks.

- Yangyang Xu, Jinchuan Cui:
A variant of multitask n-vehicle exploration problem: maximizing every processor's average profit.

- Michael T. Gastner:
Scaling and entropy in p-median facility location along a line.

- Jiang Liu, Naijun Zhan, Hengjun Zhao:
Automatically Discovering Relaxed Lyapunov Functions for Polynomial Dynamical Systems.

- Omran Ahmadi, Robert Granger:
On isogeny classes of Edwards curves over finite fields.

- Yaroslav D. Sergeyev, Paolo Pugliese, Domenico Famularo:
Index Information Algorithm with Local Tuning for Solving Multidimensional Global Optimization Problems with Multiextremal Constraints.

- Gergely Tibély:
Criterions for locally dense subgraphs.

- Stefano Pirandola:
Quantum Reading of a Classical Digital Memory.

- Lotfi Chaâri, Sébastien Mériaux, Solveig Badillo, Jean-Christophe Pesquet, Philippe Ciuciu:
4D Wavelet-Based Regularization for Parallel MRI Reconstruction: Impact on Subject and Group-Levels Statistical Sensitivity in fMRI.

- Frank Borg:
Analyzing biosignals using the R freeware tool.

- T. Neuhaus, M. Peschina, Kristel Michielsen, Hans De Raedt:
Classical and Quantum Annealing in the Median of Three Satisfiability.

- Dmitri E. Kvasov, Clara Pizzuti, Yaroslav D. Sergeyev:
Local tuning and partition strategies for diagonal GO methods.

- François Orieux, Jean-François Giovannelli, Thomas Rodet, Alain Abergel, H. Ayasso, M. Husson:
Over-resolution in map-making based on accurate instrument model and regularized inversion. Application to SPIRE/Herschel.

- Jun-ichi Inoue:
Pattern-recalling processes in quantum Hopfield networks far from saturation.

- Yaroslav D. Sergeyev, Domenico Famularo, Paolo Pugliese:
Index Branch-and-Bound Algorithm for Global Optimization with Multiextremal Constraints.

- Yaroslav D. Sergeyev, Pasquale Daponte, Domenico Grimaldi, Anna Molinaro:
Two methods for solving optimization problems arising in electronic measurements and electrical engineering.

- Jaroslaw Grytczuk, Jakub Kozik, Piotr Micek:
A new approach to nonrepetitive sequences.

- Jaroslaw Grytczuk, Jakub Kozik, Piotr Micek:
Nonrepetitive games.

- Yang Wang, Zhiqiang Xu:
The Performance of PCM Quantization Under Tight Frame Representations.

- Klaus Dohmen, Peter Tittmann:
Domination Reliability.

- Alexander Gnedin:
The Monty Hall Problem: Switching is Forced by the Strategic Thinking.

- Simone Pompei, Vittorio Loreto, Francesca Tria:
On the accuracy of language trees.

- Nevio Dubbini, Benedetto Piccoli, Antonio Bicchi:
Left invertibility of discrete-time output-quantized systems: the linear case with finite inputs.

- Vincent Marceau, Pierre-André Noël, Laurent Hébert-Dufresne, Antoine Allard, Louis J. Dubé:
Modeling the dynamical interaction between epidemics on overlay networks.

- Jonathan Q. Jiang, Lisa J. McQuay:
Modularity functions maximization with nonnegative relaxation facilitates community detection in networks.

- Anália Lourenço, Michael Conover, Andrew Wong, Azadeh Nematzadeh, Fengxia Pan, Hagit Shatkay, Luis Mateus Rocha:
A Linear Classifier Based on Entity Recognition Tools and a Statistical Approach to Method Extraction in the Protein-Protein Interaction Literature.

- Delaram Kahrobaei, Stephen Majewicz:
On the residual solvability of generalized free products of solvable groups.

- Robert Bruno Wenczel, Robin D. Hill:
Continuous-time performance limitations for overshoot and resulted tracking measures.

- Alberto Accomazzi:
Linking Literature and Data: Status Report and Future Efforts.

- Jonathan M. Borwein, Armin Straub:
Special Values of Generalized Log-sine Integrals.

- Colin Cooper, Alan M. Frieze:
Stationary distribution and cover time of random walks on random digraphs.

- Hugues Randriam:
Diviseurs de la forme 2D-G sans sections et rang de la multiplication dans les corps finis (Divisors of the form 2D-G without sections and bilinear complexity of multiplication in finite fields).

- Andrii Mironchenko:
Optimal allocation strategies and optimal seed mass of a perennial plant.

- Maria Domenica Di Benedetto, Alessandro D'Innocenzo, Emmanuele Serra:
Fault Tolerant Stabilizability of Multi-Hop Control Networks.

- György Szabó, Attila Szolnoki:
Selfishness, fraternity, and other-regarding preference in spatial evolutionary games.

- Piermarco Cannarsa, Pierre Cardaliaguet:
Regularity Results for Eikonal-Type Equations with Nonsmooth Coefficients.

- Laurent Decreusefond, Eduardo Ferraz, Hugues Randriam:
Simplicial Homology of Random Configurations.

- W. Zhang, C. Lim, Sameet Sreenivasan, Jierui Xie, Boleslaw K. Szymanski, Gyorgy Korniss:
Social Influencing and Associated Random Walk Models: Asymptotic Consensus Times on the Complete Graph.

- Josef Schicho, David Sevilla:
Deciding trigonality of algebraic curves.

- Ronald L. Westra, Mihály Petreczky, Ralf L. M. Peeters:
Identification of Piecewise Linear Models of Complex Dynamical Systems.

- Mojgan Mohajer, Karl-Hans Englmeier, Volker J. Schmid:
A comparison of Gap statistic definitions with and without logarithm function.

- Yohann de Castro, Fabrice Gamboa:
Exact Reconstruction using Support Pursuit.

- Debasish Chatterjee, Peter Hokayem, Federico Ramponi, John Lygeros:
On mean-square boundedness of stochastic linear systems with quantized observations.

- David Källberg, Nikolai Leonenko, Oleg Seleznjev:
Statistical Inference for Rényi Entropy Functionals.

- Leonardo Ermann, Dima Shepelyansky:
Google matrix of the world trade network.

- Dean Lambert, Alasdair C. Hamilton, George Constable, Harsh Snehanshu, Sharvil Talati, Johannes Courtial:
User guide to TIM, a ray-tracing program for forbidden ray optics.

- Menghui Li, Shuguang Guan, Choy Heng Lai:
Formation of Modularity in a Model of Evolving Networks.

- Tao Zhou, Matus Medo, Giulio Cimini, Zi-Ke Zhang, Yi-Cheng Zhang:
Emergence of scale-free leadership structure in social recommender systems.

- Thomas Chambrion, Alexandre Munnier:
Generic Controllability of 3D Swimmers in a Perfect Fluid.

- Linyuan Lu, Yi-Cheng Zhang, Chi Ho Yeung, Tao Zhou:
Leaders in Social Networks, the Delicious Case.

- Erlend Grong:
Controllability of rolling without twisting or slipping in higher dimensions.

- Qiming Lu, Gyorgy Korniss, Boleslaw K. Szymanski:
Naming Games in Two-Dimensional and Small-World-Connected Random Geometric Networks.

- Marcel Ausloos, Nikolay K. Vitanov, Zlatinka I. Dimitrova:
Verhulst-Lotka-Volterra (VLV) model of ideological struggles.

- Alexandre Boulch, Éric Colin de Verdière, Atsuhiro Nakamoto:
Irreducible triangulations of surfaces with boundary.

- Marcel Ausloos:
On religion and language evolutions seen through mathematical and agent based models.

- Ian R. Manchester, Mark Tobenkin, Jennifer Wang:
Identification of Nonlinear Systems with Stable Oscillations.

- Oscar A. Reula:
Numerical treatment of interfaces in Quantum Mechanics.

- Grastivia O'Danleyman, Jake Jungbin Lee, Hanno Seebens, Bernd Blasius, Dirk Brockmann:
Complexity in human transportation networks: A comparative analysis of worldwide air transportation and global cargo ship movements.

- Yonina C. Eldar, Deanna Needell, Yaniv Plan:
Unicity conditions for low-rank matrix recovery.

- Gautier Krings, Vincent D. Blondel:
An upper bound on community size in scalable community detection.

- Kathryn Cooper, Mauricio Barahona:
Role-similarity based comparison of directed networks.

- Augusto Ferrante, Chiara Masiero, Michele Pavon:
Time and spectral domain relative entropy: A new approach to multivariate spectral estimation.

- Reginald D. Smith:
Information Theory and Population Genetics.

- Jan Novák, L. Kaczmarczyk, P. Grassl, Jan Zeman, C. J. Pearce:
A micromechanics-enhanced finite element formulation for modelling heterogeneous materials.

- Jose-Luis Lopez, Ricardo López-Ruiz, Xavier Calbet:
Exponential wealth distribution in a random market. A rigorous explanation.

- Zhifang Li, Yanqing Hu, Beishan Xu, Zengru Di, Ying Fan:
Detecting the optimal number of communities in complex networks.

- Alberto Accomazzi, Rahul Dave:
Semantic Interlinking of Resources in the Virtual Observatory Era.

- Matthew Malloy, Robert D. Nowak:
Sequential Analysis in High Dimensional Multiple Testing and Sparse Recovery.

- Yaroslav D. Sergeyev:
Parallel Information Algorithm with Local Tuning for Solving Multidimensional GO Problems.

- Rahul Jain, Ashwin Nayak:
A short proof of the Quantum Substate Theorem.

- Liangsheng Zhang, Wenjin Chen, Mathis Antony, Kwok Yip Szeto:
Phase diagram of Symmetric Iterated Prisoner's Dilemma of Two-Companies with Partial Imitation Rule.

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