CoRR, November 2006
- Michael Elkin:
A near-optimal fully dynamic distributed algorithm for maintaining sparse spanners.
, (informal publication)
[abs/cs/0611001]
- Sergio D. Servetto:
Lattice Quantization with Side Information: Codes, Asymptotics, and Applications in Sensor Networks.
, (informal publication)
[abs/cs/0611002]
- An-Swol Hu, Sergio D. Servetto:
A Scalable Protocol for Cooperative Time Synchronization Using Spatial Averaging.
, (informal publication)
[abs/cs/0611003]
- Lars Birkedal, Rasmus Ejlers Møgelberg, Rasmus Lerchedahl Petersen:
Linear Abadi and Plotkin Logic.
, (informal publication)
[abs/cs/0611004]
- Alberto Pepe, Joanne Yeomans:
Protocols for Scholarly Communication.
, (informal publication)
[abs/cs/0611005]
- Julian Togelius, Simon M. Lucas:
Evolving controllers for simulated car racing.
, (informal publication)
[abs/cs/0611006]
- Shi Jin, Matthew R. McKay, Xiqi Gao, Iain B. Collings:
MIMO Multichannel Beamforming: SER and Outage Using New Eigenvalue Distributions of Complex Noncentral Wishart Matrices.
, (informal publication)
[abs/cs/0611007]
- Radoslaw Hofman:
Why Linear Programming cannot solve large instances of NP-complete problems in polynomial time.
, (informal publication)
[abs/cs/0611008]
- Christian Schulte, Peter J. Stuckey:
Efficient constraint propagation engines.
, (informal publication)
[abs/cs/0611009]
- Diego Ruano:
On the structure of generalized toric codes.
, (informal publication)
[abs/cs/0611010]
- Alexander Gammerman, Vladimir Vovk:
Hedging predictions in machine learning.
, (informal publication)
[abs/cs/0611011]
- Shi Jin, Matthew R. McKay, Xiqi Gao, Iain B. Collings:
Asymptotic SER and Outage Probability of MIMO MRC in Correlated Fading.
, (informal publication)
[abs/cs/0611012]
- Osvaldo N. Oliveira Jr., Valtencir Zucolotto, Sandra M. Aluísio:
Developing strategies to produce better scientific papers: a Recipe for non-native users of English.
, (informal publication)
[abs/cs/0611013]
- Erik Braun, Rainer Lütticke, Ingo Glöckner, Hermann Helbig:
Interactive Problem Solving in Prolog.
, (informal publication)
[abs/cs/0611014]
- Kenneth W. Shum, Chi Wan Sung:
On the Fairness of Rate Allocation in Gaussian Multiple Access Channel and Broadcast Channel.
, (informal publication)
[abs/cs/0611015]
- Damien Martin-Guillerez, Michel Banâtre, Paul Couderc:
Increasing Data Resilience of Mobile Devices with a Collaborative Backup Service.
, (informal publication)
[abs/cs/0611016]
- Wei Kang, Sennur Ulukus:
A New Data Processing Inequality and Its Applications in Distributed Source and Channel Coding.
, (informal publication)
[abs/cs/0611017]
- Hubie Chen:
Logic Column 17: A Rendezvous of Logic, Complexity, and Algebra.
, (informal publication)
[abs/cs/0611018]
- Binh-Minh Bui-Xuan, Michel Habib, Vincent Limouzy, Fabien de Montgolfier:
Algorithmic Aspects of a Novel Modular Decomposition Theory.
, (informal publication)
[abs/cs/0611019]
- Joy Bose, Stephen B. Furber, Jonathan L. Shapiro:
An associative memory for the on-line recognition and prediction of temporal sequences.
, (informal publication)
[abs/cs/0611020]
- Serban E. Vlad:
Relatively inertial delays.
, (informal publication)
[abs/cs/0611021]
- Anurag Ganguli, Jorge Cortés, Francesco Bullo:
Multirobot rendezvous with visibility sensors in nonconvex environments.
, (informal publication)
[abs/cs/0611022]
- Surender Baswana:
Faster Streaming algorithms for graph spanners.
, (informal publication)
[abs/cs/0611023]
- Tony T. Lee, Tong Ye:
A Relational Approach to Functional Decomposition of Logic Circuits.
, (informal publication)
[abs/cs/0611024]
- Javier Larrosa, Federico Heras, Simon de Givry:
A Logical Approach to Efficient Max-SAT solving.
, (informal publication)
[abs/cs/0611025]
- Susanne Salmon-Alt, Laurent Romary, Jean-Marie Pierrel:
Un modèle générique d'organisation de corpus en ligne: application à la FReeBank.
, (informal publication)
[abs/cs/0611026]
- Raghav Bhaskar, Paul Mühlethaler, Daniel Augot, Cedric Adjih, Saadi Boudjit, Anis Laouiti:
Efficient and Dynamic Group Key Agreement in Ad hoc Networks.
, (informal publication)
[abs/cs/0611027]
- Navin Kashyap:
A Decomposition Theory for Binary Linear Codes.
, (informal publication)
[abs/cs/0611028]
- Armin Biere, Keijo Heljanko, Tommi A. Junttila, Timo Latvala, Viktor Schuppan:
Linear Encodings of Bounded LTL Model Checking.
, (informal publication)
[abs/cs/0611029]
- Ambedkar Dukkipati:
Nonextensive Pythagoras' Theorem.
, (informal publication)
[abs/cs/0611030]
- Scot Anderson, Peter Z. Revesz:
Efficient Threshold Aggregation of Moving Objects.
, (informal publication)
[abs/cs/0611031]
- Andre Nathan, Valmir C. Barbosa:
V-like formations in flocks of artificial birds.
, (informal publication)
[abs/cs/0611032]
- María Naya-Plasencia:
Cryptanalyse de Achterbahn-128/80.
, (informal publication)
[abs/cs/0611033]
- Yves Robert, Anne Benoit, Veronika Rehn:
Strategies for Replica Placement in Tree Networks.
, (informal publication)
[abs/cs/0611034]
- Claudio Bettini, Xiaoyang Sean Wang, Sushil Jajodia:
The Role of Quasi-identifiers in k-Anonymity Revisited.
, (informal publication)
[abs/cs/0611035]
- Anne Durand, Pierre Drap, Elise Meyer, Pierre Grussenmeyer, Jean-Pierre Perrin:
Intra-site Level Cultural Heritage Documentation: Combination of Survey, Modeling and Imagery Data in a Web Information System.
, (informal publication)
[abs/cs/0611036]
- Michael B. Baer:
On Conditional Branches in Optimal Decision Trees.
, (informal publication)
[abs/cs/0611037]
- Chengshi Liu:
Nonsymmetric entropy I: basic concepts and results.
, (informal publication)
[abs/cs/0611038]
- Maurice Margenstern, Guentcho Skordev:
Substitutions for tilings $\{p,q\}$.
, (informal publication)
[abs/cs/0611039]
- F. Guidi:
Lambda Types on the Lambda Calculus with Abbreviations.
, (informal publication)
[abs/cs/0611040]
- Vladimir P. Gerdt:
Groebner Bases Applied to Systems of Linear Difference Equations.
, (informal publication)
[abs/cs/0611041]
- Vita Hinze-Hoare:
CSCR:Computer Supported Collaborative Research.
, (informal publication)
[abs/cs/0611042]
- Young-Han Kim, Seung-Jean Kim:
On the Convexity of log det (I + K X^{-1}).
, (informal publication)
[abs/cs/0611043]
- Vladimir V. Migunov, Rustem R. Kafiyatullov:
Protection of the information in a complex CAD system of renovation of industrial firms.
, (informal publication)
[abs/cs/0611044]
- Vladimir V. Migunov:
The evolution of the parametric models of drawings (modules) in the enterprises reconstruction CAD system.
, (informal publication)
[abs/cs/0611045]
- Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning.
, (informal publication)
[abs/cs/0611046]
- Adrian Paschke:
The Reaction RuleML Classification of the Event / Action / State Processing and Reasoning Space.
, (informal publication)
[abs/cs/0611047]
- Parosh Aziz Abdulla, Pritha Mahata, Richard Mayr:
Dense-Timed Petri Nets: Checking Zenoness, Token liveness<br> and<br><br> Boundedness.
, (informal publication)
[abs/cs/0611048]
- Argyn Kuketayev:
On numerical stability of recursive present value computation method.
, (informal publication)
[abs/cs/0611049]
- Hans-Rudolf Thomann:
HowTo Authenticate and Encrypt.
, (informal publication)
[abs/cs/0611050]
- Sumit Kumar Jha:
Numerical Simulation guided Lazy Abstraction Refinement for Nonlinear Hybrid Automata.
, (informal publication)
[abs/cs/0611051]
- Dimitris Achlioptas, Federico Ricci-Tersenghi:
On the Solution-Space Geometry of Random Constraint Satisfaction Problems.
, (informal publication)
[abs/cs/0611052]
- Thomas M. Cover, Young-Han Kim:
Capacity of a Class of Deterministic Relay Channels.
, (informal publication)
[abs/cs/0611053]
- Christopher C. Strelioff, James P. Crutchfield:
How Random is a Coin Toss? Bayesian Inference and the Symbolic Dynamics of Deterministic Chaos.
, (informal publication)
[abs/cs/0611054]
- Christophe Rippert, Alexandre Courbot, Gilles Grimaud:
A Low-Footprint Class Loading Mechanism for Embedded Java Virtual Machines.
, (informal publication)
[abs/cs/0611055]
- Thomas Watteyne:
Using Existing Network Simulators for Power-Aware Self-Organizing Wireless Sensor Network Protocols.
, (informal publication)
[abs/cs/0611056]
- Laurent Théry:
Formalising Sylow's theorems in Coq.
, (informal publication)
[abs/cs/0611057]
- Marie Cottrell, Michel Verleysen:
Advances in Self Organising Maps.
, (informal publication)
[abs/cs/0611058]
- Naresh Sharma, Ashok Armen Tikku:
Is the cyclic prefix necessary?
, (informal publication)
[abs/cs/0611059]
- Henk F. Moed:
The effect of 'Open Access' upon citation impact: An analysis of ArXiv's Condensed Matter Section.
, (informal publication)
[abs/cs/0611060]
- Jan W. Dash:
Multivariate Integral Perturbation Techniques - I (Theory).
, (informal publication)
[abs/cs/0611061]
- Suzana Andova, Cas J. F. Cremers, Kristian Gjøsteen, Sjouke Mauw, Stig Fr. Mjølsnes, Sasa Radomirovic:
A framework for compositional verification of security protocols.
, (informal publication)
[abs/cs/0611062]
- Garud Iyengar, Anuj Kumar:
Characterizing Optimal Adword Auctions.
, (informal publication)
[abs/cs/0611063]
- Sujay Sanghavi, Loc Bui, R. Srikant:
Distributed Link Scheduling with Constant Overhead.
, (informal publication)
[abs/cs/0611064]
- M. Chowdhury:
On the security of new key exchange protocols based on the triple decomposition problem.
, (informal publication)
[abs/cs/0611065]
- Andrea Pasquinucci:
A modular eballot system - V0.6.
, (informal publication)
[abs/cs/0611066]
- Andrea Pasquinucci:
Implementing the modular eballot system V0.6.
, (informal publication)
[abs/cs/0611067]
- Sander Spek, Eric O. Postma, H. Jaap van den Herik:
Wikipedia: organisation from a bottom-up approach.
, (informal publication)
[abs/cs/0611068]
- Guillaume Pitel:
Scaling Construction Grammar up to Production Systems: the SCIM.
, (informal publication)
[abs/cs/0611069]
- Ayfer Özgür, Olivier Lévêque, David N. C. Tse:
Hierarchical Cooperation Achieves Optimal Capacity Scaling in Ad Hoc Networks.
, (informal publication)
[abs/cs/0611070]
- Ramya Ravichandar, James D. Arthur, Shawn A. Bohner:
Capabilities Engineering: Constructing Change-Tolerant Systems.
, (informal publication)
[abs/cs/0611071]
- Ramya Ravichandar, James D. Arthur, Robert P. Broadwater:
Reconciling Synthesis and Decomposition: A Composite Approach to Capability Identification.
, (informal publication)
[abs/cs/0611072]
- Michael B. Baer:
Prefix Codes for Power Laws with Countable Support.
, (informal publication)
[abs/cs/0611073]
- Moustapha Diaby:
On "P = NP: Linear Programming Formulation of the Traveling Salesman Problem": A reply to Hofman's Claim of a "Counter-Example".
, (informal publication)
[abs/cs/0611074]
- Soung Chang Liew, Ying Jun Zhang:
Proportional Fairness in Multi-channel Multi-rate Wireless Networks-Part I: The Case of Deterministic Channels.
, (informal publication)
[abs/cs/0611075]
- Soung Chang Liew, Ying Jun Zhang:
Proportional Fairness in Multi-channel Multi-rate Wireless Networks-Part II: The Case of Time-Varying Channels.
, (informal publication)
[abs/cs/0611076]
- Mark Burgin, Eugene Eberbach:
Evolutionary Optimization in an Algorithmic Setting.
, (informal publication)
[abs/cs/0611077]
- Françoise Simonot-Lion, François Simonot, Yeqiong Song:
Safety Evaluation of Critical Applications Distributed on TDMA-Based Networks.
, (informal publication)
[abs/cs/0611078]
- Emmanuel Lochin, Bruno Talavera:
Managing network congestion with a Kohonen-based RED queue.
, (informal publication)
[abs/cs/0611079]
- Ying Jun Zhang:
A Multi-server Scheduling Framework for Resource Allocation in Wireless Multi-carrier Networks.
, (informal publication)
[abs/cs/0611080]
- Rubens Viana Ramos:
The Importance of the Algorithmic Information Theory to Construct a Possible Example Where NP # P - II: An Irreducible Sentence.
, (informal publication)
[abs/cs/0611081]
- Craig Alan Feinstein:
The Computational Complexity of the Bounded Halting Problem.
, (informal publication)
[abs/cs/0611082]
- Vladimir V. Migunov:
Environment of development of the programs of parametric creating of the drawings in CAD-system of renovation of the enterprises.
, (informal publication)
[abs/cs/0611083]
- Nicolas Jacq, Vincent Breton, Hsin-Yen Chen, Li-Yung Ho, Martin Hofmann, Hurng-Chun Lee, Yannick Legré, Simon C. Lin, Astrid Maaß, Emmanuel Medernach, Ivan Merelli, Luciano Milanesi, Giulio Rastelli, Matthieu Reichstadt, Jean Salzemann, Horst Schwichtenberg, Mahendrakar Sridhar, Vinod Kasam, Ying-Ta Wu, Marc Zimmermann:
Large Scale In Silico Screening on Grid Infrastructures.
, (informal publication)
[abs/cs/0611084]
- Timothy R. McJunkin, Jill R. Scott:
Fuzzy Logic Classification of Imaging Laser Desorption Fourier Transform Mass Spectrometry Data.
, (informal publication)
[abs/cs/0611085]
- Emin Gabrielyan, Roger D. Hersch:
Reliable Multi-Path Routing Schemes for Real-Time Streaming.
, (informal publication)
[abs/cs/0611086]
- Naresh Singhmar, Vipul Mathur, Varsha Apte, D. Manjunath:
A Combined LIFO-Priority Scheme for Overload Control of E-commerce Web Servers.
, (informal publication)
[abs/cs/0611087]
- Lawrence L. Larmore, James A. Oravec:
T-Theory Applications to Online Algorithms for the Server Problem.
, (informal publication)
[abs/cs/0611088]
- Thomas R. Halford, Keith M. Chugg:
The Extraction and Complexity Limits of Graphical Models for Linear Codes.
, (informal publication)
[abs/cs/0611089]
- Jing Jiang, Krishna R. Narayanan:
Algebraic Soft-Decision Decoding of Reed-Solomon Codes Using Bit-level Soft Information.
, (informal publication)
[abs/cs/0611090]
- Elankovan Sundararajan, Aaron Harwood, Kotagiri Ramamohanarao:
Lossy Bulk Synchronous Parallel Processing Model for Very Large Scale Grids.
, (informal publication)
[abs/cs/0611091]
- Yishay Mor, Niall Winters:
Design approaches in technology enhanced learning.
, (informal publication)
[abs/cs/0611092]
- Amey Karkare, Amitabha Sanyal, Uday P. Khedker:
Effectiveness of Garbage Collection in MIT/GNU Scheme.
, (informal publication)
[abs/cs/0611093]
- Ravindra Guravannavar, S. Sudarshan, Ajit A. Diwan, Ch. Sobhan Babu:
Reducing Order Enforcement Cost in Complex Query Plans.
, (informal publication)
[abs/cs/0611094]
- Nan Liu, Sennur Ulukus:
Dense Gaussian Sensor Networks: Minimum Achievable Distortion and the Order Optimality of Separation.
, (informal publication)
[abs/cs/0611095]
- Jacob Binia:
On the Rate Distortion Function of Certain Sources with a Proportional Mean-Square Error Distortion Measure.
, (informal publication)
[abs/cs/0611096]
- Thomas R. Halford, Keith M. Chugg:
Conditionally Cycle-Free Generalized Tanner Graphs: Theory and Application to High-Rate Serially Concatenated Codes.
, (informal publication)
[abs/cs/0611097]
- Christian Lavault:
Analysis of an Efficient Distributed Algorithm for Mutual Exclusion (Average-Case Analysis of Path Reversal).
, (informal publication)
[abs/cs/0611098]
- Travis Gagie:
On the space complexity of one-pass compression.
, (informal publication)
[abs/cs/0611099]
- Mirco Mannucci, Rose M. Cherubin:
Model Theory of Ultrafinitism I: Fuzzy Initial Segments of Arithmetics.
, (informal publication)
[abs/cs/0611100]
- Andreas Björklund, Thore Husfeldt, Petteri Kaski, Mikko Koivisto:
Fourier meets Möbius: fast subset convolution.
, (informal publication)
[abs/cs/0611101]
- Hanno Langweg, Tommy Kristiansen:
Extending the Trusted Path in Client-Server Interaction.
, (informal publication)
[abs/cs/0611102]
- Petteri Kaski:
Barriers and local minima in energy landscapes of stochastic local search.
, (informal publication)
[abs/cs/0611103]
- Anthony Mouraud, Hélène Paugam-Moisy:
Learning and discrimination through STDP in a top-down modulated associative memory.
, (informal publication)
[abs/cs/0611104]
- Arnaud Legout, Nikitas Liogkas, Eddie Kohler, Lixia Zhang:
Clustering and Sharing Incentives in BitTorrent Systems.
, (informal publication)
[abs/cs/0611105]
- Frédéric Vrins, Dinh-Tuan Pham, Michel Verleysen:
Mixing and non-mixing local minima of the entropy contrast for blind source separation.
, (informal publication)
[abs/cs/0611106]
- Adam L. Buchsbaum, Emden R. Gansner, Cecilia Magdalena Procopiuc, Suresh Venkatasubramanian:
Rectangular Layouts and Contact Graphs.
, (informal publication)
[abs/cs/0611107]
- Jon Feldman, S. Muthukrishnan, Anastasios Sidiropoulos, Clifford Stein, Zoya Svitkina:
On the Complexity of Processing Massive, Unordered, Distributed Data.
, (informal publication)
[abs/cs/0611108]
- R. Jackson, D. Rumynin, O. Zaboronski:
An approach to RAID-6 based on cyclic groups of a prime order.
, (informal publication)
[abs/cs/0611109]
- Amine Chigani, James D. Arthur:
The Implications of Network-Centric Software Systems on Software Architecture: A Critical Evaluation.
, (informal publication)
[abs/cs/0611110]
- Tad Hogg:
Distributed Control of Microscopic Robots in Biomedical Applications.
, (informal publication)
[abs/cs/0611111]
- Daniel J. Costello Jr., G. David Forney Jr.:
Channel Coding: The Road to Channel Capacity.
, (informal publication)
[abs/cs/0611112]
- Maurice H. T. Ling:
An Anthological Review of Research Utilizing MontyLingua, a Python-Based End-to-End Text Processor.
, (informal publication)
[abs/cs/0611113]
- Ping Li:
Very Sparse Stable Random Projections, Estimators and Tail Bounds for Stable Random Projections.
, (informal publication)
[abs/cs/0611114]
- Péter Horváth, Ian Jermyn, Zoltan Kato, Josiane Zerubia:
A higher-order active contour model of a `gas of circles' and its application to tree crown extraction.
, (informal publication)
[abs/cs/0611115]
- Mikhail Nesterenko, Sébastien Tixeuil:
Discovering Network Topology in the Presence of Byzantine Faults.
, (informal publication)
[abs/cs/0611116]
- Mark Miyashita, Mikhail Nesterenko:
2FACE: Bi-Directional Face Traversal for Efficient Geometric Routing.
, (informal publication)
[abs/cs/0611117]
- Haibin Wang, Andre Rogatko, Florentin Smarandache, Rajshekhar Sunderraman:
A Neutrosophic Description Logic.
, (informal publication)
[abs/cs/0611118]
- Yoram Hirshfeld, Alexander Rabinovich:
Expressiveness of Metric modalities for continuous time.
, (informal publication)
[abs/cs/0611119]
- Matthieu Bloch, João Barros, Miguel R. D. Rodrigues, Steven W. McLaughlin:
Wireless Information-Theoretic Security - Part I: Theoretical Aspects.
, (informal publication)
[abs/cs/0611120]
- Matthieu Bloch, João Barros, Miguel R. D. Rodrigues, Steven W. McLaughlin:
Wireless Information-Theoretic Security - Part II: Practical Implementation.
, (informal publication)
[abs/cs/0611121]
- Adrian Paschke, Martin Bichler:
Knowledge Representation Concepts for Automated SLA Management.
, (informal publication)
[abs/cs/0611122]
- B. A. Frigyik, S. Srivastava, M. R. Gupta:
Functional Bregman Divergence and Bayesian Estimation of Distributions.
, (informal publication)
[abs/cs/0611123]
- Jacob Abernethy, Francis Bach, Theodoros Evgeniou, Jean-Philippe Vert:
Low-rank matrix factorization with attributes.
, (informal publication)
[abs/cs/0611124]
- Yasutada Oohama:
Relay Channels with Confidential Messages.
, (informal publication)
[abs/cs/0611125]
- Benjamin Doerr, Mahmoud Fouz:
Hereditary Discrepancies in Different Numbers of Colors II.
, (informal publication)
[abs/cs/0611126]
- Philippe Montarnal, Alain Dimier, Estelle Deville, Erwan Adam, Jérôme Gaombalet, Alain Bengaouer, Laurent Loth, Clément Chavant:
Coupling Methodology within the Software Platform Alliances.
, (informal publication)
[abs/cs/0611127]
- Hasan Guclu, Murat Yuksel:
Scale-Free Overlay Topologies with Hard Cutoffs for Unstructured Peer-to-Peer Networks.
, (informal publication)
[abs/cs/0611128]
- Neri Merhav:
Shannon's secrecy system with informed receivers and its application to systematic coding for wiretapped channels.
, (informal publication)
[abs/cs/0611129]
- Salvatore Mele, David Dallman, Jens Vigen, Joanne Yeomans:
Quantitative Analysis of the Publishing Landscape in High-Energy Physics.
, (informal publication)
[abs/cs/0611130]
- Lada A. Adamic, Suresh K. Bhavnani, Xiaolin Shi:
Scatter Networks: A New Approach for Analyzing Information Scatter on the Web.
, (informal publication)
[abs/cs/0611131]
- Vladimir V. Migunov:
The specifications making in complex CAD-system of renovation of the enterprises on the basis of modules in the drawing and electronic catalogues.
, (informal publication)
[abs/cs/0611132]
- Vladimir V. Migunov:
The modelling of the automation schemes of technological processes in CAD-system of renovation of the enterprises.
, (informal publication)
[abs/cs/0611133]
- Vladimir L. Safonov:
Hard Disk Drive as a Magnetomechanical Logic Device.
, (informal publication)
[abs/cs/0611134]
- Christian Gagné, Marc Schoenauer, Michèle Sebag, Marco Tomassini:
Genetic Programming for Kernel-based Learning with Co-evolving Subsets Selection.
, (informal publication)
[abs/cs/0611135]
- E. A. Rietman, R. W. Hillis:
Neural Computation with Rings of Quasiperiodic Oscillators.
, (informal publication)
[abs/cs/0611136]
- Scott A. Golder, Dennis M. Wilkinson, Bernardo A. Huberman:
Rhythms of social interaction: messaging within a massive online network.
, (informal publication)
[abs/cs/0611137]
- Vojtech Krmicek, Michèle Sebag:
Functional Brain Imaging with Multi-Objective Multi-Modal Evolutionary Optimization.
, (informal publication)
[abs/cs/0611138]
- Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux:
Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation.
, (informal publication)
[abs/cs/0611139]
- Yann Semet, Marc Schoenauer:
On the Benefits of Inoculation, an Example in Train Scheduling.
, (informal publication)
[abs/cs/0611140]
- Peter Tiedemann, Henrik Reif Andersen, Rasmus Pagh:
A Generic Global Constraint based on MDDs.
, (informal publication)
[abs/cs/0611141]
- Yannick Chevalier, Mounira Kourjieh:
A Symbolic Intruder Model for Hash-Collision Attacks.
, (informal publication)
[abs/cs/0611142]
- Julien Villemonteix, Emmanuel Vázquez, Eric Walter:
An informational approach to the global optimization of expensive-to-evaluate functions.
, (informal publication)
[abs/cs/0611143]
- Lei Ying, Sichao Yang, R. Srikant:
Coding Improves the Optimal Delay-Throughput Trade-offs in Mobile Ad-Hoc Networks: Two-Dimensional I.I.D. Mobility Models.
, (informal publication)
[abs/cs/0611144]
- Manuel Loth, Philippe Preux:
A Unified View of TD Algorithms; Introducing Full-Gradient TD and Equi-Gradient Descent TD.
, (informal publication)
[abs/cs/0611145]
- Shengtian Yang, Peiliang Qiu:
On the Performance of Lossless Joint Source-Channel Coding Based on Linear Codes for Multiple-Access Channels.
, (informal publication)
[abs/cs/0611146]
- G. Raju Renjit:
coNP Is Equal To NP.
, (informal publication)
[abs/cs/0611147]
- Federico Calzolari, Eva Sassolini, Manuela Sassi, Sebastiana Cucurullo, Eugenio Picchi, Francesca Bertagna, Alessandro Enea, Monica Monachini, Claudia Soria, Nicoletta Calzolari:
Next Generation Language Resources using GRID.
, (informal publication)
[abs/cs/0611148]
- Belynda Brahimi, Eric Rondeau, Christophe Aubrun:
Comparison between Networked Control System behaviour based on CAN and Switched Ethernet networks.
, (informal publication)
[abs/cs/0611149]
- Saket Sathe:
A Novel Bayesian Classifier using Copula Functions.
, (informal publication)
[abs/cs/0611150]
- Françoise Détienne:
Collaborative design : managing task interdependencies and multiple perspectives.
, (informal publication)
[abs/cs/0611151]
- Françoise Détienne, Géraldine Martin, Elisabeth Lavigne:
Viewpoints in co-design: a field study in concurrent engineering.
, (informal publication)
[abs/cs/0611152]
- Patrick d'Astous, Françoise Détienne, Willemien Visser, Pierre N. Robillard:
Changing our view on design evaluation meetings methodology: a study of software technical review meetings.
, (informal publication)
[abs/cs/0611153]
- Françoise Détienne:
Assessing the cognitive consequences of the object-oriented approach: a survey of empirical research on object-oriented design by individuals and teams.
, (informal publication)
[abs/cs/0611154]
- Christine A. Kelley, Deepak Sridhara, Joachim Rosenthal:
Zig-zag and Replacement Product Graphs and LDPC Codes.
, (informal publication)
[abs/cs/0611155]
- Petros Elia, K. Vinodh, M. Anand, P. Vijay Kumar:
D-MG Tradeoff and Optimal Codes for a Class of AF and DF Cooperative Communication Protocols.
, (informal publication)
[abs/cs/0611156]
- Reuven Cohen, Mira Gonen, Avishai Wool:
Bounding the Bias of Tree-Like Sampling in IP Topologies.
, (informal publication)
[abs/cs/0611157]
- Michael Baker, Françoise Détienne, Kristine Lund, Arnauld Séjourné:
Articulation entre élaboration de solutions et argumentation polyphonique.
, (informal publication)
[abs/cs/0611158]
- Françoise Détienne, Jean-Marie Burkhardt, Willemien Visser:
Cognitive Effort in Collective Software Design: Methodological Perspectives in Cognitive Ergonomics.
, (informal publication)
[abs/cs/0611159]
- Kai-Uwe Schmidt:
Complementary Sets, Generalized Reed-Muller Codes, and Power Control for OFDM.
, (informal publication)
[abs/cs/0611160]
- Kai-Uwe Schmidt:
On the Peak-to-Mean Envelope Power Ratio of Phase-Shifted Binary Codes.
, (informal publication)
[abs/cs/0611161]
- Kai-Uwe Schmidt:
Quaternary Constant-Amplitude Codes for Multicode CDMA.
, (informal publication)
[abs/cs/0611162]
- Dimitris Kalles:
On Measuring the Impact of Human Actions in the Machine Learning of a Board Game's Playing Policies.
, (informal publication)
[abs/cs/0611163]
- Dimitris Kalles:
Player co-modelling in a strategy board game: discovering how to play fast.
, (informal publication)
[abs/cs/0611164]
- Ricardo C. Corrêa, Valmir C. Barbosa:
Partially ordered distributed computations on asynchronous point-to-point networks.
, (informal publication)
[abs/cs/0611165]
- Dimitris Kalles:
Lossless fitness inheritance in genetic algorithms for decision trees.
, (informal publication)
[abs/cs/0611166]
- R. C. Venkatesan:
Generalized Statistics Framework for Rate Distortion Theory.
, (informal publication)
[abs/cond-mat/0611567]
- Andrea Baronchelli, Luca Dall'Asta, Alain Barrat, Vittorio Loreto:
Non-equilibrium phase transition in negotiation dynamics.
, (informal publication)
[abs/cond-mat/0611717]
- Yvan Le Borgne, Jean-François Marckert:
Directed animals in the gas.
, (informal publication)
[abs/math/0611194]
- Marie Cottrell, Smaïl Ibbou, Patrick Letrémy, Patrick Rousset:
Cartes auto-organisées pour l'analyse exploratoire de données et la visualisation.
, (informal publication)
[abs/math/0611422]
- Patrick Letrémy, Marie Cottrell:
Working times in atypical forms of employment: the special case of part-time work.
, (informal publication)
[abs/math/0611433]
- Dominique Rossin, Mathilde Bouvel:
Longest Common Pattern between two Permutations.
, (informal publication)
[abs/math/0611679]
- Martin Hock, Boaz Tsaban:
A better length function for Artin's braid groups.
, (informal publication)
[abs/math/0611918]
- Karl Schlechta:
Remarks on Inheritance Systems.
, (informal publication)
[abs/math/0611937]
- Ricardo López-Ruiz, Xavier Calbet:
Why the Maxwellian Distribution is the Attractive Fixed Point of the Boltzmann Equation.
, (informal publication)
[abs/nlin/0611044]
- Vincent Breton, Nicolas Jacq, Martin Hofmann:
Grid Added Value to Address Malaria.
, (informal publication)
[abs/q-bio/0611052]
- L.-M. Birkholtz, Olivier Bastien, G. Wells, D. Grando, F. Joubert, Vinod Kasam, Marc Zimmermann, Philippe Ortet, Nicolas Jacq, Sylvaine Roy, Martin Hofmann-Apitius, Vincent Breton, A. I. Louw, Eric Maréchal:
Integration and mining of malaria molecular, functional and pharmacological data: how far are we from a chemogenomic knowledge space?
, (informal publication)
[abs/q-bio/0611053]
- Nicolas Jacq, Jean Salzemann, F. Jacq, Yannick Legré, Emmanuel Medernach, Johan Montagnat, Astrid Maaß, Matthieu Reichstadt, Horst Schwichtenberg, Mahendrakar Sridhar, Vinod Kasam, Marc Zimmermann, Martin Hofmann, Vincent Breton:
Grid enabled virtual screening against malaria.
, (informal publication)
[abs/q-bio/0611054]
- Sergey Bravyi, Arvid J. Bessen, Barbara M. Terhal:
Merlin-Arthur Games and Stoquastic Complexity.
, (informal publication)
[abs/quant-ph/0611021]
- Gus Gutoski, John Watrous:
Toward a general theory of quantum games.
, (informal publication)
[abs/quant-ph/0611234]
- Noam Berger, Marek Biskup, Christopher E. Hoffman, Gady Kozma:
Anomalous heat-kernel decay for random walk among bounded random conductances.
, (informal publication)
[abs/math/0611666]
Copyright © Fri Mar 12 17:25:58 2010
by Michael Ley (ley@uni-trier.de)