CoRR, May 2009

• Xiaoying Gan, Shan Da, Zhou Yuan, Zhang Wei, Liang Qian:
  Theoretical Analysis of Cyclic Frequency Domain Noise and Feature Detection for Cognitive Radio Systems.
  
• Onur Ozan Koyluoglu, Hesham El Gamal:
  On the Secrecy Rate Region for the Interference Channel.
  
• Thorsten Hehn, Johannes B. Huber, Olgica Milenkovic, Stefan Laendner:
  Multiple-Bases Belief-Propagation Decoding of High-Density Cyclic Codes.
  
• Gilles Champenois:
  Fuzzy Mnesors.
  
• Victor W. Marek, Jeffrey B. Remmel:
  An Application of Proof-Theory in answer Set Programming.
  
• Paul M. Aoki, R. J. Honicky, Alan M. Mainwaring, Chris Myers, Eric Paulos, Sushmita Subramanian, Allison Woodruff:
  A Vehicle for Research: Using Street Sweepers to Explore the Landscape of Environmental Community Action.
  
• Rowena Luk, Matei Zaharia, Melissa Ho, Brian Levine, Paul M. Aoki:
  ICTD for Healthcare in Ghana: Two Parallel Case Studies.
  
• John Wright, Arvind Ganesh, Shankar Rao, Yi Ma:
  Robust Principal Component Analysis: Exact Recovery of Corrupted Low-Rank Matrices.
  
• Erik Aurell, René Pfitzner:
  Gaussian Belief with dynamic data and in dynamic network.
  
• David Eppstein, Kevin A. Wortman:
  Optimal Embedding Into Star Metrics.
  
• Lahatra Rakotondrainibe, Yvan Kokar, Gheorghe Zaharia, Ghaïs El Zein:
  Millimeter-Wave System for High Data Rate Indoor Communications.
  
• Lahatra Rakotondrainibe, Isabelle Siaud, Yvan Kokar, Gheorghe Zaharia, François Brunet, Eric Tanguy, Ghaïs El Zein:
  A low Complexity Wireless Gigabit Ethernet IFoF 60 GHz H/W Platform and Issues.
  
• Lahatra Rakotondrainibe, Yvan Kokar, Gheorghe Zaharia, Ghaïs El Zein:
  60 GHz High Data Rate Wireless Communication System.
  
• Wojciech Mazurczyk, Milosz Smolarczyk, Krzysztof Szczypiorski:
  Hiding Information in Retransmissions.
  
• Jatin Thukral, Helmut Bölcskei:
  Interference Alignment with Limited Feedback.
  
• Adnan Raja, Pramod Viswanath:
  Diversity-Multiplexing tradeoff of the Two-User Interference Channel.
  
• Nirmal B. Chakrabarti:
  A representation of non-uniformly sampled deterministic and random signals and their reconstruction using sample values and derivatives.
  
• N. Prasanth Anthapadmanabhan, Alexander Barg:
  Two-Level Fingerprinting Codes.
  
• Willie K. Harrison, Steven W. McLaughlin:
  Tandem Coding and Cryptography on Wiretap Channels: EXIT Chart Analysis.
  
• Haim Kaplan, Yahav Nussbaum:
  Maximum Flow in Directed Planar Graphs with Vertex Capacities.
  
• Anton Zinoviev:
  Extended Bulgarian keyboard layouts.
  
• Teng Li, Oliver M. Collins:
  Design and Analysis of Successive Decoding with Finite Levels for the Markov Channel.
  
• Diomidis S. Michalopoulos, Athanasios S. Lioumpas, George K. Karagiannidis, Robert Schober:
  Selective Cooperative Relaying over Time-Varying Channels.
  
• Serge Gaspers, Matthias Mnich:
  On Feedback Vertex Sets in Tournaments.
  
• Mohamed Ibrahim Abouelhoda, Hisham Mohamed:
  WinBioinfTools: Bioinformatics Tools for Windows High Performance Computing Server 2008.
  
• Michael Elberfeld:
  Perfect Phylogeny Haplotyping is Complete for Logspace.
  
• Clemens Novak, Peter Fertl, Gerald Matz:
  Quantization for Soft-Output Demodulators in Bit-Interleaved Coded Modulation Systems.
  
• Giuseppe Durisi, Veniamin I. Morgenshtern, Helmut Bölcskei:
  On the Sensitivity of Noncoherent Capacity to the Channel Model.
  
• Ivan Tyukin, Danil V. Prokhorov:
  Feasibility of random basis function approximators for modeling and control.
  
• Cemal Akçaba, Helmut Bölcskei:
  Diversity-Multiplexing Tradeoff in Fading Interference Channels.
  
• Ignacio Vega-Paez, Jose Angel Ortega, Georgina G. Pulido:
  REC language is a live on IBM1130 simulator, EL lenguaje REC esta vivo en el simulador de la IBM 1130.
  
• Gerardo Cisneros:
  A FORTRAN coded regular expression Compiler for IBM 1130 Computing System.
  
• Hongkun Yang, Bin Liu:
  Optimization of Energy Efficient Transmission in Underwater Sensor Networks.
  
• Yoann Dieudonné, Franck Petit:
  Self-stabilizing Determinsitic Gathering.
  
• Xavier Broquère, Daniel Sidobre, Ignacio Herrera-Aguilar:
  Soft Motion Trajectory Planner for Service Manipulator Robot.
  
• Kunihiko Sadakane, Gonzalo Navarro:
  Fully-Functional Static and Dynamic Succinct Trees.
  
• Jan Treibig, Georg Hager:
  Introducing a Performance Model for Bandwidth-Limited Loop Kernels.
  
• Weiguo Zhang, Guozhen Xiao:
  Constructions of Almost Optimal Resilient Boolean Functions on Large Even Number of Variables.
  
• Nihar Jindal, Angel E. Lozano, Thomas L. Marzetta:
  What is the Value of Joint Processing of Pilots and Data in Block-Fading Channels?
  
• Sylvain Boussier, Michel Vasquez, Yannick Vimont, Saïd Hanafi, Philippe Michelon:
  Solving the 0-1 Multidimensional Knapsack Problem with Resolution Search.
  
• Andreas Malcher, Giovanni Pighizzini:
  Descriptional complexity of bounded context-free languages.
  
• Matt Gibson, Kasturi R. Varadarajan:
  Decomposing Coverings and the Planar Sensor Cover Problem.
  
• Bogdan Nicolae, Gabriel Antoniu, Luc Bougé:
  BlobSeer: How to Enable Efficient Versioning for Large Object Storage under Heavy Access Concurrency.
  
• Florian Boudin, Patricia Velázquez-Morales, Juan Manuel Torres Moreno:
  Statistical Automatic Summarization in Organic Chemistry.
  
• Pedro Pablo Pérez Velasco:
  Matrix Graph Grammars as a Model of Computation.
  
• Dominik Seethaler, Joakim Jalden, Christoph Studer, Helmut Bölcskei:
  Tail Behavior of Sphere-Decoding Complexity in Random Lattices.
  
• Serguei A. Mokhov, Stephen Sinclair, Ian Clément, Dimitrios Nicolacopoulos:
  The Modular Audio Recognition Framework (MARF) and its Applications: Scientific and Software Engineering Notes.
  
• Giovanni Pighizzini:
  Deterministic pushdown automata and unary languages.
  
• Giovanni Pighizzini:
  Nondeterministic one-tape off-line Turing machines and their time complexity.
  
• Rahul Jain, Sarvagya Upadhyay, John Watrous:
  Two-message quantum interactive proofs are in PSPACE.
  
• Nestor D. Chatzidiamantis, George K. Karagiannidis:
  On the Distribution of the Sum of Gamma-Gamma Variates and Applications in RF and Optical Wireless Communications.
  
• Michael T. Goodrich, Roberto Tamassia, Jasminka Hasic:
  An Efficient Dynamic and Distributed RSA Accumulator.
  
• Stere Preda, Nora Cuppens-Boulahia, Frédéric Cuppens, Joaquín García-Alfaro, Laurent Toutain:
  Reliable Process for Security Policy Deployment.
  
• Yen-Wei Huang, Pierre Moulin:
  Saddle-point Solution of the Fingerprinting Capacity Game Under the Marking Assumption.
  
• Vit Niennattrakul, Chotirat (Ann) Ratanamahatana:
  Making Hand Geometry Verification System More Accurate Using Time Series Representation with R-K Band Learning.
  
• Pedro Coronel, Markus Gärtner, Helmut Bölcskei:
  Selective-Fading Multiple-Access MIMO Channels: Diversity-Multiplexing Tradeoff and Dominant Outage Event Regions.
  
• Sergei O. Kuznetsov, Dmitry I. Ignatov:
  Concept Stability for Constructing Taxonomies of Web-site Users.
  
• Feifei Gao, Rui Zhang, Ying-Chang Liang, Xiaodong Wang:
  Design of Learning Based MIMO Cognitive Radio Systems.
  
• Hessam Mahdavifar, Paul H. Siegel, Alexander Vardy, Jack K. Wolf, Eitan Yaakobi:
  A Nearly Optimal Construction of Flash Codes.
  
• Sang Won Choi, Sae-Young Chung:
  On the Separability of Parallel Gaussian Interference Channels.
  
• Sang-Woon Jeon, Sae-Young Chung:
  Sum capacity of multi-source linear finite-field relay networks with fading.
  
• Zhisu Zhu, Anthony Man-Cho So, Yinyu Ye:
  Fast and Near-Optimal Matrix Completion via Randomized Basis Pursuit.
  
• György Elekes, Haim Kaplan, Micha Sharir:
  On Lines, Joints, and Incidences in Three Dimensions.
  
• Dominik Scheder:
  Unsatisfiable Linear CNF Formulas Are Large, and Difficult to Construct Explicitely.
  
• Marko A. Rodriguez, David W. Allen, Joshua Shinavier, Gary Ebersole:
  A Recommender System to Support the Scholarly Communication Process.
  
• Nabil Hathout:
  Acquisition of morphological families and derivational series from a machine readable dictionary.
  
• Jurek Czyzowicz, Stefan Dobrev, Leszek Gasieniec, David Ilcinkas, Jesper Jansson, Ralf Klasing, Yannis Lignos, Russell A. Martin, Kunihiko Sadakane, Wing-Kin Sung:
  More efficient periodic traversal in anonymous undirected graphs.
  
• Fang Wu, Dennis M. Wilkinson, Bernardo A. Huberman:
  Feedback loops of attention in peer production.
  
• Fahad Saeed, Ashfaq A. Khokhar:
  A Domain Decomposition Strategy for Alignment of Multiple Biological Sequences on Multiprocessor Platforms.
  
• Tiangao Gou, Syed Ali Jafar:
  Capacity of a Class of Symmetric SIMO Gaussian Interference Channels within O(1).
  
• Chao-Yang Pang, Chong-Bao Wang, Ben-Qiong Hu:
  Experiment Study of Entropy Convergence of Ant Colony Optimization.
  
• Raymond Chi-Wing Wong, Ada Wai-Chee Fu, Ke Wang, Yabo Xu, Philip S. Yu:
  Can the Utility of Anonymized Data be used for Privacy Breaches?
  
• Pabitra Pal Choudhury, Sudhakar Sahoo, Sarif Sk. Hassan, Satrajit Basu, Dibyendu Ghosh, Debarun Kar, Abhishek Ghosh, Avijit Ghosh, Amal K. Ghosh:
  Classification of Cellular Automata Rules Based on Their Properties.
  
• Salah A. Aly, Ahmed E. Kamal:
  Encoding of Network Protection Codes Against Link and Node Failures Over Finite Fields.
  
• Tiziana Calamoneri:
  The L(2, 1)-Labeling Problem on Oriented Regular Grids.
  
• Alain Cournier, Swan Dubois, Vincent Villain:
  Une CNS pour l'acheminement de messages instantanément stabilisant.
  
• Velleda Baldoni, Nicole Berline, Michèle Vergne:
  Summing a polynomial function over integral points of a polygon. User's guide.
  
• Paul Cuff, Han-I Su, Abbas El Gamal:
  Cascade multiterminal source coding.
  
• Michael T. Goodrich, Daniel S. Hirschberg:
  Improved Adaptive Group Testing Algorithms with Applications to Multiple Access Channels and Dead Sensor Diagnosis.
  
• Rony El Haddad, Brian Smith, Sriram Vishwanath:
  On Models of Multi-user Gaussian Channels with Fading.
  
• Halyun Jeong, Young-Han Kim:
  Sparse Linear Representation.
  
• Nicolas Bourgeois, Bruno Escoffier, Vangelis Th. Paschos:
  Fast algorithms for min independent dominating set.
  
• Elchanan Mossel, Christos H. Papadimitriou, Michael Schapira, Yaron Singer:
  VC v. VCG: Inapproximability of Combinatorial Auctions via Generalizations of the VC Dimension.
  
• Yi-Dong Shen, Danny De Schreye, Dean Voets:
  Termination Prediction for General Logic Programs.
  
• Weng-Long Chang, Ting-Ting Ren, Mang Feng, Jun Luo, Kawuu Weicheng Lin, Minyi Guo, Lai Chin Lu:
  Quantum Algorithms of Bio-molecular Solutions for the Clique Problem on a Quantum Computer.
  
• Rahul Vaze, Robert W. Heath Jr.:
  End-to-End Joint Antenna Selection Strategy and Distributed Compress and Forward Strategy for Relay Channels.
  
• Ilya Volnyansky:
  Curse of Dimensionality in the Application of Pivot-based Indexes to the Similarity Search Problem.
  
• Emiliano De Cristofaro, Xuhua Ding, Gene Tsudik:
  Privacy-Preserving Querying in Sensor Networks.
  
• Shweta Agrawal, Sriram Vishwanath:
  On the Secrecy Rate of Interference Networks using structured codes.
  
• Andreas Enge, Pierrick Gaudry, Emmanuel Thomé:
  An $L (1/3)$ Discrete Logarithm Algorithm for Low Degree Curves.
  
• Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger:
  Expressiveness and Closure Properties for Quantitative Languages.
  
• Yong Cao, Debprakash Patnaik, Sean P. Ponce, Jeremy S. Archuleta, Patrick Butler, Wu-chun Feng, Naren Ramakrishnan:
  Towards Chip-on-Chip Neuroscience: Fast Mining of Frequent Episodes Using Graphics Processors.
  
• Debprakash Patnaik, Sean P. Ponce, Yong Cao, Naren Ramakrishnan:
  Accelerator-Oriented Algorithm Transformation for Temporal Data Mining.
  
• Eduardo Hwang:
  Outlining an elegant solver for 3-SAT.
  
• Michael T. Goodrich, Michael J. Nelson, Jonathan Z. Sun:
  The Rainbow Skip Graph: A Fault-Tolerant Constant-Degree P2P Relay Structure.
  
• Jichang Zhao, Ke Xu:
  Enhancing the robustness of scale-free networks.
  
• Bo Xiao, Lian-dong Liu, Xiao-chen Guo, Ke Xu:
  Modeling the IPv6 Internet AS-level Topology.
  
• Shizheng Li, Aditya Ramamoorthy:
  Protection against link errors and failures using network coding in overlay networks.
  
• Joseph O'Rourke:
  Some Properties of Yao Y4 Subgraphs.
  
• Jan A. Bergstra, C. A. Middelburg:
  A protocol for instruction stream processing.
  
• Lélia Blin, Maria Gradinariu Potop-Butucaru, Stephane Rovedakis, Sébastien Tixeuil:
  A New Self-Stabilizing Minimum Spanning Tree Construction with Loop-free Property.
  
• Hongyu Zhang, Hee Beng Kuan Tan, Michele Marchesi:
  The Distribution of Program Sizes and Its Implications: An Eclipse Case Study.
  
• Ramachandran Rajesh, Vinod Sharma:
  On Optimal Distributed Joint Source-Channel Coding for Correlated Gaussian Sources over Gaussian Channels.
  
• Juan Manuel Torres Moreno, Laurent Bougrain, Frédéric Alexandre:
  Combining Supervised and Unsupervised Learning for GIS Classification.
  
• Zhe Chen, Gilles Motet:
  Modeling System Safety Requirements Using Input/Output Constraint Meta-Automata.
  
• Zhe Chen, Gilles Motet:
  Formalizing Safety Requirements Using Controlling Automata.
  
• Zhe Chen, Gilles Motet:
  A Language-theoretic View on Guidelines and Consistency Rules of UML.
  
• S. Charles Brubaker, Santosh Vempala:
  Random Tensors and Planted Cliques.
  
• Joel Ratsaby:
  Combinatorial information distance.
  
• Achaleshwar Sahai, Vaneet Aggarwal, Melda Yuksel, Ashutosh Sabharwal:
  On Channel Output Feedback in Deterministic Interference Channels.
  
• Meng Zeng, Rui Zhang, Shuguang Cui:
  Outage Capacity and Optimal Transmission for Dying Channels.
  
• Leonidas Akritidis, Dimitrios Katsaros, Panayiotis Bozanis:
  Identifying Influential Bloggers: Time Does Matter.
  
• Vahid Pourahmadi, Alireza Bayesteh, Amir K. Khandani:
  Multilevel Coding over Two-Hop Single-User Networks.
  
• Kfir Gedalyahu, Yonina C. Eldar:
  Low Rate Sampling Schemes for Time Delay Estimation.
  
• Christoph Benzmüller, Lawrence C. Paulson:
  Quantified Multimodal Logics in Simple Type Theory.
  
• Aydin Sezgin, Syed Ali Jafar, Hamid Jafarkhani:
  The Diversity Multiplexing Tradeoff for Interference Networks.
  
• Serguei A. Mokhov:
  The Role of Self-Forensics in Vehicle Crash Investigations and Event Reconstruction.
  
• Serguei A. Mokhov:
  On Design and Implementation of the Distributed Modular Audio Recognition Framework: Requirements and Specification Design Document.
  
• Chunhua Shen, Junae Kim, Hanzi Wang:
  Generalized Kernel-based Visual Tracking.
  
• Keki M. Burjorjee:
  On the Workings of Genetic Algorithms: The Genoclique Fixing Hypothesis.
  
• Grey Ballard, James Demmel, Olga Holtz, Oded Schwartz:
  Minimizing Communication in Linear Algebra.
  
• Daniel Sonntag, Roman R. Zapatrin:
  Macrodynamics of users' behavior in Information Retrieval.
  
• Angelo Di Iorio, Fabio Vitali, Davide Rossi, Stefano Zacchiroli:
  Where are your Manners? Sharing Best Community Practices in the Web 2.0.
  
• Delia Kesner:
  A Theory of Explicit Substitutions with Safe and Full Composition.
  
• Alain Cournier, Swan Dubois, Vincent Villain:
  Two snap-stabilizing point-to-point communication protocols in message-switched networks.
  
• Jie Gao, Dengpan Zhou:
  The Emergence of Sparse Spanners and Greedy Well-Separated Pair Decomposition.
  
• Andriy Myronenko, Xubo B. Song:
  Point-Set Registration: Coherent Point Drift.
  
• Xiaolin Shi, Belle L. Tseng, Lada A. Adamic:
  Information Diffusion in Computer Science Citation Networks.
  
• Felipe A. Cruz, Matthew G. Knepley, Lorena A. Barba:
  PetFMM--A dynamically load-balancing parallel fast multipole library.
  
• Xiang He, Aylin Yener:
  Secure Degrees of Freedom for Gaussian Channels with Interference: Structured Codes Outperform Gaussian Signaling.
  
• Narayana P. Santhanam, Martin J. Wainwright:
  Information-theoretic limits of selecting binary graphical models in high dimensions.
  
• Xiang He, Aylin Yener:
  The Gaussian Many-to-One Interference Channel with Confidential Messages.
  
• Xiang He, Aylin Yener:
  K-user Interference Channels: Achievable Secrecy Rate and Degrees of Freedom.
  
• Xiang He, Aylin Yener:
  Providing Secrecy with Lattice Codes.
  
• Soumya Banerjee:
  An Immune System Inspired Approach to Automated Program Verification.
  
• Kamel Aouiche, Daniel Lemire, Robert Godin:
  Web 2.0 OLAP: From Data Cubes to Tag Clouds.
  
• Walid Saad, Zhu Han, Mérouane Debbah, Are Hjørungnes, Tamer Basar:
  Coalitional Games for Distributed Collaborative Spectrum Sensing in Cognitive Radio Networks.
  
• Samir Medina Perlaza, Mérouane Debbah, Samson Lasaulce, Hanna Bogucka:
  On the Benefits of Bandwidth Limiting in Decentralized Vector Multiple Access Channels.
  
• Tao Cui, Tracey Ho, Jörg Kliewer:
  Achievable Rate and Optimal Physical Layer Rate Allocation in Interference-Free Wireless Networks.
  
• Danilo Silva, Weifei Zeng, Frank R. Kschischang:
  Sparse Network Coding with Overlapping Classes.
  
• Beom Jun Kim, Petter Holme, Viktória Fodor:
  Heterogeneous attachment strategies optimize the topology of dynamic wireless networks.
  
• Maroun Bercachi, Philippe Collard, Manuel Clergue, Sébastien Vérel:
  Do not Choose Representation just Change: An Experimental Study in States based EA.
  
• Elena Grigorescu, Tali Kaufman, Madhu Sudan:
  Succinct Representation of Codes with Applications to Testing.
  
• Nassir Mohammad, Alexander Balinsky:
  Colorization of Natural Images via L1 Optimization.
  
• J. H. Oaknin:
  A statistical learning approach to color demosaicing.
  
• Subhash Kak:
  Cryptography for Multi-Located Parties.
  
• Juan Manuel Torres Moreno, Pier-Luc St-Onge, Michel Gagnon, Marc El-Bèze, Patrice Bellot:
  Automatic Summarization System coupled with a Question-Answering System (QAAS).
  
• Andrew Guillory, Jeff Bilmes:
  Average-Case Active Learning with Costs.
  
• Ye Du:
  On the Complexity of Deciding Degeneracy in Games.
  
• Muhammad Fainan Hanif, Mansoor Shafi, Peter J. Smith, Pawel A. Dmochowski:
  Interference and Deployment Issues for Cognitive Radio Systems in Shadowing Environments.
  
• Muhammad Fainan Hanif, Peter J. Smith, Mansoor Shafi:
  Performance of Cognitive Radio Systems with Imperfect Radio Environment Map Information.
  
• Anwar Al Hamra, Nikitas Liogkas, Arnaud Legout, Chadi Barakat:
  Swarming Overlay Construction Strategies.
  
• Katarina Borg Gyllenback:
  Narrative Bridging - a specification of a modelling method for game design.
  
• Enrico Paolini, Mark F. Flanagan, Marco Chiani, Marc P. C. Fossorier:
  On a Class of Doubly-Generalized LDPC Codes with Single Parity-Check Variable Nodes.
  
• Sung Hoon Lim, Young-Han Kim, Sae-Young Chung:
  Deterministic Relay Networks with State Information.
  
• Travis Gagie, Gonzalo Navarro, Yakov Nekrich:
  Fast and Compact Prefix Codes.
  
• Yevgeny Kazakov, Ian Pratt-Hartmann:
  A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics.
  
• Vinod M. Prabhakaran, Pramod Viswanath:
  Interference Channels with Source Cooperation.
  
• Ayan Mahalanobis:
  The discrete logarithm problem in the group of non-singular circulant matrices.
  
• Jean Mairesse, Hoang-Thach Nguyen:
  Deficiency Zero Petri Nets and Product Form.
  
• Tanmoy Chakraborty, Zhiyi Huang, Sanjeev Khanna:
  Dynamic and Non-Uniform Pricing Strategies for Revenue Maximization.
  
• Muhammad Fainan Hanif, Peter J. Smith, Mansoor Shafi:
  On the Statistics of Cognitive Radio Capacity in Shadowing and Fast Fading Environments.
  
• LianLin Li, Fang Li:
  Novel Algorithm for Sparse Solutions to Linear Inverse Problems with Multiple Measurements.
  
• Asim Ghosh, Anindya Sundar Chakrabarti, Bikas K. Chakrabarti:
  Kolkata Paise Restaurant Problem in Some Uniform Learning Strategy Limits.
  
• Alessandro Murgia, Giulio Concas, Sandro Pinna, Roberto Tonelli, Ivana Turnu:
  Empirical study of software quality evolution in open source projects using agile practices.
  
• Alessandro Murgia, Giulio Concas, Michele Marchesi, Roberto Tonelli, Ivana Turnu:
  An Analysis of Bug Distribution in Object Oriented Systems.
  
• Maarten Hijzelendoorn, Crit Cremers:
  An Object-Oriented and Fast Lexicon for Semantic Generation.
  
• S. S. Kutateladze:
  The Game of Cipher Beads.
  
• Paul M. B. Vitányi:
  Information Distance in Multiples.
  
• Haris Aziz, Mike Paterson:
  False name manipulations in weighted voting games: splitting, merging and annexation.
  
• George Parfionov, Roman R. Zapatrin:
  Memento Ludi: Information Retrieval from a Game-Theoretic Perspective.
  
• Athanasios Kehagias, Geoffrey A. Hollinger, A. Gelastopoulos:
  Searching the Nodes of a Graph: Theory and Algorithms.
  
• John Langford, Ruslan Salakhutdinov, Tong Zhang:
  Learning Nonlinear Dynamic Models.
  
• Marko A. Rodriguez:
  Interpretations of the Web of Data.
  
• Long Gao, Rui Zhang, Changchuan Yin, Shuguang Cui:
  Throughput and Delay Scaling in Supportive Two-Tier Networks.
  
• Umaa Rebbapragada, Pavlos Protopapas, Carla E. Brodley, Charles R. Alcock:
  Finding Anomalous Periodic Time Series: An Application to Catalogs of Periodic Variable Stars.
  
• Moshe Babaioff, Liad Blumrosen, Aaron Roth:
  Auctions with Online Supply.
  
• Francisco Heron de Carvalho Junior, Rafael Dueire Lins:
  A Type System for Parallel Components.
  
• Rui Zhang, John M. Cioffi:
  Exploiting Opportunistic Multiuser Detection in Decentralized Multiuser MIMO Systems.
  
• Rui Zhang:
  On Active Learning and Supervised Transmission of Spectrum Sharing Based Cognitive Radios by Exploiting Hidden Primary Radio Feedback.
  
• Fabian Kuhn, Rotem Oshman:
  Gradient Clock Synchronization using Reference Broadcasts.
  
• Dusko Pavlovic:
  A semantical approach to equilibria and rationality.
  
• Cristian Constantin Lalescu:
  Two hierarchies of spline interpolations. Practical algorithms for multivariate higher order splines.
  
• Cyril Voyant, Marc Muselli, Christophe Paoli, Marie-Laure Nivet, Philippe Poggi:
  Predictability of PV power grid performance on insular sites without weather stations: use of artificial neural networks.
  
• Yoshiharu Maeno:
  Profiling of a network behind an infectious disease outbreak.
  
• Luc Devroye, Joachim Gudmundsson, Pat Morin:
  On the Expected Maximum Degree of Gabriel and Yao Graphs.
  
• Muhammad Fainan Hanif, Peter J. Smith:
  Level Crossing Rates of Interference in Cognitive Radio Networks.
  
• Mattheos K. Protopapas, Elias B. Kosmatopoulos, Francesco P. Battaglia:
  Coevolutionary Genetic Algorithms for Establishing Nash Equilibrium in Symmetric Cournot Games.
  
• Johan van Benthem, Balder ten Cate, Jouko A. Väänänen:
  Lindström theorems for fragments of first-order logic.
  
• Vadim R. Madgazin:
  Major and minor. The formula of musical emotions.
  
• Mari Kobayashi, Nihar Jindal, Giuseppe Caire:
  Optimized Training and Feedback for MIMO Downlink Channels.
  
• Rustam Tagiew:
  Towards Barter Double Auction as Model for Bilateral Social Cooperations.
  
• Limin Xiang:
  A formal proof of the four color theorem.
  
• Evan VanderZee, Anil N. Hirani, Vadim Zharnitsky, Damrong Guoy:
  A Dihedral Acute Triangulation of the Cube.
  
• Toby Walsh:
  Where are the really hard manipulation problems? The phase transition in manipulating the veto rule.
  
• Christian Koller, Alexandre Graell i Amat, Jörg Kliewer, Daniel J. Costello Jr.:
  Trapping Set Enumerators for Repeat Multiple Accumulate Code Ensembles.
  
• Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh:
  Decompositions of All Different, Global Cardinality and Related Constraints.
  
• Christian Bessiere, George Katsirelos, Nina Narodytska, Toby Walsh:
  Circuit Complexity and Decompositions of Global Constraints.
  
• Suresh Manandhar, Armagan Tarim, Toby Walsh:
  Scenario-based Stochastic Constraint Programming.
  
• Carmel Domshlak, Francesca Rossi, Kristen Brent Venable, Toby Walsh:
  Reasoning about soft constraints and conditional preferences: complexity results and approximation techniques.
  
• Alan M. Frisch, Ian Miguel, Zeynep Kiziltan, Brahim Hnich, Toby Walsh:
  Multiset Ordering Constraints.
  
• Subhash Kak:
  Memory Retrieved from Single Neurons.
  
• Fabio Fassetti, Luigi Palopoli:
  On the complexity of identifying Head Elementary Set Free programs.
  
• Subhas Kumar Ghosh, Koushik Sinha:
  Some Results On Convex Greedy Embedding Conjecture for 3-Connected Planar Graphs.
  
• Fionn Murtagh, Adam Ganz, Stewart McKie, Josiane Mothe, Kurt Englmeier:
  Tag Clouds for Displaying Semantics: The Case of Filmscripts.
  
• Aman Jain, Sanjeev R. Kulkarni, Sergio Verdú:
  Multicasting in Large Wireless Networks: Bounds on the Minimum Energy per Bit.
  
• Edith Elkind, Piotr Faliszewski, Arkadii M. Slinko:
  Swap Bribery.
  
• Russell K. Standish:
  SuperNOVA: a novel algorithm for graph automorphism calculations.
  
• Onur Ozan Koyluoglu, Hesham El Gamal:
  Cooperative Binning and Channel Prefixing for Secrecy in Interference Channels.
  
• Chih-Hong Cheng, Christian Buckl, Javier Esparza, Alois Knoll:
  FTOS-Verify: Analysis and Verification of Non-Functional Properties for Fault-Tolerant Systems.
  
• Chih-Hong Cheng, Christian Buckl, Javier Esparza, Alois Knoll:
  Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness.
  
• Mahzad Kalantari, Amir Hashemi, Franck Jung, Jean-Pierre Guédon:
  A New Solution to the Relative Orientation Problem using only 3 Points and the Vertical Direction.
  
• Zohir Bouzid, Maria Potop-Butucaru, Sébastien Tixeuil:
  Optimal byzantine resilient convergence in oblivious robot networks.
  
• Angelos Mantzaflaris, Bernard Mourrain, Elias P. Tsigaridas:
  Continued Fraction Expansion of Real Roots of Polynomial Systems.
  
• Pierre Hyvernat:
  Predicate Transformers and Linear Logic, yet another denotational model.
  
• Jean Marc Kelif:
  A Physical Model of Wireless Network.
  
• Paramveer S. Dhillon, Dean P. Foster, Lyle H. Ungar:
  Transfer Learning Using Feature Selection.
  
• Joakim Jalden, Petros Elia:
  DMT Optimality of LR-Aided Linear Decoders for a General Class of Channels, Lattice Designs, and System Models.
  
• Rudi Cilibrasi, Paul M. B. Vitányi:
  Normalized Web Distance and Word Similarity.
  
• Walid Saad, Zhu Han, Mérouane Debbah, Are Hjørungnes, Tamer Basar:
  Coalitional Game Theory for Communication Networks: A Tutorial.
  
• Pierre Hyvernat:
  Finiteness spaces, graphs and "coherence".
  
• Pierre Hyvernat:
  A Completeness Theorem for "Total Boolean Functions".
  
• Pierre Hyvernat:
  Interaction Systems and Linear Logic, a different games semantics.
  
• Peter Hancock, Pierre Hyvernat:
  Programming interfaces and basic topology.
  
• André Hirschowitz, Michel Hirschowitz, Tom Hirschowitz:
  Contraction-free proofs and finitary games for Linear Logic.
  
• Pierre Hyvernat:
  Synchronous Games, Simulations and lambda-calculus.
  
• Lukasz Jez:
  A 4/3-competitive randomised algorithm for online packet scheduling with agreeable deadlines.
  
• Fangwen Fu, Mihaela van der Schaar:
  Structural Solutions for Cross-Layer Optimization of Wireless Multimedia Transmission.
  
• Bart Jacobs:
  Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories.
  
• Cong Shen, Michael P. Fitz:
  Hybrid ARQ in Multiple-Antenna Slow Fading Channels: Performance Limits and Optimal Linear Dispersion Code Design.
  
• Jon Feldman, Aranyak Mehta, Vahab S. Mirrokni, S. Muthukrishnan:
  Online Stochastic Matching: Beating 1-1/e.
  
• Christos Attikos, Michael Doumpos:
  Faster estimation of the correlation fractal dimension using box-counting.
  
• Zvika Brakerski, Boaz Patt-Shamir:
  Distributed Discovery of Large Near-Cliques.
  
• Murat Guzeltepe, Mehmet Ozen:
  Codes over Quaternion Integers.
  
• D. L. Shepelyansky, O. V. Zhirov:
  Google matrix and dynamical attractors.
  
• Murat Guzeltepe, Mehmet Ozen:
  Cyclic Codes over Some Finite Rings.
  
• Joakim Grahl Knudsen, Constanza Riera, Lars Eirik Danielsen, Matthew G. Parker, Eirik Rosnes:
  Iterative Decoding on Multiple Tanner Graphs Using Random Edge Local Complementation.
  
• Murat Guzeltepe, Mehmet Ozen:
  Cyclic Codes over Some Finite Quaternion Integer Rings.
  
• Tomás Masopust:
  Answers to Questions Formulated in the Paper "On States Observability in Deterministic Finite Automata".
  
• Richard H. G. Garner, Tom Hirschowitz, Aurélien Pardon:
  Variable binding, symmetric monoidal closed theories, and bigraphs.
  
• A. T. Akinwale, F. T. Ibharalu:
  The Usefulness of Multilevel Hash Tables with Multiple Hash Functions in Large Databases.
  
• Alasu Paul Sabrin:
  Multimedia Aplication for Solving a Sudoku Game.
  
• Cristian Anghel, Vlad Muia, Miodrag Stoianovici:
  Development and Optimization of a Multimedia Product.
  
• Pietro Abate, Jaap Boender, Roberto Di Cosmo, Stefano Zacchiroli:
  Strong Dependencies between Software Components.
  
