![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
CoRR, July 2014
- R. Latha, S. Kanthalakshmi, J. Kanagaraj:
Design of Power System Stabilizer using Fuzzy Based Sliding Mode Control Technique. - Dimitrios Christopoulos, Symeon Chatzinotas, Björn E. Ottersten:
Multicast Multigroup Beamforming under Per-antenna Power Constraints. - Dimitrios Christopoulos, Symeon Chatzinotas, Björn E. Ottersten:
Sum Rate Maximizing Multigroup Multicast Beamforming under Per-antenna Power Constraints. - Weijun Ding, Jun (Jim) Xu, Jim G. Dai, Yang Song, Bill Lin:
Sprinklers: A Randomized Variable-Size Striping Approach to Reordering-Free Load-Balanced Switching. - Yu Sun, Louis F. Rossi, Chien-Chung Shen, Jennifer M. Miller, X. Rosalind Wang, Joseph T. Lizier, Mikhail Prokopenko, Upul Senanayake:
Information Transfer in Swarms with Leaders. - Grace Gao:
Navigating Robot Swarms Using Collective Intelligence Learned from Golden Shiner Fish. - G. Sumalatha, N. Zareena, Ch. Gopi Raju:
A Review on Failure Node Recovery Algorithms in Wireless Sensor Actor Networks. - Liangqiong Qu, Jiandong Tian, Zhi Han, Yandong Tang:
Pixel-wise Orthogonal Decomposition for Color Illumination Invariant and Shadow-free Image. - Martin Sundin, Saikat Chatterjee, Magnus Jansson, Cristian R. Rojas:
Relevance Singular Vector Machine for low-rank matrix sensing. - Donghwa Jeong, Kiju Lee
:
Dispersion and Line Formation in Artificial Swarm Intelligence. - Nikola Bogdanovic, Jorge Plata-Chaves, Kostas Berberidis:
Distributed Diffusion-based LMS for Node-Specific Parameter Estimation over Adaptive Networks. - Edinah K. Gnang:
Integer formula encoding SageTeX package. - Erik Cuevas, Daniel Zaldivar, Marco Pérez:
Low-cost commercial LEGO platform for mobile robotics. - Erik Cuevas, Daniel Zaldivar, Marco Pérez, Marte A. Ramírez-Ortegón:
Hands-on experiments on intelligent behavior for mobile robots. - Erik Cuevas, Daniel Zaldivar, Marco Antonio Pérez Cisneros, Humberto Sossa, Valentín Osuna-Enciso:
Block matching algorithm for motion estimation based on Artificial Bee Colony (ABC). - Abdulrhman Albeladi, Rabe Abdalkareem, Farhat Agwaeten, Khalid Altoum, Youssef Bennis, Zakaria Nasereldine:
Toward Software Measurement and Quality Analysis of MARF and GIPSY Case Studies a Team 13 SOEN6611-S14 Project Report. - Kamalika Chaudhuri, Sanjoy Dasgupta:
Rates of Convergence for Nearest Neighbor Classification. - Ben Schaeffer, Marek A. Perkowski:
A Cost Minimization Approach to Synthesis of Linear Reversible Circuits. - Graeme N. Wilson, Alejandro Ramirez-Serrano, Mahmoud Mustafa, Krispin A. Davies:
Velocity Selection for High-Speed UGVs in Rough Unknown Terrains using Force Prediction. - Fatma Almajadub, Khaled Elleithy:
Performance Advancement of Wireless Sensor Networks using Low Power Techniques and Efficient Placement of Nodes. - Qi Zhang, Meizhu Li, Yong Deng:
A betweenness structure entropy of complex networks. - Huahua Wang, Arindam Banerjee:
Randomized Block Coordinate Descent for Online and Stochastic Optimization. - Travis Gagie:
Suffix Arrays for Spaced-SNP Databases. - Maurizio Naldi, Giuseppe D'Acquisto:
Differential privacy for counting queries: can Bayes estimation help uncover the true value? - Eduardo I. Silva, Milan S. Derpich, Jan Østergaard, Marco A. Encina:
A Characterization of the Minimal Average Data Rate that Guarantees a Given Closed-Loop Performance Level. - Daniel Schall, Theo Härder:
Dynamic Physiological Partitioning on a Shared-nothing Database Cluster. - Kazi Sakib, M. S. Hasan, M. Alamgir Hossain:
Effects of Hard Real-Time Constraints in Implementing the Myopic Scheduling Algorithm. - Hideki Yagi, Ryo Nomura:
Single-Letter Characterization of Epsilon-Capacity for Mixed Memoryless Channels. - Masahito Hayashi, Vincent Yan Fu Tan:
Asymmetric Evaluations of Erasure and Undetected Error Probabilities. - Ravi Khatwal, Manoj Kumar Jain:
Application Specific Hardware Design Simulation for High Performance Embedded System. - Federica Cena, Silvia Likavec, Ilaria Lombardi, Claudia Picardi:
Should I Stay or Should I Go? Improving Event Recommendation in the Social Web. - Cezar Câmpeanu, Nelma Moreira, Rogério Reis:
The Distinguishability Operation On Regular Languages. - Beatriz García Jiménez, Mark D. Wilkinson:
Automatic annotation of bioinformatics workflows with biomedical ontologies. - Xiaofei Di, Ke Xiong, Zhengding Qiu:
Simultaneous Wireless Information and Power Transfer for Two-hop OFDM Relay System. - Robert Pagel, Moritz Schubotz:
Mathematical Language Processing Project. - Ivone Amorim, António Machiavelo, Rogério Reis:
Statistical Study On The Number Of Injective Linear Finite Transducers. - Rajkumar Pradhan, Madhumangal Pal:
Convergence of maxgeneralized mean-mingeneralized mean powers of intuitionistic fuzzy matrices. - Ludo Waltman, Anthony F. J. van Raan, Sue Smart:
Exploring the relationship between the Engineering and Physical Sciences and the Health and Life Sciences by advanced bibliometric methods. - Aaron Defazio, Francis R. Bach, Simon Lacoste-Julien:
SAGA: A Fast Incremental Gradient Method With Support for Non-Strongly Convex Composite Objectives. - Aryeh Kontorovich, Roi Weiss:
A Bayes consistent 1-NN classifier. - Jan Lellmann, Dirk A. Lorenz, Carola Schönlieb, Tuomo Valkonen:
Imaging with Kantorovich-Rubinstein discrepancy. - Evangelos Stromatias, John S. Marsland:
Supervised learning in Spiking Neural Networks with Limited Precision: SNN/LP. - Indrani Das, D. K. Lobiyal, C. P. Katti:
Effect of node mobility on AOMDV protocol in MANET. - Hoai An Le Thi, Tao Pham Dinh, Le Hoai Minh, Xuan Thanh Vo:
DC approximation approaches for sparse optimization. - Ajay Kulkarni, Saurabh Kulkarni:
An Open Source P2P Encrypted VoIP Application. - Xingguo Li, Jarvis D. Haupt:
Identifying Outliers in Large Matrices via Randomized Adaptive Compressive Sampling. - Pradip Suresh Mane, Vaishali D. Khairnar:
Analysis of Bus Tracking System Using GPS on Smartphones. - Aaron D. Shaw, Benjamin Mako Hill:
Laboratories of Oligarchy? How the Iron Law Extends to Peer Production. - John Prpic, Piper J. Jackson, Thai Nguyen:
A Computational Model of Crowds for Collective Intelligence. - Hanuma Teja Maddali, Michael Misha Novitzky, Brian Hrolenok, Daniel Walker, Tucker R. Balch, Kim Wallen:
Inferring Social Structure and Dominance Relationships Between Rhesus macaques using RFID Tracking Data. - Thomas A. Courtade, Thomas R. Halford:
Coded Cooperative Data Exchange for a Secret Key. - H. Gökalp Demirci, Mika Hirvensalo, Klaus Reinhardt, A. C. Cem Say, Abuzer Yakaryilmaz:
Classical and quantum realtime alternating automata. - Jinwei Xu, Jiankun Hu, Xiuping Jia:
A New Path to Construct Parametric Orientation Field: Sparse FOMFE Model and Compressed Sparse FOMFE Model. - Michael Small:
Expected degree of finite preferential attachment networks. - Renato L. G. Cavalcante, Slawomir Stanczak, Martin Schubert, Andreas Eisenblätter, Ulrich Türke:
Toward Energy-Efficient 5G Wireless Communications Technologies. - Juan Galán-Páez, Joaquín Borrego-Díaz:
Discovering New Sentiments from the Social Web. - Charalampos E. Tsourakakis:
Mathematical and Algorithmic Analysis of Network and Biological Data. - Laura Dabbish, H. Colleen Stuart, Jason Tsay, James D. Herbsleb:
Transparency and Coordination in Peer Production. - Imen Trabelsi, Dorra Ben Ayed Mezghanni:
A Multi Level Data Fusion Approach for Speaker Identification on Telephone Speech. - Yihong Wu, Pengkun Yang:
Minimax rates of entropy estimation on large alphabets via best polynomial approximation. - Alex Horn, Jade Alglave:
Concurrent Kleene Algebra of Partial Strings. - Daniel Schall, Theo Härder:
Energy and Performance-Can a Wimpy-Node Cluster Challenge a Brawny Server? - Friedrich Neurauter, Aart Middeldorp
:
Polynomial Interpretations over the Natural, Rational and Real Numbers Revisited. - Marc Toussaint:
Newton methods for k-order Markov Constrained Motion Problems. - Yair Zick, Georgios Chalkiadakis, Edith Elkind, Evangelos Markakis:
Cooperative Games with Overlapping Coalitions: Charting the Tractability Frontier. - Adrian Yanes:
Privacy and Anonymity. - Amin Rasekh, Kelly Brumbelow:
A Dynamic Simulation-Optimization Model for Adaptive Management of Urban Water Distribution System Contamination Threats. - Prasant Misra, Yogesh Simmhan, Jay Warrior:
Towards a Practical Architecture for India Centric Internet of Things. - Haixia Liu, Raymond H. Chan, Yuan Yao:
Geometric Tight Frame based Stylometry for Art Authentication of van Gogh paintings. - Peter A. Gloor, Adam Almozlino, Orr Inbar, Wei Lo, Shannon M. Provost:
Measuring Team Creativity Through Longitudinal Social Signals. - Seda Davtyan, Kishori M. Konwar, Alexander Russell, Alexander A. Shvartsman:
Technical Report: Dealing with Undependable Workers in Decentralized Network Supercomputing. - Amir-massoud Farahmand, Doina Precup, André da Motta Salles Barreto, Mohammad Ghavamzadeh:
Classification-based Approximate Policy Iteration: Experiments and Extended Discussions. - Sattam Alsubaiee, Yasser Altowim, Hotham Altwaijry, Alexander Behm, Vinayak R. Borkar, Yingyi Bu, Michael J. Carey, Inci Cetindil, Madhusudan Cheelangi, Khurram Faraaz, Eugenia Gabrielova, Raman Grover, Zachary Heilbron, Young-Seok Kim, Chen Li, Guangqiang Li, Ji Mahn Ok, Nicola Onose, Pouria Pirzadeh, Vassilis J. Tsotras, Rares Vernica, Jian Wen, Till Westmann:
AsterixDB: A Scalable, Open Source BDMS. - Yingyi Bu, Vinayak R. Borkar, Jianfeng Jia, Michael J. Carey, Tyson Condie:
Pregelix: Big(ger) Graph Analytics on A Dataflow Engine. - (Withdrawn) Zigbee & IEEE 802.11b(WLAN)coexistence in ubiquitous network environment.
- Li Guan, Bibo Hao, Tingshao Zhu:
How did the Suicide Act and Speak Differently Online? Behavioral and Linguistic Features of China's Suicide Microblog Users. - Suzhi Bi, Chin Keong Ho, Rui Zhang:
Recent Advances in Joint Wireless Energy and Information Transfer. - Konstantinos Kotis, Iraklis I. Athanasakis, George A. Vouros:
Semantic Integration & Single-Site Opening of Multiple Governmental Data Sources. - Igor Razgon:
No small nondeterministic read-once branching programs for CNFs of bounded treewidth. - Prasant Misra, Santoshini Kumari Mohini, Saroj Kumar Mishra:
The Design and Implementation of an ANN-based Non-linearity Compensator of LVDT Sensor. - Michael Lentmaier, Saeedeh Moloudi, Alexandre Graell i Amat:
Braided Convolutional Codes - A Class of Spatially Coupled Turbo-Like Codes. - Alexandre Graell i Amat, Saeedeh Moloudi, Michael Lentmaier:
Spatially Coupled Turbo Codes: Principles and Finite Length Performance. - Stan Palasek:
Non-Cooperativity in Bayesian Social Learning. - Tomasz Kociumaka, Tatiana Starikovskaya, Hjalte Wedel Vildhøj:
Sublinear Space Algorithms for the Longest Common Substring Problem. - Aki Hakkarainen, Janis Werner, Kapil R. Dandekar, Mikko Valkama:
Analysis and Augmented Spatial Processing for Uplink OFDMA MU-MIMO Receiver under Transceiver I/Q Imbalance and External Interference. - Katerina Smiljkovikj, Petar Popovski, Liljana Gavrilovska:
Analysis of the Decoupled Access for Downlink and Uplink in Wireless Heterogeneous Networks. - Mark Phillips, Lauren Ko:
Understanding Repository Growth at the University of North Texas: A Case Study. - Mathias Payer, Antonio Barresi, Thomas R. Gross:
Lockdown: Dynamic Control-Flow Integrity. - Jacopo Staiano, Nuria Oliver, Bruno Lepri, Rodrigo de Oliveira, Michele Caraviello, Nicu Sebe:
Money Walks: A Human-Centric Study on the Economics of Personal Mobile Data. - Jorge C. Gomes, Pedro Mariano, Anders Lyhne Christensen:
Novelty Search in Competitive Coevolution. - Jorge C. Gomes, Pedro Mariano, Anders Lyhne Christensen:
Systematic Derivation of Behaviour Characterisations in Evolutionary Robotics. - Christoph Scholz, Jens Illig, Martin Atzmueller, Gerd Stumme:
On the Predictability of Talk Attendance at Academic Conferences. - George Rabanca, Ivo Vigan:
Covering the Boundary of a Simple Polygon with Geodesic Unit Disks. - Kazem Jahanbakhsh, Yumi Moon:
The Predictive Power of Social Media: On the Predictability of U.S. Presidential Elections using Twitter. - Lamberto Ballan, Marco Bertini, Giuseppe Serra, Alberto Del Bimbo:
A Data-Driven Approach for Tag Refinement and Localization in Web Videos. - Davide Bilò, Luciano Gualà, Stefano Leucci, Guido Proietti:
Exact and approximate algorithms for movement problems on (special classes of) graphs. - Piyush Gautam:
Development of Tool for Mapping Conventional Circuit to Reversible Logic. - Davide Bilò, Luciano Gualà, Stefano Leucci, Guido Proietti:
Fault-Tolerant Approximate Shortest-Path Trees. - Weisi Guo, Conor Devine, Siyi Wang:
Performance Analysis of Micro Unmanned Airborne Communication Relays for Cellular Networks. - Davide Bilò, Luciano Gualà, Stefano Leucci, Guido Proietti:
The Max-Distance Network Creation Game on General Host Graphs. - Wojciech Czerwinski, Petr Jancar:
Branching Bisimilarity of Normed BPA Processes is in NEXPTIME. - Seda Davtyan, Kishori M. Konwar, Alexander A. Shvartsman
:
Technical Report: Estimating Reliability of Workers for Cooperative Distributed Computing. - Anuradha Rana, Pratima Sharma:
How to Track Online SLA. - Davide Nunes, Luis Antunes:
Continuous On-line Evolution of Agent Behaviours with Cartesian Genetic Programming. - Nasr Mohamed:
Enumeration of Spanning Trees Using Edge Exchange with Minimal Partitioning. - Hulya Seferoglu, Yuxuan Xing:
Device-Centric Cooperation in Mobile Networks. - Lubomir D. Bourdev, Fei Yang, Rob Fergus:
Deep Poselets for Human Detection. - Satoshi Egi:
Non-Linear Pattern-Matching against Unfree Data Types with Lexical Scoping. - Gábor Braun, Sebastian Pokutta, Yao Xie:
Info-Greedy sequential adaptive compressed sensing. - Giacomo Cocci, Davide Barbieri, Giovanna Citti, Alessandro Sarti:
Cortical spatio-temporal dimensionality reduction for visual grouping. - Justin Domke, Xianghang Liu:
Projecting Ising Model Parameters for Fast Mixing. - Justin Domke:
Structured Learning via Logistic Regression. - Rajesh Kumar, Sushil Kumar, Diksha Shukla, Ram Shringar Raw:
Geometrical Localization Algorithm for 3-D Wireless Sensor Networks. - Awais Mansoor, Valery Patsekin, Dale Scherl, J. Paul Robinson, Bartlomiej Rajwa:
BiofilmQuant: A Computer-Assisted Tool for Dental Biofilm Quantification. - Sakrapee Paisitkriangkrai, Chunhua Shen, Anton van den Hengel:
Strengthening the Effectiveness of Pedestrian Detection with Spatially Pooled Features. - Paul Barford, Igor Canadi, Darja Krushevskaja, Qiang Ma, S. Muthukrishnan:
Adscape: Harvesting and Analyzing Online Display Ads. - Venkata Rama Kiran Garimella, Ingmar Weber:
Co-Following on Twitter. - Zhe Zhou, Wenrui Diao, Xiangyu Liu, Kehuan Zhang:
Acoustic Fingerprinting Revisited: Generate Stable Device ID Stealthy with Inaudible Sound. - Siow Shyong Lau:
Impact of Mobile phone in the Air and Random Access Channel RACH with Time Division Multiple Access TDMA Noise in Aircraft Avionics. - Arnaud De Myttenaere, Bénédicte Le Grand, Boris Golden, Fabrice Rossi:
Reducing Offline Evaluation Bias in Recommendation Systems. - Michael Meder, Brijnesh Johannes Jain:
The Gamification Design Problem. - Ignacio Cascudo, Ronald Cramer, Diego Mirandola, Gilles Zémor:
On powers of codes. - Antonios Antoniadis, Chien-Chung Huang, Sebastian Ott:
A Fully Polynomial-Time Approximation Scheme for Speed Scaling with Sleep State. - Alberto G. Perotti, Branislav M. Popovic:
Enhanced Trellis Coded Multiple Access (ETCMA). - Fabio Luporini, Ana Lucia Varbanescu, Florian Rathgeber, Gheorghe-Teodor Bercea, J. Ramanujam, David A. Ham, Paul H. J. Kelly:
COFFEE: an Optimizing Compiler for Finite Element Local Assembly. - Arsenia Chorti, Mehdi M. Molu, David A. Karpuk, Camilla Hollanti, Alister G. Burr:
Strong Secrecy in Wireless Network Coding Systems with M-QAM Modulators. - Dominique Méry, Neeraj Kumar Singh:
Modelling an Aircraft Landing System in Event-B (Full Report). - M. T. Gopala Krishna, M. Ravishankar, D. R. Ramesh Babu:
Multiple Moving Object Recognitions in video based on Log Gabor-PCA Approach. - Shiying Han, Ying-Chang Liang, Boon-Hee Soong:
Spectrum Refarming: A New Paradigm of Spectrum Sharing for Cellular Networks. - Carl Barton, Costas S. Iliopoulos:
On the Average-case Complexity of Pattern Matching with Wildcards. - Boris Podobnik, Tomislav Lipic, Davor Horvatic, Antonio Derek Majdandzic, S. Bishop, Harry Eugene Stanley:
Predicting Lifetime of Dynamical Networks Experiencing Persistent Random Attacks. - Feng Shi, Zhiyuan Yan, Meghanad D. Wagh:
An Enhanced Multiway Sorting Network Based on n-Sorters. - Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro:
Deadlock Freedom by Construction for Distributed Adaptive Applications. - Mila Dalla Preda, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro, Maurizio Gabbrielli:
AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications. - Robert Nowotniak, Jacek Kucharski:
Higher-Order Quantum-Inspired Genetic Algorithms. - Laure Millet, Maria Potop-Butucaru, Nathalie Sznajder, Sébastien Tixeuil:
On the Synthesis of Mobile Robots Algorithms: the Case of Ring Gathering. - Gabriel Martins Dias, Simon Oechsner, Boris Bellalta:
Intelligently using data from external WSNs. - Luisa Iturrioz:
Algebraic and relational models for a system based on a poset of two elements. - Daniele Quercia, Rossano Schifanella, Luca Maria Aiello:
The Shortest Path to Happiness: Recommending Beautiful, Quiet, and Happy Routes in the City. - Florentin Smarandache
:
n-Valued Refined Neutrosophic Logic and Its Applications to Physics. - Katarzyna Musial, Piotr Bródka, Przemyslaw Kazienko, Jaroslaw Gaworecki:
Extraction of Multi-layered Social Networks from Activity Data. - John D. Jakeman, Timothy Wildey:
Enhancing adaptive sparse grid approximations and improving refinement strategies using adjoint-based a posteriori error estimates. - Aida Erfanian, Nima Karimpour Darav:
CBM-Of-TRaCE: An Ontology-Driven Framework for the Improvement of Business Service Traceability, Consistency Management and Reusability. - Emmanuel J. Candès, Xiaodong Li, Mahdi Soltanolkotabi:
Phase Retrieval via Wirtinger Flow: Theory and Algorithms. - Nima Seifi, Robert W. Heath Jr., Mikael Coldrey, Tommy Svensson:
Joint Transmission Mode and Tilt Adaptation in Coordinated Small-Cell Wireless Networks. - Carlo Novara, Mario Milanese:
Control of nonlinear systems: a model inversion approach. - Daniel Golovin, Andreas Krause, Matthew J. Streeter:
Online Submodular Maximization under a Matroid Constraint with Application to Learning Assignments. - Hanbaek Lyu:
A Self-stabilizing Cellular Automata Model For Pulse-coupled Biological Oscillators. - Arti M. K., Manav R. Bhatnagar:
Performance Analysis of Two-Way AF MIMO Relaying of OSTBCs with Imperfect Channel Gains. - Dusan Jakovetic, Dragana Bajovic, Dejan Vukobratovic, Vladimir S. Crnojevic:
Cooperative Slotted Aloha for Multi-Base Station Systems. - Manav R. Bhatnagar:
On the Capacity of Decode-and-Forward Relaying over Rician Fading Channels. - Jonathan W. Berry, Luke A. Fostvedt, Daniel J. Nordman, Cynthia A. Phillips, C. Seshadhri, Alyson G. Wilson:
Why do simple algorithms for triangle enumeration work in the real world? - Mehrtash Tafazzoli Harandi, Mathieu Salzmann, Richard I. Hartley:
From Manifold to Manifold: Geometry-Aware Dimensionality Reduction for SPD Matrices. - Qiang Ma, S. Muthukrishnan, Mark Sandler:
Frugal Streaming for Estimating Quantiles: One (or two) memory suffices. - Mehrtash Tafazzoli Harandi, Mathieu Salzmann, Sadeep Jayasumana, Richard I. Hartley, Hongdong Li:
Expanding the Family of Grassmannian Kernels: An Embedding Perspective. - Palvi Arora, Tarun Bhalla:
A Synonym Based Approach of Data Mining in Search Engine Optimization. - Karol Pak
:
Improving legibility of natural deduction proofs is not trivial. - Guosheng Lin, Chunhua Shen, Jianxin Wu:
Optimizing Ranking Measures for Compact Binary Code Learning. - Tichakorn Wongpiromsarn, Tawit Uthaicharoenpong, Emilio Frazzoli, Yu Wang, Danwei Wang:
Throughput Optimal Distributed Traffic Signal Control. - Prashant L. Borde, Amarsinh Varpe, Ramesh R. Manza, Pravin L. Yannawar:
Recognition of Isolated Words using Zernike and MFCC features for Audio Visual Speech Recognition. - Manav R. Bhatnagar:
On the Capacity of CSI Based Transmission Link Selection in Decode-and-Forward Cooperative System. - Davide Bilò, Luciano Gualà, Stefano Leucci, Guido Proietti:
Specializations and Generalizations of the Stackelberg Minimum Spanning Tree Game. - Robert Soulé, Shrutarshi Basu, Parisa Jalili Marandi, Fernando Pedone, Robert Kleinberg, Emin Gün Sirer, Nate Foster:
Merlin: A Language for Provisioning Network Resources. - Piotr Plonski, Krzysztof Zaremba:
Improving Performance of Self-Organising Maps with Distance Metric Learning Method. - Piotr Bojanowski, Rémi Lajugie, Francis R. Bach, Ivan Laptev, Jean Ponce, Cordelia Schmid, Josef Sivic:
Weakly Supervised Action Labeling in Videos Under Ordering Constraints. - Ricardo C. Corrêa, Philippe Michelon, Bertrand Le Cun, Thierry Mautor, Diego Delle Donne:
A Bit-Parallel Russian Dolls Search for a Maximum Cardinality Clique in a Graph. - Abdullah Dertli, Yasemin Cengellenmis, Senol Eren:
On Quantum Codes Obtained From Cyclic Codes Over F_2+vF_2+v^2F_2. - Vinit Kumar, Ajay Agarwal:
HT-Paxos: High Throughput State-Machine Replication Protocol for Large Clustered Data Centers. - Shuhao Liu, Wei Bai, Hong Xu, Kai Chen, Zhiping Cai:
RepFlow on node.js: Cutting Tail Latency in Data Center Networks at the Applications Layer. - Mischael Schill, Sebastian Nanz, Bertrand Meyer:
Dynamic Checking of Safe Concurrent Memory Access using Shared Ownership. - T. Pandiyavathi:
Usage of Optimal Restructuring Plan in Detection of Code Smells. - Qiang Fu, Quan Quan, Kai-Yuan Cai:
Calibration of Multiple Fish-Eye Cameras Using a Wand. - Reinhold Burger, Albert Heinle:
A Diffie-Hellman-like Key Exchange Protocol Based on Multivariate Ore Polynomials. - Hosam Abdo, Darko Dimitrov:
Non-regular graphs with minimal total irregularity. - J. V. Satyanarayana, A. G. Ramakrishnan:
Compressed EEG Acquisition with Limited Channels using Estimated Signal Correlation. - Michael Kapralov, Yin Tat Lee, Cameron Musco, Christopher Musco, Aaron Sidford:
Single Pass Spectral Sparsification in Dynamic Streams. - Stoyan Dimitrov, Redouane Lguensat:
Reinforcement Learning Based Algorithm for the Maximization of EV Charging Station Revenue. - Yang Guan, Yao Xiao, Hao Feng, Chien-Chung Shen, Leonard J. Cimini Jr.:
MobiCacher: Mobility-Aware Content Caching in Small-Cell Networks. - Chanpreet Singh, Kanwaldeep Singh, Parth Manrao, Rashi Kapoor, Sagar Shukla, Shivam Patel, Simar Preet, Suman Alungh:
Toward Software Measurement and Quality Analysis of MARF and GIPSY Case Studies, a Team 8 SOEN6611-S14 Project Report. - Peter Kairouz, Sewoong Oh, Pramod Viswanath:
Extremal Mechanisms for Local Differential Privacy. - Tejas D. Kulkarni, Vikash K. Mansinghka, Pushmeet Kohli, Joshua B. Tenenbaum:
Inverse Graphics with Probabilistic CAD Models. - Deli Zhao, Xiaoou Tang:
Homophilic Clustering by Locally Asymmetric Geometry. - M. R. Avendi, Ha H. Nguyen:
Differential Dual-Hop Relaying under User Mobility. - Ahmed M. Alaa, Mahmoud H. Ismail, Hazim Tawfik:
Opportunistic Beamforming using Dumb Basis Patterns in Multiple Access Cognitive Channels. - Christopher Hampson, Agi Kurucz:
Undecidable propositional bimodal logics and one-variable first-order linear temporal logics with counting. - Mohammad Hossein Akbari, Vahid Tabataba Vakili:
CB-REFIM: A Practical Coordinated Beamforming in Multicell Networks. - Fanhua Shang, Yuanyuan Liu, James Cheng:
Generalized Higher-Order Tensor Decomposition via Parallel ADMM. - Sinong Wang, Xiaohua Tian, Hui Liu:
Exploiting the Unexploited of Coded Caching for Wireless Content Distribution: Detailed Theoretical Proofs. - Prabhu Manyem:
Decision versions of optimization problems: cardinality constraint (lower bound) as a CNF Horn formula for Matching and Clique. - Benjamin J. Hescott, Roni Khardon:
The Complexity of Reasoning with FODD and GFODD. - (Withdrawn) Simultaneous Wireless Information and Power Transfer with Co-Channel Interference.
- Hadi Baligh, Mingyi Hong, Wei-Cheng Liao, Zhi-Quan Luo, Meisam Razaviyayn, Maziar Sanjabi, Ruoyu Sun:
Cross Layer Provision of Future Cellular Networks. - Junhao Zhang, Tongfei Chen, Junfeng Hu:
On the relationship between Gaussian stochastic blockmodels and label propagation algorithms. - Avery Miller, Andrzej Pelc:
Fast Rendezvous with Advice. - Mohammad Nassiry, Muriati Mukhtar:
Business types classification via e-commerce stage model in oil industry in Iran. - Jianwei Yang, Rodrigo C. de Lamare:
Multiple-Candidate Successive Interference Cancellation with Widely-Linear Processing for MAI and Jamming Suppression in DS-CDMA Systems. - Peter Hajas, Louis Gutierrez, Mukkai S. Krishnamoorthy:
Analysis of Yelp Reviews. - Ning Yang, Xiangnan Kong, Fengjiao Wang, Philip S. Yu:
When and Where: Predicting Human Movements Based on Social Spatial-Temporal Events. - (Withdrawn) Distributed Relay Selection Protocols for Simultaneous Wireless Information and Power Transfer.
- Matin Macktoobian:
Bi-directioal Motion Detection: A Neural Intelligent Model For Perception of Cognitive Robots. - Matin Macktoobian:
Curved Trajectory Detection : A Novel Neurocognitive Perception Approach for Autonomous Smart Robots. - Sonam Mahajan, Maninder Singh:
Analysis of RSA algorithm using GPU programming. - Umair Atique Syed, Uma Kandan Muniandy:
The Smart Shower. - Shashi Kant, Fredrik Rusek, Basuki E. Priyanto:
A Robust Low-Complexity MIMO Detector for Rank 4 LTE/LTE-A Systems. - Kaveh Bakhtiyari, Hafizah Husain:
Fuzzy Model in Human Emotions Recognition. - József Szabó:
Noiseless coding theorem proved by induction for finite stationary memoryless information sources. - Shenwei Huang, Matthew Johnson, Daniël Paulusma:
Narrowing the Complexity Gap for Colouring ($C_s$, $P_t$)-Free Graphs. - Petr A. Golovach, Matthew Johnson, Daniël Paulusma, Jian Song:
A Survey on the Computational Complexity of Colouring Graphs with Forbidden Subgraphs. - T. Lakshmi Narasimhan, A. Chockalingam:
Precoder Index Modulation. - Jianguo Li, Yurong Chen:
Large-scale Supervised Hierarchical Feature Learning for Face Recognition. - Hyukmin Son, Bruno Clerckx:
Joint Beamforming Design for Multi-User Wireless Information and Power Transfer. - Yasaman Keshtkarjahromi, Hulya Seferoglu, Rashid Ansari, Ashfaq A. Khokhar:
Content-Aware Instantly Decodable Network Coding over Wireless Networks. - Hamid Reza Feyzmahdavian, Themistoklis Charalambous, Mikael Johansson:
Sub-homogeneous positive monotone systems are insensitive to heterogeneous time-varying delays. - Sebastian Deorowicz, Marek Kokot, Szymon Grabowski, Agnieszka Debudaj-Grabysz:
KMC 2: Fast and resource-frugal k-mer counting. - Jose Mairton B. da Silva Jr., Gábor Fodor, Tarcisio F. Maciel:
Performance Analysis of Network-Assisted Two-Hop D2D Communications. - Colin de la Higuera, James Scicluna, Mark-Jan Nederhof:
On the Computation of Distances for Probabilistic Context-Free Grammars. - Nikhil Krishnan, Dror Baron:
A Universal Parallel Two-Pass MDL Context Tree Compression Algorithm. - Vineet Kumar Singh, Maitreyee Dutta:
Analyzing Cryptographic Algorithms for Secure Cloud Network. - Marek Chrobak, Kevin P. Costello, Leszek Gasieniec, Dariusz R. Kowalski:
Information Gathering in Ad-Hoc Radio Networks with Tree Topology. - Bing Liu, Soonho Kong, Sicun Gao, Paolo Zuliani, Edmund M. Clarke:
Parameter Synthesis for Cardiac Cell Hybrid Models Using Delta-Decisions. - Iyad A. Kanj, Ge Xia:
Flip Distance is in FPT time $O(n+ k \cdot c^k)$. - Zeyuan Allen Zhu, Lorenzo Orecchia:
A Novel, Simple Interpretation of Nesterov's Accelerated Method as a Combination of Gradient and Mirror Descent. - Xiangnan Kong, Zhaoming Wu, Li-Jia Li, Ruofei Zhang, Philip S. Yu, Hang Wu, Wei Fan:
Large-Scale Multi-Label Learning with Incomplete Label Assignments. - Thomas Lüke, Philipp Schaer, Philipp Mayr:
A Framework for Specific Term Recommendation Systems. - Dagmar Kern, Peter Mutschke, Philipp Mayr:
Establishing an Online Access Panel for Interactive Information Retrieval Research. - Boaz Barak, Jonathan A. Kelner, David Steurer:
Dictionary Learning and Tensor Decomposition via the Sum-of-Squares Method. - Mary Southern, Gopalan Nadathur:
A Lambda Prolog Based Animation of Twelf Specifications. - Peter Kairouz, Sewoong Oh, Pramod Viswanath:
Optimality of Non-Interactive Randomized Response. - Somwrita Sarkar, Sanjay Chawla, Hanley Weng:
Resilience of human brain functional coactivation networks under thresholding. - Zhenyu Zhou, Mianxiong Dong, Kaoru Ota, Jun Wu, Takuro Sato:
Energy Efficiency and Spectral Efficiency Tradeoff in Device-to-Device (D2D) Communications. - Jonathan R. Ullman:
Private Multiplicative Weights Beyond Linear Queries. - Farshad Rassaei, Wee-Seng Soh, Kee Chaing Chua:
A Statistical Modelling and Analysis of PHEVs' Power Demand in Smart Grids. - Hadi Hosseini, Jesse Hoey, Robin Cohen:
A Coordinated MDP Approach to Multi-Agent Planning for Resource Allocation, with Applications to Healthcare. - Émeline Lecuit, Denis Maurel
, Dusko Vitas:
Les noms propres se traduisent-ils ? Étude d'un corpus multilingue. - Pulkit Agrawal, Ross B. Girshick, Jitendra Malik:
Analyzing the Performance of Multilayer Neural Networks for Object Recognition. - Mostafa Dehghan, Anand Seetharam, Ting He, Theodoros Salonidis, Jim Kurose, Don Towsley:
Optimal Caching and Routing in Hybrid Networks. - Andrei Gagarin, Vadim E. Zverovich:
Bounds and algorithms for limited packings in graphs. - Bin Gao, Jiang Bian, Tie-Yan Liu:
WordRep: A Benchmark for Research on Learning Word Representations. - Athanasios Kehagias, Georgios Konstantinidis:
Cops and Robbers, Game Theory and Zermelo's Early Results. - Morteza Mardani, Georgios B. Giannakis:
Estimating Traffic and Anomaly Maps via Network Tomography. - Sumit Nain, Yoad Lustig, Moshe Y. Vardi:
Synthesis from Probabilistic Components. - Qing Cui, Bin Gao, Jiang Bian, Siyu Qiu, Tie-Yan Liu:
Learning Effective Word Embedding using Morphological Word Similarity. - Anup Bhattacharya, Davis Issac, Ragesh Jaiswal, Amit Kumar:
Sampling in Space Restricted Settings. - Masaaki Nagahara, Clyde F. Martin:
L1 Control Theoretic Smoothing Splines. - Henri Perret du Cray, Ignasi Sau:
Improved FPT algorithms for weighted independent set in bull-free graphs. - Touseef Yousuf Darzi, Aminuddin Zabi, Pallavi M:
An Approach for Controlling Faults in Wireless Sensor Networks Using Clustering. - Adam Kurpisz, Samuli Leppänen, Monaldo Mastrolilli:
On the Lasserre/Sum-of-Squares Hierarchy with Knapsack Covering Inequalities. - Xin-Ji Liu, Shu-Tao Xia:
Deterministic Construction of Binary Measurement Matrices with Flexible Sizes. - Senzhang Wang, Sihong Xie, Xiaoming Zhang, Zhoujun Li, Philip S. Yu, Xinyu Shu:
Future Influence Ranking of Scientific Literature. - Zemin Zhang, Gregory Ely, Shuchin Aeron, Ning Hao, Misha Elena Kilmer:
Novel methods for multilinear data completion and de-noising based on tensor-SVD. - Song Noh, Michael D. Zoltowski, David J. Love:
Training Sequence Design for Feedback Assisted Hybrid Beamforming in Massive MIMO Systems. - Raed Shatnawi, Qutaibah Althebyan, Baraq Ghalib, Mohammed Al-Maolegi:
Building A Smart Academic Advising System Using Association Rule Mining. - Bharath Hariharan, Pablo Arbeláez, Ross B. Girshick, Jitendra Malik:
Simultaneous Detection and Segmentation. - Sherif M. Abuelenin:
Decomposed Interval Type-2 Fuzzy Systems with Application to Inverted Pendulum. - Matthew C. Valenti, Salvatore Talarico, Peter Rost:
The Role of Computational Outage in Dense Cloud-Based Centralized Radio Access Networks. - Linda Farczadi, Konstantinos Georgiou, Jochen Könemann:
Stable marriage with general preferences. - Olivier Bodini, Antoine Genitrini, Frédéric Peschanski:
A Quantitative Study of Pure Parallel Processes. - Ahmed G. Helmy, Tamer Khattab, Mazen O. Hasna:
A Novel Spectrally-Efficient Scheme for Physical Layer Network Coding. - Ventsislav Chonev, Joël Ouaknine, James Worrell:
The Polyhedron-Hitting Problem. - Michael R. Smith, Logan Mitchell, Christophe G. Giraud-Carrier, Tony R. Martinez:
Recommending Learning Algorithms and Their Associated Hyperparameters. - Joël Ouaknine, João Sousa Pinto, James Worrell:
On Termination of Integer Linear Loops. - Bocong Chen, Hai Q. Dinh, Yun Fan, San Ling:
Polyadic Constacyclic Codes. - Seth Pettie:
Sensitivity Analysis of Minimum Spanning Trees in Sub-Inverse-Ackermann Time. - Athanasios Papadopoulos, László Czap, Christina Fragouli:
Secret message capacity of a line network. - Eli Fox-Epstein, Ryuhei Uehara:
The Convex Configurations of "Sei Shonagon Chie no Ita" and Other Dissection Puzzles. - Zeyuan Allen Zhu, Lorenzo Orecchia:
Using Optimization to Break the Epsilon Barrier: A Faster and Simpler Width-Independent Algorithm for Solving Positive Linear Programs in Parallel. - Thomas P. Hayes, Cristopher Moore:
Lower Bounds on the Critical Density in the Hard Disk Model via Optimized Metrics. - Shaileshh Bojja Venkatakrishnan, Pramod Viswanath:
Deterministic Near-Optimal P2P Streaming. - Adam Saulwick:
Lexpresso: a Controlled Natural Language. - Zhi Chen:
Fundamental Limits of Caching: Improved Bounds For Small Buffer Users. - Yanting Ma, Junan Zhu, Dror Baron:
Compressed Sensing via Universal Denoising and Approximate Message Passing. - Shang-Wei Lin, Laure Petrucci
:
Proceedings 2nd French Singaporean Workshop on Formal Methods and Applications, FSFMA 2014, Singapore, 13th May 2014. EPTCS 156, 2014 [contents] - Hilton Bristow, Simon Lucey:
Regression-Based Image Alignment for General Object Categories. - Fawaz Paraiso, Philippe Merle, Lionel Seinturier
:
soCloud: A service-oriented component-based PaaS for managing portability, provisioning, elasticity, and high availability across multiple clouds. - S. Rajaram, A. Babu Karuppiah, K. Vinoth Kumar:
Secure Routing Path Using Trust Values for Wireless Sensor Networks. - Jianjia Zhang, Lei Wang, Luping Zhou, Wanqing Li:
Learning Discriminative Stein Kernel for SPD Matrices and Its Applications. - Shanta Phani, Shibamouli Lahiri, Arindam Biswas:
Inter-Rater Agreement Study on Readability Assessment in Bengali. - (Withdrawn) Influence of ICTs on workforce productivity in Egyptian industrial organizations.
- Fabien Teytaud, Cyril Fonlupt:
A Critical Reassessment of Evolutionary Algorithms on the cryptanalysis of the simplified data encryption standard algorithm. - Paul Hunter:
Reachability in succinct one-counter games. - Simon Walk, Philipp Singer, Markus Strohmaier, Tania Tudorache, Mark A. Musen, Natalya Fridman Noy:
Discovering Beaten Paths in Collaborative Ontology-Engineering Projects using Markov Chains. - Kalyanee Kanchan Baruah, Pranjal Das, Abdul Hannan, Shikhar Kumar Sarma:
Assamese-English Bilingual Machine Translation. - Ali M. Alsahlany:
Performance Analysis of VOIP Traffic Over Integrating Wireless LAN and WAN Using Different Codecs. - Tolga Mataracioglu, Sevgi Özkan Yildirim:
Obstructions of Turkish Public Organizations Getting ISO/IEC 27001 Certified. - Steffen Wendzel, Wojciech Mazurczyk, Luca Caviglione, Michael Meier:
Hidden and Uncontrolled - On the Emergence of Network Steganographic Threats. - Long Yu, Hongwei Liu:
A class of $p$-ary cyclic codes and their weight enumerators. - Hadas Shachnai, Meirav Zehavi:
FPT Algorithms for Weighted Graphs Can be (Almost) as Efficient as for Unweighted. - Mamadou Moustapha Kanté, Vincent Limouzy, Arnaud Mary, Lhouari Nourine, Takeaki Uno:
A Polynomial Delay Algorithm for Enumerating Minimal Dominating Sets in Chordal Graphs. - Lutz Bornmann, Johann Bauer:
Which of the world's institutions employ the most highly cited researchers? An analysis of the data from highlycited.com. - Mohamed A. El-Zawawy, Adel I. AlSalem:
ImpNet: Programming Software-Defied Networks Using Imperative Techniques. - Mohamed H. Dridi:
Tracking Individual Targets in High Density Crowd Scenes Analysis of a Video Recording in Hajj 2009. - Mamadou Moustapha Kanté, Vincent Limouzy, Arnaud Mary, Lhouari Nourine:
On the Enumeration of Minimal Dominating Sets and Related Notions. - Michael Kerber, Sharath Raghvendra:
Approximation and Streaming Algorithms for Projective Clustering via Random Projections. - Carlo Novara, Simone Formentin:
Data-driven controller design for nonlinear systems: a two degrees of freedom architecture. - Mine Edes, Can C. Özturan, Türkan Haliloglu, Augustin Luna, Ruth Nussinov:
MIMTool: A Tool for Drawing Molecular Interaction Maps. - Tobias J. Brix, Jörg-Stefan Praßni, Klaus H. Hinrichs:
Visualization of Large Volumetric Multi-Channel Microscopy Data Streams on Standard PCs. - Kleanthis Thramboulidis:
A Cyber-Physical System-based Approach for Industrial Automation Systems. - Satish S. Bhairannawar, R. Rathan, K. B. Raja, K. R. Venugopal, Lalit M. Patnaik:
FPGA Based Efficient Multiplier for Image Processing Applications Using Recursive Error Free Mitchell Log Multiplier and KOM Architecture. - Dirk Zeckzer, Daniel Gerighausen, Lydia Steiner, Sonja J. Prohaska:
Analyzing Chromatin Using Tiled Binned Scatterplot Matrices. - Eric Wait, Mark R. Winter, Christopher Björnsson, Erzsebet Kokovay, Yue Wang, Susan Goderie, Sally Temple, Andrew R. Cohen:
Visualization and Correction of Automated Segmentation, Tracking and Lineaging from 5-D Stem Cell Image Sequences. - Günter Jäger, Alexander Peltzer, Kay Nieselt:
inPHAP: Interactive visualization of genotype and phased haplotype data. - Kasper Dinkla, Mohammed El-Kebir, Cristina-Iulia Bucur, Marco Siderius, Martine J. Smit, Michel A. Westenberg, Gunnar W. Klau:
eXamine: Exploring annotated modules in networks. - Marco Calautti, Sergio Greco, Francesca Spezzano, Irina Trubitsyna:
Checking Termination of Bottom-Up Evaluation of Logic Programs with Function Symbols. - Hao Ding, Chao Wang, Kun Huang, Raghu Machiraju:
iGPSe: A Visual Analytic System for Integrative Genomic Based Cancer Patient Stratification. - Artur Czumaj, Morteza Monemizadeh, Krzysztof Onak, Christian Sohler:
Planar Graphs: Random Walks and Bipartiteness Testing. - William C. Ray, Samuel L. Wolock, Nicholas W. Callahan, Min Dong, Qingshun Quinn Li, Chun Liang, Thomas J. Magliery, Christopher W. Bartlett:
Addressing the unmet need for visualizing Conditional Random Fields in Biological Data. - Justin Feigelman, Fabian J. Theis, Carsten Marr:
MCA: Multiresolution Correlation Analysis, a graphical tool for subpopulation identification in single-cell gene expression data. - Andy Taylor, Kenneth McLeod, Chris Armit, Richard A. Baldock, Albert Burger:
Visualization of gene expression information within the context of the mouse anatomy. - (Withdrawn) Noisy Distance Measurements Using 3-D Localization with Rb-Rf Methods.
- Robert Bredereck, Jiehua Chen, Piotr Faliszewski, Jiong Guo, Rolf Niedermeier, Gerhard J. Woeginger:
Parameterized Algorithmics for Computational Social Choice: Nine Research Challenges. - James Smith:
Gender Prediction in Social Media. - Maciej Gazda, Tim A. C. Willemse:
Strategy Derivation for Small Progress Measures. - Kasper Green Larsen, Jelani Nelson, Huy L. Nguyen:
Time lower bounds for nonadaptive turnstile streaming algorithms. - Christoph Scholz, Martin Atzmueller, Gerd Stumme:
Link Prediction and the Role of Stronger Ties in Networks of Face-to-Face Proximity. - Emmanuel Dreyfus:
TLS hardening. - Cyril Voyant
, Wani W. Tamas, Marie-Laure Nivet, Gilles Notton
, Christophe Paoli
, Aurélia Balu, Marc Muselli:
Meteorological time series forecasting with pruned multi-layer perceptron and 2-stage Levenberg-Marquardt method. - Giorgos Tolias, Teddy Furon, Hervé Jégou:
Orientation covariant aggregation of local descriptors with embeddings. - Zeyuan Allen Zhu, Rati Gelashvili, Ilya P. Razenshteyn:
The Restricted Isometry Property for the General p-Norms. - Shahid Alam:
Is Fortran Still Relevant? Comparing Fortran with Java and C++. - Geordie George, Ratheesh Kumar Mungara, Angel E. Lozano:
An Analytical Framework for Device-to-Device Communication in Cellular Networks. - Sanil Shanker KP, Aaron Turner, Elizabeth Sherly, Jim Austin:
Sequential Data Mining using Correlation Matrix Memory. - Atul Singh Kushwah, Priya Rathore, Ramsewak Kumar:
Performance Estimation of 2*4 MIMO-MC-CDMA Using Convolution Code in Different Modulation Technique using ZF Detection Scheme. - Zeynep Ödemis Özger, Bahattin Yildiz, Steven T. Dougherty:
On Codes Over $\mathbb{Z}_{p^{s}}$ with the Extended Lee Weight. - Ibtissam Larbi, Badr Benmammar:
Négociation de spectre dans les réseaux de radio cognitive. - Graham Cormode, Qiang Ma, S. Muthukrishnan, Brian Thompson:
Modeling Collaboration in Academia: A Game Theoretic Approach. - Laurent S. R. Simon, Florian Nouviale, Ronan Gaugne
, Valérie Gouranton:
Sonic interaction with a virtual orchestra of factory machinery. - Arun Kumar A, Ninan Sajeeth Philip, Vincent J. Samar, James A. Desjardins, Sidney J. Segalowitz:
A Wavelet Based Algorithm for the Identification of Oscillatory Event-Related Potential Components. - Cosmin Safta, Richard L. Chen, Habib N. Najm, Ali Pinar, Jean-Paul Watson:
Toward Using Surrogates to Accelerate Solution of Stochastic Electricity Grid Operations Problems. - Sanil Shanker KP, Elizabeth Sherly, Jim Austin:
An Algorithm for Alignment-free Sequence Comparison using Logical Match. - Kimon Drakopoulos, Asuman E. Ozdaglar, John N. Tsitsiklis:
An efficient curing policy for epidemics on graphs. - Ryan H. Lewis, Afra Zomorodian:
Multicore Homology via Mayer Vietoris. - Gösta Grahne, Adrian Onet:
The data-exchange chase under the microscope. - Chao Wang, Qing Zhao, Chen-Nee Chuah:
Group Testing under Sum Observations for Heavy Hitter Detection. - Tao Zhao, Jian Wu, Sheng Zhou, Zhisheng Niu:
Energy-Delay Tradeoffs of Virtual Base Stations With a Computational-Resource-Aware Energy Consumption Model. - Mathias Lécuyer, Guillaume Ducoffe, Francis Lan, Andrei Papancea, Theofilos Petsios, Riley Spahn, Augustin Chaintreau, Roxana Geambasu:
XRay: Enhancing the Web's Transparency with Differential Correlation. - Russel Pears, Jacqui Finlay, Andy M. Connor:
Synthetic Minority Over-sampling TEchnique(SMOTE) for Predicting Software Build Outcomes. - Hong Zhang, Adrian Sandu, Sébastien Blaise:
High Order Implicit-Explicit General Linear Methods with Optimized Stability Regions. - Kunal Narayan Chaudhury:
PatchLift: Fast and Exact Computation of Patch Distances using Lifting, with Applications to Non-Local Means. - Markus V. S. Lima, Wallace Alves Martins, Leonardo O. Nunes, Luiz W. P. Biscainho, Tadeu N. Ferreira, Maurício do Vale Madeira da Costa, Bowon Lee:
Efficient Steered-Response Power Methods for Sound Source Localization Using Microphone Arrays. - Xiaoming Chen, Xiumin Wang:
Statistical Precoder Design for Space-Time-Frequency Block Codes in Multiuser MISO-MC-CDMA Systems. - Minal Lopes, Nisha Sarwade:
Cryptography from Quantum mechanical viewpoint. - Mayank Chakraverty:
A Compact Model of Silicon-Based Nanowire Field Effect Transistor for Circuit Simulation and Design. - Masaaki Nagahara, Daniel E. Quevedo, Dragan Nesic:
Hands-Off Control as Green Control. - Narges Zeinolabedin, Soroush Afiati Mehrvarz, Neda Rahbar:
How COBIT Can Complement ITIL TO Achieve BIT. - S. R. M. Prasanna, Rituparna Devi, Deepjoy Das, Subhankar Ghosh, R. Krishna Naik:
Online Stroke and Akshara Recognition GUI in Assamese Language Using Hidden Markov Model. - Vaia Kalokidou, Oliver Johnson
, Robert J. Piechocki
:
Blind Interference Alignment in General Heterogeneous Networks. - Kazushi Takemoto, Takahiro Matsuda, Shinsuke Hara, Kenichi Takizawa, Fumie Ono, Ryu Miura:
Multi-Dimensional Wireless Tomography with Tensor-Based Compressed Sensing. - (Withdrawn) Device-free Localization using Received Signal Strength Measurements in Radio Frequency Network.
- Filip Pavetic, Goran Zuzic, Mile Sikic:
$LCSk$++: Practical similarity metric for long strings. - Monali Gulhane, P. S. Mohod:
Intelligent Fatigue Detection and Automatic Vehicle Control System. - Masaaki Nagahara, Yutaka Yamamoto:
FIR Digital Filter Design by Sampled-Data H-infinity Discretization. - Silas L. Fong, Vincent Y. F. Tan:
Strong Converse Theorems for Classes of Multimessage Multicast Networks: A Rényi Divergence Approach. - Ashish Kumar Luhach, Sanjay K. Dwivedi, C. K. Jha:
Designing and implementing the logical security framework for e-commerce based on service oriented architecture. - Ashish Kumar Luhach, Sanjay K. Dwivedi, C. K. Jha:
Desiging a logical security framework for e-commerce system based on soa. - Peter Foster, Simon Dixon, Anssi Klapuri:
Identifying Cover Songs Using Information-Theoretic Measures of Similarity. - Ali Alowayr, Atta Badii:
Review of monitoring tools for e-learning platforms. - Pietro Codara, Ottavio M. D'Antona, Marco Genuzio:
Eulerian digraphs and Dyck words, a bijection. - Zhiyi Huang, Yishay Mansour, Tim Roughgarden:
Making the Most of Your Samples. - Arkadii G. D'yachkov, Ilya Vorobyev, N. A. Polyanskii, Vladislav Yu. Shchukin:
Almost Disjunctive List-Decoding Codes. - Maria Chudnovsky, Peter Maceli, Juraj Stacho, Mingxian Zhong:
4-coloring $P_6$-free graphs with no induced 5-cycles. - Zai Yang, Lihua Xie:
On Gridless Sparse Methods for Line Spectral Estimation From Complete and Incomplete Data. - Ming Xu, Jianping Wu, Yiman Du, Haohan Wang, Geqi Qi, Kezhen Hu, Yunpeng Xiao:
Discovery of Important Crossroads in Road Network using Massive Taxi Trajectories. - Ronan Le Bras, Carla P. Gomes, Bart Selman:
On the Erdos Discrepancy Problem. - Dariusz Dereniowski, Adrian Kosowski, Dominik Pajak:
Distinguishing Views in Symmetric Networks: A Tight Lower Bound. - Lionel Tabourier, Anne-Sophie Libert, Renaud Lambiotte:
RankMerging: Learning-to-rank in large-scale social networks (extended version). - Richard J. Barton:
Improved Estimation of the Spectral Efficiency Versus Energy-Per-Bit Tradeoff in the Wideband Regime. - Erin Wolf Chambers, David Letscher:
Persistent Homology Over Directed Acyclic Graphs. - Alantha Newman:
An improved analysis of the Mömke-Svensson algorithm for graph-TSP on subquartic graphs. - Antonio Lima, Luca Rossi, Mirco Musolesi:
Coding Together at Scale: GitHub as a Collaborative Social Network. - Johannes Blümlein, Abilio De Freitas, Carsten Schneider
:
Recent Symbolic Summation Methods to Solve Coupled Systems of Differential and Difference Equations. - Liang-Chieh Chen, Alexander G. Schwing, Alan L. Yuille, Raquel Urtasun:
Learning Deep Structured Models. - Jacqui Finlay, Andy M. Connor, Russel Pears:
Mining Software Metrics from Jazz. - Justin P. Coon:
A Theorem on the Asymptotic Outage Behavior of Fixed-Gain Amplify-and-Forward Relay Systems. - Josep M. Porta, Léonard Jaillet:
Sampling Strategies for Path Planning under Kinematic Constraints. - Luca Becchetti, Andrea Clementi, Emanuele Natale, Francesco Pasquale, Riccardo Silvestri:
Plurality Consensus in the Gossip Model. - Jerry Li, John Peebles:
Replacing Mark Bits with Randomness in Fibonacci Heaps. - (Withdrawn) Classifiers fusion method to recognize handwritten persian numerals.
- Ali Pourmiri:
Balanced Allocation on Graphs: A Random Walk Approach. - Yash Kanoria, Daniela Sabán, Jay Sethuraman:
The size of the core in assignment markets. - Rumi Ghosh, Kristina Lerman:
The Impact of Network Flows on Community Formation in Models of Opinion Dynamics. - Dan Nguyen, Le-Nam Tran, Pekka Pirinen, Matti Latva-aho:
On the Spectral Efficiency of Full-Duplex Small Cell Wireless Systems. - Awais Mansoor, Valery Patsekin, Dale Scherl, J. Paul Robinson, Bartlomiej Rajwa:
A Statistical Modeling Approach to Computer-Aided Quantification of Dental Biofilm. - Ashok K. Krishnamurthy, Siddharth Samsi, Vijay Gadepally:
Parallel MATLAB Techniques. - Sampath Kannan, Jamie Morgenstern, Aaron Roth, Zhiwei Steven Wu:
Approximately Stable, School Optimal, and Student-Truthful Many-to-One Matchings (via Differential Privacy). - Sampath Kannan, Jamie Morgenstern, Ryan M. Rogers, Aaron Roth:
Private Pareto Optimal Exchange. - Yura N. Perov, Frank D. Wood:
Learning Probabilistic Programs. - Alican Bozkurt, Pinar Duygulu, A. Enis Çetin:
Classifying Fonts and Calligraphy Styles Using Complex Wavelet Transform. - Chicheng Zhang, Kamalika Chaudhuri:
Beyond Disagreement-based Agnostic Active Learning. - Amos Beimel, Kobbi Nissim, Uri Stemmer:
Learning Privately with Labeled and Unlabeled Examples. - Amos Beimel, Kobbi Nissim, Uri Stemmer:
Private Learning and Sanitization: Pure vs. Approximate Differential Privacy. - Jiaxing Shang, Lianchen Liu, Feng Xie, Zhen Chen, Jiajia Miao, Xuelin Fang, Cheng Wu:
A Real-Time Detecting Algorithm for Tracking Community Structure of Dynamic Networks. - Pooja Gupta, Nisheeth Joshi, Iti Mathur:
Quality Estimation Of Machine Translation Outputs Through Stemming. - Aaron J. Defazio, Tibério S. Caetano:
A Convex Formulation for Learning Scale-Free Networks via Submodular Relaxation. - Ghazali Bin Sulong, Anwar Yahy Ebrahim, Muhammed Jehanzeb:
Offline handwritten signature identification using adaptive window positioning techniques. - Yongrui Qin, Quan Z. Sheng, Nickolas J. G. Falkner, Schahram Dustdar, Hua Wang, Athanasios V. Vasilakos:
When Things Matter: A Data-Centric View of the Internet of Things. - Badr Benmammar, Asma Amraoui:
Réseaux de radio cognitive : Allocation des ressources radio et accès dynamique au spectre. - Aaron J. Defazio, Tibério S. Caetano, Justin Domke:
Finito: A Faster, Permutable Incremental Gradient Method for Big Data Problems. - Olabenjo Babatunde, Omar Al-Debagy
:
A Comparative Review Of Internet Protocol Version 4 (IPv4) and Internet Protocol Version 6 (IPv6). - Björn Barz, Erik Rodner, Joachim Denzler:
ARTOS - Adaptive Real-Time Object Detection System. - Jan Vrsek, Miroslav Lávicka:
Determining surfaces of revolution from their implicit equations. - Manisha Rana, Rohit Tanwar:
Genetic Algorithm in Audio Steganography. - (Withdrawn) Improved Results on Integral and Zero-correlation Linear Cryptanalysis of the Block Cipher MIBS.
- Ramasubramanian Sundararajan, Hima Patel, Manisha Srivastava:
A multi-instance learning algorithm based on a stacked ensemble of lazy learners. - Sohail Abid, Imran Shafi, Shahid Abid:
Improving energy efficiency in MANET's for healthcare environments. - Yunquan Dong, Zhi Chen, Pingyi Fan, Khaled Ben Letaief:
Mobility-Aware Interference Model for 5G Heterogeneous Networks. - Vitaly Feldman, Will Perkins, Santosh S. Vempala:
Subsampled Power Iteration: a New Algorithm for Block Models and Planted CSP's. - Seyed-Mahdi Khaligh-Razavi:
What you need to know about the state-of-the-art computational models of object-vision: A tour through the models. - Ruoyu Sun, Mingyi Hong, Zhi-Quan Luo:
Joint Downlink Base Station Association and Power Control for Max-Min Fairness: Computation and Complexity. - Jay Jay Billings, Jordan H. Deyton, S. Forest Hull, Eric J. Lingerfelt, Anna Wojtowicz:
A domain-specific analysis system for examining nuclear reactor simulation data for light-water and sodium-cooled fast reactors. - Alexandre Benoît, Mioara Joldes, Marc Mezzarobba:
Rigorous uniform approximation of D-finite functions using Chebyshev expansions. - Jérémie Mary, Romaric Gaudel, Philippe Preux:
Bandits Warm-up Cold Recommender Systems. - Allan Oliveira, Regina Borges de Araujo:
A human centered perspective of E-maintenance. - Alberto Martín-Martín
, Juan Manuel Ayllon, Enrique Orduña-Malea, Emilio Delgado López-Cózar:
Google Scholar Metrics 2014: a low cost bibliometric tool. - Emilio Ferrara, Pasquale De Meo, Salvatore Catanese, Giacomo Fiumara:
Visualizing criminal networks reconstructed from mobile phone records. - Satoru Iwata, Alantha Newman, R. Ravi:
Graph-TSP from Steiner Cycles. - Santa Agreste, Pasquale De Meo, Emilio Ferrara, Domenico Ursino:
XML Matchers: approaches and challenges. - Matthew J. Denny:
Graph Compartmentalization. - Avrim Blum, Yishay Mansour, Jamie Morgenstern:
Learning Valuation Distributions from Partial Observation. - Francesco Malandrino, Claudio Casetti, Carla-Fabiana Chiasserini, Siyuan Zhou:
Real-Time Scheduling for Content Broadcasting in LTE. - Sergey B. Kulikov:
Possibilities of technologization of philosophical knowledge. - William Casey, Aaron Shelmire:
Signature Limits: An Entire Map of Clone Features and their Discovery in Nearly Linear Time. - Ayush Singhal, Atanu Roy, Jaideep Srivastava:
Understanding Co-evolution in Large Multi-relational Social Networks. - Charalampos S. Kouzinopoulos, John-Alexander M. Assael, Themistoklis K. Pyrgiotis, Konstantinos G. Margaritis:
A Hybrid Parallel Implementation of the Aho-Corasick and Wu-Manber Algorithms Using NVIDIA CUDA and MPI Evaluated on a Biological Sequence Database. - Michael Klug, James P. Bagrow
:
Understanding the group dynamics and success of teams. - Yanbo Li, Zakary Littlefield, Kostas E. Bekris:
Asymptotically Optimal Sampling-based Kinodynamic Planning. - Gabriela Montoya, Hala Skaf-Molli, Pascal Molli, Maria-Esther Vidal:
Fedra: Query Processing for SPARQL Federations with Divergence. - Jed Brown, Matthew G. Knepley, Barry F. Smith:
Run-time extensibility and librarization of simulation software. - Mayank Goswami, Allan Grønlund Jørgensen, Kasper Green Larsen, Rasmus Pagh:
Approximate Range Emptiness in Constant Time and Optimal Space. - Georg Gottlob, Enrico Malizia
:
Achieving New Upper Bounds for the Hypergraph Duality Problem through Logic. - Gitimoni Talukdar, Pranjal Protim Borah, Arup Baruah:
A Survey of Named Entity Recognition in Assamese and other Indian Languages. - Weike Pan:
Collaborative Recommendation with Auxiliary Data: A Transfer Learning View. - Gabi Sarkis, Pascal Giard, Alexander Vardy, Claude Thibeault, Warren J. Gross:
Increasing the Speed of Polar List Decoders. - Stelian Ion, Dorin Marinescu, Stefan-Gicu Cruceanu, Virgil Iordache:
A data porting tool for coupling models with different discretization needs. - Radu Curticapean, Dániel Marx:
Complexity of counting subgraphs: only the boundedness of the vertex-cover number counts. - Lutz Bornmann:
h-index Research in Scientometrics: A Summary. - Youness Aliyari Ghassabeh:
On the Convergence of the Mean Shift Algorithm in the One-Dimensional Space. - Mohamed Khalil, Tamer Khattab, Amr El-Keyi, Mohammed Nafie:
The asymmetric DoF Region for the 3-user MxN Interference Channel. - Eren Golge, Pinar Duygulu:
FAME: Face Association through Model Evolution. - Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, César Kunz, Pierre-Yves Strub:
Proving differential privacy in Hoare logic. - A. J. P. Manoj Prasad Jayaweera, Naomal G. J. Dias:
Hidden Markov Model Based Part of Speech Tagger for Sinhala Language. - Hessam Mahdavifar, Mostafa El-Khamy, Jungwon Lee, Inyup Kang:
Achieving the Uniform Rate Region of General Multiple Access Channels by Polar Coding. - Sanjiv Kapoor, Junghwan Shin:
Price of Anarchy with Heterogeneous Latency Functions. - Paul A. Szerlip, Kenneth O. Stanley:
A Proposed Infrastructure for Adding Online Interaction to Any Evolutionary Domain. - Artur Czumaj, Michail Fasoulakis, Marcin Jurdzinski:
Approximate well-supported Nash equilibria in symmetric bimatrix games. - Mehran Zareh, Dimos V. Dimarogonas, Mauro Franceschelli, Karl Henrik Johansson, Carla Seatzu:
Consensus in multi-agent systems with second-order dynamics and non-periodic sampled-data exchange. - Claire Mathieu, Carl Staelin, Neal E. Young:
K-Slot SSTable Stack Compaction. - Neal E. Young:
Nearly Linear-Time Approximation Schemes for Mixed Packing/Covering and Facility-Location Linear Programs. - Zheng Zhang, Xiu Yang, Ivan V. Oseledets, George E. Karniadakis, Luca Daniel:
Enabling High-Dimensional Hierarchical Uncertainty Quantification by ANOVA and Tensor-Train Decomposition. - Ramasubramanian Sundararajan, Hima Patel, Dattesh Shanbhag, Vivek Vaidya:
An SVM Based Approach for Cardiac View Planning. - Loukas Georgiadis, Giuseppe F. Italiano, Luigi Laura, Nikos Parotsidis:
2-Edge Connectivity in Directed Graphs. - Jakob Blomer, Dario Berzano, Predrag Buncic, Ioannis Charalampidis, Gerardo Ganis, Georgios Lestaris, René Meusel:
The Need for a Versioned Data Analysis Software Environment. - Zhenqi Lu, Rendong Ying, Sumxin Jiang, Zenghui Zhang, Peilin Liu, Wenxian Yu:
Distributed Compressed Sensing off the Grid. - Marijn F. Stollenga, Jonathan Masci, Faustino J. Gomez, Jürgen Schmidhuber:
Deep Networks with Internal Selective Attention through Feedback Connections. - Yourim Yoon, Yong-Hyuk Kim:
Charge Scheduling of an Energy Storage System under Time-of-use Pricing and a Demand Charge. - Rawad Abou Assi, Fadi A. Zaraket, Wes Masri:
UCov: a User-Defined Coverage Criterion for Test Case Intent Verification. - Jeroen J. A. Keiren:
Benchmarks for Parity Games. - Maximilian Drees, Sören Riechers, Alexander Skopalik:
Budget-restricted utility games with ordered strategic decisions. - Andrzej Cichocki:
Tensor Networks for Big Data Analytics and Large-Scale Optimization Problems. - Agnieszka Kulacka:
A tableau for set-satisfiability for extended fuzzy logic BL. - Toby Walsh:
Allocation in Practice. - Matteo Ceccarello, Andrea Pietracaprina, Geppino Pucci, Eli Upfal:
Parallel Graph Decomposition and Diameter Approximation in o(Diameter) Time and Linear Space. - Shawn M. Waldon, Peter M. Thompson, Patrick J. Hahn, Russell M. Taylor II:
SketchBio: A Scientist's 3D Interface for Molecular Modeling and Animation. - Marc Hellmuth, Tilen Marc, Lydia Ostermeier, Peter F. Stadler:
The Relaxed Square Property. - Andreas Krebs, Oleg Verbitsky:
Universal covers, color refinement, and two-variable logic with counting quantifiers: Lower bounds for the depth. - Awais Mansoor, Ulas Bagci, Brent Foster, Ziyue Xu, Deborah Douglas, Jeffrey M. Solomon, Jayaram K. Udupa, Daniel J. Mollura:
CIDI-Lung-Seg: A Single-Click Annotation Tool for Automatic Delineation of Lungs from CT Scans. - Tingyao Xiong, Jonathan I. Hall:
Modifications on Character Sequences and Construction of Large Even Length Binary Sequences. - Awais Mansoor, Ulas Bagci, Daniel J. Mollura:
Near-optimal Keypoint Sampling for Fast Pathological Lung Segmentation. - Lukas Einkemmer:
A modern resistive magnetohydrodynamics solver using C++ and the Boost library. - Rebecca C. Steorts, Samuel L. Ventura, Mauricio Sadinle, Stephen E. Fienberg:
A Comparison of Blocking Methods for Record Linkage. - Awais Mansoor, Ulas Bagci, Daniel J. Mollura:
Optimally Stabilized PET Image Denoising Using Trilateral Filtering. - Jérémie Chalopin, Shantanu Das, Pawel Gawrychowski, Adrian Kosowski, Arnaud Labourel, Przemyslaw Uznanski:
Lock-in Problem for Parallel Rotor-router Walks. - Brian E. Ruttenberg, Avi Pfeffer:
Decision-Making with Complex Data Structures using Probabilistic Programming. - Faruk Karaaslan:
Possibility neutrosophic soft sets with applications in decision making and similarity measure. - Damien Pous:
Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests. - Yi Shen, Bin Han, Elena Braverman:
Image Inpainting Using Directional Tensor Product Complex Tight Framelets. - Daniel McCormack:
Boolean Algebraic Programs as a Methodology for Symbolically Demonstrating Lower and Upper Bounds of Algorithms and Determinism. - Marcello La Rocca:
Density Adaptive Parallel Clustering. - Haris Aziz, Serge Gaspers, Joachim Gudmundsson, Simon Mackenzie, Nicholas Mattei, Toby Walsh:
Computational Aspects of Multi-Winner Approval Voting. - Brice Boyer, Jean-Guillaume Dumas
, Pascal Giorgi, Clément Pernet, B. David Saunders:
Elements of Design for Containers and Solutions in the LinBox Library. - Hyung-Chan An, Mohit Singh, Ola Svensson:
LP-Based Algorithms for Capacitated Facility Location. - (Withdrawn) Analysis and Approximation of Dual Tandem Queues with Finite Buffer Capacity.
- Michael Schreiber:
Examples for counterintuitive behavior of the new citation-rank indicator P100 for bibliometric evaluations. - Guanjiao Ren, Weihai Chen, Sakyasingha Dasgupta, Christoph Kolodziejski, Florentin Wörgötter, Poramate Manoonpong:
Multiple chaotic central pattern generators with learning for legged locomotion and malfunction compensation. - Srikanth Sastry, Josef Widder:
Solvability-Based Comparison of Failure Detectors. - Aris L. Moustakas, Luca Sanguinetti, Mérouane Debbah:
Effects of Mobility on User Energy Consumption and Total Throughput in a Massive MIMO System. - Marcus Hutter:
Offline to Online Conversion. - Yuanshi Zheng, Jingying Ma, Long Wang:
Consensus of switched multi-agent systems. - Kshipra Bhawalkar, Patrick Hummel, Sergei Vassilvitskii:
Value of Targeting. - Hsien-Chih Chang, Jeff Erickson, Chao Xu:
Detecting Weakly Simple Polygons. - Marcus Hutter:
Extreme State Aggregation Beyond MDPs. - Amr Elmasry, Daniel Dahl Juhl, Jyrki Katajainen, Srinivasa Rao Satti:
Selection from read-only memory with limited workspace. - Ajay Kumar Thakur, Biswajit Banik, Pankaj Kumar Pant, Dhanashree Sankini, Dipesh Walia, Renuka Milkoori:
Case Study Of GIPSY and MARF. - David Harvey, Joris van der Hoeven
, Grégoire Lecerf:
Even faster integer multiplication. - David Harvey, Joris van der Hoeven
, Grégoire Lecerf:
Faster polynomial multiplication over finite fields. - Sankalp Bagaria:
Authenticating Transactions using Bank-Verified Biometrics. - Yuhan Jia, Jianping Wu, Yiman Du, Geqi Qi:
Car-following model on two lanes and stability analysis. - Yuhan Jia, Jianping Wu, Yiman Du:
An improved car-following model considering variable safety headway distance. - Stefan Edelkamp, Jyrki Katajainen, Amr Elmasry:
Strengthened Lazy Heaps: Surpassing the Lower Bounds for Binary Heaps. - Joris van der Hoeven, Grégoire Lecerf, Guillaume Quintin:
Modular SIMD arithmetic in Mathemagix. - Sadegh Aliakbary, Jafar Habibi, Ali Movaghar:
Feature Extraction from Degree Distribution for Comparison and Analysis of Complex Networks. - Khaled Sellami, Mohamed Ahmed-Nacer, Pierre F. Tiako:
From Social Network to Semantic Social Network in Recommender System. - D. Govind, Anju Susan Biju, Aguthu Smily:
Speech Polarity Detection Using Hilbert Phase Information. - Xianjie Chen, Alan L. Yuille:
Articulated Pose Estimation by a Graphical Model with Image Dependent Pairwise Relations. - Gianluigi Bellin:
Categorical Proof Theory of Co-Intuitionistic Linear Logic. - Yongxin Chen, Tryphon T. Georgiou:
Stochastic bridges of linear systems. - Hubie Chen:
The Tractability Frontier of Graph-Like First-Order Query Sets. - Abhishek Bhowmick, Shachar Lovett:
List decoding Reed-Muller codes over small fields. - Yalew Zelalem Jembre, Young-June Choi:
Enhanced Out-of-Band Sensing Algorithm for Cognitive Radio Networks. - Yun Liao, Tianyu Wang, Lingyang Song, Zhu Han:
Listen-and-Talk: Full-duplex Cognitive Radio Networks. - Justin Thaler:
Semi-Streaming Algorithms for Annotated Graph Streams. - Daniel Eiwen, Georg Tauboeck, Franz Hlawatsch, Hans Georg Feichtinger:
Multichannel group sparsity methods for compressive channel estimation in doubly selective multicarrier MIMO systems. - Klaus Weihrauch, Nazanin Roshandel Tavana
:
Representations of measurable sets in computable measure theory. - Grigori Fursin:
Collective Tuning Initiative. - Swagato Sanyal:
Sub-linear Upper Bounds on Fourier dimension of Boolean Functions in terms of Fourier sparsity. - Antoine Cully
, Jeff Clune, Jean-Baptiste Mouret:
Robots that can adapt like natural animals. - Mirela Damian, Dumitru V. Voicu:
Spanning Properties of Theta-Theta Graphs. - Radhakrishnan Delhibabu, Andreas Behrend:
A New Rational Algorithm for View Updating in Relational Databases. - Ketan Savla, Giacomo Como, Munther A. Dahleh:
Robust Network Routing under Cascading Failures. - Timothy Bourke, Rob J. van Glabbeek, Peter Höfner:
Showing invariance compositionally for a process algebra for network protocols. - Arif Mahmood, Ajmal S. Mian, Robyn A. Owens:
Optimizing Auto-correlation for Fast Target Search in Large Search Space. - Vasileios Ntranos, Mohammad Ali Maddah-Ali, Giuseppe Caire:
On Uplink-Downlink Duality for Cellular IA. - Tarek El-Gaaly, Joshua Gluckman:
Measuring Atmospheric Scattering from Digital Images of Urban Scenery using Temporal Polarization-Based Vision. - Shuotian Bai, Rui Gao, Bibo Hao, Sha Yuan, Tingshao Zhu:
Identifying Social Satisfaction from Social Media. - Navid Hamed Azimi, Himanshu Gupta:
Optimal Spectrum Management in Two-User Interference Channels. - Juan Benet:
IPFS - Content Addressed, Versioned, P2P File System. - Yuanqing Ye, Xin Huang, Ting Wen, Jiaqing Huang, Alfred Uwitonze:
Performance Comparison between Network Coding in Space and Routing in Space. - V. P. Binu, A. Sreekumar:
Generalized Secret Sharing using Permutation Ordered Binary System. - Sabina Sisovic, Sanda Martincic-Ipsic, Ana Mestrovic:
Toward Network-based Keyword Extraction from Multitopic Web Documents. - Amir Ban, Nati Linial:
Market Share Indicates Quality. - Zbigniew Lipinski:
Stability of routing strategies for the maximum lifetime problem in ad-hoc wireless networks. - Mahdi Mahmoodi, Gelayol Safavi Jahromi:
A New Fuzzy DEMATEL-TODIM Hybrid Method for evaluation criteria of Knowledge management in supply chain. - Charan Kumar, Dinesh Kumar, Arun Kumar Reddy:
Concrete Attribute-Based Encryption Scheme with Verifiable Outsourced Decryption. - Christian Neuwirth, Angela Peck, Slobodan P. Simonovic:
Modeling structural change in spatial system dynamics: A Daisyworld example. - Mohammed M. Abdelsamea:
An Enhancement Neighborhood connected Segmentation for 2D-Cellular Image. - (Withdrawn) Enhanced EZW Technique for Compression of Image by Setting Detail Retaining Pass Number.
- Archana Vijayan, Vincy Salam:
A New Approach for Super resolution by Using Web Images and FFT Based Image Registration. - Klaus Weihrauch, Tahereh Jafarikhah:
Computable Jordan Decomposition of Linear Continuous Functionals on $C[0;1]$. - Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach:
Regression-free Synthesis for Concurrency. - Anthony J. Bagnall, Jon Hills, Jason Lines:
Finding Motif Sets in Time Series. - Alejandro González, Sebastian Ramos, David Vázquez, Antonio M. López, Jaume Amores:
Spatiotemporal Stacked Sequential Learning for Pedestrian Detection. - Paul D. Shaw, Martin Graham, Jessie B. Kennedy, Iain Milne, David F. Marshall:
Helium: Visualization of Large Scale Plant Pedigrees. - Isidora Stankovic:
Recovery of Images with Missing Pixels using a Gradient Compressive Sensing Algorithm. - Paolo Di Lorenzo:
Diffusion Adaptation Strategies for Distributed Estimation over Gaussian Markov Random Fields. - Joe Durante, Tyler Whitehouse, Francisco G. Serpa, Artjay Javier:
Expertise localization discovered through correlation of key term distribution and community detection in co-author networks. - Mauro Barni, Benedetta Tondi:
Source Distinguishability under Distortion-Limited Attack: an Optimal Transport Perspective. - Mohammadreza Malek-Mohammadi, Massoud Babaie-Zadeh, Mikael Skoglund:
Performance Guarantees for Schatten-$p$ Quasi-Norm Minimization in Recovery of Low-Rank Matrices. - Edo Liberty, Michael Mitzenmacher, Justin Thaler:
Space Lower Bounds for Itemset Frequency Sketches. - Sutanay Choudhury, Lawrence B. Holder, George Chin Jr., Patrick Mackey, Khushbu Agarwal, John Feo:
Query Optimization for Dynamic Graphs. - Sutanay Choudhury, Chase Dowling:
Benchmarking Named Entity Disambiguation approaches for Streaming Graphs. - Ivan Kolesár, Július Parulek, Ivan Viola, Stefan Bruckner, Anne-Kristin Stavrum, Helwig Hauser:
Illustrating Polymerization using Three-level Model Fusion. - Axel Wismüller, Xixi Wang, Adora M. DSouza, Mahesh B. Nagarajan:
A Framework for Exploring Non-Linear Functional Connectivity and Causality in the Human Brain: Mutual Connectivity Analysis (MCA) of Resting-State Functional MRI with Convergent Cross-Mapping and Non-Metric Clustering. - Bofin Babu, Mohan Kumar:
FilterPlus: A real-time content filtering extension for Google Chrome. - Irene-Anna Diakidoy, Antonis C. Kakas, Loizos Michael, Rob Miller:
Non-Monotonic Reasoning and Story Comprehension. - David Toth:
Imparo is complete by inverse subsumption. - Lee-Kang Liu, Stanley H. Chan, Truong Q. Nguyen:
Sparse Reconstruction of Depth Data: Representation, Algorithm, and Sampling. - Ritesh Kolte, Ayfer Özgür, Abbas El Gamal:
Capacity Approximations for Gaussian Relay Networks. - Jeff Bezanson, Jiahao Chen, Stefan Karpinski, Viral B. Shah, Alan Edelman:
Array operators using multiple dispatch: a design methodology for array implementations in dynamic languages. - Stephan Günnemann, Hardy Kremer, Matthias Hannen, Thomas Seidl:
KDD-SC: Subspace Clustering Extensions for Knowledge Discovery Frameworks. - Liang Liu, Suzhi Bi, Rui Zhang:
Joint Power Control and Fronthaul Rate Allocation for Throughput Maximization in Broadband Cloud Radio Access Network. - Takeaki Uno:
A New Approach to Efficient Enumeration by Push-out Amortization. - Jeremy Kepner, Christian Anderson, William Arcand, David Bestor, Bill Bergeron, Chansup Byun, Matthew Hubbell, Peter Michaleas, Julie Mullen, B. David O'Gwynn, Andrew Prout, Albert Reuther, Antonio Rosa, Charles Yee:
D4M 2.0 Schema: A General Purpose High Performance Schema for the Accumulo Database. - Chunliang Yang:
An Enhanced Leakage-Based Precoding Scheme for Multi-User Multi-Layer MIMO Systems. - Ning Zhang, Jeff Donahue, Ross B. Girshick, Trevor Darrell:
Part-based R-CNNs for Fine-grained Category Detection. - Harshadkumar B. Prajapati, Vipul A. Shah:
Scheduling in Grid Computing Environment. - Harshadkumar B. Prajapati, Vipul A. Shah:
Experimental Study of Remote Job Submission and Execution on LRM through Grid Computing Mechanisms. - Gilles Feld, Laurent Fribourg, Denis Labrousse, Bertrand Revol
, Romain Soulat:
Correct-by-design Control Synthesis for Multilevel Converters using State Space Decomposition. 5-16 - Somsak Vanit-Anunchai
:
Experience using Coloured Petri Nets to Model Railway Interlocking Tables. 17-28 - Asankhaya Sharma:
Verified Subtyping with Traits and Mixins. 45-51 - Richard Booth, Dov M. Gabbay, Souhila Kaci, Tjitze Rienstra, Leendert W. N. van der Torre:
Abduction and Dialogical Proof in Argumentation and Logic Programming. - Miroslav Klimos, Antonín Kucera:
Strategy Synthesis for General Deductive Games Based on SAT Solving. - T. R. Gopalakrishnan Nair, Kavitha Sooda, Kavya B. S., Sushma M.:
Comparative performance analysis of AntHocNet and DSR in optimal path route determination. - Denys J. C. Matthies, Felix Manke, Franz Müller, Charalampia Makri, Christoph Anthes, Dieter Kranzlmüller:
VR-Stepper: A Do-It-Yourself Game Interface For Locomotion In Virtual Environments. - Anders Drachen, Christian Thurau, Rafet Sifa, Christian Bauckhage:
A Comparison of Methods for Player Clustering via Behavioral Telemetry. - Bernhard Schmitzer
, Christoph Schnörr:
Globally Optimal Joint Image Segmentation and Shape Matching based on Wasserstein Modes. - Marek Adamczyk, Piotr Sankowski, Qiang Zhang:
Efficiency of Truthful and Symmetric Mechanisms in One-sided Matching. - Jérôme Ducoat, Frédérique E. Oggier:
Rank weight hierarchy of some classes of cyclic codes. - Giorgio Ricca, Mauro Carlo Beltrametti, Anna Maria Massone:
An iterative approach to Hough transform without re-voting. - Sima Naseri, Somaie Yazdani, Behrooz Razeghi
, Ghosheh Abed Hodtani:
A Generalized Write Channel Model for Bit-Patterned Media Recording. - Haritha Raveendran, Deepa Thomas:
Image Fusion Using LEP Filtering and Bilinear Interpolation. - Deepali Virmani, Ankita Soni, Shringarica Chandel, Manas Hemrajani:
Routing Attacks in Wireless Sensor Networks: A Survey. - Carlos Alexandre Ribeiro Martins, Eduardo Brandani da Silva:
Space-Time Codes from Spectral Norm: A Fresh Look. - Maumita Bhattacharya
, Md. Rafiqul Islam, Abdun Naser Mahmood:
Uncertainty And Evolutionary Optimization: A Novel Approach. - Dyonisius Dony Ariananda, Daniel Romero, Geert Leus:
Compressive Periodogram Reconstruction Using a Multibin Approach. - Bin Yang, Junjie Yan, Zhen Lei, Stan Z. Li:
Aggregate channel features for multi-view face detection. - Peter Banda, Drew Blount, Christof Teuscher:
COEL: A Web-based Chemistry Simulation Framework. - Arthur Milchior:
A Note on Higher Order and Variable Order Logic over Finite Models. - Dinesh Ramasamy, Upamanyu Madhow:
Scalable and Efficient Geographic Routing in Mobile Ad Hoc Wireless Networks. - Marcos Amaku, Rafael I. Cipullo, José H. H. Grisi-Filho, Fernando S. Marques, Raul Ossada:
The friendship paradox in scale-free networks. - Moritz Hardt, Mary Wootters:
Fast matrix completion without the condition number. - Lianjie Luo, Yang Chen, Chengyong Wu, Shun Long, Grigori Fursin:
Finding representative sets of optimizations for adaptive multiversioning applications. - Marie-Ange Lèbre, Frédéric Le Mouël, Eric Ménard, Julien Dillschneider, Richard Denis:
VANET Applications: Hot Use Cases. - Avrim Blum, Nika Haghtalab, Ariel D. Procaccia, Ankit Sharma:
Ignorance is Almost Bliss: Near-Optimal Stochastic Matching With Few Queries. - Eric W. H. Hutton, Mark D. Piper, Irina Overeem, Albert J. Kettner, James P. M. Syvitski:
Building Sustainable Software - The CSDMS Approach. - Pedro A. Ortega:
Subjectivity, Bayesianism, and Causality. - Kari Visala:
Hybrid Communication Architecture HCA. - Kohei Nakajima, Nico M. Schmidt, Rolf Pfeifer:
Measuring information transfer in a soft robotic arm. - Viveck R. Cadambe, Nancy A. Lynch, Muriel Médard, Peter M. Musial:
A Coded Shared Atomic Memory Algorithm for Message Passing Architectures. - Marwan Hammouda, Sami Akin, Jürgen Peissig:
Effective Capacity in Cognitive Radio Broadcast Channels. - Naveed Ul L. Hassan, Chau Yuen, Shayan Saeed, Zhaoyang Zhang:
Power Control for Sum Rate Maximization on Interference Channels Under Sum Power Constraint. - Jaroslav Sedenka, Kiran S. Balagani, Vir V. Phoha, Paolo Gasti:
Privacy-Preserving Population-Enhanced Biometric Key Generation from Free-Text Keystroke Dynamics. - Andrew Mile Connor, Jim Buchan, Krassie Petrova:
Bridging the Research-Practice Gap in Requirements Engineering through Effective Teaching and Peer Learning. - Yichao Xu, Kazuki Maeno, Hajime Nagahara, Rin-Ichiro Taniguchi:
Mobile Camera Array Calibration for Light Field Acquisition. - Béatrice Bérard, Krishnendu Chatterjee, Nathalie Sznajder:
Probabilistic Opacity for Markov Decision Processes. - Emil Weydert:
A Plausibility Semantics for Abstract Argumentation Frameworks. - Tatsuhiko Hatanaka, Takehiro Ito, Xiao Zhou:
The List Coloring Reconfiguration Problem for Bounded Pathwidth Graphs. - Luís Caires, Jorge A. Pérez:
A Typeful Characterization of Multiparty Structured Conversations Based on Binary Sessions. - Elena Reshetova, Janne Karhunen, Thomas Nyman, N. Asokan:
Security of OS-level virtualization technologies: Technical report. - Tiago Espinha, Andy Zaidman, Hans-Gerhard Gross:
Web API Fragility: How Robust is Your Web API Client. - Danny Hucke, Markus Lohrey, Eric Noeth:
Constructing small tree grammars and small circuits for formulas. - Romain Hollanders, Balázs Gerencsér, Jean-Charles Delvenne, Raphaël M. Jungers:
An improved lower bound for Order-Regular matrices. - Troy Lee, Zhaohui Wei, Ronald de Wolf:
Some upper and lower bounds on PSD-rank. - Jossy Sayir:
The Role Model Estimator Revisited. - Caroline Atkins, Jossy Sayir:
Density Evolution for SUDOKU Codes on the Erasure Channel. - Rehman Talukdar, Mridul Saikia:
Evolution and Innovation in 5G Cellular Communication System and Beyond: A Study. - Jossy Sayir:
Non-binary LDPC decoding using truncated messages in the Walsh-Hadamard domain. - Nicolas Palix
, Gaël Thomas, Suman Saha, Christophe Calvès, Gilles Muller, Julia L. Lawall:
Faults in Linux 2.6. - Lingjie Duan, Jianwei Huang, Biying Shou:
Pricing for local and global WiFi markets. - Rosângela Saher Corrêa Cintra, Haroldo F. de Campos Velho:
Data Assimilation by Artificial Neural Networks for an Atmospheric General Circulation Model: Conventional Observation. - Muhammad Marwan Muhammad Fuad:
One-Step or Two-Step Optimization and the Overfitting Phenomenon: A Case Study on Time Series Classification. - Marcin Cieslik, Cameron Mura:
PaPy: Parallel and Distributed Data-processing Pipelines in Python. - Giorgio Delzanno, Jan Stückrath:
Parameterized Verification of Graph Transformation Systems with Whole Neighbourhood Operations. - Ming Jin, Ruoxi Jia, Zhaoyi Kang, Ioannis C. Konstantakopoulos, Costas J. Spanos:
PresenceSense: Zero-training Algorithm for Individual Presence Detection based on Power Monitoring. - Ruoxi Jia, Ming Jin, Costas J. Spanos:
SoundLoc: Acoustic Method for Indoor Localization without Infrastructure. - Fei Zhu, Paul Honeine, Maya Kallas:
Kernel nonnegative matrix factorization without the curse of the pre-image. - Jakub M. Tomczak, Adam Gonczarek:
Subspace Restricted Boltzmann Machine. - Sarah R. Allen, Ryan O'Donnell:
Conditioning and covariance on caterpillars. - Jirí Adámek, Mahdieh Haddadi, Stefan Milius:
Corecursive Algebras, Corecursive Monads and Bloom Monads. - Weidong Han, Peter I. Frazier, Bruno M. Jedynak:
Twenty Questions for Localizing Multiple Objects by Counting: Bayes Optimal Policies for Entropy Loss. - C. A. Obiefuna, G. C. Offorma:
Pre service Teachers Perception of using Mobile Devices in Teaching Climate Change in Primary Schools. - Daniele Pighin, Enrique Alfonseca, Felix Leif Keppmann, Mitja Trampus:
Evaluation of the DiversiNews diversified news service. - Antonio A. D'Amico, Luca Sanguinetti, Daniel P. Palomar:
Convex separable problems with linear and box constraints in signal processing and communications. - Urs Niesen, Mohammad Ali Maddah-Ali:
Coded Caching for Delay-Sensitive Content. - Shalini Ghosh, Patrick Lincoln, Christian Petersen, Alfonso Valdes:
Virus Detection in Multiplexed Nanowire Arrays using Hidden Semi-Markov models. - Dennis Sundman, Saikat Chatterjee, Mikael Skoglund:
Analysis of Democratic Voting Principles used in Distributed Greedy Algorithms. - Guy Even, Moti Medina:
Online Packet-Routing in Grids with Bounded Buffers. - Amir Daneshmand, Francisco Facchinei, Vyacheslav Kungurtsev, Gesualdo Scutari:
Hybrid Random/Deterministic Parallel Algorithms for Nonconvex Big Data Optimization. - Mohammad Reza Khanzadi, Rajet Krishnan, Dan Kuylenstierna, Thomas Eriksson:
Oscillator Phase Noise and Small-Scale Channel Fading in Higher Frequency Bands. - Leandro Cruvinel Lemes, Marcelo Firer:
Generalized weights and bounds for error probability over erasure channels. - Mohammad Reza Khanzadi, Rajet Krishnan, Thomas Eriksson:
Estimation of phase noise in oscillators with colored noise sources. - Mohammad Reza Khanzadi, Rajet Krishnan, Thomas Eriksson:
Effect of Synchronizing Coordinated Base Stations on Phase Noise Estimation. - Bradford D. Boyle, Steven Weber:
Structural and Optimization Properties for Joint Selection of Source Rates and Network Flow. - Rachid Rebiha, Nadir Matringe, Arnaldo Vieira Moura:
Generating Asymptotically Non-Terminating Initial Values for Linear Programs. - Andreas Brandstädt, Vassilis Giakoumakis:
Weighted Efficient Domination for $(P_5+kP_2)$-Free Graphs in Polynomial Time. - Thomas Hartmann, François Fouquet, Yves Le Traon, Brice Morin:
Leveraging Time Distortion for seamless Navigation into Data Space-Time Continuum. - Igor S. Sergeev:
On relative OR-complexity of Boolean matrices and their complements. - Valerii Sopin
:
A new algorithm for solving the rSUM problem. - Serenella Cerrito, Amélie David, Valentin Goranko:
Optimal Tableaux Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-time Temporal Logic ATL+. - Dipan Lal Shaw, M. Sohel Rahman, A. S. M. Sohidull Islam, Shuvasish Karmaker:
Protein Folding in the Hexagonal Prism Lattice with Diagonals. - Albrecht Zimmermann:
A feature construction framework based on outlier detection and discriminative pattern mining. - Stefano Berardi, Paulo Oliva, Silvia Steila:
Proving termination with transition invariants of height omega. - Kaiming Shen, Wei Yu:
Distributed Pricing-Based User Association for Downlink Heterogeneous Cellular Networks. - Paul Vickers, Christopher Laing, Tom Fairfax:
Sonification of a Network's Self-Organized Criticality. - Vadim Bulitko:
Flow for Meta Control. - Slobodan Beliga, Ana Mestrovic, Sanda Martincic-Ipsic:
Toward Selectivity Based Keyword Extraction for Croatian News. - Lalit Kumar Saini, Vishal Shrivastava:
A Survey of Digital Watermarking Techniques and its Applications. - Lalit Kumar Saini, Vishal Shrivastava:
Analysis of Attacks on Hybrid DWT-DCT Algorithm for Digital Image Watermarking With MATLAB. - T. Sarath, G. Nagalakshmi:
An landcover fuzzy logic classification by maximumlikelihood. - Yi Li, Xiaoming Sun, Chengu Wang, David P. Woodruff:
On The Communication Complexity of Linear Algebraic Problems in the Message Passing Model. - Ken Chatfield, Karen Simonyan, Andrew Zisserman:
Efficient On-the-fly Category Retrieval using ConvNets and GPUs. - Zardosht Kasheff, Leif Walsh:
Ark: A Real-World Consensus Implementation. - Tomás Brázdil, Lubos Korenciak, Jan Krcál, Petr Novotný, Vojtech Rehák:
Optimizing Performance of Continuous-Time Stochastic Systems using Timeout Synthesis. - Alberto Del Pia, Santanu S. Dey, Marco Molinaro:
Mixed-integer Quadratic Programming is in NP. - Laura Schumann, Wolfgang G. Stock:
The Information Service Evaluation (ISE) Model. - Bernat Coma-Puig
, Ernesto Diaz-Aviles, Wolfgang Nejdl:
Collaborative Filtering Ensemble for Personalized Name Recommendation. - Olga Nevzorova, Nikita Zhiltsov, Alexander Kirillovich, Evgeny K. Lipachev:
$OntoMath^{PRO}$ Ontology: A Linked Data Hub for Mathematics. - Eugene Goldberg, Panagiotis Manolios:
Partial Quantifier Elimination. - Deepak Majeti, Kuldeep S. Meel, Rajkishore Barik, Vivek Sarkar:
ADHA: Automatic Data layout framework for Heterogeneous Architectures. - Gamal Abd El-Nasser A. Said
, Abeer M. Mahmoud
, El-Sayed M. El-Horbaty:
A Comparative Study of Meta-heuristic Algorithms for Solving Quadratic Assignment Problem. - (Withdrawn) Robust Lossless Semi Fragile Information Protection in Images.
- (Withdrawn) Analysis of Gait Pattern to Recognize the Human Activities.
- Zhenhua Wang, Bin Fan, Fuchao Wu:
Affine Subspace Representation for Feature Description. - Wayes Tushar, Shisheng Huang, Chau Yuen, Jian (Andrew) Zhang, David B. Smith:
Synthetic Generation of Solar States for Smart Grid: A Multiple Segment Markov Chain Apptoach. - Jie Peng, Chik How Tan, Qichun Wang:
A new construction of differentially 4-uniform permutations over $F_{2^{2k}}$. - Yves-Alexandre de Montjoye, Zbigniew Smoreda, Romain Trinquart, Cezary Ziemlicki, Vincent D. Blondel:
D4D-Senegal: The Second Mobile Phone Data for Development Challenge. - Ghassem Tofighi, Nasser Ali Afarin, Kaamran Raahemifar, Anastasios N. Venetsanopoulos:
Hand Pointing Detection Using Live Histogram Template of Forehead Skin. - Zhi Wang, Bing Li, Yutao Ma:
An Analysis of Research in Software Engineering: Assessment and Trends. - Bogdan Oancea, Raluca Mariana Dragoescu:
Integrating R and Hadoop for Big Data Analysis. - Shrawan Kumar, Amitabha Sanyal, Uday P. Khedker:
Sliced Slices: Separating Data and Control Influences. - Wenrui Diao, Xiangyu Liu, Zhe Zhou, Kehuan Zhang:
Your Voice Assistant is Mine: How to Abuse Speakers to Steal Information and Control Your Phone. - Krishnendu Chatterjee, Rüdiger Ehlers, Susmit Jha:
Proceedings 3rd Workshop on Synthesis, SYNT 2014, Vienna, Austria, July 23-24, 2014. EPTCS 157, 2014 [contents] - Yongkun Li, John C. S. Lui:
Friends or Foes: Distributed and Randomized Algorithms to Determine Dishonest Recommenders in Online Social Networks. - Michele Borassi, Pierluigi Crescenzi, Michel Habib:
Into the Square - On the Complexity of Quadratic-Time Solvable Problems. - Dong Yi, Zhen Lei, Stan Z. Li:
Deep Metric Learning for Practical Person Re-Identification. - Xin Liu, Weichu Liu, Tsuyoshi Murata, Ken Wakita:
A framework for community detection in heterogeneous multi-relational networks. - Xin Liu, Tsuyoshi Murata, Ken Wakita:
Detecting network communities beyond assortativity-related attributes. - Frank T. Bergmann, Richard Adams, Stuart L. Moodie, Jonathan Cooper, Mihai Glont, Martin Golebiewski, Michael Hucka, Camille Laibe, Andrew K. Miller, David P. Nickerson, Brett G. Olivier, Nicolas Rodriguez, Herbert M. Sauro, Martin Scharm, Stian Soiland-Reyes, Dagmar Waltemath, Florent Yvon, Nicolas Le Novère:
COMBINE archive: One File To Share Them All. - Attila Bernáth, Zoltán Király:
On the tractability of some natural packing, covering and partitioning problems. - Anurag A. Chakravorty, Raghwendra J. Suryawanshi:
Data Transfer between Two USB Flash SCSI Disks using a Touch Screen. - Søren Dahlgaard, Mathias Bæk Tejs Knudsen, Noy Rotbart:
Improved ancestry labeling scheme for trees. - Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Benjamin Monmege:
To Reach or not to Reach? Efficient Algorithms for Total-Payoff Games. - Judy Hoffman, Sergio Guadarrama, Eric Tzeng, Jeff Donahue, Ross B. Girshick, Trevor Darrell, Kate Saenko:
LSDA: Large Scale Detection Through Adaptation. - Hongzhi Guo, Zhi Sun:
Channel Modeling for Metamaterial-Enhanced Underground Wireless Communications. - Oskari Tammelin:
Solving Large Imperfect Information Games Using CFR+. - Enming Luo, Stanley H. Chan, Truong Q. Nguyen:
Adaptive Image Denoising by Targeted Databases. - Marek Szykula:
Checking if an Automaton is Monotonic is NP-complete. - Saber Mirzaei, Flavio Esposito:
An Alloy Verification Model for Consensus-Based Auction Protocols. - Kaarthik Sundar, Sivakumar Rathinam:
Multiple Depot Ring Star Problem: A polyhedral study and exact algorithm. - Michael Horton, Joachim Gudmundsson, Sanjay Chawla, Joël Estephan:
Classification of Passes in Football Matches using Spatiotemporal Data. - David F. Gleich:
PageRank beyond the Web. - Harsh Ranjan, Sumit Agarwal, Niraj Kumar Singh:
Design and Analysis of RS Sort. - Daniel S. Katz, Arfon M. Smith:
Implementing Transitive Credit with JSON-LD. - Guangmo Tong, Cong Liu:
Supporting Read/Write Applications in Embedded Real-time Systems via Suspension-aware Analysis. - William I. Gasarch:
A Sane Proof that COLk ࣘ COL3. - J. Liu, Rodrigo C. de Lamare:
Rate-Compatible LDPC Codes Based on Puncturing and Extension Techniques for Short Block Lengths. - Yongtao Hu, Jan Kautz, Yizhou Yu, Wenping Wang:
Speaker-following Video Subtitles. - Rémi Gribonval, Rodolphe Jenatton, Francis R. Bach:
Sparse and spurious: dictionary learning with noise and outliers. - Rui Wang, Meixia Tao, Hani Mehrpouyan, Yingbo Hua:
Channel Estimation and Optimal Training Design for Correlated MIMO Two-Way Relay Systems in Colored Environment. - Catalin Dima, Bastien Maubert, Sophie Pinchinat:
The Expressive Power of Epistemic $μ$-Calculus. - Chacko John Deepu:
An ECG-SoC with 535nW/channel lossless data compression for wearable sensors. - (Withdrawn) Design and Autonomous Control of the Active Adaptive Suspension System Rudra Mars Rover.
- Kandarp Khandwala, Rudra Sharma, Snehal Rao:
Context Aware Dynamic Traffic Signal Optimization. - Emilio Ferrara, Onur Varol, Clayton A. Davis, Filippo Menczer, Alessandro Flammini:
The Rise of Social Bots. - William Mantzel, Justin K. Romberg:
Compressed Subspace Matching on the Continuum. - Kalyan Veeramachaneni, Una-May O'Reilly, Colin Taylor:
Towards Feature Engineering at Scale for Data from Massive Open Online Courses. - Ziming Zhang, Philip H. S. Torr:
Object Proposal Generation using Two-Stage Cascade SVMs. - Ji Zhao, Liantao Wang, Ricardo Silveira Cabral, Fernando De la Torre:
Feature and Region Selection for Visual Learning. - Juan P. Galeotti, Carlo A. Furia, Eva May, Gordon Fraser, Andreas Zeller:
Automating Full Functional Verification of Programs with Loops. - Anupam Gupta, Marco Molinaro:
How the Experts Algorithm Can Help Solve LPs Online. - T. R. Gopalakrishnan Nair, V. Suma, N. R. Shashi Kumar:
Impact Analysis of Allocation of Resources by Project Manager on Success of Software Projects. - Vivek Sharma, T. R. Gopalakrishnan Nair:
An Optimum Scheduling Approach for Creating Optimal Priority of Jobs with Business Values in Cloud Computing. - N. R. Shashi Kumar, T. R. Gopalakrishnan Nair, V. Suma:
A Parametric Analysis of Project Management Performance to Enhance Software Development Process. - Reza Azad, Babak Azad, Iman Tavakoli Kazerooni:
Optimized Method for Iranian Road Signs Detection and recognition system. - Kavitha Sooda, T. R. Gopalakrishnan Nair:
A Comparative Analysis for Determining the Optimal Path using PSO and GA. - Edouard Bonnet, Florent Foucaud, Eun Jung Kim, Florian Sikora:
Complexity of Grundy coloring and its variants. - Xiaoming Chen, Jian Chen, Tao Liu:
Secure Wireless Information and Power Transfer in Large-Scale MIMO Relaying Systems with Imperfect CSI. - André da Motta Salles Barreto, Doina Precup, Joelle Pineau:
Practical Kernel-Based Reinforcement Learning. - David G. M. Mitchell, Roxana Smarandache, Daniel J. Costello Jr.:
Quasi-Cyclic LDPC Codes based on Pre-Lifted Protographs. - David G. M. Mitchell, Michael Lentmaier, Daniel J. Costello Jr.:
Spatially Coupled LDPC Codes Constructed from Protographs. - Sameer Agarwal, Hon-leung Lee, Bernd Sturmfels, Rekha R. Thomas:
Certifying the Existence of Epipolar Matrices. - Christos H. Papadimitriou, George Pierrakos, Christos-Alexandros Psomas, Aviad Rubinstein:
The Intractability of Dynamic Mechanism Design. - Ioannis Giotis, Lefteris M. Kirousis, Kostas I. Psaromiligkos, Dimitrios M. Thilikos:
On the Algorithmic Lovász Local Lemma. - Dongmo Zhang, Michael Thielscher:
Representing and Reasoning about Game Strategies. - Narayana P. Santhanam, Anand D. Sarwate, Jae Oh Woo:
Redundancy of Exchangeable Estimators. - Mohammad Amir Khusru Akhtar, Arshad Usmani, Gadadhar Sahoo:
Nontransitive Ranking to Enhance Routing Decision in MANETS. - Adrià Gascón, Ashish Tiwari:
Synthesis of a simple self-stabilizing system. 5-16 - Herbert Wiklicky:
Program Synthesis and Linear Operator Semantics. 17-33 - Roderick Bloem
, Rüdiger Ehlers
, Swen Jacobs
, Robert Könighofer:
How to Handle Assumptions in Synthesis. 34-50 - Aaron Bohy, Véronique Bruyère, Jean-François Raskin:
Symblicit algorithms for optimal strategy synthesis in monotonic Markov decision processes. 51-67 - Susmit Jha, Sanjit A. Seshia:
Are There Good Mistakes? A Theoretical Analysis of CEGIS. 84-99 - Rüdiger Ehlers
, Vasumathi Raman:
Low-Effort Specification Debugging and Analysis. 117-133 - A. Christy Persya, T. R. Gopalakrishnan Nair:
Model based design of super schedulers managing catastrophic scenario in hard real time systems. - James S. Spencer, N. S. Blunt, W. A. Vigor, F. D. Malone, W. Matthew C. Foulkes, James J. Shepherd, A. J. W. Thom:
The Highly Accurate N-DEterminant (HANDE) quantum Monte Carlo project: Open-source stochastic diagonalisation for quantum chemistry. - Xiangyu Liu, Wenrui Diao, Zhe Zhou, Zhou Li, Kehuan Zhang:
Gateless Treasure: How to Get Sensitive Information from Unprotected External Storage on Android Phones. - Luís Marujo, José Portelo, David Martins de Matos, João Paulo Neto, Anatole Gershman, Jaime G. Carbonell, Isabel Trancoso, Bhiksha Raj:
Privacy-Preserving Important Passage Retrieval. - Troy Lee, Nikos Leonardos, Michael E. Saks, Fengming Wang:
Hellinger volume and number-on-the-forehead communication complexity. - Swapnil Dhamal
, Akanksha Meghlan, Y. Narahari:
Cooperative Game Theoretic Solution Concepts for top-$k$ Problems. - Myrto Arapinis, Vincent Cheval, Stéphanie Delaune:
Composing security protocols: from confidentiality to privacy. - Setareh Maghsudi, Slawomir Stanczak:
Joint Channel Selection and Power Control in Infrastructureless Wireless Networks: A Multi-Player Multi-Armed Bandit Framework. - Manju Kaushik:
Research of Load Testing and Result Based on Loadrunner. - Bin Li, Hui Shen, David Tse:
A RM-Polar Codes. - Satyabrata Paul, Madhumangal Pal, Anita Pal:
L(2, 1)-labelling of Circular-arc Graph. - Kelvin Au, Liqing Zhang, Hosein Nikopour, Eric Yi, Alireza Bayesteh, Usa Vilaipornsawai, Jianglei Ma, Peiying Zhu:
Uplink Contention Based SCMA for 5G Radio Access. - Ivan Dokmanic, Robin Scheibler, Martin Vetterli:
Raking the Cocktail Party. - Edward Givelberg:
Process-Oriented Parallel Programming with an Application to Data-Intensive Computing. - Reza Farrahi Moghaddam, Mohamed Cheriet:
A Note on Quality of Experience (QoE) beyond Quality of Service (QoS) as the Baseline. - Sarabjot Singh, Mandar N. Kulkarni, Amitava Ghosh, Jeffrey G. Andrews:
Tractable Model for Rate in Self-Backhauled Millimeter Wave Cellular Networks. - Luca Maria Aiello, Rossano Schifanella, Bogdan State:
Reading the Source Code of Social Ties. - Jerome Le Ny, Meisam Mohammady:
Differentially Private MIMO Filtering for Event Streams and Spatio-Temporal Monitoring. - Meryem Benammar, Pablo Piantanida:
Secrecy Capacity Region of Some Classes of Wiretap Broadcast Channels. - Sandeep Kumar, Vivek Kumar Sharma, Rajani Kumari:
A Novel Hybrid Crossover based Artificial Bee Colony Algorithm for Optimization Problem. - Stéphane Le Roux, Arno Pauly:
Weihrauch degrees of finding equilibria in sequential games. - Tim Wallace, Ali Sekmen:
Deterministic Versus Randomized Kaczmarz Iterative Projection. - Bo Dai, Bo Xie, Niao He, Yingyu Liang, Anant Raj, Maria-Florina Balcan, Le Song:
Scalable Kernel Methods via Doubly Stochastic Gradients. - Sanguthevar Rajasekaran, Sudipta Pathak:
Efficient Algorithms for the Closest Pair Problem and Applications. - Alim Ul Gias, Rayhanur Rahman, Asif Imran, Kazi Sakib:
TFPaaS : Test-first Performance as a Service to Cloud for Software Testing Environment. - Marian Petre, Greg Wilson
:
Code Review For and By Scientists. - Khalifeh AlJadda, Mohammed Korayem, Camilo Ortiz, Trey Grainger, John A. Miller, William S. York:
PGMHD: A Scalable Probabilistic Graphical Model for Massive Hierarchical Data Problems. - Congduan Li, Steven Weber, John MacLaren Walsh:
Multilevel Diversity Coding Systems: Rate Regions, Codes, Computation, & Forbidden Minors. - Scott M. Sawyer, B. David O'Gwynn:
Evaluating Accumulo Performance for a Scalable Cyber Data Processing Pipeline. - Raphael Poss:
Rust for functional programmers. - Santanu Bhowmick, Kasturi R. Varadarajan, Shi-Ke Xue:
A Constant-Factor Approximation for Multi-Covering with Disks. - Wayes Tushar, Chau Yuen, Bo Chai, David B. Smith, H. Vincent Poor:
Feasibility of Using Discriminate Pricing Schemes for Energy Trading in Smart Grid. - Marcus D. Hanwell, Patrick O'Leary, Bob O'Bara:
Sustainable Software Ecosystems: Software Engineers, Domain Scientists, and Engineers Collaborating for Science. - Ronggui Xie, Huarui Yin, Zhengdao Wang, Xiaohui Chen:
A Novel Uplink Data Transmission Scheme For Small Packets In Massive MIMO System. - Joshua I. James, Pavel Gladyshev:
Automated Inference of Past Action Instances in Digital Investigations. - Ansuman Adhikary, Harpreet S. Dhillon, Giuseppe Caire:
Massive-MIMO Meets HetNet: Interference Coordination Through Spatial Blanking. - Kamal Rahimi Malekshan, Farshad Lahouti:
Distributed Cross-layer Dynamic Route Selection in Wireless Multiuser Multihop Networks. - Tim Taylor:
Artificial Life and the Web: WebAL Comes of Age. - Sonali Gupta, Komal Kumar Bhatia:
A Comparative Study of Hidden Web Crawlers. - Saurabh Gupta, Ross B. Girshick, Pablo Arbeláez, Jitendra Malik:
Learning Rich Features from RGB-D Images for Object Detection and Segmentation. - Truyen Tran, Trung Thanh Nguyen, Hoang Linh Nguyen:
Global optimization using Lévy flights. - Kianoush Hosseini, Wei Yu, Raviraj S. Adve:
Large-Scale MIMO versus Network MIMO for Multicell Interference Mitigation. - Haim Kaplan, Robert Endre Tarjan, Uri Zwick:
Fibonacci Heaps Revisited. - Sandeep Kumar, Vivek Kumar Sharma, Rajani Kumari:
Improved Onlooker Bee Phase in Artificial Bee Colony Algorithm. - Truyen Tran, Dinh Q. Phung, Svetha Venkatesh:
Tree-based iterated local search for Markov random fields with applications in image analysis. - Denis Fortun, Patrick Bouthemy, Charles Kervrann:
Aggregation of local parametric candidates with exemplar-based occlusion handling for optical flow. - Graeme Smith, Jeff W. Sanders, Qin Li:
A macro-level model for investigating the effect of directional bias on network coverage. - Tran The Truyen, Dinh Q. Phung, Svetha Venkatesh:
Preference Networks: Probabilistic Models for Recommendation Systems. - Kwankyu Lee:
Decoding of Differential AG Codes. - Na-Rae Kim, Andrew W. Eckford, Chan-Byoung Chae:
Symbol interval optimization for molecular communication with drift. - Alexandre Graell i Amat, Iryna Andriyanova, Amina Piemontese:
Proving Threshold Saturation for Nonbinary SC-LDPC Codes on the Binary Erasure Channel. - Andrea Carron, Marco Todescato, Ruggero Carli, Luca Schenato, Gianluigi Pillonetto:
Multi-agents adaptive estimation and coverage control using Gaussian regression. - (Withdrawn) Autonomous Intersection Management for Mixed Traffic Flow.
- Hitoshi Furusawa, Georg Struth:
Concurrent Dynamic Algebra. - Niklas Blomberg, Cristian R. Rojas, Bo Wahlberg:
Approximate Regularization Path for Nuclear Norm Based H2 Model Reduction. - Nicolas Bousquet, Aurélie Lagoutte
, Zhentao Li, Aline Parreau, Stéphan Thomassé
:
Identifying codes in hereditary classes of graphs and VC-dimension. - Hamoon Mousavi, Jeffrey O. Shallit:
Mechanical Proofs of Properties of the Tribonacci Word. - Mathias Soeken, Nabila Abdessaied, Rolf Drechsler:
A framework for reversible circuit complexity. - Yuval Kochman, Ligong Wang, Gregory W. Wornell:
Toward Photon-Efficient Key Distribution over Optical Channels. - Anish Saini, Atul Mishra:
Domain-partitioned element management systems employing mobile agents for distributed network management. - Alexander Nussbaumer, Milos Kravcik, Dominik Renzel, Ralf Klamma
, Marcel Berthold, Dietrich Albert:
A Framework for Facilitating Self-Regulation in Responsive Open Learning Environments. - Sylvain Schmitz:
Complexity Bounds for Ordinal-Based Termination. - N. Murugesan, O. V. Shanmuga Sundaram:
Some Properties of Brzozowski Derivatives of Regular Expressions. - Felipe Ortega, Gregorio Convertino, Massimo Zancanaro, Tiziano Piccardi:
Assessing the Performance of Question-and-Answer Communities Using Survival Analysis. - Mehrdad Mahdavi:
Exploiting Smoothness in Statistical Learning, Sequential Prediction, and Stochastic Optimization. - (Withdrawn) Affect Sensing on Smartphone - Possibilities of Understanding Cognitive Decline in Aging Population.
- Paola Flocchini, Giuseppe Prencipe, Nicola Santoro, Giovanni Viglietta:
Distributed Computing by Mobile Robots: Solving the Uniform Circle Formation Problem. - Sandeep Kumar, Pooja Jadon:
A Novel Hybrid Algorithm for Permutation Flow Shop Scheduling. - Paolo Banelli, Stefano Buzzi, Giulio Colavolpe, Andrea Modenini, Fredrik Rusek, Alessandro Ugolini:
Modulation Formats and Waveforms for the Physical Layer of 5G Wireless Networks: Who Will be the Heir of OFDM? - Sharat C. Prasad, Piyush Prasad:
Deep Recurrent Neural Networks for Time Series Prediction. - Romain Brenguier, Guillermo A. Pérez
, Jean-François Raskin, Ocan Sankur:
AbsSynthe: abstract synthesis from succinct safety specifications. 100-116 - Holger R. Roth, Jianhua Yao, Le Lu, James Stieger, Joseph E. Burns, Ronald M. Summers:
Detection of Sclerotic Spine Metastases via Random Aggregation of Deep Convolutional Neural Network Classifications. - Tom Crick, Benjamin A. Hall, Samin Ishtiaq:
"Can I Implement Your Algorithm?": A Model for Reproducible Research Software. - Sergey Slavnov:
Linear logic with idempotent exponential modalities: a note. - Nicolas Moro, Karine Heydemann, Amine Dehbaoui, Bruno Robisson
, Emmanuelle Encrenaz:
Experimental evaluation of two software countermeasures against fault attacks. - Alberto Besana, Cristina Martínez:
Modeling languages from graph networks. - Thomas M. M. Meyfroyt, Sem C. Borst, Onno J. Boxma, Dee Denteneer:
Data Dissemination Performance in Large-Scale Sensor Networks. - Ahmed Bouchboua, Rabah Ouremchi, Fayçal Messaoudi, Mohammed El Ghazi:
Generation of pedagogical content based on the learning style of learners in a dynamic adaptive hypermedia environment. - Fábio Andrade Botelho, Alysson Neves Bessani, Fernando M. V. Ramos, Paulo Ferreira:
SMaRtLight: A Practical Fault-Tolerant SDN Controller. - Freddy Chong Tat Chua, Ee-Peng Lim, Bernardo A. Huberman:
Detecting Flow Anomalies in Distributed Systems. - Marcelo da Silva Reis, Carlos Eduardo Ferreira, Junior Barrera:
The U-curve optimization problem: improvements on the original algorithm and time complexity analysis. - Pin-Yu Chen, Alfred O. Hero III:
Deep Community Detection. - Ali Khanafer, Tamer Basar:
Robust Distributed Averaging: When are Potential-Theoretic Strategies Optimal? - Ali Khanafer, Tamer Basar, Bahman Gharesifard:
Stability of Epidemic Models over Directed Graphs: A Positive Systems Approach. - Guan Gui, Li Xu, Fumiyuki Adachi:
Extra Gain: Improved Sparse Channel Estimation Using Reweighted l_1-norm Penalized LMS/F Algorithm. - Guan Gui, Li Xu, Xiao-mei Zhu, Zhangxin Chen:
Novel Realization of Adaptive Sparse Sensing with Sparse Least Mean Fourth Algorithm. - Guan Gui, Li Xu, Lin Shan, Fumiyuki Adachi:
Adaptive MIMO Channel Estimation using Sparse Variable Step-Size NLMS Algorithms. - Igor Milevskiy, Yuri Boykov:
Joint Energy-based Detection and Classificationon of Multilingual Text Lines. - Guan Gui, Li Xu:
Affine Combination of Two Adaptive Sparse Filters for Estimating Large Scale MIMO Channels. - Guan Gui, Li Xu, Lin Shan:
Block Bayesian Sparse Learning Algorithms With Application to Estimating Channels in OFDM Systems. - Truyen Tran, Dinh Q. Phung, Svetha Venkatesh:
Learning Rank Functionals: An Empirical Study. - (Withdrawn) Social and Business Intelligence Analysis Using PSO.
- Stephen G. MacDonell, Kyongho Min, Andrew M. Connor:
Autonomous requirements specification processing using natural language processing. - Dilip Kumar Limbu, Andy M. Connor, Stephen G. MacDonell:
A framework for contextual information retrieval from the WWW. - Dilip Kumar Limbu, Andy M. Connor, Russel Pears, Stephen G. MacDonell:
Improving web search using contextual retrieval. - Alison Talbot, Andy M. Connor:
Requirements engineering current practice and capability in small and medium software development enterprises in New Zealand. - Frédérik Schmidt, Stephen G. MacDonell, Andy M. Connor:
An automatic architecture reconstruction and refactoring framework. - Andy M. Connor, Jacqui Finlay, Russel Pears:
Mining developer communication data streams. - Olabenjo Babatunde, Salim Mbarouk:
A review of Plesiochronous Digital Hierarchy (PDH) and Synchronous Digital Hierarchy (SDH). - Md. Selim, Saeed Siddik, Alim Ul Gias, Mohammad Abdullah-Al-Wadud, Shah Mostafa Khaled:
A Genetic Algorithm for Software Design Migration from Structured to Object Oriented Paradigm. - Duc-Hiep Chu, Joxan Jaffar, Minh-Thai Trinh:
Automating Proofs of Data-Structure Properties in Imperative Programs. - Georg Nawratil, Josef Schicho:
Self-motions of pentapods with linear platform. - Truyen Tran, Svetha Venkatesh:
Permutation Models for Collaborative Ranking. - Ye Du:
The Discrete Sell or Hold Problem with Constraints on Asset Values. - Dan Halperin, Michael Kerber, Doron Shaharabani:
The Offset Filtration of Convex Objects. - Kunihiro Wasa, Hiroki Arimura, Takeaki Uno:
Efficient Enumeration of Induced Subtrees in a K-Degenerate Graph. - Tomasz Kociumaka, Jakub W. Pachocki, Jakub Radoszewski, Wojciech Rytter, Tomasz Walen:
On the String Consensus Problem and the Manhattan Sequence Consensus Problem. - Robert Obryk:
Write-and-f-array: implementation and an application. - Pol Blasco, Deniz Gündüz:
Content-Level Selective Offloading in Heterogeneous Networks: Multi-armed Bandit Optimization and Regret Bounds. - Michail I. Schlesinger, Boris Flach, Evgeniy Vodolazskiy:
M-best solutions for a class of fuzzy constraint satisfaction problems. - Joan Boyar, Magnus Gausdal Find:
The Relationship Between Multiplicative Complexity and Nonlinearity. - Fatih Çakir, Stan Sclaroff:
Visual Word Selection without Re-Coding and Re-Pooling. - Raed Jaberi:
Computing the $2$-blocks of directed graphs. - Jakob Ablinger:
The package HarmonicSums: Computer Algebra and Analytic aspects of Nested Sums. - Lakshmi Prabha S, T. N. Janakiraman:
Existence of Comfortable Team in some Special Social Networks. - Marcello La Rocca, Domenico Cantone:
NeatSort - A practical adaptive algorithm. - Stefano Martin, Olav Geil:
Relative generalized Hamming weights of q-ary Reed-Muller codes. - Madhumangal Pal, Hossein Rashmanlou:
Irregular Interval Valued Fuzzy Graphs. - Jory Schossau, Greg Wilson
:
Which Sustainable Software Practices Do Scientists Find Most Useful? - Hongxing Xia, Balasubramaniam Natarajan, Chang Liu:
Feasibility of Simultaneous Information and Energy Transfer in LTE-A Small Cell Networks. - Enrique Orduña-Malea
, Juan Manuel Ayllon, Alberto Martín-Martín
, Emilio Delgado López-Cózar:
About the size of Google Scholar: playing the numbers. - Stéfan van der Walt, Johannes L. Schönberger, Juan Nunez-Iglesias, François Boulogne, Joshua D. Warner, Neil Yager, Emmanuelle Gouillart, Tony Yu:
scikit-image: Image processing in Python. - Philip Lenz, Andreas Geiger, Raquel Urtasun:
FollowMe: Efficient Online Min-Cost Flow Tracking with Bounded Memory and Computation. - Robert Cowen:
Adaptive Fault Diagnosis using Self-Referential Reasoning. - Gamal Abd El-Nasser A. Said
, Abeer M. Mahmoud, El-Sayed M. El-Horbaty:
Simulation and optimization of container terminal operations: a case study. - Kamal Rahimi Malekshan, Weihua Zhuang, Yves Lostanlen:
An Energy Efficient MAC Protocol for Fully Connected Wireless Ad Hoc Networks. - Naser K. A. Alajmi:
Wireless Sensor Networks Attacks and Solutions. - Xavier Vilaça, Luís E. T. Rodrigues:
On the Range of Equilibria Utilities of a Repeated Epidemic Dissemination Game with a Mediator. - Monica Marra:
The recent Italian regulations about the open-access availability of publicly-funded research publications, and the documentation landscape in astrophysics. - Deepak Kumar, A. G. Ramakrishnan:
Quadratically constrained quadratic programming for classification using particle swarms and applications. - Ch. Srinivasa Rao, B. Raveendra Babu:
A Fuzzy Differential Evolution Algorithm for Job Scheduling on Computational Grids. - Reza Azad, Fatemeh Davami:
A robust and adaptable method for face detection based on Color Probabilistic Estimation Technique. - Reza Azad, Majid Nazari:
Novel and Automatic Parking Inventory System Based on Pattern Recognition and Directional Chain Code. - Marcel Wild:
Compressed representation of learning spaces. - Moran Feldman, Rani Izsak:
Constrained Monotone Function Maximization and the Supermodular Degree. - M. V. Achutha Kiran Kumar, Aarti Gupta, S. S. Bindumadhava:
RTL2RTL Formal Equivalence: Boosting the Design Confidence. 29-44 - Ewa J. Infeld:
Symmetric Disclosure: a Fresh Look at k-Anonymity. - Trista Lin
, Hervé Rivano, Frédéric Le Mouël:
How to Choose the Relevant MAC Protocol for Wireless Smart Parking Urban Networks? - Gamal Abd El-Nasser A. Said
, Abeer M. Mahmoud
, El-Sayed M. El-Horbaty:
Solving container terminals problems using computer-based modeling. - Thomas M. M. Meyfroyt, Sem C. Borst, Onno J. Boxma, Dee Denteneer:
A Data Propagation Model for Wireless Gossiping. - Kirstin Peters, Tsvetelina Yonova-Karbe, Uwe Nestmann:
Matching in the Pi-Calculus (Technical Report). - Toru Araki, Shingo Osawa, Takashi Shimizu:
On the distance preserving trees in graphs. - Jiasong Wu, Longyu Jiang, Xu Han, Lotfi Senhadji, Huazhong Shu:
Performance evaluation of wavelet scattering network in image texture classification in various color spaces. - Ce Zhang, Christopher Ré, Amir Abbas Sadeghian, Zifei Shan, Jaeho Shin, Feiran Wang, Sen Wu:
Feature Engineering for Knowledge Base Construction. - Mizuki Oka, Yasuhiro Hashimoto, Takashi Ikegami:
Self-organization on social media: endo-exo bursts and baseline fluctuations. - Frederic Jacobs:
Providing better confidentiality and authentication on the Internet using Namecoin and MinimaLT. - Ramoni O. Adeogun, Paul D. Teal, Pawel A. Dmochowski:
An Asymptotic Bound on Estimation and Prediction of Mobile MIMO-OFDM Wireless Channels. - Gabriele D'Angelo, Moreno Marzolla:
New Trends in Parallel and Distributed Simulation: from Many-Cores to Cloud Computing. - S. Hassan HosseinNia, Inés Tejado, Blas M. Vinagre:
Hybrid Systems and Control With Fractional Dynamics (I): Modeling and Analysis. - S. Hassan HosseinNia, Inés Tejado, Blas M. Vinagre:
Hybrid Systems and Control With Fractional Dynamics (II): Control. - Luca Sanguinetti, Aris L. Moustakas, Mérouane Debbah:
Interference Management in 5G Reverse TDD HetNets: A Large System Analysis. - Niva Das, Tanmoy Sarkar:
Securing Cloud from Cloud Drain. - (Withdrawn) Recognition of Handwritten Persian/Arabic Numerals Based on Robust Feature Set and K-NN Classifier.
- (Withdrawn) Novel and Fast Algorithm for Extracting License Plate Location Based on Edge Analysis.
- Reza Azad, Babak Azad, Hamid Reza Shayegh:
Real-Time and Efficient Method for Accuracy Enhancement of Edge Based License Plate Recognition System. - Reza Azad, Hamid Reza Shayegh:
Novel and Tuneable Method for Skin Detection Based on Hybrid Color Space and Color Statistical Features. - Kazi Sakib, Mosaddek Hossain Kamal, Upama Kabir:
A New Routing Protocol for All Optical Network. - Frederick R. Carlson:
Security Penetration Test Framework for the Diameter Protocol. - Reza Azad, Hamid Reza Shayegh:
New Method for Optimization of License Plate Recognition system with Use of Edge Detection and Connected Component. - Amin Karbasi, Amir Hesam Salavati, Amin Shokrollahi:
Convolutional Neural Associative Memories: Massive Capacity with Noise Tolerance. - Raphaël Clifford, Markus Jalsenius, Benjamin Sach:
Cell-Probe Bounds for Online Edit Distance and Other Pattern Matching Problems. - Olav Geil, Louise Foshammer, Malte Neve-Græsbøll:
Combining subspace codes with classical linear error-correcting codes. - Tero Laitinen, Tommi A. Junttila, Ilkka Niemelä:
Conflict-Driven XOR-Clause Learning (extended version). - Roderick Bloem
, Swen Jacobs
, Ayrat Khalimov:
Parameterized Synthesis Case Study: AMBA AHB. 68-83 - Siavash Ghavami, Farshad Lahouti:
On Capacity and Capacity per Unit Cost of Gaussian Multiple Access Channel with Peak Power Constraints. - Zaid Abdi Alkareem Alyasseri, Kadhim Al-Attar, Mazin Nasser:
Parallelize Bubble Sort Algorithm Using OpenMP. - Michiel Hermans, Michael Burm, Joni Dambre, Peter Bienstman:
Trainable and Dynamic Computing: Error Backpropagation through Physical Media. - Torsten Timm:
How the Voynich Manuscript was created. - Frédéric Thomas, Jérôme Delatour, François Terrier, Matthias Brun, Sébastien Gérard:
Contribution à la modélisation explicite des plates-formes d'exécution pour l'IDM. - John Iacono, Özgür Özkan:
A Tight Lower Bound for Decrease-Key in the Pure Heap Model. - V. P. Binu, A. Sreekumar:
Efficient Multi Secret Sharing with Generalized Access Structures. - Zeev Dvir, Sivakanth Gopi:
2-Server PIR with sub-polynomial communication. - Eduardo Vega-Fuentes, Juan Manuel Cerezo-Sanchez, Sonia Leon-del Rosario, Aurelio Vega-Martinez:
Fuzzy inference system for integrated VVC in isolated power systems. - (Withdrawn) A Robust and Efficient Method for Improving Accuracy of License Plate Characters Recognition.
- Besmira Nushi, Omar Alonso, Martin Hentschel, Vasileios Kandylas:
CrowdSTAR: A Social Task Routing Framework for Online Communities. - Liam Roditty, Roei Tov:
New routing techniques and their applications. - Dilip Bethanabhotla, Ozgun Y. Bursalioglu, Haralabos C. Papadopoulos, Giuseppe Caire:
Optimal User-Cell Association for Massive MIMO Wireless Networks. - Ahmet Erdem Sariyüce, Erik Saule, Ümit V. Çatalyürek:
On Distributed Graph Coloring with Iterative Recoloring. - Ayodeji Samuel Makinde, Yaw Nkansah-Gyekye, Loserian S. Laizer:
Enhancing the Accuracy of Biometric Feature Extraction Fusion Using Gabor Filter and Mahalanobis Distance Algorithm. - M. R. Avendi, Sina Poorkasmaei, Hamid Jafarkhani:
Differential Distributed Space-Time Coding with Imperfect Synchronization. - Rogério H. B. de Lima, Luis A. A. Meira:
Sim, É Possíivel Ordenar Com Complexidade Estritamente Abaixo de $n$ lg $n$. - Casper Kejlberg-Rasmussen, Tsvi Kopelowitz, Seth Pettie, Ely Porat:
Word-packing Algorithms for Dynamic Connectivity and Dynamic Sets. - Tsvi Kopelowitz, Seth Pettie, Ely Porat:
3SUM Hardness in (Dynamic) Data Structures. - Piotr Frackiewicz:
Quantum signaling game. - Qianping Gu, Gengchun Xu:
Near-Linear Time Constant-Factor Approximation Algorithm for Branch-Decomposition of Planar Graphs. - Shri Prakash Dwivedi:
GCD Computation of n Integers. - Ehsan Elhamifar, Guillermo Sapiro, S. Shankar Sastry:
Dissimilarity-based Sparse Subset Selection. - Robert Hoehndorf
, Luke T. Slater, Paul N. Schofield, Georgios V. Gkoutos:
Aber-OWL: a framework for ontology-based data access in biology. - Stan Palasek:
Measuring Prestige in Online Social Networks. - Jacob Holm, Eva Rotenberg, Christian Wulff-Nilsen:
Faster Fully-Dynamic Minimum Spanning Forest. - Guido Montúfar, Nihat Ay, Keyan Ghazi-Zahedi:
A Framework for Cheap Universal Approximation in Embodied Systems. - Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, Pierre-Yves Strub:
Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy. - Søren Dahlgaard, Mathias Bæk Tejs Knudsen, Eva Rotenberg, Mikkel Thorup:
The Power of Two Choices with Simple Tabulation. - Volkan Cirik, Deniz Yuret:
Substitute Based SCODE Word Embeddings in Supervised NLP Tasks. - Christian Wulff-Nilsen:
Faster Separators for Shallow Minor-Free Graphs via Dynamic Approximate Distance Oracles. - Ivan Ivek:
Interpretable Low-Rank Document Representations with Label-Dependent Sparsity Patterns. - Petr Kuznetsov, Srivatsan Ravi:
On Partial Wait-Freedom in Transactional Memory. - Minati Mishra, M. C. Adhikary:
An Easy yet Effective Method for Detecting Spatial Domain LSB Steganography. - Zaid Abdi Alkareem Alyasseri:
Survey of Parallel Computing with MATLAB. - Minati Mishra, M. C. Adhikary:
Detection of Clones in Digital Images. - Jean-François Baget, Fabien Garreau, Marie-Laure Mugnier, Swan Rocher:
Extending Acyclicity Notions for Existential Rules (\emph{long version}). - Rostislav Tsiomenko, Bradley S. Rees:
Accelerating Fast Fourier Transforms Using Hadoop and CUDA. - Albert Saà-Garriga, David Castells-Rufas, Jordi Carrabina:
OMP2HMPP: HMPP Source Code Generation from Programs with Pragma Extensions. - Benjamin Isac Fargion:
How, when and how much a card deck is well shuffled? - Monika Rani, Anubha Parashar, Jyoti Chaturvedi, Anu Malviya:
Search Space Engine Optimize Search Using FCC_STF Algorithm in Fuzzy Co-Clustering. - Andreas Dedner, Robert Klöfkorn, Martin Nolte:
The DUNE-ALUGrid Module. - Viktor Kiss, Lilla Tóthmérész:
Chip-firing games on Eulerian digraphs and NP-hardness of computing the rank of a divisor on a graph. - Esteban Egea-López, Pablo Pavón-Mariño:
Distributed and Fair Beaconing Congestion Control Schemes for Vehicular Networks. - Dave Dice, Timothy L. Harris, Alex Kogan, Yossi Lev, Mark Moir:
Hardware extensions to make lazy subscription safe. - Úlfar Erlingsson, Aleksandra Korolova, Vasyl Pihur:
RAPPOR: Randomized Aggregatable Privacy-Preserving Ordinal Response. - Benjamin Schweinhart, Jeremy K. Mason, Robert MacPherson:
Topological Similarity of Random Cell Complexes and Applications to Dislocation Configurations. - Enrico De Santis, Lorenzo Livi, Alireza Sadeghian, Antonello Rizzi:
Modeling and Recognition of Smart Grid Faults by a Combined Approach of Dissimilarity Measures and One-Class Classification. - Hamidreza Arjmandi, Farshad Lahouti:
A Key Pre-Distribution Scheme based on Multiple Block Codes for Wireless Sensor Networks. - Mithun Chakraborty, Sanmay Das:
On Manipulation in Prediction Markets When Participants Influence Outcomes Directly. - Martín Hötzel Escardó, Paulo Oliva:
Bar Recursion and Products of Selection Functions. - Qiang Guo, Wen-Jun Song, Jian-Guo Liu:
Ultra accurate collaborative information filtering via directed user similarity. - Ciaran McCreesh, Patrick Prosser:
A Parallel Branch and Bound Algorithm for the Maximum Labelled Clique Problem. - Muhammad Imran, Carlos Castillo, Fernando Diaz, Sarah Vieweg:
Processing Social Media Messages in Mass Emergency: A Survey. - Seungyeon Kim, Haesun Park, Guy Lebanon:
Fast Spammer Detection Using Structural Rank. - Weinan Zhang, Shuai Yuan, Jun Wang:
Real-Time Bidding Benchmarking with iPinYou Dataset. - Masaaki Nagahara, Hampei Sasahara, Kazunori Hayashi, Yutaka Yamamoto:
Sampled-Data H-infinity Design of Coupling Wave Cancelers in Single-Frequency Full-Duplex Relay Stations. - Andrew J. Barry, Russ Tedrake:
Pushbroom Stereo for High-Speed Navigation in Cluttered Environments. - Xuegui Song, Julian Cheng, Mohamed-Slim Alouini
:
High SNR BER Comparison of Coherent and Differentially Coherent Modulation Schemes in Lognormal Fading Channels. - Md. Selim Al Mamun, David Menville:
Quantum Cost Optimization for Reversible Sequential Circuit. - Md. Selim Al Mamun, Indrani Mandal, Md. Hasanuzzaman:
Efficient Design of Reversible Sequential Circuit. - Yonathan Murin, Ron Dabora, Deniz Gündüz:
On Joint Source-Channel Coding for Correlated Sources Over Multiple-Access Relay Channels. - Asish Mukhopadhyay, Puspal Bhabak:
A 3-factor approximation algorithm for a Minimum Acyclic Agreement Forest on k rooted, binary phylogenetic trees. - Neelima Gupte, Ajay Deep Kachhvah:
Transmission of packets on a hierarchical network: Avalanches, statistics and explosive percolation. - Tanmay Sinha, Patrick Jermann, Nan Li, Pierre Dillenbourg:
Your click decides your fate: Leveraging clickstream patterns in MOOC videos to infer students' information processing and attrition behavior. - Tanmay Sinha:
Who negatively influences me? Formalizing diffusion dynamics of negative exposure leading to student attrition in MOOCs. - Nilesh Khambekar, Chad M. Spooner, Vipin Chaudhary:
Maximizing Spectrum Availability and Exploitation: How to Maximize Spectrum Sharing Benefits to the Incumbents? - Alexandra Lukyanchuk, Vladimir V. Rybakov:
Linear Intransitive Temporal Logic of Knowledge LTK_r, Decision Algorithms, Inference Rules. - Lorenzo Livi, Alireza Sadeghian:
Data Granulation By the Principles of Uncertainty. - Tanmay Sinha:
"Your click decides your fate": Leveraging clickstream patterns from MOOC videos to infer students' information processing & attrition behavior. - Mark O'Neill, Scott Ruoti, Kent E. Seamons, Daniel Zappala:
TLS Proxies: Friend or Foe? - Bhavya Kailkhura, Aditya Vempaty, Pramod K. Varshney:
Distributed Inference in Tree Networks using Coding Theory. - Aditya Vempaty, Hao He, Biao Chen, Pramod K. Varshney:
On Quantizer Design for Distributed Bayesian Estimation in Sensor Networks. - Tanmay Sinha, Indra Rajasingh:
Investigating substructures in goal oriented online communities: Case Study of Ubuntu IRC. - N. R. Aravind, R. B. Sandeep, Naveen Sivadasan:
On Polynomial Kernelization of $\mathcal{H}$-free Edge Deletion. - Lukasz Kowalik, Arkadiusz Socala:
Assigning channels via the meet-in-the-middle approach. - Arkadiusz Socala:
Tight lower bound for the channel assignment problem. - Clive G. Bowsher, Margaritis Voliotis:
Mutual Information and Conditional Mean Prediction Error. - Matilde Marcolli:
Principles and Parameters: a coding theory perspective. - Amir Leshem, Maziyar Hamdi, Vikram Krishnamurthy:
Boundary value problems in consensus networks. - Joseph Y. Halpern:
Defining Relative Likelihood in Partially-Ordered Preferential Structures. - Joseph Y. Halpern:
Conditional Plausibility Measures and Bayesian Networks. - Peter D. Grünwald, Joseph Y. Halpern:
Updating Probabilities. - Joseph Y. Halpern, Riccardo Pucella:
Reasoning about Expectation. - Joseph Y. Halpern, Riccardo Pucella:
A Logic for Reasoning about Evidence. - Peter D. Grünwald, Joseph Y. Halpern:
When Ignorance is Bliss. - Joseph Y. Halpern, Riccardo Pucella:
Evidence with Uncertain Likelihoods. - Peter D. Grünwald, Joseph Y. Halpern:
A Game-Theoretic Analysis of Updating Sets of Probabilities. - Joseph Y. Halpern, Nan Rong, Ashutosh Saxena:
MDPs with Unawareness. - João Pedro Pedroso
:
An evolutionary solver for linear integer programming. - Haris E. Psillakis:
An extension of the Georgiou-Smith example: Boundedness and attractivity in the presence of unmodelled dynamics via nonlinear PI control. - Jaroslaw Byrka, Krzysztof Sornat:
PTAS for Minimax Approval Voting. - Zhanpeng Huang, Pan Hui, Christoph Peylo:
When Augmented Reality Meets Big Data. - Jesse Shore, Benjamin Lubin:
Spectral goodness of fit for network models. - David Minguillo:
Mapping R&D support infrastructures: A scientometric and webometric study of UK science parks. - Christopher C. Lamb, Gregory L. Heileman:
Service Level Agreement Complexity: Processing Concerns for Standalone and Aggregate SLAs. - Tanmay Sinha, Ankit Banka, Dae-Ki Kang:
Leveraging user profile attributes for improving pedagogical accuracy of learning pathways. - Ahmed El Shafie, Mahmoud Ashour, Tamer Khattab, Amr Mohamed:
On Spectrum Sharing Between Energy Harvesting Cognitive Radio Users and Primary Users. - Keren Cohavi, Shahar Dobzinski:
Faster and Simpler Sketches of Valuation Functions. - David A. McAllester:
Implementation and Abstraction in Mathematics. - Zeljko Carevic, Philipp Mayr:
Recommender Systems using Pennant Diagrams in Digital Libraries. - Mahdi Nasrullah Al-Ameen, S. M. Taiabul Haque, Matthew K. Wright:
Q-A: Towards the Solution of Usability-Security Tension in User Authentication. - Eric Aaron, Danny Krizanc, Elliot Meyerson:
DMVP: Foremost Waypoint Coverage of Time-Varying Graphs. - Eric Horvitz, David Heckerman:
Modular Belief Updates and Confusion about Measures of Certainty in Artificial Intelligence Research. - Krzysztof Drewniak, Joseph Helsing, Armin R. Mikler:
A Method for Reducing the Severity of Epidemics by Allocating Vaccines According to Centrality. - Kareem Amin, Rachel Cummings, Lili Dworkin, Michael J. Kearns, Aaron Roth:
Online Learning and Profit Maximization from Revealed Preferences. - Amy Nicole Langville, Carl Dean Meyer, Russell Albright, James Cox, David Duling:
Algorithms, Initializations, and Convergence for the Nonnegative Matrix Factorization. - Xiaoming Chen, Chau Yuen, Zhaoyang Zhang:
Exploiting Large-Scale MIMO Techniques for Physical Layer Security with Imperfect Channel State Information. - Luca Spalazzi, Francesco Spegni:
Parameterized Model-Checking for Timed-Systems with Conjunctive Guards (Extended Version). - Pawan Patidar, Himanshu Raghuvanshi, Sayan Sarcar:
Quickpie: An Interface for Fast and Accurate Eye Gazed based Text Entry. - Wu-Chen Su:
A Preliminary Survey of Knowledge Discovery on Smartphone Applications (apps): Principles, Techniques and Research Directions for E-health. - Reza Shoja Ghiass, Ognjen Arandjelovic, Hakim Bendada, Xavier Maldague:
A unified framework for thermal face recognition. - Xilun Chen, Chenxia Wu:
Price of Anarchy of Innovation Diffusion in Social Networks. - Arnold Wiliem, Peter Hobson, Brian C. Lovell:
Discovering Discriminative Cell Attributes for HEp-2 Specimen Image Classification. - Qingbo Kang, Ke Li, Jichun Yang:
A Digital Watermarking Approach Based on DCT Domain Combining QR Code and Chaotic Theory. - Shenggen Zheng, Daowen Qiu:
From Quantum Query Complexity to State Complexity. - Dennis Guck, Hassan Hatefi, Holger Hermanns
, Joost-Pieter Katoen
, Mark Timmer:
Analysis of Timed and Long-Run Objectives for Markov Automata. - Yannis Haralambous, Philippe Lenca:
Text Classification Using Association Rules, Dependency Pruning and Hyperonymization. - Amelie Chi Zhou, Bingsheng He, Shadi Ibrahim:
A Taxonomy and Survey on eScience as a Service in the Cloud. - Vadim E. Levit, Eugen Mandrescu:
Critical Independent Sets of a Graph. - José Ramón Padilla-López, Alexandros André Chaaraoui, Francisco Flórez-Revuelta
:
A discussion on the validation tests employed to compare human action recognition methods using the MSR Action3D dataset. - Farshad Merrikh-Bayat:
A Numerical Optimization Algorithm Inspired by the Strawberry Plant. - Qi Chen, Raymond W. Yeung:
Partition-Symmetrical Entropy Functions. - Nabarun Mondal, Partha P. Ghosh:
'Almost Sure' Chaotic Properties of Machine Learning Methods. - Michal Karpinski:
Vertex 2-coloring without monochromatic cycles. - Bho Matthiesen, Alessio Zappone, Eduard A. Jorswieck:
Spectral and Energy Efficiency in 3-Way Relay Channels with Circular Message Exchanges. - Saurabh Joshi, Daniel Kroening:
Property-Driven Fence Insertion using Reorder Bounded Model Checking. - Heechul Yun:
Parallelism-Aware Memory Interference Delay Analysis for COTS Multicore Systems. - Xinquan Chen:
A Fast Synchronization Clustering Algorithm. - Vasileios Iliopoulos:
A note on multipivot Quicksort. - Mehrdad Khaledi, Mojgan Khaledi, Hamid Reza Rabiee:
An Optimal Game Theoretical Framework for Mobility Aware Routing in Mobile Ad hoc Networks. - Divjyot Sethi, Muralidhar Talupur, Sharad Malik:
Using Flow Specifications of Parameterized Cache Coherence Protocols for Verifying Deadlock Freedom. - Robert F. Erbacher, Trent Jaeger, Nirupama Talele, Jason Teutsch:
Directed Multicut with linearly ordered terminals. - Lluis Gomez i Bigorda, Dimosthenis Karatzas:
A Fast Hierarchical Method for Multi-script and Arbitrary Oriented Scene Text Extraction. - Zhenqiu Liu, Gang Li:
Efficient Regularized Regression for Variable Selection with L0 Penalty. - Lorenzo Livi, Alireza Sadeghian, Witold Pedrycz:
Entropic One-Class Classifier. - Lorenzo Livi, Alessandro Giuliani, Antonello Rizzi:
Toward a Multilevel Representation of Protein Molecules: Comparative Approaches to the Aggregation/Folding Propensity Problem. - Anders Blaabjerg Lange, Ulrik Pagh Schultz, Anders Stengaard Sørensen:
Towards Automatic Migration of ROS Components from Software to Hardware. - David Fernández-Duque, Valentin Goranko:
Secure aggregation of distributed information. - Danushka Bollegala:
Dynamic Feature Scaling for Online Learning of Binary Classifiers. - Jinyuan Chen, Ayfer Özgür, Suhas N. Diggavi:
Feedback through Overhearing. - Maciej Zielenkiewicz, Aleksy Schubert, Jacek Chrzaszcz:
On multiply-exponential write-once Turing machines. - Vijay Kamble, Jean C. Walrand:
Strategyproof Mechanisms for Purchasing a Shared Resource. - Masahiro Kaminaga, Hideki Yoshikawa, Toshinori Suzuki:
Double Counting in $2^t$-ary RSA Precomputation Reveals the Secret Exponent. - Viet Hang Nguyen:
Induced matchings in graphs of degree at most 4. - Deepak Ranjan Nayak, Prashanta Kumar Patra, Amitav Mahapatra:
A Survey on Two Dimensional Cellular Automata and Its Application in Image Processing. - Tobias Sutter, David Sutter, Peyman Mohajerin Esfahani, John Lygeros:
Efficient Approximation of Channel Capacities. - Uriel Feige, Tomer Koren, Moshe Tennenholtz:
Chasing Ghosts: Competing with Stateful Policies. - Qianqian Xu, Ming Yan, Yuan Yao:
Fast Adaptive Least Trimmed Squares for Robust Evaluation of Quality of Experience. - Tobias Harks, Max Klimm, Britta Peis:
Resource Competition on Integral Polymatroids. - Evripidis Bampis, Dimitrios Letsios, Giorgio Lucarelli:
Speed-scaling with no Preemptions. - Dogan Corus, Duc-Cuong Dang, Anton V. Eremeev, Per Kristian Lehre:
Level-based Analysis of Genetic Algorithms and other Search Processes. - Norbert Zsak, Christian Wolff:
Impact of video quality and wireless network interface on power consumption of mobile devices. - Dragan Bosnacki, Stefan Edelkamp, Alberto Lluch-Lafuente
, Anton Wijs:
Proceedings 3rd Workshop on GRAPH Inspection and Traversal Engineering, GRAPHITE 2014, Grenoble, France, 5th April 2014. EPTCS 159, 2014 [contents] - Ulas Ayaz, Sjoerd Dirksen, Holger Rauhut:
Uniform recovery of fusion frame structured sparse signals. - Zohaib Khan:
Hyperspectral Imaging and Analysis for Sparse Reconstruction and Recognition. - Emanuele Frontoni, Marco Baldi, Primo Zingaretti, Vincenzo Landro, Paolo Misericordia:
Security issues for data sharing and service interoperability in eHealth systems: the Nu.Sa. test bed. - Lynda Sellami, Djilali Idoughi, Abderrahmane Baadache:
Intrusions Detection System Based on Ubiquitous Network Nodes. - Joaquin Vanschoren, Jan N. van Rijn, Bernd Bischl, Luís Torgo
:
OpenML: networked science in machine learning. - Paolo Boldi, Irene Crimaldi, Corrado Monti:
A Network Model characterized by a Latent Attribute Structure with Competition. - Vlasis Barousis, Mohammad Ali Sedaghat, Ralf R. Müller, Constantinos B. Papadias:
Massive Antenna Arrays with Low Front-End Hardware Complexity: An Enabling Technology for the Emerging Small Cell and Distributed Network Architectures. - Xiangju Qin, Derek Greene, Pádraig Cunningham:
A Latent Space Analysis of Editor Lifecycles in Wikipedia. - Ke Ding, Ying Tan:
A CUDA-Based Real Parameter Optimization Benchmark. - Rachel Cummings, Michael J. Kearns, Aaron Roth, Zhiwei Steven Wu:
Privacy and Truthful Equilibrium Selection for Aggregative Games. - Fabrício Olivetti de França:
A Hash-based Co-Clustering Algorithm for Categorical Data. - Amey Bhangale, Swastik Kopparty, Sushant Sachdeva:
Simultaneous Approximation of Constraint Satisfaction Problems. - Tao Han, Nirwan Ansari:
A Traffic Load Balancing Framework for Software-defined Radio Access Networks Powered by Hybrid Energy Sources. - Kent Tsz Kan Cheung, Shaoshi Yang, Lajos Hanzo:
Spectral and Energy Spectral Efficiency Optimization of Joint Transmit and Receive Beamforming Based Multi-Relay MIMO-OFDMA Cellular Networks. - Martin E. Dyer, Leslie Ann Goldberg, David Richerby:
Counting 4×4 Matrix Partitions of Graphs. - Jason Crampton, James Sellwood:
Caching and Auditing in the RPPM Model. - Mauro Conti, Luigi V. Mancini, Riccardo Spolaor, Nino Vincenzo Verde:
Can't you hear me knocking: Identification of user actions on Android apps via traffic analysis. - Loet Leydesdorff, Lutz Bornmann:
The Operationalization of "Fields" as WoS Subject Categories (WCs) in Evaluative Bibliometrics: The cases of "Library and Information Science" and "Science & Technology Studies". - Guy Even, Moti Medina, Dana Ron:
Distributed Maximum Matching in Bounded Degree Graphs. - Grigory Yaroslavtsev:
Going for Speed: Sublinear Algorithms for Dense r-CSPs. - Subhash Lakshminarayana, Tony Q. S. Quek, H. Vincent Poor:
Cooperation and Storage Tradeoffs in Power-Grids with Renewable Energy Resources. - Cameron T. Chalk, Dominic A. Fernandez, Alejandro Huerta, Mario A. Maldonado, Robert T. Schweller, Leslie Sweet:
Strict Self-Assembly of Fractals using Multiple Hands. - Yoshua Bengio:
How Auto-Encoders Could Provide Credit Assignment in Deep Networks via Target Propagation. - Luis Barba, Pat Morin:
Top-Down Skiplists. - Antoine Deza, Kai Huang, Michael R. Metel:
Chance Constrained Optimization for Targeted Internet Advertising. - Gijs Kant, Jaco van de Pol:
Generating and Solving Symbolic Parity Games. 2-14 - Maribel Fernández
, Hélène Kirchner, Bruno Pinaud
:
Strategic Port Graph Rewriting: An Interactive Modelling and Analysis Framework. 15-29 - Roi Blanco, Paolo Boldi
, Andrea Marino
:
Entity-Linking via Graph-Distance Minimization. 30-43 - Giorgio Delzanno, Arend Rensink, Riccardo Traverso:
Graph- versus Vector-Based Analysis of a Consensus Protocol. 44-57 - William Mansky, Dennis Griffith, Elsa L. Gunter:
Specifying and Executing Optimizations for Parallel Programs. 58-70 - Steffen Ziegert:
Graph Transformation Planning via Abstraction. 71-83 - Valerio Senni
, Michele Stawowy:
Backwards State-space Reduction for Planning in Dynamic Knowledge Bases. 84-99 - Maria-Florina Balcan, Amit Daniely, Ruta Mehta, Ruth Urner, Vijay V. Vazirani:
Learning Economic Parameters from Revealed Preferences. - Oded Kafri:
Information Theoretic Approach to Social Networks. - Yasser El Madani El Alami, El Habib Nfaoui, Omar El Beqqali:
Multi-agents Architecture for Semantic Retrieving Video in Distributed Environment. - Lin Chen, Nicole Megow, Kevin Schewior:
New Results on Online Resource Minimization. - Tony McBryan, Karen Renaud, J. Paul Siebert:
An Investigation into the use of Images as Password Cues. - Karen Renaud, Judith Ramsay:
How Helpful is Colour-Cueing of PIN Entry? - Lutz Bornmann:
Alternative metrics in scientometrics: A meta-analysis of research into three altmetrics. - Assaf Ben-Yishai, Ofer Shayevitz:
The Gaussian Channel with Noisy Feedback: Near-Capacity Performance via Simple Interaction. - Jonathan L. Gross, Michal Kotrbcík, Timothy Sun:
Genus Distributions of cubic series-parallel graphs. - Steve Miller, Joshua D. Knowles:
Population Fluctuation Promotes Cooperation in Networks. - Sven Müelich, Sven Puchinger, Martin Bossert, Matthias Hiller
, Georg Sigl:
Error Correction for Physical Unclonable Functions Using Generalized Concatenated Codes. - Fariba Karimi, Verónica C. Ramenzoni, Petter Holme:
Structural differences between open and direct communication in an online community. - Nicolò Facchi, Francesco Gringoli, Fabio Ricciato, Andrea Toma:
Emitter Localisation from Reception Timestamps in Asynchronous Networks. - Yuan Zhu:
New Algebraic Soft Decision Decoding Algorithm for Reed-Solomon Code. - Alejandro Edera, Yanela Strappa, Facundo Bromberg:
The Grow-Shrink strategy for learning Markov network structures constrained by context-specific independences. - John D. Jakeman, Michael S. Eldred, Khachik Sargsyan:
Enhancing ℓ1-minimization estimates of polynomial chaos expansions using basis selection. - Dibya Jyoti Bora, Anil Kumar Gupta:
Clustering Approach Towards Image Segmentation: An Analytical Study. - T. R. Gopalakrishnan Nair, Richa Sharma:
Merging and Shifting of Images with Prominence Coefficient for Predictive Analysis using Combined Image. - Sambhu Charan Barman
, Sukumar Mondal, Madhumangal Pal:
Computation of a Tree 3-Spanner on Trapezoid Graphs. - Luca Maria Aiello, Martina Deplano, Rossano Schifanella, Giancarlo Ruffo:
People are Strange when you're a Stranger: Impact and Influence of Bots on Social Networks. - Julian Shun:
Parallel Wavelet Tree Construction. - Binbin Lin, Qingyang Li, Qian Sun, Ming-Jun Lai, Ian Davidson, Wei Fan, Jieping Ye:
Stochastic Coordinate Coding and Its Application for Drosophila Gene Expression Pattern Annotation. - Fabio Cuzzolin:
Consistent transformations of belief functions. - Miroslav Dudík, Rafael M. Frongillo, Jennifer Wortman Vaughan:
Market Making with Decreasing Utility for Information. - Daniel Kimball, Elizabeth Michel, Paul Keltcher, Michael M. Wolf:
Quantifying the Effect of Matrix Structure on Multithreaded Performance of the SpMV Kernel. - Fidaa Abed, Ioannis Caragiannis, Alexandros A. Voudouris:
Near-optimal asymmetric binary matrix partitions. - T. R. Gopalakrishnan Nair, Richa Sharma:
Accurate merging of images for predictive analysis using combined image. - Akitoshi Kawamura, Yusuke Kobayashi:
Fence patrolling by mobile agents with distinct speeds. - Vanessa Wei Feng, Graeme Hirst:
Two-pass Discourse Segmentation with Pairing and Global Features. - Rakesh Misra, Sachin Katti:
A low-latency control plane for dense cellular networks. - Yuhan Jia, Jianping Wu, Yiman Du, Geqi Qi:
Study on FLOWSIM and its Application for Isolated Signal-ized Intersection Assessment. - Richard G. Baraniuk, Simon Foucart, Deanna Needell, Yaniv Plan, Mary Wootters:
Exponential decay of reconstruction error from binary measurements of sparse signals. - Yixuan Xie, Jinhong Yuan, Qifu Tyler Sun:
Design of Quantum Stabilizer Codes From Quadratic Residues Sets. - Hani Abdeen, Osama Shata:
Type Variability and Completeness of Interfaces in Java Applications. - Jill Slay, Fiona Schulz:
Development of an Ontology Based Forensic Search Mechanism: Proof of Concept. - Haris Aziz, Toby Walsh:
Justified Representation in Approval-Based Committee Voting. - Lifang He
, Xiangnan Kong, Philip S. Yu, Ann B. Ragin, Zhifeng Hao, Xiaowei Yang:
DuSK: A Dual Structure-preserving Kernel for Supervised Tensor Learning with Applications to Neuroimages. - Moritz Kobitzsch, Samitha Samaranayake, Dennis Schieferdecker:
Pruning Techniques for the Stochastic on-time Arrival Problem\texorpdfstring - An Experimental Study. - Chen Feng, Hong Xu, Baochun Li:
An Alternating Direction Method Approach to Cloud Traffic Management. - Sung-Hsien Hsieh, Chun-Shien Lu, Soo-Chang Pei:
Sparse Fast Fourier Transform for Exactly and Generally K-Sparse Signals by Downsampling and Sparse Recovery. - Aftab Ahmed Chandio, Dingju Zhu, Ali Hassan Sodhro, Muhammad Umer Syed:
An Implementation of Web Services for Inter-Connectivity of Information Systems. - Pinyan Lu, Tao Xiao:
Improved Efficiency Guarantees in Auctions with Budgets. - G. Vishnu Murthy, Pavan Kumar C., Vakulabharanam Vijaya Kumar:
A New Model of Array Grammar for generating Connected Patterns on an Image Neighborhood. - Wei Chen, Yajun Wang, Yang Yuan:
Combinatorial Multi-Armed Bandit and Its Extension to Probabilistically Triggered Arms. - Waldir Aranha Moreira Junior, Paulo Mendes:
Social-aware Forwarding in Opportunistic Wireless Networks: Content Awareness or Obliviousness? - Ahmed Wagdy, Amr El-Keyi, Tamer Khattab, Mohammed Nafie:
On the Degrees of Freedom of SISO X-Channel with Alternating CSIT. - Waldir Aranha Moreira Junior, Ronedo Ferreira, Douglas Cirqueira, Paulo Mendes, Eduardo Cerqueira:
SocialDTN: A DTN implementation for Digital and Social Inclusion. - Marc Torrellas, Adrian Agustin, Josep Vidal, Olga Muñoz:
The DoF of the 3-user ($p, p+1$) MIMO Interference Channel. - Waldir Aranha Moreira Junior, Paulo Mendes, Susana Sargento:
Social-aware Opportunistic Routing Protocol based on User's Interactions and Interests. - Mohammad Dehghan Bahabadi, Alireza Hashemi Golpayegani, Leila Esmaeili:
A Novel C2C E-Commerce Recommender System Based on Link Prediction: Applying Social Network Analysis. - Waldir A. Moreira, Paulo Mendes, Susana Sargento:
Opportunistic Routing Based on Daily Routines. - Waldir A. Moreira, Paulo Mendes, Susana Sargento:
Assessment Model for Opportunistic Routing (LatinCom). - Mathias Weller:
Optimal Hub Labeling is NP-complete. - N. R. Shashi Kumar, T. R. Gopalakrishnan Nair, V. Suma:
SLI, a New Metric to determine Success of a Software Project. - Corentin Briat, Alexandre Seuret:
On the completeness of looped-functionals arising in the analysis of periodic, sampled-data and hybrid systems. - Gagan Sidhu
, Brian Caffo:
MONEYBaRL: Exploiting pitcher decision-making using Reinforcement Learning. - João Pedro Pedroso
, Yves Smees:
Equilibria on a Game with Discrete Variables. - Jin Sima, Wei Chen:
Joint Network and Gelfand-Pinsker Coding for 3-Receiver Gaussian Broadcast Channels with Receiver Message Side Information. - Waldir A. Moreira, Paulo Mendes:
Social-aware Opportunistic Routing: The New Trend. - Pierre Bertrand, Christoph Lenzen:
The 1-2-3-Toolkit for Building Your Own Balls-into-Bins Algorithm. - Jingge Zhu, Michael Gastpar:
Multiple Access via Compute-and-Forward. - Gerardo Gómez, Francisco Javier López-Martínez, David Morales-Jiménez, Matthew R. McKay
:
On the Equivalence between Interference and Eavesdropping in Wireless Communications. - Sayan Bandyapadhyay, Aritra Banik, Sandip Das, Hirak Sarkar:
Voronoi Game on Graphs. - Sabyasachi Mukhopadhyay, Debadatta Dash, Asish Mitra, Paritosh Bhattacharya:
A comparative study between seasonal wind speed by Fourier and Wavelet analysis. - Jun Yang, Il-Min Kim, Dong In Kim:
Joint Design of Optimal Cooperative Jamming and Power Allocation for Linear Precoding. - Amal Farag, Le Lu, Evrim Turkbey, Jiamin Liu, Ronald M. Summers:
A Bottom-Up Approach for Automatic Pancreas Segmentation in Abdominal CT Scans. - Chirag Nagpal, Khushboo Singhal:
Twitter User Classification using Ambient Metadata. - Cesare Alippi, Maurizio Bocca, Giacomo Boracchi, Neal Patwari, Manuel Roveri:
RTI Goes Wild: Radio Tomographic Imaging for Outdoor People Detection and Localization. - Awais Khawar, Ahmed Abdel-Hadi, T. Charles Clancy:
QPSK Waveform for MIMO Radar with Spectrum Sharing Constraints. - Suryakant B. Patil, Vijay S. Suryawanshi, Dipali V. Suryawanshi, Preeti S. Patil:
Integrated ERP System for Improving the Functional efficiency of the organization by Customized Architecture. - Roberto Rigamonti, Vincent Lepetit, Pascal Fua:
Beyond KernelBoost. - Nicolas Bousquet, Sergey Norin, Adrian Vetta:
A Near-Optimal Mechanism for Impartial Selection. - Michael L. Winterrose, Kevin M. Carter, Neal Wagner, William W. Streilein:
Adaptive Attacker Strategy Development Against Moving Target Cyber Defenses. - Filipe Campos
, José Pereira
:
Improving the Scalability of DPWS-Based Networked Infrastructures. - François Le Gall:
Improved Quantum Algorithm for Triangle Finding via Combinatorial Arguments. - Nam Nguyen, Deanna Needell, Tina Woolf:
Linear Convergence of Stochastic Iterative Greedy Algorithms with Sparse Constraints. - Lijun Sun, Jian Gang Jin, Kay W. Axhausen, Der-Horng Lee, Manuel Cebrián:
Quantifying long-term evolution of intra-urban spatial interactions. - Daniel Hernández-Lobato, Viktoriia Sharmanska
, Kristian Kersting, Christoph H. Lampert, Novi Quadrianto:
Mind the Nuisance: Gaussian Process Classification using Privileged Noise. - Filipi Nascimento Silva, Cesar H. Comin, Thomas K. D. M. Peron, Francisco Aparecido Rodrigues, Cheng Ye, Richard C. Wilson, Edwin R. Hancock, Luciano da F. Costa:
Concentric Symmetry. - Anna Helga Jónsdóttir, Gunnar Stefansson:
Using an Online Learning Environment to Teach an Undergraduate Statistics Course: the tutor-web. - Marco Pretti:
Lowering the error floor of Gallager codes: a statistical-mechanical view. - Emiliano Dall'Anese, Sairaj V. Dhople, Brian B. Johnson, Georgios B. Giannakis:
Optimal Dispatch of Residential Photovoltaic Inverters Under Forecasting Uncertainties. - Fabrice Rossi:
How Many Dissimilarity/Kernel Self Organizing Map Variants Do We Need? - Marc Boullé, Romain Guigourès, Fabrice Rossi:
Nonparametric Hierarchical Clustering of Functional Data. - Moritz Firsching:
Computing maximal copies of polytopes contained in a polytope. - Yang Cao, Yao Xie:
Low-rank matrix recovery in Poisson noise. - Ioannis C. Konstantakopoulos, Lillian J. Ratliff, Ming Jin, S. Shankar Sastry, Costas J. Spanos:
Social Game for Building Energy Efficiency: Utility Learning, Simulation, and Analysis. - S. Boccaletti, Ginestra Bianconi, Regino Criado, Charo I. Del Genio, Jesús Gómez-Gardeñes, Miguel Romance, Irene Sendiña-Nadal, Z. Wang, Massimiliano Zanin:
The structure and dynamics of multilayer networks. - Guoyin Li, Ting Kei Pong:
Splitting methods for nonconvex composite optimization. - Wei Wang, Ming Tang, Hai-Feng Zhang, Hui Gao, Younghae Do, Zonghua Liu:
Epidemic spreading on complex networks with general degree and weight distributions. - Haiping Huang:
Code optimization, frozen glassy phase and improved decoding algorithms for low-density parity-check codes. - Ekaterina Svetlova, Henk van Elst:
Decision-theoretic approaches to non-knowledge in economics. - Tsirizo Rabenoro, Jérôme Lacaille, Marie Cottrell, Fabrice Rossi:
Anomaly Detection Based on Indicator Aggregation. - Pascal Bianchi, Walid Hachem, Franck Iutzeler:
A Stochastic Coordinate Descent Primal-Dual Algorithm and Applications to Large-Scale Composite Optimization. - Carlo Dal Maso, Gabriele Pompa, Michelangelo Puliga, Gianni Riotta, Alessandro Chessa:
Voting Behavior, Coalitions and Government Strength through a Complex Network Analysis. - Frank Lenzen, Jan Lellmann, Florian Becker, Christoph Schnörr:
Solving QVIs for Image Restoration with Adaptive Constraint Sets. - Vance Faber:
Transpose on vertex symmetric digraphs. - Despina Stasi, Kayvan Sadeghi, Alessandro Rinaldo, Sonja Petrovic, Stephen E. Fienberg:
β models for random hypergraphs with a given degree sequence. - Rudy Cepeda-Gomez, Nejat Olgaç:
A Consensus Protocol under Directed Communications with Two Time Delays and Delay Scheduling. - Borut Luzar, Zoran Levnajic, Janez Povh, Matjaz Perc:
Community structure and the evolution of interdisciplinarity in Slovenia's scientific collaboration network. - Theja Tulabandhula, Cynthia Rudin:
Robust Optimization using Machine Learning for Uncertainty Sets. - Zhijian Wang, Bin Xu:
Incentive and stability in the Rock-Paper-Scissors game: an experimental investigation. - Felipe Llinares, Mahito Sugiyama, Karsten M. Borgwardt:
Identifying Higher-order Combinations of Binary Features. - Andrey Y. Lokhov, Marc Mézard, Lenka Zdeborová:
Dynamic message-passing equations for models with unidirectional dynamics. - E. O. Asante-Asamani, Lei Wang, Zeyun Yu:
A Cylindrical Radial Basis Function for Solving Partial Differential Equations on Manifolds. - Hung D. Nguyen, Konstantin S. Turitsyn:
Voltage Multistability and Pulse Emergency Control for Distribution System with Power Flow Reversal. - Maria Axenovich, Enrica Cherubini, Torsten Ueckerdt:
Spectrum of mixed bi-uniform hypergraphs. - Mahdi Kefayati, Ross Baldick:
Optimal Policies for Simultaneous Energy Consumption and Ancillary Service Provision for Flexible Loads under Stochastic Prices and No Capacity Reservation Constraint. - Tuomo Valkonen:
The jump set under geometric regularisation. Part 1: Basic technique and first-order denoising. - Katherine E. Fitch, Naomi Ehrich Leonard:
Joint Centrality Distinguishes Optimal Leaders in Noisy Networks. - Sivaram Ambikasaran, Eric Darve:
The Inverse Fast Multipole Method. - Elchanan Mossel, Joe Neeman, Allan Sly:
Consistency Thresholds for Binary Symmetric Block Models. - Kim Batselier, Haotian Liu, Ngai Wong:
A Constructive Algorithm for Decomposing a Tensor into a Finite Sum of Orthonormal Rank-1 Terms. - Samuel Vaiter, Gabriel Peyré, Jalal Fadili:
Low Complexity Regularization of Linear Inverse Problems. - Eilyan Bitar, Yunjian Xu:
Deadline Differentiated Pricing of Delay-Tolerant Demand. - Ginestra Bianconi, Richard K. Darst, Jacopo Iacovacci, Santo Fortunato:
Triadic closure as a basic generating mechanism of the structure of complex networks. - Martin Milanic, Nicolas Trotignon:
Equistarable graphs and counterexamples to three conjectures on equistable graphs. - Thomas Möllenhoff, Evgeny Strekalovskiy, Michael Möller, Daniel Cremers:
The Primal-Dual Hybrid Gradient Method for Semiconvex Splittings. - Tanja Zerenner, Victor Venema, Petra Friederichs, Clemens Simmer:
Downscaling near-surface atmospheric fields with multi-objective Genetic Programming. - Jakub Bulin:
On the complexity of $\mathbb H$-coloring for special oriented trees. - Antony Schutz, André Ferrari, David Mary, Ferréol Soulez, Éric Thiébaut, Martin Vannier:
PAINTER: a spatio-spectral image reconstruction algorithm for optical interferometry. - Luz Elimar Marchan, Oscar Ordaz, Irene Santos, Wolfgang A. Schmid:
Multi-wise and constrained fully weighted Davenport constants and interactions with coding theory. - Olesya Mryglod, Benedikt Fuchs, Michael Szell, Yurij Holovatch, Stefan Thurner:
Interevent time distributions of human multi-level activity in a virtual world. - Michele Conforti, Alberto Del Pia, Marco Di Summa, Yuri Faenza:
Reverse Split Rank. - Pavel Klavík, Peter Zeman:
Automorphism Groups of Geometrically Represented Graphs. - John C. Lang, Daniel M. Abrams, Hans De Sterck:
The influence of societal individualism on a century of tobacco use: modelling the prevalence of smoking. - Simon DeDeo:
Group Minds and the Case of Wikipedia. - Tuomo Valkonen:
The jump set under geometric regularisation. Part 2: Higher-order approaches. - Jin-Li Guo, Qi Suo:
Brand effect versus competitiveness in hypernetworks. - Shyam Visweswaran, Gregory F. Cooper:
Counting Markov Blanket Structures. - Lloyd Wood, Yuxuan Lou, Opeoluwa Olusola:
Revisiting elliptical satellite orbits to enhance the O3b constellation. - Lior Weizman, Yonina C. Eldar, Dafna Ben-Bashat:
The application of Compressed Sensing for Longitudinal MRI. - Daniel Murfet:
Logic and linear algebra: an introduction. - Ilya O. Ryzhov, Peter I. Frazier, Warren B. Powell:
A New Optimal Stepsize For Approximate Dynamic Programming. - Majid Zamani, Alessandro Abate, Antoine Girard:
Symbolic Models for Stochastic Switched Systems: A Discretization and a Discretization-Free Approach. - Przemyslaw Gawronski, M. Nawojczyk, Krzysztof Kulakowski:
Opinion formation in an open system and the spiral of silence. - Laurent Busé
, Anna Karasoulou:
Resultant of an equivariant polynomial system with respect to the symmetric group. - Monique Laurent, Matteo Seminaroti:
The Quadratic Assignment Problem is easy for Robinsonian Matrices. - T. Tony Cai, Ming Yuan:
Rate-Optimal Detection of Very Short Signal Segments. - Matthew F. Brown:
Quantum Dynamics, Minkowski-Hilbert space, and A Quantum Stochastic Duhamel Principle. - Alex Olshevsky:
Minimum Input Selection for Structural Controllability. - Paul Honeine:
An eigenanalysis of data centering in machine learning. - Bhavin J. Shastri, Alexander N. Tait, Mitchell A. Nahmias, Paul R. Prucnal:
Photonic spike processing: ultrafast laser neurons and an integrated photonic network. - Joachim von zur Gathen, Konstantin Ziegler:
Survey on counting special types of polynomials. - Tomoyoshi Shimobaba, Michal Makowski, Takashi Kakue, Naohisa Okada, Yutaka Endo, Ryuji Hirayama, Daisuke Hiyama, Satoki Hasegawa, Yuki Nagahama, Tomoyoshi Ito:
Numerical investigation of lensless zoomable holographic multiple projections to tilted planes. - Jérôme Renault, Bruno Ziliotto:
Hidden Stochastic Games and Limit Equilibrium Payoffs. - (Withdrawn) Pushdown automata, lambda-graph systems and C*-algebras.
- Markus Demleitner, Gretchen Greene, Pierre Le Sidaner, Raymond L. Plante:
The Virtual Observatory Registry. - Jesús Martínez-Mateo, Christoph Pacher, Momtchil Peev, Alex Ciurana, Vicente Martín:
Demystifying the Information Reconciliation Protocol Cascade. - Stefan Wager, William Fithian, Sida Wang, Percy Liang:
Altitude Training: Strong Bounds for Single-Layer Dropout. - Camellia Sarkar, Sarika Jalan:
Patterns revealed through weighted networks: A random matrix theory relation. - Kezhi Li, Martin Sundin, Cristian R. Rojas, Saikat Chatterjee, Magnus Jansson:
Alternating Strategies Are Good For Low-Rank Matrix Reconstruction. - Igor Melnyk, Arindam Banerjee:
A Spectral Algorithm for Inference in Hidden Semi-Markov Models. - Cássio Sozinho Amorim:
Bourdieu Dynamics of Fields from a Modified Axelrod Model. - Ross J. Kang, Tobias Müller, Douglas B. West:
On r-dynamic Coloring of Grids. - Peter J. Gawthrop, Henrik Gollee, Ian Loram:
Intermittent Control in Man and Machine. - Milán Mosonyi, Tomohiro Ogawa:
The strong converse rate of quantum hypothesis testing for correlated quantum states. - Akshay Krishnamurthy, Aarti Singh:
On the Power of Adaptivity in Matrix Completion and Approximation. - David Cariolaro, Zhaiming Shen, Yi Zhang:
Group Testing with Pools of Fixed Size. - Aixian Zhang, Keqin Feng:
A New Criterion on Normal Bases of Finite Field Extensions. - Paolo Anagnostou, Marco Capocasa, Nicola Milia, Emanuele Sanna, Daniela Luzi, Giovanni Destro Bisol:
When data sharing gets close to 100%: what ancient human DNA studies can teach the Open Science movement. - Luciano Pandolfi:
Cosine operator and controllability of the wave equation with memory revisited. - Dan Betea, Cédric Boutillier, Jérémie Bouttier, Guillaume Chapuy, Sylvie Corteel, Mirjana Vuletic:
Perfect sampling algorithm for Schur processes. - Bryan O'Gorman, Alejandro Perdomo-Ortiz, Ryan Babbush, Alán Aspuru-Guzik, Vadim Smelyanskiy:
Bayesian Network Structure Learning Using Quantum Annealing. - Sylvain Arlot, Robin Genuer:
Analysis of purely random forests bias. - Bartosz Walczak:
Minors and dimension. - Cameron Mura:
Ten Simple Rules for Creating Biomolecular Graphics. - Hamza Fawzi, João Gouveia, Pablo A. Parrilo, Richard Z. Robinson, Rekha R. Thomas:
Positive semidefinite rank. - L. du Buisson, N. Sivanandam, B. A. Bassett, M. Smith:
Machine Learning Classification of SDSS Transient Survey Images. - Chaogui Kang, Yu Liu, Lun Wu:
Delineating Intra-Urban Spatial Connectivity Patterns by Travel-Activities: A Case Study of Beijing, China. - Laurent Bienvenu, Alexander Shen:
K-trivial, K-low and MLR-low sequences: a tutorial. - Hiroyuki Shimoji, Masato S. Abe, Kazuki Tsuji, Naoki Masuda:
Global network structure of dominance hierarchy of ant workers. - Chris Varghese, Rick Durrett:
Spatial networks evolving to reduce length. - Andrzej Jarynowski, Fco. Alejandro Lopez-Nunez, Han Fan:
How network temporal dynamics shape a mutualistic system with invasive species? - Anshumali Shrivastava, Ping Li:
In Defense of MinHash Over SimHash. - Zhaoyi Kang, Costas J. Spanos:
Sequential Logistic Principal Component Analysis (SLPCA): Dimensional Reduction in Streaming Multivariate Binary-State System. - Emilie Kaufmann, Olivier Cappé, Aurélien Garivier:
On the Complexity of Best Arm Identification in Multi-Armed Bandit Models. - Zhesi Shen, Wen-Xu Wang, Ying Fan, Zengru Di, Ying-Cheng Lai:
Reconstructing propagation networks with natural diversity and identifying hidden sources. - Leo Speidel, Renaud Lambiotte, Kazuyuki Aihara, Naoki Masuda:
Steady state and mean recurrence time for random walks on stochastic temporal networks. - Stefan Thurner, Rudolf Hanel, Bernat Corominas-Murtra:
Understanding Zipf's law of word frequencies through sample-space collapse in sentence formation. - N. Azimi-Tafreshi, Sergey N. Dorogovtsev, J. F. F. Mendes:
Organization of directed multiplex networks. - Domenico Quagliarella, Giovanni Petrone, Gianluca Iaccarino:
Optimization Under Uncertainty Using the Generalized Inverse Distribution Function. - Jonathan Kariv, Dmytro Yeroshkin:
On a Certain Cooperative Hat Game. - Jakob Ablinger, Johannes Blümlein, Clemens G. Raab, Carsten Schneider
:
Nested (inverse) binomial sums and new iterated integrals for massive Feynman diagrams. - Yin Lou, Jacob Bien, Rich Caruana, Johannes Gehrke:
Sparse Partially Linear Additive Models. - Rémi Lemonnier, Kevin Scaman, Nicolas Vayatis:
Tight Bounds for Influence in Diffusion Networks and Application to Bond Percolation and Epidemiology. - Kevin Scaman, Argyris Kalogeratos, Nicolas Vayatis:
What Makes a Good Plan? An Efficient Planning Approach to Control Diffusion Processes in Networks. - Bernard F. Meade, Christopher J. Fluke, Steven Manos, Richard O. Sinnott:
Are tiled display walls needed for astronomy? - Hang-Hyun Jo, Jari Saramäki, Robin I. M. Dunbar, Kimmo Kaski:
Dynamics of close relationships for the life-course migration. - Stefan Westerlund, Christopher Harris:
A Framework for HI Spectral Source Finding Using Distributed-Memory Supercomputing. - (Withdrawn) A Fully Distributed Reactive Power Optimization and Control Method for Active Distribution Networks.
- Noga Alon, Manu Basavaraju, L. Sunil Chandran, Rogers Mathew, Deepak Rajendraprasad:
Separation dimension of bounded degree graphs. - Oliver Schaudt, Maya Stein:
Partitioning two-coloured complete multipartite graphs into monochromatic paths. - Pulkit Agrawal, Dustin Stansbury, Jitendra Malik, Jack L. Gallant:
Pixels to Voxels: Modeling Visual Representation in the Human Brain. - Gábor Braun, Cristóbal Guzmán, Sebastian Pokutta:
Lower Bounds on the Oracle Complexity of Nonsmooth Convex Optimization via Information Theory. - Emile Richard, Guillaume Obozinski, Jean-Philippe Vert:
Tight convex relaxations for sparse matrix factorization. - Hans De Sterck, Manda Winlaw:
A Nonlinearly Preconditioned Conjugate Gradient Algorithm for Rank-R Canonical Tensor Approximation. - Cameron Mura
:
Development & Implementation of a PyMOL 'putty' Representation. - Marcin Cieslik, Zygmunt Derewenda, Cameron Mura:
Abstractions, Algorithms and Data Structures for Structural Bioinformatics in PyCogent. - Nuno Crokidakis:
A three-state kinetic agent-based model to analyze tax evasion dynamics. - Alice Allen, Judy Schmidt:
Looking before leaping: Creating a software registry. - Ilya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen, Alessandro Abate:
Quantitative model-checking of controlled discrete-time Markov processes. - Luca Ferreri, Paolo Bajardi, Mario Giacobini, Silvia Perazzo, Ezio Venturino:
Interplay of network dynamics and ties heterogeneity on spreading dynamics. - Youngmi Hur, Fang Zheng:
Prime Coset Sum: A Systematic Method for Designing Multi-D Wavelet Filter Banks with Fast Algorithms. - Danny C. Sorensen, Mark Embree:
A DEIM Induced CUR Factorization. - Kamlesh Pawar, Gary F. Egan, Jingxin Zhang:
Multichannel Compressive Sensing MRI Using Noiselet Encoding. - Mohammad Reza Gholami, Sinan Gezici, Erik G. Ström:
TW-TOA Based Positioning in the Presence of Clock Imperfections. - Alejandro Fernández Villaverde, David Henriques, Kieran Smallbone, Sophia Bongard, Joachim Schmid, Damjan Cicin-Sain, Anton Crombach, Julio Saez-Rodriguez, Klaus Mauch, Eva Balsa-Canto, Pedro Mendes
, Johannes Jaeger, Julio R. Banga:
BioPreDyn-bench: benchmark problems for kinetic modelling in systems biology. - Andreas Enge, Jérôme Milan:
Implementing cryptographic pairings at standard security levels. - Steven Thomas Smith:
Optimization Techniques on Riemannian Manifolds. - David Marangoni-Simonsen, Yao Xie:
Sequential Changepoint Approach for Online Community Detection. - Dmitri S. Pavlichin, Hideo Mabuchi:
Optical modular arithmetic. - Shi Chen, Amiyaal Ilany, Brad J. White, Michael W. Sanderson, Cristina Lanzas:
Spatial-Temporal Dynamics of High-Resolution Animal Social Networks: What Can We Learn from Domestic Animals? - Shivapratap Gopakumar, Truyen Tran, Dinh Q. Phung, Svetha Venkatesh:
Stabilizing Sparse Cox Model using Clinical Structures in Electronic Medical Records. - Nicolò Colombo, Nikos Vlassis:
Spectral Sequence Motif Discovery. - (Withdrawn) Estimates of the distance to the exact solution of parabolic problems based on local Poincaré type inequalities.
- Yingxiang Yang, Carlos Herrera, Nathan Eagle, Marta C. González:
Limits of Predictability in Commuting Flows in the Absence of Data for Calibration. - Panayotis Mertikopoulos, William H. Sandholm:
Regularized Best Responses and Reinforcement Learning in Games. - Yuejie Chi:
Subspace Learning From Bits. - Marta Sarzynska, Elizabeth A. Leicht, Gerardo Chowell, Mason A. Porter:
Null Models for Community Detection in Spatially-Embedded, Temporal Networks. - Denis S. Krotov:
Perfect codes in Doob graphs. - Daniel Martin Katz, Michael J. Bommarito II, Josh Blackman:
Predicting the Behavior of the Supreme Court of the United States: A General Approach. - Dan Yu, Suman Chakravorty:
An autoregressive (AR) model based stochastic unknown input realization and filtering technique. - Ana Sofia Rufino Ferreira, Justin Hsia, Murat Arcak, Michel M. Maharbiz, Adam P. Arkin:
Pattern Formation with a Compartmental Lateral Inhibition System. - Truyen Tran, Dinh Q. Phung, Svetha Venkatesh:
Learning Structured Outputs from Partial Labels using Forest Ensemble. - Frossie Economou, Joshua C. Hoblitt, Pat Norris:
Your data is your dogfood: DevOps in the astronomical observatory. - Michael L. Minion, Robert Speck, Matthias Bolten, Matthew Emmett, Daniel Ruprecht:
Interweaving PFASST and Parallel Multigrid. - Wuhua Hu, Wee Peng Tay:
A Generalized Diffusion Strategy for Energy-constrained Distributed Estimation. - Alexander Yu. Vlasov:
On number of nonzero cells in some two-dimensional reversible second-order cellular automata. - Petter Holme, Naoki Masuda:
The basic reproduction number as a predictor for epidemic outbreaks in temporal networks. - Antonios Garas:
Reaction-Diffusion Processes on Interconnected Scale-Free Networks. - Silvia Meakins, Uta Grothkopf, Marsha J. Bishop, Felix Stoehr, Ken Tatematsu:
Two years of ALMA bibliography - lessons learned. - Grigoriy V. Bokov:
Undecidability of the problem of recognizing axiomatizations for implicative propositional calculi. - Peilei Liu, Ting Wang:
Motor Learning Mechanism on the Neuron Scale. - Bruno Gonçalves, David Sánchez:
Crowdsourcing Dialect Characterization through Twitter. - Paul M. Riechers, Dowman P. Varn, James P. Crutchfield:
Pairwise Correlations in Layered Close-Packed Structures. - Camino Balbuena, Florent Foucaud, Adriana Hansberg:
Locating-dominating sets and identifying codes in graphs of girth at least 5. - Alan J. Cain, Robert D. Gray, António Malheiro:
On finite complete rewriting systems, finite derivation type, and automaticity for homogeneous monoids. - Jeffrey K. Wiens, John M. Stockie:
Simulating flexible fiber suspensions using a scalable immersed boundary algorithm. - Eric V. Strobl, Shyam Visweswaran:
Dependence versus Conditional Dependence in Local Causal Discovery from Gene Expression Data. - Matthew J. Zahr, Charbel Farhat:
Progressive construction of a parametric reduced-order model for PDE-constrained optimization. - Ariel Jaffe, Boaz Nadler, Yuval Kluger:
Estimating the Accuracies of Multiple Classifiers Without Labeled Data. - Jérémy Rapin, Jérôme Bobin, Anthony Larue, Jean-Luc Starck:
NMF with Sparse Regularizations in Transformed Domains. - Ryan O'Donnell:
Social choice, computational complexity, Gaussian geometry, and Boolean functions. - (Withdrawn) A Sequent Calculus for Dynamic Topological Logic.
- Pierre Rouchon:
Models and Feedback Stabilization of Open Quantum Systems. - Shikai Luo, Rui Song, Daniela M. Witten:
Sure Screening for Gaussian Graphical Models. - Ajay Deep Kachhvah
, Abhijit Sen:
Time delay enhanced synchronization in a star network of second order Kuramoto oscillators. - Raquel da Silva Cabral, Alejandro César Frery, Jaime A. Ramírez:
Variability Analysis of Complex Networks Measures based on Stochastic Distances. - Paul E. Smaldino, Joshua M. Epstein:
Social Conformity Despite Individual Preferences for Distinctiveness. - Yuichiro Fujiwara:
Using arbitrary parity-check matrices for quantum error correction assisted by less noisy qubits. - Daniel J. Katz:
Divisibility of Weil Sums of Binomials. - Lorenzo Livi, Alessandro Giuliani, Alireza Sadeghian:
Characterization of Graphs for Protein Structure Modeling and Recognition of Solubility. - Natasa Djurdjevac Conrad, Ralf Banisch, Christof Schütte:
Modularity of Directed Networks: Cycle Decomposition Approach. - Lewis Percival Gordon Evans, Niall M. Adams, Christoforos Anagnostopoulos:
Targeting Optimal Active Learning via Example Quality. - Fei Yu, Michal Rybár, Caroline Uhler, Stephen E. Fienberg:
Differentially-Private Logistic Regression for Detecting Multiple-SNP Association in GWAS Databases. - Stefan Güttel, Eric Polizzi, Ping Tak Peter Tang, Gautier Viaud:
Zolotarev Quadrature Rules and Load Balancing for the FEAST Eigensolver. - Danny C. Price, Michael A. Clark, Benjamin R. Barsdell, Ronald Babich, Lincoln J. Greenhill:
Optimizing performance per watt on GPUs in High Performance Computing: temperature, frequency and voltage effects. - João Rodrigues, Paulo Mateus, Nikola Paunkovic, André Souto:
Oblivious transfer based on single-qubit rotations. - Lukas Einkemmer, Alexander Ostermann:
A splitting approach for the Kadomtsev-Petviashvili equation. - Siddharth Karumanchi, Stefano Mancini, Andreas J. Winter, Dong Yang:
Quantum Channel Capacities with Passive Environment Assistance. - Xiaoting Zhao, Peter I. Frazier:
Exploration vs. Exploitation in the Information Filtering Problem. - Charles K. Fisher, Pankaj Mehta:
Fast Bayesian Feature Selection for High Dimensional Linear Regression in Genomics via the Ising Approximation. - Alvaro Corral, Gemma Boleda, Ramon Ferrer-i-Cancho:
Zipf's law for word frequencies: word forms versus lemmas in long texts. - Jan Moritz Joseph, Jens Christian Claussen:
A model for dynamical evolution of science in space. - Ross Duncan, Prakash Panangaden:
Proceedings 9th Workshop on Quantum Physics and Logic, QPL 2012, Brussels, Belgium, 10-12 October 2012. EPTCS 158, 2014 [contents] - Angela Aguglia, Luca Giuzzi
:
Intersections of the Hermitian Surface with irreducible Quadrics in even Characteristic. - Roberto Serra, Alessandro Filisetti, Marco Villani, Alex Graudenzi, Chiara Damiani, Tommaso Panini:
A stochastic model of catalytic reaction networks in protocells. - Byungjoon Min, Sangchul Lee, Kyu-Min Lee, K.-I. Goh:
Link overlap, viability, and mutual percolation in multiplex networks. - David Sutter, Tobias Sutter, Peyman Mohajerin Esfahani, Renato Renner:
Efficient Approximation of Quantum Channel Capacities. - Mahito Sugiyama, Felipe Llinares-López, Niklas Kasenburg, Karsten M. Borgwardt:
Significant Subgraph Mining with Multiple Testing Correction. - John W. Pearson, Sheehan Olver, Mason A. Porter:
Numerical Methods for the Computation of the Confluent and Gauss Hypergeometric Functions.
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.