CoRR, July 2009

• Huma Naeem, Asif Masood, Mukhtar Hussain, Shoab A. Khan:
  A Novel Two-Staged Decision Support based Threat Evaluation and Weapon Assignment Algorithm, Asset-based Dynamic Weapon Scheduling using Artificial Intelligence Techinques.
  [abs/0907.0067]
• Hamidreza Mahini, Alireza Mahini, Javad Ghofrani:
  XDANNG: XML based Distributed Artificial Neural Network with Globus Toolkit.
  [abs/0907.0075]
• Farzad Didehvar, Ali D. Mehrabi, Fatemeh Raee B:
  On Unique Independence Weighted Graphs.
  [abs/0907.0088]
• Céline Engelbeen, Samuel Fiorini, Antje Kiesel:
  A closest vector problem arising in radiation therapy planning.
  [abs/0907.0138]
• Narad Rampersad, Jeffrey Shallit, Zhi Xu:
  The computational complexity of universality problems for prefixes, suffixes, factors, and subwords of regular languages.
  [abs/0907.0159]
• Ghassan Hamarneh:
  Multi-Label MRF Optimization via Least Squares s-t Cuts.
  [abs/0907.0204]
• S. V. Polikarpov, V. S. Dergachev, K. E. Rumyantsev, D. M. Golubchikov:
  A new model of artificial neuron: cyberneuron and its use.
  [abs/0907.0229]
• Hazer Inaltekin, Mung Chiang, H. Vincent Poor:
  A Cut-off Phenomenon in Location Based Random Access Games with Imperfect Information.
  [abs/0907.0255]
• Simant Dube:
  An Iterative Fingerprint Enhancement Algorithm Based on Accurate Determination of Orientation Flow.
  [abs/0907.0288]
• Alin Bostan, Bruno Salvy, Khang Tran:
  Generating functions of Chebyshev-like polynomials.
  [abs/0907.0291]
• Leah Epstein, Asaf Levin, Julián Mestre, Danny Segev:
  Improved approximation guarantees for weighted matching in the semi-streaming model.
  [abs/0907.0305]
• Wojciech Mazurczyk, Krzysztof Szczypiorski:
  Steganography in Handling Oversized IP Packets.
  [abs/0907.0313]
• James M. Whitacre, Axel Bender:
  Degenerate neutrality creates evolvable fitness landscapes.
  [abs/0907.0328]
• James M. Whitacre:
  Evidence of coevolution in multi-objective evolutionary algorithms.
  [abs/0907.0329]
• James M. Whitacre:
  Survival of the flexible: explaining the dominance of meta-heuristics within a rapidly evolving world.
  [abs/0907.0332]
• James M. Whitacre, Ruhul A. Sarker, Q. Tuan Pham:
  The Self-Organization of Interaction Networks for Nature-Inspired Optimization.
  [abs/0907.0334]
• James M. Whitacre, Hussein A. Abbass, Ruhul A. Sarker, Axel Bender, Stephen Baker:
  Strategic Positioning in Tactical Scenario Planning.
  [abs/0907.0340]
• Krzysztof R. Apt, Andreas Witzel, Jonathan A. Zvesper:
  Common Knowledge in Interaction Structures.
  [abs/0907.0403]
• Sohail Safdar, Jamil Ahmad, Shaftab Ahmed, M. Tayyab Asghar, Saqib Saeed:
  Agent based Model for providing optimized, synchronized and failure free execution of workflow process.
  [abs/0907.0404]
• Andrew Kae, Gary B. Huang, Erik G. Learned-Miller:
  Bounding the Probability of Error for High Precision Recognition.
  [abs/0907.0418]
• Leonid Kontorovich:
  Random DFAs are Efficiently PAC Learnable.
  [abs/0907.0453]
• Xiaohu Shang, Biao Chen, Gerhard Kramer, H. Vincent Poor:
  Capacity Regions and Sum-Rate Capacities of Vector Gaussian Interference Channels.
  [abs/0907.0472]
• Fahem Kebair, Frédéric Serin:
  Agent-Oriented Approach for Detecting and Managing Risks in Emergency Situations.
  [abs/0907.0499]
• Xiaohu Shang, Biao Chen, H. Vincent Poor:
  Multi-User MISO Interference Channels with Single-User Detection: Optimality of Beamforming and the Achievable Rate Region.
  [abs/0907.0505]
• James M. Whitacre, Ruhul A. Sarker, Q. Tuan Pham:
  Spontaneous organization leads to robustness in evolutionary algorithms.
  [abs/0907.0507]
• James M. Whitacre:
  Adaptation and Self-Organization in Evolutionary Algorithms.
  [abs/0907.0516]
• Hussein A. Abbass, Axel Bender, Helen Dam, Stephen Baker, James M. Whitacre, Ruhul A. Sarker:
  Computational Scenario-based Capability Planning.
  [abs/0907.0520]
• Christine Michel, Marc-Eric Bobillier-Chaumon, Véronique Cohen Montandreau, Franck Tarpin-Bernard:
  Démarche d'évaluation de l'usage et des répercussions psychosociales d'un environnement STIC sur une population de personnes âgées en résidence médicalisée.
  [abs/0907.0542]
• Rahul Gupta, Sunita Sarawagi, Ajit A. Diwan:
  Generalized Collective Inference with Symmetric Clique Potentials.
  [abs/0907.0589]
• James M. Whitacre, Tuan Q. Pham, Ruhul A. Sarker:
  Credit Assignment in Adaptive Evolutionary Algorithms.
  [abs/0907.0592]
• James M. Whitacre, Tuan Q. Pham, Ruhul A. Sarker:
  Use of statistical outlier detection method in adaptive evolutionary algorithms.
  [abs/0907.0595]
• James M. Whitacre, Axel Bender, Stephen Baker, Qi Fan, Ruhul A. Sarker, Hussein A. Abbass:
  Network Topology and Time Criticality Effects in the Modularised Fleet Mix Problem.
  [abs/0907.0597]
• Slawomir Wesolkowski, Michael Mazurek, James M. Whitacre, Axel Bender, Hussein A. Abbass:
  Robustness and Adaptiveness Analysis of Future Fleets.
  [abs/0907.0598]
• S. Butdee, Chaiwat Noomtong, Serge Tichkiewitch:
  A process planning system with feature based neural network search strategy for aluminum extrusion die manufacturing.
  [abs/0907.0611]
• Emilie Charlier, Tomi Kärki, Michel Rigo:
  Multidimensional Generalized Automatic Sequences and Shape-symmetric Morphic Words.
  [abs/0907.0615]
• Philipp Weis, Neil Immerman:
  Structure Theorem and Strict Alternation Hierarchy for FO^2 on Words.
  [abs/0907.0616]
• Jason Bell, Emilie Charlier, Aviezri S. Fraenkel, Michel Rigo:
  A Decision Problem for Ultimately Periodic Sets in Non-standard Numeration Systems.
  [abs/0907.0620]
• Michel Rigo, Laurent Waxweiler:
  A note on syndeticity, recognizable sets and Cobham's theorem.
  [abs/0907.0624]
• Benoît Darties, Fabrice Theoleyre, Andrzej Duda:
  A Divide-and-Conquer Scheme for Assigning Roles in Multi-Channel Wireless Mesh Networks.
  [abs/0907.0649]
• Piyush Kumar Shukla, Sanjay Silakari, Sarita S. Bhadoria:
  Design and Analysis of an Attack Resilient and Adaptive Medium access Control Protocol for Computer Networks.
  [abs/0907.0678]
• Elaine M. Eschen, Chính T. Hoàng, R. Sritharan, Lorna Stewart:
  On the complexity of deciding whether the distinguishing chromatic number of a graph is at most two.
  [abs/0907.0691]
• Jonathan P. Sorenson:
  A Sublinear Time Parallel GCD Algorithm for the EREW PRAM.
  [abs/0907.0718]
• Ertugrul Basar, Ümit Aygölü:
  High-Rate Full-Diversity Space-Time Block Codes for Three and Four Transmit Antennas.
  [abs/0907.0725]
• Zachary Friggstad, Mohammad R. Salavatipour, Zoya Svitkina:
  Asymmetric Traveling Salesman Path and Directed Latency Problems.
  [abs/0907.0726]
• Travis Gagie, Yakov Nekrich:
  Tight Bounds for Online Stable Sorting.
  [abs/0907.0741]
• Marcus Hutter:
  Open Problems in Universal Induction & Intelligence.
  [abs/0907.0746]
• Dan R. Ghica:
  Function Interface Models for Hardware Compilation: Types, Signatures, Protocols.
  [abs/0907.0749]
• Gábor Ivanyos, Marek Karpinski, Nitin Saxena:
  Deterministic Polynomial Time Algorithms for Matrix Completion Problems.
  [abs/0907.0774]
• Hal Daumé III:
  Bayesian Multitask Learning with Latent Hierarchies.
  [abs/0907.0783]
• Hal Daumé III:
  Cross-Task Knowledge-Constrained Self Training.
  [abs/0907.0784]
• Hal Daumé III, Lyle Campbell:
  A Bayesian Model for Discovering Typological Implications.
  [abs/0907.0785]
• Hal Daumé III, John Langford, Daniel Marcu:
  Search-based Structured Prediction.
  [abs/0907.0786]
• James E. Raynolds, Lenore M. R. Mullin:
  A generalized inner and outer product of arbitrary multi-dimensional arrays using A Mathematics of Arrays (MoA).
  [abs/0907.0792]
• Lenore M. R. Mullin, James E. Raynolds:
  Tensors and n-d Arrays:A Mathematics of Arrays (MoA), psi-Calculus and the Composition of Tensor and Array Operations.
  [abs/0907.0796]
• Hal Daumé III, Daniel Marcu:
  Induction of Word and Phrase Alignments for Automatic Document Summarization.
  [abs/0907.0804]
• Hal Daumé III, Daniel Marcu:
  A Noisy-Channel Model for Document Compression.
  [abs/0907.0806]
• Hal Daumé III, Daniel Marcu:
  A Large-Scale Exploration of Effective Global Features for a Joint Entity Detection and Tracking Model.
  [abs/0907.0807]
• Hal Daumé III, Daniel Marcu:
  A Bayesian Model for Supervised Clustering with the Dirichlet Process Prior.
  [abs/0907.0808]
• Hal Daumé III, Daniel Marcu:
  Learning as Search Optimization: Approximate Large Margin Methods for Structured Prediction.
  [abs/0907.0809]
• Chengqing Li, Shujun Li, Kwok-Tung Lo:
  Breaking a new substitution-diffusion based image cipher using chaotic standard and logistic maps.
  [abs/0907.0821]
• Stephen L. Bloom, Zoltán Ésik:
  Algebraic Ordinals.
  [abs/0907.0877]
• Nir Ailon, Bernard Chazelle, Kenneth L. Clarkson, Ding Liu, Wolfgang Mulzer, C. Seshadhri:
  Self-Improving Algorithms.
  [abs/0907.0884]
• Sariel Har-Peled:
  Randomized Incremental Construction of Compressed Quadtrees.
  [abs/0907.0907]
• Yoshiyuki Kabashima, Tadashi Wadayama, Toshiyuki Tanaka:
  Typical reconstruction limit of compressed sensing based on Lp-norm minimization.
  [abs/0907.0914]
• Mihai Letia, Nuno M. Preguiça, Marc Shapiro:
  CRDTs: Consistency without concurrency control.
  [abs/0907.0929]
• Danny Bickson, Danny Dolev:
  Distributed Sensor Selection via Gaussian Belief Propagation.
  [abs/0907.0931]
• Nadia Creignou, Hervé Daudé, Uwe Egly, Raphaël Rossignol:
  The threshold for random (1,2)-QSAT.
  [abs/0907.0937]
• Thierry Petit, Emmanuel Poder:
  The Soft Cumulative Constraint.
  [abs/0907.0939]
• Emilie Charlier, Marion Le Gonidec, Michel Rigo:
  Representing Real Numbers in a Generalized Numeration Systems.
  [abs/0907.0942]
• Frédéric Didier, Yann Laigle-Chapuy:
  Attacking the combination generator.
  [abs/0907.0971]
• Julien Cohen:
  A class of structured P2P systems supporting browsing.
  [abs/0907.1005]
• Chao-Yang Pang, Wei Hu, Xia Li, Ben-Qiong Hu:
  Apply Local Clustering Method to Improve the Running Speed of Ant Colony Optimization.
  [abs/0907.1012]
• Mikhail Belkin, Kaushik Sinha:
  Learning Gaussian Mixtures with Arbitrary Separation.
  [abs/0907.1054]
• George Atia, Venkatesh Saligrama:
  Boolean Compressed Sensing and Noisy Group Testing.
  [abs/0907.1061]
• Ramasuri Narayanam, Y. Narahari:
  Design of an Optimal Bayesian Incentive Compatible Broadcast Protocol for Ad hoc Networks with Rational Nodes.
  [abs/0907.1065]
• Aaron Sterling:
  Self-Assembling Systems are Distributed Systems.
  [abs/0907.1072]
• Matt Gibson, Gaurav Kanade, Erik Krohn, Kasturi R. Varadarajan:
  Quasi-Polynomial Time Approximation Schemes for Target Tracking.
  [abs/0907.1080]
• Niranjay Ravindran, Nihar Jindal:
  Multi-User Diversity vs. Accurate Channel State Information in MIMO Downlink Channels.
  [abs/0907.1099]
• Mihai Patrascu:
  A Lower Bound for Succinct Rank Queries.
  [abs/0907.1103]
• Sariel Har-Peled:
  Approximating Spanning Trees with Low Crossing Number.
  [abs/0907.1131]
• Tzipora Halevi, Nitesh Saxena, Shai Halevi:
  Using HB Family of Protocols for Privacy-Preserving Authentication of RFID Tags in a Population.
  [abs/0907.1227]
• Matteo Buferli, Matteo Magnani, Danilo Montesi:
  ChOrDa: a methodology for the modeling of business processes with BPMN.
  [abs/0907.1238]
• Tobias Kuhn:
  How Controlled English can Improve Semantic Wikis.
  [abs/0907.1245]
• Tobias Kuhn:
  How to Evaluate Controlled Natural Languages.
  [abs/0907.1251]
• Samir Medina Perlaza, Nadia Fawaz, Samson Lasaulce, Mérouane Debbah:
  From Spectrum Pooling to Space Pooling: Opportunistic Interference Alignment in MIMO Cognitive Networks.
  [abs/0907.1255]
• Nitesh Saxena, Jonathan Voris:
  We Can Remember It for You Wholesale: Implications of Data Remanence on the Use of RAM for True Random Number Generation on RFID Tags (RFIDSec 2009).
  [abs/0907.1256]
• Libin Jiang, Devavrat Shah, Jinwoo Shin, Jean C. Walrand:
  Distributed Random Access Algorithm: Scheduling and Congesion Control.
  [abs/0907.1266]
• James King, Erik Krohn:
  The Complexity of Guarding Terrains.
  [abs/0907.1280]
• Ankur Gupta, Anna Kispert, Jonathan P. Sorenson:
  Online Sorting via Searching and Selection.
  [abs/0907.1295]
• Scott M. Summers:
  Reducing Tile Complexity for the Self-Assembly of Scaled Shapes Through Temperature Programming.
  [abs/0907.1307]
• Xiaotie Deng, Qi Qi, Amin Saberi:
  On the Complexity of Envy-Free Cake Cutting.
  [abs/0907.1334]
• Jean-François Couchot, Alain Giorgetti, Nicolas Stouls:
  Graph Based Reduction of Program Verification Conditions.
  [abs/0907.1357]
• Manjish Pal:
  Towards an $O(\sqrt[3]{\log n})$-Approximation Algorithm for {\sc Balanced Separator}.
  [abs/0907.1369]
• Cédric Chevalier, François Pellegrini:
  PT-Scotch: A tool for efficient parallel graph ordering.
  [abs/0907.1375]
• Kamalika Chaudhuri, Anand D. Sarwate:
  Privacy constraints in regularized convex optimization.
  [abs/0907.1413]
• Adnan Raja, Vinod M. Prabhakaran, Pramod Viswanath:
  Reciprocity in Linear Deterministic Networks under Linear Coding.
  [abs/0907.1432]
• Arno Pauly:
  How discontinuous is Computing Nash Equilibria?
  [abs/0907.1482]
• Federico Penna, Roberto Garello:
  Theoretical Performance Analysis of Eigenvalue-based Detection.
  [abs/0907.1523]
• Sonja Georgievska, Suzana Andova:
  Testing Probabilistic Processes: Can Random Choices Be Unobservable?
  [abs/0907.1540]
• Se Baek Oh, George Barbastathis, Ramesh Raskar:
  Augmenting Light Field to model Wave Optics effects.
  [abs/0907.1545]
• James A. R. Marshall, Thomas G. Hinton:
  Beyond No Free Lunch: Realistic Algorithms for Arbitrary Problem Classes.
  [abs/0907.1597]
• Naveen Ashish, Sharad Mehrotra, Pouria Pirzadeh:
  Incorporating Integrity Constraints in Uncertain Databases.
  [abs/0907.1632]
• Chen Avin, Yuval Lando, Zvi Lotker:
  Simple Random Walks on Radio Networks (Simple Random Walks on Hyper-Graphs).
  [abs/0907.1678]
• Samar Agnihotri, Rajesh Venkatachalapathy:
  Distributed Function Computation in Asymmetric Communication Scenarios.
  [abs/0907.1721]
• Ryszard Janicki, Dai Tri Man Le:
  Modelling Concurrency with Comtraces and Generalized Comtraces.
  [abs/0907.1722]
• Samar Agnihotri, Rajesh Venkatachalapathy:
  Worst-case Compressibility of Discrete and Finite Distributions.
  [abs/0907.1723]
• Leslie Ann Goldberg, Mark Jerrum:
  Inapproximability of the Tutte polynomial of a planar graph.
  [abs/0907.1724]
• Linyuan Lu, Tao Zhou:
  Role of Weak Ties in Link Prediction of Complex Networks.
  [abs/0907.1728]
• Qing Wang, Pingyi Fan, Khaled Ben Letaief:
  Throughput Improvement and Its Tradeoff with The Queuing Delay in the Diamond Relay Networks.
  [abs/0907.1737]
• Pingyi Fan, Pei Sun, Khaled Ben Letaief:
  Efficient Signal-Time Coding Design and its Application in Wireless Gaussian Relay Networks.
  [abs/0907.1739]
• R. T. Faizullin, I. G. Khnykin, V. I. Dylkeyt:
  The SAT solving method as applied to cryptographic analysis of asymmetric ciphers.
  [abs/0907.1755]
• Chien-Chung Huang:
  Classified Stable Matching.
  [abs/0907.1779]
• Alexandre Soro, Jérôme Lacan:
  FNT-based Reed-Solomon Erasure Codes.
  [abs/0907.1788]
• Hal Daumé III:
  Fast search for Dirichlet process mixture models.
  [abs/0907.1812]
• Hal Daumé III:
  Bayesian Query-Focused Summarization.
  [abs/0907.1814]
• Hal Daumé III:
  Frustratingly Easy Domain Adaptation.
  [abs/0907.1815]
• Sheng-Gwo Chen, Mei-Hsiu Chi, Jyh-Yang Wu:
  A new intrinsic numerical method for PDE on surfaces.
  [abs/0907.1817]
• Michael E. Palmer, Daniel B. Miller:
  An Evolved Neural Controller for Bipdedal Walking with Dynamic Balance.
  [abs/0907.1839]
• Paola Bonizzoni, Gianluca Della Vedova, Riccardo Dondi:
  A PTAS for the Minimum Consensus Clustering Problem with a Fixed Number of Clusters.
  [abs/0907.1840]
• Syed T. Qaseem, Tareq Y. Al-Naffouri:
  Compressive Sensing for Feedback Reduction in MIMO Broadcast Channels.
  [abs/0907.1888]
• Olivier Bournez, Johanne Cohen:
  Learning Equilibria in Games by Stochastic Distributed Algorithms.
  [abs/0907.1916]
• Shaddin Dughmi, Hu Fu, Robert Kleinberg:
  Amplified Hardness of Approximation for VCG-Based Mechanisms.
  [abs/0907.1948]
• Matthew C. Clarke:
  On the Chances of Completing the Game of "Perpetual Motion".
  [abs/0907.1955]
• Lei Zhao, Haim H. Permuter:
  Zero-error feedback capacity via dynamic programming.
  [abs/0907.1956]
• Sergei V. Fedorenko:
  On semifast Fourier transform algorithms.
  [abs/0907.1975]
• Matteo Magnani, Danilo Montesi:
  BPDMN: A Conservative Extension of BPMN with Enhanced Data Representation Capabilities.
  [abs/0907.1978]
• Oktie Hassanzadeh:
  Automated Protein Structure Classification: A Survey.
  [abs/0907.1990]
• Zhi Quan, Stephen J. Shellhammer, Wenyi Zhang, Ali H. Sayed:
  Spectrum sensing by cognitive radios at very low SNR.
  [abs/0907.1992]
• Tshilidzi Marwala:
  Foundations for a Developmental State: A case for technical education.
  [abs/0907.2019]
• David Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira:
  Refining interfaces: the case of the B method.
  [abs/0907.2039]
• Noga Alon, Michal Feldman, Ariel D. Procaccia, Moshe Tennenholtz:
  Strategyproof Approximation Mechanisms for Location on Networks.
  [abs/0907.2049]
• Lukasz Jez:
  Randomised Buffer Management with Bounded Delay against Adaptive Adversary.
  [abs/0907.2050]
• Sylvain Lebresne:
  A Type System For Call-By-Name Exceptions.
  [abs/0907.2059]
• Prosenjit Bose, Karim Douïeb, Vida Dujmovic, John Howat:
  Layered Working-Set Trees.
  [abs/0907.2071]
• Lucas Cordeiro, Bernd Fischer, João P. Marques Silva:
  SMT-Based Bounded Model Checking for Embedded ANSI-C Software.
  [abs/0907.2072]
• Ulas Bagci, Li Bai:
  Multiresolution Elastic Medical Image Registration in Standard Intensity Scale.
  [abs/0907.2075]
• Francesco Biscani:
  The Piranha algebraic manipulator.
  [abs/0907.2076]
• Adam C. Zelinski, Vivek K. Goyal, Elfar Adalsteinsson:
  Simultaneously Sparse Solutions to Linear Inverse Problems with Multiple System Matrices and a Single Observation Vector.
  [abs/0907.2083]
• Diego Arroyuelo, Francisco Claude, Sebastian Maneth, Veli Mäkinen, Gonzalo Navarro, Kim Nguyen, Jouni Sirén, Niko Välimäki:
  Fast In-Memory XPath Search over Compressed Text and Tree Indexes.
  [abs/0907.2089]
• Brijesh Kumar Rai, Bikash Kumar Dey:
  Classification of \textit{sum-networks} based on network coding capacity.
  [abs/0907.2090]
• Chandrashekhar Thejaswi P. S., Junshan Zhang, Man-On Pun, H. Vincent Poor, Dong Zheng:
  Distributed Opportunistic Scheduling With Two-Level Probing.
  [abs/0907.2093]
• Sergio R. Rodriguez:
  Topology Discovery Using Cisco Discovery Protocol.
  [abs/0907.2121]
• Stefano Crespi-Reghizzi, Dino Mandrioli:
  Algebraic properties of structured context-free languages: old approaches and novel developments.
  [abs/0907.2130]
• Mai-Anh Phan, Jörg Huschke:
  Adaptive Point-to-Multipoint Transmission for Multimedia Broadcast Multicast Services in LTE.
  [abs/0907.2139]
• Maxime Crochemore, Costas S. Iliopoulos, Marcin Kubica, Jakub Radoszewski, Wojciech Rytter, Tomasz Walen:
  On the maximal number of highly periodic runs in a string.
  [abs/0907.2157]
• Stéphane Bessy, Fedor V. Fomin, Serge Gaspers, Christophe Paul, Anthony Perez, Saket Saurabh, Stéphan Thomassé:
  Kernels for Feedback Arc Set In Tournaments.
  [abs/0907.2165]
• Oleg Mazonka:
  Bit Copying - The Ultimate Computational Simplicity.
  [abs/0907.2173]
• A. A. Krizhanovsky, F. Lin:
  Related terms search based on WordNet / Wiktionary and its application in Ontology Matching.
  [abs/0907.2209]
• Dilip Krishnaswamy, Shanyu Zhao:
  Network-aware Adaptation with Real-Time Channel Statistics for Wireless LAN Multimedia Transmissions in the Digital Home.
  [abs/0907.2222]
• Dilip Krishnaswamy:
  AWiMA: An architecture for Adhoc Wireless Mobile internet Access.
  [abs/0907.2252]
• Martin Klein, Michael L. Nelson:
  Evaluating Methods to Rediscover Missing Web Pages from the Web Infrastructure.
  [abs/0907.2268]
• Dingkang Wang, Yao Sun:
  An Efficient Algorithm for Factoring Polynomials over Algebraic Extension Field.
  [abs/0907.2300]
• Peter Rost, Gerhard Fettweis:
  Protocols and Performance Limits for Half-Duplex Relay Networks.
  [abs/0907.2309]
• Yupu Hu, Fengrong Zhang, Yiwei Zhang:
  Hard Fault Analysis of Trivium.
  [abs/0907.2315]
• Laurent Bienvenu, Rupert Hölzl, Thorsten Kräling, Wolfgang Merkle:
  Separations of non-monotonic randomness notions.
  [abs/0907.2324]