• Bernard Chazelle:
  The Convergence of Bird Flocking.
  
• Daniel de Carvalho:
  Execution Time of lambda-Terms via Denotational Semantics and Intersection Types.
  
• Jaspreet Singh, Upamanyu Madhow:
  On Block Noncoherent Communication with Low-Precision Phase Quantization at the Receiver.
  
• Valerian Antohe, Constantin Stanciu:
  Mathematical Models in Danube Water Quality.
  
• Yanjing Wang, Francien Dechesne:
  On expressive power and class invariance.
  
• Daniil Ryabko:
  Characterizing predictable classes of processes.
  
• Christoph Benzmueller:
  Automating Quantified Multimodal Logics in Simple Type Theory -- A Case Study.
  
• Fahem Kebair, Frédéric Serin:
  Information Modeling for a Dynamic Representation of an Emergency Situation.
  
• Valerian Antohe:
  Limits of Educational Soft "GeoGebra" in a Critical Constructive Review.
  
• Sebastien Bruyere, Vincent Pillet, Luc Quoniam:
  Proposition d'une methode de qualification et de selection d'un logiciel d'analyse et de suivi du referencement dans les moteurs de recherche.
  
• Otfried Cheong, Antoine Vigneron, Juyoung Yon:
  Reverse nearest neighbor queries in fixed dimension.
  
• Greg N. Frederickson, Barry Wittman:
  Approximation Algorithms for the Traveling Repairman and Speeding Deliveryman Problems.
  
• Paul M. B. Vitányi:
  Analysis of Sorting Algorithms by Kolmogorov Complexity (A Survey).
  
• Ali Tajer, Xiaodong Wang:
  Beacon-Assisted Spectrum Access with Cooperative Cognitive Transmitter and Receiver.
  
• Qi Cheng, Xianmeng Meng, Celi Sun, Jiazhe Chen:
  Bounding the Sum of Square Roots via Lattice Reduction.
  
• Tarik Ait-Idir, Samir Saoudi:
  Turbo Packet Combining Strategies for the MIMO-ISI ARQ Channel.
  
• Alexandre Graell i Amat, Raphaël Le Bidan:
  Minimum Distance and Convergence Analysis of Hamming-Accumulate-Acccumulate Codes.
  
• Ugo Dal Lago, Andrea Masini, Margherita Zorzi:
  Confluence Results for a Quantum Lambda Calculus with Measurements.
  
• Yang Yu, Zhi-Hua Zhou:
  Weak Evolvability Equals Strong Evolvability.
  
• Piotr Bania:
  Generic Unpacking of Self-modifying, Aggressive, Packed Binary Programs.
  
• Omar Sakka, Valerie Botta-Genoulaz, Lorraine Trilling:
  Modélisation des facteurs influençant la performance de la chaîne logistique.
  
• Dominique Duval, Jean-Claude Reynaud:
  About raising and handling exceptions.
  
• Claudiu Chirilov:
  Iterative Methods for Systems' Solving - a C# approach.
  
• Alexandru Cicortas, Victoria Iordan, Alexandra Fortis:
  Considerations on Construction Ontologies.
  
• Adrian Cojocariu, Cristina Ofelia Stanciu:
  XML Technologies in Computer Assisted Learning and Testing Systems.
  
• Ovidiu Crista:
  Techniques for Securing Data Exchange between a Database Server and a Client Program.
  
• Georgiana Petruta Fintineanu, Florentina Anica Pintea:
  Designing a Framework to Develop WEB Graphical Interfaces for ORACLE Databases - Web Dialog.
  
• Alexandra Fortis:
  Indexing Research Papers in Open Access Databases.
  
• Ioana Iacob:
  The Effectiveness of Computer Assisted Classes for English as a Second Language.
  
• Jan A. Bergstra, Inge Bethke:
  Straight-line instruction sequence completeness for total calculation on cancellation meadows.
  
• Daniela Ilea:
  Athos - The C# GUI Generator.
  
• Alexander Artikis, Georgios Paliouras:
  A Logic Programming Approach to Behaviour Recognition.
  
• Paolo Bolettieri, Andrea Esuli, Fabrizio Falchi, Claudio Lucchese, Raffaele Perego, Tommaso Piccioli, Fausto Rabitti:
  CoPhIR: a Test Collection for Content-Based Image Retrieval.
  
• Zhiheng Li, Li Li, Yudong Chen, Yi Zhang:
  Quantization Errors of fGn and fBm Signals.
  
• Yan Xin, Honghai Zhang:
  A Simple Sequential Spectrum Sensing Scheme for Cognitive Radio.
  
• Zuleita Ka Ming Ho, Vincent K. N. Lau, Roger Shu-Kwan Cheng:
  Cross-Layer Design of FDD-OFDM Systems based on ACK/NAK Feedbacks.
  
• Léonard Kwuida, Rokia Missaoui, Lahcen Boumedjout, Jean Vaillancourt:
  Mining Generalized Patterns from Large Databases using Ontologies.
  
• Mehrdad Nojoumian, Timothy C. Lethbridge:
  Reengineering PDF-Based Documents Targeting Complex Software Specifications.
  
• Mark Tygert:
  A fast algorithm for computing minimal-norm solutions to underdetermined systems of linear equations.
  
• Gregory Leighton, Denilson Barbosa:
  Optimizing XML Compression.
  
• K. B. Nakshatrala, Albert J. Valocchi:
  Variational structure of the optimal artificial diffusion method for the advection-diffusion equation.
  
• Neil Ghani, Peter Hancock, Dirk Pattinson:
  Representations of Stream Processors Using Nested Fixed Points.
  
• Joaquín García-Alfaro, Guillermo Navarro-Arribas:
  A Survey on Cross-Site Scripting Attacks.
  
• Alin Isac, Claudia Isac:
  Informatics Issues Used in the Production Dashboard.
  
