


Остановите войну!
for scientists:


default search action
CoRR, November 2006
- Michael Elkin:
A near-optimal fully dynamic distributed algorithm for maintaining sparse spanners. - Sergio D. Servetto:
Lattice Quantization with Side Information: Codes, Asymptotics, and Applications in Sensor Networks. - An-Swol Hu, Sergio D. Servetto:
A Scalable Protocol for Cooperative Time Synchronization Using Spatial Averaging. - Lars Birkedal, Rasmus Ejlers Møgelberg, Rasmus Lerchedahl Petersen:
Linear Abadi and Plotkin Logic. - Alberto Pepe, Joanne Yeomans
:
Protocols for Scholarly Communication. - Julian Togelius, Simon M. Lucas:
Evolving controllers for simulated car racing. - 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. - Radoslaw Hofman:
Why Linear Programming cannot solve large instances of NP-complete problems in polynomial time. - Christian Schulte, Peter J. Stuckey:
Efficient constraint propagation engines. - Diego Ruano:
On the structure of generalized toric codes. - Alexander Gammerman, Vladimir Vovk:
Hedging predictions in machine learning. - Shi Jin, Matthew R. McKay
, Xiqi Gao, Iain B. Collings:
Asymptotic SER and Outage Probability of MIMO MRC in Correlated Fading. - 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. - Erik Braun, Rainer Lütticke, Ingo Glöckner, Hermann Helbig:
Interactive Problem Solving in Prolog. - Kenneth W. Shum, Chi Wan Sung:
On the Fairness of Rate Allocation in Gaussian Multiple Access Channel and Broadcast Channel. - Damien Martin-Guillerez, Michel Banâtre, Paul Couderc:
Increasing Data Resilience of Mobile Devices with a Collaborative Backup Service. - Wei Kang, Sennur Ulukus:
A New Data Processing Inequality and Its Applications in Distributed Source and Channel Coding. - Hubie Chen:
Logic Column 17: A Rendezvous of Logic, Complexity, and Algebra. - Binh-Minh Bui-Xuan, Michel Habib
, Vincent Limouzy, Fabien de Montgolfier:
Algorithmic Aspects of a Novel Modular Decomposition Theory. - Joy Bose, Stephen B. Furber, Jonathan L. Shapiro:
An associative memory for the on-line recognition and prediction of temporal sequences. - Serban E. Vlad:
Relatively inertial delays. - Anurag Ganguli, Jorge Cortés, Francesco Bullo:
Multirobot rendezvous with visibility sensors in nonconvex environments. - Surender Baswana:
Faster Streaming algorithms for graph spanners. - Tony Tong Lee, Tong Ye:
A Relational Approach to Functional Decomposition of Logic Circuits. - Javier Larrosa, Federico Heras, Simon de Givry:
A Logical Approach to Efficient Max-SAT solving. - Susanne Salmon-Alt, Laurent Romary, Jean-Marie Pierrel:
Un modèle générique d'organisation de corpus en ligne: application à la FReeBank. - Raghav Bhaskar, Paul Mühlethaler, Daniel Augot, Cédric Adjih, Saadi Boudjit, Anis Laouiti:
Efficient and Dynamic Group Key Agreement in Ad hoc Networks. - Navin Kashyap:
A Decomposition Theory for Binary Linear Codes. - Armin Biere, Keijo Heljanko, Tommi A. Junttila, Timo Latvala, Viktor Schuppan:
Linear Encodings of Bounded LTL Model Checking. - Ambedkar Dukkipati:
Nonextensive Pythagoras' Theorem. - Scot Anderson, Peter Z. Revesz:
Efficient Threshold Aggregation of Moving Objects. - Andre Nathan, Valmir Carneiro Barbosa:
V-like formations in flocks of artificial birds. - María Naya-Plasencia:
Cryptanalyse de Achterbahn-128/80. - Yves Robert, Anne Benoit, Veronika Rehn:
Strategies for Replica Placement in Tree Networks. - Claudio Bettini, Xiaoyang Sean Wang, Sushil Jajodia:
The Role of Quasi-identifiers in k-Anonymity Revisited. - 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. - Michael B. Baer:
On Conditional Branches in Optimal Decision Trees. - Chengshi Liu:
Nonsymmetric entropy I: basic concepts and results. - Maurice Margenstern, Guentcho Skordev:
Substitutions for tilings $\{p,q\}$. - Ferruccio Guidi:
Lambda Types on the Lambda Calculus with Abbreviations. - Vladimir P. Gerdt:
Groebner Bases Applied to Systems of Linear Difference Equations. - Vita Hinze-Hoare:
CSCR:Computer Supported Collaborative Research. - Young-Han Kim, Seung-Jean Kim:
On the Convexity of log det (I + K X^{-1}). - Vladimir V. Migunov, Rustem R. Kafiyatullov:
Protection of the information in a complex CAD system of renovation of industrial firms. - Vladimir V. Migunov:
The evolution of the parametric models of drawings (modules) in the enterprises reconstruction CAD system. - Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning. - Adrian Paschke:
The Reaction RuleML Classification of the Event / Action / State Processing and Reasoning Space. - Parosh Aziz Abdulla, Pritha Mahata, Richard Mayr:
Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness. - Argyn Kuketayev:
On numerical stability of recursive present value computation method. - Hans-Rudolf Thomann:
HowTo Authenticate and Encrypt. - Sumit Kumar Jha:
Numerical Simulation guided Lazy Abstraction Refinement for Nonlinear Hybrid Automata. - Dimitris Achlioptas, Federico Ricci-Tersenghi:
On the Solution-Space Geometry of Random Constraint Satisfaction Problems. - Thomas M. Cover, Young-Han Kim:
Capacity of a Class of Deterministic Relay Channels. - Christopher C. Strelioff, James P. Crutchfield:
How Random is a Coin Toss? Bayesian Inference and the Symbolic Dynamics of Deterministic Chaos. - Christophe Rippert, Alexandre Courbot, Gilles Grimaud:
A Low-Footprint Class Loading Mechanism for Embedded Java Virtual Machines. - Thomas Watteyne:
Using Existing Network Simulators for Power-Aware Self-Organizing Wireless Sensor Network Protocols. - Laurent Théry:
Formalising Sylow's theorems in Coq. - Marie Cottrell, Michel Verleysen:
Advances in Self Organising Maps. - Naresh Sharma, Ashok Armen Tikku:
Is the cyclic prefix necessary? - Henk F. Moed:
The effect of 'Open Access' upon citation impact: An analysis of ArXiv's Condensed Matter Section. - Jan W. Dash:
Multivariate Integral Perturbation Techniques - I (Theory). - Suzana Andova, Cas Cremers, Kristian Gjøsteen, Sjouke Mauw, Stig Fr. Mjølsnes, Sasa Radomirovic:
A framework for compositional verification of security protocols. - Garud Iyengar, Anuj Kumar:
Characterizing Optimal Adword Auctions. - Sujay Sanghavi, Loc Bui, R. Srikant:
Distributed Link Scheduling with Constant Overhead. - M. M. Chowdhury:
On the security of new key exchange protocols based on the triple decomposition problem. - Andrea Pasquinucci:
A modular eballot system - V0.6. - Andrea Pasquinucci:
Implementing the modular eballot system V0.6. - Sander Spek, Eric O. Postma, H. Jaap van den Herik:
Wikipedia: organisation from a bottom-up approach. - Guillaume Pitel:
Scaling Construction Grammar up to Production Systems: the SCIM. - Ayfer Özgür, Olivier Lévêque, David N. C. Tse:
Hierarchical Cooperation Achieves Optimal Capacity Scaling in Ad Hoc Networks. - Ramya Ravichandar, James D. Arthur, Shawn A. Bohner:
Capabilities Engineering: Constructing Change-Tolerant Systems. - Ramya Ravichandar, James D. Arthur, Robert P. Broadwater:
Reconciling Synthesis and Decomposition: A Composite Approach to Capability Identification. - Michael B. Baer:
Prefix Codes for Power Laws with Countable Support. - Moustapha Diaby:
On "P = NP: Linear Programming Formulation of the Traveling Salesman Problem": A reply to Hofman's Claim of a "Counter-Example". - Soung Chang Liew, Ying Jun Zhang:
Proportional Fairness in Multi-channel Multi-rate Wireless Networks-Part I: The Case of Deterministic Channels. - Soung Chang Liew, Ying Jun Zhang:
Proportional Fairness in Multi-channel Multi-rate Wireless Networks-Part II: The Case of Time-Varying Channels. - Mark Burgin, Eugene Eberbach:
Evolutionary Optimization in an Algorithmic Setting. - Françoise Simonot-Lion, François Simonot, Yeqiong Song:
Safety Evaluation of Critical Applications Distributed on TDMA-Based Networks. - Emmanuel Lochin, Bruno Talavera:
Managing network congestion with a Kohonen-based RED queue. - Ying Jun Zhang:
A Multi-server Scheduling Framework for Resource Allocation in Wireless Multi-carrier Networks. - Rubens Viana Ramos:
The Importance of the Algorithmic Information Theory to Construct a Possible Example Where NP # P - II: An Irreducible Sentence. - Craig Alan Feinstein:
The Computational Complexity of the Bounded Halting Problem. - Vladimir V. Migunov:
Environment of development of the programs of parametric creating of the drawings in CAD-system of renovation of the enterprises. - 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. - Timothy R. McJunkin, Jill R. Scott:
Fuzzy Logic Classification of Imaging Laser Desorption Fourier Transform Mass Spectrometry Data. - Emin Gabrielyan, Roger D. Hersch:
Reliable Multi-Path Routing Schemes for Real-Time Streaming. - Naresh Singhmar, Vipul Mathur, Varsha Apte, D. Manjunath:
A Combined LIFO-Priority Scheme for Overload Control of E-commerce Web Servers. - Lawrence L. Larmore, James A. Oravec:
T-Theory Applications to Online Algorithms for the Server Problem. - Thomas R. Halford, Keith M. Chugg:
The Extraction and Complexity Limits of Graphical Models for Linear Codes. - Jing Jiang, Krishna R. Narayanan:
Algebraic Soft-Decision Decoding of Reed-Solomon Codes Using Bit-level Soft Information. - Elankovan Sundararajan, Aaron Harwood, Kotagiri Ramamohanarao:
Lossy Bulk Synchronous Parallel Processing Model for Very Large Scale Grids. - Yishay Mor, Niall Winters:
Design approaches in technology enhanced learning. - Amey Karkare, Amitabha Sanyal, Uday P. Khedker:
Effectiveness of Garbage Collection in MIT/GNU Scheme. - Ravindra Guravannavar, S. Sudarshan, Ajit A. Diwan, Ch. Sobhan Babu:
Reducing Order Enforcement Cost in Complex Query Plans. - Nan Liu, Sennur Ulukus:
Dense Gaussian Sensor Networks: Minimum Achievable Distortion and the Order Optimality of Separation. - Jacob Binia:
On the Rate Distortion Function of Certain Sources with a Proportional Mean-Square Error Distortion Measure. - Thomas R. Halford, Keith M. Chugg:
Conditionally Cycle-Free Generalized Tanner Graphs: Theory and Application to High-Rate Serially Concatenated Codes. - Christian Lavault:
Analysis of an Efficient Distributed Algorithm for Mutual Exclusion (Average-Case Analysis of Path Reversal). - Travis Gagie:
On the space complexity of one-pass compression. - Mirco Mannucci, Rose M. Cherubin:
Model Theory of Ultrafinitism I: Fuzzy Initial Segments of Arithmetics. - Andreas Björklund, Thore Husfeldt, Petteri Kaski, Mikko Koivisto:
Fourier meets Möbius: fast subset convolution. - Hanno Langweg, Tommy Kristiansen:
Extending the Trusted Path in Client-Server Interaction. - Petteri Kaski:
Barriers and local minima in energy landscapes of stochastic local search. - Anthony Mouraud, Hélène Paugam-Moisy:
Learning and discrimination through STDP in a top-down modulated associative memory. - Arnaud Legout, Nikitas Liogkas, Eddie Kohler, Lixia Zhang:
Clustering and Sharing Incentives in BitTorrent Systems. - Frédéric Vrins, Dinh-Tuan Pham, Michel Verleysen:
Mixing and non-mixing local minima of the entropy contrast for blind source separation. - Adam L. Buchsbaum, Emden R. Gansner, Cecilia Magdalena Procopiuc, Suresh Venkatasubramanian:
Rectangular Layouts and Contact Graphs. - Jon Feldman, S. Muthukrishnan, Anastasios Sidiropoulos, Clifford Stein, Zoya Svitkina:
On the Complexity of Processing Massive, Unordered, Distributed Data. - Robert Jackson, Dmitriy Rumynin, Oleg V. Zaboronski:
An approach to RAID-6 based on cyclic groups of a prime order. - Amine Chigani, James D. Arthur:
The Implications of Network-Centric Software Systems on Software Architecture: A Critical Evaluation. - Tad Hogg:
Distributed Control of Microscopic Robots in Biomedical Applications. - Daniel J. Costello Jr., G. David Forney Jr.:
Channel Coding: The Road to Channel Capacity. - Maurice H. T. Ling:
An Anthological Review of Research Utilizing MontyLingua, a Python-Based End-to-End Text Processor. - Ping Li:
Very Sparse Stable Random Projections, Estimators and Tail Bounds for Stable Random Projections. - 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. - Mikhail Nesterenko, Sébastien Tixeuil:
Discovering Network Topology in the Presence of Byzantine Faults. - Mark Miyashita, Mikhail Nesterenko:
2FACE: Bi-Directional Face Traversal for Efficient Geometric Routing. - Haibin Wang, André Rogatko, Florentin Smarandache, Rajshekhar Sunderraman:
A Neutrosophic Description Logic. - Yoram Hirshfeld, Alexander Rabinovich:
Expressiveness of Metric modalities for continuous time. - Matthieu R. Bloch, João Barros, Miguel R. D. Rodrigues, Steven W. McLaughlin:
Wireless Information-Theoretic Security - Part I: Theoretical Aspects. - Matthieu R. Bloch, João Barros, Miguel R. D. Rodrigues, Steven W. McLaughlin:
Wireless Information-Theoretic Security - Part II: Practical Implementation. - Adrian Paschke, Martin Bichler:
Knowledge Representation Concepts for Automated SLA Management. - Bela A. Frigyik, Santosh Srivastava, Maya R. Gupta:
Functional Bregman Divergence and Bayesian Estimation of Distributions. - Jacob D. Abernethy, Francis R. Bach, Theodoros Evgeniou, Jean-Philippe Vert:
Low-rank matrix factorization with attributes. - Yasutada Oohama:
Relay Channels with Confidential Messages. - Benjamin Doerr, Mahmoud Fouz:
Hereditary Discrepancies in Different Numbers of Colors II. - 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. - Hasan Guclu, Murat Yuksel:
Scale-Free Overlay Topologies with Hard Cutoffs for Unstructured Peer-to-Peer Networks. - Neri Merhav:
Shannon's secrecy system with informed receivers and its application to systematic coding for wiretapped channels. - Salvatore Mele, David Dallman, Jens Vigen
, Joanne Yeomans:
Quantitative Analysis of the Publishing Landscape in High-Energy Physics. - Lada A. Adamic, Suresh K. Bhavnani, Xiaolin Shi:
Scatter Networks: A New Approach for Analyzing Information Scatter on the Web. - 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. - Vladimir V. Migunov:
The modelling of the automation schemes of technological processes in CAD-system of renovation of the enterprises. - Vladimir L. Safonov:
Hard Disk Drive as a Magnetomechanical Logic Device. - Christian Gagné, Marc Schoenauer, Michèle Sebag, Marco Tomassini:
Genetic Programming for Kernel-based Learning with Co-evolving Subsets Selection. - Edward A. Rietman, R. W. Hillis:
Neural Computation with Rings of Quasiperiodic Oscillators. - Scott A. Golder, Dennis M. Wilkinson, Bernardo A. Huberman:
Rhythms of social interaction: messaging within a massive online network.