default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCoRR, August 2008
- Gábor Pataki, Mustafa Kemal Tural:
Branching proofs of infeasibility in low density subset sum problems. - Vasanthan Raghavan, Jayesh H. Kotecha, Akbar M. Sayeed:
Why Does a Kronecker Model Result in Misleading Capacity Estimates? - Caleb K. Lo, Sriram Vishwanath, Robert W. Heath Jr.:
An Energy-Based Comparison of Long-Hop and Short-Hop Routing in MIMO Networks. - Olivier Passalacqua, Eric Benoit, Marc-Philippe Huget, Patrice Moreaux:
Integrating OPC Data into GSN Infrastructures. - Emanuel Diamant:
I'm sorry to say, but your understanding of image processing fundamentals is absolutely wrong. - Rui Zhang, Ying-Chang Liang, Chin Choy Chai:
Optimal Beamforming for Two-Way Multi-Antenna Relay Channel with Analogue Network Coding. - Edwin A. Henneken, Michael J. Kurtz, Alberto Accomazzi
, Carolyn Stern-Grant, Donna M. Thompson, Elizabeth Bohlen, Stephen S. Murray:
Use of Astronomical Literature - A Report on Usage Patterns. - Vyacheslav I. Yukalov, Didier Sornette:
Mathematical basis of quantum decision theory. - Punyashloka Biswal, James R. Lee, Satish Rao:
Eigenvalue bounds, spectral partitioning, and metrical deformations via flows. - Yair Amir, Paul Bunn, Rafail Ostrovsky:
Optimal-Rate Coding Theorem For Adversarial Networks in the Public-Key Setting. - Joshua D. Batson, Daniel A. Spielman, Nikhil Srivastava:
Twice-Ramanujan Sparsifiers. - Yong Gao:
The Degree Distribution of Random k-Trees. - K. Sreeram, Birenjith Sasidharan, P. Vijay Kumar:
DMT of Multi-hop Cooperative Networks - Part I: Basic Results. - K. Sreeram, Birenjith Sasidharan, P. Vijay Kumar:
DMT of Multi-hop Cooperative Networks - Part II: Half-Duplex Networks with Full-Duplex Performance. - Danilo Gligoroski, Smile Markovski, Svein J. Knapskog:
A Public Key Block Cipher Based on Multivariate Quadratic Quasigroups. - Ki-Moon Lee, Hayder Radha:
Kovalenko's Full-Rank Limit and Overhead as Lower Bounds for Error-Performances of LDPC and LT Codes over Binary Erasure Channels. - Olympia Hadjiliadis, Hongzhong Zhang, H. Vincent Poor:
One shot schemes for decentralized quickest change detection. - Edith Elkind, Dmitrii V. Pasechnik:
Computing the nucleolus of weighted voting games. - Chirag Jain, Siddharth Arora, Prasanta K. Panigrahi:
A Reliable SVD based Watermarking Schem. - Holger M. Kienle, Hausi A. Müller:
Towards a Process for Developing Maintenance Tools in Academia. - Eri Prasetyo, Hamzah Afandi, Nurul Huda, Dominique Ginhac, Michel Paindavoine:
A 8 bits Pipeline Analog to Digital Converter Design for High Speed Camera Application. - Eri Prasetyo, Dominique Ginhac, Michel Paindavoine:
Design and Implementation a 8 bits Pipeline Analog to Digital Converter in the Technology 0.6µm CMOS Process. - Martín Hötzel Escardó:
Exhaustible sets in higher-type computation. - Shweta Bansal, Shashank Khandelwal, Lauren Ancel Meyers:
Evolving Clustered Random Networks. - Philipp Mayr, Vivien Petras:
Building a terminology network for search: the KoMoHe project. - Ian Pratt-Hartmann, Lawrence S. Moss:
Logics for the Relational Syllogistic. - Paul Tarau:
Executable Set Theory and Arithmetic Encodings in Prolog. - Jae Won Kang, Younghoon Whang, Hyo Yol Park, Kwang Soon Kim:
Generalized Cross-correlation Properties of Chu Sequences. - Yoshiyuki Kabashima:
How could the replica method improve accuracy of performance assessment of channel coding? - (Withdrawn) Resource Allocation of MU-OFDM Based Cognitive Radio Systems Under Partial Channel State Information.
- Paul Tarau:
Ranking and Unranking of Hereditarily Finite Functions and Permutations. - Paul Tarau:
Pairing Functions, Boolean Evaluation and Binary Decision Diagrams. - Paul Tarau:
Logic Engines as Interactors. - Sandeep Bhadra, Shreeshankar Bodas, Sanjay Shakkottai, Sriram Vishwanath:
Communication Through Jamming over a Slotted ALOHA Channel. - Xavier Leroy, Hervé Grall:
Coinductive big-step operational semantics. - Ido Tal, Tuvi Etzion, Ron M. Roth:
On row-by-row coding for 2-D constraints. - Ralf Küsters, Tomasz Truderung:
Reducing Protocol Analysis with XOR to the XOR-free Case in the Horn Theory Based Approach. - Barnaby Martin:
Model Checking Positive Equality-free FO: Boolean Structures and Digraphs of Size Three. - Céline Fouard, Robin Strand, Gunilla Borgefors:
Weighted distance transforms generalized to modules and their computation on point lattices. - Selçuk Kavut, Melek Diker Yücel:
9-variable Boolean Functions with Nonlinearity 242 in the Generalized Rotation Class. - Dusko Pavlovic:
Dynamics, robustness and fragility of trust. - Caleb K. Lo, Sriram Vishwanath, Robert W. Heath Jr.:
Relay-Assisted Scheduling in Cellular Networks with Hybrid-ARQ. - Paul Tarau:
Ranking Catamorphisms and Unranking Anamorphisms on Hereditarily Finite Datatypes. - Paul Tarau:
A Functional Hitchhiker's Guide to Hereditarily Finite Sets, Ackermann Encodings and Pairing Functions. - Paul Tarau:
Declarative Combinatorics: Boolean Functions, Circuit Synthesis and BDDs in Haskell. - Mark Burgin:
Foundations of Information Theory. - Jian Ma, Zengqi Sun:
Mutual information is copula entropy. - Nan Liu, Andrea J. Goldsmith:
Capacity Regions and Bounds for a Class of Z-interference Channels. - Mahesh Arumugam:
A Distributed and Deterministic TDMA Algorithm for Write-All-With-Collision Model. - Wei Kang, Sennur Ulukus:
Capacity of a Class of Diamond Channels. - Sang Joon Kim, Natasha Devroye, Patrick Mitran, Vahid Tarokh:
Achievable rate regions for bi-directional relaying. - Amin Ansari:
Verification of Peterson's Algorithm for Leader Election in a Unidirectional Asynchronous Ring Using NuSMV. - Chaitanya Chemudugunta, Padhraic Smyth, Mark Steyvers:
Text Modeling using Unsupervised Topic Models and Concept Hierarchies. - Gesualdo Scutari, Daniel Pérez Palomar, Sergio Barbarossa:
Cognitive MIMO Radio: A Competitive Optimality Design Based on Subspace Projections. - Peter Dankelmann, Gregory Z. Gutin, Eun Jung Kim:
On Complexity of Minimum Leaf Out-branching Problem. - Marcin Wiczanowski, Holger Boche:
A new graph perspective on max-min fairness in Gaussian parallel channels. - (Withdrawn) Fitness Landscape Analysis for Dynamic Resource Allocation in Multiuser OFDM Based Cognitive Radio Systems.
- Qinglin Zhao, Soung C. Liew:
Optimization of Location Management for PCS Networks with CTRW Mobility Model. - Nicolas Bock, Emanuel H. Rubensson, Pawel Salek, Anders M. N. Niklasson, Matt Challacombe:
Cache oblivious storage and access heuristics for blocked matrix-matrix multiplication. - Seenu S. Reddi:
Graham's Schedules and the Number Partition Problem. - Omid David-Tabibi, Nathan S. Netanyahu:
Verified Null-Move Pruning. - Timothy M. Chan, Mihai Patrascu, Liam Roditty:
Dynamic Connectivity: Connecting to Networks and Geometry. - Dirk Bradler, Jussi Kangasharju, Max Mühlhäuser:
Optimally Efficient Prefix Search and Multicast in Structured P2P Networks. - Walid S. Saba:
Commonsense Knowledge, Ontology and Ordinary Language. - Joseph Y. Halpern, Vicky Weissman:
A Formal Foundation for XrML. - Mugurel Ionut Andreica, Romulus Andreica, Angela Andreica:
Minimum Dissatisfaction Personnel Scheduling. - Sébastien Briot, Ilian A. Bonev, Damien Chablat, Philippe Wenger, Vigen Arakelian:
Self-Motions of General 3-RPR Planar Parallel Robots. - Holger M. Kienle, Andreas Lober, Hausi A. Müller:
Policy and Legal Challenges of Virtual Worlds and Social Network Sites. - Thân Quang Khoát:
On Bounded Integer Programming. - Shamgar Gurevich, Ronny Hadani, Nir A. Sochen:
On some deterministic dictionaries supporting sparsity. - George S. Eskander, Amir F. Atiya:
A Novel Symbolic Type Neural Network Model- Application to River Flow Forecasting. - Smarajit Das, B. Sundar Rajan:
A Class of Maximal-Rate, Low-PAPR, Non-square Complex Orthogonal Designs. - Hossein B. Bahar, Ali Aboutalebi:
Image Steganography, a New Approach for Transferring Security Information. - Shamgar Gurevich, Ronny Hadani, Nir A. Sochen:
The finite harmonic oscillator and its associated sequences. - Neil J. Gunther:
A General Theory of Computational Scalability Based on Rational Functions. - Ian Oliver, Jukka Honkola:
Personal Semantic Web Through A Space Based Computing Environment. - Sudhakar Sahoo, Sanjaya Sahoo, Birendra Kumar Nayak, Pabitra Pal Choudhury:
Encompression Using Two-dimensional Cellular Automata Rules. - Shamgar Gurevich, Ronny Hadani, Nir A. Sochen:
The finite harmonic oscillator and its applications to sequences, communication and radar. - Ittai Abraham, Danny Dolev, Joseph Y. Halpern:
An Almost-Surely Terminating Polynomial Protocol for Asynchronous Byzantine Agreement with Optimal Resilience. - Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck:
Comparison between CPBPV, ESC/Java, CBMC, Blast, EUREKA and Why for Bounded Program Verification. - Sudhakar Sahoo, Pabitra Pal Choudhury, Mithun Chakraborty:
Characterization Of any Non-linear Boolean function Using A Set of Linear Operators. - Jean-Paul Allouche, Narad Rampersad, Jeffrey O. Shallit:
Periodicity, repetitions, and orbits of an automatic sequence. - Jocelyne Troccaz:
Medical robotics: where we come from, where we are and where we could go. - Shuchi Chawla, Jason D. Hartline, Robert Kleinberg:
Algorithmic Pricing via Virtual Valuations. - Paul Fodor:
Initial Results on the F-logic to OWL Bi-directional Translation on a Tabled Prolog Engine. - Alex Brodsky, Scott Lindenberg:
Our Brothers' Keepers: Secure Routing with High Performance. - A. A. Krizhanovsky:
Index wiki database: design and experiments. - Ping Li:
The Optimal Quantile Estimator for Compressed Counting. - Ping Li:
A Very Efficient Scheme for Estimating Entropy of Data Streams Using Compressed Counting. - Arnab Bhattacharyya, Elena Grigorescu, Kyomin Jung, Sofya Raskhodnikova, David P. Woodruff:
Transitive-Closure Spanners. - Robert L. Grossman, Yunhong Gu, Michal Sabala, Wanzhi Zhang:
Compute and Storage Clouds Using Wide Area High Performance Networks. - Janusz A. Brzozowski, Jeffrey O. Shallit, Zhi Xu:
Decision Problems For Convex Languages. - Ittai Abraham, Yair Bartal, Ofer Neiman:
Nearly Tight Low Stretch Spanning Trees. - Louise Pryor:
Correctness is not enough. - Deniz Gündüz, Andrea J. Goldsmith, H. Vincent Poor:
Diversity-Multiplexing Tradeoffs in MIMO Relay Channels. - Alexandros G. Dimakis, Martin J. Wainwright, Kannan Ramchandran:
Lower Bounds on the Rate-Distortion Function of LDGM Codes. - Heiner Ackermann, Petra Berenbrink, Simon Fischer, Martin Hoefer:
Concurrent Imitation Dynamics in Congestion Games. - Owen Kaser, Daniel Lemire, Kamel Aouiche:
Histogram-Aware Sorting for Enhanced Word-Aligned Compression in Bitmap Indexes. - Jialing Liu, Nicola Elia, Sekhar Tatikonda:
Capacity-achieving Feedback Scheme for Gaussian Finite-State Markov Channels with Channel State Information. - Marat V. Burnashev, Hirosuke Yamamoto:
On zero-rate error exponent for BSC with noisy feedback. - Kaibin Huang, Vincent K. N. Lau, Yan Chen:
Spectrum Sharing Between Cellular and Mobile Ad Hoc Networks: Transmission-Capacity Trade-Off. - Cristian S. Calude, Nicholas J. Hay:
Every Computably Enumerable Random Real Is Provably Computably Enumerable Random. - Alexandr Andoni, Andrew McGregor, Krzysztof Onak, Rina Panigrahy:
Better Bounds for Frequency Moments in Random-Order Streams. - C. Bhattacharya:
Higher Order Moments Generation by Mellin Transform for Compound Models of Clutter. - Boris Lauser, Gudrun Johannsen, Caterina Caracciolo, Johannes Keizer, Willem Robert van Hage, Philipp Mayr:
Comparing human and automatic thesaurus mapping approaches in the agricultural domain. - Massimiliano Laddomada:
Fixed-Point Design of Generalized Comb Filters: A Statistical Approach. - Sriram Sridharan, Amin Jafarian, Sriram Vishwanath, Syed Ali Jafar:
Capacity of Symmetric K-User Gaussian Very Strong Interference Channels. - Michael Neufeld, Craig Partridge:
Networking in the Physical World. - Jui-Yi Kao, Andrew J. Malton, Narad Rampersad, Jeffrey O. Shallit:
On NFAs Where All States are Final, Initial, or Both. - Philip M. Davis:
Author-choice open access publishing in the biological and medical literature: a citation analysis. - Frederic Connes:
A Simple E-Voting Protocol. - Michail Zubarev, Valery I. Korzhik, Guillermo Morales-Luna:
Wet Paper Coding for Watermarking of Binary Images. - Shashi Kiran Chilappagari, Michael Chertkov:
Provably Efficient Instanton Search Algorithm for LP decoding of LDPC codes over the BSC. - Srikanth Jagabathula, Devavrat Shah:
Fair Scheduling in Networks Through Packet Election. - Carsten Schneider:
A Refined Difference Field Theory for Symbolic Summation. - Tohru Kohda, Satoshi Hironaka, Kazuyuki Aihara:
Negative Beta Encoder. - Yonghong Zeng, Ying-Chang Liang:
Spectrum Sensing Algorithms for Cognitive Radio Based on Statistical Covariances. - Tie Hou:
On Transformations of Load-Store Maurer Instruction Set Architecture. - Marcin Poturalski, Panos Papadimitratos, Jean-Pierre Hubaux:
Towards Provable Secure Neighbor Discovery in Wireless Networks. - Jun Luo, Panos Papadimitratos, Jean-Pierre Hubaux:
GossiCrypt: Wireless Sensor Network Data Confidentiality Against Parasitic Adversaries. - Carsten Schneider:
Parameterized Telescoping Proves Algebraic Independence of Sums. - Nick Stukach:
Easily testable logical networks based on a 'widened long flip-flop'. - Panos Papadimitratos, Jean-Pierre Hubaux:
Report on the "Secure Vehicular Communications: Results and Challenges Ahead" Workshop. - Dinesh Krithivasan, S. Sandeep Pradhan:
Distributed Source Coding using Abelian Group Codes. - Andrew Drucker:
Multitask Efficiencies in the Decision Tree Model. - Panos Papadimitratos, Giorgio Calandriello, Jean-Pierre Hubaux, Antonio Lioy:
Impact of Vehicular Communications Security on Transportation Safety. - Marcin Poturalski, Panos Papadimitratos, Jean-Pierre Hubaux:
Secure Neighbor Discovery in Wireless Networks: Formal Investigation of Possibility. - Tao Zhou, Jian-Guo Liu, Zoltan Kuscsik, Matús Medo, Yi-Cheng Zhang:
Being accurate is not enough: measuring and optimizing the diversity of recommendations. - Parisa Haghani, Panagiotis Papadimitratos, Marcin Poturalski, Karl Aberer, Jean-Pierre Hubaux:
Efficient and Robust Secure Aggregation for Sensor Networks. - Alfonso Martinez:
Low-Signal-Energy Asymptotics of Capacity and Mutual Information for the Discrete-Time Poisson Channel. - Marc Baboulin, Alfredo Buttari, Jack J. Dongarra, Jakub Kurzak, Julie Langou, Julien Langou, Piotr Luszczek, Stanimire Tomov:
Accelerating Scientific Computations with Mixed Precision Algorithms. - Constantinos Daskalakis, Christos H. Papadimitriou:
Discretized Multinomial Distributions and Nash Equilibria in Anonymous Games. - Louis Yu Lu:
Fast Intrinsic Mode Decomposition of Time Series Data. - Alexander Schönhuth:
A simple and efficient solution of the identifiability problem for hidden Markov sources. - Ron M. Roth, Pascal O. Vontobel:
List Decoding of Burst Errors. - Reginald D. Smith:
Investigation of the Zipf-plot of the extinct Meroitic language. - Gennady Pustylnik:
Spatial planning with constraints on translational distances between geometric objects. - Paul Tarau:
Declarative Combinatorics: Isomorphisms, Hylomorphisms and Hereditarily Finite Data Types in Haskell. - Gusztáv Morvai, Benjamin Weiss:
Estimating the Lengths of Memory Words. - Sébastien Destercke, Serge Guillaume, Brigitte Charnomordic:
Building an interpretable fuzzy rule base from data using Orthogonal Least Squares Application to a depollution problem. - Robert L. Grossman, Yunhong Gu:
Data Mining Using High Performance Data Clouds: Experimental Studies Using Sector and Sphere. - Petr R. Ivankov:
Optimizing Compiler for Engineering Problems. - Florentin Smarandache, V. Christianto:
n-ary Fuzzy Logic and Neutrosophic Logic Operators. - Julien Cassaigne, François Nicolas:
On the decidability of semigroup freeness.