• K. S. Jasmine, R. Vasantha:
  Derivation of UML Based Performance Models for Design Assessment in a Reuse Based Software Development Approach.
  
• Tiberiu Marius Karnyanszky, Ovidiu Crista, Catalin Tuican:
  Computer Based Interpretation of the Students' Evaluation of the Teaching Staff.
  
• Dan L. Lacrama, Ioan Snep:
  Flexible frontiers for text division into rows.
  
• Lucian Luca, Lucian L. Luca:
  Aspects Regarding Operations with Fuzzy Processes.
  
• Lucian Luca, Lucian L. Luca:
  On Some Manipulations with Fuzzy Processes.
  
• Laura Maruster, Stefan Maruster:
  On the Convex Feasibility Problem.
  
• Josep M. Pujol, Vijay Erramilli, Pablo Rodriguez:
  Divide and Conquer: Partitioning Online Social Networks.
  
• James D. Currie:
  The lexicographically least word in the orbit closure of the Rudin-Shapiro word.
  
• Vladimir Mordachev, Sergey Loyka:
  On Node Density -- Outage Probability Tradeoff in Wireless Networks.
  
• Therese C. Biedl, Stephane Durocher, Holger H. Hoos, Shuang Luan, Jared Saia, Maxwell Young:
  Fixed-Parameter Tractability and Improved Approximations for Segment Minimization.
  
• Kiryung Lee, Yoram Bresler:
  ADMiRA: Atomic Decomposition for Minimum Rank Approximation.
  
• Bharat Adsul, Milind A. Sohoni, K. V. Subrahmanyam:
  Quantum deformations of the restriction of GL_mn(C)-modules to GL_m(C) × GL_n(C).
  
• R. Dean Malmgren, Jake M. Hofman, Luis A. Nunes Amaral, Duncan J. Watts:
  Characterizing Individual Communication Patterns.
  
• Sahand Negahban, Martin J. Wainwright:
  Simultaneous support recovery in high dimensions: Benefits and perils of block l₁/l_infinity-regularization.
  
• Carlos P. Roca, José A. Cuesta, Angel Sánchez:
  Imperfect Imitation Can Enhance Cooperation.
  
• Vincent Y. F. Tan, Animashree Anandkumar, Lang Tong, Alan S. Willsky:
  A Large-Deviation Analysis of the Maximum-Likelihood Learning of Markov Tree Structures.
  
• Vinko Zlatic, Gourab Ghoshal, Guido Caldarelli:
  Hypergraph topological quantities for tagged social networks.
  
• Ivan Soprunov, Evgenia Soprunova:
  Bringing Toric Codes to the next dimension.
  
• Aram Galstyan, Vahe L. Musoyan, Paul R. Cohen:
  Maximizing Influence Propagation in Networks with Community Structure.
  
• James D. Currie, Narad Rampersad:
  A proof of Dejean's conjecture.
  
• Jean B. Lasserre, Eduardo S. Zeron:
  Certificates and relaxations for integer programming and the semi-group membership problem.
  
• Shiqian Ma, Donald Goldfarb, Lifeng Chen:
  Fixed Point and Bregman Iterative Methods for Matrix Rank Minimization.
  
• S. Bradde, Alfredo Braunstein, H. Mahmoudi, F. Tria, Martin Weigt, Riccardo Zecchina:
  Aligning graphs and finding substructures by message passing.
  
• Jenia Jitsev, Christoph von der Malsburg:
  Experience-driven formation of parts-based representations in a model of layered visual memory.
  
• Alain Couvreur:
  Residus de 2-formes differentielles sur les surfaces algebriques et applications aux codes correcteurs d'erreurs.
  
• Alain Couvreur:
  Differential approach for the study of duals of algebraic-geometric codes on surfaces.
  
• Alain Couvreur:
  The dual minimum distance of arbitrary dimensional algebraic--geometric codes.
  
• Daniel Gottesman, Sandy Irani:
  The Quantum and Classical Complexity of Translationally Invariant Tiling and Hamiltonian Problems.
  
• Alexander Barg, Oleg R. Musin:
  Bounds on sets with few distances.
  
• Guangyue Han, Brian H. Marcus, Yuval Peres:
  A note on a complex Hilbert metric with application to domain of analyticity for entropy rate of hidden Markov processes.
  
• René David:
  A direct proof of the confluence of combinatory strong reduction.
  
• Haiping Huang, Haijun Zhou:
  The cavity approach to the Sourlas code system.
  
• René David, Marek Zaionc:
  Counting proofs in propositional logic.
  
• René David, Karim Nour:
  Strong normalization results by translation.
  
• Karoline Wiesner, Mile Gu, Elisabeth Rieper, Vlatko Vedral:
  Information erasure lurking behind measures of complexity.
  
• Italo J. Dejter:
  SQS-graphs of Solov'eva-Phelps codes.
  
• Ricardo López-Ruiz, A. Nagy, Elvira Romera, Jaime Sanudo:
  A Generalized Statistical Complexity Measure: Applications to Quantum Systems.
  
• Kenichi Kurihara, Shu Tanaka, Seiji Miyashita:
  Quantum Annealing for Clustering.
  
• Issei Sato, Kenichi Kurihara, Shu Tanaka, Hiroshi Nakagawa, Seiji Miyashita:
  Quantum Annealing for Variational Bayes Inference.
  
• Christopher J. Ellison, John R. Mahoney, James P. Crutchfield:
  Prediction, Retrodiction, and The Amount of Information Stored in the Present.
  
• Ernesto Estrada, Naomichi Hatano:
  Communicability Graph and Community Structures in Complex Networks.
  
• Prasanta K. Panigrahi, Sayantan Ghosh, P. Manimaran, Dilip P. Ahalpara:
  Statistical Properties of Fluctuations: A Method to Check Market Behavior.
  
• Deanna Needell:
  Topics in Compressed Sensing.
  
• Daniil Ryabko:
  A criterion for hypothesis testing for stationary processes.
  

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