• Elisha Peterson:
  Cooperation in Subset Team Games: Altruism and Selfishness.
  [abs/0907.2376]
• Pedro Coronel, Helmut Bölcskei:
  Optimal Diversity-Multiplexing Tradeoff in Selective-Fading MIMO Channels.
  [abs/0907.2391]
• Edwin Hammerich:
  Design of Pulse Shapes and Digital Filters Based on Gaussian Functions.
  [abs/0907.2412]
• Gunnar Carlsson, Gurjeet Singh, Afra Zomorodian:
  Computing Multidimensional Persistence.
  [abs/0907.2423]
• Shuchi Chawla, Jason D. Hartline, David L. Malec, Balasubramanian Sivan:
  Sequential Posted Pricing and Multi-parameter Mechanism Design.
  [abs/0907.2435]
• Koichi Takeuchi, Kyo Kageura, Teruo Koyama, Béatrice Daille, Laurent Romary:
  Pattern Based Term Extraction Using ACABIT System.
  [abs/0907.2452]
• Won-Yong Shin, Sae-Young Chung, Yong Hoon Lee:
  Improved Power-Delay Trade-off in Wireless Networks Using Opportunistic Routing.
  [abs/0907.2455]
• Oktie Hassanzadeh:
  Benchmarking Declarative Approximate Selection Predicates.
  [abs/0907.2471]
• Craig Weidert:
  Extremal problems in ordered graphs.
  [abs/0907.2479]
• Alexandros Marinos, Gerard Briscoe:
  Community Cloud Computing.
  [abs/0907.2485]
• Sang-Woon Jeon, Sae-Young Chung:
  Capacity of a Class of Multi-source Relay Networks.
  [abs/0907.2510]
• Eva Jaho, Ioannis Z. Koukoutsidis, Siyu Tang, Ioannis Stavrakakis, Piet Van Mieghem:
  Gossip-based Search in Multipeer Communication Networks.
  [abs/0907.2563]
• Emden R. Gansner, Yifan Hu, Stephen G. Kobourov:
  GMap: Drawing Graphs as Maps.
  [abs/0907.2585]
• Hung D. Ly, Tie Liu, Yingbin Liang:
  Multiple-Input Multiple-Output Gaussian Broadcast Channels with Common and Confidential Messages.
  [abs/0907.2599]
• Salem Said, Christian Lageman, Nicolas Le Bihan, Jonathan H. Manton:
  Decompounding on compact Lie groups.
  [abs/0907.2601]
• Pavel Hrubes, Amir Yehudayoff:
  Homogeneous formulas and symmetric polynomials.
  [abs/0907.2621]
• Paul S. Bonsma, Felix Breuer:
  Finding Fullerene Patches in Polynomial Time.
  [abs/0907.2627]
• Serguei A. Mokhov:
  Towards Hybrid Intensional Programming with JLucid, Objective Lucid, and General Imperative Compiler Framework in the GIPSY.
  [abs/0907.2640]
• Martin E. Dyer, Leslie Ann Goldberg, Markus Jalsenius, David Richerby:
  The Complexity of Approximating Bounded-Degree Boolean #CSP.
  [abs/0907.2663]
• Torleiv Kløve, Te-Tsung Lin, Shi-Chun Tsai, Wen-Guey Tzeng:
  Permutation Arrays Under the Chebyshev Distance.
  [abs/0907.2682]
• Vinod M. Prabhakaran, Pramod Viswanath:
  Interference Channels with Destination Cooperation.
  [abs/0907.2702]
• Stanley P. Y. Fung:
  Bounded Delay Packet Scheduling in a Bounded Buffer.
  [abs/0907.2741]
• A. N. Trahtman, Tomer Bauer, Noam Cohen:
  The Visualization of the Road Coloring Algorithm in the package TESTAS.
  [abs/0907.2755]
• Frédérique E. Oggier, Alfred M. Bruckstein:
  On Cyclic and Nearly Cyclic Multiagent Interactions in the Plane.
  [abs/0907.2759]
• Dai Tri Man Le:
  Modelling Concurrent Behaviors in the Process Specification Language.
  [abs/0907.2775]
• Peter Buergisser, J. M. Landsberg, Laurent Manivel, Jerzy Weyman:
  An overview of mathematical issues arising in the Geometric complexity theory approach to VP v.s. VNP.
  [abs/0907.2850]
• Sheng-Yuan Tu, Kwang-Cheng Chen:
  General Spectrum Sensing in Cognitive Radio Networks.
  [abs/0907.2859]
• Thomas Bernecker, Hans-Peter Kriegel, Nikos Mamoulis, Matthias Renz, Andreas Züfle:
  Scalable Probabilistic Similarity Ranking in Uncertain Databases (Technical Report).
  [abs/0907.2868]
• Slawomir Stanczak, Michal Kaliszan, Nicholas Bambos:
  Decentralized Admission Control for Power-Controlled Wireless Links.
  [abs/0907.2896]
• Hassan Gobjuka:
  4G Wireless Networks: Opportunities and Challenges.
  [abs/0907.2929]
• Julien M. Hendrickx, Alexander Olshevsky, John N. Tsitsiklis:
  Distributed anonymous function computation in information fusion and multiagent systems.
  [abs/0907.2949]
• Chiranjeeb Buragohain, Luca Foschini, Subhash Suri:
  Untangling the Braid: Finding Outliers in a Set of Streams.
  [abs/0907.2951]
• Matthew A. Herman, Thomas Strohmer:
  General Deviants: An Analysis of Perturbations in Compressed Sensing.
  [abs/0907.2955]
• Serguei A. Mokhov:
  Service-Oriented Architectures and Web Services: Course Tutorial Notes.
  [abs/0907.2974]
• Zheng Wang, Jie Luo:
  Fountain Communication using Concatenated Codes.
  [abs/0907.2984]
• Martin Josef Geiger:
  The Single Machine Total Weighted Tardiness Problem - Is it (for Metaheuristics) a Solved Problem ?
  [abs/0907.2990]
• Martin Josef Geiger:
  Improvements for multi-objective flow shop scheduling by Pareto Iterated Local Search.
  [abs/0907.2993]
• Flavio D'Alessandro, Benedetto Intrigila, Stefano Varricchio:
  On some counting problems for semi-linear sets.
  [abs/0907.3005]
• Arash Rafiey, Pavol Hell:
  Duality for Min-Max Orderings and Dichotomy for Min Cost Homomorphisms.
  [abs/0907.3016]
• Dana Fisman, Orna Kupferman, Yoad Lustig:
  Rational Synthesis.
  [abs/0907.3019]
• Abdelkader Lahmadi, Olivier Festor:
  SecSip: A Stateful Firewall for SIP-based Networks.
  [abs/0907.3045]
• Abdelkader Lahmadi, Laurent Andrey, Olivier Festor:
  Performance of Network and Service Monitoring Frameworks.
  [abs/0907.3047]
• George Christodoulou, Annamária Kovács:
  A deterministic truthful PTAS for scheduling related machines.
  [abs/0907.3068]
• Stephan Kreutzer, Siamak Tazari:
  On Brambles, Grid-Like Minors, and Parameterized Intractability of Monadic Second-Order Logic.
  [abs/0907.3076]
• Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro:
  A Metric Encoding for Bounded Model Checking (extended version).
  [abs/0907.3085]
• Kamal Ahmat:
  Ethernet Topology Discovery: A Survey.
  [abs/0907.3095]
• Kamal Ahmat:
  Graph Theory and Optimization Problems for Very Large Networks.
  [abs/0907.3099]
• Olivier Bournez, Manuel Lameiras Campagnolo:
  A Survey on Continuous Time Computations.
  [abs/0907.3117]
• Olivier Bournez, Philippe Chassaing, Johanne Cohen, Lucas Gerin, Xavier Koegler:
  On the Convergence of Population Protocols When Population Goes to Infinity.
  [abs/0907.3118]
• Emmanuel Beffara, Olivier Bournez, Hassen Kacem, Claude Kirchner:
  Verification of Timed Automata Using Rewrite Rules and Strategies.
  [abs/0907.3123]
• Olivier Bournez, Jérémie Chalopin, Johanne Cohen, Xavier Koegler:
  Population Protocols that Correspond to Symmetric Games.
  [abs/0907.3126]
• Philip Bille:
  Fast Searching in Packed Strings.
  [abs/0907.3135]
• Stevan Harnad:
  Commentary on: Citing and Reading Behavours in High-Energy Physics.
  [abs/0907.3154]
• Chengqing Li, David Arroyo, Kwok-Tung Lo:
  Breaking a Chaotic Cryptographic Scheme Based on Composition Maps.
  [abs/0907.3177]
• Nedyalko Borisov, Shivnath Babu, Sandeep Uttamchandani, Ramani Routray, Aameek Singh:
  Why Did My Query Slow Down?
  [abs/0907.3183]
• Yourim Yoon, Yong-Hyuk Kim, Alberto Moraglio, Byung Ro Moon:
  A Mathematical Unification of Geometric Crossovers Defined on Phenotype Space.
  [abs/0907.3200]
• Yourim Yoon, Yong-Hyuk Kim, Alberto Moraglio, Byung Ro Moon:
  Mathematical Interpretation between Genotype and Phenotype Spaces and Induced Geometric Crossovers.
  [abs/0907.3202]
• Fedor V. Fomin, Serge Gaspers, Saket Saurabh, Stéphan Thomassé:
  A Linear Vertex Kernel for Maximum Internal Spanning Tree.
  [abs/0907.3208]
• Ulas Bagci, Li Bai:
  Registration of Standardized Histological Images in Feature Space.
  [abs/0907.3209]
• Ulas Bagci, Li Bai:
  Fully Automatic 3D Reconstruction of Histological Images.
  [abs/0907.3215]
• Ulas Bagci, Li Bai:
  Parallel AdaBoost Algorithm for Gabor Wavelet Selection in Face Recognition.
  [abs/0907.3218]
• Ulas Bagci, Engin Erzin:
  Inter Genre Similarity Modelling For Automatic Music Genre Classification.
  [abs/0907.3220]
• Walid Belkhir:
  From Causal Semantics To Duration Timed Models.
  [abs/0907.3226]
• Arno Pauly:
  Infinite Oracle Queries in Type-2 Machines (Extended Abstract).
  [abs/0907.3230]
• Alan Gibbons, Martyn Amos:
  On filamental cellular automata.
  [abs/0907.3246]
• Seyed Hamed Hassani, Satish Babu Korada, Rüdiger L. Urbanke:
  The Compound Capacity of Polar Codes.
  [abs/0907.3291]
• Zi-Ke Zhang, Tao Zhou:
  Effective Personalized Recommendation in Collaborative Tagging Systems.
  [abs/0907.3315]
• Carl Hewitt:
  ActorScript(TM): Industrial strength integration of local and nonlocal concurrency for Client-cloud Computing.
  [abs/0907.3330]
• Robert L. Broughton, Ian D. Coope, Peter Renaud, Rachel Tappenden:
  A Barzilai-Borwein $l_1$-Regularized Least Squares Algorithm for Compressed Sensing.
  [abs/0907.3340]
• Karim Khalil, Onur Ozan Koyluoglu, Hesham El Gamal, Moustafa Youssef:
  Opportunistic Secrecy with a Strict Delay Constraint.
  [abs/0907.3341]
• Mustapha Ouladsine, Gérard Bloch, Xavier Dovifaaz:
  Neural Modeling and Control of Diesel Engine with Pollution Constraints.
  [abs/0907.3342]
• Tor Helleseth, Alexander Kholosha:
  New Binomial Bent Function over the Finite Fields of Odd Characteristic.
  [abs/0907.3348]
• Itzhak Tamo, Moshe Schwartz:
  Correcting Limited-Magnitude Errors in the Rank-Modulation Scheme.
  [abs/0907.3387]
• Matteo Dell'Amico, Pietro Michiardi, Yves Roudier:
  Measuring Password Strength: An Empirical Analysis.
  [abs/0907.3402]
• Marcin Jurdzinski, Ashutosh Trivedi:
  Reachability-time games on timed automata.
  [abs/0907.3414]
• Martin Klein, Michael L. Nelson:
  Investigating the Change of Web Pages' Titles Over Time.
  [abs/0907.3445]
• Scott A. Turner, Manuel A. Pérez-Quiñones:
  Exploring Peer Review in the Computer Science Classroom.
  [abs/0907.3456]
• Salim Y. El Rouayheb, Emina Soljanin, Alexander Sprintson:
  Secure Network Coding for Wiretap Networks of Type II.
  [abs/0907.3493]
• Daniel Bruce, Chính T. Hoàng, Joe Sawada:
  A certifying algorithm for 3-colorability of P5-free graphs.
  [abs/0907.3497]
• Jaroslaw Byrka, Andreas Karrenbauer, Laura Sanità:
  The interval constrained 3-coloring problem.
  [abs/0907.3563]
• David L. Donoho, Arian Maleki, Andrea Montanari:
  Message Passing Algorithms for Compressed Sensing.
  [abs/0907.3574]
• Yonina C. Eldar, Volker Pohl:
  Recovering Signals from Lowpass Data.
  [abs/0907.3576]
• Yoo Chung, Dongman Lee:
  Web of Lossy Adapters for Interface Interoperability: An Algorithm and NP-completeness of Minimization.
  [abs/0907.3583]
• Jean-François Monin, Cristian Ene, Michaël Périn:
  Gentzen-Prawitz Natural Deduction as a Teaching Tool.
  [abs/0907.3599]
• Mark Grundland, Jiri Patera, Zuzana Masáková, Neil A. Dodgson:
  Image Sampling with Quasicrystals.
  [abs/0907.3604]
• Venkatesh Ramaiyan, Anurag Kumar, Eitan Altman:
  Optimal Routing and Power Control for a Single Cell, Dense, Ad Hoc Wireless Network.
  [abs/0907.3616]
• Reid Andersen, Uriel Feige:
  Interchanging distance and capacity in probabilistic mappings.
  [abs/0907.3631]
• Jérôme Gauthier, Laurent Duval, Jean-Christophe Pesquet:
  Optimization of Synthesis Oversampled Complex Filter Banks.
  [abs/0907.3654]
• Mihailo Stojnic:
  Various thresholds for $\ell_1$-optimization in compressed sensing.
  [abs/0907.3666]
• Mihailo Stojnic:
  Block-length dependent thresholds in block-sparse compressed sensing.
  [abs/0907.3679]
• Andrei M. Sukhov, T. G. Sultanov, M. V. Strizhov, A. P. Platonov:
  Throughput metrics and packet delay in TCP/IP networks.
  [abs/0907.3710]
• Moritz Hardt, Kunal Talwar:
  On the Geometry of Differential Privacy.
  [abs/0907.3754]
• Katia Jaffrès-Runser, Jean-Marie Gorce, Cristina Comaniciu:
  A multiobjective Tabu framework for the optimization and evaluation of wireless systems.
  [abs/0907.3777]
• Vikraman Arvind, Pushkar S. Joglekar, Srikanth Srinivasan:
  On Lower Bounds for Constant Width Arithmetic Circuits.
  [abs/0907.3780]
• Stéphanie Léon:
  Un système modulaire d'acquisition automatique de traductions à partir du Web.
  [abs/0907.3781]
• Ayman Khalil, Matthieu Crussière, Jean-François Hélard:
  Cross-layer Resource Allocation Scheme for Multi-band High Rate UWB Systems.
  [abs/0907.3793]
• Eric Sopena, Jiaojiao Wu:
  Incidence coloring of the Cartesian product of two cycles.
  [abs/0907.3801]
• Colin Stirling:
  Decidability of higher-order matching.
  [abs/0907.3804]
• Thomas Guyet, Rene Quiniou, Wei Wang, Marie-Odile Cordier:
  Self-adaptive web intrusion detection system.
  [abs/0907.3819]
• C. Ravindranath Chowdary, P. Sreenivasa Kumar:
  USUM: Update Summary Generation System.
  [abs/0907.3823]
• Takao Namiki, Hiraku Kuroda, Shunsuke Naruse:
  Experimental DML over digital repositories in Japan.
  [abs/0907.3826]
• Julie Greensmith, Uwe Aickelin:
  Artificial Dendritic Cells: Multi-faceted Perspectives.
  [abs/0907.3867]
• Ruben Cuevas, Nikolaos Laoutaris, Xiaoyuan Yang, Georgos Siganos, Pablo Rodriguez:
  Deep Diving into BitTorrent Locality.
  [abs/0907.3874]
• Andre Luiz Barbosa:
  P != NP Proof.
  [abs/0907.3965]
• Shihuan Liu, Lei Ying, R. Srikant:
  Throughput-Optimal Opportunistic Scheduling in the Presence of Flow-Level Dynamics.
  [abs/0907.3977]
• Wenguang Wang, Wenguang Yu, Qun Li, Weiping Wang, Xichun Liu:
  Service-oriented high level architecture.
  [abs/0907.3983]
• Aleksandrs Slivkins:
  Contextual Bandits with Similarity Information.
  [abs/0907.3986]
• Vikraman Arvind, Pushkar S. Joglekar, Srikanth Srinivasan:
  Arithmetic Circuits and the Hadamard Product of Polynomials.
  [abs/0907.4006]
• Omar Mehanna, Ahmed Sultan, Hesham El Gamal:
  Cognitive MAC Protocols for General Primary Network Models.
  [abs/0907.4031]
• Derek Groen, Stefan Harfst, Simon Portegies Zwart:
  The Living Application: a Self-Organising System for Complex Grid Tasks.
  [abs/0907.4036]
• Syed Ishtiaque Ahmed, Masud Hasan, Md. Ariful Islam:
  Cutting a Convex Polyhedron Out of a Sphere.
  [abs/0907.4068]
• Amitabh Saxena:
  A Secure Wireless Routing Protocol Using Enhanced Chain Signatures.
  [abs/0907.4085]
• Kurt Ammon:
  Beyond Turing Machines.
  [abs/0907.4100]
• Miroslaw Truszczynski, Stefan Woltran:
  Relativized hyperequivalence of logic programs for modular programming.
  [abs/0907.4128]
• Xi Chen, Shang-Hua Teng:
  Spending is not Easier than Trading: On the Computational Equivalence of Fisher and Arrow-Debreu Equilibria.
  [abs/0907.4130]
• Gagan Goel, Sreenivas Gollapudi, Kamesh Munagala:
  Budget Constrained Auctions with Heterogeneous Items.
  [abs/0907.4166]
• Victor Yodaiken:
  Primitive Recursion and State Machines.
  [abs/0907.4169]
• Renuka Kandregula:
  The Basic Discrete Hilbert Transform with an Information Hiding Application.
  [abs/0907.4176]
• Vitaliy Kurlin, Alexei Lisitsa, Igor Potapov, Rafiq Saleh:
  On Descriptional Complexity of the Planarity Problem for Gauss Words.
  [abs/0907.4180]
• Maria Bras-Amorós, Klara Stokes:
  The semigroup of combinatorial configurations.
  [abs/0907.4230]
• Tony T. Lee, Lin Dai:
  Buffered Aloha with K-Exponential Backoff -- Part I: Stability and Throughput Analysis.
  [abs/0907.4251]
• Lin Dai, Tony T. Lee:
  Buffered Aloha with K-Exponential Backoff -- Part II: Delay Analysis.
  [abs/0907.4254]
• Berndt M. Gammel, Stefan Mangard:
  On the Duality of Probing and Fault Attacks.
  [abs/0907.4273]
• Anuj Dawar, Stephan Kreutzer:
  Domination Problems in Nowhere-Dense Classes of Graphs.
  [abs/0907.4283]
• Pascal Caron, Marianne Flouret:
  Algorithms for Glushkov K-graphs.
  [abs/0907.4296]
• Leah Epstein, Elena Kleiman, Julián Mestre:
  Parametric packing of selfish items and the subset sum algorithm.
  [abs/0907.4311]
• Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog:
  Modular Verification of Recursive Programs.
  [abs/0907.4316]
• Damian Eads, Edward Rosten, David P. Helmbold:
  Learning Object Location Predictors with Boosting and Grammar-Guided Feature Extraction.
  [abs/0907.4354]
• Yossi Azar, Benjamin E. Birnbaum, L. Elisa Celis, Nikhil R. Devanur, Yuval Peres:
  Convergence of Local Dynamics to Balanced Outcomes in Exchange Networks.
  [abs/0907.4356]
• Miao Song:
  Dynamic Deformation of Uniform Elastic Two-Layer Objects.
  [abs/0907.4364]
• Yoram Bachrach, Edith Elkind, Reshef Meir, Dmitrii V. Pasechnik, Michael Zuckerman, Jörg Rothe, Jeffrey S. Rosenschein:
  The Cost of Stability in Coalitional Games.
  [abs/0907.4385]
• Christopher M. Frenz, Steve Peters, Wilson Julien:
  Evolution of Digital Logic Functionality via a Genetic Algorithm.
  [abs/0907.4426]
• Martin Levesque, Halima Elbiaze:
  Graphical Probabilistic Routing Model for OBS Networks with Realistic Traffic Scenario.
  [abs/0907.4447]
• Andrei M. Sukhov, N. Yu. Kuznetsova:
  What type of distribution for packet delay in a global network should be used in the control theory?
  [abs/0907.4468]
• Natasa Zivic:
  Strategies and performances of Soft Input Decryption.
  [abs/0907.4471]
• Nikos Tzevelekos:
  Full abstraction for nominal general references.
  [abs/0907.4477]
• Gregory Gutin, Eun Jung Kim, Michael Lampis, Valia Mitsou:
  Vertex Cover Problem Parameterized Above and Below Tight Bounds.
  [abs/0907.4488]
• Gilberto de Paiva:
  Pattern Recognition Theory of Mind.
  [abs/0907.4509]
• Igor Gutman, Doron Ezri, Dov Wulich:
  Grassmannian Beamforming for MIMO-OFDM Systems with Frequency and Spatially Correlated Channels Using Huffman Coding.
  [abs/0907.4521]
• Zhaohua Luo:
  Clone Theory and Algebraic Logic.
  [abs/0907.4531]
• Janusz A. Brzozowski:
  Quotient Complexity of Regular Languages. 17-28
  [abs/0907.4547]
• John Jack, Andrei Paun:
  The Nondeterministic Waiting Time Algorithm: A Review. 29-46
  [abs/0907.4554]
• York Sure:
  Fact Sheet on Semantic Web.
  [abs/0907.4561]
• Gregory Gutin, Eun Jung Kim, Stefan Szeider, Anders Yeo:
  Solving MAX-2-SAT Above a Tight Lower Bound.
  [abs/0907.4573]
• Elena V. Pribavkina:
  Slowly synchronizing automata with zero and incomplete sets.
  [abs/0907.4576]
• Christian Vecchiola, Xingchen Chu, Rajkumar Buyya:
  Aneka: A Software Platform for .NET-based Cloud Computing.
  [abs/0907.4622]
• Keiko Nakata, Masahito Hasegawa:
  Small-step and big-step semantics for call-by-need.
  [abs/0907.4640]
• Athina P. Petropulu, Yao Yu, H. Vincent Poor:
  Distributed MIMO radar using compressive sampling.
  [abs/0907.4653]
• Samir Saoudi, Tarik Ait-Idir, Yukou Mochida:
  Unsupervised and Non Parametric Iterative Soft Bit Error Rate Estimation for Any Communications System.
  [abs/0907.4697]
• Yao Yu, Athina P. Petropulu, H. Vincent Poor:
  Compressive Sensing for MIMO Radar.
  [abs/0907.4705]
• Asif-ul Haque, Paul Ginsparg:
  Positional Effects on Citation and Readership in arXiv.
  [abs/0907.4740]
• Arun Kumar, Nitesh Saxena, Ersin Uzun:
  Alice Meets Bob: A Comparative Usability Study of Wireless Device Pairing Methods for a "Two-User" Setting.
  [abs/0907.4743]
• Christel Baier, Nathalie Bertrand, Marcus Größer:
  Probabilistic Automata over Infinite Words: Expressiveness, Efficiency, and Decidability. 3-16
  [abs/0907.4760]
• Lance Fortnow, Joshua A. Grochow:
  Complexity Classes of Equivalence Problems Revisited.
  [abs/0907.4775]
• Robert L. Grossman, Yunhong Gu, Michal Sabala, Collin Bennett, Jonathan Seidman, Joe Mambretti:
  The Open Cloud Testbed: A Wide Area Testbed for Cloud Computing Utilizing High Performance Network Services.
  [abs/0907.4810]
• Amit Narayanan:
  A Survey on BGP Issues and Solutions.
  [abs/0907.4815]
• Oded Kafri:
  The Distributions in Nature and Entropy Principle.
  [abs/0907.4852]
• K. P. Naveen, A. Kumar:
  Tunable locally-optimal geographical forwarding in wireless sensor networks with sleep-wake cycling nodes.
  [abs/0907.4870]
• Al-Mukaddim Khan Pathan, Rajkumar Buyya:
  Architecture and Performance Models for QoS-Driven Effective Peering of Content Delivery Networks.
  [abs/0907.4876]
• Liang Xiao, Larry J. Greenstein, Narayan B. Mandayam, Wade Trappe:
  Fingerprints in the Ether: Using the Physical Layer for Wireless Authentication.
  [abs/0907.4877]
• Rajkumar Buyya, Rajiv Ranjan, Rodrigo N. Calheiros:
  Modeling and Simulation of Scalable Cloud Computing Environments and the CloudSim Toolkit: Challenges and Opportunities.
  [abs/0907.4878]
• M. Vipin, K. R. Mohamed Imran:
  Approximate mechanism for measuring stability of Internet link in aggregated Internet pipe.
  [abs/0907.4881]
• Mark F. Flanagan, Enrico Paolini, Marco Chiani, Marc P. C. Fossorier:
  Growth Rate of the Weight Distribution of Doubly-Generalized LDPC Codes: General Case and Efficient Evaluation.
  [abs/0907.4885]
• Liang Xiao, Larry J. Greenstein, Narayan B. Mandayam, Wade Trappe:
  MIMO-Assisted Channel-Based Authentication in Wireless Networks.
  [abs/0907.4908]
• Liang Xiao, Larry J. Greenstein, Narayan B. Mandayam, Wade Trappe:
  Using the Physical Layer for Wireless Authentication in Time-Variant Channels.
  [abs/0907.4919]
• Maurice Margenstern:
  Iterative pushdown automata and hyperbolic contour words.
  [abs/0907.4957]
• Muthiah Annamalai:
  Ezhil: A Tamil Programming Language.
  [abs/0907.4960]
• Yousra Ben Jemaa, Sana Khanfir:
  Automatic local Gabor Features extraction for face recognition.
  [abs/0907.4984]
• R. K. Pateriya, J. L. Rana, S. C. Shrivastava, Jaideep Patel:
  A Proposed Algorithm to improve security & Efficiency of SSL-TLS servers using Batch RSA decryption.
  [abs/0907.4994]
• Lun Dong, Zhu Han, Athina P. Petropulu, H. Vincent Poor:
  Cooperative Jamming for Wireless Physical Layer Security.
  [abs/0907.4996]
• Hurlee Gonchigdanzan:
  How much does a Hamiltonian cycle weigh?
  [abs/0907.5016]
• Pavlos Kazakopoulos, Panayotis Mertikopoulos, Aris L. Moustakas, Giuseppe Caire:
  Living at the Edge: A Large Deviations Approach to the Outage MIMO Capacity.
  [abs/0907.5024]
• Terence Chan, Alex J. Grant, Doris Kern:
  Existence of new inequalities for representable polymatroids.
  [abs/0907.5030]
• Shai Haim, Toby Walsh:
  Restart Strategy Selection using Machine Learning Techniques.
  [abs/0907.5032]
• Shai Haim, Toby Walsh:
  Online Search Cost Estimation for SAT Solvers.
  [abs/0907.5033]
• Yi Li:
  An Explicit Construction of Gauss-Jordan Elimination Matrix.
  [abs/0907.5038]
• Fevzi Belli, Mutlu Beyazit:
  Mutation of Directed Graphs -- Corresponding Regular Expressions and Complexity of Their Generation. 69-77
  [abs/0907.5055]
• Marco Almeida, Nelma Moreira, Rogério Reis:
  Testing the Equivalence of Regular Languages. 47-57
  [abs/0907.5058]
• Hermann Gruber, Markus Holzer, Martin Kutrib:
  On Measuring Non-Recursive Trade-Offs. 141-150
  [abs/0907.5063]
• Galina Jirásková, Alexander Okhotin:
  Nondeterministic State Complexity of Positional Addition. 151-161
  [abs/0907.5072]
• Marcello M. Bersani, Carlo A. Furia, Matteo Pradella, Matteo Rossi:
  Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms.
  [abs/0907.5074]
• M. Sakthi Balan:
  Serializing the Parallelism in Parallel Communicating Pushdown Automata Systems. 59-68
  [abs/0907.5083]
• Adrien Richard:
  Negative circuits and sustained oscillations in asynchronous automata networks.
  [abs/0907.5096]
• Franziska Biegler, Mark Daley, Ian McQuillan:
  On the Shuffle Automaton Size for Words. 79-89
  [abs/0907.5111]
• Erzsébet Csuhaj-Varjú, György Vaszil:
  On the Size Complexity of Non-Returning Context-Free PC Grammar Systems. 91-100
  [abs/0907.5119]
• Rudolf Freund, Andreas Klein, Martin Kutrib:
  On the Number of Membranes in Unary P Systems. 101-109
  [abs/0907.5120]
• Pierluigi Frisco, Oscar H. Ibarra:
  On Languages Accepted by P/T Systems Composed of joins. 111-120
  [abs/0907.5121]
• Yuan Gao, Sheng Yu:
  State Complexity Approximation. 121-130
  [abs/0907.5124]
• Florent Jacquemard, Michaël Rusinowitch:
  Rewrite based Verification of XML Updates.
  [abs/0907.5125]
• Viliam Geffert, Lubomíra Istonová:
  Translation from Classical Two-Way Automata to Pebble Two-Way Automata. 131-140
  [abs/0907.5127]
• Martin Kutrib, Andreas Malcher:
  Bounded Languages Meet Cellular Automata with Sparse Communication. 163-172
  [abs/0907.5128]
• Remco Loos, Florin Manea, Victor Mitrana:
  Small Universal Accepting Networks of Evolutionary Processors with Filtered Connections. 173-182
  [abs/0907.5130]
• Tomás Masopust, Alexander Meduna:
  Descriptional Complexity of Three-Nonterminal Scattered Context Grammars: An Improvement. 183-192
  [abs/0907.5132]
• Ralf Stiebe, Sherzod Turaev:
  Capacity Bounded Grammars and Petri Nets. 193-203
  [abs/0907.5136]
• Haipeng Zheng, Sanjeev R. Kulkarni, H. Vincent Poor:
  Cooperative Training for Attribute-Distributed Data: Trade-off Between Data Transmission and Performance.
  [abs/0907.5141]
• C.-A. Hsiao, H. Chen:
  On Classification from Outlier View.
  [abs/0907.5155]
• Anya Tafliovich, Eric C. R. Hehner:
  Programming with Quantum Communication.
  [abs/0907.5162]
• Oliver Johnson, Matthew Aldridge, Robert J. Piechocki:
  Interference alignment-based sum capacity bounds for random dense Gaussian interference networks.
  [abs/0907.5165]
• Haipeng Zheng, Sanjeev R. Kulkarni, H. Vincent Poor:
  Collaborative Training in Sensor Networks: A graphical model approach.
  [abs/0907.5168]
• Shahar Dobzinski:
  A Note on the Power of Truthful Approximation Mechanisms.
  [abs/0907.5219]
• Subhash Kak:
  Recursive Random Number Generator Using Prime Reciprocals.
  [abs/0907.5226]
• Sean McPherson, Antonio Ortega:
  Analysis of Internet Measurement Systems for Optimized Anomaly Detection System Design.
  [abs/0907.5233]
• K. B. Nakshatrala, K. R. Rajagopal:
  A numerical study of fluids with pressure dependent viscosity flowing through a rigid porous media.
  [abs/0907.5234]
• Jürgen Dassow, Giovanni Pighizzini, Bianca Truthe (Eds.): Proceedings Eleventh International Workshop on Descriptional Complexity of Formal Systems. EPTCS 3 2009
  Contents [abs/0907.5257]
• Robert Geisberger, Dennis Luxen, Sabine Neubauer, Peter Sanders, Lars Völker:
  Fast Detour Computation for Ride Sharing.
  [abs/0907.5269]
• Joaquim Borges, Cristina Fernández-Córdoba, Josep Rifà:
  Propelinear structure of Z_{2k}-linear codes.
  [abs/0907.5287]
• Alex Shkotin:
  Program structure.
  [abs/0907.5290]
• Tomoya Sakai:
  Multiple pattern classification by sparse subspace decomposition.
  [abs/0907.5321]
• Greg N. Frederickson, Barry Wittman:
  Speedup in the Traveling Repairman Problem with Unit Time Windows.
  [abs/0907.5372]
• Xiang He, Aylin Yener:
  Providing Secrecy With Structured Codes: Tools and Applications to Two-User Gaussian Channels.
  [abs/0907.5388]
• Divyanshu Vats, José M. F. Moura:
  Recursive Estimation of Gauss-Markov Random Fields Indexed over 1-D Space.
  [abs/0907.5397]
• Juan José Jaramillo, R. Srikant:
  Optimal Scheduling for Fair Resource Allocation in Ad Hoc Networks with Elastic and Inelastic Traffic.
  [abs/0907.5402]
• Gregory Gutin, Eun Jung Kim, Matthias Mnich, Anders Yeo:
  Ordinal Embedding Relaxations Parameterized Above Tight Lower Bound.
  [abs/0907.5427]
• Muhammad Sohail, Abdur Rashid Khan:
  Knowledge Elecitation for Factors Affecting Taskforce Productivity using a Questionnaire.
  [abs/0907.5429]
• Eitan Altman, Francesco De Pellegrini, Lucile Sassatelli:
  Dynamic control of Coding in Delay Tolerant Networks.
  [abs/0907.5430]
• Ratnesh Kumar Jain, Ramveer S. Kasana, Suresh Jain:
  Efficient Web Log Mining using Doubly Linked Tree.
  [abs/0907.5433]
• Pranav Agrawal, Joy Kuri:
  Key Distribution Scheme without Deployment Knowledge.
  [abs/0907.5438]
• B. Narasimhan, S. Santhosh Baboo:
  A Hop-by-Hop Congestion-Aware Routing Protocol for Heterogeneous Mobile Ad-hoc Networks.
  [abs/0907.5441]
• Jian Li, Amol Deshpande, Samir Khuller:
  On Computing Compression Trees for Data Collection in Sensor Networks.
  [abs/0907.5442]
• H. S. Guruprasad, H. D. Maheshappa:
  Dynamic Bandwidth Management in Distributed VoD based on the User Class Using Agents.
  [abs/0907.5443]
• Pierre Lescanne:
  Feasibility/Desirability Games for Normal Form Games, Choice Models and Evolutionary Games.
  [abs/0907.5469]
• David Eppstein, Kevin A. Wortman:
  Optimal Angular Resolution for Face-Symmetric Drawings.
  [abs/0907.5474]
• Lee-Ad Gottlieb, Robert Krauthgamer:
  A Nonlinear Approach to Dimension Reduction.
  [abs/0907.5477]
• Yong Gao:
  Treewidth of Erdös-Rényi Random Graphs, Random Intersection Graphs, and Scale-Free Random Graphs.
  [abs/0907.5481]
• Lucile Sassatelli, Muriel Médard:
  Network Coding for Delay Tolerant Networks with Byzantine Adversaries.
  [abs/0907.5488]
• Shan Zhou, Lei Ying:
  On Delay Constrained Multicast Capacity of Large-Scale Mobile Ad-Hoc Networks.
  [abs/0907.5489]
• Nanying Liang, Laurent Bougrain:
  Decoding Finger Flexion using amplitude modulation from band-specific ECoG.
  [abs/0907.5500]
• Georg Moser:
  Proof Theory at Work: Complexity Analysis of Term Rewrite Systems.
  [abs/0907.5527]
• Francesco Carraro, Sergio Fonte, Diego Turrini, Maria Cristina De Sanctis, Livia Giacomini:
  A preliminary XML-based search system for planetary data.
  [abs/0907.5538]
• Pascal Koiran:
  A hitting set construction, with application to arithmetic circuit lower bounds.
  [abs/0907.5575]
• Peter de Blanc:
  Convergence of Expected Utility for Universal AI.
  [abs/0907.5598]
• Denis S. Krotov:
  On weight distributions of perfect structures.
  [abs/0907.0001]
• Denis S. Krotov:
  On the binary codes with parameters of doubly-shortened 1-perfect codes.
  [abs/0907.0002]
• Zhuo Li, Li-Juan Xing:
  No More Perfect Codes: Classification of Perfect Quantum Codes.
  [abs/0907.0049]
• L. Leskelä, Philippe Robert, Florian Simatos:
  Stability Properties of Linear File-Sharing Networks.
  [abs/0907.0375]
• Alessandro Pluchino, Andrea Rapisarda, Cesare Garofalo:
  The Peter Principle Revisited: A Computational Study.
  [abs/0907.0455]
• Yves Wiaux, Gilles Puy, Yannick Boursier, Pierre Vandergheynst:
  Spread spectrum for imaging techniques in radio interferometry.
  [abs/0907.0944]
• Filippo Radicchi, Santo Fortunato, Benjamin Markines, Alessandro Vespignani:
  Diffusion of scientific credits and the ranking of scientists.
  [abs/0907.1050]
• Nir Avni, Benjamin Weiss:
  Generating Product Systems.
  [abs/0907.1201]
• Jian-Guo Liu, Tao Zhou, Qiang Guo, Bing-Hong Wang, Yi-Cheng Zhang:
  Effect of user tastes on personalized recommendation.
  [abs/0907.1224]
• Jian-Guo Liu, Tao Zhou, Zhao-Guo Xuan, Hong-An Che, Bing-Hong Wang, Yi-Cheng Zhang:
  Degree correlation effect of bipartite network on personalized recommendation.
  [abs/0907.1228]
• Sergey Bravyi, Cristopher Moore, Alexander Russell:
  Bounds on the quantum satisfibility threshold.
  [abs/0907.1297]
• Rodrigo Costas, Thed N. van Leeuwen, Anthony F. J. van Raan:
  Is scientific literature subject to a sell-by-date? A general methodology to analyze the durability of scientific documents.
  [abs/0907.1455]
• Marcelo A. Montemurro, Damián H. Zanette:
  Towards the quantification of the semantic information encoded in written language.
  [abs/0907.1558]
• Jacob D. Biamonte:
  The Computational Power of Minkowski Spacetime.
  [abs/0907.1579]
• David M. South:
  Data Preservation and Long Term Analysis in High Energy Physics.
  [abs/0907.1586]
• Thomas Fischbacher, Hans Fangohr:
  Continuum multi-physics modeling with scripting languages: the Nsim simulation compiler prototype for classical field theory.
  [abs/0907.1587]
• Carlos Gershenson, David A. Rosenblueth:
  Modeling self-organizing traffic lights with elementary cellular automata.
  [abs/0907.1925]
• Zhaosong Lu, Yong Zhang:
  An Augmented Lagrangian Approach for Sparse Principal Component Analysis.
  [abs/0907.2079]
• K. R. Parthasarathy:
  On the philosophy of Cramér-Rao-Bhattacharya Inequalities in Quantum Statistics.
  [abs/0907.2210]
• Johannes Blümlein, D. J. Broadhurst, J. A. M. Vermaseren:
  The Multiple Zeta Value Data Mine.
  [abs/0907.2557]
• Gábor Pataki, Mustafa Tural:
  Basis Reduction, and the Complexity of Branch-and-Bound.
  [abs/0907.2639]
• Richard H. Cyburt, Sam M. Austin, Timothy C. Beers, Alfredo Estrade, Ryan M. Ferguson, A. Sakharuk, Karl Smith, Scott Warren:
  Managing Information for Sparsely Distributed Articles and Readers: The Virtual Journals of the Joint Institute for Nuclear Astrophysics (JINA).
  [abs/0907.2914]
• Somphong Jitman, Patanee Udomkavanich:
  The Gray Image of Codes over Finite Chain Rings.
  [abs/0907.3397]
• S. George Djorgovski, Piet Hut, Steve McMillan, E. Vesperini, R. Knop, W. Farr, M. J. Graham:
  Exploring the Use of Virtual Worlds as a Scientific Research Platform: The Meta-Institute for Computational Astrophysics (MICA).
  [abs/0907.3520]
• Sergey Bravyi, Aram Wettroth Harrow, Avinatan Hassidim:
  Quantum algorithms for testing properties of distributions.
  [abs/0907.3920]
• Megan Owen, J. Scott Provan:
  A Fast Algorithm for Computing Geodesic Distances in Tree Space.
  [abs/0907.3942]
• Dae San Kim:
  Infinite Families of Recursive Formulas Generating Power Moments of Kloosterman Sums: Symplectic Case.
  [abs/0907.3970]
• Dae San Kim:
  Infinite Families of Recursive Formulas Generating Power Moments of Kloosterman Sums: O\^{+}(2n, 2r) Case.
  [abs/0907.3972]
• Dae San Kim:
  Simple Recursive Formulas Generating Power Moments of Kloosterman Sums.
  [abs/0907.3974]
• Fabien Durand, Michel Rigo:
  Syndeticity and independent substitutions.
  [abs/0907.4583]
• Narad Rampersad:
  Further applications of a power series method for pattern avoidance.
  [abs/0907.4667]
• Armen E. Allahverdyan, Aram Galstyan:
  Community Detection with and without Prior Information.
  [abs/0907.4803]
• Zhi-Qiang Jiang, Wei-Xing Zhou, Qun-Zhao Tan:
  Online-offline activities and game-playing behaviors of avatars in a massive multiplayer online role-playing game.
  [abs/0907.5043]
• John Panaretos, Chrisovaladis Malesios:
  A population-modulated bibliometric measure with an application in the field of statistics.
  [abs/0907.5126]
• Benoit Kloeckner:
  Cutwidth and degeneracy of graphs.
  [abs/0907.5138]
• Gábor Pataki, Mustafa Tural:
  Basis Reduction, and the Complexity of Branch-and-Bound.
  [abs/0907.2639]

Last update Mon Feb 13 04:45:59 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page