default search action
CoRR, July 2015
- Jingyan Wang, Yihua Zhou, Benjamin Edwards:
Representing data by sparse combination of contextual data points for classification. - (Withdrawn) On the Communication Complexity of Distributed Clustering.
- Zhihui Zhu, Michael B. Wakin:
Approximating Sampled Sinusoids and Multiband Signals Using Multiband Modulated DPSS Dictionaries. - Athanasios N. Nikolakopoulos, John D. Garofalakis:
Top-N recommendations in the presence of sparsity: An NCD-based approach. - Or Sheffet:
Private Approximations of the 2nd-Moment Matrix Using Existing Techniques in Linear Regression. - Valentin Rakovic, Daniel Denkovski, Zoran Hadzi-Velkov, Liljana Gavrilovska:
Optimal time sharing in underlay cognitive radio systems with RF energy harvesting. - Armando Castañeda, Michel Raynal, Sergio Rajsbaum:
Specifying Concurrent Problems: Beyond Linearizability. - Brandon Oselio, Alex Kulesza, Alfred O. Hero III:
Information Extraction from Larger Multi-layer Social Networks. - Guillaume Corriveau, Raynald Guilbault, Antoine Tahan, Robert Sabourin:
Evaluation of Genotypic Diversity Measurements Exploited in Real-Coded Representation. - Jammily Ortigoza, Fabio Lopez Pires, Benjamín Barán:
Workload Trace Generation for Dynamic Environments in Cloud Computing. - Natarajan Lakshmi Prasad, Yi Hong, Emanuele Viterbo:
Capacity of Coded Index Modulation. - Zati Bayani Zawawi, Jaehyun Park, Bruno Clerckx:
Simultaneous Wireless Information and Power Transfer in a Two-User OFDM Interference Channel. - H. L. Prasad, Shalabh Bhatnagar:
A Study of Gradient Descent Schemes for General-Sum Stochastic Games. - Sanghun Im, Hyoungsuk Jeon, Jinho Choi, Jeongseok Ha:
Secret Key Agreement with Large Antenna Arrays under the Pilot Contamination Attack. - Huei-Fang Yang, Kevin Lin, Chu-Song Chen:
Supervised Learning of Semantics-Preserving Hashing via Deep Neural Networks for Large-Scale Image Search. - Fang Liu, Junfei Shi, Licheng Jiao, Hongying Liu, Shuyuan Yang, Jie Wu, Hongxia Hao, Jialing Yuan:
Polarimetric Hierarchical Semantic Model and Scattering Mechanism Based PolSAR Image Classification. - I. Yucel Akkutlu, Yalchin Efendiev, Maria V. Vasilyeva:
Multiscale model reduction for shale gas transport in fractured media. - Gagan Goel, MohammadTaghi Hajiaghayi, Mohammad Reza Khani:
Randomized Revenue Monotone Mechanisms for Online Advertising. - Grace Villacrés, Tobias Koch:
Wireless networks of bounded capacity. - Valeria Borzì, Simone Faro, Arianna Pavone, Sabrina Sansone:
Prior Polarity Lexical Resources for the Italian Language. - Zhouye Chen, Adrian Basarab, Denis Kouame:
Compressive Deconvolution in Medical Ultrasound Imaging. - Atul Kumar Sinha, A. K. Chaturvedi:
Low Complexity Opportunistic Interference Alignment in K-Transmitter MIMO Interference Channels. - Cunjing Ge, Feifei Ma, Jian Zhang:
A Tool for Computing and Estimating the Volume of the Solution Space of SMT(LA). - Zuoqiang Shi:
Convergence of Laplacian spectra from random samples. - Jens Peter Andersen, Stefanie Haustein:
Influence of study type on Twitter activity for medical research papers. - Vahid Joroughi, Miguel Ángel Vázquez, Ana I. Pérez-Neira:
Precoding in Multigateway Multibeam Satellite Systems. - Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Forward and Backward Bisimulations for Chemical Reaction Networks. - Alfred Kajirunga, Khamisi Kalegele:
Analysis of Activities and Operations in the Current E-Health Landscape in Tanzania: Focus on Interoperability and Collaboration. - Mrinal Kumar, Ramprasad Saptharishi:
An exponential lower bound for homogeneous depth-5 circuits over finite fields. - Syed Tamoor-ul-Hassan, Mehdi Bennis, Pedro Henrique Juliano Nardelli, Matti Latva-aho:
Modeling and Analysis of Content Caching in Wireless Small Cell Networks. - Jonathan Laporte, Antoine Chaillet, Yacine Chitour:
Global stabilization of classes of linear control systems with bounds on the feedback and its successive derivatives. - Antoine Deleforge, Sharon Gannot, Walter Kellermann:
Towards a Generalization of Relative Transfer Functions to More Than One Source. - Hai Zhuge:
Dimensionality on Summarization. - Adrian Paschke, Ralph Schäfermeier:
Aspect OntoMaven - Aspect-Oriented Ontology Development and Configuration With OntoMaven. - Denis Oyaro, Piero Triverio:
TurboMOR: an Efficient Model Order Reduction Technique for RC Networks with Many Ports. - Quinten Stokkink, Harmjan Treep, Johan Pouwelse:
Performance analysis of a Tor-like onion routing implementation. - Jingjing Ren, Ashwin Rao, Martina Lindorfer, Arnaud Legout, David R. Choffnes:
ReCon: Revealing and Controlling Privacy Leaks in Mobile Network Traffic. - Babak Salimi, Leopoldo E. Bertossi:
From Causes for Database Queries to Repairs and Model-Based Diagnosis and Back. - Michel Barbeau, Steve R. Cloutier, Joaquín García-Alfaro:
Quantum Computing Assisted Medium Access Control for Multiple Client Station Networks. - Ehsan Ullah Warriach, Tanir Ozcelebi, Johan J. Lukkien:
Proactive Dependability Framework for Smart Environment Applications. - David Hallac, Jure Leskovec, Stephen P. Boyd:
Network Lasso: Clustering and Optimization in Large Graphs. - Hadi G. Ghauch, Taejoon Kim, Mats Bengtsson, Mikael Skoglund:
Subspace Estimation and Decomposition for Large Millimeter-Wave MIMO systems. - Greg Mori, Caroline Pantofaru, Nisarg Kothari, Thomas Leung, George Toderici, Alexander Toshev, Weilong Yang:
Pose Embeddings: A Deep Architecture for Learning to Match Human Poses. - Maxim Dolgov, Uwe D. Hanebeck:
Infinite-horizon Linear Optimal Control of Markov Jump Systems without Mode Observation via State Feedback. - David Chavalarias:
Rencontre improbable entre von Foerster et Snowden. - Wasim Amjad, Javier García, Jawad Munir, Amine Mezghani, Josef A. Nossek:
Compensation of Amplifier Distortion for OFDM signals based on Iterative Hard Thresholding. - Ali Assarpour, Amotz Barnoy, Ou Liu:
Counting the Number of Langford Skolem Pairings. - Wei Lu, Wei Chen, Laks V. S. Lakshmanan:
From Competition to Complementarity: Comparative Influence Diffusion and Maximization. - Jie Yang:
Notes on Low-rank Matrix Factorization. - Harm van Seijen, Ashique Rupam Mahmood, Patrick M. Pilarski, Richard S. Sutton:
An Empirical Evaluation of True Online TD(λ). - Evgeny Nikulchev, Evgeniy Pluzhnik, Dmitry Biryukov, Oleg Lukyanchikov, Simon Payain:
Experimental Study of the Cloud Architecture Selection for Effective Big Data Processing. - Sang Yeob Jung, Seong-Lyun Kim:
Bidding, Pricing, and User Subscription Dynamics in Asymmetric-valued Korean LTE Spectrum Auction: A Hierarchical Dynamic Game Approach. - Niki Vazou, Alexander Bakst, Ranjit Jhala:
Bounded Refinement Types. - Marco Mezzavilla, Sanjay Goyal, Aditya Dhananjay, Shivendra S. Panwar, Sundeep Rangan, Michele Zorzi:
An MDP Model for Optimal Handover Decisions in mmWave Cellular Networks. - Nasir Ahmad, Sybil Derrible, Tarsha Eason, Heriberto Cabezas:
Using Fisher Information In Big Data. - Bernardo A. Huberman, Freddy Chong Tat Chua:
Partitioning Uncertain Workflows. - Andrea Abrardo, Mauro Barni, Kassem Kallas, Benedetta Tondi:
A Game-Theoretic Framework for Optimum Decision Fusion in the Presence of Byzantines. - Jingbo Wu, Valery A. Ugrinovskii, Frank Allgöwer:
Cooperative H-infinity Estimation for Large-Scale Interconnected Linear Systems. - Vasilis Syrgkanis, Alekh Agarwal, Haipeng Luo, Robert E. Schapire:
Fast Convergence of Regularized Learning in Games. - Jonathan T. Barron:
Convolutional Color Constancy. - Jason D. Hartline, Vasilis Syrgkanis, Éva Tardos:
No-Regret Learning in Repeated Bayesian Games. - Yang Cao, Yao Xie:
Categorical Matrix Completion. - Yusen Zhan, Matthew E. Taylor:
Online Transfer Learning in Reinforcement Learning Domains. - Alain Rakotomamonjy, Rémi Flamary, Gilles Gasso:
DC Proximal Newton for Non-Convex Optimization Problems. - Vincent Primault, Sonia Ben Mokhtar, Cédric Lauradoux, Lionel Brunie:
Time Distortion Anonymization for the Publication of Mobility Data with High Utility. - Saurabh Gupta, Judy Hoffman, Jitendra Malik:
Cross Modal Distillation for Supervision Transfer. - Tamar V. Loach, Tim S. Evans
:
Ranking Journals Using Altmetrics. - Jingchao Chen:
Fast Blocked Clause Decomposition with High Quality. - Steve Hanneke:
The Optimal Sample Complexity of PAC Learning. - Zohir Bouzid, Michel Raynal, Pierre Sutra
Anonymous Obstruction-free (n, k)-Set Agreement with n-k+1 Atomic Read/Write Registers. - Léa Laporte, Rémi Flamary, Stéphane Canu, Sébastien Déjean
Non-convex Regularizations for Feature Selection in Ranking With Sparse SVM. - Nicolas Courty, Rémi Flamary, Devis Tuia, Alain Rakotomamonjy:
Optimal Transport for Domain Adaptation. - Davide Bilò, Fabrizio Grandoni, Luciano Gualà, Stefano Leucci, Guido Proietti:
Improved Purely Additive Fault-Tolerant Spanners. - Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate, Rupak Majumdar:
Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes. - Young Jin Chun, Simon L. Cotton, Mazen O. Hasna, Ali Ghrayeb:
A Stochastic Geometry Based Approach to Modeling Interference Correlation in Cooperative Relay Networks. - Bruce R. Miller:
Strategies for Parallel Markup. - Ludovic Saint-Bauzel
A Reactive Robotized Interface for Lower Limb Rehabilitation: Clinical Results. - Ondrej Vaverka, Vilém Vychodil:
Relational Division in Rank-Aware Databases. - Rasmus Pagh, Ninh Pham, Francesco Silvestri, Morten Stöckel:
I/O-Efficient Similarity Join. - Chris Kimble:
Business Models for e-Health: Evidence from Ten Case Studies. - Van Bang Le, Thomas Podelleck:
Characterization and recognition of some opposition and coalition graph classes. - Gianluigi Pillonetto, Tianshi Chen, Alessandro Chiuso, Giuseppe De Nicolao, Lennart Ljung:
Regularized linear system identification using atomic, nuclear and kernel-based norms: the role of the stability constraint. - Pooyan Jamshidi, Amir Molzam Sharifloo, Claus Pahl, Andreas Metzger, Giovani Estrada:
Self-Learning Cloud Controllers: Fuzzy Q-Learning for Knowledge Evolution. - Jeffrey Pawlick, Sadegh Farhang, Quanyan Zhu:
Flip the Cloud: Cyber-Physical Signaling Games in the Presence of Advanced Persistent Threats. - YuLong Zou, Jia Zhu, Liuqing Yang, Ying-Chang Liang, Yu-Dong Yao:
Securing Physical-Layer Communications for Cognitive Radio Networks. - Stavros Konstantinidis
Embedding rationally independent languages into maximal ones. - Hudson Borges, Marco Túlio Valente, André C. Hora, Jailton Coelho:
On the Popularity of GitHub Applications: A Preliminary Note. - Romain Brenguier, Jean-François Raskin, Ocan Sankur:
Assume-Admissible Synthesis. - Florin-Constantin Mihai, Adrian Ursu
Determining rural areas vulnerable to illegal dumping using GIS techniques. Case study: Neamt county, Romania. - Khalil Elkhalil
Analytical Derivation of the Inverse Moments of One-sided Correlated Gram Matrices with Applications. - Daoud Clarke:
Simple, Fast Semantic Parsing with a Tensor Kernel. - Jirí Fiala, Tomas Gavenciak, Dusan Knop, Martin Koutecký, Jan Kratochvíl:
Distance constrained labeling on graphs with bounded neighborhood diversity. - Kevin Houston:
Compressed Manifold Modes: Fast Calculation and Natural Ordering. - Oliver Schulte, Zhensong Qian:
SQL for SRL: Structure Learning Inside a Database System. - MohammadTaghi Hajiaghayi, Guy Kortsarz, Robert MacDavid, Manish Purohit, Kanthi K. Sarpatwar:
Approximation Algorithms for Connected Maximum Cut and Related Problems. - Yakov Shafranovich:
Bluetooth Data Exchange Between Android Phones Without Pairing. - Miika Hannula:
Reasoning about embedded dependencies using inclusion dependencies. - Sreyash Kenkre, Vinayaka Pandit, Manish Purohit, Rishi Saket:
On the Approximability of Digraph Ordering. - Cibele Freire, Wolfgang Gatterbauer, Neil Immerman, Alexandra Meliou:
A Characterization of the Complexity of Resilience and Responsibility for Self-join-free Conjunctive Queries. - Grey Ballard, Austin R. Benson, Alex Druinsky, Benjamin Lipshitz, Oded Schwartz:
Improving the numerical stability of fast matrix multiplication algorithms. - Gwen Spencer:
Sticky Seeding in Discrete-Time Reversible-Threshold Networks. - Daryl R. DeFord, Scott D. Pauls:
Network models that reflect multiplex dynamics. - Emil Jerábek:
A note on the substructural hierarchy. - Abhishek K. Gupta, Xinchen Zhang, Jeffrey G. Andrews:
SINR and Throughput Scaling in Ultradense Urban Cellular Networks. - Dimitri P. Bertsekas:
Centralized and Distributed Newton Methods for Network Optimization and Extensions. - Rasmus Kyng, Anup Rao, Sushant Sachdeva:
Fast, Provable Algorithms for Isotonic Regression in all ℓp-norms. - B. Prashanth Reddy:
New Class of Pseudorandom D-sequences to Generate Cryptographic Keys. - Bertrand Meyer:
Theory of Programs. - Hossein Esfandiari, Mohammad Taghi Hajiaghayi, Jochen Könemann, Hamid Mahini, David L. Malec, Laura Sanità:
Approximate Deadline-Scheduling with Precedence Constraints. - Yehuda Afek, Roman Kecher, Moshe Sulamy:
Optimal and Resilient Pheromone Utilization in Ant Foraging. - Yossi Azar, Inna Kalp-Shaltiel, Brendan Lucier, Ishai Menache, Joseph Naor, Jonathan Yaniv:
Truthful Online Scheduling with Commitments. - Thársis Tuani Pinto Souza, Olga Kolchyna, Philip C. Treleaven, Tomaso Aste:
Twitter Sentiment Analysis Applied to Finance: A Case Study in the Retail Industry. - Yongpeng Wu, Robert Schober, Derrick Wing Kwan Ng, Chengshan Xiao, Giuseppe Caire:
Secure Massive MIMO Transmission with an Active Eavesdropper. - Amirhossein Aleyasen, Oleksii Starov, Alyssa Phung Au, Allan M. Schiffman, Jeff Shrager:
On the Privacy Practices of Just Plain Sites. - Yoshimasa Takabatake, Yasuo Tabei, Hiroshi Sakamoto:
Online Self-Indexed Grammar Compression. - Bradly C. Stadie, Sergey Levine, Pieter Abbeel:
Incentivizing Exploration In Reinforcement Learning With Deep Predictive Models. - Matteo Brucato, Azza Abouzied, Alexandra Meliou:
Improving package recommendations through query relaxation. - Behnam Babagholami-Mohamadabadi, Sejong Yoon, Vladimir Pavlovic:
D-MFVI: Distributed Mean Field Variational Inference using Bregman ADMM. - Yutaro Shigeto, Ikumi Suzuki, Kazuo Hara, Masashi Shimbo, Yuji Matsumoto:
Ridge Regression, Hubness, and Zero-Shot Learning. - Koji Sawa:
Logic as a complex network. - Alexander A. Semenov, Oleg Zaikin:
Using Monte Carlo method for searching partitionings of hard variants of Boolean satisfiability problem. - Carsten Kutzner, Szilárd Páll, Martin Fechner, Ansgar Esztermann, Bert L. de Groot, Helmut Grubmüller:
Best bang for your buck: GPU nodes for GROMACS biomolecular simulations. - Zhao Kang, Chong Peng, Jie Cheng, Qiang Cheng:
LogDet Rank Minimization with Application to Subspace Clustering. - Pierre Fraigniaud, Juho Hirvonen, Jukka Suomela:
Node Labels in Local Decision. - Erik Rodner, Marcel Simon, Gunnar Brehm, Stephanie Pietsch, Johann-Wolfgang Wägele, Joachim Denzler:
Fine-grained Recognition Datasets for Biodiversity Analysis. - Marco Secondini, Simon Rommel, Francesco Fresi, Enrico Forestieri, Gianluca Meloni, Luca Potì:
Coherent 100G Nonlinear Compensation with Single-Step Digital Backpropagation. - Liudmila Ostroumova Prokhorenkova:
Global clustering coefficient in scale-free weighted and unweighted networks. - Taishan Lou:
Robust Mars Atmospheric Entry Integrated Navigation based on Parameter Sensitivity. - Sugam Sharma:
Evolution of as-a-Service Era in Cloud. - Matteo Brucato, Rahul Ramakrishna, Azza Abouzied, Alexandra Meliou:
PackageBuilder: From Tuples to Packages. - Amir Baniamerian, Nader Meskin, Khashayar Khorasani:
A Geometric Approach to Fault Detection and Isolation of Two-Dimensional (2D) Systems. - Minquan Cheng, Jing Jiang, Haiyan Li, Ying Miao, Xiaohu Tang:
Bounds and Constructions for $\overline{3}$-Separable Codes with Length 3. - Olga Kolchyna, Thársis T. P. Souza, Philip C. Treleaven, Tomaso Aste:
Twitter Sentiment Analysis. - Vadim Bulitko, Jessica Hong, Kumar Kumaran, Ivan Swedberg, William Thoang, Patrick von Hauff, Georg Schmolzer:
RETAIN: a Neonatal Resuscitation Trainer Built in an Undergraduate Video-Game Class. - César Rodríguez, Marcelo Sousa, Subodh Sharma, Daniel Kroening:
Unfolding-based Partial Order Reduction. - Zeinab Zeinalkhani, Amir H. Banihashemi:
Ultra Low-Complexity Detection of Spectrum Holes in Compressed Wideband Spectrum Sensing. - Volker Diekert, Anca Muscholl, Igor Walukiewicz:
A Note on Monitors and Büchi automata. - Dimitri P. Bertsekas:
Value and Policy Iteration in Optimal Control and Adaptive Dynamic Programming. - Dimitri P. Bertsekas:
Lambda-Policy Iteration: A Review and a New Implementation. - Dimitri P. Bertsekas:
Incremental Gradient, Subgradient, and Proximal Methods for Convex Optimization: A Survey. - Allan Fowler:
Understanding learning within a commercial video game: A case study. - Rafal Kapelko:
The weighted event distance of Poisson processes. - KyungHyun Cho, Aaron C. Courville, Yoshua Bengio:
Describing Multimedia Content using Attention-based Encoder-Decoder Networks. - Daqing Zhang, Hao Wang, Yasha Wang, Junyi Ma:
Anti-Fall: A Non-intrusive and Real-time Fall Detector Leveraging CSI from Commodity WiFi Devices. - Peng He, Yuming Mao, Qiang Liu, Kun Yang:
A Diffusion-Neuron Hybrid System for Molecular Communication. - Ashish Sureka:
Intention-Oriented Process Model Discovery from Incident Management Event Logs. - Dylan Hutchison, Jeremy Kepner, Vijay Gadepally, Adam Fuchs:
Graphulo Implementation of Server-Side Sparse Matrix Multiply in the Accumulo Database. - Marie Yvette B. de Robles, Zenith O. Arnejo, Jaderick P. Pabico:
On Web-grid Implementation Using Single System Image. - Chezka Camille P. Arevalo, Jaderick P. Pabico:
Preferential Attachment in an Internet-mediated Human Network. - Jean-Guillaume Dumas
Interactive certificate for the verification of Wiedemann's Krylov sequence: application to the certification of the determinant, the minimal and the characteristic polynomials of sparse matrices. - Gérard Henry Edmond Duchamp, Vincel Hoang Ngoc Minh, Christophe Tollu, Van Chiên Bui, Quoc Hoan Ngô:
(Pure) transcendence bases in φ-deformed shuffle bialgebras. - V. Lalitha, Satyanarayana V. Lokam:
Weight Enumerators and Higher Support Weights of Maximally Recoverable Codes. - David A. Karpuk, Arsenia Chorti:
Strong Secrecy in Wireless Network Coding Systems from Structured Interference. - Pan Lai, Rui Fan, Wei Zhang, Fang Liu:
Utility Maximizing Thread Assignment and Resource Allocation. - Simon Worthington:
Book to the Future - a manifesto for book liberation. - David Fernández-Duque, Ángel Nepomuceno-Fernández, Enrique Sarrión-Morillo, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada:
Forgetting complex propositions. - Gabriel Makdah:
Modeling the Mind: A brief review. - Sascha Rothe, Hinrich Schütze:
AutoExtend: Extending Word Embeddings to Embeddings for Synsets and Lexemes. - Tad Hogg:
Energy Dissipation by Metamorphic Micro-Robots in Viscous Fluids. - Yan Wang, Sunghyun Cho, Jue Wang, Shih-Fu Chang:
PanoSwarm: Collaborative and Synchronized Multi-Device Panoramic Photography. - Yan Wang, Jue Wang, Shih-Fu Chang:
CamSwarm: Instantaneous Smartphone Camera Arrays for Collaborative Photography. - Paolo Capriotti, Nicolai Kraus, Andrea Vezzosi:
Functions out of Higher Truncations. - Hossein Esfandiari, MohammadTaghi Hajiaghayi, Vahid Liaghat, Morteza Monemizadeh:
Prophet Secretary. - Troy Baker, Meera Sitharam, Menghan Wang, Joel Willoughby:
Optimal Decomposition and Recombination of Isostatic Geometric Constraint Systems for Designing Layered Materials. - Euiwoong Lee:
APX-Hardness of Maximizing Nash Social Welfare with Indivisible Items. - Haibo Hong, Licheng Wang, Haseeb Ahmad, Jing Li, Yixian Yang:
Minimal Logarithmic Signatures for Sporadic Groups. - Haibo Hong, Licheng Wang, Haseeb Ahmad, Yixian Yang:
Minimal Logarithmic Signatures for one type of Classical Groups. - Ashish Sureka:
Kernel Based Sequential Data Anomaly Detection in Business Process Event Logs. - Keren Censor-Hillel, Tariq Toukan:
On Fast and Robust Information Spreading in the Vertex-Congest Model. - Pavel Hubácek, Moni Naor, Jonathan R. Ullman:
When Can Limited Randomness Be Used in Repeated Games? - Piotr Mirowski, Andreas Vlachos:
Dependency Recurrent Neural Language Models for Sentence Completion. - Michael Dinitz, Michael Schapira, Asaf Valadarsky:
Explicit Expanding Expanders. - Daniela Micucci, Marco Mobilio, Paolo Napoletano, Francesco Tisato:
Falls as anomalies? An experimental evaluation using smartphone accelerometer data. - Puneet Kumar Dokania, M. Pawan Kumar:
Parsimonious Labeling. - Raghvendra Kannao, Prithwijit Guha:
TV News Commercials Detection using Success based Locally Weighted Kernel Combination. - Ziyuan Gao, Frank Stephan, Sandra Zilles:
Combining Models of Approximation with Partial Learning. - Dmitry Kosolobov:
Computing Runs on a General Alphabet. - Kasra Madadipouya:
A Review On The Strategic Use Of IT Applications In Achieving And Sustaining Competitive Advantage. - Ioannis Kontoyiannis, Maria Skoularidou:
Estimating the Directed Information and Testing for Causality. - Chong You, René Vidal:
Sparse Subspace Clustering by Orthogonal Matching Pursuit. - Hang Su, Haoyu Chen:
Experiments on Parallel Training of Deep Neural Network using Model Averaging. - Jin Tan, Yanting Ma, Hoover F. Rueda, Dror Baron, Gonzalo R. Arce:
Compressive Hyperspectral Imaging via Approximate Message Passing. - Zehra Camlica, Hamid R. Tizhoosh, Farzad Khalvati:
Autoencoding the Retrieval Relevance of Medical Images. - Neri Merhav:
Universal Decoding for Source-Channel Coding with Side Information. - Alexey L. Lastovetsky, Lukasz Szustak, Roman Wyrzykowski:
Model-based optimization of MPDATA on Intel Xeon Phi through load imbalancing. - Tianpei Xie, Nasser M. Nasrabadi, Alfred O. Hero III:
Semi-supervised Multi-sensor Classification via Consensus-based Multi-View Maximum Entropy Discrimination. - Srijan Kumar, Francesca Spezzano, V. S. Subrahmanian:
VEWS: A Wikipedia Vandal Early Warning System. - Marvin Zhang, Sergey Levine, Zoe McCarthy, Chelsea Finn, Pieter Abbeel:
Policy Learning with Continuous Memory States for Partially Observed Robotic Control. - Shuang Li, Yao Xie, Hanjun Dai, Le Song:
M-Statistic for Kernel Change-Point Detection. - Andrés Monroy-Hernández, Mitchel Resnick:
Empowering Kids to Create and Share Programmable Media. - Benjamin Mako Hill, Andrés Monroy-Hernández, Kristina R. Olson:
Responses to remixing on a social media sharing website. - Andrés Monroy-Hernández, Benjamin Mako Hill, Jazmin Gonzalez-Rivero, danah boyd:
Computers Can't Give Credit: How Automatic Attribution Falls Short in an Online Remixing Community. - Munmun De Choudhury, Andrés Monroy-Hernández, Gloria Mark:
"Narco" Emotions: Affect and Desensitization in Social Media during the Mexican Drug War. - Andrés Monroy-Hernández, Emre Kiciman, danah boyd, Scott Counts:
Narcotweets: Social Media in Wartime. - Andrés Monroy-Hernández, danah boyd, Emre Kiciman, Munmun De Choudhury, Scott Counts:
The New War Correspondents: the Rise of Civic Media Curation in Urban Warfare. - Andrés Monroy-Hernández:
ScratchR: Sharing User-generated Programmable Media. - Benjamin Mako Hill, Andrés Monroy-Hernández:
The Remixing Dilemma: The Trade-off Between Generativity and Originality. - Benjamin Mako Hill, Andrés Monroy-Hernández:
The Cost of Collaboration for Code and Art: Evidence from a Remixing Community. - Jorge Nathan Matias, Andrés Monroy-Hernández:
NewsPad: Designing for Collaborative Storytelling in Neighborhoods. - Elena Agapie, Andrés Monroy-Hernández:
Eventful: Crowdsourcing Local News Reporting. - Sarah Hallacher, Jenny Rodenhouse, Andrés Monroy-Hernández:
Mixsourcing: a remix framework as a form of crowdsourcing. - Yanjun Li, Kiryung Lee, Yoram Bresler:
Identifiability in Blind Deconvolution under Minimal Assumptions. - Joseph Cheriyan, Zhihan Gao:
Approximating (Unweighted) Tree Augmentation via Lift-and-Project, Part II. - Jeffrey M. Rzeszotarski, Emma S. Spiro, Jorge Nathan Matias, Andrés Monroy-Hernández, Meredith Ringel Morris:
Is Anyone Out There? Unpacking Q&A Hashtags on Twitter. - Christian Breitwieser:
TiD - Documentation of TOBI Interface D. - Elena L. Glassman, Juho Kim, Andrés Monroy-Hernández, Meredith Ringel Morris:
Mudslide: A Spatially Anchored Census of Student Confusion for Online Lecture Videos. - Tian Zhang:
Delay-aware data transmission of multi-carrier communications in the presence of renewable energy. - Juho Kim, Elena L. Glassman, Andrés Monroy-Hernández, Meredith Ringel Morris:
RIMES: Embedding Interactive Multimedia Exercises in Lecture Videos. - Iman I. Yusuf, Ian E. Thomas, Maria Spichkova, Steve G. Androulakis, Grischa R. Meyer, Daniel W. Drumm, George Opletal, Salvy P. Russo, Ashley M. Buckle, Heinz W. Schmidt:
Chiminey: Reliable Computing and Data Management Platform in the Cloud. - Jason Priem:
Altmetrics (Chapter from Beyond Bibliometrics: Harnessing Multidimensional Indicators of Scholarly Impact). - Xiaojie Guo:
Visual Data Deblocking using Structural Layer Priors. - Bowen Yan, Jianxi Luo:
Filtered Patent Maps for Predicting Diversification Paths of Inventors and Organizations. - Zhi-Hong Deng:
DiffNodesets: An Efficient Structure for Fast Mining Frequent Itemsets. - Shounak Roy, Shayan Garani Srinivasa:
Two-dimensional Burst Error Correcting Code using Finite Field Fourier Transforms. - Anthony Kim:
Welfare Maximization with Deferred Acceptance Auctions in Reallocation Problems. - Rakhi Misuriya Gupta:
Intelligent Data in the context of the internet-of-things. - Christopher A. Tucker:
The method of artificial systems. - James R. Clough, Tim S. Evans
Time and Citation Networks. - Peyman Afshani, Nodari Sitchinava:
Sorting and Permuting without Bank Conflicts on GPUs. - Junting Pan, Xavier Giró-i-Nieto:
End-to-end Convolutional Network for Saliency Prediction. - Francesco Ranzato:
Abstract Interpretation of Supermodular Games. - Ryuta Arisaka:
Latent Belief Theory and Belief Dependencies: A Solution to the Recovery Problem in the Belief Set Theories. - Michael Codish, Luís Cruz-Filipe, Thorsten Ehlers, Mike Müller, Peter Schneider-Kamp:
Sorting Networks: to the End and Back Again. - Shicong Liu, Hongtao Lu:
Learning Better Encoding for Approximate Nearest Neighbor Search with Dictionary Annealing. - Erik M. Ferragut, Jason A. Laska:
Nonparametric Bayesian Modeling for Automated Database Schema Matching. - Vladimir García-Morales:
From positional information to self-affine surfaces. - Muhammad Jawaherul Alam, Thomas Bläsius, Ignaz Rutter, Torsten Ueckerdt, Alexander Wolff:
Pixel and Voxel Representations of Graphs. - Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, Peter Schüller:
A model building framework for Answer Set Programming with external computations. - (Withdrawn) A scalable system for primal-dual optimization.
- Radu Cristian Ionescu:
Revisiting Large Scale Distributed Machine Learning. - László Csató:
Distance-based accessibility indices. - László Csató:
Between plurality and proportionality: an analysis of vote transfer systems. - Carlos Adolfo Piña-García, Dongbing Gu:
Towards a Standard Sampling Methodology on Online Social Networks: Collecting Global Trends on Twitter. - Michele Borassi, Pierluigi Crescenzi, Andrea Marino:
Fast and Simple Computation of Top-k Closeness Centralities. - Susanne Pumpluen:
Finite nonassociative algebras obtained from twisted polynomials over chain rings. - Joseph Y. Halpern, Rafael Pass, Daniel Reichman:
On the Non-Existence of Nash Equilibrium in Games with Resource-Bounded Players. - Irena Rusu:
Log-Lists and Their Applications to Sorting by Transpositions, Reversals and Block-Interchanges. - Nal Kalchbrenner, Ivo Danihelka, Alex Graves:
Grid Long Short-Term Memory. - Fionn Murtagh:
Correspondence Factor Analysis of Big Data Sets: A Case Study of 30 Million Words; and Contrasting Analytics using Apache Solr and Correspondence Analysis in R. - Sukhpal Singh Gill:
Autonomic Cloud Computing: Research Perspective. - David Eppstein, Sariel Har-Peled
Approximate Greedy Clustering and Distance Selection for Graph Metrics. - Sariel Har-Peled
A Simple Algorithm for Maximum Margin Classification, Revisited. - Ashique Rupam Mahmood, Huizhen Yu, Martha White, Richard S. Sutton:
Emphatic Temporal-Difference Learning. - Subarna Tripathi, Serge J. Belongie, Truong Q. Nguyen:
Beyond Semantic Image Segmentation : Exploring Efficient Inference in Video. - Holger Caesar, Jasper R. R. Uijlings, Vittorio Ferrari:
Joint Calibration for Semantic Segmentation. - Karthik Vasudeva, Meryem Simsek, David López-Pérez, Ismail Güvenç:
Analysis of Handover Failures in Heterogeneous Networks with Fading. - S. M. Hossein Tabatabaei Yazdi, Han Mao Kiah, Eva Ruiz Garcia, Jian Ma, Huimin Zhao, Olgica Milenkovic:
DNA-Based Storage: Trends and Methods. - Boris Brimkov:
A note on the clique number of complete k-partite graphs. - Abidin Kaya, Bahattin Yildiz, Abdullah Pasa:
New extremal binary self-dual codes from a modified four circulant construction. - Christos Pelekis:
A generalised isodiametric problem. - Jiwei Li, Eduard H. Hovy:
Reflections on Sentiment/Opinion Analysis. - Ömür Arslan, Dan P. Guralnik, Daniel E. Koditschek:
Coordinated Robot Navigation via Hierarchical Clustering. - Steven Versteeg:
Languages for Mobile Agents. - Hengfeng Wei, Yu Huang, Jiannong Cao, Jian Lu:
Almost Strong Consistency: "Good Enough" in Distributed Storage Systems. - Badr Benmammar:
Allocation de ressources dans un r{é}seau de radio cognitive en utilisant JADE. - Junhui Hou, Lap-Pui Chau, Nadia Magnenat-Thalmann, Ying He:
CLRMA: Compact Low Rank Matrix Approximation for Data Compression. - Jagmohan Chauhan, Mohamed Ali Kâafar, Anirban Mahanti:
Web for Wearables: Lessons learned from Google Glass. - Archana N., S. S. Pawar:
Periodicity Detection of Outlier Sequences Using Constraint Based Pattern Tree with MAD. - Vipul K. Dabhi, Sanjay Chaudhary:
Developing Postfix-GP Framework for Symbolic Regression Problems. - Vincent Cohen-Addad, Arnaud de Mesmay:
A Fixed Parameter Tractable Approximation Scheme for the Optimal Cut Graph of a Surface. - Keyou You, Roberto Tempo, Li Qiu:
Distributed Algorithms for Computation of Centrality Measures in Complex Networks. - Annalisa D'Andrea, Mattia D'Emidio, Daniele Frigioni, Stefano Leucci, Guido Proietti:
Path-Fault-Tolerant Approximate Shortest-Path Trees. - Tobias Kuhn
Making Digital Artifacts on the Web Verifiable and Reliable. - Aniruddh Nath, Pedro M. Domingos:
Learning Tractable Probabilistic Models for Fault Localization. - Yong Zeng, Rui Zhang:
Millimeter Wave MIMO with Lens Antenna Array: A New Path Division Multiplexing Paradigm. - Tobias Kuhn
A Survey and Classification of Controlled Natural Languages. - Rainer Falk, Steffen Fries, Hans-Joachim Hof:
ASIA: An Access Control, Session Invocation and Authorization Architecture for Home Energy Appliances in Smart Energy Grid Environments. - Dario Colazzo, Carlo Sartiani:
Typing Regular Path Query Languages for Data Graphs. - Daniel S. Katz, Sou-Cheng T. Choi, Nancy Wilkins-Diehr, Neil P. Chue Hong, Colin C. Venters, James Howison, Frank J. Seinstra, Matthew Jones, Karen Cranston, Thomas L. Clune, Miguel de Val-Borro, Richard Littauer:
Report on the Second Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE2). - Boris Bukh, Venkatesan Guruswami:
An improved bound on the fraction of correctable deletions. - Elisa Gorla, Alberto Ravagnani:
Equidistant subspace codes. - Amos Fiat, Ilia Gorelik, Haim Kaplan, Slava Novgorodov:
The Temp Secretary Problem. - Carlo Galiotto, Nuno K. Pratas, Linda Doyle, Nicola Marchetti:
Effect of LOS/NLOS Propagation on Ultra-Dense Networks. - Anjali N. Radkar, S. S. Pawar:
Mining high on-shelf utility itemsets with negative values from dynamic updated database. - Sid Chi-Kin Chau, Khaled M. Elbassioni, Majid Khonji:
Truthful Mechanisms for Combinatorial Allocation of Electric Power in Alternating Current Electric Systems for Smart Grid. - Ulan N. Brimkulov:
Matrices Which Inversions are Tridiagonal, Band or Block-Tridiagonal and Their Relationship with the Covariance Matrices of a Markov Processes. - Amr Elmasry, Frank Kammer:
Space-Efficient Plane-Sweep Algorithms. - Ishay Haviv, Oded Regev:
The Restricted Isometry Property of Subsampled Fourier Matrices. - Keehang Kwon:
A New Execution Model for the logic of hereditary Harrop formulas. - Huan Zhou, Yousri Mhedheb, Kamran Idrees, Colin W. Glass, José Gracia, Karl Fürlinger, Jie Tao:
DART-MPI: An MPI-based Implementation of a PGAS Runtime System. - Mingxiong Zhao, Xiangfeng Wang, Suili Feng:
Joint Power Splitting and Secure Beamforming Design in the Multiple Non-regenerative Wireless-powered Relay Networks. - Robert Powell
A Reduction from Valued CSP to Min Cost Homomorphism Problem for Digraphs. - Swagata Mandal, Suman Sau, Amlan Chakrabarti, Jogendra Saini, Sushanta Kumar Pal, Subhasish Chattopadhyay:
FPGA based Novel High Speed DAQ System Design with Error Correction. - Chuting Yao, Chenyang Yang, Zixiang Xiong:
Energy-saving Resource Allocation by Exploiting the Context Information. - Jingying Wang, Tianli Liu, Tingshao Zhu, Lei Zhang, Bibo Hao, Zhenxiang Chen:
Classify Sina Weibo users into High or Low happiness Groups Using Linguistic and Behavior Features. - Natalie Stanley, Saray Shai, Dane Taylor, Peter J. Mucha:
Clustering Network Layers With the Strata Multilayer Stochastic Block Model. - Mingbo Ma, Liang Huang, Bowen Zhou, Bing Xiang:
Tree-based Convolution for Sentence Modeling. - Lili Su, Nitin H. Vaidya:
Byzantine Multi-Agent Optimization: Part II. - Jeff Shrager:
Demandance. - Robert J. Harrison, Gregory Beylkin, Florian A. Bischoff, Justus A. Calvin, George I. Fann, Jacob Fosso-Tande, Diego Galindo, Jeff R. Hammond, Rebecca Hartman-Baker, Judith C. Hill, Jun Jia, Jakob S. Kottmann, Miao-Jung Yvonne Ou, Laura E. Ratcliff, Matthew G. Reuter, Adam C. Richie-Halford, Nichols A. Romero, Hideo Sekino, William A. Shelton, Bryan E. Sundahl, W. Scott Thornton, Edward F. Valeev, Álvaro Vázquez-Mayagoitia, Nicholas Vence, Yukina Yokoi:
MADNESS: A Multiresolution, Adaptive Numerical Environment for Scientific Simulation. - Gabriel Lellouch, Amit Kumar Mishra, Michael R. Inggs:
Design of OFDM radar pulses using genetic algorithm based techniques. - Zhana Kuncheva, Giovanni Montana:
Community detection in multiplex networks using locally adaptive random walks. - Alessandro Montalto, Giovanni Tessitore, Roberto Prevete:
A linear approach for sparse coding by a two-layer neural network. - Oleg Iliev, Zahra Lakdawala, Katherine H. L. Leonard, Yavor Vutov:
On pore-scale modeling and simulation of reactive transport in 3D geometries. - Abbas Bazzi, Ashkan Norouzi-Fard:
Towards Tight Lower Bounds for Scheduling Problems. - Joshua A. Grochow, Youming Qiao:
Polynomial-time isomorphism test of groups that are tame extensions. - Eric Nunes, Nimish Kulkarni, Paulo Shakarian, Andrew Ruef, Jay Little:
Cyber-Deception and Attribution in Capture-the-Flag Exercises. - Niklas Baumstark, Guy E. Blelloch, Julian Shun:
Efficient Implementation of a Synchronous Parallel Push-Relabel Algorithm. - Eric Nunes, Casey Buto, Paulo Shakarian, Christian Lebiere, Stefano Bennati, Robert Thomson, Holger Jaenisch:
Malware Task Identification: A Data Driven Approach. - (Withdrawn) Scalability of Controlling Heterogenous Stress-Engineered MEMS Microrobots (MicroStressBots) through Common Control Signal using Electrostatic Hysteresis.
- Marco M. Maia, Parth Soni, Francisco Javier Díez-Garias:
Demonstration of an Aerial and Submersible Vehicle Capable of Flight and Underwater Navigation with Seamless Air-Water Transition. - Kenta Kitsunai, Yasuaki Kobayashi, Hisao Tamaki:
On the pathwidth of almost semicomplete digraphs. - Natalie Friedrich, Timothy D. Bowman
Adapting sentiment analysis for tweets linking to scientific papers. - Sebastian Cammerer, Vahid Aref, Laurent Schmalen, Stephan ten Brink:
Triggering Wave-Like Convergence of Tail-biting Spatially Coupled LDPC Codes: Single and Dual-Channel Setup. - Peter Rost, Andreas Mäder, Matthew C. Valenti, Salvatore Talarico:
Computationally Aware Sum-Rate Optimal Scheduling for Centralized Radio Access Networks. - Magda Gregorova, Alexandros Kalousis, Stéphane Marchand-Maillet, Jun Wang:
Learning vector autoregressive models with focalised Granger-causality graphs. - Wei Quan Lim, Seth Gilbert, Wei Zhong Lim:
Dynamic Reallocation Problems in Scheduling. - Bo Li, Athina P. Petropulu, Wade Trappe:
Optimum Design for Coexistence Between Matrix Completion Based MIMO Radars and a MIMO Communication System. - Nate Soares, Benja Fallenstein:
Toward Idealized Decision Theory. - Andris Ambainis, Abuzer Yakaryilmaz:
Automata and Quantum Computing. - Weiyu Huang, Alejandro Ribeiro:
Metrics in the Space of High Order Networks. - Giancarlo Crocetti:
Topical Discovery of Web Content. - Qinxun Bai, Henry Lam, Stan Sclaroff:
A Bayesian Approach for Online Classifier Ensemble. - Akanksha Gehlot, Vaishali Sharma, Shashi Pal Singh, Ajai Kumar:
Hindi to English Transfer Based Machine Translation System. - Ignacio García-Marco, Pascal Koiran:
Lower Bounds by Birkhoff Interpolation. - Thierry Poibeau
Generating Navigable Semantic Maps from Social Sciences Corpora. - Frédérique Mélanie-Bécquet, Johan Ferguth, Katherine Gruel, Thierry Poibeau
Archaeology in the Digital Age: From Paper to Databases. - Elad Hazan, Kfir Y. Levy, Shai Shalev-Shwartz:
Beyond Convexity: Stochastic Quasi-Convex Optimization. - Ali A. Nasir, Salman Durrani, Hani Mehrpouyan, Steven D. Blostein, Rodney A. Kennedy:
Timing and Carrier Synchronization in Wireless Communication Systems: A Survey and Classification of Research in the Last Five Years. - Thomas Y. Hou, Zuoqiang Shi:
Sparse Time-Frequency decomposition for multiple signals with same frequencies. - Patrick Zwickl, Ivan Gojmerac, Paul Fuxjäger, Peter Reichl, Oliver Holland:
The Society Spectrum: Self-Regulation of Cellular Network Markets. - Aaron Jaech, Mari Ostendorf:
What Your Username Says About You. - Chaofan Ma, Wei Liang, Meng Zheng:
A Connectivity-Aware Approximation Algorithm for Relay Node Placement in Wireless Sensor Networks. - Cong Jie Ng, Andrew Beng Jin Teoh:
DCTNet : A Simple Learning-free Approach for Face Recognition. - Xiaojun Wan, Ziqiang Cao, Furu Wei, Sujian Li, Ming Zhou:
Multi-Document Summarization via Discriminative Summary Reranking. - Radu Berdan, Eleni Vasilaki, Ali Khiat, Giacomo Indiveri, Alexantrou Serb, Themistoklis Prodromakis:
Emulating short-term synaptic dynamics with memristive devices. - Christoph Aistleitner, Aicke Hinrichs, Daniel Rudolf:
On the size of the largest empty box amidst a point set. - Siu On Chan, Tsz Chiu Kwok, Lap Chi Lau:
Random Walks and Evolving Sets: Faster Convergences and Limitations. - Souleymen Sahnoun, El-Hadi Djermoune, David Brie, Pierre Comon:
A Simultaneous Sparse Approximation Method for Multidimensional Harmonic Retrieval. - Yansong Gao, Omid Kavehei, Damith Chinthana Ranasinghe, Said F. Al-Sarawi, Derek Abbott:
Future Large-Scale Memristive Device Crossbar Arrays: Limits Imposed by Sneak-Path Currents on Read Operations. - Michael Neunert, Michael Blösch, Jonas Buchli:
An Open Source, Fiducial Based, Visual-Inertial State Estimation System. - Iago Landesa-Vazquez, José Luis Alba-Castro:
Shedding Light on the Asymmetric Learning Capability of AdaBoost. - Shashishekar Ramakrishna, Lukasz Górski, Adrian Paschke:
The Role of Pragmatics in Legal Norm Representation. - Zohreh Zahedi, Rodrigo Costas, Paul Wouters:
Do Mendeley readership counts help to filter highly cited WoS publications better than average citation impact of journals (JCS)? - Zohreh Zahedi, Rodrigo Costas, Paul Wouters:
How well developed are Altmetrics? Cross-disciplinary analysis of the presence of alternative metrics in scientific publications? - Ludo Waltman:
A review of the literature on citation impact indicators. - László Csató:
Measuring centrality by a generalization of degree. - Jean-Lou De Carufel, Matya Katz, Matias Korman, André van Renssen, Marcel Roeloffzen, Shakhar Smorodinsky:
On Kinetic Range Spaces and their Applications. - Chi-Kin Chau, Qian Wang, Dah-Ming Chiu:
Economic Viability of Paris Metro Pricing for Digital Services. - Giuseppe Carbone, Ilaria Giannoccaro:
A model of human collective decision-making in complex environments. - Yue Hu, Xiaojun Wan:
Mining and Analyzing the Future Works in Scientific Articles. - Hossein Azizpour, Mostafa Arefiyan, Sobhan Naderi Parizi, Stefan Carlsson:
Spotlight the Negatives: A Generalized Discriminative Latent Model. - Xiaojiang Huang, Xiaojun Wan, Jianguo Xiao:
Learning to Mine Chinese Coordinate Terms Using the Web. - Xinhua Mao:
SAR Imaging of Moving Target based on Knowledge-aided Two-dimensional Autofocus. - Iago Landesa-Vazquez, José Luis Alba-Castro:
Double-Base Asymmetric AdaBoost. - Giovanni Da San Martino, Nicolò Navarin, Alessandro Sperduti:
An Empirical Study on Budget-Aware Online Kernel Algorithms for Streams of Graphs. - Limin Wang, Yuanjun Xiong, Zhe Wang, Yu Qiao:
Towards Good Practices for Very Deep Two-Stream ConvNets. - Daniel Lokshtanov, Marcin Pilipczuk, Erik Jan van Leeuwen:
Independence and Efficient Domination on P6-free Graph. - Marcin Pilipczuk, Michal Pilipczuk, Marcin Wrochna:
Edge Bipartization faster than 2k. - Shervin Minaee, AmirAli Abdolrashidi, Yao Wang:
Iris Recognition Using Scattering Transform and Textural Features. - Marcin Pilipczuk, Magnus Wahlström:
Directed multicut is W[1]-hard, even for four terminal pairs. - Jisu Jeong, Eun Jung Kim, Sang-il Oum:
Constructive algorithm for path-width of matroids. - Nicolò Navarin, Alessandro Sperduti, Riccardo Tesselli:
Extending local features with contextual information in graph kernels. - Rong Ge, James Zou:
Intersecting Faces: Non-negative Matrix Factorization With New Guarantees. - Wouter Bokslag:
Reverse Engineering of RFID devices. - Guy Grebla, Berk Birand, Peter M. van de Ven, Gil Zussman:
Joint Transmission in Cellular Networks with CoMP - Stability and Scheduling Algorithms. - Aaron Jaech, Victoria Zayats, Hao Fang, Mari Ostendorf, Hannaneh Hajishirzi:
Talking to the crowd: What do people react to in online discussions? - Won-Yong Shin, Bikash C. Singh, Jaehee Cho, Andre M. Everett:
A New Understanding of Friendships in Space: Complex Networks Meet Twitter. - Alessandro Sordoni, Yoshua Bengio, Hossein Vahabi, Christina Lioma, Jakob Grue Simonsen, Jian-Yun Nie:
A Hierarchical Recurrent Encoder-Decoder For Generative Context-Aware Query Suggestion. - Sayan Bandyapadhyay, Kasturi R. Varadarajan:
Approximate Clustering via Metric Partitioning. - Quentin F. Stout:
L infinity Isotonic Regression for Linear, Multidimensional, and Tree Orders. - Jerome Le Ny:
Privacy-Preserving Nonlinear Observer Design Using Contraction Analysis. - Zeyuan Allen Zhu, Yin Tat Lee, Lorenzo Orecchia:
Using Optimization to Obtain a Width-Independent, Parallel, Simpler, and Faster Positive SDP Solver. - Jianwei Xie, Sennur Ulukus:
Secure Degrees of Freedom of Multi-user Networks: One-Time-Pads in the Air via Alignment. - Michael B. Cohen
Optimal approximate matrix product in terms of stable rank. - Bogdan S. Chlebus, Gianluca De Marco, Muhammed Talo:
Anonymous Processors with Synchronous Shared Memory. - Mehrdad Farajtabar, Yichen Wang, Manuel Gomez-Rodriguez, Shuang Li, Hongyuan Zha, Le Song:
COEVOLVE: A Joint Point Process Model for Information Diffusion and Network Co-evolution. - Eugene Goldberg:
Equivalence Checking and Simulation By Computing Range Reduction. - Dimitris Fotakis, Christos Tzamos, Emmanouil Zampetakis:
Who to Trust for Truthfully Maximizing Welfare? - Ben Athiwaratkun, Keegan Kang:
Feature Representation in Convolutional Neural Networks. - Stefan Kiefer, A. Prasad Sistla:
Distinguishing Hidden Markov Chains. - Seungil You, Nikolai Matni:
A Convex Approach to Sparse H infinity Analysis & Synthesis. - Konstantinos Koiliaris, Chao Xu:
A Faster Pseudopolynomial Time Algorithm for Subset Sum. - Haider Ali Jasim Alshamary, Md Fahim Anjum, Tareq Y. Al-Naffouri, Alam Zaib, Weiyu Xu:
Optimal Non-coherent Data Detection for Massive SIMO Wireless Systems with General Constellations: A Polynomial Complexity Solution. - Olivier Curé, Hubert Naacke, Mohamed-Amine Baazizi, Bernd Amann:
On the Evaluation of RDF Distribution Algorithms Implemented over Apache Spark. - Naman Agarwal, Afonso S. Bandeira, Konstantinos Koiliaris, Alexandra Kolla:
Multisection in the Stochastic Block Model using Semidefinite Programming. - Khodakhast Bibak, Bruce M. Kapron, S. Venkatesh:
On almost-universal multilinear modular hashing with composite moduli. - Ibrahim Issa, Aaron B. Wagner:
Measuring Secrecy by the Probability of a Successful Guess. - Jaderick P. Pabico, Alona V. De Grano, Alan L. Zarsuela:
Neural Network Classifiers for Natural Food Products. - Jungsik Hwang, Minju Jung, Naveen Madapana, Jinhyung Kim, Minkyu Choi, Jun Tani:
Achieving Synergy in Cognitive Behavior of Humanoids via Deep Learning of Dynamic Visuo-Motor-Attentional Coordination. - René van Bevern, Iyad A. Kanj, Christian Komusiewicz, Rolf Niedermeier, Manuel Sorge:
Well-Formed Separator Sequences, with an Application to Hypergraph Drawing. - Ashwinkumar Badanidiyuru, Christos H. Papadimitriou, Aviad Rubinstein, Lior Seeman, Yaron Singer:
Locally Adaptive Optimization: Adaptive Seeding for Monotone Submodular Functions. - Prosenjit Bose, Jean-Lou De Carufel, Michael Gene Dobbins, Heuna Kim, Giovanni Viglietta:
The Shadows of a Cycle Cannot All Be Paths. - Jeremy Kepner, William Arcand, David Bestor, Bill Bergeron, Chansup Byun, Lauren Edwards, Vijay Gadepally, Matthew Hubbell, Peter Michaleas, Julie Mullen, Andrew Prout, Antonio Rosa, Charles Yee, Albert Reuther:
Lustre, Hadoop, Accumulo. - Min Sang Yoon, Ahmed E. Kamal, Zhengyuan Zhu:
Request Prediction in Cloud with a Cyclic Window Learning Algorithm. - Jennifer Wang, Erik Schluntz, Brian Otis, Travis Deyle:
A New Vision for Smart Objects and the Internet of Things: Mobile Robots and Long-Range UHF RFID Sensor Tags. - Marcin Bienkowski, Martin Böhm, Jaroslaw Byrka, Marek Chrobak, Christoph Dürr, Lukás Folwarczný, Lukasz Jez, Jirí Sgall, Kim Thang Nguyen, Pavel Veselý:
Online Algorithms for Multi-Level Aggregation. - Donglai Wei, Bolei Zhou, Antonio Torralba, William T. Freeman:
Understanding Intra-Class Knowledge Inside CNN. - Ran He, Tieniu Tan, Larry S. Davis, Zhenan Sun:
Learning Structured Ordinal Measures for Video based Face Recognition. - Jisu Jeong, Sigve Hortemo Sæther, Jan Arne Telle:
Maximum matching width: new characterizations and a fast algorithm for dominating set. - Qilong Wang, Peihua Li, Lei Zhang, Wangmeng Zuo:
Towards Effective Codebookless Model for Image Classification. - Saurabh Khanna, Chandra R. Murthy:
Consensus based Decentralized Sparse Bayesian Learning for Joint Sparse Signal Recovery. - Julian Yarkony:
Planar Ultrametric Rounding for Image Segmentation. - Angelo Fanelli, Gianluigi Greco:
Ride Sharing with a Vehicle of Unlimited Capacity. - Pawel Brach, Marek Cygan, Jakub Lacki, Piotr Sankowski:
Algorithmic Complexity of Power Law Networks. - Niko Sünderhauf, Feras Dayoub, Sean McMahon, Ben Talbot, Ruth Schulz, Peter I. Corke, Gordon F. Wyeth, Ben Upcroft, Michael Milford:
Place Categorization and Semantic Mapping on a Mobile Robot. - Nikolaos Atzarakis:
Research Approaches on Energy-aware Cognitive Radio Networks and Cloud based Infrastructures. - Maxime Chevalier-Boisvert, Marc Feeley:
Extending Basic Block Versioning with Typed Object Shapes. - Tae Hyun Kim, Kyoung Mu Lee:
Generalized Video Deblurring for Dynamic Scenes. - Oludayo O. Olugbara, Manish R. Joshi, Michael M. Modiba, Virendrakumar C. Bhavsar:
Automated Matchmaking to Improve Accuracy of Applicant Selection for University Education System. - Silas L. Fong, Vincent Y. F. Tan, Jing Yang:
Non-Asymptotic Achievable Rates for Energy-Harvesting Channels using Save-and-Transmit. - Santosh Tirunagari:
Data Mining of Causal Relations from Text: Analysing Maritime Accident Investigation Reports. - Cristian Rusu, Nuria González Prelcic:
Optimized Compressed Sensing via Incoherent Frames Designed by Convex Optimization. - Seyed Alireza Razavi, Mikko Valkama, Danijela Cabric:
Compressive Identification of Active OFDM Subcarriers in Presence of Timing Offset. - Melisachew Wudage Chekol, Jakob Huber, Heiner Stuckenschmidt:
Towards Log-Linear Logics with Concrete Domains. - Tolga Mataracioglu, Sevgi Özkan, Ray Hackney:
Towards a Security Lifecycle Model against Social Engineering Attacks: SLM-SEA. - Tapas Kumar Mishra, Sudebkumar Prasant Pal:
An extremal problem in proper (r, p)-coloring of hypergraphs. - Robert Ganian, M. S. Ramanujan, Stefan Szeider:
Discovering Archipelagos of Tractability for Constraint Satisfaction and Counting. - Or Sheffet:
Differentially Private Least Squares: Estimation, Confidence and Rejecting the Null Hypothesis. - James Jian Qiao Yu, Victor O. K. Li:
Parameter Sensitivity Analysis of Social Spider Algorithm. - James Jian Qiao Yu, Albert Y. S. Lam, Victor O. K. Li:
Adaptive Chemical Reaction Optimization for Global Numerical Optimization. - Jianwen Li, Shufang Zhu, Geguang Pu, Moshe Y. Vardi:
SAT-based Explicit LTL Reasoning. - Bartosz Andreatto, Aleksandr Cariow:
An algorithm for fast computation of the multiresolution discrete Fourier transform. - Roderick Bloem, Rüdiger Ehlers, Robert Könighofer:
Cooperative Reactive Synthesis. - Gourav Saha, Ramkrishna Pasumarthy:
Maximizing Profit of Cloud Brokers under Quantized Billing Cycles: a Dynamic Pricing Strategy based on Ski-Rental Problem. - Ilaria Gori, J. K. Aggarwal, Michael S. Ryoo:
Building Unified Human Descriptors For Multi-Type Activity Recognition. - Wen Shen, Cristina V. Lopes:
Managing Autonomous Mobility on Demand Systems for Better Passenger Experience. - Avrim Blum, Sariel Har-Peled
Sparse Approximation via Generating Point Sets. - Michaël Rao, Matthieu Rosenfeld:
Avoidability of long k-abelian repetitions. - Tim van Erven, Peter D. Grünwald, Nishant A. Mehta, Mark D. Reid, Robert C. Williamson:
Fast rates in statistical and online learning. - Marko Angjelichinoski, Cedomir Stefanovic, Petar Popovski, Frede Blaabjerg:
Power Talk in DC Micro Grids: Constellation Design and Error Probability Performance. - Saeed Alaei, Jason D. Hartline, Rad Niazadeh, Emmanouil Pountourakis, Yang Yuan:
Optimal Auctions vs. Anonymous Pricing. - Stephen Alstrup, Søren Dahlgaard, Mathias Bæk Tejs Knudsen, Ely Porat:
Sublinear distance labeling for sparse graphs. - Mircea Cimpoi, Subhransu Maji, Iasonas Kokkinos, Andrea Vedaldi:
Deep filter banks for texture recognition, description, and segmentation. - Zhiguo Wang, Abraham Ittycheriah:
FAQ-based Question Answering via Word Alignment. - Bernardetta Addis, Antonio Capone, Giuliana Carello, Luca Giovanni Gianoli, Brunilde Sansò:
Energy management in communication networks: a journey through modelling and optimization glasses. - Nathan Wiebe, Ashish Kapoor, Christopher E. Granade, Krysta M. Svore:
Quantum Inspired Training for Boltzmann Machines. - Antti Rasmus, Harri Valpola, Mikko Honkala, Mathias Berglund, Tapani Raiko:
Semi-Supervised Learning with Ladder Network. - David G. Harris, Aravind Srinivasan:
Algorithmic and enumerative aspects of the Moser-Tardos distribution. - Shuran Song, Linguang Zhang, Jianxiong Xiao:
Robot In a Room: Toward Perfect Object Recognition in Closed Environments. - Hedyeh Beyhaghi, Nishanth Dikkala, Éva Tardos:
Effect of Strategic Grading and Early Offers in Matching Markets. - Yves Métivier, John Michael Robson, Akka Zemmari:
On Distributed Computing with Beeps. - Zahra Aghazadeh, Philipp Woelfel:
On the Time and Space Complexity of ABA Prevention and Detection. - Holger Petersen:
An NL-Complete Puzzle. - Luis Felipe Tapia Cuitiño, Andrea Luigi Tironi:
Some properties of skew codes over finite fields. - Kush Bhatia, Himanshu Jain, Purushottam Kar, Prateek Jain, Manik Varma:
Locally Non-linear Embeddings for Extreme Multi-label Learning. - Hernán Ponce de León, César Rodríguez, Josep Carmona, Keijo Heljanko, Stefan Haar:
Unfolding-Based Process Discovery. - Hossein Esfandiari, Guy Kortsarz:
Low-Risk Mechanisms for the Kidney Exchange Game. - Pratik Gajane, Tanguy Urvoy:
Utility-based Dueling Bandits as a Partial Monitoring Game. - Mahyar Shirvanimoghaddam, Yonghui Li, Mischa Dohler, Branka Vucetic:
Probabilistic Rateless Multiple Access for Machine-to-Machine Communication. - Stefan Langerman, Andrew Winslow:
A Quasilinear-Time Algorithm for Tiling the Plane Isohedrally with a Polyomino. - Jaewook Kang, Hyoyoung Jung, Kiseon Kim:
Fast Signal Separation of 2D Sparse Mixture via Approximate Message-Passing. - Toni-Jan Keith P. Monserrat, Jaderick P. Pabico, Eliezer A. Albacea:
A Hybrid Graph-drawing Algorithm for Large, Naturally-clustered, Disconnected Graphs. - Jaderick P. Pabico, Jose Rene L. Micor:
Ang Social Network sa Facebook ng mga Taga-Batangas at ng mga Taga-Laguna: Isang Paghahambing. - Anoop Cherian, Suvrit Sra:
Riemannian Dictionary Learning and Sparse Coding for Positive Definite Matrices. - Hai Xuan Pham, Chongyu Chen, Luc N. Dao, Vladimir Pavlovic, Jianfei Cai, Tat-Jen Cham:
Robust Performance-driven 3D Face Tracking in Long Range Depth Scenes. - Ping Chen, Jun Xu, Jun Wang, Peng Liu:
Instantly Obsoleting the Address-code Associations: A New Principle for Defending Advanced Code Reuse Attack. - Wentu Song, Chau Yuen:
Locally Repairable Codes with Functional Repair and Multiple Erasure Tolerance. - Ahmad Maatouki, Marek Szuba, Jörg Meyer, Achim Streit:
A horizontally-scalable multiprocessing platform based on Node.js. - Guy Kortsarz, Zeev Nutov:
A simplified 1.5-approximation algorithm for augmenting edge-connectivity of a graph from 1 to 2. - Chuhua Xian, Shuo Jin, Charlie C. L. Wang:
Meshfree C^2-Weighting for Shape Deformation. - Moritz Mühlenthaler, Rolf Wanka:
On the Connectedness of Clash-free Timetables. - Eric Angel, Evripidis Bampis, Vincent Chau, Vassilis Zissimopoulos:
Minimizing Total Calibration Cost. - Christoph Studer:
Recovery of Signals with Low Density. - Leandros A. Maglaras, Jianmin Jiang, Tiago J. Cruz:
Combining ensemble methods and social network metrics for improving accuracy of OCSVM on intrusion detection in SCADA systems. - Nazim Burak Karahanoglu, Hakan Erdogan:
Comments On "Multipath Matching Pursuit" by Kwon, Wang and Shim. - Chetan Singh Thakur, Runchun Wang, Tara Julia Hamilton
A Trainable Neuromorphic Integrated Circuit that Exploits Device Mismatch. - Anna Zygmunt:
Role Identification of Social Networkers. - Philip Bille, Anders Roy Christiansen, Patrick Hagge Cording, Inge Li Gørtz:
Finger Search, Random Access, and Longest Common Extensions in Grammar-Compressed Strings. - Shengjun Liu, Charlie C. L. Wang, Guido Brunnett, Jun Wang:
A Closed-Form Formulation of HRBF-Based Surface Reconstruction. - Katarína Cechlárová, Pavlos Eirinakis, Tamás Fleiner, Dimitrios Magos, David F. Manlove, Ioannis Mourtos, Eva Oceláková, Baharak Rastegari:
Pareto Optimal Matchings in Many-to-Many Markets with Ties. - Khalid Raza:
Analysis of Microarray Data using Artificial Intelligence Based Techniques. - Joris Renkens, Angelika Kimmig, Luc De Raedt:
Lazy Explanation-Based Approximation for Probabilistic Logic Programming. - Manuj Mukherjee, Navin Kashyap, Yogesh Sankarasubramaniam:
On the Public Communication Needed to Achieve SK Capacity in the Multiterminal Source Model. - Yuliya Butkova, Hassan Hatefi, Holger Hermanns, Jan Krcál:
Optimal Continuous Time Markov Decisions. - M. Saquib Sarfraz, Rainer Stiefelhagen:
Deep Perceptual Mapping for Thermal to Visible Face Recognition. - Nicolas Bedon:
Logic and Branching Automata. - Luís Marujo, Ricardo Ribeiro, David Martins de Matos, João Paulo Neto, Anatole Gershman, Jaime G. Carbonell:
Extending a Single-Document Summarizer to Multi-Document: a Hierarchical Approach. - Maximilian Drees, Matthias Feldotto
On Existence and Properties of Approximate Pure Nash Equilibria in Bandwidth Allocation Games. - James Cussens:
First-order integer programming for MAP problems. - Rajib Lochan Das, Mrityunjoy Chakraborty:
Zero Attracting PNLMS Algorithm and Its Convergence in Mean. - Mayank Goswami, Siming Li, Junwei Zhang, Emil Saucan, Xianfeng David Gu, Jie Gao:
Space Filling Curves for 3D Sensor Networks with Complex Topology. - José Manuel Sánchez-Vílchez, Imen Grida Ben Yahia, Noël Crespi, Tinku Rasheed, Domenico Siracusa:
Softwarized 5G Networks Resiliency with Selfhealing. - José Sánchez, Imen Grida Ben Yahia, Noël Crespi:
POSTER: Self-Healing Mechanisms for Software-Defined Networks. - Thomas L. Hansen, Peter Bjørn Jørgensen, Mihai-Alin Badiu, Bernard H. Fleury:
Joint Sparse Channel Estimation and Decoding: Continuous and Discrete Domain Sparsity. - Christian Ikenmeyer, Ketan D. Mulmuley, Michael Walter:
On vanishing of Kronecker coefficients. - Adham Beykikhoshk, Ognjen Arandjelovic, Dinh Q. Phung, Svetha Venkatesh:
Overcoming data scarcity of Twitter: using tweets as bootstrap with application to autism-related topic content analysis. - Felipe Fernandes Albrecht:
Genoogle: an indexed and parallelized search engine for similar DNA sequences. - Ravi Chugh, Jacob Albers, Mitchell Spradlin:
Program Synthesis for Direct Manipulation Interfaces. - Szymon Grabowski, Robert Susik, Marcin Raniszewski:
A Bloom filter based semi-index on q-grams. - Christoph Pohl, Hans-Joachim Hof:
Secure Scrum: Development of Secure Software with Scrum. - Anabel Quan-Haase, Kim Martin, Lori McCay-Peet:
Networks of digital humanities scholars: The informational and social uses and gratifications of Twitter. - Seyed Alireza Razavi, Mikko Valkama, Danijela Cabric:
Compressive Detection of Random Subspace Signals. - (Withdrawn) Toward Practical Differential Privacy in Smart Grid with Capacity-Limited Rechargeable Batteries.
- Guy Kortsarz, Zeev Nutov:
A 1.75 LP approximation for the Tree Augmentation Problem. - Hiroki Sayama:
Estimation of Laplacian spectra of direct and strong product graphs. - (Withdrawn) Spectral Smoothing via Random Matrix Perturbations.
- S. Sarma:
SenseDroid: A Context-Aware Information Exchange Framework for Mobile Sensor Networks Using Android Phones. - Weiyu Huang, Alejandro Ribeiro:
Persistent Homology Lower Bounds on High Order Network Distances. - Tushar Khot, Niranjan Balasubramanian, Eric Gribkoff, Ashish Sabharwal, Peter Clark, Oren Etzioni:
Markov Logic Networks for Natural Language Question Answering. - Diego Cifuentes, Pablo A. Parrilo:
An efficient tree decomposition method for permanents and mixed discriminants. - Feilong Liu, Spyros Blanas:
Forecasting the cost of processing multi-join queries via hashing for main-memory databases (Extended version). - Hongkai Yu, Youjie Zhou, Hui Qian, Min Xian, Yuewei Lin, Dazhou Guo, Kang Zheng, Kareem Abdelfatah, Song Wang:
LooseCut: Interactive Image Segmentation with Loosely Bounded Boxes. - Abhay Kumar Singh, Narendra Kumar:
On cyclic self-orthogonal codes over Zpm. - Takeaki Uno, Hiroki Maegawa, Takanobu Nakahara, Yukinobu Hamuro, Ryo Yoshinaka, Makoto Tatsuta:
Micro-Clustering: Finding Small Clusters in Large Diversity. - Adel Rahimi:
A new hybrid stemming algorithm for Persian. - Joël Kaboré, Mohammed E. Charkani:
Constacyclic codes over Fp + u Fp + v Fp + u v Fp. - Shangpu Jiang, Daniel Lowd, Dejing Dou:
Ontology Matching with Knowledge Rules. - Jing Ma, Wenhui Zhang:
Enhancing the Security of Protocols against Actor Key Compromise Problems. - Jack Murtagh, Salil P. Vadhan:
The Complexity of Computing the Optimal Composition of Differential Privacy. - Venkatanathan Varadarajan, Yinqian Zhang, Thomas Ristenpart, Michael M. Swift:
A Placement Vulnerability Study in Multi-tenant Public Clouds. - Christoph Pohl, Michael Meier, Hans-Joachim Hof:
Apate - A Linux Kernel Module for High Interaction Honeypots. - Nan Wang:
A new boosting algorithm based on dual averaging scheme. - Andris Ambainis, Aleksandrs Belovs, Oded Regev, Ronald de Wolf:
Efficient Quantum Algorithms for (Gapped) Group Testing and Junta Testing. - Thomas Gilray, Steven Lyde, Michael D. Adams, Matthew Might, David Van Horn:
Pushdown Control-Flow Analysis for Free. - (Withdrawn) Performance Analysis for Energy Harvesting Communication Systems: From Throughput to Energy Diversity.
- Heng Yang, Wenxuan Mou, Yichi Zhang, Ioannis Patras, Hatice Gunes, Peter Robinson:
Face Alignment Assisted by Head Pose Estimation. - Tapas Kumar Mishra, Sudebkumar Prasant Pal:
Strong (r, p) Cover for Hypergraphs. - Marlon McKenzie, Hua Fan, Wojciech M. Golab:
Continuous Partial Quorums for Consistency-Latency Tuning in Distributed NoSQL Storage Systems. - Oner Orhan, Elza Erkip:
Energy Harvesting Two-Hop Communication Networks. - Joël Ouaknine, João Sousa Pinto, James Worrell:
The Polyhedral Escape Problem is Decidable. - Pablo Robles-Granda, Sebastián Moreno, Jennifer Neville:
Using Bayesian Network Representations for Effective Sampling from Generative Network Models. - Jinshan Zeng, Zhimin Peng, Shaobo Lin:
A Gauss-Seidel Iterative Thresholding Algorithm for lq Regularized Least Squares Regression. - Shangpu Jiang, Daniel Lowd, Dejing Dou:
A Probabilistic Approach to Knowledge Translation. - Ankit Sharma, Xiaodong Feng, Kartik Singhal, Rui Kuang, Jaideep Srivastava:
Predicting Small Group Accretion in Social Networks: A topology based incremental approach. - (Withdrawn) On Error Exponents and Moderate Deviations for Lossless Streaming Compression of Correlated Sources.
- Clément Charpentier:
The Coloring Game on Planar Graphs with Large Girth, by a result on Sparse Cactuses. - Zhangyang Wang, Jianchao Yang, Hailin Jin, Eli Shechtman, Aseem Agarwala, Jonathan Brandt, Thomas S. Huang:
DeepFont: Identify Your Font from An Image. - Alireza Dirafzoon, Alper Bozkurt, Edgar J. Lobaton:
Dynamic Topological Mapping with Biobotic Swarms. - Volker Diekert:
More Than 1700 Years of Word Equations. - Yong-Jin Kim
An algorithm for computing Grobner basis and the complexity evaluation. - Renato Neves, Luís Soares Barbosa
Continuity as a computational effect. - Shruti Tyagi, Deepti Chopra, Iti Mathur, Nisheeth Joshi:
Classifier-Based Text Simplification for Improved Machine Translation. - Rasmus Pagh:
Locality-sensitive Hashing without False Negatives. - (Withdrawn) Positive Unknown Input Observer For Positive Linear Systems.
- Ori Shmuel, Asaf Cohen, Omer Gurewitz:
Capacity and performance analysis for multi-user system under distributed opportunistic scheduling in a time dependent channel. - Michael Gr. Voskoglou:
Use of the Triangular Fuzzy Numbers for Student Assessment. - Marie Kerjean
Mackey-complete spaces and power series - A topological model of Differential Linear Logic. - Samuel B. Hopkins, Jonathan Shi, David Steurer:
Tensor principal component analysis via sum-of-squares proofs. - Yeounoh Chung, Erfan Zamanian:
Using RDMA for Lock Management. - Jingjin Yu, Steven M. LaValle:
Optimal Multi-Robot Path Planning on Graphs: Structure and Computational Complexity. - Jingjin Yu, Steven M. LaValle:
Optimal Multi-Robot Path Planning on Graphs: Complete Algorithms and Effective Heuristics. - Jaeseong Jeong, Mathieu Leconte, Alexandre Proutière:
Mobility Prediction Using Non-Parametric Bayesian Model. - Yang Li, Jongmoo Choi, Jin Sun, Saugata Ghose, Hui Wang, Justin Meza, Jinglei Ren, Onur Mutlu:
Managing Hybrid Main Memories with a Page-Utility Driven Performance Model. - Matthew Hague, Jonathan Kochems, C.-H. Luke Ong:
Unboundedness and Downwards Closures of Higher-Order Pushdown Automata. - Marlies Olensky, Marion Schmidt, Nees Jan van Eck:
Evaluation of the citation matching algorithms of CWTS and iFQ in comparison to Web of Science. - Bo Li, Hongsheng Qi, Guodong Shi:
Randomized Boolean Gossiping. - Zhao Zhang, Kyle Barbary, Frank Austin Nothaft, Evan Randall Sparks, Oliver Zahn, Michael J. Franklin, David A. Patterson, Saul Perlmutter:
Scientific Computing Meets Big Data Technology: An Astronomy Use Case. - Wei Chen, Fu Li, Tian Lin, Aviad Rubinstein:
Combining Traditional Marketing and Viral Marketing with Amphibious Influence Maximization. - Victor Magron, George A. Constantinides, Alastair F. Donaldson:
Certified Roundoff Error Bounds Using Semidefinite Programming. - Mark Saroufim:
Aren't we all nearest neighbors: Spatial trees, high dimensional reductions and batch nearest neighbor search. - Zahid Ahmed Ansari, Mohammad Fazle Azeem, Waseem Ahmed, A. Vinaya Babu:
Quantitative Evaluation of Performance and Validity Indices for Clustering the Web Navigational Sessions. - (Withdrawn) Entanglement in Reversible Quantum Computing.
- Maurice Chandoo:
Deciding Circular-Arc Graph Isomorphism in Parameterized Logspace. - Nicolas Ray, Dmitry Sokolov:
On Smooth 3D Frame Field Design. - José Manuel Sánchez-Vílchez, Imen Grida Ben Yahia, Noël Crespi:
Self-Modeling Based Diagnosis of Software-Defined Networks. - Charu Gaur, Baranidharan Mohan, Kedar Khare:
Sparsity assisted solution to the twin image problem in phase retrieval. - Giovanni Da San Martino, Nicolò Navarin, Alessandro Sperduti:
Ordered Decompositional DAG Kernels Enhancements. - Yves Métivier, John Michael Robson, Akka Zemmari:
A Distributed Enumeration Algorithm and Applications to All Pairs Shortest Paths, Diameter. - Saul Rodriguez, Stig Ollmar, Muhammad Waqar, Ana Rusu:
A Batteryless Sensor ASIC for Implantable Bio-impedance Applications. - Louay Bazzi, Ibrahim C. Abou-Faycal:
LP decoding excess over symmetric channels. - Matias Korman, Wolfgang Mulzer, André van Renssen, Marcel Roeloffzen, Paul Seiferth, Yannik Stein:
Time-Space Trade-offs for Triangulations and Voronoi Diagrams. - Tomás Brázdil, Petr Hlinený, Antonín Kucera, Vojtech Rehák, Matús Abaffy:
Strategy Synthesis in Adversarial Patrolling Games. - (Withdrawn) Unconstrained Facial Landmark Localization with Backbone-Branches Fully-Convolutional Networks.
- Maria Leitner, Zhendong Ma, Stefanie Rinderle-Ma:
A Cross-Layer Security Analysis for Process-Aware Information Systems. - Chuangqiang Hu:
Explicit Construction of AG Codes from Generalized Hermitian Curves. - Michael Etscheid, Stefan Kratsch, Matthias Mnich, Heiko Röglin:
Polynomial Kernels for Weighted Problems. - Itziar Aldabe, Oier Lopez de Lacalle, Iñigo Lopez-Gazpio, Montse Maritxalar:
Supervised Hierarchical Classification for Student Answer Scoring. - Bart Besselink, Valerio Turri, Sebastian H. van de Hoef, Kuo-Yun Liang, Assad Al Alam, Jonas Mårtensson, Karl Henrik Johansson:
Cyber-physical Control of Road Freight Transport. - Alfredo De Santis, Giancarlo De Maio, Umberto Ferraro Petrillo:
Using HTML5 to Prevent Detection of Drive-by-Download Web Malware. - Lukás Zilka, Filip Jurcícek:
Incremental LSTM-based Dialog State Tracker. - Dominik Peters, Edith Elkind:
Simple Causes of Complexity in Hedonic Games. - Wansu Bao, Heliang Huang:
Middle-Solving Grobner bases algorithm for cryptanalysis over finite fields. - Francisco Hernando-Gallego, Antonio Artés-Rodríguez:
Individual performance calibration using physiological stress signals. - Hiroki Sayama, Catherine Cramer, Mason A. Porter, Lori Sheetz, Stephen M. Uzzo:
What are essential concepts about networks? - Christine Antonsen:
Selfish Routing on Dynamic Flows. - Thomas C. Shermer:
A Combinatorial Bound for Beacon-based Routing in Orthogonal Polygons. - Bang Hui Lim, Dongyuan Lu, Tao Chen, Min-Yen Kan:
#mytweet via Instagram: Exploring User Behaviour across Multiple Social Networks. - Jean Yang, Travis Hance, Thomas H. Austin, Armando Solar-Lezama, Cormac Flanagan, Stephen Chong:
End-To-End Policy-Agnostic Security for Database-Backed Applications. - Homa Alemzadeh, Ravishankar K. Iyer, Zbigniew T. Kalbarczyk, Nancy Leveson, Jai Raman:
Adverse Events in Robotic Surgery: A Retrospective Study of 14 Years of FDA Data. - Soheil Eshghi, Saswati Sarkar, Santosh S. Venkatesh:
Visibility-Aware Optimal Contagion of Malware Epidemics. - Clément L. Canonne, Ilias Diakonikolas, Themis Gouleakis, Ronitt Rubinfeld:
Testing Shape Restrictions of Discrete Distributions. - David Darais, David Van Horn:
Mechanically Verified Calculational Abstract Interpretation. - Mbarka Soualhia, Foutse Khomh, Sofiène Tahar:
Predicting Scheduling Failures in the Cloud. - Jinseong Jeon, Xiaokang Qiu, Jeffrey S. Foster, Armando Solar-Lezama:
JSKETCH: Sketching for Java. - Gabi Sarkis, Ido Tal, Pascal Giard, Alexander Vardy, Claude Thibeault, Warren J. Gross:
Flexible and Low-Complexity Encoding and Decoding of Systematic Polar Codes. - Ventsislav Chonev, Joël Ouaknine, James Worrell:
On the Decidability of the Continuous Infinite Zeros Problem. - Giuseppe Tommaso Costanzo, Sandro Iacovella, Frederik Ruelens, T. Leurs, Bert Claessens:
Experimental analysis of data-driven control for a building heating system. - Greg Durrett, Dan Klein:
Neural CRF Parsing. - Cengis Hasan, Zygmunt J. Haas:
Deadline-aware Power Management in Data Centers. - Neil Shah, Yang Song:
S-index: Towards Better Metrics for Quantifying Research Impact. - Swaran S. Ravindra
A Study of the Management of Electronic Medical Records in Fijian Hospitals. - Khaled Skander Ben Slimane, Alexis Comte, Olivier Gasquet, Abdelwahab Heba, Olivier Lezaud, Frederic Maris, Maël Valais:
Twist your logic with TouIST. - José Martín Castro-Manzano, Verónica Reyes-Meza, Jorge Medina-Delgadillo:
{dasasap}, an App for Syllogisms. - Jacques Duparc:
Easy Proofs of Löwenheim-Skolem Theorems by Means of Evaluation Games. - Arno Ehle, Norbert Hundeshagen, Martin Lange:
The Sequent Calculus Trainer - Helping Students to Correctly Construct Proofs. - Nino Guallart, Ángel Nepomuceno-Fernández:
Set theory and tableaux for teaching propositional logic. - Pierre Joray:
Teaching Leśniewski's Prothetic with a Natural Deduction System. - Angelo Kyrilov, David C. Noelle:
Using Automated Theorem Provers to Teach Knowledge Representation in First-Order Logic. - Josje Lodder, Bastiaan Heeren, Johan Jeuring:
A pilot study of the use of LogEx, lessons learned. - Johann A. Makowsky:
Teaching Logic for Computer Science: Are We Teaching the Wrong Narrative? - João Marcos:
Fail better: What formalized math can teach us about learning. - Heliang Huang, Wansu Bao:
Algorithm for Solving Massively Underdefined Systems of Multivariate Quadratic Equations over Finite Fields. - Marek Materzok:
Easyprove: a tool for teaching precise reasoning. - Juan Michelini, Alvaro Tasistro:
Presentation of Classical Propositional Tableaux on Program Design Premises. - Stefan Minica:
RAESON: A Tool for Reasoning Tasks Driven by Interactive Visualization of Logical Structure. - Favio Ezequiel Miranda-Perea
How to prove it in Natural Deduction: A Tactical Approach. - Carlos A. Oller, Ana Couló:
Why teach an introductory course in Mathematical Logic in the Philosophy curriculum? - Diane Resek, Dan Fendel:
Transitioning to Proof. - Jeremy Seligman, Declan Thompson:
Teaching natural deduction in the right order with Natural Deduction Planner. - Nailton Silva, Patrick Terrematte, José Moura:
ARG: Virtual Tool to Teaching Argumentation Theory. - John K. Slaney:
Logic considered fun. - Ryo Takemura:
Euler diagrams as an introduction to set-theoretical models. - Patrick Terrematte, João Marcos:
TryLogic tutorial: an approach to Learning Logic by proving and refuting. - Roger Villemaire:
Logic Modelling. - Anna Zamansky, Eitan Farchi:
Teaching Logic to Information Systems Students: Challenges and Opportunities. - Fang Chen, Bo Yang, Qiaoni Han, Cailian Chen, Xin-Ping Guan:
Dynamic Sleep Control in Green Relay-Assisted Networks for Energy Saving and QoS Improving. - Raúl Díaz, Minhaeng Lee, Jochen Schubert, Charless C. Fowlkes:
Lifting GIS Maps into Strong Geometric Context. - Guojun Liao, Xi Chen, Xianxin Cai, Ben Hildebrand, Dion Fleitas:
A New Method for Triangular Mesh Generation. - Martin Lévesque:
Http-Burst: Improving HTTP Efficiency in the Era of Bandwidth Hungry Web Applications. - Jian-Feng Cai, Suhui Liu, Weiyu Xu:
Projected Wirtinger Gradient Descent for Low-Rank Hankel Matrix Completion in Spectral Compressed Sensing. - Xi Chen, Guojun Liao:
New Variational Method of Grid Generation with Prescribed Jacobian Determinant and Prescribed Curl. - Jens Bürger, Alireza Goudarzi, Darko Stefanovic, Christof Teuscher:
Computational Capacity and Energy Consumption of Complex Resistive Switch Networks. - Rafael da Ponte Barbosa, Alina Ene, Huy L. Nguyen, Justin Ward:
A New Framework for Distributed Submodular Maximization. - Frank Lingelbach:
On Probabilistic Completeness of Probabilistic Cell Decomposition. - Shihao Yan, Nan (Jonas) Yang, Giovanni Geraci, Robert A. Malaney, Jinhong Yuan:
Optimization of Code Rates in SISOME Wiretap Channels. - Fedor V. Fomin, Alexander Golovnev, Alexander S. Kulikov, Ivan Mihajlin:
Tight Bounds for Subgraph Isomorphism and Graph Homomorphism. - Manfred Harringer:
Closed Curves and Elementary Visual Object Identification. - Carlos H. M. de Lima, Pedro Henrique Juliano Nardelli, Hirley Alves, Matti Latva-aho:
Contention-based Geographic Forwarding Strategies for Wireless Sensors Networks. - Carlos H. M. de Lima, Hirley Alves, Pedro Henrique Juliano Nardelli, Matti Latva-aho:
Effects of Relay Selection Strategies on the Spectral Efficiency of Wireless Systems with Half- and Full-duplex Nodes. - Itsik Bergel, Yona Perets, Shlomo Shamai:
Uplink Downlink Rate Balancing and throughput scaling in FDD Massive MIMO Systems. - Daniel Graziotin, Xiaofeng Wang, Pekka Abrahamsson:
Understanding the Affect of Developers: Theoretical Background and Guidelines for Psychoempirical Software Engineering. - Alireza Khosravian, Jochen Trumpf, Robert E. Mahony, Christian Lageman:
Observers for invariant systems on Lie groups with biased input measurements and homogeneous outputs. - Rami Mochaourab, Emil Björnson, Mats Bengtsson:
Pilot Clustering in Asymmetric Massive MIMO Networks. - Udit Gupta:
Monitoring in IOT enabled devices. - Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Engel Lefaucheux, Benjamin Monmege:
Simple Priced Timed Games Are Not That Simple. - Itsik Bergel, Daniel Yellin, Shlomo Shamai:
A lower bound on the data rate of dirty paper coding in general noise and interference. - Liliana Lo Presti, Marco La Cascia:
Ensemble of Hankel Matrices for Face Emotion Recognition. - Kevin Buchin, Tim Ophelders, Bettina Speckmann:
Computing the Similarity Between Moving Curves. - Carsten Grimm:
A Lower Bound on Supporting Predecessor Search in k sorted Arrays. - Davide Nunes, Luis Antunes:
Modelling Structured Societies: a Multi-relational Approach to Context Permeability. - Liyun Dai, Jingjun Han, Hoon Hong, Bican Xia:
Open Weak CAD and Its Applications. - Mohammed S. Elmusrati:
Towards Green and Infinite Capacity in Wireless Communication Networks: Beyond The Shannon Theorem. - Subhash Lakshminarayana, Mohamad Assaad, Mérouane Debbah:
Transmit Power Minimization in Small Cell Networks Under Time Average QoS Constraints. - Levis Zerpa:
Using interrogative logic to teach classical logic. - Wei Yang, Giuseppe Durisi, Yury Polyanskiy:
Minimum Energy to Send k Bits Over Multiple-Antenna Fading Channels. - Marc Brockschmidt, Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio:
Compositional Safety Verification with Max-SMT. - Thibault Lesieur, Florent Krzakala, Lenka Zdeborová:
MMSE of probabilistic low-rank matrix estimation: Universality with respect to the output channel. - Rong Ge, James Zou:
Rich Component Analysis. - Mario Alviano, Rafael Peñaloza:
Fuzzy Answer Set Computation via Satisfiability Modulo Theories. - Mario Alviano, Nicola Leone:
Complexity and Compilation of GZ-Aggregates in Answer Set Programming. - Mario Alviano, Wolfgang Faber, Martin Gebser:
Rewriting recursive aggregates in answer set programming: back to monotonicity. - Ankush Chakrabarty, Gregery T. Buzzard, Stanislaw H. Zak, Fanglai Zhu, Ann E. Rundell:
Simultaneous Unknown Input And Sensor Noise Reconstruction For Nonlinear Systems With Boundary Layer Sliding Mode Observers. - (Withdrawn) SkyHash: an Opinion Dynamics Model for Hash Consensus over P2P network.
- Fernando Diaz:
Pseudo-Query Reformulation. - Kai Sun, Qizhe Xie, Kai Yu:
Recurrent Polynomial Network for Dialogue State Tracking. - Abbas Kazemipour, Min Wu, Behtash Babadi:
Robust Estimation of Self-Exciting Point Process Models with Application to Neuronal Modeling. - Zhouyue Pi, Junil Choi, Robert W. Heath Jr.:
Millimeter-wave Gbps Broadband Evolution towards 5G: Fixed Access and Backhaul. - Neng-Fa Zhou, Roman Barták, Agostino Dovier:
Planning as Tabled Logic Programming. - Mark E. J. Newman, Aaron Clauset:
Structure and inference in annotated networks. - Jørgen Villadsen, Alexander Birch Jensen, Anders Schlichtkrull:
NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle. - Mike A. Marin, Matheus Hauder:
Case Management: a data set of definitions. - D. S. Pavan Kumar:
Feature Normalisation for Robust Speech Recognition. - Sude Tavassoli, Katharina Anna Zweig:
Analyzing the activity of a person in a chat by combining network analysis and fuzzy logic. - Mingming Chen, Boleslaw K. Szymanski:
Fuzzy Overlapping Community Quality Metrics. - Thomas E. Portegys:
Training artificial neural networks to learn a nondeterministic game. - Pascal Potvin, Hanen Garcia Gamardo, Kim Khoa Nguyen, Mohamed Cheriet:
Hyper Heterogeneous Cloud-based IMS Software Architecture: A Proof-of-Concept and Empirical Analysis. - Stephen Alstrup, Inge Li Gørtz, Esben Bistrup Halvorsen, Ely Porat:
Distance labeling schemes for trees. - Nuno Fachada, Vitor V. Lopes, Rui Costa Martins, Agostinho C. Rosa:
Parallelization Strategies for Spatial Agent-based Models. - Konstantinos Ntougias, Dimitrios Ntaikos, Constantinos B. Papadias:
Reducing Complexity in Next-Generation MU-MIMO Systems. - Hayder Albehadili, Naz E. Islam:
Unsupervised Decision Forest for Data Clustering and Density Estimation. - Vinit Kumar, Ajay Agarwal:
HT-Ring Paxos: Theory of High Throughput State-Machine Replication for Clustered Data Centers. - Hua Lu, Jack Peterson:
False shares in verifiable secret sharing with finite field commitments. - Kuang Zhou, Arnaud Martin, Quan Pan, Zhunga Liu:
Evidential relational clustering using medoids. - Changsheng You, Kaibin Huang, Hyukjin Chae:
Energy Efficient Mobile Cloud Computing Powered by Wireless Energy Transfer. - Khalid Khan, D. K. Lobiyal:
A de Casteljau Algorithm for Bernstein type Polynomials based on (p, q)-integers in CAGD. - Maria Chiara Angelini, Francesco Caltagirone, Florent Krzakala, Lenka Zdeborová:
Spectral Detection on Sparse Hypergraphs. - Jan Leike, Marcus Hutter:
Solomonoff Induction Violates Nicod's Criterion. - Jan Leike, Marcus Hutter:
On the Computability of Solomonoff Induction and Knowledge-Seeking. - Iago Landesa-Vazquez, José Luis Alba-Castro:
Revisiting AdaBoost for Cost-Sensitive Classification. Part I: Theoretical Perspective. - Iago Landesa-Vazquez, José Luis Alba-Castro:
Revisiting AdaBoost for Cost-Sensitive Classification. Part II: Empirical Analysis. - George T. Karetsos, Angelos N. Rouskas, Fotis Foukalas:
Energy-efficient Traffic Bypassing in LTE HetNets with Mobile Relays. - Cem Orhan, Öznur Tastan:
ALEVS: Active Learning by Statistical Leverage Sampling. - Xudong Zhu, Linglong Dai, Zhaocheng Wang:
Graph Coloring Based Pilot Allocation to Mitigate Pilot Contamination for Multi-Cell Massive MIMO Systems. - Rafig P. Agaev, Pavel Yu. Chebotarev:
The projection method for continuous-time consensus seeking. - Ali Ismayilov, Dimitris Kontokostas, Sören Auer, Jens Lehmann, Sebastian Hellmann:
Wikidata through the Eyes of DBpedia. - Justin Thaler:
Stream Verification. - Aamena Alshamsi, Fabio Pianesi, Bruno Lepri, Alex Pentland, Iyad Rahwan:
Beyond Contagion: Reality Mining Reveals Complex Patterns of Social Influence. - Sébastien Maulat, Bruno Salvy:
Formulas for Continued Fractions. An Automated Guess and Prove Approach. - Xudong Zhu, Zhaocheng Wang, Linglong Dai, Chen Qian:
Smart Pilot Assignment for Massive MIMO. - Branislav Kveton, Zheng Wen, Azin Ashkan, Csaba Szepesvári:
Combinatorial Cascading Bandits. - Xudong Zhu, Zhaocheng Wang, Chen Qian, Linglong Dai, Jinhui Chen, Sheng Chen, Lajos Hanzo:
Soft Pilot Reuse and Multi-Cell Block Diagonalization Precoding for Massive MIMO Systems. - Ümit Mersinli:
Associative Measures and Multi-word Unit Extraction in Turkish. - Israel Mendonça, Rosa Figueiredo, Vincent Labatut, Philippe Michelon
Relevance of Negative Links in Graph Partitioning: A Case Study Using Votes From the European Parliament. - Guido Hartmann:
A numerical analysis of Quicksort: How many cases are bad cases? - Dirk Trossen, Martin J. Reed, Janne Riihijärvi, Michael Georgiades, Nikos Fotiou, George Xylomenos:
IP Over ICN - The Better IP? An Unusual Take on Information-Centric Networking. - Akaki Mamageishvili, Matús Mihalák:
Multicast Network Design Game on a Ring. - Konstantin Makarychev, Yury Makarychev, Maxim Sviridenko, Justin Ward:
A bi-criteria approximation algorithm for k Means. - Asaf Ferber, Pascal Pfister:
Strong games played on random graphs. - Pooja Vyavahare, Nutan Limaye, D. Manjunath:
On the Maximum Rate of Networked Computation in a Capacitated Network. - Jiayi Zhang, Linglong Dai, Yu Zhang, Zhaocheng Wang:
Unified Performance Analysis of Mixed Radio Frequency/Free-Space Optical Dual-Hop Transmission Systems. - Jiayi Zhang, Linglong Dai, Zhaocheng Wang, Derrick Wing Kwan Ng, Wolfgang H. Gerstacker:
Effective Rate Analysis of MISO Systems over α-μ Fading Channels. - Jiayi Zhang, Linglong Dai, Xinling Zhang, Emil Björnson, Zhaocheng Wang:
Achievable Rate of Rician Large-Scale MIMO Channels with Transceiver Hardware Impairments. - Jiayi Zhang, Linglong Dai, Wolfgang H. Gerstacker, Zhaocheng Wang:
Effective capacity of communication systems over κ-μ shadowed fading channels. - Aleksandar Ichkov, Vladimir Atanasovski, Liljana Gavrilovska:
Hybrid access control with modified SINR association for future heterogeneous networks. - Thomas Bolander, Nina Gierasimczuk:
Learning Action Models: Qualitative Approach. - Bander A. Alzahrani, Martin J. Reed, Vassilios G. Vassilakis:
Resistance against brute-force attacks on stateless forwarding in information centric networking. - Arun Nair, Praveen Srinivasan, Sam Blackwell, Cagdas Alcicek, Rory Fearon, Alessandro De Maria, Vedavyas Panneershelvam, Mustafa Suleyman, Charles Beattie, Stig Petersen, Shane Legg, Volodymyr Mnih, Koray Kavukcuoglu, David Silver:
Massively Parallel Methods for Deep Reinforcement Learning. - Alexandr Andoni, Ilya P. Razenshteyn:
Tight Lower Bounds for Data-Dependent Locality-Sensitive Hashing. - Seshadhri Srinivasan, Furio Buonopane, Srini Ramaswamy, Juri Vain:
Verifying Response Times in Networked Automation Systems Using Jitter Bounds. - Mingming Chen, Tommy Nguyen, Boleslaw K. Szymanski:
A New Metric for Quality of Network Community Structure. - Dmitry Zakablukov:
Application of Permutation Group Theory in Reversible Logic Synthesis. - Md. Imrul Kayes, Nicolas Kourtellis, Daniele Quercia, Adriana Iamnitchi, Francesco Bonchi:
The Social World of Content Abusers in Community Question Answering. - Dustin G. Mixon, Jesse Peterson:
Learning Boolean functions with concentrated spectra. - Keren Censor-Hillel, Elad Haramaty, Zohar Shay Karnin:
Optimal Dynamic Distributed MIS. - Sen Li, Wei Zhang:
Uniform-Price Mechanism Design for a Large Population of Dynamic Agents. - Alexander Herzog, Nicholas Rotella, Stefan Schaal, Ludovic Righetti:
Trajectory generation for multi-contact momentum-control. - S. Ali Mirsoleimani, Aske Plaat, H. Jaap van den Herik, Jos Vermaseren:
Scaling Monte Carlo Tree Search on Intel Xeon Phi. - Dimitris Fotakis, Michael Lampis, Vangelis Th. Paschos:
Sub-exponential Approximation Schemes for CSPs: from Dense to Almost Sparse. - Wilfried Elmenreich:
Time-triggered smart transducer networks. - Risi Kondor, Nedelina Teneva, Pramod Kaushik Mudrakarta:
Parallel MMF: a Multiresolution Approach to Matrix Computation. - Nicholas Rotella, Alexander Herzog, Stefan Schaal, Ludovic Righetti:
Humanoid Momentum Estimation Using Sensed Contact Wrenches. - Robert Ryan McCune, Tim Weninger, Gregory R. Madey:
Thinking Like a Vertex: a Survey of Vertex-Centric Frameworks for Distributed Graph Processing. - Xiwei Liu:
Bridge the gap between network-based inference method and global ranking method in personal recommendation. - Bishnu P. Lamichhane:
A quadrilateral 'mini' finite element for the Stokes problem using a single bubble function. - James P. Kirby, Morgan Sonderegger:
Bias and population structure in the actuation of sound change. - Guoqiang Zhong, Pan Yang, Sijiang Wang, Junyu Dong:
A Deep Hashing Learning Network. - Binay K. Bhattacharya, Ante Custic, Akbar Rafiey, Arash Rafiey, Vladyslav Sokol:
Approximation Algorithms for Generalized MST and TSP in Grid Clusters. - (Withdrawn) Eye-2-I: Eye-tracking for just-in-time implicit user profiling.
- Xinyu Gao, Linglong Dai, Yongkui Ma, Zhaocheng Wang:
Low-complexity near-optimal signal detection for uplink large-scale MIMO systems. - S. P. Alaka, T. Lakshmi Narasimhan, A. Chockalingam:
Coded Index Modulation for Non-DC-Biased OFDM in Multiple LED Visible Light Communication. - Junil Choi, Jianhua Mo, Robert W. Heath Jr.:
Near Maximum-Likelihood Detector and Channel Estimator for Uplink Multiuser Massive MIMO Systems with One-Bit ADCs. - Foto N. Afrati, Shlomi Dolev, Ephraim Korach, Shantanu Sharma, Jeffrey D. Ullman:
Assignment Problems of Different-Sized Inputs in MapReduce. - Shantanu Sharma, Awadhesh Kumar Singh:
On Detecting Termination in Cognitive Radio Networks. - Sulong Shi, Longxiang Yang, Hongbo Zhu:
Outage Balancing in Downlink Non-Orthogonal Multiple Access With Statistical Channel State Information. - Florian Geigl, Daniel Lamprecht, Rainer Hofmann-Wellenhof, Simon Walk, Markus Strohmaier, Denis Helic:
Random Surfers on a Web Encyclopedia. - Shlomi Dolev, Lukasz Krzywiecki, Nisha Panwar, Michael Segal:
Vehicle Authentication via Monolithically Certified Public Key and Attributes. - Seng W. Loke:
The Internet of Flying-Things: Opportunities and Challenges with Airborne Fog Computing and Mobile Cloud in the Clouds. - Alessandro Biason, Michele Zorzi:
Joint Transmission and Energy Transfer Policies for Energy Harvesting Devices with Finite Batteries. - Francesco Aldà:
Efficient Private Query Release via Polynomial Approximation. - John Fearnley, Rahul Savani
The Complexity of All-switches Strategy Improvement. - Nicholas H. Kirk, Ilya Dianov:
Towards Predicting First Daily Departure Times: a Gaussian Modeling Approach for Load Shift Forecasting. - Jianxi Luo, Daniel E. Whitney:
Asymmetry in in-degree and out-degree distributions of large-scale industrial networks. - Hongyuan Zhu, Shijian Lu, Jianfei Cai, Guangqing Lee:
Diagnosing State-Of-The-Art Object Proposal Methods. - Kei Sakaguchi, Ehab Mahmoud Mohamed, Hideyuki Kusano, Makoto Mizukami, Shinichi Miyamoto, Roya E. Rezagah, Koji Takinami, Kazuaki Takahashi, Naganori Shirakata, Hailan Peng, Toshiaki Yamamoto, Shinobu Nanba:
Millimeter-wave Wireless LAN and its Extension toward 5G Heterogeneous Networks. - Alexandra Carpentier, Alessandro Lazaric, Mohammad Ghavamzadeh, Rémi Munos, Peter Auer, András Antos:
Upper-Confidence-Bound Algorithms for Active Learning in Multi-Armed Bandits. - Thomas Schwentick, Nils Vortmeier, Thomas Zeume:
Static Analysis for Logic-Based Dynamic Programs. - Tianpei Xie, Nasser M. Nasrabadi, Alfred O. Hero III:
Learning to classify with possible sensor failures. - Stefan Kranich:
GPU-based visualization of domain-coloured algebraic Riemann surfaces. - Maedeh Aghaei, Mariella Dimiccoli, Petia Radeva:
Multi-Face Tracking by Extended Bag-of-Tracklets in Egocentric Videos. - Arnaud Spiwack:
Notes on axiomatising Hurkens's Paradox. - Bela Gor, David Aspinall:
Accessible Banking: Experiences and Future Directions. - Hamed Ahmadi, Danny Finn, Rouzbeh Razavi, Holger Claussen, Luiz A. DaSilva:
Optimization of Demand Hotspot Capacities using Switched Multi-Element Antenna Equipped Small Cells. - Angel Torres Moreira, Mónica Aguilar-Igartua, Silvia Puglisi:
Design and implementation of an Android application to anonymously analyse locations of the citizens in Barcelona. - Jose Teixeira, Gregorio Robles, Jesús M. González-Barahona:
Lessons Learned from Applying Social Network Analysis on an Industrial Free/Libre/Open Source Software Ecosystem. - Xinyu Gao, Linglong Dai, Yuting Hu, Zhongxu Wang, Zhaocheng Wang:
Matrix Inversion-Less Signal Detection Using SOR Method for Uplink Large-Scale MIMO Systems. - Arnaud Spiwack:
The tree machine. - Xinyu Gao, Linglong Dai, Shuangfeng Han, Chih-Lin I, Robert W. Heath Jr.:
Energy-Efficient Hybrid Analog and Digital Precoding for mmWave MIMO Systems with Large Antenna Arrays. - Xinyu Gao, Linglong Dai, Chau Yuen, Zhaocheng Wang:
Turbo-Like Beamforming Based on Tabu Search Algorithm for Millimeter-Wave Massive MIMO Systems. - Mingming Chen, Konstantin Kuzmin, Boleslaw K. Szymanski:
Extension of Modularity Density for Overlapping Community Structure. - Ivan Gaspar, Luciano Leonel Mendes, Maximilian Matthé, Nicola Michailow, Dan Zhang, Antonio Albertiy, Gerhard P. Fettweis:
GFDM - A Framework for Virtual PHY Services in 5G Networks. - Olaf Hartig, Jorge Pérez:
LDQL: A Query Language for the Web of Linked Data (Extended Version). - Wenqian Shen, Linglong Dai, Yi Shi, Xudong Zhu, Zhaocheng Wang:
Compressive sensing based differential channel feedback for massive MIMO. - Piero Andrea Bonatti, Iliana Mineva Petrova, Luigi Sauro:
Optimizing the computation of overriding. - Alireza Shekaramiz, Jörg Liebeherr, Almut Burchard:
Window Flow Control Systems with Random Service. - Jose M. Such, Natalia Criado:
Resolving Multi-party Privacy Conflicts in Social Media. - Amit Chakrabarti, Anthony Wirth:
Incidence Geometries and the Pass Complexity of Semi-Streaming Set Cover. - Yang Liu, Furu Wei, Sujian Li, Heng Ji, Ming Zhou, Houfeng Wang:
A Dependency-Based Neural Network for Relation Classification. - Rahul Singh, Ke Ma, Anupam A. Thatte, Panganamala Ramana Kumar, Le Xie:
A Theory for the Operation of the Independent System Operator in a Smart Grid with Stochastic Renewables, Demand Response and Storage. - Jihong Park, Seong-Lyun Kim, Jens Zander:
Tractable Resource Management in Millimeter-Wave Overlaid Ultra-Dense Cellular Networks. - Chandra Chekuri, Vivek Madan:
Simple and Fast Rounding Algorithms for Directed and Node-weighted Multiway Cut. - Jeya Pradha J., Sanket S. Kalamkar, Adrish Banerjee:
On Information and Energy Cooperation in Energy Harvesting Cognitive Radio. - Moreno Marzolla:
Quantitative Analysis of the Italian National Scientific Qualification Part II: applicant profiles and final reports. - Alireza Sheikhattar, Jonathan B. Fritz, Shihab A. Shamma, Behtash Babadi:
Recursive Sparse Point Process Regression with Application to Spectrotemporal Receptive Field Plasticity Analysis. - Lex Fridman, Philipp Langhans, Joonbum Lee, Bryan Reimer:
Driver Gaze Estimation Without Using Eye Movement. - Corey Kereliuk, Bob L. Sturm, Jan Larsen:
Deep Learning and Music Adversaries. - Tomas Boothby, Andrew D. King, Aidan Roy:
Fast clique minor generation in Chimera qubit connectivity graphs. - Samet Oymak, Benjamin Recht, Mahdi Soltanolkotabi:
Sharp Time-Data Tradeoffs for Linear Inverse Problems. - Samuel Rönnqvist:
Exploratory topic modeling with distributional semantics. - Iulian Vlad Serban, Alessandro Sordoni, Yoshua Bengio, Aaron C. Courville, Joelle Pineau:
Hierarchical Neural Network Generative Models for Movie Dialogues. - Jian Xu, Xuhui Shao, Jianjie Ma, Kuang-chih Lee, Hang Qi, Quan Lu:
Lift-Based Bidding in Ad Selection. - Thanh The Van, Thanh Manh Le:
RBIR Based on Signature Graph. - Phuc C. Nguyen, Sam Tobin-Hochstadt, David Van Horn:
Higher-order symbolic execution for contract verification and refutation. - Karsten Lehmann, Alban Grastien, Pascal Van Hentenryck:
The Complexity of Switching and FACTS Maximum-Potential-Flow Problems. - Zhenliang Zhang, Yuan Wang, Edwin K. P. Chong, Ali Pezeshki, Louis L. Scharf:
Subspace selection for projection maximization with matroid constraints. - Yongtao Hu, Jimmy S. J. Ren, Jingwen Dai, Chang Yuan, Li Xu, Wenping Wang:
Deep Multimodal Speaker Naming. - Cheng Tai, Weinan E:
Multiscale Adaptive Representation of Signals: I. The Basic Framework. - Xiang Wu:
Learning Robust Deep Face Representation. - Daniele Antonioli, Nils Ole Tippenhauer:
MiniCPS: A toolkit for security research on CPS Networks. - Rami Mochaourab, Emil Björnson, Mats Bengtsson:
Adaptive Pilot Clustering in Heterogeneous Massive MIMO Networks. - Jeff Kinne, Ján Manuch, Akbar Rafiey, Arash Rafiey:
Ordering with precedence constraints and budget minimization. - Markus Wulfmeier, Peter Ondruska, Ingmar Posner:
Deep Inverse Reinforcement Learning. - Giorgia Di Tommaso, Giovanni Stilo, Paola Velardi:
Analysis of women leadership in enterprise social networks. - Petr Kolman, Martin Koutecký, Hans Raj Tiwary:
Extension Complexity, MSO Logic, and Treewidth. - Darko Brodic, Zoran N. Milivojevic, Alessia Amelio:
Analysis of the South Slavic Scripts by Run-Length Features of the Image Texture. - Jean-François Marckert, Nasser Saheb-Djahromi, Akka Zemmari:
Election algorithms with random delays in trees. - Aleksandr Vorobev, Gleb Gusev:
Lower Bounds for Multi-armed Bandit with Non-equivalent Multiple Plays. - Xintong Han, Chongyang Zhang, Weiyao Lin, Mingliang Xu, Bin Sheng, Tao Mei:
Tree-based Visualization and Optimization for Image Collection. - Christian Zimmermann:
A Categorization of Transparency-Enhancing Technologies. - Chi Ho Yeung:
Do recommender systems benefit users? - Nima S. Anzabi-Nezhad, Ghosheh Abed Hodtani, Mohammad Molavi Kakhki:
A New and More General Capacity Theorem for the Gaussian Channel with Two-sided Input-Noise Dependent State Information. - Xiaohui Bei, Jugal Garg, Martin Hoefer:
Tatonnement for Linear and Gross Substitutes Markets. - Kieran Greer:
A Brain-like Cognitive Process with Shared Methods. - Sukhamoy Pattanayak, Abhay Kumar Singh:
A class of cyclic Codes Over the Ring $\Z_4[u]/<u^2>$ and its Gray image. - André Platzer:
Differential Hybrid Games. - Antoine Amarilli:
Structurally Tractable Uncertain Data. - (Withdrawn) Nutrition Labels for Financial Products: A Novel Recommender System for Informing Consumers.
- Alexandros Manolakos, Mainak Chowdhury, Andrea J. Goldsmith:
Energy-based Modulation for Noncoherent Massive SIMO Systems. - S. N. Bharadwaj, S. N. Jagadeesha, S. Ravindra:
Target localization in wireless sensor networks based on received signal strength. - Ismael Rodríguez-Fdez, Manuel Mucientes, Alberto Bugarín:
FRULER: Fuzzy Rule Learning through Evolution for Regression. - Subodh Paudel, Phuong H. Nguyen, Wil L. Kling, Mohamed Elmitri, Bruno Lacarrière, Olivier Le Corre:
Support Vector Machine in Prediction of Building Energy Demand Using Pseudo Dynamic Approach. - Luís Gómez Déniz, Luis Álvarez, Luis Mazorra, Alejandro C. Frery:
Classification of Complex Wishart Matrices with a Diffusion-Reaction System guided by Stochastic Distances. - Keiron O'Shea:
Massively Deep Artificial Neural Networks for Handwritten Digit Recognition. - Ahmed Younes, Jonathan E. Rowe:
A Polynomial Time Bounded-error Quantum Algorithm for Boolean Satisfiability. - Matthew Roach:
Toward a new language of legal drafting. - Udit Gupta:
Secure management of logs in internet of things. - Xinghao Pan, Dimitris S. Papailiopoulos, Samet Oymak, Benjamin Recht, Kannan Ramchandran, Michael I. Jordan:
Parallel Correlation Clustering on Big Graphs. - Ritwik Giri, Bhaskar D. Rao:
Type I and Type II Bayesian Methods for Sparse Signal Recovery using Scale Mixtures. - Lali Barrière, Francesc Comellas, Cristina Dalfó, Miguel Angel Fiol:
Deterministic hierarchical networks. - Josh Alman, Ryan Williams:
Probabilistic Polynomials and Hamming Nearest Neighbors. - Mouhacine Benosman, Meng Xia:
Extremum Seeking-based Indirect Adaptive Control for Nonlinear Systems with State and Time-Dependent Uncertainties. - (Withdrawn) Human Gender Classification: A Review.
- Sandra Catalán, Francisco D. Igual, Rafael Mayo, Luis Piñuel, Enrique S. Quintana-Ortí, Rafael Rodríguez-Sánchez:
Performance and Energy Optimization of Matrix Multiplication on Asymmetric big.LITTLE Processors. - Nikos Aréchiga, James Kapinski, Jyotirmoy V. Deshmukh, André Platzer, Bruce H. Krogh:
Forward Invariant Cuts to Simplify Proofs of Safety. - Alexander Port, Iulia Gheorghita, Daniel Guth, John M. Clark, Crystal Liang, Shival Dasu, Matilde Marcolli:
Persistent Topology of Syntax. - Prasad Raghavendra, Tselil Schramm:
Tight Lower Bounds for Planted Clique in the Degree-4 SOS Program. - Shaoshi Yang, Lajos Hanzo:
Fifty Years of MIMO Detection: The Road to Large-Scale MIMOs. - Christopher J. Tralie, Paul Bendich:
Cover Song Identification with Timbral Shape Sequences. - Reza Abdolee, Benoît Champagne:
Centralized Adaptation for Parameter Estimation over Wireless Sensor Networks. - Amandianeze O. Nwana, Tsuhan Chen:
Towards Understanding User Preferences from User Tagging Behavior. - Reza Abdolee, Benoît Champagne:
Diffusion LMS Strategies in Sensor Networks with Noisy Input Data. - Andrew M. Mironov:
A theory of probabilistic automata, part 1. - Alexander Spiegelman, Yuval Cassuto, Gregory V. Chockler, Idit Keidar:
Space Bounds for Reliable Storage: Fundamental Limits of Coding. - Jasmin Fantel, Yan Gao:
Joint Data Scheduling and FEC Coding for Multihomed Wireless Video Delivery. - Charles Paperman:
Finite-Degree Predicates and Two-Variable First-Order Logic. - David Burstein, Franklin Kenter, Jeremy Kun, Feng Shi:
Information Monitoring in Routing Networks. - Serhii Dyshko:
Geometric approach to the MacWilliams Extension Theorem for codes over modules. - Antonia Korba:
On the Application of Link Analysis Algorithms for Ranking Bipartite Graphs. - Fan Du, Joshua Brulé, Peter Enns, Varun Manjunatha, Yoav Segev:
MetroViz: Visual Analysis of Public Transportation Data. - Kiran Garimella, Gianmarco De Francisci Morales, Aristides Gionis, Michael Mathioudakis:
Quantifying Controversy in Social Media. - Reza Abdolee, Benoît Champagne, Ali H. Sayed:
Diffusion Adaptation over Multi-Agent Networks with Wireless Link Impairments. - Samuel B. Hopkins, Pravesh K. Kothari, Aaron Potechin:
SoS and Planted Clique: Tight Analysis of MPW Moments at all Degrees and an Optimal Lower Bound at Degree Four. - Reza Abdolee, Benoît Champagne, Ali H. Sayed:
Estimation of Space-Time Varying Parameters Using a Diffusion LMS Algorithm. - Abhishek Sinha, Georgios S. Paschos, Chih-Ping Li, Eytan H. Modiano:
Throughput-Optimal Multihop Broadcast on Directed Acyclic Wireless Networks. - Subhashri Acharya, Pramita Srimany, Sanchari Kundu, JayatiGhosh Dastidar:
Data Hiding in Video using Triangularization LSB Technique. - Jonathan Fidelis Paul, Dibyabiva Seth, Cijo Paul, Jayati Ghosh Dastidar:
Hand Gesture Recognition Library. - Jayati Ghosh Dastidar, Surabhi Sarkar, Rick Punyadyuti Sinha, Kasturi Basu:
Handwriting Recognition. - Gautam S. Thakur, Budhendra L. Bhaduri, Jesse O. Piburn, Kelly M. Sims, Robert N. Stewart, Marie L. Urban:
PlanetSense: A Real-time Streaming and Spatio-temporal Analytics Platform for Gathering Geo-spatial Intelligence from Open Source Data. - Loet Leydesdorff, Alexander M. Petersen, Inga A. Ivanova:
The Self-Organization of Meaning and the Reflexive Communication of Information. - Domenico Ciuonzo, Antonio De Maio, Danilo Orlando:
A Unifying Framework for Adaptive Radar Detection in Homogeneous plus Structured Interference-Part I: On the Maximal Invariant Statistic. - Domenico Ciuonzo, Antonio De Maio, Danilo Orlando:
A Unifying Framework for Adaptive Radar Detection in Homogeneous plus Structured Interference-Part II: Detectors Design. - Gal Dalal, Shie Mannor:
Reinforcement Learning for the Unit Commitment Problem. - Laura Koponen, Emilia Oikarinen, Tomi Janhunen, Laura Säilä:
Optimizing Phylogenetic Supertrees Using Answer Set Programming. - Abdelrahman Abbas Ibrahim, Nael Salman:
Multi-Lingual Ontology Server (MOS) for discovering Web services. - Shanjida Khatun, Hasib Ul Alam, Swakkhar Shatabda:
An Efficient Genetic Algorithm for Discovering Diverse-Frequent Patterns. - Yuan Feng, Mingsheng Ying:
Toward automatic verification of quantum cryptographic protocols. - Hidekazu Yoshioka:
On Dual-Finite Volume Methods for Extended Porous Medium Equations. - Kingshuk Chatterjee, Kumar Sankar Ray:
Watson-Crick Quantum Finite Automata. - Kingshuk Chatterjee, Kumar Sankar Ray:
Reversible Watson-Crick Automata. - Kingshuk Chatterjee, Kumar Sankar Ray:
Deterministic parallel communicating Watson-Crick automata systems. - Shizuo Kaji, Hiroyuki Ochiai:
A concise parametrisation of affine transformation. - Noson S. Yanofsky:
Computability and Complexity of Categorical Structures. - Shai Ben-David:
2 Notes on Classes with Vapnik-Chervonenkis Dimension 1. - Morgan Barbier, Hayat Cheballah, Jean-Marie Le Bars:
Properties and constructions of coincident functions. - Zhaowei Cai, Mohammad J. Saberian, Nuno Vasconcelos:
Learning Complexity-Aware Cascades for Deep Pedestrian Detection. - Alexandros-Apostolos A. Boulogeorgos, Vasilios M. Kapinas, George K. Karagiannidis, Robert Schober:
I/Q-Imbalance Self-Interference Coordination. - Xudong Zhu, Linglong Dai, Wei Dai, Zhaocheng Wang, Marc Moonen:
Tracking A Dynamic Sparse Channel Via Differential Orthogonal Matching Pursuit. - Xudong Zhu, Linglong Dai, Guan Gui, Wei Dai, Zhaocheng Wang, Fumiyuki Adachi:
Structured Matching Pursuit for Reconstruction of Dynamic Sparse Channels. - Anastasios Kyrillidis, Luca Baldassarre, Marwa El Halabi, Quoc Tran-Dinh, Volkan Cevher:
Structured Sparsity: Discrete and Convex approaches. - Volkan Cevher, Sina Jafarpour, Anastasios Kyrillidis:
Linear Inverse Problems with Norm and Sparsity Constraints. - Guy Bresler, Devavrat Shah, Luis Filipe Voloch:
Collaborative Filtering with Low Regret. - Lek-Heng Lim:
Hodge Laplacians on graphs. - Aleksandr Cariow, Dorota Majorkowska-Mech:
An algorithm for discrete fractional Hadamard transform. - Johannes Klaus Fichte, Miroslaw Truszczynski, Stefan Woltran:
Dual-normal Logic Programs - the Forgotten Class. - Ioannis Krikidis:
Opportunistic Beamforming with Wireless Powered 1-bit Feedback Through Rectenna Array. - I. V. Afanasieva:
Data Acquisition and Control System for High-Performance Large-Area CCD Systems. - Srajan Paliwal, Saurabh Tiwary, Bhaskar Chaudhury, Manish K. Gupta:
Generating Binary Optimal Codes Using Heterogeneous Parallel Computing. - Juan M. Banda, Tobias Kuhn
Provenance-Centered Dataset of Drug-Drug Interactions. - Bhaskar Mukhoty, Ruchir Gupta:
A Parameter-free Affinity Based Clustering. - Zhen Gao, Linglong Dai, Zhaohua Lu, Chau Yuen, Zhaocheng Wang:
Super-Resolution Sparse MIMO-OFDM Channel Estimation Based on Spatial and Temporal Correlations. - Fred Mesnard, Étienne Payet, Germán Vidal:
Concolic Testing in Logic Programming. - Duncan Barrack, James Goulding, Keith Hopcraft, Simon Preston, Gavin Smith:
AMP: a new time-frequency feature extraction method for intermittent time-series data. - Vincent Despré, Daniel Gonçalves, Benjamin Lévêque:
Encoding toroidal triangulations. - Eduard Eiben, Robert Ganian, Stefan Szeider:
Solving Problems on Graphs of High Rank-Width. - Long Thai, Blesson Varghese, Adam Barker:
Budget Constrained Execution of Multiple Bag-of-Tasks Applications on the Cloud. - Long Thai, Blesson Varghese, Adam Barker:
Task Scheduling on the Cloud with Hard Constraints. - Kiran Mantripragada, Leonardo P. Tizzei, Alécio Pedro Delazari Binotto, Marco A. S. Netto:
An SLA-based Advisor for Placement of HPC Jobs on Hybrid Clouds. - Spyridon C. Evangelatos, Aris L. Moustakas, Andreas Polydoros:
Outage and Capacity Comparisons For Ground Relaying Systems Using Stochastic Geometry. - Andrea Romanoni, Matteo Matteucci:
Efficient moving point handling for incremental 3D manifold reconstruction. - Mingming Chen, Sisi Liu, Boleslaw K. Szymanski:
Parallel Toolkit for Measuring the Quality of Network Community Structure. - Dmitry I. Ignatov, Denis Kornilov:
RAPS: A Recommender Algorithm Based on Pattern Structures. - Ioannis Kokkinis:
On the complexity of probabilistic justification logic. - Ewout Bongers, Johan Pouwelse:
A survey of P2P multidimensional indexing structures. - Pramod Kumar Kewat, Priti Kumari:
Cyclic codes from the second class two-prime Whiteman's generalized cyclotomic sequence with order 6. - Yao Liu, Zhenhua Duan, Cong Tian:
An Improved Decision Procedure for Linear Time Mu-Calculus. - Adrián Sauco-Gallardo, Unai Fernández-Plazaola, Luís Díez del Río, Eduardo Martos-Naya:
Higher Order Statistics in Switched Diversity Systems. - Siwei Lai, Kang Liu, Liheng Xu, Jun Zhao:
How to Generate a Good Word Embedding? - Jeevana Priya Inala, Xiaokang Qiu, Benjamin S. Lerner, Armando Solar-Lezama:
Type Assisted Synthesis of Recursive Transformers on Algebraic Data Types. - Na Lu, Hongyu Miao:
Clustering Tree-structured Data on Manifold. - Majid Gerami, Ming Xiao, Somayeh Salimi, Mikael Skoglund:
Secure Partial Repair in Wireless Caching Networks with Broadcast Channels. - Tom J. Ameloot, Jan Van den Bussche, William R. Marczak, Peter Alvaro, Joseph M. Hellerstein:
Putting Logic-Based Distributed Systems on Stable Grounds. - Karsten Lehmann, Russell Bent, Feng Pan:
Maximizing electrical power supply using FACTS devices. - Eduard Eiben, Robert Ganian, Stefan Szeider:
Meta-Kernelization using Well-Structured Modulators. - Jaderick P. Pabico, Anne Muriel V. Gonzales, Mariann Jocel S. Villanueva, Arlene A. Mendoza:
Automatic Identification of Animal Breeds and Species Using Bioacoustics and Artificial Neural Networks. - Rami Hamdi, Wessam Ajib:
Joint Optimal Number of RF chains and Power Allocation for Downlink Massive MIMO Systems. - Anant Raj, Vinay P. Namboodiri, Tinne Tuytelaars:
Subspace Alignment Based Domain Adaptation for RCNN Detector. - Constantin Enea, Mihaela Sighireanu, Zhilin Wu:
On Automated Lemma Generation for Separation Logic with Inductive Definitions. - Yeounoh Chung, Michael Lind Mortensen, Carsten Binnig, Tim Kraska:
Estimating the Impact of Unknown Unknowns on Aggregate Query Results. - Bill Fefferman, Chris Umans:
The Power of Quantum Fourier Sampling. - Jeffrey N. Chadwick, David S. Bindel:
An Efficient Solver for Sparse Linear Systems Based on Rank-Structured Cholesky Factorization. - Noé Hernández, Kerstin Eder, Evgeni Magid, Jesus Savage, David A. Rosenblueth:
Marimba: A Tool for Verifying Properties of Hidden Markov Models. - Shaon Sahoo:
I-index: An objective measure for a researcher's share in the collective impact of his/her published papers. - William Perry, Alexander S. Wein:
A semidefinite program for unbalanced multisection in the stochastic block model. - Christof Löding, P. Madhusudan, Daniel Neider:
Abstract Learning Frameworks for Synthesis. - Matteo Grella:
Notes About a More Aware Dependency Parser. - Saiqa Aleem, Luiz Fernando Capretz, Faheem Ahmed:
Security Issues in Data Warehouse. - Muasaad Alrasheedi, Luiz Fernando Capretz, Arif Raza:
Instructor Perspectives of Mobile Learning Platform: An Empirical Study. - Saiqa Aleem, Luiz Fernando Capretz, Faheem Ahmed:
Business Process Mining Approaches: A Relative Comparison. - Kobi Cohen, Angelia Nedic, R. Srikant:
Distributed Learning Algorithms for Spectrum Sharing in Spatial Random Access Wireless Networks. - Yuke Zhu, Ce Zhang, Christopher Ré, Li Fei-Fei:
Building a Large-scale Multimodal Knowledge Base for Visual Question Answering. - Gage Hills, Jie Zhang, Max Marcel Shulaker, Hai Wei, Chi-Shuen Lee, Arjun Balasingam, H.-S. Philip Wong, Subhasish Mitra:
Rapid Co-optimization of Processing and Circuit Design to Overcome Carbon Nanotube Variations. - Javier Schloemann, Harpreet S. Dhillon, R. Michael Buehrer:
A Tractable Analysis of the Improvement in Unique Localizability Through Collaboration. - Runchun Wang, Chetan Singh Thakur, Tara Julia Hamilton
A neuromorphic hardware architecture using the Neural Engineering Framework for pattern recognition. - Giovanni Geraci, Matthias Wildemeersch, Tony Q. S. Quek:
Energy Efficiency of Distributed Signal Processing in Wireless Networks: A Cross-Layer Analysis. - Peiyun Hu, Deva Ramanan:
Bottom-up and top-down reasoning with convolutional latent-variable models. - Baoguang Shi, Xiang Bai, Cong Yao:
An End-to-End Trainable Neural Network for Image-based Sequence Recognition and Its Application to Scene Text Recognition. - Manish R. Joshi, Theyazn Hassn Hadi:
A Review of Network Traffic Analysis and Prediction Techniques. - Chen Chen, Daniele Enrico Asoni, David Barrera, George Danezis, Adrian Perrig:
HORNET: High-speed Onion Routing at the Network Layer. - Aaron Wetzler, Ron Slossberg, Ron Kimmel:
Rule Of Thumb: Deep derotation for improved fingertip detection. - Congduan Li, Steven Weber, John MacLaren Walsh:
On Multi-source Networks: Enumeration, Rate Region Computation, and Hierarchy. - Shudi Yang, Zheng-an Yao, Chang-An Zhao:
Complete Weight Enumerator of a Family of Linear Codes from Cyclotomy. - Xi Li, Chunhua Shen, Anthony R. Dick, Zhongfei (Mark) Zhang, Yueting Zhuang:
Online Metric-Weighted Linear Representations for Robust Visual Tracking. - Serena Yeung, Olga Russakovsky, Ning Jin, Mykhaylo Andriluka, Greg Mori, Li Fei-Fei:
Every Moment Counts: Dense Detailed Labeling of Actions in Complex Videos. - Emrah Budur, Seungmin Lee, Vein S. Kong:
Structural Analysis of Criminal Network and Predicting Hidden Links using Machine Learning. - Tegawendé F. Bissyandé:
Harvesting Fix Hints in the History of Bugs. - Christine Fricker, Fabrice Guillemin, Philippe Robert, Guilherme Thompson:
Analysis of an offloading scheme for data centers in the framework of fog computing. - Haiying Liu, Keqin Feng, Rongquan Feng:
Nonexistence of Generalized Bent Functions From $Z_{2}^{n}$ to $Z_{m}$. - Deepak Ponvel Chermakani:
Optimal Aggregation of Blocks into Subproblems in Linear-Programs with Block-Diagonal-Structure. - Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard
Horn Clauses as an Intermediate Representation for Program Analysis and Transformation. - Hong Sun, Vincenzo De Florio, Ning Gui, Chris Blondia:
Promises and Challenges of Ambient Assisted Living Systems. - Michele Boreale
Quantitative information flow under generic leakage functions and adaptive adversaries. - Shuchang Zhou, Jia-Nan Wu:
Compression of Fully-Connected Layer in Neural Network by Kronecker Product. - Shibashis Guha, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi:
Revisiting Robustness in Priced Timed Games. - Jaderick P. Pabico:
A System for Sensing Human Sentiments to Augment a Model for Predicting Rare Lake Events. - Simon W. Funke, Stephan C. Kramer, Matthew D. Piggott:
Design optimisation and resource assessment for tidal-stream renewable energy farms using a new continuous turbine approach. - Pierre Fraigniaud, Emanuele Natale:
Noisy Information Spreading and Plurality Consensus. - Hao Zhang, Yao Ma, Masashi Sugiyama:
Bandit-Based Task Assignment for Heterogeneous Crowdsourcing. - Malisa Vucinic, Bernard Tourancheau, Thomas Watteyne, Franck Rousseau, Andrzej Duda, Roberto Guizzetti, Laurent Damon:
DTLS Performance in Duty-Cycled Networks. - Titouan Coladon, Malisa Vucinic, Bernard Tourancheau:
Multiple Redundancy Constants with Trickle. - Joss Wright, Alexander Darer, Oliver Farnan:
Detecting Internet Filtering from Geographic Time Series. - Martin Marinov, David Gregg:
Itemset Isomorphism: GI-Complete. - Arne Recknagel, Tarek Richard Besold:
Efficient Dodgson-Score Calculation Using Heuristics and Parallel Computing. - Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Proving Correctness of Imperative Programs by Linearizing Constrained Horn Clauses. - Elif Vural, Christine Guillemot:
A study of the classification of low-dimensional data with supervised manifold learning. - Aditya Gahlawat, Matthew M. Peet:
A Convex Approach to Analysis, State and Output Feedback Control Parabolic PDEs Using Sum-of-Squares. - Bart M. P. Jansen:
On Structural Parameterizations of Hitting Set: Hitting Paths in Graphs Using 2-SAT. - Song-Ju Kim, Tohru Tsuruoka, Tsuyoshi Hasegawa, Masakazu Aono:
Decision Maker based on Atomic Switches. - Alex Auvolat
Clustering is Efficient for Approximate Maximum Inner Product Search. - Saurabh Joshi, Ruben Martins, Vasco Manquinho:
Generalized Totalizer Encoding for Pseudo-Boolean Constraints. - Marko Angjelichinoski, Cedomir Stefanovic, Petar Popovski, Hongpeng Liu, Poh Chiang Loh, Frede Blaabjerg:
Multiuser Communication through Power Talk in DC MicroGrids. - Roger Donaldson, Arijit Gupta, Yaniv Plan, Thomas Reimer:
Random mappings designed for commercial search engines. - Se Rim Park, Soheil Kolouri, Shinjini Kundu, Gustavo K. Rohde:
The Cumulative Distribution Transform and Linear Pattern Classification. - Jeffrey G. Andrews, Alexandros G. Dimakis, Lara Dolecek, Michelle Effros, Muriel Médard, Olgica Milenkovic, Andrea Montanari, Sriram Vishwanath, Edmund M. Yeh, Randall Berry, Ken R. Duffy, Soheil Feizi, Saul Kato, Manolis Kellis, Stuart Licht, Jon Sorenson, Lav R. Varshney, Haris Vikalo:
A Perspective on Future Research Directions in Information Theory. - Casper Kejlberg-Rasmussen, Tsvi Kopelowitz, Seth Pettie, Mikkel Thorup:
Deterministic Worst Case Dynamic Connectivity: Simpler and Faster. - Carlo Pinciroli, Adam Lee-Brown, Giovanni Beltrame:
Buzz: An Extensible Programming Language for Self-Organizing Heterogeneous Robot Swarms. - Jayadev Acharya, Constantinos Daskalakis, Gautam Kamath:
Optimal Testing for Properties of Distributions. - Thomas W. Lynch:
Towards a Better Understanding of CAR, CDR, CADR and the Others. - Pavel Naumov
The Budget-Constrained Functional Dependency. - Glencora Borradaile, Amir Nayyeri, Farzad Zafarani:
Towards single face shortest vertex-disjoint paths in undirected planar graphs. - Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo:
Practical Run-time Checking via Unobtrusive Property Caching. - Victor R. Martinez, Antonio Mancilla, Víctor M. González:
Tweeting Over The Border: An Empirical Study of Transnational Migration in San Diego and Tijuana. - Sreram Balasubramaniyan, Seshadhri Srinivasan, B. Subathra, Srini Ramaswamy:
Design Contracts For Networked Automation Systems Co-design. - Xiang Gao, Ove Edfors, Fredrik Tufvesson, Erik G. Larsson:
Massive MIMO in Real Propagation Environments: Do All Antennas Contribute Equally? - Peter Lofgren, Siddhartha Banerjee:
Fast Bidirectional Probability Estimation in Markov Models. - Peter Lofgren, Siddhartha Banerjee, Ashish Goel:
Personalized PageRank Estimation and Search: A Bidirectional Approach. - Pourya Shamsi:
On-line Survival Analysis of Power Electronic Converters Using Step Noise-Cox Processes. - Patricia Johann, Ekaterina Komendantskaya, Vladimir Komendantskiy:
Structural Resolution for Logic Programming. - Rimah Amami, Dorra Ben Ayed, Noureddine Ellouze:
Practical Selection of SVM Supervised Parameters with Different Feature Representations for Vowel Recognition. - Rimah Amami, Dorra Ben Ayed, Noureddine Ellouze:
An Empirical Comparison of SVM and Some Supervised Learning Algorithms for Vowel recognition. - Rimah Amami, Ghaith Manita, Abir Smiti:
Robust speech recognition using consensus function based on multi-layer networks. - Rimah Amami, Dorra Ben Ayed, Noureddine Ellouze:
Incorporating Belief Function in SVM for Phoneme Recognition. - Rimah Amami, Dorra Ben Ayed, Noureddine Ellouze:
The challenges of SVM optimization using Adaboost on a phoneme recognition problem. - Katrina Joy H. Magno, Jaderick P. Pabico:
Towards Input Device Satisfaction Through Hand Anthropometry. - Gregory Hasseler:
Adapting Stochastic Search For Real-time Dynamic Weighted Constraint Satisfaction. - Subir Kumar Ghosh, Sudebkumar Prasant Pal:
A National Effort for Motivating Indian Students and Teachers towards Algorithmic Research. - Hao Tang, Weiran Wang, Kevin Gimpel, Karen Livescu:
Discriminative Segmental Cascades for Feature-Rich Phone Recognition. - Chiranjib Patra:
On the Conservation of Number of Nodes and the Consumed Energy in Wireless Sensor Network: A Statistical Mechanics Approach. - Marco Manna, Francesco Ricca, Giorgio Terracina:
Taming Primary Key Violations to Query Large Inconsistent Data. - Jianyuan Sun, Guoqiang Zhong, Junyu Dong, Yajuan Cai:
Banzhaf Random Forests. - Marc Bolaños, Mariella Dimiccoli, Petia Radeva:
Towards Storytelling from Visual Lifelogging: An Overview. - António Brandão Moniz
Robots and humans as co-workers? - Chunming Tang, Yanfeng Qi:
Two-weight and three-weight linear codes from weakly regular bent functions. - Suraj Srinivas, R. Venkatesh Babu:
Data-free parameter pruning for Deep Neural Networks. - Cheng Wang:
Fast Almost-Surely Terminating Byzantine Agreement. - Amit Adam, Christoph Dann, Omer Yair, Shai Mazor, Sebastian Nowozin:
Bayesian Time-of-Flight for Realtime Shape, Illumination and Albedo. - Joshua Brakensiek, Venkatesan Guruswami, Samuel Zbarsky:
Efficient Low-Redundancy Codes for Correcting Multiple Deletions. - Ayelet Sapirshtein, Yonatan Sompolinsky, Aviv Zohar:
Optimal Selfish Mining Strategies in Bitcoin. - Ju Ren, Yaoxue Zhang, Ning Zhang, Deyu Zhang, Xuemin Shen:
Dynamic Channel Access for Energy Efficient Data Gathering in Cognitive Radio Sensor Networks. - Pablo Buiras, Deian Stefan, Alejandro Russo:
On Dynamic Flow-Sensitive Floating-Label Systems. - Moran Feldman, Rani Izsak:
Building a Good Team: Secretary Problems and the Supermodular Degree. - Alex Oliveras Martinez, Elisabeth de Carvalho, Jesper Ødum Nielsen:
Towards Very Large Aperture Massive MIMO: a measurement based study. - Sofya Chepushtanova, Tegan Emerson, Eric M. Hanson, Michael Kirby, Francis C. Motta, Rachel Neville, Chris Peterson, Patrick D. Shipman, Lori Ziegelmeier:
Persistence Images: An Alternative Persistent Homology Representation. - Xavier Lagorce, Ryad Benosman:
STICK: Spike Time Interval Computational Kernel, A Framework for General Purpose Computation using Neurons, Precise Timing, Delays, and Synchrony. - Rupesh Kumar Srivastava, Klaus Greff, Jürgen Schmidhuber:
Training Very Deep Networks. - Richard Zanibbi, Kenny Davila, Andrew Kane, Frank Wm. Tompa:
The Tangent Search Engine: Improved Similarity Metrics and Scalability for Math Formula Search. - Nikos Deligiannis, João F. C. Mota, George Smart, Yiannis Andreopoulos:
Fast Desynchronization For Decentralized Multichannel Medium Access Control. - Pawel Gawrychowski, Adrian Kosowski, Przemyslaw Uznanski:
Even Simpler Distance Labeling for (Sparse) Graphs. - Yinan Li, Jun Liu, Necmiye Ozay:
Computing finite abstractions with robustness margins via local reachable set over-approximation. - Ivan Jureta:
Requirements Problem and Solution Concepts for Adaptive Systems Engineering, and their Relationship to Mathematical Optimisation, Decision Analysis, and Expected Utility Theory. - Mariella Dimiccoli, Jean-Pascal Jacob, Lionel Moisan:
Particle detection and tracking by a-contrario approach: application to fluorescence time-lapse imaging. - Reza Farrahi Moghaddam, Yves Lemieux, Mohamed Cheriet:
The Service-Bond Paradigm - Potentials for a Sustainable, ICT-enabled Future. - Or Ordentlich, Ofer Shayevitz:
Mutual Information Bounds via Adjacency Events. - Kevin J. Shih, Arun Mallya, Saurabh Singh, Derek Hoiem:
Part Localization using Multi-Proposal Consensus for Fine-Grained Categorization. - N. R. Aravind, R. B. Sandeep, Naveen Sivadasan:
Parameterized lower bound and NP-completeness of some H-free Edge Deletion problems. - Hidir Yuzuguzel, Jari Niemi, Serkan Kiranyaz, Moncef Gabbouj, Thomas Heinz:
ShakeMe: Key Generation From Shared Motion. - David Furcy, Scott M. Summers:
Optimal self-assembly of finite shapes at temperature 1 in 3D. - Jos Wetzels, Wouter Bokslag:
Simple SIMON: FPGA implementations of the SIMON 64/128 Block Cipher. - Jaderick P. Pabico:
Authorship Patterns in Computer Science Research in the Philippines. - Tengyu Ma, Avi Wigderson:
Sum-of-Squares Lower Bounds for Sparse PCA. - Abigail C. Salvania, Jaderick P. Pabico:
Information Spread Over an Internet-mediated Social Network: Phases, Speed, Width, and Effects of Promotion. - Nikolaos I. Miridakis, Theodoros A. Tsiftsis, George C. Alexandropoulos, Mérouane Debbah:
Green Cognitive Relaying: Opportunistically Switching Between Data Transmission and Energy Harvesting. - Seyed Hamid Rezatofighi, Stephen Gould, Ba-Tuong Vo, Ba-Ngu Vo, Katarina Mele, Richard I. Hartley:
Multi-Target Tracking with Time-Varying Clutter Rate and Detection Profile: Application to Time-lapse Cell Microscopy Sequences. - Michael Roland, Michael Hölzl:
Evaluation of Contactless Smartcard Antennas. - Albert Gordo, Adrien Gaidon, Florent Perronnin:
Deep Fishing: Gradient Features from Deep Nets. - Roberto Bruni, Ugo Montanari, Matteo Sammartino:
A coalgebraic semantics for causality in Petri nets. - Rakhi Misuriya Gupta:
MOBISPA: A Reference Framework for Mobile as a Personal Assistant. - Nicolas Bousquet, Yang Cai, Christoph Hunkenschröder, Adrian Vetta:
On the Economic Efficiency of the Combinatorial Clock Auction. - Hai Zhuge:
Mapping Big Data into Knowledge Space with Cognitive Cyber-Infrastructure. - Mariella Dimiccoli, Jean-Pascal Jacob, Lionel Moisan:
Active skeleton for bacteria modeling. - Jue Wang, Jemin Lee, Fanggang Wang, Tony Q. S. Quek:
Jamming-Aided Secure Communication in Massive MIMO Rician Channels. - Matthew J. Hausknecht, Peter Stone:
Deep Recurrent Q-Learning for Partially Observable MDPs. - Alhussein Fawzi, Pascal Frossard:
Manitest: Are classifiers really invariant? - Osuolale Abdulrahamon Tiamiyu:
Algorithmization, requirements analysis and architectural challenges of TraConDa. - Andreas Brandstädt, Raffaele Mosca:
Dominating Induced Matchings for P8-free Graphs in Polynomial Time. - João Carreira, Pulkit Agrawal, Katerina Fragkiadaki, Jitendra Malik:
Human Pose Estimation with Iterative Error Feedback. - Bart Bogaerts, Guy Van den Broeck:
Knowledge Compilation of Logic Programs Using Approximation Fixpoint Theory. - Matteo Varvello, Kyle Schomp, David Naylor, Jeremy Blackburn, Alessandro Finamore, Konstantina Papagiannaki:
To HTTP/2, or Not To HTTP/2, That Is The Question. - Ehsan Fattahi, Christian Waluga, Barbara I. Wohlmuth, Ulrich Rüde:
Large scale lattice Boltzmann simulation for the coupling of free and porous media flow. - Mark Law, Alessandra Russo, Krysia Broda:
Learning Weak Constraints in Answer Set Programming. - Martin Gebser, Amelia Harrison, Roland Kaminski, Vladimir Lifschitz, Torsten Schaub:
Abstract Gringo. - Ashwinkumar Ganesan, Kianté Brantley, Shimei Pan, Jian Chen:
LDAExplore: Visualizing Topic Models Generated Using Latent Dirichlet Allocation. - Jack Kelly, William J. Knottenbelt:
Neural NILM: Deep Neural Networks Applied to Energy Disaggregation. - Misha Chertkov, Michael W. Fisher, Scott Backhaus, Russell Bent, Sidhant Misra:
Pressure Fluctuations in Natural Gas Networks caused by Gas-Electric Coupling. - James B. Orlin, Andreas S. Schulz, Rajan Udwani:
Robust Monotone Submodular Function Maximization. - Amine Bohi, Dario Prandi, Vincente Guis, Frédéric Bouchara, Jean-Paul Gauthier:
An application of a semidiscrete version of the Petitot model of the human primary visual cortex to invariant object recognition in SVM context. - Fenno F. Terry Heath III, Richard Hull, Elham Khabiri, Matthew Riemer, Noi Sukaviriya, Roman Vaculín:
Alexandria: Extensible Framework for Rapid Exploration of Social Media. - Wael M. Bazzi, Amir Rastegarnia, Azam Khalili:
A Reliability of Measurement Based Algorithm for Adaptive Estimation in Sensor Networks. - Tavish Vaidya:
2001-2013: Survey and Analysis of Major Cyberattacks. - Krishnendra Shekhawat:
Connectivity Algorithm. - Pin-Yu Chen, Chia-Wei Lien, Fu-Jen Chu, Pai-Shun Ting, Shin-Ming Cheng:
Supervised Collective Classification for Crowdsourcing. - Sarah Alice Gaggl, Norbert Manthey, Alessandro Ronca, Johannes Peter Wallner, Stefan Woltran:
Improved Answer-Set Programming Encodings for Abstract Argumentation. - Yasmen Wahba, Ehab ElSalamouny, Ghada ElTaweel:
Improving the Performance of Multi-class Intrusion Detection Systems using Feature Reduction. - Jesun Sahariar Firoz, Thejaka Amila Kanewala, Marcin Zalewski, Martina Barnas, Andrew Lumsdaine:
The Anatomy of Large-Scale Distributed Graph Algorithms. - Luca Becchetti, Andrea Clementi, Emanuele Natale, Francesco Pasquale:
Probabilistic Self-Stabilization. - Shitao Weng, Shushan Chen, Lei Yu, Xuewei Wu, Weicheng Cai, Zhi Liu, Ming Li:
The SYSU System for the Interspeech 2015 Automatic Speaker Verification Spoofing and Countermeasures Challenge. - Yunguo Lin, Yongming Li:
Exogenous Quantum Operator Logic Based on Density Operators. - Hyo Seung Kang, Myung Gil Kang, Wan Choi, Aria Nosratinia:
The Degrees of Freedom of the Interference Channel with a Cognitive Relay under Delayed Feedback. - Shipra Agrawal, Nikhil R. Devanur:
Linear Contextual Bandits with Global Constraints and Objective. - Tianyu Wang, Yue Sun, Lingyang Song, Zhu Han:
Social Data Offloading in D2D-Enhanced Cellular Networks by Network Formation Games. - Novarun Deb, Nabendu Chaki, Aditya Ghose:
Extracting State Transition Models from i* Models. - Andreas Brandstädt:
Weighted Efficient Domination for P5-Free Graphs in Linear Time. - Ilona Kuzmickaja, Xiaofeng Wang, Daniel Graziotin, Gabriella Dodero, Pekka Abrahamsson:
In Need of Creative Mobile Service Ideas? Forget Adults and Ask Young Children. - Qian Zhang, Ying Jiang, Liping Ding:
Modelling and Analysis Network Security - a PVCCS approach. - Ingmar Dasseville, Matthias van der Hallen, Gerda Janssens, Marc Denecker:
Semantics of templates in a compositional framework for building logics. - Klaus Keimel:
Weak upper topologies and duality for cones. - Enrique Romero Merino, Ferran Mazzanti Castrillejo, Jordi Delgado Pin:
A Neighbourhood-Based Stopping Criterion for Contrastive Divergence Learning. - Nikos Chondros, Bingsheng Zhang, Thomas Zacharias, Panos Diamantopoulos, Stathis Maneas, Christos Patsonakis, Alex Delis, Aggelos Kiayias, Mema Roussopoulos:
A distributed, end-to-end verifiable, internet voting system. - Marcello Farina, Ruggero Carli:
Partition-based Distributed Kalman Filter with plug and play features. - Andreas Eitel, Jost Tobias Springenberg, Luciano Spinello, Martin A. Riedmiller, Wolfram Burgard:
Multimodal Deep Learning for Robust RGB-D Object Recognition. - Haris Aziz, Jiashu Chen, Aris Filos-Ratsikas, Simon Mackenzie, Nicholas Mattei:
Egalitarianism of Random Assignment Mechanisms. - Lisa Posch, Arnim Bleier, Philipp Schaer, Markus Strohmaier:
The Polylingual Labeled Topic Model. - Isha Gupta, Alexantrou Serb, Ali Khiat, Ralf Zeitler, Stefano Vassanelli, Themistoklis Prodromakis:
Memristive integrative sensors for neuronal activity. - Maximilian Matthé, Ivan Gaspar, Luciano Leonel Mendes, Dan Zhang:
Comparison between GFDM and VOFDM. - Pablo Arrighi, Gilles Dowek:
Discrete geodesics and cellular automata. - Jérémy Fix, Hervé Frezza-Buet:
YARBUS : Yet Another Rule Based belief Update System. - Modesto Castrillón Santana, Javier Lorenzo-Navarro, Enrique Ramón-Balmaseda:
Descripors and regions of interest fusion for gender classification in the wild. - Jiawei Zhang, Philip S. Yu, Yuanhua Lv:
Organizational Chart Inference. - Maximiliano Cristiá, Gianfranco Rossi, Claudia S. Frydman:
Adding Partial Functions to Constraint Logic Programming with Sets. - Prosenjit Bose, Paz Carmi, Mirela Damian, Jean-Lou De Carufel, Darryl Hill, Anil Maheshwari, Yuyang Liu, Michiel H. M. Smid:
On the Stretch Factor of Convex Polyhedra whose Vertices are (Almost) on a Sphere. - Gerd Gidion, Luiz Fernando Capretz, Ken N. Meadows, Michael Grosch:
Media Usage in Post-Secondary Education and Implications for Teaching and Learning. - Pascal Potvin, Mahdy Nabaee, Fabrice Labeau, Kim Khoa Nguyen, Mohamed Cheriet:
Micro Service Cloud Computing Pattern for Next Generation Networks. - Yunus Can Bilge, Dogukan Çagatay, Begüm Genç, Mecit Sari, Hüseyin Akcan, Cem Evrendilek:
All Colors Shortest Path Problem. - J. Ian Munro, Yakov Nekrich:
Compressed Data Structures for Dynamic Sequences. - Faheem Ahmed, Luiz Fernando Capretz, Salah Bouktif, Piers Campbell:
Soft Skills and Software Development: A Reflection from the Software Industry. - Stéphane Doncieux, Jean Liénard, Benoît Girard, Mohamed Hamdaoui, Joël Chaskalovic:
Multi-objective analysis of computational models. - Shweta Sagari, Samuel Baysting, Dola Saha, Ivan Seskar, Wade Trappe, Dipankar Raychaudhuri:
Coordinated Dynamic Spectrum Management of LTE-U and Wi-Fi Networks. - Arif Raza, Luiz Fernando Capretz:
Contributors Preference in Open Source Software Usability: An Empirical Study. - Jianing Li, Yingpu Deng:
Nonexistence of two classes of generalized bent functions. - Arif Raza, Zaka Ul-Mustafa, Luiz Fernando Capretz:
Do Personality Profiles Differ in the Pakistani Software Industry and Academia - A Case Study. - Arif Raza, Luiz Fernando Capretz:
Do Open Source Software Developers Listen to Their Users? - Arif Raza, Zaka Ul-Mustafa, Luiz Fernando Capretz:
Personality Dimensions and Temperaments of Engineering Professors and Students - A Survey. - Faheem Ahmed, Luiz Fernando Capretz:
A Business Maturity Model of Software Product Line Engineering. - Markus P. Mueller, Michele Pastena:
A generalization of majorization that characterizes Shannon entropy. - Faheem Ahmed, Luiz Fernando Capretz:
An Architecture Process Maturity Model of Software Product Line Engineering. - Jie Xu, Luiz Fernando Capretz, Danny Ho:
Exploratory Analysis of Quality Practices in Open Source Domain. - Felicidad Aguado, Pedro Cabalar, David Pearce, Gilberto Pérez, Concepción Vidal:
A Denotational Semantics for Equilibrium Logic. - Wei Lin Du, Danny Ho, Luiz Fernando Capretz:
Improving Software Effort Estimation Using Neuro-Fuzzy Model with SEER-SEM. - Abhinav Garlapati, Aditi Raghunathan, Vaishnavh Nagarajan, Balaraman Ravindran:
A Reinforcement Learning Approach to Online Learning of Decision Trees. - Jie Xu, Danny Ho, Luiz Fernando Capretz:
An Empirical Study on the Procedure to Derive Software Quality Estimation Models. - Faheem Ahmed, Piers Campbell, Ahmad D. Jaffar, Luiz Fernando Capretz:
Myths and Realities about Online Forums in Open Source Software Development: An Empirical Study. - Jie Xu, Danny Ho, Luiz Fernando Capretz:
Building an OSS Quality Estimation Model with CATREG. - Wei Xia, Danny Ho, Luiz Fernando Capretz:
A Neuro-Fuzzy Model for Function Point Calibration. - Faheem Ahmed, Luiz Fernando Capretz:
A Decision Support Tool for Assessing the Maturity of Software Product Line Process. - Luiz Fernando Capretz:
Clues on Software Engineers Learning Styles. - Paul Tarau:
A Logic Programming Playground for Lambda Terms, Combinators, Types and Tree-based Arithmetic Computations. - Rajesh Bose, Sandip Roy, Debabrata Sarddar:
Mobile-Based Video Caching Architecture Based on Billboard Manager. - Hasim Sak, Andrew W. Senior, Kanishka Rao, Françoise Beaufays:
Fast and Accurate Recurrent Neural Network Acoustic Models for Speech Recognition. - Faheem Ahmed, Luiz Fernando Capretz:
A Framework for Process Assessment of Software Product Line. - Michael Kernahan, Miriam A. M. Capretz, Luiz Fernando Capretz:
C# Traceability System. - Faheem Ahmed, Luiz Fernando Capretz:
Framework for Version Control & Dependency Link of Components & Products in a Software Product Line. - Parinya Chalermsook, Mayank Goswami, László Kozma, Kurt Mehlhorn, Thatchaphol Saranurak
Pattern-avoiding access in binary search trees. - Daniel Gruss, Clémentine Maurice, Stefan Mangard:
Rowhammer.js: A Remote Software-Induced Fault Attack in JavaScript. - David Carter, Luiz Fernando Capretz:
A Three-Dimensional GUI for Windows Explorer. - Luiz Fernando Capretz:
The Challenges of CASE Design Integration in the Telecommunication Application Domain. - Luiz Fernando Capretz:
Implications of MBTI in Software Engineering Education. - Lihua Wang, Luiz Fernando Capretz:
A Binary Data Stream Scripting Language. - George Christodoulou, Alkmini Sgouritsa, Bo Tang:
On the Efficiency of the Proportional Allocation Mechanism for Divisible Resources. - Masaki Ogura, Victor M. Preciado:
Stability of Spreading Processes over Time-Varying Large-Scale Networks. - Ali Alatabbi, Jacqueline W. Daykin, Mohammad Sohel Rahman, William F. Smyth:
String Comparison in V-Order: New Lexicographic Properties & On-line Applications. - Vijay Kamble, Nihar B. Shah, David Marn, Abhay Parekh, Kannan Ramchandran:
Truth Serums for Massively Crowdsourced Evaluation Tasks. - Jedidiah McClurg, Hossein Hojjat, Nate Foster, Pavol Cerný:
Specification and Compilation of Event-driven SDN Programs. - Yuri M. Suhov, Salimeh Yasaei Sekeh:
Weighted cumulative entropies: An extension of CRE and CE. - Constantin Siriteanu, Akimichi Takemura, Christoph Koutschan
Exact ZF Analysis and Computer-Algebra-Aided Evaluation in Rank-1 LoS Rician Fading. - Azlan Iqbal, Matej Guid, Simon Colton, Jana Krivec, Shazril Azman, Boshra Haghighi:
The Digital Synaptic Neural Substrate: A New Approach to Computational Creativity. - Hadi Hosseini, Kate Larson:
Strategyproof Quota Mechanisms for Multiple Assignment Problems. - Michael Ruderman:
Compensation of Nonlinear Torsion in Flexible Joint Robots: Comparison of Two Approaches. - Yandong Wen, Weiyang Liu, Meng Yang, Yuli Fu, Zhifeng Li:
Misalignment-robust Face Recognition via Efficient Locality-constrained Representation. - Keerthana S. Prakash, R. P. Prakash, V. P. Binu:
A Study of Morphological Filtering Using Graph and Hypergraphs. - Vinayak Abrol, Pulkit Sharma, Anil Kumar Sao:
Making sense of randomness: an approach for fast recovery of compressively sensed signals. - Djamal Belazzougui, Simon J. Puglisi:
Range Predecessor and Lempel-Ziv Parsing. - Alexander Spiegelman, Idit Keidar:
On Liveness of Dynamic Storage. - Germán Bassi
The Wiretap Channel with Generalized Feedback: Secure Communication and Key Generation. - Miles E. Lopes:
Compressed Sensing without Sparsity Assumptions. - R. P. Prakash, Keerthana S. Prakash, V. P. Binu:
Thinning Algorithm Using Hypergraph Based Morphological Operators. - Michelle Forelle, Philip N. Howard, Andrés Monroy-Hernández, Saiph Savage:
Political Bots and the Manipulation of Public Opinion in Venezuela. - Qingjiang Shi, Meisam Razaviyayn, Mingyi Hong, Zhi-Quan Luo:
SINR Constrained Beamforming for a MIMO Multi-user Downlink System. - Anke van Zuylen:
Improved Approximations for Cubic and Cubic Bipartite TSP. - Davide Fiore, Stephen John Hogan, Mario di Bernardo:
Contraction analysis of switched Filippov systems via regularization. - Lina Sela Perelman, Waseem Abbas, Xenofon D. Koutsoukos, Saurabh Amin:
Sensor placement for fault location identification in water networks: A minimum test cover approach. - Ying Wang, Ahmed Abdelhadi:
A QoS-based Power Allocation for Cellular Users with Different Modulations. - Dayong Wang, Pengcheng Wu, Peilin Zhao, Steven C. H. Hoi:
A Framework of Sparse Online Learning and Its Applications. - Richard S. Sutton:
True Online Emphatic TD(λ): Quick Reference and Implementation Guide. - Andrés Abeliuk, Gerardo Berbeglia, Pascal Van Hentenryck:
Bargaining Mechanisms for One-Way Games. - Srdan Brkic, Predrag Ivanis, Bane Vasic:
Majority Logic Decoding under Data-Dependent Logic Gate Failures. - Ying Wang, Ahmed Abdelhadi:
Optimal Power Allocation for LTE Users with Different Modulations. - Ahmed Abdelhadi, T. Charles Clancy:
An Optimal Resource Allocation with Frequency Reuse in Cellular Networks. - Maryia Kabanava, Richard Kueng, Holger Rauhut, Ulrich Terstiege:
Stable low-rank matrix recovery via null space properties. - Gal Bahar, Rann Smorodinsky, Moshe Tennenholtz:
Economic Recommendation Systems. - Hao Zhang, Masashi Sugiyama:
Task Selection for Bandit-Based Task Assignment in Heterogeneous Crowdsourcing. - Jaderick P. Pabico, Jose Rene L. Micor, Elmer Rico E. Mojica:
A Neural Prototype for a Virtual Chemical Spectrophotometer. - Louie Vincent A. Ngoho, Jaderick P. Pabico:
Capturing the Dynamics of Pedestrian Traffic Using a Machine Vision System. - Yasir Shoaib, Olivia Das:
Modeling Website Workload Using Neural Networks. - Adiseshu Hari, Urs Niesen, Gordon T. Wilfong:
Optimal Path Encoding for Software-Defined Networks. - Yitong Yin, Chihao Zhang:
Spatial mixing and approximate counting for Potts model on graphs with bounded average degree. - Lingfei Wu, Andreas Stathopoulos, Jesse Laeuchli, Vassilis Kalantzis, Efstratios Gallopoulos:
Estimating the Trace of the Matrix Inverse by Interpolating from the Diagonal of an Approximate Inverse. - Keehang Kwon:
Combining Logic Programming with Fixed-Point Definitions with Game Semantics. - Shahar Dobzinski, Ami Mor:
A Deterministic Algorithm for Maximizing Submodular Functions. - Dimitrios Katselis, Cristian R. Rojas, Carolyn L. Beck:
Estimator Selection: End-Performance Metric Aspects. - Dayong Wang, Charles Otto, Anil K. Jain:
Face Search at Scale: 80 Million Gallery. - Georg Struth:
On the Expressive Power of Kleene Algebra with Domain. - Tamir Bendory, Avinoam David Bar-Zion, Dan Adam, Shai Dekel, Arie Feuer:
Stable Support Recovery of Stream of Pulses with Application to Ultrasound Imaging. - Shayan Najd, Sam Lindley, Josef Svenningsson, Philip Wadler:
Everything old is new again: Quoted Domain Specific Languages. - Ahmed Abdelhadi, T. Charles Clancy:
Network MIMO with Partial Cooperation between Radar and Cellular Systems. - Jianya Ding, Keyou You, Shiji Song, Cheng Wu:
Likelihood Ratio Based Scheduler for Secure Detection in Cyber Physical Systems. - Ning Liang, Wenyi Zhang:
A Mixed-ADC Receiver Architecture for Massive MIMO Systems. - Weisi Guo
Molecular Communications: Channel Model and Physical Layer Techniques. - Kirill Dyagilev, Suchi Saria:
Learning (Predictive) Risk Scores in the Presence of Censoring due to Interventions. - James Jian Qiao Yu, Victor O. K. Li:
A Social Spider Algorithm for Solving the Non-convex Economic Load Dispatch Problem. - Tam The Nguyen, Hung Viet Pham, Phong Minh Vu, Tung Thanh Nguyen:
Learning API Usages from Bytecode: A Statistical Approach. - Kenji Kume, Naoko Nose-Togawa:
Spectral structure of singular spectrum decomposition for time series. - Sam Nees, Andreas Schwarz
A model for the temporal evolution of the spatial coherence in decaying reverberant sound fields. - Jérôme Leroux, Grégoire Sutre, Patrick Totzke:
On Boundedness Problems for Pushdown Vector Addition Systems. - Carl Löndahl:
A note on the security of the hHB protocol. - Nader H. Bshouty, Ariel Gabizon:
Almost Optimal Cover-Free Families. - Maxim Borisyak, Andrey Ustyuzhanin:
A genetic algorithm for autonomous navigation in partially observable domain. - Maxim Borisyak, Roman Zykov, Artem Noskov:
Application of Kullback-Leibler divergence for short-term user interest detection. - Bram J. Dil, Fredrik Gustafsson, Bernhard J. Hoenders:
Fundamental Bounds on Radio Localization Precision in the Far Field. - Laura Luzzi, Roope Vehkalahti:
Almost universal codes achieving ergodic MIMO capacity within a constant gap. - Chien-Chung Huang, Sebastian Ott:
A Combinatorial Approximation Algorithm for Graph Balancing with Light Hyper Edges. - Antares Chen
Partial Resampling to Approximate Covering Integer Programs. - Tim Taylor:
Requirements for Open-Ended Evolution in Natural and Artificial Systems. - Miguel Rodríguez-Pérez, Sergio Herrería-Alonso, Manuel Fernández-Veiga, Cándido López-García:
Improved Opportunistic Sleeping Algorithms for LAN Switches. - Miguel Rodríguez-Pérez, Sergio Herrería-Alonso, Manuel Fernández-Veiga, Andrés Suárez-González, Cándido López-García:
Achieving Fair Network Equilibria with Delay-based Congestion Control Algorithms. - Javier Schloemann, Harpreet S. Dhillon, R. Michael Buehrer:
A Tractable Metric for Evaluating Base Station Geometries in Cellular Network Localization. - David Abdurachmanov, Alessandro Degano, Peter Elmer, Giulio Eulisse, David Mendez, Shahzad Muzaffar:
Optimizing CMS build infrastructure via Apache Mesos. - Lothar Bauerdick, Brian Bockelman, Peter Elmer, Stephen Gowdy, Matevz Tadel, Frank Würthwein:
Designing Computing System Architecture and Models for the HL-LHC era. - Xun Xu, Timothy M. Hospedales, Shaogang Gong:
Discovery of Shared Semantic Spaces for Multi-Scene Video Query and Summarization. - Florentin Smarandache
Unification of Fusion Theories, Rules, Filters, Image Fusion and Target Tracking Methods (UFT). - Daniel Ricardo dos Santos, Silvio Ranise, Serena Elisa Ponta:
Modularity for Security-Sensitive Workflows. - Adnan Aijaz, A. Hamid Aghvami:
A Green Perspective on Wi-Fi Offloading. - Bin Han, Qingtang Jiang, Zuowei Shen, Xiaosheng Zhuang:
Symmetric Canonical Quincunx Tight Framelets with High Vanishing Moments and Smoothness. - Gorav Jindal, Pavel Kolev:
Faster Spectral Sparsification of Laplacian and SDDM Matrix Polynomials. - Shun Miao, Z. Jane Wang, Rui Liao:
A Convolutional Neural Network Approach for 2D/3D Medical Image Registration. - Peng Sun, Haoyin Zhou, Devon Lundine, James K. Min, Guanglei Xiong:
Fast Segmentation of Left Ventricle in CT Images by Explicit Shape Regression using Random Pixel Difference Features. - Ehsan Seifi, Mehran Atamanesh, Amir K. Khandani:
Media-Based MIMO: A New Frontier in Wireless Communications. - Colin W. Glass, Steffen Reiser, Gábor Rutkai, Stephan Deublein, Andreas Köster, Gabriela Guevara-Carrion, Amer Wafai, Martin Horsch, Martin F. Bernreuther, Thorsten Windmann, Hans Hasse, Jadran Vrabec:
ms2: A molecular simulation tool for thermodynamic properties, new version release. - Shant Boodaghians, Adrian Vetta:
Testing Consumer Rationality using Perfect Graphs and Oriented Discs. - David L. Richmond, Dagmar Kainmueller, Michael Ying Yang, Eugene W. Myers, Carsten Rother:
Relating Cascaded Random Forests to Deep Convolutional Neural Networks for Semantic Segmentation. - Osuolale Abdulrahamon Tiamiyu:
On the Simulation of Trusted Routing Mechanism. - Iliano Cervesato, Kaustuv Chaudhuri:
Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice, LFMTP 2015, Berlin, Germany, 1 August 2015. EPTCS 185, 2015 [contents] - Joseph A. Starek, Javier V. Gómez, Edward Schmerling, Lucas Janson, Luis Moreno, Marco Pavone:
An Asymptotically-Optimal Sampling-Based Algorithm for Bi-directional Motion Planning. - Gili Rosenberg, Mohammad Vazifeh, Brad Woods, Eldad Haber:
Building an iterative heuristic solver for a quantum annealer. - Zaid Kbah, Ahmed Abdelhadi:
Resource Allocation in Cellular Systems for Applications with Random Parameters. - Takuya Takagi, Shunsuke Inenaga, Hiroki Arimura:
Fully-online construction of suffix trees and DAWGs for multiple texts. - Xishuo Liu, Stark C. Draper:
LP-decodable multipermutation codes. - Garrick Orchard, Ajinkya Jayawant, Gregory Cohen, Nitish V. Thakor:
Converting Static Image Datasets to Spiking Neuromorphic Datasets Using Saccades. - Luciano Gallegos, Kristina Lerman, Arthur Huang, David García:
Geography of Emotion: Where in a City are People Happier? - Dimitris Achlioptas, Fotis Iliopoulos:
Focused Stochastic Local Search and the Lovász Local Lemma. - Sridhar Mahadevan, Sarath Chandar:
Reasoning about Linguistic Regularities in Word Embeddings using Matrix Manifolds. - Angjoo Kanazawa, Shahar Z. Kovalsky, Ronen Basri, David W. Jacobs:
Learning 3D Articulation and Deformation using 2D Images. - Rehan Abdul Aziz, Geoffrey Chu, Christian J. Muise, Peter J. Stuckey:
Projected Model Counting. - Chandrashekhar Pomu Chavan, Pallapa Venkataram:
Designing a Routing Protocol for Ubiquitous Networks Using ECA Scheme. - Branislav Bosanský, Simina Brânzei, Kristoffer Arnsfelt Hansen, Peter Bro Miltersen, Troels Bjerre Sørensen:
Computation of Stackelberg Equilibria of Finite Sequential Games. - Yann Ollivier, Guillaume Charpiat
Training recurrent networks online without backtracking. - Stefano V. Albrecht, Jacob W. Crandall, Subramanian Ramamoorthy:
Belief and Truth in Hypothesised Behaviours. - Frédéric Vogels, Bart Jacobs
Featherweight VeriFast. - Syed Hassan Raza Naqvi, Umberto Spagnolini:
Interference-Cooperation in Multi-User/Multi-Operator Receivers. - Mingbo Dai, Bruno Clerckx, David Gesbert, Giuseppe Caire:
A Hierarchical Rate Splitting Strategy for FDD Massive MIMO under Imperfect CSIT. - Silvia Crafa:
The role of concurrency in an evolutionary view of programming abstractions. - Matús Mihalák, Przemyslaw Uznanski, Pencho Yordanov:
Prime Factorization of the Kirchhoff Polynomial: Compact Enumeration of Arborescences. - Cosimo Anglano:
Forensic Analysis of WhatsApp Messenger on Android Smartphones. - Joseph D. Ramsey:
Scaling up Greedy Equivalence Search for Continuous Variables. - Chiara Ghidini, Luciano Serafini:
Distributed First Order Logic. - Konrad Simon, Sameer Sheorey, David W. Jacobs, Ronen Basri:
A Hyperelastic Two-Scale Optimization Model for Shape Matching. - Chao-Kai Wen, Chang-Jen Wang, Shi Jin, Kai-Kit Wong, Pangan Ting:
Bayes-Optimal Joint Channel-and-Data Estimation for Massive MIMO with Low-Precision ADCs. - Eric J. Friedman, Adam Scott Landsberg:
Duality and Nonlinear Graph Laplacians. - Gadea Mata, Jónathan Heras, Miguel Morales, Ana Romero, Julio Rubio:
SynapCountJ - a Tool for Analyzing Synaptic Densities in Neurons. - Giuseppe Lisanti, Svebor Karaman, Daniele Pezzatini, Alberto Del Bimbo:
A Multi-Camera Image Processing and Visualization System for Train Safety Assessment. - Udit Gupta:
Comparison between security majors in virtual machine and linux containers. - Henrique Ferraz de Arruda, Luciano da Fontoura Costa, Diego R. Amancio:
Classifying informative and imaginative prose using complex networks. - Yongxin Yang, Timothy M. Hospedales:
Zero-Shot Domain Adaptation via Kernel Regression on the Grassmannian. - Yayati Gupta, Debarati Das, S. R. S. Iyengar:
Pseudo-Cores: The Terminus of an Intelligent Viral Meme's Trajectory. - Yayati Gupta, S. R. S. Iyengar, Jaspal Singh Saini, Nidhi Sridhar:
Shifting Behaviour of Users: Towards understanding the Fundamental Law of Social Networks. - Yongping Pan, Haoyong Yu:
Composite Learning Control With Application to Inverted Pendulums. - Martin Jurás, Frantisek Marko, Alexandr N. Zubkov:
Public-key cryptosystem based on invariants of diagonalizable groups. - Jagdish Prasad Achara, Gergely Ács, Claude Castelluccia:
On the Unicity of Smartphone Applications. - N. S. Narayanaswamy, C. S. Rahul:
A Classification of Connected f -factor Problems inside NP. - Tomasz Bujlow, Valentín Carela-Español, Josep Solé-Pareta, Pere Barlet-Ros:
Web Tracking: Mechanisms, Implications, and Defenses. - Tor Lattimore:
Optimally Confident UCB : Improved Regret for Finite-Armed Bandits. - Samarth Brahmbhatt, Heni Ben Amor, Henrik I. Christensen:
Occlusion-Aware Object Localization, Segmentation and Pose Estimation. - Thành Nguyen, Hang Zhou, Randall A. Berry, Michael L. Honig, Rakesh V. Vohra:
The Cost of Free Spectrum. - Elvis Dohmatob:
A simple and efficient algorithm for computing approximate Nash equilibria in two-person zero-sum sequential games with imcomplete information. - Arif Raza, Luiz Fernando Capretz:
Addressing User Requirements in Opens Source Software: The Role of Online Forums. - Luiz G. Hafemann, Robert Sabourin, Luiz S. Oliveira:
Offline Handwritten Signature Verification - Literature Review. - Pablo Barceló, Gaëlle Fontaine, Anthony Widjaja Lin
Expressive Path Queries on Graph with Data. - Xinyang Deng, Zhen Wang, Qi Liu, Yong Deng, Yu Shyr:
Impact of Preference and Equivocators on Opinion Dynamics with Evolutionary Game Framework. - Xinyang Deng, Yong Deng, Qi Liu, Zhen Wang:
A quantum extension to inspection game. - Eric Heim, Milos Hauskrecht:
Sparse Multidimensional Patient Modeling using Auxiliary Confidence Labels. - Xinyang Deng, Yong Deng, Qi Liu, Zhen Wang:
Quantum games of opinion formation based on the Marinatto-Weber quantum game scheme. - Rogério Atem de Carvalho, Hudson Silva, Rafael Ferreira Toledo, Milena Silveira de Azevedo:
TDD for Embedded Systems: A Basic Approach and Toolset. - Prashanth L. A., H. L. Prasad, Shalabh Bhatnagar, Prakash Chandra:
A constrained optimization perspective on actor critic algorithms and application to network routing. - Wayes Tushar, Chau Yuen, Shisheng Huang, David B. Smith, H. Vincent Poor:
Cost Minimization of Charging Stations with Photovoltaics: An Approach with EV Classification. - Andrew M. Dai, Christopher Olah, Quoc V. Le:
Document Embedding with Paragraph Vectors. - Anton V. Eremeev:
On Proportions of Fit Individuals in Population of Genetic Algorithm with Tournament Selection. - Zhiyi Zhou, Dongning Guo, Michael L. Honig:
Allocation of Licensed and Unlicensed Spectrum in Heterogeneous Networks. - Ron Steinfeld, Amin Sakzad:
On Massive MIMO Physical Layer Cryptosystem. - Anthony Cazasnoves, Fanny Buyens, Sylvie Sevestre:
Adapted sampling for 3D X-ray computed tomography. - Ameen Alkasem, Hongwei Liu, Decheng Zuo, Yao Zhao:
AFDI: A Virtualization-based Accelerated Fault Diagnosis Innovation for High Availability Computing. - Amal Tahri, Laurence Duchien, Jacques Pulou:
Using Feature Models for Distributed Deployment in Extended Smart Home Architecture. - Hu Fu, Nicole Immorlica, Brendan Lucier, Philipp Strack:
Randomization beats Second Price as a Prior-Independent Auction. - Furio Honsell, Luigi Liquori
Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks. 3-17 - Amy P. Felty, Alberto Momigliano
An Open Challenge Problem Repository for Systems Supporting Binders. 18-32 - Andrew Cave, Brigitte Pientka:
A Case Study on Logical Relations using Contextual Types. 33-45 - Roly Perera, James Cheney
Proof-relevant pi-calculus. 46-70 - Ronan Saillard:
Rewriting Modulo βin the λΠ-Calculus Modulo. 87-101 - Nicolas Guenot, Daniel Gustafsson:
Sequent Calculus and Equational Programming. 102-109 - Xiaochao Qu, Suah Kim, Run Cui, Hyoung Joong Kim:
Collaborative Representation Classification Ensemble for Face Recognition. - Filipp Valovich, Francesco Aldà:
Private Stream Aggregation Revisited. - Jian Yu:
Communication: Words and Conceptual Systems. - Sergey Novoselov, Alexander Kozlov, Galina Lavrentyeva, Konstantin Simonchik, Vadim Shchemelinin:
STC Anti-spoofing Systems for the ASVspoof 2015 Challenge. - Xiaochao Qu, Suah Kim, Run Cui, Hyoung Joong Kim:
Low Bit-Rate and High Fidelity Reversible Data Hiding. - Annan Li, Shiguang Shan, Xilin Chen, Bingpeng Ma, Shuicheng Yan, Wen Gao:
Cross-pose Face Recognition by Canonical Correlation Analysis. - Oswin Aichholzer, Vincent Kusters, Wolfgang Mulzer, Alexander Pilz, Manuel Wettstein:
An Optimal Algorithm for Reconstructing Point Set Order Types from Radial Orderings. - Fatma Yildiz Tascikaraoglu, Jennie Lioris, Ajith Muralidharan, Martin Gouy, Pravin Varaiya:
PointQ model of an arterial network: calibration and experiments. - Gao Zhu, Fatih Porikli, Hongdong Li:
Tracking Randomly Moving Objects on Edge Box Proposals. - Benoit Desouter, Tom Schrijvers, Marko van Dooren:
Tabling as a Library with Delimited Control. - Shrawan Kumar:
Property irrelevant predicates. - Sebastian E. Schmittner:
A SAT-based public key encryption scheme. - Moritz Kreutzer, Jonas Thies, Melven Röhrig-Zöllner, Andreas Pieper, Faisal Shahzad, Martin Galgon, Achim Basermann, Holger Fehske, Georg Hager, Gerhard Wellein:
GHOST: Building blocks for high performance sparse linear algebra on heterogeneous systems. - Barbora Micenková, Brian McWilliams, Ira Assent:
Learning Representations for Outlier Detection on a Budget. - Paul Lagrée, Bogdan Cautis, Hossein Vahabi:
A Network-Aware Approach for Searching As-You-Type in Social Media (Extended Version). - Alexander V. Evako:
Parabolic equations on digital spaces. Solutions on the digital Moebius strip and the digital projective plane. - Mulugeta K. Fikadu, Paschalis C. Sofotasios, Qimei Cui, Mikko Valkama:
Analytic Performance Evaluation of M${-}$QAM Based Decode-and-Forward Relay Networks Over Nakagami-q (Hoyt) Fading Channels. - Paschalis C. Sofotasios, Sami Muhaidat, Mikko Valkama, Mounir Ghogho, George K. Karagiannidis:
Entropy and Channel Capacity under Optimum Power and Rate Adaptation in Generalized Fading Conditions. - Pushpendra Singh
Some studies on multidimensional Fourier theory for Hilbert transform, analytic signal and space-time series analysis. - Daniel Lamprecht, Markus Strohmaier, Denis Helic:
Improving Reachability and Navigability in Recommender Systems. - Mulugeta K. Fikadu, Paschalis C. Sofotasios, Mikko Valkama, Qimei Cui, Sami Muhaidat, George K. Karagiannidis:
Error Rate and Power Allocation Analysis of Regenerative Networks under Generalized Fading Conditions. - Gautier Marti, Philippe Donnat, Frank Nielsen, Philippe Very:
HCMapper: An interactive visualization tool to compare partition-based flat clustering extracted from pairs of dendrograms. - Donggu Kang, James Payor:
Flow Rounding. - Alam Zaib, Mudassir Masood, Anum Ali, Weiyu Xu, Tareq Y. Al-Naffouri
Distributed Channel Estimation and Pilot Contamination Analysis for Massive MIMO-OFDM Systems. - Riccardo De Masellis, Chiara Ghidini, Silvio Ranise:
A Declarative Framework for Specifying and Enforcing Purpose-aware Policies. - Pål Grønås Drange, Felix Reidl, Fernando Sánchez Villaamil, Somnath Sikdar:
Fast Biclustering by Dual Parameterization. - Florent Foucaud, George B. Mertzios, Reza Naserasr, Aline Parreau, Petru Valicov:
Identification, location-domination and metric dimension on interval and permutation graphs. I. Bounds. - Nauman Shahid, Nathanaël Perraudin, Vassilis Kalofolias, Pierre Vandergheynst:
Fast Robust PCA on Graphs. - Teodora Szasz, Adrian Basarab, Denis Kouame:
Beamforming through regularized inverse problems in ultrasound medical imaging. - Van Chan Ngo, Axel Legay, Jean Quilbeuf:
Dependability Analysis of Control Systems using SystemC and Statistical Model Checking. - Christina Lioma, Jakob Grue Simonsen, Birger Larsen, Niels Dalum Hansen:
Non-Compositional Term Dependence for Information Retrieval. - Armin Balalaie, Abbas Heydarnoori, Pooyan Jamshidi:
Migrating to Cloud-Native Architectures Using Microservices: An Experience Report. - Roman V. Belavkin:
Asymmetric Topologies on Statistical Manifolds. - Marc-Olivier Arsenault, Hanen Garcia Gamardo, Kim Khoa Nguyen, Mohamed Cheriet:
Session-based Communication for Vital Machine-to-Machine Applications. - Casper Petersen, Christina Lioma, Jakob Grue Simonsen, Birger Larsen:
Entropy and Graph Based Modelling of Document Coherence using Discourse Entities: An Application. - Yajie Miao, Mohammad Gowayyed, Florian Metze:
EESEN: End-to-End Speech Recognition using Deep RNN Models and WFST-based Decoding. - Lasse Kliemann, Elmira Shirazi Sheykhdarabadi, Anand Srivastav:
Price of Anarchy for Graph Coloring Games with Concave Payoff. - Sohail Bahmani, Justin K. Romberg:
Efficient Compressive Phase Retrieval with Constrained Sensing Vectors. - Khaled Hamed Alyoubi, Sven Helmer, Peter T. Wood:
Ordering Selection Operators Using the Minmax Regret Rule. - Thibault de Valroger:
Perfect Secrecy under Deep Random assumption. - Amirafshar Moshtaghpour, Laurent Jacques, Valerio Cambareri, Kévin Degraux, Christophe De Vleeschouwer:
Consistent Signal and Matrix Estimates in Quantized Compressed Sensing. - Thomas Furmston, Guy Lever:
A Gauss-Newton Method for Markov Decision Processes. - David Held, Sebastian Thrun, Silvio Savarese:
Deep Learning for Single-View Instance Recognition. - Frank Li, Richard Shin, Vern Paxson:
Exploring Privacy Preservation in Outsourced K-Nearest Neighbors with Multiple Data Owners. - Martin Takác, Peter Richtárik, Nathan Srebro:
Distributed Mini-Batch SDCA. - Ahsan Javed Awan, Mats Brorsson, Vladimir Vlassov, Eduard Ayguadé:
How Data Volume Affects \\Spark Based Data Analytics on a Scale-up Server. - Jaderick P. Pabico, Joseph Anthony C. Hermocilla, John Paul C. Galang, Christine C. De Sagun:
Perceived Social Loafing in Undergraduate Software Engineering Teams. - Jaderick P. Pabico:
Inferences in a Virtual Community: Demography, User Preferences, and Network Topology. - Pasin Manurangsi, Dana Moshkovitz:
Approximating Dense Max 2-CSPs. - Tobias Koch, Gonzalo Vazquez-Vilar:
Rate-Distortion Bounds for High-Resolution Vector Quantization via Gibbs's Inequality. - Xianmang He, Liqing Xu, Hao Chen:
New q-ary Quantum MDS Codes with Distances Bigger than q/2. - Shaukat R. Abidi, Massimo Piccardi, Mary-Anne Williams:
Action recognition in still images by latent superpixel classification. - Santiago Segarra, Antonio G. Marques, Geert Leus, Alejandro Ribeiro:
Reconstruction of Graph Signals through Percolation from Seeding Nodes. - Mehrtash Tafazzoli Harandi, Mathieu Salzmann, Fatih Porikli:
When VLAD met Hilbert. - Muhibur Rasheed, Chandrajit L. Bajaj:
Characterization and Construction of a Family of Highly Symmetric Spherical Polyhedra with Application in Modeling Self-Assembling Structures. - Cezary Kaliszyk
Proceedings Fourth Workshop on Proof eXchange for Theorem Proving, PxTP 2015, Berlin, Germany, August 2-3, 2015. EPTCS 186, 2015 [contents] - Mian Wang, Dong Wang:
VMF-SNE: Embedding for Spherical Data. - Moran Feldman, Rico Zenklusen:
The Submodular Secretary Problem Goes Linear. - Shuangyin Li, Jiefei Li, Guan Huang, Ruiyang Tan, Rong Pan:
Tag-Weighted Topic Model For Large-scale Semi-Structured Documents. - Baptiste Maingret, Frédéric Le Mouël, Julien Ponge, Nicolas Stouls
Towards a Decoupled Context-Oriented Programming Language for the Internet of Things. - Anupam Ghosh, Mainak Talukdar, Uttam Kumar Roy:
Stable Drug Designing By Minimizing Drug Protein Interaction Energy Using PSO. - Rakesh U. Chavan, Debraj Chakraborty, D. Manjunath:
Stability and Equilibrium Analysis of Laneless Traffic with Local Control Laws. - Gabriele D'Angelo, Stefano Ferretti:
Performance evaluation of gossip protocols on complex networks. - Xu Lu, Zhenhua Duan, Cong Tian:
Extending PPTL for Verifying Heap Evolution Properties. - Shuchang Zhou, Yuxin Wu:
Multilinear Map Layer: Prediction Regularization by Structural Constraint. - Pan Zhou, Chenhui Hu, Tao Jiang, Dapeng Wu:
Almost Optimal Energy-Efficient Cognitive Communications in Unknown Environments. - Maciej Kula:
Metadata Embeddings for User and Item Cold-start Recommendations. - Indre Zliobaite, Mikhail Khokhlov:
Optimal estimates for short horizon travel time prediction in urban areas. - Ankan Bansal, K. S. Venkatesh:
People Counting in High Density Crowds from Still Images. - Minati Mishra:
Ethical, Legal and Social aspects of Information and Communication Technology. - David Vilares, Miguel A. Alonso, Carlos Gómez-Rodríguez:
One model, two languages: training bilingual parsers with harmonized treebanks. - Shashi Narayan, Claire Gardent:
Unsupervised Sentence Simplification Using Deep Semantics. - Alonso Silva, Antonia Maria Masucci:
Defensive Resource Allocation in Social Networks. - Cristian Jimenez-Romero, David Sousa-Rodrigues, Jeffrey H. Johnson, Vitorino Ramos:
A Model for Foraging Ants, Controlled by Spiking Neural Networks and Double Pheromones. - Ana Barroso:
aDTN - Undetectable Communication in Wireless Delay-tolerant Networks (Working Draft). - Víctor López Millán, Vicent Cholvi, Antonio Fernández Anta, Luis López:
Resource location based on precomputed partial random walks in dynamic networks. - Georgia Kougka, Anastasios Gounaris:
Cost optimization of data flows based on task re-ordering. - Maurice Margenstern:
About embedded quarters and points at infinity in the hyperbolic plane. - Andres Garcia-Saavedra, Mohammad Karzand, Douglas J. Leith:
Low Delay Random Linear Coding and Scheduling Over Multiple Interfaces. - Dhiraj Madan, Sandeep Sen:
Randomised Rounding with Applications. - Pol Van Aubel, Daniel J. Bernstein, Ruben Niederhagen:
Investigating SRAM PUFs in large CPUs and GPUs. - Domagoj Margan, Ana Mestrovic, Sanda Martincic-Ipsic:
Multilayer Network of Language: a Unified Framework for Structural Analysis of Linguistic Subsystems. - Ganesh Ram Santhanam, Samik Basu, Vasant G. Honavar:
CRISNER: A Practically Efficient Reasoner for Qualitative Preferences. - Ganesh G., Debanjum Singh Solanky, Govindaraj R:
Collaborative peer production as an alternative to hierarchical internet based business systems. - Vinay Chakravarthi Gogineni, Mrityunjoy Chakraborty:
Diffusion Adaptation Over Clustered Multitask Networks Based on the Affine Projection Algorithm. - Mohsen Yaghoubi Suraki, Morteza Yaghoubi Suraki, Leila SourakiAzad:
HMIoT: A New Healthcare Model Based on Internet of Things. - Weiya Ren, Shuohao Li, Qiang Guo, Guohui Li, Jun Zhang:
Agglomerative clustering and collectiveness measure via exponent generating function. - Henning Thomsen, Petar Popovski, Elisabeth de Carvalho, Nuno K. Pratas, Dong-Min Kim, Federico Boccardi:
CoMPflex: CoMP for In-Band Wireless Full Duplex. - Giovanni Pighizzini:
One-Tape Turing Machine Variants and Language Recognition. - Yanshan Wang, Dingcheng Li, Hongfang Liu, In-Chan Choi:
Generalized Ensemble Model for Document Ranking. - Pablo Aragón, Yana Volkovich, David Laniado, Andreas Kaltenbrunner:
When a Movement Becomes a Party: The 2015 Barcelona City Council Election. - Alexey Sorokin:
Normal forms for linear displacement context-free grammars. - Kimio Kuramitsu:
Fast, Flexible, and Declarative Construction of Abstract Syntax Trees with PEGs. - Anna-Lena Horlemann-Trautmann, Kyle Marshall:
New Criteria for MRD and Gabidulin Codes and some Rank-Metric Code Constructions. - Yash Deshpande, Emmanuel Abbe, Andrea Montanari:
Asymptotic Mutual Information for the Two-Groups Stochastic Block Model. - Holger Petersen:
The Complexity of Some Combinatorial Puzzles. - Benjamin Lim:
Android Tapjacking Vulnerability. - Faranak Davoodi:
PSC: A Pattern-Based Temporal and Spatial Crowdsourcing Platform to Improve Performance, Reliability, and Privacy. - Myung Cho, Kumar Vijay Mishra, Jian-Feng Cai, Weiyu Xu:
Block Iterative Reweighted Algorithms for Super-Resolution of Spectrally Sparse Signals. - Peter Lofgren, Siddhartha Banerjee, Ashish Goel:
Bidirectional PageRank Estimation: From Average-Case to Worst-Case. - Ahuva Mu'alem, Michael Schapira:
Setting Lower Bounds on Truthfulness. - Mehrtash Tafazzoli Harandi, Mathieu Salzmann, Mahsa Baktashmotlagh:
Beyond Gauss: Image-Set Matching on the Riemannian Manifold of PDFs. - Giselle Reis:
Importing SMT and Connection proofs as expansion trees. 3-10 - Quentin Heath, Dale Miller
A framework for proof certificates in finite state exploration. 11-26 - Christoph Benzmüller
Systematic Verification of the Modal Logic Cube in Isabelle/HOL. 27-41 - Mark Adams:
The Common HOL Platform. 42-56 - Raphaël Cauderlier, Pierre Halmagrand:
Checking Zenon Modulo Proofs in Dedukti. 57-73 - Ali Assaf, Guillaume Burel:
Translating HOL to Dedukti. 74-88 - Ali Assaf, Raphaël Cauderlier:
Mixing HOL and Coq in Dedukti (Extended Abstract). 89-96 - Shan-Hsiang Shen, Liang-Hao Huang, Hsiang-Chun Hsu, De-Nian Yang, Wen-Tsuen Chen:
Multi-Tree Multicast Traffic Engineering for Software-Defined Networks. - Hirosuke Yamamoto, Masato Tsuchihashi, Junya Honda:
Almost Instantaneous Fix-to-Variable Length Codes. - Junhyuk Oh, Xiaoxiao Guo, Honglak Lee, Richard L. Lewis, Satinder Singh:
Action-Conditional Video Prediction using Deep Networks in Atari Games. - Frank Ong, Michael Lustig:
Beyond Low Rank + Sparse: Multi-scale Low Rank Matrix Decomposition. - Ohad Shamir:
An Optimal Algorithm for Bandit and Zero-Order Convex Optimization with Two-Point Feedback. - Fa Wu, Peijun Hu, Dexing Kong:
Flip-Rotate-Pooling Convolution and Split Dropout on Convolution Neural Networks for Image Classification. - Amir Shahroudy, Gang Wang, Tian-Tsong Ng, Qingxiong Yang:
Multimodal Multipart Learning for Action Recognition in Depth Videos. - Leonid P. Yaroslavsky:
Can compressed sensing beat the Nyquist sampling rate? - Ohad Shamir:
Fast Stochastic Algorithms for SVD and PCA: Convergence Properties and Convexity. - R. B. Sandeep, Naveen Sivadasan:
Parameterized lower bound and improved kernel for Diamond-free Edge Deletion. - Christian Mandery, Júlia Borràs Sol, Mirjam Jöchner, Tamim Asfour:
Analyzing Whole-Body Pose Transitions in Multi-Contact Motions. - Peng Hu:
A System Architecture for Software-Defined Industrial Internet of Things. - Dario Garcia-Gasulla, Javier Béjar, Ulises Cortés, Eduard Ayguadé, Jesús Labarta:
Extracting Visual Patterns from Deep Learning Representations. - Mikhail Tsitsvero, Sergio Barbarossa, Paolo Di Lorenzo:
Signals on Graphs: Uncertainty Principle and Sampling. - Matteo Brunelli:
Extending the axioms of inconsistency indices for pairwise comparisons. - Matthias Keller, Holger Karl:
Response-Time-Optimised Service Deployment: MILP Formulations of Piece-wise Linear Functions Approximating Non-linear Bivariate Mixed-integer Functions. - Ertem Esiner, Anwitaman Datta
Auditable Versioned Data Storage Outsourcing. - Jiachen Yang, Zhiyong Ding, Fei Guo, Huogen Wang, Nick Hughes:
A novel multivariate performance optimization method based on sparse coding and hyper-predictor learning. - Fatih Çalisir, Özgür Ulusoy, Ugur Güdükbay, Muhammet Bastan:
Mobile Multi-View Object Image Search. - Fabio Sabatini, Francesco Sarracino:
Keeping up with the e-Joneses: Do online social networks raise social comparisons? - Miriam Marciel, Rubén Cuevas, Albert Banchs, Roberto Gonzalez, Stefano Traverso, Mohamed Ahmed, Arturo Azcorra:
Understanding the detection of fake view fraud in Video Content Portals. - Giuseppe Liotta, Fabrizio Montecchiani:
L-Visibility Drawings of IC-planar Graphs. - Kimio Kuramitsu:
Service Dependability with Continuously Revised Assurance Cases by Multiple Stakeholders: A Case Study. - Rushikesh Kamalapurkar, Ben Reish, Girish Chowdhary, Warren E. Dixon:
Concurrent learning for parameter estimation using dynamic state-derivative estimators. - Zhaowen Wang, Ding Liu, Jianchao Yang, Wei Han, Thomas S. Huang:
Deeply Improved Sparse Coding for Image Super-Resolution. - Laszlo B. Kish, Claes-Göran Granqvist, Sunil P. Khatri, Ferdinand Peper:
Zero and negative energy dissipation at information-theoretic erasure. - Marwan Hammouda, Sami Akin, Jürgen Peissig:
Effective Capacity in Multiple Access Channels with Arbitrary Inputs. - Xiaomin Chen, Ibukunoluwa Akinyemi, Shuang-Hua Yang:
A control theoretic approach to achieve proportional fairness in 802.11e EDCA WLANs. - Xiaomin Chen, Shuang-Hua Yang:
Achieving proportional fairness with a control theoretic approach in error-prone 802.11e WLANs. - Rafal Kapelko, Evangelos Kranakis:
On the Displacement for Covering a Unit Interval with Randomly Placed Sensors. - Ofer Shayevitz, Meir Feder:
A Simple Proof for the Optimality of Randomized Posterior Matching. - Stefan Haring, Ronald Hochreiter:
Efficient and robust calibration of the Heston option pricing model for American options using an improved Cuckoo Search Algorithm. - Heba Aly, Anas Basalamah, Moustafa Youssef:
Map++: A Crowd-sensing System for Automatic Map Semantics Identification. - Roman Fedorov, Piero Fraternali, Chiara Pasini, Marco Tagliasacchi:
SnowWatch: Snow Monitoring through Acquisition and Analysis of User-Generated Content. - Fan Chung, Olivia Simpson:
Distributed Algorithms for Finding Local Clusters Using Heat Kernel Pagerank. - Fan Chung, Olivia Simpson:
Finding Consensus in Multi-Agent Networks Using Heat Kernel Pagerank. - Jihong Park, Seong-Lyun Kim, Jens Zander:
Tractable Resource Management with Uplink Decoupled Millimeter-Wave Overlay in Ultra-Dense Cellular Networks. - Jason D. Lee:
Selective Inference and Learning Mixed Graphical Models. - Pooria Joulani, András György, Csaba Szepesvári:
Fast Cross-Validation for Incremental Learning. - Jacob W. Cooper, Tomás Kaiser, Daniel Král, Jonathan A. Noel:
Weak regularity and finitely forcible graph limits. - Shogo Mizutaka, Kousuke Yakubo:
Robustness of scale-free networks to cascading failures induced by fluctuating loads. - Pawel Sobkowicz:
Breakdown of metastable political duopoly due to asymmetry of emotions in partisan propaganda. - Nicolas Wider, Antonios Garas, Ingo Scholtes, Frank Schweitzer:
An ensemble perspective on multi-layer networks. - Emilie Charlier, Julien Leroy, Michel Rigo:
Asymptotic properties of free monoid morphisms. - Guillaume Desjardins, Karen Simonyan, Razvan Pascanu, Koray Kavukcuoglu:
Natural Neural Networks. - Jamie Sikora, Antonios Varvitsiotis, Zhaohui Wei:
On the minimum dimension of a Hilbert space needed to generate a quantum correlation. - Jorge Rodríguez Veiga, Guido I. Novoa Flores, Balbina V. Casas Méndez:
Implementing generating functions to obtain power indices with coalition configuration. - Alexander Cloninger, Ronald R. Coifman, Nicholas Downing, Harlan M. Krumholz:
Bigeometric Organization of Deep Nets. - Daniel Martí, Mattia Rigotti, Mingoo Seok, Stefano Fusi:
Energy-efficient neuromorphic classifiers. - Kaushik Chakraborty, André Chailloux, Anthony Leverrier:
Arbitrarily long relativistic bit commitment. - Eduardo López, Omar A. Guerrero, Robert L. Axtell:
The Network Picture of Labor Flow. - Stefan Steinerberger:
A Hidden Signal in the Ulam sequence. - Vanni Noferini, Alex Townsend:
Are resultant methods numerically unstable for multidimensional rootfinding? - Ian Osband, Benjamin Van Roy:
Bootstrapped Thompson Sampling and Deep Exploration. - June Zhang, José M. F. Moura:
Contact Process with Exogenous Infection and the Scaled SIS Process. - Tsuyoshi Ito, Stacey Jeffery:
Approximate Span Programs. - Asaf Levin, Shmuel Onn:
Lexicographic Matroid Optimization. - Petter Holme, Fredrik Liljeros:
Mechanistic Models in Computational Social Science. - André Ferrari, David Mary, Rémi Flamary, Cédric Richard:
Distributed image reconstruction for very large arrays in radio astronomy. - Paul Dorbec, Éric Duchêne, André Fabbri, Julien Moncel, Aline Parreau, Éric Sopena:
Ice sliding games. - Ramij Rahaman, Guruprasad Kar:
Quantum Anonymous Veto protocol. - A. Lachgar, A. Achahbar:
Network growth with preferential attachment and without "rich get richer" mechanism. - Pooneh M. Ara, Ryan G. James, James P. Crutchfield:
The Elusive Present: Hidden Past and Future Dependency and Why We Build Models. - Takeru Miyato, Shin-ichi Maeda, Masanori Koyama, Ken Nakae, Shin Ishii:
Distributional Smoothing by Virtual Adversarial Examples. - Heinrich H. Nax, Matjaz Perc, Attila Szolnoki, Dirk Helbing:
Stability of cooperation under image scoring in group interactions. - Aram W. Harrow, Ashley Montanaro:
Extremal eigenvalues of local Hamiltonians. - Mingming Chen, Konstantin Kuzmin, Boleslaw K. Szymanski:
Community Detection via Maximization of Modularity and Its Variants. - Guillaume W. Basse, Edoardo M. Airoldi:
Optimal design of experiments in the presence of network-correlated outcomes. - Can M. Le, Elizaveta Levina:
Estimating the number of communities in networks by spectral methods. - Oanh Nguyen, Van Vu:
Anti-concentration for random polynomials. - Mark Huber:
Optimal linear Bernoulli factories for small mean problems. - Attila Bernáth, Gyula Pap:
Blocking unions of arborescences. - Guoyin Li, Ting Kei Pong:
Peaceman-Rachford splitting for a class of nonconvex optimization problems. - Michael Kech, Michael M. Wolf:
Quantum Tomography of Semi-Algebraic Sets with Constrained Measurements. - Michael Pinsker:
Algebraic and model theoretic methods in constraint satisfaction. - Fabio Grazioso:
Introduction to quantum information theory and outline of two applications to physics: the black hole information paradox and the renormalization group information flow. - Daqing Wan, Qiang Wang:
Index bounds for character sums with polynomials over finite fields. - Ky Khac Vu, Pierre-Louis Poirion, Leo Liberti:
Using the Johnson-Lindenstrauss lemma in linear and integer programming. - Frank D. Wood, Jan-Willem van de Meent, Vikash Mansinghka:
A New Approach to Probabilistic Programming Inference. - Makoto Yamada, Amit Goyal, Yi Chang:
Convex Factorization Machine for Regression. - Frédérique Bassino
Generic properties of subgroups of free groups and finite presentations. - Gwenaël Joret, Piotr Micek, Veit Wiechert:
Sparsity and dimension. - Derek Groen, Simon Portegies Zwart:
From Thread to Transcontinental Computer: Disturbing Lessons in Distributed Supercomputing. - Fernando Castaños, Edgar Estrada, Sabine Mondié, Adrián N. Ramírez:
Passivity-based PI control of first-order systems with I/O communication delays: A complete sigma-stability analysis. - Mahmoud El Chamie, Behçet Açikmese:
Finite-Horizon Markov Decision Processes with Sequentially-Observed Transitions. - Vaibhav Srivastava, Paul Reverdy, Naomi Ehrich Leonard:
Correlated Multiarmed Bandit Problem: Bayesian Algorithms and Regret Analysis. - Hongxing Ye, Yinyin Ge, Mohammad Shahidehpour, Zuyi Li:
Market Clearing for Uncertainty, Generation Reserve, and Transmission Reserve-Part II: Case Study. - Dane Taylor, Sean A. Myers, Aaron Clauset, Mason A. Porter, Peter J. Mucha:
Eigenvector-Based Centrality Measures for Temporal Networks. - Chong You, René Vidal:
Subspace-Sparse Representation. - Byungjoon Min, Fredrik Liljeros, Hernán A. Makse:
Finding influential spreaders from human activity beyond network location. - Alessio Emanuele Biondo, Alfio Giarlotta, Alessandro Pluchino, Andrea Rapisarda:
Perfect Information vs Random Investigation: Safety Guidelines for a Consumer in the Jungle of Product Differentiation. - Niao He, Zaïd Harchaoui:
Semi-proximal Mirror-Prox for Nonsmooth Composite Minimization. - Arkadiusz Stopczynski, Piotr Sapiezynski, Alex Pentland, Sune Lehmann:
Temporal Fidelity in Dynamic Social Networks. - Hongxing Ye, Yinyin Ge, Mohammad Shahidehpour, Zuyi Li:
Market Clearing for Uncertainty, Generation Reserve, and Transmission Reserve-Part I: Theory. - Mahmoud El Chamie, Behçet Açikmese:
Finite-Horizon Markov Decision Processes with State Constraints. - Sean Hallgren, Adam D. Smith, Fang Song:
Classical Cryptographic Protocols in a Quantum World. - Jakob Ablinger:
Discovering and Proving Infinite Binomial Sums Identities. - Georgie Knight, Giampaolo Cristadoro, Eduardo G. Altmann:
Temporal-varying failures of nodes in networks. - Kumar Sankar Ray, Mandrita Mondal:
Prediction of Radiation Fog by DNA Computing. - Anastasia Podosinnikova, Francis R. Bach, Simon Lacoste-Julien:
Rethinking LDA: moment matching for discrete ICA. - Punit Mehta, Rahul Muthu, Gaurav Patel, Om Thakkar, Devanshi Vyas:
Improved Upper Bounds on a'(G☐H). - Lucila G. Alvarez Zuzek, Camila Buono, Lidia A. Braunstein:
Epidemic spreading and immunization strategy in multiplex networks. - Bruno Gaujal, Panayotis Mertikopoulos:
A stochastic approximation algorithm for stochastic semidefinite programming. - Ali JavadiAbhari, Shruti Patil, Daniel Kudrow, Jeff Heckey, Alexey Lvov, Frederic T. Chong, Margaret Martonosi:
ScaffCC: Scalable Compilation and Analysis of Quantum Programs. - Thiago Ferreira da Silva, Gustavo C. do Amaral, Guilherme Penello Temporão, Jean Pierre von der Weid:
High-Coherence Heralded Single-Photon Source based on Two-Photon Interference. - Grégoire Montavon, Klaus-Robert Müller, Marco Cuturi:
Wasserstein Training of Boltzmann Machines. - Guus Regts:
Zero-free regions of partition functions with applications to algorithms and graph limits. - Andreas D. M. Gunawan, Bhaskar DasGupta, Louxin Zhang:
Stability Implies Computational Tractability: Locating a Tree in a Stable Network is Easy. - Marcelo Sobottka, Daniel Gonçalves:
A brief note on the definition of sliding block codes and the Curtis-Hedlund-Lyndon Theorem. - Abhishek Thakur, Artus Krohn-Grimberghe:
AutoCompete: A Framework for Machine Learning Competition. - Cecile Chenot, Jérôme Bobin, Jérémy Rapin:
Robust Sparse Blind Source Separation. - Greg Ver Steeg, Aram Galstyan:
The Information Sieve. - Chintan A. Dalal, Vladimir Pavlovic, Robert E. Kopp:
Intrinsic Non-stationary Covariance Function for Climate Modeling. - Abigail Mae C. Jayin, Rene C. Batac:
Finding trends and statistical patterns in name mentions in news. - Shay Moran, Rom Pinchasi:
Matchings vs hitting sets among half-spaces in low dimensional euclidean spaces. - Christian Y. Cardall, Reuben D. Budiardja:
GenASiS Basics: Object-oriented utilitarian functionality for large-scale physics simulations. - Jacob D. Abernethy, Elad Hazan:
Faster Convex Optimization: Simulated Annealing with an Efficient Universal Barrier. - Sébastien Bubeck, Ronen Eldan, Joseph Lehec
Sampling from a log-concave distribution with Projected Langevin Monte Carlo. - Tobias Kretz:
On Oscillations in the Social Force Model. - Vassilis Charmandaris:
Greek Astronomy PhDs: The last 200 years. - Monirehalsadat Mahmoudi, Xuesong Zhou:
Finding Optimal Solutions for Vehicle Routing Problem with Pickup and Delivery Services with Time Windows: A Dynamic Programming Approach Based on State-space-time Network Representations. - Heysem Kaya, Albert Ali Salah:
Adaptive Mixtures of Factor Analyzers. - Maria Axenovich, Torsten Ueckerdt, Pascal Weiner:
Splitting Planar Graphs of Girth 6 into Two Linear Forests with Short Paths. - Yu. L. Bolotin, V. A. Cherkaskiy:
Principle of maximum force and holographic principle: two principles or one? - Andreas B. Hempel, Paul J. Goulart, John Lygeros:
Continuous Optimality Conditions for Constrained Optimal Control of Hybrid Systems. - Jenna Birch, Athanasios A. Pantelous, Konstantin Zuev:
The Maximum Number of 3- and 4-Cliques within a Planar Maximally Filtered Graph. - S. Sarif Hassan:
Dynamics of Delay Logistic Difference Equation in the Complex Plane. - Ezio Di Costanzo, Roberto Natalini:
A hybrid mathematical model of collective motion under alignment and chemotaxis. - Yury Maximov, Daria Reshetova:
Tight Risk Bounds for Multi-Class Margin Classifiers. - Bo Tan, Zhi-Xiong Wen, Yiping Zhang:
Complexity of Substitutive Sequences - Calculation of the Complexities of Substitutive Sequences Over a Binary Alphabet. - Annie Raymond, Mohit Singh, Rekha R. Thomas:
Symmetry in Turán Sums of Squares Polynomials from Flag Algebras. - Ali Caner Türkmen:
A Review of Nonnegative Matrix Factorization Methods for Clustering. - Shinya Suzumura, Kohei Ogawa, Masashi Sugiyama, Masayuki Karasuyama, Ichiro Takeuchi:
Homotopy Continuation Approaches for Robust SV Classification and Regression. - Vivek Kandiah, H. Escaith, D. L. Shepelyansky:
Contagion effects in the world network of economic activities. - Mehdi Garrousian, Stefan O. Tohaneanu:
Minimum distance of linear codes and the α-invariant. - Victor Bapst, Amin Coja-Oghlan:
The condensation phase transition in the regular k-SAT model. - Zi-Wen Liu, Christopher Perry, Yechao Zhu, Dax Enshan Koh, Scott Aaronson:
Doubly infinite separation of quantum information and communication. - Etienne de Klerk, Frank Vallentin:
On the Turing model complexity of interior point methods for semidefinite programming. - Michael Shulman:
Idempotents in intensional type theory. - Chenmiao Wu, Li Yang:
A complete Classification of Quantum Public-key Encryption Protocols. - Elisângela Silva Dias, Diane Castonguay:
Polynomial recognition of cluster algebras of finite type. - Kaspars Balodis, Janis Iraids:
Quantum Lower Bound for Graph Collision Implies Lower Bound for Triangle Detection. - Saugata Basu, Anthony Rizzie:
Multi-degree bounds on the Betti numbers of real varieties and semi-algebraic sets and applications. - Igor V. Florinsky, A. N. Pankratov:
Digital terrain modeling with the Chebyshev polynomials. - Ivelina Momcheva, Erik J. Tollerud:
Software Use in Astronomy: an Informal Survey. - Wei Wang, Ming Tang, Hai-Feng Zhang, Ying-Cheng Lai:
Dynamics of social contagions with memory of non-redundant information. - Simpson Zhang, Mihaela van der Schaar:
Reputational Learning and Network Dynamics. - Angelo Mariano
Language discrimination and clustering via a neural network approach. - Nicos G. Pavlidis, David P. Hofmeyr, Sotiris K. Tasoulis:
Minimum Density Hyperplane: An Unsupervised and Semi-Supervised Classifier. - Attila Bernáth, Tamás Király:
Blocking optimal k-arborescences. - Jiaji Huang, Qiang Qiu, A. Robert Calderbank:
The Role of Principal Angles in Subspace Classification. - Ian Dobson:
Obtaining statistics of cascading line outages spreading in an electric transmission network from standard utility data. - Peter Franek, Marek Krcál:
Cohomotopy groups capture robust properties of zero sets. - Greg Morrison, Levi Dudte, L. Mahadevan:
Generalized Erdos Numbers for network analysis. - Pramesh Singh, Sameet Sreenivasan, Boleslaw K. Szymanski, György Korniss:
Competing Effects of Social Balance and Influence. - Dohyung Park, Joe Neeman, Jin Zhang, Sujay Sanghavi, Inderjit S. Dhillon:
Preference Completion: Large-scale Collaborative Ranking from Pairwise Comparisons. - Guilherme Ferraz de Arruda, Emanuele Cozzo, Yamir Moreno, Francisco Aparecido Rodrigues:
On degree-degree correlations in multilayer networks. - Han-Xin Yang, Ming Tang, Ying-Cheng Lai:
Traffic-driven epidemic spreading in correlated networks. - Talayeh Aledavood, Eduardo López, Sam G. B. Roberts, Felix Reed-Tsochas, Esteban Moro Egido, Robin I. M. Dunbar, Jari Saramäki:
Channel-Specific Daily Patterns in Mobile Phone Communication. - Carsten Grabow, Stefan Grosskinsky, Jürgen Kurths, Marc Timme:
Collective Relaxation Dynamics of Small-World Networks. - Jan-Willem van de Meent, David Tolpin, Brooks Paige, Frank D. Wood:
Black-Box Policy Search with Probabilistic Programs. - Reinhard Kahle, Wilfried Keller:
Syntax versus Semantics. - Luis Adrian Urtubey:
To Teach Modal Logic: An Opinionated Survey. - Alessandro Rudi, Raffaello Camoriano, Lorenzo Rosasco:
Less is More: Nyström Computational Regularization. - Amin Jalali, Lin Xiao, Maryam Fazel:
Variational Gram Functions: Convex Analysis and Optimization. - Marc Lelarge:
Counting matchings in irregular bipartite graphs. - Paul E. Smaldino, Marco A. Janssen, Vicken Hillis, Jenna Bednar:
Adoption as a Social Marker: The Diffusion of Products in a Multigroup Environment. - Stephan Mandt, Florian Wenzel, Shinichi Nakajima, John P. Cunningham, Christoph Lippert, Marius Kloft:
Sparse Estimation in a Correlated Probit Model. - Shaoshi Chen, Christoph Koutschan
Proof of the Wilf-Zeilberger Conjecture. - Gergely Tibély, Péter Pollner, Gergely Palla:
Comparing the hierarchy of author given tags and repository given tags in a large document archive. - Tobias Kretz, Jochen Lohmiller, Johannes Schlaich:
The Inflection Point of the Speed-Density Relation and the Social Force Model. - Matthias Rungger, Majid Zamani:
Compositional Construction of Approximate Abstractions of Interconnected Control Systems. - László Csató:
Ranking in Swiss system chess team tournaments. - Luís Descalço, Paula Carvalho, J. P. Cruz, Paula Oliveira, Dina Seabra:
Computer-assisted independent study in mutivariate calculus. - Sharon E. Alajajian, Jake Ryland Williams, Andrew J. Reagan, Stephen C. Alajajian, Morgan R. Frank, Lewis Mitchell, Jacob Lahne, Christopher M. Danforth, Peter Sheridan Dodds:
The Lexicocalorimeter: Gauging public health through caloric input and output on social media. - Xiao Zhang, Mark E. J. Newman:
Multiway spectral community detection in networks. - Daniel König, Markus Lohrey, Georg Zetzsche:
Knapsack and subset sum problems in nilpotent, polycyclic, and co-context-free groups. - Matej Balog, Yee Whye Teh:
The Mondrian Process for Machine Learning. - Tianbao Yang, Lijun Zhang, Qihang Lin, Rong Jin:
Fast Sparse Least-Squares Regression with Non-Asymptotic Guarantees. - Karel Klouda, Katerina Medková:
Synchronizing delay for binary uniform morphisms. - Yilong Zha, Tao Zhou, Changsong Zhou:
Unfolding large-scale online collaborative human dynamics. - Muhammad Bilal Zafar, Isabel Valera, Manuel Gomez-Rodriguez, Krishna P. Gummadi:
Fairness Constraints: A Mechanism for Fair Classification. - Anderson Y. Zhang, Harrison H. Zhou:
Minimax Rates of Community Detection in Stochastic Block Models. - Gábor Hegedüs, Zijia Li, Josef Schicho, Hans-Peter Schröcker:
From the Fundamental Theorem of Algebra to Kempe's Universality Theorem. - Justin Bayer, Maximilian Karl
Fast Adaptive Weight Noise. - Ingrid Daubechies, Yi Wang, Hau-Tieng Wu:
ConceFT: Concentration of Frequency and Time via a multitapered synchrosqueezed transform. - Yu-Ting Lin, Patrick Flandrin, Hau-Tieng Wu:
Interpolation-induced reflection artifact in the reassignment technique - with anesthesia example. - Tom Rainforth, Frank D. Wood:
Canonical Correlation Forests. - Aaron Sim, Sophia N. Yaliraki, Mauricio Barahona
Great cities look small. - Pierre Lairez:
A deterministic algorithm to compute approximate roots of polynomial systems in polynomial average time. - Alexander Jung, Yonina C. Eldar, Norbert Görtz:
On the Minimax Risk of Dictionary Learning. - Jun Liu, Andrew R. Teel:
Lyapunov-based sufficient conditions for stability of hybrid systems with memory. - Richard Obermeier, José Ángel Martínez Lorenzo:
Model-based Optimization of Compressive Antennas for High Sensing-Capacity Applications. - Xiaofan Liu, Chi Kong Tse:
A General Framework for Complex Network Applications. - David M. Budden, Edmund J. Crampin:
Gene expression modelling across multiple cell-lines with MapReduce. - Prateek Jain, Chi Jin, Sham M. Kakade, Praneeth Netrapalli:
Computing Matrix Squareroot via Non Convex Local Search. - Ernesto Estrada, Eusebio Vargas-Estrada, Hiroyasu Ando:
Communicability Angles Reveal Critical Edges for Network Consensus Dynamics. - Siu On Chan, Dimitris S. Papailiopoulos, Aviad Rubinstein:
On the Worst-Case Approximability of Sparse PCA. - Richard A. B. Johnson, Gábor Mészáros:
Sorting using non-binary comparisons. - Yuchao Tang, Zhenggang Wu, Chuanxi Zhu:
An improved strategy for solving Sudoku by sparse optimization methods. - Brian Donovan, Daniel B. Work:
Using coarse GPS data to quantify city-scale transportation system resilience to extreme events. - Cosmo Lupo, Mark M. Wilde, Seth Lloyd:
Quantum data hiding in the presence of noise. - Han Xiao:
On Kernel Mengerian Orientations of Line Multigraphs. - Reshad Hosseini, Mohamadreza Mash'al:
MixEst: An Estimation Toolbox for Mixture Models. - Henk Don:
The Cerny conjecture and (n-1)-Hamiltonian automata. - Javier Borge-Holthoefer, Nicola Perra, Bruno Gonçalves, Sandra González-Bailón, Alex Arenas, Yamir Moreno, Alessandro Vespignani:
The dynamic of information-driven coordination phenomena: a transfer entropy analysis. - Hans-Jürgen Bandelt, Victor Chepoi
COMs: Complexes of Oriented Matroids. - Julio Aracena, Adrien Richard, Lilian Salinas:
Fixed points in conjunctive networks and maximal independent sets in graph contractions. - Amir Averbuch, Gil Shabat, Yoel Shkolnisky:
Direct Inversion of the 3D Pseudo-polar Fourier Transform. - Jun Liu, Andrew R. Teel:
Hybrid systems with memory: Existence of generalized solutions and well-posedness. - Sebastian M. Cioaba, Jack H. Koolen, Weiqiang Li:
Max-cut and extendability of matchings in distance-regular graphs. - Oliver Johnson:
A discrete log-Sobolev inequality under a Bakry-Emery type condition. - Robert Mattila, Cristian R. Rojas, Bo Wahlberg:
Evaluation of Spectral Learning for the Identification of Hidden Markov Models. - David Choi:
Co-clustering of Nonsmooth Graphons. - Olivier François:
Arbitrariness of peer review: A Bayesian analysis of the NIPS experiment. - Robin Devooght, Nicolas Kourtellis, Amin Mantrach:
Dynamic Matrix Factorization with Priors on Unknown Values. - Takayuki Mizuno, Takaaki Ohnishi, Tsutomu Watanabe:
Novel and topical business news and their impact on stock market activities. - Xavier Caruso:
Resultants and subresultants of p-adic polynomials. - Stefano Nicotri, Eufemia Tinelli, Nicola Amoroso, Elena Garuccio, Roberto Bellotti:
Complex networks and public funding: the case of the 2007-2013 Italian program. - Yury A. Malkov:
Growing homophilic networks are natural optimal navigable small worlds. - Sébastien Bubeck, Ronen Eldan:
Multi-scale exploration of convex functions and bandit convex optimization. - Alonso Sepúlveda, Guilherme C. Tizziotti:
Two-point AG codes on the GK maximal curves. - Hongbo Li, Lei Huang, Changpeng Shao, Lei Dong:
Three-Dimensional Projective Geometry with Geometric Algebra. - Bubacarr Bah, Rachel A. Ward:
The sample complexity of weighted sparse approximation. - Manabu Iwata, Eizo Akiyama:
Heterogeneity of link weight and the evolution of cooperation. - Rina Okada, Kazuto Fukuchi, Kazuya Kakizaki, Jun Sakuma:
Differentially Private Analysis of Outliers. - Emily Abernethy Marshall, Liana Yepremyan, Zach Gaslowitz:
The Characterization of planar, 4-connected, K_{2, 5}-minor-free graphs. - Jesse H. Krijthe, Marco Loog:
Implicitly Constrained Semi-Supervised Least Squares Classification. - François Le Gall, Shogo Nakajima:
Quantum Algorithm for Triangle Finding in Sparse Graphs. - Horia Mania, Xinghao Pan, Dimitris S. Papailiopoulos, Benjamin Recht, Kannan Ramchandran, Michael I. Jordan:
Perturbed Iterate Analysis for Asynchronous Stochastic Optimization. - Satyanarayana G. Manyam, Sivakumar Rathinam, David W. Casbeer, Eloy García:
Shortest Paths of Bounded Curvature for the Dubins Interval Problem. - Helena Sofia Rodrigues, Manuel José Serra da Fonseca:
Viral marketing as epidemiological model. - Carlos Fernandez-Granda:
Super-Resolution of Point Sources via Convex Programming. - Anirban Pal, Abhishek Agarwala, Soumyendu Raha, Baidurya Bhattacharya:
Performance metrics in a hybrid MPI-OpenMP based molecular dynamics simulation with short-range interactions. - Reinhard Heckel, Michael Tschannen, Helmut Bölcskei:
Dimensionality-reduced subspace clustering. - Mario Vincenzo Tomasello, Claudio Juan Tessone, Frank Schweitzer:
Quantifying knowledge exchange in R&D networks: a data-driven model. - Daoyi Dong, Mohamed A. Mabrok, Ian R. Petersen, Bo Qi, Chunlin Chen, Herschel Rabitz:
Sampling-based Learning Control for Quantum Systems with Uncertainties. - Xiaofei Liu, Sérgio Daniel Pequito, Soummya Kar
Minimum Sensor Placement for Robust Observability of Structured Complex Networks. - Sérgio Daniel Pequito, George J. Pappas:
Structural Minimum Controllability Problem for Linear Continuous-Time Switching Systems. - Hassan A. Kingravi, Patricio A. Vela, Alexandar Gray:
Reduced-Set Kernel Principal Components Analysis for Improving the Training and Execution Speed of Kernel Machines. - Maksim Kitsak, Ahmed Elmokashfi, Shlomo Havlin, Dmitri V. Krioukov:
Long-Range Correlations and Memory in the Dynamics of Internet Interdomain Routing. - Tim Oosterwijk:
On local search and LP and SDP relaxations for k-Set Packing. - David A. Meyer, Asif Shakeel:
Estimating an Activity Driven Hidden Markov Model. - Jason D. Lee, Tengyu Ma, Qihang Lin:
Distributed Stochastic Variance Reduced Gradient Methods. - Kenneth Lange, Kevin L. Keys:
The proximal distance algorithm. - Guglielmo Lunardon, Rocco Trombetti, Yue Zhou:
Generalized Twisted Gabidulin Codes. - Samuel Rönnqvist, Peter Sarlin:
Detect & Describe: Deep learning of bank stress in the news. - John Pothier, Josh Girson, Shuchin Aeron:
An algorithm for online tensor prediction. - Fabrizio Dabbene, Didier Henrion
Randomized Approximations of the Image Set of Nonlinear Mappings with Applications to Filtering. - Noela S. Müller, Ralph Neininger:
The CLT Analogue for Cyclic Urns. - Teng Qiu, Yongjie Li:
IT-Dendrogram: A New Member of the In-Tree (IT) Clustering Family. - Jeremy Nicholson, Narad Rampersad:
Non-repetitive complexity of infinite words. - Clemens Puppe, Arkadii M. Slinko:
Condorcet Domains, Median Graphs and the Single Crossing Property. - Lilla Tóthmérész:
Algorithmic aspects of rotor-routing and the notion of linear equivalence. - Torrin M. Liddell, Simon DeDeo:
Common Knowledge on Networks. - Vedran Dunjko, Jacob M. Taylor, Hans J. Briegel:
Framework for learning agents in quantum environments. - William I. Gasarch:
Which Unbounded Protocol for Envy Free Cake Cutting is Better? - Giulia Bianco, Elisa Gorla:
Compression for trace zero points on twisted Edwards curves. - MirSaleh Bahavarnia:
Sparse Linear-Quadratic Feedback Design Using Affine Approximation. - Giulio Cimini, Andrea Zaccaria, Andrea Gabrielli:
Investigating the interplay between fundamentals of national research systems: performance, investments and international collaborations. - Talayeh Aledavood, Sune Lehmann, Jari Saramäki:
On the Digital Daily Cycles of Individuals. - Rico Fischer, Jorge C. Leitao, Tiago P. Peixoto, Eduardo G. Altmann:
Sampling motif-constrained ensembles of networks. - Adam S. Jobson, Levi Sledd, Susan C. White, D. Jacob Wildstrom:
Variations on Narrow Dots-and-Boxes and Dots-and-Triangles. - Stephen G. Odaibo:
A Sinc Wavelet Describes the Receptive Fields of Neurons in the Motion Cortex. - Kim Batselier, Ngai Wong:
A constructive arbitrary-degree Kronecker product decomposition of tensors. - Marina Diakonova, Vincenzo Nicosia, Vito Latora, Maxi San Miguel:
Irreducibility of multilayer network dynamics: the case of the voter model. - Andreas J. Winter:
Tight uniform continuity bounds for quantum entropies: conditional entropy, relative entropy distance and energy constraints. - Guanghui Lan, Yi Zhou:
An optimal randomized incremental gradient method. - Cristian B. Czegledi, Magnus Karlsson, Erik Agrell, Pontus Johannisson:
Polarization Drift Channel Model for Coherent Fibre-Optic Systems. - Jelena Bradic:
Robustness in sparse linear models: relative efficiency based on robust approximate message passing. - Jan A. Bergstra, Inge Bethke:
A negative result on algebraic specifications of the meadow of rational numbers. - Tim N. Palmer
Invariant Set Theory: Violating Measurement Independence without Fine Tuning, Conspiracy, Constraints on Free Will or Retrocausality. 285-294 - Miriam Backens
Making the stabilizer ZX-calculus complete for scalars. 17-32 - Howard Barnum
Some Nearly Quantum Theories. 59-70
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-31 20:05 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: