CoRR, April 2009
- Tad Hogg, Kristina Lerman:
Stochastic Models of User-Contributory Web Sites.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0016]
- Josep Argelich, Inês Lynce, João P. Marques Silva:
On Solving Boolean Multilevel Optimization Problems.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0019]
- Marko A. Rodriguez, Jennifer H. Watkins:
Faith in the Algorithm, Part 2: Computational Eudaemonics.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0027]
- Youssef Hamadi, Saïd Jabbour, Lakhdar Sais:
Learning for Dynamic subsumption.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0029]
- Mario R. F. Benevides, L. Menasché Schechter:
CCS-Based Dynamic Logics for Communicating Concurrent Programs.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0034]
- Anders Høst-Madsen:
Deterministic Capacity of MIMO Relay Networks.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0037]
- Anatoly Pashkevich, Damien Chablat, Philippe Wenger:
Stiffness Analysis of Overconstrained Parallel Manipulators.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0052]
- Damien Chablat, Stefan Staicu:
Kinematics of A 3-PRP planar parallel robot.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0058]
- Michael Huber:
Authentication and Secrecy Codes for Equiprobable Source Probability Distributions.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0109]
- Raza Ur-Rehman, Stéphane Caro, Damien Chablat, Philippe Wenger:
Kinematic and Dynamic Analysis of the 2-DOF Spherical Wrist of Orthoglide 5-axis.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0145]
- Pascal Mérindol, Jean-Jacques Pansiot, Stéphane Cateloin:
The mdt algorithm.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0217]
- Peng Wu, Nihar Jindal:
Coding Versus ARQ in Fading Channels: How reliable should the PHY be?
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0226]
- Genady Grabarnik, Aaron Kershenbaum:
Safe Reasoning Over Ontologies.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0228]
- Viveck R. Cadambe, Syed Ali Jafar, Chenwei Wang:
Interference Alignment with Asymmetric Complex Signaling - Settling the Host-Madsen-Nosratinia Conjecture.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0274]
- Khanh Do Ba, Huy L. Nguyen, Huy N. Nguyen, Ronitt Rubinfeld:
Sublinear Time Algorithms for Earth Mover's Distance.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0292]
- Gennady Agre, Petar Kormushev, Ivan Dilov:
INFRAWEBS axiom editor - a graphical ontology-driven tool for creating complex logical expressions.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0293]
- Petar Kormushev:
Design, development and implementation of a tool for construction of declarative functional descriptions of semantic web services based on WSMO methodology.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0300]
- Masahito Hayashi:
Exponential evaluations in universal random privacy amplification.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0308]
- Petar Kormushev:
Visual approach for data mining on medical information databases using Fastmap algorithm.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0313]
- Shlomi Dolev, Yuval Elovici, Rami Puzis, Polina Zilberman:
Incremental Deployment of Network Monitors Based on Group Betweenness Centrality.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0352]
- Vincent Rialle, Catherine Ollivet, Carole Guigui, Christian Hervé:
What Do Family Caregivers of Alzheimer's Disease Patients Desire in Smart Home Technologies?
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0437]
- J. M. Landsberg, Jason Morton, Serguei Norine:
Holographic algorithms without matchgates.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0471]
- Fang Wu, Bernardo A. Huberman:
Persistence and Success in the Attention Economy.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0489]
- Yonina C. Eldar, Holger Rauhut:
Average Case Analysis of Multichannel Sparse Recovery Using Convex Relaxation.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0494]
- Zhi-Han Gao, Fang-Wei Fu:
The Minimal Polynomial over F_q of Linear Recurring Sequence over F_{q^m}.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0525]
- Pabitra Pal Choudhury, Sudhakar Sahoo, Birendra Kumar Nayak, Hassan Sk. Sarif:
Theory of Carry Value Transformation (CVT) and its Application in Fractal formation.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0534]
- Jaeok Park, Mihaela van der Schaar:
Mission-Aware Medium Access Control in Random Access Networks.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0544]
- Petar Kormushev, Kohei Nomoto, Fangyan Dong, Kaoru Hirota:
Time Hopping technique for faster reinforcement learning in simulations.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0545]
- Petar Kormushev, Kohei Nomoto, Fangyan Dong, Kaoru Hirota:
Eligibility Propagation to Speed up Time Hopping for Reinforcement Learning.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0546]
- Georg Moser, Andreas Schnabl:
The Derivational Complexity Induced by the Dependency Pair Method.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0570]
- Gergely Lukácsy, Péter Szeredi:
Efficient Description Logic Reasoning in Prolog: The DLog system.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0578]
- Karthekeyan Chandrasekaran, Daniel Dadush, Santosh Vempala:
Thin Partitions: Isoperimetric Inequalities and Sampling Algorithms for some Nonconvex Families.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0583]
- Abbas Dideban, M. Zareiee, Hassane Alla:
Controller synthesis with very simplified linear constraints in PN model.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0585]
- Hassane Alla:
Optimal Supervisory Control Synthesis.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0586]
- Van Hung Le, Fei Liu, Dinh Khang Tran:
Fuzzy Linguistic Logic Programming and its Applications.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0589]
- David N. Levin:
Performing Nonlinear Blind Source Separation with Signal Invariants.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0643]
- Xi Chen, Decheng Dai, Ye Du, Shang-Hua Teng:
Settling the Complexity of Arrow-Debreu Equilibria in Markets with Additively Separable Utilities.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0644]
- Nisheeth Srivastava:
Evolvability need not imply learnability.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0648]
- Michaela Goetz, Ashwin Machanavajjhala, Guozhang Wang, Xiaokui Xiao, Johannes Gehrke:
Privacy in Search Logs.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0682]
- M. Rémon:
The "P-NP" problem and the deterministic or time-independent nature of Mathematics.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0698]
- Sergey Andreyev:
Moveable objects and applications, based on them.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0719]
- Linh Anh Nguyen, Andrzej Szalas:
Optimal Tableau Decision Procedures for PDL.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0721]
- Hans L. Bodlaender, Fedor V. Fomin, Daniel Lokshtanov, Eelko Penninkx, Saket Saurabh, Dimitrios M. Thilikos:
(Meta) Kernelization.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0727]
- Jaime Anguita, Michael Chertkov, Mark A. Neifeld, Bane V. Vasic:
Bethe Free Energy Approach to LDPC Decoding on Memory Channels.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0747]
- Yasutada Oohama:
Distributed Source Coding of Correlated Gaussian Remote Sources.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0751]
- Srimathy Srinivasan, Andrew Thangaraj:
Codes on Planar Graphs.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0768]
- Ioannis Z. Koukoutsidis, Petros I. Papaioannou, Michael E. Theologou:
Effect of cell residence time variance on the performance of an advanced paging algorithm.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0771]
- Richard G. Clegg, Raul Landa, Uli Harder, Miguel Rio:
Evaluating and Optimising Models of Network Growth.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0785]
- Shachar Lovett:
The density of weights of Generalized Reed--Muller codes.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0811]
- Azadeh Khaleghi, Frank R. Kschischang:
Projective Space Codes for the Injection Metric.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0813]
- Corinna Cortes, Mehryar Mohri, Dmitry Pechyony, Ashish Rastogi:
Stability Analysis and Learning Bounds for Transductive Regression Algorithms.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0814]
- Ivana Stojanovic, William C. Karl:
Imaging of moving targets with multi-static SAR using an overcomplete dictionary.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0821]
- M. Anand, P. R. Kumar:
On approximating Gaussian relay networks by deterministic networks.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0828]
- David Pritchard:
Approximability of Sparse Integer Programs.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0859]
- Lorenzo Cappellari:
On Superposition Coding for the Wyner-Ziv Problem.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0879]
- Michael Hay, Vibhor Rastogi, Gerome Miklau, Dan Suciu:
Boosting the Accuracy of Differentially-Private Queries Through Consistency.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0942]
- Amelia Sparavigna:
Color Dipole Moments for Edge Detection.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0962]
- Kohtaro Tadaki:
A statistical mechanical interpretation of algorithmic information theory III: Composite systems and fixed points.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0973]
- Martin Avanzini, Georg Moser:
Dependency Pairs and Polynomial Path Orders.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0981]
- Sahbi Sidhom:
Approche conceptuelle par un processus d'annotation pour la représentation et la valorisation de contenus informationnels en intelligence économique (IE).
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0986]
- Wolfgang W. Bein, Leah Epstein, Lawrence L. Larmore, John Noga:
A Program to Determine the Exact Competitive Ratio of List s-Batching with Unit Jobs.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1002]
- Christophe Tournier, Sylvain Lavernhe, Claire Lartigue:
5-axis High Speed Milling Optimisation.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1083]
- Kwamiwi Mawussi, Sylvain Lavernhe, Claire Lartigue:
Usinage de poches en UGV - Aide au choix de stratégies.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1084]
- David Nowak:
On formal verification of arithmetic-based cryptographic primitives.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1110]
- David Arthur, Bodo Manthey, Heiko Röglin:
k-Means has Polynomial Smoothed Complexity.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1113]
- Xiujie Huang, Aleksandar Kavcic, Xiao Ma:
Upper Bounds on the Capacities of Non-Controllable Finite-State Channels with/without Feedback.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1150]
- Björn Grohmann:
A New Key-Agreement-Protocol.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1186]
- Arian Maleki:
Coherence Analysis of Iterative Thresholding Algorithms.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1193]
- Navin Goyal, Luis Rademacher:
Learning convex bodies is hard.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1227]
- Kang Ning, Hon Wai Leong:
The Distribution and Deposition Algorithm for Multiple Sequences Sets.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1242]
- Raffaele Bruno, Vania Conan, Stéphane Rousseau:
Maximizing the number of accepted flows in TDMA-based wireless ad hoc networks is APX-complete.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1243]
- Jinzhong Niu, Simon Parsons:
An Investigation Report on Auction Mechanism Design.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1258]
- Marius Kleiner, Bixio Rimoldi:
Asymptotically Optimal Joint Source-Channel Coding with Minimal Delay.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1281]
- Manabu Inuma, Akira Otsuka, Hideki Imai:
Theoretical framework for constructing matching algorithms in biometric authentication systems.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1284]
- Monojit Choudhury, Animesh Mukherjee, Anupam Basu, Niloy Ganguly, Ashish Garg, Vaibhav Jalan:
Language Diversity across the Consonant Inventories: A Study in the Framework of Complex Networks.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1289]
- Jean-Luc Fouquet, Jean-Marie Vanherpe:
On the perfect matching index of bridgeless cubic graphs.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1296]
- Moritz Riede, Rico Schueppel, Kristian O. Sylvester-Hvid, Martin Kuehne, Michael C. Roettger, Klaus Zimmermann, Andreas W. Liehr:
On the Communication of Scientific Results: The Full-Metadata Format.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1299]
- Stephan Kreutzer:
On the Parameterised Intractability of Monadic Second-Order Logic.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1302]
- Hao Zhang, Gang Li, Huadong Meng:
A Class of Novel STAP Algorithms Using Sparse Recovery Technique.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1313]
- Jian Li, Barna Saha, Amol Deshpande:
A Unified Approach to Ranking in Probabilistic Databases.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1366]
- Javier M. Paredes, Babak H. Khalaj, Alex B. Gershman:
Cooperative Transmission for Wireless Relay Networks Using Low-Rate Feedback.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1369]
- Hooman Shirani-Mehr, Giuseppe Caire:
MIMO Downlink Scheduling with Non-Perfect Channel State Knowledge.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1409]
- Shiva Kintali, Laura J. Poplawski, Rajmohan Rajaraman, Ravi Sundaram, Shang-Hua Teng:
Reducibility Among Fractional Stability Problems.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1435]
- Chaomei Chen, Yue Chen, Mark Horowitz, Haiyan Hou, Zeyuan Liu, Don Pellegrino:
Towards an explanatory and computational theory of scientific discovery.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1439]
- Radha Krishna Ganti, Martin Haenggi:
Spatial and Temporal Correlation of the Interference in ALOHA Ad Hoc Networks.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1444]
- Yaming Yu, Oliver Johnson:
Concavity of entropy under thinning.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1446]
- Francesco Ranzato, Francesco Tapparo:
Computing Stuttering Simulations.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1488]
- Luigi Santocanale, J. Robin B. Cockett:
On the word problem for SP-categories, and the properties of two-way communication.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1529]
- Jianfeng Zhang, Guy Chavent, Jérôme Jaffré:
Estimating nonlinearities in twophase flow in porous media.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1534]
- Pal Anders Floor, Tor A. Ramstad:
On the Analysis of Shannon-Kotel'nikov Mappings.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1538]
- Fedor Zhdanov, Vladimir Vovk, Brian Burford, Dmitry Devetyarov, Ilia Nouretdinov, Alexander Gammerman:
Online prediction of ovarian cancer.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1579]
- Andriy Myronenko, Xubo B. Song:
On the closed-form solution of the rotation matrix arising in computer vision problems.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1613]
- Juan C. Meza, Scott Campbell, David H. Bailey:
Mathematical and Statistical Opportunities in Cyber Security.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1616]
- Yoichi Yamazaki, Fangyan Dong, Yuta Masuda, Yukiko Uehara, Petar Kormushev, Hai An Vu, Phuc Quang Le, Kaoru Hirota:
Fuzzy inference based mentality estimation for eye robot agent.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1629]
- Aaron Sterling:
Self-Assembly of a Statistically Self-Similar Fractal.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1630]
- Yoichi Yamazaki, Fangyan Dong, Yuta Masuda, Yukiko Uehara, Petar Kormushev, Hai An Vu, Phuc Quang Le, Kaoru Hirota:
Intent expression using eye robot for mascot robot system.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1631]
- Cedric Chauve, Aïda Ouangraoua:
A 3-approximation algorithm for computing a parsimonious first speciation in the gene duplication model.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1645]
- Joost Vennekens, Marc Denecker, Maurice Bruynooghe:
CP-logic: A Language of Causal Probabilistic Events and Its Relation to Logic Programming.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1672]
- Idan Goldenberg, David Burshtein:
Error Bounds for Repeat-Accumulate Codes Decoded via Linear Programming.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1692]
- Walid Belkhir:
Undirected Graphs of Entanglement 3.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1696]
- Walid Belkhir:
The Star Height Hierarchy Vs. The Variable Hierarchy.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1701]
- Walid Belkhir:
Closure Under Minors of Undirected Entanglement.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1703]
- Evripidis Bampis, Alexander Kononov, Giorgio Lucarelli, Ioannis Milis:
Bounded Max-Colorings of Graphs.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1705]
- Tarik Ait-Idir, Houda Chafnaji, Samir Saoudi:
Turbo Packet Combining for Broadband Space-Time BICM Hybrid-ARQ Systems with Co-Channel Interference.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1712]
- Sugumar Murugesan, Philip Schniter:
Joint Opportunistic Scheduling in Multi-Cellular Systems.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1729]
- Jay Kumar Sundararajan, Devavrat Shah, Muriel Médard:
Feedback-based online network coding.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1730]
- Julien Cassaigne, François Nicolas:
On polynomial growth functions of D0L-systems.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1752]
- Sugumar Murugesan, Philip Schniter:
Opportunistic Multiuser Scheduling in a Three State Markov-modeled Downlink.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1754]
- Roberto Bagnara, Patricia M. Hill, Enea Zaffanella:
Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1783]
- Wei Zhang, Xiang-Gen Xia:
A Design of Space-Time Block Codes Achieving Full Diversity with Partial Interference Cancellation Group Decoding.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1812]
- Usman A. Khan, Soummya Kar, José M. F. Moura:
Higher Dimensional Consensus: Learning in Large-Scale Networks.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1840]
- Stevan Harnad:
On Fodor on Darwin on Evolution.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1888]
- Stevan Harnad:
First Person Singular.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1889]
- Tal Philosof, Ram Zamir, Uri Erez, Ashish Khisti:
Lattice Strategies for the Dirty Multiple Access Channel.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1892]
- Shenghao Yang, Raymond W. Yeung, Chi Kin Ngai:
Refined Coding Bounds and Code Constructions for Coherent Network Error Correction.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1897]
- Stéphane Grumbach, Zhilin Wu:
On Distributed Model Checking of MSO on Graphs.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1902]
- Qi Chen, Chen He, Ling-ge Jiang, Qingchuan Wang:
Average Entropy Functions.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1907]
- Andriyan Bayu Suksmono:
Compressive Sampling with Known Spectral Energy Density.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1910]
- Stéphane Grumbach, Zhilin Wu:
Logical locality entails frugal distributed computation over graphs.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1915]
- Zhilin Wu, Stéphane Grumbach:
Feasibility of Motion Planning on Acyclic and Strongly Connected Directed Graphs.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1920]
- Vincent Limouzy:
Seidel Minor, Permutation Graphs and Combinatorial Properties.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1923]
- Obi L. Griffith, Byron J. Gao, Mikhail Bilenky, Yuliya Prichyna, Martin Ester, Steven J. M. Jones:
KiWi: A Scalable Subspace Clustering Algorithm for Gene Expression Analysis.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1931]
- Vaneet Aggarwal, Lalitha Sankar, A. Robert Calderbank, H. Vincent Poor:
Ergodic Layered Erasure One-Sided Interference Channels.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1956]
- Zi-Ke Zhang, Tao Zhou, Yi-Cheng Zhang:
Personalized Recommendation via Integrated Diffusion on User-Item-Tag Tripartite Graphs.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1989]
- David I. Spivak:
Simplicial Databases.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2012]
- J. Xie, Y. Jiang:
Stochastic Service Guarantee Analysis Based on Time-Domain Models.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2018]
- Roxana Smarandache, Pascal O. Vontobel:
Absdet-Pseudo-Codewords and Perm-Pseudo-Codewords: Definitions and Properties.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2022]
- Björn Grohmann:
A new Protocol for 1-2 Oblivious Transfer.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2023]
- Jelani Nelson, David P. Woodruff:
A Near-Optimal Algorithm for L1-Difference.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2027]
- Tao Chen, Honggang Zhang, Marcos Katz:
Cloud Networking Formation in CogMesh Environment.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2028]
- Chunhua Shen, Hanxi Li:
Boosting through Optimization of Margin Distributions.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2037]
- Ewout van den Berg, Michael P. Friedlander:
Joint-sparse recovery from multiple measurements.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2051]
- Chandan Saha, Ramprasad Saptharishi, Nitin Saxena:
The Power of Depth 2 Circuits over Algebras.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2058]
- Zhigang Cao, Xiaoguang Yang:
Complementary Weighted Multiple Majority Games.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2060]
- Zhigang Cao, Xiaoguang Yang:
Selfish Bin Covering.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2061]
- Roberto Amadio:
On stratified regions.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2076]
- Christophe Domingues, Samir Otmane, Frédéric Davesne, Malik Mallem:
A Distributed Software Architecture for Collaborative Teleoperation based on a VR Platform and Web Application Interoperability.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2096]
- Greg Aloupis, Jean Cardinal, Sébastien Collette, S. Imahori, M. Korman, Stefan Langerman, O. Schwartz, Shakhar Smorodinsky, Perouz Taslakian:
Colorful Strips.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2115]
- Tamara Mchedlidze, Antonios Symvonis:
Crossing-Optimal Acyclic HP-Completion for Outerplanar st-Digraphs.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2129]
- Sonia Estévez Martín, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda, Fernando Sáenz-Pérez, Antonio J. Fernández:
On the Cooperation of the Constraint Domains H, R and FD in CFLP.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2136]
- Debprakash Patnaik, Srivatsan Laxman, Naren Ramakrishnan:
Inferring Dynamic Bayesian Networks using Frequent Episode Mining.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2160]
- Imran A. Pirwani, Mohammad R. Salavatipour:
A PTAS for Minimum Clique Partition in Unit Disk Graphs.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2203]
- Jinquan Luo:
On Binary Cyclic Codes with Five Nonzero Weights.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2237]
- Juha Honkala:
The equality problem for infinite words generated by primitive morphisms.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2257]
- Saloua Chettibi:
A Comprehensive study of a New Multipath Energy Aware Routing Protocol for Mobile Ad-hoc Networks.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2290]
- Chan Zhou, Gerhard Wunder:
A Fundamental Characterization of Stability in Broadcast Queueing Systems.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2302]
- Ching-Lueh Chang, Yuh-Dauh Lyuu:
On irreversible dynamic monopolies in general graphs.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2306]
- Piotr Berman, Marek Karpinski, Andrzej Lingas:
Exact and Approximation Algorithms for Geometric and Capacitated Set Cover Problems with Applications.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2310]
- Tsachy Weissman, Haim H. Permuter:
Source Coding with a Side Information "Vending Machine".
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2311]
- Sherief Abdallah:
Why Global Performance is a Poor Metric for Verifying Convergence of Multi-agent Learning.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2320]
- Carsten Schneider:
A Symbolic Summation Approach to Find Optimal Nested Sum Representations.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2323]
- Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi:
Explicit fairness in testing semantics.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2340]
- Akiko Manada, Navin Kashyap:
The Zeta Function of a Periodic-Finite-Type Shift.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2375]
- Stefan Milius, Lawrence S. Moss:
The Category Theoretic Solution of Recursive Program Schemes.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2385]
- Patrick Briest, Shuchi Chawla, Robert D. Kleinberg, S. Matthew Weinberg:
Pricing Randomized Allocations.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2400]
- S. M. Sadegh Tabatabaei Yazdi, Serap A. Savari:
A Combinatorial Study of Linear Deterministic Relay Networks.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2401]
- Rasmus Jacobsen, Karsten Fyhn Nielsen, Petar Popovski, Torben Larsen:
Reliable Identification of RFID Tags Using Multiple Independent Reader Sessions.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2441]
- Francesc Rosselló, Gabriel Valiente:
All that Glisters is not Galled.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2448]
- Marc Mezzarobba, Bruno Salvy:
Effective Bounds for P-Recursive Sequences.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2452]
- Emmanuel Jeandel, Guillaume Theyssier:
Subshifts, Languages and Logic.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2457]
- Peter Harremoës:
Joint Range of Rényi Entropies.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2477]
- Alexandre Graell i Amat, Eirik Rosnes:
Good Concatenated Code Ensembles for the Binary Erasure Channel.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2482]
- Tomás Brázdil, Václav Brozek, Kousha Etessami, Antonín Kucera, Dominik Wojtczak:
One-Counter Markov Decision Processes.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2511]
- Florent R. Madelaine:
Universal Structures and the logic of Forbidden Patterns.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2521]
- David H. Wolpert Gregory Benford:
What does Newcomb's paradox teach us?
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2540]
- Heidi Gebauer:
Disproof of the Neighborhood Conjecture with Implications to SAT.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2541]
- Anil Maheshwari, Stefanie Wuhrer:
Geodesic Paths On 3D Surfaces: Survey and Open Problems.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2550]
- Anna Adamaszek, Artur Czumaj, Andrzej Lingas:
PTAS for k-tour cover problem on the plane for moderately large values of k.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2576]
- José Avelino Manzano Lizcano, Samuel Ángel Jaramillo Flórez:
New technologies for high speed computer networks: a wavelet approach.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2584]
- Brice Djeumou, Elena Veronica Belmega, Samson Lasaulce:
Interference Relay Channels - Part I: Transmission Rates.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2585]
- Elena Veronica Belmega, Brice Djeumou, Samson Lasaulce:
Interference Relay Channels - Part II: Power Allocation Games.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2587]
- Mark Levene, Trevor I. Fenner:
A Methodology for Learning Players' Styles from Game Records.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2595]
- James Petterson, Tiberio Caetano, Julian McAuley, Jin Yu:
Exponential Family Graph Matching and Ranking.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2623]
- Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann:
Better Quality in Synthesis through Quantitative Objectives.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2638]
- Jean Daligault, Stéphan Thomassé:
On Finding Directed Trees with Many Leaves.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2658]
- Ugo Dal Lago, Martin Hofmann:
Bounded Linear Logic, Revisited.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2675]
- LianLin Li, Wenji Zhang, Fang Li:
Compressive Diffraction Tomography for Weakly Scattering.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2695]
- Mingyu Xiao:
New Branching Rules: Improvements on Independent Set and Vertex Cover in Sparse Graphs.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2712]
- Clémence Magnien, Frédéric Ouédraogo, Guillaume Valadon, Matthieu Latapy:
Fast dynamics in Internet topology: preliminary observations and explanations.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2716]
- MinJi Kim, Luísa Lima, Fang Zhao, João Barros, Muriel Médard, Ralf Koetter, Ton Kalker, Keesook Han:
On Counteracting Byzantine Attacks in Network Coded Peer-to-Peer Networks.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2722]
- Clémence Magnien, Matthieu Latapy, Michel Habib:
Fast Computation of Empirically Tight Bounds for the Diameter of Massive Graphs.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2728]
- Fabien Viger, Brice Augustin, Xavier Cuvellier, Clémence Magnien, Matthieu Latapy, Timur Friedman, Renata Teixeira:
Detection, Understanding, and Prevention of Traceroute Measurement Artifacts.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2733]
- Andrea Montanari, Ricardo Restrepo, Prasad Tetali:
Reconstruction and Clustering in Random Constraint Satisfaction Problems.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2751]
- Frédéric Chyzak, Manuel Kauers, Bruno Salvy:
A Non-Holonomic Systems Approach to Special Function Identities.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2761]
- Amit K. Awasthi, Sanjay Chaudhary:
Non Homogeneous Poisson Process Model based Optimal Modular Software Testing using Fault Tolerance.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2769]
- Daniel Král:
Decomposition width - a new width parameter for matroids.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2785]
- Elena S. Vishnevksaya:
Principle of development.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2827]
- Sergei V. Fedorenko:
A simple algorithm for decoding both errors and erasures of Reed-Solomon codes.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2861]
- Prabir Barooah, João P. Hespanha:
Error Scaling Laws for Linear Optimal Estimation from Relative Measurements.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2863]
- Manfred Kufleitner, Pascal Weil:
On FO2 quantifier alternation over words.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2894]
- Amir Hamed Mohsenian Rad, Jianwei Huang, Vincent W. S. Wong, Sidharth Jaggi, Robert Schober:
Inter-Session Network Coding with Strategic Users: A Game-Theoretic Analysis of Network Coding.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2921]
- Fahem Kebair, Frédéric Serin:
Towards an Intelligent System for Risk Prevention and Management.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2953]
- Fahem Kebair, Frédéric Serin:
Agent-Based Decision Support System to Prevent and Manage Risk Situations.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2954]
- Carl Hewitt:
Middle History of Logic Programming.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3036]
- Heping Hu, Yingyu Zhang, Zhengding Lu:
An efficient quantum search engine on unsorted database.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3060]
- Miklós Csürös:
Approximate counting with a floating-point counter.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3062]
- Carlos M. Fernandes, Juan Julián Merelo Guervós, Agostinho C. Rosa:
Using Dissortative Mating Genetic Algorithms to Track the Extrema of Dynamic Deceptive Functions.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3063]
- Michael A. Popov:
P vs NP Problem in the field anthropology.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3074]
- Arnaud Casteigts, Serge Chaumette, Frédéric Guinand, Yoann Pigné:
Distributed Maintenance of Anytime Available Spanning Trees in Dynamic Networks.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3087]
- Andreas Björklund, Thore Husfeldt, Petteri Kaski, Mikko Koivisto:
Counting Paths and Packings in Halves.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3093]
- Daniil Musatov, Andrei E. Romashchenko, Alexander Shen:
Variations on Muchnik's Conditional Complexity Theorem.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3116]
- Hao Chen:
CRT-Based High Speed Parallel Architecture for Long BCH Encoding.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3148]
- Takeaki Uno, Masashi Sugiyama, Koji Tsuda:
Efficient Construction of Neighborhood Graphs by the Multiple Sorting Method.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3151]
- Stéphane Grumbach, Fang Wang, Zhilin Wu:
On the distributed evaluation of recursive queries over graphs.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3157]
- David N. C. Tse, Roy D. Yates:
Fading Broadcast Channels with State Information at the Receivers.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3165]
- Christoph Dürr, Flavio Guinez, Martín Matamala:
Reconstructing 3-colored grids from horizontal and vertical projections is NP-hard.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3169]
- Fredrik Kuivinen:
On the Complexity of Submodular Function Minimisation on Diamonds.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3183]
- Oussama Allali, Matthieu Latapy, Clémence Magnien:
Measurement of eDonkey Activity with Distributed Honeypots.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3215]
- Fabien Tarissan, Matthieu Latapy, Christophe Prieur:
Efficient Measurement of Complex Networks Using Link Queries.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3222]
- Manuel Oriol:
The Business of Selling Electronic Documents.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3243]
- Andreas Björklund, Thore Husfeldt, Petteri Kaski, Mikko Koivisto:
On evaluation of permanents.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3251]
- John S. Hamel:
A Thermodynamic Turing Machine: Artificial Molecular Computing Using Classical Reversible Logic Switching Networks.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3273]
- Shariq Bashir, Abdul Rauf Baig:
FastLMFI: An Efficient Approach for Local Maximal Patterns Propagation and Maximal Patterns Superset Checking.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3310]
- Shariq Bashir, Abdul Rauf Baig:
HybridMiner: Mining Maximal Frequent Itemsets Using Hybrid Database Representation Approach.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3312]
- Shariq Bashir, Abdul Rauf Baig:
Ramp: Fast Frequent Itemset Mining with Efficient Bit-Vector Projection Technique.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3316]
- Shariq Bashir, Zahoor Jan, Abdul Rauf Baig:
Fast Algorithms for Mining Interesting Frequent Itemsets without Minimum Support.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3319]
- Shariq Bashir, Saad Razzaq, Umer Maqbool, Sonya Tahir, Abdul Rauf Baig:
Using Association Rules for Better Treatment of Missing Values.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3320]
- Shariq Bashir, Saad Razzaq, Umer Maqbool, Sonya Tahir, Abdul Rauf Baig:
Introducing Partial Matching Approach in Association Rules for Better Treatment of Missing Values.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3321]
- Michael Ummels, Dominik Wojtczak:
Decision Problems for Nash Equilibria in Stochastic Games.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3325]
- Chris Gioran, Ioannis Kontoyiannis:
Lossy Compression in Near-Linear Time via Efficient Random Codebooks and Databases.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3340]
- Majid Fozunbal:
A Subsequence-Histogram Method for Generic Vocabulary Recognition over Deletion Channels.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3351]
- Istvan Szita, András Lörincz:
Optimistic Initialization and Greediness Lead to Polynomial Time Learning in Factored MDPs - Extended Version.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3352]
- Yoav Freund:
A method for Hedging in continuous time.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3356]
- Mark Daley, Michael Domaratzki, Kai Salomaa:
State complexity of orthogonal catenation.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3366]
- Sunder Lal, Vandani Verma:
Identity Based Strong Designated Verifier Parallel Multi-Proxy Signature Scheme.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3420]
- Sunder Lal, Vandani Verma:
Some Proxy Signature and Designated verifier Signature Schemes over Braid Groups.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3422]
- Bhupendra Gupta:
Comment to "Coverage by Randomly Deployed Wireless Sensor Networks".
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3444]
- Praveen Sivadasan, P. Sojan Lal:
JConstHide: A Framework for Java Source Code Constant Hiding.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3458]
- Giorgi Japaridze:
Toggling operators in computability logic.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3469]
- Sayan Bhattacharya, Vincent Conitzer, Kamesh Munagala, Lirong Xia:
Incentive Compatible Budget Elicitation in Multi-unit Auctions.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3501]
- Ferdinando Cicalese, Eduardo Sany Laber, Marco Molinaro:
On the Complexity of Searching in Trees: Average-case Minimization.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3503]
- David Monniaux:
On using floating-point computations to help an exact linear arithmetic decision procedure.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3525]
- Pierre Lescanne:
Deconstruction of Infinite Extensive Games using coinduction.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3528]
- Papin Nicolae, Tiberiu Marius Karnyanszky:
Internet: Romania vs. Europe.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3552]
- Bican Xia, Zhihai Zhang:
Termination of Linear Programs with Nonlinear Constraints.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3588]
- Florian Huc, Aubin Jarry:
VRAC: Virtual Raw Anchor Coordinates Routing in Sensor Networks -- Concepts and Experimental Protocol.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3611]
- Florentin Neumann, Andrea Reichenberger, Martin Ziegler:
Variations of the Turing Test in the Age of Internet and Virtual Reality.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3612]
- Diana Sophia Codat, Yannick Lung:
Les technologies de l'information et de la communication au niveau mondial et en Roumanie dans les dernieres annees.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3629]
- Ioan Despi, Lucian Luca:
On the Ambiguity of Commercial Open Source.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3631]
- Alexandra Fortis:
Business Process Modeling Notation - An Overview.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3633]
- Florin Fortis, Alexandra Fortis:
Tailored business solutions by workflow technologies.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3634]
- Vladimir V. Gotsulenko, Lyudmila A. Gaponova:
On one method of boundary value problem regularization by passage to the limit.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3638]
- Farzan Haddadi, Mohammad Mahdi Nayebi, Mohammad Reza Aref:
Direction-of-Arrival Estimation for Temporally Correlated Narrowband Signals.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3642]
- Tiberiu Marius Karnyanszky, Mihai Titu:
Computer Aided Optimization of the Unconventional Processing.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3648]
- Dan L. Lacrama, Ioan Snep:
The use of invariant moments in hand-written character recognition.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3650]
- Amnon Shashua:
Introduction to Machine Learning: Class Notes 67577.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3664]
- Alin Munteanu, Cristina Ofelia Sofran:
Considerations upon the Machine Learning Technologies.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3667]
- Alin Munteanu, Cristina Ofelia Sofran:
Collaborative systems and multiagent systems.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3669]
- Arindam Mitra:
Quantum theory can be collectively verified.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3677]
- Dieter Penteliuc Cotosman:
The Multimedia Product - between Design and Information, Design and Utility and Design and Entertainment.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3693]
- Dieter Penteliuc-Cotosman:
The new multimedia educational technologies, used in open and distance learning.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3694]
- Rolf Andreas Rasenack, Karsten Wolke, Kostyantyn Yermashov, Karl Hayo Siemsen:
Semantic Linkage of Control Systems.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3698]
- Guillaume Erétéo, Fabien L. Gandon, Olivier Corby, Michel Buffa:
Semantic Social Network Analysis.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3701]
- Mihai Timis:
Output Width Signal Control In Asynchronous Digital Systems Using External Clock Signal.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3711]
- Mihai Timis:
Output Width Signal Control In Asynchronous Digital Systems Using Monostable Circuits.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3714]
- Radu Vultur:
Mesh.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3715]
- Karsten Wolke, Kostyantyn Yermashov, K. H. Siemsen, Rolf Andreas Rasenack:
Failover of Software Services with State Replication.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3716]
- Kostyantyn Yermashov, K. H. Siemsen, Karsten Wolke, R. A. Rasenack:
Architecture of the Neurath Basic Model View Controller.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3718]
- David Eppstein, Emma S. Spiro:
The h-Index of a Graph and its Application to Dynamic Subgraph Statistics.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3741]
- Wenliang Du, David Eppstein, Michael T. Goodrich, George S. Lueker:
On the Approximability of Geometric and Geographic Generalization and the Min-Max Bin Covering Problem.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3756]
- Charalampos E. Tsourakakis, Mihail N. Kolountzakis, Gary L. Miller:
Approximate Triangle Counting.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3761]
- Roy C. Timo, Kim Blackmore, Leif Hanlen:
Word-Valued Sources: an Ergodic Theorem, an AEP and the Conservation of Entropy.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3778]
- Serguei A. Mokhov, Joey Paquet:
Formally Specifying and Proving Operational Aspects of Forensic Lucid in Isabelle.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3789]
- Reginald D. Smith:
Internet Traffic Periodicities and Oscillations: A Brief Review.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3797]
- Forrest Sheng Bao, Jue-Ming Gao, Jing Hu, Donald Yu-Chun Lie, Yuanlin Zhang, K. J. Oommen:
Automated Epilepsy Diagnosis Using Interictal Scalp EEG.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3808]
- Annick Valibouze:
La Résolvante de Lagrange et ses Applications.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3827]
- J. Bühler, G. Wunder:
On Capacity Computation for the Two-User Binary Multiple-Access Channel.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3894]
- Mahmoud Fouz, Manfred Kufleitner, Bodo Manthey, Nima Zeini Jahromi:
On Smoothed Analysis of Quicksort and Hoare's Find.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3898]
- Frank Ferraro, Garrett Hall, Andrew Wood:
Refutation of Aslam's Proof that NP = P.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3912]
- Andrew Keenan Richardson, Cole Arthur Brown:
A Critique of "Solving the P/NP Problem Under Intrinsic Uncertainty".
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3927]
- Sagarmoy Dutta, Piyush P. Kurur:
Representating groups on graphs.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3941]
- Christopher O. Ward:
Better Global Polynomial Approximation for Image Rectification.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3944]
- V. Wiktor Marek, Jeffrey B. Remmel:
Guarded resolution for answer set programming.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3953]
- R. Rajesh, Vinod Sharma, V. K. Varshenya:
Joint Source-Channel Coding on a Multiple Access Channel with Side Information.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.4006]
- Yong Yao:
Termination of the Sequence of SDS Sets and Machine Decision for Positive Semi-definite Forms.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.4030]
- Jie Luo, Mario A. Nascimento:
Content-Based Sub-Image Retrieval with Relevance Feedback.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.4041]
- Saloua Chettibi:
Un protocole de routage à basse consommation d'énergie pour les MANETs.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.4048]
- Zhenning Kong, Salah A. Aly, Emina Soljanin:
Decentralized Coding Algorithms for Distributed Storage in Wireless Sensor Networks.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.4057]
- Jeff Arnold, Tim Abbott, Waseem Daher, Gregory Price, Nelson Elhage, Geoffrey Thomas, Anders Kaseorg:
Security impact ratings considered harmful.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.4058]
- Agnes Hui Chan, Rajmohan Rajaraman, Zhifeng Sun, Feng Zhu:
Approximation Algorithms for Key Management in Secure Multicast.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.4061]
- Ioannis Z. Emiris, Angelos Mantzaflaris:
Multihomogeneous Resultant Formulae for Systems with Scaled Support.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.4064]
- Mikolaj Bojanczyk:
Two-Way Unary Temporal Logic over Trees.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.4119]
- Ugo Dal Lago, Simone Martini:
On Constructor Rewrite Systems and the Lambda-Calculus.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.4120]
- Danny van Dyk, Markus Geveler, Sven Mallach, Dirk Ribbrock, Dominik Goeddeke, Carsten Gutwenger:
HONEI: A collection of libraries for numerical computations targeting multiple processor architectures.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.4152]
- Jeong-woo Cho, Yuming Jiang:
Fundamentals of the Backoff Process in 802.11.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.4155]
- O. Ignatenko:
Denial of service attack in the Internet: agent-based intrusion detection and reaction.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.4174]
- Nicolas Bonnel, Pierre-Francois Marteau, Gildas Ménier:
Parallel Random Apollonian Networks.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.4176]
- Husam Alustwani, Jacques M. Bahi, Ahmed Mostefaoui, Michel Salomon:
Java Technology : a Strategic Solution for Interactive Distributed Applications.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.4181]
- Shahar Dobzinski, Shaddin Dughmi:
On the Power of Randomization in Algorithmic Mechanism Design.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.4193]
- Jérôme Lacan, Emmanuel Lochin, Pierre-Ugo Tournoux, Amine Bouabdallah, Vincent Roca:
On-the-fly coding for time-constrained applications.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.4202]
- Cong Shen, Michael P. Fitz:
Opportunistic Spatial Orthogonalization and Its Application in Fading Cognitive Radio Networks.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.4283]
- David Eppstein, Elena Mumford:
Orientation-Constrained Rectangular Layouts.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.4312]
- Prabhu Manyem:
Lower Bounds on Syntactic Logic Expressions for Optimization Problems and Duality using Lagrangean Dual to characterize optimality conditions.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.4331]
- Roland Tresch, Maxime Guillaud, Erwin Riegler:
On the Achievability of Interference Alignment in the K-User Constant MIMO Interference Channel.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.4343]
- Jean-Philippe Auzelle, Olivier Nartz, Jean-Yves Bron:
Ingénierie système d'un système d'information d'entreprise centré sur le produit basée sur un cadre de modélisation multi-échelles : application à un cas d'étude de l'AIP lorrain.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.4411]
- Anne Canteaut, María Naya-Plasencia:
Computing the biases of parity-check relations.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.4412]
- Lukas Kencl, Martin Loebl:
DNA-Inspired Information Concealing.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.4449]
- Michael T. Goodrich:
The Mastermind Attack on Genomic Data.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.4458]
- András Z. Salamon, Vashti Galpin:
Bounds on series-parallel slowdown.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.4512]
- Paul Tune, Sibiraj Bhaskaran Pillai, Stephen V. Hanly:
Number of Measurements in Sparse Signal Recovery.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.4525]
- Cenk M. Yetis, Syed Ali Jafar, Ahmet H. Kayran:
Feasibility Conditions for Interference Alignment.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.4526]
- Alberto Piatti, Marco Zaffalon, Fabio Trojani, Marcus Hutter:
Limits of Learning about a Categorical Latent Variable under Prior Near-Ignorance.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.4527]
- Fei Li, Zhi Zhang:
Online Maximizing Weighted Throughput In A Fading Channel.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.4530]
- Amin Aminzadeh Gohari, Venkat Anantharam:
Evaluation of Marton's Inner Bound for the General Broadcast Channel.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.4541]
- Amin Aminzadeh Gohari, Venkat Anantharam:
A Generalized Cut-Set Bound.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.4542]
- Juan Manuel Torres Moreno, Mirta B. Gordon:
Adaptive Learning with Binary Neurons.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.4587]
- Robert Engström, Tommy Färnqvist, Peter Jonsson, Johan Thapper:
Graph Homomorphisms, Circular Colouring, and Fractional Covering by H-cuts.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.4600]
- Srivatsan Laxman, Basel Shadid, P. S. Sastry, K. P. Unnikrishnan:
Temporal data mining for root-cause analysis of machine faults in automotive assembly lines.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.4608]
- Swan Dubois, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil:
Dynamic FTSS in Asynchronous Systems: the Case of Unison.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.4615]
- Mikhail J. Atallah, Marina Blanton, Michael T. Goodrich, Stanislas Polu:
Discrepancy-Sensitive Dynamic Fractional Cascading, Dominated Maxima Searching, and 2-d Nearest Neighbors in Any Minkowski Metric.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.4670]
- Cyril Allauzen, Mehryar Mohri:
Linear-Space Computation of the Edit-Distance between a String and a Finite Automaton.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.4686]
- George Tsatsaronis, Maria Halkidi, Emmanouel A. Giakoumakis:
Quality Classifiers for Open Source Software Repositories.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.4708]
- Dirk Beyer, Alessandro Cimatti, Alberto Griggio, M. Erkan Keremoglu, Roberto Sebastiani:
Software Model Checking via Large-Block Encoding.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.4709]
- Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan:
Characterizations of Stable Model Semantics for Logic Programs with Arbitrary Constraint Atoms.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.4727]
- Ghadamali Bagherikaram, Abolfazl S. Motahari, Amir K. Khandani:
The Secrecy Capacity Region of the Degraded Vector Gaussian Broadcast Channel.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.4735]
- Brian M. Kurkoski, Justin Dauwels:
Belief-Propagation Decoding of Lattices Using Gaussian Mixtures.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.4741]
- Giulio Manzonetto:
Models and theories of lambda calculus.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.4756]
- Rémi Gribonval, Karin Schnass:
Dictionary Identification - Sparse Matrix-Factorisation via $\ell_1$-Minimisation.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.4774]
- Houda Chafnaji, Tarik Ait-Idir, Samir Saoudi, Athanasios V. Vasilakos:
Frequency Domain Hybrid-ARQ Chase Combining for Broadband MIMO CDMA Systems.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.4789]
- Nikolaos Mavridis, Shervin Emami, Chandan Datta, Wajahat Kamzi, Chiraz BenAbdelkader, Panos Toulis, Andry Tanoto, Tamer Rabie:
FaceBots: Steps Towards Enhanced Long-Term Human-Robot Interaction by Utilizing and Publishing Online Social Information.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.4836]
- Miquel Payaró, Daniel Pérez Palomar:
On optimal precoding in linear vector Gaussian channels with arbitrary input distribution.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.4900]
- Tal Lev-Ami, Neil Immerman, Thomas W. Reps, Mooly Sagiv, Siddharth Srivastava, Greta Yorsh:
Simulating reachability using first-order logic with applications to verification of linked data structures.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.4902]
- Michael T. Goodrich:
On the Algorithmic Complexity of the Mastermind Game with Black-Peg Results.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.4911]
- Athanasios S. Lioumpas, George K. Karagiannidis:
Variable-Rate M-PSK Communications without Channel Amplitude Estimation.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.4926]
- Danko Ilik, Gyesik Lee, Hugo Herbelin:
Kripke Models for Classical Logic.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0071]
- G. A. Kohring:
Complex Dependencies in Large Software Systems.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0087]
- Jonathan Asher Cohen:
Coherence for rewriting 2-theories.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0125]
- Alejandro Lorca, José Luis Vázquez-Poletti, Eduardo Huedo, Ignacio Martín Llorente:
Grid porting of Bhabha scattering code through a master-worker scheme.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0166]
- Vladimir V. Bytev, Mikhail Yu. Kalmykov, Bernd A. Kniehl:
Differential reduction of generalized hypergeometric functions in application to Feynman diagrams: One-variable case.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0214]
- Michel Fliess, Cédric Join:
Model-free control and intelligent PID controllers: towards a possible trivialization of nonlinear control?
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0322]
- Marco Budinich:
On Computational Complexity of Clifford Algebra.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0417]
- Lenka Zdeborová, Michael Chertkov:
Message Passing for Optimization and Control of Power Grid: Toy Model of Distribution with Ancillary Lines.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0477]
- Vivien Robinet, Gilles Bisson, Mirta B. Gordon, Benoît Lemaire:
Induction of High-level Behaviors from Problem-solving Traces using Machine Learning Tools.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0776]
- Weiyu Xu, M. Amin Khajehnejad, Amir Salman Avestimehr, Babak Hassibi:
Breaking through the Thresholds: an Analysis for Iterative Reweighted $\ell_1$ Minimization via the Grassmann Angle Framework.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.0994]
- Jaime Sanudo, Ricardo López-Ruiz:
Alternative evaluation of statistical indicators in atoms: the non-relativistic and relativistic cases.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1144]
- Kohtaro Tadaki:
Chaitin Omega numbers and halting problems.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1149]
- Oleg Pikhurko:
Finding an Unknown Acyclic Orientation of a Given Graph.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1229]
- Mark Herrera, David C. Roberts, Natali Gulbahce:
Mapping the evolution of scientific ideas.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1234]
- Sudhir R. Ghorpade, Sartaj Ul Hasan, Meena Kumari:
Primitive Polynomials, Singer Cycles, and Word Oriented Linear Feedback Shift Registers.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1331]
- Antoine Sinton:
Recovering the state sequence of hidden Markov models using mean-field approximations.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.1700]
- M. Ángeles Serrano, Marián Boguñá, Alessandro Vespignani:
Extracting the multiscale backbone of complex weighted networks.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2389]
- René David:
A short proof that adding some permutation rules to beta preserves SN.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.2955]
- Federico Ricci-Tersenghi, Guilhem Semerjian:
On the cavity method for decimated random constraint satisfaction problems and the analysis of belief propagation guided decimation algorithms.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3395]
- Deanna Needell:
Noisy Signal Recovery via Iterative Reweighted L1-Minimization.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.3780]
- Solange Ghernaouti-Helie, Igli Tashi, Thomas Laenger, Christian Monyk:
SECOQC Business White Paper.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.4073]
- Jiansheng Yang, Yunying Zhang:
On the Upper Bounds of MDS Codes.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.4094]
- Arnab Bhattacharyya, Bernhard Haeupler:
Robust Regulatory Networks.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.4360]
- Yuri I. Manin:
Renormalization and computation I: motivation and background.
, (informal publication)
Electronic Edition (link) BibTeX
[abs/0904.4921]
Copyright © Sat May 16 23:54:24 2009
by Michael Ley (ley@uni-trier.de)