default search action
CoRR, March 2014
- Prakash T. Shiva, K. B. Raja, K. R. Venugopal, S. S. Iyengar, Lalit M. Patnaik:
Link-Reliability Based Two-Hop Routing for Wireless Sensor Networks. - Xinchen Zhang, Martin Haenggi:
A Stochastic Geometry Analysis of Inter-cell Interference Coordination and Intra-cell Diversity. - Zoran Majkic:
Intensional RDB Manifesto: a Unifying NewSQL Model for Flexible Big Data. - (Withdrawn) Tractable Epistemic Reasoning with Functional Fluents, Static Causal Laws and Postdiction.
- Menghan Wang:
Dynamic Decision Process Modeling and Relation-line Handling in Distributed Cooperative Modeling System. - Laurent Romary:
TBX goes TEI - Implementing a TBX basic extension for the Text Encoding Initiative guidelines. - Derrick Wing Kwan Ng, Ernest S. Lo, Robert Schober:
Multi-Objective Resource Allocation for Secure Communication in Cognitive Radio Networks with Wireless Information and Power Transfer. - Wei Chen, Tian Lin, Cheng Yang:
Efficient Topic-aware Influence Maximization Using Preprocessing. - Pedro Machado Manhães de Castro, Quentin Mérigot, Boris Thibert:
Intersection of paraboloids and application to Minkowski-type problems. - C. Nithya, K. Saravanan:
Semantic Annotation and Search for Educational Resources Supporting Distance Learning. - Francisco J. Estrada:
Temporal Image Fusion. - Masoud Abbaszadeh, Horacio J. Marquez:
Robust Nonlinear L2 Filtering of Uncertain Lipschitz Systems via Pareto Optimization. - Hadas Shachnai, Meirav Zehavi:
Parameterized Algorithms for Graph Partitioning Problems. - Abhishek Ray, Siba Mishra, Durga Prasad Mohapatra:
A Novel Approach for Computing Dynamic Slices of Aspect-Oriented Programs. - Sergio Consoli, Diego Reforgiato Recupero, Vanni Zavarella:
A survey on tidal analysis and forecasting methods for Tsunami detection. - Utpal Nandi, Jyotsna Kumar Mandal:
Size Adaptive Region Based Huffman Compression Technique. - Tahereh Babaie, Sanjay Chawla, Romesh G. Abeysuriya:
Sleep Analytics and Online Selective Anomaly Detection. - Tahereh Babaie, Sanjay Chawla, Sebastien Ardon:
Network Traffic Decomposition for Anomaly Detection. - Xuegong Deng:
A Solution to Bargaining Problem on Divisible Goods. - Chan Dai Truyen Thai, Marion Berbineau:
Coordinated Direct and Relay Schemes for Two-Hop Communication in VANETS. - Mathias Bæk Tejs Knudsen:
Additive Spanners: A Simple Construction. - Razvan Barbulescu, Armand Lachand:
Some mathematical remarks on the polynomial selection in NFS. - Radoslaw Klimek:
Automatic generation of logical specifications for context-aware systems. - Guan Gui, Li Xu, Fumiyuki Adachi:
RZA-NLMF algorithm based adaptive sparse sensing for realizing compressive sensing problems. - Guan Gui, Li Xu, Lin Shan, Fumiyuki Adachi:
Compressive sensing based Bayesian sparse channel estimation for OFDM communication systems: high performance and low complexity. - Xuan Guang, Fang-Wei Fu, Zhen Zhang:
Variable-Rate Linear Network Error Correction MDS Codes. - Hubie Chen:
Beyond Q-Resolution and Prenex Form: A Proof System for Quantified Constraint Satisfaction. - Mitali Sinha, Suchismita Pattanaik, Rakesh Mohanty, Prachi Tripathy:
Experimental Study of A Novel Variant of Fiduccia Mattheyses(FM) Partitioning Algorithm. - Ashiq Anjum, Peter Bloodsworth, Andrew Branson, Irfan Habib, Richard McClatchey, Tony Solomonides:
Research Traceability using Provenance Services for Biomedical Analysis. - Ivo F. Sbalzarini, Sophie Schneider, Janick Cardinale:
Particle methods enable fast and simple approximation of Sobolev gradients in image segmentation. - Daniel H. Larkin, Siddhartha Sen, Robert Endre Tarjan:
A Back-to-Basics Empirical Study of Priority Queues. - Ali Karimoddini, Mohammad Karimadini, Hai Lin:
Decentralized Hybrid Formation Control of Unmanned Aerial Vehicles. - Gauri Joshi, Yuval Kochman, Gregory W. Wornell:
The Effect of Block-wise Feedback on the Throughput-Delay Trade-off in Streaming. - Orhio Mark Creado, Bala Srinivasan, Phu Dung Le, Jefferson Tan:
An Explicit Trust Model Towards Better System Security. - Liang Zheng, Shengjin Wang, Wengang Zhou, Qi Tian:
Bayes Merging of Multiple Vocabularies for Scalable Image Retrieval. - Brad Miller, Ling Huang, Anthony D. Joseph, J. Doug Tygar:
I Know Why You Went to the Clinic: Risks and Realization of HTTPS Traffic Analysis. - (Withdrawn) A 4-approximation for scheduling on a single machine with general cost function.
- Laith Awda Kadhim, Salih Mohammed, Osamah Saad:
A Proposed Improvement Equalizer for Telephone and Mobile Circuit Channels. - Loc V. Tran, Vinh Phu Nguyen, Magd Abdel Wahab, Hung Nguyen-Xuan:
An extended isogeometric analysis for vibration of cracked FGM plates using higher-order shear deformation theory. - Loc V. Tran, Chien H. Thai, Buntara S. Gan, Hung Nguyen-Xuan:
Isogeometric finite element analysis of laminated composite plates based on a four variable refined plate theory. - Sareh Abolahrari Shirazi, Mehrtash Tafazzoli Harandi, Brian C. Lovell, Conrad Sanderson:
Object Tracking via Non-Euclidean Geometry: A Grassmann Approach. - Johanna Carvajal, Chris McCool, Conrad Sanderson:
Summarisation of Short-Term and Long-Term Videos using Texture and Colour. - Kang Zhang, Yuqiang Fang, Dongbo Min, Lifeng Sun, Shiqiang Yang, Shuicheng Yan, Qi Tian:
Cross-Scale Cost Aggregation for Stereo Matching. - Shaokang Chen, Arnold Wiliem, Conrad Sanderson, Brian C. Lovell:
Matching Image Sets via Adaptive Multi Convex Hull. - Sourav Kumar Bhoi, Sanjaya Kumar Panda, Imran Hossain Faruk:
Design and Performance Evaluation of an Optimized Disk Scheduling Algorithm (ODSA). - Sanjaya Kumar Panda, Debasis Dash, Jitendra Kumar Rout:
A Group based Time Quantum Round Robin Algorithm using Min-Max Spread Measure. - Jitendra Kumar Rout, Sourav Kumar Bhoi, Sanjaya Kumar Panda:
SFTP : A Secure and Fault-Tolerant Paradigm against Blackhole Attack in MANET. - Vincenzo De Florio:
On the Behavioral Interpretation of System-Environment Fit and Auto-Resilience. - (Withdrawn) Personalized recommendation against crowd's popular selection.
- Zhiguo Ding, H. Vincent Poor:
Energy Harvesting Cooperative Networks: Is the Max-Min Criterion Still Diversity-Optimal? - Xin Kang, Hon Fah Chong, Yeow-Khiang Chia, Sumei Sun:
Ergodic Sum-Rate Maximization for Fading Cognitive Multiple Access Channels without Successive Interference Cancellation. - Paul S. Bonsma, Marcin Kaminski, Marcin Wrochna:
Reconfiguring Independent Sets in Claw-Free Graphs. - Akihisa Yamada, Sarah Winkler, Nao Hirokawa, Aart Middeldorp:
AC-KBO Revisited. - Magnus Gausdal Find:
On the Complexity of Computing Two Nonlinearity Measures. - Lavindra de Silva, Michael Winikoff, Wei Liu:
Extending Agents by Transmitting Protocols in Open Systems. - Michael Hanspach:
Verbesserung von OS- und Service-Fingerprinting mittels Fuzzing. - Matthieu Boutier, Juliusz Chroboczek:
Source-sensitive routing. - Yi-Min Ding, Bin Zhou, Xiaosong Chen:
Hybrid evolving clique-networks and their communicability. - N. Jesper Larsson, Kasper Fuglsang, Kenneth Karlsson:
Efficient Representation for Online Suffix Tree Construction. - Stefano Bistarelli, Maurizio Gabbrielli, Maria Chiara Meo, Francesco Santini:
Timed Soft Concurrent Constraint Programs: An Interleaved and a Parallel Approach. - Yi Chen, Xiaolong Wang, Bo Yuan, Buzhou Tang:
Automatic structural regularities exploration in complex networks. - Joanna Ochremiak:
Algebraic Properties of Valued Constraint Satisfaction Problem. - Arindam Chaudhuri:
Support Vector Machine Model for Currency Crisis Discrimination. - Divyarajsinh N. Parmar, Brijesh B. Mehta
:
Face Recognition Methods & Applications. - Nikhil R. Devanur, Konstantin Makarychev, Debmalya Panigrahi, Grigory Yaroslavtsev:
Online Algorithms for Machine Minimization. - Thomas Carli, Stéphane Henriot, Johanne Cohen, Joanna Tomasik:
A packing problem approach to energy-aware load distribution in Clouds. - Blesson Varghese, Gerard T. McKee, Vassil Alexandrov:
Automating Fault Tolerance in High-Performance Computational Biological Jobs Using Multi-Agent Approaches. - Siamak Yousefi, Xiao-Wen Chang, Benoît Champagne:
Distributed Cooperative Localization in Wireless Sensor Networks without NLOS Identification. - Brooks Paige, Frank D. Wood:
A Compilation Target for Probabilistic Programming Languages. - Dmitry Chistikov, Rupak Majumdar:
Unary Pushdown Automata and Straight-Line Programs. - Ahmad Taher Azar, Aboul Ella Hassanien:
Expert System Based On Neural-Fuzzy Rules for Thyroid Diseases Diagnosis. - Moustapha Diaby, Mark H. Karwan:
Limits to the scope of applicability of extended formulations for LP models of combinatorial optimization problems: A summary. - Saida Elyengui, Riadh Bouhouchi, Tahar Ezzedine:
The Enhancement of Communication Technologies and Networks for Smart Grid Applications. - Josiah P. Zayner:
We Tweet Like We Talk and Other Interesting Observations: An Analysis of English Communication Modalities. - Juan M. Romero-Jerez, Francisco Javier López-Martínez:
A New Framework for the Performance Analysis of Wireless Communications under Hoyt (Nakagami-q) Fading. - Saadat Anwar:
Representing, reasoning and answering questions about biological pathways - various applications. - Pinar Yanardag, S. V. N. Vishwanathan:
The Structurally Smoothed Graphlet Kernel. - Konstantinos I. Tsianos, Michael G. Rabbat:
Efficient Distributed Online Prediction and Stochastic Optimization with Approximate Distributed Averaging. - Matt Duckham, Sanjiang Li, Weiming Liu, Zhiguo Long:
On Redundant Topological Constraints. - Indranil Pan, Daya Shankar Pandey, Saptarshi Das:
Global solar irradiation prediction using a multi-gene genetic programming approach. - H. Brendan McMahan, Francesco Orabona:
Unconstrained Online Linear Learning in Hilbert Spaces: Minimax Algorithms and Normal Approximations. - Jesse Alama:
Proof identity for mere mortals. - Jinli Hu, Amos J. Storkey:
Multi-period Trading Prediction Markets with Connections to Machine Learning. - Mikhail Belkin, Luis Rademacher, James R. Voss:
The Hidden Convexity of Spectral Clustering. - Ehsan Soleimani-Nasab, Ashkan Kalantari, Mehrdad Ardebilipour:
Performance Analysis of Multi-Antenna Relay Networks over Nakagami-m Fading Channel. - Azadeh Alavi, Yan Yang, Mehrtash Tafazzoli Harandi, Conrad Sanderson:
Multi-Shot Person Re-Identification via Relational Stein Divergence. - Azadeh Alavi, Arnold Wiliem, Kun Zhao, Brian C. Lovell, Conrad Sanderson:
Random Projections on Manifolds of Symmetric Positive Definite Matrices for Image Classification. - Aapo Kyrola, Carlos Guestrin:
GraphChi-DB: Simple Design for a Scalable Graph Database System - on Just a PC. - Tolga Birdal, Emrah Bala:
A Novel Method for Vectorization. - Irene Finocchi, Marco Finocchi, Emanuele G. Fusco:
Counting small cliques in MapReduce. - Paolo Capriotti, Ambrus Kaposi
Free Applicative Functors. 2-30 - Kieran Greer:
Recent Developments with the licas System 2. - Augustine Kwanashie, Robert W. Irving, David F. Manlove, Colin T. S. Sng:
Profile-based optimal matchings in the Student/Project Allocation problem. - Kieran Greer:
Recent Developments with the licas System. - Kieran Greer:
The Obvious Solution to Semantic Mapping - Ask an Expert. - Kieran Greer:
Evaluating Dynamic Linking through the Query Process using the Licas Test Platform. - Kieran Greer:
Clustering Concept Chains from Ordered Data without Path Descriptions. - Michael Hanspach, Ralf Schumann, Stefan Schemmer, Sebastian Vandersee:
Service-Fingerprinting mittels Fuzzing. - Kieran Greer:
A Metric for Modelling and Measuring Complex Behavioural Systems. - Kieran Greer:
Dynamic Move Chains - a Forward Pruning Approach to Tree Search in Computer Chess. - Minhao Jiang, Ada Wai-Chee Fu, Raymond Chi-Wing Wong, James Cheng, Yanyan Xu:
Hop Doubling Label Indexing for Point-to-Point Distance Querying on Scale-Free Networks. - Antoine Amarilli, Yael Amsterdamer, Tova Milo:
Uncertainty in Crowd Data Sourcing under Structural Constraints. - Petr A. Golovach, Daniël Paulusma, Erik Jan van Leeuwen:
Induced Disjoint Paths in Circular-Arc Graphs in Linear Time. - N. Jesper Larsson:
Most Recent Match Queries in On-Line Suffix Trees (with appendix). - Derrick Higgins, Chris Brew, Michael Heilman, Ramon Ziai, Lei Chen, Aoife Cahill, Michael Flor, Nitin Madnani, Joel R. Tetreault, Daniel Blanchard, Diane Napolitano, Chong Min Lee, John Blackmore:
Is getting the right answer just about choosing the right words? The role of syntactically-informed features in short answer scoring. - Jianting Zhang, Simin You:
Large-Scale Geospatial Processing on Multi-Core and Many-Core Processors: Evaluations on CPUs, GPUs and MICs. - Mehdi Samadieh, Mohammad Gholami:
Double Cylinder Cycle codes of Arbitrary Girth. - Han-Lim Choi, Su-Jin Lee:
A Potential Game Approach for Information-Maximizing Cooperative Planning of Sensor Networks. - Rushil Anirudh, Pavan K. Turaga:
Geometry-based Adaptive Symbolic Approximation for Fast Sequence Matching on Manifolds: Applications to Activity Analysis. - Weifeng Liu, Hongli Liu, Dapeng Tao, Yanjiang Wang, Ke Lu:
Multiview Hessian regularized logistic regression for action recognition. - Pierre Hyvernat:
A Linear Category of Polynomial Functors (extensional part). - Nabil H. Mustafa, Rajiv Raman, Saurabh Ray:
QPTAS for Geometric Set-Cover Problems via Optimal Separators. - Jingjing Li, Rodrigo C. de Lamare, Henk Wymeersch:
Locally-Optimized Reweighted Belief Propagation for Decoding LDPC Codes with Finite-Length. - Jingjing Li, Rodrigo C. de Lamare:
Knowledge-Aided Reweighted Belief Propagation LDPC Decoding using Regular and Irregular Designs. - Giovanni Neglia, Xiuhui Ye, Maksym Gabielkov, Arnaud Legout
How to Network in Online Social Networks. - Mauricio Guillermo, Étienne Miquey:
Classical realizability and arithmetical formulæ. - Harold Roberto Martinez Salazar, Juan Pablo Carbajal, Yuri P. Ivanenko:
Robustness: a new SLIP model based criterion for gait transitions in bipedal locomotion. - Anurag Chakraborty:
An Extension Of Weiler-Atherton Algorithm To Cope With The Self-intersecting Polygon. - Kevin S. Xu, Alfred O. Hero III:
Dynamic stochastic blockmodels for time-evolving social networks. - Ahmed M. Alaa, Mahmoud H. Ismail, Hazim Tawfik:
Spectrum Sensing Via Reconfigurable Antennas: Fundamental Limits and Potential Gains. - Yufeng Xin, Ilya Baldin, Jeffrey S. Chase, Kemafor Ogan:
Leveraging Semantic Web Technologies for Managing Resources in a Multi-Domain Infrastructure-as-a-Service Environment. - Kostas Margellos, Maria Prandini, John Lygeros:
On the connection between compression learning and scenario based optimization. - Oded Maler:
Algorithmic Verification of Continuous and Hybrid Systems. 48-69 - Mehdi Ashraphijuo, Vaneet Aggarwal, Xiaodong Wang:
On the Symmetric K-user Interference Channels with Limited Feedback. - (Withdrawn) Design Challenges of Millimeter Wave Communications: A MAC Layer Perspective.
- David S. Medina, Amik St.-Cyr, Timothy Warburton:
OCCA: A unified approach to multi-threading languages. - Haris Aziz, Julián Mestre:
Parametrized Algorithms for Random Serial Dictatorship. - Shahrzad Shirazipourazad, Pavel Ghosh, Arunabha Sen:
On Connectivity of Airborne Networks. - Leto Peel, Aaron Clauset:
Detecting change points in the large-scale structure of evolving networks. - Maria Spichkova, Heinz W. Schmidt, Ian D. Peake:
From abstract modelling to remote cyber-physical integration/interoperability testing. - Maria Spichkova:
Towards Focus on Time. - Boulat A. Bash, Dennis Goeckel, Don Towsley:
LPD Communication when the Warden Does Not Know When. - Zheng Shi, Khee Meng Koh:
Counting the Number of Minimum Roman Dominating Functions of a Graph. - Kobi Cohen, Qing Zhao:
Active Hypothesis Testing for Quickest Anomaly Detection. - Hyun Oh Song, Ross B. Girshick, Stefanie Jegelka, Julien Mairal, Zaïd Harchaoui, Trevor Darrell:
One-Bit Object Detection: On learning to localize objects with minimal supervision. - Andres Sanin, Conrad Sanderson, Mehrtash Tafazzoli Harandi, Brian C. Lovell:
K-Tangent Spaces on Riemannian Manifolds for Improved Pedestrian Detection. - Nir Shlezinger, Ron Dabora:
Frequency-Shift Filtering for OFDM Signal Recovery in Narrowband Power Line Communications. - Philip Bille, Patrick Hagge Cording, Inge Li Gørtz:
Compact Subsequence Matching and Packed Tree Coloring. - Simon Walk, Philipp Singer, Markus Strohmaier, Denis Helic, Natasha F. Noy, Mark A. Musen:
Sequential Usage Patterns in Collaborative Ontology-Engineering Projects. - Kieran Greer:
Artificial Neuron Modelling Based on Wave Shape. - Kieran Greer:
Is Intelligence Artificial? - Kieran Greer:
New Ideas for Brain Modelling. - Jesus Selva:
Signal Estimation from Nonuniform Samples with RMS Error Bound - Application to OFDM Channel Estimation. - Niek Tax:
Analyzing a practitioner perspective on relevance of published empirical research in Requirements Engineering. - Yu Pei, Carlo A. Furia, Martin Nordio, Yi Wei, Bertrand Meyer, Andreas Zeller:
Automated Fixing of Programs with Contracts. - C. L. González-Valiente, Y. Sánchez-Rodríguez, Y. Lezcano-Pérez:
Estudio exploratorio sobre las competencias informacionales de los estudiantes de la Universidad de La Habana. - Ioannis Z. Emiris:
Matrix Methods for Solving Algebraic Systems. - Steve Kremer, Robert Künnemann:
Automated analysis of security protocols with global state. - Michael Hanspach, Jörg Keller:
A Taxonomy for Attack Patterns on Information Flows in Component-Based Operating Systems. - Darshan Santani, Daniel Gatica-Perez:
Loud and Trendy: Crowdsourcing Impressions of Social Ambiance in Popular Urban Places. - J. Gerard Wolff:
A proof challenge: multiple alignment and information compression. - Zhenghuan Wang, Heng Liu, Shengxin Xu, Xiangyuan Bu, Jianping An:
Multichannel RSS-based Device-Free Localization with Wireless Sensor Network. - (Withdrawn) A Polynomial Time Solution to the Clique Problem.
- Nikos Chondros, Mema Roussopoulos:
A distributed Integrity Catalog for digital repositories. - Minoru Sasaki:
Latent Semantic Word Sense Disambiguation Using Global Co-occurrence Information. - (Withdrawn) A fast clustering algorithm for mining social network data.
- Heide Gluesing-Luerssen, Katherine Morrison, Carolyn Troha:
Cyclic Orbit Codes and Stabilizer Subfields. - Julia Vinogradova, Romain Couillet, Walid Hachem:
Estimation of Toeplitz Covariance Matrices in Large Dimensional Regime with Application to Source Detection. - Yunpeng Wang, Walid Saad, Narayan B. Mandayam, H. Vincent Poor:
Integrating Energy Storage into the Smart Grid: A Prospect Theoretic Approach. - Bryan Perozzi, Rami Al-Rfou, Vivek Kulkarni, Steven Skiena:
Inducing Language Networks from Continuous Space Word Representations. - Xun Gong, Negar Kiyavash:
Timing Side Channels in Shared Queues. - Hamid A. Toussi, Bahram Sadeghi Bigham:
Design, Implementation and Evaluation of MTBDD based Fuzzy Sets and Binary Fuzzy Relations. - Yong Fu, Anne M. Holler, Chenyang Lu:
CloudPowerCap: Integrating Power Budget and Resource Management across a Virtualized Server Cluster. - S. Arudchutha, T. Nishanthy, Roshan G. Ragel:
String Matching with Multicore CPUs: Performing Better with the Aho-Corasick Algorithm. - Nir Ailon:
An n\log n Lower Bound for Fourier Transform Computation in the Well Conditioned Model. - M. A. C. Jiffriya, M. A. C. Akmal Jahan, Roshan G. Ragel, Sampath Deegalla:
AntiPlag: Plagiarism Detection on Electronic Submissions of Text Based Assignments. - P. Perera, Roshan G. Ragel:
Accelerating motif finding in DNA sequences with multicore CPUs. - Roshan G. Ragel, P. Herath, Upul Senanayake:
Authorship detection of SMS messages using unigrams. - S. M. Vidanagamachchi, S. D. Dewasurendra, Roshan G. Ragel:
Hardware software co-design of the Aho-Corasick algorithm: Scalable for protein identification? - S. M. Vidanagamachchi, S. D. Dewasurendra, Roshan G. Ragel:
Hardware accelerated protein inference framework. - Udyani Herath, Janaka Alawatugoda, Roshan G. Ragel:
Software implementation level countermeasures against the cache timing attack on advanced encryption standard. - Yue Zhang, Wangdong Qi, Guangxia Li, Su Zhang:
Performance of ML Range Estimator in Radio Interferometric Positioning Systems. - Hongli Liu, Weifeng Liu, Yanjiang Wang:
Multi-view Face Analysis Based on Gabor Features. - Lionel Ott, Linsey Xiaolin Pang, Fabio Ramos, David Howe
Integer Programming Relaxations for Integrated Clustering and Outlier Detection. - Pokkuluri Kiran Sree, Inampudi Ramesh Babu:
An Extensive Repot on the Efficiency of AIS-INMACA (A Novel Integrated MACA based Clonal Classifier for Protein Coding and Promoter Region Prediction). - Mark Simkin, Andreas Bulling, Mario Fritz, Dominique Schröder:
Ubic: Bridging the gap between digital cryptography and the physical world. - Sam Anzaroot, Alexandre Passos, David Belanger, Andrew McCallum:
Learning Soft Linear Constraints with Application to Citation Field Extraction. - Yang Wu, Jarich Vansteenberge, Masayuki Mukunoki, Michihiko Minoh:
Collaborative Representation for Classification, Sparse or Non-sparse? - Shireesha Chintalapati, M. V. Raghunadh:
Illumination, Expression and Occlusion Invariant Pose-Adaptive Face Recognition System for Real-Time Applications. - Tatiana Starikovskaya, Hjalte Wedel Vildhøj:
A Suffix Tree Or Not A Suffix Tree? - Salvatore Talarico, Matthew C. Valenti:
An Accurate and Efficient Analysis of a MBSFN Network. - Wiebke Höhn, Julián Mestre, Andreas Wiese:
How Unsplittable-Flow-Covering helps Scheduling with Job-Dependent Cost Functions. - Daniel Zaragoza:
The TCP-modified Engset Model Revisited. - Luigi Alfredo Grieco, Mahdi Ben Alaya, Thierry Monteil, Khalil Drira:
Architecting Information Centric ETSI-M2M systems. - Zhenfang Hu, Gang Pan, Yueming Wang, Zhaohui Wu:
Sparse Principal Component Analysis via Rotation and Truncation. - Arkaitz Zubiaga, Damiano Spina, Raquel Martínez-Unanue, Víctor Fresno:
Real-Time Classification of Twitter Trends. - Damien Chablat
Non-singular assembly mode changing trajectories in the workspace for the 3-RPS parallel robot. - Dustin G. Mixon:
Phase Transitions in Phase Retrieval. - Gang Li, Thakshila Wimalajeewa, Pramod K. Varshney:
Decentralized Subspace Pursuit for Joint Sparsity Pattern Recovery. - Pablo Molins-Ruano, Carlos González-Sacristán, Fernando Díez, Pilar Rodríguez Marín, Sacha Gomez-Monivas:
Adaptive Model for Computer-Assisted Assessment in Programming Skills. - Maura B. Paterson, Douglas R. Stinson:
Optimal constructions for ID-based one-way-function key predistribution schemes realizing specified communication graphs. - Daniel W. Bliss:
Cooperative Radar and Communications Signaling: The Estimation and Information Theory Odd Couple. - Rasmus Ejlers Møgelberg, Sam Staton:
Linear usage of state. - Giannis Haralabopoulos, Ioannis Anagnostopoulos:
Lifespan and propagation of information in On-line Social Networks a Case Study. - Manuel Lopes, Luis Montesano:
Active Learning for Autonomous Intelligent Agents: Exploration, Curiosity, and Interaction. - Clemens Hage, Tim Habigt, Martin Kleinsteuber:
Sparse DOA Estimation of Wideband Sound Sources Using Circular Harmonics. - Aris Filos-Ratsikas, Søren Kristoffer Stiil Frederiksen, Jie Zhang:
Social welfare in one-sided matchings: Random priority and beyond. - Gregory Z. Gutin, Mark Jones, Bin Sheng:
Parameterized Complexity of the $k$-Arc Chinese Postman Problem. - Yixin Cao:
Linear Recognition of Almost (Unit) Interval Graphs. - Ian Helmke, Daniel Kreymer, Karl Wiegand:
Approximation Models of Combat in StarCraft 2. - Changchuan Yin, Jiasong Wang:
A Novel Method for Comparative Analysis of DNA Sequences by Ramanujan-Fourier Transform. - Shantenu Jha, Judy Qiu, André Luckow, Pradeep Kumar Mantha, Geoffrey Charles Fox:
A Tale of Two Data-Intensive Paradigms: Applications, Abstractions, and Architectures. - Arash Gholami Davoodi, Syed Ali Jafar:
Aligned Image Sets under Channel Uncertainty: Settling a Conjecture by Lapidoth, Shamai and Wigger on the Collapse of Degrees of Freedom under Finite Precision CSIT. - Steffen Eger:
Corrections to the results derived in "A Unified Approach to Algorithms Generating Unrestricted and Restricted Integer Compositions and Integer Partitions"'; and a comparison of four restricted integer composition generation algorithms. - Shabnam Sodagari:
On Effects of Imperfect Channel State Information on Null Space Based Cognitive MIMO Communication. - Jinchun Zhan, Namrata Vaswani:
Robust PCA with Partial Subspace Knowledge. - Luca Sanguinetti, Aris L. Moustakas, Emil Björnson, Mérouane Debbah:
Energy Consumption in multi-user MIMO systems: Impact of user mobility. - Arman Farhang, Arslan Javaid Majid, Nicola Marchetti, Linda Doyle, Behrouz Farhang-Boroujeny:
Interference Localization for Uplink OFDMA Systems in Presence of CFOs. - Maryam Mahmoodi, Mohammad Mahmoodi Varnamkhasti:
Design a Persian Automated Plagiarism Detector (AMZPPD). - Zhiwu Lu, Liwei Wang:
Can Image-Level Labels Replace Pixel-Level Labels for Image Parsing. - Martiniano Eguía, Francisco J. Soulignac:
Disimplicial arcs, transitive vertices, and disimplicial eliminations. - Adrian Tang, Simha Sethumadhavan, Salvatore J. Stolfo:
Unsupervised Anomaly-based Malware Detection using Hardware Features. - Soheil Eshghi, M. H. R. Khouzani, Saswati Sarkar, Santosh S. Venkatesh:
Optimal Patching in Clustered Malware Epidemics. - Soheil Eshghi, M. H. R. Khouzani, Saswati Sarkar, Ness B. Shroff, Santosh S. Venkatesh:
Optimal Energy-Aware Epidemic Routing in DTNs. - Marc D. Killpack:
Automated Tracking and Estimation for Control of Non-rigid Cloth. - G. Pavithra, P. Devaki:
Link and Location Based Routing Mechanism for Energy Efficiency in Wireless Sensor Networks. - Neha Soorma Jaikaran Singh, Mukesh Tiwari:
Feature Extraction of ECG Signal Using HHT Algorithm. - Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi, Jifeng He:
LTLf satisfiability checking. - Laurent Sifre, Stéphane Mallat:
Rigid-Motion Scattering for Texture Classification. - Anton Petrov:
Methods of executable code protection. - Giulio Coluccia, Aline Roumy, Enrico Magli:
Exact Performance Analysis of the Oracle Receiver for Compressed Sensing Reconstruction. - Simeon Kamdem Kuiteing, Giulio Coluccia, Alessandro Barducci, Mauro Barni, Enrico Magli:
Compressive Hyperspectral Imaging Using Progressive Total Variation. - Johannes Köster, Sven Rahmann:
Massively parallel read mapping on GPUs with PEANUT. - Yukihiro Kamada, Kiyonori Miyasaki:
On the Sequence of State Configurations in the Garden of Eden. - Amira Sayed A. Aziz, Ahmad Taher Azar, Aboul Ella Hassanien, Sanaa El-Ola Hanafy:
Continuous Features Discretization for Anomaly Intrusion Detectors Generation. - Jawad Munir, Amine Mezghani, Haris Khawar, Josef A. Nossek:
Chromatic Dispersion Compensation Using Filter Bank Based Complex-Valued All-Pass Filter. - Mert Bastug, Mihály Petreczky, Rafael Wisniewski, John Leth:
Model Reduction by Moment Matching for Linear Switched Systems. - Ahmed H. Asad, Ahmad Taher Azar, Nashwa El-Bendary, Aboul Ella Hassanien:
Ant Colony based Feature Selection Heuristics for Retinal Vessel Segmentation. - Abdul Khaleque, Arnab Chatterjee, Parongama Sen:
On the evolution and utility of annual citation indices. - Saurabh Joshi, Akash Lal:
Automatically finding atomic regions for fixing bugs in Concurrent programs. - Lukasz Debowski:
Hilberg Exponents: New Measures of Long Memory in the Process. - Fred Morstatter, Nichola Lubold, Heather Pon-Barry, Jürgen Pfeffer, Huan Liu:
Finding Eyewitness Tweets During Crises. - Florian Meyer, Ondrej Hlinka, Henk Wymeersch, Erwin Riegler, Franz Hlawatsch:
Cooperative Simultaneous Localization and Tracking in Mobile Agent Networks. - Charles J. Colbourn, Daniel Horsley, Violet R. Syrotiuk:
Hierarchical Recovery in Compressive Sensing. - Yunchao Gong, Liwei Wang, Ruiqi Guo, Svetlana Lazebnik:
Multi-scale Orderless Pooling of Deep Convolutional Activation Features. - Shamim Ripon, Sumaya Mahbub, K. M. Imtiaz-Ud-Din:
Verification of A Security Adaptive Protocol Suite Using SPIN. - Timothy Wang, Romain Jobredeaux, Marc Pantel, Pierre-Loïc Garoche, Eric Feron, Didier Henrion:
Credible Autocoding of Convex Optimization Algorithms. - Hanie Sedghi, Edmond A. Jonckheere:
Statistical Structure Learning, Towards a Robust Smart Grid. - Daniel Fett, Ralf Küsters, Guido Schmitz
An Expressive Model for the Web Infrastructure: Definition and Application to the BrowserID SSO System. - Sherin Abdel Hamid, Hossam S. Hassanein, Glen Takahara:
Vehicle as a Resource (VaaR). - Lihong Li, Shunbao Chen, Jim Kleban, Ankur Gupta:
Counterfactual Estimation and Optimization of Click Metrics for Search Engines. - Weidong Ma, Bo Zheng, Tao Qin, Pingzhong Tang, Tie-Yan Liu:
Online Mechanism Design for Cloud Computing. - Yongjune Kim, B. V. K. Vijaya Kumar:
On the Duality of Erasures and Defects. - Soheil Bahrampour, Asok Ray, Nasser M. Nasrabadi, Kenneth W. Jenkins:
Quality-based Multimodal Classification Using Tree-Structured Sparsity. - Scott E. Coull, Kevin P. Dyer:
Privacy Failures in Encrypted Messaging Services: Apple iMessage and Beyond. - Yulong Yang, Janne Lindqvist, Antti Oulasvirta:
Text Entry Method Affects Password Security. - Toby Walsh:
Candy Crush is NP-hard. - Yue Zhang, Wangdong Qi, Su Zhang:
The Unambiguous Distance in a Phase-based Ranging System with Hopping Frequencies. - Haryono, Jazi Eko Istiyanto, Agus Harjoko, Agfianto Eko Putra:
Five Modular Redundancy with Mitigation Technique to Recover the Error Module. - Md. Mijanur Rahman, Shamim Ripon:
Elicitation and Modeling Non-Functional Requirements - A POS Case Study. - Sandeep Sirsat:
Extraction of Core Contents from Web Pages. - (Withdrawn) Predictive Overlapping Co-Clustering.
- Ping Li, Hong Li, Min Wu:
Multi-label ensemble based on variable pairwise constraint projection. - Mehdi Naseriparsa, Amir-Massoud Bidgoli, Touraj Varaee:
Improving Performance of a Group of Classification Algorithms Using Resampling and Feature Selection. - Mehdi Naseriparsa, Mohammad Mansour Riahi Kashani:
Combination of PCA with SMOTE Resampling to Boost the Prediction Rate in Lung Cancer Dataset. - Stepan Holub, Jan Zemlicka:
Algebraic properties of word equations. - Hanum Putri Permatasari, Silvia Harlena, Donny Erlangga, Reza Chandra:
Effect of Social Media on Website Popularity: Differences between Public and Private Universities in Indonesia. - Jaspinder Pal Singh:
Designing an FPGA Synthesizable Computer Vision Algorithm to Detect the Greening of Potatoes. - Konstantinos Georgiou, Evangelos Kranakis, Danny Krizanc:
Excuse Me! or The Courteous Theatregoers' Problem. - Simon Kramer:
A Galois-Connection between Myers-Briggs' Type Indicators and Szondi's Personality Profiles. - Hoda Daou, Fabrice Labeau:
EEG Compression of Scalp Recordings based on Dipole Fitting. - Sadi Evren Seker, Cihan Mert, Khaled Al-Naami, Nuri Ozalp, Ugur Ayan:
Time Series Analysis on Stock Market for Text Mining Correlation of Economy News. - Michael Stewart:
Natural Language Feature Selection via Cooccurrence. - Morteza Yousefi Kharaji, Fatemeh Salehi Rizi:
An IAC Approach for Detecting Profile Cloning in Online Social Networks. - Olawale Hassan, Iyad A. Kanj, Daniel Lokshtanov, Ljubomir Perkovic:
On the Ordered List Subgraph Embedding Problems. - Mohammad Fanaei, Matthew C. Valenti, Abbas Jamalipour, Natalia A. Schmid:
Optimal Power Allocation for Distributed BLUE Estimation with Linear Spatial Collaboration. - Kooktae Lee, Abhishek Halder, Raktim Bhattacharya:
Robustness Analysis of Stochastic Jumps and Design of Resource-Optimal Switching Policies for Cyber-Physical Systems. - Pin-Yu Chen, Alfred O. Hero III:
Node Removal Vulnerability of the Largest Component of a Network. - V. Asha, Nagappa U. Bhajantri, P. Nagabhushan:
Texture Defect Detection in Gradient Space. - Mathew W. McLean:
Straightforward Bibliography Management in R with the RefManageR Package. - Michael Lampis, Kazuhisa Makino, Valia Mitsou, Yushi Uno:
Parameterized Edge Hamiltonicity. - Niharika Sachdeva, Ponnurangam Kumaraguru:
Online Social Media and Police in India: Behavior, Perceptions, Challenges. - Ruhi Gupta:
Implementation of an efficient RBAC in Cloud Computing using .NET environment. - Andrzej Cichocki:
Era of Big Data Processing: A New Approach via Tensor Networks and Tensor Decompositions. - Timo Bingmann, Andreas Eberle, Peter Sanders:
Engineering Parallel String Sorting. - Jian Yu, Zongben Xu:
Categorization Axioms for Classification and Clustering. - Shabnam Sodagari:
Application of Asynchronous Weak Commitment Search in Autonomous Quality of Service Provision in Cognitive Radio Networks. - Ashkan Kalantari, Sina Maleki, Gan Zheng, Symeon Chatzinotas, Björn E. Ottersten:
Joint Power Control in Wiretap Interference Channels. - Chang-Ick Song, Cong Ling:
Diversity of Linear Transceivers in MIMO AF Half-duplex Relaying Channels. - Janusz A. Brzozowski, Marek Szykula:
Upper Bounds on Syntactic Complexity of Left and Two-Sided Ideals. - Vinícius Gusmão Pereira de Sá, Celina M. H. de Figueiredo:
Blind-friendly von Neumann's Heads or Tails. - Antonio Messeni Petruzzelli, Daniele Rotolo, Vito Albino:
Determinants of Patent Citations in Biotechnology: An Analysis of Patent Influence Across the Industrial and Organizational Boundaries. - Zizhong Cao, Shivendra S. Panwar:
Technical Report: Efficient Buffering and Scheduling for a Single-Chip Crosspoint-Queued Switch. - Tsung-Yi Chen, Kasra Vakilinia, Dariush Divsalar, Richard D. Wesel:
Protograph-Based Raptor-Like LDPC Codes. - Felipe Núñez, Yongqiang Wang, Francis J. Doyle III:
Global Synchronization of Pulse-Coupled Oscillators Interacting on Cycle Graphs. - (Withdrawn) Privacy-Friendly Collaboration for Cyber Threat Mitigation.
- Hannah Davis, Saif M. Mohammad:
Generating Music from Literature. - Adam Szanto-Varnagy, Péter Pollner, Tamás Vicsek, Illés J. Farkas:
Scientometrics: Untangling the topics. - Robert John Freeman:
Parsing using a grammar of word association vectors. - Baris Baykant Alagöz:
On the Harmonic Oscillation of High-order Linear Time Invariant Systems. - Yuanxin Wu, Jinling Wang, Dewen Hu:
A New Technique for INS/GNSS Attitude and Parameter Estimation Using Online Optimization. - Hélène Lachambre, Benjamin Ricaud, Guillaume Stempfel, Bruno Torrésani, Christoph Wiesmeyr, Darian M. Onchis:
Optimal Window and Lattice in Gabor Transform Application to Audio Analysis. - Dou El Kefel Mansouri, Mohammed Benyettou:
A study of risk management in cloud computing bank. - Jaehyun Park, Bruno Clerckx:
Joint Wireless Information and Energy Transfer with Reduced Feedback in MIMO Interference Channels. - Yannis Haralambous, Pedro Quaresma:
Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices. - James G. Dowty:
SMML estimators for linear regression and tessellations of hyperbolic space. - Eryk Kopczynski, Tony Tan:
A note on the variable hierarchy of first-order spectra. - Li Li, Jun Pang, Yang Liu, Jun Sun, Jin Song Dong:
Stateful Security Protocol Verification. - Céline Aubel, David Stotz, Helmut Bölcskei:
Super-Resolution from Short-Time Fourier Transform Measurements. - Yakiv O. Kalinovsky, Dmitry V. Lande, Yuliya E. Boyarinova, Iana V. Khitsko
Some isomorphic classes for noncanonical hypercomplex number systems of dimension 2. - Sergei Nikolaev:
Non-linear mass-spring system for large soft tissue deformations modeling. - Brijnesh J. Jain:
Sublinear Models for Graphs. - Sudip Roy, Lucja Kot, Nate Foster, Johannes Gehrke, Hossein Hojjat, Christoph Koch:
Writes that Fall in the Forest and Make no Sound: Semantics-Based Adaptive Data Consistency. - David Monniaux, Peter Schrammel:
Scaling up logico-numerical strategy iteration (extended version). - Jie Chen, Zhang Yi:
Subspace Clustering by Exploiting a Low-Rank Representation with a Symmetric Constraint. - Bo Xie, Guang Tan, Yunhuai Liu, Mingming Lu, Kongyang Chen, Tian He:
LIPS: A Light Intensity Based Positioning System For Indoor Environments. - Jalal Mahmud, Jeffrey Nichols, Clemens Drews:
Home Location Identification of Twitter Users. - Omid Semiari, Walid Saad, Stefan Valentin, Mehdi Bennis, Behrouz Maham:
Matching theory for priority-based cell association in the downlink of wireless small cell networks. - Mehdi Naseriparsa, Amir-Massoud Bidgoli, Touraj Varaee:
A Hybrid Feature Selection Method to Improve Performance of a Group of Classification Algorithms. - Long Cheng, Avinash Malik, Spyros Kotoulas, Tomas E. Ward, Georgios Theodoropoulos:
Scalable RDF Data Compression using X10. - Andrey Bernstein, Lorenzo Reyes-Chamorro, Jean-Yves Le Boudec, Mario Paolone:
A Composable Method for Real-Time Control of Active Distribution Networks with Explicit Power Setpoints. - Kooktae Lee, Abhishek Halder, Raktim Bhattacharya:
Probabilistic Robustness Analysis of Stochastic Jump Linear Systems. - Gabriele Fici, Travis Gagie, Juha Kärkkäinen, Dominik Kempa:
A Subquadratic Algorithm for Minimum Palindromic Factorization. - Mark D. Reid, Rafael M. Frongillo, Robert C. Williamson:
Generalised Mixability, Constant Regret, and Bayesian Updating. - Jayadev Acharya, Hirakendu Das, Olgica Milenkovic, Alon Orlitsky, Shengjun Pan:
String Reconstruction from Substring Compositions. - Kooktae Lee, Abhishek Halder, Raktim Bhattacharya:
Mean Square Stability for Stochastic Jump Linear Systems via Optimal Transport. - Haijuan Hu, Bing Li, Quansheng Liu:
Removing Mixture of Gaussian and Impulse Noise by Patch-Based Weighted Means. - Edward Schmerling, Lucas Janson, Marco Pavone:
Optimal Sampling-Based Motion Planning under Differential Constraints: the Driftless Case. - Meng Fang, Jie Yin, Xingquan Zhu:
Transfer Learning across Networks for Collective Classification. - Frank Nielsen, Richard Nock:
A note on the optimal scalar Bregman k-means clustering with an application to learning best statistical mixtures. - Hiroshi Saito, Ryoichi Kawahara:
Theoretical Evaluation of Offloading through Wireless LANs. - Qihui Wu, Guoru Ding, Yuhua Xu, Shuo Feng, Zhiyong Du, Jinlong Wang, Keping Long:
Cognitive Internet of Things: A New Paradigm beyond Connection. - Bocong Chen, San Ling, Guanghui Zhang:
Application of Constacyclic codes to Quantum MDS Codes. - Sunirmal Khatua, Preetam K. Sur, Rajib Kumar Das, Nandini Mukherjee:
Heuristic-based Optimal Resource Provisioning in Application-centric Cloud. - Alberto Trombetta, Giuseppe Persiano, Stefano Braghin:
Answering queries using pairings. - Fabio Bella, Jürgen Münch, Alexis Ocampo:
Baselining Wireless Internet Service Development: An Experience Report. - Runwei Zhang, François Ingelrest, Guillermo Barrenetxea, Patrick Thiran, Martin Vetterli:
The Beauty of the Commons: Optimal Load Sharing by Base Station Hopping in Wireless Sensor Networks. - Jónathan Heras, Ekaterina Komendantskaya:
HoTT formalisation in Coq: Dependency Graphs \& ML4PG. - Vahid Jamali, Nikola Zlatanov, Robert Schober:
A Delay-Constrained Protocol with Adaptive Mode Selection for Bidirectional Relay Networks. - Kieran Greer:
Turing: Then, Now and Still Key. - Neenu George, T. K. Parani:
Detection of Node Clones in Wireless Sensor Network Using Detection Protocols. - Hyungsik Ju, Rui Zhang:
Optimal Resource Allocation in Full-Duplex Wireless-Powered Communication Network. - Sruti Gan Chaudhuri, Swapnil Ghike, Shrainik Jain, Krishnendu Mukhopadhyaya:
Pattern Formation for Asynchronous Robots without Agreement in Chirality. - Ozan Kahramanogullari:
Interaction and Depth against Nondeterminism in Proof Search. - Edinah K. Gnang, Ori Parzanchevski, Yuval Filmus:
A SageTeX Hypermatrix Algebra Package. - Antoine Mischler, Martin Monperrus:
An Approach for Discovering Traceability Links between Regulatory Documents and Source Code Through User-Interface Labels. - Yanping Chen, Adena Why, Gustavo E. A. P. A. Batista, Agenor Mafra-Neto, Eamonn J. Keogh:
Flying Insect Classification with Inexpensive Sensors. - Robert R. White, Kristin Munch:
Handling Large and Complex Data in a Photovoltaic Research Institution Using a Custom Laboratory Information Management System. - Vandana Maheshwari:
Development of SyReC based expandable reversible logic circuits. - Zeina Mheich, Florence Alberge, Pierre Duhamel:
On the efficiency of transmission strategies for broadcast channels using finite size constellations. - Amira Sayed A. Aziz, Ahmad Taher Azar, Aboul Ella Hassanien, Sanaa El-Ola Hanafy:
Negative Selection Approach Application in Network Intrusion Detection Systems. - Fabio Bella, Jürgen Münch, Alexis Ocampo:
Observation-based Development of Software Process Baselines: An Experience Report. - Seth A. Myers, Jure Leskovec:
The Bursty Dynamics of the Twitter Information Network. - Ahmadreza Baghaie:
A consistent model for cardiac deformation estimation under abnormal ventricular muscle conditions. - Arkadiusz Stopczynski, Dazza Greenwood, Lars Kai Hansen, Alex Pentland:
Privacy for Personal Neuroinformatics. - Henning Basold:
Transformation von Scade-Modellen zur SMT-basierten Verifikation. - Weimo Liu, Saravanan Thirumuruganathan, Nan Zhang, Gautam Das:
Aggregate Estimation Over Dynamic Hidden Web Databases. - Christophe Rhodes, Jan Moringen, David Lichteblau:
Generalizers: New Metaobjects for Generalized Dispatch. - Michael T. Goodrich:
Zig-zag Sort: A Simple Deterministic Data-Oblivious Sorting Algorithm Running in O(n log n) Time. - Margreta Kuijper, Diego Napp:
Erasure codes with simplex locality. - Aras Pirbadian, Muhammed S. Khairy, Ahmed M. Eltawil, Fadi J. Kurdahi:
State Dependent Statistical Timing Model for Voltage Scaled Circuits. - Reza Farrahi Moghaddam, Fereydoun Farrahi Moghaddam, Thomas Dandres, Yves Lemieux, Réjean Samson, Mohamed Cheriet:
Challenges and complexities in application of LCA approaches in the case of ICT for a sustainable future. - Peng Qin, Bin Dai, Benxiong Huang, Guan Xu:
Bandwidth-Aware Scheduling with SDN in Hadoop: A New Trend for Big Data. - Haoqiang Fan, Zhimin Cao, Yuning Jiang, Qi Yin, Chinchilla Doudou:
Learning Deep Face Representation. - Hafez Fouad:
Web-based Database Management to support Telemedicine System. - Gideon Naah, Edwin Boadu Okoampa:
Clustering Effects on Wireless Mobile Ad-Hoc Networks Performances. - Maria Spichkova, Alarico Campetelli:
Towards system development methodologies: From software to cyber-physical domain. - Mohamed Garoui, Belhassen Mazigh, Béchir el Ayeb, Abderrafiaa Koukam:
Towards an Agent-Oriented Modeling and Evaluation Approach For Vehicular Systems Security. - Ali AlSoufi, Hayat Ali:
Customers perception of mbanking adoption in Kingdom of Bahrain: an empirical assessment of an extended tam model. - Diego Valsesia, Enrico Magli:
Compressive Signal Processing with Circulant Sensing Matrices. - Ayshe Rashidi, Mina Zolfy Lighvan:
HPS: a hierarchical Persian stemming method. - Ezgi Deniz Ulker, Sadik Ulker:
Application of Particle Swarm Optimization to Microwave Tapered Microstrip Lines. - Amr Farouk, Mohamed M. Fouad, Ahmed A. Abdelhafez:
Analysis And Improvement of Pairing-Free Certificate-Less Two-Party Authenticated Key Agreement Protocol For Grid Computing. - Ananya Bose, Suprativ Saha:
Delineation of Techniques to implement on the enhanced proposed model using data mining for protein sequence classification. - Stanka Hadzhikoleva, Emil Hadzhikolev:
Consolidated Model of Procedures for Workflow Management. - Vahid Hashemi
Probabilistic Bisimulations for PCTL Model Checking of Interval MDPs (extended version). 19-33 - Senosy Arrish, Fadhil Noer Afif, Ahmadu Maidorawa, Naomie Salim:
Shape-Based Plagiarism Detection for Flowchart Figures in Texts. - Mario Martínez-Zarzuela, Miguel Pedraza-Hueso, Francisco Javier Díaz Pernas, David González Ortega, Míriam Antón-Rodríguez:
Indoor 3D Video Monitoring Using Multiple Kinect Depth-Cameras. - De Mi, Mehrdad Dianati, Sami Muhaidat:
A Novel Antenna Selection Scheme for Spatially Correlated Massive MIMO Uplinks with Imperfect Channel Estimation. - Murat Karakaya:
Uav Route Planning For Maximum Target Coverage. - Iván Blanco-Chacón, Dionís Remón, Camilla Hollanti, Montserrat Alsina:
Nonuniform Fuchsian codes for noisy channels. - Mayanka Katyal, Atul Mishra:
Application of Selective Algorithm for Effective Resource Provisioning in Cloud Computing Environment. - Philipp H. Kindt
Precise Energy Modeling for the Bluetooth Low Energy Protocol. - Igor Brigadir, Derek Greene, Pádraig Cunningham
Adaptive Representations for Tracking Breaking News on Twitter. - Daniel B. Larremore, Aaron Clauset, Abigail Z. Jacobs:
Efficiently inferring community structure in bipartite networks. - Graham Cormode, S. Muthukrishnan, Jinyun Yan:
People Like Us: Mining Scholarly Data for Comparable Researchers. - J. S. Saleema, N. Bhagawathi, S. Monica, P. Deepa Shenoy, K. R. Venugopal, Lalit M. Patnaik:
Cancer Prognosis Prediction Using Balanced Stratified Sampling. - Deepa S:
An Approach for Normalizing Fuzzy Relational Databases Based on Join Dependency. - Sándor P. Fekete, Stephan Friedrichs, Michael Hemmer:
Complexity of the General Chromatic Art Gallery Problem. - Rocío González-Díaz, María José Jiménez, Belén Medrano:
3D Well-composed Polyhedral Complexes. - Aditya Goyal, Akanksha Tyagi, Manisha Bhende, Swapnil Kawade:
A Framework for Pricing Schemes for Networks under Complete Information. - Christian Staudt, Aleksejs Sazonovs, Henning Meyerhenke:
NetworKit: An Interactive Tool Suite for High-Performance Network Analysis. - Aubin Jarry:
The Four Principles of Geographic Routing. - Stefano Ferretti:
Searching in Unstructured Overlays Using Local Knowledge and Gossip. - Huazhong Shu, Jian Zhou, Guo-Niu Han, Limin Luo, Jean-Louis Coatrieux:
Image reconstruction from limited range projections using orthogonal moments. - Guanyu Yang, Huazhong Shu, Christine Toumoulin, Guo-Niu Han, Limin Luo:
Efficient Legendre moment computation for grey level images. - Phillip James, Markus Roggenbach:
Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans. - Germán Bassi, Pablo Piantanida, Sheng Yang:
Capacity Bounds for a Class of Interference Relay Channels. - Sanaz Khan Afshar, Umair Siddique, Mohamed Yousri Mahmoud, Vincent Aravantinos, Ons Seddiki, Osman Hasan, Sofiène Tahar:
Formal Analysis of Optical Systems. - Y. V. Troshchiev:
Improvement of the monotonicity properties of the difference schemes by building in them of the monotonizing operators. - Stylianos Gkoutzioupas:
Fulfillment Request Management (The approach). - Maicon A. Sartin, Alexandre C. R. da Silva:
Evaluation of Image Segmentation and Filtering With ANN in the Papaya Leaf. - Doreswamy, Chanabasayya M. Vastrad:
Non linear Prediction of Antitubercular Activity Of Oxazolines and Oxazoles derivatives Making Use of Compact TS-Fuzzy models Through Clustering with orthogonal least sqaure technique and Fuzzy identification system. - Hossam M. Kasem, Maha El-Sabrouty:
A Comparative Study of Audio Compression Based on Compressed Sensing and Sparse Fast Fourier Transform (SFFT): Performance and Challenges. - Yunlong Cai, Rodrigo C. de Lamare, Minjian Zhao:
Set-Membership Adaptive Constant Modulus Algorithm with a Generalized Sidelobe Canceler and Dynamic Bounds for Beamforming. - Xi Chen, Qihang Lin, Dengyong Zhou:
Statistical Decision Making for Optimal Budget Allocation in Crowd Labeling. - (Withdrawn) A Novel Method to Extract Rocks from Mars Images.
- Rubén Héctor García-Ortega, Pablo García-Sánchez, Juan Julián Merelo Guervós:
Emerging archetypes in massive artificial societies for literary purposes using genetic algorithms. - Ashton Anderson, Daniel P. Huttenlocher, Jon M. Kleinberg, Jure Leskovec:
Engaging with Massive Online Courses. - Cem Aksoylar, Venkatesh Saligrama:
Sparse Recovery with Linear and Nonlinear Observations: Dependent and Noisy Data. - Vamsi Sashank Kotagiri:
Memory Capacity of Neural Networks using a Circulant Weight Matrix. - Rodrigo da Silva Moreira, Nelson Francisco Favilla Ebecken:
Parallel WiSARD object tracker: a ram-based tracking system. - V. V. Petrov, V. P. Semynozhenko, V. M. Puzikov, A. A. Kryuchyn, A. S. Lapchuk, S. M. Shanoilo, I. V. Kosyak, Yu. O. Borodin, Ivan V. Gorbov, Ye. M. Morozov:
Readout Optical System of Sapphire Disks intended for Long-Term Data Storage. - Ashutosh Nayyar, Demosthenis Teneketzis:
Signaling in sensor networks for sequential detection. - Harika Asili, Ömer Özgür Tanriöver:
Comparison Of Document Management Systems By Meta Modelling And Workforce Centric Tuning Measures. - Shalini Ghosh, Daniel Elenius, Wenchao Li, Patrick Lincoln, Natarajan Shankar, Wilfried Steiner:
Automatically Extracting Requirements Specifications from Natural Language. - Kyle Kloster, David F. Gleich:
Heat kernel based community detection. - Feiyun Zhu, Ying Wang, Gaofeng Meng, Bin Fan, Shiming Xiang, Chunhong Pan:
Data guided Sparse Method for Hyperspectral Unmixing. - Kashyap Joshi, Vipul Gohil:
ARM 7 Based Controller Area Network for Accident Avoidance in Automobiles. - Zhe Lin, Minghui Ma:
The Computational Compexity of Decision Problem in Additive Extensions of Nonassociative Lambek Calculus. - Amin Movahed, Mark C. Reed:
Iterative Detection for Compressive Sensing: Turbo CS. - Shahzad Ali, Sajjad Ahmad Madani, Atta ur Rehman Khan, Imran Ali Khan:
Routing protocols for mobile sensor networks: a comparative study. - Md. Ansarul Haque:
Sentiment Analysis by Using Fuzzy Logic. - Qingjiang Shi, WeiQiang Xu, Jinsong Wu, Enbin Song, Yaming Wang:
Secure Beamforming For MIMO Broadcasting With Wireless Information And Power Transfer. - Abhay Rana, Rushil Nagda:
A Security Analysis of Browser Extensions. - Matthias Markl, Regina Ammer, Ulrich Rüde, Carolin Körner:
Improving Hatching Strategies for Powder Bed Based Additive Manufacturing with an Electron Beam by 3D Simulations. - Ranjan Kumar, G. Sahoo:
Cloud Computing Simulation Using CloudSim. - P. Beaulah Soundarabai, Ritesh Sahai, J. Thriveni, K. R. Venugopal, Lalit M. Patnaik:
Improved Bully Election Algorithm for Distributed Systems. - B. I. Ahmad, F. Yakubu, M. A. Bagiwa, U. I. Abdullahi:
Remote Home Management: An alternative for working at home while away. - Sadegh Esmaeil Zadeh Soudjani, Caspar Gevaerts, Alessandro Abate:
FAUST2: Formal Abstractions of Uncountable-STate STochastic processes. - Samarendra Nath Sur, Rabindranath Bera, Bansibadan Maji:
Channel Capacity Analysis of MIMO System in Correlated Nakagami-m Fading Environment. - George P. Papavassilopoulos:
Limiting Behavior of LQ Deterministic Infinite Horizon Nash Games with Symmetric Players as the Number of Players goes to Infinity. - Hadi Hajari, Farshad Hakimpour:
A Spatial Data Model for Moving Object Databases. - Amin Karbasi, Amir Hesam Salavati, Amin Shokrollahi, Lav R. Varshney:
Noise Facilitation in Associative Memories of Exponential Capacity. - Manish B. Dave:
Optimal number of users in Co-operative spectrum sensing in WRAN using Cyclo-Stationary Detector. - Madhulika Mool, Prajyoti Sabale, Sneha Parpelli, Shalaka Chowriwar, Nilesh Sambhe:
Mitigating Denial Of Services Using Secure Overlay Service Model. - Kenneth L. Knowles:
Executable Refinement Types. - Erik Agrell, Alex Alvarado, Giuseppe Durisi, Magnus Karlsson:
Capacity of a Nonlinear Optical Channel with Finite Memory. - Delia Mocanu, Luca Rossi, Qian Zhang, Márton Karsai, Walter Quattrociocchi:
Collective attention in the age of (mis)information. - Md. Munjure Mowla, Md. Yeakub Ali, Rifat Ahmmed Aoni:
Performance Comparison of Two Clipping Based Filtering Methods for PAPR Reduction in OFDM Signal. - Samson Abramsky, Mehrnoosh Sadrzadeh:
Semantic Unification A sheaf theoretic approach to natural language. - Anupam Das, Nikita Borisov, Matthew Caesar:
Fingerprinting Smart Devices Through Embedded Acoustic Components. - Herbert Jaeger:
Controlling Recurrent Neural Networks by Conceptors. - Saeed Shahrivari:
Beyond Batch Processing: Towards Real-Time and Streaming Big Data. - Xiang Gao, Ove Edfors, Fredrik Rusek, Fredrik Tufvesson:
Massive MIMO in real propagation environments. - Siddharth Chatterjee, Arunava Sen:
Automated Reasoning in Social Choice Theory - Some Remarks. - Marzio De Biasi:
Minimal TSP Tour is coNP-Complete. - Yasaman Khazaeni, Christos G. Cassandras:
A New Event-Driven Cooperative Receding Horizon Controller for Multi-agent Systems in Uncertain Environments. - Ryan A. Rossi, Nesreen K. Ahmed:
Coloring Large Complex Networks. - Lewis Tseng, Nitin H. Vaidya:
Asynchronous Convex Consensus in the Presence of Crash Faults. - Danny Z. Chen, Rajasekhar Inkulu, Haitao Wang:
Two-Point L1 Shortest Path Queries in the Plane. - Chi Wang, Xueqing Liu, Yanglei Song, Jiawei Han:
Scalable and Robust Construction of Topical Hierarchies. - Hien Quoc Ngo, Erik G. Larsson, Thomas L. Marzetta:
Aspects of Favorable Propagation in Massive MIMO. - Joel Friedman, David-Emmanuel Kohler:
The Relativized Second Eigenvalue Conjecture of Alon. - H. Brendan McMahan:
Analysis Techniques for Adaptive Online Learning. - Fan Liang, Chen Feng, Xiaoyi Lu, Zhiwei Xu:
Performance Benefits of DataMPI: A Case Study with BigDataBench. - Baptiste Jonglez, Matthieu Boutier, Juliusz Chroboczek:
A delay-based routing metric. - Shuliang Wang, Yiping Zhao:
Analyzing Large Biological Datasets with an Improved Algorithm for MIC. - Jürgen Münch, Jens Heidrich:
Using Cluster Curves to Control Software Development Projects. - Alessandro Facchini, Henryk Michalewski:
Deciding the Borel complexity of regular tree languages. - Kieran Greer:
Concept Trees: Building Dynamic Concepts from Semi-Structured Data using Nature-Inspired Methods. - Dirk A. Lorenz, Thomas Pock:
An accelerated forward-backward algorithm for monotone inclusions. - Tichakorn Wongpiromsarn, Ufuk Topcu, Andrew G. Lamperski:
Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems. - Rakesh Kumar Pandey, Dilip Kumar:
Distributed Transformer Monitoring System Based On Zigbee Technology. - Rasmus Pagh, Morten Stöckel:
The Input/Output Complexity of Sparse Matrix Multiplication. - Flavio Esposito, Ibrahim Matta:
A Decomposition-based Architecture for Distributed Virtual Network Embedding. - Ioana Rus, Holger Neu, Jürgen Münch:
A Systematic Methodology for Developing Discrete Event Simulation Models of Software Development Processes. - Rosana Veroneze, Arindam Banerjee, Fernando J. Von Zuben:
Enumerating all maximal biclusters in real-valued datasets. - John D. Ramsdell:
Proving Security Goals With Shape Analysis Sentences. - Cristina Bazgan, Morgan Chopin, André Nichterlein, Florian Sikora:
Parameterized Inapproximability of Target Set Selection and Generalizations. - Lai Wei, Toshiaki Koike-Akino, David G. M. Mitchell, Thomas E. Fuja, Daniel J. Costello Jr.:
Threshold Analysis of Non-Binary Spatially-Coupled LDPC Codes with Windowed Decoding. - Erich L. Kaltofen, Clément Pernet:
Sparse Polynomial Interpolation Codes and their decoding beyond half the minimal distance. - Xinyang Deng, Qi Liu, Yong Deng:
Generalized prisoner's dilemma. - Segun Aina, Yogachandran Rahulamathavan, Raphael C.-W. Phan, Jonathon A. Chambers:
Spontaneous expression classification in the encrypted domain. - Aritra Ghosh, Naresh Manwani, P. S. Sastry:
Making Risk Minimization Tolerant to Label Noise. - Ernie Cohen:
Modular Verification of Hybrid System Code with VCC. - Rémi Flamary, Nisrine Jrad, Ronald Phlypo, Marco Congedo, Alain Rakotomamonjy:
Mixed-norm Regularization for Brain Decoding. - Alexander Ngenzi:
Applying mathematical models in cloud computing: A survey. - Delaram Kahrobaei, Charalambos Koupparis, Vladimir Shpilrain:
A CCA secure cryptosystem using matrices over group rings. - Delaram Kahrobaei, Elizabeth Vidaure:
Publicly Verifiable Secret Sharing Using Non-Abelian Groups. - Qian Sun, Gang Zhu, Chao Shen, Xuan Li, Zhangdui Zhong:
A Low-Complexity Algorithm for Throughput Maximization in Wireless Powered Communication Networks. - Arthur Merin:
Language Heedless of Logic - Philosophy Mindful of What? Failures of Distributive and Absorption Laws. - Shrinivas Kudekar, Tom Richardson, Aravind R. Iyengar:
The Effect of Saturation on Belief Propagation Decoding of LDPC Codes. - Guillaume Damiand, Rocío González-Díaz, Samuel Peltier:
Removal and Contraction Operations in nD Generalized Maps for Efficient Homology Computation. - Nesreen K. Ahmed, Christopher Cole, Jennifer Neville:
Learning the Latent State Space of Time-Varying Graphs. - Mohammad Ashraful Hoque, Matti Siekkinen, Jukka K. Nurminen, Sasu Tarkoma, Mika Aalto:
Saving Energy in Mobile Devices for On-Demand Multimedia Streaming - A Cross-Layer Approach. - Thomas T. C. K. Zhang, John Gunnar Carlsson:
On the continuous Fermat-Weber problem for a convex polygon using Euclidean distance. - William R. Gray Roncal, Verena Kaynig-Fittkau, Narayanan Kasthuri, Daniel R. Berger, Joshua T. Vogelstein, Lindsey R. Fernandez, Jeff W. Lichtman, R. Jacob Vogelstein, Hanspeter Pfister, Gregory D. Hager:
Volumetric Exploitation of Synaptic Information using Context Localization and Evaluation. - Xiongbin Rao, Vincent K. N. Lau:
Interference Alignment with Partial CSI Feedback in MIMO Cellular Networks. - Gavin Wood:
Martta: A C++ Language Workbench. - Guohui Wang, Hao Shen, Yang Sun, Joseph R. Cavallaro, Aida Vosoughi, Yuanbin Guo:
Parallel Interleaver Design for a High Throughput HSPA+/LTE Multi-Standard Turbo Decoder. - Christophe Fouqueré, Myriam Quatrini:
Ludics Characterization of Multiplicative-Additive Linear Behaviours. - Sihem Souiki, Maghnia Feham, Mohammed Feham, Nabila Labraoui:
Geographic routing protocols for underwater wireless sensor networks: a survey. - Wasim Huleihel, Neri Merhav:
Universal Decoding for Gaussian Intersymbol Interference Channels. - Constantin Siriteanu, Akimichi Takemura, Satoshi Kuriki:
MIMO Zero-Forcing Detection Performance Evaluation by Holonomic Gradient Method. - Lucas G. S. Jeub, Prakash Balachandran, Mason A. Porter, Peter J. Mucha, Michael W. Mahoney:
Think Locally, Act Locally: The Detection of Small, Medium-Sized, and Large Communities in Large Networks. - Bibo Hao, Lin Li, Rui Gao, Ang Li, Tingshao Zhu:
Sensing Subjective Well-being from Social Media. - Maïssa Boujelben, Sonia Ben Rejeb, Sami Tabbane:
Interference Coordination Schemes for Wireless Mobile Advanced Systems: A Survey. - Zixuan Wang, Wei Di, Anurag Bhardwaj, Vignesh Jagadeesh, Robinson Piramuthu:
Geometric VLAD for Large Scale Image Search. - Jacob Hendricks, Matthew J. Patitz, Trent A. Rogers:
Doubles and Negatives are Positive (in Self-Assembly). - Seyed Rasoul Etesami, Tamer Basar:
Complexity of Equilibrium in Diffusion Games on Social Networks. - Ioannis Panageas, Georgios Piliouras:
Average Case Equilibria. - Dong-Min Kim, Seong-Lyun Kim:
Exploiting Regional Differences: A Spatially Adaptive Random Access. - Akitoshi Kawamura, Sonoko Moriyama, Yota Otachi, János Pach:
A lower bound on opaque sets. - Francisc Bungiu, Michael Hemmer, John Hershberger, Kan Huang, Alexander Kröller:
Efficient Computation of Visibility Polygons. - Sid Chi-Kin Chau, Khaled M. Elbassioni, Majid Khonji:
Truthful Mechanisms for Combinatorial AC Electric Power Allocation. - Nesreen K. Ahmed, Nick G. Duffield, Jennifer Neville, Ramana Rao Kompella:
Graph Sample and Hold: A Framework for Big-Graph Analytics. - Iaakov Exman:
A Bootstrap Theory: the SEMAT Kernel Itself as Runnable Software. - Mohammed Al-Maolegi, Bassam Arkok:
An Improved Apriori Algorithm for Association Rules. - Hirotaka Niitsuma:
Image processing using miniKanren. - Rahul Savani
Game Theory Explorer - Software for the Applied Game Theorist. - Vojtech Vorel:
Subset Synchronization of Transitive Automata. 370-381 - Richard Mayne, Andrew Adamatzky:
Towards slime mould electrical logic gates with optical coupling. - Haijing Liu, Hui Gao, Wei Long, Tiejun Lv:
A Novel Scheme for Downlink Opportunistic Interference Alignment. - Gang Yang, Chin Keong Ho, Rui Zhang, Yong Liang Guan:
Throughput Optimization for Massive MIMO Systems Powered by Wireless Energy Transfer. - Vladimir V. Gusev, Elena V. Pribavkina:
Reset thresholds of automata with two cycle lengths. - Vaishali D. Khairnar, S. N. Pradhan:
V2V communication survey wireless technology. - Vineeth Kashyap, Kyle Dewey, Ethan A. Kuefner, John Wagner, Kevin Gibbons, John Sarracino, Ben Wiedermann, Ben Hardekopf:
JSAI: Designing a Sound, Configurable, and Efficient Static Analyzer for JavaScript. - Wei Wei, Renquan Zhang, Baolong Niu, BingHui Guo, Zhiming Zheng:
Statistics and algorithms on the organization and quantitative analysis of minimal vertex covers. - Wee Peng Tay:
Whose Opinion to follow in Multihypothesis Social Learning? A Large Deviation Perspective. - David M. Budden, Peter Wang, Oliver Obst, Mikhail Prokopenko:
Simulation leagues: Analysis of competition formats. - Uli Fahrenberg, Fabrizio Biondi, Kevin Corre, Cyrille Jégourel, Simon Kongshøj, Axel Legay:
Measuring Structural Distances between Texts. - Yong Feng, Jingwei Chen, Wenyuan Wu:
A Short Note on Zero-error Computation for Algebraic Numbers by IPSLQ. - Jens Heidrich, Jürgen Münch:
Goal-oriented Data Visualization with Software Project Control Centers. - Yunquan Dong, Pingyi Fan:
A Queueing Characterization of Information Transmission over Block Fading Rayleigh Channels in the Low SNR. - Daniel Ritter:
Using the Business Process Model and Notation for Modeling Enterprise Integration Patterns. - Carlos Galindo, Fernando Hernando:
Quantum codes from affine variety codes and their subfield-subcodes. - Sumit Gulwani, Ivan Radicek, Florian Zuleger:
Feedback Generation for Performance Problems in Introductory Programming Assignments. - Ernie Cohen:
Hypothesis Elimination in Kleene Semirings. - (Withdrawn) Distributed Load Balancing in Heterogeneous Systems.
- Vincenzo De Florio:
Behavior, Organization, Substance: Three Gestalts of General Systems Theory. - Samuel Mimram
Towards 3-Dimensional Rewriting Theory. - Seyed Rasoul Etesami, Tamer Basar:
Convergence Time for Unbiased Quantized Consensus Over Static and Dynamic Networks. - Michael Helmling, Eirik Rosnes, Stefan Ruzika, Stefan Scholl:
Efficient Maximum-Likelihood Decoding of Linear Block Codes on Binary Memoryless Channels. - Joonmo Kim:
P is not equal to NP by Modus Tollens. - Qing He, Vangelis Angelakis, Anthony Ephremides, Di Yuan:
Polynomial Complexity Minimum-Time Scheduling in a Class of Wireless Networks. - Reza Rahimi:
Quick Safari Through Software Design. - Alla Tarighati, Joakim Jaldén:
Bayesian Design of Tandem Networks for Distributed Detection With Multi-bit Sensor Decisions. - A. A. Milani, Reza Rahimi:
A Methodology for Implementation of MMS Client on Embedded Platforms. - Delaram Kahrobaei, Ha T. Lam:
Heisenberg Groups as Platform for the AAG key-exchange protocol. - Reza Rahimi, Jantira Hengmeechai:
Pervasive Image Computation: A Mobile Phone Application for getting Information of the Images. - Jana Tumova, Dimos V. Dimarogonas:
A Receding Horizon Approach to Multi-Agent Planning from Local LTL Specifications. - Chandrashekar Lakshminarayanan, Shalabh Bhatnagar:
Approximate Dynamic Programming based on Projection onto the (min, +) subsemimodule. - Chandrashekar Lakshminarayanan, Shalabh Bhatnagar:
Approximate dynamic programming with $(\min, +)$ linear function approximation for Markov decision processes. - Mohammad Fanaei, Matthew C. Valenti, Natalia A. Schmid:
Effects of Spatial Randomness on Locating a Point Source with Distributed Sensors. - Anderson de Araújo:
Semantic information and artificial intelligence. - Guillaume Rabusseau, François Denis:
Learning Negative Mixture Models by Tensor Decompositions. - Tanushri Chakravorty, Guillaume-Alexandre Bilodeau, Eric Granger:
Automatic Image Registration in Infrared-Visible Videos using Polygon Vertices. - Guohui Wang, Yingen Xiong, Jay Yun, Joseph R. Cavallaro:
Computer Vision Accelerators for Mobile Systems based on OpenCL GPGPU Co-Processing. - Cagdas Bilen, Gilles Puy, Rémi Gribonval, Laurent Daudet:
Balancing Sparsity and Rank Constraints in Quadratic Basis Pursuit. - Thomas Steiner:
Telling Breaking News Stories from Wikipedia with Social Multimedia: A Case Study of the 2014 Winter Olympics. - Naftaly H. Minsky:
Dependable Management of Untrusted Distributed Systems. - Tsung-Yi Chen, Adam R. Williamson, Richard D. Wesel:
Increasing Flash Memory Lifetime by Dynamic Voltage Allocation for Constant Mutual Information. - Mehrtash Tafazzoli Harandi, Mathieu Salzmann, Fatih Porikli:
Bregman Divergences for Infinite Dimensional Covariance Matrices. - Taesoo Kwon, Ji-Woong Choi:
Spatial Performance Analysis and Design Principles for Wireless Peer Discovery. - Taesoo Kwon:
Spatial Topology Adjustment for Minimizing Multicell Network Power Consumption. - Yunquan Dong, Pingyi Fan, Khaled Ben Letaief:
High Speed Railway Wireless Communications: Efficiency v.s. Fairness. - Mohammed El Amine Abderrahim:
Concept Based vs. Pseudo Relevance Feedback Performance Evaluation for Information Retrieval System. - Haijing Liu, Hui Gao, Anzhong Hu, Tiejun Lv:
Low-Complexity Transmission Mode Selection in MU-MIMO Systems. - Debarghya Ghoshdastidar, Ambedkar Dukkipati, Ajay P. Adsul, Aparna S. Vijayan:
Spectral Clustering with Jensen-type kernels and their multi-point extensions. - Alexander Gruner, Michael Huber:
Absorbing Set Analysis and Design of LDPC Codes from Transversal Designs over the AWGN Channel. - Julia Preusse, Jérôme Kunegis, Matthias Thimm, Sergej Sizov:
DecLiNe - Models for Decay of Links in Networks. - Kaninda Musumbu:
Algorithms Visualization Tool for Students and Lectures in Computer Science. - Artur Jez:
A really simple approximation of smallest grammar. - Heide Gluesing-Luerssen:
The Homogeneous Weight Partition and its Character-Theoretic Dual. - Andrzej Cichocki, Danilo P. Mandic, Anh Huy Phan, Cesar F. Caiafa, Guoxu Zhou, Qibin Zhao, Lieven De Lathauwer:
Tensor Decompositions for Signal Processing Applications From Two-way to Multiway Component Analysis. - Rémi Dubot, Christophe Collet:
A hybrid formalism to parse Sign Languages. - Rahul R. Upadhyay:
Synchronous Relaying Of Sensor Data. - Rémi Dubot, Christophe Collet:
Sign Language Gibberish for syntactic parsing evaluation. - Pili Hu, Qijiang Fan, Wing Cheong Lau:
SNSAPI: A Cross-Platform Middleware for Rapid Deployment of Decentralized Social Networks. - Qian Sun, Gang Zhu, Chao Shen, Xuan Li, Zhangdui Zhong:
Joint Beamforming Design and Time Allocation for Wireless Powered Communication Networks. - Jaroslav M. Fowkes, Razvan Ranca, Miltiadis Allamanis, Mirella Lapata, Charles Sutton:
Autofolding for Source Code Summarization. - Lenuta Suciu, Florentina Cziple, Cornelia Anghel:
Research on Study Mechanical Vibrations with Data Acquisition Systems. - James Atwood, Bruno F. Ribeiro, Don Towsley:
Efficient Network Generation Under General Preferential Attachment. - Justin P. Coon, Orestis Georgiou, Carl P. Dettmann:
Connectivity in Dense Networks Confined within Right Prisms. - Leonid A. Levin:
Sets Have Simple Members. (repost). - Lluís Belanche, Jerónimo Hernández-González:
Similarity networks for classification: a case study in the Horse Colic problem. - Fazel Sharifi, Saba Amanollahi, Mohammad Amin Taherkhani, Omid Hashemipour:
A Flexible Design for Optimization of Hardware Architecture in Distributed Arithmetic based FIR Filters. - Arun Padakandla, Aria Ghasemian Sahebi, S. Sandeep Pradhan:
An Achievable rate region for the $3-$user interference channel based on coset codes. - Zheng Nan, Tianyi Chen, Xin Wang, Wei Ni:
Energy-Efficient Transmission Schedule for Delay-Limited Bursty Data Arrivals under Non-Ideal Circuit Power Consumption. - Justin Cheng, Lada A. Adamic, P. Alex Dow, Jon M. Kleinberg, Jure Leskovec:
Can Cascades be Predicted? - Xiaohui Liu, Hongwei Zhang:
A maximal concurrency and low latency distributed scheduling protocol for wireless sensor networks. - Nabeel Gillani, Rebecca Eynon, Michael A. Osborne, Isis Hjorth, Stephen J. Roberts:
Communication Communities in MOOCs. - Zubair Khalid, Rodney A. Kennedy, Jason D. McEwen:
An Optimal-Dimensionality Sampling Scheme on the Sphere for Fast Spherical Harmonic Transforms. - Justin R. Dobbs, Brandon Hencey:
Model Predictive HVAC Control with Online Occupancy Model. - Jing Guo, Salman Durrani, Xiangyun Zhou:
Performance Analysis of Arbitrarily-Shaped Underlay Cognitive Networks: Effect of Secondary User Activity Protocols. - Masashi Wakaiki, Yutaka Yamamoto:
Quantized Output Feedback Stabilization of Switched Linear Systems. - David R. Bild, Yue Liu, Robert P. Dick, Zhuoqing Morley Mao, Dan S. Wallach:
Performance Analysis of Location Profile Routing. - Jiantao Jiao, Thomas A. Courtade, Kartik Venkat, Tsachy Weissman:
Justification of Logarithmic Loss via the Benefit of Side Information. - Feiyun Zhu, Ying Wang, Shiming Xiang, Bin Fan, Chunhong Pan:
Structured Sparse Method for Hyperspectral Unmixing. - Masashi Wakaiki, Yutaka Yamamoto:
Quantized Feedback Stabilization of Sampled-Data Switched Linear Systems. - Ritu Parasher:
Load flow analysis of radial distribution network using linear data structure. - Manh Tung Pham, Kiam Tian Seow:
Multiagent Conflict Resolution for a Specification Network of Discrete-Event Coordinating Agents. - R. R. Baruah, V. Deka, M. P. Bhuyan:
Enhancing Dictionary Based Preprocessing For Better Text Compression. - Abhik Banerjee, Abhirup Ghosh, Koustuvmoni Bharadwaj, Hemanta Saikia:
Mouse Control using a Web Camera based on Colour Detection. - Stefka Bouyuklieva, Wolfgang Willems, Nikolay I. Yankov:
On the Automorphisms of Order 15 for a Binary Self-Dual [96, 48, 20] Code. - Yanchuang Cao, Lihua Wen, Jinyou Xiao:
A fast directional boundary element method for high frequency acoustic problems in three dimensions. - Vojtech Vorel:
Detecting Short Reset Words Parameterized by Number of States. - Yunquan Dong, Qing Wang, Pingyi Fan, Khaled Ben Letaief:
The Deterministic Time-Linearity of Service Provided by Fading Channels. - Zeeshan Bhatti, Imdad Ali Ismaili, Asad Ali Shaikh, Waseem Javaid:
Spelling Error Trends and Patterns in Sindhi. - Inma Mohino-Herranz, Roberto Gil-Pita, Sagrario Alonso-Diaz, Manuel Rosa-Zurera:
MFCC based Enlargement of the Training Set for Emotion Recognition in Speech. - Musheer Ahmad, Hamed D. Al-Sharari:
An Inter-Component Pixels Permutation Based Color Image Encryption Using Hyper-chaos. - Subhadip Mukherjee, Chandra Sekhar Seelamantula:
A Split-and-Merge Dictionary Learning Algorithm for Sparse Representation. - Musheer Ahmad, Bashir Alam, Omar Farooq:
Chaos Based Mixed Keystream Generation for Voice Data Encryption. - Nima Monshizadeh, Arjan van der Schaft:
Structure-preserving model reduction of physical network systems by clustering. - James Gerald Holland Whiting, Ben de Lacy Costello, Andrew Adamatzky:
Sensory fusion in Physarum polycephalum and implementing multi-sensory functional computation. - Anders Hansson, Michel Verhaegen:
Distributed System Identification with ADMM. - Xianjin Fu, Zhenbang Chen, Yufeng Zhang, Chun Huang, Ji Wang:
MPISE: Symbolic Execution of MPI Programs. - Bowen Zhang, Michael C. Caramanis, John Baillieul:
Control of Smart Building Dynamic Energy Service Preferences for Efficient Regulation Service. - Qinggang Yue, Zhen Ling, Benyuan Liu, Xinwen Fu, Wei Zhao
Blind Recognition of Touched Keys: Attack and Countermeasures. - Emil Björnson, Michail Matthaiou
Massive MIMO Systems with Hardware-Constrained Base Stations. - Emil Björnson, Michail Matthaiou, Mérouane Debbah:
Circuit-Aware Design of Energy-Efficient Massive MIMO Systems. - Michael A. Bekos, Thomas C. van Dijk, Martin Fink, Philipp Kindermann, Stephen G. Kobourov, Sergey Pupyrev, Joachim Spoerhase, Alexander Wolff:
Improved Approximation Algorithms for Box Contact Representations. - Nima Monshizadeh, Shuo Zhang, M. Kanat Camlibel:
Zero forcing sets and controllability of dynamical systems defined on graphs. - Mark R. N. Shackelford:
Evolutionary Algorithm for Drug Discovery Interim Design Report. - Matthew B. Hawes, Wei Liu:
A Compressive Sensing Based Approach to Sparse Wideband Array Design. - Samson Abramsky:
Two Puzzles About Computation. - Martin Treiber, Venkatesan Kanagaraj:
Comparing Numerical Integration Schemes for Time-Continuous Car-Following Models. - Andrew S. Warren, João C. Setubal:
Using Entropy Estimates for DAG-Based Ontologies. - Ryosuke Nishi, Naoki Masuda:
Dynamics of social balance on temporal networks. - Vini Kanvar, Uday P. Khedker:
Heap Abstractions for Static Analysis. - Steven Bethard, Leon Derczynski, James Pustejovsky, Marc Verhagen:
Clinical TempEval. - Javier Esparza, Jörg Desel:
On Negotiation as Concurrency Primitive II: Deterministic Cyclic Negotiations. - Naftaly H. Minsky:
Bracing Heterogeneous Distributed Systems via Built-in Frameworks. - Evripidis Bampis, Alexander V. Kononov, Dimitrios Letsios, Giorgio Lucarelli, Maxim Sviridenko:
Energy Efficient Scheduling and Routing via Randomized Rounding. - Pedro O. S. Vaz de Melo, Christos Faloutsos, Renato M. Assunção, Rodrigo Alves, Antonio A. F. Loureiro:
Universal and Distinct Properties of Communication Dynamics: How to Generate Realistic Inter-event Times. - Bharath K. Samanthula, Yousef Elmehdwi, Wei Jiang:
k-Nearest Neighbor Classification over Semantically Secure Encrypted Relational Data. - Ning Yan, Abolfazl Asudeh, Chengkai Li:
Generating Preview Tables for Entity Graphs. - Guanfeng Liang, Ulas C. Kozat:
On Throughput-Delay Optimal Access to Storage Clouds via Load Adaptive Coding and Chunking. - Kexing Xing, Decheng Zuo, Haiying Zhou, Kun Mean Hou:
Task & Resource Self-adaptive Embedded Real-time Operating System Microkernel for Wireless Sensor Nodes. - Kai Li, Yong Wang, Meilin Liu:
A Non-Cooperative Game Model for Reliability-Based Task Scheduling in Cloud Computing. - Laurent Lessard:
State-space solution to a minimum-entropy ℋ∞-optimal control problem with a nested information constraint. - Jason L. Williams:
An efficient, variational approximation of the best fitting multi-Bernoulli filter. - Wei Zhang, Kay Minn, Lilong Lin, Baolin Wu, Jeremy Chien, Hui Zheng, Rui Kuang:
Network-based Transcript Quantification with RNA-Seq Data. - Branislav Kveton, Zheng Wen, Azin Ashkan, Hoda Eydgahi, Brian Eriksson:
Matroid Bandits: Fast Combinatorial Optimization with Learning. - (Withdrawn) Hybrid Virtual network Embedding Algorithm with K-core Decomposition using Path Splitting.
- Constantin Jucovschi:
Towards an Interaction-based Integration of MKM Services into End-User Applications. - Stefano Gurciullo:
Organised crime infiltration in the legitimate private economy - An empirical network analysis approach. - Sven Schneider, Uwe Nestmann:
Enforcing Operational Properties including Blockfreeness for Deterministic Pushdown Automata. - Ranga Prasad, Srikrishna Bhashyam, A. Chockalingam:
On the Gaussian Many-to-One X Channel. - Andreas Wotzlaw:
On Solving the Maximum $k$-club Problem. - Ugo Louche, Liva Ralaivola:
Unconfused Ultraconservative Multiclass Algorithms. - Parul Pandey, Mahshwari Tripathi:
A Novel Quorum Protocol. - Kostyantyn M. Shchekotykhin:
Interactive Debugging of ASP Programs. - Evo Busseniers:
General Centrality in a hypergraph. - Yunpeng Li, Ya Li, Jie Liu, Yong Deng:
Defuzzify firstly or finally: Dose it matter in fuzzy DEMATEL under uncertain environment? - Danupon Nanongkai:
Distributed Approximation Algorithms for Weighted Shortest Paths. - Iury Bessa, Renato B. Abreu, Joao Edgar Chaves Filho, Lucas C. Cordeiro:
SMT-Based Bounded Model Checking of Fixed-Point Digital Controllers. - Victor Marsault, Jacques Sakarovitch:
Rhythmic generation of infinite trees and languages. - Martin Barczyk, Silvère Bonnabel, Jean-Emmanuel Deschaud, François Goulette:
Experimental Implementation of an Invariant Extended Kalman Filter-based Scan Matching SLAM. - Rada Chirkova, Ting Yu:
Obtaining Information about Queries behind Views and Dependencies. - Hanlei Wang:
Adaptive Control of Robot Manipulators With Uncertain Kinematics and Dynamics. - Yi Chang, Lei Tang, Yoshiyuki Inagaki, Yan Liu:
What is Tumblr: A Statistical Overview and Comparison. - (Withdrawn) NP-hardness results for partitioning graphs into disjoint cliques and a triangle-free subgraph.
- Paul F. Christiano:
Online Local Learning via Semidefinite Programming. - Daniele Pucci, Tarek Hamel, Pascal Morin, Claude Samson:
Nonlinear Feedback Control of Axisymmetric Aerial Vehicles. - Arkadiusz Stopczynski, Riccardo Pietri, Alex Pentland, David Lazer, Sune Lehmann:
Privacy in Sensor-Driven Human Data Collection: A Guide for Practitioners. - Mustafa S. Mehmetoglu, Emrah Akyol, Kenneth Rose:
A Deterministic Annealing Optimization Approach for Witsenhausen's and Related Decentralized Control Settings. - Paschalis C. Sofotasios, Theodoros A. Tsiftsis, Yury A. Brychkov, Steven Freear, Mikko Valkama, George K. Karagiannidis:
Analytic Expressions and Bounds for Special Functions and Applications in Communication Theory. - M. R. Avendi, Ha H. Nguyen:
Differential Dual-Hop Relaying over Time-Varying Rayleigh-Fading Channels. - M. R. Avendi, Ha H. Nguyen:
Differential Amplify-and-Forward Relaying in Time-Varying Rayleigh Fading Channels. - Amirhossein Aminfar, Sivaram Ambikasaran, Eric Darve:
A Fast Block Low-Rank Dense Solver with Applications to Finite-Element Matrices. - Daniel Russo, Benjamin Van Roy:
An Information-Theoretic Analysis of Thompson Sampling. - Xiaoge Zhang, Andrew Adamatzky, Xin-She Yang, Hai Yang, Sankaran Mahadevan, Yong Deng:
A Physarum-Inspired Approach to Optimal Supply Chain Network Design at Minimum Total Cost with Demand Satisfaction. - Nicolas Bonichon, Iyad A. Kanj, Ljubomir Perkovic, Ge Xia:
There are Plane Spanners of Maximum Degree 4. - Anzhong Hu, Tiejun Lv, Hui Gao, Zhang Zhang, Shaoshi Yang:
An ESPRIT-Based Approach for 2-D Localization of Incoherently Distributed Sources in Massive MIMO Systems. - Silu Huang, Ada Wai-Chee Fu:
(α, k)-Minimal Sorting and Skew Join in MPI and MapReduce. - Reza Iraji, Hamidreza Chitsaz:
NuRA: Numerical Roadmap Algorithm. - Gita Shah, Annappa, K. C. Shet:
Design Architecture-Based on Web Server and Application Cluster in Cloud Environment. - Xavier Devroey, Gilles Perrouin, Maxime Cordy, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans:
State Machine Flattening: Mapping Study and Assessment. - Renny, Reza Chandra, Syamsi Ruhama, Mochammad Wisuda Sarjono:
Exploring Indonesian Web Based Career Center Discrepancy of Web Popularity and Type of Services. - Giovanni Chierchia, Nelly Pustelnik, Béatrice Pesquet-Popescu, Jean-Christophe Pesquet:
A Non-Local Structure Tensor Based Approach for Multicomponent Image Recovery Problems. - Michael Kläs, Jens Heidrich, Jürgen Münch, Adam Trendowicz:
Comprehensive Landscapes for Software-related Quality Models. - John Baillieul, Zhaodan Kong:
Saliency Based Control in Random Feature Networks. - Tristan Vaccon:
Matrix-F5 algorithms over finite-precision complete discrete valuation fields. - Jian-Jun Shu, Qi-Wen Wang:
Beyond Parrondo's paradox. - Reham Gharbia, Ahmad Taher Azar, Ali Hassan El Baz, Aboul Ella Hassanien:
Image Fusion Techniques in Remote Sensing. - V. Karthikeyan, K. Vijayalakshmi, P. Jeyakumar:
An Efficient Method for Face Recognition System In Various Assorted Conditions. - Felipe Olmos, Bruno Kauffmann, Alain Simonian, Yannick Carlinet:
Catalog Dynamics: Impact of Content Publishing and Perishing on the Performance of a LRU Cache. - Collins Leke, Bhekisipho Twala, Tshilidzi Marwala:
Missing Data Prediction and Classification: The Use of Auto-Associative Neural Networks and Optimization Algorithms. - Stefania Costantini:
Towards Active Logic Programming. - Simone Formentin, Fabrizio Dabbene, Roberto Tempo, Luca Zaccarian, Sergio M. Savaresi:
Scenario optimization with certificates and applications to anti-windup design. - Brendan M. McLaughlin, Connor P. Ballance:
Petascale computations for Large-scale Atomic and Molecular collisions. - Ryan H. Lewis:
Yet Another Graph Partitioning Problem is NP-Hard. - Daniel Russo, Benjamin Van Roy:
Learning to Optimize Via Information Directed Sampling. - Lu Wei, Zhong Zheng, Jukka Corander, Giorgio Taricco:
On the Outage Capacity of Orthogonal Space-time Block Codes Over Multi-cluster Scattering MIMO Channels. - Petter Strandmark, Sameer Agarwal:
Continuous Optimization for Fields of Experts Denoising Works. - Tarek El-Shishtawy, Fatma El-Ghannam:
A Lemma Based Evaluator for Semitic Language Text Summarization Systems. - Pengwei Wang, Reihaneh Safavi-Naini:
Adversarial Wiretap Channel with Public Discussion. - Jie Xu, Mihaela van der Schaar, Jiangchuan Liu, Haitao Li:
Forecasting Popularity of Videos using Social Media. - Yuan He, Krishnan Gopalakrishnan:
Group Mutual Exclusion in Linear Time and Space. - Vinay Singh, Vandana Bhattacherjee:
A New Complete Class Complexity Metric. - Boulat A. Bash, Saikat Guha, Dennis Goeckel, Don Towsley:
Quantum-noise limited communication with low probability of detection. - Simrat Singh Chhabra, Ajit Brundavanam, Saswata Shannigrahi:
An Alternative Explanation for the Rise and Fall of MySpace. - Shahadat Hossein, Pär-Ola Zander, Md Sarwar Kamal, Linkon Chowdhury:
Belief-Rule-Based Expert Systems for Evaluation of E- Government: A Case Study. - Shubhanjali Sharma, Garima Gupta, P. R. Laxmi:
A Survey on Cloud Security Issues and Techniques. - Dharmendra Singh, Rakhi Sinha, Pawan Songara, Rakesh Rathi:
Vulnerabilities and Attacks Targeting Social Networks and Industrial Control Systems. - Antonio A. D'Amico, Luca Sanguinetti, Daniel P. Palomar:
Convex separable problems with linear and box constraints. - Valery A. Ugrinovskii, Cédric Langbort:
Control over adversarial packet-dropping communication networks revisited. - Patrick Bahr
Partial Order Infinitary Term Rewriting. - Todd L. Veldhuizen:
Transaction Repair: Full Serializability Without Locks. - Rong Jin, Shenghuo Zhu:
CUR Algorithm with Incomplete Matrix Observation. - Gan Zheng, Zuleita Ka Ming Ho, Eduard A. Jorswieck, Björn E. Ottersten:
Information and Energy Cooperation in Cognitive Radio Networks. - Sándor P. Fekete, Hella-Franziska Hoffmann:
Online Square-into-Square Packing. - Ilan Komargodski, Moni Naor, Eylon Yogev:
Secret-Sharing for NP from Indistinguishability Obfuscation. - Boris Tomas:
Cortex simulation system proposal using distributed computer network environments. - Nathann Cohen, Daniel Gonçalves
A Polynomial-time Algorithm for Outerplanar Diameter Improvement. - Michael Wu, Bei Yin, Guohui Wang, Chris Dick, Joseph R. Cavallaro, Christoph Studer:
Large-Scale MIMO Detection for 3GPP LTE: Algorithms and FPGA Implementations. - Kyeong Soo Kim:
Deficit Round-Robin-Based ISP Traffic Control Scheme Enabling Excess Bandwidth Allocation in Shared Access Networks. - Zhongyuan Xu, Scott D. Stoller:
Mining Attribute-Based Access Control Policies from Logs. - Yu-Shiang Wong, Hung-Kuo Chu, Niloy J. Mitra:
SmartAnnotator: An Interactive Tool for Annotating RGBD Indoor Images. - Lingyang Song, Dusit Niyato, Zhu Han, Ekram Hossain:
Game-theoretic Resource Allocation Methods for Device-to-Device (D2D) Communication. - Szabolcs Iván
Synchronizing weighted automata. 301-313 - Derrick Wing Kwan Ng, Robert Schober:
Resource Allocation for Coordinated Multipoint Networks with Wireless Information and Power Transfer. - Zahi A. M. Abu Sarhan:
Software Agents Interaction Algorithms in Virtual Learning Environment. - Jie Xu, Rui Zhang:
Cooperative Energy Trading in CoMP Systems Powered by Smart Grids. - Xinyang Deng, Felix T. S. Chan, Rehan Sadiq, Sankaran Mahadevan, Yong Deng:
D-CFPR: D numbers extended consistent fuzzy preference relations. - Myroslav Sparavalo:
The Lyapunov Concept of Stability from the Standpoint of Poincare Approach: General Procedure of Utilization of Lyapunov Functions for Non-Linear Non-Autonomous Parametric Differential Inclusions. - Longbo Huang:
Optimizing Your Online-Advertisement Asynchronously. - Rahul Gupta, Gitansh Khirbat, Sanjay Singh:
A Novel Method to Calculate Click Through Rate for Sponsored Search. - Shubh Narayan Singh, Kanduru V. Krishna:
$L$-Primitive Words in Submonoids. - Aaron D. Jaggard, Neil Lutz, Michael Schapira, Rebecca N. Wright:
Self-stabilizing uncoupled dynamics. - Eike Linn, Anne Siemon, Rainer Waser, Stephan Menzel:
Applicability of Well-Established Memristive Models for Simulations of Resistive Switching Devices. - Lisa F. Smith, Kimberly K. Arcand
Examining Perceptions of Astronomy Images Across Mobile Platforms. - Piotr Indyk, Michael Kapralov:
Sample-Optimal Fourier Sampling in Any Constant Dimension - Part I. - Athanasios Margaris, Stavros Souravlas, Manos Roumeliotis:
Parallel Implementations of the Jacobi Linear Algebraic Systems Solve. - Vadim Alexeev, Liudmila Rozanova, Alexander Temerev:
Heterogeneous epidemic model for assessing data dissemination in opportunistic networks. - Guanghua Zhu, Linda M. Davis, Terence Chan:
Energy-Throughput Trade-offs in a Wireless Sensor Network with Mobile Relay. - Peng Qin, Bin Dai, Benxiong Huang, Guan Xu, Kui Wu:
A Survey on Network Tomography with Network Coding. - Luciano Gualà, Stefano Leucci, Emanuele Natale:
Bejeweled, Candy Crush and other Match-Three Games are (NP-)Hard. - Jedidiah McClurg, Nate Foster, Pavol Cerný:
Efficient Synthesis of Network Updates. - Ali A. Khavasi, Mojtaba Aajami, Hae-Ryeon Park, Jung-Bong Suk:
Utility Max-Min Fair Link Adaptation in IEEE 802.11ac Downlink Multi-User. - Ying Long, Yao Shen:
Mapping parcel-level urban areas for a large geographical area. - V. Karthikeyan, V. J. Vijayalakshmi, P. Jeyakumar:
Step and Search Control Method to Track the Maximum Power in Wind Energy Conversion Systems A Study. - Akhlaqur Rahman, Sumaira Tasnim:
Block Motion Based Dynamic Texture Analysis: A Review. - Yue Liu, David R. Bild, Robert P. Dick, Zhuoqing Morley Mao, Dan S. Wallach:
The Mason Test: A Defense Against Sybil Attacks in Wireless Networks Without Trusted Authorities. - Wasim Huleihel, Neri Merhav, Shlomo Shamai:
On Compressive Sensing in Coding Problems: A Rigorous Approach. - Maurits de Graaf, Bodo Manthey:
Probabilistic Analysis of Power Assignments. - Björn W. Schuller, Erik Marchi, Simon Baron-Cohen, Helen O'Reilly, Delia Pigat, Peter Robinson, Ian Davies:
The state of play of ASC-Inclusion: An Integrated Internet-Based Environment for Social Inclusion of Children with Autism Spectrum Conditions. - Daniel Freedman, Eyal Krupka, Yoni Smolin, Ido Leichter, Mirko Schmidt:
SRA: Fast Removal of General Multipath for ToF Sensors. - Liang Dai:
Viewing the Welch bound inequality from the kernel trick viewpoint. - Pokkuluri Kiran Sree, Inampudi Ramesh Babu:
AIS-INMACA: A Novel Integrated MACA Based Clonal Classifier for Protein Coding and Promoter Region Prediction. - Jack Kelly, William J. Knottenbelt:
Metadata for Energy Disaggregation. - André Luiz Camargos Tavares, Benoit Boissinot, Fernando Magno Quintão Pereira, Fabrice Rastello:
Parameterized Construction of Program Representations for Sparse Dataflow Analyses. - Carl Feghali, Faisal N. Abu-Khzam, Haiko Müller:
Forbidden subgraph characterization of (P3-free, K3-free)-colourable cographs. - Yang Wang:
Random Matrices and Erasure Robust Frames. - Brijender Kahanwal:
File System Design Approaches. - Guangxun Du, Quan Quan, Binxian Yang, Kai-Yuan Cai:
Controllability Analysis for a Class of Multirotors Subject to Rotor Failure/Wear. - Matteo Dell'Amico, Damiano Carra, Mario Pastorelli, Pietro Michiardi:
Revisiting Size-Based Scheduling with Estimated Job Sizes. - Narkhede Sachin G., Vaishali D. Khairnar
Brain Tumor Detection Based On Mathematical Analysis and Symmetry Information. - Hong Cao:
A Tablet Based Learning Environment. - Vaishali D. Khairnar, S. N. Pradhan:
Simulation Based: Study and Analysis of Routing Protocol in Vehicular Ad-hoc Network Environment. - Luís Marujo, Anatole Gershman, Jaime G. Carbonell, João Paulo Neto, David Martins de Matos:
Ensemble Detection of Single & Multiple Events at Sentence-Level. - Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare:
Topologies of Stochastic Markov Models: Computational Aspects. - Arun Nampally, C. R. Ramakrishnan:
Adaptive MCMC-Based Inference in Probabilistic Logic Programs. - Changhong Zhao, Steven H. Low:
Decentralized Primary Frequency Control in Power Networks. - Simon Kramer:
Computer-Aided Discovery and Categorisation of Personality Axioms. - Alexey Sorokin:
Monoid automata for displacement context-free languages. - Jalal Mahmud, Huiji Gao:
Why Do You Spread This Message? Understanding Users Sentiment in Social Media Campaigns. - Stefan Mitsch, Grant Olney Passmore, André Platzer:
Collaborative Verification-Driven Engineering of Hybrid Systems. - Zoran Majkic:
Intensional RDB for Big Data Interoperability. - Mohammad Gholami, Ghaffar Raeisi:
Column Weight Two and Three LDPC Codes with High Rates and Large Girths. - Neri Merhav:
Exact correct-decoding exponent of the wiretap channel decoder. - Emil Björnson, Luca Sanguinetti, Jakob Hoydis, Mérouane Debbah:
Optimal Design of Energy-Efficient Multi-User MIMO Systems: Is Massive MIMO the Answer? - Zhiguo Ding, Ioannis Krikidis, Bayan S. Sharif, H. Vincent Poor:
Wireless Information and Power Transfer in Cooperative Networks with Spatially Random Relays. - (Withdrawn) The Connectivity of Boolean Satisfiability: No-Constants and Quantified Variants.
- Utkarsh R. Patel, Piero Triverio:
MoM-SO: a Complete Method for Computing the Impedance of Cable Systems Including Skin, Proximity, and Ground Return Effects. - Jörg Endrullis
Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples. - Anna Senina, Marcus Rohrbach, Wei Qiu, Annemarie Friedrich, Sikandar Amin, Mykhaylo Andriluka, Manfred Pinkal, Bernt Schiele:
Coherent Multi-Sentence Video Description with Variable Level of Detail. - Alireza Nasiri Avanaki, Kathryn S. Espig, Andrew D. A. Maidment, Cédric Marchessoux, Predrag R. Bakic, Tom R. L. Kimpe:
Development and evaluation of a 3D model observer with nonlinear spatiotemporal contrast sensitivity. - Michael Kaufmann, Torsten Ueckerdt:
The Density of Fan-Planar Graphs. - Danupon Nanongkai:
Brief Announcement: Almost-Tight Approximation Distributed Algorithm for Minimum Cut. - Yixuan Xie, Jinhong Yuan:
Quantum Synchronizable Codes From Augmentation of Cyclic Codes. - Lilian Weng, Filippo Menczer, Yong-Yeol Ahn:
Predicting Successful Memes using Network and Community Structure. - Ravishankar Krishnaswamy, Viswanath Nagarajan, Kirk Pruhs, Cliff Stein:
Cluster Before You Hallucinate: Approximating Node-Capacitated Network Design and Energy Efficient Routing. - Yushu Zhang, Kwok-Wo Wong, Di Xiao, Leo Yu Zhang, Ming Li:
Embedding Cryptographic Features in Compressive Sensing. - Alexey Sorokin:
Pumping lemma and Ogden lemma for tree-adjoining grammars. - Thi-Minh-Tam Nguyen, Viet-Trung Vu, The-Vinh Doan, Duc-Khanh Tran:
Resolution in Linguistic First Order Logic based on Linear Symmetrical Hedge Algebra. - Felipe Cucker:
A Theory of Complexity, Condition and Roundoff. - Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi:
Balancing Scalability and Uniformity in SAT Witness Generator. - Qifeng Qiao, Peter A. Beling:
Classroom Video Assessment and Retrieval via Multiple Instance Learning. - Ludovic Mignot
$k$-Position, Follow, Equation and $k$-C-Continuation Tree Automata Constructions. 327-341 - M. Ashrafuzzaman, M. Masudur Rahman, M. M. A. Hashem:
Capturing and Recognizing Objects Appearance Employing Eigenspace. - Alessio Guerrieri, Alberto Montresor:
Distributed Edge Partitioning for Graph Processing. - Kyeong Soo Kim:
On the Excess Bandwidth Allocation in ISP Traffic Control for Shared Access Networks. - Kieran Greer:
Arguments for Nested Patterns in Neural Ensembles. - Vibhav Vineet, Jonathan Warrell, Philip H. S. Torr:
A Tiered Move-making Algorithm for General Non-submodular Pairwise Energies. - Zhenfang Hu, Gang Pan, Yueming Wang, Zhaohui Wu:
Spectral Sparse Representation for Clustering: Evolved from PCA, K-means, Laplacian Eigenmap, and Ratio Cut. - Karin Quaas:
Verification for Timed Automata extended with Discrete Data Structure. - Hanae Sbaï, Mounia Fredj, Laila Kjiri:
A Pattern based methodology for evolution management in business process reuse. - Brian H. Tracey, Eric L. Miller:
Stabilizing dual-energy X-ray computed tomography reconstructions using patch-based regularization. - Matias Martinez, Westley Weimer, Martin Monperrus:
Do the Fix Ingredients Already Exist? An Empirical Inquiry into the Redundancy Assumptions of Program Repair Approaches. - Sebastian Herrmann, Jörn Grahl, Franz Rothlauf:
Problem Complexity in Parallel Problem Solving. - Pål Grønås Drange, Markus Sortland Dregi, Pim van 't Hof:
On the Computational Complexity of Vertex Integrity. - Matthew Johnson, Dieter Kratsch, Stefan Kratsch, Viresh Patel, Daniël Paulusma:
Colouring Reconfiguration Is Fixed-Parameter Tractable. - Blaz Sovdat:
Updating formulas and algorithms for computing entropy and Gini index on time-changing data streams. - Shuling Wang, Flemming Nielson, Hanne Riis Nielson:
A Framework for Hybrid Systems with Denial-of-Service Security Attack. - K. Sureka, K. G. Srinivasagan, S. Suganthi:
An efficiency dependency parser using hybrid approach for tamil language. - Ali Sharif Razavian, Hossein Azizpour, Josephine Sullivan, Stefan Carlsson:
CNN Features off-the-shelf: an Astounding Baseline for Recognition. - Marthe Bonamy, Nicolas Bousquet:
Recoloring graphs via tree decompositions. - Arturo Curiel, Christophe Collet:
Implementation of an Automatic Sign Language Lexical Annotation Framework based on Propositional Dynamic Logic. - Alessandro Chiesa, Silvio Micali, Zeyuan Allen Zhu:
Bridging Utility Maximization and Regret Minimization. - Frank Rosner, Alexander Hinneburg, Michael Röder, Martin Nettling, Andreas Both:
Evaluating topic coherence measures. - Alessandro Chiesa, Silvio Micali, Zeyuan Allen Zhu:
Knightian Robustness from Regret Minimization. - Alessandro Chiesa, Silvio Micali, Zeyuan Allen Zhu:
Knightian Analysis of the VCG Mechanism in Unrestricted Combinatorial Auctions. - Alessandro Chiesa, Silvio Micali, Zeyuan Allen Zhu:
Knightian Robustness of Single-Parameter Domains. - Alessandro Chiesa, Silvio Micali, Zeyuan Allen Zhu:
Knightian Robustness of the Vickrey Mechanism. - Karel Brinda
Languages of lossless seeds. 139-150 - Elisabetta Chicca, Fabio Stefanini, Chiara Bartolozzi, Giacomo Indiveri:
Neuromorphic electronic circuits for building autonomous cognitive systems. - Christopher W. Brown:
Model-based construction of Open Non-uniform Cylindrical Algebraic Decompositions. - Xiaomin Lin, Peter A. Beling, Randy Cogill:
Multi-agent Inverse Reinforcement Learning for Zero-sum Games. - Edouard Bonnet, Florian Jamain, Abdallah Saffidine:
Havannah and TwixT are PSPACE-complete. - Prashanth L. A., Mohammad Ghavamzadeh:
Actor-Critic Algorithms for Risk-Sensitive Reinforcement Learning. - Sang Wu Kim:
Modify-and-Forward for Securing Cooperative Relay Communications. - Dian-Wu Yue, Yichuang Sun:
Transmit Power Minimization for MIMO Systems of Exponential Average BER with Fixed Outage Probability. - (Withdrawn) Fully Abstract Game Semantics for Actors.
- Weiming Dong, Fuzhang Wu, Yan Kong, Xing Mei, Tong-Yee Lee, Xiaopeng Zhang:
Image Retargeting by Content-Aware Synthesis. - Dirk Sudholt:
How Crossover Speeds Up Building-Block Assembly in Genetic Algorithms. - Markus E. Nebel, Sebastian Wild
Pivot Sampling in Java 7's Dual-Pivot Quicksort. - Shiguang Feng, Xishun Zhao:
More on Descriptive Complexity of Second-Order HORN Logics. - Kin Tat Ho, Lok Ming Lui:
QCMC: Quasi-conformal Parameterizations for Multiply-connected domains. - Musheer Ahmad, Hamed D. Al-Sharari, Munazza Nizam:
Security Improvement of an Image Encryption Based on mPixel-Chaotic-Shuffle and Pixel-Chaotic-Diffusion. - Nikolaos Kavvadias, Spiridon Nikolaidis:
Design space exploration tools for the ByoRISC configurable processor family. - Arturo Curiel, Christophe Collet:
Sign Language Lexical Recognition With Propositional Dynamic Logic. - Simon Korman, Roee Litman, Shai Avidan, Alexander M. Bronstein:
Probably Approximately Symmetric: Fast 3D Symmetry Detection with Global Guarantees. - C. Jasson Casey, Andrew Sutton, Alex Sprintson:
tinyNBI: Distilling an API from essential OpenFlow abstractions. - Bryan Perozzi, Rami Al-Rfou, Steven Skiena:
DeepWalk: Online Learning of Social Representations. - Ioannis Chionis, Maria Chroni, Stavros D. Nikolopoulos:
WaterRPG: A Graph-based Dynamic Watermarking Model for Software Protection. - François Simon:
One-sided asymptotically mean stationary channels. - Shin'ichi Konomi:
Lost Again in Shibuya: Exploration and Awareness in a Labyrinth. - Christian Decker, Roger Wattenhofer:
Bitcoin Transaction Malleability and MtGox. - Oana Andrei, Muffy Calder, Matthew Higgs, Mark A. Girolami:
Probabilistic Model Checking of DTMC Models of User Activity Patterns. - Amelia Harrison, Vladimir Lifschitz, Miroslaw Truszczynski:
On Equivalence of Infinitary Formulas under the Stable Model Semantics. - S. Ravindra, S. N. Jagadeesha:
Time Of Arrival Based Localization in Wireless Sensor Networks : A Linear Approach. - Zhaoxi Fang, Xiaojun Yuan, Xin Wang:
Towards Asymptotic Sum Capacity of the MIMO Cellular Two-Way Relay Channel. - Gábor Braun, Sebastian Pokutta:
The matching polytope does not admit fully-polynomial size relaxation schemes. - Gearóid O'Brien, Abbas El Gamal, Ram Rajagopal:
Compensating Demand Response Participants Via Their Shapley Values. - Ana Romero, Jónathan Heras, Gadea Mata, Miguel Morales, Julio Rubio:
Procesamiento topo-geométrico de imágenes neuronales. - Avi Zanko, Amir Leshem, Ephraim Zehavi:
Network coding for multicasting over Rayleigh fading multi access channels. - David Eisenstat, Claire Mathieu, Nicolas Schabanel:
Facility Location in Evolving Metrics. - Benjamin Berkels, Peter Binev, Douglas A. Blom, Wolfgang Dahmen, Robert C. Sharpley, Thomas Vogt:
Optimized imaging using non-rigid registration. - Iván Gómez-Conde, David N. Olivieri:
KPCA Spatio-temporal trajectory point cloud classifier for recognizing human actions in a CBVR system. - V. Sriram Siddhardh Nadendla, Swastik Brahma, Pramod K. Varshney:
Optimal Auction Mechanism for Spectrum Allocation in Cognitive Radio Networks under Uncertain Spectrum Availability. - Xiaomin Lin, Peter A. Beling, Randy Cogill:
Comparison of Multi-agent and Single-agent Inverse Learning on a Simulated Soccer Example. - Theresa Schubert:
ChromaPhy - A Living Wearable Connecting Humans and Their Environment. - Manuel Gomez-Rodriguez, Krishna P. Gummadi, Bernhard Schölkopf:
Quantifying Information Overload in Social Media and its Impact on Social Contagions. - Joel Veness, Marcus Hutter:
Online Learning of k-CNF Boolean Functions. - Guido Governatori:
ICT Support for Regulatory Compliance of Business Processes. - Christopher D. McFarland:
A modified ziggurat algorithm for generating exponentially- and normally-distributed pseudorandom numbers. - Nenad Markus, Miroslav Frljak, Igor S. Pandzic, Jörgen Ahlberg, Robert Forchheimer:
Fast Localization of Facial Landmark Points. - Sapna Soni, Imran Ahmed, Sunil Kumar Kopparapu:
Automatic Segmentation of Broadcast News Audio using Self Similarity Matrix. - Mayanka Katyal, Atul Mishra:
A Comparative Study of Load Balancing Algorithms in Cloud Computing Environment. - Harikrishnan R, Shajna S. Hammed, P. Malini:
Marine Buoy Location Finding and Tracking System for Linux Supporting Mobiles. - Adityanand Guntuboyina:
Covering numbers of $L_p$-balls of convex sets and functions. - Yuan Hu, Weisi Guo, Siyi Wang:
Emergency Route Selection for D2D Cellular Communications During an Urban Terrorist Attack. - Song Qiu, Weisi Guo, Siyi Wang, Nariman Farsad, Andrew W. Eckford:
A Molecular Communication Link for Monitoring in Confined Environments. - Gilwon Lee, Youngchul Sung:
A New Approach to User Scheduling in Massive Multi-User MIMO Broadcast Channels. - Josiah Walker, Trent Houliston, Brendan Annable, Alex Biddulph, Andrew Dabson, Jake Fountain, Taylor Johnson, Jordan Johnson, Mitchell Metcalfe, Anita Sugo, Stephan K. Chalup, Robert A. R. King, Alexandre Mendes, Peter Turner:
The NUbots Team Description Paper 2014. - Francisco M. Castro, Manuel J. Marín-Jiménez, Rafael Medina Carnicer:
Pyramidal Fisher Motion for Multiview Gait Recognition. - Afrooz Ebadat, Bo Wahlberg, Håkan Hjalmarsson, Cristian R. Rojas, Per Hägg, Christian A. Larsson:
Applications Oriented Input Design in Time-Domain Through Cyclic Methods. - Sheetal Bairwa, Bhawna Mewara, Jyoti Gajrani:
Vulnerability Scanners-A Proactive Approach To Assess Web Application Security. - Gunther Schmidt
Relational Mathematics Continued. - Sylvain Rousseau, David Helbert, Philippe Carré, Jacques Blanc-Talon:
Compressive Pattern Matching on Multispectral Data. - Milos Nikolic, Mohammed Elseidy, Christoph Koch:
LINVIEW: Incremental View Maintenance for Complex Analytical Queries. - Dennis Sundman, Saikat Chatterjee, Mikael Skoglund:
DIPP - Distributed Parallel Pursuit. - Lei Deng, Wenjie Zhang, Yun Rui:
Utility Maximization for Uplink MU-MIMO: Combining Spectral-Energy Efficiency and Fairness. - Ahmed Benfarah, Stefano Tomasin, Nicola Laurenti:
On the Secrecy Capacity Region of Parallel Broadcast Channel with Common and Confidential Messages. - K. Demchuk, Douglas J. Leith:
Fast Discovery of Unique and Minimal Data Patterns. - Martin Líska:
Optimizing large applications. - Nikhil Karamchandani, Urs Niesen, Mohammad Ali Maddah-Ali, Suhas N. Diggavi:
Hierarchical Coded Caching. - Marc Torrellas, Adrian Agustin, Josep Vidal:
On the Degrees of freedom of the K-user MISO Interference Channel with imperfect delayed CSIT. - Keita Emura, Akira Kanaoka, Satoshi Ohta, Takeshi Takahashi:
Building Secure and Anonymous Communication Channel: Formal Model and its Prototype Implementation. - Marc Torrellas, Adrian Agustin, Josep Vidal:
Retrospective Interference Alignment for the 3-user MIMO Interference Channel with delayed CSIT. - Mathias Bürger, Claudio De Persis, Sebastian Trip:
An internal model approach to (optimal) frequency regulation in power grids. - Jiang Liu, Naijun Zhan, Hengjun Zhao, Liang Zou:
Abstraction of Elementary Hybrid Systems by Variable Transformation. - Petr Hlinený, O-joung Kwon, Jan Obdrzálek, Sebastian Ordyniak:
Tree-depth and Vertex-minors. - Holger Schlingloff, Alexander K. Petrenko:
Proceedings Ninth Workshop on Model-Based Testing, MBT 2014, Grenoble, France, 6 April 2014. - Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi:
Interacting Hopf Algebras. - Alexander Kolesnikov, Matthieu Guillaumin, Vittorio Ferrari, Christoph H. Lampert:
Closed-Form Training of Conditional Random Fields for Large Scale Image Segmentation. - Alexandr Andoni, Robert Krauthgamer, David P. Woodruff:
The Sketching Complexity of Graph Cuts. - Yasamin Khorramzadeh, Mina Youssef, Stephen G. Eubank:
Analyzing Network Reliability Using Structural Motifs. - Ana Romero, Jónathan Heras, Julio Rubio, Francis Sergeraert:
Defining and computing persistent Z-homology in the general case. - Nick Williams
Conclusions from a NAIVE Bayes Operator Predicting the Medicare 2011 Transaction Data Set. - Takeshi Takahashi, Jarmo Harju, Joona Kannisto, Bilhanan Silverajan, Shin'ichiro Matsuo:
Tailored Security: Building Nonrepudiable Security Service-Level Agreements. - Bao-Gang Hu, Weiming Dong:
A study on cost behaviors of binary classification measures in class-imbalanced problems. - Kirill Dyagilev, Elad Yom-Tov:
Evidence for echo chamber and disagreement effects in the political activity of Twitter users. - Saul St. John, Aditya Akella:
Active Switching: Packet Steering Flow Annotations. - Hyungsik Ju, Rui Zhang:
User Cooperation in Wireless Powered Communication Networks. - Ahmed Attia, Adrian Sandu:
A Sampling Filter for Non-Gaussian Data Assimilation. - Mansoriya Hamidou, Dominique Fournier, Eric Sanlaville, Frédéric Serin:
Management of dangerous goods in container terminal with MAS model. - Gagandeep Singh Narula, Vishal Jain:
Information Retrieval (IR) through Semantic Web (SW): An Overview. - Igal Sason:
On Improved Bounds for Probability Metrics and $f$-Divergences. - Feng Liu
Offshore Wind Farm Layout Optimization Using Adapted Genetic Algorithm: A different perspective. - Abel Armas-Cervantes, Paolo Baldan, Luciano García-Bañuelos:
Reduction of Event Structures under History Preserving Bisimulation. - Arash Azarfar, Jean-François Frigon, Brunilde Sansò:
Delay Analysis of Multichannel Opportunistic Spectrum Access MAC Protocols. - István Z. Reguly, Gihan R. Mudalige, Carlo Bertolli, Michael B. Giles, Adam Betts, Paul H. J. Kelly, David Radford:
Acceleration of a Full-scale Industrial CFD Application with OP2. - Fatemeh Hamidi-Sepehr, Jean-François Chamberland, Henry D. Pfister:
On the Performance of Short Block Codes over Finite-State Channels in the Rare-Transition Regime. - Yota Otachi, Pascal Schweitzer:
Reduction Techniques for Graph Isomorphism in the Context of Width Parameters. - Sina Poorkasmaei, Hamid Jafarkhani:
Asynchronous Orthogonal Differential Modulation for Multiple Access Channels. - Farshad Kooti, Nathan Oken Hodas, Kristina Lerman:
Network Weirdness: Exploring the Origins of Network Paradoxes. - Zoltan Gingl, Robert Mingesz:
Noise properties in the ideal Kirchhoff-Law-Johnson-Noise secure communication system. - Albin Ahmeti, Diego Calvanese, Axel Polleres:
Updating RDFS ABoxes and TBoxes in SPARQL. - Arjan P. van der Meer, Rachid Kherrazi, Marc Hamilton:
Using Formal Specifications to Support Model Based Testing ASDSpec: A Tool Combining the Best of Two Techniques. 1-13 - Christian Colombo
Verifying Web Applications: From Business Level Specifications to Automated Model-Based Testing. 14-28 - Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand:
Coverage Criteria for Model-Based Testing using Property Patterns. 29-43 - Harsh Beohar, Mohammad Reza Mousavi
Spinal Test Suites for Software Product Lines. 44-55 - Adenilso da Silva Simão
Generating Complete and Finite Test Suite for ioco: Is It Possible? 56-70 - Bernd Finkbeiner, Armando Solar-Lezama
Proceedings Second Workshop on Synthesis, SYNT 2013, Saint Petersburg, Russia, July 13th and July 14th, 2013. - Subhonmesh Bose, Desmond W. H. Cai, Steven H. Low, Adam Wierman:
The Role of a Market Maker in Networked Cournot Competition. - Roshan G. Ragel, Swarnalatha Radhakrishnan, Jude Angelo Ambrose:
Instruction-set Selection for Multi-application based ASIP Design: An Instruction-level Study. - Arti Gupta, N. T. Deotale:
A Mining Method to Create Knowledge Map by Analysing the Data Resource. - Darshana Jayasinghe, Roshan G. Ragel, Dhammika Elkaduwe:
Constant time encryption as a countermeasure against remote cache timing attacks. - Damayanthi Herath, C. Lakmali, Roshan G. Ragel:
Accelerating string matching for bio-computing applications on multi-core CPUs. - Angelo Barnes, Ryan Fernando, Kasuni Mettananda, Roshan G. Ragel:
Improving the throughput of the AES algorithm with multicore processors. - S. M. Vidanagamachchi, S. D. Dewasurendra, Roshan G. Ragel, M. Niranjan:
Tile optimization for area in FPGA based hardware acceleration of peptide identification. - Janaka Alawatugoda, Darshana Jayasinghe, Roshan G. Ragel:
Countermeasures against Bernstein's remote cache timing attack. - I. B. Nawinne, M. S. Wickramasinghe, Roshan G. Ragel, S. Radhakrishnan:
Heterogeneous processor pipeline for a product cipher application. - Akbar Khan, Pratap Reddy L:
Performance Evaluation of Raster Based Shape Vectors in Object Recognition. - Yitong Li, Chuan Shi, Philip S. Yu, Qing Chen:
HRank: A Path based Ranking Framework in Heterogeneous Information Network. - Andrés Altieri, Leonardo Rey Vega, Pablo Piantanida, Cecilia G. Galarza:
On the Outage Probability of the Full-Duplex Interference-Limited Relay Channel. - Jack Valmadre, Sridha Sridharan, Simon Lucey:
Learning detectors quickly using structured covariance matrices. - Chunxu Jiao, Zhaoyang Zhang, Huazi Zhang, Liangliang Zhu:
Exploiting Delay Correlation for Multi-Antenna-Assisted High Speed Train Communications. - Duyu Tang, Bing Qin, Ting Liu, Qiuhui Shi:
Emotion Analysis Platform on Chinese Microblog. - Oded Lachish:
O(log log rank) Competitive-Ratio for the Matroid Secretary Problem. - Kailash Chandra Dash, Umakant Mishra:
Critical Considerations for Developing MIS for NGOs. - Jochen Burghardt:
Axiomatization of Finite Algebras. - Andrew Adamatzky:
Slime mould electronic oscillators. - Daniel Weller:
Exposition: Synthesis via Functional Interpretation. - Vania Vieira Estrela
Expectation-Maximization Technique and Spatial-Adaptation Applied to Pel-Recursive Motion Estimation. - Vladimir Krylov, Kirill Kravtsov:
DDoS Attack and Interception Resistance IP Fast Hopping Based Protocol. - Radek Pelánek:
Difficulty Rating of Sudoku Puzzles: An Overview and Evaluation. - Song Qiu:
Molecular Communication Systems Design for Future City. - Nikolaos Kavvadias:
Generating and evaluating application-specific hardware extensions. - Dillon Mark Rose, Jean Michel Rouly, Rana Haber, Nenad Mijatovic, Adrian M. Peter:
Parallel Hierarchical Affinity Propagation with MapReduce. - Zeynep Tufekci:
Big Questions for Social Media Big Data: Representativeness, Validity and Other Methodological Pitfalls. - Bahador Saket, Paolo Simonetto, Stephen G. Kobourov:
Group-Level Graph Visualization Taxonomy. - Ilce Georgievski, Marco Aiello:
An Overview of Hierarchical Task Network Planning. - Egor Ianovski:
DValue for Boolean games is EXP-complete. - Shruti Mathur, Varun Prakash Saxena:
Hybrid Approach to English-Hindi Name Entity Transliteration. - Nicolas Bock, Matt Challacombe, Laxmikant V. Kalé:
Solvers for $\mathcal{O} (N)$ Electronic Structure in the Strong Scaling Limit. - Iti Mathur, Nisheeth Joshi, Hemant Darbari, Ajai Kumar:
Shiva: A Framework for Graph Based Ontology Matching. - Trevor Campbell, Jonathan P. How:
Decentralized Variational Bayesian Inference. - Agnieszka Danek, Sebastian Deorowicz, Szymon Grabowski:
Indexing large genome collections on a PC. - Nicolas Gastineau, Olivier Togni:
S-Packing Colorings of Cubic Graphs. - Christos Kalaitzis, Aleksander Madry, Alantha Newman, Lukas Polacek, Ola Svensson:
On the Configuration LP for Maximum Budgeted Allocation. - Ahmed M. Alaa, Mahmoud H. Ismail, Hazim Tawfik:
Opportunistic Spectrum Sharing using Dumb Basis Patterns: The Line-of-Sight Interference Scenario. - Yannai A. Gonczarowski, Moshe Tennenholtz:
Noncooperative Market Allocation and the Formation of Downtown. - Ce Zhang, Christopher Ré:
DimmWitted: A Study of Main-Memory Statistical Analytics. - Bin Shen:
Universal Knowledge Discovery from Big Data: Towards a Paradigm Shift from 'Knowledge Discovery' to 'Wisdom Discovery'. - Benedikt Löwe, Glynn Winskel:
Proceedings 8th International Workshop on Developments in Computational Models, DCM 2012, Cambridge, United Kingdom, 17 June 2012. EPTCS 143, 2014 [contents] - Yin Cui, Dong Liu, Jiawei Chen, Shih-Fu Chang:
Building A Large Concept Bank for Representing Events in Video. - Da-Cheng Nie, Zi-Ke Zhang, Junlin Zhou, Yan Fu, Kui Zhang:
Information Filtering on Coupled Social Networks. - (Withdrawn) A Non-cooperative Differential Game Model for Frequency Reuse based Channel Allocation in Satellite Networks.
- Yannai A. Gonczarowski, Moshe Tennenholtz:
Physical Computation of Nash Equilibrium: 'Hydraulic' Resource Selection. - Haris Aziz:
Testing Top Monotonicity. - Andrew T. Karl, Randy Eubank, Jelena Milovanovic, Mark Reiser, Dennis Young:
Using RngStreams for Parallel Random Number Generation in C++ and R. - Petko Georgiev, Anastasios Noulas, Cecilia Mascolo:
Where Businesses Thrive: Predicting the Impact of the Olympic Games on Local Retailers through Location-based Services Data. - Petko Georgiev, Anastasios Noulas, Cecilia Mascolo:
The Call of the Crowd: Event Participation in Location-based Social Services. - Junil Choi, David J. Love, Patrick Bidigare:
Coded Distributed Diversity: A Novel Distributed Reception Technique for Wireless Communication Systems. - Mohammad Hassan Lotfi, Saswati Sarkar:
Uncertain Price Competition in a Duopoly with Heterogeneous Availability. - Prasanna Madhusudhanan, Juan G. Restrepo, Youjian Eugene Liu, Timothy X. Brown:
Downlink Analysis for a Heterogeneous Cellular Network. - Mauricio Ayala-Rincón
Proceedings 9th International Workshop on Developments in Computational Models, DCM 2013, Buenos Aires, Argentina, 26 August 2013. EPTCS 144, 2014 [contents] - Huazi Zhang, Yufan Huang, Zhaoyang Zhang, Huaiyu Dai:
Mobile Conductance in Sparse Networks and Mobility-Connectivity Tradeoff. - Elias D. Niño, Adrian Sandu:
A Derivative-Free Trust Region Framework for Variational Data Assimilation. - Keang-Po Ho, Shi Cheng, Jianhan Liu:
MIMO Beamforming in Millimeter-Wave Directional Wi-Fi. - Nail A. Gumerov, Ramani Duraiswami:
Recursive computation of spherical harmonic rotation coefficients of large degree. - Ephraim Zehavi, Amir Leshem:
On the allocation of multiple divisible and non-transferable commodities. - Oren Salzman, Dan Halperin:
Asymptotically Near-Optimal Motion Planning using Lower Bounds on Cost. - Quan Yu, Chi Wan Sung, Terence H. Chan:
Irregular Fractional Repetition Code Optimization for Heterogeneous Cloud Storage. - Konstantin Makarychev, Rajsekar Manokaran, Maxim Sviridenko:
Maximum Quadratic Assignment Problem: Reduction from Maximum Label Cover and LP-based Approximation Algorithm. - Ayman I. Madbouly, Amr M. Gody, Tamer M. Barakat:
Relevant Feature Selection Model Using Data Mining for Intrusion Detection System. - Minos N. Garofalakis, Yannis E. Ioannidis:
Multi-Resource Parallel Query Scheduling and Optimization. - Ahmed El Shafie, Tamer Khattab:
Optimal Cooperative Cognitive Relaying and Spectrum Access for an Energy Harvesting Cognitive Radio: Reinforcement Learning Approach. - Shusen Wang:
Sharpened Error Bound for Random Sampling Based ℓ2 Regression. - Ernst-Erich Doberkat:
Algebraic Properties of Stochastic Effectivity Functions. - Miron B. Kursa, Alicja Wieczorkowska:
Multi-label Ferns for Efficient Recognition of Musical Instruments in Recordings. - Alexander Knapp, Till Mossakowski, Markus Roggenbach:
An Institutional Framework for Heterogeneous Formal Development in UML. - Sandy Payette:
The State of Technology for Digital Archiving. - Yann Ollivier:
Auto-encoders: reconstruction versus compression. - Liqi Wang, Shixin Zhu:
On the Construction of Optimal Asymmetric Quantum Codes. - Ernst-Erich Doberkat:
Categories and all that - A Tutorial. - Ernst-Erich Doberkat:
Stochastic Interpretation of Game Logic. - Tejal Shah, Fethi A. Rabhi, Pradeep Ray
Enhancing Automated Decision Support across Medical and Oral Health Domains with Semantic Web Technologies. - Xidao Wen, Yu-Ru Lin, Christoph Trattner, Denis Parra:
Twitter in Academic Conferences: Usage, Networking and Participation over Time. - Wenzhuo Ouyang, Atilla Eryilmaz, Ness B. Shroff:
Scheduling in Time-correlated Wireless Networks with Imperfect CSI and Stringent Constraint. - Kritika Sengar, Nishu Rani, Ankita Singhal, Dolly Sharma, Seema Verma, Tanya Singh:
Study and Capacity Evaluation of SISO, MISO and MIMO RF Wireless Communication Systems. - Mohammed Javed, P. Nagabhushan, B. B. Chaudhuri:
Extraction of Line Word Character Segments Directly from Run Length Compressed Printed Text Documents. - Camille Coti:
POSH: Paris OpenSHMEM: A High-Performance OpenSHMEM Implementation for Shared Memory Systems. - Arvind Merwaday, Sayandev Mukherjee, Ismail Güvenç:
Capacity Analysis of LTE-Advanced HetNets with Reduced Power Subframes and Range Expansion. - Benjamin Doerr, Carola Doerr, Timo Kötzing:
Unbiased Black-Box Complexities of Jump Functions - How to Cross Large Plateaus. - Qing Wang, Balaji Rengarajan, Joerg Widmer:
Increasing Opportunistic Gain in Small Cells Through Energy-Aware User Cooperation. - Alexander Merry:
Reasoning with !-Graphs. - Andrew Noyes, Todd Warszawski, Pavol Cerný, Nate Foster:
Toward Synthesis of Network Updates. 8-23 - Étienne André
Proceedings 1st International Workshop on Synthesis of Continuous Parameters, SynCoP 2014, Grenoble, France, 6th April 2014. EPTCS 145, 2014 [contents] - Xiaoyi Leo Liu, Erdem Koyuncu, Hamid Jafarkhani:
Distributed Channel Quantization for Two-User Interference Networks. - Veeresh Taranalli, Paul H. Siegel:
Adaptive Linear Programming Decoding of Polar Codes. - Badr Benmammar:
Application des techniques d'enchères dans les réseaux de radio cognitive. - Yong Zeng, Rui Zhang:
Optimal Training for Wireless Energy Transfer. - Chenjie Gu, Manzil Zaheer, Xin Li:
Multiple-Population Moment Estimation: Exploiting Inter-Population Correlation for Efficient Moment Estimation in Analog/Mixed-Signal Validation. - Hamed Kiani Galoogahi, Terence Sim, Simon Lucey:
Correlation Filters with Limited Boundaries. - Kui Jia, Tsung-Han Chan, Zinan Zeng, Gang Wang, Tianzhu Zhang, Yi Ma:
ROML: A Robust Feature Correspondence Approach for Matching Objects in A Set of Images. - Bin Dai:
Multiple-Access Relay Wiretap Channel. - Wilko van Hoek, Wei Shen, Philipp Mayr:
Identifying User Behavior in domain-specific Repositories. - Michele Elia, Elisa Gorla:
Computing the dimension of ideals in group algebras, with an application to coding theory. - Riccardo Aragona, Marco Calderini, Daniele Maccauro, Massimiliano Sala:
On some differential properties of Boolean functions. - Anders Friberg, Erwin Schoonderwaldt, Anton Hedblad, Marco Fabiani, Anders Elowsson:
Using perceptually defined music features in music information retrieval. - Jakub Urban, Jan Pipek, Martin Hron, Filip Janky, Richard Paprok, Matej Peterka, André Duarte:
Integrated Data Acquisition, Storage, Retrieval and Processing Using the COMPASS DataBase (CDB). - Jürgen Bokowski, Vincent Pilaud:
Quasi-configurations: building blocks for point-line configurations. - Ferhat Alkan, Türker Bíyíkoglu, Marc Demange, Cesim Erten:
Constrained Alignments of a Pair of Graphs. - Carlo Novara:
Direct design of LPV feedback controllers: technical details, proofs and a numerical example. - Erik D. Demaine, André Schulz:
Embedding Stacked Polytopes on a Polynomial-Size Grid. - Olav Geil, Stefano Martin, Ryutaroh Matsumoto, Diego Ruano, Yuan Luo:
Relative generalized Hamming weights of one-point algebraic geometric codes. - Sergei Nikolaev:
Implementation of interaction between soft tissues and foreign bodies using modified voxel model. - Mirtha Lina Fernández Venero, Flávio Soares Corrêa da Silva:
A general translation from nested Petri nets into PROMELA. - Vassilios Gregoriades, Tamás Kispéter, Arno Pauly:
A comparison of concepts from computable analysis and effective descriptive set theory. - Fabian Rathke, Stefan Schmidt, Christoph Schnörr:
Probabilistic Intra-Retinal Layer Segmentation in 3-D OCT Images Using Global Shape Regularization. - Ashkan Tousimojarad, Wim Vanderbauwhede:
Cache-aware Parallel Programming for Manycore Processors. - Ye Yu, Qian Chen, Xin Li:
Distributed Collaborative Monitoring in Software Defined Networks. - Ashkan Tousimojarad, Wim Vanderbauwhede:
An Efficient Thread Mapping Strategy for Multiprogramming on Manycore Processors. - Jean Barbier, Florent Krzakala:
Replica Analysis and Approximate Message Passing Decoder for Superposition Codes. - Mohamed A. El-Zawawy, Adel I. AlSalem:
ImNet: An Imperative Network Programming Language. - Desislava Hristova, Mirco Musolesi, Cecilia Mascolo:
Keep Your Friends Close and Your Facebook Friends Closer: A Multiplex Network Approach to the Analysis of Offline and Online Social Ties. - Zoran Hadzi-Velkov, Nikola Zlatanov, Robert Schober:
Optimal Power Allocation for Three-phase Bidirectional DF Relaying with Fixed Rates. - Marius Buliga, Louis H. Kauffman:
Chemlambda, universality and self-multiplication. - Hatem Abou-zeid, Hossam S. Hassanein, Stefan Valentin:
Energy-Efficient Adaptive Video Transmission: Exploiting Rate Predictions in Wireless Networks. - Wenzhi Cui, Chen Qian:
Dual-structure Data Center Multicast Using Software Defined Networking. - Xiao Bian, Hamid Krim:
Robust Subspace Recovery via Dual Sparsity Pursuit. - Stratis Ioannidis, Andrea Montanari, Udi Weinsberg, Smriti Bhagat, Nadia Fawaz, Nina Taft:
Privacy Tradeoffs in Predictive Analytics. - Glencora Borradaile, Erin Wolf Chambers:
Covering nearly surface-embedded graphs with a fixed number of balls. - Kumar Viswanatha, Emrah Akyol, Kenneth Rose:
The Lossy Common Information of Correlated Sources. - Miguel Simões, José M. Bioucas-Dias, Luís B. Almeida, Jocelyn Chanussot:
Hyperspectral image superresolution: An edge-preserving convex formulation. - David Koerner, Jamie Portsmouth, Filip Sadlo, Thomas Ertl, Bernd Eberhardt:
Flux-Limited Diffusion for Multiple Scattering in Participating Media. - Shachar Lovett:
Recent advances on the log-rank conjecture in communication complexity. - Jochen Burghardt:
E-Generalization Using Grammars. - M. R. Avendi, Ha H. Nguyen:
Performance of Selection Combining for Differential Amplify-and-Forward Relaying Over Time-Varying Channels. - Jihua Lu, Jianping An, Xiangming Li, Jie Yang, Lei Yang:
A Percolation based M2M Networking Architecture for Data Transmission and Routing. - M. R. Avendi, Ha H. Nguyen:
Performance of Differential Amplify-and-Forward Relaying in Multi-Node Wireless Communications. - M. R. Avendi, Ha H. Nguyen:
Selection Combining for Differential Amplify-and-Forward Relaying Over Rayleigh-Fading Channel. - Rajesh Krishnan, Ravi Sundaram:
Secure and scalable match: overcoming the universal circuit bottleneck using group programs. - Ping Li, Michael Mitzenmacher, Anshumali Shrivastava:
Coding for Random Projections and Approximate Near Neighbor Search. - Kevin Atighehchi:
On the Incremental Asymmetric Signatures. - Chen Zhao, Wen-Xu Wang, Yang-Yu Liu, Jean-Jacques E. Slotine:
Universal Symmetry in Complex Network Control. - Elisa Gorla, Maike Massierer:
Point compression for the trace zero subgroup over a small degree extension field. - Nikolai Krivulin:
A tropical optimization problem with application to project scheduling with minimum makespan. - Anmer Daskin, Ananth Grama, Sabre Kais:
Quantum Random State Generation with Predefined Entanglement Constraint. - Mohammadzaman Zamani, Hamid Beigy, Amirreza Shaban:
Cascading Randomized Weighted Majority: A New Online Ensemble Learning Algorithm. - Evgeny V. Nikulchev, Oleg V. Kozlov:
Identification of Structural Model for Chaotic Systems. - Yuling Jiao, Bangti Jin, Xiliang Lu:
A Primal Dual Active Set with Continuation Algorithm for the \ell^0-Regularized Optimization Problem. - Magnus Bakke Botnan, Gard Spreemann:
Approximating Persistent Homology in Euclidean Space Through Collapses. - Hideo Hasegawa:
Quantum tunneling and orthogonality time in an exactly solvable coupled double-well system. - Bruno Ribeiro, Christos Faloutsos:
Modeling Website Popularity Competition in the Attention-Activity Marketplace. - Tao Wang:
Minimal counterexamples and discharging method. - Jameson L. Toole, Serdar Çolak, Fahad Alhasoun, Alexandre G. Evsukoff, Marta C. González:
The path most travelled: Mining road usage patterns from massive call data. - Marc Claesen, Frank De Smet, Johan A. K. Suykens, Bart De Moor:
Fast Prediction with SVM Models Containing RBF Kernels. - Marc Claesen, Frank De Smet, Johan A. K. Suykens, Bart De Moor:
EnsembleSVM: A Library for Ensemble Learning Using Support Vector Machines. - Franz J. Király, Louis Theran:
Matroid Regression. - Steven Heilman, Elchanan Mossel, Joe Neeman:
Standard Simplices and Pluralities are Not the Most Noise Stable. - Young Jin Kim, Myungkyoon Roh, Seung-Woo Son:
Network Structures between Strategies in Iterated Prisoners' Dilemma Games. - Yongli Li, Paolo Pin, Chong Wu:
A network centrality method for the rating problem. - Ramij Rahaman, Matthew Geoffrey Parker:
Quantum secret sharing based on local distinguishability. - Fiona Pigott, Mauricio Rene Herrera Marin
Proposal for a Correction to the Temporal Correlation Coefficient Calculation for Temporal Networks. - Juha Karvanen:
Estimating complex causal effects from observational data. - Giulio Cimini, Claudio Castellano, Angel Sánchez:
Evolutionary network games: Imitation and Best-Response dynamics. - Ville-Pekka Backlund, Jari Saramäki, Raj Kumar Pan:
Effects of temporal correlations on cascades: Threshold models on temporal networks. - Ali Dehghan, Mohammad-Reza Sadeghi, Arash Ahadi:
On the complexity of deciding whether the regular number is at most two. - Amparo Gil, Javier Segura, Nico M. Temme:
Recent software developments for special functions in the Santander-Amsterdam project. - Andrea Cavagna, Lorenzo Del Castello, Irene Giardina, Tomas Grigera, Asja Jelic, Stefania Melillo, Thierry Mora, Leonardo Parisi, Edmondo Silvestri, Massimiliano Viale, Aleksandra M. Walczak:
Flocking and turning: a new model for self-organized collective motion. - Réka Albert, Bhaskar DasGupta, Nasim Mobasheri:
Topological implications of negative curvature for biological and social networks. - Elizabeth L. Ogburn, Tyler J. VanderWeele:
Vaccines, Contagion, and Social Networks. - Nicolas Broutin, Luc Devroye, Gábor Lugosi:
Almost optimal sparsification of random geometric graphs. - Ruy Fabila Monroy, Jorge López:
Computational search of small point sets with small rectilinear crossing number. - Jian Zhou, Olga G. Troyanskaya:
Deep Supervised and Convolutional Generative Stochastic Network for Protein Secondary Structure Prediction. - André Panisson, Laetitia Gauvin, Marco Quaggiotto, Ciro Cattuto:
Mining Concurrent Topical Activity in Microblog Streams. - Saishankar Katri Pulliyakode, Sheetal Kalyani, K. Narendran:
Rate Prediction and Selection in LTE systems using Modified Source Encoding Techniques. - Kaj-Kolja Kleineberg, Marián Boguñá:
Trade-off between virality and mass media influence in the topological evolution of online social networks. - Vincenzo Nicosia, Vito Latora:
Measuring and modelling correlations in multiplex networks. - Attila Szolnoki, Alberto Antonioni, Marco Tomassini, Matjaz Perc:
Binary birth-death dynamics and the expansion of cooperation by means of self-organized growth. - Kai Zhu, Rui Wu, Lei Ying, R. Srikant:
Collaborative Filtering with Information-Rich and Information-Sparse Entities. - Rajesh Gandham, Ken Esler, Yongpeng Zhang:
A GPU Accelerated Aggregation Algebraic Multigrid Method. - Daniele D'Angeli, Emanuele Rodaro:
A geometric approach to (semi)-groups defined by automata via dual transducers. - Marianna De Santis, Stefano Lucidi, Francesco Rinaldi:
A Fast Active Set Block Coordinate Descent Algorithm for ℓ1-regularized least squares. - Jacob Fox, László Miklós Lovász:
A tight lower bound for Szemerédi's regularity lemma. - Victoria Horan, Glenn Hurlbert:
Gray Codes and Overlap Cycles for Restricted Weight Words. - Michael R. Smith, Tony R. Martinez:
Becoming More Robust to Label Noise with Classifier Diversity. - Karthik S. Gurumoorthy, Anand Rangarajan:
A fast eikonal equation solver using the Schrödinger wave equation. - Mehmet Lutfi Arslan, Sadi Evren Seker:
The Impact of Employment Web Sites' Traffic on Unemployment: A Cross Country Comparison. - Sofia Triantafilou, Ioannis Tsamardinos:
Constraint-based Causal Discovery from Multiple Interventions over Overlapping Variable Sets. - Chengbin Peng, Tamara G. Kolda, Ali Pinar:
Accelerating Community Detection by Using K-core Subgraphs. - Vincent Delecroix, Jean-François Bertazzon:
Étude d'une équation intégrale avec des méthodes combinatoires. - Radu V. Balan, Dongmian Zou:
Phase Retrieval using Lipschitz Continuous Maps. - Maurice Margenstern:
A weakly universal cellular automaton in the pentagrid with five states. - Francisco Belchí Guillamón, Aniceto Murillo Mas:
A-infinity Persistence. - Jinho Baik, Raj Rao Nadakuditi:
Batch latency analysis and phase transitions for a tandem of queues with exponentially distributed service times. - Kinjal Basu, Art B. Owen:
Low discrepancy constructions in the triangle. - István Kovács, Géza Tóth:
Multiple coverings with closed polygons. - Stanislav Minsker, Sanvesh Srivastava, Lizhen Lin, David B. Dunson:
Robust and scalable Bayes via a median of subset posterior measures. - Lazaros K. Gallos, Nina H. Fefferman:
Revealing effective classifiers through network comparison. - Daniel Smilkov, César A. Hidalgo, Ljupco Kocarev:
Beyond network structure: How heterogenous susceptibility modulates the spread of epidemics. - Aditya Mahajan, Ashutosh Nayyar:
Sufficient statistics for linear control strategies in decentralized systems with partial history sharing. - Stasa Milojevic:
Principles of scientific research team formation and evolution. - Jeroen Ooms:
The jsonlite Package: A Practical and Consistent Mapping Between JSON Data and R Objects. - Xin Zhang:
Equitable list point arboricity of graphs. - Xin Zhang:
Equitable vertex arboricity of planar graphs. - Hernan Mondani, Petter Holme, Fredrik Liljeros:
Fat-tailed fluctuations in the size of organizations: the role of social influence. - Carlos Oscar Sánchez Sorzano, Javier Vargas, Alberto Domingo Pascual-Montano:
A survey of dimensionality reduction techniques. - Benjamin A. Burton, Rodney G. Downey:
Courcelle's theorem for triangulations. - Neil J. Ross, Peter Selinger:
Optimal ancilla-free Clifford+T approximation of z-rotations. - Cristian E. La Rocca, Lidia A. Braunstein, Federico Vazquez:
The influence of persuasion in opinion formation and polarization. - Demetres Christofides, Daniel Král:
First order convergence and roots. - Saptarshi Bandyopadhyay, Soon-Jo Chung:
Distributed Estimation using Bayesian Consensus Filtering. - Benedikt Fuchs, Didier Sornette, Stefan Thurner:
Fractal multi-level organisation of human groups in a virtual world. - Antonios Garas, Mario V. Tomasello, Frank Schweitzer
Selection rules in alliance formation: strategic decisions or abundance of choice? - Jiong Zhang, Remco Duits, Bart M. ter Haar Romeny:
Numerical Approaches for Linear Left-invariant Diffusions on SE(2), their Comparison to Exact Solutions, and their Applications in Retinal Imaging. - Alessandro Zocca, Sem C. Borst, Johan van Leeuwaarden:
Slow transitions, slow mixing and starvation in dense random-access networks. - Michael R. Smith, Tony R. Martinez, Christophe G. Giraud-Carrier:
The Potential Benefits of Filtering Versus Hyper-Parameter Optimization. - Minghui Ma, Zhe Lin:
Residuated Basic Logic I. - Hamed Firouzi, Dennis L. Wei, Alfred O. Hero III:
Spectral Correlation Hub Screening of Multivariate Time Series. - Siong Thye Goh, Cynthia Rudin:
Box Drawings for Learning with Imbalanced Data. - Dustin G. Mixon:
Explicit Matrices with the Restricted Isometry Property: Breaking the Square-Root Bottleneck. - Reinhard Heckel, Eirikur Agustsson, Helmut Bölcskei:
Neighborhood Selection for Thresholding-based Subspace Clustering. - J. Niel de Beaudrap, Martin Roetteler
Quantum linear network coding as one-way quantum computation. - Gerardo Iñiguez, János Török, Taha Yasseri, Kimmo Kaski, János Kertész:
Modeling Social Dynamics in a Collaborative Environment. - Aivar Sootla, James Anderson:
On Projection-Based Model Reduction of Biochemical Networks- Part I: The Deterministic Case. - José M. Miotto, Eduardo G. Altmann:
Predictability of extreme events in social media. - Pietro Galliani:
On Strongly First-Order Dependencies. - Ian Osband, Benjamin Van Roy:
Near-optimal Regret Bounds for Reinforcement Learning in Factored MDPs. - Philippe C. Besse, Aurélien Garivier, Jean-Michel Loubes:
Big Data - Retour vers le Futur 3; De Statisticien à Data Scientist. - Arnold Wiliem, Conrad Sanderson, Yongkang Wong, Peter Hobson, Rodney F. Minchin, Brian C. Lovell:
Automatic Classification of Human Epithelial Type 2 Cell Indirect Immunofluorescence Images using Cell Pyramid Matching. - Ming-Xia Li, Vasyl Palchykov, Zhi-Qiang Jiang, Kimmo Kaski, János Kertész, Salvatore Miccichè, Michele Tumminello, Wei-Xing Zhou, Rosario N. Mantegna:
Statistically validated mobile communication networks: Evolution of motifs in European and Chinese data. - Sarah Marzen, James P. Crutchfield:
Information Anatomy of Stochastic Equilibria. - Claudiu Valculescu, Frank de Zeeuw:
Distinct pinned triangle areas on algebraic curves. - Hongzhong Zhang, Olympia Hadjiliadis, Tobias Schaefer, H. Vincent Poor:
Quickest detection in coupled systems. - Florian Caullery, Kai-Uwe Schmidt, Yue Zhou:
Exceptional planar polynomials. - Longqi Yang, Yibing Wang, Zhisong Pan, Guyu Hu:
Multi-task Feature Selection based Anomaly Detection. - Dieter Hendricks, Dariusz Cieslakiewicz, Diane Wilcox, Tim Gebbie:
An unsupervised parallel genetic cluster algorithm for graphics processing units. - Mario Vincenzo Tomasello, Nicola Perra, Claudio Juan Tessone
The role of endogenous and exogenous mechanisms in the formation of R&D networks. - Bren Cavallo, Delaram Kahrobaei:
A family of polycyclic groups over which the conjugacy problem is NP-complete. - Yongli Li, Peng Luo, Chong Wu:
A new network node similarity measure method and its applications. - Heng Zhou, Zhiqiang Xu:
The lower bound of the PCM quantization error in high dimension. - Yangjia Li, Mingsheng Ying:
Debugging Quantum Processes Using Monitoring Measurements. - Meghdad Ghari:
A Note on the Fixed Points in Justification Logics. - Kirk M. Soodhalter:
Two recursive GMRES-type methods for shifted linear systems with general preconditioning. - Vilson Vieira, Renato Fabbri, David Sbrissa, Luciano da Fontoura Costa, Gonzalo Travieso:
A Quantitative Approach to Painting Styles. - Vilson Vieira, Renato Fabbri, Gonzalo Travieso, Osvaldo N. Oliveira Jr., Luciano da Fontoura Costa:
A quantitative approach to evolution of music and philosophy. - Raphael Fonteneau, Prashanth L. A.:
Simultaneous Perturbation Algorithms for Batch Off-Policy Search. - Arkadius G. Kalka, Boaz Tsaban, Gary Vinokur:
Complete simultaneous conjugacy invariants in Garside groups. - Amitabh Basu, Robert Hildebrand, Matthias Köppe:
Equivariant Perturbation in Gomory and Johnson's Infinite Group Problem. III. Foundations for the k-Dimensional Case with Applications to k=2. - Lukasz Czekaj, Michal Horodecki, Pawel Horodecki, Ryszard Horodecki:
Information Content of Elementary Systems as a Physical Principle. - Zlatko Drmac, Serkan Gugercin, Christopher A. Beattie:
Quadrature-Based Vector Fitting: Implications For H2 System Approximation. - Jan Komenda, Tomás Masopust, Jan H. van Schuppen:
Maximally Permissive Coordination Supervisory Control - Towards Necessary and Sufficient Conditions. - Klaus Jaffe:
Simulations suggest that social and natural sciences differ in their research strategies adapted to work for different knowledge landscapes. - Robin Lovelace
Geotagged tweets to inform a spatial interaction model: a case study of museums. - Sebastiano Stramaglia, Jesús M. Cortés, Daniele Marinazzo:
Synergy and redundancy in the Granger causal analysis of dynamical networks. - Jan Komenda, Tomás Masopust:
Decentralized Supervisory Control with Communicating Supervisors Based on Top-Down Coordination Control. - Edouard Pauwels, Didier Henrion
Inverse optimal control with polynomial optimization. - Hitesh Chhinkaniwala, Sanjay Garg:
Privacy Gain Based Multi-Iterative k-Anonymization to Protect Respondents Privacy. - Maria Bampasidou, Thanos Gentimis:
Modeling Collaborations with Persistent Homology. - Shibdas Roy, Ian R. Petersen, Elanor H. Huntington:
Coherent-Classical Estimation versus Purely-Classical Estimation for Linear Quantum Systems. - Konstantin G. Savvidy:
The MIXMAX random number generator. - Alessandro Corbetta, Adrian Muntean, Federico Toschi, Kiamars Vafayi:
Parameter Estimation of Social Forces in Crowd Dynamics Models via a Probabilistic Method. - Ian R. Manchester, Jean-Jacques E. Slotine:
Control Contraction Metrics: Differential L2 Gain and Observer Duality. - Mathieu Dubois, Emmanuelle Frenoux, Philippe Tarroux:
Using n-grams models for visual semantic place recognition. - Justin Z. Tang, Ian R. Manchester:
Transverse Contraction Criteria for Stability of Nonlinear Hybrid Limit Cycles. - Raphaël Cerf:
The quasispecies regime for the simple genetic algorithm with ranking selection. - Anaïs Vergne, Ian Flint, Laurent Decreusefond, Philippe Martins:
Disaster Recovery in Wireless Networks: A Homology-Based Algorithm. - Oswin Aichholzer, Andrei Asinowski, Tillmann Miltzow:
Disjoint compatibility graph of non-crossing matchings of points in convex position. - Zubair Khalid, Rodney A. Kennedy, Jason D. McEwen:
Slepian Spatial-Spectral Concentration on the Ball. - Carlos E. Valencia, Marcos C. Vargas:
Optimum matchings in weighted bipartite graphs. - Michael A. Gelbart, Jasper Snoek, Ryan P. Adams:
Bayesian Optimization with Unknown Constraints. - Marcel Ausloos, Rudi Cloots, Adam Gadomski, Nikolay K. Vitanov:
Ranking structures and Rank-Rank Correlations of Countries. The FIFA and UEFA cases. - Xiaohu Shen, Manohar Shamaiah, Haris Vikalo:
Iterative Learning for Reference-Guided DNA Sequence Assembly from Short Reads: Algorithms and Limits of Performance. - Dougal Maclaurin, Ryan P. Adams:
Firefly Monte Carlo: Exact MCMC with Subsets of Data. - Pan Zhang, Cristopher Moore:
Scalable detection of statistically significant communities and hierarchies: message-passing for modularity. - Oliver Knill:
If Archimedes would have known functions. - Anastasios Kyrillidis, Anastasios Zouzias:
Non-uniform Feature Sampling for Decision Tree Ensembles. - Xuan Vinh Doan, Tri-Dung Nguyen:
Robust Stable Payoff Distribution in Stochastic Cooperative Games. - Krzysztof Malarz, Krzysztof Kulakowski:
Mental ability and common sense in an artificial society. - Aivar Sootla, James Anderson:
On Projection-Based Model Reduction of Biochemical Networks- Part II: The Stochastic Case. - Niko Brümmer, Albert Swart:
Bayesian calibration for forensic evidence reporting. - André Souto, Paulo Mateus, Pedro Adão, Nikola Paunkovic:
Oblivious transfer based on quantum state computational distinguishability. - Emmanuel Bertin
Web-Based Visualization of Very Large Scientific Astronomy Imagery. - Mario Berta, Kaushik P. Seshadreesan, Mark M. Wilde:
Renyi generalizations of the conditional quantum mutual information. - Adrian Carro, Federico Vázquez, Raúl Toral, Maxi San Miguel:
Fragmentation transition in a coevolving network with link-state dynamics. - Shuo Han, Ufuk Topcu, George J. Pappas:
Differentially Private Convex Optimization with Piecewise Affine Objectives. - Ian R. Petersen:
Analysis of Linear Quantum Optical Networks. - Florin Sebastian Tudor, Cristian Oara, Serban Sabau:
H-infinity control problem for general discrete-time systems. - Ali Dehghan, Mohammad-Reza Sadeghi, Arash Ahadi:
The Complexity of the Sigma Chromatic Number of Cubic Graphs. - Bhushan Kotnis, Joy Kuri:
Cost Effective Rumor Containment in Social Networks. - Fabrizio L. Cortesi, Tyler H. Summers, John Lygeros:
Submodularity of Energy Related Controllability Metrics. - Ariful Azad, Bartek Rajwa, Alex Pothen:
Immunophenotypes of Acute Myeloid Leukemia From Flow Cytometry Data Using Templates. - Andreas J. Winter:
Weak locking capacity of quantum channels can be much larger than private capacity. - Stefan Bornholdt, Kim Sneppen:
Do Bitcoins make the world go round? On the dynamics of competing crypto-currencies. - Elmar Peise, Diego Fabregat-Traver, Paolo Bientinesi:
High Performance Solutions for Big-data GWAS. - György Turán, Jon Yaggie:
Non-characterizability of belief revision: an application of finite model theory. - Ben Adcock, Anders C. Hansen, Bogdan Roman:
The quest for optimal sampling: Computationally efficient, structure-exploiting measurements for compressed sensing. - Alberto Accomazzi, Norman Gray, Christopher Erdmann
The Unified Astronomy Thesaurus. - Karthikeyan Natesan Ramamurthy, Aleksandr Y. Aravkin, Jayaraman J. Thiagarajan:
Beyond L2-Loss Functions for Learning Sparse Models. - Laszlo Gyongyosi:
Smooth Entropy Transfer of Quantum Gravity Information Processing. - Satyabrata Adhikari, Atul Kumar:
Upper Bound on Singlet Fraction of Two Qubit Mixed Entangled States. - Mathias Bürger, Claudio De Persis, Frank Allgöwer:
Optimal pricing control in distribution networks with time-varying supply and demand. - David A. van Leeuwen, Niko Brümmer:
Constrained speaker linking. - Dur-e-Zehra Baig
Physiological Control of Human Heart Rate and Oxygen Consumption during Rhythmic Exercises. - Jacek Cyranka, Piotr Zgliczynski:
Existence of globally attracting solutions for one-dimensional viscous Burgers equation with nonautonomous forcing - a computer assisted proof. - Nikolai Matni, Anders Rantzer:
Low-Rank and Low-Order Decompositions for Local System Identification. - Satoru Iwata, Naoyuki Kamiyama, Naoki Katoh, Shuji Kijima, Yoshio Okamoto:
Extended Formulations for Sparsity Matroids. - Marko Robnik-Sikonja:
Data generator based on RBF network. - Wei Pan, Aivar Sootla, Guy-Bart Stan:
Distributed Reconstruction of Nonlinear Networks: An ADMM Approach. - Erkko Lehtonen, Jean-Luc Marichal, Bruno Teheux:
Associative string functions. - Dirk A. Lorenz, Stephan Wenger, Frank Schöpfer, Marcus A. Magnor:
A sparse Kaczmarz solver and a linearized Bregman method for online compressed sensing. - Cun Mu, Yuqian Zhang, John Wright, Donald Goldfarb:
Scalable Robust Matrix Recovery: Frank-Wolfe Meets Proximal Methods. - Mason A. Porter, James P. Gleeson:
Dynamical Systems on Networks: A Tutorial. - Anastasios Kyrillidis, Michail Vlachos, Anastasios Zouzias:
Approximate Matrix Multiplication with Application to Linear Embeddings. - Jesse Alama:
Some problems with two axiomatizations of discussive logic. - Nikolai Matni, Andrew G. Lamperski, John C. Doyle:
Optimal Two Player LQR State Feedback With Varying Delay. - Xin-She Yang:
Swarm Intelligence Based Algorithms: A Critical Analysis. - Xin-She Yang, Christian R. Huyck, Mehmet Karamanoglu, Nawaz Khan:
True Global Optimality of the Pressure Vessel Design Problem: A Benchmark for Bio-Inspired Optimisation Algorithms. - Xin-She Yang, Zhihua Cui:
Bio-Inspired Computation: Success and Challenges of IJBIC. - David F. Klosik, Stefan Bornholdt, Marc-Thorsten Hütt:
Patterns of success in co-authorship networks are highly sensitive to author disambiguation. - Wen-Jie Xie, Ming-Xia Li, Zhi-Qiang Jiang, Wei-Xing Zhou:
Triadic motifs in the dependence networks of virtual societies. - Xiangyu Chang, Yu Wang, Rongjian Li, Zongben Xu:
Sparse K-Means with ℓ∞/ℓ0 Penalty for High-Dimensional Data Clustering. - T. Mark Dunster, Amparo Gil, Javier Segura, Nico M. Temme:
Computation of a numerically satisfactory pair of solutions of the differential equation for conical functions of non-negative integer orders. - Ruihu Li, Xueliang Li, Yaping Mao, Meiqin Wei:
Additive codes over $GF(4)$ from circulant graphs. - Stefan Steinerberger:
A Remark on Disk Packings and Numerical Integration of Harmonic Functions. - Dmitry Fon-Der-Flaass:
Perfect colorings of the 12-cube that attain the bound on correlation immunity. - Isaac Pérez Castillo, Eytan Katzav, Pierpaolo Vivo:
Phase transitions in the condition number distribution of Gaussian random matrices. - Isolde Adler, Mamadou Moustapha Kanté, O-joung Kwon:
Linear rank-width of distance-hereditary graphs I. A polynomial-time algorithm. - Giulio Cimini, Angel Sánchez:
How evolution affects network reciprocity in Prisoner's Dilemma. - Eric S. Rowland, Reem Yassawi:
Profinite automata. - Ashwin Nayak, Jamie Sikora, Levent Tunçel:
A search for quantum coin-flipping protocols using optimization techniques.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-31 20:05 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: