


default search action
CoRR, July 2016
- Tal Hadad:

Review Based Rating Prediction. - Alexandra Birch, Barry Haddow, Ondrej Bojar, Omri Abend:

HUME: Human UCCA-Based Evaluation of Machine Translation. - Çaglar Gülçehre, Sarath Chandar, Kyunghyun Cho, Yoshua Bengio:

Dynamic Neural Turing Machine with Soft and Hard Addressing Schemes. - Alireza Dirafzoon, Alper Bozkurt, Edgar J. Lobaton:

Geometric Learning and Topological Inference with Biobotic Networks: Convergence Analysis. - I. Dan Melamed, Nobal B. Niraula:

Towards A Virtual Assistant That Can Be Taught New Tasks In Any Domain By Its End-Users. - Yongming Shen, Michael Ferdman, Peter A. Milder:

Maximizing CNN Accelerator Efficiency Through Resource Partitioning. - Fariba Yousefi, Zhenwen Dai, Carl Henrik Ek, Neil D. Lawrence

:
Unsupervised Learning with Imbalanced Data via Structure Consolidation Latent Variable Model. - Layla El Asri, Jing He, Kaheer Suleman:

A Sequence-to-Sequence Model for User Simulation in Spoken Dialogue Systems. - Miao Cheng:

Fractal Dimension Pattern Based Multiresolution Analysis for Rough Estimator of Person-Dependent Audio Emotion Recognition. - Fuchun Lin, Reihaneh Safavi-Naini, Pengwei Wang:

Detecting Algebraic Manipulation in Leaky Storage Systems. - Johann Schlamp, Ralph Holz, Quentin Jacquemart, Georg Carle, Ernst W. Biersack:

HEAP: Reliable Assessment of BGP Hijacking Attacks. - Hing Leung:

A note on extended Euclid's algorithm. - Iman Al-Odah, Jennifer Neville:

Combining Gradient Boosting Machines with Collective Inference to Predict Continuous Values. - Andreas Haslebacher, Jeremiah Onaolapo, Gianluca Stringhini:

All Your Cards Are Belong To Us: Understanding Online Carding Forums. - Heechul Jung, Jeongwoo Ju, Minju Jung, Junmo Kim:

Less-forgetting Learning in Deep Neural Networks. - Kim Batselier, Zhongming Chen, Ngai Wong:

Tensor Train alternating linear scheme for MIMO Volterra system identification. - Collins Leke, Tshilidzi Marwala:

Missing Data Estimation in High-Dimensional Datasets: A Swarm Intelligence-Deep Neural Network Approach. - Chunlei Peng, Xinbo Gao, Nannan Wang, Jie Li:

Sparse Graphical Representation based Discriminant Analysis for Heterogeneous Face Recognition. - Tobias Marschall, Noemi E. Passing:

Representing Pattern Matching Algorithms by Polynomial-Size Automata. - Mike Thelwall

:
TensiStrength: Stress and relaxation magnitude detection for social media texts. - Shichao Liu, Thomas Ehrhard, Ying Jiang:

A Fully Abstract Semantics for Value-passing CCS for Trees. - Paul Springer, Paolo Bientinesi:

Design of a high-performance GEMM-like Tensor-Tensor Multiplication. - Kush Bhatia, Prateek Jain, Parameswaran Kamalaruban, Purushottam Kar:

Efficient and Consistent Robust Time Series Analysis. - Pankaj Malhotra, Anusha Ramakrishnan, Gaurangi Anand, Lovekesh Vig, Puneet Agarwal, Gautam Shroff:

LSTM-based Encoder-Decoder for Multi-sensor Anomaly Detection. - Alessandro Di Giorgio, Francesco Liberati, Roberto Germanà, Marco Presciuttini, Lorenzo Ricciardi Celsi, Francesco Delli Priscoli:

On the Control of Energy Storage Systems for Electric Vehicles Fast Charging in Service Areas. - João Oliveira, Mike Pinto, Pedro Saleiro, Jorge Teixeira:

SentiBubbles: Topic Modeling and Sentiment Visualization of Entity-centric Tweets. - Giacomo Brambilla, Michele Amoretti, Francesco Zanichelli:

Using Block Chain for Peer-to-Peer Proof-of-Location. - Alexandra Carpen-Amarie, Sascha Hunold, Jesper Larsson Träff:

MPI Derived Datatypes: Performance Expectations and Status Quo. - Tulika Agrawal, Samar Agnihotri:

Network Simplification for Secure AF Relaying. - David M. W. Powers:

Throwing fuel on the embers: Probability or Dichotomy, Cognitive or Linguistic? - Rudramurthy V, Mitesh M. Khapra, Pushpak Bhattacharyya:

Sharing Network Parameters for Crosslingual Named Entity Recognition. - T. Hema, K. S. Easwarakumar:

An Optimal Algorithm for Range Search on Multidimensional Points. - Nicolas Epain, Craig T. Jin:

Spherical Harmonic Signal Covariance and Sound Field Diffuseness. - Claudio Gennaro:

Memory Based Collaborative Filtering with Lucene. - Stéphan Tulkens, Chris Emmery

, Walter Daelemans:
Evaluating Unsupervised Dutch Word Embeddings as a Linguistic Resource. - George R. MacCartney Jr., Sijia Deng, Shu Sun, Theodore S. Rappaport:

Millimeter-Wave Human Blockage at 73 GHz with a Simple Double Knife-Edge Diffraction Model and Extension for Directional Antennas. - Florentin Smarandache

:
Neutrosophic Overset, Neutrosophic Underset, and Neutrosophic Offset. Similarly for Neutrosophic Over-/Under-/Off- Logic, Probability, and Statistics. - Simon R. Blackburn, Tuvi Etzion:

PIR Array Codes with Optimal PIR Rate. - Mikhail A. Raskin:

A linear lower bound for incrementing a space-optimal integer representation in the bit-probe model. - Ying Sun, Gesualdo Scutari, Daniel P. Palomar:

Distributed Nonconvex Multiagent Optimization Over Time-Varying Networks. - Nathanaël Fijalkow:

Lower Bounds for Alternating Online Space Complexity. - Dixita Limbachiya, Bansari Rao, Manish K. Gupta:

The Art of DNA Strings: Sixteen Years of DNA Coding Theory. - Gustavo Carneiro, Luke Oakden-Rayner, Andrew P. Bradley, Jacinto C. Nascimento, Lyle J. Palmer:

Automated 5-year Mortality Prediction using Deep Learning and Radiomics Features from Chest Computed Tomography. - Zheng Wang:

Does Your DNS Recursion Really Time Out as Intended? A Timeout Vulnerability of DNS Recursive Servers. - Pablo F. Alcantarilla, Oliver J. Woodford:

Noise Models in Feature-based Stereo Visual Odometry. - Steven Chaplick, Fabian Lipp, Ji-won Park, Alexander Wolff:

Obstructing Visibilities with One Obstacle. - Devin Matthews:

High-Performance Tensor Contraction without BLAS. - Christoph Lenzen, Roger Wattenhofer:

CLEX: Yet Another Supercomputer Architecture? - Kevin Atighehchi:

Optimal Tree Hash Modes: the Case of Trees Having their Leaves at All the Levels. - Eran Treister, Javier S. Turek, Irad Yavneh:

A multilevel framework for sparse optimization with application to inverse covariance estimation and logistic regression. - Larry Bull:

The Evolution of Sex through the Baldwin Effect. - Tobias Hoßfeld, Poul E. Heegaard, Martín Varela, Sebastian Möller:

Formal Definition of QoE Metrics. - Dong Yu, Morten Kolbæk, Zheng-Hua Tan, Jesper Jensen:

Permutation Invariant Training of Deep Models for Speaker-Independent Multi-talker Speech Separation. - Antonious M. Girgis, Amr El-Keyi, Mohammed Nafie, Ramy H. Gohary:

Proactive Location-Based Scheduling of Delay-Constrained Traffic Over Fading Channels. - Ghada Zamzmi, Chih-Yun Pai, Dmitry B. Goldgof, Rangachar Kasturi, Yu Sun, Terri Ashmeade:

Machine-based Multimodal Pain Assessment Tool for Infants: A Review. - Francesco Riccio, Roberto Capobianco, Marc Hanheide, Daniele Nardi:

STAM: A Framework for Spatio-Temporal Affordance Maps. - T. S. Jayram, Erdal Arikan:

A note on some inequalities used in channel polarization and polar coding. - Fabian Steiner, Patrick Schulte:

Design of Robust, Protograph Based LDPC Codes for Rate-Adaptation via Probabilistic Shaping. - Sébastien Gagnon, Jean Rouat:

Moving Toward High Precision Dynamical Modelling in Hidden Markov Models. - Richard Nock, Aditya Krishna Menon, Cheng Soon Ong:

A scaled Bregman theorem with applications. - Lubos Korenciak, Antonín Kucera, Vojtech Rehák:

Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration. - Michal Nowotka, George Papadatos, Mark Davies, Nathan Dedman, Anne Hersey:

Want Drugs? Use Python. - Peadar Coyle:

Probabilistic Programming and PyMC3. - Ling He, Lee Murphy, Jiebo Luo:

Using Social Media to Promote STEM Education: Matching College Students with Role Models. - Yusuke Watanabe, Kazuma Hashimoto, Yoshimasa Tsuruoka:

Domain Adaptation for Neural Networks by Parameter Augmentation. - Abir Das, Rameswar Panda, Amit K. Roy-Chowdhury:

Continuous Adaptation of Multi-Camera Person Identification Models through Sparse Non-redundant Representative Selection. - Johnnatan Messias, Fabrício Benevenuto, Ingmar Weber, Emilio Zagheni:

From Migration Corridors to Clusters: The Value of Google+ Data for Migration Studies. - Dileep Viswanathan, Ameet Soni, Jude W. Shavlik, Sriraam Natarajan:

Learning Relational Dependency Networks for Relation Extraction. - Haley Garrison, Sonia Chernova:

Situated Structure Learning of a Bayesian Logic Network for Commonsense Reasoning. - Nicholas R. Radcliffe, Luis F. T. Moraes, Rakesh M. Verma:

Uniqueness of Normal Forms for Shallow Term Rewrite Systems. - Guangmo Tong, Lei Cui, Weili Wu, Cong Liu, Ding-Zhu Du:

Terminal-Set-Enhanced Community Detection in Social Networks. - Yongqiang Huang, Yu Sun:

Datasets on object manipulation and interaction: a survey. - Toniann Pitassi, Iddo Tzameret:

Algebraic Proof Complexity: Progress, Frontiers and Challenges. - Martha White, Adam White:

A Greedy Approach to Adapting the Trace Parameter for Temporal Difference Learning. - Ehsan Hosseini-Asl, Robert Keynton, Ayman El-Baz:

Alzheimer's Disease Diagnostics by Adaptation of 3D Convolutional Network. - Le Dong, Xiuyuan Chen, Mengdie Mao, Qianni Zhang:

NIST: An Image Classification Network to Image Semantic Retrieval. - Parsa Bagherzadeh, Hadi Sadoghi Yazdi:

Outlier absorbing based on a Bayesian approach. - Amr Abdelaziz, Can Emre Koksal, Hesham El Gamal:

On The Security of AoA Estimation. - Georges Younes, Daniel C. Asmar, Elie A. Shammas:

A survey on non-filter-based monocular Visual SLAM systems. - Shobeir Fakhraei, Dhanya Sridhar, Jay Pujara, Lise Getoor:

Adaptive Neighborhood Graph Construction for Inference in Multi-Relational Networks. - Manuel Mazzara, Cliff B. Jones, Alexei Iliasov:

Lessons from DEPLOYment. - Saieed Akbari, Hadi Alizadeh, Tínaz Ekim, Didem Gözüpek, Mordechai Shalom:

Equimatchable Claw-Free Graphs. - Juan Carlos Polanco Aguilar, Koji Hasebe, Manuel Mazzara, Kazuhiko Kato:

Model Checking of BPMN Models for Reconfigurable Workflows. - Anindya Gupta, B. Sundar Rajan:

Scalar Solvability of Network Computation Problems and Representable Matroids. - Hadi Zayyani, Farzan Haddadi, Mehdi Korki:

Double-detector for Sparse Signal Detection from One Bit Compressed Sensing Measurements. - Wonsuk Choi, Hyo Jin Jo, Samuel Woo, Ji Young Chun, Jooyoung Park, Dong Hoon Lee:

Identifying ECUs Using Inimitable Characteristics of Signals in Controller Area Networks. - Jihong Park, Mehdi Bennis, Seong-Lyun Kim, Mérouane Debbah:

Spatio-Temporal Network Dynamics Framework for Energy-Efficient Ultra-Dense Cellular Networks. - Le Dong, Na Lv, Qianni Zhang, Shanshan Xie, Ling He, Mengdie Mao:

A Distributed Deep Representation Learning Model for Big Image Data Classification. - Arkadii G. D'yachkov, Ilya V. Vorobyev, N. A. Polyanskii, Vladislav Yu. Shchukin:

Threshold Decoding for Disjunctive Group Testing. - Arkadii G. D'yachkov, Ilya V. Vorobyev, N. A. Polyanskii, Vladislav Yu. Shchukin:

Adaptive Learning a Hidden Hypergraph. - Evangelos Psomakelis, Fotis Aisopos, Antonios Litke, Konstantinos Tserpes, Magdalini Kardara, Pablo Martínez Campo:

Big IoT and social networking data for smart cities: Algorithmic improvements on Big Data Analysis in the context of RADICAL city applications. - Jie Xu, Lingjie Duan, Rui Zhang:

Harnessing Self-Interference in Full-Duplex Relaying: An Analog Filter-and-Forward Approach. - Arkadii G. D'yachkov, Ilya V. Vorobyev, N. A. Polyanskii, Vladislav Yu. Shchukin:

On a Hypergraph Approach to Multistage Group Testing Problems. - Nicolò Colombo, Nikos Vlassis:

Approximate Joint Matrix Triangularization. - Jiachun Liao, Lalitha Sankar, Vincent Y. F. Tan, Flávio P. Calmon:

Hypothesis Testing in the High Privacy Limit. - Hendrik Heuer

:
Text comparison using word vector representations and dimensionality reduction. - Jiawei Zhang, Xiangnan Kong, Philip S. Yu:

Badge System Analysis and Design. - Jin Akiyama, Stefan Langerman, Kiyoko Matsunaga:

Reversible Nets of Polyhedra. - Jiawei Zhang, Senzhang Wang, Qianyi Zhan, Philip S. Yu:

Intertwined Viral Marketing through Online Social Networks. - Max H. Quinn, Anthony D. Rhodes, Melanie Mitchell:

Active Object Localization in Visual Situations. - Aolin Xu, Maxim Raginsky:

Information-Theoretic Lower Bounds on Bayes Risk in Decentralized Estimation. - Eugenija A. Bondar, Mikhail V. Volkov:

Completely Reachable Automata. - Ehsan Hosseini-Asl, Georgy L. Gimel'farb, Ayman El-Baz:

Alzheimer's Disease Diagnostics by a Deeply Supervised Adaptable 3D Convolutional Network. - Bradley Woosley, Prithviraj Dasgupta:

Integrated Task and Motion Planning for Multiple Robots under Path and Communication Uncertainties. - Cedric De Boom, Steven Van Canneyt, Thomas Demeester, Bart Dhoedt:

Representation learning for very short texts using weighted word embedding aggregation. - Jie Gong, Sheng Zhou, Zhenyu Zhou:

Networked MIMO with Fractional Joint Transmission in Energy Harvesting Systems. - Le Dong, Zhiyu Lin, Yan Liang, Ling He, Ning Zhang, Qi Chen, Xiaochun Cao, Ebroul Izquierdo:

A Hierarchical Distributed Processing Framework for Big Image Data. - Heeyoul Choi, Kyunghyun Cho, Yoshua Bengio:

Context-Dependent Word Representation for Neural Machine Translation. - Qi Dou, Hao Chen, Yueming Jin, Lequan Yu, Jing Qin, Pheng-Ann Heng:

3D Deeply Supervised Network for Automatic Liver Segmentation from CT Volumes. - Naima Kaabouch, Aparna Dhirde, Saleh Faruque:

Improvement of the Orthogonal Code Convolution Capabilities Using FPGA Implementation. - Naima Kaabouch, Richard R. Schultz, Barry Milavetz, Lata Balakrishnan:

An Analysis System for DNA Gel Electrophoresis Images Based on Automatic Thresholding an Enhancement. - Sriram Subramaniam, Hector Reyes, Naima Kaabouch:

Spectrum Occupancy Measurement: An Autocorrelation based Scanning Technique using USRP. - Hector Reyes, Sriram Subramaniam, Naima Kaabouch:

A Bayesian Network Model of the Bit Error Rate for Cognitive Radio Networks. - Naima Kaabouch, Hamid Reza Shahbazkia:

Automatic Techniques for Gridding cDNA Microarray Images. - Datong Zhou, Maximilian Balandat, Claire J. Tomlin:

Residential Demand Response Targeting Using Machine Learning with Observational Data. - Ehab Salahat:

On the Performance of DCSK MIMO Relay Cooperative Diversity in Nakagami-m and Generalized Gaussian Noise Scenarios. - Yuzhuo Ren, Chen Chen, Shangwen Li, C.-C. Jay Kuo:

A Coarse-to-Fine Indoor Layout Estimation (CFILE) Method. - Timotheos Aslanidis, Leonidas Tsepenekas:

Message Routing in Wireless and Mobile Networks using TDMA Technology. - Asef Pourmasoumi, Ebrahim Bagheri:

Business Process Mining. - Kaveh Hassani

, Won-Sook Lee:
Visualizing Natural Language Descriptions: A Survey. - Keehang Kwon:

Exception Handling in Logic Programming. - Ahmad A. Masoud:

Nearest Neighbor-based Rendezvous for Sparsely Connected Mobile Agents. - Shenglin Zhao, Irwin King, Michael R. Lyu:

A Survey of Point-of-interest Recommendation in Location-based Social Networks. - Marion Weinzierl, Tobias Weinzierl:

Algebraic-geometric matrix-free multigrid on dynamically adaptive Cartesian meshes. - Aditya Grover, Jure Leskovec:

node2vec: Scalable Feature Learning for Networks. - Erfan Zamanian, Carsten Binnig, Tim Kraska, Tim Harris:

The End of a Myth: Distributed Transactions Can Scale. - Gavin Rens, Deshendran Moodley:

A Hybrid POMDP-BDI Agent Architecture with Online Stochastic Planning and Plan Caching. - Boris Brimkov:

Complexity and Computation of Connected Zero Forcing. - Kha Gia Quach, Chi Nhan Duong, Khoa Luu

, Tien D. Bui:
Robust Deep Appearance Models. - Danilo Jimenez Rezende, S. M. Ali Eslami, Shakir Mohamed, Peter W. Battaglia, Max Jaderberg, Nicolas Heess:

Unsupervised Learning of 3D Structure from Images. - Sai Zhang, Mingu Kang, Charbel Sakr, Naresh R. Shanbhag:

Reducing the Energy Cost of Inference via In-sensor Information Processing. - Christophe Schülke:

Statistical physics of linear and bilinear inference problems. - Tomás Brázdil, Antonín Kucera, Petr Novotný:

Optimizing the Expected Mean Payoff in Energy Markov Decision Processes. - Víctor Sánchez-Anguix, Reyhan Aydogan, Tim Baarslag, Catholijn M. Jonker:

Can we reach Pareto optimal outcomes using bottom-up approaches? - Antonious M. Girgis, Amr El-Keyi, Mohammed Nafie:

Optimal Energy Allocation For Delay-Constrained Traffic Over Fading Multiple Access Channels. - Gaoying Ju, Yongkun Li, Yinlong Xu, Jiqiang Chen, John C. S. Lui:

Stochastic Modeling of Hybrid Cache Systems. - Davide Aversa, Sebastian Sardiña, Stavros Vassos:

Path planning with Inventory-driven Jump-Point-Search. - Minsoo Kim, Moirangthem Dennis Singh, Minho Lee:

Towards Abstraction from Extraction: Multiple Timescale Gated Recurrent Unit for Summarization. - Gaipeng Kong, Le Dong, Wenpu Dong, Liang Zheng, Qi Tian:

Coarse2Fine: Two-Layer Fusion For Image Retrieval. - Nikhil Kumar, Ruocheng Guo, Ashkan Aleali, Paulo Shakarian:

An Empirical Evaluation Of Social Influence Metrics. - Mohammed Shafiul Alam Khan, Chris J. Mitchell:

Retrofitting mutual authentication to GSM using RAND hijacking. - Jun Li, Reinhard Klein, Angela Yao:

Learning Fine-Scaled Depth Maps from Single RGB Images. - Evyatar Hemo, Yuval Cassuto:

A Constraint Scheme for Correcting Asymmetric Magnitude-1 Errors in q-ary Channels. - Kaveh Hassani

, Won-Sook Lee:
Multi-Objective Design of State Feedback Controllers Using Reinforced Quantum-Behaved Particle Swarm Optimization. - Andrea Detti, Nicola Blefari-Melazzi, Michele Orrù, Riccardo Paolillo, Giulio Rossi:

OpenGeoBase: Information Centric Networking meets Spatial Database applications. - Mingzhe Chen, Walid Saad, Changchuan Yin, Mérouane Debbah:

Echo State Networks for Proactive Caching in Cloud-Based Radio Access Networks with Mobile Users. - Malik Imran Daud, David Sánchez, Alexandre Viejo:

Privacy-driven Access Control in Social Networks by Means of Automatic Semantic Annotation. - Marcin Pietron, Maciej Wielgosz

, Kazimierz Wiatr:
Formal analysis of HTM Spatial Pooler performance under predefined operation conditions. - Lei Liu, Chau Yuen, Yong Liang Guan, Ying Li, Chongwen Huang:

Gaussian Message Passing Iterative Detection for MIMO-NOMA Systems with Massive Access. - Martin Lazarov, Jeremiah Onaolapo, Gianluca Stringhini:

Honey Sheets: What Happens to Leaked Google Spreadsheets? - Debayan Ganguly, Kumar Sankar Ray:

2-tape 1-way Quantum Finite State Automata. - Antoine Amarilli, Michael Benedikt, Pierre Bourhis, Michael Vanden Boom:

Query Answering with Transitive and Linear-Ordered Data. - Laurent Jacques, Valerio Cambareri:

Time for dithering: fast and quantized random embeddings via the restricted isometry property. - Sylwia Polberg:

Understanding the Abstract Dialectical Framework (Preliminary Report). - Stefan Richthofer:

Garbage Collection in JyNI - How to bridge Mark/Sweep and Reference Counting GC. - Stavros D. Nikolopoulos, Iosif Polenakis:

Preventing Malware Pandemics in Mobile Devices by Establishing Response-time Bounds. - Michael Klemm, Freddie D. Witherden, Peter E. Vincent:

Using the pyMIC Offload Module in PyFR. - Majdi Khalid, Indrakshi Ray, Hamidreza Chitsaz:

Confidence-Weighted Bipartite Ranking. - Mikael Mortensen:

Massively parallel implementation in Python of a pseudo-spectral DNS code for turbulent flows. - Tianqing Zhou:

Joint User Association and Power Control for Load Balancing in Downlink Heterogeneous Cellular Networks. - Thomas Rothvoss:

Lecture Notes on the ARV Algorithm for Sparsest Cut. - Sepideh Alassi, Bertram Winter:

PyCells for an Open Semiconductor Industry. - Przemyslaw Blaskiewicz, Jacek Cichon, Jakub Lemiesz, Miroslaw Kutylowski, Marcin Zawada

, Szymon Stefanski, Krzysztof Chrobak:
λ-persistant CSMA: a radio-channel access protocol. - Przemyslaw Blaskiewicz, Jacek Cichon, Jakub Lemiesz, Miroslaw Kutylowski, Marcin Zawada

:
One- and Multi-Pass Long-Hop Routing for Wireless Network. - Przemyslaw Blaskiewicz, Jacek Cichon, Jakub Lemiesz, Miroslaw Kutylowski, Marcin Zawada

, Krystyna Napierala, Michal Panek, Stanislaw Strzyz:
A Jamming-Resilient MAC-layer Device Identification for Internet of Things. - Mehdi Molkaraie:

An Importance Sampling Algorithm for Models with Weak Couplings. - Claudia D'Ambrosio, Ky Khac Vu, Carlile Lavor, Leo Liberti, Nelson Maculan:

New error measures and methods for realizing protein graphs from distance data. - Vinu E. V, Tahani Alsubait, P. Sreenivasa Kumar:

Modeling of Item-Difficulty for Ontology-based MCQs. - Patrick O. Glauner, Jorge Augusto Meira, Lautaro Dolberg, Radu State, Franck Bettinger, Yves Rangoni, Diogo Duarte:

Neighborhood Features Help Detecting Electricity Theft in Big Data Sets. - Dmytro V. Lande, V. A. Dodonov, T. V. Kovalenko:

Corporate system of monitoring network informational resources based on agent-based approach. - Amina Piemontese, Alexandre Graell i Amat:

MDS-Coded Distributed Storage for Low Delay Wireless Content Delivery. - Ilya V. Otpuschennikov, Alexander A. Semenov, Irina Gribanova, Oleg Zaikin, Stepan Kochemazov:

Encoding Cryptographic Functions to SAT Using Transalg System. - Lutz Bornmann, Robin Haunschild:

Citation score normalized by cited references (CSNCR): The introduction of a new citation impact indicator. - Ralf Ramsauer, Daniel Lohmann, Wolfgang Mauerer:

Observing Custom Software Modifications: A Quantitative Approach of Tracking the Evolution of Patch Stacks. - Manuel Alfonseca, Manuel Cebrián, Antonio Fernández Anta, Lorenzo Coviello, Andrés Abeliuk, Iyad Rahwan:

Superintelligence cannot be contained: Lessons from Computability Theory. - Vahid Aref, Narayanan Rengaswamy

, Laurent Schmalen:
Spatially Coupled LDPC Codes Affected by a Single Random Burst of Erasures. - Joey Eremondi, Oscar H. Ibarra, Ian McQuillan:

Deletion Operations on Deterministic Families of Automata. - Kenza Hamidouche, Walid Saad, Mérouane Debbah:

A Multi-Game Framework for Harmonized LTE-U and WiFi Coexistence over Unlicensed Bands. - Weidong Mei, Zhi Chen, Lingxiang Li, Jun Fang, Shaoqian Li:

On Artificial-Noise Aided Transmit Design for Multi-User MISO Systems with Integrated Services. - Li-Hsuan Chen, Felix Reidl, Peter Rossmanith, Fernando Sánchez Villaamil:

Width, depth and space. - Nil Garcia, Henk Wymeersch, Erik G. Larsson, Alexander M. Haimovich, Martial Coulon:

Direct Localization for Massive MIMO. - Koosha Pourtahmasi Roshandeh, Masoud Ardakani, Chintha Tellambura:

A general framework for weighted sum-rate and common-rate optimization. - Eran Treister, Eldad Haber:

Full waveform inversion guided by travel time tomography. - Lili Mou, Yiping Song, Rui Yan, Ge Li, Lu Zhang, Zhi Jin:

Sequence to Backward and Forward Sequences: A Content-Introducing Approach to Generative Short-Text Conversation. - Eduardo Romera, Luis Miguel Bergasa, Roberto Arroyo:

Can we unify monocular detectors for autonomous driving by using the pixel-wise semantic segmentation of CNNs? - Eran Treister, Eldad Haber:

A fast marching algorithm for the factored eikonal equation. - Georg Böcherer:

Lecture Notes on Channel Coding. - Silvio Amir, Byron C. Wallace, Hao Lyu, Paula Carvalho, Mário J. Silva:

Modelling Context with User Embeddings for Sarcasm Detection in Social Media. - Aurojit Panda, Ori Lahav, Katerina J. Argyraki, Mooly Sagiv, Scott Shenker:

Verifying Reachability in Networks with Mutable Datapaths. - Jay Pujara, Lise Getoor:

Generic Statistical Relational Entity Resolution in Knowledge Graphs. - Sergey Tarasenko:

An Application of the EM-algorithm to Approximate Empirical Distributions of Financial Indices with the Gaussian Mixtures. - Yi Lu:

Practical Tera-scale Walsh-Hadamard Transform. - Cuiming Zou, Kit Ian Kou:

Facial Expression Classification Using Rotation Slepian-based Moment Invariants. - Olaf Hartig, M. Tamer Özsu:

Walking without a Map: Optimizing Response Times of Traversal-Based Linked Data Queries (Extended Version). - Xu Chen, Tsung-Yi Chen, Dongning Guo:

Capacity of Gaussian Many-Access Channels. - Shuo Yang, Mohammed Korayem, Khalifeh AlJadda, Trey Grainger, Sriraam Natarajan:

Application of Statistical Relational Learning to Hybrid Recommendation Systems. - Chelsea Weaver, Naoki Saito:

Improving Sparse Representation-Based Classification Using Local Principal Component Analysis. - Jinming Wen, Xiao-Wen Chang:

GfcLLL: A Greedy Selection Based Approach for Fixed-Complexity LLL Reduction. - Amol S. Patwardhan, Gerald M. Knapp:

Affect Intensity Estimation Using Multiple Modalities. - Amol S. Patwardhan, Gerald M. Knapp:

Aggressive actions and anger detection from multiple modalities using Kinect. - Amol S. Patwardhan, Gerald M. Knapp:

EmoFit: Affect Monitoring System for Sedentary Jobs. - Travis S. Humble, Alexander J. McCaskey, Jonathan Schrock, Hadayat Seddiqi, Keith A. Britt, Neena Imam:

Performance Models for Split-execution Computing Systems. - Tianqing Zhou:

User Association with Maximizing Sum Energy Efficiency for Massive MIMO Enabled Heterogeneous Cellular Networks. - Hongwu Liu, Kyung Sup Kwak:

Amplify-and-Forward Full-Duplex Relay with Power Splitting-Based SWIPT. - Masoud S. Nosrati, Ghassan Hamarneh:

Incorporating prior knowledge in medical image segmentation: a survey. - Corinna Cortes, Xavi Gonzalvo, Vitaly Kuznetsov, Mehryar Mohri, Scott Yang:

AdaNet: Adaptive Structural Learning of Artificial Neural Networks. - Siheng Chen, Yaoqing Yang, José M. F. Moura, Jelena Kovacevic:

Signal Localization, Decomposition and Dictionary Learning on Graphs. - Akira Kageyama:

A Visualization Method of Four Dimensional Polytopes by Oval Display of Parallel Hyperplane Slices. - Suyog Dutt Jain, Kristen Grauman:

Click Carving: Segmenting Objects in Video with Point Clicks. - Zhiqiang Wei, Derrick Wing Kwan Ng, Jinhong Yuan:

Power-Efficient Resource Allocation for MC-NOMA with Statistical Channel State Information. - Ahmed Hamdi Sakr, Ekram Hossain:

On Cell Association in Multi-Tier Full-Duplex Cellular Networks. - Pascal O. Vontobel:

Analysis of Double Covers of Factor Graphs. - Meng Fang, Trevor Cohn:

Learning when to trust distant supervision: An application to low-resource POS tagging using cross-lingual projection. - Soheil Keshmiri:

Minimalist Regression Network with Reinforced Gradients and Weighted Estimates: a Case Study on Parameters Estimation in Automated Welding. - Hadrian Andradi, Weng Kin Ho:

On a new convergence class in k-bounded sober spaces. - Ales Tamchyna, Alexander M. Fraser, Ondrej Bojar, Marcin Junczys-Dowmunt:

Target-Side Context for Discriminative Models in Statistical Machine Translation. - Wen Hu, Zhi Wang, Lifeng Sun:

Towards Network-Failure-Tolerant Content Delivery for Web Content. - Yuping Ke, Yixin Cao, Xiating Ouyang, Jianxin Wang:

Unit Interval Vertex Deletion: Fewer Vertices are Relevant. - Zhiwei Zou, Qingguo Li, Weng Kin Ho:

Domains via a rough set theoretic approach. - Wen Hu, Zhi Wang, Lifeng Sun:

A Measurement Study of TCP Performance for Chunk Delivery in DASH. - I. S. Terekhov, A. V. Reznichenko, S. K. Turitsyn:

Calculation of mutual information for nonlinear communication channel at large SNR. - Jörg Fehr, Jan Heiland, Christian Himpe

, Jens Saak:
Best Practices for Replicability, Reproducibility and Reusability of Computer-Based Experiments Exemplified by Model Reduction Software. - Steven Chaplick, Krzysztof Fleszar, Fabian Lipp, Alexander Ravsky, Oleg Verbitsky, Alexander Wolff:

Drawing Graphs on Few Lines and Few Planes. - Vladislav Nenchev, Christos G. Cassandras, Jörg Raisch:

Optimal control for a robotic exploration, pick-up and delivery problem. - David Novotný, Diane Larlus, Andrea Vedaldi:

Learning the semantic structure of objects from Web supervision. - Danny Dolev, Eli Gafni:

Some Garbage In - Some Garbage Out: Asynchronous t-Byzantine as Asynchronous Benign t-resilient system with fixed t-Trojan-Horse Inputs. - Maarten Schoukens, Koen Tiels:

Identification of Nonlinear Block-Oriented Systems starting from Linear Approximations: A Survey. - Benjamin Sliwa, Daniel Behnke, Christoph Ide, Christian Wietfeld:

B.A.T.Mobile: Leveraging Mobility Control Knowledge for Efficient Routing in Mobile Robotic Networks. - Sandy Heydrich, Rob van Stee:

Improved Lower Bounds for Online Hypercube Packing. - Giuseppe Boccignone:

A probabilistic tour of visual attention and gaze shift computational models. - Paul Springer, Aravind Sankaran, Paolo Bientinesi:

TTC: A Tensor Transposition Compiler for Multiple Architectures. - Jagannath Roy, Ananta Ranjan, Animesh Debnath:

An extended MABAC for multi-attribute decision making using trapezoidal interval type-2 fuzzy numbers. - Boris Goldfarb:

Singular Persistent Homology with Effective Concurrent Computation. - Ming Ma, Zhi Wang, Yankai Zhang, Lifeng Sun:

Dynamic Flow Scheduling Strategy in Multihoming Video CDNs. - Umberto Martínez-Peñas, Ryutaroh Matsumoto:

Unifying notions of generalized weights for universal security on wire-tap networks. - Andreas Thor, Werner Marx, Loet Leydesdorff, Lutz Bornmann:

New features of CitedReferencesExplorer (CRExplorer). - Xavier Mestre, David Gregoratti:

Parallelized Structures for MIMO FBMC under Strong Channel Frequency Selectivity. - Baiyang Wang, Diego Klabjan:

Temporal Topic Analysis with Endogenous and Exogenous Processes. - Christian Berthet:

Identity of King and Flajolet & al. Formulae for LRU Miss Rate Exact Computation. - Ruifeng Duan, Riku Jäntti, Hüseyin Yigitler, Kalle Ruttik:

On the Capacity of Bi-static Modulated Re-scatter Systems. - Prosenjit Bose, Jean-Lou De Carufel, Alina Shaikhet, Michiel H. M. Smid:

Essential Constraints of Edge-Constrained Proximity Graphs. - Sascha Witt:

Trip-Based Public Transit Routing Using Condensed Search Trees. - (Withdrawn) Fast Inverse Nonlinear Fourier Transforms for Fiber Bragg Grating Design and Related Problems.

- Jialin Liu, Olivier Teytaud:

Scenario-based decision-making for power systems investment planning. - Giorgio Roffo:

Report: Feature Selection Techniques for Classification. - Shashwat Silas:

Connectivity in Random Lifts of Graphs: New Techniques and Results. - Alex Gittens, Aditya Devarakonda, Evan Racah, Michael F. Ringenburg, Lisa Gerhardt, Jey Kottalam, Jialin Liu, Kristyn J. Maschhoff, Shane Canon, Jatin Chhugani, Pramod Sharma, Jiyan Yang, James Demmel, Jim Harrell, Venkat Krishnamurthy, Michael W. Mahoney, Prabhat:

Matrix Factorization at Scale: a Comparison of Scientific Data Analytics in Spark and C+MPI Using Three Case Studies. - Pål Sundsøy:

Can mobile usage predict illiteracy in a developing country? - Silvio Micali:

ALGORAND: The Efficient and Democratic Ledger. - Lei Yu, Houqiang Li, Chang Wen Chen:

Distortion Bounds for Transmitting Correlated Sources with Common Part over MAC. - Shahid Mehraj Shah, Krishna Chaitanya A, Vinod Sharma:

Resource Allocation in a MAC with and without security via Game Theoretic Learning. - Vishwajeet Singh, Killamsetti Ravi Kumar, K. Eswaran:

Learning Discriminative Features using Encoder-Decoder type Deep Neural Nets. - Nazia Hameed, Maqbool Uddin Shaikh, Fozia Hameed, Azra Shamim:

Cultural Differences in E-Learning: Exploring New Dimensions. - Karim A. Banawan, Sennur Ulukus:

MIMO Wiretap Channel under Receiver Side Power Constraints with Applications to Wireless Power Transfer and Cognitive Radio. - Lingfei Wu, Eloy Romero, Andreas Stathopoulos:

PRIMME_SVDS: A High-Performance Preconditioned SVD Solver for Accurate Large-Scale Computations. - Wei Wei, Kangjin Kim, Georgios Fainekos:

Extended LTLvis Motion Planning interface (Extended Technical Report). - Rajarshi Das, Arvind Neelakantan, David Belanger, Andrew McCallum:

Chains of Reasoning over Entities, Relations, and Text using Recurrent Neural Networks. - Kenton Lee, Mike Lewis, Luke Zettlemoyer:

Global Neural CCG Parsing with Optimality Guarantees. - Gokhan M. Guvensen, Ender Ayanoglu:

A Generalized Framework on Beamformer Design and CSI Acquisition for Single-Carrier Massive MIMO Systems in Millimeter Wave Channels. - Luwei Yang, Ligen Zhu, Yichen Wei, Shuang Liang, Ping Tan:

Attribute Recognition from Adaptive Parts. - Tanima Chatterjee, Bhaskar DasGupta, Nasim Mobasheri, Venkatkumar Srinivasan, Ismael González Yero:

On the Computational Complexities of Three Privacy Measures for Large Networks Under Active Attack. - Martina Cardone, Yahya H. Ezzeldin, Christina Fragouli, Daniela Tuninetti:

Network Simplification in Half-Duplex: Building on Submodularity. - Dan Calacci, Oren Lederman, David L. Shrier, Alex 'Sandy' Pentland:

Breakout: An Open Measurement and Intervention Tool for Distributed Peer Learning Groups. - Hui-Min Cheng, Yi-Zi Ning, Xiaoke Ma, Zhongyuan Zhang:

Effectiveness of Rapid Rail Transit System in Beijing. - Tal Hassner, Iacopo Masi, Jungyeon Kim, Jongmoo Choi, Shai Harel, Prem Natarajan, Gérard G. Medioni:

Pooling Faces: Template based Face Recognition with Pooled Face Images. - Alex Dytso, Ronit Bustin, Daniela Tuninetti, Natasha Devroye, H. Vincent Poor, Shlomo Shamai:

On the Minimum Mean p-th Error in Gaussian Noise Channels and its Applications. - (Withdrawn) Cryptanalysis and Improvement of an Improved Two Factor Authentication Scheme for Telecare Medicine Information Systems.

- Mohamed Alzenad, Muhammad Zeeshan Shakir, Halim Yanikomeroglu, Mohamed-Slim Alouini

:
FSO-based Vertical Backhaul/Fronthaul Framework for 5G+ Wireless Networks. - Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang:

Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games. - Tim Moon, Jack Poulson:

Accelerating eigenvector and pseudospectra computation using blocked multi-shift triangular solves. - Masahiro Ono, Mahmoud El Chamie, Marco Pavone, Behçet Açikmese:

Mixed Strategy for Constrained Stochastic Optimal Control. - Francesca Ceragioli, Paolo Frasca:

Consensus and disagreement: the role of quantized behaviours in opinion dynamics. - Alexey Medvedev, János Kertész:

Empirical study of the role of the topology in spreading on communication networks. - John J. Camilleri, Normunds Gruzitis, Gerardo Schneider:

Extracting Formal Models from Normative Texts. - Dinuka M. W. Abeywardena, Shoudong Huang

, Ben Barnes, Gamini Dissanayake
, Sarath Kodagoda
:
Fast, On-board, Model-aided Visual-Inertial Odometry System for Quadrotor Micro Aerial Vehicles. - Renars Liepins, Uldis Bojars, Normunds Gruzitis, Karlis Cerans, Edgars Celms:

Towards Self-explanatory Ontology Visualization with Contextual Verbalization. - Ali Tarhini:

The Effects of Cultural dimensions and Demographic Characteristics on E-learning Acceptance. - (Withdrawn) Envy-Free Cake-Cutting among Families.

- Pingyi Fan, Yunquan Dong, Jiaxun Lu, Shanyun Liu:

Message Importance Measure and Its Application to Minority Subset Detection in Big Data. - Han Cai, Minquan Cheng, Cuiling Fan, Xiaohu Tang:

Optimal Locally Repairable Systematic Codes Based on Packings. - Lars Hupel, Viktor Kuncak:

Translating Scala Programs to Isabelle/HOL. - Tarun Kathuria, Amit Deshpande:

On Sampling and Greedy MAP Inference of Constrained Determinantal Point Processes. - Simina Brânzei, Vasilis Gkatzelis, Ruta Mehta:

Nash Social Welfare Approximation for Strategic Agents. - Le Dong, Ling He, Gaipeng Kong, Qianni Zhang, Xiaochun Cao, Ebroul Izquierdo:

CUNet: A Compact Unsupervised Network for Image Classification. - Gerasimos Spanakis, Gerhard Weiss, Anne Roefs:

Bagged Boosted Trees for Classification of Ecological Momentary Assessment Data. - Ulrich Neumerkel, Stefan Kral:

Indexing dif/2. - Chuili Kong, Caijun Zhong, Michail Matthaiou, Emil Björnson, Zhaoyang Zhang:

Multipair Two-way Half-Duplex Relaying with Massive Arrays and Imperfect CSI. - Wenhu Chen, Evgeny Matusov, Shahram Khadivi, Jan-Thorsten Peter:

Guided Alignment Training for Topic-Aware Neural Machine Translation. - Sumita Basu:

Lattice Structure of Variable Precision Rough Sets. - Blake Anderson, Subharthi Paul, David A. McGrew:

Deciphering Malware's use of TLS (without Decryption). - Chengqing Li, Dongdong Lin:

Cryptanalysis of an Image Scrambling Encryption Algorithm. - János Végh:

A configurable accelerator for manycores: the Explicitly Many-Processor Approach. - Barun Gorain, Andrzej Pelc:

Deterministic Graph Exploration with Advice. - Manuel Blanco Valentin, Clecio Roque De Bom, Márcio Portes de Albuquerque, Marcelo Portes de Albuquerque, Elisangela Faria, Maury Duarte Correia, Rodrigo Surmas:

Rock Texture Classification Using Spectral Analysis And Genetically Optimized Texture Features. - Yehonatan Cohen, Danny Hendler, Amir Rubin:

Node-Centric Detection of Overlapping Communities in Social Networks. - Jaikumar Radhakrishnan, Swagato Sanyal:

The zero-error randomized query complexity of the pointer function. - Armando B. Matos:

Primitive recursive functions versus partial recursive functions: comparing the degree of undecidability. - Cen Wan, Alex Alves Freitas:

A New Hierarchical Redundancy Eliminated Tree Augmented Naive Bayes Classifier for Coping with Gene Ontology-based Features. - Vincent Ike Anireh, Emmanuel N. Osegi:

A Modified Activation Function with Improved Run-Times For Neural Networks. - Maria Cristina Diamantini, Luca Gammaitoni, Carlo A. Trugenberger:

Landauer Bound for Analog Computing Systems. - Baochen Sun, Kate Saenko:

Deep CORAL: Correlation Alignment for Deep Domain Adaptation. - Dalal Hammoud, Fadi A. Zaraket, Wes Masri:

GUICop: Approach and Toolset for Specification-based GUI Testing. - Vikas Shivashankar, Ron Alford, Mark Roberts, David W. Aha:

Cost-Optimal Algorithms for Planning with Procedural Control Knowledge. - Jialin Liu, Diego Perez Liebana, Simon M. Lucas:

Rolling Horizon Coevolutionary Planning for Two-Player Video Games. - Niladri Das, Brijesh Kumar Rai:

On Achievability of an (r, l) Fractional Linear Network Code. - Alyssa M. Adams, Hector Zenil, Paul C. W. Davies, Sara Imari Walker:

Formal Definitions of Unbounded Evolution and Innovation Reveal Universal Mechanisms for Open-Ended Evolution in Dynamical Systems. - Pavel Kucherbaev, Azad Abad, Stefano Tranquillini, Florian Daniel, Maurizio Marchese, Fabio Casati:

CrowdCafe - Mobile Crowdsourcing Platform. - Armand Joulin, Edouard Grave, Piotr Bojanowski, Tomás Mikolov:

Bag of Tricks for Efficient Text Classification. - Zhenyang Li, Efstratios Gavves, Mihir Jain, Cees G. M. Snoek:

VideoLSTM Convolves, Attends and Flows for Action Recognition. - Alex Alvarado, Erik Agrell, Fredrik Brännström:

Asymptotic Comparison of ML and MAP Detectors for Multidimensional Constellations. - Kyle Burke, Erik D. Demaine, Harrison Gregg, Robert A. Hearn, Adam Hesterberg, Michael Hoffmann, Hiro Ito, Irina Kostitsyna, Jody Leonard, Maarten Löffler, Aaron Santiago, Christiane Schmidt, Ryuhei Uehara, Yushi Uno, Aaron Williams:

Single-Player and Two-Player Buttons & Scissors Games. - Albert Fannjiang:

Compressive Spectral Estimation with Single-Snapshot ESPRIT: Stability and Resolution. - Holger Petersen:

A Note on Nested String Replacements. - Geoff W. Hamilton

, Alexei Lisitsa, Andrei P. Nemytykh:
Proceedings of the Fourth International Workshop on Verification and Program Transformation, VPT@ETAPS 2016, Eindhoven, The Netherlands, 2nd April 2016. EPTCS 216, 2016 [contents] - Chengcheng Wang, Yonggang Zhang, Bicheng Ying, Ali H. Sayed:

Coordinate-Descent Diffusion Learning by Networked Agents. - Steven D. Galbraith, Joel Laity, Barak Shani:

Finding Significant Fourier Coefficients: Clarifications, Simplifications, Applications and Limitations. - Agustin Indaco, Lev Manovich:

Urban Social Media Inequality: Definition, Measurements, and Application. - Dinh Hoa Nguyen, Tatsuo Narikiyo, Michihiro Kawanishi, Shinji Hara:

Hierarchical Decentralized Robust Optimal Design for Homogeneous Linear Multi-Agent Systems. - Hao Chen, Yefeng Zheng, Jin Hyeong Park, Pheng-Ann Heng, Shaohua Kevin Zhou:

Iterative Multi-domain Regularized Deep Learning for Anatomical Structure Detection and Segmentation from Ultrasound Images. - Xiaoqing Li, Jiajun Zhang, Chengqing Zong:

Neural Name Translation Improves Neural Machine Translation. - Baojian Zhou, Jinming Wen, Wai Ho Mow:

A Quadratic Programming Relaxation Approach to Compute-and-Forward Network Coding Design. - Mihajlo Grbovic, Nemanja Djuric, Vladan Radosavljevic, Fabrizio Silvestri, Ricardo Baeza-Yates, Andrew Feng, Erik Ordentlich, Lee Yang, Gavin Owens:

Scalable Semantic Matching of Queries to Ads in Sponsored Search Advertising. - Omid Semiari, Walid Saad, Mehdi Bennis:

Downlink Cell Association and Load Balancing for Joint Millimeter Wave-Microwave Cellular Networks. - Matthias Walter:

Complete Description of Matching Polytopes with One Linearized Quadratic Term for Bipartite Graphs. - Maani Ghaffari Jadidi, Jaime Valls Miró, Gamini Dissanayake:

Sampling-based Incremental Information Gathering with Applications to Robotic Exploration and Environmental Monitoring. - Weng Kin Ho, Achim Jung, Dongsheng Zhao:

Join-continuity + Hypercontinuity = Prime continuity. - Shixin Zhu, Zhonghua Sun, Liqi Wang:

The symbol-pair distance distribution of repeated-root cyclic codes over 𝔽pm. - Amol Patwardhan, Jon Kidd, Tiffany Urena, Aishwarya Rajgopalan:

Embracing Agile methodology during DevOps Developer Internship Program. - Xianming Liu, Gene Cheung, Xiaolin Wu, Debin Zhao:

Random Walk Graph Laplacian based Smoothness Prior for Soft Decoding of JPEG Images. - Howard H. Yang, Giovanni Geraci, Tony Q. S. Quek, Jeffrey G. Andrews:

Cell-Edge-Aware Precoding for Downlink Massive MIMO Cellular Networks. - Trinh Van Chien, Emil Björnson, Erik G. Larsson:

Downlink Power Control for Massive MIMO Cellular Systems with Optimal User Association. - Min Soo Sim, MinKeun Chung, Dongkyu Kim, Jae-Hoon Chung, Dong Ku Kim, Chan-Byoung Chae:

Nonlinear Self-Interference Cancellation for Full-Duplex Radios: From Link- and System-Level Performance Perspectives. - Shangbin Wu, Sooyoung Hur, Kuyeon Whang, Maziar M. Nekovee

:
Intra-cluster Characteristics of 28 GHz Wireless Channel in Urban Micro Street Canyon. - Lóránt Farkas, Tamás Kói:

Universal Random Access Error Exponent for Codebooks with Different Word-Lengths. - Gabriel Otero Pérez, Manuel Fernández-Veiga:

Decentralised Resource Allocation and Coordination for 5G Cellular Communication Networks. - Evgeny Tsimbalo, Andrea Tassi, Robert J. Piechocki:

Novel Performance Analysis of Network Coded Communications in Single-Relay Networks. - Gareth Tyson, Vasile Claudiu Perta, Hamed Haddadi, Michael C. Seto:

A First Look at User Activity on Tinder. - Joshi Kalyani, H. N. Bharathi, Rao Jyothi:

Stock trend prediction using news sentiment analysis. - Liang Lu:

Sequence Training and Adaptation of Highway Deep Neural Networks. - Marc Mezzarobba:

Rigorous Multiple-Precision Evaluation of D-Finite Functions in SageMath. - Guillaume Noyel

, Rebecca Thomas, Gavin Bhakta, Andrew Crowder, David Owens, Peter Boyle:
Superimposition of eye fundus images for longitudinal analysis from large public health databases. - Xibin Song, Yuchao Dai, Xueying Qin:

Deep Depth Super-Resolution : Learning Depth Super-Resolution using Deep Convolutional Neural Network. - Gurkirt Singh, Fabio Cuzzolin:

Untrimmed Video Classification for Activity Detection: submission to ActivityNet Challenge. - Damir Vodenicarevic, Nicolas Locatelli, Julie Grollier, Damien Querlioz:

Synchronization Detection in Networks of Coupled Oscillators for Pattern Recognition. - Erel Segal-Halevi, Avinatan Hassidim, Yonatan Aumann:

Demand-Flow of Agents with Gross-Substitute Valuations. - Núria Bel, Mikel L. Forcada, Asunción Gómez-Pérez:

A Maturity Model for Public Administration as Open Translation Data Providers. - James Brotherston, Nikos Gorogiannis, Max I. Kanovich:

Biabduction (and Related Problems) in Array Separation Logic. - Ali Kariminezhad, Anas Chaaban, Aydin Sezgin:

Improper signaling and symbol extensions: How far can we go with Gaussian P2P codebooks in the interfering MAC with TIN? - Spyridon Vassilaras, George C. Alexandropoulos:

Optimizing Access Mechanisms for QoS Provisioning in Hardware Constrained Dynamic Spectrum Access. - Maurice H. ter Beek

, Michele Loreti
:
Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, FORECAST@STAF 2016, Vienna, Austria, 8 July 2016. EPTCS 217, 2016 [contents] - Mihir Jain, Jan C. van Gemert, Hervé Jégou, Patrick Bouthemy, Cees G. M. Snoek:

Tubelets: Unsupervised action proposals from spatiotemporal super-voxels. - Vardan Papyan, Jeremias Sulam, Michael Elad:

Working Locally Thinking Globally - Part I: Theoretical Guarantees for Convolutional Sparse Coding. - Vardan Papyan, Jeremias Sulam, Michael Elad:

Working Locally Thinking Globally - Part II: Stability and Algorithms for Convolutional Sparse Coding. - Qiaosheng Eric Zhang, Mayank Bakshi, Sidharth Jaggi:

Computationally Efficient Deniable Communication. - Ivan I. Shevchenko:

Numeric Deduction in Symbolic Computation. Application to Normalizing Transformations. - Daniel P. Lupp, Evgenij Thorstensen:

Mapping Data to Ontologies with Exceptions Using Answer Set Programming. - Merim Dzaferagic, Nicholas J. Kaminski, Irene Macaluso, Nicola Marchetti:

A Functional Complexity Framework for the Analysis of Telecommunication Networks. - Giuseppe Airò Farulla, Tiziana Armano, Anna Capietto, Nadir Murru, Rosaria Rossini:

Artificial neural networks and fuzzy logic for recognizing alphabet characters and mathematical symbols. - Parthe Pandit, Ankur A. Kulkarni:

Refinement of the Equilibrium of Public Goods Games over Networks: Efficiency and Effort of Specialized Equilibria. - Yuanhuizi Xu, Kwan-Wu Chin, Sieteng Soh

:
A Novel Distributed Pseudo TDMA Channel Access Protocol for Multi-Transmit-Receive Wireless Mesh Networks. - Grégory Rogez, Cordelia Schmid:

MoCap-guided Data Augmentation for 3D Pose Estimation in the Wild. - Jean-François Remacle, Jonathan Lambrechts:

Fast and robust mesh generation on the sphere Application to coastal domains. - Hiep H. Nguyen, Abdessamad Imine, Michaël Rusinowitch:

Detecting Communities under Differential Privacy. - Emmanuele Chersoni, Enrico Santus, Alessandro Lenci, Philippe Blache, Chu-Ren Huang:

Representing Verbs with Rich Contexts: an Evaluation on Verb Similarity. - Christoph Fuchs, Akash Nayyar, Ruth Nussbaumer, Georg Groh:

Estimating the Dissemination of Social and Mobile Search in Categories of Information Needs Using Websites as Proxies. - Ankit Chauhan, Pascal Lenzner, Anna Melnichenko, Martin Münn:

On Selfish Creation of Robust Networks. - Ritambhara Singh, Jack Lanchantin, Gabriel Robins, Yanjun Qi:

DeepChrome: Deep-learning for predicting gene expression from histone modifications. - Christos Giatsidis, Fragkiskos D. Malliaros, Nikolaos Tziortziotis, Charanpal Dhanjal, Emmanouil Kiagias, Dimitrios M. Thilikos, Michalis Vazirgiannis:

A k-core Decomposition Framework for Graph Clustering. - Qian Wang, Ke Chen:

Zero-Shot Visual Recognition via Bidirectional Latent Embedding. - John J. Nay:

Predicting and Understanding Law-Making with Machine Learning. - Fan Yang, Andrew A. Chien:

Extreme Scaling of Supercomputing with Stranded Power: Costs and Capabilities. - Simon Harding, Jan Koutník, Klaus Greff, Jürgen Schmidhuber, Andy Adamatzky:

Discovering Boolean Gates in Slime Mould. - Eric Nunes, Paulo Shakarian, Gerardo I. Simari, Andrew Ruef:

Argumentation Models for Cyber Attribution. - Yusuf Ziya Isik, Jonathan Le Roux, Zhuo Chen, Shinji Watanabe, John R. Hershey:

Single-Channel Multi-Speaker Separation using Deep Clustering. - Faiza Khan Khattak, Ansaf Salleb-Aouissi:

Toward a Robust Crowd-labeling Framework using Expert Evaluation and Pairwise Comparison. - Afshin Oroojlooyjadid, Lawrence V. Snyder, Martin Takác:

Applying Deep Learning to the Newsvendor Problem. - Ioannis Avgouleas, Nikolaos Pappas, Di Yuan, Vangelis Angelakis:

Probabilistic Cooperation of a Full-Duplex Relay in Random Access Networks. - David Eppstein:

Maximizing the Sum of Radii of Disjoint Balls or Disks. - Bjørn Kjos-Hanssen:

Models of the Chisholm set. - Ankur Taly, Asim Shankar:

Distributed Authorization in Vanadium. - Sofya Chepushtanova, Michael Kirby, Chris Peterson, Lori Ziegelmeier:

Persistent Homology on Grassmann Manifolds for Analysis of Hyperspectral Movies. - Tommaso Dreossi:

Sapo: Reachability Computation and Parameter Synthesis of Polynomial Dynamical Systems. - Giuseppe Lisanti, Svebor Karaman, Iacopo Masi, Alberto Del Bimbo:

Multi Channel-Kernel Canonical Correlation Analysis for Cross-View Person Re-Identification. - Xiangyu Guo, Binbin Tang, Jian Tao, Zhaohui Huang, Zhihui Du:

Large Scale GPU Accelerated PPMLR-MHD Simulations for Space Weather Forecast. - Gergö Barany:

Hybrid Information Flow Analysis for Programs with Arrays. 5-23 - Julien Cohen:

Renaming Global Variables in C Mechanically Proved Correct. 50-64 - Geoff W. Hamilton

:
Generating Counterexamples for Model Checking by Transformation. 65-82 - Dániel Horpácsi

, Judit Köszegi
, Simon J. Thompson:
Towards Trustworthy Refactoring in Erlang. 83-103 - Venkatesh Kannan, Geoff W. Hamilton

:
Program Transformation to Identify List-Based Parallel Skeletons. 118-136 - Antonina Nepeivoda

:
Turchin's Relation for Call-by-Name Computations: A Formal Approach. 137-159 - Mirko Viroli, Jacob Beal:

Resiliency with Aggregate Computing: State of the Art and Roadmap. 5-18 - Alessandro Aldini

:
A Formal Framework for Modeling Trust and Reputation in Collective Adaptive Systems. 19-30 - Diego Latella

:
On Formal Methods for Collective Adaptive System Engineering. {Scalable Approximated, Spatial} Analysis Techniques. Extended Abstract. 53-61 - Paul Piho, Jane Hillston:

Stochastic and Spatial Equivalences for PALOMA. 69-80 - Gina Belmonte, Vincenzo Ciancia

, Diego Latella
, Mieke Massink
:
From Collective Adaptive Systems to Human Centric Computation and Back: Spatial Model Checking for Medical Imaging. 81-92 - Duc-Hiep Chu, Joxan Jaffar, Vijayaraghavan Murali:

Incremental Quantitative Analysis on Dynamic Costs. - Darryl Dexu Lin, Sachin S. Talathi:

Overcoming Challenges in Fixed Point Training of Deep Convolutional Networks. - Mahmoud Abdelaziz, Lauri Anttila, Chance Tarver, Kaipeng Li, Joseph R. Cavallaro, Mikko Valkama:

Low-Complexity Sub-band Digital Predistortion for Spurious Emission Suppression in Noncontiguous Spectrum Access. - Yiming Cui, Ting Liu, Zhipeng Chen, Shijin Wang, Guoping Hu:

Consensus Attention-based Neural Networks for Chinese Reading Comprehension. - Andreas Doumanoglou, Vassileios Balntas, Rigas Kouskouridas, Tae-Kyun Kim:

Siamese Regression Networks with Efficient mid-level Feature Extraction for 3D Object Pose Estimation. - Mindaugas Bloznelis, Lasse Leskelä:

Diclique clustering in a directed random graph. - Zuling Chang, Johan Chrisnata, Martianus Frederic Ezerman, Han Mao Kiah:

Rates of DNA Sequence Profiles for Practical Values of Read Lengths. - Anna Mpanti, Stavros D. Nikolopoulos:

Two RPG Flow-graphs for Software Watermarking using Bitonic Sequences of Self-inverting Permutations. - Michael Holzhauser, Sven O. Krumke, Clemens Thielen:

On the Complexity and Approximability of Budget-Constrained Minimum Cost Flows. - Michael Holzhauser, Sven O. Krumke, Clemens Thielen:

A Network Simplex Method for the Budget-Constrained Minimum Cost Flow Problem. - André Mateus, Pedro Miraldo, Pedro U. Lima:

Non-Central Catadioptric Cameras Pose Estimation using 3D Lines. - Kamalika Bhattacharjee, Nazma Naskar, Souvik Roy, Sukanta Das:

A Survey of Cellular Automata: Types, Dynamics, Non-uniformity and Applications. - Mani Bastani Parizi, Emre Telatar:

On Channel Resolvability in Presence of Feedback. - Huy Phan, Lars Hertel, Marco Maaß, Philipp Koch, Alfred Mertins:

CNN-LTE: a Class of 1-X Pooling Convolutional Neural Networks on Label Tree Embeddings for Audio Scene Recognition. - Huy Phan, Lars Hertel, Marco Maaß, Philipp Koch, Alfred Mertins:

CaR-FOREST: Joint Classification-Regression Decision Forests for Overlapping Audio Event Detection. - Tamara Polajnar:

Collaborative Training of Tensors for Compositional Distributional Semantics. - Fanny Parzysz, Marco Di Renzo, Christos V. Verikoukis:

Power-Availability-Aware Cell Association for Energy-Harvesting Small-Cell Base Stations. - Christopher Celio, Daniel Palmer Dabbelt, David A. Patterson, Krste Asanovic:

The Renewed Case for the Reduced Instruction Set Computer: Avoiding ISA Bloat with Macro-Op Fusion for RISC-V. - Markus Wulfmeier, Dominic Zeng Wang, Ingmar Posner:

Watch This: Scalable Cost-Function Learning for Path Planning in Urban Environments. - Amos Lapidoth, Christoph Pfister:

Two Measures of Dependence. - Benjamin Fish, Rahul Kushwaha, György Turán:

Betweenness centrality profiles in trees. - Jean Barbier, Mohamad Dia, Nicolas Macris, Florent Krzakala:

The Mutual Information in Random Linear Estimation. - Giordano Da Lozzo, Ignaz Rutter:

Strengthening Hardness Results to 3-Connected Planar Graphs. - Giordano Da Lozzo, Ignaz Rutter:

On the Complexity of Realizing Facial Cycles. - Aurangzeb Khan, Khairullah Khan, Shakeel Ahmad, Fazal Masood Kundi, Irum Tareen, Muhammad Zubair Asghar:

Lexical Based Semantic Orientation of Online Customer Reviews and Blogs. - Ali Al-Bashabsheh, Pascal O. Vontobel:

Kramers-Wannier Duality and Factor Graphs. - Fabio Fagnani, Barbara Franci, Ennio Grasso:

A game theoretic approach to a peer-to-peer cloud storage model. - Ying Huang, Pavel Janovsky, Sanjoy Das, Stephen M. Welch, Scott A. DeLoach:

Multi-Agent System for Groundwater Depletion Using Game Theory. - Nir Weinberger, Ofer Shayevitz:

On the Optimal Boolean Function for Prediction under Quadratic Loss. - Yoonchang Han, Kyogu Lee:

Acoustic scene classification using convolutional neural network and multiple-width frequency-delta data augmentation. - Konstantinos Dovelos, Laura Toni, Pascal Frossard:

Finite Length Performance of Random Slotted ALOHA Strategies. - Yu Zhong, Gil J. Ettinger:

Enlightening Deep Neural Networks with Knowledge of Confounding Factors. - Frank Rosner, Alexander Hinneburg:

Translating Bayesian Networks into Entity Relationship Models, Extended Version. - Jonathan Scarlett, Volkan Cevher:

Lower Bounds on Active Learning for Graphical Model Selection. - Aggelos Kiayias, Elias Koutsoupias, Maria Kyropoulou, Yiannis Tselekounis:

Blockchain Mining Games. - Akram Al-Hourani, Robin J. Evans, Kandeepan Sithamparanathan, Bill Moran, Hamid Eltom:

Stochastic Geometry Methods for Modelling Automotive Radar Interference. - Rocco Tripodi, Marcello Pelillo:

Document Clustering Games in Static and Dynamic Scenarios. - David Adjiashvili, Viktor Bindewald, Dennis Michaels:

Robust Assignments via Ear Decompositions and Randomized Rounding. - Keunwoo Choi, György Fazekas, Mark B. Sandler:

Explaining Deep Convolutional Neural Networks on Music Classification. - Antonio Perianes-Rodríguez, Ludo Waltman, Nees Jan van Eck:

Constructing bibliometric networks: A comparison between full and fractional counting. - Ali Parsai, Alessandro Murgia, Serge Demeyer:

Evaluating Random Mutant Selection at Class-Level in Projects with Non-Adequate Test Suites. - Danilo Silva, Nikolaos Tsantalis, Marco Túlio Valente:

Why We Refactor? Confessions of GitHub Contributors. - Milan Bankovic

:
Solving finite-domain linear constraints in presence of the alldifferent. - Marc Dymetman, Chunyang Xiao:

Log-Linear RNNs: Towards Recurrent Neural Networks with Flexible Prior Knowledge. - Subutai Ahmad, Scott Purdy:

Real-Time Anomaly Detection for Streaming Analytics. - Dan Hendrycks, Kevin Gimpel:

Generalizing and Improving Weight Initialization. - Annina Bracher, Amos Lapidoth:

The Zero-Error Feedback Capacity of State-Dependent Channels. - Adithya Rao, Nemanja Spasojevic:

Actionable and Political Text Classification using Word Embeddings and LSTM. - Keith Paarporn, Ceyhun Eksin, Joshua S. Weitz, Jeff S. Shamma:

Networked SIS Epidemics with Awareness. - Xiao Yang, Roland Kwitt, Marc Niethammer:

Fast Predictive Image Registration. - Galen Reeves, Henry D. Pfister:

The Replica-Symmetric Prediction for Compressed Sensing with Gaussian Matrices is Exact. - Alexey Kurakin, Ian J. Goodfellow, Samy Bengio:

Adversarial examples in the physical world. - Qi Rose Yu, Yan Liu:

Learning from Multiway Data: Simple and Efficient Tensor Regression. - Heng Fan, Xue Mei, Danil V. Prokhorov, Haibin Ling:

Multi-level Contextual RNNs with Attention Model for Scene Labeling. - (Withdrawn) Graph Construction with Label Information for Semi-Supervised Learning.

- Shervin Minaee, Yao Wang:

Screen Content Image Segmentation Using Robust Regression and Sparse Decomposition. - (Withdrawn) On the non-uniqueness of the instantaneous frequency.

- Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos:

Formal Requirement Elicitation and Debugging for Testing and Verification of Cyber-Physical Systems. - Pranav Sakulkar, Bhaskar Krishnamachari:

Online Learning Schemes for Power Allocation in Energy Harvesting Communications. - Jakob J. Engel, Vladyslav Usenko, Daniel Cremers:

A Photometrically Calibrated Benchmark For Monocular Visual Odometry. - Jialin Wu, Gu Wang, Wukui Yang, Xiangyang Ji:

Action Recognition with Joint Attention on Multi-Level Deep Features. - Sen Wang, Feiping Nie, Xiaojun Chang

, Xue Li, Quan Z. Sheng, Lina Yao:
Uncovering Locally Discriminative Structure for Feature Analysis. - Cong Yan, Zewei Chu, Alvin Cheung, Shan Lu:

Database-Backed Applications in the Wild: How Well Do They Work? - Marco Rocchetto, Nils Ole Tippenhauer:

CPDY: Extending the Dolev-Yao Attacker with Physical-Layer Interactions. - Jakob J. Engel, Vladlen Koltun, Daniel Cremers:

Direct Sparse Odometry. - Mengyao Zhai, Mehrsan Javan Roshtkhari, Greg Mori:

Deep Learning of Appearance Models for Online Object Tracking. - Pierre-Henri Tournier, Ioannis Aliferis, Marcella Bonazzoli, Maya de Buhan, Marion Darbas, Victorita Dolean, Frédéric Hecht, Pierre Jolivet, Ibtissam El Kanfoud, Claire Migliaccio, Frédéric Nataf, Christian Pichot, Serguei Semenov:

Microwave Tomographic Imaging of Cerebrovascular Accidents by Using High-Performance Computing. - K. Paramesha, K. C. Ravishankar:

Analysis of opinionated text for opinion mining. - Canyi Lu, Jiashi Feng, Shuicheng Yan, Zhouchen Lin:

A Unified Alternating Direction Method of Multipliers by Majorization Minimization. - Tianfan Xue, Jiajun Wu, Katherine L. Bouman, William T. Freeman:

Visual Dynamics: Probabilistic Future Frame Synthesis via Cross Convolutional Networks. - Ranjan Pal, Leana Golubchik, Konstantinos Psounis, Pan Hui:

Security Pricing as an Enabler of Cyber-Insurance: A First Look at Differentiated Pricing Markets. - Shirin Jalali, Arian Maleki:

New approach to Bayesian high-dimensional linear regression. - Ahmad A. Masoud:

Decentralized, Self-organizing, Potential field-based Control for Individuallymotivated, Mobile Agents in a Cluttered Environment: A Vector-Harmonic Potential Field Approach. - Samiksha Sarwari, Shrisha Rao:

Network Flows Under Thermal Restrictions. - Dominik Wurzer, Miles Osborne, Victor Lavrenko:

Randomised Relevance Model. - Mostafa S. Ibrahim, Srikanth Muralidharan, Zhiwei Deng, Arash Vahdat, Greg Mori:

Hierarchical Deep Temporal Models for Group Activity Recognition. - Vasiliki Kalavri, Vladimir Vlassov, Seif Haridi:

High-Level Programming Abstractions for Distributed Graph Processing. - Martin Slawski, Ping Li:

Linear signal recovery from b-bit-quantized linear measurements: precise analysis of the trade-off between bit depth and number of measurements. - Amol S. Patwardhan, Gerald M. Knapp:

Multimodal Affect Recognition using Kinect. - Yuheng Bu, Shaofeng Zou, Yingbin Liang, Venugopal V. Veeravalli:

Estimation of KL Divergence: Optimal Minimax Rate. - Yanwei Cui, Sébastien Lefèvre, Laetitia Chapel, Anne Puissant:

Combining multiple resolutions into hierarchical representations for kernel-based image classification. - Amol S. Patwardhan, Gerald M. Knapp:

Augmenting Supervised Emotion Recognition with Rule-Based Decision Model. - Anurag Kumar, Bhiksha Raj:

Classifier Risk Estimation under Limited Labeling Resources. - Yan Sun, Derrick Wing Kwan Ng, Zhiguo Ding, Robert Schober:

Optimal Joint Power and Subcarrier Allocation for Full-Duplex Multicarrier Non-Orthogonal Multiple Access Systems. - Carlos R. Rivero, Hasan M. Jamil:

A Novel Model for Distributed Big Data Service Composition using Stratified Functional Graph Matching. - Jian Du, Yik-Chung Wu:

Network-Wide Distributed Carrier Frequency Offsets Estimation and Compensation. - Minghui Yang, Jin Li, Keqin Feng:

Construction of Cyclic and Constacyclic Codes for b-symbol Read Channels Meeting the Plotkin-like Bound. - Wei Li, Farnaz Abtahi, Christina Tsangouri, Zhigang Zhu:

Towards an "In-the-Wild" Emotion Dataset Using a Game-based Framework. - Hengyao Bao, Jun Fang, Zhi Chen, Tao Jiang:

Perturbation-Assisted PAPR Reduction for Large-Scale MIMO-OFDM Systems via ADMM. - Mostafa Milani, Leopoldo E. Bertossi:

Extending Weakly-Sticky Datalog+/-: Query-Answering Tractability and Optimizations. - Ding Zhao, Xianan Huang, Huei Peng, Henry Lam, David J. LeBlanc:

Accelerated Evaluation of Automated Vehicles in Car-Following Maneuvers. - Alessio Lomuscio

, Moshe Y. Vardi:
Proceedings of the 4th International Workshop on Strategic Reasoning, SR 2016, New York City, USA, 10th July 2016. EPTCS 218, 2016 [contents] - Olivier Rioul:

At Every Corner: Determining Corner Points of Two-User Gaussian Interference Channels. - Charmgil Hong, Rumi Ghosh, Soundar Srinivasan:

Dealing with Class Imbalance using Thresholding. - Maria Han Veiga, Carsten Eickhoff:

Privacy Leakage through Innocent Content Sharing in Online Social Networks. - Bingwen Jin, Songhua Xu, Weidong Geng:

Learning to Sketch Human Facial Portraits using Personal Styles by Case-Based Reasoning. - Roman Bauer, Lukas Breitwieser, Alberto Di Meglio, Leonard Johard, Marcus Kaiser, Marco Manca, Manuel Mazzara, Max Talanov:

The BioDynaMo Project. - Fangxuan Sun, Jun Lin:

Memory Efficient Nonuniform Quantization for Deep Convolutional Neural Network. - Mark de Berg, Kevin Buchin, Bart M. P. Jansen, Gerhard J. Woeginger:

Fine-Grained Complexity Analysis of Two Classic TSP Variants. - Rui Han, Siguang Huang, Fei Tang, Fu-Gui Chang, Jianfeng Zhan:

AccuracyTrader: Accuracy-aware Approximate Processing for Low Tail Latency and High Result Accuracy in Cloud Online Services. - Guillermo Garcia-Hernando, Tae-Kyun Kim:

Transition Forests: Learning Discriminative Temporal Transitions for Action Recognition. - Omar Zakary, Mostafa Rachik:

Applied Lyapunov Stability on Output Tracking Problem for a Class of Discrete-Time Linear Systems. - Antonia Creswell, Anil Anthony Bharath:

Adversarial Training For Sketch Retrieval. - Zhiyuan Fang, Lingqi Zhang, Kun Chen:

Hybrid Recommender System Based on Personal Behavior Mining. - Giulia Vezzani, Ugo Pattacini, Giorgio Battistelli, Luigi Chisci, Lorenzo Natale:

Memory Unscented Particle Filter for 6-DOF Tactile Localization. - Jian Du, Shaodan Ma, Yik-Chung Wu, H. Vincent Poor:

Distributed Hybrid Power State Estimation under PMU Sampling Phase Errors. - Oran Richman, Shie Mannor:

How to Allocate Resources For Features Acquisition? - Mohammad Mozaffari, Walid Saad, Mehdi Bennis, Mérouane Debbah:

Mobile Internet of Things: Can UAVs Provide an Energy-Efficient Mobile Architecture? - Gitit Kehat, James Pustejovsky:

Annotation Methodologies for Vision and Language Dataset Creation. - Kiril Solovey, Dan Halperin:

Sampling-based bottleneck pathfinding with applications to Frechet matching. - Duc-Thuan Vo, Ebrahim Bagheri:

Open Information Extraction. - John Wieting, Mohit Bansal, Kevin Gimpel, Karen Livescu:

Charagram: Embedding Words and Sentences via Character n-grams. - Bart Jacobs:

Hyper Normalisation and Conditioning for Discrete Probability Distributions. - Kevin Shu, Sharjeel Aziz, Vy-Luan Huynh, David Warrick, Matilde Marcolli:

Syntactic Phylogenetic Trees. - Hugo Reboredo, Francesco Renna, A. Robert Calderbank, Miguel R. D. Rodrigues:

Bounds on the Number of Measurements for Reliable Compressive Classification. - Franck Dernoncourt:

Mapping distributional to model-theoretic semantic spaces: a baseline. - Joshua Joy, Ciaran McGoldrick, Mario Gerla:

Mobile Privacy-Preserving Crowdsourced Data Collection in the Smart City. - Wengu Chen, Huanmin Ge:

A sharp recovery condition for block sparse signals by block orthogonal multi-matching pursuit. - Mahnoosh Kholghi, Lance De Vine, Laurianne Sitbon, Guido Zuccon, Anthony N. Nguyen:

The benefits of word embeddings features for active learning in clinical information extraction. - Chao-Yeh Chen, Kristen Grauman:

Efficient Activity Detection in Untrimmed Video with Max-Subgraph Search. - Balaji Srinivasan Babu, K. P. Prasanth, P. Vijay Kumar:

Binary Codes with Locality for Four Erasures. - Satyajit Thakor, Terence Chan, Alex J. Grant:

Capacity Bounds for Networks with Correlated Sources and Characterisation of Distributions by Entropies. - Guobao Xiao, Hanzi Wang, Taotao Lai, David Suter:

Hypergraph Modelling for Geometric Model Fitting. - Nick Gravin, Yuval Peres, Balasubramanian Sivan:

Tight Lower Bounds for Multiplicative Weights Algorithmic Families. - Tobias Weinzierl:

Form Follows Function - Do algorithms and applications challenge or drag behind the hardware evolution? - Lars Hertel, Huy Phan, Alfred Mertins:

Classifying Variable-Length Audio Files with All-Convolutional Networks and Masked Global Pooling. - Takuya Kitazawa:

Incremental Factorization Machines for Persistently Cold-starting Online Item Recommendation. - Alberto Martín-Martín, Enrique Orduña-Malea, Juan Manuel Ayllón, Emilio Delgado López-Cózar:

A two-sided academic landscape: portrait of highly-cited documents in Google Scholar (1950-2013). - Muhammed O. Sayin, Emrah Akyol, Tamer Basar:

On the Structure of Equilibrium Strategies in Dynamic Gaussian Signaling Games. - Kensuke Harada, Weiwei Wan, Tokuo Tsuji, Kohei Kikuchi, Kazuyuki Nagata, Hiromu Onda:

Initial Experiments on Learning-Based Randomized Bin-Picking Allowing Finger Contact with Neighboring Objects. - László Csató:

A mathematical evaluation of vote transfer systems. - Mustafa S. Mehmetoglu, Emrah Akyol, Kenneth Rose:

Deterministic Annealing Optimization for Witsenhausen's and Related Decentralized Stochastic Control Problems. - Alessandro Di Giorgio, Andrea Di Maria, Francesco Liberati, Vincenzo Suraci, Francesco Delli Priscoli:

Lagrangian Decomposition based Multi Agent Model Predictive Control for Electric Vehicles Charging integrating Real Time Pricing. - Yewen Pu, Karthik Narasimhan, Armando Solar-Lezama, Regina Barzilay:

sk_p: a neural program corrector for MOOCs. - Markus Höhnerbach, Ahmed E. Ismail, Paolo Bientinesi:

The Vectorization of the Tersoff Multi-Body Potential: An Exercise in Performance Portability. - Anne Berry, Geneviève Simonet:

Computing the atom graph of a graph and the union join graph of a hypergraph. - Masanori Kawakita, Jun'ichi Takeuchi:

Minimum Description Length Principle in Supervised Learning with Application to Lasso. - Haris Aziz, Péter Biró, Serge Gaspers, Ronald de Haan, Nicholas Mattei, Baharak Rastegari:

Stable Matching with Uncertain Linear Preferences. - Emre Can Kara, Ciaran M. Roberts, Michaelangelo D. Tabone, Lilliana Alvarez, Duncan S. Callaway, Emma M. Stewart:

Towards Real-Time Estimation of Solar Generation From Micro-Synchrophasor Measurements. - Yongxu Zhu, Lifeng Wang, Kai-Kit Wong, Shi Jin, Zhongbin Zheng:

Wireless Power Transfer in Massive MIMO Aided HetNets with User Association. - Alon Gonen, Shai Shalev-Shwartz:

Faster Low-rank Approximation using Adaptive Gap-based Preconditioning. - Silvia Crafa, Luca Padovani:

On the chemistry of typestate-oriented actors. - Geoffrey Jones, Neil T. Clancy, Simon R. Arridge, Daniel S. Elson, Danail Stoyanov:

Inference of Haemoglobin Concentration From Stereo RGB. - Gabriel Resende Gonçalves, Sirlene Pio Gomes da Silva, David Menotti, William Robson Schwartz:

A Benchmark for License Plate Character Segmentation. - Arnaud Casteigts, Yves Métivier, John Michael Robson, Akka Zemmari:

Design Patterns in Beeping Algorithms. - Norbert Blenn, Piet Van Mieghem:

Are human interactivity times lognormal? - Elisabetta Bergamini, Michael Wegner, Dimitar Lukarski, Henning Meyerhenke:

Estimating Current-Flow Closeness Centrality with a Multigrid Laplacian Solver. - Asish Ghoshal, Jean Honorio:

From Behavior to Sparse Graphical Games: Efficient Recovery of Equilibria. - Natalia Zon, Vashti Galpin

, Stephen Gilmore:
Modelling movement for collective adaptive systems with CARMA. 43-52 - Mirco Tribastone:

Challenges in Quantitative Abstractions for Collective Adaptive Systems. 62-68 - Dag Normann:

The sequential functionals of type (ι→ι)n → ι form a dcpo for all n ∈ ℕ. - Saeid Kadkhodaei, Fatemeh Barantalab, Sima Taheri, Majid Foroughi, Farahnaz Golestan Hashemi, Mahmood Reza Shabanimofrad, Hossein Hosseinimonfared, Morvarid Akhavan Rezaei, Ali Ranjbarfard, Mahbod Sahebi, Parisa Azizi, Maryam Dadar, Rambod Abiri, Mohammad Fazel Harighi, Nahid Kalhori, Mohammad Reza Etemadi, Ali Baradaran, Mahmoud Danaee, Zahra Azhdari, Hamid Rajabi Memari, Vajiheh Safavi, Naser Tajabadi, Faruku Bande:

BioInfoBase : A Bioinformatics Resourceome. - Andrew Prout, William Arcand, David Bestor, Bill Bergeron, Chansup Byun, Vijay Gadepally, Matthew Hubbell, Michael Houle, Michael Jones, Peter Michaleas, Lauren Milechin, Julie Mullen, Antonio Rosa, Siddharth Samsi, Albert Reuther, Jeremy Kepner:

Enhancing HPC Security with a User-Based Firewall. - Pasin Manurangsi, Prasad Raghavendra:

A Birthday Repetition Theorem and Complexity of Approximating Dense CSPs. - Luigi Santocanale:

The Quasiequational theory of relational lattices, in the pure latice theory. - O. K. Sikha, S. Sachin Kumar, K. P. Soman:

Salient Region Detection and Segmentation in Images using Dynamic Mode Decomposition. - Ahmed Douik, Sameh Sorour, Babak Hassibi:

Completion Time Reduction for Partially Connected D2D-enabled Network using Binary Codes. - Mohammad Ghodsi, Salma Sadat Mahdavi, Ali Narenji Sheshkalani:

Clearing an Orthogonal Polygon Using Sliding Robots. - Daniel Jiwoong Im, Graham W. Taylor:

Learning a metric for class-conditional KNN. - Derek Greene, James P. Cross:

Exploring the Political Agenda of the European Parliament Using a Dynamic Topic Modeling Approach. - Pedro Saleiro, Carlos Soares:

Learning from the News: Predicting Entity Popularity on Twitter. - Bruno U. Pedroni, Sadique Sheik, Siddharth Joshi, Georgios Detorakis, Somnath Paul, Charles Augustine, Emre Neftci, Gert Cauwenberghs:

Forward Table-Based Presynaptic Event-Triggered Spike-Timing-Dependent Plasticity. - Ajinkya Bhole, Sri Harsha Turlapati, V. S. Rajashekhar, Jay Dixit, Suril Vijaykumar Shah, K. Madhava Krishna:

Design of a Robust Stair Climbing Compliant Modular Robot to Tackle Overhang on Stairs. - Hiva Ghanbari, Katya Scheinberg:

Proximal Quasi-Newton Methods for Convex Optimization. - Sébastien Bubeck, Ronen Eldan, Yin Tat Lee:

Kernel-based methods for bandit convex optimization. - Kamil Rocki:

Recurrent Memory Array Structures. - Qingjiang Shi, Haoran Sun, Songtao Lu, Mingyi Hong, Meisam Razaviyayn:

Inexact Block Coordinate Descent Methods For Symmetric Nonnegative Matrix Factorization. - Mario Mastriani:

Systholic Boolean Orthonormalizer Network in Wavelet Domain for SAR Image Despeckling. - Qingjiang Shi, Mingyi Hong, Xiqi Gao, Enbin Song, Yunlong Cai, WeiQiang Xu:

Joint Source-Relay Design for Full-Duplex MIMO AF Relay Systems. - Renaud-Alexandre Pitaval, Lu Wei, Olav Tirkkonen, Camilla Hollanti:

Density of Spherically-Embedded Stiefel and Grassmann Codes. - Ruoxi Jia, Roy Dong, S. Shankar Sastry, Costas J. Spanos:

Privacy-Enhanced Architecture for Occupancy-based HVAC Control. - Romulus Breban:

A mathematical model for a gaming community. - Mario Mastriani, Juliana Gambini:

Fast Cosine Transform to increase speed-up and efficiency of Karhunen-Loeve Transform for lossy image compression. - Stasa Milojevic, Filippo Radicchi, Judit Bar-Ilan:

Validity of Basing Authors' Publication Strategy on Journal Impact Factors. - Linqi Song:

Stream-based Online Active Learning in a Contextual Multi-Armed Bandit Framework. - Andrej Risteski:

How to calculate partition functions using convex programming hierarchies: provable bounds for variational methods. - Vijay Gadepally, Ashok K. Krishnamurthy:

A Framework for Estimating Long Term Driver Behavior. - Wenqi Wang, Shuchin Aeron, Vaneet Aggarwal:

On Deterministic Conditions for Subspace Clustering under Missing Data. - Fionn Murtagh, Michael Orlov, Boris G. Mirkin:

Qualitative Judgement of Research Impact: Domain Taxonomy as a Fundamental Framework for Judgement of the Quality of Research. - Yan Xu, Yang Li, Mingyuan Liu, Yipei Wang, Maode Lai, Eric I-Chao Chang:

Gland Instance Segmentation by Deep Multichannel Side Supervision. - Xiaoyue Jiang, Dong Zhang, Xiaoyi Feng:

Local feature hierarchy for face recognition across pose and illumination. - Qingqing Wu, Geoffrey Ye Li, Wen Chen, Derrick Wing Kwan Ng:

Spectrum-Power Trading for Energy-Efficient Small Cell. - Vishwesh Jatala, Jayvant Anantpur, Amey Karkare:

Scratchpad Sharing in GPUs. - Martin Henze

, René Hummen, Roman Matzutt, Klaus Wehrle:
The SensorCloud Protocol: Securely Outsourcing Sensor Data to the Cloud. - Sohil Shah, Kuldeep Kulkarni, Arijit Biswas, Ankit Gandhi, Om Deshmukh, Larry S. Davis:

Weakly Supervised Learning of Heterogeneous Concepts in Videos. - Siamak Layeghy, Farzaneh Pakzad, Marius Portmann:

SCOR: Software-defined Constrained Optimal Routing Platform for SDN. - Saurabh Chauhan:

Programming Internet of Things, Service, and People (IoTSP) Applications. - Hengyuan Hu, Rui Peng, Yu-Wing Tai, Chi-Keung Tang:

Network Trimming: A Data-Driven Neuron Pruning Approach towards Efficient Deep Architectures. - Björn Gmeiner, Daniel Drzisga, Ulrich Rüde, Robert Scheichl, Barbara I. Wohlmuth:

Scheduling massively parallel multigrid for multilevel Monte Carlo methods. - Piotr Gawlowicz, Sven Zehl, Anatolij Zubow, Adam Wolisz:

NxWLAN: Neighborhood eXtensible WLAN. - Benjamin Elizalde, Guan-Lin Chao, Ming Zeng, Ian R. Lane:

City-Identification of Flickr Videos Using Semantic Acoustic Features. - Jiwei Yan, Tianyong Wu, Jun Yan, Jian Zhang:

Target Directed Event Sequence Generation for Android Applications. - Nizar Ouni, Ridha Bouallegue:

Modified LLL algorithm with shifted start column. - Ying Cui, Fan Lai, Edmund M. Yeh, Ran Liu:

Enhanced VIP Algorithms for Forwarding, Caching, and Congestion Control in Named Data Networks. - Nizar Ouni, Ridha Bouallegue:

Performance and Complexity Analysis of a Reduced Iterations LLL Algorithm. - M. Kivanç Mihçak, Emrah Akyol, Tamer Basar, Cedric Langbort:

Scalar Quadratic-Gaussian Soft Watermarking Games. - Maria Han Veiga, Carsten Eickhoff:

A Cross-Platform Collection of Social Network Profiles. - Sinh Cong Lam, Kumbesan Sandrasegaran:

Analytical and Simulation Performance of a Typical User in Random Cellular Network. - Lyes Abada, Saliha Aouat:

A Machine learning approach for Shape From Shading. - Weng Kin Ho, Achim Jung, Xiaoyong Xi:

The Ho-Zhao Problem. - Lyes Abada, Saliha Aouat, Omar El Farouk Bourahla:

Boundary conditions for Shape from Shading. - Chih-Kuan Yeh, Hsuan-Tien Lin:

Automatic Bridge Bidding Using Deep Reinforcement Learning. - Keren Zhou, Guangming Tan, Wei Zhou:

Quadboost: A Scalable Concurrent Quadtree. - Lorenz Kuhn, Carsten Eickhoff:

Implicit Negative Feedback in Clinical Information Retrieval. - Martin Cadík, Jan Vasícek, Michal Hradis, Filip Radenovic, Ondrej Chum:

Camera Elevation Estimation from a Single Mountain Landscape Photograph. - Shangbo Mao, Enmei Tu, Guanghao Zhang, Lily Rachmawati, Eshan Rajabally, Guang-Bin Huang:

An Automatic Identification System (AIS) Database for Maritime Trajectory Prediction and Data Mining. - Marija Slavkovik:

An Introductory Course to Judgment Aggregation. - Dirk Weissenborn:

Separating Answers from Queries for Neural Reading Comprehension. - Duc-Cuong Dang, Thomas Jansen, Per Kristian Lehre:

Populations can be essential in tracking dynamic optima. - Jennie Zhang, Taha Yasseri

:
What Happens After You Both Swipe Right: A Statistical Description of Mobile Dating Communications. - Liangqiong Qu, Shengfeng He, Jiawei Zhang, Jiandong Tian, Yandong Tang, Qingxiong Yang:

RGBD Salient Object Detection via Deep Fusion. - Konstantinos Mastakas, Antonios Symvonis:

Rooted Uniform Monotone Minimum Spanning Trees. - Poulami Dalapati, Piyush Agarwal, Animesh Dutta

, Swapan Bhattacharya:
Real-time Rescheduling in Distributed Railway Network: An Agent-Based Approach. - Tao Jiang, Chunxing Ni, Yuance Xu:

Novel 16-QAM and 64-QAM Near-Complementary Sequences with Low PMEPR in OFDM Systems. - Michael Iliadis, Leonidas Spinoulas, Aggelos K. Katsaggelos:

DeepBinaryMask: Learning a Binary Mask for Video Compressive Sensing. - Lifeng Wang, Kai-Kit Wong, Maged Elkashlan, Arumugam Nallanathan, Sangarapillai Lambotharan:

Secrecy and Energy Efficiency in Massive MIMO Aided Heterogeneous C-RAN: A New Look at Interference. - Mohammad Gharbieh, Hesham ElSawy, Ahmed Bader, Mohamed-Slim Alouini

:
Tractable Stochastic Geometry Model for IoT Access in LTE Networks. - Jiaxun Lu, Xuhong Chen, Shanyun Liu, Pingyi Fan:

Location-aware ICI Reduction in MIMO-OFDM Downlinks for High-speed Railway Communication Systems. - Benjamin Aminof, Vadim Malvone

, Aniello Murano
, Sasha Rubin
:
Extended Graded Modalities in Strategy Logic. 1-14 - Hein Duijf

, Jan M. Broersen:
Representing Strategies. 15-26 - Stéphane Le Roux, Arno Pauly

:
Extending Finite Memory Determinacy to Multiplayer Games. 27-40 - Yuanzhi Li, Andrej Risteski:

Approximate maximum entropy principles via Goemans-Williamson with applications to provable variational methods. - Brendan John, Jackson Carter, Javier Ruiz, Sai Krishna Allani, Saurabh Dixit, Cindy M. Grimm, Ravi Balasubramanian:

Human-Planned Robotic Grasp Ranges: Capture and Validation. - Sorrachai Yingchareonthawornchai, Duong N. Nguyen, Vidhya Tekken Valapil, Sandeep S. Kulkarni, Murat Demirbas:

Precision, Recall, and Sensitivity of Monitoring Partially Synchronous Distributed Systems. - Rabe Arshad, Hesham ElSawy, Sameh Sorour, Tareq Y. Al-Naffouri

, Mohamed-Slim Alouini
:
Cooperative Handover Management in Dense Cellular Networks. - Yangqing Li, Saurabh Prasad, Wei Chen, Changchuan Yin, Zhu Han:

An approximate message passing approach for compressive hyperspectral imaging using a simultaneous low-rank and joint-sparsity prior. - Tim Nelson, Nicholas DeMarinis, Timothy Adam Hoff, Rodrigo Fonseca, Shriram Krishnamurthi:

Compiling Stateful Network Properties for Runtime Verification. - Qianqian Xu, Jiechao Xiong, Xiaochun Cao, Yuan Yao:

Parsimonious Mixed-Effects HodgeRank for Crowdsourced Preference Aggregation. - Renata Khasanova, Xiaowen Dong, Pascal Frossard:

Multi-modal image retrieval with random walk on multi-layer graphs. - Gabriel Martins Dias:

Performance Optimization of WSNs using External Information. - Brian Glass, Graeme Jenkinson, Yuqi Liu, M. Angela Sasse, Frank Stajano:

The usability canary in the security coal mine: A cognitive framework for evaluation and design of usable authentication solutions. - Matthias Vestner, Roee Litman, Alexander M. Bronstein, Emanuele Rodolà, Daniel Cremers:

Bayesian Inference of Bijective Non-Rigid Shape Correspondence. - Pantita Palittapongarnpim, Peter Wittek, Ehsan Zahedinejad, Barry C. Sanders:

Learning in Quantum Control: High-Dimensional Global Optimization for Noisy Quantum Dynamics. - Marthe Bonamy, Lukasz Kowalik, Michal Pilipczuk, Arkadiusz Socala, Marcin Wrochna:

Tight lower bounds for the complexity of multicoloring. - Dixita Limbachiya, Dhaval Trivedi, Manish K. Gupta:

DNA Image Pro - A Tool for Generating Pixel Patterns using DNA Tile Assembly. - Gabriel Martins Dias, Boris Bellalta, Simon Oechsner:

A Survey about Prediction-Based Data Reduction in Wireless Sensor Networks. - Nadia Polikarpova, Jean Yang, Shachar Itzhaky, Armando Solar-Lezama:

Type-Driven Repair for Information Flow Security. - Leandro Soares Indrusiak

, James Harbin, Martha Johanna Sepúlveda:
Side-Channel Attack Resilience through Route Randomisation in Secure Real-Time Networks-on-Chip. - Gilles Barthe, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub:

Coupling proofs are probabilistic product programs. - Amit Bermanis, Aviv Rotbart, Moshe Salhov, Amir Averbuch:

Incomplete Pivoted QR-based Dimensionality Reduction. - Zeyuan Allen Zhu, Yuanzhi Li:

Even Faster SVD Decomposition Yet Without Agonizing Pain. - Roy R. Lederman, Amit Singer:

A Representation Theory Perspective on Simultaneous Alignment and Classification. - Fred W. Glover:

Pseudo-Centroid Clustering. - Guillermo Gallego, Jon E. A. Lund, Elias Mueggler, Henri Rebecq, Tobi Delbruck, Davide Scaramuzza:

Event-based, 6-DOF Camera Tracking for High-Speed Applications. - Julian G. Zilly, Rupesh Kumar Srivastava, Jan Koutník, Jürgen Schmidhuber:

Recurrent Highway Networks. - Paul Henderson, Vittorio Ferrari:

End-to-end training of object class detectors for mean average precision. - Yunus Emre Sahin, Necmiye Ozay:

SAT-based Distributed Reactive Control Protocol Synthesis for Boolean Networks. - Isabel M. Kloumann, Johan Ugander, Jon M. Kleinberg:

Block Models and Personalized PageRank. - Manuel J. A. Eugster, Tuukka Ruotsalo, Michiel M. A. Spapé, Oswald Barral, Niklas Ravaja, Giulio Jacucci, Samuel Kaski:

Natural brain-information interfaces: Recommending information by relevance inferred from human brain signals. - Muhammad Ghifary, W. Bastiaan Kleijn

, Mengjie Zhang, David Balduzzi, Wen Li:
Deep Reconstruction-Classification Networks for Unsupervised Domain Adaptation. - Kasper Fløe Trillingsgaard, Wei Yang, Giuseppe Durisi, Petar Popovski:

Variable-Length Coding with Stop-Feedback for the Common-Message Broadcast Channel in the Nonasymptotic Regime. - Matt Gardner, Jayant Krishnamurthy:

Open-Vocabulary Semantic Parsing with both Distributional Statistics and Formal Knowledge. - Ron Appel, Xavier P. Burgos-Artizzu, Pietro Perona:

Improved Multi-Class Cost-Sensitive Boosting via Estimation of the Minimum-Risk Class. - Chengtao Li, Stefanie Jegelka, Suvrit Sra:

Fast Sampling for Strongly Rayleigh Measures with Application to Determinantal Point Processes. - Chun-Hung Liu, Hong-Cheng Tsai:

Traffic Management for Heterogeneous Networks with Opportunistic Unlicensed Spectrum Sharing. - Avhishek Chatterjee, Lav R. Varshney:

Energy-Reliability Limits in Nanoscale Circuits. - Cuiyun Gao, Hui Xu, Yichuan Man, Yangfan Zhou, Michael R. Lyu:

IntelliAd Understanding In-APP Ad Costs From Users Perspective. - Mohammad Moghadamfalahi, Murat Akçakaya, Hooman Nezamfar, Jamshid Sourati, Deniz Erdogmus:

An Active RBSE Framework to Generate Optimal Stimulus Sequences in a BCI for Spelling. - Brian M. Kurkoski:

Encoding and Indexing of Lattice Codes. - Atsushi Iwasaki, Tadashi Sekiguchi, Shun Yamamoto, Makoto Yokoo:

Repeated multimarket contact with observation errors. - Volodymyr Kuleshov, Stefano Ermon:

Reliable Confidence Estimation via Online Learning. - Jonathan Tompson, Kristofer Schlachter, Pablo Sprechmann, Ken Perlin:

Accelerating Eulerian Fluid Simulation With Convolutional Networks. - Gabriel Martins Dias, Cíntia Borges Margi, Filipe C. P. de Oliveira, Boris Bellalta:

Cloud Empowered Self-Managing WSNs. - Weishan Dong, Jian Li, Renjie Yao, Changsheng Li, Ting Yuan, Lanjun Wang:

Characterizing Driving Styles with Deep Learning. - François Clément, Vincent Martin:

The Lax-Milgram Theorem. A detailed proof to be formalized in Coq. - Yehya Abouelnaga:

San Francisco Crime Classification. - Jean-Guillaume Dumas

, Pascal Lafourcade
, Jean-Baptiste Orfila, Maxime Puys
:
Private Multi-party Matrix Multiplication and Trust Computations. - Adam Cooman:

Conversions between Electrical Network Representations. - Manuel Mazzara:

LTL-based Verification of Reconfigurable Workflows. - Aaron Segal, Joan Feigenbaum, Bryan Ford:

Open, privacy-preserving protocols for lawful surveillance. - Dingzhu Wen, Guanding Yu, Rongpeng Li, Yan Chen, Geoffrey Ye Li:

Energy- and Spectral-Efficiency Tradeoff in Full-Duplex Communications. - Jean-Philippe Montillet:

On The Use of Conjugate Teager-Kaiser Energy Operators with Matched Filters. - Simon Collet, Pierre Fraigniaud, Paolo Penna:

Local Distributed Algorithms for Selfish Agents. - Yong Xu, Qiang Huang, Wenwu Wang, Peter Foster, Siddharth Sigtia, Philip J. B. Jackson, Mark D. Plumbley:

Fully Deep Neural Networks Incorporating Unsupervised Feature Learning for Audio Tagging. - Yong Xu, Qiang Huang, Wenwu Wang, Mark D. Plumbley:

Hierachical learning for DNN-based acoustic scene classification. - Kenza Hamidouche, Walid Saad, Mérouane Debbah:

Breaking the Economic Barrier of Caching in Cellular Networks: Incentives and Contracts. - Andrew Chi-Chih Yao:

On Solutions for the Maximum Revenue Multi-item Auction under Dominant-Strategy and Bayesian Implementations. - Yiannis Giannakopoulos

, Elias Koutsoupias, Maria Kyropoulou:
The Anarchy of Scheduling Without Money. - Gabriella Contardo, Ludovic Denoyer, Thierry Artières:

Sequential Cost-Sensitive Feature Acquisition. - Maroua Haddad, Philippe Leray, Nahla Ben Amor:

Possibilistic Networks: Parameters Learning from Imprecise Data and Evaluation strategy. - Hwiyeol Jo, Yohan Moon, Jong In Kim, Jeong Ryu:

Re-presenting a Story by Emotional Factors using Sentimental Analysis Method. - Diptarka Chakraborty

, Elazar Goldenberg, Michal Koucký:
Streaming Algorithms For Computing Edit Distance Without Exploiting Suffix Trees. - Waqas Bin Abbas, Felipe Gómez-Cuba, Michele Zorzi:

Millimeter Wave Receiver Efficiency: A Comprehensive Comparison of Beamforming Schemes with Low Resolution ADCs. - Stephen Gilmore:

Data as processes: introducing measurement data into CARMA models. 31-42 - Konstantinos N. Maliatsos, Eleftherios Kofidis, Athanasios G. Kanatas:

A Unified Multicarrier Modulation Framework. - Abel Gonzalez-Garcia, Davide Modolo, Vittorio Ferrari:

Do semantic parts emerge in Convolutional Neural Networks? - Sunny Daniels:

Generating Cycloidal Gears for 3D Printing. - Marc de Visme, Glynn Winskel:

Strategies with Parallel Causes. - Amol Patwardhan:

Analysis of Software Delivery Process Shortcomings and Architectural Pitfalls. - Glynn Winskel:

Distributed Games and Strategies. - Sebastian Säger, Damian Borth, Benjamin Elizalde, Christian Schulze, Bhiksha Raj, Ian R. Lane, Andreas Dengel:

AudioSentibank: Large-scale Semantic Ontology of Acoustic Concepts for Audio Content Analysis. - James Henderson, Diana Nicoleta Popa:

A Vector Space for Distributional Semantics for Entailment. - Suyash Shetty:

Application of Convolutional Neural Network for Image Classification on Pascal VOC Challenge 2012 dataset. - Chunlei Zhang, Yongqiang Wang:

Distributed Event Localization via Alternating Direction Method of Multipliers. - Susanne Pumpluen:

How to obtain lattices from (f, sigma, delta)-codes via a generalization of Construction A. - David Adjiashvili:

Improved Approximation for Weighted Tree Augmentation with Bounded Costs. - Avik De, Samuel A. Burden, Daniel E. Koditschek:

A Hybrid Dynamical Extension of Averaging. - Yue Liu:

On the Algebraic Representation of One-Tape Deterministic Turing Machine. - Barnaby Martin:

On the Chen Conjecture regarding the complexity of QCSPs. - Salman Fadaei, Martin Bichler:

Truthfulness with Value-Maximizing Bidders. - Matthias Plappert, Christian Mandery, Tamim Asfour:

The KIT Motion-Language Dataset. - Jian Du, Yik-Chung Wu:

Distributed Clock Skew and Offset Estimation in Wireless Sensor Networks: Asynchronous Algorithm and Convergence Analysis. - Minghui Jiang:

Periodicity of identifying codes in strips. - Piotr Beben:

Fitting a Simplicial Complex using a Variation of k-means. - John V. Monaco, Charles C. Tappert:

The Partially Observable Hidden Markov Model with Application to Keystroke Biometrics. - Yanlin Qian, Ke Chen, Joni-Kristian Kamarainen, Jarno Nikkanen, Jiri Matas:

Deep Structured-Output Regression Learning for Computational Color Constancy. - Alfredo Braunstein, Anna Muntoni:

Practical optimization of Steiner Trees via the cavity method. - (Withdrawn) Compactification of *-autonomous categories.

- Tung Mai, Ioannis Panageas, Vijay V. Vazirani:

Opinion Dynamics in Networks: Convergence, Stability and Lack of Explosion. - Liye Fu, Cristian Danescu-Niculescu-Mizil, Lillian Lee:

Tie-breaker: Using language models to quantify gender bias in sports journalism. - Zahra Fatemi, Mostafa Salehi, Matteo Magnani:

A simple multiforce layout for multiplex networks. - Pavel Klavík, Dusan Knop, Peter Zeman:

Graph Isomorphism Restricted by Lists. - Gerard Djengomemgoto:

Development of Graphical User Interface For Microwave Filter Design. - Eric Blais, Clément L. Canonne, Talya Eden, Amit Levi, Dana Ron:

Tolerant Junta Testing and the Connection to Submodular Optimization and Function Isomorphism. - Mordechai Guri, Ofer Hasson, Gabi Kedma, Yuval Elovici:

VisiSploit: An Optical Covert-Channel to Leak Data through an Air-Gap. - Linqi Song, Christina Fragouli:

Making recommendations bandwidth aware. - Chris Sweeney, Victor Fragoso, Tobias Höllerer, Matthew Turk:

Large Scale SfM with the Distributed Camera Model. - Simon Korman, Daniel Reichman:

Testing Pattern-Freeness. - Johann A. Bengua, Hoang Duong Tuan, Ho N. Phien, Minh N. Do:

Concatenated image completion via tensor augmentation and completion. - Nelle Varoquaux:

8th European Conference on Python in Science (EuroSciPy 2015). - Mona Khaffaf, Arshia Khaffaf:

Resource Planning For Rescue Operations. - Jayadev Acharya, Ilias Diakonikolas, Jerry Li, Ludwig Schmidt:

Fast Algorithms for Segmented Regression. - Bin Liu, Hao Ji, Yi Dai:

Vision-based Traffic Flow Prediction using Dynamic Texture Model and Gaussian Process. - Andreas Björklund, Ioannis Koutis:

Modular Sieves for Directed Hamiltonian Cycles. - Seungyul Han, Youngchul Sung, Yong Hoon Lee:

Filter Design for Generalized Frequency-Division Multiplexing. - David G. Kirkpatrick, Paul Liu:

Characterizing minimum-length coordinated motions for two discs. - Andrzej Kisielewicz, Jakub Kowalski, Marek Szykula:

Experiments with Synchronizing Automata. - Pascal Caron, Jean-Gabriel Luque, Bruno Patrou:

State complexity of multiple catenation. - Faik Boray Tek, Andrew G. Dempster, Izzet Kale:

Adaptive Gray World-Based Color Normalization of Thin Blood Film Images. - John P. Gallagher

, Philipp Rümmer:
Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis, HCVS@ETAPS 2016, Eindhoven, The Netherlands, 3rd April 2016. EPTCS 219, 2016 [contents] - Dirk Sudholt, Carsten Witt:

Update Strength in EDAs and ACO: How to Avoid Genetic Drift. - Mauro Girotto, Andrea M. Tonello:

Orthogonal Design of Cyclic Block Filtered Multitone Modulation. - K. G. Kapanova, Jean Michel D. Sellier:

Designing a High Performance Parallel Personal Cluster. - Robert Dahl Jacobsen, Morten Nielsen, Morten Grud Rasmussen:

Generalized Sampling in Julia. - Stefan Fehrenbach, James Cheney

:
Language-integrated provenance. - Katina Kralevska, Danilo Gligoroski, Harald Øverby:

General Sub-packetized Access-Optimal Regenerating Codes. - Giulio Petrucci, Chiara Ghidini, Marco Rospocher:

Using Recurrent Neural Network for Learning Expressive Ontologies. - Mike Thelwall

:
Citation count distributions for large monodisciplinary journals. - Peter Hertling:

Two Counterexamples Concerning the Scott Topology on a Partial Order. - Katina Kralevska, Danilo Gligoroski, Harald Øverby:

Balanced Locally Repairable Codes. - Nico Hochgeschwender, Holger Voos, Gerhard K. Kraetzschmar:

Towards Persistent Storage and Retrieval of Domain Models using Graph Database Technology. - Vinay Praneeth Boda, Prakash Narayan:

Sampling Rate Distortion. - Nikos Deligiannis, João F. C. Mota, Bruno Cornelis, Miguel R. D. Rodrigues, Ingrid Daubechies:

Multi-modal dictionary learning for image separation with application in art investigation. - Paul Dütting, Thomas Kesselheim:

Best-Response Dynamics in Combinatorial Auctions with Item Bidding. - Simon Huber:

Canonicity for Cubical Type Theory. - Hadrian Andradi, Weng Kin Ho:

Strong completions of spaces. - Shawn Andrews, Ghassan Hamarneh:

Adaptable Precomputation for Random Walker Image Segmentation and Registration. - George Labahn, Vincent Neiger, Wei Zhou:

Fast, deterministic computation of the Hermite normal form and determinant of a polynomial matrix. - Cyrus Omar, Ian Voysey, Michael Hilton, Jonathan Aldrich, Matthew A. Hammer:

Hazelnut: A Bidirectionally Typed Structure Editor Calculus. - Mathieu Acher, François Esnault:

Large-scale Analysis of Chess Games with Chess Engines: A Preliminary Report. - Romain Vernoux:

Design of an intermediate representation for query languages. - Djamal Belazzougui, Qin Zhang:

Edit Distance: Sketching, Streaming and Document Exchange. - Yan-Yu Zhang, Hong-Yi Yu, Jian-Kang Zhang, Jin-Long Wang:

Reliable MIMO Optical Wireless Communications Through Super-Rectangular Cover. - William S. Moses, Erik D. Demaine:

Computational Complexity of Arranging Music. - Evgeny Frolov, Ivan V. Oseledets:

Fifty Shades of Ratings: How to Benefit from a Negative Feedback in Top-N Recommendations Tasks. - Arturs Backurs, Christos Tzamos:

Improving Viterbi is Hard: Better Runtimes Imply Faster Clique Algorithms. - Thomas Bamford, Kamran Esmaeili, Angela P. Schoellig:

A real-time analysis of rock fragmentation using UAV technology. - Matthew G. Knepley, Karl Rupp, Andy R. Terrel:

Finite Element Integration with Quadrature on the GPU. - Ahmad Reza Shehabinia, Liyong Lin, Rong Su:

Timed Supervisory Control for Operational Planning and Scheduling under Multiple Job Deadlines. - Chalise Birendra:

Android Permission Model. - Marco Bressan, Stefano Leucci, Alessandro Panconesi, Prabhakar Raghavan, Erisa Terolli:

The Limits of Popularity-Based Recommendations, and the Role of Social Ties. - Mario Mastriani:

Enhanced Boolean Correlation Matrix Memory. - Christoph Berkholz, Martin Grohe:

Linear Diophantine Equations, Group CSPs, and Graph Isomorphism. - Diman Zad Tootaghaj, Farshid Farhat:

Optimal Placement of Cores, Caches and Memory Controllers in NoC. - Nicholas Carlini, David A. Wagner:

Defensive Distillation is Not Robust to Adversarial Examples. - Tsendsuren Munkhdalai, Hong Yu:

Neural Semantic Encoders. - Thanh Tran, Kyumin Lee:

Understanding Citizen Reactions and Ebola-Related Information Propagation on Social Media. - Vanco Cabukovski, Roman Golubovski, Riste Temjanovski:

Learning Repository Adaptibility in an Agent-Based University Environment. - Badih Ghazi, Pritish Kamath, Madhu Sudan:

Decidability of Non-Interactive Simulation of Joint Distributions. - Aziz Ouaarab, Belaïd Ahiod, Xin-She Yang:

Random-Key Cuckoo Search for the Travelling Salesman Problem. - Michele Polese:

Performance Comparison of Dual Connectivity and Hard Handover for LTE-5G Tight Integration in mmWave Cellular Networks. - Mathys Rennela:

Convexity and Order in Probabilistic Call-by-Name FPC. - Mikhail Ivanov, Fredrik Brännström, Alexandre Graell i Amat, Gianluigi Liva:

Unequal Error Protection in Coded Slotted ALOHA. - Farshid Farhat, Diman Zad Tootaghaj, Mohammad Arjomand:

Towards Optimizing Data Computing Flow in the Cloud. - Esther Ezra, Micha Sharir:

The Decision Tree Complexity for k-SUM is at most Nearly Quadratic. - Geordie George, Kiran Venugopal, Angel E. Lozano, Robert W. Heath Jr.:

Enclosed mmWave Wearable Networks: Feasibility and Performance. - Karen Leung, Ian R. Manchester:

Chebyshev Pseudospectral Method for Nonlinear Stabilization using Control Contraction Metrics. - Hudson Borges, André C. Hora, Marco Túlio Valente:

Predicting the Popularity of GitHub Repositories. - J. Ian Munro, Gonzalo Navarro, Yakov Nekrich:

Space-Efficient Construction of Compressed Indexes in Deterministic Linear Time. - Higor Amario de Souza, Marcos Lordello Chaim, Fabio Kon:

Spectrum-based Software Fault Localization: A Survey of Techniques, Advances, and Challenges. - Geordie George, Ratheesh Kumar Mungara, Angel E. Lozano, Martin Haenggi:

Ergodic Spectral Efficiency in MIMO Cellular Networks. - Ramón Iglesias, Federico Rossi, Rick Zhang, Marco Pavone:

A BCMP Network Approach to Modeling and Controlling Autonomous Mobility-on-Demand Systems. - Andrew W. Palmer, Andrew John Hill, Steven J. Scheding:

Multi-robot task allocation with resource contention and uncertain timing. - Yalew Zelalem Jembre, Young-June Choi:

Grid-Based Multichannel Access in Vehicular Networks. - Christopher A. Wilkens, Ruggiero Cavallo, Rad Niazadeh:

Mechanism Design for Value Maximizers. - Wayes Tushar, Jian Andrew Zhang

, Chau Yuen, David B. Smith, Naveed Ul Hassan:
Management of Renewable Energy for A Shared Facility Controller in Smart Grid. - Ruining He, Chen Fang, Zhaowen Wang, Julian J. McAuley:

Vista: A Visually, Socially, and Temporally-aware Model for Artistic Recommendation. - Jay Ming Wong, Roderic A. Grupen:

Intrinsically Motivated Multimodal Structure Learning. - Liping Jing, Bo Liu, Jaeyoung Choi, Adam Janin, Julia Bernd, Michael W. Mahoney, Gerald Friedland:

DCAR: A Discriminative and Compact Audio Representation to Improve Event Detection. - Renzhi Cao, Debswapna Bhattacharya, Jie Hou, Jianlin Cheng:

DeepQA: Improving the estimation of single protein model quality with deep belief networks. - Song Han, Jeff Pool, Sharan Narang, Huizi Mao, Shijian Tang, Erich Elsen, Bryan Catanzaro, John Tran, William J. Dally:

DSD: Regularizing Deep Neural Networks with Dense-Sparse-Dense Training Flow. - João Pedro Pedroso

:
Heuristics for Packing Semifluids. - Yinxiao Li, Yan Wang, Yonghao Yue, Danfei Xu, Michael Case, Shih-Fu Chang, Eitan Grinspun, Peter K. Allen:

Model-Driven Feed-Forward Prediction for Manipulation of Deformable Objects. - Mate Boban, Xitao Gong, Wen Xu:

Modeling the Evolution of Line-of-Sight Blockage for V2V Channels. - Fatma Al Maqbali, Chris J. Mitchell:

Password Generators: Old Ideas and New. - Yiming Cui, Zhipeng Chen, Si Wei, Shijin Wang, Ting Liu, Guoping Hu:

Attention-over-Attention Neural Networks for Reading Comprehension. - Joe Suzuki:

A Theoretical Analysis of the BDeu Scores in Bayesian Network Structure Learning. - Andrea Munari, Francesco Rossetto, Petri Mähönen, Marina Petrova:

On the Stability of a Full-Duplex Aloha Network. - Lena Schlipf, Jens M. Schmidt:

Edge-Orders. - Patrick Wieschollek, Michael Hirsch, Hendrik P. A. Lensch, Bernhard Schölkopf:

End-to-End Learning for Image Burst Deblurring. - David Ribeiro, André Mateus, Jacinto C. Nascimento, Pedro Miraldo:

A Real-Time Deep Learning Pedestrian Detector for Robot Navigation. - Matthias R. Brust, Bogdan M. Strimbu:

A Networked Swarm Model for UAV Deployment in the Assessment of Forest Environments. - David Ribeiro, André Mateus, Jacinto C. Nascimento, Pedro Miraldo:

A Real-Time Pedestrian Detector using Deep Learning for Human-Aware Navigation. - Shouhei Fukunaga, Yoshimasa Takabatake, Tomohiro I, Hiroshi Sakamoto:

Online Grammar Compression for Frequent Pattern Discovery. - S. Senthilmurugan, Junaid Ansari, Petri Mähönen, T. G. Venkatesh, Marina Petrova:

Channel Selection Algorithm for Cognitive Radio Networks with Heavy-Tailed Idle Times. - Lei Dong, Sicong Chen, Yunsheng Cheng, Zhengwei Wu, Chao Li, Haishan Wu:

Measuring Economic Activities of China with Mobile Big Data. - Dimitar Asenov, Peter Müller, Lukas Vogel:

The IDE as a Scriptable Information System (extended version). - Tewodros A. Beyene, Corneliu Popeea, Andrey Rybalchenko:

Efficient CTL Verification via Horn Constraints Solving. 1-14 - Pierre-Loïc Garoche, Temesghen Kahsai, Xavier Thirioux:

Hierarchical State Machines as Modular Horn Clauses. 15-28 - Peter Schrammel

:
Challenges in Decomposing Encodings of Verification Problems. 29-32 - Bishoksan Kafle, John P. Gallagher

, Pierre Ganty:
Solving non-linear Horn clauses using a linear Horn clause solver. 33-48 - Emanuele De Angelis

, Fabio Fioravanti
, Alberto Pettorossi
, Maurizio Proietti:
Removing Unnecessary Variables from Horn Clause Verification Conditions. 49-55 - Gabriele Paganelli:

Horn Binary Serialization Analysis. 56-68 - Tsendsuren Munkhdalai, Hong Yu:

Neural Tree Indexers for Text Understanding. - Wayne Eberly:

Selecting Algorithms for Black Box Matrices: Checking for Matrix Properties That Can Simplify Computations. - Boas Kluiving, Wijnand van Woerkom:

Number representations and term rewriting. - Wayne Eberly:

Black Box Linear Algebra: Extending Wiedemann's Analysis of a Sparse Matrix Preconditioner for Computations over Small Fields. - Suryansh Kumar, Yuchao Dai, Hongdong Li:

Multi-body Non-rigid Structure-from-Motion. - Tulika Agrawal, Samar Agnihotri:

Secure Analog Network Coding in Layered Networks. - Yuichi Yoshida:

Maximizing a Monotone Submodular Function with a Bounded Curvature under a Knapsack Constraint. - Michael Neunert, Farbod Farshidian, Alexander W. Winkler, Jonas Buchli:

Trajectory Optimization Through Contacts and Automatic Gait Discovery for Quadrupeds. - Pedro Montealegre, Ioan Todinca:

On Distance-d Independent Set and other problems in graphs with few minimal separators. - Philipp Wagner, Thomas Wild, Andreas Herkersdorf:

Improving SoC Insight Through On-Chip Diagnosis. - Alfonso Cevallos, Friedrich Eisenbrand, Rico Zenklusen:

Local Search for Max-Sum Diversification. - Xinyu Gao, Linglong Dai, Akbar M. Sayeed:

Low RF-Complexity Technologies for 5G Millimeter-Wave MIMO Systems with Large Antenna Arrays. - Yi Zhou, Li Liu, Ling Shao, Matt Mellor:

DAVE: A Unified Framework for Fast Vehicle Detection and Annotation. - Luiz G. Hafemann, Robert Sabourin, Luiz S. Oliveira:

Analyzing features learned for Offline Signature Verification using Deep CNNs. - John M. Pierre, Mark Butler, Jacob Portnoff, Luis Aguilar:

Neural Discourse Modeling of Conversations. - Bo Dai, Niao He, Yunpeng Pan, Byron Boots, Le Song:

Learning from Conditional Distributions via Dual Kernel Embeddings. - Matthew J. Liberatore:

A Counterexample to the Forward Recursion in Fuzzy Critical Path Analysis Under Discrete Fuzzy Sets. - Siddharth Sigtia, Adam M. Stark, Sacha Krstulovic, Mark D. Plumbley:

Automatic Environmental Sound Recognition: Performance versus Computational Cost. - Minshan Cui, Saurabh Prasad:

Spatial Context based Angular Information Preserving Projection for Hyperspectral Image Classification. - Sebastian Ament, Nikhil Rangarajan, Shaloo Rakheja:

A practical guide to solving the stochastic Landau-Lifshitz-Gilbert-Slonczewski equation for macrospin dynamics. - Marek A. Suchenek:

Best-case Analysis of MergeSort with an Application to the Sum of Digits Problem, A manuscript (MS). - Piotr Bojanowski, Edouard Grave, Armand Joulin, Tomás Mikolov:

Enriching Word Vectors with Subword Information. - Saurabh Prasad, Tanu Priya, Minshan Cui, Shishir Shah:

Person Re-identification with Hyperspectral Multi-Camera Systems - A Pilot Study. - John Longley:

The recursion hierarchy for PCF is strict. - William Montgomery, Sergey Levine:

Guided Policy Search as Approximate Mirror Descent. - Aronee Dasgupta, Sahil Chakraborty, Astha Nachrani, Pritam Gajkumar Shah:

Lightweight Security Protocol for WiSense based Wireless Sensor Network. - Subarna Tripathi, Zachary C. Lipton, Serge J. Belongie, Truong Q. Nguyen:

Context Matters: Refining Object Detection in Video with Recurrent Neural Networks. - Victor Andrei, Ognjen Arandjelovic

:
Identification of promising research directions using machine learning aided medical literature analysis. - Vikram Iyer, Vamsi Talla, Bryce Kellogg, Shyamnath Gollakota, Joshua R. Smith:

Inter-Technology Backscatter: Towards Internet Connectivity for Implanted Devices. - Abhineet Singh, Martin Jägersand:

Registration based Tracking with Structural Similarity : A Unifying Formulation. - Raziel Alvarez, Rohit Prabhavalkar, Anton Bakhtin:

On the efficient representation and execution of deep acoustic models. - Thomas Ehrhard, Christine Tasson:

Probabilistic call by push value. - Zhizhen Zhong, Jipu Li, Nan Hua, Gustavo B. Figueiredo, Yanhe Li, Xiaoping Zheng, Biswanath Mukherjee:

On QoS-assured degraded provisioning in service differentiated multi-layer elastic optical networks. - Hang Li, Chuan Huang, Shuguang Cui:

Multiuser Energy Diversity in Energy Harvesting Wireless Communications. - Shih-Tang Su, Vijay G. Subramanian:

Descending Price Algorithm for Determining Market Clearing Prices in Matching Markets. - Marcel Erné:

Core spaces, sector spaces and fan spaces: a topological approach to domain theory. - Jessica Claridge, Ioannis Chatzigeorgiou:

Probability of Partially Solving Random Linear Systems in Network Coding. - Qimei Chen, Guanding Yu, Hesham M. Elmaghraby, Jyri Hämäläinen, Zhi Ding:

Embedding LTE-U within Wi-Fi Bands for Spectrum Efficiency Improvement. - Çagdas Bak, Aykut Erdem, Erkut Erdem:

Two-Stream Convolutional Networks for Dynamic Saliency Prediction. - Ke Yang, Dongsheng Li, Yong Dou, Shaohe Lv, Qiang Wang:

Weakly supervised object detection using pseudo-strong labels. - Vinayaka Yaji, Shalabh Bhatnagar:

Stochastic Recursive Inclusions with Non-Additive Iterate-Dependent Markov Noise. - (Withdrawn) Learning Social Circles in Ego Networks based on Multi-View Social Graphs.

- Giovanni Interdonato, Hien Quoc Ngo, Erik G. Larsson, Pål K. Frenger:

How Much Do Downlink Pilots Improve Cell-Free Massive MIMO? - Qi Liao, Daniyal Amir Awan, Slawomir Stanczak:

Joint Optimization of Coverage, Capacity and Load Balancing in Self-Organizing Networks. - Georgia Avarikioti, Ioannis Z. Emiris

, Loukas Kavouras, Ioannis Psarros:
High-dimensional approximate r-nets. - Mario Mastriani:

New version of Gram-Schmidt Process with inverse for Signal and Image Processing. - Setyaki Sholata Sya, Ary Setijadi Prihatmanto:

Design and implementation of image processing system for Lumen social robot-humanoid as an exhibition guide for Electrical Engineering Days 2015. - Ahmad Syarif, Ary Setijadi Prihatmanto:

Design and implementation of computational platform for social-humanoid robot Lumen as an exhibition guide in Electrical Engineering Days 2015. - Putri Nhirun Rikasofiadewi, Ary Setijadi Prihatmanto:

Design and implementation of audio communication system for social-humanoid robot Lumen as an exhibition guide in Electrical Engineering Days 2015. - Ahmad Hosney Awad Eid:

Optimized Automatic Code Generation for Geometric Algebra Based Algorithms with Ray Tracing Application. - Andrien Ivander Wijaya, Ary Setijadi Prihatmanto, Rifki Wijaya:

Shesop Healthcare: Stress and influenza classification using support vector machine kernel. - Andrien Ivander Wijaya, Ary Setijadi Prihatmanto, Rifki Wijaya:

Shesop Healthcare: Android application to monitor heart rate variance, display influenza and stress condition using Polar H7. - Achraf Ben-Hamadou, Christian Daul, Charles Soussen:

Construction of extended 3D field of views of the internal bladder wall surface: a proof of concept. - Aviad Elyashar:

The Security of Organizations and Individuals in Online Social Networks. - Pengzhi Gao, Meng Wang, Joe H. Chow, Scott G. Ghiocel, Bruce Fardanesh, George Stefopoulos, Michael P. Razanousky:

Identification of Successive "Unobservable" Cyber Data Attacks in Power Systems Through Matrix Decomposition. - Florent Foucaud

, Ararat Harutyunyan, Pavol Hell, Sylvain Legay, Yannis Manoussakis, Reza Naserasr:
The complexity of tropical graph homomorphisms. - Junwei Liang, Lu Jiang, Deyu Meng, Alexander G. Hauptmann:

Exploiting Multi-modal Curriculum in Noisy Web Data for Large-scale Concept Learning. - Víctor Dalmau, Marcin Kozik, Andrei A. Krokhin, Konstantin Makarychev, Yury Makarychev, Jakub Oprsal:

Robust algorithms with polynomial loss for near-unanimity CSPs. - Chonhyon Park, Jae Sung Park, Dinesh Manocha:

Fast and Bounded Probabilistic Collision Detection in Dynamic Environments for High-DOF Trajectory Planning. - Thijs Laarhoven:

Sieving for closest lattice vectors (with preprocessing). - Eliya Nachmani, Yair Be'ery, David Burshtein:

Learning to Decode Linear Codes Using Deep Learning. - Michal Kleinbort, Oren Salzman, Dan Halperin:

Collision detection or nearest-neighbor search? On the computational bottleneck in sampling-based motion planning. - Maziar Raissi, Paris Perdikaris, George E. Karniadakis:

Inferring solutions of differential equations using noisy multi-fidelity data. - Michael Cochez, Stefan Decker, Eric Prud'hommeaux:

Knowledge Representation on the Web revisited: Tools for Prototype Based Ontologies. - James Christopher Foreman, Dheeraj Gurugubelli:

Cyber Attack Surface Analysis of Advanced Metering Infrastructure. - James Christopher Foreman, Rammohan K. Ragade:

Coordinated Optimization at a Hydro Generating Plant by Software Agents. - Cunsheng Ding, Chengju Li:

Infinite families of 2-designs and 3-designs from linear codes. - James Christopher Foreman, Rammohan K. Ragade, James H. Graham:

New Software Metrics for Evaluation and Comparison of Advanced Power Management Systems. - Cunsheng Ding:

Infinite families of t-designs from a type of five-weight codes. - Franklin E. Pacheco, James Christopher Foreman:

Microgrid Reference Methodology for Understanding Utility and Customer Interactions in Microgrid Projects. - Ni Ding, Chung Chan, Qiaoqiao Zhou, Rodney A. Kennedy, Parastoo Sadeghi:

A Faster Algorithm for Asymptotic Communication for Omniscience. - Shumo Chu, Konstantin Weitz, Alvin Cheung, Dan Suciu:

HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics. - Michael Frank, Michael Codish:

Logic Programming with Graph Automorphism: Integrating naut with Prolog (a Tool Paper). - Alexander Golovnev, Oded Regev, Omri Weinstein:

The Minrank of Random Graphs. - Alejandro Cohen, Asaf Cohen, Omer Gurewitz:

Secure Group Testing. - Anirban Laha, Vikas C. Raykar:

An Empirical Evaluation of various Deep Learning Architectures for Bi-Sequence Classification Tasks. - Aarti Sathyanarayana, Ferda Ofli, Luis Fernández-Luque, Jaideep Srivastava, Ahmed K. Elmagarmid, Teresa Arora, Shahrad Taheri:

Robust Automated Human Activity Recognition and its Application to Sleep Research. - Ilana Segall, Alfred M. Bruckstein:

Stochastic Broadcast Control of Multi-Agent Swarms. - Yan Xu, Yang Li, Mingyuan Liu, Yipei Wang, Yubo Fan, Maode Lai, Eric I-Chao Chang:

Gland Instance Segmentation by Deep Multichannel Neural Networks. - Zhiwen Hu, Zijie Zheng, Tao Wang, Lingyang Song, Xiaoming Li:

Caching as a Service: Small-cell Caching Mechanism Design for Service Providers. - Gunnar Jacobsen, Tianhua Xu, Sergei Popov, Jie Li, Ari T. Friberg, Yimo Zhang:

Phase Noise Influence in Coherent Optical OFDM Systems with RF Pilot Tone: Digital IFFT Multiplexing and FFT Demodulation. - Gunnar Jacobsen, Marisol Lidón, Tianhua Xu, Sergei Popov, Ari T. Friberg, Yimo Zhang:

Influence of Pre- and Post-compensation of Chromatic Dispersion on Equalization Enhanced Phase Noise in Coherent Multilevel Systems. - Shuo Jin, Chengkai Dai, Yang Liu, Charlie C. L. Wang:

Motion Imitation Based on Sparsely Sampled Correspondence. - Maciej Bendkowski, Katarzyna Grygiel, Marek Zaionc:

On the likelihood of normalisation in combinatory logic. - Djamal Belazzougui, Travis Gagie, Veli Mäkinen, Marco Previtali:

Fully Dynamic de Bruijn Graphs. - Vrunda Dave, Shankara Narayanan Krishna, Ashutosh Trivedi:

FO-definable transformations of infinite strings. - Mikkel Abrahamsen, Stephen Alstrup, Jacob Holm, Mathias Bæk Tejs Knudsen, Morten Stöckel:

Near-Optimal Induced Universal Graphs for Bounded Degree Graphs. - Lijie Chen, Ran Duan, Ruosong Wang, Hanrui Zhang:

Improved Algorithms for Maintaining DFS Tree in Undirected Graphs. - Blaine Rister:

Piecewise convexity of artificial neural networks. - Dongcai Su:

Compressed sensing with corrupted Fourier measurements. - Reuben George Stephen, Rui Zhang:

Fronthaul-Limited Uplink OFDMA in Ultra-Dense CRAN with Hybrid Decoding. - Saurabh Prasad, Minshan Cui, Lifeng Yan:

Composite Kernel Local Angular Discriminant Analysis for Multi-Sensor Geospatial Image Analysis. - Kimon Fountoulakis, David F. Gleich, Michael W. Mahoney:

An optimization approach to locally-biased graph algorithms. - Minshan Cui, Saurabh Prasad:

Sparse Representation-Based Classification: Orthogonal Least Squares or Orthogonal Matching Pursuit? - Michael Wojnowicz, Glenn Chisholm, Matt Wolff, Xuan Zhao:

Wavelet decomposition of software entropy reveals symptoms of malicious code. - Seungjun Jung, Hyeongcheol Lee:

Adaptive control for trailing arm suspension with hydraulic cylinder spring under practical constraints. - Huynh Van Luong, Nikos Deligiannis, Søren Forchhammer, André Kaup:

Distributed Coding of Multiview Sparse Sources with Joint Recovery. - Hoang-Long Cao, Pablo Gómez Esteban, Albert De Beir, Ramona Simut, Greet Van de Perre, Bram Vanderborght:

A platform-independent robot control architecture for multiple therapeutic scenarios. - Juntao Yu, Bernd Bohnet:

Dependency Language Models for Transition-based Dependency Parsing. - (Withdrawn) Distributed Graph Clustering by Load Balancing.

- Lingxiao Huang, Jian Li:

Stochastic k-Center and j-Flat-Center Problems. - Yauhen Yakimenka, Eirik Rosnes:

On Failing Sets of the Interval-Passing Algorithm for Compressed Sensing. - Johannes Ballé, Valero Laparra, Eero P. Simoncelli:

End-to-end optimization of nonlinear transform codes for perceptual quality. - Steffen Eger, Armin Hoenen:

Language classification from bilingual word embedding graphs. - Johannes Feldmaier, Dominik Meyer, Hao Shen, Klaus Diepold:

Monitoring and Prediction in Smart Energy Systems via Multi-timescale Nexting. - Zhaoyang Zhang, Xianbin Wang, Yu Zhang, Yan Chen:

Grant-free Rateless Multiple Access: A Novel Massive Access Scheme for Internet of Things. - Gabriella Panuccio, Marianna Semprini, Lorenzo Natale, Michela Chiappalone:

Intelligent Biohybrid Neurotechnologies: Are They Really What They Claim? - Musheer Ahmad, Hamed D. Al-Sharari:

Rotation-k Affine-Power-Affine-like Multiple Substitution-Boxes for Secure Communication. - Benjamin Ultan Cowley

, Darryl Charles:
Adaptive Artificial Intelligence in Games: Issues, Requirements, and a Solution through Behavlets-based General Player Modelling. - Dominique Boullier:

Big data challenges for the social sciences: from society and opinion to replications. - Pablo Garrido, Daniel E. Lucani, Ramón Agüero:

A Markov Chain Model for the Decoding Probability of Sparse Network Coding. - Shizhan Zhu, Sifei Liu, Chen Change Loy, Xiaoou Tang:

Deep Cascaded Bi-Network for Face Hallucination. - Matthias R. Brust, Mustafa Ilhan Akbas, Damla Turgut:

VBCA: A Virtual Forces Clustering Algorithm for Autonomous Aerial Drone Systems. - Marco Dalai, Yury Polyanskiy:

Bounds on the Reliability of a Typewriter Channel. - Pritam P. Chougule, Bibhash Sen, Tukaram D. Dongale:

Processing In-memory realization using Quantum Dot Cellular Automata. - Wei Li, Matthias Breier, Dorit Merhof:

Recycle deep features for better object detection. - Gordon Inggs:

Algorithmic Trading: A brief, computational finance case study on data centre FPGAs. - Christos Chatzichristos, Eleftherios Kofidis, Giannis Kopsinis, Sergios Theodoridis:

Higher-Order Block Term Decomposition for Spatially Folded fMRI Data. - Christian Rupprecht, Elizabeth Huaroc, Maximilian Baust, Nassir Navab:

Deep Active Contours. - Gopi Krishna Suvanam:

Functional Augmented State Transfer (FAST) Architecture for Computationally Intensive Network Applications. 


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID