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