default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCoRR, October 2011
- A. C. Cem Say, Özgür Yilmaz:
Causes of Ineradicable Spurious Predictions in Qualitative Simulation. - Sven Apel, Hendrik Speidel, Philipp Wendler, Alexander von Rhein, Dirk Beyer:
Feature-Aware Verification. - Lengning Liu, Miroslaw Truszczynski:
Properties and Applications of Programs with Monotone and Convex Constraints. - Stephen F. Smith, Matthew J. Streeter:
How the Landscape of Random Job Shop Scheduling Instances Depends on the Ratio of Jobs to Machines. - Noam Nisan, Amir Ronen:
Computationally Feasible VCG Mechanisms. - Boi Faltings, Pearl Pu, Paolo Viappiani:
Preference-based Search using Example-Critiquing with Suggestions. - Joelle Pineau, Geoffrey J. Gordon, Sebastian Thrun:
Anytime Point-Based Approximations for Large POMDPs. - Carlos Guestrin, Milos Hauskrecht, Branislav Kveton:
Solving Factored MDPs with Hybrid State and Action Variables. - Mihai Surdeanu, Lluís Màrquez, Xavier Carreras, Pere Comas:
Combination Strategies for Semantic Role Labeling. - Sergey Pankov:
Learning image transformations without training examples. - Vilas Vasantrao Kardile:
Enhance accuracy in Software cost. - Tianyi Zhou, Dacheng Tao:
Hamming Compressed Sensing. - Vishnu Namboodiri, Vijayvaradharaj T. Muralidharan, B. Sundar Rajan:
Wireless Bidirectional Relaying and Latin Squares. - Jørgen Villadsen, Mikko Berggren Ettienne, Steen Vester:
Multi-Agent Programming Contest 2011 - The Python-DTU Team. - Roland Memisevic:
Learning to relate images: Mapping units, complex cells and simultaneous eigenspaces. - Kyatsandra G. Nagananda, Chandra R. Murthy, Shalinee Kishore:
On State-Dependent Broadcast Channels, with Side-Information at the Transmitter. - Yuan Lu, Alexandra Duel-Hallen:
CSI-aided MAC with Multiuser Diversity for Cognitive Radio Networks. - (Withdrawn) Reputation- and Trust-Based Systems for Wireless Self-organizing Networks.
- (Withdrawn) Cross-Layer Protocols for Multimedia Communications over Wireless Networks.
- Jaydip Sen:
Secure and Privacy- Aware Searching in Peer-to-Peer Networks. - Alastair A. Abbott, Matthias Bechmann, Cristian S. Calude, Angelika Sebald:
A Nuclear Magnetic Resonance Implementation of a Classical Deutsch-Jozsa Algorithm. - Suryakanta Pal, Sudhakar Sahoo, Birendra Kumar Nayak:
Properties of Carry Value Transformation. - Gleb Novichkov:
An efficient algorithm to find a set of nearest elements in a mesh. - Minghui Jiang, Yong Zhang:
Parameterized complexity in multiple-interval graphs: domination, partition, separation, irredundancy. - Seyed Hamed Hassani, Ryuhei Mori, Toshiyuki Tanaka, Rüdiger L. Urbanke:
Rate-Dependent Analysis of the Asymptotic Behavior of Channel Polarization. - Chen Avin, Michael Borokhovich, Bernhard Haeupler, Zvi Lotker:
Self-Adjusting Networks to Minimize Expected Path Length. - Koji Kobayashi:
NP is not AL and P is not NC is not NL is not L. - Christian Lavault:
A note on Prüfer-like coding and counting forests of uniform hypertrees. - Alain Tamayo, Carlos Granell, Joaquín Huerta:
Analysing complexity of XML Schemas in geospatial web services. - Alain Tamayo, Carlos Granell, Joaquín Huerta:
Dealing with large schema sets in mobile SOS-based applications. - Ridwan Al Iqbal:
Eclectic Extraction of Propositional Rules from Neural Networks. - Yuanpeng Liu, Elza Erkip:
Completion Time in Broadcast Channel and Interference Channel. - Yongzhi Cao, Huaiqing Wang, Sherry X. Sun, Guoqing Chen:
A Behavioral Distance for Fuzzy-Transition Systems. - Arvind Yedla, Phong S. Nguyen, Henry D. Pfister, Krishna R. Narayanan:
Universal Codes for the Gaussian MAC via Spatial Coupling. - Rajesh Hemant Chitnis, MohammadTaghi Hajiaghayi, Dániel Marx:
Fixed-Parameter Tractability of Directed Multiway Cut Parameterized by the Size of the Cutset. - Hanxi Li, Chunhua Shen, Yongsheng Gao:
Face Recognition using Optimal Representation Ensemble. - Miguel-Angel Martin-Delgado:
Alan Turing and the Origins of Complexity. - Mahdi Cheraghchi:
Coding-Theoretic Methods for Sparse Recovery. - Gérald Kembellec:
Représentation de données et métadonnées dans une bibliothèque virtuelle pour une adéquation avec l'usager et les outils de glanage ou moissonnage scientifique. - Harish Vangala, Rahul Meshram, Vinod Sharma:
Joint Routing, Scheduling And Power Control For Multihop Wireless Networks With Multiple Antennas. - Swan Dubois
, Sébastien Tixeuil:
A Taxonomy of Daemons in Self-stabilization. - Gérald Kembellec, Imad Saleh, Catherine Sauvaget:
OntologyNavigator: WEB 2.0 scalable ontology based CLIR portal to IT scientific corpus for researchers. - Cristina Bazgan, Morgan Chopin, Bernard Ries:
The firefighter problem with more than one firefighter on trees. - Aanchal Jain, Vineet Richariya:
Implementing a Web Browser with Phishing Detection Techniques. - Juho Hirvonen, Jukka Suomela:
Distributed Maximal Matching: Greedy is Optimal. - Jong Min Kim, Ok Kyun Lee, Jong Chul Ye:
Exact Dynamic Support Tracking with Multiple Measurement Vectors using Compressive MUSIC. - Daniel S. Katz, Matei Ripeanu, Michael Wilde:
Many-Task Computing Tools for Multiscale Modeling. - Paul Cuff, Curt Schieler:
Hybrid Codes Needed for Coordination over the Point-to-Point Channel. - Soheil Feizi-Khankandi, Muriel Médard:
A Power Efficient Sensing/Communication Scheme: Joint Source-Channel-Network Coding by Using Compressive Sensing. - Reza Farrahi Moghaddam, Fereydoun Farrahi Moghaddam, Mohamed Cheriet:
The BlueNetwork Concept. - Colin McQuillan:
LSM is not generated by binary functions. - Valery N. Gorbachev, E. S. Yakovleva:
A binary noisy channel to model errors in printing process. - Peter Sanders, Christian Schulz:
Distributed Evolutionary Graph Partitioning. - Ning Ruan, Ruoming Jin, Yan Huang:
Distance Preserving Graph Simplification. - Caleb Phillips, Lee Becker, Elizabeth Bradley:
Strange Beta: An Assistance System for Indoor Rock Climbing Route Setting Using Chaotic Variations and Machine Learning. - Jameson L. Toole, Meeyoung Cha, Marta C. González:
Modeling the adoption of innovations in the presence of geographic and media influences. - Pey-Chang Kent Lin, Ayan Mandal, Sunil P. Khatri:
Boolean Satisfiability using Noise Based Logic. - Seongwook Jeong, Jaekyun Moon:
Easily Computed Lower Bounds on the Information Rate of Intersymbol Interference Channels. - Anusha Gorantla, Vinod Sharma:
Diversity Order Vs Rate in an AWGN Channel. - Ronald M. Caplan, Ricardo Carretero-González:
A Modulus-Squared Dirichlet Boundary Condition for Time-Dependent Complex Partial Differential Equations and its Application to the Nonlinear Schödinger Equation. - Pavel Vasev:
Open Input: A New Way for Websites to Grow. - Ton Kloks, Sheung-Hung Poon, Chin-Ting Ung, Yue-Li Wang:
Algorithms for the strong chromatic index of Halin graphs, distance-hereditary graphs and maximal outerplanar graphs. - Jacob Whitehill, Javier R. Movellan:
Discriminately Decreasing Discriminability with Learned Image Filters. - Duncan A. J. Blythe:
Two Projection Pursuit Algorithms for Machine Learning under Non-Stationarity. - Tugcan Aktas, Ali Özgür Yilmaz, Emre Aktas:
Practical Wireless Network Coding and Decoding Methods for Multiple Unicast Transmissions. - Shinji Imahori, Tomomi Matsui, Ryuhei Miyashiro:
A 2.75-Approximation Algorithm for the Unconstrained Traveling Tournament Problem. - Arne Meier, Johannes Schmidt, Michael Thomas, Heribert Vollmer:
On the Parameterized Complexity of Default Logic and Autoepistemic Logic. - Agostino Dovier, Andrea Formisano, Enrico Pontelli:
Autonomous Agents Coordination: Action Languages meet CLP(FD) and Linda. - Fabrizio Riguzzi, Terrance Swift:
Well-Definedness and Efficient Inference for Probabilistic Logic Programming under the Distribution Semantics. - Safarini Osama:
Storage Area Network Implementation on an Educational Institute Network Computer Networking and Communication. - Anas Chaaban, Aydin Sezgin:
Interference Alignment and Neutralization in a Cognitive 3-User MAC-Interference Channel: Degrees of Freedom. - Rodrigo A. Carrasco, Garud Iyengar, Clifford Stein:
Energy Aware Scheduling for Weighted Completion Time and Weighted Tardiness. - Manuel Bodirsky, Jens K. Müller:
The Complexity of Rooted Phylogeny Problems. - Ronen Barenboim, Edward Bortnikov, Nadav Golbandi, Amit Kagian, Liran Katzir, Ronny Lempel, Hayim Makabee, Scott Roy, Oren Somekh:
Hierarchical Composable Optimization of Web Pages. - Maxim Raginsky:
Directed information and Pearl's causal calculus. - Sarif Sk. Hassan, Pabitra Pal Choudhury, Birendra Kumar Nayak, Avishek Ghosh, Joydeep Banerjee:
Integral Value Transformations: A Class of Affine Discrete Dynamical Systems and an Application. - Paulo Jesus, Carlos Baquero, Paulo Sérgio Almeida:
A Survey of Distributed Data Aggregation Algorithms. - Peng Zhong, Mai Vu:
Compress-Forward without Wyner-Ziv Binning for the One-Way and Two-Way Relay Channels. - Lila Kari, Steffen Kopecki, Shinnosuke Seki:
Iterated Hairpin Completions of Non-crossing Words. - Sergey I. Bozhevolnyi:
Rapid, Impartial and Comprehensive (RIC) publishing: A new concept for scientific journals. - Jean Bourgain, Sergei Konyagin, Igor E. Shparlinski:
On the Hidden Shifted Power Problem. - Kostas N. Oikonomou:
Analytical Forms for Most Likely Matrices Derived from Incomplete Information. - Kazutaka Kurihara:
CinemaGazer: a System for Watching Video at Very High Speed. - Toshiro Kubota:
Non-Gaussian Scale Space Filtering with 2 by 2 Matrix of Linear Filters. - Subhransu Maji:
Linearized Additive Classifiers. - David T.-H. Kao, Ashutosh Sabharwal:
On Capacity Regions of Interference Channels with Mismatched Local Views. - N. S. Narayanaswamy, Swapnoneel Roy:
On Approximability of Block Sorting. - Aleksandr Y. Aravkin, Michael P. Friedlander, Tristan van Leeuwen:
Robust inversion via semistochastic dimensionality reduction. - Tian Peng Ren, Yong Liang Guan, Chau Yuen, Er Yang Zhang:
Block-Orthogonal Space-Time Code Structure and Its Impact on QRDM Decoding Complexity Reduction. - Yeow Meng Chee, Han Mao Kiah, Punarbasu Purkayastha:
Estimates on the Size of Symbol Weight Codes. - Magnús M. Halldórsson, Pradipta Mitra:
Wireless Connectivity and Capacity. - Florent Couzinie-Devy, Julien Mairal, Francis R. Bach, Jean Ponce:
Dictionary Learning for Deblurring and Digital Zoom. - Danny Hermelin, Stefan Kratsch, Karolina Soltys, Magnus Wahlström, Xi Wu:
Hierarchies of Inefficient Kernelizability. - Marco Molinaro, R. Ravi:
The Query-commit Problem. - Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
Generalization Strategies for the Verification of Infinite State Systems. - Simona Perri, Francesco Ricca, Marco Sirianni:
Parallel Instantiation of ASP Programs: Techniques and Experiments. - Stefan Edelkamp, Roman Englert, Jörg Hoffmann, Frederico dos S. Liporace, Sylvie Thiébaux, Sebastian Trüg:
Engineering Benchmarks for Planning: the Domains Used in the Deterministic Part of IPC-4. - Marcell Fischbach, Benedikt Meurer:
Towards a native toplevel for the OCaml language. - Parisa Soleimani, Reza Sabbaghi-Nadooshan, Sattar Mirzakuchaki, Mahdi Bagheri:
Using Genetic Algorithm in the Evolutionary Design of Sequential Logic Circuits. - Hamid Javashi, Reza Sabbaghi-Nadooshan:
A Novel Elliptic curve cryptography Processor using NoC design. - Jesse Stern:
Spider Solitaire is NP-Complete. - Prateek Mittal, Dongho Kim, Yih-Chun Hu, Matthew Caesar:
Towards Deployable DDoS Defense for Web Applications. - Prasad Raghavendra, Ning Tan:
Approximating CSPs with Global Cardinality Constraints Using SDP Hierarchies. - Craig A. Knoblock, Steven Minton, Ion Muslea:
Active Learning with Multiple Views. - Pantelis Bouboulis, Sergios Theodoridis, Michael E. Mavroforakis:
The Augmented Complex Kernel LMS. - Gongguo Tang, Arye Nehorai:
Fixed point theory and semidefinite programming for computable performance analysis of block-sparsity recovery. - Krzysztof Onak, Dana Ron, Michal Rosen, Ronitt Rubinfeld:
A Near-Optimal Sublinear-Time Algorithm for Approximating the Minimum Vertex Cover Size. - Changsung Kang, Xiaotong Lin, Xuanhui Wang, Yi Chang, Belle L. Tseng:
Modeling Perceived Relevance for Tail Queries without Click-Through Data. - Shiyao Chen, Lang Tong, Ting He:
Optimal Deadline Scheduling with Commitment. - Matthew Anderson, Maciej Brodowicz, Hartmut Kaiser, Bryce Adelstein-Lelbach, Thomas L. Sterling:
Adaptive Mesh Refinement for Astrophysics Applications with ParalleX. - Petros A. Petrosyan:
Interval edge-colorings of cubic graphs. - Petros A. Petrosyan, Hrant Khachatrian, Liana Yepremyan, Hovhannes Tananyan:
Interval edge-colorings of graph products. - Abhijeet Khopkar, Sathish Govindarajan:
On Computing Optimal Locally Gabriel Graphs. - Claude Carlet, Philippe Gaborit, Jon-Lark Kim, Patrick Solé:
A new class of codes for Boolean masking of cryptographic computations. - Maria Chroni, Stavros D. Nikolopoulos:
Efficient Encoding of Watermark Numbers as Reducible Permutation Graphs. - Damien Fay, Jérôme Kunegis, Eiko Yoneki:
On Joint Diagonalisation for Dynamic Network Analysis. - Aman Chadha, Divya Jyoti, M. Mani Roja:
Rotation, Scaling and Translation Analysis of Biometric Signature Templates. - Aman Chadha, Sandeep Gangundi, Rishabh Goel, Hiren Dave, M. Mani Roja:
Audio Watermarking with Error Correction. - Ahmet Kara, Thomas Schwentick, Tony Tan:
Feasible Automata for Two-Variable Logic with Successor on Data Words. - Roland Speicher, Carlos Vargas, Tobias Mai:
Free Deterministic Equivalents, Rectangular Random Matrix Models, and Operator-Valued Free Probability Theory. - Davide Cuda, Raluca-Maria Indre, Esther Le Rouzic, James Roberts:
Getting routers out of the core: Building an optical wide area network with "multipaths". - Viliam Geffert, Bruno Guillon, Giovanni Pighizzini:
Two-Way Automata Making Choices Only at the Endmarkers. - Amel Ben Hadj Salem-Mhamdia, Bahia Bejar Ghadhab:
Performance improvement of the software development project using the Value Management approach. - Michael Deynet:
Predicting User Actions in Software Processes. - Makrina Viola Kosti, Sofia Lazaridou, Nikoleta Bourazani, Lefteris Angelis:
Discovering patterns of correlation and similarities in software project data with the Circos visualization tool. - Kyohei Kozawa, Yota Otachi:
On spanning tree congestion of Hamming graphs. - David Eisenstat, Philip N. Klein, Claire Mathieu:
An efficient polynomial-time approximation scheme for Steiner forest in planar graphs. - Venu Satuluri, Srinivasan Parthasarathy:
Bayesian Locality Sensitive Hashing for Fast Similarity Search. - Diego Perea-Vega, André Girard, Jean-François Frigon:
A Dual-based Method for Resource Allocation in OFDMA-SDMA Systems with Minimum Rate Constraints. - Derek Greene, Fergal Reid, Gavin Sheridan, Padraig Cunningham:
Supporting the Curation of Twitter User Lists. - Cyrille Artho, Roberto Di Cosmo, Kuniyasu Suzaki, Stefano Zacchiroli:
Sources of Inter-package Conflicts in Debian. - Aleksander Madry, Gary L. Miller, Richard Peng:
Electrical Flow Algorithms for Total Variation Minimization. - Aditya Bhaskara, Moses Charikar, Venkatesan Guruswami, Aravindan Vijayaraghavan, Yuan Zhou:
Polynomial integrality gaps for strong SDP relaxations of Densest k-subgraph. - Key-Sun Choi, Hitoshi Isahara, Jong-Hoon Oh:
A Comparison of Different Machine Transliteration Models. - Mirella Lapata, Alex Lascarides:
Learning Sentence-internal Temporal Relations. - Yuming Xu:
The matrices of argumentation frameworks. - Duy Khang Ly, Kazunari Sugiyama, Ziheng Lin, Min-Yen Kan:
Product Review Summarization based on Facet Identification and Sentence Clustering. - Thomas Schwentick, Thomas Zeume:
Two-Variable Logic with Two Order Relations. - Luis Quesada, Fernando Berzal, Francisco J. Cortijo:
A Constraint-Satisfaction Parser for Context-Free Grammars. - Hafiz Imtiaz, Shaikh Anowarul Fattah:
A Face Recognition Scheme using Wavelet Based Dominant Features. - A. S. N. Chakravarthy, Penmetsa V. Krishna Raja, P. S. Avadhani:
Handwritten Text Image Authentication using Back Propagation. - A. S. N. Chakravarthy, Penmetsa V. Krishna Raja, P. S. Avadhani:
A Novel Approach for Pass Word Authentication using Brain -State -In -A Box (BSB) Model. - T. Ruso, Chenniappan Chellappan:
Netrawalm: Network Based Resource Aware Application Layer Multicast for Multiparty Video Conference. - A. S. N. Chakravarthy, P. S. Avadhani:
A Probabilistic Approach for Authenticating Text or Graphical Passwords Using Back Propagation. - Sukumar Nandi, Aditya Yadav:
Cross Layer Adaptation for QoS in WSN. - A. S. N. Chakravarthy, A. S. S. D. Toyaza:
A Novel Approach For Intranet Mailing For Providing User Authentication. - Penmetsa V. Krishna Raja, A. S. N. Chakravarthy, P. S. Avadhani:
A Cryptosystem Based on Hilbert Matrix using Cipher Block Chaining Mode. - Penmetsa V. Krishna Raja, A. S. N. Chakravarthy, P. S. Avadhani:
Hilbert Matrix Based Cryptosystem using a Session Key. - Abdul Kadir, Lukito Edi Nugroho, Adhi Susanto, Paulus Insap Santosa:
A Comparative Experiment of Several Shape Methods in Recognizing Plants. - André Nichterlein:
Realizing Degree Sequences for Directed Acyclic Graphs is Hard. - Abdul Kadir, Lukito Edi Nugroho, Adhi Susanto, Paulus Insap Santosa:
Foliage Plant Retrieval using Polar Fourier Transform, Color Moments and Vein Features. - Matus Telgarsky:
Blackwell Approachability and Minimax Theory. - Noman Shabbir, Muhammad T. Sadiq, Hasnain Kashif, Rizwan Ullah:
Comparison of Radio Propagation Models for Long Term Evolution (LTE) Network. - Sunil Gavaskar Reddy, Rajendra Prasad:
Power comparison of CMOS and adiabatic full adder circuit. - Jack J. Dongarra, Mathieu Faverge, Thomas Hérault, Julien Langou, Yves Robert:
Hierarchical QR factorization algorithms for multi-core cluster systems. - Ichrak Amdouni, Cédric Adjih, Pascale Minet:
On the Coloring of Grid Wireless Sensor Networks: the Vector-Based Coloring Method. - Khaled Day, Abderezak Touzene, Bassel R. Arafeh, Nasser Alzeidi:
Parallel routing in Mobile Ad-Hoc Networks. - Yang Zhao, Neal Patwari:
Robust Estimators for Variance-Based Device-Free Localization and Tracking. - Mohammed Erritali, Oussama Mohamed Reda, Bouabid El Ouahidi:
A Contribution to Secure the Routing Protocol "Greedy Perimeter Stateless Routing" Using a Symmetric Signature-Based AES and MD5 Hash. - Nikhil Bansal, Niv Buchbinder, Aleksander Madry, Joseph Naor:
A Polylogarithmic-Competitive Algorithm for the k-Server Problem. - C. Jandaeng, W. Suntiamontut, N. Elz:
PSA: The Packet Scheduling Algorithm for Wireless Sensor Networks. - Pandi Vijayakumar, Sundan Bose, Arputharaj Kannan:
Error Detection and Correction for Distributed Group Key Agreement Protocol. - Robert L. Constable, Mark Bickford:
Intuitionistic Completeness of First-Order Logic. - T. Yerryswamy, S. N. Jagadeesha:
Fault Tolerant Matrix Pencil Method for Direction of Arrival Estimation. - Olivier Montagnier, Christian Hochard:
Optimisation of hybrid high-modulus/high-strength carbon fiber reinforced plastic composite drive. - (Withdrawn) Algorithm that Solves 3-SAT in Polynomial Time.
- Fouad Butt, Syed Saadat Bokhari, Abdolreza Abhari, Alexander Ferworn:
Scalable Grid Resource Discovery through Distributed Search. - Ankit Singla, Chi-Yao Hong, Lucian Popa, Philip Brighten Godfrey:
Jellyfish: Networking Data Centers Randomly. - Ton Kloks, Chin-Ting Ung, Yue-Li Wang:
On the strong chromatic index and maximum induced matching of tree-cographs and permutation graphs. - Shirin Mohammadi, Ali A. Safaei, Fatemeh Abdi, Mostafa S. Haghjoo:
Adaptive Data Stream Management System Using Learning Automata. - Shaik Rasool, G. Sridhar, K. Hemanth Kumar, P. Ravi Kumar:
Enhanced Secure Algorithm for Message Communion. - Esmond G. Ng, Jason Sarich, Stefan M. Wild, Todd S. Munson, Hasan Metin Aktulga, Chao Yang, Pieter Maris, James P. Vary, Nicolas Schunck, M. G. Bertolli, Markus Kortelainen, Witold Nazarewicz, Thomas Papenbrock, M. V. Stoitsov:
Advancing Nuclear Physics Through TOPS Solvers and Tools. - Luis Quesada, Fernando Berzal, Francisco J. Cortijo:
Treating Insomnia, Amnesia, and Acalculia in Regular Expression Matching. - László Dobos, Alexander S. Szalay, José A. Blakeley, Tamas Budavari, István Csabai, Dragan Tomic, Milos Milovanovic, Marko Tintor, Andrija Jovanovic:
Array Requirements for Scientific Applications and an Implementation for Microsoft SQL Server. - Shin-ichi Kuribayashi:
Optimal Joint Multiple Resource Allocation Method for Cloud Computing Environments. - Romain Couillet, Samir Medina Perlaza, Hamidou Tembine, Mérouane Debbah:
Electrical Vehicles in the Smart Grid: A Mean Field Game Analysis. - Debaditya Ghosh, Pritam Majumder, Ayan Kumar Das:
A New Energy Efficient Approach Towards WASN Routing with Modified QCS Protocol. - L. Kavisankar, Chenniappan Chellappan:
CNoA: Challenging Number Approach for uncovering TCP SYN flooding using SYN spoofing attack. - Patrick O. Perry, Michael W. Mahoney:
Regularized Laplacian Estimation and Fast Eigenvector Approximation. - Laurent Romary, Andreas Witt:
Data formats for phonological corpora. - Samira Mesmoudi, Mohammed Feham:
BSK-WBSN: Biometric Symmetric Keys to Secure Wireless Body Sensors Networks. - George Kesidis:
Side-payment profitability and interacting eyeball ISPs under convex demand-response modeling congestion-sensitive applications. - George Kesidis, Aditya Kurve:
A Study of Unsupervised Adaptive Crowdsourcing. - Flavio Chierichetti, Jon M. Kleinberg:
Voting with Limited Information and Many Alternatives. - Dip Narayan Ray, Somajyoti Majumder, Sumit Mukhopadhyay:
A Behavior-based Approach for Multi-agent Q-learning for Autonomous Exploration. - (Withdrawn) A Simple Proof of Linear Scaling of End-to-End Probabilistic Bounds using Network Calculus.
- Loet Leydesdorff:
World Shares of Publications of the USA, EU-27, and China Compared and Predicted using the New Interface of the Web-of-Science versus Scopus. - (Withdrawn) The proximal point method for a hybrid model in image restoration.
- Stephan Mertens, Cristopher Moore:
The complexity of the fermionant, and immanants of constant width. - Sergio Arévalo, Antonio Fernández Anta, Damien Imbs, Ernesto Jiménez, Michel Raynal:
Failure Detectors in Homonymous Distributed Systems (with an Application to Consensus). - Michael T. Goodrich, Michael Mitzenmacher, Olga Ohrimenko, Roberto Tamassia:
Oblivious Storage with Low I/O Overhead. - Quanyan Zhu, Tamer Basar:
Indices of Power in Optimal IDS Default Configuration: Theory and Examples. - Jan A. Bergstra:
Putting Instruction Sequences into Effect. - Zheng Wang, Jie Luo:
Channel Coding in Random Access Communication over Compound Channels. - Dimitris Fotakis, Paris Siminelakis:
On the Efficiency of Influence-and-Exploit Strategies for Revenue Maximization under Positive Externalities. - Hao Chen:
Restricted Parameter Range Promise Set Cover Problems Are Easy. - Dhara Hitarth Buch, Devesh C. Jinwala:
Prevention of Wormhole Attack in Wireless Sensor Network. - Ryuhei Mori, Toshiyuki Tanaka:
Statistical Mechanical Analysis of Low-Density Parity-Check Codes on General Markov Channel. - Jan A. Bergstra, Guus P. A. J. Delen, S. F. M. van Vlijmen:
Stratified Outsourcing Theory. - Lukasz Kowalik, Marcin Pilipczuk, Karol Suchan:
Towards optimal kernel for connected vertex cover in planar graphs. - Paul W. Goldberg, Carmine Ventre:
Using Lotteries to Approximate the Optimal Revenue. - Christian Isheden, Zhijiat Chong, Eduard A. Jorswieck, Gerhard P. Fettweis:
Framework for Link-Level Energy Efficiency Optimization with Informed Transmitter. - Resat Ümit Payli, Kayhan Erciyes, Orhan Dagdeviren:
Cluster-Based Load Balancing Algorithms for Grids. - Eleni Constantinou, George Kakarontzas, Ioannis Stamelos:
Open Source Software: How Can Design Metrics Facilitate Architecture Recovery? - Anna Kucerová, Jan Sykora, Bojana V. Rosic, Hermann G. Matthies:
Acceleration of Uncertainty Updating in the Description of Transport Processes in Heterogeneous Materials. - Stefano Soatto:
Steps Towards a Theory of Visual Information: Active Perception, Signal-to-Symbol Conversion and the Interplay Between Sensing and Control. - Jan Sykora, Tomás Krejcí, Jaroslav Kruis, Michal Sejnoha:
Computational homogenization of non-stationary transport processes in masonry structures. - Martin Klimo, Ondrej Such:
Memristors can implement fuzzy logic. - Philipp Herrmann, Dennis Kundisch, Mohammad Saifur Rahman:
The Impact of Delegating Decision Making to IT on the Sunk Cost Effect. - John Z. Sun, Kush R. Varshney, Karthik Subbian:
Dynamic Matrix Factorization: A State Space Approach. - Nir Ailon, Ron Begleiter, Esther Ezra:
A New Active Learning Scheme with Applications to Learning to Rank from Pairwise Preferences. - Ruben Sipos, Pannaga Shivaswamy, Thorsten Joachims:
Large-Margin Learning of Submodular Summarization Methods. - Marc Giusti, Joos Heintz, Bart Kuijpers:
The evaluation of geometric queries: constraint databases and quantifier elimination. - Maria Fox, Derek Long:
Modelling Mixed Discrete-Continuous Domains for Planning. - Roland H. C. Yap, Yuanlin Zhang:
Set Intersection and Consistency in Constraint Networks. - Joseph C. Culberson, Yong Gao:
Consistency and Random Constraint Satisfaction Models. - Enrico Pontelli, Tran Cao Son, Phan Huy Tu:
Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms. - Sungjin Im, Viswanath Nagarajan:
Minimum Latency Submodular Cover in Metrics. - Alex S. Fukunaga, Richard E. Korf:
Bin Completion Algorithms for Multicontainer Packing, Knapsack, and Covering Problems. - Sébastien Jodogne, Justus H. Piater:
Closed-Loop Learning of Visual Control Policies. - Leslie Pack Kaelbling, Hanna M. Pasula, Luke S. Zettlemoyer:
Learning Symbolic Models of Stochastic Domains. - Francesca Rossi, Kristen B. Venable, Neil Yorke-Smith:
Uncertainty in Soft Temporal Constraint Problems:A General Framework and Controllability Algorithms forThe Fuzzy Case. - Claudio Bettini, Sergio Mascetti, Xiaoyang Sean Wang:
Supporting Temporal Reasoning by Mapping Calendar Expressions to Minimal Periodic Sets. - Richard Evans, Constantin Orasan:
NP Animacy Identification for Anaphora Resolution. - Pedro F. Felzenszwalb, David A. McAllester:
The Generalized A* Architecture. - Turlough Neary, Damien Woods:
The complexity of small universal Turing machines: a survey. - Alexander Zangerl:
DDNFS: a Distributed Digital Notary File System. - Kanmani Munusamy, Harihodin Bin Selamat, Suhaimi Ibrahim, Mohd Sapiyan Baba:
A comparative study of process mediator components that support behavioral incompatibility. - Christopher J. Winfield:
Asymptotic Methods of ODEs: Exploring Singularities of the Second Kind. - R. Seshadri, N. Penchalaiah:
Method for reducing of noise by improving signal-to-noise-ratio in wireless LAN. - R. Seshadri, N. Penchalaiah:
Noise Analysis and Detection Based on RF Energy Duration in wireless LAN. - Yasmeen Hasan:
Power aware physical model for 3d IC's. - Abhinav Sinha, Prasanna Chaporkar:
Optimal Power Allocation for Renewable Energy Source. - Mohammad Amin Kheirandish Fard, Sasan Karamizadeh, Mohammad Aflaki:
Enhancing congestion control to address link failure loss over mobile ad-hoc network. - Lutz Bornmann, Félix de Moya-Anegón, Loet Leydesdorff:
The new Excellence Indicator in the World Report of the SCImago Institutions Rankings 2011. - Ian Pratt-Hartmann:
The Syllogistic with Unity. - Artur Jez:
Compressed Membership for NFA (DFA) with Compressed Labels is in NP (P). - (Withdrawn) Multiple ant-bee colony optimization for load balancing in packet-switched networks.
- Kaveh Mahdaviani, Masoud Ardakani, Chintha Tellambura:
Annotated Raptor Codes. - Roberto M. Amadio, Yann Régis-Gianas:
Certifying and reasoning on cost annotations of functional programs. - Eric Rowland, Jeffrey O. Shallit:
k-Automatic sets of rational numbers. - Ohad Shamir:
A Variant of Azuma's Inequality for Martingales with Subgaussian Tails. - Riccardo Albertoni, Monica De Martino:
Semantic Technology to Exploit Digital Content Exposed as Linked Data. - Stephan Kiefer, Jochen Rauch, Riccardo Albertoni, Marco Attene, Franca Giannini, Simone Marini, Luc Schneider, Carlos Mesquita, Xin Xing, Michael Lawo:
The CHRONIOUS Ontology-Driven Search Tool: Enabling Access to Focused and Up-to-Date Healthcare Literature. - Frank-Michael Schleif, Andrej Gisbrecht, Barbara Hammer:
Supervised learning of short and high-dimensional temporal sequences for life science measurements. - Anna-Lena Trautmann, Joachim Rosenthal:
New Improvements on the Echelon-Ferrers Construction. - Ignacio Ramírez, Guillermo Sapiro:
An MDL framework for sparse coding and dictionary learning. - Nan Zhang, Alet Roux, Tomasz Zastawniak:
Parallel Binomial American Option Pricing with (and without) Transaction Costs. - Pierre Baldi, Roberta Baronio, Emiliano De Cristofaro, Paolo Gasti, Gene Tsudik:
Countering Gattaca: Efficient and Secure Testing of Fully-Sequenced Human Genomes. - Mary R. Schurgot, Cristina Comaniciu, Katia Jaffrès-Runser:
Beyond Traditional DTN Routing: Social Networks for Opportunistic Communication. - Steven Bergner, Matthew Crider, Arthur E. Kirkpatrick, Torsten Möller:
Mixing Board Versus Mouse Interaction In Value Adjustment Tasks. - Arya Mazumdar, Alexander Barg, Gilles Zémor:
Constructions of Rank Modulation Codes. - Alexey A. Peretyatko, Ivan A. Bogatyrev, Vitalii Yu. Kapitan, Yury V. Kirienko, Konstantin V. Nefedev, Valery I. Belokon:
Rigorous Calculation of the Partition Function for the Finite Number of Ising Spins. - Mehdi Saeedi, Igor L. Markov:
Synthesis and Optimization of Reversible Circuits - A Survey. - Martin Kleinsteuber, Hao Shen:
Blind Source Separation with Compressively Sensed Linear Mixtures. - R. K. Jain, Sumit Katiyar, N. K. Agrawal:
Survey of Latest Wireless Cellular Technologies for Enhancement of Spectral Density at Reduced Cost. - Parul Agarwal, Mohd. Afshar Alam, Ranjit Biswas:
Issues,Challenges and Tools of Clustering Algorithms. - K. Usha Rani:
Analysis of Heart Diseases Dataset using Neural Network Approach. - R. K. Jain, Sumit Katiyar, N. K. Agrawal:
Hierarchical Cellular Structures in High-Capacity Cellular Communication Systems. - Jose Texier:
Notas metodológicas para cubrir la etapa de documentar una investigación. - Miaomiao Tian, Wei Yang, Liusheng Huang:
Security of a biometric identity-based encryption scheme. - Ivan Nechta, Andrei Fionov:
Applying statistical methods to text steganography. - Kouzou Ohara, Kazumi Saito, Masahiro Kimura, Hiroshi Motoda:
Efficient Detection of Hot Span in Information Diffusion from Observation. - Simplice Donfack, Laura Grigori, William D. Gropp, Vivek Kale:
Hybrid static/dynamic scheduling for already optimized dense matrix factorization. - Hoa Nguyen Huu, Nouria Harbi, Jérôme Darmont:
An Efficient Fuzzy Clustering-Based Approach for Intrusion Detection. - Lionel Levine, Scott Sheffield, Katherine E. Stange:
A duality principle for selection games. - Michael A. Lexa, Mike E. Davies, John S. Thompson:
Compressive and Noncompressive Power Spectral Density Estimation from Periodic Nonuniform Samples. - Greg Ver Steeg, Aram Galstyan:
Information Transfer in Social Media. - David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev:
Combining Spatial and Temporal Logics: Expressiveness vs. Complexity. - Alfonso Gerevini, Alessandro Saetti, Ivan Serina:
An Approach to Temporal Planning and Scheduling in Domains with Predictable Exogenous Events. - Fahiem Bacchus:
The Power of Modeling - a Response to PDDL2.1. - Mark S. Boddy:
Imperfect Match: PDDL 2.1 and Real Applications. - Hector Geffner:
PDDL 2.1: Representation vs. Computation. - J. Christopher Beck, Nic Wilson:
Proactive Algorithms for Job Shop Scheduling with Probabilistic Durations. - Liad Blumrosen, Noam Nisan, Ilya Segal:
Auctions with Severely Bounded Communication. - Adnan Darwiche, Jinbo Huang:
The Language of Search. - Laura Barbulescu, Adele E. Howe, Mark Roberts, L. Darrell Whitley:
Understanding Algorithm Performance on an Oversubscribed Scheduling Application. - Andrew Coles, Amanda Smith:
Marvin: A Heuristic Search Planner with Online Macro-Action Learning. - Eric A. Hansen, Rong Zhou:
Anytime Heuristic Search. - Yin Chen, Fangzhen Lin:
Discovering Classes of Strongly Equivalent Logic Programs. - Nadia Creignou, Hervé Daudé, Uwe Egly:
Phase Transition for Random Quantified XOR-Formulas. - Bozhena Bidyuk, Rina Dechter:
Cutset Sampling for Bayesian Networks. - Cédric Pralet, Thomas Schiex, Gérard Verfaillie:
An Algebraic Graphical Model for Decision with Uncertainties, Feasibilities, and Utilities. - Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini:
Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach. - J. Christopher Beck:
Solution-Guided Multi-Point Constructive Search for Job Shop Scheduling. - Ji Zhu, Bruce E. Hajek:
Stability of a Peer-to-Peer Communication System. - András György, Tamás Linder, Gábor Lugosi:
Efficient Tracking of Large Classes of Experts. - S. Shaheen Fatima, Nicholas R. Jennings, Michael J. Wooldridge:
Multi-Issue Negotiation with Deadlines. - Patricia Everaere, Sébastien Konieczny, Pierre Marquis:
The Strategy-Proofness Landscape of Merging. - Dmitri A. Dolgov, Edmund H. Durfee:
Resource Allocation Among Agents with MDP-Induced Preferences. - Cristina Feier, Stijn Heymans:
Reasoning with Forest Logic Programs and f-hybrid Knowledge Bases. - Tony Tan:
Graph Reachability and Pebble Automata over Infinite Alphabets. - Vladimir Kolmogorov, Stanislav Zivný:
The complexity of conservative valued CSPs. - Charalampos E. Tsourakakis:
Social Network Archetypes and Vertex Similarity, Graph Matching and the Generalized Eigenvalue Problem. - Karthick Jayaraman, Vijay Ganesh, Mahesh V. Tripunitara, Martin C. Rinard, Steve J. Chapin:
ARBAC Policy for a Large Multi-National Bank. - Louise Benoît, Julien Mairal, Francis R. Bach, Jean Ponce:
Sparse Image Representation with Epitomes. - Abdelrahman Osman Elfaki, Md Gapar Md Johar, Kevin Loo Teow Aik, Sim Liew Fong, Ruzi Bachok:
Towards Representation and Validation of Knowledge in Students' Learning Pathway Using Variability Modeling Technique. - Rami Mochaourab, Eduard A. Jorswieck:
Robust Beamforming in Interference Channels with Imperfect Transmitter Channel Information. - Rami Mochaourab, Eduard A. Jorswieck:
Exchange Economy in Two-User Multiple-Input Single-Output Interference Channels. - Rui Zhou, Chengfei Liu, Jianxin Li, Jeffrey Xu Yu:
ELCA Evaluation for Keyword Search on Probabilistic XML Data. - Philip Bille, Inge Li Gørtz, Hjalte Wedel Vildhøj, David Kofoed Wind:
String Matching with Variable Length Gaps. - Christos Boutsidis, Anastasios Zouzias, Michael W. Mahoney, Petros Drineas:
Stochastic Dimensionality Reduction for K-means Clustering. - Fuxi Wen, Boon Poh Ng:
System Identification Using Reweighted Zero Attracting Least Absolute Deviation Algorithm. - Rio Yokota, Lorena A. Barba:
Fast Multipole Method vs. Spectral Method for the Simulation of Isotropic Turbulence on GPUs. - Walter Bach, Hang Zhou:
Approximation for Maximum Surjective Constraint Satisfaction Problems. - Carlos Gershenson:
Are Minds Computable? - Yoshikazu Aoshima, David Avis, Theresa Deering, Yoshitake Matsumoto, Sonoko Moriyama:
Worst-case Behaviour of History Based Pivot Rules on Acyclic Unique Sink Orientations of Hypercubes. - Juan F. Sequeda, Olaf Hartig:
Towards a Query Language for the Web of Data (A Vision Paper). - Amin Karbasi, Sewoong Oh:
Robust Localization from Incomplete Local Information. - Joos Heintz, Bart Kuijpers, Andres Rojas Paredes:
Software Engineering and Complexity in Effective Algebraic Geometry. - Bob Coecke, Chris Heunen:
Pictures of complete positivity in arbitrary dimension. 27-35 - Hamidreza Ebrahimzadeh Saffar, Ehsan Haj Mirza Alian, Patrick Mitran:
Separation Theorems for Phase-Incoherent Multiple-User Channels. - Thomas A. Courtade, Tsachy Weissman:
Multiterminal Source Coding under Logarithmic Loss. - David Avis, Hiroyuki Miyata, Sonoko Moriyama:
Families of polytopal digraphs that do not satisfy the shelling property. - Nigel Collier:
Towards cross-lingual alerting for bursty epidemic events. - Nigel Collier, Nguyen Truong Son, Ngoc Mai Nguyen:
OMG U got flu? Analysis of shared health messages for bio-surveillance. - Nigel Collier:
What's unusual in online disease outbreak news? - Nigel Collier, Son Doan:
Syndromic classification of Twitter messages. - Eyal Even-Dar, Mark Sandler:
Telling Two Distributions Apart: a Tight Characterization. - Zhiwu Lu, Yuxin Peng:
Robust Image Analysis by L1-Norm Semi-supervised Learning. - Daniel Hienert, Benjamin Zapilko, Philipp Schaer, Brigitte Mathiak:
Web-Based Multi-View Visualizations for Aggregated Statistics. - Xiaolong Huang, Xueliang Li, Yongtang Shi:
Rainbow connections for planar graphs and line graphs. - Rashed K. Salem, Jérôme Darmont, Omar Boussaid:
Efficient Incremental Breadth-Depth XML Event Mining. - Carl Bracken, Chik How Tan, Yin Tan:
On a Class of Quadratic Polynomials with no Zeros and its Application to APN Functions. - Xavier Dahan:
Structure of lexicographic Groebner bases in three variables of ideals of dimension zero. - Anatoly D. Plotnikov:
About set-theoretic properties of one-way functions. - Qiyu Jin, Ion Grama, Quansheng Liu:
Controlled Total Variation regularization for inverse problems. - Shengli Zhang, Soung Chang Liew, Hui Wang:
Blind Known Interference Cancellation. - Shengli Zhang, Soung Chang Liew, QingFeng Zhou, Lu Lu, Hui Wang:
Non-memoryless Analog Network Coding in Two-Way Relay Channel. - Tillmann Miltzow:
Tron, a combinatorial Game on abstract Graphs. - Huyen Chi Bui, Jérôme Lacan, Marie-Laure Boucheret:
An Enhanced Multiple Random Access Scheme for Satellite Communications. - Anton Dries, Siegfried Nijssen:
Mining Patterns in Networks using Homomorphism. - Giorgio Corani, Cassio P. de Campos:
Improving parameter learning of Bayesian nets from incomplete data. - Yao Xie, Yonina C. Eldar, Andrea J. Goldsmith:
Reduced-dimension multiuser detection: detectors and performance guarantees. - Prasanna Madhusudhanan, Juan G. Restrepo, Youjian Eugene Liu, Timothy X. Brown, Kenneth R. Baker:
Multi-tier Network Performance Analysis using a Shotgun Cellular System. - Prasanna Madhusudhanan, Juan G. Restrepo, Youjian Eugene Liu, Timothy X. Brown, Kenneth R. Baker:
Stochastic Ordering based Carrier-to-Interference Ratio Analysis for the Shotgun Cellular Systems. - B. Ramkumar, Harish M. Kittur:
Faster Energy Efficient Column Compression Multiplication. - Nelson Alfonso Gómez-Cruz, Carlos Eduardo Maldonado:
Biological Computation as the Revolution of Complex Engineered Systems. - Javad Azimi, Ali Jalali, Xiaoli Z. Fern:
Dynamic Batch Bayesian Optimization. - Ghadamali Bagherikaram, Konstantinos N. Plataniotis:
Secure Hybrid Digital-Analog Coding With Side Information at the Receiver. - Ghadamali Bagherikaram, Konstantinos N. Plataniotis:
Optimum Relay Scheme in a Secure Two-Hop Amplify and Forward Cooperative Communication System. - V. Sreedeep, B. Ramkumar, Harish M. Kittur:
Faster and Low Power Twin Precision Multiplier. - Rahul Saha, G. Geetha:
Identifying Reference Objects by Hierarchical Clustering in Java Environment. - Soumen Kanrar:
Efficient Traffic Control of VoD System. - Gianni Franceschini, Roberto Grossi, S. Muthukrishnan:
Partial Data Compression and Text Indexing via Optimal Suffix Multi-Selection. - Ilyes Boulkaibet, Tshilidzi Marwala, Linda Mthembu, Michael I. Friswell, Sondipon Adhikari:
Sampling Techniques in Bayesian Finite Element Model Updating. - Gulshan Kumar, Mritunjay Kumar Rai:
X-ray view on a Class using Conceptual Analysis in Java Environment. - Pretesh B. Patel, Tshilidzi Marwala:
Fuzzy Inference Systems Optimization. - Gulshan Kumar, Mritunjay Kumar Rai:
An Approach to Provide Security in Mobile Ad-Hoc Networks Using Counter Mode of Encryption on Mac Layer. - Karsten Ahnert, Mario Mulansky:
Odeint - Solving ordinary differential equations in C++. - Mohamed Ibrahim, Moustafa Youssef:
CellSense: An Accurate Energy-Efficient GSM Positioning System. - Jason N. Laska, Richard G. Baraniuk:
Regime Change: Bit-Depth versus Measurement-Rate in Compressive Sensing. - Chao-Wei Huang:
Two-Way Training Design for Discriminatory Channel Estimation in Wireless MIMO Systems. - Ivan Nechta:
Effective Steganography Detection Based On Data Compression. - David Lievens, Bill Harrison:
Symmetric Encapsulated Multi-Methods. - Balaji Venu:
Multi-core processors - An overview. - Shirin Jalali, Michelle Effros:
Separation of source-network coding and channel coding in wireline networks. - Shirin Jalali, Arian Maleki:
Minimum Complexity Pursuit. - Thomas M. DuBois, Jennifer Golbeck, Aravind Srinivasan:
Network Clustering Approximation Algorithm Using One Pass Black Box Sampling. - David R. Karger, Sewoong Oh, Devavrat Shah:
Budget-Optimal Task Allocation for Reliable Crowdsourcing Systems. - Rahmat Widia Sembiring, Jasni Mohamad Zain, Abdullah Embong:
Dimension Reduction of Health Data Clustering. - Salem Nasri:
Network on Chip: a New Approach of QoS Metric Modeling Based on Calculus Theory. - B. Ramkumar, Harish M. Kittur:
Optimal Final Carry Propagate Adder Design for Parallel Multipliers. - René Ndoundam:
Period-halving Bifurcation of a Neuronal Recurrence Equation. - David Balduzzi:
Information, learning and falsification. - Soumen Kanrar, Mohammad Siraj:
Performance Measurement of the Heterogeneous Network. - Benjamin Doerr, Carola Winzen:
Playing Mastermind With Constant-Size Memory. - Tomer Kotek:
Complexity of Ising Polynomials. - Jorge Luiz e Silva, Joelmir José Lopes, Bruno de Abreu Silva, Antonio Carlos Fernandes da Silva:
Accelerating Algorithms using a Dataflow Graph in a Reconfigurable System. - Laura Giordano, Alberto Martelli, Daniele Theseider Dupré:
Reasoning about Actions with Temporal Answer Sets. - Robert Sanderson, Hennie Brugman, Benjamin Albritton, Herbert Van de Sompel:
Evaluating the SharedCanvas Manuscript Data Model in CATCHPlus. - Frédéric Herbreteau, Dileep Kini, B. Srivathsan, Igor Walukiewicz:
Using non-convex approximations for efficient analysis of timed automata. - Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz:
Better abstractions for timed automata. - Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson:
The Logic of XACML - Extended. - José M. Domínguez, Alejandro J. C. Crespo, Moncho Gómez-Gesteira:
Optimization strategies for parallel CPU and GPU implementations of a meshfree particle method. - Christine Staiger, Sidney Cadot, R. Kooter, Marcus T. Dittrich, Tobias Müller, Gunnar W. Klau, Lodewyk F. A. Wessels:
A critical evaluation of network and pathway based classifiers for outcome prediction in breast cancer. - Ko-Jen Hsiao, Kevin S. Xu, Alfred O. Hero III:
Multi-criteria Anomaly Detection using Pareto Depth Analysis. - Hervé Jégou, Teddy Furon, Jean-Jacques Fuchs:
Anti-sparse coding for approximate nearest neighbor search. - Soheil Feizi-Khankandi, Vivek K. Goyal, Muriel Médard:
Time-Stampless Adaptive Nonuniform Sampling for Stochastic Signals. - Haotian Zhang, Shreyas Sundaram:
Robustness of Information Diffusion Algorithms to Locally Bounded Adversaries. - Wazir Zada Khan, Mohammed Y. Aalsalem, Yang Xiang:
A Graphical Password Based System for Small Mobile Devices. - Piotr Indyk, Eric Price, David P. Woodruff:
On the Power of Adaptivity in Sparse Recovery. - Kohei Honda, Alan Mycroft:
Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, PLACES 2010, Paphos, Cyprus, 21st March 2010. EPTCS 69, 2010 [contents] - Yimin Pang, Thomas Honold:
An Upper Bound on Broadcast Subspace Codes. - Zack W. Almquist, Carter T. Butts:
Contending Parties: A Logistic Choice Analysis of Inter- and Intra-group Blog Citation Dynamics in the 2004 US Presidential Election. - Yuan Li, Hui Wang, Haibin Kan:
Constructing and Counting Even-Variable Symmetric Boolean Functions with Algebraic Immunity not Less Than $d$. - (Withdrawn) A Note on "On the Construction of Boolean Functions with Optimal Algebraic Immunity".
- Akihiro Inokuchi, Hiroaki Ikuta, Takashi Washio:
GTRACE-RS: Efficient Graph Sequence Mining using Reverse Search. - Yuming Xu:
Handling controversial arguments by matrix. - Alexander Zeh, Christian Gentner, Daniel Augot:
An Interpolation Procedure for List Decoding Reed--Solomon codes Based on Generalized Key Equations. - Wouter Lueks, Bassam Mokbel, Michael Biehl, Barbara Hammer:
How to Evaluate Dimensionality Reduction? - Improving the Co-ranking Matrix. - Edith Elkind, Piotr Faliszewski, Arkadii M. Slinko:
Clone Structures in Voters' Preferences. - Dragos Trinca, Sanguthevar Rajasekaran:
Parallel Algorithms for DNA Probe Placement on Small Oligonucleotide Arrays. - Vibha Gaur, Neeraj Kumar Sharma:
A Dynamic Framework of Reputation Systems for an Agent Mediated e-market. - Muhammad Sheikh Sadi, Md. Mizanur Rahman Khan, Md. Nazim Uddin, Jan Jürjens:
An Efficient Approach towards Mitigating Soft Errors Risks. - Massimo Franceschet:
The large-scale structure of journal citation networks. - Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev:
Topological Logics with Connectedness over Euclidean Spaces. - Rohit Aggarwal, Can Emre Koksal, Philip Schniter:
Joint Scheduling and Resource Allocation in OFDMA Downlink Systems via ACK/NAK Feedback. - Howard Kleiman:
The General Traveling Salesman Problem. - Elaheh Mohammadi, Hassan Aghaeinia:
Mobile Sensors in a CDMA System For Environmental Monitoring: An Information-Theoretic Analysis. - V. Bulitko, G. Lee:
Learning in Real-Time Search: A Unifying Framework. - Kitty Meeks, Alexander Scott:
The Parameterised Complexity of List Problems on Graphs of Bounded Treewidth. - Paolo Baldan, Silvia Crafa:
A Logic for True Concurrency. - David García, Antonios Garas, Frank Schweitzer:
Positive words carry less information than negative words. - Saman Atapattu, Yindi Jing, Hai Jiang, Chintha Tellambura:
Relay Selection and Performance Analysis in Multiple-User Networks. - Shuo Tan:
The non-abelian squares are not context-free. - Siddharth Barman, Shuchi Chawla:
Traffic-Redundancy Aware Network Design. - Nuno Alves, Raymond Hu, Nobuko Yoshida, Pierre-Malo Deniélou:
Secure Execution of Distributed Session Programs. 1-11 - Joana Campos, Vasco T. Vasconcelos:
Channels as Objects in Concurrent Object-Oriented Programming. 12-28 - Marco Carbone, Davide Grohmann, Thomas T. Hildebrandt, Hugo A. López:
A Logic for Choreographies. 29-43 - Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas:
A Type System for Unstructured Locking that Guarantees Deadlock Freedom without Imposing a Lock Ordering. 44-58 - Thomas T. Hildebrandt, Raghava Rao Mukkamala:
Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs. 59-73 - Keigo Imai, Shoji Yuen, Kiyoshi Agusa:
Session Type Inference in Haskell. 74-91 - Julien Lange, Emilio Tuosto:
A Modular Toolkit for Distributed Interactions. 92-110 - Francisco Martins, Vasco Thudichum Vasconcelos, Tiago Cogumbreiro:
Types for X10 Clocks. 111-129 - Kee-Hoon Kim, Hosung Park, Jong-Seon No, Habong Chung:
Clipping Noise Cancellation for OFDM and OFDMA Systems Using Compressed Sensing. - Wang Gang, Dai Xia:
The Price of Anarchy (POA) of network coding and routing based on average pricing mechanism. - Nikolaus Hansen:
Injecting External Solutions Into CMA-ES. - (Withdrawn) Cryptanalysis of a lattice-based proxy signature scheme.
- Alekh Agarwal, Olivier Chapelle, Miroslav Dudík, John Langford:
A Reliable Effective Terascale Linear Learning System. - Arnaud Durand, Stefan Mengel:
On Polynomials Defined by Acyclic Conjunctive Queries and Weighted Counting Problems. - Luojie Xiang, Brian M. Kurkoski:
An Improved Analytical Expression for Write Amplification in NAND Flash. - Luojie Xiang:
Ideogram Based Chinese Sentiment Word Orientation Computation. - Konstantin Avrachenkov, Paulo Gonçalves, Alexey Mishenin, Marina Sokol:
Generalized Optimization Framework for Graph-based Semi-supervised Learning. - Leto Peel:
Topological Feature Based Classification. - Satyakama Paul, Bhekisipho Twala, Tshilidzi Marwala:
Organizational adaptation to Complexity: A study of the South African Insurance Market as a Complex Adaptive System through Statistical Risk Analysis. - Nikhil Bansal, Uriel Feige, Robert Krauthgamer, Konstantin Makarychev, Viswanath Nagarajan, Joseph Naor, Roy Schwartz:
Min-Max Graph Partitioning and Small Set Expansion. - (Withdrawn) An Optimal Algorithm for Linear Bandits.
- Javad Doliskani, Éric Schost:
Taking Roots over High Extensions of Finite Fields. - Laszlo B. Kish, Ferdinand Peper:
Information Networks Secured by the Laws of Physics. - Georgios C. Chasparis, Ari Arapostathis, Jeff S. Shamma:
Aspiration Learning in Coordination Games. - Eric Price, David P. Woodruff:
(1+eps)-approximate Sparse Recovery. - Guy Lever, Tom Diethe, John Shawe-Taylor:
Data-dependent kernels in nearly-linear time. - John Iacono:
Improved Upper Bounds for Pairing Heaps. - Haim Avron, Sivan Toledo:
Effective Stiffness: Generalizing Effective Resistance Sampling to Finite Element Matrices. - Yashodhan Kanoria, Andrea Montanari, David Tse, Baosen Zhang:
Distributed Storage for Intermittent Energy Sources: Control Design and Performance Limits. - David S. Hardin, Julien Schmaltz:
Proceedings 10th International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2011, Austin, Texas, USA, November 3-4, 2011. EPTCS 70, 2011 [contents] - Paolo Boldi, Marco Rosa, Sebastiano Vigna:
Robustness of Social Networks: Comparative Results Based on Distance Distributions. - Julien Mairal, Rodolphe Jenatton, Guillaume Obozinski, Francis R. Bach:
Learning Hierarchical and Topographic Dictionaries with Structured Sparsity. - Francisco Claude, Gonzalo Navarro:
Improved Grammar-Based Compressed Indexes. - David Eppstein, Michael T. Goodrich, Maarten Löffler, Darren Strash, Lowell Trott:
Category-Based Routing in Social Networks: Membership Dimension and the Small-World Phenomenon (Full). - Larbi Kzaz, Hicham Elasri, Abderrahim Sekkaki:
Semantic conflict resolution for integration of business components. - Hicham Elasri, Abderrahim Sekkaki, Larbi Kzaz:
An Ontology-Based Method for Semantic Integration of Business Components. - Ying Cui, Vincent K. N. Lau, Rui Wang, Huang Huang, Shunqing Zhang:
A Survey on Delay-Aware Resource Control for Wireless Systems - Large Deviation Theory, Stochastic Lyapunov Drift and Distributed Stochastic Learning. - Paul M. B. Vitányi:
Compression-based Similarity. - Francis Lazarus, Julien Rivaud:
On the homotopy test on surfaces. - Hyung-Chan An, Robert Kleinberg, David B. Shmoys:
Improving Christofides' Algorithm for the s-t Path TSP. - Omur Ozel, Sennur Ulukus:
Wiretap Channels: Implications of the More Capable Condition and Cyclic Shift Symmetry. - Jeff A. Stuart, John D. Owens:
Efficient Synchronization Primitives for GPUs. - Tom Heath:
Aladdin: Augmenting Urban Environments with Local Area Linked Data-Casting. - Boris Mitavskiy, Jonathan E. Rowe, Chris Cannings:
A Version of Geiringer-like Theorem for Decision Making in the Environments with Randomness and Incomplete Information. - John R. Cowles, Ruben Gamboa:
Verifying Sierpinski and Riesel Numbers in ACL2. 20-27 - Mike Dahlin, Ryan Johnson, Robert Bellarmine Krug, Michael McCoyd, William D. Young:
Toward the Verification of a Simple Hypervisor. 28-45 - Matt Kaufmann, J Strother Moore:
How Can I Do That with ACL2? Recent Enhancements to ACL2. 46-60 - Peter Reid, Ruben Gamboa:
Implementing an Automatic Differentiator in ACL2. 61-69 - Peter-Michael Seidel:
Formal Verification of an Iterative Low-Power x86 Floating-Point Multiplier with Redundant Feedback. 70-83 - Sol Swords, Jared Davis:
Bit-Blasting ACL2 Theorems. 84-102 - Freek Verbeek, Julien Schmaltz:
Formal verification of a deadlock detection algorithm. 103-112 - John Tadrous, Atilla Eryilmaz, Hesham El Gamal:
Proactive Resource Allocation: Harnessing the Diversity and Multicast Gains. - Philipp Hennig, David H. Stern, Ralf Herbrich, Thore Graepel:
Kernel Topic Models. - Thierry Petit, Nicolas Beldiceanu, Xavier Lorca:
A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints: Revised Edition that Incorporates One Correction. - Xinran He, Guojie Song, Wei Chen, Qingye Jiang:
Influence Blocking Maximization in Social Networks under the Competitive Linear Threshold Model Technical Report. - Abhijit Bhattacharya, Anurag Kumar:
QoS Aware and Survivable Network Design for Planned Wireless Sensor Networks. - Dániel Marx, Barry O'Sullivan, Igor Razgon:
Finding small separators in linear time via treewidth reduction. - Zhengjun Cao, Xiao Fan:
Improvement Of Barreto-Voloch Algorithm For Computing $r$th Roots Over Finite Fields. - O. Cugnon de Sevricourt, V. Tariel:
Cameleon language Part 1: Processor. - Monica Lavale:
Analysis of Differential Phase Shift Quantum Key Distribution. - Kyle Klein, Subhash Suri:
Capturing an Evader in Polygonal Environments: A Complete Information Game. - Jeon-Hyung Kang, Jihie Kim:
Analyzing Answers in Threaded Discussions using a Role-Based Information Network. - Jeon-Hyung Kang, Kristina Lerman:
Leveraging User Diversity to Harvest Knowledge on the Social Web. - Nikos Chondros, Konstantinos Kokordelis, Mema Roussopoulos:
On the Practicality of 'Practical' Byzantine Fault Tolerance. - Jan Vondrák:
Symmetry and approximability of submodular maximization problems. - László A. Végh:
Strongly polynomial algorithm for a class of minimum-cost flow problems with separable convex objectives. - Ali Pinar, C. Seshadhri, Tamara G. Kolda:
The Similarity between Stochastic Kronecker and Chung-Lu Graph Models. - Firouz Abdullah Al-Wassai, N. V. Kalyankar, Ali A. Al-Zaky:
Studying Satellite Image Quality Based on the Fusion Techniques. - Wlodzimierz Drabent:
Logic + control: An example of program construction. - Avrim Blum, Anupam Gupta, Yishay Mansour, Ankit Sharma:
Welfare and Profit Maximization with Production Costs. - Lei Zhou, Wei Yu:
Capacity of the Gaussian Relay Channel with Correlated Noises to Within a Constant Gap. - Lei Zhou, Wei Yu:
On Noisy Network Coding for a Gaussian Relay Chain Network with Correlated Noises. - Alexander M. Bronstein:
Spectral descriptors for deformable shapes. - Dell Zhang:
Wikipedia Edit Number Prediction based on Temporal Dynamics Only. - Marija Mitrovic, Bosiljka Tadic:
Patterns of Emotional Blogging and Emergence of Communities: Agent-Based Model on Bipartite Networks. - Alejandro J. Weinstein, Michael B. Wakin:
Recovering a Clipped Signal in Sparseland. - Claudio Testa, Dario Rossi, Ashwin Rao, Arnaud Legout:
Experimental Assessment of BitTorrent Completion Time in Heterogeneous TCP/uTP swarms. - Guy Bresler, Dustin Cartwright, David Tse:
Geometry of the 3-user MIMO interference channel. - Kishore Angrishi:
An End-to-End Stochastic Network Calculus with Effective Bandwidth and Effective Capacity. - Congcong Li, Adarsh Kowdle, Ashutosh Saxena, Tsuhan Chen:
Towards Holistic Scene Understanding: Feedback Enabled Cascaded Classification Models. - Maria Chudnovsky, Andrew D. King:
Optimal antithickenings of claw-free trigraphs. - Mohd Helmy Abd Wahab, Amirul A. Talib, Herdawatie Abdul Kadir, Ayob Johari, Ahmad Noraziah, Roslina Mohd Sidek, Ariffin Abdul Mutalib:
Smart Cane: Assistive Cane for Visually-impaired People. - Valmi Dufour-Lussier, Florence Le Ber, Jean Lieber:
Quels formalismes temporels pour représenter des connaissances extraites de textes de recettes de cuisine ? - Ali Bazghandi, Mehdi Bazghandi:
Ad Hoc Protocols Via Multi Agent Based Tools. - Karsten Fyhn, Thomas Arildsen, Torben Larsen, Søren Holdt Jensen:
Demodulation of a Subsampled Direct Sequence Spread Spectrum Signal using Compressive Signal Processing. - Steven Bergner, Michael Sedlmair, Sareh Nabi, Ahmed Saad, Torsten Möller:
Paraglide: Interactive Parameter Space Partitioning for Computer Simulations. - Serge Kernbach:
Diffusion of Information in Robot Swarms. - Philip Bille, Inge Li Gørtz, Hjalte Wedel Vildhøj, Søren Vind:
String Indexing for Patterns with Wildcards. - Alexander Stepanenko, I. V. Yurkevich, Costas C. Constantinou, I. V. Lerner:
Fluctuation-induced traffic congestion in heterogeneous networks. - Nick Inassaridze, Manuel Ladra, Tamaz Kandelaki:
Categorical interpretations of some key agreement protocols. - Shihabur Rahman Chowdhury, Md. Mahbubul Hasan, Sumaiya Iqbal, M. Sohel Rahman:
Computing a Longest Common Palindromic Subsequence. - José Ignacio Alvarez-Hamelin:
Is it possible to find the maximum clique in general graphs? - Alireza Mahdian, John Black, Richard Han, Shivakant Mishra:
MyZone: A Next-Generation Online Social Network. - Norman Danner, Sam DeFabbia-Kane, Danny Krizanc, Marc Liberatore:
Effectiveness and detection of denial of service attacks in Tor. - Sarah J. Johnson, Lawrence Ong, Christopher M. Kellett:
Joint Channel-Network Coding Strategies for Networks with Low Complexity Relays. - Thai Hoang Le, Len Tien Bui:
Face Recognition Based on SVM and 2DPCA. - Fidelia Ibekwe-Sanjuan, Eric SanJuan:
Knowledge Organization Research in the last two decades: 1988-2008. - Vittorio Bilò:
A Unifying Tool for Bounding the Quality of Non-Cooperative Solutions in Weighted Congestion Games. - Piotr Magierski, Gabriel Wlazlowski:
LINPRO: linear inverse problem library for data contaminated by statistical noise. - Roberto Cespi, Andreas Kolb, Marvin Lindner:
Hand Tracking based on Hierarchical Clustering of Range Data. - Oscar Cabrera, Marc Oriol, Xavier Franch, Lidia López, Jordi Marco, Olivia Graciela Fragoso Diaz, René Santaolaya Salgado:
WeSSQoS: A Configurable SOA System for Quality-aware Web Service Selection. - Bernd Puchala, Roman Rabinovich:
Graph Searching, Parity Games and Imperfect Information. - Irvin Hwang, Andreas Stuhlmüller, Noah D. Goodman:
Inducing Probabilistic Programs by Bayesian Program Merging. - Zeev Dvir, Shachar Lovett:
Subspace Evasive Sets. - Ahmad Beirami, Faramarz Fekri:
Results on the Redundancy of Universal Compression for Finite-Length Sequences. - Loet Leydesdorff, Lutz Bornmann:
Mapping (USPTO) Patent Data using Overlays to Google Maps. - Fidelia Ibekwe-Sanjuan, Silvia Fernández, Eric SanJuan, Eric Charton:
Annotation of Scientific Summaries for Information Retrieval. - László Czap, Vinod M. Prabhakaran, Suhas N. Diggavi, Christina Fragouli:
Secure Capacity Region for Erasure Broadcast Channels with Feedback. - Martin Hoefer, Thomas Kesselheim:
Secondary Spectrum Auctions for Symmetric and Submodular Bidders. - Serge Kernbach:
Swarmrobot.org - Open-hardware Microrobotic Project for Large-scale Artificial Swarms. - Davide Anastasia, Yiannis Andreopoulos:
Throughput-Distortion Computation. - Vandy Berten, Joël Goossens:
Sufficient FTP Schedulability Test for the Non-Cyclic Generalized Multiframe Task Model. - Peng Zhou, Xiapu Luo, Ang Chen, Rocky K. C. Chang:
STor: Social Network based Anonymous Communication in Tor. - Jierui Xie, Stephen Kelley, Boleslaw K. Szymanski:
Overlapping Community Detection in Networks: the State of the Art and Comparative Study. - Ringo Baumann, Heinrich Herre:
The Axiomatic Foundation of Space in GFO. - Anirban Bandyopadhyay, Ranjit Pati, Satyajit Sahu, Ferdinand Peper, Daisuke Fujita:
Massively parallel computing on an organic molecular layer. - Owen S. Martin:
A Wikipedia Literature Review. - Nachum Dershowitz, Alexander Nadel:
From Total Assignment Enumeration to Modern SAT Solver. - Gilles Puy, Pierre Vandergheynst, Rémi Gribonval, Yves Wiaux:
Universal and efficient compressed sensing by spread spectrum and application to realistic Fourier imaging techniques. - Ben Blum, Daphne Koller, Christian R. Shelton:
A Continuation Method for Nash Equilibria in Structured Games. - Said Hamadène, Mohammed Hassani:
The Multi-player Nonzero-sum Dynkin Game in Continuous Time. - Pavle Belanovic, Sergio Valcarcel Macua, Santiago Zazo:
Location-aided Distributed Primary User Identification in a Cognitive Radio Scenario. - Robert Crowston, Gregory Z. Gutin, Mark Jones, Anders Yeo:
Parameterized Complexity of Satisfying Almost All Linear Equations over $\mathbb{F}_2$. - Yang Cai, Ting Zhang:
Can Nondeterminism Help Complementation? 57-70 - Sudipto Dolui, Alan Kuurstra, Iván C. Salgado Patarroyo, Oleg V. Michailovich:
A New Similarity Measure for Non-Local Means Filtering of MRI Images. - Serguei Saavedra, Jordi Duch, Brian Uzzi:
Tracking Traders' Understanding of the Market Using e-Communication Data. - William Voorsluys, Rajkumar Buyya:
Reliable Provisioning of Spot Instances for Compute-intensive Applications. - William Voorsluys, Saurabh Kumar Garg, Rajkumar Buyya:
Provisioning Spot Market Cloud Resources to Create Cost-effective Virtual Clusters. - Zhengjun Cao, Xiao Fan:
A Heuristic Description of Fast Fourier Transform. - Timo Aittokoski, Suvi Tarkkanen:
User preference extraction using dynamic query sliders in conjunction with UPS-EMO algorithm. - Rafayel R. Kamalian, Arpine Khachatryan:
On a property of the $n$-dimensional cube. - Thomas Feulner, Gabriele Nebe:
The automorphism group of a self-dual binary [72,36,16] code does not contain Z7, Z3xZ3, or D10. - Marek Smieja, Jacek Tabor:
Entropy of the Mixture of Sources and Entropy Dimension. - Emily J. King:
A Matricial Algorithm for Polynomial Refinement. - Philip B. Alipour:
A Universal 4D Model for Double-Efficient Lossless Data Compressions. - Santanu Bhowmick, Sanjay Bhattacherjee, G. N. Nandakumar:
Generation of Test Vectors for Sequential Cell Verification. - Scott Aaronson:
A Counterexample to the Generalized Linial-Nisan Conjecture. - Chandramani Kishore Singh, Eitan Altman, Anurag Kumar, Rajesh Sundaresan:
Optimal Forwarding in Delay Tolerant Networks with Multiple Destinations. - Louis D'Alotto:
Cellular Automata Using Infinite Computations. - Kaya Tutuncuoglu, Aylin Yener:
Sum-Rate Optimal Power Policies for Energy Harvesting Transmitters in an Interference Channel. - Seth Fogarty, Moshe Y. Vardi:
Büchi Complementation and Size-Change Termination. - Alyson K. Fletcher, Sundeep Rangan, Vivek K. Goyal:
Ranked Sparse Signal Support Detection. - Aman Bhatia, Aravind R. Iyengar, Paul H. Siegel:
Enhancing Binary Images of Non-Binary LDPC Codes. - Jacob Eisenstein, Duen Horng Chau, Aniket Kittur, Eric P. Xing:
TopicScape: Semantic Navigation of Document Collections. - Agnieszka Lupinska:
Parallel implematation of flow and matching algorithms. - Kwankyu Lee, Maria Bras-Amorós, Michael E. O'Sullivan:
Unique Decoding of Plane AG Codes via Interpolation. - Wojciech Mazurczyk, Pawel Kopiczko:
What more can be learnt about BitTorrent from meta-data files and μTorrent logs? - Scott Hazelhurst, Yestin Johnson, Ian D. Sanders:
An empirical analysis of the relationship between web usage and academic performance in undergraduate students. - Hervé Fournier, Guillaume Malod, Stefan Mengel:
Monomials in arithmetic circuits: Complete problems in the counting hierarchy. - (Withdrawn) Stability of Triangular Decomposition and Comprehensive Triangular Decomposition.
- Michal Cholewa, Przemyslaw Glomb:
Deciding of HMM parameters based on number of critical points for gesture recognition from motion capture data. - Ian P. Gent, Lars Kotthoff:
Reliability of Computational Experiments on Virtualised Hardware. - Ian P. Gent, Christopher Jefferson, Lars Kotthoff, Ian Miguel:
Modelling Constraint Solver Architecture Design as a Constraint Problem. - Jason D. McEwen, Gilles Puy, Jean-Philippe Thiran, Pierre Vandergheynst, Dimitri Van De Ville, Yves Wiaux:
Implications for compressed sensing of a new sampling theorem on the sphere. - Jason D. McEwen, Gilles Puy, Jean-Philippe Thiran, Pierre Vandergheynst, Dimitri Van De Ville, Yves Wiaux:
Sampling theorems and compressive sensing on the sphere. - Jason D. McEwen, Yves Wiaux:
A novel sampling theorem on the sphere. - Sanjeev Goyal, Michael J. Kearns:
Competitive Contagion in Networks. - Serge Gaspers, Stefan Szeider:
Backdoors to Acyclic SAT. - Serge Gaspers, Stefan Szeider:
Backdoors to Satisfaction. - Elena Kleiman:
Packing, Scheduling and Covering Problems in a Game-Theoretic Perspective. - Prosenjit Bose, Dana Jansens, André van Renssen, Maria Saumell, Sander Verdonschot:
Making triangulations 4-connected using flips. - Tzu-Han Chou, Stark C. Draper, Akbar M. Sayeed:
Key Generation Using External Source Excitation: Capacity, Reliability, and Secrecy Exponent. - Nicolaie Popescu-Bodorin, Valentina Emilia Balas, Iulia M. Motoc:
Iris Codes Classification Using Discriminant and Witness Directions. - Soheil Mohajer, Ravi Tandon, H. Vincent Poor:
On the Feedback Capacity of the Fully Connected $K$-User Interference Channel. - Maria Vincelli:
Un modello di struttura dinamica per ebook scolastici. - Md. Asaduzzaman, Thierry J. Chaussalet:
A Generalized Loss Network Model with Overflow for Capacity Planning of a Perinatal Network. - Amit Kumar Mishra, Chris J. Baker:
A cognitive diversity framework for radar target classification. - Amir Shpilka:
New constructions of WOM codes using the Wozencraft ensemble. - René Sitters:
The generalized work function algorithm is competitive for the generalized 2-server problem. - Andrew Pavlo, Evan P. C. Jones, Stanley B. Zdonik:
On Predictive Modeling for Optimizing Transaction Execution in Parallel OLTP Systems. - François Goasdoué, Konstantinos Karanasos, Julien Leblay, Ioana Manolescu:
View Selection in Semantic Web Databases. - Jeffrey Jestes, Ke Yi, Feifei Li:
Building Wavelet Histograms on Large Data in MapReduce. - Di Yang, Elke A. Rundensteiner, Matthew O. Ward:
Summarization and Matching of Density-Based Clusters in Streaming Environments. - Thanh Hoang Nguyen, Viviane Pereira Moreira, Huong Nguyen, Hoa Nguyen, Juliana Freire:
Multilingual Schema Matching for Wikipedia Infoboxes. - Guimei Liu, Haojun Zhang, Limsoon Wong:
Controlling False Positives in Association Rule Mining. - Kartik Venkat, Tsachy Weissman:
Pointwise Relations between Information and Estimation. - Herman Geuvers, Gopalan Nadathur:
Proceedings Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP 2011, Nijmegen, The Netherlands, August 26, 2011. EPTCS 71, 2011 [contents] - Mortuza Ali, Margreta Kuijper:
An algebraic approach to source coding with side information using list decoding. - Manoj K. Raut:
An Incremental Knowledge Compilation in First Order Logic. - Chiara Braghin, Riccardo Dondi, Gabriella Trucco, Paola Bonizzoni:
The Binary Perfect Phylogeny with Persistent characters. - Yevgeny Seldin, Nicolò Cesa-Bianchi, Peter Auer, François Laviolette, John Shawe-Taylor:
PAC-Bayes-Bernstein Inequality for Martingales and its Application to Multiarmed Bandits. - Paul de Kerret, David Gesbert:
Towards Optimal CSI Allocation in Multicell MIMO Channels. - Sarah J. Johnson, Gottfried Lechner:
Spatially Coupled Repeat-Accumulate Codes. - Chandra Chekuri, Sreeram Kannan, Adnan Raja, Pramod Viswanath:
Multicommodity Flows and Cuts in Polymatroidal Networks. - Dante Kalise, Ivar Lie, Eleuterio F. Toro:
High-order finite volume schemes for layered atmospheric models. - Maxim Vashkevich, Marek Parfieniuk, Alexander A. Petrovsky:
FPGA implementation of short critical path CORDIC-based approximation of the eight-point DCT. - Pritha Guha, Kinjal Shah, Shiv Shankar Prasad Shukla, Shweta Singh:
Incorporating Agile with MDA Case Study: Online Polling System. - Yevgeny Seldin, François Laviolette, Nicolò Cesa-Bianchi, John Shawe-Taylor, Peter Auer:
PAC-Bayesian Inequalities for Martingales. - Svebor Karaman, Jenny Benois-Pineau, Rémi Mégret, Aurélie Bugeau:
Multi-Layer Local Graph Words for Object Recognition. - Yeow-Khiang Chia, Himanshu Asnani, Tsachy Weissman:
Multi-Terminal Source Coding With Action Dependent Side Information. - John D. Jakeman, Stephen G. Roberts:
Local and Dimension Adaptive Sparse Grid Interpolation and Quadrature. - Paul Jouguet, Sébastien Kunz-Jacques, Anthony Leverrier:
Long Distance Continuous-Variable Quantum Key Distribution with a Gaussian Modulation. - Gleb Beliakov, Andrei V. Kelarev, John Yearwood:
Robust artificial neural networks and outlier detection. Technical report. - Pablo Cordero, Julius B. Lucks, Rhiju Das:
The Stanford RNA Mapping Database for sharing and visualizing RNA structure mapping experiments. - (Withdrawn) Analysis of Laser & Detector Placement in MIMO Multimode Optical Fiber Systems.
- Atieh Mirshahvalad, Johan Lindholm, Mattias Derlen, Martin Rosvall:
Significant communities in large sparse networks. - Pramesh Singh, Sameet Sreenivasan, Boleslaw K. Szymanski, György Korniss:
Accelerating consensus on co-evolving networks: the effect of committed individuals. - Serguei Saavedra, Felix Reed-Tsochas, Brian Uzzi:
Common Organizing Mechanisms in Ecological and Socio-economic Networks. - Serguei Saavedra, Kathleen Hagerty, Brian Uzzi:
Synchronicity, Instant Messaging and Performance among Financial Traders. - Guillaume Obozinski, Laurent Jacob, Jean-Philippe Vert:
Group Lasso with Overlaps: the Latent Group Lasso approach. - Kevin Jorissen, Fernando D. Vila, John J. Rehr:
A high performance scientific cloud computing environment for materials simulations. - Vladimir Nikulin:
Identifying relationships between drugs and medical conditions: winning experience in the Challenge 2 of the OMOP 2010 Cup. - Puya Sharif, Hoshang Heydari:
Strategies and payoffs in quantum minority games. - Robert D. Rosebrugh, Nicoletta Sabadini, Robert F. C. Walters:
Tangled Circuits. - Katharina T. Huber, Vincent Moulton:
Encoding and Constructing 1-Nested Phylogenetic Networks with Trinets. - Iaakov Exman, Radel Ben-Av:
Z-States Algebra for a Tunable Multi-Party Entanglement-Distillation Protocol. - Pablo Moriano, Jorge Finke:
Power-law weighted networks from local attachments. - Srinivas Sridharan:
Optimal rotation of a qubit under dynamic measurement and velocity control. - Chuang Wang, Ze-Dong Bi, Jing-Qing Xiao, Haijun Zhou:
Partition Function Expansion on Region-Graphs and Message-Passing Equations. - Andrey N. Belikov, F. Dijkstra, J. A. Gankema, J. B. A. N. van Hoof, R. Koopman:
Information Systems Playground - The Target Infrastructure, Scaling Astro-WISE into the Petabyte range. - Markus Gusenbauer, Alexander Kovacs, Franz Reichel, Lukas Exl, Simon Bance, Harald Oezelt, Thomas Schrefl:
Self-organizing magnetic beads for biomedical applications. - Markus Gusenbauer, Ivan Cimrák, Simon Bance, Lukas Exl, Franz Reichel, Harald Oezelt, Thomas Schrefl:
A tunable cancer cell filter using magnetic beads: cellular and fluid dynamic simulations. - Roberto I. Oliveira, Alan Prata:
Rumor Spreading on Percolation Graphs. - Carsten Lemmen, Aurangzeb Khan:
A simulation of the Neolithic transition in the Indus valley. - Mohamed-Ali Belabbas:
Mathematical aspects of decentralized control of formations in the plane. - Mohamed-Ali Belabbas:
Known unknowns, unknown unknowns and information flow: new concepts in decentralized control. - Hari Prakash, Vikram Verma:
Standard Quantum Teleportation of. - Ehtibar N. Dzhafarov, Janne V. Kujala:
Order-distance and other metric-like functions on jointly distributed random variables. - Eduardo Dominguez, Alejandro Lage-Castellanos, Roberto Mulet, Federico Ricci-Tersenghi, Tommaso Rizzo:
Characterizing and Improving Generalized Belief Propagation Algorithms on the 2D Edwards-Anderson Model. - Paul Benioff:
Effects on quantum physics of the local availability of mathematics and space time dependent scaling factors for number systems. - Fabien Alibart, Ligang Gao, Brian Hoskins, Dmitri B. Strukov:
High-Precision Tuning of State for Memristive Devices by Adaptable Variation-Tolerant Algorithm. - Alex Rutherford, Dion Harmon, Justin Werfel, Shlomiya Bar-Yam, Alexander Gard-Murray, Andreas Gros, Yaneer Bar-Yam:
Good Fences: The Importance of Setting Boundaries for Peaceful Coexistence. - Antonio Irpino, Rosanna Verde, Francisco de A. T. de Carvalho:
Dynamic Clustering of Histogram Data Based on Adaptive Squared Wasserstein Distances. - Wojciech Slomczynski, Karol Zyczkowski:
Mathematical aspects of degressive proportionality. - Tobias Kretz:
Counterflow in Evacuations. - Junjie Wang, Shuigeng Zhou, Jihong Guan:
Detecting Collusive Cliques in Futures Markets Based on Trading Behaviors from Real Data. - Marcus Greferath, Cathy Mc Fadden, Jens Zumbrägel:
Characteristics of Invariant Weights Related to Code Equivalence over Rings. - Carlos Gracia-Lázaro, Fernando Quijandría, Laura Hernández, Luis Mario Floría, Yamir Moreno:
Co-evolutionnary network approach to cultural dynamics controlled by intolerance. - Jonathan Carroll-Nellenback, Brandon Shroyer, Adam Frank, Chen Ding:
Efficient Parallelization for AMR MHD Multiphysics Calculations; Implementation in AstroBEAR. - José Bento, Andrea Montanari:
On the trade-off between complexity and correlation decay in structural learning algorithms. - Saeed Salehi:
Herbrand Consistency of Some Finite Fragments of Bounded Arithmetical Theories. - George Barmpalias:
Universal computably enumerable sets and initial segment prefix-free complexity. - José Luis Iribarren, Esteban Moro:
Branching Dynamics of Viral Information Spreading. - Zhiyun Zou, Peng Liu, Li Lei, Jianzhi Gao:
An evolving network model with modular growth. - Lily Chen, Xueliang Li, Huishu Lian:
Further hardness results on the rainbow vertex-connection number of graphs. - Huawei Shen, Xueqi Cheng, Jiafeng Guo:
Exploring the structural regularities in networks. - Supriya Krishnamurthy, Sumedha:
Some exact calculations for K-SAT on trees. - Young-Ho Eom, Santo Fortunato:
Characterizing and modeling citation dynamics. - Andrea Baronchelli, Albert Díaz-Guilera:
Paths to consensus in networks of mobile communicating agents. - Raif M. Rustamov:
Average Interpolating Wavelets on Point Clouds and Graphs. - János Barát, Gwenaël Joret, David R. Wood:
Disproof of the List Hadwiger Conjecture. - Daniel W. Cranston, Clifford D. Smyth, Douglas B. West:
Revolutionaries and spies on trees and unicyclic graphs. - Hugo Buddelmeijer, Edwin Valentijn:
Query Driven Visualization of Astronomical Catalogs. - Marco Cuturi, David Avis:
Ground Metric Learning. - Xavier Caicedo, Ricardo Oscar Rodríguez:
Bi-modal Gödel logic over [0,1]-valued Kripke frames. - Amit Surana, Tuhin Sahai, Andrzej Banaszuk:
Iterative Methods for Scalable Uncertainty Quantification in Complex Networks. - Aaron F. McDaid, Derek Greene, Neil J. Hurley:
Normalized Mutual Information to evaluate overlapping community finding algorithms. - Alekh Agarwal, John C. Duchi:
The Generalization Ability of Online Algorithms for Dependent Data. - Mile Sikic, Alen Lancic, Nino Antulov-Fantulin, Hrvoje Stefancic:
Epidemic centrality and the underestimated epidemic impact on network peripheral nodes. - Emile Simon:
Comment on "Hinf positive filtering for positive linear discrete-time systems: an augmentation approach". - Lovro Subelj, Marko Bajec:
Generalized network community detection. - Deok-Sun Lee, Seong Eun Maeng, Jae Woo Lee:
Scaling of nestedness in complex networks. - Noga Alon, Jacob Fox:
Testing perfection is hard. - Seong Eun Maeng, Jae Woo Lee, Deok-Sun Lee:
Interspecific competition underlying mutualistic networks. - Daniel J. Hsu, Sham M. Kakade, Tong Zhang:
A tail inequality for quadratic forms of subgaussian random vectors. - Toshimitsu Takahashi, Ryota Tomioka, Kenji Yamanishi:
Discovering Emerging Topics in Social Streams via Link Anomaly Detection. - Sitabhra Sinha, Swarup Poria:
Multiple dynamical time-scales in networks with hierarchically nested modular organization. - Chi Ho Yeung, David Saad:
Networks and Networking - A Statistical Physics Perspective. - Stefan Hennemann, Diego Rybski, Ingo Liefner:
The Myth of Global Science Collaboration - Collaboration patterns in epistemic communities. - Troy Day:
Computability, Gödel's Incompleteness Theorem, and an inherent limit on the predictability of evolution. - Antonio Campello, João Strapasson:
On sequences of projections of the cubic lattice. - Peng Cheng:
Step size adaptation in first-order method for stochastic strongly convex programming. - Avraham Bourla:
Symmetries in the sequence of approximation coefficients. - María Isabel Herrero, Gabriela Jeronimo, Juan Sabia:
Affine solution sets of sparse polynomial systems. - Gui-Bo Ye, Yuanfeng Wang, Yifei Chen, Xiaohui Xie:
Efficient Latent Variable Graphical Model Selection via Split Bregman Method. - Yoshiharu Maeno:
Transient fluctuation in stochastic catalytic networks. - Mario Mulansky, Karsten Ahnert:
Metaprogramming Applied to Numerical Problems. - T. S. Evans, N. Hopkins, B. S. Kaube:
Universality of Performance Indicators based on Citation and Reference Counts. - Fabricio L. Forgerini, Nuno Crokidakis, Sergey N. Dorogovtsev, José F. F. Mendes:
Evolution of spatially embedded branching trees with interacting nodes. - Francisco Rubio, Xavier Mestre, Daniel P. Palomar:
Performance analysis and optimal selection of large mean-variance portfolios under estimation risk. - Kang Kang, Sourabh Bhattacharya, Tamer Basar:
Switching Strategies for Linear Feedback Stabilization with Sparsified State Measurements. - Piotr Berman, Bhaskar DasGupta, Lakshmi Kaligounder, Marek Karpinski:
On Systemic Stability of Banking Networks. - (Withdrawn) A Theory of Consciousness Founded on Neurons That Behave Like Qubits.
- Pentti Haukkanen, Jorma K. Merikoski:
Asymptotics of the number of threshold functions on a two-dimensional rectangular grid. - Doug M. Boyer, Yaron Lipman, Elizabeth St. Clair, Jesús Puente, Thomas A. Funkhouser, Biren A. Patel, Jukka Jernvall, Ingrid Daubechies:
Algorithms to automatically quantify the geometric similarity of anatomical surfaces. - Lipeng Ning, Xianhua Jiang, Tryphon T. Georgiou:
Geometric methods for estimation of structured covariances. - Andrea Asztalos, Sameet Sreenivasan, Boleslaw K. Szymanski, György Korniss:
Distributed flow optimization and cascading effects in weighted complex networks. - Yunpeng Zhao, Elizaveta Levina, Ji Zhu:
On Consistency of Community Detection in Networks. - Peng Sun, Jie Zhou:
AOSO-LogitBoost: Adaptive One-Vs-One LogitBoost for Multi-Class Problem. - Carlos Eduardo Maldonado, Nelson Alfonso Gómez-Cruz:
The Complexification of Engineering. - David J. Albers, George Hripcsak:
Using time-delayed mutual information to discover and interpret temporal correlation structure in complex populations. - Jiawei Chiu, Laurent Demanet:
Sublinear randomized algorithms for skeleton decompositions. - Rosalie Carlson, Stephen Flood, Kevin O'Neill, Francis Edward Su:
A Tur'an-type problem for circular arc graphs. - Marco Dall'Aglio, Camilla Di Luca:
Finding maxmin allocations in cooperative and competitive fair division. - Bireswar Das, Manjish Pal, Vijay Visavaliya:
The Entropy Influence Conjecture Revisited. - Devavrat Shah, Neil S. Walton, Yuan Zhong:
Optimal Queue-Size Scaling in Switched Networks. - Ilaria Bordino, Stefano Battiston, Guido Caldarelli, Matthieu Cristelli, Antti Ukkonen, Ingmar Weber:
Web search queries can predict stock market volumes. - Amir Dembo, Andrea Montanari, Nike Sun:
Factor models on locally tree-like graphs. - Justin P. Coon, Carl P. Dettmann, Orestis Georgiou:
Impact of boundaries on fully connected random geometric networks. - Vladimir I. Levenshtein, Johannes Siemons:
Error Graphs and the Reconstruction of Elements in Groups. - Debora S. Marks, Lucy J. Colwell, Robert P. Sheridan, Thomas A. Hopf, Andrea Pagnani, Riccardo Zecchina, Chris Sander:
3D Protein Structure Predicted from Sequence. - Alejandro Erickson, Mark Schurch:
Monomer-dimer tatami tilings of square regions. - An Zeng, Giulio Cimini:
Removing spurious interactions in complex networks. - Zdenek Dvorák:
Constant-factor approximation of domination number in sparse graphs. - Soumyajyoti Biswas, Asim Ghosh, Arnab Chatterjee, Tapan Naskar, Bikas K. Chakrabarti:
Continuous transition of social efficiencies in the stochastic strategy Minority Game. - Eric Werner:
On Programs and Genomes. - Kristinka Ivanova, Ivan Iordanov:
Two-Population Dynamics in a Growing Network Model. - Alex Gittens:
The spectral norm error of the naive Nystrom extension. - Engin Masazade, Ruixin Niu, Pramod K. Varshney:
Dynamic Bit Allocation for Object Tracking in Bandwidth Limited Sensor Networks. - Scott Aaronson:
Quantum Copy-Protection and Quantum Money. - Stuart Weston, Timothy Natusch, Sergei Gulyaev:
New Zealand involvement in Radio Astronomical VLBI Image Processing. - Hyokun Yun, S. V. N. Vishwanathan:
Quilting Stochastic Kronecker Product Graphs to Generate Multiplicative Attribute Graphs. - Sébastien Bubeck, Damien Ernst, Aurélien Garivier:
Optimal discovery with probabilistic expert advice. - Viktor Levandovskyy, Kristina Schindelar:
Fraction-free algorithm for the computation of diagonal forms matrices over Ore domains using Gr{ö}bner bases. - Neli Blagus, Lovro Subelj, Marko Bajec:
Self-similar scaling of density in complex real-world networks. - Timothy H. McNicholl:
Computing links and accessing arcs. - Przemyslaw A. Grabowicz, Víctor M. Eguíluz:
Heterogeneity shapes groups growth in social online communities. - Andrew Suk:
Disjoint edges in complete topological graphs. - Nicholas M. Ball:
Discussion on "Techniques for Massive-Data Machine Learning in Astronomy" by A. Gray. - Iman Hajirasouliha, Alexander Schönhuth, David de Juan, Alfonso Valencia, Süleyman Cenk Sahinalp:
Mirroring co-evolving trees in the light of their topologies. - Shun Watanabe:
Remarks on Private and Quantum Capacities of More Capable and Less Noisy Quantum Channels. - Kira V. Adaricheva, James B. Nation, Robert Rand:
Ordered direct implicational basis of a finite closure system. - Matthew Graham, Guy Rixon:
IVOA Recommendation: IVOA Support Interfaces. - Eric Werner:
Cancer Networks: A general theoretical and computational framework for understanding cancer. - Elchanan Mossel, Miklós Z. Rácz:
A quantitative Gibbard-Satterthwaite theorem without neutrality. - Yuval Elias, Tal Mor, Yossi Weinstein:
Semi-optimal Practicable Algorithmic Cooling. - Alberto Montina:
Communication cost of classically simulating a quantum channel with subsequent rank-1 projective measurement. - Jakob L. Andersen, Christoph Flamm, Daniel Merkle, Peter F. Stadler:
Maximizing Output and Recognizing Autocatalysis in Chemical Reaction Networks is NP-Complete. - Benjamin A. Burton:
Simplification paths in the Pachner graphs of closed orientable 3-manifold triangulations. - Vianney Perchet, Philippe Rigollet:
The multi-armed bandit problem with covariates. - Lingfei Wu, Jiang Zhang:
The Flow Structure on the WWW.