CoRR, December 2007

• Qing Zhao, Bhaskar Krishnamachari, Keqin Liu:
  On Myopic Sensing for Multi-Channel Opportunistic Access. , (informal publication)
  [abs/0712.0035]
• Matthew R. McKay, Peter J. Smith, Himal A. Suraweera, Iain B. Collings:
  On the Mutual Information Distribution of OFDM-Based Spatial Multiplexing: Exact Variance and Outage Approximation. , (informal publication)
  [abs/0712.0042]
• Yuriy A. Reznik:
  On Precision - Redundancy Relation in the Design of Source Coding Algorithms. , (informal publication)
  [abs/0712.0057]
• Gilles Champenois:
  The theory of mnesors. , (informal publication)
  [abs/0712.0084]
• G. L. Khodak:
  Redundancy Estimates for Word-Based Encoding of Sequences Produced by a Bernoulli Source. , (informal publication)
  [abs/0712.0097]
• Raymond R. Panko:
  Recommended Practices for Spreadsheet Testing. , (informal publication)
  [abs/0712.0109]
• Thomas M. Breuel:
  Efficient Binary and Run Length Morphology and its Application to Document Image Processing. , (informal publication)
  [abs/0712.0121]
• Thomas M. Breuel:
  On the Relationship between the Posterior and Optimal Similarity. , (informal publication)
  [abs/0712.0130]
• Thomas M. Breuel:
  Learning Similarity for Character Recognition and 3D Object Recognition. , (informal publication)
  [abs/0712.0131]
• Thomas M. Breuel:
  Learning View Generalization Functions. , (informal publication)
  [abs/0712.0136]
• Thomas M. Breuel:
  View Based Methods can achieve Bayes-Optimal 3D Recognition. , (informal publication)
  [abs/0712.0137]
• Tetsuo Kurosaki:
  Direct definition of a ternary infinite square-free sequence. , (informal publication)
  [abs/0712.0139]
• Olivier Finkel:
  On Decidability Properties of Local Sentences. , (informal publication)
  [abs/0712.0164]
• Olivier Finkel:
  On the Accepting Power of 2-Tape Büchi Automata. , (informal publication)
  [abs/0712.0165]
• Amin Coja-Oghlan, Elchanan Mossel, Dan Vilenchik:
  A Spectral Approach to Analyzing Belief Propagation for 3-Coloring. , (informal publication)
  [abs/0712.0171]
• Marco Grangetto, Enrico Magli, Gabriella Olmo:
  Distributed Arithmetic Coding for the Asymmetric Slepian-Wolf problem. , (informal publication)
  [abs/0712.0271]
• N. Raj Rao:
  The analytic computability of the Shannon transform for a large class of random matrix channels. , (informal publication)
  [abs/0712.0305]
• Saeed Akhavan-Astaneh, Saeed Gazor:
  Collaborative Gain in Resource Sharing Communication Networks. , (informal publication)
  [abs/0712.0392]
• Suresh Thippireddy, Sandeep Chalasani:
  Period of the d-Sequence Based Random Number Generator. , (informal publication)
  [abs/0712.0411]
• Alejandro Chinea Manrique De Lara:
  A Reactive Tabu Search Algorithm for Stimuli Generation in Psycholinguistics. , (informal publication)
  [abs/0712.0451]
• Ioannis Antonellis, Hector Garcia-Molina, Chi-Chao Chang:
  Simrank++: Query rewriting through link analysis of the click graph. , (informal publication)
  [abs/0712.0499]
• Jean-Alexandre Long, Vincent Daanen, Alexandre Moreau-Gaudry, Jocelyne Troccaz, Jean-Jacques Rambeaud, Jean-Luc Descotes:
  Prostate biopsies guided by three-dimensional real-time (4-D) transrectal ultrasonography on a phantom: comparative study versus two-dimensional transrectal ultrasound-guided biopsies. , (informal publication)
  [abs/0712.0531]
• Eric Z. Chen:
  New Construction of A Family of Quasi-Twisted Two-Weight Codes. , (informal publication)
  [abs/0712.0541]
• Prosenjit Bose, Paz Carmi, Mathieu Couture, Anil Maheshwari, Pat Morin, Michiel H. M. Smid:
  Spanners of Complete $k$-Partite Geometric Graphs. , (informal publication)
  [abs/0712.0554]
• Jinshan Zhang:
  An Upper Bound for the Number of Hamiltonian Cycles on a Symmetric Diagraph. , (informal publication)
  [abs/0712.0616]
• Sumio Watanabe:
  Equations of States in Singular Statistical Estimation. , (informal publication)
  [abs/0712.0653]
• Chengqing Li, Dan Zhang, Guanrong Chen:
  Cryptanalysis of an image encryption scheme based on the Hill cipher. , (informal publication)
  [abs/0712.0693]
• Vitorino Ramos, Cristina M. Fernandes, Agostinho C. Rosa, Ajith Abraham:
  Computational Chemotaxis in Ants and Bacteria over Dynamic Environments. , (informal publication)
  [abs/0712.0744]
• Michael Baumann, Pierre Mozer, Vincent Daanen, Jocelyne Troccaz:
  Towards 3D ultrasound image based soft tissue tracking: a transrectal ultrasound prostate image alignment system. , (informal publication)
  [abs/0712.0769]
• Arvind Gupta, Gregory Gutin, Mehdi Karimi, Eun Jung Kim, Arash Rafiey:
  Minimum Cost Homomorphisms to Locally Semicomplete and Quasi-Transitive Digraphs. , (informal publication)
  [abs/0712.0804]
• Radim Baca, Václav Snásel, Jan Platos, Michal Krátký, Eyas El-Qawasmeh:
  The Fast Fibonacci Decompression Algorithm. , (informal publication)
  [abs/0712.0811]
• Andrew Adamatzky, Larry Bull, Pierre Collet, Emmanuel Sapin:
  Evolving localizations in reaction-diffusion cellular automata. , (informal publication)
  [abs/0712.0836]
• Leonid Kontorovich:
  A Universal Kernel for Learning Regular Languages. , (informal publication)
  [abs/0712.0840]
• Anant Sahai:
  Balancing forward and feedback error correction for erasure channels with unreliable feedback. , (informal publication)
  [abs/0712.0871]
• Cheng Chang, Anant Sahai:
  The price of ignorance: The impact of side-information on delay for lossless source-coding. , (informal publication)
  [abs/0712.0873]
• Dasika Ratna Deepthi, Sujeet Kuchibhotla, K. Eswaran:
  Dimensionality Reduction and Reconstruction using Mirroring Neural Networks and Object Recognition based on Reduced Dimension Characteristic Vector. , (informal publication)
  [abs/0712.0932]
• Dasika Ratna Deepthi, G. R. Aditya Krishna, K. Eswaran:
  Automatic Pattern Classification by Unsupervised Learning Using Dimensionality Reduction of Data with Mirroring Neural Networks. , (informal publication)
  [abs/0712.0938]
• Stefan Woltran:
  A Common View on Strong, Uniform, and Other Notions of Equivalence in Answer-Set Programming. , (informal publication)
  [abs/0712.0948]
• A. V. Tserunyan:
  Characterization Of A Class Of Graphs Related To Pairs Of Disjoint Matchings. , (informal publication)
  [abs/0712.1014]
• João Marques-Silva, Jordi Planes:
  On Using Unsatisfiability for Solving Maximum Satisfiability. , (informal publication)
  [abs/0712.1097]
• Philipp Schuetz, Amedeo Caflisch:
  Efficient Modularity Optimization: Multi-Step Greedy Algorithm and Vertex Mover Refinement. , (informal publication)
  [abs/0712.1163]
• Leandro A. J. Marzulo, Felipe M. G. França, Vítor Santos Costa:
  Transactional WaveCache: Towards Speculative and Out-of-Order DataFlow Execution of Memory Operations. , (informal publication)
  [abs/0712.1167]
• Shengshan Cui, Alexander M. Haimovich, Oren Somekh, H. Vincent Poor:
  Opportunistic Relaying in Wireless Networks. , (informal publication)
  [abs/0712.1169]
• Audun Jøsang:
  Cumulative and Averaging Fission of Beliefs. , (informal publication)
  [abs/0712.1182]
• Olivier Zendra, Eric Jul, Roland Ducournau, Etienne Gagnon, Richard E. Jones, Chandra Krintz, Philippe Mulet, Jan Vitek:
  Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems - Report on the Workshop ICOOOLPS'2007 at ECOOP'07. , (informal publication)
  [abs/0712.1189]
• Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely:
  Lambda-RBAC: Programming with Role-Based Access Control. , (informal publication)
  [abs/0712.1205]
• Kiran Lakkaraju, Adam J. Slagell:
  Evaluating the Utility of Single Field Anonymization Polices by the IDS Metric : Towards measuring the trade off between Utility and Security. , (informal publication)
  [abs/0712.1224]
• Salvatore Caporaso, Nicola Corriero:
  Kleene, Rogers and Rice Theorems Revisited in C and in Bash. , (informal publication)
  [abs/0712.1279]
• Lev Cherbanski:
  About Algorithm for Transformation of Logic Functions (ATLF). , (informal publication)
  [abs/0712.1310]
• Stephen L. Bloom, Zoltán Ésik:
  Axiomatizing rational power series. , (informal publication)
  [abs/0712.1337]
• Stefano Buzzi, H. Vincent Poor:
  Joint Receiver and Transmitter Optimization for Energy-Efficient CDMA Communications. , (informal publication)
  [abs/0712.1339]
• Giorgi Japaridze:
  Sequential operators in computability logic. , (informal publication)
  [abs/0712.1345]
• Olivier Finkel:
  Borel Ranks and Wadge Degrees of Context Free Omega Languages. , (informal publication)
  [abs/0712.1359]
• Olivier Finkel:
  Undecidable Problems About Timed Automata. , (informal publication)
  [abs/0712.1363]
• An-Ping Li:
  Birthday attack to discrete logarithm. , (informal publication)
  [abs/0712.1400]
• Guy Bresler, Elchanan Mossel, Allan Sly:
  Reconstruction of Markov Random Fields from Samples: Some Easy Observations and Algorithms. , (informal publication)
  [abs/0712.1402]
• Klaus Aehlig, Arnold Beckmann:
  On the computational complexity of cut-reduction. , (informal publication)
  [abs/0712.1499]
• Stéphane Le Roux:
  Discrete Nondeterminism and Nash Equilibria for Strategy-Based Games. , (informal publication)
  [abs/0712.1519]
• Stéphane Le Roux:
  Graphs and Path Equilibria. , (informal publication)
  [abs/0712.1521]
• Walid S. Saba:
  Ontology and Formal Semantics - Integration Overdue. , (informal publication)
  [abs/0712.1529]
• Peter Jonsson, Andrei A. Krokhin, Fredrik Kuivinen:
  Hard constraint satisfaction problems have hard gaps at location 1. , (informal publication)
  [abs/0712.1532]
• Todd L. Veldhuizen:
  Dynamic Multilevel Graph Visualization. , (informal publication)
  [abs/0712.1549]
• Soummya Kar, José M. F. Moura:
  Distributed Consensus Algorithms in Sensor Networks: Quantized Data. , (informal publication)
  [abs/0712.1609]
• Jan A. Bergstra, C. A. Middelburg:
  Program algebra with a jump-shift instruction. , (informal publication)
  [abs/0712.1658]
• Michael Botros Shenouda, Timothy N. Davidson:
  Non-linear and Linear Broadcasting with QoS Requirements: Tractable Approaches for Bounded Channel Uncertainties. , (informal publication)
  [abs/0712.1659]
• N. Praneeth Kumar, Ashutosh Deepak Gore, Abhay Karandikar:
  Link Scheduling in STDMA Wireless Networks: A Line Graph Approach. , (informal publication)
  [abs/0712.1662]
• Madeth May, Sébastien George, Patrick Prévôt:
  A Web-based System for Observing and Analyzing Computer Mediated Communications. , (informal publication)
  [abs/0712.1759]
• Hugo Gimbert, Florian Horn:
  Solving Simple Stochastic Games with Few Random Vertices.
  [abs/0712.1765]
• Sébastien George, Alain Derycke:
  Conceptions et usages des plates-formes de formation, Revue Sciences et Technologies de l'Information et de la Communication pour l'Éducation et la Formation. , (informal publication)
  [abs/0712.1768]
• Rachit Agarwal:
  On Computation of Error Locations and Values in Hermitian Codes. , (informal publication)
  [abs/0712.1775]
• Sébastien George, Cécile Bothorel:
  Conception d'outils de communication spécifiques au contexte éducatif. , (informal publication)
  [abs/0712.1800]
• Jérôme Galtier:
  Tournament MAC with Constant Size Congestion Window for WLAN. , (informal publication)
  [abs/0712.1803]
• Soung Chang Liew, Caihong Kai, Jason Leung, Bill Wong:
  Back-of-the-Envelope Computation of Throughput Distributions in CSMA Wireless Networks. , (informal publication)
  [abs/0712.1854]
• Weng-Long Chang, Michael (Shan-Hui) Ho, Minyi Guo:
  Constructing Bio-molecular Databases on a DNA-based Computer. , (informal publication)
  [abs/0712.1863]
• Michel Fliess:
  Critique du rapport signal à bruit en théorie de l'information -- A critical appraisal of the signal to noise ratio in information theory. , (informal publication)
  [abs/0712.1875]
• Jean-Hugues Pruvot, Luc Brun:
  Hierarchy construction schemes within the Scale set framework. , (informal publication)
  [abs/0712.1878]
• Jerome K. Vanclay:
  Ranking forestry journals using the h-index. , (informal publication)
  [abs/0712.1916]
• Attila Fekete, Gábor Vattay, Ljupco Kocarev:
  Distribution of Edge Load in Scale-free Trees. , (informal publication)
  [abs/0712.1928]
• Siu-Wing Cheng, Tamal K. Dey:
  Delaunay Edge Flips in Dense Surface Triangulations. , (informal publication)
  [abs/0712.1959]
• Xiaohu Shang, Gerhard Kramer, Biao Chen:
  A New Outer Bound and the Noisy-Interference Sum-Rate Capacity for Gaussian Interference Channels. , (informal publication)
  [abs/0712.1987]
• Pradorn Sureephong, Nopasit Chakpitak, Yacine Ouzrout, Gilles Neubert, Abdelaziz Bouras:
  Knowledge Engineering Technique for Cluster Development. , (informal publication)
  [abs/0712.1994]
• Bart Kuijpers, Walied Othman, Rafael Grimson:
  A case study of the difficulty of quantifier elimination in constraint databases: the alibi query in moving object databases. , (informal publication)
  [abs/0712.1996]
• Libin Jiang, Jean C. Walrand:
  Distributed Fair Scheduling Using Variable Transmission Lengths in Carrier-Sensing-based Wireless Networks. , (informal publication)
  [abs/0712.2054]
• Vladimir Pestov:
  An axiomatic approach to intrinsic dimension of a dataset. , (informal publication)
  [abs/0712.2063]
• An Chan, Soung Chang Liew:
  VoIP over Multiple IEEE 802.11 Wireless LANs. , (informal publication)
  [abs/0712.2083]
• Timothy G. Abbott, Zachary Abel, David Charlton, Erik D. Demaine, Martin L. Demaine, Scott D. Kominers:
  Hinged Dissections Exist. , (informal publication)
  [abs/0712.2094]
• Vincent Daanen, J. Gastaldo, Jean-Yves Giraud, Philippe Fourneret, Jean-Luc Descotes, Michel Bolla, D. Collomb, Jocelyne Troccaz:
  MRI/TRUS data fusion for brachytherapy. , (informal publication)
  [abs/0712.2099]
• Jocelyne Troccaz, Michael Baumann, Peter J. Berkelman, Philippe Cinquin, Vincent Daanen, Antoine Leroy, Maud Marchal, Yohan Payan, Emmanuel Promayon, Sandrine Voros, Stéphane Bart, Michel Bolla, Emmanuel Chartier-Kastler, Jean-Luc Descotes, Andrée Dusserre, Jean-Yves Giraud, Jean-Alexandre Long, Ronan Moalic, Pierre Mozer:
  Medical image computing and computer-aided medical interventions applied to soft tissues. Work in progress in urology. , (informal publication)
  [abs/0712.2100]
• Andreas U. Schmidt, Nicolai Kuntze, Michael Kasper:
  On the deployment of Mobile Trusted Modules. , (informal publication)
  [abs/0712.2113]
• Eric Chojnacki, Jean Baccou, Sébastien Destercke:
  Numerical Sensitivity and Efficiency in the Treatment of Epistemic and Aleatory Uncertainty. , (informal publication)
  [abs/0712.2141]
• Marc-Eric Bobillier-Chaumon, Michel Dubois, Françoise Sandoz-Guermond:
  Study of conditions of use of E-services accessible to visually disabled persons. , (informal publication)
  [abs/0712.2168]
• Henk D. L. Hollmann, Ludo M. G. M. Tolhuizen:
  Optimal codes for correcting a single (wrap-around) burst of errors. , (informal publication)
  [abs/0712.2182]
• Marc-Eric Bobillier-Chaumon, Françoise Sandoz-Guermond:
  Apports des démarches d'inspection et des tests d'usage dans l'évaluation de l'accessibilité de E-services. , (informal publication)
  [abs/0712.2183]
• Andreas U. Schmidt, Nicolai Kuntze, Joerg Abendroth:
  Trust for Location-based Authorisation. , (informal publication)
  [abs/0712.2231]
• Manik Lal Das, Ashutosh Saxena, Ved Prakash Gulati:
  A Dynamic ID-based Remote User Authentication Scheme. , (informal publication)
  [abs/0712.2235]
• Marco Baldi, Franco Chiaraluce, Torleiv Kløve:
  Exact and Approximate Expressions for the Probability of Undetected Error of Varshamov-Tenengol'ts Codes. , (informal publication)
  [abs/0712.2245]
• Ian T. Foster:
  Human-Machine Symbiosis, 50 Years On. , (informal publication)
  [abs/0712.2255]
• David E. Bernholdt, Shishir Bharathi, David Brown, Kasidit Chanchio, Meili Chen, Ann L. Chervenak, Luca Cinquini, Bob Drach, Ian T. Foster, Peter Fox, Jose Garcia, Carl Kesselman, Rob S. Markel, Don Middleton, Veronika Nefedova, Line Pouchard, Arie Shoshani, Alex Sim, Gary Strand, Dean N. Williams:
  The Earth System Grid: Supporting the Next Generation of Climate Modeling Research. , (informal publication)
  [abs/0712.2262]
• Da Rui Chen, Ying Jun Zhang:
  Distributed MAC Strategy for Exploiting Multi-user Diversity in Multi-rate IEEE 802.11 Wireless LANs. , (informal publication)
  [abs/0712.2274]
• Georg Hager, Thomas Zeiser, Gerhard Wellein:
  Data access optimizations for highly threaded multi-core CPUs with multiple memory controllers. , (informal publication)
  [abs/0712.2302]
• Sanjay Karmakar, B. Sundar Rajan:
  Maximum-rate, Minimum-Decoding-Complexity STBCs from Clifford Algebras. , (informal publication)
  [abs/0712.2371]
• G. Susinder Rajan, B. Sundar Rajan:
  Multi-group ML Decodable Collocated and Distributed Space Time Block Codes. , (informal publication)
  [abs/0712.2384]
• Martin Mann, Guido Tack, Sebastian Will:
  Decomposition During Search for Propagation-Based Constraint Solvers. , (informal publication)
  [abs/0712.2389]
• Philipp Mayr, Peter Mutschke, Vivien Petras:
  Reducing semantic complexity in distributed Digital Libraries: treatment of term vagueness and document re-ranking. , (informal publication)
  [abs/0712.2449]
• Jeffrey G. Andrews, Nihar Jindal, Martin Haenggi, Randall Berry, Syed Ali Jafar, Dongning Guo, Sanjay Shakkottai, Robert W. Heath Jr., Michael J. Neely, Steven Weber, Aylin Yener:
  Rethinking Information Theory for Mobile Ad Hoc Networks. , (informal publication)
  [abs/0712.2467]
• Zhenning Kong, Edmund M. Yeh:
  Directed Percolation in Wireless Networks with Interference and Noise. , (informal publication)
  [abs/0712.2469]
• Fangwen Fu, Mihaela van der Schaar:
  A New Theoretic Foundation for Cross-Layer Optimization. , (informal publication)
  [abs/0712.2497]
• Wang Liang, Wang Bing-wen, Guo Yi-Ping:
  Cell mapping description for digital control system with quantization effect. , (informal publication)
  [abs/0712.2501]
• Yeow Meng Chee, Alan C. H. Ling, San Ling, Hao Shen:
  The PBD-Closure of Constant-Composition Codes. , (informal publication)
  [abs/0712.2552]
• Yeow Meng Chee, Charles J. Colbourn:
  Constructions for Difference Triangle Sets. , (informal publication)
  [abs/0712.2553]
• Rafael R. Kamalian, Petros A. Petrosyan:
  On Lower Bound for W(K_2n). , (informal publication)
  [abs/0712.2567]
• Maurice Margenstern:
  Is the injectivity of the global function of a cellular automaton in the hyperbolic plane undecidable? , (informal publication)
  [abs/0712.2577]
• Hongyi Yao:
  On the Information of the Second Moments Between Random Variables Using Mutually Unbiased Bases. , (informal publication)
  [abs/0712.2579]
• Petros A. Petrosyan:
  Interval Edge Colourings of Complete Graphs and n-cubes. , (informal publication)
  [abs/0712.2585]
• Chia-Lung Wu, Po-Ning Chen, Yunghsiang S. Han, Ming-Hsin Kuo:
  Maximum-Likelihood Priority-First Search Decodable Codes for Combined Channel Estimation and Error Protection. , (informal publication)
  [abs/0712.2587]
• Grenville J. Croll:
  A Typical Model Audit Approach: Spreadsheet Audit Methodologies in the City of London. , (informal publication)
  [abs/0712.2591]
• David Chadwick:
  Stop That Subversive Spreadsheet! , (informal publication)
  [abs/0712.2594]
• Grenville J. Croll:
  Some A Priori Torah Decryption Principles. , (informal publication)
  [abs/0712.2605]
• Grenville J. Croll:
  Algorithmic Permutation of part of the Torah. , (informal publication)
  [abs/0712.2606]
• Yeow Meng Chee:
  A New Lower Bound for A(17,6,6). , (informal publication)
  [abs/0712.2619]
• Ryoso Hamane, Toshiya Itoh, Kouhei Tomita:
  Approximation Algorithms for the Highway Problem under the Coupon Model. , (informal publication)
  [abs/0712.2629]
• Nestor Zorzano, Daniel Merino, Juan Luís Jiménez Laredo, Juan P. Sevilla, Pablo García-Sánchez, Juan Julián Merelo Guervós:
  Evolving XSLT stylesheets. , (informal publication)
  [abs/0712.2630]
• Frédéric Chazal, Steve Oudot:
  Towards Persistence-Based Reconstruction in Euclidean Spaces. , (informal publication)
  [abs/0712.2638]
• Yeow Meng Chee, Charles J. Colbourn, Alan C. H. Ling:
  Optimal Memoryless Encoding for Low Power Off-Chip Data Buses. , (informal publication)
  [abs/0712.2640]
• Rawan Ghnemat, Saleh Oqeili, Cyrille Bertelle, Gérard Henry Edmond Duchamp:
  Automata-based Adaptive Behavior for Economical Modelling Using Game Theory. , (informal publication)
  [abs/0712.2644]
• Paul N. Balister, Stefanie Gerke, Gregory Gutin, Adrian Johnstone, Joseph Reddington, Elizabeth Scott, A. Soleimanfallah, Anders Yeo:
  Algorithms for Generating Convex Sets in Acyclic Digraphs. , (informal publication)
  [abs/0712.2661]
• Paul N. Balister, Stefanie Gerke, Gregory Gutin:
  Convex sets in acyclic digraphs. , (informal publication)
  [abs/0712.2678]
• Kai Puolamäki, Sami Hanhijärvi, Gemma C. Garriga:
  An Approximation Ratio for Biclustering. , (informal publication)
  [abs/0712.2682]
• Kim S. Henriksen, Gourinath Banda, John P. Gallagher:
  Experiments with a Convex Polyhedral Analysis Tool for Logic Programs. , (informal publication)
  [abs/0712.2737]
• Emmanuel Cecchet, George Candea, Anastassia Ailamaki:
  Middleware-based Database Replication: The Gaps between Theory and Practice. , (informal publication)
  [abs/0712.2773]
• Lester Ingber:
  Trading in Risk Dimensions (TRD). , (informal publication)
  [abs/0712.2789]
• Junsheng Han, Paul H. Siegel, Ron M. Roth:
  Single-Exclusion Number and the Stopping Redundancy of MDS Codes. , (informal publication)
  [abs/0712.2857]
• Satyaki Mahalanabis, Daniel Stefankovic:
  Density estimation in linear time. , (informal publication)
  [abs/0712.2869]
• Hari Palaiyanur, Cheng Chang, Anant Sahai:
  The source coding game with a cheating switcher. , (informal publication)
  [abs/0712.2870]
• Vignesh Sethuraman, Ligong Wang, Bruce Hajek, Amos Lapidoth:
  Low SNR Capacity of Noncoherent Fading Channels. , (informal publication)
  [abs/0712.2872]
• Roumen Anguelov, Inger Plaskitt:
  A Class of LULU Operators on Multi-Dimensional Arrays. , (informal publication)
  [abs/0712.2923]
• Bob Diertens:
  Software (Re-)Engineering with PSF. , (informal publication)
  [abs/0712.2943]
• Stephen L. Bloom, Zoltán Ésik, Werner Kuich:
  Partial Conway and iteration semirings. , (informal publication)
  [abs/0712.2952]
• Vincent Nélis, Joël Goossens, Nicolas Navet, Raymond R. Devillers, Dragomir Milojevic:
  Power-Aware Real-Time Scheduling upon Identical Multiprocessor Platforms. , (informal publication)
  [abs/0712.2958]
• Te Sun Han:
  Joint Source-Channel Coding Revisited: Information-Spectrum Approach. , (informal publication)
  [abs/0712.2959]
• Manik Lal Das:
  Comments on "Improved Efficient Remote User Authentication Schemes". , (informal publication)
  [abs/0712.3037]
• Manik Lal Das, Ashutosh Saxena, Deepak B. Phatak:
  Proxy Signature Scheme with Effective Revocation Using Bilinear Pairings. , (informal publication)
  [abs/0712.3084]
• Zhaohua Luo:
  Clones and Genoids in Lambda Calculus and First Order Logic. , (informal publication)
  [abs/0712.3088]
• András Gyorgy Békés, Péter Szeredi:
  Optimizing Queries in a Logic-based Information Integration System. , (informal publication)
  [abs/0712.3113]
• Bob Diertens:
  Software (Re-)Engineering with PSF II: from architecture to implementation. , (informal publication)
  [abs/0712.3115]
• Patricia M. Hill, Wim Vanhoof:
  Proceedings of the 17th Workshop on Logic-based methods in Programming Environments (WLPE 2007). , (informal publication)
  [abs/0712.3116]
• Bob Diertens:
  Software (Re-)Engineering with PSF III: an IDE for PSF. , (informal publication)
  [abs/0712.3128]
• Lucas Lacasa, Bartolo Luque, Octavio Miramontes:
  Phase transition and computational complexity in a stochastic prime number generator. , (informal publication)
  [abs/0712.3137]
• Pierre Lescanne, Jérôme Puisségur:
  Dynamic Logic of Common Knowledge in a Proof Assistant. , (informal publication)
  [abs/0712.3146]
• Pierre Lescanne:
  Common knowledge logic in a higher order proof assistant? , (informal publication)
  [abs/0712.3147]
• Rafael R. Kamalian, Petros A. Petrosyan:
  Interval Colourings of Some Regular Graphs. , (informal publication)
  [abs/0712.3150]
• Rafael R. Kamalian, Petros A. Petrosyan:
  On Interval Colorings of Complete k-partite Graphs K_{n}^{k}. , (informal publication)
  [abs/0712.3155]
• Changlin Wan:
  An Improved Enumeration Scheme for Subset Sum Problem. , (informal publication)
  [abs/0712.3203]
• Françoise Sandoz-Guermond, Marc-Eric Bobillier-Chaumon:
  L'accessibilité des E-services aux personnes non-voyantes : difficultés d'usage et recommandations. , (informal publication)
  [abs/0712.3215]
• Michael Gurstein:
  What is Community Informatics (and Why Does It Matter)? , (informal publication)
  [abs/0712.3220]
• Mustafa Cenk Gursoy:
  On the Capacity and Energy Efficiency of Training-Based Transmissions over Fading Channels. , (informal publication)
  [abs/0712.3277]
• Mustafa Cenk Gursoy:
  Error Rate Analysis for Peaky Signaling over Fading Channels. , (informal publication)
  [abs/0712.3286]
• Dragomir R. Radev, Mark Hodges, Anthony Fader, Mark Joseph, Joshua Gerrish, Mark Schaller, Jonathan dePeri, Bryan Gibson:
  CLAIRLIB Documentation v1.03. , (informal publication)
  [abs/0712.3298]
• Jocelyne Troccaz:
  Computer- and robot-assisted urological surgery. , (informal publication)
  [abs/0712.3299]
• Chandra Nair, Abbas El Gamal:
  The capacity of a class of 3-receiver broadcast channels with degraded message sets. , (informal publication)
  [abs/0712.3327]
• Shane Legg, Marcus Hutter:
  Universal Intelligence: A Definition of Machine Intelligence. , (informal publication)
  [abs/0712.3329]
• Anupam Gupta, Kunal Talwar:
  How to Complete a Doubling Metric. , (informal publication)
  [abs/0712.3331]
• Qiaoming Han, Abraham P. Punnen:
  On the approximability of the vertex cover and related problems. , (informal publication)
  [abs/0712.3333]
• Qiaoming Han, Abraham P. Punnen, Yinyu Ye:
  A polynomial time $\frac 3 2$ -approximation algorithm for the vertex cover problem on a class of graphs. , (informal publication)
  [abs/0712.3335]
• Xin Li, Tian Liu:
  On Exponential Time Lower Bound of Knapsack under Backtracking. , (informal publication)
  [abs/0712.3348]
• Paolo Ferragina, Rodrigo González, Gonzalo Navarro, Rossano Venturini:
  Compressed Text Indexes:From Theory to Practice! , (informal publication)
  [abs/0712.3360]
• Robert Brijder, Hendrik Jan Hoogeboom:
  Extending the Overlap Graph for Gene Assembly in Ciliates. , (informal publication)
  [abs/0712.3380]
• Georg Hager, Holger Stengel, Thomas Zeiser, Gerhard Wellein:
  RZBENCH: Performance evaluation of current HPC architectures using low-level and application benchmarks. , (informal publication)
  [abs/0712.3389]
• Francis Bach:
  Graph kernels between point clouds. , (informal publication)
  [abs/0712.3402]
• Jan A. Bergstra, Alban Ponse, Mark van der Zwaag:
  Tuplix Calculus. , (informal publication)
  [abs/0712.3423]
• Vadim Zaliva:
  AccelKey Selection Method for Mobile Devices. , (informal publication)
  [abs/0712.3433]
• Mustafa Cenk Gursoy:
  The Impact of Quantization on the Energy Efficiency of Phase and Frequency Modulation. , (informal publication)
  [abs/0712.3501]
• Jochen Könemann, David Pritchard, Kunlun Tan:
  A Partition-Based Relaxation For Steiner Trees. , (informal publication)
  [abs/0712.3568]
• Peter Rost, Gerhard Fettweis:
  Protocols For Half-Duplex Multiple Relay Networks. , (informal publication)
  [abs/0712.3576]
• Po-Hsiang Lai, Joseph A. O'Sullivan:
  Pattern Recognition System Design with Linear Encoding for Discrete Patterns. , (informal publication)
  [abs/0712.3587]
• Erhan Bayraktar, Bo Yang:
  A Unified Framework for Pricing Credit and Equity Derivatives. , (informal publication)
  [abs/0712.3617]
• Dawei Ding, Jie Zhu, Xiaoshu Luo, Yuliang Liu:
  Controlling Delay-induced Hopf bifurcation in Internet congestion control system. , (informal publication)
  [abs/0712.3641]
• Alejandro Chinea Manrique De Lara, Juan Manuel Moreno, Jordi Madrenas, Joan Cabestany:
  Improving the Performance of PieceWise Linear Separation Incremental Algorithms for Practical Hardware Implementations. , (informal publication)
  [abs/0712.3654]
• Tuomo Kakkonen:
  Framework and Resources for Natural Language Parser Evaluation. , (informal publication)
  [abs/0712.3705]
• Tor Helleseth, Alexander Kholosha, Aina Johansen:
  m-Sequences of Different Lengths with Four-Valued Cross Correlation. , (informal publication)
  [abs/0712.3757]
• Jian-Guo Liu:
  A spreading activation approach for collaborative filtering. , (informal publication)
  [abs/0712.3807]
• Shane Legg, Marcus Hutter:
  Tests of Machine Intelligence. , (informal publication)
  [abs/0712.3825]
• Tom Schrijvers, Bart Demoen, David Scott Warren:
  TCHR: a framework for tabled CLP. , (informal publication)
  [abs/0712.3830]
• Dawei Ding, Jie Zhu, Xiaoshu Luo, Yuliang Liu:
  Hopf bifurcation analysis in a dual model of Internet congestion control algorithm with communication delay. , (informal publication)
  [abs/0712.3831]
• Abraham P. Punnen, Ruonan Zhang:
  Bottleneck flows in networks. , (informal publication)
  [abs/0712.3858]
• Bruce Hajek:
  Substitute Valuations: Generation and Structure. , (informal publication)
  [abs/0712.3870]
• Ely Porat, Amir Rothschild:
  Explicit Non-Adaptive Combinatorial Group Testing Schemes. , (informal publication)
  [abs/0712.3876]
• Jiangping Wang:
  Tighter and Stable Bounds for Marcum Q-Function. , (informal publication)
  [abs/0712.3896]
• Andreas Enge:
  Discrete logarithms in curves over finite fields. , (informal publication)
  [abs/0712.3916]
• Pascal Heus, Richard Gomez:
  QIS-XML: A metadata specification for Quantum Information Science. , (informal publication)
  [abs/0712.3925]
• Julián Mestre:
  Lagrangian Relaxation and Partial Cover. , (informal publication)
  [abs/0712.3936]
• Chengqing Li, Shujun Li, Guanrong Chen, Wolfgang A. Halang:
  Cryptanalysis of an Image Encryption Scheme Based on a Compound Chaotic Sequence. , (informal publication)
  [abs/0712.3964]
• Pierre Collet, Marc Schoenauer:
  GUIDE: Unifying Evolutionary Engines through a Graphical User Interface. , (informal publication)
  [abs/0712.3973]
• Antonio Fernández, Vincent Gramoli, Ernesto Jiménez, Anne-Marie Kermarrec, Michel Raynal:
  Distributed Slicing in Dynamic Systems. , (informal publication)
  [abs/0712.3980]
• Giorgio Taricco:
  Asymptotic Mutual Information Statistics of Separately-Correlated Rician Fading MIMO Channels. , (informal publication)
  [abs/0712.4011]
• Sreechakra Goparaju, Jayadev Acharya, Ajoy K. Ray, Jaideva C. Goswami:
  A Fast Hierarchical Multilevel Image Segmentation Method using Unbiased Estimators. , (informal publication)
  [abs/0712.4015]
• David Harvey:
  Faster polynomial multiplication via multipoint Kronecker substitution. , (informal publication)
  [abs/0712.4046]
• Aldar C.-F. Chan:
  On Compression of Cryptographic Keys. , (informal publication)
  [abs/0712.4057]
• Yashodhan Kanoria, D. Manjunath:
  On Distributed Computation in Noisy Random Planar Networks. , (informal publication)
  [abs/0712.4059]
• Vitaly Skachek, Mark F. Flanagan, Eimear Byrne, Marcus Greferath:
  Polytope Representations for Linear-Programming Decoding of Non-Binary Linear Codes. , (informal publication)
  [abs/0712.4075]
• Tuvi Etzion, Eitan Yaakobi:
  Error-Correction of Multidimensional Bursts. , (informal publication)
  [abs/0712.4096]
• Gerard Briscoe, Philippe De Wilde:
  Optimisation of a Digital Ecosystem by a Distributed Intelligence. , (informal publication)
  [abs/0712.4099]
• Gerard Briscoe, Philippe De Wilde:
  Stability of Evolving Agent Populations. , (informal publication)
  [abs/0712.4101]
• Gerard Briscoe, Philippe De Wilde:
  Digital Ecosystems: Evolving Service-Orientated Architectures. , (informal publication)
  [abs/0712.4102]
• Sotirios K. Mihos, Vasilios M. Kapinas, George K. Karagiannidis:
  On the Monotonicity of the Generalized Marcum and Nuttall Q-Functions. , (informal publication)
  [abs/0712.4103]
• Chandan K. Reddy:
  TRUST-TECH based Methods for Optimization and Learning. , (informal publication)
  [abs/0712.4126]
• Xiaojun Tang, Ruoheng Liu, Predrag Spasojevic, H. Vincent Poor:
  On the Throughput of Secure Hybrid-ARQ Protocols for Gaussian Block-Fading Channels. , (informal publication)
  [abs/0712.4135]
• Petros A. Petrosyan, Gagik H. Karapetyan:
  Lower bounds for the greatest possible number of colors in interval edge colorings of bipartite cylinders and bipartite tori. , (informal publication)
  [abs/0712.4148]
• Gerard Briscoe, Suzanne Sadedin, Greg Paperin:
  Biology of Applied Digital Ecosystems. , (informal publication)
  [abs/0712.4153]
• Gerard Briscoe:
  Creating a Digital Ecosystem: Service Orientated Architectures with Distributed Evolutionary Computing. , (informal publication)
  [abs/0712.4159]
• Al-Sakib Khan Pathan, Humayun Kadir Islam, Sabit Anjum Sayeed, Farruk Ahmed, Choong Seon Hong:
  A Framework for Providing E-Services to the Rural Areas using Wireless Ad Hoc and Sensor Networks. , (informal publication)
  [abs/0712.4168]
• Al-Sakib Khan Pathan, Hyung-Woo Lee, Choong Seon Hong:
  Security in Wireless Sensor Networks: Issues and Challenges. , (informal publication)
  [abs/0712.4169]
• Al-Sakib Khan Pathan, Choong Seon Hong, Hyung-Woo Lee:
  Smartening the Environment using Wireless Sensor Networks in a Developing Country. , (informal publication)
  [abs/0712.4170]
• Al-Sakib Khan Pathan, Choong Seon Hong:
  Developing an Efficient DMCIS with Next-Generation Wireless Networks. , (informal publication)
  [abs/0712.4172]
• Al-Sakib Khan Pathan, Choong Seon Hong:
  Secure Clustering in DSN with Key Predistribution and WCDS. , (informal publication)
  [abs/0712.4173]
• Al-Sakib Khan Pathan, Choong Seon Hong, Tatsuya Suda:
  A Novel and Efficient Bilateral Remote User Authentication Scheme Using Smart Cards. , (informal publication)
  [abs/0712.4174]
• Al-Sakib Khan Pathan, Choong Seon Hong:
  An Improved Timestamp-Based Password Authentication Scheme Using Smart Cards. , (informal publication)
  [abs/0712.4176]
• Al-Sakib Khan Pathan, Gihyuk Heo, Choong Seon Hong:
  A Secure Lightweight Approach of Node Membership Verification in Dense HDSN. , (informal publication)
  [abs/0712.4177]
• Md. Mokammel Haque, Al-Sakib Khan Pathan, Byung Goo Choi, Choong Seon Hong:
  An Efficient PKC-Based Security Architecture for Wireless Sensor Networks. , (informal publication)
  [abs/0712.4178]
• Daoshun Wang, Feng Yi, Xiaobo Li:
  Probabilistic Visual Secret Sharing Schemes for Gray-scale images and Color images. , (informal publication)
  [abs/0712.4183]
• Neri Merhav:
  The Generalized Random Energy Model and its Application to the Statistical Physics of Ensembles of Hierarchical Codes. , (informal publication)
  [abs/0712.4209]
• Bel G. Raggad, Sahbi Sidhom:
  Cyberspace security: How to develop a security strategy. , (informal publication)
  [abs/0712.4215]
• Luca Roversi:
  Weak Affine Light Typing: Polytime intensional expressivity, soundness and completeness. , (informal publication)
  [abs/0712.4222]
• Reinhard Laubenbacher, Bernd Sturmfels:
  Computer algebra in systems biology. , (informal publication)
  [abs/0712.4248]
• Troy Lee, Adi Shraibman:
  Disjointness is hard in the multi-party number on the forehead model. , (informal publication)
  [abs/0712.4279]
• Peter de Blanc:
  Convergence of Expected Utilities with Algorithmic Probability Distributions. , (informal publication)
  [abs/0712.4318]
• Yongming Li:
  Finite Automata Based on Quantum Logic and Their Determinization. , (informal publication)
  [abs/0712.4341]
• Gérard Henry Edmond Duchamp, Christophe Tollu:
  Sweedler's duals and Schützenberger's calculus. , (informal publication)
  [abs/0712.0125]
• Inge Bethke, Piet Rodenburg:
  Some properties of finite meadows. , (informal publication)
  [abs/0712.0917]
• J. P. Dietrich:
  The Importance of Being First: Position Dependent Citation Rates on arXiv:astro-ph. , (informal publication)
  [abs/0712.1037]
• Jarek Duda:
  Complex base numeral systems. , (informal publication)
  [abs/0712.1309]
• Alexei Vazquez:
  Population stratification using a statistical model on hypergraphs. , (informal publication)
  [abs/0712.1365]
• János Körner, Gábor Simonyi, Blerina Sinaimeri:
  On types of growth for graph-different permutations. , (informal publication)
  [abs/0712.1442]
• Piet Hut:
  Virtual Laboratories and Virtual Worlds. , (informal publication)
  [abs/0712.1655]
• Glenn Merlet:
  When do stochastic max-plus linear systems have a cycle time ? , (informal publication)
  [abs/0712.2559]
• Bill Rosgen:
  Distinguishing Short Quantum Computations. , (informal publication)
  [abs/0712.2595]
• Pierrick Tranouez, Cyrille Bertelle, Damien Olivier:
  Changing Levels of Description in a Fluid Flow Simulation. , (informal publication)
  [abs/0712.2643]
• Laurent Busé:
  On the equations of the moving curve ideal. , (informal publication)
  [abs/0712.2671]
• R. López-Ruiz, J. Gonzalez-Estevez, M. G. Cosenza, J. R. Sánchez:
  An Economic Model of Coupled Exponential Maps. , (informal publication)
  [abs/0712.2684]
• James Demmel, Ioana Dumitriu, Olga Holtz, Plamen Koev:
  Accurate and Efficient Expression Evaluation and Linear Algebra. , (informal publication)
  [abs/0712.4027]
• Salah A. Aly:
  A Class of Quantum LDPC Codes Constructed From Finite Geometries. , (informal publication)
  [abs/0712.4115]
• Michael F. Singer:
  Introduction to the Galois Theory of Linear Differential Equations. , (informal publication)
  [abs/0712.4124]
• Olivier Cappé, Eric Moulines:
  Online EM Algorithm for Latent Data Models. , (informal publication)
  [abs/0712.4273]
• Ruadhan A. O'Flanagan:
  Judgment. , (informal publication)
  [abs/0712.4402]