default search action
CoRR, November 2011
- Aman Chadha, Divya Jyoti, M. Mani Roja:
Text-Independent Speaker Recognition for Low SNR Environments with Encryption. - Ian Horrocks, Jeff Z. Pan, Giorgos B. Stamou, Giorgos Stoilos, Vassilis Tzouvaras:
Reasoning with Very Expressive Fuzzy Description Logics. - Chu Min Li, Felip Manyà, Jordi Planes:
New Inference Rules for Max-SAT. - Rafael H. Bordini, Álvaro F. Moreira, Renata Vieira, Michael J. Wooldridge:
On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language. - Boi Faltings, Radu Jurca:
Obtaining Reliable Feedback for Sanctioning Reputation Mechanisms. - Carmel Domshlak, Jörg Hoffmann:
Probabilistic Planning via Heuristic Forward Search and Weighted Model Counting. - Indrajit Bhattacharya, Lise Getoor:
Query-time Entity Resolution. - Jonathan Bredin, Quang Duong, David C. Parkes:
Chain: A Dynamic Double Auction Framework for Matching Patient Agents. - François Mairesse, Rashmi Prasad, Amanda Stent, Marilyn A. Walker:
Individual and Domain Adaptation in Sentence Planning for Dialogue. - Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler:
Conjunctive Query Answering for the Description Logic SHIQ. - George Macleod Coghill, Ross D. King, Ashwin Srinivasan:
Qualitative System Identification from Imperfect Data. - Malcolm R. K. Ryan:
Exploiting Subgraph Structure in Multi-Robot Path Planning. - Yulin Ding, Yan Zhang:
CTL Model Update for System Modifications. - Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner:
Extended RDF as a Semantic Foundation of Rule Markup Languages. - Omer Giménez, Anders Jonsson:
The Complexity of Planning Problems With Simple Causal Graphs. - Menkes Hector Louis van den Briel, Thomas Vossen, Subbarao Kambhampati:
Loosely Coupled Formulations for Automated Planning: An Integer Programming Perspective. - Daria Terekhov, J. Christopher Beck:
A Constraint Programming Approach for Solving a Queueing Control Problem. - Frans A. Oliehoek, Matthijs T. J. Spaan, Nikos Vlassis:
Optimal and Approximate Q-value Functions for Decentralized POMDPs. - Jiri Barnat, Keijo Heljanko
:
Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2011, Snowbird, Utah, USA, July 14, 2011. EPTCS 72, 2011 [contents] - Claudia V. Goldman, Shlomo Zilberstein:
Communication-Based Decomposition Mechanisms for Decentralized MDPs. - Fan Yang, Joseph C. Culberson, Robert Holte, Uzi Zahavi, Ariel Felner:
A General Theory of Additive State Space Abstractions. - Chenggang Wang, Saket Joshi, Roni Khardon:
First Order Decision Diagrams for Relational MDPs. - Yiwei Song, Natasha Devroye:
Lattice codes for the Gaussian relay channel: Decode-and-Forward and Compress-and-Forward. - Andreas Abel, Nicolai Kraus
A Lambda Term Representation Inspired by Linear Ordered Logic. 1-13 - Maxime Beauquier, Carsten Schürmann:
A Bigraph Relational Model. 14-28 - Mathieu Boespflug, Brigitte Pientka:
Multi-level Contextual Type Theory. 29-43 - Ranald Clouston:
Nominal Logic with Equations Only. 44-57 - Murdoch James Gabbay
Nominal Henkin Semantics: simply-typed lambda-calculus models in nominal sets. 58-75 - Alan J. Martin, Amy P. Felty:
An Improved Implementation and Abstract Interface for Hybrid. 76-90 - Manosij Ghosh Dastidar, Sourav Sen Gupta:
Generalization of a few results in Integer Partitions. - Gyesik Lee, Benjamin Werner:
Proof-irrelevant model of CC with predicative induction and judgmental equality. - Quan Quan, Hai Lin, Kai-Yuan Cai:
Output Feedback Tracking Control for a Class of Uncertain Systems subject to Unmodeled Dynamics and Delay at Input. - Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Joost J. Joosten, Fernando Soler-Toscano:
A secure additive protocol for card players. - Sanaa Elyassami, Ali Idri:
Applying Fuzzy ID3 Decision Tree for Software Effort Estimation. - Kasra Haghighi, Erik G. Ström, Erik Agrell:
On Optimum Causal Cognitive Spectrum Reutilization Strategy. - Carlos Aguilar Melchor, Philippe Gaborit, Jon-Lark Kim, Lin Sok, Patrick Solé:
Classification of extremal and $s$-extremal binary self-dual codes of length 38. - Shuvatov Talgat, Suleimenov Batrbek:
Gas turbine diagnostic system. - Anita Sobe, Wilfried Elmenreich, László Böszörményi:
Storage Balancing in Self-organizing Multimedia Delivery Systems. - Roman V. Yampolskiy:
Construction of an NP Problem with an Exponential Lower Bound. - Zeinab Abbassi, Christina Aperjis, Bernardo A. Huberman:
Swayed by Friends or by the Crowd? - Yoann Dieudonné, Andrzej Pelc:
Deterministic gathering of anonymous agents in arbitrary networks. - Adrian Yanes:
OpenWeather: a peer-to-peer weather data transmission protocol. - Mishari Al Mishari, Gene Tsudik:
Exploring Linkablility of Community Reviewing. - Brian Kulis, Michael I. Jordan:
Revisiting k-means: New Algorithms via Bayesian Nonparametrics. - Lubos Brim, Jiri Barnat:
Platform Dependent Verification: On Engineering Verification Tools for 21st Century. 1-12 - Alfons Laarman
Variations on Multi-Core Nested Depth-First Search. 13-28 - Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen
Distributed Parametric and Statistical Model Checking. 30-42 - Youssef Hamadi, João Marques-Silva, Christoph M. Wintersteiger
Lazy Decomposition for Distributed Decision Procedures. 43-54 - Temesghen Kahsai, Cesare Tinelli
PKind: A parallel k-induction based model checker. 55-62 - Nikola Benes, Ivana Cerná, Milan Krivánek:
CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems. 63-67 - Stefan Vijzelaar, Kees Verstoep, Wan J. Fokkink
Distributed MAP in the SpinJa Model Checker. 84-90 - Anton Wijs:
The HIVE Tool for Informed Swarm State Space Exploration. 91-98 - Christina Boucher, Christine Lo, Daniel Lokshtanov:
Outlier Detection for DNA Fragment Assembly. - (Withdrawn) An Efficient Security Mechanism for High-Integrity Wireless Sensor Networks.
- Jaydip Sen:
A Distributed Intrusion Detection System Using Cooperating Agents. - Jaydip Sen, M. Girish Chandra, P. Balamuralidhar, Harihara S. G., Harish Reddy:
A Distributed Protocol for Detection of Packet Dropping Attack in Mobile Ad Hoc Networks. - Jaydip Sen, M. Girish Chandra, Harihara S. G., Harish Reddy, P. Balamuralidhar:
A Mechanism for Detection of Gray Hole Attack in Mobile Ad Hoc Networks. - Jaydip Sen, Sripad Koilakonda, Arijit Ukil:
A Mechanism for Detection of Cooperative Black Hole Attack in Mobile Ad Hoc Networks. - Boaz Barak, Parikshit Gopalan, Johan Håstad, Raghu Meka, Prasad Raghavendra, David Steurer:
Making the long code shorter, with applications to the Unique Games Conjecture. - Pekka Kilpeläinen:
Inclusion of Unambiguous RE#s is NP-Hard. - (Withdrawn) A Stochastic Net Model for Controlling Bullwhip Effect in Virtual Multi-Tier Retail Network.
- Sangkyun Lee, Stephen J. Wright:
Approximate Stochastic Subgradient Estimation Training for Support Vector Machines. - Laurent Bulteau, Guillaume Fertin, Irena Rusu:
Pancake Flipping is Hard. - Michael M. Bronstein:
Kernel diff-hash. - Michal Skrzypczak:
Equational theories of profinite structures. - Rafael Grimson, Joos Heintz, Bart Kuijpers:
Evaluating geometric queries using few arithmetic operations. - Serge Kernbach, Kristof Jebens:
Development of a Cost-efficient Autonomous MAV for an Unstructured Indoor Environment. - Francesco Pantisano, Mehdi Bennis, Walid Saad, Mérouane Debbah:
Spectrum Leasing as an Incentive towards Uplink Macrocell and Femtocell Cooperation. - Jeannette C. M. Janssen, Pawel Pralat, Rory Wilson:
Geometric Graph Properties of the Spatial Preferred Attachment model. - Shayan Ehsani, MohammadAmin Fazli, Abbas Mehrabian, Sina Sadeghian Sadeghabad, MohammadAli Safari, Morteza Saghafian, Saber ShokatFadaee:
On a Bounded Budget Network Creation Game. - Sergio España, Nelly Condori-Fernández, Roel J. Wieringa, Arturo González, Oscar Pastor:
Model-driven system development: Experimental design and report of the pilot experiment. - Jungyun Bae, Sivakumar Rathinam:
A Primal Dual Algorithm for a Heterogeneous Traveling Salesman Problem. - Marek Cygan, Stefan Kratsch, Marcin Pilipczuk, Michal Pilipczuk, Magnus Wahlström:
Clique cover and graph separation: New incompressibility results. - Manindra Agrawal, Chandan Saha, Ramprasad Saptharishi, Nitin Saxena:
Jacobian hits circuits: Hitting-sets, lower bounds for depth-D occur-k formulas & depth-3 transcendence degree-k circuits. - Andrea Clementi, Riccardo Silvestri, Luca Trevisan:
Information Spreading in Dynamic Graphs. - Andrey Nikolaev:
Exploring Oracle RDBMS latches using Solaris DTrace. - Shurui Huang, Aditya Ramamoorthy:
An achievable region for the double unicast problem based on a minimum cut analysis. - Moritz Hardt, Aaron Roth:
Beating Randomized Response on Incoherent Matrices. - Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska:
Computing Optimal Cycle Mean in Parallel on CUDA. 68-83 - Mohamed A. El-Zawawy, Hamada A. Nayel:
Partial Redundancy Elimination for Multi-threaded Programs. - Mojtaba Vaezi, Fabrice Labeau:
Lossy Distributed Source Coding Using Real-Number Codes. - Michael A. Forbes, Amir Shpilka:
On Identity Testing of Tensors, Low-rank Recovery and Compressed Sensing. - Rajeev Alur, Loris D'Antoni, Jyotirmoy V. Deshmukh, Mukund Raghothaman, Yifei Yuan:
Regular Functions, Cost Register Automata, and Generalized Min-Cost Problems. - Jinjing Jiang, Neeharika Marukala, Tie Liu:
Symmetrical Multilevel Diversity Coding with an All-Access Encoder. - Chuan Zhang, Keshab K. Parhi:
Efficient Network for Non-Binary QC-LDPC Decoder. - Chuan Zhang, Bo Yuan, Keshab K. Parhi:
Reduced-Latency SC Polar Decoder Architectures. - Chuan Zhang, Bo Yuan, Keshab K. Parhi:
Low-Latency SC Decoder Architectures for Polar Codes. - Hervé Kerivin, Jimmy Leblet, Gwendal Simon, Fen Zhou:
Maximum Bounded Rooted-Tree Packing Problem. - Yige Wang, Stark C. Draper, Jonathan S. Yedidia:
Hierarchical and High-Girth QC LDPC Codes. - Pannagadatta K. Shivaswamy, Thorsten Joachims:
Online Learning with Preference Feedback. - Evan Everett, Debashis Dash, Chris Dick, Ashutosh Sabharwal:
Self-Interference Cancellation in Multi-hop Full-Duplex Networks via Structured Signaling. - Bin Wu, Liyong Shen, Min Wu, Zhengfeng Yang, Zhenbing Zeng:
Generating Loop Invariants by Computing Vanishing Ideals of Sample Points. - Andrew N. Jackson:
Using Automated Dependency Analysis To Generate Representation Information. - Maxim Vashkevich, Wanggen Wan, Alexander A. Petrovsky:
Practical design of multi-channel oversampled warped cosine-modulated filter banks. - Sourav Dutta, Souvik Bhattacherjee, Ankur Narang:
Towards "Intelligent Compression" in Streams: A Biased Reservoir Sampling based Bloom Filter Approach. - Ankur Narang, Sourav Dutta, Souvik Bhattacherjee:
Multidimensional Balanced Allocation for Multiple Choice & (1 + Beta) Processes. - Susanne Albers, Matthias Hellwig:
On the Value of Job Migration in Online Makespan Minimization. - Sourav Dutta, Souvik Bhattacherjee, Ankur Narang:
Perfectly Balanced Allocation With Estimated Average Using Approximately Constant Retries. - Stefan Z. Stefanov:
Quantum/Relativistic Computation of Security and Efficiency of Electrical Power System for a Day-Ahead: I. Renormalization. - Ichrak Amdouni, Pascale Minet, Cédric Adjih:
OSERENA, an Optimized Coloring Algorithm for Dense or Large Scale Wireless Networks. - Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas. - Emmanuel Filiot
Quantitative Languages Defined by Functional Automata. - Ankit Chaudhary, Jagdish Lal Raheja:
A Formal Approach for Agent Based Large Concurrent Intelligent Systems. - Serge Kernbach:
Collective Energy Foraging of Robot Swarms and Robot Organisms. - (Withdrawn) Game Theoretic Iterative Partitioning for Dynamic Load Balancing in Distributed Network Simulation.
- Tiphaine Phe-Neau, Marcelo Dias de Amorim, Vania Conan:
Using Neighborhood Beyond One Hop in Disruption-Tolerant Networks. - Roozbeh Rajabi, Mahdi Khodadadzadeh, Hassan Ghassemian:
Graph Regularized Nonnegative Matrix Factorization for Hyperspectral Data Unmixing. - Maria-Florina Balcan, Eric Blais, Avrim Blum, Liu Yang:
Active Testing. - Yang Yu, Chao Qian, Zhi-Hua Zhou:
Towards Analyzing Crossover Operators in Evolutionary Search via General Markov Chain Switching Theorem. - Mihai Cucuringu, Vincent D. Blondel, Paul Van Dooren:
Extracting spatial information from networks with low-order eigenvectors. - Markus Wittmann, Thomas Zeiser, Georg Hager, Gerhard Wellein:
Comparison of different Propagation Steps for the Lattice Boltzmann Method. - Marcus Ritt, Alysson M. Costa:
A comparison of formulations for the simple assembly line balancing problem. - Ashwin Rao, Yeon-Sup Lim, Chadi Barakat
Network Characteristics of Video Streaming Traffic. - Sanjeev Arora, Rong Ge, Ravi Kannan, Ankur Moitra:
Computing a Nonnegative Matrix Factorization -- Provably. - Anand Louis, Prasad Raghavendra, Prasad Tetali, Santosh S. Vempala:
Many Sparse Cuts via Higher Eigenvalues. - Mohamed Faouzi Atig, Ahmed Bouajjani, Shaz Qadeer:
Context-Bounded Analysis For Concurrent Programs With Dynamic Creation of Threads. - John Wright, Arvind Ganesh, Allen Y. Yang, Zihan Zhou, Yi Ma:
Sparsity and Robustness in Face Recognition. - Nima Noorshams, Martin J. Wainwright:
Stochastic Belief Propagation: Low-Complexity Message-Passing with Guarantees. - Carlos Alberto Fernández y Fernández, Martín José José:
Towards the integration of formal specification in the Áncora methodology. - David L. Donoho, Iain M. Johnstone, Andrea Montanari:
Accurate Prediction of Phase Transitions in Compressed Sensing via a Connection to Minimax Denoising. - Mohamad Charafeddine, Aydin Sezgin, Zhu Han, Arogyaswami Paulraj:
Achievable and Crystallized Rate Regions of the Interference Channel with Interference as Noise. - Jung Hoon Lee, Wan Choi, David J. Love:
Achievable DoF and Its User Scaling Law for Opportunistic User Selection in a $K$-transmitter SIMO Interference Channel. - Alex Skvortsov, Branko Ristic:
Modelling and Performance analysis of a Network of Chemical Sensors with Dynamic Collaboration. - Wei Li, Chun-Ming Yuan, Xiao-Shan Gao:
Sparse Differential Resultant for Laurent Differential Polynomials. - Aman Chadha, Divya Jyoti, M. G. Bhatia:
Design and Simulation of an 8-bit. - Divya Jyoti, Aman Chadha, Pallavi P. Vaidya, M. Mani Roja:
A robust, low-cost approach to Face Detection and Face Recognition. - Sabu M. Thampi, Ann Jisma Jacob:
Securing Biometric Images using Reversible Watermarking. - Serge Kernbach:
On Three Challenges of Artificial Living Systems and Embodied Evolution. - Tobias Kretz, Stefan Hengst, Antonia Pérez Arias, Simon Friedberger, Uwe D. Hanebeck:
Using a Telepresence System to Investigate Route Choice Behavior. - Martin Grohe, Dániel Marx:
Structure Theorem and Isomorphism Test for Graphs with Excluded Topological Subgraphs. - Lisa Hellerstein, Devorah Kletenik, Linda Sellie, Rocco A. Servedio:
Tight Bounds on Proper Equivalence Query Learning of DNF. - Markus Wittmann, Thomas Zeiser, Georg Hager, Gerhard Wellein:
Domain decomposition and locality optimization for large-scale lattice Boltzmann simulations. - Dan Garber, Elad Hazan:
Universal MMSE Filtering With Logarithmic Adaptive Regret. - Amos Lapidoth, Ligong Wang:
The State-Dependent Semideterministic Broadcast Channel. - Benjamin Morandi, Sebastian Nanz, Bertrand Meyer:
Record-Replay Debugging for Concurrent SCOOP Programs. - Saif K. Mohammed, Erik G. Larsson:
Constant Envelope Precoding for Power-Efficient Downlink Wireless Communication in Multi-User MIMO Systems Using Large Antenna Arrays. - Yu-Ru Lin, James P. Bagrow
More Voices Than Ever? Quantifying Media Bias in Networks. - Wojciech Mazurczyk, Pawel Szaga, Krzysztof Szczypiorski:
Using Transcoding for Hidden Communication in IP Telephony. - Ryan Williams:
A Casual Tour Around a Circuit Complexity Bound. - Amin Coja-Oghlan, Konstantinos Panagiotou:
Catching the k-NAESAT Threshold. - Chi Sing Chum, Xiaowen Zhang:
Hash function based secret sharing scheme designs. - P. Shrinivasan R. Patnaikuni, Raj. B. Kulkarni:
An architecture for "Web Of Things" using SOCKS protocol based IPv6/IPv4 gatewaying for heterogeneous communication. - Richard Herrmann:
Covariant fractional extension of the modified Laplace-operator used in 3D-shape recovery. - Yuyang Wang, Roni Khardon, Pavlos Protopapas:
Nonparametric Bayesian Estimation of Periodic Functions. - Oleg O. Varlamov
MIVAR: Transition from Productions to Bipartite Graphs MIVAR Nets and Practical Realization of Automated Constructor of Algorithms Handling More than Three Million Production Rules. - Xueying Duan, Qichun Wang:
Two Classes of Crooked Multinomials Inequivalent to Power Functions. - Cong Ling, Su Gao, Jean-Claude Belfiore:
Wyner-Ziv Coding Based on Multidimensional Nested Lattices. - Gerald Paul:
An efficient implementation of the simulated annealing heuristic for the quadratic assignment problem. - Travis Gagie, Juha Kärkkäinen, Yakov Nekrich, Simon J. Puglisi:
A Compressed Self-Index for Genomic Databases. - Jason Spencer:
Speculative Parallel Evaluation Of Classification Trees On GPGPU Compute Engines. - Avihai Mejer, Koby Crammer:
Confidence Estimation in Structured Prediction. - M. Amin Khajehnejad, Weiyu Xu, Amir Salman Avestimehr, Babak Hassibi:
Improving the Thresholds of Sparse Recovery: An Analysis of a Two-Step Reweighted Basis Pursuit Algorithm. - Yu Zhang, Chengqing Li, Qin Li, Dan Zhang, Shi Shu:
Breaking a chaotic image encryption algorithm based on perceptron model. - Maria-Florina Balcan, Steve Hanneke:
Robust Interactive Learning. - Aman Chadha, Pallavi P. Vaidya, M. Mani Roja:
Face Recognition Using Discrete Cosine Transform for Global and Local Features. - Anthony Afuwoqi, Hongyou Wu:
Promoting Industry-University Partnership in Information Technology. - John C. Kieffer, Philippe Flajolet, En-Hui Yang:
Universal Lossless Data Compression Via Binary Decision Diagrams. - Vineet Abhishek, Bruce E. Hajek, Steven R. Williams:
On Bidding with Securities: Risk Aversion and Positive Dependence. - Michael M. Bronstein:
Multimodal diff-hash. - Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen, Thomas Eiter:
Embedding Description Logic Programs into Default Logic. - Lorenzo Orecchia, Sushant Sachdeva, Nisheeth K. Vishnoi:
Approximating the Exponential, the Lanczos Method and an \tilde{O}(m)-Time Spectral Algorithm for Balanced Separator. - Taisuke Izumi, Samia Souissi, Yoshiaki Katayama, Nobuhiro Inuzuka, Xavier Défago, Koichi Wada, Masafumi Yamashita:
The Gathering Problem for Two Oblivious Robots with Unreliable Compasses. - Rishiraj Saha Roy, Niloy Ganguly, Monojit Choudhury, Srivatsan Laxman:
An IR-based Evaluation Framework for Web Search Query Segmentation. - Linpeng Tang, Qin Liu:
A Survey on Distance Vector Routing Protocols. - Tobias Brunsch, Heiko Röglin:
Improved Smoothed Analysis of Multiobjective Optimization. - Gilson O. dos Santos, Francisco M. de Assis:
A scheme for protecting multiple quantum erasures. - Mahmoud Y. Shams
Iris Recognition Based on LBP and Combined LVQ Classifier. - Balwinder Singh, Sukhleen Bindra Narang, Arun Khosla:
Particle Swarm Optimization Framework for Low Power Testing of VLSI Circuits. - Frederico Araújo Durão, Peter Dolog:
Semantic Grounding Strategies for Tagbased Recommender Systems. - M. Thirumaran, P. Dhavachelvan, Aranganayagi G., S. Abarna:
Evaluation of Computability Criterions for Runtime Web Service Integration. - Sergey Melnik, Jonathan A. Ward
Multi-Stage Complex Contagions. - Jagannath Aghav, Ashwin Tumma:
Design and Validation of Safety Cruise Control System for Automobiles. - Colin S. Lea, Jason J. Corso:
Efficient Hierarchical Markov Random Fields for Object Detection on a Mobile Robot. - Bimal Aklesh Kumar:
Solar Power Systems Web Monitoring. - Ala'a Z. Al-Howaide
Updatable Queue Protocol Based On TCP For Virtual Reality Environment. - Carlos Aguilar Melchor, Philippe Gaborit, Julien Schrek:
A new zero-knowledge code based identification scheme with reduced communication. - Sunil Joshi, Deepak Gupta:
Throughput Performance of 2×2 Mimo LTE Downlink in a Spatial Correlation Based Microcellular Channel for Wireless Broadband Networks. - Archana Shukla:
Sentiment Analysis of Document Based on Annotation. - Anne Driemel, Herman J. Haverkort, Maarten Löffler:
Flow Computations on Imprecise Terrains. - Prosenjit Bose, Sébastien Collette, Rolf Fagerberg, Stefan Langerman:
De-amortizing Binary Search Trees. - Abdelhakim Khlifi, Ridha Bouallegue:
Performance Analysis of LS and LMMSE Channel Estimation Techniques for LTE Downlink Systems. - Cristina G. Fernandes, Luis A. A. Meira, Flávio Keidi Miyazawa, Lehilton L. C. Pedrosa:
Squared Metric Facility Location Problem. - Daoud Clarke:
Algebras over a field and semantics for context based reasoning. - Biswarup Neogi, Soumya Ghosal, Soumyajit Mukherjee, Achintya Das, D. N. Tibarewala:
Simulation Techniques and Prosthetic Approach Towards Biologically Efficient Artificial Sense Organs- An Overview. - Simon Korman, Daniel Reichman, Gilad Tsur:
Tight Approximation of Image Matching. - Michael A. Lexa:
Quantization via Empirical Divergence Maximization and Its Applications. - Guy E. Blelloch, Anupam Gupta, Ioannis Koutis, Gary L. Miller, Richard Peng, Kanat Tangwongsan:
Near Linear-Work Parallel SDD Solvers, Low-Diameter Decomposition, and Low-Stretch Subgraphs. - Abdelghni Lakehal, Omar El Beqqali:
New Method for 3D Shape Retrieval. - Syed Vickar Ahamed, Syed (Shawon) Rahman:
Architecture and Design of Medical Processor Units for Medical Networks. - Stephen Mohr, Syed (Shawon) Rahman:
IT Security Issues Within the Video Game Industry. - David Hood, Syed (Shawon) Rahman:
IT Security Plan for Flight Simulation Program. - Maria Schuett, Syed (Shawon) Rahman:
Information Security Synthesis in Online Universities. - Jason Slaughter, Syed (Shawon) Rahman:
Information Security Plan for Flight Simulator Applications. - Shipra Agrawal, Navin Goyal:
Analysis of Thompson Sampling for the multi-armed bandit problem. - N. S. Narayanaswamy, N. Sadagopan:
On the Complexity of Connected (s, t)-Vertex Separator. - Svebor Karaman, Jenny Benois-Pineau, Vladislavs Dovgalecs, Rémi Mégret, Julien Pinquier, Régine André-Obrecht, Yann Gaëstel, Jean-François Dartigues:
Hierarchical Hidden Markov Model in Detecting Activities of Daily Living in Wearable Videos for Studies of Dementia. - Aldo de Luca, Alessandro De Luca:
A generalized palindromization map in free monoids. - R. Satya Prasad, Bandla Sreenivasa Rao, R. R. L. Kantam:
Monitoring Software Reliability using Statistical Process control: An MMLE approach. - Seyed Pooya Shariatpanahi, Babak Hossein Khalaj, Kasra Alishahi, Hamed Shah-Mansouri:
One-Hop Throughput of Wireless Networks with Random Connections. - Laurent George, Laurent Bonnet, Anatole Lécuyer:
Freeze the BCI until the user is ready: a pilot study of a BCI inhibitor. - Aphirak Jansang, Anan Phonphoem:
Framework Architecture for WLAN Testbed. - Roshni Neogy, Chandreyee Chowdhury, Sarmistha Neogy:
Reliability of Mobile Agents for Reliable Service Discovery Protocol in MANET. - Keerthi S. Shetty, Sanjay Singh:
Cloud Based Application Development for Accessing Restaurant Information on Mobile Device using LBS. - Janette Lehmann, Bruno Gonçalves, José J. Ramasco, Ciro Cattuto:
Dynamical Classes of Collective Attention in Twitter. - Nicolas Ferry, Jean-Yves Tigli, Stephane Lavirotte, Gaëtan Rey, Michel Riveill:
Aspects of Assembly and Cascaded Aspects of Assembly: Logical and Temporal Properties. - Hossein Shokri, Mohammad Mozaffari, Masoumeh Nasiri-Kenari:
Performance Analysis of Sequential Method for Handover in Cognitive Radio Systems. - Anouar Abdelhakim Boudhir, Mohammed Bouhorma, Mohamed Ben Ahmed, Elbrak Said:
The UWB Solution for Multimedia Traffic in Wireless Sensor Networks. - Tapalina Bhattasali, Rituparna Chaki:
Lightweight Hierarchical Model for HWSNET. - Jean Vincent Fonou Dombeu, Magda Huisman:
Semantic-Driven e-Government: Application of Uschold and King Ontology Building Methodology for Semantic Ontology Models Development. - Yi Chen, Umamahesh Srinivas, Thong T. Do, Vishal Monga, Trac D. Tran:
Discriminative Local Sparse Representations for Robust Face Recognition. - Noah Burbank, Debojyoti Dutta, Ashish Goel, David Lee, Eli Marschner, Narayanan Shivakumar:
Widescope - A social platform for serious conversations on the Web. - Sha Hua, Pei Liu, Shivendra S. Panwar:
The Urge to Merge: When Cellular Service Providers Pool Capacity. - Igal Sason:
On Refined Versions of the Azuma-Hoeffding Inequality with Applications in Information Theory. - Igal Sason:
On the Concentration of the Crest Factor for OFDM Signals. - Igal Sason:
On Concentration and Revisited Large Deviations Analysis of Binary Hypothesis Testing. - Igal Sason:
Moderate Deviations Analysis of Binary Hypothesis Testing. - Saikat Chatterjee, Dennis Sundman, Mikko Vehkaperä, Mikael Skoglund:
Projection-Based and Look Ahead Strategies for Atom Selection. - Bivas Mitra, Lionel Tabourier, Camille Roth:
Intrinsically Dynamic Network Communities. - Mathilde Noual, Sylvain Sené:
Towards a theory of modelling with Boolean automata networks - I. Theorisation and observations. - (Withdrawn) Ag-dependent (in silico) approach implies a deterministic kinetics for homeostatic memory cell turnover.
- Sanmay Das, Allen Lavoie, Malik Magdon-Ismail:
Pushing Your Point of View: Behavioral Measures of Manipulation in Wikipedia. - Preetha K. G.:
A Novel Solution to the Short Range Bluetooth Communication. - Lawrence Ong, Sarah J. Johnson, Christopher M. Kellett:
The Half-Duplex AWGN Single-Relay Channel: Full Decoding or Partial Decoding? - Lawrence Ong, Sarah J. Johnson:
The Capacity Region of the Restricted Two-Way Relay Channel with Any Deterministic Uplink. - Xiongping Dai:
A criterion of simultaneously symmetrization and spectral finiteness for a finite set of real 2-by-2 matrices. - Song Liu, Peter A. Flach, Nello Cristianini:
Generic Multiplicative Methods for Implementing Machine Learning Algorithms on MapReduce. - Hui Wang, Jie Peng, Yuan Li, Haibin Kan:
On $2k$-Variable Symmetric Boolean Functions with Maximum Algebraic Immunity $k$. - Aaron Potechin:
Monotone switching networks for directed connectivity are strictly more powerful than certain-knowledge switching networks. - Sudhir B. Lande, J. B. Helonde, Rajesh Pande, S. S. Pathak:
Adaptive Subcarrier and Bit Allocation for Downlink OFDMA System with Proportional Fairness. - Stefan Kratsch, Magnus Wahlström:
Representative sets and irrelevant vertices: New tools for kernelization. - Ruchi Tuli, Parveen Kumar:
Minimum Process Coordinated Checkpointing Scheme for Ad Hoc Networks. - Salah Eddine Rezgui, Hocine Benalla:
High Performance Controllers for Speed and Position Induction Motor Drive using New Reaching Law. - Vincent Y. F. Tan:
Moderate-Deviations of Lossy Source Coding for Discrete and Gaussian Sources. - Weishan Dong, Tianshi Chen, Peter Tiño, Xin Yao:
Scaling Up Estimation of Distribution Algorithms For Continuous Optimization. - Andrea Pietracaprina, Geppino Pucci, Matteo Riondato, Francesco Silvestri, Eli Upfal:
Space-Round Tradeoffs for MapReduce Computations. - Elena Legchekova, Oleg Titov:
Choosing the best resource by method of mamdani. - Salman Malik, Philippe Jacquet, Cédric Adjih:
On the Throughput Capacity of Wireless Multi-hop Networks with ALOHA, Node Coloring and CSMA. - Lin Xu, Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown:
SATzilla: Portfolio-based Algorithm Selection for SAT. - Salman Malik, Philippe Jacquet:
On the Optimal Transmission Scheme to Maximize Local Capacity in Wireless Networks. - Biswarup Neogi, Soumyajit Mukherjee, Soumya Ghosal, Achintya Das, D. N. Tibarewala:
Design and Implementation of Prosthetic Arm using Gear Motor Control Technique with Appropriate Testing. - Alberto Bandettini, Fabio Luporini, Giovanni Viglietta:
A Survey on Open Problems for Mobile Robots. - Rong Jin, Tianbao Yang, Mehrdad Mahdavi:
Improved Bound for the Nystrom's Method and its Application to Kernel Classification. - Hamidou Tembine:
Large-scale games in large-scale systems. - Daniel Augot, Morgan Barbier, Caroline Fontaine:
Ensuring message embedding in wet paper steganography. - Franck Delaplace, Hanna Klaudel, Tarek Melliti, Sylvain Sené:
Analysis of modular organisation of interaction networks based on asymptotic dynamics. - Salman Malik, Philippe Jacquet:
Optimizing Local Capacity of Wireless Ad Hoc Networks. - Jin-yi Cai, Xi Chen:
Complexity of Counting CSP with Complex Weights. - B. Vijayalakshmi, V. Subbiah Bharathi:
A Novel Approach to Texture classification using statistical feature. - Kishorjit Nongmeikapam, Sivaji Bandyopadhyay:
Genetic Algorithm (GA) in Feature Selection for CRF Based Manipuri Multiword Expression (MWE) Identification. - C. Dinesh:
Secured Data Consistency and Storage Way in Untrusted Cloud using Server Management Algorithm. - C. Dinesh:
Data Integrity and Dynamic Storage Way in Cloud Computing. - Mohammad Zaidul Karim, Nargis Akter:
Optimum Partition Parameter of Divide-and-Conquer Algorithm for Solving Closest-Pair Problem. - Hugo Méric, Jérôme Lacan, Fabrice Arnal, Guy Lesthievent, Marie-Laure Boucheret:
Improving broadcast channel rate using hierarchical modulation. - Mohammad Ali Tebbi, Mahtab Mirmohseni, Mahmoud Ahmadian-Attari, Mohammad Reza Aref:
Achievable Rates for a Two-Relay Network with Relays-Transmitter Feedbacks. - Ayça Özçelikkale, Serdar Yüksel, Haldun M. Özaktas:
Unitary Precoding and Basis Dependency of MMSE Performance for Gaussian Erasure Channels. - Yuanzhang Xiao, Jaeok Park, Mihaela van der Schaar:
Repeated Games With Intervention: Theory and Applications in Communications. - (Withdrawn) Cooperation and its emergence in growing systems with cultural reproduction.
- Dimitris Iliopoulos, Christoph Adami, Peter Szor:
Darwin inside the machines: Malware evolution and the consequences for computer security. - Muhammad Mahbubur Rahman, Arif Ul Alam, Abdullah Al Mamun, Tamnun E. Mursalin:
A more appropriate Protein Classification using Data Mining. - Joan Feigenbaum, Aaron Johnson, Paul F. Syverson:
Probabilistic Analysis of Onion Routing in a Black-box Model. - Taha Sochi
Testing the Connectivity of Networks. - C. Ramesh, K. V. Chalapati Rao, A. Govardhan:
A semantically enriched web usage based recommendation model. - Bhargav Balakrishnan:
Three Tier Encryption Algorithm For Secure File Transfer. - Sundeep Rangan, Alyson K. Fletcher, Vivek K. Goyal, Philip Schniter:
Hybrid Approximate Message Passing with Applications to Structured Sparsity. - Brian P. Day, Adam R. Margetts, Daniel W. Bliss, Philip Schniter:
Full-Duplex MIMO Relaying: Achievable Rates under Limited Dynamic Range. - Sushmita Ruj, Amiya Nayak, Ivan Stojmenovic:
A Security Architecture for Data Aggregation and Access Control in Smart Grids. - Djamal Belazzougui, Gonzalo Navarro:
New Lower and Upper Bounds for Representing Sequences. - Moshe Babaioff, Shahar Dobzinski, Sigal Oren, Aviv Zohar:
On Bitcoin and Red Balloons. - YuanYuan He, Subhrakanti Dey
Power Allocation for Outage Minimization in Cognitive Radio Networks with Limited Feedback. - Irene C. L. Ng, Gerard Briscoe:
Value, Variety and Viability: Designing For Co-creation in a Complex System of Direct and Indirect (goods) Service Value Proposition. - Jacob D. Abernethy, Rafael M. Frongillo:
A Collaborative Mechanism for Crowdsourcing Prediction Problems. - R. B. Geeta, Omkar Mamillapalli, Shashikumar G. Totad, P. V. G. D. Prasad Reddy:
A Novel Approach for Web Page Set Mining. - Fang Yu, Chao Wang:
Proceedings 13th International Workshop on Verification of Infinite-State Systems, INFINITY 2011, Taipei, Taiwan, 10th October 2011. EPTCS 73, 2011 [contents] - Chryssis Georgiou, Nicolas C. Nicolaou:
On the Practicality of Atomic MWMR Register Implementations. - Simon R. Blackburn, Tuvi Etzion:
The asymptotic behavior of Grassmannian codes. - Juan E. Tapiador, Julio C. Hernandez-Castro, Pedro Peris-Lopez, John A. Clark:
Cryptanalysis of Song's advanced smart card based password authentication protocol. - M. Thirumaran, P. Dhavachelvan, S. Abarna, Lakshmi P.:
Finite State Machine Based Evaluation Model for Web Service Reliability Analysis. - Miguel E. Andrés:
Quantitative Analysis of Information Leakage in Probabilistic and Nondeterministic Systems. - Nicolaie Popescu-Bodorin, Valentina Emilia Balas, Iulia M. Motoc:
8-Valent Fuzzy Logic for Iris Recognition and Biometry. - Margherita Napoli, Mimmo Parente:
Graded CTL Model Checking for Test Generation. - Cátia Vaz, Carla Ferreira:
Towards Automated Verification of Web Services. - Yvonne Howard, Stefan Gruner, Andrew M. Gravell, Carla Ferreira, Juan Carlos Augusto:
Model-Based Trace-Checking. - Andrew M. Gravell, Yvonne Howard, Juan Carlos Augusto, Carla Ferreira, Stefan Gruner:
Concurrent Development of Model and Implementation. - Peng Zhong, Ahmad Abu Al Haija, Mai Vu:
On Compress-Forward without Wyner-Ziv Binning for Relay Networks. - Patrick Valduriez:
Principles of Distributed Data Management in 2020? - Pranav Dandekar, Nadia Fawaz, Stratis Ioannidis:
Privacy Auctions for Inner Product Disclosures. - Jeremiah Blocki, Nicolas Christin
Adaptive Regret Minimization in Bounded-Memory Games. - Shuchi Chawla, Jason D. Hartline, Balasubramanian Sivan:
Optimal Crowdsourcing Contests. - Sebastien Ardon, Amitabha Bagchi, Anirban Mahanti, Amit Ruhela, Aaditeshwar Seth, Rudra M. Tripathy, Sipat Triukose:
Spatio-Temporal Analysis of Topic Popularity in Twitter. - John Augustine, Sandip Das, Anil Maheshwari, Subhas C. Nandy, Sasanka Roy, Swami Sarvattomananda:
Localized Geometric Query Problems. - Anan Phonphoem, Aphirak Jansang:
A Simple Network Management Architecture for Supporting Network Administrator and QoS Requirements. - Sariel Har-Peled, Nirman Kumar:
Down the Rabbit Hole: Robust Proximity Search in Sublinear Space. - Marcos Aurélio Domingues
Using Contextual Information as Virtual Items on Top-N Recommender Systems. - Anant Baijal, Vikram Singh Chauhan, T. Jayabarathi:
Application of PSO, Artificial Bee Colony and Bacterial Foraging Optimization algorithms to economic load dispatch: An analysis. - Cunsheng Ding:
Cyclotomic Constructions of Cyclic Codes with Length Being the Product of Two Primes. - Behrang Parhizkar, Ashraf Abbas M. Al-Modwahi, Arash Habibi Lashkari, Mohammad Mehdi Bartaripou, Hossein Reza Babae:
A Survey on Web-based AR Applications. - Ala'a Z. Al-Howaide
Performance Evaluation of Different Scheduling Algorithms in WiMAX. - Martin Hünniger:
Digital Manifolds and the Theorem of Jordan-Brouwer. - Asif Irshad Khan, Rizwan Jameel Qurashi, Usman Ali Khan:
A Comprehensive Study of Commonly Practiced Heavy and Light Weight Software Methodologies. - Ayu Tiwari, Sudip Sanyal, Ajith Abraham, Svein Johan Knapskog, Sugata Sanyal:
A Multi-Factor Security Protocol for Wireless Payment - Secure Web Authentication using Mobile Devices. - Mário S. Alvim:
Formal approaches to information hiding: An analysis of interactive systems, statistical disclosure control, and refinement of specifications. - Yiling Yang, Yu Huang, Jiannong Cao, Xiaoxing Ma, Jian Lu:
Design of a Sliding Window over Asynchronous Event Streams. - André Thomas, Damien Trentesaux, Paul Valckenaers:
Intelligent Distributed Production Control. - Shuang Li, Zizhan Zheng, Eylem Ekici, Ness B. Shroff:
Maximizing System Throughput by Cooperative Sensing in Cognitive Radio Networks. - Bhaskar DasGupta, Devendra Desai:
A Remark on a Connection Between Small Set Expansions and Modularity Clustering in Social Networks. - N. Ramasubramanian, Srinivas V. V., N. Ammasai Gounden:
Performance of Cache Memory Subsystems for Multicore Architectures. - Kishore Angrishi, Ulrich Killat:
An Approach using N-Demisupermartingales for the Stochastic Analysis of Networks. - Laika Satish, Sami Halawani:
A fusion algorithm for joins based on collections in Odra (Object Database for Rapid Application development). - Vladimir Anashin, Andrei Yu. Khrennikov, Ekaterina Yurova:
T-functions revisited: New criteria for bijectivity/transitivity. - Hassan Gobjuka, Kamal Ahmat:
vFlow: A GUI-Based Tool for Building Batch Applications for Cloud Computing. - David Doty, Jack H. Lutz, Matthew J. Patitz, Robert T. Schweller, Scott M. Summers, Damien Woods:
The tile assembly model is intrinsically universal. - Doron A. Peled, Sven Schewe
Practical Distributed Control Synthesis. 2-17 - Alex Spelten, Wolfgang Thomas, Sarah Winter:
Trees over Infinite Structures and Path Logics with Synchronization. 20-34 - Laurent Fribourg, Bertrand Revol, Romain Soulat:
Synthesis of Switching Rules for Ensuring Reachability Properties of Sampled Linear Systems. 35-48 - Alberto Ciaffaglione:
A coinductive semantics of the Unlimited Register Machine. 49-63 - Christian Krause, Holger Giese:
Model Checking Probabilistic Real-Time Properties for Service-Oriented Systems with Service Level Agreements. 64-78 - Takashi Tomita, Shigeki Hagihara, Naoki Yonezaki:
A Probabilistic Temporal Logic with Frequency Operators and Its Model Checking. 79-93 - Ashwin Ganesan:
On a bound for the diameter of Cayley networks of symmetric groups generated by transposition trees. - Iris Eshkol, Denis Maurel, Nathalie Friburger:
ESLO: from transcription to speakers' personal information annotation. - Akira Saitoh:
A multiprecision matrix calculation library and its extension library for a matrix-product-state simulation of quantum computing. - Abuzer Yakaryilmaz, A. C. Cem Say:
Proving the power of postselection. - Argimiro Arratia, Alejandra Cabaña:
Tracing the temporal evolution of clusters in a financial stock market. - Elsa Tolone, Éric Villemonte de la Clergerie, Benoît Sagot:
Évaluation de lexiques syntaxiques par leur intégartion dans l'analyseur syntaxiques FRMG. - Kyriaki Ioannidou, Elsa Tolone:
Construction du lexique LGLex à partir des tables du Lexique-Grammaire des verbes du grec moderne. - Taejoon Kim, David James Love, Bruno Clerckx:
On the Spatial Degrees of Freedom of Multicell and Multiuser MIMO Channels. - Francisco Lázaro Blasco, Francesco Rossetto:
On the Derivation of Optimal Partial Successive Interference Cancellation. - Pardeep Kumar, Vivek Kumar Sehgal, Durg Singh Chauhan, P. K. Gupta, Manoj Diwakar:
Effective Ways of Secure, Private and Trusted Cloud Computing. - Francisco Lázaro Blasco, Gianluigi Liva:
On the Concatenation of Non-Binary Random Linear Fountain Codes with Maximum Distance Separable Codes. - Joel Veness, Kee Siong Ng, Marcus Hutter, Michael H. Bowling:
Context Tree Switching. - Balázs Matuz, Francisco Lázaro Blasco, Gianluigi Liva:
On the Application of the Baum-Welch Algorithm for Modeling the Land Mobile Satellite Channel. - Francisco Lázaro Blasco, Francesco Rossetto, Gerhard Bauch:
Time Interference Alignment via Delay Offset for Long Delay Networks. - Abbas Kazerooni, Azarang Golmohammadi, Farokh Marvasti:
Salt-and-Pepper Noise Removal Based on Sparse Signal Processing. - Artur Jez:
Faster fully compressed pattern matching by recompression. - Mehdi Kaytoue, Sergei O. Kuznetsov, Juraj Macko, Wagner Meira Jr., Amedeo Napoli:
Mining Biclusters of Similar Values with Triadic Concept Analysis. - Ebrahim B. Al-Safadi, Tareq Y. Al-Naffouri
Pilotless Recovery of Clipped OFDM Signals by Compressive Sensing over Reliable Data Carriers. - Beni Yoshida:
Information storage capacity of discrete spin systems. - Reza Farrahi Moghaddam, Mohamed Cheriet, Thomas Milo, Robert Wisnovsky:
A prototype system for handwritten sub-word recognition: Toward Arabic-manuscript transliteration. - Antal Iványi, Lorád Lucz, Tamás F. Móri, Péter Sótér:
On Erdős-Gallai and Havel-Hakimi algorithms. - Dömötör Pálvölgyi:
Lower bounds for finding the maximum and minimum elements with k lies. - A. Járai, Emil Vatai
Cache optimized linear sieve. - Mihai Cucuringu, Amit Singer, David Cowburn:
Eigenvector Synchronization, Graph Rigidity and the Molecule Problem. - Josep Díaz, Leslie Ann Goldberg, George B. Mertzios, David Richerby, Maria J. Serna, Paul G. Spirakis:
Approximating Fixation Probabilities in the Generalized Moran Process. - Abhishek Kr. Singh, Bollibisai Giridhar, Partha Sarathi Mandal:
Fixing Data Anomalies with Prediction Based Algorithm in Wireless Sensor Networks. - Kobbi Nissim, Claudio Orlandi, Rann Smorodinsky:
Privacy-Aware Mechanism Design. - Chen Avin, Zvi Lotker, Yvonne-Anne Pignolet:
On The Elite of Social Networks. - Dustin G. Mixon, Christopher J. Quinn, Negar Kiyavash, Matthew Fickus:
Fingerprinting with Equiangular Tight Frames. - Nicholas F. Travers, James P. Crutchfield:
Infinite Excess Entropy Processes with Countable-State Generators. - Lawrence Ong, Sarah J. Johnson, Christopher M. Kellett:
The Capacity of a Class of Multi-Way Relay Channels. - Lawrence Ong, Christopher M. Kellett, Sarah J. Johnson:
Functional-Decode-Forward for the General Discrete Memoryless Two-Way Relay Channel. - Evripidis Bampis, Christoph Dürr, Fadi Kacem, Ioannis Milis:
Speed scaling with power down scheduling for agreeable deadlines. - Xiaojun Sun, Chunming Zhao:
Outage probability of selective decode and forward relaying with secrecy constraints. - Zoltán Ésik, Satoshi Okawa:
On context-free languages of scattered words. - Elsa Tolone, Stavroula Voyatzi:
Extending the adverbial coverage of a NLP oriented resource for French. - Yuhua Sun, Hui Li, Zilong Wang:
The cross-correlation distribution of a p-ary m-sequence of period p2m-1 and its decimation by (pm+1)2 / 2(pe+1). - Shah Mahmood, Yvo Desmedt:
Preliminary Analysis of Google+'s Privacy. - Francisco J. Soulignac:
Fully dynamic recognition of proper circular-arc graphs. - David Rebollo-Monedero, Javier Parra-Arnau, Claudia Díaz, Jordi Forné:
On the Measurement of Privacy as an Attacker's Estimation Error. - Luis Barba, Matias Korman, Stefan Langerman, Rodrigo I. Silveira:
Computing a visibility polygon using few variables. - Thijs Laarhoven
Dynamic Tardos Traitor Tracing Schemes. - Michele Elia, Davide Schipani:
On the Rabin signature. - Hamid A. Toussi:
tym: Typed Matlab. - Per Zetterberg, Nima N. Moghadam:
An Experimental Investigation of SIMO, MIMO, Interference-Alignment (IA) and Coordinated Multi-Point (CoMP). - Edwin A. Henneken, Alberto Accomazzi:
Linking to Data - Effect on Citation Rates in Astronomy. - C. Patcas:
The debts' clearing problem: a new approach. - T. Herendi, R. Major:
Modular exponentiation of matrices on FPGA-s. - Gabor Farkas, G. Kallós, György Kiss:
Large primes in generalized Pascal triangles. - Norbert Pataki:
C++ Standard Template Library by template specialized containers. - Anish Das Sarma, Ankur Jain, Ashwin Machanavajjhala, Philip Bohannon:
CBLOCK: An Automatic Blocking Mechanism for Large-Scale De-duplication Tasks. - Yann Chevaleyre, Jérôme Lang, Nicolas Maudet, Jérôme Monnot, Lirong Xia:
New Candidates Welcome! Possible Winners with respect to the Addition of New Candidates. - Dmitri V. Truhachev:
Achieving AWGN Channel Capacity with Sparse Graph Modulation and "In the Air" Coupling. - Aytac Azgin, Yucel Altunbasak:
Channel Reordering with Time-shifted Streams to Improve Channel Change Latency in IPTV Networks. - Wenqi Huang, Tao Ye, Duanbing Chen:
Corner Occupying Theorem for the Two-dimensional Integral Rectangle Packing Problem. - Vinay Joseph, Gustavo de Veciana:
Variability Aware Network Utility Maximization. - Gabriel Synnaeve, Pierre Bessière
A Bayesian Model for Plan Recognition in RTS Games applied to StarCraft. - Saif Khan Mohammed, Erik G. Larsson:
Single-User Beamforming in Large-Scale MISO Systems with Per-Antenna Constant-Envelope Constraints: The Doughnut Channel. - Vipul Goyal, Virendra Kumar
CompChall: Addressing Password Guessing Attacks. - Soumyendu Das, Subhendu Das, Bijoy Bandyopadhyay, Sugata Sanyal:
Steganography and Steganalysis: Different Approaches. - Florian Dupuy, Philippe Loubaton:
Diversity of the MMSE receiver in flat fading and frequency selective MIMO channels at fixed rate. - Aki Saarinen, Matti Siekkinen, Yu Xiao, Jukka K. Nurminen, Matti Kemppainen, Pan Hui:
Offloadable Apps using SmartDiet: Towards an analysis toolkit for mobile application developers. - Martin Hünniger:
Good Pairs of Adjacency Relations in Arbitrary Dimensions. - Irina E. Bocharova, Florian Hug, Rolf Johannesson, Boris D. Kudryashov:
An Analytic Expression for the Exact Bit Error Probability for Viterbi Decoding of Convolutional Codes. - Marek Eliás, Jirí Matousek:
Higher-order Erdos-Szekeres theorems. - Tor Lattimore, Marcus Hutter:
No Free Lunch versus Occam's Razor in Supervised Learning. - Ian Wood, Peter Sunehag, Marcus Hutter:
(Non-)Equivalence of Universal Priors. - He Wen, Laszlo B. Kish, Andreas Klappenecker, Ferdinand Peper:
New noise-based logic representations to avoid some problems with time complexity. - Siham Bekkai:
Minimum degree, independence number and pseudo [2,b]-factors in graphs. - ChunYuen Teng, Yu-Ru Lin, Lada A. Adamic:
Recipe recommendation using ingredient networks. - Pengkai Zhao, Cong Shen:
A Low-Delay Low-Complexity EKF Design for Joint Channel and CFO Estimation in Multi-User Cognitive Communications. - Sergey Kuniavsky, Rann Smorodinsky:
Equilibrium and Potential in Coalitional Congestion Games. - Bill Hibbard:
Model-based Utility Functions. - Zhuohua Wu, Mai Vu:
Partial Decode-Forward Binning Schemes for the Causal Cognitive Relay Channels. - Luis Quesada, Alejandro J. León:
The Object Projection Feature Estimation Problem in Unsupervised Markerless 3D Motion Tracking. - Luis Quesada, Fernando Berzal, Juan Carlos Cubero Talavera:
A Tool for Model-Based Language Specification. - Tomasz Suslo:
The Numerical Generalized Least-Squares Estimator of an Unknown Constant Mean of Random Field. - Jakub Kovác:
Complexity of the path avoiding forbidden pairs problem revisited. - Sumit Katiyar, R. K. Jain, N. K. Agrawal:
Proposed Cellular Network for ndian Conditions for Enhancement of Spectral Density and Reduction of Power Consumption & RF Pollution. - Tamal Chakraborty, Atri Mukhopadhyay, Iti Saha Misra, Salil Kumar Sanyal:
VoIP Call Optimization in Diverse Network Scenarios Using Learning Based State-Space Search Technique. - David Rebollo-Monedero, Javier Parra-Arnau, Jordi Forné:
An Information-Theoretic Privacy Criterion for Query Forgery in Information Retrieval. - Le Hoang Thai, Nguyen Do Thai Nguyen, Tran Son Hai:
A Facial Expression Classification System Integrating Canny, Principal Component Analysis and Artificial Neural Network. - Denis Berthier:
Unbiased Statistics of a CSP - A Controlled-Bias Generator. - Aniruddha Bhattacharyya, Arnab Banerjee, Dipayan Bose, Himadri Nath Saha, Debika Bhattacharyya:
Different types of attacks in Mobile ADHOC Network. - Hervé Zwirn, Jean-Paul Delahaye:
Unpredictability and Computational Irreducibility. - Christine Grün:
A probabilistic-numerical approximation for an obstacle problem arising in game theory. - Aravindh Krishnamoorthy, Deepak Menon:
Matrix Inversion Using Cholesky Decomposition. - Ryutaroh Matsumoto, Masahito Hayashi:
Universal Strongly Secure Network Coding with Dependent and Non-Uniform Messages. - Kirill A. Sorudeykin:
A Model of Spatial Thinking for Computational Intelligence. - Farzad Parvaresh, Raúl H. Etkin:
Efficient Capacity Computation and Power Optimization for Relay Networks. - Victor A. Rodriguez-Toro, Jaime E. Garzon, Jesus A. Lopez:
Control Neuronal por Modelo Inverso de un Servosistema Usando Algoritmos de Aprendizaje Levenberg-Marquardt y Bayesiano. - Sourya Roy, Tyler Clemons, S. M. Faisal, Ke Liu, Nikos Hardavellas, Srinivasan Parthasarathy:
Elastic Fidelity: Trading-off Computational Accuracy for Energy Reduction. - Dmitry Zinoviev:
Parametric Estimation of the Ultimate Size of Hypercomputers. - Basanna V. Dhandra, R. G. Benne, Mallikarjun Hangarge:
A Single Euler Number Feature for Multi-font Multi-size Kannada Numeral Recognition. - B. V. Dhandra, R. G. Benne, Mallikarjun Hangarge:
Multi-font Multi-size Kannada Numeral Recognition Based on Structural Features. - Cheng Chen, Kui Wu, Srinivasan Venkatesh, Xudong Zhang:
Battling the Internet Water Army: Detection of Hidden Paid Posters. - Monaldo Mastrolilli:
The Feedback Arc Set Problem with Triangle Inequality is a Vertex Cover Problem. - Volker Diekert, Manfred Kufleitner, Pascal Weil:
Star-Free Languages are Church-Rosser Congruential. - Andrej Bogdanov, Chin Ho Lee:
Homomorphic encryption from codes. - Valeria Fionda, Claudio Gutierrez, Giuseppe Pirrò:
Semantic Navigation on the Web of Data: Specification of Routes, Web Fragments and Actions. - Jyotirmoy Karjee, H. S. Jamadagni:
Energy Aware Node Selection for Cluster-based Data Accuracy Estimation in Wireless Sensor Networks. - Yuriy Ostapov:
Question Answering in a Natural Language Understanding System Based on Object-Oriented Semantics. - Yulong Liu, Tiebin Mi, Shidong Li:
Compressed Sensing with General Frames via Optimal-dual-based ℓ1-analysis. - George Iosifidis, Anil Kumar Chorppath, Tansu Alpcan, Iordanis Koutsopoulos:
Incentive Mechanisms for Hierarchical Spectrum Markets. - Camille Leroux, Alexandre J. Raymond, Gabi Sarkis, Ido Tal, Alexander Vardy, Warren J. Gross:
Hardware Implementation of Successive Cancellation Decoders for Polar Codes. - Bruno Bauwens, Alexander Shen:
An additivity theorem for plain complexity. - Hang Dinh, Cristopher Moore, Alexander Russell:
Quantum Fourier sampling, Code Equivalence, and the quantum security of the McEliece and Sidelnikov cryptosystems. - David Spieler, Ernst Moritz Hahn, Lijun Zhang:
Model Checking CSL for Markov Population Models. 93-107 - Gonzalo Navarro, Daniel Valenzuela:
Practical Top-K Document Retrieval in Reduced Space. - Pieter Van Gorp
Proceedings Fifth Transformation Tool Contest, TTC 2011, Zürich, Switzerland, June 29-30 2011. EPTCS 74, 2011 [contents] - Simeon Persson, Kristian Várnai:
Full Restoration of Visual Encrypted Color Images. - Chong Jiang, R. Srikant:
Parametrized Stochastic Multi-armed Bandits with Binary Rewards. - Lee-Ad Gottlieb, Aryeh Kontorovich, Robert Krauthgamer:
Efficient Regression in Metric Spaces via Approximate Lipschitz Extension. - Somayeh Kafaie, Omid Kashefi, Mohsen Sharifi:
A Low-Energy Fast Cyber Foraging Mechanism for Mobile Devices. - Johan Ugander, Brian Karrer, Lars Backstrom, Cameron Marlow:
The Anatomy of the Facebook Social Graph. - Krzysztof Szajowski:
Multi-variate Quickest Detection of Significant Change Process. - Kshitiz Verma, Gianluca Rizzo, Antonio Fernández Anta, Rubén Cuevas Rumín, Arturo Azcorra:
Greening File Distribution: Centralized or Distributed? - Lluis Pamies-Juarez, Anwitaman Datta
In-Network Redundancy Generation for Opportunistic Speedup of Backup. - Nguyen Lu Dang Khoa, Sanjay Chawla:
Large Scale Spectral Clustering Using Approximate Commute Time Embedding. - Sugata Sanyal, Rangarajan Vasudevan, Ajith Abraham, Marcin Paprzycki:
Grid Security and Integration with Minimal Performance Degradation. - Mathilde Noual, Damien Regnault, Sylvain Sené:
Non-monotony and Boolean automata networks. - Dragana Bajovic, Dusan Jakovetic, José M. F. Moura, João Manuel Freitas Xavier, Bruno Sinopoli:
Large Deviations Performance of Consensus+Innovations Distributed Detection with Non-Gaussian Observations. - Lars Backstrom, Paolo Boldi, Marco Rosa, Johan Ugander, Sebastiano Vigna:
Four Degrees of Separation. - Nima S. Anzabi-Nezhad, Ghosheh Abed Hodtani, Mohammad Molavi Kakhki:
Information Theoretic Exemplification of the Impact of Transmitter-Receiver Cognition on the Channel Capacity. - Usman A. Khan, Ali Jadbabaie:
Networked estimation under information constraints. - Omar El Ayach, Robert W. Heath Jr.:
Grassmannian Differential Limited Feedback for Interference Alignment. - Bernadette Charron-Bost, Matthias Függer, Thomas Nowak:
On the Transience of Linear Max-Plus Dynamical Systems. - Gilles Dowek, Murdoch Gabbay:
From nominal sets binding to functions and lambda-abstraction: connecting the logic of permutation models with the logic of functions. - Idan Ram, Michael Elad, Israel Cohen:
Redundant Wavelets on Graphs and High Dimensional Data Clouds. - Hossein Shokri Ghadikolaei, Masoumeh Nasiri-Kenari:
Sensing Matrix Setting Schemes for Cognitive Networks and Their Performance Analysis. - Keigo Takeuchi, Ralf R. Müller, Mikko Vehkaperä, Toshiyuki Tanaka:
On an Achievable Rate of Large Rayleigh Block-Fading MIMO Channels with No CSI. - Tao Shi, Vladimir Anashin, Dongdai Lin:
Linear Relation on General Ergodic T-Function. - Leo Lahti, Martin Schäfer, Hans-Ulrich Klein, Silvio Bicciato, Martin Dugas:
Cancer gene prioritization by integrative analysis of mRNA expression and DNA copy number data: a comparative review. - Yaniv Altshuler, Nadav Aharony, Michael Fire, Yuval Elovici, Alex Pentland:
Incremental Learning with Accuracy Prediction of Social and Individual Properties from Mobile-Phone Data. - Karthekeyan Chandrasekaran, Santosh S. Vempala:
A Discrepancy based Approach to Integer Programming. - Yaniv Altshuler, Wei Pan, Alex Pentland:
Trends Prediction Using Social Diffusion Models. - Amelia Carolina Sparavigna:
A self-portrait of young Leonardo. - Andrew Pickin:
Facial Asymmetry and Emotional Expression. - Grenville J. Croll
An Insight into Spreadsheet User Behaviour through an Analysis of EuSpRIG Website Statistics. - Kyunghan Lee, Yoora Kim, Song Chong, Injong Rhee, Yung Yi, Ness B. Shroff:
On the Critical Delays of Mobile Networks under Levy Walks and Levy Flights. - Yanhua Li, Wei Chen, Yajun Wang, Zhi-Li Zhang:
Influence Diffusion Dynamics and Influence Maximization in Social Networks with Friend and Foe Relationships. - Markus Herrmannsdoerfer:
GMF: A Model Migration Case for the Transformation Tool Contest. 1-5 - Sebastian Buchwald, Edgar Jakumeit:
Compiler Optimization: A Case for the Transformation Tool Contest. 6-16 - Tassilo Horn:
Program Understanding: A Reengineering Case for the Transformation Tool Contest. 17-21 - Steffen Mazanek:
HelloWorld! An Instructive Case for the Transformation Tool Contest. 22-26 - Markus Herrmannsdoerfer:
Solving the TTC 2011 Model Migration Case with Edapt. 27-35 - Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Solving the TTC 2011 Model Migration Case with UML-RSDS. 36-41 - Sebastian Buchwald, Edgar Jakumeit:
Solving the TTC 2011 Compiler Optimization Case with GrGen.NET. 42-53 - Dan Li, Xiaoshan Li, Volker Stolz:
Solving the TTC 2011 Compiler Optimization Case with QVTR-XSLT. 54-69 - Markus Lepper, Baltasar Trancón y Widemann:
Solving the TTC 2011 Compiler Optimization Task with metatools. 70-115 - Tassilo Horn:
Solving the TTC 2011 Compiler Optimization Case with GReTL. 116-125 - Arend Rensink, Eduardo Zambon:
Solving the TTC 2011 Compiler Optimization Case with GROOVE. 126-130 - Tassilo Horn:
Solving the TTC 2011 Reengineering Case with GReTL. 131-135 - Ábel Hegedüs
Solving the TTC 2011 Reengineering Case with VIATRA2. 136-148 - Markus Herrmannsdoerfer:
Solving the TTC 2011 Reengineering Case with Edapt. 149-158 - Agris Sostaks, Elina Kalnina, Audris Kalnins, Edgars Celms, Janis Iraids:
Solving the TTC 2011 Reengineering Case with MOLA and Higher-Order Transformations. 159-167 - Edgar Jakumeit, Sebastian Buchwald:
Solving the TTC 2011 Reengineering Case with GrGen.NET. 168-180 - Stefan Jurack, Johannes Tietje:
Solving the TTC 2011 Reengineering Case with Henshin. 181-203 - Markus Herrmannsdoerfer:
Saying Hello World with Edapt - A Solution to the TTC 2011 Instructive Case. 204-214 - Amir Hossein Ghamarian, Maarten de Mol, Arend Rensink, Eduardo Zambon:
Saying Hello World with GROOVE - A Solution to the TTC 2011 Instructive Case. 215-222 - Elina Kalnina, Audris Kalnins, Agris Sostaks, Janis Iraids, Edgars Celms:
Saying Hello World with MOLA - A Solution to the TTC 2011 Instructive Case. 237-252 - Stefan Jurack, Johannes Tietje:
Saying Hello World with Henshin - A Solution to the TTC 2011 Instructive Case. 253-280 - Sebastian Buchwald, Edgar Jakumeit:
Saying Hello World with GrGen.NET - A Solution to the TTC 2011 Instructive Case. 281-294 - Ábel Hegedüs
Saying Hello World with VIATRA2 - A Solution to the TTC 2011 Instructive Case. 302-324 - Dan Li, Xiaoshan Li, Volker Stolz:
Saying HelloWorld with QVTR-XSLT - A Solution to the TTC 2011 Instructive Case. 223-236 - Tassilo Horn:
Saying Hello World with GReTL - A Solution to the TTC 2011 Instructive Case. 295-301 - Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Saying Hello World with UML-RSDS - A Solution to the 2011 Instructive Case. 325-331 - Louis M. Rose, Antonio García-Domínguez, James R. Williams, Dimitrios S. Kolovos
Saying Hello World with Epsilon - A Solution to the 2011 Instructive Case. 332-339 - Costas Busch, Chinmoy Dutta, Jaikumar Radhakrishnan, Rajmohan Rajaraman, Srinivasagopalan Srivathsan:
Split and Join: Strong Partitions and Universal Steiner Trees for Graphs. - Sreeram Kannan, Pramod Viswanath:
Capacity of Multiple Unicast in Wireless Networks: A Polymatroidal Approach. - Kyomin Jung, Wooram Heo, Wei Chen:
IRIE: A Scalable Influence Maximization Algorithm for Independent Cascade Model and Its Extensions. - Aroop Mukherjee, Soumen Kanrar
Enhancement of Image Resolution by Binarization. - Rachit Agarwal, Abhik Banerjee, Vincent Gauthier, Monique Becker, Chai Kiat Yeo, Bu-Sung Lee:
Achieving Small World Properties using Bio-Inspired Techniques in Wireless Networks. - Soumen Kanrar
Enhanced Antenna Position Implementation Over Vehicular Ad Hoc Network (VNET) In 3D Space. - Eduardo Montijano, Juan I. Montijano, Carlos Sagüés:
Chebyshev Polynomials in Distributed Consensus Applications. - (Withdrawn) Analytical calculation of optimal POVM for unambiguous discrimination of quantum states using KKT method.
- (Withdrawn) Distributed Multi-view Matching in Networks with Limited Communications.
- Francesc Font-Clos, Francesco Alessandro Massucci, Isaac Pérez Castillo:
A weighted message-passing algorithm to estimate volume-related properties of random polytopes. - Adam O. Kalinich:
Flipping the Winner of a Poset Game. - Zhengjun Cao, Qian Sha, Xiao Fan:
Adleman-Manders-Miller Root Extraction Method Revisited. - S. M. Vijay Mahantesh, Sudarshan Iyengar, M. Vijesh, Shruthi Nayak, Nikitha Shenoy:
Prediction Of Arrival Of Nodes In A Scale Free Network. - M. Vijesh, Sudarshan Iyengar, S. M. Vijay Mahantesh, Amitash Ramesh, Veni Madhavan:
A Navigation Algorithm Inspired by Human Navigation. - Arka Ghosh:
Comparative study of Financial Time Series Prediction by Artificial Neural Network with Gradient Descent Learning. - Bryan Dawei He:
A Simple Optimal Binary Representation of Mosaic Floorplans and Baxter Permutations. - Nabarun Mondal, Partha P. Ghosh:
Universal Computation is 'Almost Surely' Chaotic. - Chunxiao Jiang, Yan Chen, K. J. Ray Liu, Yong Ren:
Renewal-Theoretical Dynamic Spectrum Access in Cognitive Radio Networks with Unknown Primary Behavior. - David Colver:
Drivers of the Cost of Spreadsheet Audit. - Arya Mazumdar:
Explicit Group Testing Scheme that Identifies Almost All Defective Configurations. - Nancy Wu:
Leveraging User Profile and Behaviour to Design Practical Spreadsheet Controls for the Finance Function. - Fumiya Okubo, Satoshi Kobayashi, Takashi Yokomori:
Reaction Automata. - Carlo Blundo, Emiliano De Cristofaro, Paolo Gasti:
EsPRESSo: Efficient Privacy-Preserving Evaluation of Sample Set Similarity. - Shuai Li, Haojin Zhu, Zhaoyu Gao, Xinping Guan:
Mitigating Entropy Selfishness in Distributed Collaborative Spectrum Sensing. - Sriram Nagaraj, Aswin C. Sankaranarayanan, Richard G. Baraniuk:
A Theory for Optical flow-based Transport on Image Manifolds. - Olivier Heen, Erwan Le Merrer, Christoph Neumann, Stéphane Onno:
Pretty Private Group Management. - Andreas Bauer, Yliès Falcone:
Decentralised LTL Monitoring. - S. Nithyanandam, K. S. Gayathri, P. L. K. Priyadarshini:
A New IRIS Normalization Process For Recognition System With Cryptographic Techniques. - Bob Diertens:
Concurrent Models for Function Execution. - Bob Diertens:
Communicating Concurrent Functions. - Evan Tan, Chun Tung Chou:
A Frame Rate Optimization Framework For Improving Continuity In Video Streaming. - Magnús M. Halldórsson, Pradipta Mitra:
Algorithms for Weighted Capacity and Admission Control in Wireless Networks. - Serge Kernbach:
Robot Companions: Technology for Humans. - Serge Kernbach:
Awareness and Self-Awareness for Multi-Robot Organisms. - Roberto Grossi, Giuseppe Ottaviano:
Fast Compressed Tries through Path Decompositions. - Assalé Adjé, Stéphane Gaubert, Eric Goubault:
Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis. - David I. Shuman, Pierre Vandergheynst, Pascal Frossard:
Distributed Signal Processing via Chebyshev Polynomial Approximation. - Inder Jeet Taneja:
Refinement of Gini-Means Inequalities and Connections with Divergence Measures. - Miguel A. Fortuna, Juan A. Bonachela, Simon A. Levin:
Evolution of a Modular Software Network. - Justin Ziniel, Philip Schniter:
Efficient High-Dimensional Inference in the Multiple Measurement Vector Problem. - Marida Dossena:
Coverage Related Issues in Networks. - Laurent George, Fabien Lotte
Using Scalp Electrical Biosignals to Control an Object by Concentration and Relaxation Tasks: Design and Evaluation. - Xi Liu, Elza Erkip:
On the Gaussian Z-Interference Channel with Processing Energy Cost. - Badr Elmir, Bouchaib Bounabat:
A Novel Approach for Periodic Assessment of Business Process Interoperability. - Sanjay K. Dwivedi, Pramod P. Sukhadeve:
Rule based Part of speech Tagger for Homoeopathy Clinical realm. - Hossein Shokri Ghadikolaei, Younes Abdi, Masoumeh Nasiri-Kenari:
Analytical and Learning-Based Spectrum Sensing Time Optimization in Cognitive Radio Systems. - Arman Yousefi, Neal E. Young:
On a Linear Program for Minimum-Weight Triangulation. - Ryan A. Rossi, Jennifer Neville:
Representations and Ensemble Methods for Dynamic Relational Classification. - Sariel Har-Peled:
On the Expected Complexity of Random Convex Hulls. - Abbas Noon, Ali Kalakech, Seifedine Nimer Kadry:
A New Round Robin Based Scheduling Algorithm for Operating Systems: Dynamic Quantum Using the Mean Average. - Hermann Gruber:
Digraph Complexity Measures and Applications in Formal Language Theory. - Abhishek Anand, Hema Swetha Koppula, Thorsten Joachims, Ashutosh Saxena:
Contextually Guided Semantic Labeling and Search for 3D Point Clouds. - Sonia Jahid, Shirin Nilizadeh, Prateek Mittal, Nikita Borisov, Apu Kapadia:
A Decentralized Architecture for Enforcing Privacy in Online Social Networks. - Ho-Leung Chan, Tak Wah Lam, Lap-Kei Lee, Jiangwei Pan, Hing-Fung Ting, Qin Zhang:
Edit Distance to Monotonicity in Sliding Windows. - Qiang Dong, Hui Gao, Yan Fu, Xiaofan Yang:
Hamiltonian Connectivity of Twisted Hypercube-Like Networks under the Large Fault Model. - Michael J. Bannister, David Eppstein:
Randomized Speedup of the Bellman-Ford Algorithm. - Marek Karpinski, Richard Schmied:
Improved Lower Bounds for the Shortest Superstring and Related Problems. - John Rooksby, Ian Sommerville:
The Management and Use of Social Network Sites in a Government Department. - Arturo Carpi, Flavio D'Alessandro:
Independent sets of words and the synchronization problem. - Yiling Chen, Stephen Chong, Ian A. Kash, Tal Moran, Salil P. Vadhan:
Truthful Mechanisms for Agents that Value Privacy. - Thomas Rothvoß:
Directed Steiner Tree and the Lasserre Hierarchy. - Rick Quax, Andrea Apolloni, Peter M. A. Sloot:
Information processing reveals how microscopic components affect the macroscopic system-state in complex networks. - Marco Baldi, Marco Bianchi, Franco Chiaraluce, Torleiv Kløve:
A class of punctured simplex codes which are proper for error detection. - Willy Picard:
Membership(s) and compliance(s) with class-based graphs. - Willy Picard:
Capturing Social Requirements for Human Interactions with Service Protocols. - André Sabino, Armanda Rodrigues:
Understanding the Role of Cooperation in Emergency Plan Construction. - Zbigniew Paszkiewicz, Willy Picard:
Modelling Competences for Partner Selection in Service-Oriented Virtual Organization Breeding Environments. - Anis Ismail, Mohamed Quafafou, Gilles Nachouki, Mohammad Hajjar:
Efficient Super-Peer-Based Queries Routing: Simulation and Evaluation. - Guillaume Aupy, Anne Benoit, Yves Robert:
Energy-aware scheduling under reliability and makespan constraints. - Milan B. Tasic, Predrag S. Stanimirovic, Selver H. Pepic:
Computation of generalized inverses using Php/MySql environment. - Matei Zaharia, William J. Bolosky, Kristal Curtis, Armando Fox, David A. Patterson, Scott Shenker, Ion Stoica, Richard M. Karp, Taylor Sittler
Faster and More Accurate Sequence Alignment with SNAP. - Willy Picard:
Agile Professional Virtual Community Inheritance via Adaptation of Social Protocols. - Vijayaraghavan Thirumalai, Pascal Frossard:
Distributed Representation of Geometrically Correlated Images with Compressed Linear Measurements. - Seifedine Nimer Kadry, Mohamad Smaili, Hussam Kassem, Hassan Hayek:
A New Technique to Backup and Restore DBMS using XML and .NET Technologies. - Seifedine Nimer Kadry:
A New Proposed Technique to Improve Software Regression Testing Cost. - Seifedine Nimer Kadry, Mohamad Smaili:
An Improvement of RC4 Cipher Using Vigenere Cipher. - Alexander Fuchs, Amit Goel, Jim Grundy, Sava Krstic, Cesare Tinelli
Ground interpolation for the theory of equality. - Rishabh K. Iyer, Rushikesh Borse
Estimation of the Embedding Capacity in Pixel-pair based Watermarking Schemes. - Gang Wang, Christo Wilson, Xiaohan Zhao, Yibo Zhu, Manish Mohanlal, Haitao Zheng, Ben Y. Zhao:
Serf and Turf: Crowdturfing for Fun and Profit. - Dmitri V. Truhachev, David G. M. Mitchell, Michael Lentmaier, Daniel J. Costello Jr.:
Connecting Spatially Coupled LDPC Code Chains. - Nirmal Fernando, Yi Hong, Emanuele Viterbo:
Flip-OFDM for Optical Wireless Communications. - Michelina Venditti, Emanuela Reale, Loet Leydesdorff:
The Disclosure of University Research for Societal Demand: A Non-Market Perspective on the "Third Mission". - Baptiste Ducatel, Mehdi Kaytoue, Florent Marcuola, Amedeo Napoli, Laszlo Szathmary:
Coron : Plate-forme d'extraction de connaissances dans les bases de données. - Mehdi Kaytoue, Sergei O. Kuznetsov, Amedeo Napoli:
Revisiting Numerical Pattern Mining with Formal Concept Analysis. - Mehdi Kaytoue, Florent Marcuola, Amedeo Napoli, Laszlo Szathmary, Jean Villerd
The Coron System. - Andreas Konstantinidis, Haris Haralambous, Alexandros Agapitos, Harris Papadopoulos:
A GP-MOEA/D Approach for Modelling Total Electron Content over Cyprus. - Zbigniew Paszkiewicz, Willy Picard:
MAPSS, a Multi-Aspect Partner and Service Selection Method. - Jan Swierzowicz, Willy Picard:
Social Service Brokerage based on UDDI and Social Requirements. - Chen Avin, Michael Borokhovich, Asaf Cohen, Zvi Lotker:
Efficient Joint Network-Source Coding for Multiple Terminals with Side Information. - Wojciech Cellary, Willy Picard:
Agile and Pro-Active Public Administration as a Collaborative Networked Organization. - Zbigniew Paszkiewicz, Willy Picard:
Reference Model for Performance Management in Service-Oriented Virtual Organization Breeding Environments. - Willy Picard:
Social Protocols for Agile Virtual Teams. - Jason Crampton, Charles Morisset:
PTaCL: A Language for Attribute-Based Access Control in Open Systems. - Jan Swierzowicz, Willy Picard:
Social Requirements for Virtual Organization Breeding Environments. - Wim H. Hesselink:
Partial mutual exclusion for infinitely many processes. - Zbigniew Paszkiewicz, Willy Picard:
Modeling Virtual Organization Architecture with the Virtual Organization Breeding Methodology. - Luís F. Seoane
Successful attack on PPM-based neural cryptography. - Kaibin Huang:
Throughput of Wireless Networks Powered by Energy Harvesting. - Tadeusz Krasinski, Sebastian Sakowski, Tomasz Poplawski:
Autonomous push-down automaton built on DNA. - Ömer Bulakci, Abdallah Bou Saleh, Simone Redana, Bernhard Raaf, Jyri Hämäläinen:
Enhancing LTE-Advanced Relay Deployments via Relay Cell Extension. - Ahmad Mahmoody-Ghaidary, Cédric Chauve, Ladislav Stacho:
Tractability results for the Double-Cut-and-Join circular median problem. - Fumin Zhang, Zhenwu Shi, Shayok Mukhopadhyay:
Robustness Analysis for Battery Supported Cyber-Physical Systems. - Eli Ben-Sasson, Shachar Lovett, Noga Zewi:
An additive combinatorics approach to the log-rank conjecture in communication complexity. - Jeremy Avigad:
Type inference in mathematics. - Gene I. Sher:
Evolving Chart Pattern Sensitive Neural Network Based Forex Trading Agents. - (Withdrawn) ANN queries: covering Voronoi diagram with hyperboxes.
- Isaac Z. Pesenson:
Variational Splines and Paley-Wiener Spaces on Combinatorial Graphs. - Isaac Z. Pesenson, Meyer Z. Pesenson:
Sampling, Filtering and Sparse Approximations on Combinatorial Graphs. - Nicole Schweikardt, Thomas Schwentick:
A note on the expressive power of linear orders. - Aarti Singh, Dimple Juneja, A. K. Sharma:
Agent Development Toolkits. - Paolo Banelli:
Another Useful Theorem for Non-Linear Transformations of Gaussian Random Variables. - Christian Knauer, Daniel Werner:
Erdős-Szekeres and Testing Weak epsilon-Nets are NP-hard in 3 dimensions - and what now? - Sergio Cabello, Jean Cardinal, Stefan Langerman:
The Clique Problem in Ray Intersection Graphs. - Maximilien Gadouleau, Søren Riis:
Computing without memory. - Amelia Carolina Sparavigna:
An image processing of a Raphael's portrait of Leonardo. - Mehrdad Mahdavi, Rong Jin, Tianbao Yang:
Trading Regret for Efficiency: Online Convex Optimization with Long Term Constraints. - Angela Bonifati, Gianvito Summa, Esther Pacitti, Fady Draidi:
Semantic Query Reformulation in Social PDMS. - Paulo Sérgio Almeida, Carlos Baquero, Alcino Cunha:
Fast Distributed Computation of Distances in Networks. - Peter Sunehag, Marcus Hutter:
Principles of Solomonoff Induction and AIXI. - Roberto Muñoz-Soto, Marta Barría, Cristian Rusu:
Virtual Worlds as a Support to Engineering Teaching. - Garimella Rama Murthy:
Optimal Organizational Hierarchies: Source Coding: Disaster Relief. - Sergey Kuniavsky, Rann Smorodinsky:
Greediness and Equilibrium in Congestion Games. - Björn Bringmann, Siegfried Nijssen, Albrecht Zimmermann:
Pattern-Based Classification: A Unifying Perspective. - Yi-Hao Kao, Benjamin Van Roy:
Learning a Factor Model via Regularized PCA. - Morteza Ibrahimi, Adel Javanmard, Yashodhan Kanoria, Andrea Montanari:
Robust Max-Product Belief Propagation. - Amritha Sampath, C. Tripti, Sabu M. Thampi:
An ACO Algorithm for Effective Cluster Head Selection. - Mingyi Hong, Alfredo García, José Joaquín Escudero Garzás, Ana García Armada:
Lower Bounds Optimization for Coordinated Linear Transmission Beamformer Design in Multicell Network Downlink. - Hsien-Kuei Hwang, Tsung-Hsi Tsai, Wei-Mei Chen:
Threshold phenomena in k-dominant skylines of random samples. - Xuebing Han, Hao Zhang:
Fast Algorithms for Sparse Recovery with Perturbed Dictionary. - Asaf Cohen, Shlomi Dolev, Nir Tzachar:
Efficient and Universal Corruption Resilient Fountain Codes. - Julien Law-To, Jean-Luc Gauvain, Lori Lamel, Gregory Grefenstette, Guillaume Gravier, Julien Despres, Camille Guinaudeau, Pascale Sébillot:
A Scalable Video Search Engine Based on Audio Content Indexing and Topic Segmentation. - Vasil Kolev:
Compressed sensing of astronomical images: orthogonal wavelets domains. - Roope Vehkalahti, Hsiao-feng Lu:
Inverse Determinant Sums and Connections Between Fading Channel Information Theory and Algebra. - Kamen Lozev:
Shape and Trajectory Tracking of Moving Obstacles. - Ata Turk, Cevdet Aykanat, Gunduz Vehbi Demirci, Sebastian von Alfthan, Ilja Honkonen:
Improving the Load Balancing Performance of Vlasiator. - Robby G. McKilliam, Ramanan Subramanian, Emanuele Viterbo, I. Vaughan L. Clarkson:
On the error performance of the $A_n$ lattices. - Tianbao Yang, Rong Jin, Mehrdad Mahdavi:
Regret Bound by Variation for Online Convex Optimization. - Awny Sayed:
XML Information Retrieval Systems: A Survey. - Inder Jeet Taneja:
Nested Inequalities Among Divergence Measures. - José Ignacio Aliaga, Paolo Bientinesi, Davor Davidovic, Edoardo Di Napoli, Francisco D. Igual, Enrique S. Quintana-Ortí:
Solving Dense Generalized Eigenproblems on Multi-threaded Architectures. - My Abdellah Kassimi, Omar El Beqqali:
3D Model Retrieval Based on Semantic and Shape Indexes. - Hajar Elmaghraoui, Imane Zaoui, Dalila Chiadmi, Laila Benhlima:
Graph based E-Government web service composition. - Stéphane Y. Le Goff:
Capacity-Approaching Signal Constellations for the Additive Exponential Noise Channel. - Aryeh Kontorovich, Ari Trachtenberg:
Unique decodability of bigram counts by finite automata. - Francis R. Bach:
Learning with Submodular Functions: A Convex Optimization Perspective. - Hakan Erkal, F. Mehmet Ozcelik, Elif Uysal-Biyikoglu:
Optimal Offline Broadcast Scheduling with an Energy Harvesting Transmitter. - Andrzej Lingas, Dzmitry Sledneu:
A Combinatorial Algorithm for All-Pairs Shortest Paths in Directed Vertex-Weighted Graphs with Applications to Disc Graphs. - Mehdi Sookhak, Ramin Karimi, Mahboobeh Haghparast, Ismail Fauzi Isnin:
Secure Geographic Routing Protocols: Issues and Approaches. - Martin R. Albrecht, Gregory V. Bard, Clément Pernet:
Efficient Dense Gaussian Elimination over the Finite Field with Two Elements. - Souad Bouasker, Tarek Hamrouni, Sadok Ben Yahia:
Nouvelle représentation concise exacte des motifs corrélés rares : Application à la détection d'intrusions. - Jan Pöschko:
Exploring Twitter Hashtags. - Hyung-Chan An, Robert Kleinberg:
A Diameter-Revealing Proof of the Bondy-Lovász Lemma. - Manuel Bodirsky, Dugald Macpherson, Johan Thapper:
Constraint Satisfaction Tractability from Semi-lattice Operations on Infinite Sets. - Scott Hand:
A Markov Random Field Topic Space Model for Document Retrieval. - Jian Wang, Seokbeop Kwon, Byonghyo Shim:
Generalized Orthogonal Matching Pursuit. - Chengfang Fang, Ee-Chien Chang:
Publishing Location Dataset Differential Privately with Isotonic Regression. - Chengwen Xing, Zesong Fei, Shaodan Ma, Jingming Kuang, Yik-Chung Wu:
Optimal Structure of Robust Linear Transceiver for Amplify-and-Forward Multi-Hop MIMO Relaying Systems. - Majid Khabbazian, Stephane Durocher, Alireza Haghnegahdar:
Bounding Interference in Wireless Ad Hoc Networks with Nodes in Random Position. - Albert Sunny, Joy Kuri, Nachiket Sahasrabudhe:
Approximate Aggregate Utility Maximization in Multi-Hop Wireless Networks using Distributed Greedy Scheduling. - Muhammad Nazmul Islam, Raviraj Adve, Behrouz Khoshnevis:
Optimal Shape-Gain Quantization for Multiuser MIMO Systems with Linear Precoding. - (Withdrawn) On the Integrality Gap of the Directed-Component Relaxation for Steiner Tree.
- Ahmed Tolba, Nabila Eladawi, Mohammed M. Elmogy:
An Enhanced Indexing And Ranking Technique On The Semantic Web. - Abdullah Bamatraf, Rosziati Ibrahim, Mohd. Najib Mohd. Salleh:
A New Digital Watermarking Algorithm Using Combination of Least Significant Bit (LSB) and Inverse Bit. - Humaira Farid, Farooque Azam, M. Aqeel Iqbal:
Minimizing the Risk of Architectural Decay by using Architecture-Centric Evolution Process. - Hareesh K., D. H. Manjaiah:
Peer-to-Peer Live Streaming and Video On Demand Design Issues and its Challenges. - Andreas Emil Feldmann:
Fast Balanced Partitioning of Grid Graphs is Hard. - Riyadh Baghdadi, Albert Cohen, Cédric Bastoul, Louis-Noël Pouchet, Lawrence Rauchwerger:
The Potential of Synergistic Static, Dynamic and Speculative Loop Nest Optimizations for Automatic Parallelization. - Hussain A. H. Awad, Fadi M. Battah:
Enhancing Information Systems Security in Educational Organizations in KSA through proposing security model. - Nadir K. Salih, Tianyi Zang, PG. K. Viju, Abdelmotalib A. Mohamed:
Autonomic Management for Multi-agent Systems. - Sao Mai Nguyen
Constraining the Size Growth of the Task Space with Socially Guided Intrinsic Motivation using Demonstrations. - Alireza Abbasi, Liaquat Hossain, Loet Leydesdorff:
Betweenness Centrality as a Driver of Preferential Attachment in the Evolution of Research Collaboration Networks. - Raghavan Komondoor, K. Vasanta Lakshmi, Deva P. Seetharam, Sudha Balodia:
Packet flow analysis in IP networks via abstract interpretation. - Yihong Wu, Sergio Verdú:
Optimal Phase Transitions in Compressed Sensing. - Alireza Amirshahi, Mahmood Fathy, Morteza Romoozi, Mohammad Assarian:
A Fuzzy Realistic Mobility Model For Ad hoc Networks. - Paolo Banelli:
Bayesian Estimation of a Gaussian source in Middleton's Class-A Impulsive Noise. - Ashwin Ganesan, Radha R. Iyer:
The regular number of a graph. - Avrim Blum, Aaron Roth:
Fast Private Data Release Algorithms for Sparse Queries. - Michal B. Paradowski
Developing credible AI - linguistic behaviour, simulations, data-driven input, and Turing's legacy. - Claudius Gros, Gregor Kaczor, Dimitrije Markovic:
Neuropsychological constraints to human data production on a global scale. - Nicholas M. Timme, Wesley Alford, Benjamin Flecker, John M. Beggs:
Towards resolving the multivariate information controversy. - Bill Bekenn, Ray Hooper:
Workbook Structure Analysis - "Coping with the Imperfect". - Rémi Diana, Emmanuel Lochin:
Modelling the Delay Distribution of Binary Spray and Wait Routing Protocol. - Kevin McDaid, Ronan MacRuairi, Neil Clynch, Kevin Logue, Cian Clancy, Shane Hayes:
Spreadsheets in Financial Departments: An Automated Analysis of 65,000 Spreadsheets using the Luminous Technology. - Gordon Guthrie, Stephen McCrory:
Beyond The Desktop Spreadsheet. - Ruth McKeever, Kevin McDaid:
Effect of Range Naming Conventions on Reliability and Development Time for Simple Spreadsheet Formulas. - Daniel Kulesz:
From Good Practices to Effective Policies for Preventing Errors in Spreadsheets. - Martín O. Moguillansky, Nicolás D. Rotstein, Marcelo A. Falappa, Alejandro Javier García, Guillermo Ricardo Simari:
Dynamics of Knowledge in DeLP through Argument Theory Change. - Pierpaolo Baglietto, Martino Fornasa, Simone Mangiante, Massimo Maresca, Andrea Parodi, Michele Stecca:
A Platform for Spreadsheet Composition. - Nancy Coster, Linda Leon, Lawrence Kalbers, Dolphy M. Abraham:
Controls over Spreadsheets for Financial Reporting in Practice. - Felienne Hermans, Martin Pinzger, Arie van Deursen:
Breviz: Visualizing Spreadsheets using Dataflow Diagrams. - Martin R. Albrecht:
The M4RIE library for dense linear algebra over small fields with even characteristic. - José Pedro Correia, Miguel Alexandre Ferreira:
Requirements for Automated Assessment of Spreadsheet Maintainability. - Thomas A. Grossman, Vijay Mehrotra, Johncharles Sander:
Towards Evaluating the Quality of a Spreadsheet: The Case of the Analytical Spreadsheet Model. - Zbigniew H. Przasnyski, Linda Leon, Kala Chand Seal:
In Search of a Taxonomy for Classifying Qualitative Spreadsheet Errors. - Zacchaeus Omogbadegun, Charles Onuwa Uwadia, Charles K. Ayo, Victor Mbarika, Nicholas A. Omoregbe, Efe Otofia, Frank Chieze:
Multimedia-based Medicinal Plants Sustainability Management System. - Preeti K. S., Vijit Singh, Sushant Bhatia, Ekansh Preet Singh, Manu Sheel Gupta:
Spreadsheet on Cloud -- Framework for Learning and Health Management System. - Giovanni Viglietta:
Hardness of Mastermind. - Yordan Kalmukov
Architecture of a Conference Management System Providing Advanced Paper Assignment Features. - Matteo Riondato, Eli Upfal:
Efficient Discovery of Association Rules and Frequent Itemsets through Sampling with Tight Performance Guarantees. - Kajetan Mlynarski:
Reflexivity and the diagonal argument in proofs of limitative theorems. - Mark Sh. Levin
Aggregation of Composite Solutions: strategies, models, examples. - Kyle Fox:
Faster Shortest Non-contractible Cycles in Directed Surface Graphs. - Ilce Georgievski, Alexander Lazovik, Marco Aiello:
Task Interaction in an HTN Planner. - Philippe De Wilde, Gerard Briscoe:
Stability of Evolving Multi-Agent Systems. - Arup Kumar Pal, G. P. Biswas, S. Mukhopadhyay:
Design of Image Cryptosystem by Simultaneous VQ-Compression and Shuffling of Codebook and Index Matrix. - Liang Li, Pinyan Lu, Yitong Yin:
Correlation Decay up to Uniqueness in Spin Systems. - Lingyang Song, Yonghui Li, Anpeng Huang, Bingli Jiao, Athanasios V. Vasilakos:
Differential Modulation for Bi-directional Relaying with Analog Network Coding. - Lingyang Song:
Relay Selection for Two-way Relaying with Amplify-and-Forward Protocols. - Lingyang Song, Hong Guo, Bingli Jiao, Mérouane Debbah:
Joint Relay Selection and Analog Network Coding using Differential Modulation in Two-Way Relay Channels. - Martin Kleinsteuber, Hao Shen:
Identifiability of Complex Blind Source Separation via Non-Unitary Joint Diagonalization. - Gan Zheng, Symeon Chatzinotas, Björn E. Ottersten:
Multi-Gateway Cooperation in Multibeam Satellite Systems. - Lingyang Song, Zhu Han, Zhongshan Zhang, Bingli Jiao:
Non-cooperative Feedback Rate Control Game for Channel State Information in Wireless Networks. - Leiming Zhang, Lingyang Song, Meng Ma, Bingli Jiao:
On the Minimum Differential Feedback for Time-Correlated MIMO Rayleigh Block-Fading Channels. - Jingchao Chen, Rongqing Zhang, Lingyang Song, Zhu Han, Bingli Jiao:
Joint Relay and Jammer Selection for Secure Two-Way Relay Networks. - Samson Abramsky:
A Cook's Tour of the Finitary Non-Well-Founded Sets. - Samson Abramsky:
A Structural Approach to Reversible Computation. - Samson Abramsky:
Sequentiality vs. Concurrency in Games and Logic. - Fabian M. Suchanek, Serge Abiteboul, Pierre Senellart:
PARIS: Probabilistic Alignment of Relations, Instances, and Schema. - Sayan Ranu, Ambuj K. Singh:
Answering Top-k Queries Over a Mixture of Attractive and Repulsive Dimensions. - Michael Armbrust, Kristal Curtis, Tim Kraska, Armando Fox, Michael J. Franklin, David A. Patterson:
PIQL: Success-Tolerant Query Processing in the Cloud. - Peixiang Zhao, Charu C. Aggarwal, Min Wang:
gSketch: On Query Estimation in Graph Streams. - Brian E. Ruttenberg, Ambuj K. Singh:
Indexing the Earth Mover's Distance Using Normal Distributions. - Georgios John Fakas, Zhi Cai, Nikos Mamoulis:
Size-l Object Summaries for Relational Keyword Search. - Lujun Fang, Anish Das Sarma, Cong Yu, Philip Bohannon:
REX: Explaining Relationships between Entity Pairs. - Guoliang Li, Dong Deng, Jiannan Wang, Jianhua Feng:
PASS-JOIN: A Partition-based Method for Similarity Joins. - Michal B. Paradowski
Developing Embodied Multisensory Dialogue Agents. - Chuan-Sheng Wei, Sheng-Gwo Chen, Tone-Yau Huang, Yao Lin Ong:
A secure solution on hierarchical access control. - Yuan Li, John O. Adeyeye, Reinhard C. Laubenbacher:
Nested Canalyzing Functions And Their Average Sensitivities. - Yvan Paquot, François Duport, Anteo Smerieri, Joni Dambre, Benjamin Schrauwen, Marc Haelterman, Serge Massar:
Optoelectronic Reservoir Computing. - Ibidapo, O. Akinyemi, Zaccheous O. Omogbadegun, Olufemi M. Oyelami:
Towards Designing a Biometric Measure for Enhancing ATM Security in Nigeria E-Banking System. - Rani Qumsiyeh, Maria Soledad Pera, Yiu-Kai Ng:
Generating Exact- and Ranked Partially-Matched Answers to Questions in Advertisements. - Xiangyang Lu, Jin Hu, Ran Tao, Yue Wang:
Controlling Communication Field of Complex Networks by Transformation Method. - Nirlakalla Ravi, A. Satish, T. Jayachandra Prasad, T. Subba Rao:
A New Design for Array Multiplier with Trade off in Power and Area. - Leszek Szczecinski:
Linear Correction of Mismatched L-values in BICM receivers. - Rodrigo Nava, Gabriel Cristóbal, Boris Escalante-Ramírez:
Invariant texture analysis through Local Binary Patterns. - Rob Hall, Yuval Nardi, Stephen E. Fienberg:
Achieving Both Valid and Secure Logistic Regression Analysis on Aggregated Data from Different Private Sources. - Michel X. Goemans, Neil Olver, Thomas Rothvoß, Rico Zenklusen:
Matroids and Integrality Gaps for Hypergraphic Steiner Tree Relaxations. - Raajay Viswanathan, Prateek Jain, Srivatsan Laxman, Arvind Arasu:
A Learning Framework for Self-Tuning Histograms. - Pierre Lescanne:
Les crashs sont rationnels. - Hang-Hyun Jo, Eunyoung Moon, Kimmo Kaski:
Optimized reduction of uncertainty in bursty human dynamics. - Jianshu Chen, Ali H. Sayed:
Diffusion Adaptation Strategies for Distributed Optimization and Learning over Networks. - Matthew O. Jackson, Dunia López-Pintado:
Diffusion and Contagion in Networks with Heterogeneous Agents and Homophily. - Kyu-Min Lee, Jung Yeol Kim, Won-kuk Cho, K.-I. Goh, I.-M. Kim:
Correlated multiplexity induces unusual connectivity in multiplex random networks. - Sebastian U. Stich, Christian L. Müller, Bernd Gärtner:
Optimization of Convex Functions with Random Pursuit. - Anthony Bonato, Jeannette C. M. Janssen, Pawel Pralat:
Geometric protean graphs. - Gabriel H. Tucci, Ke Wang:
New Methods for Handling Singular Sample Covariance Matrices. - Noga Alon, Ankur Moitra, Benny Sudakov:
Nearly Complete Graphs Decomposable into Large Induced Matchings and their Applications. - Valerio Capraro:
Topology on locally finite metric spaces. - Pavel Chebotarev, Michel Deza:
A topological interpretation of the walk distances. - Ivan Soprunov:
Minimum distance for toric complete intersection codes. - Daniel G. Brown, Jakub Truszkowski:
Fast reconstruction of phylogenetic trees using locally-sensitive hashing. - Yingtai Xie:
A Graph Invariant and 2-factorizations of a graph. - Dimitris Boskos, John Tsinias:
Sufficient Conditions on the Existence of Switching Observers for Nonlinear Time-Varying Systems. - Samuel Fiorini, Volker Kaibel, Kanstantsin Pashkovich, Dirk Oliver Theis:
Combinatorial Bounds on Nonnegative Rank and Extended Formulations. - Greg Kuperberg, Shachar Lovett, Ron Peled:
Probabilistic existence of rigid combinatorial structures. - Richard F. L. Evans, Roy W. Chantrell, Ulrich Nowak, Andreas Lyberatos, Hans-Jürgen Richter:
Entropy and error: density limit for magnetic data storage. - David G. Messerschmitt:
Interstellar Communication: The Case for Spread Spectrum. - Fabien Durand
HD0L-$ω$-equivalence and periodicity problems in the primitive case (to the memory of G. Rauzy). - Jan Foniok:
On Ramsey properties of classes with forbidden trees. - Marzieh Nabi-Abdolyousefi, Mehran Mesbahi:
A Sieve Method for Consensus-type Network Tomography. - Danielle C. Tarraf, Dario Bauso:
Robust Finite Alphabet Control of Dynamic Networks. - Pedro A. Ortega:
Bayesian Causal Induction. - Arnab Basu, Samik Basu, Mahan Mj:
Nash Equilibria via Duality and Homological Selection. - Iasson Karafyllis, Costas Kravaris:
Global Exponential Observers for Two Classes of Nonlinear Systems. - Samuel Fiorini, Serge Massar, Sebastian Pokutta, Hans Raj Tiwary, Ronald de Wolf:
Linear vs. Semidefinite Extended Formulations: Exponential Separation and Strong Lower Bounds. - Ahmet A. Husainov:
The Homology Groups of a Partial Trace Monoid Action. - Ton Kloks, Sheung-Hung Poon, Feng-Ren Tsai, Yue-Li Wang:
The black-and-white coloring problem on distance hereditary graphs and strongly chordal graphs. - Ayan Mahalanobis:
The MOR cryptosystem and extra-special $p$-groups. - James R. Lee, Shayan Oveis Gharan, Luca Trevisan:
Multi-way spectral partitioning and higher-order Cheeger inequalities. - Chihiro H. Nakajima, Takahiro Sakaue:
Computing a Knot Invariant as a Constraint Satisfaction Problem. - Charles Dossal, Maher Kachour, Jalal Fadili, Gabriel Peyré, Christophe Chesneau:
The degrees of freedom of penalized l1 minimization. - Qi Cheng, Joshua E. Hill, Daqing Wan:
Counting Value Sets: Algorithm and Complexity. - Shi-Hua Zhang, Junfei Zhao, Xiang-Sun Zhang:
Co-community Structure in Multiple Evolving Networks. - Christian Retoré:
Specimens: "most of" generic NPs in a contextually flexible type theory. - Aleksandr Y. Aravkin, Michael Styer, Zachary Moratto, Ara V. Nefian, Michael Broxton:
Student's T Robust Bundle Adjustment Algorithm. - Jing Lei, James M. Robins, Larry A. Wasserman:
Efficient Nonparametric Conformal Prediction Regions. - Rajat Shuvro Roy, Kevin C. Chen, Anirvan M. Sengupta, Alexander Schliep:
SLIQ: Simple Linear Inequalities for Efficient Contig Scaffolding. - David J. Rosenbaum, Aram W. Harrow:
Uselessness for an Oracle Model with Internal Randomness. - Marcus Brazil, Charl J. Ras, Konrad J. Swanepoel, Doreen A. Thomas:
Generalised k-Steiner Tree Problems in Normed Planes. - Parikshit Shah, Pablo A. Parrilo:
H_2-Optimal Decentralized Control over Posets: A State-Space Solution for State-Feedback. - Olivier Finkel, Stevo Todorcevic:
A Hierarchy of Tree-Automatic Structures. - Volker Diekert, Manfred Kufleitner, Benjamin Steinberg:
The Krohn-Rhodes Theorem and Local Divisors. - Dante Kalise:
A study of a WENO-TVD finite volume scheme for the numerical simulation of atmospheric advective and convective phenomena. - Amitabh Basu, Robert Hildebrand, Matthias Köppe:
The Triangle Closure is a Polyhedron. - Ravi Ganti, Alexander G. Gray:
UPAL: Unbiased Pool Based Active Learning. - Gonzalo Mateos, Georgios B. Giannakis:
Robust PCA as Bilinear Decomposition with Outlier-Sparsity Regularization. - Marcus Brazil, Charl J. Ras, Doreen A. Thomas:
Exact algorithm for the bottleneck 2-connected $k$-Steiner network problem. - Marcus Brazil, Charl J. Ras, Doreen A. Thomas:
A Flow-dependent Quadratic Steiner Tree Problem in the Euclidean Plane. - Sang Hoon Lee, Petter Holme:
Exploring maps with greedy navigators. - Dante Kalise, Ivar Lie:
Modelling and numerical approximation of a 2.5D set of equations for mesoscale atmospheric processes. - Florent Foucaud, Tero Laihonen, Aline Parreau:
An improved lower bound for (1,<=2)-identifying codes in the king grid. - Wesley Calvert, Russell G. Miller, Jennifer Chubb Reimann:
The Distance Function on a Computable Graph. - Jakob Heide Jørgensen, Emil Y. Sidky, Xiaochuan Pan:
Ensuring convergence in total-variation-based reconstruction for accurate microcalcification imaging in breast X-ray CT. - Masaaki Harada:
Some Extremal Self-Dual Codes and Unimodular Lattices in Dimension 40. - Roman Kogler
Data Preservation in High Energy Physics. - Roberto da Silva, Fahad Kalil, Alexandre Souto Martinez, José Palazzo Moreira de Oliveira:
Universality in Bibliometrics. - Ya-Hong Chen, Rong-Ying Pan, Xiao-Dong Zhang:
The Laplacian Spectra of Graphs and Complex Networks. - Colin McDiarmid, Tobias Müller:
Integer realizations of disk and segment graphs. - Luca Gammaitoni:
Beating the Landauer's limit by trading energy with uncertainty. - Andrew Adamatzky, Stephen Kitson, Ben de Lacy Costello, Mario Ariosto Matranga, Daniel Younger:
Computing with Liquid Crystal Fingers: Models of geometric and logical computation. - Varsha Dani, Cristopher Moore, Anna Olson:
Tight bounds on the threshold for permuted k-colorability. - Máté Szalay-Beko, Robin Palotai, Balázs Szappanos, István A. Kovács, Balázs Papp, Peter Csermely:
ModuLand plug-in for Cytoscape: extensively overlapping modules, community centrality and their use in biological networks. - Daniel Smilkov, Ljupco Kocarev:
The influence of the network topology on epidemic spreading. - Fabien Durand
Decidability of the HD0L ultimate periodicity problem. - Edwin K. P. Chong, Scott A. Miller, Jason Adaska:
On Bellman's principle with inequality constraints. - Daniele Bartoli, Alexander A. Davydov, Giorgio Faina, Stefano Marcugini, Fernanda Pambianco:
Upper bounds on the smallest size of a complete arc in the plane PG(2,q). - Masaaki Harada:
Optimal Self-Dual Z4-Codes and a Unimodular Lattice in Dimension 41. - Amir Ali Ahmadi, Raphaël M. Jungers, Pablo A. Parrilo, Mardavij Roozbehani:
Joint Spectral Radius and Path-Complete Graph Lyapunov Functions. - Andrew Adamatzky, Leon O. Chua:
Phenomenology of retained refractoriness: On semi-memristive discrete media. - Samson Abramsky
The Cohomology of Non-Locality and Contextuality. 1-14 - Ivan Savov, Mark M. Wilde:
Classical codes for quantum broadcast channels. - Luca Ferretti, Michele Cortelezzi, Bin Yang, Giacomo Marmorini, Ginestra Bianconi:
Features and heterogeneities in growing network models. - Carlos Gershenson:
Living in Living Cities. - V. N. Tibabishev:
The function space to describe the dynamics of linear systems. - Hugo Buddelmeijer, Danny Boxhoorn, Edwin Valentijn
Automatic Optimized Discovery, Creation and Processing of Astronomical Catalogs. - Zhengjun Xi, Xiao-Ming Lu, Xiaoguang Wang, Yongming Li:
Necessary and sufficient condition for achieving the upper bound of quantum discord. - Emmanuel Vázquez, Julien Bect:
Sequential search based on kriging: convergence analysis of some algorithms. - Alberto Pepe, Alyssa Goodman, August Muench:
The ADS All-Sky Survey. - Javier Borge-Holthoefer, Alejandro Rivero, Yamir Moreno:
Locating privileged information spreaders during political protests on an Online Social Network. - Agelos Georgakopoulos, Peter Winkler:
Two-Color Babylon. - Matthew D. Hoffman, Andrew Gelman:
The No-U-Turn Sampler: Adaptively Setting Path Lengths in Hamiltonian Monte Carlo. - Haiping Huang, Haijun Zhou:
Counting solutions from finite samplings. - Victor A. Rodriguez-Toro, Fabio Noguera-Leon, Jaime Velasco-Medina:
Diseño de una Arquitectura para la Solucion de la Ecuacion de Schroedinger usando el Metodo de Numerov. - Axman Fisher:
Interfacial Numerical Dispersion and New Conformal FDTD Method. - George Barmpalias, Angsheng Li:
Kolmogorov complexity and computably enumerable sets. - Alex Dainiak:
Inverse problems for the number of maximal independent sets. - Nicholas F. Travers, James P. Crutchfield:
Equivalence of History and Generator Epsilon-Machines. - Paolo Frasca, Julien M. Hendrickx:
On the mean square error of randomized averaging algorithms. - Ana Busic, Nazim Fatès, Jean Mairesse, Irène Marcovici:
Density classification on infinite lattices and trees. - Daniel N. Kaslovsky, François G. Meyer:
Optimal Tangent Plane Recovery From Noisy Manifold Samples. - Jan Mandel, Jonathan D. Beezley, Adam K. Kochanski, Volodymyr Y. Kondratenko, Lin Zhang, Erik W. Anderson, Joel Daniels II, Cláudio T. Silva, Christopher R. Johnson:
A wildland fire modeling and visualization environment. - Ery Arias-Castro, Emmanuel J. Candès, Mark A. Davenport:
On the Fundamental Limits of Adaptive Sensing. - Camille Male:
Distributions of traffics of large random matrices and their free product. - Christian L. Müller, Rajesh Ramaswamy, Ivo F. Sbalzarini:
Global parameter identification of stochastic reaction networks from single trajectories. - Romain Benassi, Julien Bect, Emmanuel Vázquez:
Bayesian optimization using sequential Monte Carlo. - Hayafumi Watanabe, Hideki Takayasu, Misako Takayasu:
Biased diffusion on Japanese inter-firm trading network: Estimation of sales from network structure. - Yasin Yilmaz, George V. Moustakides, Xiaodong Wang:
Cooperative Sequential Spectrum Sensing Based on Level-triggered Sampling. - Emmanuel Abbe, Amir E. Khandani, Andrew W. Lo:
Privacy-Preserving Methods for Sharing Financial Risk Exposures. - Mária Ercsey-Ravasz, Ryan Lichtenwalter, Nitesh V. Chawla, Zoltán Toroczkai:
Range-limited Centrality Measures in Complex Networks. - Oliver Knill:
A graph theoretical Gauss-Bonnet-Chern Theorem. - Elie Feder, David Garber:
On the Orchard crossing number of prisms, ladders and other related graphs. - Haibo Hu, Xiaofan Wang:
How people make friends in social networking sites - A microscopic perspective. - Michael M. Wolf, Toby S. Cubitt, David Pérez-García:
Are problems in Quantum Information Theory (un)decidable? - Jakub Kozik, Piotr Micek, Xuding Zhu:
Towards on-line Ohba's conjecture. - Rahul Mazumder, Trevor Hastie:
The Graphical Lasso: New Insights and Alternatives. - Lazaros K. Gallos, Diego Rybski, Fredrik Liljeros, Shlomo Havlin, Hernán A. Makse:
How people interact in evolving online affiliation networks. - Sandra González-Bailón, Javier Borge-Holthoefer, Alejandro Rivero, Yamir Moreno:
The Dynamics of Protest Recruitment through an Online Network. - Frank Winter:
Accelerating QDP++/Chroma on GPUs. - David Balduzzi:
Falsification and future performance. - Pavel Valtr:
On empty pentagons and hexagons in planar point sets. - Fabing Duan, François Chapeau-Blondeau, Derek Abbott:
Fisher information as a performance metric for locally optimum processing. - Michel Benaïm, Jean-Yves Le Boudec:
On Mean Field Convergence and Stationary Regime. - Klas Markström:
Two questions of Erdős on hypergraphs above the Turán threshold. - Nuno Crokidakis:
Effects of mass media on opinion spreading in the Sznajd sociophysics model. - Carles Navarro i Manchon, Gunvor Elisabeth Kirkelund, Erwin Riegler, Lars P. B. Christensen, Bernard H. Fleury:
Receiver Architectures for MIMO-OFDM Based on a Combined VMP-SP Algorithm. - Arian Maleki, Manjari Narayan, Richard G. Baraniuk:
Suboptimality of Nonlocal Means for Images with Sharp Edges. - Isaac Z. Pesenson, Daryl Geller:
Cubature formulas and discrete fourier transform on compact manifolds. - Serge Fehr, Ran Gelles, Christian Schaffner:
Security and Composability of Randomness Expansion from Bell Inequalities. - Filippo Radicchi, Claudio Castellano:
Testing the fairness of citation indicators for comparison across scientific domains: the case of fractional citation counts. - Yong-Yeol Ahn, Sebastian E. Ahnert, James P. Bagrow
Flavor network and the principles of food pairing. - Takashi Nishikawa, Adilson E. Motter:
Discovering Network Structure Beyond Communities. - Norman Gray, Robert G. Mann, Dave Morris, Mark Holliman, Keith Noddle:
AstroDAbis: Annotations and Cross-Matches for Remote Catalogues. - David R. Bickel:
Resolving conflicts between statistical methods by probability combination: Application to empirical Bayes analyses of genomic data. - Fu Lin, Makan Fardad, Mihailo R. Jovanovic:
Design of Optimal Sparse Feedback Gains via the Alternating Direction Method of Multipliers. - Jorge Neves
Vanishing ideals over graphs and even cycles. - Fionn Murtagh, Pierre Legendre:
Ward's Hierarchical Clustering Method: Clustering Criterion and Agglomerative Algorithm. - Willem-Jan Vriend, Edwin Valentijn
Astro-WISE Information System. - Willem Waegeman, Tapio Pahikkala, Antti Airola, Tapio Salakoski, Michiel Stock, Bernard De Baets:
A kernel-based framework for learning graded relations from data. - Arash Sangari, Hasti Mirkia, Amir H. Assadi:
Perception of Motion and Architectural Form: Computational Relationships between Optical Flow and Perspective. - David I. Ketcheson
Accessible, Extensible, Scalable Tools for Wave Propagation Problems. - Arash Sangari, Adel Ardalan, Larry Lambe, Hamid Eghbalnia, Amir H. Assadi:
Mathematical Analysis and Computational Integration of Massive Heterogeneous Data from the Human Retina. - Amr H. Hassan, Christopher J. Fluke, David G. Barnes:
Unleashing the Power of Distributed CPU/GPU Architectures: Massive Astronomical Data Analysis and Visualization case study. - Chun-Ying Chiang, Liang-Hao Huang, Bo-Jr Li, Jiaojiao Wu, Hong-Gwa Yeh:
Some Results on the Target Set Selection Problem. - Hugo Buddelmeijer, O. Rees Williams, John McFarland, Andrey N. Belikov:
Astro-WISE processing of wide-field images and other data. - Hugo Buddelmeijer, Edwin Valentijn
Query Driven Visualization. - Akshay Soni, Jarvis D. Haupt:
Efficient Adaptive Compressive Sensing Using Sparse Hierarchical Learned Dictionaries. - Yang Zhou:
Structure Learning of Probabilistic Graphical Models: A Comprehensive Survey. - Ali Kakhbod, Demosthenis Teneketzis:
An Efficient Game Form for Multi-rate Multicast Service Provisioning. - Benjamin A. Burton:
Fundamental normal surfaces and the enumeration of Hilbert bases. - Richard J. Gardner, Paolo Gronchi, Thorsten Theobald:
Determining a rotation of a tetrahedron from a projection. - Thomas Fernique, Damien Regnault:
Stochastic Flips on Dimer Tilings. - Parikshit Shah, Pablo A. Parrilo:
An Optimal Controller Architecture for Poset-Causal Systems. - John H. Seago, Robert L. Seaman, Steven L. Allen:
The Colloquium on Decoupling Civil Timekeeping from Earth Rotation. - Youngmi Hur, Fang Zheng:
Coset Sum: an alternative to the tensor product in wavelet construction. - Christoph Räth, M. Gliozzi, I. E. Papadakis, W. Brinkmann:
Revisiting algorithms for generating surrogate time series. - Sergey G. Bobkov, Mokshay M. Madiman:
On the problem of reversibility of the entropy power inequality. - Yoshio Sano:
On the rank functions of $\mathcal{H}$-matroids. - Akihiro Munemasa, Yoshio Sano, Tetsuji Taniguchi:
Fat Hoffman graphs with smallest eigenvalue at least $-1-τ$. - Silvère Bonnabel:
Stochastic gradient descent on Riemannian manifolds. - André Chailloux, Or Sattath:
The Complexity of the Separable Hamiltonian Problem.
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 2024-10-31 20:17 CET 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: