CoRR, June 2007

• Anna Urbanska:
  Towards an exact adaptive algorithm for the determinant of a rational matrix.
  
• Marko A. Rodriguez, Johan Bollen:
  Modeling Computations in a Semantic Network.
  
• Jing-Chao Chen:
  Symmetry Partition Sort.
  
• Giorgi Japaridze:
  Four concepts and two logics of algorithmic reduction.
  
• Qiang Li, Costas N. Georghiades:
  On the End-to-End Distortion for a Buffered Transmission over Fading Channel.
  
• David Monniaux:
  Applying the Z-transform for the static analysis of floating-point numerical filters.
  
• Evan Hurwitz, Tshilidzi Marwala:
  Multi-Agent Modeling Using Intelligent Agents in the Game of Lerpa.
  
• Simon Scurrell, Tshilidzi Marwala, David M. Rubin:
  Automatic Detection of Pulmonary Embolism using Computational Intelligence.
  
• Andreas V. Hense, Johannes Müller:
  Submission of content to a digital object repository using a configurable workflow system.
  
• Jidong Zhong:
  Watermark Embedding and Detection.
  
• Shishir Nagaraja:
  Anonymity in the Wild: Mixes on unstructured networks.
  
• Emilie Charlier, Michel Rigo, Wolfgang Steiner:
  Abstract numeration systems on bounded languages and multiplication by a constant.
  
• Donald Sofge, Mitchell A. Potter, Magdalena D. Bugajska, Alan C. Schultz:
  Challenges and Opportunities of Evolutionary Robotics.
  
• Donald Sofge:
  Virtual Sensor Based Fault Detection and Classification on a Plasma Etch Reactor.
  
• David R. Wright:
  Motivation, Design, and Ubiquity: A Discussion of Research Ethics and Computer Science.
  
• Véronique Cortier, Michaël Rusinowitch, Eugen Zalinescu:
  Relating two standard notions of secrecy.
  
• Hichem Geryville, Yacine Ouzrout, Abdelaziz Bouras, Nikolaos Sapidis:
  A collaborative framework to exchange and share product information within a supply chain context.
  
• Ranjit Jhala, Kenneth L. McMillan:
  Interpolant-Based Transition Relation Approximation.
  
• Bernd Sturmfels, Josephine Yu:
  Tropical Implicitization and Mixed Fiber Polytopes.
  
• Yoo Chung, Dongman Lee:
  Efficient Batch Update of Unique Identifiers in a Distributed Hash Table for Resources in a Mobile Host.
  
• Zhendong Zhao, Lei Yuan, Yuxuan Wang, Forrest Sheng Bao, Shunyi Zhang Yanfei Sun:
  A Novel Model of Working Set Selection for SMO Decomposition Methods.
  
• Marat V. Burnashev:
  Code spectrum and reliability function: Gaussian channel.
  
• Ye Wang, Prakash Ishwar:
  On Non-Parametric Field Estimation using Randomly Deployed, Noisy, Binary Sensors.
  
• Dimitar P. Guelev:
  Probabilistic Interval Temporal Logic and Duration Calculus with Infinite Intervals: Complete Proof Systems.
  
• Ram Rajagopal, Martin J. Wainwright:
  Universal Quantile Estimation with Feedback in the Communication-Constrained Setting.
  
• Edward Aboufadel, Timothy Armstrong, Elizabeth Smietana:
  Position Coding.
  
• Nachi Gupta, Raphael Hauser, Neil F. Johnson:
  Inferring the Composition of a Trader Population in a Financial Market.
  
• Faina S. Berezovskaya, Artem S. Novozhilov, Georgy P. Karev:
  Families of traveling impulses and fronts in some models with cross-diffusion.
  
• Krzysztof R. Apt:
  Epistemic Analysis of Strategic Games with Arbitrary Strategy Sets.
  
• Xavier Goaoc, Jan Kratochvíl, Yoshio Okamoto, Chan-Su Shin, Alexander Wolff:
  Moving Vertices to Make Drawings Plane.
  
• Flavio D. Garcia, Peter van Rossum, Ana Sokolova:
  Probabilistic Anonymity and Admissible Schedulers.
  
• Donald Sofge, David L. Elliott:
  Improved Neural Modeling of Real-World Systems Using Genetic Algorithm Based Variable Selection.
  
• Donald Sofge, Gerald Chiang:
  Design, Implementation, and Cooperative Coevolution of an Autonomous/ Teleoperated Control System for a Serpentine Robotic Manipulator.
  
• Matthias R. Brust, Steffen Rothkugel:
  Small Worlds: Strong Clustering in Wireless Networks.
  
• Matthias R. Brust:
  Applying Test-Paradigms in a Generic Tutoring System Concept for Web-based Learning.
  
• Matthias R. Brust, Adrian Andronache, Steffen Rothkugel:
  WACA: A Hierarchical Weighted Clustering Algorithm optimized for Mobile Hybrid Networks.
  
• Sofya Raskhodnikova, Dana Ron, Ronitt Rubinfeld, Adam Smith:
  Sublinear Algorithms for Approximating String Compressibility.
  
• Matthias R. Brust, Steffen Rothkugel:
  On Anomalies in Annotation Systems.
  
• Matthias R. Brust, Steffen Rothkugel, Carlos H. C. Ribeiro:
  Inquiring the Potential of Evoking Small-World Properties for Self-Organizing Communication Networks.
  
• Paul-André Melliès, Samuel Mimram:
  Asynchronous games: innocence without alternation.
  
• Stefan Z. Stefanov:
  Cointegration of the Daily Electric Power System Load and the Weather.
  
• Matthias R. Brust, Christian M. Adriano, Ivan Luiz Marques Ricarte:
  Redesigning Computer-based Learning Environments: Evaluation as Communication.
  
• Matthias R. Brust, Steffen Rothkugel:
  A Communication Model for Adaptive Service Provisioning in Hybrid Wireless Networks.
  
• Amanda Bouffier, Thierry Poibeau:
  Automatically Restructuring Practice Guidelines using the GEM DTD.
  
• Adrian Andronache, Matthias R. Brust, Steffen Rothkugel:
  Multimedia Content Distribution in Hybrid Wireless using Weighted Clustering.
  
• Matthias R. Brust, Steffen Rothkugel:
  Localized Support for Injection Point Election in Hybrid Networks.
  
• Matthias R. Brust, Steffen Rothkugel:
  A taxonomic Approach to Topology Control in Ad-hoc and Wireless Networks.
  
• Hichem Geryville, Yacine Ouzrout, Abdelaziz Bouras, Nikolaos Sapidis:
  The multiple viewpoints as approach to information retrieval within collaborative development context.
  
• Ralf R. Müller, Dongning Guo, Aris L. Moustakas:
  Vector Precoding for Wireless MIMO Systems: A Replica Analysis.
  
• Hichem Geryville, Abdelaziz Bouras, Yacine Ouzrout, Nikolaos Sapidis:
  Collaborative product and process model: Multiple Viewpoints approach.
  
• Jose Eduardo M. Lobo, Jorge Luis Risco Becerra, Matthias R. Brust, Steffen Rothkugel, Christian M. Adriano:
  Developing a Collaborative and Autonomous Training and Learning Environment for Hybrid Wireless Networks.
  
• Sylviane R. Schwer:
  Temporal Reasoning without Transitive Tables.
  
• S. Sathiya Keerthi, John A. Tomlin:
  Constructing a maximum utility slate of on-line advertisements.
  
• Hulya Seferoglu, Athina Markopoulou:
  Opportunistic Network Coding for Video Streaming over Wireless.
  
• Viveck R. Cadambe, Syed Ali Jafar:
  Duality and Stability Regions of Multi-rate Broadcast and Multiple Access Networks.
  
• Matthias R. Brust, Steffen Rothkugel:
  Analyzing Design Process and Experiments on the AnITA Generic Tutoring System.
  
• Jonathan M. Borwein, Bruno Salvy:
  A Proof of a Recursion for Bessel Moments.
  
• Francis Sourd, Marc Schoenauer:
  Evolutionary Mesh Numbering: Preliminary Results.
  
• Albert Benveniste, Benoît Caillaud, Roberto Passerone:
  A Generic Model of Contracts for Embedded Systems.
  
• Pascal Koiran, Sylvain Perifel:
  VPSPACE and a transfer theorem over the complex field.
  
• Konstantin Avrachenkov, Patrick Brown, Natalia Osipova:
  Optimal Choice of Threshold in Two Level Processor Sharing.
  
• Animashree Anandkumar, Lang Tong, Ananthram Swami:
  Detection of Gauss-Markov Random Fields with Nearest-Neighbor Dependency.
  
• Arnaud Legrand, Corinne Touati:
  Non-Cooperative Scheduling of Multiple Bag-of-Task Applications.
  
• Krzysztof R. Apt:
  Relative Strength of Strategy Elimination Procedures.
  
• Anne-Elisabeth Baert, Vlady Ravelomanana, Loÿs Thimonier:
  On the growth of components with non fixed excesses.
  
• Vlady Ravelomanana:
  Another Proof of Wright's Inequalities.
  
• Cyrille Chavet, Philippe Coussy, Pascal Urard, Eric Martin:
  A Methodology for Efficient Space-Time Adapter Design Space Exploration: A Case Study of an Ultra Wide Band Interleaver.
  
• Guilhem Coq, Olivier Alata, Marc Arnaudon, Christian Olivier:
  Information Criteria and Arithmetic Codings : An Illustration on Raw Images.
  
• Latéfa Ghomri, Hassane Alla:
  Modeling and analysis using hybrid Petri nets.
  
• Maximilien Gadouleau, Zhiyuan Yan:
  MacWilliams Identity for Codes with the Hamming and Rank Metrics.
  
• Kirill Bolshakov, Elena Reshetova:
  FreeBSD Mandatory Access Control Usage for Implementing Enterprise Security Policies.
  
• Marie-France Ango-Obiang:
  Le travail collaboratif dans le cadre d'un projet architectural.
  
• Arnaud Legrand, Corinne Touati:
  How to measure efficiency?
  
• Jordi Cucurull-Juan, Ramon Martí, Sergi Robles, Joan Borrell, Guillermo Navarro:
  FIPA-based Interoperable Agent Mobility Proposal.
  
• Michele Bezzi, Robin Groenevelt:
  Towards understanding and modelling office daily life.
  
• Anne Broadbent, Alain Tapp:
  Information-theoretic security without an honest majority.
  
• Sapon Tanachaiwiwat, Ahmed Helmy:
  On the Performance Evaluation of Encounter-based Worm Interactions Based on Node Characteristics.
  
• Khoa D. Nguyen, Albert Guillen i Fabregas, Lars K. Rasmussen:
  Power Allocation for Discrete-Input Delay-Limited Fading Channels.
  
• Kyle Sabo, Ryan Schmitt, Michael Silverman:
  Critique of Feinstein's Proof that P is not Equal to NP.
  
• Samuel Thibault, Raymond Namyst, Pierre-André Wacrenier:
  Building Portable Thread Schedulers for Hierarchical Multiprocessors: the BubbleSched Framework.
  
• Samuel Thibault, François Broquedis, Brice Goglin, Raymond Namyst, Pierre-André Wacrenier:
  An Efficient OpenMP Runtime System for Hierarchical Arch.
  
• Klaus Aehlig:
  A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of Automata.
  
• Rajesh Sudarsan, Calvin J. Ribbens:
  Efficient Multidimensional Data Redistribution for Resizable Parallel Computations.
  
• Frédéric Chazal, David Cohen-Steiner, Quentin Mérigot:
  Stability of boundary measures.
  
• Greg Sepesi:
  Dualheap Selection Algorithm: Efficient, Inherently Parallel and Somewhat Mysterious.
  
• Jean-Yves Marion, Romain Péchoux:
  Resource control of object-oriented programs.
  
• Nicolas Gresset, Loïc Brunel, Joseph Boutros:
  Space-time coding techniques with bit-interleaved coded modulations for MIMO block-fading channels.
  
• Erhan Bayraktar, Hao Xing:
  An Efficient Method for Pricing American Options for Jump Diffusions.
  
• Radha Krishna Ganti, Martin Haenggi:
  Interference and Outage in Clustered Wireless Ad Hoc Networks.
  
• Damien Regnault, Nicolas Schabanel, Eric Thierry:
  Progresses in the Analysis of Stochastic 2D Cellular Automata: a Study of Asynchronous 2D Minority.
  
• Viktoria Rojkova, Mehmed M. Kantardzic:
  Analysis of Inter-Domain Traffic Correlations: Random Matrix Theory Approach.
  
• Pierre-Louis Curien, Hugo Herbelin:
  Abstract machines for dialogue games.
  
• Ossama Kettani:
  A new lower bound on the independence number of a graph.
  
• Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr:
  Decisive Markov Chains.
  
• Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin:
  Algorithms for Omega-Regular Games with Imperfect Information.
  
• Guohun Zhu:
  The Complexity of Determining Existence a Hamiltonian Cycle is $O(n^3)$.
  
• Cyrille Chavet, Philippe Coussy, Pascal Urard, Eric Martin:
  A Design Methodology for Space-Time Adapter.
  
• Robert König, Ueli M. Maurer, Stefano Tessaro:
  Abstract Storage Devices.
  
• Yvan Royon, Stéphane Frénot:
  A Survey of Unix Init Schemes.
  
• Pablo Piantanida, Pierre Duhamel:
  Dirty-paper Coding without Channel Information at the Transmitter and Imperfect Estimation at the Receiver.
  
• Thierry Despeyroux, Eduardo Fraschini, Anne-Marie Vercoustre:
  Extraction d'entités dans des collections évolutives.
  
• Pablo Piantanida, Sajad Sadough, Pierre Duhamel:
  On the Outage Capacity of a Practical Decoder Using Channel Estimation Accuracy.
  
• Cyrille Chavet, Philippe Coussy, Pascal Urard, Eric Martin:
  Méthodologie de modélisation et d'implémentation d'adaptateurs spatio-temporels.
  
• Naila Rahman, Rajeev Raman:
  Cache Analysis of Non-uniform Distribution Sorting Algorithms.
  
• James Harold Thomas:
  Variations on Kak's Three Stage Quantum Cryptography Protocol.
  
• Greg Sepesi:
  Dualheap Sort Algorithm: An Inherently Parallel Generalization of Heapsort.
  
• Rahul Vaze, Robert W. Heath Jr.:
  Capacity Scaling for MIMO Two-Way Relaying.
  
• Michael Chertkov:
  Reducing the Error Floor.
  
• Pablo Piantanida, Gerald Matz, Pierre Duhamel:
  Outage Behavior of Discrete Memoryless Channels Under Channel Estimation Errors.
  
• Hcene Benmohamed, Arnaud Lelevé, Patrick Prévôt:
  Remote laboratories: new technology and standard based architecture.
  
• Areski Flissi, Philippe Merle:
  A Generic Deployment Framework for Grid Computing and Distributed Applications.
  
• Cyrille Chavet, Philippe Coussy, Pascal Urard, Eric Martin:
  Application of a design space exploration tool to enhance interleaver generation.
  
• Erich Elsen, Vaidyanathan Vishal, Mike Houston, Vijay S. Pande, Pat Hanrahan, Eric Darve:
  N-Body Simulations on GPUs.
  
• Shiguo Lian, Zhongxuan Liu, Zhen Ren, Haila Wang:
  On the Performance of Joint Fingerprint Embedding and Decryption Scheme.
  
• Marc Mézard, Cristina Toninelli:
  Group Testing with Random Pools: optimal two-stage algorithms.
  
• Paulo A. Condado, Fernando G. Lobo:
  EasyVoice: Integrating voice synthesis with Skype.
  
• Hao Hu, Steven Myers, Vittoria Colizza, Alessandro Vespignani:
  WiFi Epidemiology: Can Your Neighbors' Router Make Yours Sick?
  
• Pierre Deransart, Mireille Ducassé, Gérard Ferrand:
  Une sémantique observationnelle du modèle des boîtes pour la résolution de programmes logiques (version étendue).
  
• Hichem Geryville, Abdelaziz Bouras, Yacine Ouzrout, Nikolaos Sapidis:
  A solution for actors' viewpoints representation with collaborative product development.
  
• Keigo Takeuchi, Toshiyuki Tanaka, Toru Yano:
  Asymptotic Analysis of General Multiuser Detectors in MIMO DS-CDMA Channels.
  
• Glenn Shafer, Vladimir Vovk:
  A tutorial on conformal prediction.
  
• Beniamin Mounits:
  Lower bounds on the minimum average distance of binary codes.
  
• Ayan Mahalanobis:
  A simple generalization of the El-Gamal cryptosystem to non-abelian groups II.
  
• Christophe Fouqueré:
  A Sequent Calculus for Modelling Interferences.
  
• Veronika Rehn-Sonigo:
  Optimal Replica Placement in Tree Networks with QoS and Bandwidth Constraints and the Closest Allocation Policy.
  
• Nerio Borges, Blai Bonet:
  On Canonical Forms of Complete Problems via First-order Projections.
  
• Caleb K. Lo, Robert W. Heath Jr., Sriram Vishwanath:
  The Impact of Channel Feedback on Opportunistic Relay Selection for Hybrid-ARQ in Wireless Networks.
  
• Gábor Kun, Jaroslav Nesetril:
  NP by means of lifts and shadows.
  
• David Love:
  Hypocomputation.
  
• Soheil Mohajer, Ali Kakhbod:
  Tight Bounds on the Average Length, Entropy, and Redundancy of Anti-Uniform Huffman Codes.
  
• Petros Elia, P. Vijay Kumar:
  Approximately-Universal Space-Time Codes for the Parallel, Multi-Block and Cooperative-Dynamic-Decode-and-Forward Channels.
  
• Dominique Lecomte, Olivier Finkel:
  There Exist some Omega-Powers of Any Borel Rank.
  
• Samer Al-Kiswany, Matei Ripeanu, Sudharshan S. Vazhkudai:
  A Checkpoint Storage System for Desktop Grid Computing.
  
• Anatoly D. Plotnikov:
  Experimental Algorithm for the Maximum Independent Set Problem.
  
• Shane Legg, Marcus Hutter:
  A Collection of Definitions of Intelligence.
  
• Yann Guermeur:
  Scale-sensitive Psi-dimensions: the Capacity Measures for Classifiers Taking Values in R^Q.
  
• Shivratna Giri Srinivasan, Mahesh K. Varanasi:
  Optimal Constellations for the Low SNR Noncoherent MIMO Rayleigh Fading Channel.
  
• Tobias Ganzow, Sasha Rubin:
  Order-Invariant MSO is Stronger than Counting MSO in the Finite.
  
• Ruoheng Liu, Yingbin Liang, H. Vincent Poor, Predrag Spasojevic:
  Secure Nested Codes for Type II Wiretap Channels.
  
• Xiaojun Tang, Ruoheng Liu, Predrag Spasojevic, H. Vincent Poor:
  Multiple Access Channels with Generalized Feedback and Confidential Messages.
  
• Pierre Parrend, Stéphane Frénot:
  Java Components Vulnerabilities - An Experimental Classification Targeted at the OSGi Platform.
  
• Andrea Abrardo:
  Design of optimal convolutional codes for joint decoding of correlated sources in wireless sensor networks.
  
• Man-On Pun, Visa Koivunen, H. Vincent Poor:
  Opportunistic Scheduling and Beamforming for MIMO-SDMA Downlink Systems with Linear Combining.
  
• Jean Cardinal, Vlady Ravelomanana, Mario Valencia-Pabon:
  Chromatic Edge Strength of Some Multigraphs.
  
• Ralphe Wiggins, John A. Tomlin:
  Bid Optimization for Internet Graphical Ad Auction Systems via Special Ordered Sets.
  
• Engin Bozdag, Ali Mesbah, Arie van Deursen:
  A Comparison of Push and Pull Techniques for Ajax.
  
• Ahmed Ait Ali, Fabien Michaut, Francis Lepage:
  End-to-End Available Bandwidth Measurement Tools : A Comparative Evaluation of Performances.
  
• Anne Benoit, Veronika Rehn-Sonigo, Yves Robert:
  Multi-criteria scheduling of pipeline workflows.
  
• Christian Boulinier, Franck Petit:
  Self-Stabilizing Wavelets and r-Hops Coordination.
  
• Sapon Tanachaiwiwat, Ahmed Helmy:
  Encounter-based worms: Analysis and Defense.
  
• Matthieu Gallet, Yves Robert, Frédéric Vivien:
  Scheduling multiple divisible loads on a linear processor network.
  
• Lutz Schröder, Dirk Pattinson:
  PSPACE Bounds for Rank-1 Modal Logics.
  
• Michael S. Noble:
  Getting More From Your Multicore: Exploiting OpenMP From An Open Source Numerical Scripting Language.
  
• Gianni Franceschini, S. Muthukrishnan, Mihai Patrascu:
  Radix Sorting With No Extra Space.
  
• Maurice Margenstern:
  The Domino Problem of the Hyperbolic Plane Is Undecidable.
  
• Song Yean Cho, Cedric Adjih, Philippe Jacquet:
  Heuristics for Network Coding in Wireless Networks.
  
• Sergey Andreyev:
  User driven applications - new design paradigm.
  
• Christian Boulinier:
  Unison as a Self-Stabilizing Wave Stream Algorithm in Asynchronous Anonymous Networks.
  
• Khalil Djelloul, Thi-Bich-Hanh Dao, Thom W. Frühwirth:
  Theory of Finite or Infinite Trees Revisited.
  
• Thierry Hamon, Adeline Nazarenko, Thierry Poibeau, Sophie Aubin, Julien Derivière:
  A Robust Linguistic Platform for Efficient and Domain specific Web Content Analysis.
  
• Craig Alan Feinstein:
  2-State 3-Color Universal Turing Machines Don't Exist.
  
• N. Raj Rao, Roland Speicher:
  Multiplication of free random variables and the S-transform: the case of vanishing mean.
  
• François Rodier, Eric Férard:
  Non linéarité des fonctions booléennes données par des traces de polynômes de degré binaire 3.
  
• Shuheng Zhou, John D. Lafferty, Larry A. Wasserman:
  Compressed Regression.
  
• Serge Fehr, Christian Schaffner:
  Randomness Extraction via Delta-Biased Masking in the Presence of a Quantum Attacker.
  
• Federico Ardila, Elitza N. Maneva:
  Shelling Processes and a New Characterization of Convex Geometries.
  
• Luca Dall'Asta:
  Dynamic Exploration of Networks: from general principles to the traceroute process.
  
• Ilya Kapovich, Paul Schupp:
  Some Quantitative Aspects of Fractional Computability.
  

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