default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCoRR, December 2009
- Yunhui Fu, Robert T. Schweller:
Temperature 1 Self-Assembly: Deterministic Assembly in 3D and Probabilistic Assembly in 2D. - Gabriel Ciobanu
:
Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2009, Bologna, Italy, 5th September 2009. EPTCS 11, 2009 [contents] - Anand D. Sarwate, Kamalika Chaudhuri, Claire Monteleoni:
Differentially Private Support Vector Machines. - Kamalika Chaudhuri, Sanjoy Dasgupta, Andrea Vattani:
Learning Mixtures of Gaussians using the k-means Algorithm. - Fadi Badra, Amélie Cordier, Jean Lieber:
Opportunistic Adaptation Knowledge Discovery. - Swan Dubois, Maria Gradinariu Potop-Butucaru, Mikhail Nesterenko, Sébastien Tixeuil:
Self-Stabilizing Byzantine Asynchronous Unison. - Nuno Pratas, Nicola Marchetti, Neeli Rashmi Prasad, António Rodrigues, Ramjee Prasad:
Robust Cooperative Spectrum Sensing for Disaster Relief Networks in Correlated Environments. - Bram Reps, Wim Vanroose, Hisham Bin Zubair:
On the indefinite Helmholtz equation: exterior complex scaled absorbing boundary layers, iterative analysis, and preconditioning. - Nicolas A. Barriga, Mauricio Araya-López:
A Multi-stage Probabilistic Algorithm for Dynamic Path-Planning. - Paul S. Bonsma:
Max-Leaves Spanning Tree is APX-hard for Cubic Graphs. - Charles Sauerbier:
Cantor's Problem. - Anna C. Gilbert, Yi Li, Ely Porat, Martin J. Strauss:
Approximate Sparse Recovery: Optimizing Time and Measurements. - Sebastiano Vigna:
Spectral Ranking. - Ryan O'Donnell, Yi Wu, Yuan Zhou:
Optimal lower bounds for locality sensitive hashing (except when q is tiny). - Marius Buibas, Diana Yu, Krystal Nizar, Gabriel A. Silva:
Mapping the spatiotemporal dynamics of calcium signaling in cellular neural networks using optical flow. - Nicolas A. Barriga, Mauricio Araya-López, Mauricio Solar:
Combining a Probabilistic Sampling Technique and Simple Heuristics to solve the Dynamic Path Planning Problem. - Nicolas A. Barriga:
Single-Agent On-line Path Planning in Continuous, Unpredictable and Highly Dynamic Environments. - Martin Dietzfelbinger, Andreas Goerdt, Michael Mitzenmacher, Andrea Montanari, Rasmus Pagh, Michael Rink:
Tight Thresholds for Cuckoo Hashing via XORSAT. - Cédric Chauve, Ján Manuch, Murray Patterson:
Hardness Results for the Gapped Consecutive-Ones Property. - Zhi-Han Gao, Fang-Wei Fu:
The minimal polynomial of sequence obtained from componentwise linear transformation of linear recurring sequence. - Shaddin Dughmi:
Submodular Functions: Extensions, Distributions, and Algorithms. A Survey. - Paola Bonizzoni, Gianluca Della Vedova, Riccardo Dondi, Yuri Pirola:
Variants of Constrained Longest Common Subsequence. - Roberto M. Amadio, Patrick Baillot, Antoine Madet:
An affine-intuitionistic system of types and effects: confluence and termination. - Arijit Laha:
On the issues of building Information Warehouses. - Matthieu Finiasz:
NP-completeness of Certain Sub-classes of the Syndrome Decoding Problem. - David Fernández-Amorós, Ruben Heradio, José Antonio Cerrada:
Inferring Information from Feature Diagrams to Product Line Economic Models. - David Eppstein, Elena Mumford:
Steinitz Theorems for Orthogonal Polyhedra. - Ralf-Michael Vetter, Werner Lennartz, Jörg-Volker Peetz:
Modular Workflow Engine for Distributed Services using Lightweight Java Clients. - Pawel Sobocinski:
A non-interleaving process calculus for multi-party synchronisation. 87-98 - Paul Beame, Trinh Huynh, Toniann Pitassi:
Hardness Amplification in Proof Complexity. - Mingyu Fan, Hong Qiao, Bo Zhang:
Isometric Multi-Manifolds Learning. - Fang Li, Maylor K. H. Leung, Cheng Shao Chian:
Making Palm Print Matching Mobile. - Mohammad Ghulam Ali:
A Multidatabase System as 4-Tiered Client-Server Distributed Heterogeneous Database System. - Yunho Lee, Soojin Lee:
A New Efficient Key Management Protocol for Wireless Sensor and Actor Networks. - Michael Huber:
Constructing Optimal Authentication Codes with Perfect Multi-fold Secrecy. - Sabah S. Al-Fedaghi, Alaa Alsaqa, Zahraa Fadel:
Conceptual Model for Communication. - Alireza Ghahari, Reza Aghaeizadeh Zoroofi:
Sequential Clustering based Facial Feature Extraction Method for Automatic Creation of Facial Models from Orthogonal Views. - G. Ramesh, S. Sundara Vadivelu:
A Reliable and Fault Tolerant Routing for Optical WDM Networks. - Mohammad Ghulam Ali:
Object Oriented Approach for Integration of Heterogeneous Databases in a Multidatabase System and Local Schemas Modifications Propagation. - C. Yaashuwanth, R. Ramesh:
A New Scheduling Algorithms For Real Time Tasks. - P. Meenakshi Devi, M. Venkatesan, K. Duraiswamy:
Reversible Image Authentication with Tamper Localization Based on Integer Wavelet Transform. - Sebastian Kaune, Rubén Cuevas Rumín, Gareth Tyson, Andreas Mauthe, Carmen Guerrero, Ralf Steinmetz:
Unraveling BitTorrent's File Unavailability: Measurements, Analysis and Solution Exploration. - Michael W. Mahoney, Lorenzo Orecchia, Nisheeth K. Vishnoi:
A Spectral Algorithm for Improving Graph Partitions. - Annabell Berger, Matthias Müller-Hannemann:
Uniform sampling of undirected and directed graphs with a fixed degree sequence. - Karol Gregor, Gregory Griffin:
Behavior and performance of the deep belief networks on image classification. - Turlough Neary:
A boundary between universality and non-universality in spiking neural P systems. - R. Mary Lourde, Anjali Kuppayil Saji:
A Digital Guitar Tuner. - Melissa Duarte, Ashutosh Sabharwal, Chris Dick, Raghu Mysore Rao:
Beamforming in MISO Systems: Empirical Results and EVM-based Analysis. - Sudipta Chattopadhyay, Salil Kumar Sanyal:
Comparison of Performance Metrics for QPSK and OQPSK Transmission Using Root Raised Cosine and Raised Cosine Pulse shaping Filters for Applications in Mobile Communication. - Filippo Bonchi, Davide Grohmann, Paola Spoletini, Emilio Tuosto:
Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions, ICE 2009, Bologna, Italy, 31st August 2009. EPTCS 12, 2009 [contents] - Jamshid Abouei, J. David Brown, Konstantinos N. Plataniotis, Subbarayan Pasupathy:
On the Energy Efficiency of LT Codes in Proactive Wireless Sensor Networks. - Lorenzo Cappellari:
On Syndrome Decoding for Source Coding Based on Convolutional and Turbo Codes. - Mugurel Ionut Andreica, Nicolae Tapus:
New Algorithmic Approaches for Computing Optimal Network Paths with Several Types of QoS Constraints. - Mugurel Ionut Andreica, Nicolae Tapus:
Practical Algorithmic Techniques for Several String Processing Problems. - Filippo Petroni, Maurizio Serva:
Lexical evolution rates by automated stability measure. - Benjamin Nguyen, Antoine Vion, François-Xavier Dudouet, Loic Saint-Ghislain:
Applying an XML Warehouse to Social Network Analysis, Lessons from the WebStand Project. - Travis Gagie:
Grammar-Based Compression in a Streaming Model. - Urs Niesen:
Interference Alignment in Dense Wireless Networks. - Robert Brijder, Hendrik Jan Hoogeboom:
Nullity Invariance for Pivot and the Interlace Polynomial. - Filippo Petroni, Maurizio Serva:
Measures of lexical distance between languages. - A. D. Astuti, A. B. Mutiara:
Performance Analysis on Molecular Dynamics Simulation of Protein Using GROMACS. - Pablo Andres Diaz, François-Xavier Dudouet, Jean-Christophe Graz, Benjamin Nguyen, Antoine Vion:
Gouverner la standardisation par les changements d'arene. Le cas du XML. - Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni:
Search for overlapped communities by parallel genetic algorithms. - Janardhan R. Iyengar, Bryan Ford:
Flow Splitting with Fate Sharing in a Next Generation Transport Services Architecture. - Amittai Aviram, Bryan Ford:
Deterministic Execution for Multicore and Cloud Computing. - Turlough Neary:
On the computational complexity of spiking neural P systems. - C. Kalyana Chakravarthy, P. V. G. D. Prasad Reddy:
Modified Opportunistic Deficit Round Robin Scheduling for improved QOS in IEEE 802.16 WBA networks. - Bart Jacobs:
Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories. - Yasser H. Elawady, Ahmad Said Tolba:
Educational Objectives Of Different Laboratory Types: A Comparative Study. - F. F. Paes, Haroldo Fraga de Campos Velho:
Neural-estimator for the surface emission rate of atmospheric gases. - Farnaz Towhidi, Maslin Masrom:
A Survey on Recognition Based Graphical User Authentication Algorithms. - Md. Zahid Hasan, Mohammad Reaz Hossain, Md. Ashraful Islam, Riaz Hossain:
Comparative Study of Different Guard Time Intervals to Improve the BER Performance of Wimax Systems to Minimize the Effects of ISI and ICI under Adaptive Modulation Techniques over SUI1 and AWGN Communication Channels. - Samir B. Patel, Shrikant N. Pradhan, Saumitra U. Ambegaokar:
A novel approach for implementing Steganography with computing power obtained by combining Cuda and Matlab. - B. N. Lavanya, K. B. Raja, K. R. Venugopal:
Fingerprint Verification based on Gabor Filter Enhancement. - Arash Habibi Lashkari, Samaneh Farmand, Omar Bin Zakaria, Rosli Saleh:
Shoulder Surfing attack in graphical password authentication. - Samir B. Patel, Shrikant N. Pradhan:
An approach to secure highly confidential documents of any size in the corporate or institutes having unsecured networks. - Nazmeen Bibi Boodoo, R. K. Subramanian:
Robust Multi biometric Recognition Using Face and Ear Images. - Rashid Sheikh, Beerendra Kumar, Durgesh Kumar Mishra:
Privacy Preserving k Secure Sum Protocol. - Ramya Bhagavatula, Robert W. Heath Jr.:
Adaptive Limited Feedback for Sum-Rate Maximizing Beamforming in Cooperative Multicell Systems. - (Withdrawn) Explicit Capacity-achieving Codes for Worst-Case Additive Errors.
- Victor Bushkov, Nina Yevtushenko, Tiziano Villa:
Discussion on Supervisory Control by Solving Automata Equation. - Julian J. McAuley, Tibério S. Caetano:
An expected-case sub-cubic solution to the all-pairs shortest path problem in R. - G. Singaravel, V. Palanisamy, A. Krishnan:
Ethics Understanding of Software Professional In Risk Reducing Reusability Coding Using Inclusion Set Theory. - Lena Khaled:
Architectural Design Activities for JAS. - A. Sabari, K. Duraiswamy:
Ant Based Adaptive Multicast Routing Protocol (AAMRP) for Mobile Ad Hoc Networks. - Ehsan Hosseini, Mohammad Ali Nematbakhsh:
A New Approach to Cold Start in Peer to Peer File Sharing Networks. - Mutasem Khalil Sari Alsmadi, Khairuddin Bin Omar, Shahrul Azman Noah, Ibrahim Almarashdah:
Fish recognition based on the combination between robust feature selection, image segmentation and geometrical parameter techniques using Artificial Neural Network and Decision Tree. - Shakeel Ahmad, Adli Mustafa, Bashir Ahmad, Arjamand Bano, Al-Sammarraie Hosam:
Comparative Study Of Congestion Control Techniques In High Speed Networks. - G. Padmavathi, P. Subashini, M. Muthu Kumar, Suresh Kumar Thakur:
Performance analysis of Non Linear Filtering Algorithms for underwater images. - Mehdi Salkhordeh Haghighi, Hadi Sadoghi Yazdi, Abedin Vahedian, Hamed Modaghegh:
Designing Kernel Scheme for Classifiers Fusion. - Rajni Ranjan Singh, Deepak Singh Tomar:
Approaches for user profile Investigation in Orkut Social Network. - V. K. Panchal, Parminder Singh, Navdeep Kaur, Harish Kundra:
Biogeography based Satellite Image Classification. - Mohd Shahizan Othman, Lizawati Mi Yusuf, Juhana Salim:
Web Document Analysis for Companies Listed in Bursa Malaysia. - R. Ashok Kumar, K. Ganesan:
A Reliable Replication Strategy for VoD System using Markov Chain. - P. Harini, O. B. V. Ramanaiah:
An Efficient Admission Control Algorithm for Load Balancing In Hierarchical Mobile IPv6 Networks. - Shailendra Singh, Sanjay Silakari:
An ensemble approach for feature selection of Cyber Attack Dataset. - J. P. Rothe, A. K. Wadhwani, S. Wadhwani:
Short Term Load Forecasting Using Multi Parameter Regression. - Ayeesha Dsousa, Shalini Bhatia:
Refactoring of a Database. - Ismail A. Ismail, Nabawia A. El Ramly, Mohammed A. Abd-ElWahid, Passent Mohammed El-Kafrawy, Mohammed M. Nasef:
Genetic Programming Framework for Fingerprint Matching. - B. Amutha, M. Ponnavaikko:
Location Update Accuracy in Human Tracking system using Zigbee modules. - Waqar Asif, Muhammad Bilal Qasim, Syed Musa Raza Tirmzi, Usman Muhammad Khan:
Performance Evaluation of WiMAX (802.16) Using Different Encoding Schemes. - Yu Zhang, Hanwen Luo, Wen Chen:
Efficient Relay Beamforming Design with SIC Detection for Dual-Hop MIMO Relay Networks. - Janusz A. Brzozowski, Galina Jirásková, Chenglong Zou:
Quotient Complexity of Closed Languages. - Anupam Gupta, Viswanath Nagarajan, R. Ravi:
Thresholded Covering Algorithms for Robust and Max-Min Optimization. - Michael R. Fellows, Panos Giannopoulos, Christian Knauer, Christophe Paul, Frances A. Rosamond, Sue Whitesides, Nathan Yu:
Abstract Milling with Turn Costs. - Yao Yu, Athina P. Petropulu, H. Vincent Poor:
Reduced Complexity Angle-Doppler-Range Estimation for MIMO Radar That Employs Compressive Sensing. - Amin Daneshmand Malayeri, Jalal Abdollahi:
Modern Symmetric Cryptography methodologies and its applications. - Serge Boucher, Boris Verhaegen, Esteban Zimányi:
XML Multidimensional Modelling and Querying. - Vladimir Rokhlin, Mark Tygert:
A fast randomized algorithm for orthogonal projection. - MohammadHossein Bateni, Mohammad Taghi Hajiaghayi:
Euclidean Prize-collecting Steiner Forest. - Adam Barth, Benjamin I. P. Rubinstein, Mukund Sundararajan, John C. Mitchell, Dawn Xiaodong Song, Peter L. Bartlett:
A Learning-Based Approach to Reactive Security. - Michel Fliess, Cédric Join, Mamadou Mboup:
Algebraic Change-Point Detection. - Vincent K. N. Lau, Ying Cui:
Delay-Optimal Power and Subcarrier Allocation for OFDMA Systems via Stochastic Approximation. - S. Shine, K. Murali Krishnan:
Extending Karger's randomized min-cut Algorithm for a Synchronous Distributed setting. - Christian Wulff-Nilsen:
Minimum Cycle Basis and All-Pairs Min Cut of a Planar Graph in Subquadratic Time. - Ying Cui, Vincent K. N. Lau, Rui Wang:
Distributive Subband Allocation, Power and Rate Control for Relay-Assisted OFDMA Cellular System with Imperfect System State Knowledge. - Loet Leydesdorff:
Clusters and Maps of Science Journals Based on Bi-connected Graphs in the Journal Citation Reports. - Loet Leydesdorff:
The university-industry knowledge relationship: Analyzing patents and the science base of technologies. - Loet Leydesdorff, Jin Bihui:
Mapping the Chinese Science Citation Database. - Loet Leydesdorff, Janelle Ward:
Communication of Science Shop Mediation: A Kaleidoscope of University-Society Relations. - Fionn Murtagh:
Open Access, Intellectual Property, and How Biotechnology Becomes a New Software Science. - Emmanuel Jeandel, Guillaume Theyssier:
Subshifts and Logic: Back and Forth. - Carlo Abi Chahine, Jean-Philippe Kotowicz, Nathalie Chaignaud, Jean-Pierre Pécuchet:
Conception d'un outil d'aide à l'indexation de ressources pédagogiques - Extraction automatique des the?matiques et des mots-clefs de documents UNIT. - Edward Rosten, Rohan Loveland, Mark D. Hickman:
Automatic creation of urban velocity fields from aerial video. - Samir Khuller, Jian Li, Barna Saha:
Energy Efficient Scheduling via Partial Shutdown. - Mehrdad Taki, Farshad Lahouti:
Spectral Efficiency Optimization for an Interfering Cognitive Radio with Adaptive Modulation and Coding. - Loet Leydesdorff:
The Construction and Globalization of the Knowledge Base in Inter-human Communication Systems. - Loet Leydesdorff, Andrea Scharnhorst:
Measuring the Knowledge Base: A Program of Innovation Studies. - Loet Leydesdorff:
The Mutual Information of University-Industry-Government Relations: An Indicator of the Triple Helix Dynamics. - Loet Leydesdorff:
'Interaction' versus 'action' in Luhmann's sociology of communication. - Caroline S. Wagner, Loet Leydesdorff:
A study of seismology as a dynamic, distributed area of scientific research. - Loet Leydesdorff:
Communication and Knowledge: How is the knowledge base of an economy constructed? - Amit Deshpande, Kasturi R. Varadarajan, Madhur Tulsiani, Nisheeth K. Vishnoi:
Algorithms and Hardness for Subspace Approximation. - Yilun Shang:
Topological Properties of an Exponential Random Geometric Graph Process. - Anatoly Pashkevich, Alexandr Klimchik, Damien Chablat:
Nonlinear Effects in Stiffness Modeling of Robotic Manipulators. - Carlo Abi Chahine, Nathalie Chaignaud, Jean-Philippe Kotowicz, Jean-Pierre Pécuchet:
Context and Keyword Extraction in Plain Text Using a Graph Representation. - José Ignacio Alvarez-Hamelin, Mariano G. Beiró, Jorge Rodolfo Busch:
Understanding edge-connectivity in the Internet through core-decomposition. - Jan-Åke Larsson, Jacob Löfvenberg:
Comment on "New Results on Frame-Proof Codes and Traceability Schemes". - (Withdrawn) Good characterization for path packing in a subclass of Karzanov networks.
- Michel Habib, Christophe Paul:
A survey on algorithmic aspects of modular decomposition. - Ronald Hochreiter:
Evolutionary multi-stage financial scenario tree generation. - P. Thomas Fletcher, John Moeller, Jeff M. Phillips, Suresh Venkatasubramanian:
Computing Hulls And Centerpoints In Positive Definite Space. - Alexandra Kolla, Yury Makarychev, Amin Saberi, Shang-Hua Teng:
Subgraph Sparsification and Nearly Optimal Ultrasparsifiers. - Namrata Vaswani:
KF-CS: Compressive Sensing on Kalman Filtered Residual. - Xiaorong Hou, Junwei Shao:
Completeness of the WDS method in Checking Positivity of Integral Forms. - Manar Mohaisen, KyungHi Chang:
Maximum-likelihood co-channel interference cancellation with power control for cellular OFDM networks. - Manar Mohaisen, KyungHi Chang:
On the achievable improvement by the linear minimum mean square error detector. - Manar Mohaisen, Bing Hui, KyungHi Chang, Seunghwan Ji, Jinsoup Joung:
Fixed-complexity vector perturbation with Block diagonalization for MU-MIMO systems. - (Withdrawn) On the Rationality of Escalation.
- Samuel Piker:
An evaluation of Flickrs distributed classification system, from the perspective of its members, and as an image retrieval tool in comparison with a controlled vocabulary. - Andrew Chong, Lalitha Sankar, H. Vincent Poor:
Frequency of Occurrence and Information Entropy of American Sign Language. - Amit Kumar, Rajsekar Manokaran, Madhur Tulsiani, Nisheeth K. Vishnoi:
On the Optimality of a Class of LP-based Algorithms. - Eric Goles Chacc, Pierre-Etienne Meunier, Ivan Rapaport, Guillaume Theyssier:
Communication Complexity and Intrinsic Universality in Cellular Automata. - Stanislav Bulygin, Olav Geil, Diego Ruano:
A Note on the Injection Distance. - Abdelkader Outtagarts, Olivier Martinot:
iSSEE: IMS Sensors Search Engine Enabler for Sensors Mashups Convergent Application. - Nevin Vunka Jungum, Eric Laurent:
Emotions in Pervasive Computing Environments. - Samaneh Rastegari, M. Iqbal Saripan, Mohd Fadlee A. Rasid:
Detection of Denial of Service Attacks against Domain Name System Using Neural Networks. - Mirzanur Rahman, Sufal Das, Utpal Sharma:
Parsing of part-of-speech tagged Assamese Texts. - S. Kannan, R. Bhaskaran:
Association Rule Pruning based on Interestingness Measures with Clustering. - Jamal Ali Hussein, Aree Ali Mohammed:
Robust Video Watermarking using Multi-Band Wavelet Transform. - Vu-Thanh Nguyen:
Using social annotation and web log to enhance search engine. - Dang Tuan Nguyen, Ha Quy-Tinh Luong:
Document Searching System based on Natural Language Query Processing for Vietnam Open Courseware Library. - Kazumoto Tanaka:
Gesture Recognition with a Focus on Important Actions by Using a Path Searching Method in Weighted Graph. - Akshay K. Ojha, K. K. Biswal:
Lexicographic Multi-objective Geometric Programming Problems. - T. T. Lwin, T. Thein:
High Availability Cluster System for Local Disaster Recovery with Markov Modeling Approach. - Kaiyu Wan:
A Brief History of Context. - Dhirendra Sharma, Vikram Singh:
ICT in Universities of the Western Himalayan Region in India: Status, Performance- An Assessment. - Israa AlAttili, Fred Houben, Georgeta Igna, Steffen Michels, Feng Zhu, Frits W. Vaandrager:
Adaptive Scheduling of Data Paths using Uppaal Tiga. 1-11 - Marco Bernardo:
Markovian Testing Equivalence and Exponentially Timed Internal Actions. 13-25 - Ukachukwu Ndukwu:
Quantitative Safety: Linking Proof-Based Verification with Model Checking for Probabilistic Systems. 27-39 - Mathijs Schuts, Feng Zhu, Faranak Heidarian, Frits W. Vaandrager:
Modelling Clock Synchronization in the Chess gMAC WSN Protocol. 41-54 - Nikola Trcka:
Strong, Weak and Branching Bisimulation for Transition Systems and Markov Reward Chains: A Unifying Matrix Approach. 55-65 - Hao Wang, Wendy MacCaull:
Verifying Real-Time Systems using Explicit-time Description Methods. 67-78 - Rajiv Ranjan, Liang Zhao, Xiaomin Wu, Anna Liu:
Peer-to-Peer Cloud Provisioning: Service Discovery and Load-Balancing. - Saif K. Mohammed, Emanuele Viterbo, Yi Hong, Ananthanarayanan Chockalingam:
MIMO Precoding with X- and Y-Codes. - Chengqing Li, Kwok-Tung Lo:
Security analysis of a binary image permutation scheme based on Logistic map. - Jean-François Biasse:
An L(1/3) algorithm for ideal class group and regulator computation in certain number fields. - Paul Dütting, Monika Henzinger, Ingmar Weber:
Sponsored Search, Market Equilibria, and the Hungarian Method. - Mari Kobayashi, Nihar Jindal, Giuseppe Caire:
Training and Feedback Optimization for Multiuser MIMO Downlink. - Y. Briceno, H. Y. Contreras, Luis A. Núñez, Françoise Salager-Meyer, A. Rojas, Rodrigo Torrens:
Institutional Repository saber.ula.ve: A testimonial perspective. - Mugurel Ionut Andreica:
Efficient Gaussian Elimination on a 2D SIMD Array of Processors without Column Broadcasts. - Rob J. van Glabbeek, Bas Luttik, Nikola Trcka:
Computation Tree Logic with Deadlock Detection. - Adrian Dumitrescu, Minghui Jiang:
Dispersion in unit disks. - Suzana Andova, Annabelle McIver, Pedro R. D'Argenio, Pieter J. L. Cuijpers, Jasen Markovski, Carroll Morgan, Manuel Núñez:
Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications, QFM 2009, Eindhoven, The Netherlands, 3rd November 2009. EPTCS 13, 2009 [contents] - Emil Vassev:
Enterprise Multi-Branch Database Synchronization with MSMQ. - Liqun Fu, Soung Chang Liew, Jianwei Huang:
Effective Carrier Sensing in CSMA Networks under Cumulative Interference. - Pedro Pablo Pérez Velasco:
Matrix Graph Grammars: Transformation of Restrictions. - Svante Janson:
Renewal theory in analysis of tries and strings. - Mauro Conti, Roberto Di Pietro, Andrea Gabrielli, Luigi V. Mancini, Alessandro Mei:
The Smallville Effect: Social Ties Make Mobile Networks More Secure Against the Node Capture Attack. - Charles Sauerbier:
Computing a Discrete Logarithm in O(n^3). - Neelu Nihalani, Sanjay Silakari, Mahesh Motwani:
Design of Intelligent layer for flexible querying in databases. - C. P. Agrawal, O. P. Vyas, Manoj Kumar Tiwari:
Evaluation of Varrying Mobility Models & Network Loads on DSDV Protocol of MANETs. - Dang Tran Tri, Tran Khanh Dang:
Security Visualization for peer-to-peer resource sharing applications. - Shishir Kumar, Durgesh Pant:
Detection and Prevention of New and Unknown Malware using Honeypots. - S. Ayyasamy, S. N. Sivanandam:
A QoS-Aware Intelligent Replica Management Architecture for Content Distribution in Peer-to-Peer Overlay Networks. - N. Gopalakrishna Kini, M. Sathish Kumar, H. S. Mruthyunjaya:
Performance Metrics Analysis of Torus Embedded Hypercube Interconnection Network. - R. Bremananth, R. Thushara:
Fault Predictions in Object Oriented Software. - Ali Douik, Mourad Moussa Jlassi:
Synthesis of supervised classification algorithm using intelligent and statistical tools. - Ratish Agarwal, Mahesh Motwani:
Survey of clustering algorithms for MANET. - Nasir Mahmood Malik, Tehmina Khalil, Samina Khalid, Faisal Munir Malik:
PKI Implementation Issues: A Comparative Study of Pakistan with some Asian Countries. - Jayanthi Manicassamy, P. Dhavachelvan:
Rank Based Clustering For Document Retrieval From Biomedical Databases. - Vincy Joseph, Shalini Bhatia:
NeuralNetwork Based 3D Surface Reconstruction. - Jayanthi Manicassamy, P. Dhavachelvan:
VirusPKT: A Search Tool For Assimilating Assorted Acquaintance For Viruses. - Y. Ireaneus Anna Rejani, S. Thamarai Selvi:
Early Detection of Breast Cancer using SVM Classifier Technique. - G. Kheder, Abdennacer Kachouri, M. Ben Massoued, Mounir Samet:
Heart Rate Variability Analysis Using Threshold of Wavelet Package Coefficients. - Shashikala Channalli, Ajay Jadhav:
Steganography An Art of Hiding Data. - Ch. V. M. K. Hari, P. V. G. D. Prasad Reddy, J. N. V. R. Swarup Kumar, G. SriRamGanesh:
Identifying the Importance of Software Reuse in COCOMO81, COCOMOII. - Christine Tasson:
Algebraic totality, towards completeness. - Fedor V. Fomin, Daniel Lokshtanov, Venkatesh Raman, B. V. Raghavendra Rao, Saket Saurabh:
Faster Algorithms for Finding and Counting Subgraphs. - Salam Akoum, Robert W. Heath Jr.:
Limited Feedback for Temporally Correlated MIMO Channels with Other Cell Interference. - R. Camacho, Reinaldo Chacón, Gilberto Díaz, C. Guada, Vanessa Hamar, Herbert Hoeger, A. Melfo, Luis A. Núñez, Y. Pérez, Carlos Quintero, M. Rosales, Rodrigo Torrens:
LAGOVirtual: A Collaborative Environment for the Large Aperture GRB Observatory. - Byron Boots, Sajid M. Siddiqi, Geoffrey J. Gordon:
Closing the Learning-Planning Loop with Predictive State Representations. - Ioannis Antonellis, Anish Das Sarma, Shaddin Dughmi:
Space Constrained Dynamic Covering. - Thomas Philip Runarsson, Juan Julián Merelo Guervós:
Adapting Heuristic Mastermind Strategies to Evolutionary Algorithms. - Feng Xia, Zhenzhen Xu, Lin Yao, Weifeng Sun, Mingchu Li:
Prediction-Based Data Transmission for Energy Conservation in Wireless Body Sensors. - (Withdrawn) Pervasive Emotions in Pervasive Computing Environments.
- Riccardo Rovatti, Cristiano Passerini, Gianluca Mazzini:
Markov Modeling of Cooperative Multiplayer Coupon Collectors' Problems. - Grigorios Loukides, Aris Gkoulalas-Divanis, Bradley A. Malin:
COAT: COnstraint-based Anonymization of Transactions. - Attila Kertész, Zsolt Németh:
Formal Aspects of Grid Brokering. 18-31 - Stefan Blom, Jaco van de Pol:
Distributed Branching Bisimulation Minimization by Inductive Signatures. 32-46 - Paolo Ballarini, Michele Forlin, Tommaso Mazza, Davide Prandi:
Efficient Parallel Statistical Model Checking of Biochemical Networks. 47-61 - Siert Wieringa, Matti Niemenmaa, Keijo Heljanko:
Tarmo: A Framework for Parallelized Bounded Model Checking. 62-76 - Hao Wang, Wendy MacCaull:
An Efficient Explicit-time Description Method for Timed Model Checking. 77-91 - Fuad Abujarad, Borzoo Bonakdarpour, Sandeep S. Kulkarni:
Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed Programs. 92-106 - Jiri Barnat, Lubos Brim, Milan Ceska:
DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking. 107-111 - Jens M. Schmidt:
Construction Sequences and Certifying 3-Connectedness. - Karthik Narayanaswami:
A Model-Based Approach to Predicting Predator-Prey & Friend-Foe Relationships in Ant Colonies. - Maurice J. Jansen, Youming Qiao, Jayalal Sarma:
Deterministic Identity Testing of Read-Once Algebraic Branching Programs. - Emmanuel Agullo, Camille Coti, Jack J. Dongarra, Thomas Hérault, Julien Langou:
QR Factorization of Tall and Skinny Matrices in a Grid Computing Environment. - Massimo Franceschet, Antonio Costantini:
The first Italian research assessment exercise: a bibliometric perspective. - Bruno Grenet, Pascal Koiran, Natacha Portier:
The multivariate resultant lies between NP and AM. - Dietrich Kuske:
Is Ramsey's theorem omega-automatic? - Rahul Vaze, Robert W. Heath Jr.:
Transmission Capacity of Ad-hoc Networks with Multiple Antennas using Transmit Stream Adaptation and Interference Cancelation. - Sergey Andreyev:
On the theory of moveable objects. - Daniel M. Kane:
The Gaussian Surface Area and Noise Sensitivity of Degree-$d$ Polynomials. - Gianfranco Ciardo, Yang Zhao, Xiaoqing Jin:
Parallel symbolic state-space exploration is difficult, but what is the alternative? 1-17 - (Withdrawn) Combining Partial Order Alignment and Progressive Near-Optimal Alignment.
- David Peleg, Liam Roditty:
Relaxed spanners for directed disk graphs. - Rathinakumar Appuswamy, Massimo Franceschetti, Nikhil Karamchandani, Kenneth Zeger:
Network Coding for Computing Part I : Cut-Set Bounds. - Gerhard Mayer:
Data management in Systems biology II - Outlook towards the semantic web. - Floriana Gargiulo, Sonia Ternes, Sylvie Huet, Guillaume Deffuant:
An iterative approach for generating statistically realistic populations of households. - Peter Jung:
Pulse Shaping, Localization and the Approximate Eigenstructure of LTV Channels. - (Withdrawn) Intrusion Detection In Mobile Ad Hoc Networks Using GA Based Feature Selection.
- Agostino Dovier, Andrea Formisano, Enrico Pontelli:
Multi-valued Action Languages in CLP(FD). - Artur Ventura:
JSC : A JavaScript Object System. - Lothar Lemnitzer, Laurent Romary, Andreas Witt:
Representing human and machine dictionaries in Markup languages. - Josef Svenningsson, David Sands:
Specification and Verification of Side Channel Declassification. - Otfried Cheong, Xavier Goaoc, Cyril Nicaud:
Set Systems and Families of Permutations with Small Traces. - Panagiotis Cheilaris, Géza Tóth:
Graph unique-maximum and conflict-free colorings. - Akitoshi Kawamura, Jirí Matousek, Takeshi Tokuyama:
Zone Diagrams in Euclidean Spaces and in Other Normed Spaces. - Viveck R. Cadambe, Syed Ali Jafar:
Interference Alignment and a Noisy Interference Regime for Many-to-One Interference Channels. - Lubos Brim, Jaco van de Pol:
Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2009, Eindhoven, The Netherlands, 4th November 2009. EPTCS 14, 2009 [contents] - Chengqing Li, Shujun Li, Kwok-Tung Lo:
Breaking a modified substitution-diffusion image cipher based on chaotic standard and logistic maps. - Lingjie Duan, Jianwei Huang, Biying Shou:
Cognitive Mobile Virtual Network Operator: Investment and Pricing with Supply Uncertainty. - Evan VanderZee, Anil N. Hirani, Damrong Guoy, Vadim Zharnitsky, Edgar A. Ramos:
Geometric and Combinatorial Properties of Well-Centered Triangulations in Three and Higher Dimensions. - Loet Leydesdorff, Alkim Almila Akdag Salah:
Maps on the basis of the Arts & Humanities Citation Index: The journals Leonardo and Art Journal versus "Digital Humanities" as a topic. - Nadia Creignou, Johannes Schmidt, Michael Thomas:
Complexity of Propositional Abduction for Restricted Sets of Boolean Functions. - Harry Buhrman, Lance Fortnow, Michal Koucký, Bruno Loff:
Derandomizing from Random Strings. - Shiri Chechik, David Peleg:
Robust Fault Tolerant uncapacitated facility location. - Valeriy K. Bulitko, Vadim Bulitko:
On Backtracking in Real-time Heuristic Search. - Paolo Minero, Massimo Franceschetti, David N. C. Tse:
Random Access: An Information-Theoretic Perspective. - Nicola Basilico, Nicola Gatti, Francesco Amigoni:
A Formal Framework for Mobile Robot Patrolling in Arbitrary Environments with Adversaries. - Corinna Cortes, Mehryar Mohri, Afshin Rostamizadeh:
New Generalization Bounds for Learning Kernels. - David Kempe, Mahyar Salek, Cristopher Moore:
Frugal and Truthful Auctions for Vertex Covers, Flows, and Cuts. - Adam J. Tenenbaum, Raviraj S. Adve:
Minimizing Sum-MSE Implies Identical Downlink and Dual Uplink Power Allocations. - Thomas E. Gorochowski, Mario di Bernardo, Claire S. Grierson:
NetEvo: A computational framework for the evolution of dynamical complex networks. - Ning Chen, Edith Elkind, Nick Gravin, Fedor Petrov:
Frugal Mechanism Design via Spectral Techniques. - Patrick Marsch, Peter Rost, Gerhard P. Fettweis:
Application Driven Joint Uplink-Downlink Optimization in Wireless Communications. - Angelo Montanari, Gabriele Puppis, Pietro Sala, Guido Sciavicco:
Decidability of the interval temporal logic ABBar over the natural numbers. - Philippe Jacquet, Bernard Mans, Georgios Rodolakis:
On Space-Time Capacity Limits in Mobile and Delay Tolerant Networks. - Susan Khor:
Application of Graph Coloring to Biological Networks. - Diptikalyan Saha, Paul Fodor:
A simple and efficient explicit parallelization of logic programs using low-level threading primitives. - (Withdrawn) Spectrum Sharing as Network Congestion Games.
- Martin Lévesque:
A Metamodel of Unit Testing for Object-Oriented Programming Languages. - Marcus Hutter, Nathan Brewer:
Matching 2-D Ellipses to 3-D Circles with Application to Vehicle Pose Estimation. - Emmanuel J. Candès, Xiaodong Li, Yi Ma, John Wright:
Robust Principal Component Analysis? - Andrei A. Voronenko:
New Learning and Testing Problems for Read-Once Functions. - Jean-Camille Birget:
On the circuit-size of inverses. - Ion Androutsopoulos, Prodromos Malakasiotis:
A Survey of Paraphrasing and Textual Entailment Methods. - László Egri, Andrei A. Krokhin, Benoît Larose, Pascal Tesson:
The complexity of the list homomorphism problem for graphs. - Michael Drew Lamar:
On uniform sampling simple directed graph realizations of degree sequences. - Sathish Gopalakrishnan:
Sharp utilization thresholds for some real-time scheduling problems. - Vinith Reddy, Younghoon Kim, Srinivas Shakkottai, A. L. Narasimha Reddy:
Designing ISP-friendly Peer-to-Peer Networks Using Game-based Control. - Ismael Ràfols, Alan L. Porter, Loet Leydesdorff:
Science overlay maps: a new tool for research policy and library management. - Jiwoong Lee, Jean C. Walrand:
Strategic Attitude against Information Uncertainty. - Alex Yufit, Asi Lifshitz, Yair Be'ery:
Efficient Linear Programming Decoding of HDPC Codes. - Mustapha Guezouri, Larbi Mesbahi, Abdelkader Benyettou:
Speech Recognition Oriented Vowel Classification Using Temporal Radial Basis Functions. - María Verónica Alderete:
E-commerce between a large firm and a SME supplier: a screening model. - Oludele Awodele, Ogunnusi Ayodele, Omole Oladele, Seton Olurotimi:
Design of an Automated Intrusion Detection System incorporating an Alarm. - I. Bostan, D. Mates, V. Grosu, E. Iancu:
Alternate methods of evaluation for web sites concordant to IAS/IFRS Standards. - Nagaraj V. Dharwadkar, B. B. Amberker:
Secure Watermarking Scheme for Color Image Using Intensity of Pixel and LSB Substitution. - M. Ramaswami, R. Bhaskaran:
A Study on Feature Selection Techniques in Educational Data Mining. - Vamsi Kundeti:
A Simplified Proof For The Application Of Freivalds' Technique to Verify Matrix Multiplication. - P. Balasubramanie, M. Lilly Florence:
Application of Radial Basis Network Model for HIV/AIDs Regimen Specifications. - Akshay K. Ojha, C. Mallick, Dushmanta Mallick:
Logarithmic Barrier Optimization Problem Using Neural Network. - Philip M. Davis:
Studies on access: a review. - Chih-Hao Liu, Yi-Wen Jiu, Jason Jen-Yen Chen:
Using Design Sketch to Teach Bubble Sort in High School. - S. Arumugom, S. Muthuraman, V. Ponselvan:
Modeling and Application of Series Elastic Actuators for Force Control Multi Legged Robots. - Dhiren R. Patel, Sidheshwar A. Khuba:
Realization of Semantic Atom Blog. - Chow Kok Kent, Naomie Salim:
Web Based Cross Language Plagiarism Detection. - M. Mary Linda, N. Kesavan Nair:
Optimal Design of Fuzzy Based Power System Stabilizer Self Tuned by Robust Search Algorithm. - Yee Ming Chen, Bo-Yuan Wang, Hung-Ming Shiu:
Enhancing Multi-Agent Based Simulation with Human-Agents Interactive Spatial Behaviour. - G. MadhusudhanaRao, B. V. SankerRam:
Speed Control of Multi Level Inverter Designed DC Series Motor with Neuro-Fuzzy Controllers. - Hani M. Al-Matari, Sattar J. Aboud, Nidal F. Shilbayeh:
Fast Fraction-Integer Method for Computing Multiplicative Inverse. - P. Jagatheeswari, M. Rajaram:
A Novel Channel Coding for Progressive Transmission of Medical Images. - T. Rajendran, P. Balasubramanie:
Analysis on the Study of QoS-Aware Web Services Discovery. - Shishir Kumar, Mahesh Kumar:
Towards Expeditious and Unswerving Routing to Corroborate Nascent Internet. - Mirela Danubianu, Iolanda Tobolcea, Stefan Gheorghe Pentiuc:
Advanced Technology in Speech Disorder Therapy of Romanian Language. - Nitin A. Naik, Gajanan D. Kurundkar, Santosh D. Khamitkar, Namdeo V. Kalyankar:
Penetration Testing: A Roadmap to Network Security. - S. Rodthong, B. Burapattanasiri:
The Effected Oxide Capacitor in CMOS Structure of Integrated Circuit Level 5 Micrometer Technology. - Namdeo V. Kalyankar:
Network Traffic Management. - Angkoon Phinyomark, Chusak Limsakul, Pornchai Phukpattaranont:
A Novel Feature Extraction for Robust EMG Pattern Recognition. - Martín Leonardo Larrea, Dana K. Urribarri, Sergio Martig, Silvia M. Castro:
Spherical Layout Implementation using Centroidal Voronoi Tessellations. - P. Ramasubramanian, K. Iyakutti, P. Thangavelu, J. Joy Winston:
Teaching Result Analysis Using Rough Sets and Data Mining. - Shahab Oveis Gharan, Alireza Bayesteh, Amir K. Khandani:
Diversity-Multiplexing Tradeoff in Multi-Antenna Multi-Relay Networks: Improvements and Some Optimality Results. - Jamal Ali Hussein, Mumtaz A. AlMukhtar:
Fair Exchange of Digital Signatures using RSA-based CEMBS and Offline STTP. - Shahab Oveis Gharan, Amir K. Khandani:
Multiplexing Gain of Amplify-Forward Relaying in Wireless Multi-Antenna Relay Networks. - D. Bhanu, S. Pavai Madeshwari:
Retail Market analysis in targeting sales based on Consumer Behaviour using Fuzzy Clustering - A Rule Based Mode. - Samarjeet Borah, Mrinal Kanti Ghose:
Performance Analysis of AIM-K-means & K-means in Quality Cluster Generation. - Durgesh Kumar Mishra, Samiksha Shukla:
Multi-Agent Model using Secure Multi-Party Computing in e-Governance. - Ram Kumar Singh, T. Ramajujam:
New Model of Network- a Future Aspect of the Computer Networks. - Hamid Abdullah Jalab, A. A. Zaidan, B. B. Zaidan:
Frame Selected Approach for Hiding Data within MPEG Video Using Bit Plane Complexity Segmentation. - Niranjan Srinivas, Andreas Krause, Sham M. Kakade, Matthias W. Seeger:
Gaussian Process Bandits without Regret: An Experimental Design Approach. - Rob J. van Glabbeek, Gordon D. Plotkin:
Configuration Structures, Event Structures and Petri Nets. - Emil Vassev:
Process Description of COM Object Life Cycle. - Givon Zirkind:
Windtalking Computers: Frequency Normalization, Binary Coding Systems and Encryption. - (Withdrawn) Computing the Prime Factoring of an Integer in O(n^4).
- Wei Ren, Qing Zhao, Ananthram Swami:
On the Connectivity and Multihop Delay of Ad Hoc Cognitive Radio Networks. - Axel Kohnert:
New [48,16,16] Optimal Linear Binary Block Code. - Swaminathan Sankararaman, Alon Efrat, Srinivasan Ramasubramanian, Pankaj K. Agarwal:
On Channel-Discontinuity-Constraint Routing in Wireless Networks. - Stefan Göller, Markus Lohrey:
Branching-time model checking of one-counter processes. - Borja González-Pereira, Vicente P. Guerrero-Bote, Félix de Moya-Anegón:
The SJR indicator: A new indicator of journals' scientific prestige. - Keiko Imai, Akitoshi Kawamura, Jirí Matousek, Daniel Reem, Takeshi Tokuyama:
Distance k-Sectors Exist. - Jianhua Zhao, Xuandong Li:
Scope Logic: Extending Hoare Logic for Pointer Program Verification. - Massimo Franceschet:
The skewness of computer science. - Javier Esparza, Andreas Gaiser, Stefan Kiefer:
Computing Least Fixed Points of Probabilistic Systems of Polynomials. - Oussama Hammami, Christian Lathion, Emin Gabrielyan:
Dynamic routing based on call quality. - Avi Zanko, Amir Leshem, Ephraim Zehavi:
Turbo Analog Error Correcting Codes Decodable By Linear Programming. - Mano Yadav, Vinay Rishiwal, G. Arora, S. Makka:
Modified Minimum Connected Dominating Set formation for Wireless Adhoc Networks. - Mano Yadav, Vinay Rishiwal, K. V. Arya:
Routing in Wireless Adhoc Networks: A New Horizon. - Manh Thang Nguyen, Danny De Schreye, Jürgen Giesl, Peter Schneider-Kamp:
Polytool: polynomial interpretations as a basis for termination analysis of Logic programs. - Amir Mahdi Khodaian, Babak Hossein Khalaj:
Delay-Constrained Utility Maximization in Multihop Random Access Networks. - Xiaorong Hou, Song Xu:
Simplex Subdivisions and Nonnegativity Decision of Forms. - Xiaorong Hou, Song Xu, Junwei Shao:
The weighted difference substitutions and Nonnegativity Decision of Forms. - Shankar Vembu:
Learning to Predict Combinatorial Structures. - Markus Wittmann, Georg Hager, Gerhard Wellein:
Multicore-aware parallel temporal blocking of stencil codes for shared and distributed memory. - Reginaldo J. da Silva Filho, Matthias R. Brust, Carlos H. C. Ribeiro:
Consensus Dynamics in a non-deterministic Naming Game with Shared Memory. - Sanket Dusad, Suhas N. Diggavi:
On successive refinement of diversity for fading ISI channels. - Manabu Shimada, Kazuyuki Amano:
A Note on the Middle Levels Conjecture. - Ho-Leung Chan, Tak Wah Lam, Lap-Kei Lee, Hing-Fung Ting:
Continuous Monitoring of Distributed Data Streams over a Time-based Sliding Window. - Brijnesh J. Jain, Klaus Obermayer:
A Necessary and Sufficient Condition for Graph Matching Being Equivalent to the Maximum Weight Clique Problem. - (Withdrawn) On the Optimal Number of Cooperative Base Stations in Network MIMO.
- Brijnesh J. Jain, Klaus Obermayer:
Elkan's k-Means for Graphs. - Bireswar Das, Samir Datta, Prajakta Nimbhorkar:
Log-space Algorithms for Paths and Matchings in k-trees. - Pedro David Arjona-Villicaña, Costas C. Constantinou, Alexander Stepanenko:
Chain Routing: A new routing framework for the Internet based on complete orders. - Jan A. Bergstra, Mark Burgess:
Local and Global Trust Based on the Concept of Promises. - Boris Ryabko, Zhanna Reznikova:
The use of ideas of Information Theory for studying "language" and intelligence in ants. - Johannes Rauh:
Finding the Maximizers of the Information Divergence from an Exponential Family. - Charles Sauerbier:
Discovery of Elliptic Curve Cryptographic Private Key in O(n). - Chao Li, Michael Hay, Vibhor Rastogi, Gerome Miklau, Andrew McGregor:
Optimizing Histogram Queries under Differential Privacy. - Ratthachat Chatpatanasiri, Thavivongse Sriburi:
Demand-Supply Optimization with Risk Management for a Multi-Connection Water Reservoir Network. - Haim H. Permuter, Young-Han Kim, Tsachy Weissman:
Interpretations of Directed Information in Portfolio Theory, Data Compression, and Hypothesis Testing. - Julien Cohen:
Typing rule-based transformations over topological collections. - Julien Cohen:
Typage fort et typage souple des collections topologiques et des transformations. - Alain Bonardi, Francis Rousseaux:
Similarité en intension vs en extension : à la croisée de l'informatique et du théâtre. - Alain Bonardi, Francis Rousseaux:
How Do Interactive Virtual Operas Shift Relationships between Music, Text and Image? - Francis Rousseaux, Alain Bonardi:
Music-ripping: des pratiques qui provoquent la musicologie. - Alain Bonardi, Francis Rousseaux:
Interagir avec un contenu opératique : le projet d'opéra virtuel interactif Virtualis. - Daniil Ryabko:
On Finding Predictors for Arbitrary Families of Processes. - Prahladh Harsha, Adam R. Klivans, Raghu Meka:
An Invariance Principle for Polytopes. - Minghui Jiang:
Inapproximability of maximal strip recovery. - Li Chen:
Genus Computing for 3D digital objects: algorithm and implementation. - Antonis Achilleos, Michael Lampis, Valia Mitsou:
Parameterized Modal Satisfiability. - Jeroen Ketema, Jakob Grue Simonsen:
Infinitary Combinatory Reduction Systems: Normalising Reduction Strategies. - Petros Boufounos, Gitta Kutyniok, Holger Rauhut:
Sparse Recovery from Combined Fusion Frame Measurements. - Hamed O. Ghaffari:
Complexity Analysis of Unsaturated Flow in Heterogeneous Media Using a Complex Network Approach. - Jaeok Park, Mihaela van der Schaar:
Cognitive MAC Protocols Using Memory for Distributed Spectrum Sharing under Limited Spectrum Sensing. - Masato Tajima, Koji Okino, Takashi Miyagoshi:
1-State Error-Trellis Decoding of LDPC Convolutional Codes Based on Circulant Matrices. - (Withdrawn) The MacWilliams Theorem for Four-Dimensional Modulo Metrics.
- Matteo Pradella:
A User's Guide to Zot. - Christos Dimitrakakis:
Complexity of stochastic branch and bound methods for belief tree search in Bayesian reinforcement learning. - Sergey Loyka, Victoria Kostina, François Gagnon:
Bit Error Rate is Convex at High SNR. - Yao Li, Emina Soljanin:
Rateless Codes for Single-Server Streaming to Diverse Users. - (Withdrawn) A Rational Decision Maker with Ordinal Utility under Uncertainty: Optimism and Pessimism.
- Travis Gagie:
A Lower Bound on the Complexity of Approximating the Entropy of a Markov Source. - Asaf Shabtai, Yuval Fledel, Uri Kanonov, Yuval Elovici, Shlomi Dolev:
Google Android: A State-of-the-Art Review of Security Mechanisms. - Reinert Korsnes, Knut Øvsthus:
Inspiration from genetics to promote recognition and protection within ad hoc sensor networks. - Yashodhan Kanoria, Andrea Montanari:
On the deletion channel with small deletion probability. - Pankaj K. Agarwal, Jeff M. Phillips, Bardia Sadri:
Lipschitz Unimodal and Isotonic Regression on Paths and Trees. - Pedro David Arjona-Villicaña, Costas C. Constantinou, Alexander Stepanenko:
The Internet's unexploited path diversity. - Panagiotis Papadimitratos:
"On the Road" - Reflections on the Security of Vehicular Communication Systems. - Wolfgang Gatterbauer, Magdalena Balazinska, Nodira Khoussainova, Dan Suciu:
Believe It or Not: Adding Belief Annotations to Databases. - Aditya Dua, Dimitrios Tsamis, Nicholas Bambos, Jatinder Pal Singh:
Dynamic Task Fetching Over Time Varying Wireless Channels for Mobile Computing Applications. - Joshua Brody, Amit Chakrabarti, Oded Regev, Thomas Vidick, Ronald de Wolf:
Better Gap-Hamming Lower Bounds via Better Round Elimination. - Ashot Vagharshakyan:
Uniqueness theorem for analytic functions and its application in denoising problem. - P. Arun Kumar:
High-Speed Signature Matching in Network Interface Device using Bloom Filters. - Alfredo A. Ortega, Victor A. Bettachini, José Ignacio Alvarez-Hamelin, Diego F. Grosz:
A CDMA Secure Optical Access Network. - Doron Goldstein, Michael Langberg:
The Dense k Subgraph problem. - Riaz Ahmed Shaikh, Hassan Jameel, Brian J. d'Auriol, Heejo Lee, Sungyoung Lee, Young Jae Song:
Intrusion-aware Alert Validation Algorithm for Cooperative Distributed Intrusion Detection Schemes of Wireless Sensor Networks. - Alexandra Meliou, Wolfgang Gatterbauer, Katherine F. Moore, Dan Suciu:
Why so? or Why no? Functional Causality for Explaining Query Answers. - Marco Pedicini, Mario Piazza:
Elementary Complexity and von Neumann Algebras. - Evangelos Karapanos, Jean-Bernard Martens, Marc Hassenzahl:
Reconstructing Experiences through Sketching. - Yao Xie, Andrea J. Goldsmith:
Diversity-Multiplexing-Delay Tradeoffs in MIMO Multihop Networks with ARQ. - Darko Dimitrov, Mathias Holst, Christian Knauer, Klaus Kriegel:
Computing Principal Components Dynamically. - Panagiotis Papadimitratos, Levente Buttyán, Tamás Holczer, Elmar Schoch, Julien Freudiger, Maxim Raya, Zhendong Ma, Frank Kargl, Antonio Kung, Jean-Pierre Hubaux:
Secure Vehicular Communication Systems: Design and Architecture. - Frank Kargl, Panagiotis Papadimitratos, Levente Buttyán, Michael Müter, Björn Wiedersheim, Elmar Schoch, Ta Vinh Thong, Giorgio Calandriello, Albert Held, Antonio Kung, Jean-Pierre Hubaux:
Secure Vehicular Communication Systems: Implementation, Performance, and Research Challenges. - Yuriy Arbitman, Moni Naor, Gil Segev:
Backyard Cuckoo Hashing: Constant Worst-Case Operations with a Succinct Representation. - Xiaokui Xiao, Ke Yi, Yufei Tao:
The Hardness and Approximation Algorithms for L-Diversity. - Marcus Hutter:
A Complete Theory of Everything (will be subjective). - Artur J. Ferreira, Arlindo L. Oliveira, Mário A. T. Figueiredo:
Time and Memory Efficient Lempel-Ziv Compression Using Suffix Arrays. - Thomas C. Schmidt, Arne Hildebrand, Michael Engelhardt, Dagmar Lange:
From a Link Semantic to Semantic Links - Building Context in Educational Hypermedia. - Jirí Fiala, Marcin Kaminski, Bernard Lidický, Daniël Paulusma:
The k-in-a-path problem for claw-free graphs. - Gerald Paul:
A Variable Depth Sequential Search Heuristic for the Quadratic Assignment Problem. - Miao Song, Serguei A. Mokhov, Peter Grogono:
Teaching Physical Based Animation via OpenGL Slides. - Panagiotis Papadimitratos, Zygmunt J. Haas, Jean-Pierre Hubaux:
How to Specify and How to Prove Correctness of Secure Routing Protocols for MANET. - Serguei A. Mokhov, Miao Song, Ching Y. Suen:
Writer Identification Using Inexpensive Signal Processing Techniques. - Jacques Panchard, P. R. S. Rao, Madavalam S. Sheshshayee, Panagiotis Papadimitratos, Sumanth Kumar, Jean-Pierre Hubaux:
Wireless Sensor Networking for Rain-fed Farming Decision Support. - James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran:
A general approach to belief change in answer set programming. - Emmanuel Polonowski:
LoopW Technical Reference v0.3. - M. Kafsi, Panagiotis Papadimitratos, Olivier Dousse, Tansu Alpcan, Jean-Pierre Hubaux:
VANET Connectivity Analysis. - Reinhard Moratz, Dominik Lücke, Till Mossakowski:
Oriented Straight Line Segment Algebra: Qualitative Spatial Reasoning about Oriented Objects. - Giacomo Innocenti, Luca Pretini:
Abstraction and control techniques for non-stationary scheduling problems. - István A. Kovács, Robin Palotai, Mate S. Szalay, Peter Csermely:
Community landscapes: an integrative approach to determine overlapping network module hierarchy, identify key nodes and predict network dynamics. - Data Preservation in High Energy Physics.
- David Gamarnik, David A. Goldberg, Theophane Weber:
Correlation Decay in Random Decision Networks. - Maria Grazia Pia, Tullio Basaglia, Zane W. Bell, Paul V. Dressendorfer:
Geant4 in Scientific Literature. - Johan Wästlund:
The strange algebra of combinatorial games. - Oliver Johnson, Ioannis Kontoyiannis, Mokshay M. Madiman:
Log-concavity, ultra-log-concavity, and a maximum entropy property of discrete compound Poisson measures. - David A. Meyer, James Pommersheim:
Single query learning from abelian and non-abelian Hamming distance oracles. - Richard Weber:
The Anderson-Weber strategy is not optimal for symmetric rendezvous search on K4. - Boris Altshuler, Hari Krovi, Jérémie Roland:
Anderson localization casts clouds over adiabatic quantum optimization. - Aran Nayebi:
Parallel DNA implementation of fast matrix multiplication techniques based on an $n$-moduli set. - Hartmut Neven, Vasil S. Denchev, Geordie Rose, William G. Macready:
Training a Large Scale Classifier with the Quantum Adiabatic Algorithm. - Cameron E. Freer, Daniel M. Roy:
Computable de Finetti measures. - David Baehrens, Timon Schroeter, Stefan Harmeling, Motoaki Kawanabe, Katja Hansen, Klaus-Robert Müller:
How to Explain Individual Classification Decisions. - Koen Frenken, Loet Leydesdorff:
Scientometrics and the evaluation of European integration. - Carlos Gershenson:
Self-organizing urban transportation systems. - William W. Hager, Dzung T. Phan, Hongchao Zhang:
An exact algorithm for graph partitioning. - André G. Holzner, Ryszard Gokieli, Peter Igo-Kemenes, Marcello Maggi, Luca Malgeri, Salvatore Mele, Luc Pape, David Plane, Matthias Schröder, Ulrich Schwickerath, Roberto Tenchini, Jan Timmermans:
Data Preservation at LEP. - Krzysztof Zbigniew Stanek:
Are astronomical papers with more authors cited more? - Delong Meng:
Nice Bounds for the Generalized Ballot Problem. - Rosa Camps, Xavier Mora, Laia Saumell:
A continuous rating method for preferential voting. The complete case. - Rosa Camps, Xavier Mora, Laia Saumell:
A continuous rating method for preferential voting. The incomplete case. - Hannes Nickisch, Pushmeet Kohli, Carsten Rother:
Learning an Interactive Segmentation System. - Alexandr Andoni, Constantinos Daskalakis, Avinatan Hassidim, Sébastien Roch:
Global Alignment of Molecular Sequences via Ancestral State Reconstruction. - Saugata Basu:
A complex analogue of Toda's Theorem. - Dae San Kim, Seung-Hwan Yang:
A Recursive Formula for Power Moments of 2-Dimensional Kloosterman Sums Assiciated with General Linear Groups. - Halyna Syta, Rien van de Weygaert:
Life and Times of Georgy Voronoi. - Rien van de Weygaert, Miguel A. Aragon-Calvo, Bernard J. T. Jones, Erwin Platen:
Geometry and Morphology of the Cosmic Web: Analyzing Spatial Patterns in the Universe. - Laszlo B. Kish:
Absolutely Secure Communications by Johnson-like Noise and Kirchhoff's Laws. - Petr Sulc, Lenka Zdeborová:
Belief propagation for graph partitioning. - Ren Zhang:
An index to link scientific productivity with visibility. - Peter H. Colberg, Felix Höfling:
Accelerating glassy dynamics using graphics processing units. - David K. Hammond, Pierre Vandergheynst, Rémi Gribonval:
Wavelets on Graphs via Spectral Graph Theory. - Panayotis Mertikopoulos, Aris L. Moustakas:
Balancing Traffic in Networks: Redundancy, Learning and the Effect of Stochastic Fluctuations. - Sylvain E. Cappell, Edward Y. Miller:
Eigenvalues of Transmission Graph Laplacians. - T. S. Evans, Renaud Lambiotte:
Edge Partitions and Overlapping Communities in Complex Networks. - Arthur Schmidt:
Quantum Algorithms for many-to-one Functions to Solve the Regulator and the Principal Ideal Problem. - Lenka Zdeborová, Stefan Boettcher:
Conjecture on the maximum cut and bisection width in random regular graphs. - Thomas Jörg, Florent Krzakala, Jorge Kurchan, Anthony C. Maggs, J. Pujos:
Quantum energy gaps and first-order mean-field-like transitions. - Ricardo Bezerra de Andrade e Silva, Katherine A. Heller, Zoubin Ghahramani, Edoardo M. Airoldi:
Ranking Relations using Analogies in Biological and Information Networks. - Michael J. Kurtz, Alberto Accomazzi, Edwin A. Henneken, Giovanni Di Milia, Carolyn Stern-Grant:
Using Multipartite Graphs for Recommendation and Discovery. - Anindya De, Christopher Portmann, Thomas Vidick, Renato Renner:
Trevisan's extractor in the presence of quantum side information. - Fabian Crocce, Ernesto Mordecki:
Optimal minimax strategy in a dice game. - Thomas Kellam Meyer:
The Cardinality of Infinite Games. - Cédric Chauve, Utz-Uwe Haus, Tamon Stephen, Vivija P. You:
Minimal Conflicting Sets for the Consecutive Ones Property in ancestral genome reconstruction. - Anna Goldenberg, Alice X. Zheng, Stephen E. Fienberg, Edoardo M. Airoldi:
A survey of statistical network models. - Yunfan Li, Ilya Dumer, Markus Grassl, Leonid P. Pryadko:
Structured Error Recovery for Codeword-Stabilized Quantum Codes. - Ricardo López-Ruiz, Jaime Sanudo:
Statistical Complexity in Traveling Densities. - Laurent Bartholdi, Thomas Schick, Nat Smale, Steve Smale, Anthony W. Baker:
Hodge Theory on Metric Spaces. - Donald Goldfarb, Shiqian Ma, Katya Scheinberg:
Fast Alternating Linearization Methods for Minimizing the Sum of Two Convex Functions. - Kristian Ranestad, Bernd Sturmfels:
On the convex hull of a space curve. - Adrian Dumitrescu:
Metric inequalities for polygons. - Marcel Nutz:
The Bellman equation for power utility maximization with semimartingales. - Wenlian Lu, Fatihcan M. Atay, Jürgen Jost:
Consensus and synchronization in discrete-time networks of multi-agents with stochastically switching topologies and time delays. - Toby S. Cubitt, Graeme Smith:
An Extreme form of Superactivation for Quantum Zero-Error Capacities. - Francesco Sica:
De Factorisatione Numerorum I : In Pursuit of the Erymanthian Boar. - Yun-Jiang Wang, Barry C. Sanders, Baoming Bai, Xinmei Wang:
Enhanced Feedback Iterative Decoding of Sparse Quantum Codes. - Gonzalo Abal, Raul Donangelo, Franklin L. Marquezino, Amanda C. Oliveira, Renato Portugal:
Decoherence in Search Algorithms. - Héctor J. García, Igor L. Markov:
High-performance Energy Minimization with Applications to Adiabatic Quantum Computing. - Charles H. Bennett, Igor Devetak, Aram W. Harrow, Peter W. Shor, Andreas J. Winter:
Quantum Reverse Shannon Theorem.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-06-12 22:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
