default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCoRR, April 2014
- Mark Giesbrecht, Albert Heinle, Viktor Levandovskyy:
Factoring Differential Operators in n Variables. - Rodrigo Bongers:
EPICS process variables in different subnetworks and different IOCs without the use of the CaGateway. - Jeremiah Blocki, Manuel Blum, Anupam Datta:
Human Computable Passwords. - Neri Mickael, Denis Mestivier:
An efficient GPU acceptance-rejection algorithm for the selection of the next reaction to occur for Stochastic Simulation Algorithms. - Jihua Lu, Xiangming Li, Dan Liu:
Asynchronous Transmission of Wireless Multicast System with Genetic Joint Antennas Selection. - Immanuel Trummer, Christoph Koch:
Approximation Schemes for Many-Objective Query Optimization. - Ivana Maric, Dennis Hui:
Short Message Noisy Network Coding with Rate Splitting. - Maryam Hosseini, Narayana Santhanam:
On redundancy of memoryless sources over countable alphabets. - Abeer S. Al-Humaimeedy, Maribel Fernández:
General dynamic recovery for compensating CSP. 3-16 - Ed Blakey:
Ray tracing - computing the incomputable? 32-40 - Eugen Jiresch:
Towards a GPU-based implementation of interaction nets. 41-53 - Elvira Mayordomo
:
Effective dimension in some general metric spaces. 67-75 - Benedek Nagy, Sándor Vályi:
Computing discrete logarithm by interval-valued paradigm. 76-86 - Arno Pauly, Matthew de Brecht:
Non-deterministic computation and the Jayne-Rogers Theorem. 87-96 - Sam Sanders:
Algorithm and proof as Ω-invariance and transfer: A new model of computation in nonstandard analysis. 97-109 - Alejandro Díaz-Caro, Gilles Dowek:
The probability of non-confluent systems. 1-15 - Marcela Quispe-Cruz, Edward Hermann Haeusler, Lew Gordeev:
Proof-graphs for Minimal Implicational Logic. 16-29 - Pablo Arrighi, Simon Martiel, Zizhu Wang:
Causal Dynamics of Discrete Surfaces. 30-40 - Adriana B. Compagnoni, Paola Giannini, Catherine Kim, Matthew Milideo, Vishakha Sharma:
A Calculus of Located Entities. 41-56 - Carlos Alberto Ramírez Restrepo, Jorge A. Pérez, Jesús Aranda, Juan Francisco Díaz:
Towards Formal Interaction-Based Models of Grid Computing Infrastructures. 57-72 - Mario R. F. Benevides, Isaque Lima, Rafael Nader, Pedro Rougemont:
Using HMM in Strategic Games. 73-84 - Karin Quaas:
MTL-Model Checking of One-Clock Parametric Timed Automata is Undecidable. 5-17 - Youcheng Sun, Giuseppe Lipari, Étienne André, Laurent Fribourg:
Toward Parametric Timed Interfaces for Real-Time Components. 49-64 - Mladen Skelin, Marc Geilen, Francky Catthoor, Sverre Hendseth:
Worst-case Throughput Analysis for Parametric Rate and Parametric Actor Execution Time Scenario-Aware Dataflow Graphs. 65-79 - Iaakov Exman:
Interestingness a Unifying Paradigm Bipolar Function Composition. - Hongbo Si, Haris Vikalo, Sriram Vishwanath:
Haplotype Assembly: An Information Theoretic View. - Vikash Mansinghka, Daniel Selsam, Yura N. Perov:
Venture: a higher-order probabilistic programming platform with programmable inference. - Chan Dai Truyen Thai, Marion Berbineau:
Quantization for Uplink Transmissions in Two-tier Networks with Femtocells. - John Matta, Jeffrey Borwey, Gunes Ercal:
Comparative Resilience Notions and Vertex Attack Tolerance of Scale-Free Networks. - Shiu Kumar, Eun Sik Ham, Seong Ro Lee:
Traffic Monitoring Using M2M Communication. - Josep Díaz, George B. Mertzios:
Minimum Bisection is NP-hard on Unit Disk Graphs. - Bharat Adsul, Jinesh Machchhar, Milind A. Sohoni:
A Computational Framework for Boundary Representation of Solid Sweeps. - Siyi Wang, Weisi Guo, Mark D. McDonnell:
Downlink Interference Estimation without Feedback for Heterogeneous Network Interference Avoidance. - Siyi Wang, Weisi Guo, Song Qiu, Mark D. McDonnell:
Performance of Macro-Scale Molecular Communications with Sensor Cleanse Time. - Shusen Wang, Zhihua Zhang:
Efficient Algorithms and Error Analysis for the Modified Nystrom Method. - Albert Y. S. Lam, Yanhui Geng, Victor O. K. Li:
Information-Theoretic Bounds for Performance of Resource-Constrained Communication Systems. - Juha Kontinen, Julian-Steffen Müller, Henning Schnoor, Heribert Vollmer:
Modal Independence Logic. - O. O. Ogunduyile, Oludayo O. Olugbara, Lall Manoj:
Development of Wearable Systems for Ubiquitous Healthcare Service Provisioning. - David García, Ingmar Weber, Venkata Rama Kiran Garimella:
Gender Asymmetries in Reality and Fiction: The Bechdel Test of Social Media. - Mojtaba Soltanalian, Petre Stoica:
A Recursive Method for Enumeration of Costas Arrays. - Boris Bellalta, Alessandro Zocca, Cristina Cano, Alessandro Checco, Jaume Barceló, Alexey V. Vinel:
Throughput Analysis in CSMA/CA Networks using Continuous Time Markov Networks: A Tutorial. - Abidin Kaya, Bahattin Yildiz:
Extension theorems for self-dual codes over rings and new binary self-dual codes. - Andreas Veit, Christoph Goebel, Rohit Tidke, Christoph Doblander, Hans-Arno Jacobsen:
Household Electricity Demand Forecasting - Benchmarking State-of-the-Art Methods. - Peter Jung, Philipp Walk:
Sparse Model Uncertainties in Compressed Sensing with Application to Convolutions and Sporadic Communication. - Bassam A. Alqaralleh, Khaled Almiani:
Mobile Elements Scheduling for Periodic Sensor Applications. - Alessandro Borri, Giordano Pola, Maria Domenica Di Benedetto:
Symbolic Control Design of Nonlinear Networked Control Systems. - Sy-Quoc Le, Vincent Yan Fu Tan, Mehul Motani:
A Case Where Interference Does Not Affect The Channel Dispersion. - Victor Alvarez, Karl Bringmann, Saurabh Ray, Raimund Seidel:
Counting Triangulations and other Crossing-Free Structures Approximately. - Ahmed Douik, Sameh Sorour, Mohamed-Slim Alouini, Tareq Y. Al-Naffouri:
On Minimizing the Maximum Broadcast Decoding Delay for Instantly Decodable Network Coding. - Jingge Zhu, Michael Gastpar:
Lattice Codes for Many-to-One Interference Channels With and Without Cognitive Messages. - Chandan K. Dubey, Thomas Holenstein:
Sampling a Uniformly Random Solution of a Quadratic Equation over Quotient Rings. - Jack Kelly, William J. Knottenbelt:
'UK-DALE': A dataset recording UK Domestic Appliance-Level Electricity demand and whole-house demand. - David Eppstein, Michael T. Goodrich, Michael Mitzenmacher, Pawel Pszona:
Wear Minimization for Cuckoo Hashing: How Not to Throw a Lot of Eggs into One Basket. - Mostafizur Rahman, Pritish Narayanan, Csaba Andras Moritz:
Metal-Gated Junctionless Nanowire Transistors. - Matthias Schröder, Victor L. Selivanov:
Hyperprojective Hierarchy of QCB0-spaces. - (Withdrawn) A Kernel-Based Nonparametric Test for Anomaly Detection over Line Networks.
- David Darmon, Elisa Omodei, Joshua Garland:
Followers Are Not Enough: Beyond Structural Communities in Online Social Networks. - Abhisek Kundu, Petros Drineas:
A Note on Randomized Element-wise Matrix Sparsification. - Bei Yu, David Z. Pan:
Layout Decomposition for Quadruple Patterning Lithography and Beyond. - Menglong Zhu, Nikolay Atanasov, George J. Pappas, Kostas Daniilidis:
Active Deformable Part Models. - John S. H. Baxter, Martin Rajchl, Jing Yuan, Terry M. Peters:
A Continuous Max-Flow Approach to General Hierarchical Multi-Labelling Problems. - Paul S. Bonsma, Amer E. Mouawad:
The Complexity of Bounded Length Graph Recoloring. - Thomas Rothvoß:
Constructive discrepancy minimization for convex sets. - Andrew W. Eckford, Chan-Byoung Chae:
Scaling laws for molecular communication. - Ming Lei, Mohammad Reza Soleymani:
Performance of the Generalized Quantize-and-Forward Scheme over the Multiple-Access Relay Channel. - Lutz Bornmann:
Inter-rater reliability and convergent validity of F1000Prime peer review. - Sebastiano Vigna:
Further scramblings of Marsaglia's xorshift generators. - Chiyuan Zhang, Georgios Evangelopoulos, Stephen Voinea, Lorenzo Rosasco, Tomaso A. Poggio:
A Deep Representation for Invariance And Music Classification. - Xu Chen, Zeeshan Syed, Alfred O. Hero III:
EEG Spatial Decoding and Classification with Logit Shrinkage Regularized Directed Information Assessment (L-SODA). - Emil Björnson, Mats Bengtsson, Björn E. Ottersten:
Optimal Multiuser Transmit Beamforming: A Difficult Problem with a Simple Solution Structure. - Fabio Mogavero, Aniello Murano, Moshe Y. Vardi:
Proceedings 2nd International Workshop on Strategic Reasoning, SR 2014, Grenoble, France, April 5-6, 2014. EPTCS 146, 2014 [contents] - Miltiadis Allamanis, Charles Sutton:
Mining Idioms from Source Code. - Bei Yin, Michael Wu, Joseph R. Cavallaro, Christoph Studer:
Conjugate Gradient-based Soft-Output Detection and Precoding in Massive MIMO Systems. - Shuhang Wu, Shuangqing Wei, Yue Wang, Ramachandran Vaidyanathan, Jian Yuan:
Partition Information and its Transmission over Boolean Multi-Access Channels. - Ryutaroh Matsumoto:
New Asymptotic Metrics for Relative Generalized Hamming Weight. - Barbora Buhnova, Lucia Happe, Jan Kofron:
Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2014, Grenoble, France, 12th April 2014. EPTCS 147, 2014 [contents] - Robert Suderman, Daniel J. Lizotte, Nasser Mohieddin Abukhdeir:
Theory and Application of Shapelets to the Analysis of Surface Self-assembly Imaging. - Kevin Carlberg:
Adaptive $h$-refinement for reduced-order models. - Pokkuluri Kiran Sree, Inampudi Ramesh Babu, N. S. S. S. N. Usha Devi:
Cellular Automata and Its Applications in Bioinformatics: A Review. - Mohammed Zakarya Baba-Ahmed, Badr Benmammar, Fethi Tarik Bendimerad:
Self-protection and self-healing in the context of cognitive radio. - Loet Leydesdorff, Caroline S. Wagner, Lutz Bornmann:
The European Union, China, and the United States in the Top-1% and Top-10% Layers of Most-Frequently-Cited Publications: Competition and Collaborations. - Da Kuang, Raffay Hamid:
piCholesky: Polynomial Interpolation of Multiple Cholesky Factors for Efficient Approximate Cross-Validation. - Xin Kang, Chin Keong Ho, Sumei Sun:
Full-Duplex Wireless-Powered Communication Network with Energy Causality. - Haixin Zhang, Daijun Wei, Yong Hu, Xin Lan, Yong Deng:
Modelling the Self-similarity in Complex Networks Based on Coulomb's Law. - Jörg H. Kappes, Björn Andres, Fred A. Hamprecht, Christoph Schnörr, Sebastian Nowozin, Dhruv Batra, Sungwoong Kim, Bernhard X. Kausler, Thorben Kröger, Jan Lellmann, Nikos Komodakis, Bogdan Savchynskyy, Carsten Rother:
A Comparative Study of Modern Inference Techniques for Structured Discrete Energy Minimization Problems. - Li Gou, Yong Deng, Rehan Sadiq, Sankaran Mahadevan:
Modeling contaminant intrusion in water distribution networks based on D numbers. - Talal Rahwan, Victor Naroditskiy, Tomasz P. Michalak, Michael J. Wooldridge, Nicholas R. Jennings:
Towards a Fair Allocation of Rewards in Multi-Level Marketing. - Thomas Given-Wilson:
An Intensional Concurrent Faithful Encoding of Turing Machines. 21-37 - Paul J. Werbos:
From ADP to the Brain: Foundations, Roadmap, Challenges and Research Priorities. - Saeid Sahraei, Michael C. Gastpar:
New Shortest Lattice Vector Problems of Polynomial Complexity. - Goce Chadzitaskos, Lenka Háková, Ondrej Kajínek:
Weyl group orbit functions in image processing. - Rob Arthan, Paulo Oliva:
On Affine Logic and Łukasiewicz Logic. - Xinpei Ma, Hiroki Sayama:
Mental Disorder Recovery Correlated with Centralities and Interactions on an Online Social Network. - David Adjiashvili, Noy Rotbart:
Labeling Schemes for Bounded Degree Graphs. - Oscar Esteban, Gert Wollny, Subrahmanyam Gorthi, María J. Ledesma-Carbayo, Jean-Philippe Thiran, Andrés Santos, Meritxell Bach Cuadra:
MBIS: Multivariate Bayesian Image Segmentation Tool. - John Fearnley, Rahul Savani:
The Complexity of the Simplex Method. - André Frochaux, Martin Grohe, Nicole Schweikardt:
Monadic Datalog Containment on Trees. - Mostafizur Rahman, Santosh Khasanvis, Jiajun Shi, Mingyu Li, Csaba Andras Moritz:
Skybridge: 3-D Integrated Circuit Technology Alternative to CMOS. - Shai Vardi:
The secretary returns. - Mostafizur Rahman, Santosh Khasanvis, Csaba Andras Moritz:
Nanowire Volatile RAM as an Alternative to SRAM. - Mohammed Javed, P. Nagabhushan, B. B. Chaudhuri:
Extraction of Projection Profile, Run-Histogram and Entropy Features Straight from Run-Length Compressed Text-Documents. - Akin Osman Kazakci:
Conceptive Artificial Intelligence: Insights from design theory. - Julien Cassaigne, Vesa Halava, Tero Harju, François Nicolas:
Tighter Undecidability Bounds for Matrix Mortality, Zero-in-the-Corner Problems, and More. - Juan Carlos Cortés, Francisco-José Santonja, Ana C. Tarazona, Rafael J. Villanueva, Javier Villanueva-Oller:
A probabilistic estimation and prediction technique for dynamic continuous social science models: The evolution of the attitude of the Basque Country population towards ETA as a case study. - Gil Cohen, Avishay Tal:
Two Structural Results for Low Degree Polynomials and Applications. - Edwin Hammerich:
Waterfilling Theorems in the Time-Frequency Plane for the Heat Channel and a Related Source. - YounSun Cho:
Privacy-Preserving Social Network with Multigrained and Multilevel Access Control. - Yong Wang:
Entanglement in Quantum Process Algebra. - Hammurabi Mendes, Sorin Istrail:
Thermodynamic Hypothesis as Social Choice: An Impossibility Theorem for Protein Folding. - Xin-She Yang, Mehmet Karamanoglu, Xingshi He:
Multi-objective Flower Algorithm for Optimization. - Spyros Sioutas, Evangelos Sakkopoulos, Alexandros Panaretos, Dimitrios Tsoumakos, Panagiotis Gerolymatos, Giannis Tzimas, Yannis Manolopoulos:
D-P2P-Sim+: A Novel Distributed Framework for P2P Protocols Performance Testing. - Emanuela Merelli, Nicola Paoletti, Luca Tesei:
Adaptability Checking in Multi-Level Complex Systems. - Mahmoud Abo Khamis, Hung Q. Ngo, Christopher Ré, Atri Rudra:
Joins via Geometric Resolutions: Worst-case and Beyond. - Xin-She Yang, Slawomir Koziel, Leifur Þ. Leifsson:
Computational Optimization, Modelling and Simulation: Recent Trends and Challenges. - Deeparnab Chakrabarty, Kashyap Dixit, Madhav Jha, C. Seshadhri:
Property Testing on Product Distributions: Optimal Testers for Bounded Derivative Properties. - Emily Denton, Wojciech Zaremba, Joan Bruna, Yann LeCun, Rob Fergus:
Exploiting Linear Structure Within Convolutional Networks for Efficient Evaluation. - Geoffrey Irving:
Pentago is a First Player Win: Strongly Solving a Game Using Parallel In-Core Retrograde Analysis. - Serge Gaspers, Gregory B. Sorkin:
Separate, Measure and Conquer: Faster Algorithms for Max 2-CSP and Counting Dominating Sets. - Bertrand Wechsler, Dan Eilat, Nicolas Limal:
Information Flow Decompositions in Feedback Systems: General Case Study. - Mrinalkanti Ghosh, Satyadev Nandakumar, Atanu Pal:
Ornstein Isomorphism and Algorithmic Randomness. - Md. Enamul Haque, Abdullah Al Kaisan, Mahmudur R. Saniat, Aminur Rahman:
GPU Accelerated Fractal Image Compression for Medical Imaging in Parallel Computing Platform. - Mohsen Ghaffari, Bernhard Haeupler, Majid Khabbazian:
Randomized Broadcast in Radio Networks with Collision Detection. - Verica Bakeva, Aleksandra Popovska-Mitrovikj, Vesna Dimitrova:
Resistance of Statistical Attacks of Parastrophic Quasigroup Transformation. - Cem Evrendilek, Ismail Hakki Toroslu, Sasan Hashemi:
Task Assignment in Tree-Like Hierarchical Structures. - Oscar Stiffelman:
The Least Wrong Model Is Not in the Data. - Victor Marsault, Jacques Sakarovitch:
Breadth-first serialisation of trees and rational languages. - Allan Grønlund Jørgensen, Seth Pettie:
Threesomes, Degenerates, and Love Triangles. - Cosimo Anglano, Marco Guazzone, Matteo Sereno:
Maximizing Profit in Green Cellular Networks through Collaborative Games. - Daniel Lokshtanov, Marcin Pilipczuk, Michal Pilipczuk, Saket Saurabh:
Fixed-parameter tractable canonization and isomorphism test for graphs of bounded treewidth. - Tal Kopetz, Haim H. Permuter, Shlomo Shamai:
Multiple Access Channels with Combined Cooperation and Partial Cribbing. - Véronique Bruyère, Emmanuel Filiot, Mickael Randour, Jean-François Raskin:
Expectations or Guarantees? I Want It All! A crossroad between games and MDPs. 1-8 - Lluís Godo, Enrico Marchioni:
Games for the Strategic Influence of Expectations. 9-15 - Wojciech Jamroga, Matthijs Melissen, Henning Schnoor:
On Defendability of Security Properties. 17-25 - Francesco Belardinelli:
Reasoning about Knowledge and Strategies: Epistemic Strategy Logic. 27-33 - Xiaowei Huang, Ron van der Meyden:
An Epistemic Strategy Logic (Extended Abstract). 35-41 - Patricia Bouyer, Nicolas Markey, Steen Vester:
Nash Equilibria in Symmetric Games with Partial Observation. 49-55 - Dimitar P. Guelev:
Refining and Delegating Strategic Ability in ATL. 57-63 - Cláudia Nalon, Lan Zhang, Clare Dixon, Ullrich Hustadt:
A Resolution Prover for Coalition Logic. 65-73 - Xiang Jiang, Arno Pauly:
Efficient Decomposition of Bimatrix Games (Extended Abstract). 75-81 - Benjamin Aminof, Sasha Rubin:
First Cycle Games. 83-90 - Guillaume Aucher, Bastien Maubert, Sophie Pinchinat:
Automata Techniques for Epistemic Protocol Synthesis. 97-103 - Piero A. Bonatti, Marco Faella, Luigi Sauro:
Partial Preferences for Mediated Bargaining. 105-111 - Fenglin Han, Jan Olaf Blech, Peter Herrmann, Heinz W. Schmidt:
Towards Verifying Safety Properties of Real-Time Probabilistic Systems. 1-15 - Stefan Stattelmann, Manuel Oriol, Thomas Gamer:
Execution Time Analysis for Industrial Control Applications. 16-31 - Arnaud Lanoix, Olga Kouchnarenko:
Component Substitution through Dynamic Reconfigurations. 32-46 - Christian Colombo, Gordon J. Pace:
Comprehensive Monitor-Oriented Compensation Programming. 47-61 - Rui Couto, António Nestor Ribeiro, José Creissac Campos:
Application of Ontologies in Identifying Requirements Patterns in Use Cases. 62-76 - Antinisca Di Marco, Catia Trubiani:
A model-driven approach to broaden the detection of software performance antipatterns at runtime. 77-92 - Faiz Ul Muram, Huy Tran, Uwe Zdun:
Automated Mapping of UML Activity Diagrams to Formal Specifications for Supporting Containment Checking. 93-107 - Mounira Kezadri Hamiaz, Marc Pantel, Benoît Combemale, Xavier Thirioux:
Correct-by-construction model composition: Application to the Invasive Software Composition method. 108-122 - Wei Bai, Emmanuel M. Tadjouddine, Yu Guo:
Enabling Automatic Certification of Online Auctions. 123-132 - Luciana Brasil Rebelo dos Santos, Valdivino Alexandre de Santiago Júnior, Nandamudi Lankalapalli Vijaykumar:
Transformation of UML Behavioral Diagrams to Support Software Model Checking. 133-142 - Kangqi Liu, Meixia Tao, Dingcheng Yang:
Generalized Signal Alignment For Arbitrary MIMO Two-Way Relay Channels. - Jun He, Feidun He, Hongbin Dong:
A Novel Genetic Algorithm using Helper Objectives for the 0-1 Knapsack Problem. - Youze Tang, Xiaokui Xiao, Yanchen Shi:
Influence Maximization: Near-Optimal Time Complexity Meets Practical Efficiency. - Zoran Hadzi-Velkov, Nikola Zlatanov, Robert Schober:
Optimal Power Control for Analog Bidirectional Relaying with Long-Term Relay Power Constraint. - Vikramkumar, Vijaykumar B, Trilochan:
Bayes and Naive Bayes Classifier. - Jiyi Li:
Map Route Ranking with Weighted Distance using Environmental Factors. - Michael Codish, Luís Cruz-Filipe, Peter Schneider-Kamp:
The Quest for Optimal Sorting Networks: Efficient Generation of Two-Layer Prefixes. - Jochen Burghardt, Birgit Heinz:
Implementing Anti-Unification Modulo Equational Theory. - Thomas Given-Wilson:
Expressiveness via Intensionality and Concurrency. - Joong Bum Rhim, Vivek K. Goyal:
Distributed Hypothesis Testing with Social Learning and Symmetric Fusion. - Fabian Monsees, Carsten Bockelmann, Dirk Wübben, Armin Dekorsy:
Compressed Sensing Bayes Risk Minimization for Under-determined Systems via Sphere Detection. - Lila Kari, Steffen Kopecki, Pierre-Étienne Meunier, Matthew J. Patitz, Shinnosuke Seki:
Binary pattern tile set synthesis is NP-hard. - Yan Liu, Haode Yan, Chunlei Liu:
A Class of Reducible Cyclic Codes and Their Weight Distribution. - Karine Zidane, Jérôme Lacan, Marie-Laure Boucheret, Charly Poulliat:
Improved channel estimation for interference cancellation in random access methods for satellite communications. - Marco Beccuti, Enrico Bibbona, András Horváth, Roberta Sirovich, Alessio Angius, Gianfranco Balbo:
Analysis of Petri Net Models through Stochastic Differential Equations. - Shay Mozes, Yahav Nussbaum, Oren Weimann:
Faster Shortest Paths in Dense Distance Graphs, with Applications. - Martin Kasparick, Renato L. G. Cavalcante, Stefan Valentin, Slawomir Stanczak, Masahiro Yukawa:
Kernel-Based Adaptive Online Reconstruction of Coverage Maps With Side Information. - Suman Joshi, Yashwant Singh Chauhan, Ashish Negi:
New Julia and Mandelbrot Sets for Jungck Ishikawa Iterates. - Tamal K. Dey, Alfred Rossi, Anastasios Sidiropoulos:
Spectral concentration, robust k-center, and simple clustering. - Thiago Henrique Silva, Pedro O. S. Vaz de Melo, Jussara M. Almeida, Mirco Musolesi, Antonio A. F. Loureiro:
You are What you Eat (and Drink): Identifying Cultural Boundaries by Analyzing Food & Drink Habits in Foursquare. - György Dósa, Leah Epstein:
Online bin packing with cardinality constraints revisited. - Leah Epstein, Asaf Levin:
Minimum total weighted completion time: Faster approximation schemes. - Stephen Tyree, Jacob R. Gardner, Kilian Q. Weinberger, Kunal Agrawal, John Tran:
Parallel Support Vector Machines in Practice. - Francisco Javier Martin-Vega, Francisco Javier López-Martínez, Gerardo Gómez, Mari Carmen Aguayo Torres:
Multi-User Coverage Probability of Uplink Cellular Systems: a Stochastic Geometry Approach. - Martin Farach-Colton, Katia Leal, Miguel A. Mosteiro, Christopher Thraves:
Dynamic Windows Scheduling with Reallocation. - Sungjin Im, Janardhan Kulkarni, Kamesh Munagala:
Competitive Algorithms from Competitive Equilibria: Non-Clairvoyant Scheduling under Polyhedral Constraints. - Jonathon Shlens:
A Tutorial on Principal Component Analysis. - Daniel M. Kane:
A Polylogarithmic PRG for Degree $2$ Threshold Functions in the Gaussian Setting. - Junjie Zhu, Siddhartan Govindasamy, Jeff Hwang:
Performance of Multiantenna Linear MMSE Receivers in Doubly Stochastic Networks. - Jun He, Honghai Zhang, Baohua Zhao, Sampath Rangarajan:
A Collaborative Framework for In-network Video Caching in Mobile Networks. - Ashutosh Nayyar, Matias Negrete-Pincetic, Kameshwar Poolla, Pravin Varaiya:
Duration-Differentiated Services in Electricity. - Ahmed H. Anwar, Ahmed El Shafie, Amr Mohamed, Tamer A. ElBatt, Mohsen Guizani:
Interference-based Optimal Power-efficient Access Scheme for Cognitive Radio Networks. - Ayush Bhandari, Achuta Kadambi, Refael Whyte, Christopher Barsi, Micha Feigin, Adrian A. Dorrington, Ramesh Raskar:
Resolving Multi-path Interference in Time-of-Flight Imaging via Modulation Frequency Diversity and Sparse Regularization. - Kai Li, Yong Wang, Meilin Liu:
A Task Allocation Schema Based on Response Time Optimization in Cloud Computing. - Chengyu Peng, Hong Cheng, Manchor Ko:
An Efficient Two-Stage Sparse Representation Method. - Christopher Amato, Frans A. Oliehoek:
Scalable Planning and Learning for Multiagent POMDPs. - Yifan Zhou, Zhifeng Zhao, Qianlan Ying, Rongpeng Li, Xuan Zhou, Honggang Zhang:
Two-tier Spatial Modeling of Base Stations in Cellular Networks. - Qianlan Ying, Zhifeng Zhao, Yifan Zhou, Rongpeng Li, Xuan Zhou, Honggang Zhang:
Modeling Spatial Distributions of Base Stations in Cellular Networks. - Pokkuluri Kiran Sree, Inampudi Ramesh Babu, N. S. S. S. N. Usha Devi:
AIS-MACA- Z: MACA based Clonal Classifier for Splicing Site, Protein Coding and Promoter Region Identification in Eukaryotes. - Mohammad Noshad, Maïté Brandt-Pearce:
Hadamard Coded Modulation: An Alternative to OFDM for Optical Wireless Communications. - (Withdrawn) Recognition of Handwritten MODI Numerals using Hu and Zernike features.
- Nilanjan Roy Chowdhury, Srikant Sukumar:
Persistence based analysis of consensus protocols for dynamic graph networks. - Germán Corrales Madueño, Cedomir Stefanovic, Petar Popovski:
Reliable Reporting for Massive M2M Communications with Periodic Resource Pooling. - Amirali Abdullah, Suresh Venkatasubramanian:
A directed isoperimetric inequality with application to Bregman near neighbor lower bounds. - Xin Kang, Yeow-Khiang Chia, Chin Keong Ho, Sumei Sun:
Cost minimization for fading channels with energy harvesting and conventional energy. - Jochen Burghardt:
Experiences in Developing Time-Critical Systems - The Case Study "Production Cell". - Jochen Burghardt:
Regular Substitution Sets: A Means of Controlling E-Unification. - Sergey Goncharov, Dirk Pattinson:
Coalgebraic Weak Bisimulation from Recursive Equations over Monads. - Bertram Felgenhauer, Aart Middeldorp, Harald Zankl, Vincent van Oostrom:
Layer Systems for Proving Confluence. - Jochen Burghardt:
Formale Entwicklung einer Steuerung für eine Fertigungszelle mit SYSYFOS. - Giulio Coluccia, Aline Roumy, Enrico Magli:
Operational Rate-Distortion Performance of Single-source and Distributed Compressed Sensing. - Emna Zedini, Imran Shafique Ansari, Mohamed-Slim Alouini:
Unified Performance Analysis of Mixed Line of Sight RF-FSO Fixed Gain Dual-Hop Transmission Systems. - Iovka Boneva, José Emilio Labra Gayo, Samuel Hym, Eric G. Prud'hommeaux, Harold R. Solbrig, Slawek Staworko:
Validating RDF with Shape Expressions. - Md. Selim Al Mamun, B. K. Karmaker:
Design of Reversible Counter. - Ahmed Tamrawi, Kang Gui, Suresh C. Kothari:
Event-Flow Graphs for Efficient Path-Sensitive Analyses. - Dongwoo Kim, Alice Oh:
Hierarchical Dirichlet Scaling Process. - Yuri Shalygo:
The Kinetic Basis of Self-Organized Pattern Formation. - Ardavan Rahimian:
Steerable Antennas for Automotive Communication Systems. - Omaima N. A. Al-Allaf:
Review of Face Detection Systems Based Artificial Neural Networks Algorithms. - Emilio Ferrara, Pasquale De Meo, Salvatore Catanese, Giacomo Fiumara:
Detecting criminal organizations in mobile phone networks. - Zohreh Zahedi, Rodrigo Costas, Paul Wouters:
How well developed are altmetrics? A cross-disciplinary analysis of the presence of 'alternative metrics' in scientific publications. - Kyeong Soo Kim:
Comments on "IEEE 1588 Clock Synchronization using Dual Slave Clocks in a Slave". - Nihat Engin Tunali, Yu-Chih Huang, Joseph J. Boutros, Krishna R. Narayanan:
Lattices over Eisenstein Integers for Compute-and-Forward. - Valery N. Gorbachev, E. M. Kaynarova, I. K. Metelev, E. S. Yakovleva:
Color to Gray and Back transformation for distributing color digital images. - K. Meenakshi, Ch. Srinivasa Rao, K. Satya Prasad:
Robust Video Watermarking Schemes in Phase domain Using Binary Phase Shift Keying. - Robert LiKamWa, Zhen Wang, Aaron Carroll, Felix Xiaozhu Lin, Lin Zhong:
Draining our Glass: An Energy and Heat Characterization of Google Glass. - Glencora Borradaile, Claire Mathieu, Theresa Migler:
Lower bounds for testing digraph connectivity with one-pass streaming algorithms. - Da Wang, Gauri Joshi, Gregory W. Wornell:
Efficient Task Replication for Fast Response Times in Parallel Computation. - Siarhei V. Charapitsa, Irina Ya. Dubovskaya, Alexander S. Lobko, Tatiana A. Savitskaya, Svetlana N. Sytova:
Structure of Belarusian educational and research web portal of nuclear knowledge. - Nima Haghpanah, Jason D. Hartline:
Reverse Mechanism Design. - Lilian Hong:
Optimizing Relay Precoding for Wireless Coordinated Relaying. - Maksym Gabielkov, Ashwin Rao, Arnaud Legout:
Studying Social Networks at Scale: Macroscopic Anatomy of the Twitter Social Graph. - Zheng Wang, Ming-Jun Lai, Zhaosong Lu, Wei Fan, Hasan Davulcu, Jieping Ye:
Orthogonal Rank-One Matrix Pursuit for Low Rank Matrix Completion. - Michael Backes, Sven Bugiel, Sebastian Gerling, Philipp von Styp-Rekowsky:
Android Security Framework: Enabling Generic and Extensible Access Control on Android. - Abhishek Gupta, Serdar Yüksel, Tamer Basar, Cedric Langbort:
On the Existence of Optimal Policies for a Class of Static and Sequential Dynamic Teams. - Arastoo Fazeli, Amir Ajorlou, Ali Jadbabaie:
Optimal Budget Allocation in Social Networks: Quality or Seeding. - Yao Sun, Dongdai Lin, Dingkang Wang:
An Improvement over the GVW Algorithm for Inhomogeneous Polynomial Systems. - Cong Tian, Zhenhua Duan:
Buchi Determinization Made Tighter. - Farshad Shams, Marco Luise:
Upper-Bounding the Capacity of Relay Communications - Part II. - Karl Bringmann:
Why walking the dog takes time: Frechet distance has no strongly subquadratic algorithms unless SETH fails. - Hamidou Tembine:
Non-Asymptotic Mean-Field Games. - Michal Cierny, Zhi Ding, Risto Wichman:
Higher Rank Interference Effect on Weak Beamforming or OSTBC Terminals. - Pallavi V. S., D. Rukmani Devi:
Design of a High Speed FPGA-Based Classifier for Efficient Packet Classification. - Sukhchandan Randhawa, Anil Kumar Verma:
A Review of Power Aware Routing Protocols in Wireless Sensor Networks. - Swetha R., D. Rukmani Devi:
High Throughput and Less Area AMP Architecture for Audio Signal Restoration. - Sukhchandan Randhawa:
Research Challenges in Wireless Sensor Network: A State of the Play. - Wenjing Liao, Albert Fannjiang:
MUSIC for Single-Snapshot Spectral Estimation: Stability and Super-resolution. - Xiaojun Yuan:
MIMO Multiway Relaying with Clustered Full Data Exchange: Signal Space Alignment and Degrees of Freedom. - Jayita Mitra, Diganta Saha:
An Efficient Feature Selection in Classification of Audio Files. - Med. Essahafi:
Model Predictive Control (MPC) Applied To Coupled Tank Liquid Level System. - Yair Wiener, Steve Hanneke, Ran El-Yaniv:
A Compression Technique for Analyzing Disagreement-Based Active Learning. - Shmuel Friedland, Qun Li, Dan Schonfeld, Edgar A. Bernal:
Two algorithms for compressed sensing of sparse tensors. - Aske Plaat:
MTD(f), A Minimax Algorithm Faster Than NegaScout. - Avinash N. Bhute, B. B. Meshram:
Text Based Approach For Indexing And Retrieval Of Image And Video: A Review. - Aske Plaat, Jonathan Schaeffer, Wim Pijls, Arie de Bruin:
A New Paradigm for Minimax Search. - Aske Plaat, Jonathan Schaeffer, Wim Pijls, Arie de Bruin:
SSS* = Alpha-Beta + TT. - Aske Plaat, Jonathan Schaeffer, Wim Pijls, Arie de Bruin:
Nearly Optimal Minimax Tree Search? - Vivek Kulkarni, Rami Al-Rfou', Bryan Perozzi, Steven Skiena:
Exploring the power of GPU's for training Polyglot language models. - Dimitris S. Papailiopoulos, Anastasios Kyrillidis, Christos Boutsidis:
Provable Deterministic Leverage Score Sampling. - Fabio Mogavero, Giuseppe Perelli:
On the Remarkable Features of Binding Forms. - Jihong Park, Seong-Lyun Kim, Jens Zander:
Asymptotic Behavior of Ultra-Dense Cellular Networks and Its Economic Impact. - R. Vidya, G. M. Nasira, R. P. Jaia Priyankka:
Sparse Coding: A Deep Learning using Unlabeled Data for High - Level Representation. - Vadim Stadnik:
Fast Sequential Summation Algorithms Using Augmented Data Structures. - Guosheng Lin, Chunhua Shen, Qinfeng Shi, Anton van den Hengel, David Suter:
Fast Supervised Hashing with Decision Trees for High-Dimensional Data. - Friedrich Eisenbrand, Santosh S. Vempala:
Geometric Random Edge. - YounSun Cho:
Detecting a Corrupted Area in a 2-Dimensional Space. - Alexios Balatsoukas-Stimming, Andreas Burg:
Density Evolution for Min-Sum Decoding of LDPC Codes Under Unreliable Message Storage. - James Pallister, Kerstin Eder, Simon J. Hollis, Jeremy Bennett:
A high-level model of embedded flash energy consumption. - Alexander W. Churchill, Siddharth Sigtia, Chrisantha Fernando:
A Denoising Autoencoder that Guides Stochastic Search. - Radoslaw Klimek, Leszek Kotulski:
Proposal of a multiagent-based smart environment for the IoT. - Ruizhi Liao, Boris Bellalta, Miquel Oliver, Zhisheng Niu:
MU-MIMO MAC Protocols for Wireless Local Area Networks: A Survey. - Barbara Kordy, Sjouke Mauw, Wolter Pieters:
Proceedings First International Workshop on Graphical Models for Security, GraMSec 2014, Grenoble, France, April 12, 2014. EPTCS 148, 2014 [contents] - Yauhen Klimiankou:
An Enhanced Multi-Pager Environment Support for Second Generation Microkernels. - Hu Li, Yuan'an Liu, Dongming Yuan, Hefei Hu, Sirui Duan:
Utility Optimal Scheduling in Degree-Limited Satellite Networks. - (Withdrawn) Proximal Navigation Graphs and t-spanners.
- Hu Li, Yuan'an Liu, Hefei Hu, Dongming Yuan, Sirui Duan:
Analysis of Capacity Region of Delay-Tolerant Hybrid Mobile Ad Hoc Networks. - Lu Yu, Chuang Liu, Zi-Ke Zhang:
Multi-Linear Interactive Matrix Factorization. - Dian-Wu Yue, Geoffrey Ye Li:
LOS-based Conjugate Beamforming and Power-Scaling Law in Massive-MIMO Systems. - Namita Mittal, Basant Agarwal, Ajay Gupta, Hemant Madhur:
Icon Based Information Retrieval and Disease Identification in Agriculture. - Claudio De Persis, Pietro Tesi:
On Resilient Control of Nonlinear Systems under Denial-of-Service. - Olawale Surajudeen Adebayo, Shafii Muhammad Abdulhamid, Andrew E. Fluck:
The Prospects for e-Examinations in Nigeria and Australia. - Le Thanh Tan, Long Bao Le:
Channel Assignment With Access Contention Resolution for Cognitive Radio Networks. - Le Thanh Tan, Long Bao Le:
Distributed MAC Protocol for Cognitive Radio Networks: Design, Analysis, and Optimization. - (Withdrawn) Pseudo-Zernike Based Multi-Pass Automatic Target Recognition From Multi-Channel SAR.
- Andris Ambainis, Jozef Gruska, Shenggen Zheng:
Exact query complexity of some special classes of Boolean functions. - Guido Governatori:
Thou Shalt is not You Will. - Jozef Gruska, Daowen Qiu, Shenggen Zheng:
Potential of quantum finite automata with exact acceptance. - Congduc Pham, Fumitoshi Matsuno, Serge Stinckwich:
Proceedings of Third Workshop on Robots and Sensors integration in future rescue INformation system (ROSIN 2013). - Martin Stanek:
Memory-only selection of dictionary PINs. - Gabriel Leuenberger:
Universal Algorithmic Ethics. - Christian Konrad, László Kozma:
Streaming Algorithms for Partitioning Integer Sequences. - Alexios Balatsoukas-Stimming, Andreas Burg:
Faulty Successive Cancellation Decoding of Polar Codes for the Binary Erasure Channel. - Nir Ailon:
A Tighter Lower Bound For Fourier Transform in the Well Conditioned Model. - Gourav Verma, Deepika Ramaiya:
Analysis, Review and Optimization of SONET/SDH Technology for today and future aspects. - Erik D. Demaine, Martin L. Demaine:
Fun with Fonts: Algorithmic Typography. - Artem Babenko, Anton Slesarev, Alexander Chigorin, Victor S. Lempitsky:
Neural Codes for Image Retrieval. - Mohammad Hassan Lotfi, George Kesidis, Saswati Sarkar:
Network Non-Neutrality on the Internet: Content Provision Under a Subscription Revenue Model. - Harris Kyriakou, Jeffrey V. Nickerson:
Collective Innovation in Open Source Hardware. - Lorenzo Pasquini:
A class of AM-QFT algorithms for power-of-two FFT. - Anugrah Kumar:
Determining the Consistency factor of Autopilot using Rough Set Theory. - Georgios Lestaris, Ioannis Charalampidis, Dario Berzano, Jakob Blomer, Predrag Buncic, Gerardo Ganis, René Meusel:
CernVM Online and Cloud Gateway: a uniform interface for CernVM contextualization and deployment. - Derrick Wing Kwan Ng, Robert Schober:
Max-min Fair Wireless Energy Transfer for Secure Multiuser Communication Systems. - Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova:
Concurrency and Scalability versus Fragmentation and Compaction with Compact-fit. - Artem Babenko, Victor S. Lempitsky:
Improving Bilayer Product Quantization for Billion-Scale Approximate Nearest Neighbors in High Dimensions. - Sagar Tirodkar, Yazad Baldawala, Sagar Ulane, Ashok Jori:
Improved 3-Dimensional Security in Cloud Computing. - Aditi Kalyani, Hemant Kumud, Shashi Pal Singh, Ajai Kumar, Hemant Darbari:
Evaluation and Ranking of Machine Translated Output in Hindi Language using Precision and Recall Oriented Metrics. - Zhe Wang, Naftaly H. Minsky:
Establishing Global Policies over Decentralized Online Social Networks. - Andreas Gemsa, Martin Nöllenburg, Ignaz Rutter:
Evaluation of Labeling Strategies for Rotating Maps. - Marco Bressan, Enoch Peserico, Luca Pretto:
Approximating PageRank locally with sublinear query complexity. - Forrest N. Iandola, Matthew W. Moskewicz, Sergey Karayev, Ross B. Girshick, Trevor Darrell, Kurt Keutzer:
DenseNet: Implementing Efficient ConvNet Descriptor Pyramids. - Anthony Sigogne, Matthieu Constant, Éric Laporte:
Intégration des données d'un lexique syntaxique dans un analyseur syntaxique probabiliste. - Guoming Tang, Kui Wu, Jingsheng Lei, Jiuyang Tang:
Plug and Play! A Simple, Universal Model for Energy Disaggregation. - Maksymilian Bujok, Piotr Fronczak, Agata Fronczak:
Polish and English wordnets - statistical analysis of interconnected networks. - Richard Herrmann:
A fractal approach to the dark silicon problem: a comparison of 3D computer architectures - standard slices versus fractal Menger sponge geometry. - Silvia Goodenough, Christian Lavault:
On subsets of Riordan subgroups and Heisenberg-Weyl algebra. - Yessica Saez, Xiaolin Cao, Laszlo B. Kish, G. Pesti:
Securing vehicle communication systems by the KLJN key exchange protocol. - Le Thanh Tan, Long Bao Le:
Fair channel allocation and access design for cognitive ad hoc networks. - Bahador Saket, Paolo Simonetto, Stephen G. Kobourov, Katy Börner:
Node, Node-Link, and Node-Link-Group Diagrams: An Evaluation. - Sungjin Im, Janardhan Kulkarni, Kamesh Munagala, Kirk Pruhs:
SELFISHMIGRATE: A Scalable Algorithm for Non-clairvoyantly Scheduling Heterogeneous Processors. - Jochen Burghardt:
Eine entscheidbare Klasse n-stelliger Horn-Prädikate. - Mrinal Kumar, Shubhangi Saraf:
On the power of homogeneous depth 4 arithmetic circuits. - Tim Libert:
Privacy Implications of Health Information Seeking on the Web. - Mahnoosh Alizadeh, Anna Scaglione, Andrea Goldsmith, George Kesidis:
Capturing Aggregate Flexibility in Demand Response. - Mahnoosh Alizadeh, Anna Scaglione, Andy Applebaum, George Kesidis, Karl N. Levitt:
Scalable and Anonymous Modeling of Large Populations of Flexible Appliances. - Andre Gustavo Degraf Uchoa, Cornelius T. Healy, Rodrigo Caiado de Lamare, Peng Li:
Iterative Detection and LDPC Decoding Algorithms for MIMO Systems in Block-Fading Channels. - Amani K. Samha, Yuefeng Li, Jinglan Zhang:
Aspect-Based Opinion Extraction from Customer reviews. - Erlend Andreas Gjære, Per Håkon Meland:
Threats Management Throughout the Software Service Life-Cycle. 1-14 - Ludovic Apvrille, Yves Roudier:
Towards the Model-Driven Engineering of Secure yet Safe Embedded Systems. 15-30 - Stéphane Paul:
Towards Automating the Construction & Maintenance of Attack Trees: a Feasibility Study. 31-46 - Thomas Bauereiß, Dieter Hutter:
Possibilistic Information Flow Control for Workflow Management Systems. 47-62 - Cristian Prisacariu:
Actor Network Procedures as Psi-calculi for Security Ceremonies. 63-77 - Aitor Couce Vieira, Siv Hilde Houmb, David Ríos Insua:
A Graphical Adversarial Risk Analysis Model for Oil and Gas Drilling Cybersecurity. 78-93 - Alexei Botchkarev:
Estimating the Accuracy of the Return on Investment (ROI) Performance Evaluations. - M. R. Avendi, Ha H. Nguyen, Nguyen Quoc-Tuan:
Multiple-Symbol Differential Detection for Distributed Space-Time Coding. - Le Thanh Tan, Long Bao Le:
Channel assignment for throughput maximization in cognitive radio networks. - Clifton Phua, Yuzhang Feng, Junyao Ji, Timothy Soh:
Visual and Predictive Analytics on Singapore News: Experiments on GDELT, Wikipedia, and ^STI. - Le Thanh Tan, Long Bao Le:
General analytical framework for cooperative sensing and access trade-off optimization. - Jonathon Shlens:
A Light Discussion and Derivation of Entropy. - Jonathon Shlens:
Notes on Generalized Linear Models of Neurons. - Jonathon Shlens:
Notes on Kullback-Leibler Divergence and Likelihood. - Duc Phu Chau, François Brémond, Monique Thonnat, Slawomir Bak:
Automatic Tracker Selection w.r.t Object Detection Performance. - Jalal Mahmud, Michelle X. Zhou, Nimrod Megiddo, Jeffrey Nichols, Clemens Drews:
Optimizing The Selection of Strangers To Answer Questions in Social Media. - P. Nagabhushan, Mohammed Javed, B. B. Chaudhuri:
Entropy Computation of Document Images in Run-Length Compressed Domain. - Michael A. Bender, Martin Farach-Colton, Sándor P. Fekete, Jeremy T. Fineman, Seth Gilbert:
Cost-oblivious storage reallocation. - Victor Alvarez, Felix Martin Schuhknecht, Jens Dittrich, Stefan Richter:
Main Memory Adaptive Indexing for Multi-core Systems. - Tony Lindeberg, Anders Friberg:
Idealized computational models for auditory receptive fields. - Shahar Dobzinski, Hu Fu, Robert Kleinberg:
On the Complexity of Computing an Equilibrium in Combinatorial Auctions. - Zeeshan Bhatti, Asadullah Shah, Mustafa Karabasi, Waheed Mahesar:
Expression driven Trignometric based Procedural Animation of Quadrupeds. - Dana Dannélls, Normunds Gruzitis:
Extracting a bilingual semantic grammar from FrameNet-annotated corpora. - Kaibin Huang, Victor O. K. Li:
Renewables Powered Cellular Networks: Energy Field and Network Coverage. - Amit Agarwal, Saloni Jain:
Efficient Optimal Algorithm of Task Scheduling in Cloud Computing Environment. - Joost Broekens, Tim Baarslag:
Optimistic Risk Perception during Learning Explains Risk-taking, Pathological Gambling, Sensation-seeking and Low Fear. - Anas Chaaban, Karlheinz Ochs, Aydin Sezgin:
Simultaneous Diagonalization: On the DoF Region of the K-user MIMO Multi-way Relay Channel. - Evgeny Burnaev, Vladimir Vovk:
Efficiency of conformalized ridge regression. - Uwe Schmidt, Jeremy Jancsary, Sebastian Nowozin, Stefan Roth, Carsten Rother:
Cascades of Regression Tree Fields for Image Restoration. - Bouchra Benammar, Nathalie Thomas, Marie-Laure Boucheret, Charly Poulliat, Mathieu Dervin:
An efficient time domain representation for Single-Carrier Frequency Division Multiple Access. - Tshilidzi Marwala:
Rational Counterfactuals. - Yalei Ji, Cedomir Stefanovic, Carsten Bockelmann, Armin Dekorsy, Petar Popovski:
Characterization of Coded Random Access with Compressive Sensing based Multi-User Detection. - Ali Chelli, Amir Hadjtaieb, Mohamed-Slim Alouini:
Performance Analysis of Hybrid ARQ with Incremental Redundancy over Amplify-and-Forward Dual-Hop Relay Channels. - Eduardo Lidanski, Giang Nguyen:
Multiple-Tree Push-based Overlay Streaming. - Matteo Gallet, Georg Nawratil, Josef Schicho:
Bond theory for pentapods and hexapods. - Timur Mirzoev, Bruce Benson, David Hillhouse, Mickey Lewis:
Datacenter Changes vs. Employment Rates for Datacenter Managers In the Cloud Computing Era. - Timur Mirzoev, Gerard Gingo, Mike Stawchansky, Tracy White:
Apple IOS Devices for Network Administrators. - Saeed Doostali:
An Efficient Solution for Model Checking Abstract State Machine Using Bogor. - Timur Mirzoev, Ramón Álvarez:
Leveraging VMware vCloud Director Virtual Applications (vApps) for Operational Expense (OpEx) Efficiency. - Timur Mirzoev, Craig Brockman:
SAP HANA and its performance benefits. - Georg Kaes, Jürgen Mangler, Stefanie Rinderle-Ma, Ralph Vigne:
The NNN Formalization: Review and Development of Guideline Specification in the Care Domain. - Timur Mirzoev, Lawton Sack:
Webpage Load Speed: ASP.NET vs. PHP. - Andrew Dobson, George V. Moustakides, Kostas E. Bekris:
Sampling-based Roadmap Planners are Probably Near-Optimal after Finite Computation. - Timur Mirzoev:
Employing Virtualization for Information Technology Education. - Timur Mirzoev, Stacey White:
The Role of Client Isolation in Protecting Wi-Fi Users from ARP Spoofing Attacks. - Timur Mirzoev, Baijian Yang:
Securing Virtualized Datacenters. - Timur Mirzoev:
Synchronous replication of remote storage. - Ernie Cohen:
Coherent Causal Memory. - Nal Kalchbrenner, Edward Grefenstette, Phil Blunsom:
A Convolutional Neural Network for Modelling Sentences. - Gregory E. Newstadt, Dennis L. Wei, Alfred O. Hero III:
Resource-Constrained Adaptive Search and Tracking for Sparse Dynamic Targets. - Chunguo Li:
Sum-rate maximization of OFDMA femtocell networks that incorporates the QoS of macro mobile stations. - Abdoul Aziz Ciss:
Two-sources Randomness Extractors for Elliptic Curves. - Tuan Phung-Duc:
Markovian multiserver queues with staggered setup for data centers. - Kerstin Eder, Chris Harper, Ute Leonards:
Towards the Safety of Human-in-the-Loop Robotics: Challenges and Opportunities for Safety Assurance of Robotic Co-Workers. - Feng Cen:
Distributed Joint Source and Channel Coding with Low-Density Parity-Check Codes. - Md. Munjure Mowla, S. M. Mahmud Hasan:
Performance Improvement of PAPR Reduction for OFDM Signal In LTE System. - Monika Kwiatkowska, Lukasz Swierczewski:
Steganography - coding and intercepting the information from encoded pictures in the absence of any initial information. - Chenwei Wang, Hua Sun, Syed Ali Jafar:
Genie Chains: Exploring Outer Bounds on the Degrees of Freedom of MIMO Interference Networks. - Luan Viet Nguyen, Taylor T. Johnson:
Virtual Prototyping and Distributed Control for Solar Array with Distributed Multilevel Inverter. - Mehran Alidoost Nia, Aida Ghorbani, Reza Ebrahimi Atani:
A Novel Anonymous Cloud Architecture Design; Providing Secure Online Services and Electronic Payments. - Thomas Bonald, James W. Roberts:
Enhanced Cluster Computing Performance Through Proportional Fairness. - Peter A. van der Helm:
Transparallel mind: Classical computing with quantum power. - Junyan Wang, Sai-Kit Yeung:
A Compact Linear Programming Relaxation for Binary Sub-modular MRF. - Christian Häger, Alexandre Graell i Amat, Fredrik Brännström, Alex Alvarado, Erik Agrell:
Improving Soft FEC Performance for Higher-Order Modulations by Bit Mapper Optimization. - Kangjin Kim, Georgios Fainekos, Sriram Sankaranarayanan:
On the Minimal Revision Problem of Specification Automata. - Md. Munjure Mowla, Md. Yeakub Ali, Abdulla Al Suman:
Better Performance ACF Operation for PAPR Reduction of OFDM Signal. - Sutani Ghosh:
Performance Analysis on The Basis of a Comparative Study Between Multipath Rayleigh Fading And AWGN Channel in The Presence of Various Interference. - Pedro Gonnet:
Efficient and Scalable Algorithms for Smoothed Particle Hydrodynamics on Hybrid Shared/Distributed-Memory Architectures. - Eita Nakamura, Tomohiko Nakamura, Yasuyuki Saito, Nobutaka Ono, Shigeki Sagayama:
Outer-Product Hidden Markov Model and Polyphonic MIDI Score Following. - Eita Nakamura, Nobutaka Ono, Shigeki Sagayama, Kenji Watanabe:
A Stochastic Temporal Model of Polyphonic MIDI Performance with Ornaments. - Richard G. Clegg, Raul Landa, João Taveira Araújo, Eleni Mykoniati, David Griffin, Miguel Rio:
TARDIS: Stably shifting traffic in space and time (extended version). - Yiannis Giannakopoulos, Elias Koutsoupias:
Duality and Optimality of Auctions for Uniform Distributions. - Jonathan D. Gammell, Siddhartha S. Srinivasa, Timothy D. Barfoot:
Informed RRT*: Optimal Incremental Path Planning Focused through an Admissible Ellipsoidal Heuristic. - Timur Mirzoev:
Disaster Recovery Using Virtual Machines. - Ko-Jen Hsiao, Alex Kulesza, Alfred O. Hero III:
Social Collaborative Retrieval. - Timur Mirzoev:
Wireless Transmission of Video for Biomechanical Analysis. - Timur Mirzoev:
Analysis of Computer Hardware Affecting Video Transmission via IEEE 1394a connection. - Timur Mirzoev:
Low Rate Wireless Personal Area Networks (LR-WPAN 802.15.4 standard). - Vladan M. Jovanovic, Timur Mirzoev:
Teaching Network Storage Technology Assessment Outcomes and Directions. - Timur Mirzoev:
Automation Security. - Xiaojun Feng, Peng Lin, Qian Zhang:
FlexAuc: Serving Dynamic Demands in a Spectrum Trading Market with Flexible Auction. - Mainak Chowdhury, Andrea Goldsmith:
Low-complexity Decoding is Asymptotically Optimal in the SIMO MAC. - Victor G. Kurbatsky, Nikita V. Tomin, Vadim A. Spiryaev, Paul Leahy, Denis N. Sidorov, Alexei V. Zhukov:
Power System Parameters Forecasting Using Hilbert-Huang Transform and Machine Learning. - Mahyar Shirvanimoghaddam, Yonghui Li, Branka Vucetic:
Multiple Access Analog Fountain Codes. - Manju Kaushik, Rashmi Jain:
Gesture Based Interaction NUI: An Overview. - Minming Ni, Lei Zheng, Fei Tong, Jianping Pan, Lin Cai:
A Geometrical-Based Throughput Bound Analysis for Device-to-Device Communications in Cellular Networks. - Palash Dey, Neeldhara Misra, Y. Narahari:
Detecting Possible Manipulators in Elections. - Kayla Bishop, Hoon Hong:
The Secant-Newton Map is Optimal Among Contracting $n^{th}$ Degree Maps for $n^{th}$ Root Computation. - Matthew C. Valenti, Don J. Torrieri, Salvatore Talarico:
A Direct Approach to Computing Spatially Averaged Outage Probability. - Mohsen Ghaffari, Bernhard Haeupler:
Fast Structuring of Radio Networks for Multi-Message Communications. - Saeedeh Moloudi, Michael Lentmaier, Alexandre Graell i Amat:
Spatially Coupled Turbo Codes. - Ashish Chiplunkar, Sundar Vishwanathan:
Approximating Regular Graphic TSP in near linear time. - Dong Zhao, Huadong Ma, Liang Liu:
Frugal Online Incentive Mechanisms for Crowdsourcing Tasks Truthfully. - Marc Manzano, Faryad Darabi Sahneh, Caterina M. Scoglio, Eusebi Calle, José-Luis Marzo:
Robustness surfaces of complex networks. - Mircea Marin, Gabriel Istrate:
Learning cover context-free grammars from structural data. - Fu-Tai An, Yu-Li Hsueh, Kyeong Soo Kim, Ian M. White, Leonid G. Kazovsky:
A New Dynamic Bandwidth Allocation Protocol with Quality of Service in Ethernet-based Passive Optical Networks. - Kyeong Soo Kim:
On The Evolution of PON-Based FTTH Solutions. - Jiong Guo, Yash Raj Shrestha, Yongjie Yang:
How Credible is the Prediction of a Party-Based Election? - Alfonso de la Fuente Ruiz:
Quantum annealing. - Emanuele Bellini:
Yet another algorithm to compute the nonlinearity of a Boolean function. - Loet Leydesdorff, Félix de Moya-Anegón, Wouter de Nooy:
Aggregated journal-journal citation relations in Scopus and Web-of-Science matched and compared in terms of networks, maps, and interactive overlays. - Vaibhav Jha, Sunny Deol, Mohit Jha, G. K. Sharma:
Energy and Latency Aware Application Mapping Algorithm & Optimization for Homogeneous 3D Network on Chip. - Arnob Ghosh, Saswati Sarkar:
Quality Sensitive Price Competition in Spectrum Oligopoly: Part 1. - Lan V. Truong:
Posterior Matching Scheme for Gaussian Broadcast Channel with Feedback. - Evan Everett, Ashutosh Sabharwal:
A Signal-Space Analysis of Spatial Self-Interference Isolation for Full-Duplex Wireless. - Cédric Richier, Eitan Altman, Rachid El Azouzi, Tania Altman, Georges Linarès, Yonathan Portilla:
Modelling View-count Dynamics in YouTube. - Martin Rajchl, John S. H. Baxter, Wu Qiu, Ali R. Khan, Aaron Fenster, Terry M. Peters, Jing Yuan:
RANCOR: Non-Linear Image Registration with Total Variation Regularization. - Thijs Laarhoven:
Asymptotics of Fingerprinting and Group Testing: Tight Bounds from Channel Capacities. - Selma Belhadj Amor, Yossef Steinberg, Michèle A. Wigger:
MIMO MAC-BC Duality with Linear-Feedback Coding Schemes. - Timur Mirzoev:
Reduction of Field Loss by a Video Processing System. - Saeed Javanmardi, Mohammad Shojafar, Shahdad Shariatmadari, Sima S. Ahrabi:
FRTRUST: a fuzzy reputation based model for trust management in semantic P2P grids. - Guilherme Sperb Machado, Fabio Victora Hecht, Martin Waldburger, Burkhard Stiller:
Bypassing Cloud Providers' Data Validation to Store Arbitrary Data. - Aurélien Bellet, Yingyu Liang, Alireza Bagheri Garakani, Maria-Florina Balcan, Fei Sha:
Distributed Frank-Wolfe Algorithm: A Unified Framework for Communication-Efficient Sparse Learning. - Muhammad Nazmul Islam, Ashwin Sampath, Atul Maharshi, Ozge H. Koymen, Narayan B. Mandayam:
Wireless Backhaul Node Placement for Small Cell Networks. - Roozbeh Ebrahimi, Jie Gao, Golnaz Ghasemiesfeh, Grant Schoenebeck:
How Complex Contagions Spread and Spread Quickly. - Lingqing Ai, Xian Wu, Lingxiao Huang, Longbo Huang, Pingzhong Tang, Jian Li:
The Multi-shop Ski Rental Problem. - Gonzalo Navarro, Sharma V. Thankachan:
Optimal Encodings for Range Majority Queries. - Duane Wilson, Giuseppe Ateniese:
To Share or Not to Share in Client-Side Encrypted Clouds. - Ditmar Parmeza, Miraldi Fifo:
Transaction Handling in COM, EJB and .NET. - Neil Walton:
Concave Switching in Single and Multihop Networks. - (Withdrawn) Real-time Decolorization using Dominant Colors.
- Robert Singer:
User Centered Development of Agent-based Business Process Models and Notations. - M. Rathna Devi, A. Anju:
Multiprocessor Scheduling of Dependent Tasks to Minimize Makespan and Reliability Cost Using NSGA-II. - Emanuele Bellini, Ilaria Simonetti, Massimiliano Sala:
Nonlinearity of Boolean functions: an algorithmic approach based on multivariate polynomials. - Sumit Kumar Dey, Shubham Anand:
Algorithm For Multi-Hand Finger Counting: An Easy Approach. - Luciano Pandolfi, Andrei Halanay:
Approximate controllability and lack of controllability to zero of the heat equation with memory. - Frank P. Kelly, Peter B. Key, Neil S. Walton:
Incentivized Optimal Advert Assignment via Utility Decomposition. - Fayssal Bendaoud, Marwen Abdennebi, Fedoua Didi:
Survey On Scheduling And Radio Resources Allocation In Lte. - Einollah Pira, Mohammad Reza Zand Miralvand, Fakhteh Soltani:
Verification of confliction and unreachability in rule-based expert systems with model checking. - Ravi Ranjan, G. Sahoo:
A New Clustering Approach for Anomaly Intrusion Detection. - Helger Lipmaa, Vitaly Skachek:
Linear Batch Codes. - Marina I. Maslennikova:
Reset Complexity of Ideal Languages. - Alexander Zeh, San Ling:
Decoding of Quasi-Cyclic Codes up to A New Lower Bound on the Minimum Distance. - Mehran Alidoost Nia, Ali Sajedi, Aryo Jamshidpey:
An Introduction to Digital Signature Schemes. - Peter Burcsi, Gabriele Fici, Zsuzsanna Lipták, Frank Ruskey, Joe Sawada:
Normal, Abby Normal, Prefix Normal. - Thijs Laarhoven:
Asymptotics of Fingerprinting and Group Testing: Capacity-Achieving Log-Likelihood Decoders. - Hasan Abasi, Nader H. Bshouty:
A Simple Algorithm for Hamiltonicity. - Yiannis Giannakopoulos:
Bounding Optimal Revenue in Multiple-Items Auctions. - Xibo Jin, Fa Zhang, Lin Wang, Songlin Hu, Biyu Zhou, Zhiyong Liu:
A Joint Optimization of Operational Cost and Performance Interference in Cloud Data Centers. - Moran Feldman, Moshe Tennenholtz, Omri Weinstein:
Display Advertising with Information Mediators. - Avishy Y. Carmi, Daniel Moskovich:
Tangle Machines I: Concept. - Avishy Y. Carmi, Daniel Moskovich:
Tangle Machines II: Invariants. - Marco Baldi, Nicola Maturo, Giacomo Ricciutelli, Franco Chiaraluce:
LDPC coded transmissions over the Gaussian broadcast channel with confidential messages. - Md Pavel Mahmud, Alexander Schliep:
TreQ-CG: Clustering Accelerates High-Throughput Sequencing Read Mapping. - Dalwadi Bijal, Suthar Sanket:
Overview of Stemming Algorithms for Indian and Non-Indian Languages. - Bouchra Rahali Mohammed Feham:
Substrate integrated waveguide power divider, circulator and coupler in [10-15] GHz band. - Fekri M. Abduljalil:
A Novel Real-Time Video and Data Capture of Vehicular Accident in Intelligent Transportation Systems. - Saeid Pashazadeh, Saeed Saeedvand:
Modelling of Walking Humanoid Robot With Capability of Floor Detection and Dynamic Balancing Using Colored Petri Net. - Marius Leordeanu, Rahul Sukthankar:
Thoughts on a Recursive Classifier Graph: a Multiclass Network for Deep Object Recognition. - Wittawat Kositwattanarerk, Soon Sheng Ong, Frédérique E. Oggier:
Construction A of Lattices over Number Fields and Block Fading Wiretap Coding. - Xing Wei, Frank Aurzada, Michael P. McGarry, Martin Reisslein:
DyCaPPON: Dynamic Circuit and Packet Passive Optical Network (Extended Version). - Saied Pashazadeh, Elham Abdolrahimi Niyari:
Modeling Enterprise Architecture Using Timed Colored PETRI Net: Single Processor Scheduling. - Thomas Bläsius, Sebastian Lehmann, Ignaz Rutter:
Orthogonal Graph Drawing with Inflexible Edges. - Timotheos Aslanidis, Marios-Evangelos Kogias:
Algorithms for Packet Routing in Switching Networks with Reconfiguration Overhead. - Bo Wang, Anna Goldenberg:
Gradient-based Laplacian Feature Selection. - Oussama Noui, Lemnouar Noui:
A blind robust watermarking scheme based on svd and circulant matrices. - Talal Rahwan, Tomasz P. Michalak, Michael J. Wooldridge:
A Measure of Synergy in Coalitions. - Bernd Klasen:
SocioAware Content Distribution using P2P solutions in Hybrid Networks. - Aleck C. Johnsen, Ming-Yang Kao, Shinnosuke Seki:
Computing Minimum Tile Sets to Self-Assemble Colors Patterns. - Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, Moshe Y. Vardi:
Distribution-Aware Sampling and Weighted Model Counting for SAT. - Jonathon Shlens:
A Tutorial on Independent Component Analysis. - David Gunawan, Karno Budiono:
Comparative Analysis On Some Possible Partnership Schemes of Global IP Exchange Providers. - L. Yu, H. Liu, D. Zheng:
On More Bent Functions From Dillon Exponents. - Jean-Gabriel Ganascia, Pierre Glaudes, Andrea Del Lungo:
Automatic Detection of Reuses and Citations in Literary Texts. - Tianlin Shi, Ming Liang, Xiaolin Hu:
A Reverse Hierarchy Model for Predicting Eye Fixations. - Runxin Wang, Rongke Liu, Yi Hou:
Joint Successive Cancellation Decoding of Polar Codes over Intersymbol Interference Channels. - (Withdrawn) Elevation Contour Analysis and Water body Extraction for Finding Water Scarcity Locations using DEM.
- Sudarshan Mukherjee, Saif Khan Mohammed:
On the Energy-Spectral Efficiency Trade-off of the MRC Receiver in Massive MIMO Systems with Transceiver Power Consumption. - Sohail Abid, Shahab Khan:
Improving Performance of Routing Protocols Using MRP Framework. - Kazuyuki Tanaka, Shun Kataoka, Muneki Yasuda, Yuji Waizumi, Chiou-Ting Hsu:
Bayesian image segmentations by Potts prior and loopy belief propagation. - Gergo Barta:
A Link-based Approach to Entity Resolution in Social Networks. - Huazi Zhang, Yichao Jin, Weiwen Zhang, Yonggang Wen:
Enhancing User Experience for Multi-Screen Social TV Streaming over Wireless Networks. - M. Kumaraswamy, Shaila K, V. Tejaswi, K. R. Venugopal, S. S. Iyengar, Lalit M. Patnaik:
QoS group based optimal retransmission medium access protocol for wireless sensor networks. - Johan Sebastian Rosenkilde Nielsen, Alexander Zeh:
Multi-Trial Guruswami-Sudan Decoding for Generalised Reed-Solomon Codes. - Alexandre Adrien Chotard, Anne Auger, Nikolaus Hansen:
Markov Chain Analysis of Evolution Strategies on a Linear Constraint Optimization Problem. - Todd J. Bodnar, Victoria C. Barclay, Nilam Ram, Conrad S. Tucker, Marcel Salathé:
On the Ground Validation of Online Diagnosis with Twitter and Medical Records. - Ferdinando Cicalese, Gennaro Cordasco, Luisa Gargano, Martin Milanic, Joseph G. Peters, Ugo Vaccaro:
How to go Viral: Cheaply and Quickly. - Jónathan Heras, Ekaterina Komendantskaya:
ACL2(ml): Machine-Learning for ACL2. 61-75 - Ángel F. García-Fernández, Mark R. Morelande, Jesús Grajal:
Labelled OSPA metric for fixed and known number of targets. - Martin Monperrus:
Principles of Antifragile Software. - Richa Gupta, Sunny Gupta, Anuradha Singhal:
Importance and Techniques of Information Hiding : A Review. - Marco Baldi, Nicola Maturo, Giacomo Ricciutelli, Franco Chiaraluce:
Practical LDPC coded modulation schemes for the fading broadcast channel with confidential messages. - Christopher Lindberg, Alexandre Graell i Amat, Henk Wymeersch:
Distributed Compressed Sensing for Sensor Networks with Packet Erasures. - Juho Lauri:
Further Hardness Results on Rainbow and Strong Rainbow Connectivity. - Frank Havemann, Birger Larsen:
Bibliometric Indicators of Young Authors in Astrophysics: Can Later Stars be Predicted? - Siyi Wang, Weisi Guo, Mark D. McDonnell:
Distance Distributions for Real Cellular Networks. - Siyi Wang, Weisi Guo, Mark D. McDonnell:
Transmit Pulse Shaping for Molecular Communications. - Siyi Wang, Weisi Guo, Chadi Khirallah, Dejan Vukobratovic, John Thompson:
Interference Allocation Scheduler for Green Multimedia Delivery. - Antoine Amarilli:
The Possibility Problem for Probabilistic XML (Extended Version). - Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau:
Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning. - Mei Leng, Wee-Peng Tay, Tony Q. S. Quek, Hyundong Shin:
Distributed Local Linear Parameter Estimation using Gaussian SPAWN. - Johannes Rauh, Nils Bertschinger, Eckehard Olbrich, Jürgen Jost:
Reconsidering unique information: Towards a multivariate information decomposition. - George K. Atia:
Change Detection with Compressive Measurements. - Harald Kröll, Stefan Zwicky, Reto Odermatt, Lukas Bruderer, Andreas Burg, Qiuting Huang:
A Signal Processor for Gaussian Message Passing. - Gozde Ozcan, Mustafa Cenk Gursoy:
Energy-Efficient Power Adaptation for Cognitive Radio Systems under Imperfect Channel Sensing. - Robert Brijder:
Output Stability and Semilinear Sets in Chemical Reaction Networks and Deciders. - Peter Lofgren, Siddhartha Banerjee, Ashish Goel, C. Seshadhri:
FAST-PPR: Scaling Personalized PageRank Estimation for Large Graphs. - Xiangrong Zeng, Mário A. T. Figueiredo:
Decreasing Weighted Sorted ℓ1 Regularization. - Favio Demarco, Jifeng Xuan, Daniel Le Berre, Martin Monperrus:
Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT. - Cong Li, Michael Georgiopoulos, Georgios C. Anagnostopoulos:
Pareto-Path Multi-Task Multiple Kernel Learning. - Xu Chen:
Decentralized Computation Offloading Game For Mobile Cloud Computing. - Afonso S. Bandeira, Dustin G. Mixon, Benjamin Recht:
Compressive classification and the rare eclipse problem. - Yongcan Cao:
UAV Circumnavigating an Unknown Target Under a GPS-denied Environment with Range-only Measurements. - Joshua M. Hailpern, Niranjan Damera Venkata, Marina Danilevsky:
Pagination: It's what you say, not how long it takes to say it. - Adam Noel, Karen C. Cheung, Robert Schober:
Bounds on Distance Estimation via Diffusive Molecular Communication. - Konstantin Makarychev, Maxim Sviridenko:
Optimization Problems with Diseconomies of Scale via Decoupling. - Daniel Salmond, Alex J. Grant, Ian Grivell, Terence Chan:
On the rank of random matrices over finite fields. - Borhan Molazem Sanandaji, Pravin Varaiya:
Compressive Origin-Destination Matrix Estimation. - Haisheng Tan, Jiajun Yu, Hongyu Liang, Tiancheng Lou, Francis C. M. Lau:
Optimal Rendezvous Strategies for Different Environments in Cognitive Radio Networks. - Bapi Chatterjee, Nhan Nguyen Dang, Philippas Tsigas:
Efficient Lock-free Binary Search Trees. - Hatim Guermah, Tarik Fissaa, Hatim Hafiddi, Mahmoud Nassar, Abdelaziz Kriouile:
An Ontology Oriented Architecture for Context Aware Services Adaptation. - Mahdi Moeini, Zied Jemaï, Evren Sahin:
An Integer Programming Model for the Dynamic Location and Relocation of Emergency Vehicles: A Case Study. - Mahdi Moeini:
A Continuous Optimization Approach for the Financial Portfolio Selection under Discrete Asset Choice Constraints. - Yehuda Dar, Alfred M. Bruckstein:
Motion-Compensated Coding and Frame-Rate Up-Conversion: Models and Analysis. - Michael J. Wilber, Iljung S. Kwak, Serge J. Belongie:
Cost-Effective HITs for Relative Similarity Comparisons. - William Yang Wang, Kathryn Mazaitis, Ni Lao, Tom M. Mitchell, William W. Cohen:
Efficient Inference and Learning in a Large Knowledge Base: Reasoning with Extracted Information using a Locally Groundable First-Order Probabilistic Logic. - Andrzej Kisielewicz, Marek Szykula:
Synchronizing Automata with Large Reset Lengths. - Xu Chen, Alfred O. Hero III, Silvio Savarese:
Shrinkage Optimized Directed Information using Pictorial Structures for Action Recognition. - Luiz Cortinhas, Patrick Monteiro, Amir Zahlan, Gabriel Vianna, Marcio Moscoso:
Embed System for Robotic Arm with 3 Degree of Freedom Controller using Computational Vision on Real-Time. - Gianfranco Bilardi, Andrea Pietracaprina, Geppino Pucci, Michele Scquizzato, Francesco Silvestri:
Network-Oblivious Algorithms. - Ilan Adler, Christos H. Papadimitriou, Aviad Rubinstein:
On Simplex Pivoting Rules and Complexity Theory. - Michael Schliephake, Erwin Laure:
Performance Analysis of Irregular Collective Communication with the Crystal Router Algorithm. - Sebastiano Vigna:
A Weighted Correlation Index for Rankings with Ties. - Sebastiano Vigna:
Supremum-Norm Convergence for Step-Asynchronous Successive Overrelaxation on M-matrices. - Hoai An Le Thi, Mahdi Moeini:
Portfolio Selection Under Buy-In Threshold Constraints Using DC Programming and DCA. - Mahdi Moeini, Hoai An Le Thi:
A DC programming approach for constrained two-dimensional non-guillotine cutting problem. - Andrea Ballatore:
Defacing the map: Cartographic vandalism in the digital commons. - Sourangsu Banerji:
Computer Simulation Codes for the Quine-McCluskey Method of Logic Minimization. - Franz G. Fuchs, Jon M. Hjelmervik:
Interactive Isogeometric Volume Visualization with Pixel-Accurate Geometry. - (Withdrawn) Learning Deep Convolutional Features for MRI Based Alzheimer's Disease Classification.
- Lee-Ad Gottlieb, Aryeh Kontorovich:
Near-optimal sample compression for nearest neighbors. - Meizhu Li, Qi Zhang, Xinyang Deng, Yong Deng:
Distance function of D numbers. - Rene Pickhardt, Thomas Gottron, Martin Körner, Paul Georg Wagner, Till Speicher, Steffen Staab:
A Generalized Language Model as the Combination of Skipped n-grams and Modified Kneser-Ney Smoothing. - Amit Daniely, Shai Shalev-Shwartz:
Complexity theoretic limitations on learning DNF's. - Karel De Vogeleer, Gérard Memmi, Pierre Jouvelot, Fabien Coelho:
Modeling the Temperature Bias of Power Consumption for Nanometer-Scale CPUs in Application Processors. - Abhishek Ray, Siba Mishra, Durga Prasad Mohapatra:
An Approach for Computing Dynamic Slice of Concurrent Aspect-Oriented Programs. - Stephen Alstrup, Haim Kaplan, Mikkel Thorup, Uri Zwick:
Adjacency labeling schemes and induced-universal graphs. - Gang Li, Thakshila Wimalajeewa, Pramod K. Varshney:
Decentralized and Collaborative Subspace Pursuit: A Communication-Efficient Algorithm for Joint Sparsity Pattern Recovery. - Yuval Filmus, Hamed Hatami:
Bounds on the sum of L1 influences. - Hsien-Chih Chang, Sariel Har-Peled, Benjamin Raichel:
From Proximity to Utility: A Voronoi Partition of Pareto Optima. - Diego Fabregat-Traver:
Knowledge-Based Automatic Generation of Linear Algebra Algorithms and Code. - Ruslan Shevchenko:
Annotated imports. - Francesco Renna, Nicola Laurenti, Stefano Tomasin:
Achievable Secrecy Rates over MIMOME Gaussian Channels with GMM Signals in Low-Noise Regime. - E. G. Abramov, A. B. Komissarov, D. A. Kornyakov:
Generalized version of the support vector machine for binary classification problems: supporting hyperplane machine. - Iaakov Exman:
Web Search of New Linearized Medical Drug Leads. - Fei Wu, Yin Sun, Yang Yang, Kannan Srinivasan, Ness B. Shroff:
Constant Delay and Constant Feedback Moving Window Network Coding for Wireless Multicast: Design and Asymptotic Analysis. - (Withdrawn) Pure Nash Equilibrium in Capacitated Selfish Replication (CSR) Game.
- Alan Guo:
Group homomorphisms as error correcting codes. - Yukun Zhong, Zhiwei He, Xianhong Wang, Liao Gang:
New Efficient Method To Solve Longest Overlap Region Problem For Noncoding DNA Sequence. - Liang-Hao Huang, Hui-Ju Hung, Chih-Chung Lin, De-Nian Yang:
Scalable Steiner Tree for Multicast Communications in Software-Defined Networking. - Yukun Zhong, Zhiwei He, Xianhong Wang, Xiongbin Cao:
A Way For Accelerating The DNA Sequence Reconstruction Problem By CUDA. - Sian-Jheng Lin, Wei-Ho Chung, Yunghsiang S. Han:
Fast Ecoding/Decoding Algorithms for Reed-Solomon Erasure Codes. - Xiaolu Lu, Dongxu Li, Xiang Li, Ling Feng:
A 2D based Partition Strategy for Solving Ranking under Team Context (RTP). - Michael LeMay, Carl A. Gunter:
Network-on-Chip Firewall: Countering Defective and Malicious System-on-Chip Hardware. - Philippe Gaborit, Gilles Zémor:
On the hardness of the decoding and the minimum distance problems for rank codes. - Henning Thomsen, Elisabeth de Carvalho, Petar Popovski:
Using Wireless Network Coding to Replace a Wired with Wireless Backhaul. - Mamadou Moustapha Kanté, Vincent Limouzy, Arnaud Mary, Lhouari Nourine, Takeaki Uno:
Polynomial Delay Algorithm for Listing Minimal Edge Dominating sets in Graphs. - Jun He, Boris Mitavskiy, Yuren Zhou:
A Theoretical Assessment of Solution Quality in Evolutionary Algorithms for the Knapsack Problem. - Stefan Wesemann, Gerhard P. Fettweis:
Distributed Asynchronous Optimization Framework for the MISO Interference Channel. - Jan Olaf Blech, Heinz W. Schmidt:
BeSpaceD: Towards a Tool Framework and Methodology for the Specification and Verification of Spatial Behavior of Distributed Software Component Systems. - Vladimir Kolmogorov, Christoph H. Lampert, Emilie Morvant, Rustem Takhanov:
Proceedings of The 38th Annual Workshop of the Austrian Association for Pattern Recognition (ÖAGM), 2014. - Zhenyao Zhu, Ping Luo, Xiaogang Wang, Xiaoou Tang:
Recover Canonical-View Faces in the Wild with Deep Neural Networks. - Tomasz Jurkiewicz, Kurt Mehlhorn, Patrick K. Nicholson:
Cache-Oblivious VAT-Algorithms. - Nikolay Atanasov, Roberto Tron, Victor M. Preciado, George J. Pappas:
Joint Estimation and Localization in Sensor Networks. - Mathieu Michel, Bruno Quoitin:
Technical Report : ContikiMAC vs X-MAC performance analysis. - Adrian Barbu, Gary Gramajo:
Face Detection Using a 3D Model on Face Keypoints. - Yuansheng Liu, Eric Yong Xie, Ge Cheng, Chengqing Li:
Deciphering a novel image cipher based on mixed transformed Logistic maps. - Tsung-Han Chan, Kui Jia, Shenghua Gao, Jiwen Lu, Zinan Zeng, Yi Ma:
PCANet: A Simple Deep Learning Baseline for Image Classification? - Cosme Adrover, Todd J. Bodnar, Marcel Salathé:
Targeting HIV-related Medication Side Effects and Sentiment Using Twitter Data. - Jaroslav Vondrejc, Jan Zeman, Ivo Marek:
Accurate upper-lower bounds on homogenized matrix by FFT-based Galerkin method. - Christian Schröder de Witt, Vladimir Zamdzhiev:
The ZX calculus is incomplete for quantum mechanics. 285-292 - Ahmed Douik, Sameh Sorour, Hamidou Tembine, Tareq Y. Al-Naffouri, Mohamed-Slim Alouini:
A Game-Theoretic Framework for Decentralized Cooperative Data Exchange using Network Coding. - Leila Pishdad, Fabrice Labeau:
Approximate MMSE Estimator for Linear Dynamic Systems with Gaussian Mixture Noise. - Alexander Shekhovtsov:
Maximum Persistency in Energy Minimization. - Karthik Raman, Thorsten Joachims:
Methods for Ordinal Peer Grading. - Amir Konigsberg:
Avoiding Undesired Choices Using Intelligent Adaptive Systems. - René van Bevern, Sepp Hartung, André Nichterlein, Manuel Sorge:
Constant-factor approximations for Capacitated Arc Routing without triangle inequality. - Chen He, Z. Jane Wang, Victor C. M. Leung:
Unitary Query for the M x L x N MIMO Backscatter RFID Channel. - Clément Carbonnel, Martin C. Cooper, Emmanuel Hebrard:
On Backdoors To Tractable Constraint Languages. - Ahmed Douik, Sameh Sorour, Mohamed-Slim Alouini, Tareq Y. Al-Naffouri:
Decoding Delay Controlled Reduction of Completion Time in Instantly Decodable Network Coding. - Eduardo A. Canale, Pablo Romero:
Diameter Constrained Reliability: Computational Complexity in terms of the diameter and number of terminals. - Deni Sabic, Damir Strbac, Samir Lemes, Malik Cabaravdic:
Upgrade of A Robot Workstation for Positioning of Measuring Objects on CMM. - Samir Lemes, Damir Strbac, Malik Cabaravdic:
Using industrial robot to manipulate the measured object in CMM. - Samir Lemes:
Information Security Management of Web Portals Based on Joomla CMS. - Yuxiao Dong, Jie Tang, Nitesh V. Chawla, Tiancheng Lou, Yang Yang, Bai Wang:
Inferring social status and rich club effects in enterprise communication networks. - Richard Williams, Lutz Bornmann:
The substantive and practical significance of citation impact differences between institutions: Guidelines for the analysis of percentiles using effect sizes and confidence intervals. - Lutz Bornmann, Caroline S. Wagner, Loet Leydesdorff:
BRICS countries and scientific excellence: A bibliometric analysis of most frequently-cited papers. - Samuel Haney, Ashwin Machanavajjhala, Bolin Ding:
Answering Query Workloads with Optimal Error under Blowfish Privacy. - Tobias Kuhn, Matjaz Perc, Dirk Helbing:
Inheritance patterns in citation networks reveal scientific memes. - Bogdan Babych, Anthony Hartley:
Meta-evaluation of comparability metrics using parallel corpora. - Puxiao Han, Ruixin Niu, Mengqi Ren:
Distributed Approximate Message Passing for Compressed Sensing. - Anupam Gupta, Kunal Talwar, Udi Wieder:
Changing Bases: Multistage Optimization for Matroids and Matchings. - Sayan Bandyapadhyay, Santanu Bhowmick, Kasturi R. Varadarajan:
Approximation Schemes for Partitioning: Convex Decomposition and Surface Approximation. - David Coleman, Ioan Alexandru Sucan, Sachin Chitta, Nikolaus Correll:
Reducing the Barrier to Entry of Complex Robotic Software: a MoveIt! Case Study. - Changchun Zhang, Robert C. Qiu:
Data Modeling with Large Random Matrices in a Cognitive Radio Network Testbed: Initial Experimental Demonstrations with 70 Nodes. - Hélène Barcelo, Valerio Capraro:
Group size effect on cooperation in social dilemmas. - Amer E. Mouawad, Naomi Nishimura, Vinayak Pathak, Venkatesh Raman:
Shortest reconfiguration paths in the solution space of Boolean formulas. - Obaid Ur Rehman, Ian R. Petersen:
Robust Dynamic State Feedback Guaranteed Cost Control of Nonlinear Systems using Copies of Plant Nonlinearities. - Vladislav Voroninski, Zhiqiang Xu:
A strong restricted isometry property, with an application to phaseless compressed sensing. - Joshua A. Grochow, Toniann Pitassi:
Circuit complexity, proof complexity, and polynomial identity testing. - Wei Chen, Di He, Tie-Yan Liu, Tao Qin, Yixin Tao, Liwei Wang:
Generalized Second Price Auction with Probabilistic Broad Match. - Homa Hosseinmardi, Amir Ghasemianlangroodi, Richard Han, Qin Lv, Shivakant Mishra:
Analyzing Negative User Behavior in a Semi-anonymous Social Network. - Chaochao Lu, Xiaoou Tang:
Surpassing Human-Level Face Verification Performance on LFW with GaussianFace. - Claudio Martella, Dionysios Logothetis, Georgos Siganos:
Spinner: Scalable Graph Partitioning for the Cloud. - Pierre Lescanne:
Boltzmann samplers for random generation of lambda terms. - Chandrajit Pal, Avik Kotal, Asit Samanta, Amlan Chakrabarti, Ranjan Ghosh:
Design space exploration for image processing architectures on FPGA targets. - Hamid Ramezani, Fatemeh Fazel, Milica Stojanovic, Geert Leus:
Collision Tolerant Packet Scheduling for Underwater Acoustic Localization. - Fedor V. Fomin, Mathieu Liedloff, Pedro Montealegre-Barba, Ioan Todinca:
Algorithms parameterized by vertex cover and modular width, through potential maximal cliques. - Yang Qin, Xiaoxiong Zhong, Yuanyuan Yang, Yanlin Li, Li Li:
Joint Channel Assignment and Opportunistic Routing for Maximizing Throughput in Cognitive Radio Networks. - John D. Ramsdell, Daniel J. Dougherty, Joshua D. Guttman, Paul D. Rowe:
A Hybrid Analysis for Security Protocols with State. - Olivier Beaumont, Loris Marchal:
Analysis of Dynamic Scheduling Strategies for Matrix Multiplication on Heterogeneous Platforms. - Anna Bernasconi, Valentina Ciriani, Lorenzo Lago:
On the Error Resilience of Ordered Binary Decision Diagrams. - Catholijn M. Jonker, Joost Broekens, Aske Plaat:
Virtual Reflexes. - Antonin Delpeuch:
Complexity of Grammar Induction for Quantum Types. 236-248 - Philip Greggory Lee, Ying Wu:
Scalable Matting: A Sub-linear Approach. - Ahmed Douik, Sameh Sorour, Hamidou Tembine, Mohamed-Slim Alouini, Tareq Y. Al-Naffouri:
A Game Theoretic Approach to Minimize the Completion Time of Network Coded Cooperative Data Exchange. - Marco Guerini, Fabio Pianesi, Oliviero Stock:
Is it morally acceptable for a system to lie to persuade me? - Yunpeng Pan, Evangelos A. Theodorou:
Nonparametric Kullback-Leibler Stochastic Control. - György Dósa, Leah Epstein:
Colorful bin packing. - Reza Farrahi Moghaddam, Mohamed Cheriet:
Spiralet Sparse Representation. - Aditi Kalyani, Hemant Kumud, Shashi Pal Singh, Ajai Kumar:
Assessing the Quality of MT Systems for Hindi to English Translation. - Oron Sabag, Haim H. Permuter, Asaf Cohen:
Lossless Coding of Correlated Sources with Actions. - Jin-Yi Cai, Heng Guo, Tyson Williams:
The Complexity of Counting Edge Colorings and a Dichotomy for Some Higher Domain Holant Problems. - Sébastien Labbé, Christophe Reutenauer:
A d-dimensional extension of Christoffel words. - Yehuda Dar, Alfred M. Bruckstein:
Improving Low Bit-Rate Video Coding using Spatio-Temporal Down-Scaling. - Christina Papagiannopoulou, Grigorios Tsoumakas, Ioannis Tsamardinos:
Discovering and Exploiting Entailment Relationships in Multi-Label Learning. - Tamal Ghosh, Tanmoy Chakraborty, Pranab K. Dan:
An effective AHP-based metaheuristic approach to solve supplier selection problem. - Xia Li, Feng Lin, Robert C. Qiu:
Modeling Massive Amount of Experimental Data with Large Random Matrices in a Real-Time UWB-MIMO System. - Akhlaqur Rahman, Sumaira Tasnim:
Ensemble Classifiers and Their Applications: A Review. - Guy Van den Broeck, Adnan Darwiche:
On the Role of Canonicity in Bottom-up Knowledge Compilation. - Liang Gong, Hongyu Zhang, Hyunmin Seo, Sunghun Kim:
Locating Crashing Faults based on Crash Stack Traces. - Yuan Shi, Aurélien Bellet, Fei Sha:
Sparse Compositional Metric Learning. - Nicola Gatti, Marco Rocco, Sofia Ceppi, Enrico H. Gerding:
Mechanism Design for Mobile Geo-Location Advertising. - Vasireddy Srikanth, Pillem Ramesh:
Invisibility System Using Image Processing and Optical Camouflage Technology. - Ouais Alsharif, Philip Bachman, Joelle Pineau:
Lifelong Learning of Discriminative Representations. - Matthew D. Hoffman:
Stochastic Structured Mean-Field Variational Inference. - He Chen, Yonghui Li, João Luiz Rebelatto, Bartolomeu F. Uchôa Filho, Branka Vucetic:
Harvest-Then-Cooperate: Wireless-Powered Cooperative Communications. - Takuro Fukunaga:
Covering problems in edge- and node-weighted graphs. - William W. Hager, Jiajie Zhu:
Projection algorithms for non-convex minimization, with application to sparse principal component analysis. - Richa Gupta, Sunny Gupta, Anuradha Singhal:
Big Data: Overview. - Richa Gupta:
Web Mining using Artificial Ant Colonies: A Survey. - Richa Gupta:
Journey from Data Mining to Web Mining to Big Data. - Richa Gupta:
Information Hiding and Attacks : Review. - Yongchao Liu, Bertil Schmidt:
SWAPHI: Smith-Waterman Protein Database Search on Xeon Phi Coprocessors. - Amin Sakzad, Emanuele Viterbo, Joseph Jean Boutros, Yi Hong:
Phase Precoding for the Compute-and-Forward Protocol. - Mario Berljafa, Daniel Wortmann, Edoardo Di Napoli:
An Optimized and Scalable Eigensolver for Sequences of Eigenvalue Problems. - (Withdrawn) Multiplicative weights in monotropic games.
- Giulio Colavolpe, Tommaso Foggi:
Time-Frequency Packing for High Capacity Coherent Optical Links. - Ning Chen, Jun Zhu, Jianfei Chen, Bo Zhang:
Dropout Training for Support Vector Machines. - Wolfram Lautenschlaeger:
A Deterministic TCP Bandwidth Sharing Model. - Matthieu Moinard, Isabelle Amonou, Pierre Duhamel, Patrice Brault:
Prediction of Transformed (DCT) Video Coding Residual for Video Compression. - Valérie Berthé, Sébastien Labbé:
Factor Complexity of S-adic sequences generated by the Arnoux-Rauzy-Poincaré Algorithm. - Bosiljka Tadic, Vladimir Gligorijevic, Marcin Skowron, Milovan Suvakov:
The Dynamics of Emotional Chats with Bots: Experiment and Agent-Based Simulations. - László Gyarmati, Nikolaos Laoutaris, Kostas Sdrolias, Pablo Rodriguez, Costas Courcoubetis:
From advertising profits to bandwidth prices-A quantitative methodology for negotiating premium peering. - Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo:
An Approach to Assertion-based Debugging of Higher-Order (C)LP Programs. - Annabell Berger, Steffen Rechner:
Broder's Chain Is Not Rapidly Mixing. - Dmitry N. Kozlov:
Witness structures and immediate snapshot complexes. - Gavin Taylor, Connor Geer, David Piekut:
An Analysis of State-Relevance Weights and Sampling Distributions on L1-Regularized Approximate Linear Programming Approximation Accuracy. - Alan Guo, Madhu Sudan:
List decoding group homomorphisms between supersolvable groups. - Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus:
Managing Change in Graph-structured Data Using Description Logics (long version with appendix). - Xiaochao Qian:
Build a compact cryptocurrency system purely based on PoS. - Mireille Bossy, Jose Espina, Cristian Paris, Antoine Rousseau:
Modeling the wind circulation around mills with a Lagrangian stochastic approach. - Behrouz Minaei-Bidgoli, Maryam Nazaridoust:
Case study: Data Mining of Associate Degree Accepted Candidates by Modular Method. - Christoph Waldhauser, Ronald Hochreiter, Johannes Otepka, Norbert Pfeifer, Sajid Ghuffar, Karolina Korzeniowska, Gerald Wagner:
Automated Classification of Airborne Laser Scanning Point Clouds. - Dong Du:
On Level persistence (Relevant level persistence numbers). - Lingpeng Kong, Noah A. Smith:
An Empirical Comparison of Parsing Methods for Stanford Dependencies. - Will Y. Zou, Xiaoyu Wang, Miao Sun, Yuanqing Lin:
Generic Object Detection With Dense Neural Patterns and Regionlets. - Antoine Bordes, Jason Weston, Nicolas Usunier:
Open Question Answering with Weakly Supervised Embedding Models. - Colleen Marzilli, Julie Delello, Shelly Marmion, Rochell McWhorter, Paul B. Roberts, T. Scott Marzilli:
Faculty Attitudes Towards Integrating Technology and Innovation. - Petra Berenbrink, Ralf Klasing, Adrian Kosowski, Frederik Mallmann-Trenn, Przemyslaw Uznanski:
Be Fair and Be Selfish! Characterizing Deterministic Diffusive Load-Balancing Schemes with Small Discrepancy. - Ather Gattami:
Kalman meets Shannon. - Navodit Misra, Ercan E. Kuruoglu:
Stable Graphical Models. - S. E. S. Bariran, K. S. M. Sahari, B. Yunus:
A novel interactive OBE approach in SCM pedagogy using beer game simulation theory. - Rick Zhang, Marco Pavone:
Control of Robotic Mobility-On-Demand Systems: a Queueing-Theoretical Perspective. - Holger Boche, Brendan Farrell:
Strong Divergence of Reconstruction Procedures for the Paley-Wiener Space $\mathcal{PW}^1_π$ and the Hardy Space $\mathcal{H}^1$. - Jeremy Avigad, Robert Y. Lewis, Cody Roux:
A heuristic prover for real inequalities. - Guoxu Zhou, Andrzej Cichocki, Qibin Zhao, Shengli Xie:
Efficient Nonnegative Tucker Decompositions: Algorithms and Uniqueness. - Teturo Kamae, Dong Han Kim:
A characterization of eventually periodicity. - Aanjhan Ranganathan, Boris Danev, Srdjan Capkun:
Low-power Distance Bounding. - Zohair Abu-Shaban, M. R. Bhavani Shankar, Hani Mehrpouyan, Björn E. Ottersten:
Enhanced List-Based Group-Wise Overloaded Receiver with Application to Satellite Reception. - Zohair Abu-Shaban, Hani Mehrpouyan, Joel Grotz, Björn E. Ottersten:
Overloaded Satellite Receiver Using SIC with Hybrid Beamforming and ML Detection. - Asma Mejri, Ghaya Rekaya-Ben Othman:
Efficient Decoding Algorithms for the Compute-and-Forward Strategy. - Florian Merz, Peter Sanders:
PReaCH: A Fast Lightweight Reachability Index using Pruning and Contraction Hierarchies. - Robert Schwarzenberg, Bernd Freisleben, Christopher Nimsky, Jan Egger:
Cube-Cut: Vertebral Body Segmentation in MRI-Data through Cubic-Shaped Divergences. - Miika Hannula, Juha Kontinen, Sebastian Link:
On Independence Atoms and Keys. - Moran Feldman, Ola Svensson, Rico Zenklusen:
A Simple Order-Oblivious O(log log(rank))-Competitive Algorithm for the Matroid Secretary Problem. - L. Sunil Chandran, Deepak Rajendraprasad, Marek Tesar:
Rainbow Colouring of Split Graphs. - Galina Jirásková, Tomás Masopust:
On Upper and Lower Bounds on the Length of Alternating Towers. - H. Birkan Yilmaz, Akif Cem Heren, Tuna Tugcu, Chan-Byoung Chae:
3-D Channel Characteristics for Molecular Communications with an Absorbing Receiver. - Thi-Van-Anh Nguyen, Arnaud Lallouet:
A Complete Solver for Constraint Games. - Ferdinando Cicalese, Balázs Keszegh, Bernard Lidický, Dömötör Pálvölgyi, Tomás Valla:
On the Tree Search Problem with Non-uniform Costs. - Daniel Lokshtanov, Pranabendu Misra, Fahad Panolan, Saket Saurabh:
Deterministic Truncation of Linear Matroids. - Shahin Kamali, Alejandro López-Ortiz:
An All-Around Near-Optimal Solution for the Classic Bin Packing Problem. - Minh-Dung Tran, Gergely Ács, Claude Castelluccia:
Retargeting Without Tracking. - Antonio Córdoba, Daniel Aguilar-Hidalgo, María Carmen Lemos:
Collective computation in a network with distributed information. - Hadi Restgou Haghi, Mohammad Reza Kangavari, Behrang QasemiZadeh:
A Novel Approach for Video Temporal Annotation. - Jonatha Anselmi, Bruno Gaujal, Tommaso Nesti:
Control of parallel non-observable queues: asymptotic equivalence and optimality of periodic policies. - Daoyuan Wu, Rocky K. C. Chang:
Analyzing Android Browser Apps for file: // Vulnerabilities. - Edith Hemaspaandra, Lane A. Hemaspaandra, Henning Schnoor:
A Control Dichotomy for Pure Scoring Rules. - Behrang QasemiZadeh, Saeed Rahimi, Behrooz Mahmoodi Bakhtiari:
The First Parallel Multilingual Corpus of Persian: Toward a Persian BLARK. - Anand Louis, Yury Makarychev:
Approximation Algorithms for Hypergraph Small Set Expansion and Small Set Vertex Expansion. - Mohsen Raeesi, Mohammad Amin Morid, Mehdi Shajari:
Trust Evaluation using an Improved Context Similarity Measurement. - Derek Greene, Derek O'Callaghan, Pádraig Cunningham:
How Many Topics? Stability Analysis for Topic Models. - Olivier Aubert, Yannick Prié, Camila Canellas:
Leveraging video annotations in video-based e-learning. - Calvin Beideman, Jeremiah Blocki:
Set Families with Low Pairwise Intersection. - Sparsh Mittal, Jeffrey S. Vetter:
A Survey of Methods For Analyzing and Improving GPU Energy Efficiency. - Ammar Gharaibeh, Abdallah Khreishah, Issa Khalil, Jie Wu:
Asymptotically-Optimal Incentive-Based En-Route Caching Scheme. - Karl Moritz Hermann, Phil Blunsom:
Multilingual Models for Compositional Distributed Semantics. - Sundeep Kambhampati, Christopher Stewart:
An Efficient and Balanced Platform for Data-Parallel Subsampling Workloads. - Gunnar E. Carlsson, Facundo Mémoli, Alejandro Ribeiro, Santiago Segarra:
Hierarchical Quasi-Clustering Methods for Asymmetric Networks. - Jiang Wang, Yang Song, Thomas Leung, Chuck Rosenberg, Jingbin Wang, James Philbin, Bo Chen, Ying Wu:
Learning Fine-grained Image Similarity with Deep Ranking. - Hsien-Pu Chen, Laszlo B. Kish, Claes-Goran Granqvist, Gabor Schmera:
Do electromagnetic waves exist in a short cable at low frequencies? What does physics say? - Edward Givelberg:
Object-Oriented Parallel Programming. - Xujin Chen, Xiaodong Hu, Changjun Wang:
Approximability of the Minimum Weighted Doubly Resolving Set Problem. - Leman Akoglu, Hanghang Tong, Danai Koutra:
Graph-based Anomaly Detection and Description: A Survey. - B. P. S. Sahoo, Deepak Puthal:
DRUG: An Energy-Efficient Data-Centric Routing Protocol for Wireless Sensor Network. - Reshef Meir, Omer Lev, Jeffrey S. Rosenschein:
A Local-Dominance Theory of Voting Equilibria. - Nishant Doshi:
Approximation for the Path Complexity of Binary Search Tree. - Konstantin Kutzkov, Rasmus Pagh:
Consistent Subset Sampling. - Laurent Bulteau, Vincent Froese, Konstantin Kutzkov, Rasmus Pagh:
Triangle counting in dynamic graph streams. - Vitaly Feldman, Pravesh Kothari, Jan Vondrák:
Nearly Tight Bounds on ℓ1 Approximation of Self-Bounding Functions. - Marco Moretti, Luca Sanguinetti, Xiaodong Wang:
Resource Allocation for Power Minimization in the Downlink of THP-based Spatial Multiplexing MIMO-OFDMA Systems. - Iaakov Exman, Avinoam Alfia:
Knowledge-Driven Game Design by Non-Programmers. - Yaming Sun, Lei Lin, Duyu Tang, Nan Yang, Zhenzhou Ji, Xiaolong Wang:
Radical-Enhanced Chinese Character Embedding. - Elliot Anshelevich, Shreyas Sekar:
Approximate Equilibrium and Incentivizing Social Coordination. - Josef Cibulka, Jirí Matousek, Pavel Paták:
Three-monotone interpolation. - Ankit Kaushik, M. Rehan Raza, Friedrich K. Jondral:
On the Deployment of Cognitive Relay as Underlay Systems. - Behrang QasemiZadeh, Saeed Rahimi, Mehdi Safaee Ghalati:
Challenges in Persian Electronic Text Analysis. - Jens-Matthias Bohli, Dan Dobre, Ghassan Karame, Wenting Li:
PrivLoc: Preventing Location Tracking in Geofencing Services. - Emmanuel Abbe, Afonso S. Bandeira, Annina Bracher, Amit Singer:
Decoding binary node labels from censored edge measurements: Phase transition and efficient recovery. - Vasilios A. Siris, Xenofon Vasilakos, George C. Polyzos:
Efficient Proactive Caching for Supporting Seamless Mobility. - Josep Díaz, Dieter Mitsche, Guillem Perarnau, Xavier Pérez-Giménez:
On the relation between graph distance and Euclidean distance in random geometric graphs. - Ahmed A. Zewail, Yahya Mohasseb, Mohammed Nafie, Hesham El Gamal:
Using Network Coding to Achieve the Capacity of Deterministic Relay Networks with Relay Messages. - Esteban Feuerstein, Alberto Marchetti-Spaccamela, Frans Schalekamp, René Sitters, Suzanne van der Ster, Leen Stougie, Anke van Zuylen:
Scheduling over Scenarios on Two Machines. - Venmugil Elango, Fabrice Rastello, Louis-Noël Pouchet, J. Ramanujam, P. Sadayappan:
On Characterizing the Data Movement Complexity of Computational DAGs for Parallel Execution. - Victor Y. Pan, Elias P. Tsigaridas:
Nearly Optimal Computations with Structured Matrices. - Jing Wang, Meng Wang, Xuegang Hu, Shuicheng Yan:
Image Denoising with a Unified Schattern-p Norm and ℓq Norm Regularization. - Victor Y. Pan, Elias P. Tsigaridas:
Accelerated Approximation of the Complex Roots of a Univariate Polynomial (Extended Abstract). - Jing Wang, Canyi Lu, Meng Wang, Pei-Pei Li, Shuicheng Yan, Xuegang Hu:
Robust Face Recognition via Adaptive Sparse Representation. - Olegs Verhodubs:
Ontology as a Source for Rule Generation. - Hongming Mo, Yong Deng:
A new combination approach based on improved evidence distance. - Mona Pourghasem, Elham Ghare Sheikhloo, Reza Ebrahimi Atani:
Light Weight Implementation of Stream Ciphers for M-Commerce Applications. - Henning Meyerhenke, Peter Sanders, Christian Schulz:
Parallel Graph Partitioning for Complex Networks. - Ayushi Sinha, William R. Gray Roncal, Narayanan Kasthuri, Ming Chuang, Priya Manavalan, Dean Kleissas, Joshua T. Vogelstein, R. Jacob Vogelstein, Randal C. Burns, Jeff W. Lichtman, Michael M. Kazhdan:
Automatic Annotation of Axoplasmic Reticula in Pursuit of Connectomes. - Yong Deng:
Generalized Evidence Theory. - Peter Ochs, Yunjin Chen, Thomas Brox, Thomas Pock:
iPiano: Inertial Proximal Algorithm for Non-Convex Optimization. - Stefano Salsano, Pier Luigi Ventre, Luca Prete, Giuseppe Siracusano, Matteo Gerola:
OSHI - Open Source Hybrid IP/SDN networking (and its emulation on Mininet and on distributed SDN testbeds). - Travis Gagie, Giovanni Manzini, Jouni Sirén:
Reusing an FM-index. - Rolf Jagerman, Wendo Sabée, Laurens Versluis, Martijn de Vos, Johan A. Pouwelse:
The fifteen year struggle of decentralizing privacy-enhancing technology. - Xu Guo, Weisheng Zhang, Wenliang Zhong:
Topology optimization based on moving deformable components: A new computational framework. - Sergey V. Kovalchuk, Artem V. Zakharchuk, Jiaqi Liao, Sergey V. Ivanov, Alexander Boukhanovsky:
A Technology for BigData Analysis Task Description using Domain-Specific Languages. - Ian Flint, Xiao Lu, Nicolas Privault, Dusit Niyato, Ping Wang:
Performance Analysis of Ambient RF Energy Harvesting: A Stochastic Geometry Approach. - Thomas Colcombet, Amaldev Manuel:
$μ$-calculus on data words. - (Withdrawn) Factors of Sparse Polynomials are Sparse.
- Pankaj K. Agarwal, Haim Kaplan, Natan Rubin, Micha Sharir:
Kinetic Voronoi Diagrams and Delaunay Triangulations under Polygonal Distance Functions. - Robert L. Surowka, Kenneth W. Regan:
Polynomials Modulo Composite Numbers: Ax-Katz type theorems for the structure of their solution sets. - Paul Hunter, Jean-François Raskin:
Quantitative games with interval objectives. - Paul Accisano, Alper Üngör:
Matching Curves to Imprecise Point Sets using Fréchet Distance. - Huangxin Wang, Jean X. Zhang, Fei Li:
On Time-Sensitive Revenue Management and Energy Scheduling in Green Data Centers. - Abraão David Costa do Nascimento, Alejandro César Frery, Renato J. Cintra:
Bias Correction and Modified Profile Likelihood under the Wishart Complex Distribution. - David A. Eubanks:
Causal Interfaces. - Yaroslav Akhremtsev, Peter Sanders, Christian Schulz:
(Semi-)External Algorithms for Graph Partitioning and Clustering. - Isadora nun, Karim Pichara, Pavlos Protopapas, Dae-Won Kim:
Supervised detection of anomalous light-curves in massive astronomical catalogs. - Daniele Codecasa, Fabio Stella:
CTBNCToolkit: Continuous Time Bayesian Network Classifier Toolkit. - Raphael Kramer, Anand Subramanian, Thibaut Vidal, Lucídio dos Anjos Formiga Cabral:
A matheuristic approach for the Pollution-Routing Problem. - Stephen J. Bensman, Lawrence J. Smolinsky, Daniel S. Sage:
Comparison of the Research Effectiveness of Chemistry Nobelists and Fields Medalist Mathematicians with Google Scholar: the Yule-Simon Model. - Gonzalo Navarro, Simon J. Puglisi, Jouni Sirén:
Document Retrieval on Repetitive Collections. - Arko Provo Mukherjee, Srikanta Tirthapura:
Enumerating Maximal Bicliques from a Large Graph using MapReduce. - Jie Shen, Guangcan Liu, Jia Chen, Yuqiang Fang, Jianbin Xie, Yong Yu, Shuicheng Yan:
Unified Structured Learning for Simultaneous Human Pose Estimation and Garment Attribute Classification. - Iftikhar Ahmad, Uzma Ashraf, Sadia Anum, Hira Tahir:
Enhanced aodv route discovery and route establishment for qos provision for real time transmission in manet. - Siddhartha Satpathi, Harhsa Vardhana Reddy, Mrityunjoy Chakraborty:
On the number of iterations for convergence of CoSaMP and SP algorithm. - Richa Sharma, Shweta Nigam, Rekha Jain:
Opinion Mining In Hindi Language: A Survey. - Jinhu Liu, Tao Zhou, Zi-Ke Zhang, Zimo Yang, Chuang Liu, Wei-Min Li:
Promoting cold-start items in recommender systems. - Weizhi Lu, Kidiyo Kpalma, Joseph Ronsin:
Bipartite Graph based Construction of Compressed Sensing Matrices. - Thomas Holzmann, Christof Hoppe, Stefan Kluckner, Horst Bischof:
Geometric Abstraction from Noisy Image-Based 3D Reconstructions. - Fei Tian, Haifang Li, Wei Chen, Tao Qin, Enhong Chen, Tie-Yan Liu:
Agent Behavior Prediction and Its Generalization Analysis. - Antonio Badia, Daniel Lemire:
Functional dependencies with null markers. - Ekbal Rashid, Srikanta Patnaik, Vandana Bhattacherjee:
Prediction of rate of improvement of software quality and development effort on the basis of Degreeof excellence with respect to number of lines of code. - Yoshimasa Takabatake, Yasuo Tabei, Hiroshi Sakamoto:
Improved ESP-index: a practical self-index for highly repetitive texts. - Yu Xiang, Tian Lan, Vaneet Aggarwal, Yih-Farn Robin Chen:
Joint Latency and Cost Optimization for Erasure-coded Data Center Storage. - Søren Dahlgaard, Mathias Bæk Tejs Knudsen, Noy Rotbart:
Dynamic and Multi-functional Labeling Schemes. - Iti Mathur, Nisheeth Joshi, Hemant Darbari, Ajai Kumar:
Shiva++: An Enhanced Graph based Ontology Matcher. - Fabian Steiner, Amine Mezghani, Josef A. Nossek:
Information Theoretic Analysis of Concurrent Information Transfer and Power Gain. - Fatimah Ishowo-Oloko, Jacob W. Crandall, Manuel Cebrián, Sherief Abdallah, Iyad Rahwan:
Learning in Repeated Games: Human Versus Machine. - Ilan Shomorony, Amir Salman Avestimehr:
A Generalized Cut-Set Bound for Deterministic Multi-Flow Networks and its Applications. - Moritz Hardt, Eric Price:
Sharp bounds for learning a mixture of two gaussians. - Gagan Goel, Vahab S. Mirrokni, Renato Paes Leme:
Clinching Auctions Beyond Hard Budget Constraints. - Deepak Ajwani, W. Sean Kennedy, Alessandra Sala, Iraj Saniee:
A Geometric Distance Oracle for Large Real-World Graphs. - Mohamed Amir, Tamer Khattab, Tarek M. Elfouly, Amr Mohamed:
On the degrees of freedom of MIMO Multiple access channel with multiple eavesdroppers. - Peng Wang, Chunhua Shen, Anton van den Hengel, Philip H. S. Torr:
Efficient Semidefinite Branch-and-Cut for MAP-MRF Inference. - Ching-Yi Lai, Min-Hsiu Hsieh:
On the MacWilliams Identity for Classical and Quantum Convolutional Codes. - Zhilin Zhang, Jae Hyun Son, Ying Li, Mark Trayer, Zhouyue Pi, Dong Yoon Hwang, Joong Ki Moon:
Training-Free Non-Intrusive Load Monitoring of Electric Vehicle Charging with Low Sampling Rate. - Michal Horovitz, Tuvi Etzion:
Local Rank Modulation for Flash Memories II. - Suzhi Bi, Ying Jun Zhang:
Using Covert Topological Information for Defense Against Malicious Attacks on DC State Estimation. - Parvez Mahmood Khan, Mirza Mohd. Sufyan Beg, Musheer Ahmad:
Sustaining IT PMOs during Cycles of Global Recession. - Isaac Z. Pesenson:
Multiresolution analysis on compact Riemannian manifolds. - Vakhtang Lomadze:
The predictable degree property, column reducedness, and minimality in multidimensional convolutional coding. - Amitalok J. Budkuley, Bikash Kumar Dey, Vinod M. Prabhakaran:
Correlated Jamming in a Joint Source Channel Communication System. - Amitalok J. Budkuley, Bikash Kumar Dey, Vinod M. Prabhakaran:
Writing on a Dirty Paper in the presence of Jamming. - Nermina Zaimovic-Uzunovic, Samir Lemes, Damir Curic, Alan Topcic:
Rapid prototyping for sling design optimization. - Grigorios Tsoumakas, Eleftherios Spyromitros Xioufis, Aikaterini Vrekou, Ioannis P. Vlahavas:
Multi-Target Regression via Random Linear Target Combinations. - C. Nicolas Barati, S. Amir Hosseini, Sundeep Rangan, Pei Liu, Thanasis Korakis, Shivendra S. Panwar:
Directional Cell Search for Millimeter Wave Cellular Systems. - Pierre Lairez:
Computing periods of rational integrals. - Ethan Petuchowski, Matthew Lease:
TurKPF: TurKontrol as a Particle Filter. - Muhammad Hanif, Hong-Chuan Yang, Mohamed-Slim Alouini:
Transmit Antenna Selection in Underlay Cognitive Radio Environment. - Holger Hermanns, Jan Krcál, Jan Kretínský:
Probabilistic Bisimulation: Naturally on Distributions. - Yanpei Liu, Stark C. Draper, Nam Sung Kim:
SleepScale: Runtime Joint Speed Scaling and Sleep States Management for Power Efficient Data Centers. - Zhilin Zhang, Tzyy-Ping Jung, Scott Makeig, Zhouyue Pi, Bhaskar D. Rao:
Spatiotemporal Sparse Bayesian Learning with Applications to Compressed Sensing of Multichannel Physiological Signals. - (Withdrawn) Security Risk Analysis in Peer 2 Peer System; An Approach towards Surmounting Security Challenges.
- Yoram Bachrach, Sofia Ceppi, Ian A. Kash, Peter B. Key, David Kurokawa:
Optimising Trade-offs Among Stakeholders in Ad Auctions. - M. Konomi, Sacha Gomez-Monivas:
Influence of the learning method in the performance of feedforward neural networks when the activity of neurons is modified. - Yingce Xia, Tao Qin, Nenghai Yu, Tie-Yan Liu:
Incentivizing High-quality Content from Heterogeneous Users: On the Existence of Nash Equilibrium. - Piotr Hofman, Patrick Totzke:
Trace Inclusion for One-Counter Nets Revisited. - Nuo Xu, Kian Hsiang Low, Jie Chen, Keng Kiat Lim, Etkin Baris Ozgul:
GP-Localize: Persistent Mobile Robot Localization using Online Sparse Gaussian Process Observation Model. - Ragesh Jaiswal:
On Uniform Reductions between Direct Product and XOR Lemmas. - Fabian Steiner, Steffen Dempfle, Amir Ingber, Tsachy Weissman:
Compression for Quadratic Similarity Queries: Finite Blocklength and Practical Schemes. - Matthew S. Nokleby, Miguel R. D. Rodrigues, A. Robert Calderbank:
Discrimination on the Grassmann Manifold: Fundamental Limits of Subspace Classifiers. - Mahmoud Abo Khamis, Anna C. Gilbert, Hung Q. Ngo, Atri Rudra:
Sparse Approximation, List Decoding, and Uncertainty Principles. - Anshumali Shrivastava, Ping Li:
Graph Kernels via Functional Embedding. - Boaz Barak, David Steurer:
Sum-of-squares proofs and the quest toward optimal algorithms. - Gerasimos Razis, Ioannis Anagnostopoulos:
InfluenceTracker: Rating the impact of a Twitter account. - Dmitry Kosolobov, Mikhail Rubinchik, Arseny M. Shur:
$\mathrm{Pal}^k$ Is Linear Recognizable Online. - Piotr Krysta, David F. Manlove, Baharak Rastegari, Jinshan Zhang:
Size versus truthfulness in the House Allocation problem. - Mohamed Meddeb, Hichem Karray, Adel M. Alimi:
Intelligent Remote Control for TV Program based on Emotion in Arabic Speech. - Eldad Haber, Matthias Chung:
Simultaneous Source for non-uniform data variance and missing data. - Tomasz Brengos:
Lax Kleisli-valued presheaves and coalgebraic weak bisimulation. - Mehrnoosh Sadrzadeh, Stephen Clark, Bob Coecke:
The Frobenius anatomy of word meanings I: subject and object relative pronouns. - Nees Jan van Eck, Ludo Waltman:
CitNetExplorer: A new software tool for analyzing and visualizing citation networks. - Feng Lin, Robert C. Qiu, James P. Browning:
Spectrum Sensing with Small-Sized Datasets in Cognitive Radio: Algorithms and Analysis. - Yunjin Chen, WenSen Feng, René Ranftl, Hong Qiao, Thomas Pock:
A higher-order MRF based variational model for multiplicative noise reduction. - Raffay Hamid, Atish Das Sarma, Dennis DeCoste, Neel Sundaresan:
Fast Approximate Matching of Cell-Phone Videos for Robust Background Subtraction. - Dan Hassin, Adam Scrivener, Yibo Zhou:
Critique of J. Kim's "P is not equal to NP by Modus Tollens". - Jeannette C. M. Janssen, Celeste Vautour:
Finding safe strategies for competitive diffusion on trees. - Nayan Jyoti Kalita, Navanath Saharia, Smriti Kumar Sinha:
Morphological Analysis of the Bishnupriya Manipuri Language using Finite State Transducers. - Alexandre Passos, Vineet Kumar, Andrew McCallum:
Lexicon Infused Phrase Embeddings for Named Entity Resolution. - Andrea Ballatore, Michela Bertolotto, David C. Wilson:
Linking Geographic Vocabularies through WordNet. - Mohammed Zakarya Baba-Ahmed, Badr Benmammar, Fethi Tarik Bendimerad:
Vers l'auto-gestion d'un réseau de radio cognitive. - K. Sujathakumari, K. S. Dersanambika:
Cooperating distributed context-free hexagonal array grammar systems with permitting contexts. - Omer Reingold, Shai Vardi:
New Techniques and Tighter Bounds for Local Computation Algorithms. - Avinash Saxena, Shrisha Rao:
Degradation Analysis of Probabilistic Parallel Choice Systems. - Stelios Stefanatos, Antonis G. Gotsis, Angeliki Alexiou:
Analytical Assessment of Coordinated Overlay D2D Communications. - Orly Avner, Shie Mannor:
Concurrent bandits and cognitive radio networks. - Odile Bellenguez-Morineau, Marek Chrobak, Christoph Dürr, Damien Prot:
A Note on NP-Hardness of Preemptive Mean Flow-Time Scheduling for Parallel Machines. - Bojun Huang:
Sequential Resource Allocation with Positional Costs. - Vincent Froese, André Nichterlein, Rolf Niedermeier:
Win-Win Kernelization for Degree Sequence Completion Problems. - Umberto Grandi, Davide Grossi, Paolo Turrini:
Pre-vote negotiations and binary voting with constraints. - Elisabetta De Maria, Joëlle Despeyroux, Amy P. Felty:
A Logical Framework for Systems Biology. - Guru Prakash Arumugam, John Augustine, Mordecai J. Golin, Prashanth Srikanthan:
A Polynomial Time Algorithm for Minimax-Regret Evacuation on a Dynamic Path. - Krishnendu Chatterjee, Laurent Doyen:
Games with a Weak Adversary. - Adish Singla, Eric Horvitz, Ece Kamar, Ryen White:
Stochastic Privacy. - Yuri G. Gordienko, Lev Bekenov, Olexander Gatsenko, Elena Zasimchuk, Valentin Tatarenko:
Complex Workflow Management and Integration of Distributed Computing Resources by Science Gateway Portal for Molecular Dynamics Simulations in Materials Science. - Madhumangal Pal:
Intersection Graphs: An Introduction. - Rustem Takhanov, Vladimir Kolmogorov:
Combining pattern-based CRFs and weighted context-free grammars. - Kundan Kandhway, Joy Kuri:
Optimal control of information epidemics modeled as Maki Thompson rumors. - Martin Huschenbett, Dietrich Kuske, Georg Zetzsche:
The monoid of queue actions. - Hadrien Hours, Ernst W. Biersack, Patrick Loiseau:
Causal study of Network Performance. - Min Ye, Alexander Barg:
Polar Codes for Distributed Hierarchical Source Coding. - Shun Watanabe, Masahito Hayashi:
Strong Converse and Second-Order Asymptotics of Channel Resolvability. - Abdolhamid Ghodselahi, Fabian Kuhn:
Serving Online Demands with Movable Centers. - Robby Goetschalckx, Alan Fern, Prasad Tadepalli:
Coactive Learning for Locally Optimal Problem Solving. - Victor Bapst, Amin Coja-Oghlan, Samuel Hetterich, Felicia Raßmann, Dan Vilenchik:
The condensation phase transition in random graph coloring. - Ilya Loshchilov:
A Computationally Efficient Limited Memory CMA-ES for Large Scale Optimization. - Tanmay Sinha:
Together we stand, Together we fall, Together we win: Dynamic Team Formation in Massive Open Online Courses. - Jonathan D. Hauenstein, Victor Y. Pan, Ágnes Szántó:
Global Newton Iteration over Archimedean and non-Archimedean Fields. - Saeed Javanmardi, Mohammad Shojafar, Danilo Amendola, Nicola Cordeschi, Hongbo Liu, Ajith Abraham:
Hybrid Genetic Algorithm for Cloud Computing Applications. - Arman Ahmadzadeh, Adam Noel, Robert Schober:
Analysis and Design of Two-Hop Diffusion-Based Molecular Communication Networks. - Mohammad Rasouli, Demosthenis Teneketzis:
Electricity Pooling Markets with Strategic Producers Possessing Asymmetric Information II: Inelastic DemandElectricity Pooling Markets with Strategic Producers Possessing Asymmetric Information II: Inelastic Demand. - Kashyap Dixit:
$L_p$-Testers for Bounded Derivative Properties on Product Distributions. - Martin Böhm, Jirí Sgall, Pavel Veselý:
Online Colored Bin Packing. - James Elliott, Mark Hoemmen, Frank Mueller:
Tolerating Silent Data Corruption in Opaque Preconditioners. - Sai Zhang, Ke Xu, Xi Chen, Xue Liu:
Dynamics of Information Spreading in Online Social Networks. - Mateus de Oliveira Oliveira:
On the Satisfiability of Quantum Circuits of Small Treewidth. - Akanksha Agrawal, Sathish Govindarajan, Neeldhara Misra:
Vertex Cover Gets Faster and Harder on Low Degree Graphs. - Dana Ron, Gilad Tsur:
The Power of an Example: Hidden Set Size Approximation Using Group Queries and Conditional Sampling. - Martin Böhm, Jirí Sgall, Rob van Stee, Pavel Veselý:
Better Algorithms for Online Bin Stretching. - Ella Gale:
Uniform and Piece-wise Uniform Fields in Memristor Models. - Arne C. Reimers, Leen Stougie:
A decomposition theory for vertex enumeration of convex polyhedra. - Matthew Skala:
A Structural Query System for Han Characters. - Jim Jing-Yan Wang, Majed Alzahrani, Xin Gao:
Large Margin Image Set Representation and Classification. - Hosein Nikopour, Eric Yi, Alireza Bayesteh, Kelvin Au, Mark Hawryluck, Hadi Baligh, Jianglei Ma:
SCMA for Downlink Multiple Access of 5G Wireless Networks. - Yuri G. Gordienko, Lev Bekenev, Olexandra Baskova, Olexander Gatsenko, Elena Zasimchuk, Sergii G. Stirenko:
IMP Science Gateway: from the Portal to the Hub of Virtual Experimental Labs in Materials Science. - Yu Zhang, Subbarao Kambhampati:
A Formal Analysis of Required Cooperation in Multi-agent Planning. - Richard Cole, Howard J. Karloff:
Fast Algorithms for Constructing Maximum Entropy Summary Trees. - Panagiotis Manolios, Vasilis Papavasileiou, Mirek Riedewald:
ILP Modulo Data. - Pedro A. Ortega, Daniel D. Lee:
An Adversarial Interpretation of Information-Theoretic Bounded Rationality. - Eva C. Song, Paul Cuff, H. Vincent Poor:
The Likelihood Encoder for Lossy Source Compression. - Yue Liu, Songlin Hu, Tilmann Rabl, Wantao Liu, Hans-Arno Jacobsen, Kaifeng Wu, Jian Chen:
DGFIndex for Smart Grid: Enhancing Hive with a Cost-Effective Multidimensional Range Index. - Nikhil Rao, Parikshit Shah, Stephen J. Wright:
Forward - Backward Greedy Algorithms for Atomic Norm Regularization. - (Withdrawn) Achieving Shannon Capacity in a Wiretap Channel via Previous Messages.
- Qi Xuan, Premkumar T. Devanbu, Vladimir Filkov:
Converging Work-Talk Patterns in Online Task-Oriented Communities. - Mohammad S. Karim, Parastoo Sadeghi, Neda Aboutorab:
In Order Packet Delivery in Instantly Decodable Network Coded Systems over Wireless Broadcast. - Himanshu Tyagi, Shun Watanabe:
Converses for Secret Key Agreement and Secure Computing. - Margreta Kuijper, Anna-Lena Trautmann:
List-Decoding Gabidulin Codes via Interpolation and the Euclidean Algorithm. - Pablo M. Olmos, Rüdiger L. Urbanke:
A Scaling Law to Predict the Finite-Length Performance of Spatially-Coupled LDPC Codes. - Krishnendu Chatterjee, Rasmus Ibsen-Jensen:
The Complexity of Ergodic Mean-payoff Games. - Yaoyu Wang, Yitong Yin:
Certificates in Data Structures. - Raffaele Farina, S. Dobricic, Andrea Storto, S. Masina, Salvatore Cuomo:
A Revised Scheme to Compute Horizontal Covariances in an Oceanographic 3D-VAR Assimilation System. - Olexander Gatsenko, Lev Bekenev, Evgen Pavlov, Yuri G. Gordienko:
From Quantity to Quality: Massive Molecular Dynamics Simulation of Nanostructures under Plastic Deformation in Desktop and Service Grid Distributed Computing Infrastructure. - Daniel Wolf, Markus Bajones, Johann Prankl, Markus Vincze:
Find my mug: Efficient object search with a mobile robot using semantic segmentation. - Hendrik Richter:
Codynamic Fitness Landscapes of Coevolutionary Minimal Substrates. - Sebastian Erdweg, Tijs van der Storm, Yi Dai:
Capture-Avoiding and Hygienic Program Transformations (incl. Proofs). - Yuyu Zhang, Hanjun Dai, Chang Xu, Jun Feng, Taifeng Wang, Jiang Bian, Bin Wang, Tie-Yan Liu:
Sequential Click Prediction for Sponsored Search with Recurrent Neural Networks. - Catherine Dubois, Dimitra Giannakopoulou, Dominique Méry:
Proceedings 1st Workshop on Formal Integrated Development Environment, F-IDE 2014, Grenoble, France, April 6, 2014. EPTCS 149, 2014 [contents] - Dmitry N. Kozlov:
Topology the immediate snapshot complexes. - Dimitra Panagou:
Motion planning and Collision Avoidance using Non-Gradient Vector Fields - Technical Report. - Rami Mochaourab, Bernd Holfeld, Thomas Wirth:
Distributed Channel Assignment in Cognitive Radio Networks: Stable Matching and Walrasian Equilibrium. - Sanjaya Kumar Panda, Sourav Kumar Bhoi:
An Effective Round Robin Algorithm using Min-Max Dispersion Measure. - Apostolos Syropoulos, Athanasios Stavrianos:
Using Scripting Languages to Teach Programming. - Christine Klymko, David F. Gleich, Tamara G. Kolda:
Using Triangles to Improve Community Detection in Directed Networks. - Omar Rafique, Gangadharaiah S. L:
Hardware Efficient WiMAX Deinterleaver Capable of Address Generation for Random Interleaving Depths. - Henning Zörlein, Martin Bossert:
Coherence Optimization and Best Complex Antipodal Spherical Codes. - Therese Biedl:
Straightening out planar poly-line drawings. - Thomas Brihaye, Gilles Geeraerts, Shankara Narayanan Krishna, Lakshmi Manasa, Benjamin Monmege, Ashutosh Trivedi:
Adding Negative Prices to Priced Timed Games. - Matthias Hotz, Christian Vogel:
Linearization of Time-Varying Nonlinear Systems Using A Modified Linear Iterative Method. - Jeremy Blackburn, Haewoon Kwak:
STFU NOOB! Predicting Crowdsourced Decisions on Toxic Behavior in Online Games. - Felix Heide, James Gregson, Gordon Wetzstein, Ramesh Raskar, Wolfgang Heidrich:
A Compressive Multi-Mode Superresolution Display. - Theodoros Tsiligkaridis:
Secure MIMO Communications under Quantized Feedback in the presence of Jamming. - Maribell Sacanamboy Franco, Fabio G. Guerrero:
FPGA design of a cdma2000 turbo decoder. - Jason D. Hartline, Darrell Hoy, Sam Taggart:
Price of Anarchy for Revenue. - Shahid Mehraj Shah, Sridevan Parameswaran, Vinod Sharma:
Previous Messages Provide the Key to Achieve Shannon Capacity in a Wiretap Channel. - Shuchi Chawla, Jason D. Hartline, Denis Nekipelov:
Mechanism Design for Data Science. - Jacob Hendricks, Matthew J. Patitz, Trent A. Rogers:
Reflections on Tiles (in Self-Assembly). - Ekkehard Köhler, Lalla Mouatadid:
Linear Time LexDFS on Cocomparability Graphs. - Alex Krizhevsky:
One weird trick for parallelizing convolutional neural networks. - Arpita Ghosh, Katrina Ligett, Aaron Roth, Grant Schoenebeck:
Buying Private Data without Verification. - Sang-Woon Jeon, Changho Suh:
Degrees of Freedom of Uplink-Downlink Multiantenna Cellular Networks. - Jiajun Sun:
Service-Constraint Based Truthful Online Incentive Mechanisms for Crowd Sensing. - Pokkuluri Kiran Sree, Inampudi Ramesh Babu, N. S. S. S. N. Usha Devi:
A Fast Multiple Attractor Cellular Automata with Modified Clonal Classifier for Splicing Site Prediction in Human Genome. - B. Moharana, Rakesh Gupta, Bashishth Kumar Kushwaha:
Optimization and design of a laser-cutting machine using delta robot. - Vishnu Naresh Boddeti, B. V. K. Vijaya Kumar:
Maximum Margin Vector Correlation Filter. - Rakesh Gupta:
Design of a Low Voltage Class-AB CMOS Super Buffer Amplifier with Sub Threshold and Leakage Control. - Ryuta Arisaka:
Gradual Classical Logic for Attributed Objects. - Ryuta Arisaka:
Structural Interactions and Absorption of Structural Rules in BI Sequent Calculus. - Benjamin Charlier, Nicolas Charon, Alain Trouvé:
The fshape framework for the variability analysis of functional shapes. - Rajiv Kumar, Rakesh Gupta:
Design and considerations of ADC0808 as interleaved ADCs. - Tung-Wei Kuo, Kuang-Che Lee, Kate Ching-Ju Lin, Ming-Jer Tsai:
Leader-Contention-Based User Matching for 802.11 Multiuser MIMO Networks. - Shaunak Mishra, I-Hsiang Wang, Suhas N. Diggavi:
Harnessing Bursty Interference in Multicarrier Systems with Feedback. - Antonia Wachter-Zeh, Alexander Zeh:
List and Unique Error-Erasure Decoding of Interleaved Gabidulin Codes with Interpolation Techniques. - Feng Lu, Ziqiang Chen:
A General Homogeneous Matrix Formulation to 3D Rotation Geometric Transformations. - Dibya Jyoti Bora, Anil Kumar Gupta:
A Comparative study Between Fuzzy Clustering Algorithm and Hard Clustering Algorithm. - Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma:
Ordered Navigation on Multi-attributed Data Words. - Chandranath Adak:
Rough Clustering Based Unsupervised Image Change Detection. - Marie Schrynemackers, Louis Wehenkel, M. Madan Babu, Pierre Geurts:
Classifying pairs with trees for supervised biological network inference. - Chandranath Adak:
Unsupervised Text Extraction from G-Maps. - Sourav Kumar Bhoi, Sanjaya Kumar Panda, Debashee Tarai:
Enhancing CPU Performance using Subcontrary Mean Dynamic Round Robin (SMDRR) Scheduling Algorithm. - Wentan Yi, Shaozhen Chen:
Multidimensional Zero-Correlation Linear Cryptanalysis of the Block Cipher KASUMI. - Avinatan Hassidim, Assaf Romm:
An Approximate "Law of One Price" in Random Assignment Games. - Mahmoud Ashour, Amr A. El-Sherif, Tamer A. ElBatt, Amr Mohamed:
Cognitive Radio Networks with Probabilistic Relaying: Stable Throughput and Delay Tradeoffs. - Xiaojun Chen, Jan Egger:
Development of an open source software module for enhanced visualization during MR-guided interstitial gynecologic brachytherapy. - Jacek Pierzchlewski, Thomas Arildsen, Torben Larsen:
Compressed Sensing Based Direct Conversion Receiver With Interference Reducing Sampling. - Rajib Kumar Rana, Mingrui Yang, Tim Wark, Chun Tung Chou, Wen Hu:
SimpleTrack: Adaptive Trajectory Compression with Deterministic Projection Matrix for Mobile Sensor Networks. - Behrouz Behmardi, Cédric Archambeau, Guillaume Bouchard:
Overlapping Trace Norms in Multi-View Learning. - Patrizio Angelini, Giordano Da Lozzo:
Deepening the Relationship between SEFE and C-Planarity. - Moritz Schubotz, Gabriel Wicke:
Mathoid: Robust, Scalable, Fast and Accessible Math Rendering for Wikipedia. - Steven Obua, Jacques D. Fleuriot, Phil Scott, David Aspinall:
ProofPeer: Collaborative Theorem Proving. - Naohi Eguchi:
Proving Termination of Unfolding Graph Rewriting for General Safe Recursion. - Ashkan Tousimojarad, Wim Vanderbauwhede:
A Parallel Task-based Approach to Linear Algebra. - Jérémy Frey, Leonard Pommereau, Fabien Lotte, Martin Hachet:
Assessing the Zone of Comfort in Stereoscopic Displays using EEG. - Gilles Geeraerts, Joël Goossens, Amélie Stainer:
Synthesising Succinct Strategies in Safety Games. - Kevin R. Moon, Alfred O. Hero III:
Ensemble estimation of multivariate f-divergence. - Prosenjit Bose, Jean-Lou De Carufel, Pat Morin, André van Renssen, Sander Verdonschot:
Towards Tight Bounds on Theta-Graphs. - Akihisa Yamada, Keiichirou Kusakari, Toshiki Sakabe:
A Unified Ordering for Termination Proving. - E. V. Guseva, V. S. Mosiychuk, G. V. Timoshenko, O. B. Sharpan:
Determination of the functional state of the fruits by parameters of the electric impedance. - Zhaowen Wang, Jianchao Yang, Zhe Lin, Jonathan Brandt, Shiyu Chang, Thomas S. Huang:
Scalable Similarity Learning using Large Margin Neighborhood Embedding. - Chris Heunen:
Piecewise Boolean algebras and their domains. - Fabio Enrique Brochero Martínez, Carmen Rosa Giraldo Vergara, Lilian Batista de Oliveira:
Explicit factorization of xn-1 ∈ 𝔽q[x]. - Arman Yousefi, Rafail Ostrovsky:
Improved Approximation Algorithms for Earth-Mover Distance in Data Streams. - Ruzayn Quaddoura:
An O(n) Time Algorithm For Maximum Induced Matching In Bipartite Star_123-free Graphs. - Anjul Patney, Stanley Tzeng, Kerry A. Seitz Jr., John D. Owens:
Piko: A Design Framework for Programmable Graphics Pipelines. - Yevgeni Berzak, Roi Reichart, Boris Katz:
Reconstructing Native Language Typology from Foreign Language Usage. - Song-Nam Hong, Giuseppe Caire:
Demystifying the Scaling Laws of Dense Wireless Networks: No Linear Scaling in Practice. - Mahtab Mirmohseni, Panagiotis Papadimitratos:
Active Adversaries from an Information-Theoretic Perspective: Data Modification Attacks. - Norbert Michael Mayer:
Adaptive critical reservoirs with power law forgetting of unexpected input sequences. - Ahmed Wagdy, Amr El-Keyi, Tamer Khattab, Mohammed Nafie:
A DoF-Optimal Scheme for the two-user X-channel with Synergistic Alternating CSIT. - Harald Ganster, Martina Uray, Sylwia Steginska, Gerardus Croonen, Rudolf Kaltenböck, Karin Hennermann:
Improving weather radar by fusion and classification. - Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche:
Inference in the FO(C) Modelling Language. - Zongyan Huang, Matthew England, David J. Wilson, James H. Davenport, Lawrence C. Paulson, James P. Bridge:
Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition. - Matthew England, Russell J. Bradford, Changbo Chen, James H. Davenport, Marc Moreno Maza, David J. Wilson:
Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition. - Valentin Haenel:
Bloscpack: a compressed lightweight serialization format for numerical data. - Jinook Oh:
CATOS: Computer Aided Training/Observing System. - Fabrice Salvaire:
High-Content Digital Microscopy with Python. - Kelsey D'Souza:
PySTEMM: Executable Concept Modeling for K-12 STEM Learning. - Riccardo Murri:
Performance of Python runtimes on a non-numeric scientific code. - Pierre Haessig, Thibaut Kovaltchouk, Bernard Multon, Hamid Ben Ahmed, Stéphane Lascaud:
Computing an Optimal Control Policy for an Energy Storage. - Stefan Richthofer:
JyNI - Using native CPython-Extensions in Jython. - Robert Cimrman:
SfePy - Write Your Own FE Application. - Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche:
FO(C) and Related Modelling Paradigms. - Faisal N. Abu-Khzam, Karim A. Jahed, Amer E. Mouawad:
A Hybrid Graph Representation for Exact Graph Algorithms. - Georg Waltner, Thomas Mauthner, Horst Bischof:
Indoor Activity Detection and Recognition for Sport Games Analysis. - Anubis Graciela de Moraes Rossetto, Cláudio F. R. Geyer, Luciana Arantes, Pierre Sens:
The Impact Failure Detector. - Nadia Creignou, Odile Papini, Stefan Rümmele, Stefan Woltran:
Belief merging within fragments of propositional logic. - Krasimir Yordzhev:
On an Algorithm for Isomorphism-Free Generations of Combinatorial Objects. - Thomas A. Henzinger, Jan Otop, Roopsha Samanta:
Lipschitz Robustness of Finite-state Transducers. - Christoph Neumann, Olivier Heen, Stéphane Onno:
An empirical study of passive 802.11 Device Fingerprinting. - Huishuai Zhang, Lifeng Lai, Yingbin Liang, Hua Wang:
The Capacity Region of the Source-Type Model for Secret Key and Private Key Generation. - Ruchen Duan, Yingbin Liang, Ashish Khisti, Shlomo Shamai:
Parallel Gaussian Networks with a Common State-Cognitive Helper. - Shaofeng Zou, Yingbin Liang, Lifeng Lai, Shlomo Shamai:
An Information Theoretic Approach to Secret Sharing. - Martin Líska, Petr Sojka, Michal Ruzicka:
Math Indexer and Searcher Web Interface: Towards Fulfillment of Mathematicians' Information Needs. - Konrad Burnik, Zvonko Iljazovic:
Computability of 1-manifolds. - Janyce Wiebe, Lingjia Deng:
An Account of Opinion Implicatures. - Abhinav Srivastav, Denis Trystram:
Competitive Analysis for sum stretch on single and identical parallel machines. - Fabian Reiter:
Distributed Graph Automata. - Guoru Ding, Qihui Wu, Jinlong Wang, Yu-Dong Yao:
Big Spectrum Data: The New Resource for Cognitive Wireless Networking. - Vasileios Ntranos, Mohammad Ali Maddah-Ali, Giuseppe Caire:
Cellular Interference Alignment: Omni-Directional Antennas and Asymmetric Configurations. - Howard S. Cohl, Marjorie A. McClain, Bonita V. Saunders, Moritz Schubotz, Janelle C. Williams:
Digital Repository of Mathematical Formulae. - Zohair Abu-Shaban, Hani Mehrpouyan, Bhavani Shankar Mysore Rama Rao, Björn E. Ottersten:
Interference Mitigating Satellite Broadcast Receiver using Reduced Complexity List-Based Detection in Correlated Noise. - Caroline S. Wagner, Loet Leydesdorff, Lutz Bornmann:
Recent Developments in China-U.S. Science Cooperation. - Deyan Ginev, Bruce R. Miller, Silviu Oprea:
E-books and Graphics with LaTeXML. - Deyan Ginev, Joseph Corneli:
NNexus Reloaded. - Deyan Ginev, Bruce R. Miller:
LaTeXML 2012 - A Year of LaTeXML. - Anjin Guo, Martin Haenggi:
Asymptotic Deployment Gain: A Simple Approach to Characterize the SINR Distribution in General Cellular Networks. - Jad Hachem, Nikhil Karamchandani, Suhas N. Diggavi:
Coded Caching for Heterogeneous Wireless Networks with Multi-level Access. - Chen Avin, Michael Borokhovich, Zvi Lotker, David Peleg:
Distributed Computing on Core-Periphery Networks: Axiom-based Design. - Jad Hachem, Nikhil Karamchandani, Suhas N. Diggavi:
Multi-level Coded Caching. - Oliver Fernandez Gil:
On the Non-Monotonic Description Logic ALC+Tmin. - Mohammed Bekkouche, Hélène Collavizza, Michel Rueher:
Une approche CSP pour l'aide à la localisation d'erreurs. - Jayanta Mondal, Amol Deshpande:
EAGr: Supporting Continuous Ego-centric Aggregate Queries over Large Dynamic Graphs. - Athanasios Krontiris, Rahul Shome, Andrew Dobson, Andrew Kimmel, Isaac Yochelson, Kostas E. Bekris:
Similar Part Rearrangement With Pebble Graphs. - Arvind Agarwal, Saurabh Kataria:
Multitask Learning for Sequence Labeling Tasks. - Andreas Beyer, Hubert Mara, Susanne Krömker:
ILATO Project: Fusion of Optical Surface Models and Volumetric CT Data. - Eric Graves, Tan F. Wong:
Equating the achievable exponent region to the achievable entropy region by partitioning the source. - K. Rustan M. Leino, Valentin Wüstholz:
The Dafny Integrated Development Environment. 3-15 - Jens Bendisposto, Sebastian Krings, Michael Leuschel:
Who watches the watchers: Validating the ProB Validation Tool. 16-29 - Mathieu Jaume, Théo Laurent:
Teaching Formal Methods and Discrete Mathematics. 30-43 - David R. Cok, Scott C. Johnson:
SPEEDY: An Eclipse-based IDE for invariant inference. 44-57 - Damien Doligez, Christèle Faure, Thérèse Hardin, Manuel Maarek:
Experience in using a typed functional language for the development of a security application. 58-63 - François Pessaux:
FoCaLiZe: Inside an F-IDE. 64-78 - David R. Cok:
OpenJML: Software verification for Java 7 using JML, OpenJDK, and Eclipse. 79-92 - John Witulski, Michael Leuschel:
Checking Computations of Formal Method Tools - A Secondary Toolchain for ProB. 93-105 - Ivelina Peneva, Krasimir Yordzhev:
The assertive profile of the Bulgarian students in computer science and computer engineering. - Yeshwant Deodhe, Swapnil Jain, Ravindra Gimonkar:
Implementation of Sensor Network using Efficient CAN Interface. - Shibashis Guha, Chinmay Narayan, S. Arun-Kumar:
Reducing Clocks in Timed Automata while Preserving Bisimulation. - Manoj Mishra, Bikash Kumar Dey, Vinod M. Prabhakaran, Suhas N. Diggavi:
The Oblivious Transfer Capacity of the Wiretapped Binary Erasure Channel. - Daniel E. Lucani, Morten Videbæk Pedersen, Janus Heide, Frank H. P. Fitzek:
Fulcrum Network Codes: A Code for Fluid Allocation of Complexity. - Akihisa Yamada, Keiichirou Kusakari, Toshiki Sakabe:
Nagoya Termination Tool. - Szabolcs Iván:
Handle Atoms with Care. - Camilla Hollanti, David A. Karpuk, Amaro Barreal, Hsiao-feng Francis Lu:
Space-Time Storage Codes for Wireless Distributed Storage Systems. - Vamsi Sashank Kotagiri:
A Wireless System Using Random Residue Sequences. - Marc Burdon:
How to extract data from proprietary software database systems using TCP/IP? - Ahmed El Shafie, Tamer Khattab:
Cooperative Cognitive Relaying Under Primary and Secondary Quality of Service Satisfaction. - Stefan Kiefer, Björn Wachter:
Stability and Complexity of Minimising Probabilistic Automata. - Wei Yu, Thomas Pock:
A Comparison of First-order Algorithms for Machine Learning. - Sparsh Mittal:
Power Management Techniques for Data Centers: A Survey. - Kuldeep S. Meel:
Sampling Techniques for Boolean Satisfiability. - Yin Sun, Can Emre Koksal, Kyu-Han Kim, Ness B. Shroff:
Scheduling of Multicast and Unicast Services under Limited Feedback by using Rateless Codes. - Shengbo Chen, Yin Sun, Ulas C. Kozat, Longbo Huang, Prasun Sinha, Guanfeng Liang, Xin Liu, Ness B. Shroff:
When Queueing Meets Coding: Optimal-Latency Data Retrieving Scheme in Storage Clouds. - Yin Sun, Can Emre Koksal, Sung-Ju Lee, Ness B. Shroff:
Network Control without CSI using Rateless Codes for Downlink Cellular Systems. - (Withdrawn) The Effect of Maximal Rate Codes on the Interfering Message Rate.
- Thibaut Vidal, Patrick Jaillet, Nelson Maculan:
A Decomposition Algorithm for Nested Resource Allocation Problems. - Thibaut Vidal, Maria Battarra, Anand Subramanian, Günes Erdogan:
Hybrid Metaheuristics for the Clustered Vehicle Routing Problem. - Paulo Shakarian, Gerardo I. Simari, Geoffrey Moores, Simon Parsons, Marcelo A. Falappa:
An Argumentation-Based Framework to Address the Attribution Problem in Cyber-Warfare. - Tong Wang, Rodrigo C. de Lamare, Anke Schmeink:
Alternating Optimization Techniques for Power Allocation and Receiver Design in Multihop Wireless Sensor Networks. - Oliver Kosut, Jörg Kliewer:
Equivalence for Networks with Adversarial State. - Parisa Jalili Marandi, Samuel Benz, Fernando Pedone, Ken Birman:
Practical Experience Report: The Performance of Paxos in the Cloud. - Parisa Jalili Marandi, Fernando Pedone:
Optimistic Parallel State-Machine Replication. - Natalia Silberstein, Anna-Lena Trautmann:
Subspace Codes based on Graph Matchings, Ferrers Diagrams and Pending Blocks. - Søren Dahlgaard, Mikkel Thorup:
Approximately Minwise Independence with Twisted Tabulation. - MohammadHossein Bateni, Jon Feldman, Vahab S. Mirrokni, Sam Chiu-wai Wong:
Multiplicative Bidding in Online Advertising. - Vladimir V. Gusev:
Synchronizing automata with random inputs. - Can-Yi Lu, Hai Min, Zhong-Qiu Zhao, Lin Zhu, De-Shuang Huang, Shuicheng Yan:
Robust and Efficient Subspace Segmentation via Least Squares Regression. - Mustafa A. Kishk, Ahmed M. Alaa:
On the Capacity of the Underwater Acoustic Channel with Dominant Noise Sources. - Susanne Kandl, Martin Elshuber:
A Formal Approach to System Integration Testing. - Umakant Mishra:
Inventions on Adaptable Menu: A TRIZ based analysis. - Umakant Mishra:
10 inventions on Improving Toolbars: A TRIZ based analysis. - Umakant Mishra:
10 Inventions on Command Buttons in a Graphical User Interface. - Umakant Mishra:
10 Inventions on scrolling and scrollbars in Graphical User Interface. - Umakant Mishra:
Inventions on dialog boxes used in GUI. - Umakant Mishra:
Inventions on Tree Navigators used in Graphical User Interface. - Umakant Mishra:
Inventions on expressing emotions In Graphical User Interface. - Umakant Mishra:
Inventions on GUI for Touch Sensitive Screens. - Yuval Emek, Adi Rosén:
Semi-Streaming Set Cover. - Umakant Mishra:
Inventions on presenting textual items in Graphical User Interface. - Umakant Mishra:
Inventions on GUI for Eye Cursor Controls Systems. - Arnob Ghosh, Saswati Sarkar:
Quality Sensitive Price Competition in Spectrum Oligopoly: Part II. - Umakant Mishra:
Inventions on using sound and speech in GUI. - Hermann Kopetz:
Why a Global Time is Needed in a Dependable SoS. - Umakant Mishra:
Inventions on Using Colors in Graphical User Interfaces. - Umakant Mishra:
Inventions on GUI Aesthetics. - Umakant Mishra:
Inventions on selecting GUI elements. - Alexander Simko:
A Family of Descriptive Approaches To Preferred Answer Sets. - Umakant Mishra:
Inventions on Displaying and Resizing Windows. - Martin Slota, Martin Baláz, João Leite:
On Strong and Default Negation in Logic Program Updates (Extended Version). - Yujuan Han, Wenlian Lu, Shouhuai Xu:
Characterizing the Power of Moving Target Defense via Cyber Epidemic Dynamics. - Liad Blumrosen, Shahar Dobzinski:
Reallocation Mechanisms. - Dror A. Vinkler, Haim H. Permuter, Neri Merhav:
Analogy Between Gambling and Measurement-Based Work Extraction. - Yujuan Han, Wenlian Lu, Zhe Li, Tianping Chen:
Pinning dynamic systems of networks with Markovian switching couplings and controller-node set. - John Alexander McDermid:
Nothing is Certain but Doubt and Tests. - Ibrahim Habli, Andrew Rae:
Formalism of Requirements for Safety-Critical Software: Where Does the Benefit Come From? - C. Michael Holloway, Chris W. Johnson:
Towards Assessing Necessary Competence. - Dewi Daniels:
The Efficacy of DO-178B. - Mario Fusani, Giuseppe Lami:
On the efficacy of safety-related software standards. - Jiantao Jiao, Thomas A. Courtade, Albert No, Kartik Venkat, Tsachy Weissman:
Information Measures: the Curious Case of the Binary Alphabet. - Jiantao Jiao, Kartik Venkat, Tsachy Weissman:
Relations between Information and Estimation in Scalar Lévy Channels. - Jie Chen, Cédric Richard, Ali H. Sayed:
Diffusion LMS over Multitask Networks. - Reinhard Heckel, Michael Tschannen, Helmut Bölcskei:
Subspace clustering of dimensionality-reduced data. - Chris Culnane, Peter Y. A. Ryan, Steve A. Schneider, Vanessa Teague:
vVote: a Verifiable Voting System (DRAFT). - Joshua Garland, Ryan G. James, Elizabeth Bradley:
Quantifying Time-Series Predictability through Structural Complexity. - Sobia K. Khan:
Orthogonal Fault Tolerance for Dynamically Adaptive Systems. - Thomas Place, Marc Zeitoun:
Going higher in the First-order Quantifier Alternation Hierarchy on Words. - Miklos Taliga:
Unit verification procedure as a test of real time messaging-based processes. - Merav Parter:
Bypassing Erdős' Girth Conjecture: Hybrid Stretch and Sourcewise Spanners. - Mathieu Acher, Benoît Combemale, Philippe Collet:
Metamorphic Domain-Specific Languages: A Journey Into the Shapes of a Language. - John Rushby, Bev Littlewood, Lorenzo Strigini:
Evaluating the Assessment of Software Fault-Freeness. - Omar Jaradat, Patrick J. Graydon, Iain Bate:
An Approach to Maintaining Safety Case Evidence After A System Change. - Frederick R. Carlson:
Security Analysis of Cloud Computing. - Konstantin Makarychev, Debmalya Panigrahi:
Precedence-constrained Scheduling of Malleable Jobs with Preemption. - Fabio Enrique Brochero Martínez, Carmen Rosa Giraldo Vergara:
Weight enumerator of some irreducible cyclic codes. - Babak Salimi, Leopoldo E. Bertossi:
Causality in Databases: The Diagnosis and Repair Connections. - Alexander Fish, Shamgar Gurevich:
Performance Estimates of the Pseudo-Random Method for Radar Detection. - Liang Wang, Kaiyong Zhao:
Detect protein secondary structure based on unsupervised word segmentation methods. - Canyi Lu, Yunchao Wei, Zhouchen Lin, Shuicheng Yan:
Proximal Iteratively Reweighted Algorithm with Multiple Splitting for Nonconvex Sparsity Optimization. - Voot Tangkaratt, Ning Xie, Masashi Sugiyama:
Conditional Density Estimation with Dimensionality Reduction via Squared-Loss Conditional Entropy Minimization. - Songlin Hu, Wantao Liu, Tilmann Rabl, Shuo Huang, Ying Liang, Zheng Xiao, Hans-Arno Jacobsen, Xubin Pei:
DualTable: A Hybrid Storage Model for Update Optimization in Hive. - Hendrik Barfuss, Walter Kellermann:
Improving Blind Source Separation Performance By Adaptive Array Geometries For Humanoid Robots. - Jozef Frtús:
Credulous and Skeptical Argument Games for Complete Semantics in Conflict Resolution based Argumentation. - Joydeep Banerjee, Arun Das, Arunabha Sen:
Analysis of d-Hop Dominating Set Problem for Directed Graph with Indegree Bounded by One. - Caihong Kai, Qi Zhang, Lusheng Wang:
To Achieve Maximal Throughputs in CSMA Wireless Networks Through Offered_load Control. - Marcin Skowron, Stefan Rank, Aleksandra Swiderska, Dennis Küster, Arvid Kappas:
Applying a Text-Based Affective Dialogue System in Psychological Research: Case Studies on the Effects of System Behavior, Interaction Context and Social Exclusion. - Nuno K. Pratas, Petar Popovski:
Zero-Outage Cellular Downlink with Fixed-Rate D2D Underlay. - Susanta Kumar Khan, Madhumangal Pal:
Interval-Valued Intuitionistic Fuzzy Matrices. - Kenric P. Nelson, Madalina Barbu, Brian J. Scannell:
Probabilistic graphs using coupled random variables. - Cyril Nicaud:
Fast Synchronization of Random Automata. - Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya:
Partially Punctual Metric Temporal Logic is Decidable. - Antònia Tugores, Pere Colet:
Mining online social networks with Python to study urban mobility. - Ulrich Furbach, Claudia Schon:
Deontic Logic for Human Reasoning. - I. M. Stewart:
An adjustable-width window with good dynamic range. - Konrad Kulakowski, Katarzyna Grobler-Debska, Jaroslaw Was:
Heuristic rating estimation - geometric approach. - Thomas A. Courtade, Jiantao Jiao:
An Extremal Inequality for Long Markov Chains. - Mario Alviano, Carmine Dodaro, Francesco Ricca:
Preliminary Report on WASP 2.0. - Karl Bringmann, Danny Hermelin, Matthias Mnich, Erik Jan van Leeuwen:
Parameterized Complexity Dichotomy for Steiner Multicut. - Yuxi Fu, Qiang Yin:
Dividing Line between Decidable PDA's and Undecidable Ones. - N. M. Hung, N. H. Nam:
On the procedural structure of learning ecosystem toward competency learning model. - Felipe Gómez-Cuba, Sundeep Rangan, Elza Erkip:
Scaling Laws for Infrastructure Single and Multihop Wireless Networks in Wideband Regimes. - Kumar Vijay Mishra, Myung Cho, Anton Kruger, Weiyu Xu:
Super-resolution Line Spectrum Estimation with Block Priors. - Enrique Orduña-Malea, Juan Manuel Ayllon, Alberto Martín-Martín, Emilio Delgado López-Cózar:
Empirical Evidences in Citation-Based Search Engines: Is Microsoft Academic Search dead? - Xiaowen Dong, Dimitrios Mavroeidis, Francesco Calabrese, Pascal Frossard:
Multiscale Event Detection in Social Media. - Sergey V. Yakhontov:
Computable real function F such that F is not polynomial time computable on [0, 1]. - Dana Menaker, Shai Avidan:
Stereo on a budget. - Mitsuru Kusumoto, Yuichi Yoshida:
Testing Forest-Isomorphism in the Adjacency List Model. - Setareh Maghsudi, Slawomir Stanczak:
Channel Selection for Network-assisted D2D Communication via No-Regret Bandit Learning with Calibrated Forecasting. - Silvano Dal-Zilio, Lukasz Fronc, Bernard Berthomieu, François Vernadat:
Time Petri Nets with Dynamic Firing Dates: Semantics and Applications. - Jie Fu, Ufuk Topcu:
Probably Approximately Correct MDP Learning and Control With Temporal Logic Constraints. - Valerio Capraro, Jillian J. Jordan, David G. Rand:
Cooperation increases with the benefit-to-cost ratio in one-shot Prisoner's Dilemma experiments. - James Cheney, Sam Lindley, Philip Wadler:
Query shredding: Efficient relational evaluation of queries over nested multisets (extended version). - Egor Derevenetc, Roland Meyer:
Robustness against Power is PSPACE-complete. - Philipp Mayr, Philipp Schaer, Andrea Scharnhorst, Peter Mutschke:
Editorial for the Bibliometric-enhanced Information Retrieval Workshop at ECIR 2014. - (Withdrawn) Information Recovery from Pairwise Measurements.
- Umakant Mishra:
Inventions on Menu and Toolbar Coordination. - Umakant Mishra:
Inventions on Drag and Drop in GUI. - Ahmed A. Emran, Maha Elsabrouty:
Simplified Variable-Scaled Min Sum LDPC decoder for irregular LDPC Codes. - Ryan Compton, David Jurgens, David Allen:
Geotagging One Hundred Million Twitter Accounts with Total Variation Minimization. - Sanket Satpathy, Paul Cuff:
Secure Coordination with a Two-Sided Helper. - Sicun Gao, Soonho Kong, Edmund M. Clarke:
Revisiting the Complexity of Stability of Continuous and Hybrid Systems. - Sicun Gao, Soonho Kong, Wei Chen, Edmund M. Clarke:
Delta-Complete Analysis for Bounded Reachability of Hybrid Systems. - Daniel G. Schwartz:
Nonmonotonic Reasoning as a Temporal Activity. - Sagi Eppel, Tal Kachman:
Computer vision-based recognition of liquid surfaces and phase boundaries in transparent vessels, with emphasis on chemistry applications. - Oswin Aichholzer, Sang Won Bae, Luis Barba, Prosenjit Bose, Matias Korman, André van Renssen, Perouz Taslakian, Sander Verdonschot:
Theta-3 is connected. - Abbas Mehrabian, Nick Wormald:
It's a Small World for Random Surfers. - Michaël Mathieu, Yann LeCun:
Fast Approximation of Rotations and Hessians matrices. - Mert Pilanci, Martin J. Wainwright:
Randomized Sketches of Convex Programs with Sharp Guarantees. - João Moura Pires, Carlos Viegas Damásio:
Generalizing Modular Logic Programs. - Qinsi Wang, Paolo Zuliani, Soonho Kong, Sicun Gao, Edmund M. Clarke:
SReach: Combining Statistical Tests and Bounded Model Checking for Nonlinear Hybrid Systems with Parametric Uncertainty. - Jian Zhang, Debin Zhao, Feng Jiang:
Spatially Directional Predictive Coding for Block-based Compressive Sensing of Natural Images. - Jian Zhang, Debin Zhao, Feng Jiang, Wen Gao:
Structural Group Sparse Representation for Image Compressive Sensing Recovery. - Nipun Batra, Amarjeet Singh, Pushpendra Singh, Haimonti Dutta, Venkatesh Sarangan, Mani B. Srivastava:
Data Driven Energy Efficiency in Buildings. - T. Srinivasa Rao, Rajasekhar R. Kurra:
A Smart Intelligent Way of Video Authentication Using Classification and Decomposition of Watermarking Methods. - Mark Braverman, Gal Oshri:
Contracting Experts With Unknown Cost Structures. - Maria Spichkova:
Human Factors of Formal Methods. - Antonia Wachter-Zeh, Markus Stinner, Vladimir Sidorenko:
Convolutional Codes in Rank Metric with Application to Random Network Coding. - Cyril Voyant, Marie-Laure Nivet, Christophe Paoli, Marc Muselli, Gilles Notton:
Meteorological time series forecasting based on MLP modelling using heterogeneous transfer functions. - Maria Spichkova:
Refinement-Based Specification: Requirements and Architecture. - Maria Spichkova, Xiuna Zhu, Dongyue Mou:
Do we really need to write documentation for a system? CASE tool add-ons: generator+editor for a precise documentation. - Mikolaj Bojanczyk:
Weak MSO+U with Path Quantifiers over Infinite Trees. - Michael Gr. Voskoglou:
Assessing the players'performance in the game of bridge: A fuzzy logic approach. - Xavier Allamigeon, Stéphane Gaubert, Victor Magron, Benjamin Werner:
Formal Proofs for Nonlinear Optimization. - Sameer Qazi, Tim Moors:
Disjoint-Path Selection in Internet: What traceroutes tell us? - Edward Grefenstette, Phil Blunsom, Nando de Freitas, Karl Moritz Hermann:
A Deep Architecture for Semantic Parsing. - Canyi Lu, Jinhui Tang, Shuicheng Yan, Zhouchen Lin:
Generalized Nonconvex Nonsmooth Low-Rank Minimization. - Yoichi Iwata, Keigo Oka:
Fast Dynamic Graph Algorithms for Parameterized Problems. - Hamid Ramezani, Raj Thilak Rajan, Geert Leus:
Cramer Rao Lower Bound for Underwater Range Estimation with Noisy Sound Speed Profile. - Joan Boyar, Faith Ellen:
Tight Bounds for an Online Bin Packing Problem. - S. N. Akshay Uttama Nambi, Prabhakar T. Venkata, R. Venkatesha Prasad, Jamadagni H. S:
Zero Energy Network stack for Energy Harvested WSNs. - Florent Jacquemard, Clément Poncelet Sanchez:
Antescofo Intermediate Representation. - Boulat A. Bash, Andrei H. Gheorghe, Monika Patel, Jonathan L. Habif, Dennis Goeckel, Don Towsley, Saikat Guha:
Covert Optical Communication. - N. H. Nam:
Building active and collaborative learning environment in introductory physics course of faculty of technology education. - Jinzhu Jia, Luke Miratrix, Bin Yu, Brian Gawalt, Laurent El Ghaoui, Luke Barnesmoore, Sophie Clavier:
Concise comparative summaries (CCS) of large text corpora with a human experiment. - David Stotz, Helmut Bölcskei:
Explicit and almost sure conditions for K/2 degrees of freedom. - Shenghao Wang, Huajie Han, Kun Gao, Zhili Wang, Can Zhang, Meng Yang, Zhao Wu, Augusto Marcelli, Ziyu Wu:
A LabVIEW based user-friendly X-ray phase-contrast imaging system software platform. - Andrew Winslow:
Size-Separable Tile Self-Assembly: A Tight Bound for Temperature-1 Mismatch-Free Systems. - Daniel S. Katz, Sou-Cheng T. Choi, Hilmar Lapp, Ketan Maheshwari, Frank Löffler, Matthew J. Turk, Marcus D. Hanwell, Nancy Wilkins-Diehr, James Hetherington, James Howison, Shel Swenson, Gabrielle Allen, Anne C. Elster, G. Bruce Berriman, Colin C. Venters:
Summary of the First Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE1). - Anthony Hunter:
Analysis of Dialogical Argumentation via Finite State Machines. - Li Li, Alexandre Bartel, Jacques Klein, Yves Le Traon, Steven Arzt, Siegfried Rasthofer, Eric Bodden, Damien Octeau, Patrick D. McDaniel:
I know what leaked in your pocket: uncovering privacy leaks on Android Apps with Static Taint Analysis. - Emil Jerábek:
Open induction in a bounded arithmetic for TC^0. - Sajin Koroth, Jayalal Sarma:
Depth Lower Bounds against Circuits with Sparse Orientation. - Gaétan de Rassenfosse, Helene Dernis, Geert Boedt:
An Introduction to the Patstat Database with Example Queries. - Atilim Gunes Baydin, Barak A. Pearlmutter:
Automatic Differentiation of Algorithms for Machine Learning. - Clemens Heuberger, Daniel Krenn, Sara Kropf:
Automata and Transducers in the Computer Algebra System Sage. - Fangfang Li, Guandong Xu, Longbing Cao, Xiaozhong Fan, Zhendong Niu:
CMF: Coupled Matrix Factorization for Recommender Systems. - Carl Mattfeld:
Implementing spectral methods for hidden Markov models with real-valued emissions. - Jianwei Xie, Sennur Ulukus:
Secure Degrees of Freedom Regions of Multiple Access and Interference Channels: The Polytope Structure. - Colin Cooper, Robert Elsässer, Tomasz Radzik:
The Power of Two Choices in Distributed Voting. - Gandhi Kishan Bipinchandra, Rajanikanth Aluvalu, Ajay Shanker Singh:
Intelligent Resource Allocation Technique For Desktop-as-a-Service in Cloud Environment. - Sami Alajrami:
On Cloud-Based Engineering of Dependable Systems. - Guillaume Babin:
A formal approach for correct-by-construction system substitution. - Timo Kötzing, Raphaela Palenta:
A Map of Update Constraints in Inductive Inference. - Rob Ashmore:
The Utility and Practicality of Quantifying Software Reliability. - Raphaël Bailly, François Denis, Guillaume Rabusseau:
Recognizable Series on Hypergraphs. - James P. Delgrande, Kewen Wang:
An Approach to Forgetting in Disjunctive Logic Programs that Preserves Strong Equivalence. - Virginie Wiels:
A formal experiment to assess the efficacy of certification standards. - Ryan Emerson, Paul D. Ezhilchelvan:
Faster Transaction Commit even when Nodes Crash. - Gaurav Thakur:
The Synchrosqueezing transform for instantaneous spectral analysis. - Massimiliano Leone Itria, Alessandro Daidone, Andrea Ceccarelli:
A Complex Event Processing Approach for Crisis-Management Systems. - David Luigi Fuschi, Manuela Tvaronaviciene, Salvatore D'Antonio:
Monitoring service quality: methods and solutions to implement a managerial dash-board to improve software development. - Mohsen Ghaffari:
Near-Optimal Distributed Approximation of Minimum-Weight Connected Dominating Set. - Roberto Nappi:
Integrated Maintenance: analysis and perspective of innovation in railway sector. - Gianfranco Cerullo, Valerio Formicola, Pietro Iamiglio, Luigi Sgaglione:
Critical Infrastructure Protection: having SIEM technology cope with network heterogeneity. - Michal Choras, Rafal Kozik, Rafal Renk, Witold Holubowicz:
End-users needs and requirements for tools to support critical infrastructures protection. - Razgar Ebrahimy:
Investigating SCADA Failures in Interdependent Critical Infrastructure Systems. - Jian Zhang, Chen Zhao, Debin Zhao, Wen Gao:
Image Compressive Sensing Recovery Using Adaptively Learned Sparsifying Basis via L0 Minimization. - Zhihan Gao:
On the metric s-t path Traveling Salesman Problem. - Mina Ghashami, Jeff M. Phillips, Feifei Li:
Continuous Matrix Approximation on Distributed Data. - João F. Henriques, Rui Caseiro, Pedro Martins, Jorge Batista:
High-Speed Tracking with Kernelized Correlation Filters. - Feng Jiang, Jie Chen, A. Lee Swindlehurst:
Detection in Analog Sensor Networks with a Large Scale Antenna Fusion Center. - Jacob Grosek, J. Nathan Kutz:
Dynamic Mode Decomposition for Real-Time Background/Foreground Separation in Video. - Jacob Grosek, J. Nathan Kutz:
Selecting a Small Set of Optimal Gestures from an Extensive Lexicon. - Neri Merhav:
Exact random coding error exponents of optimal bin index decoding. - Peter Z. Kunszt, Sergio Maffioletti, Dean Flanders, Markus Eurich, Thomas Michael Bohnert, Andrew Edmonds, Heinz Stockinger, Sigve Haug, Almerima Jamakovic-Kapic, Placi Flury, Simon Leinen, Eryk Schiller:
Towards a Swiss National Research Infrastructure. - Takeaki Uno, Hiroko Satoh:
An Efficient Algorithm for Enumerating Chordless Cycles and Chordless Paths. - Robert Singer, Johannes Kotremba, Stefan Raß:
Modeling and Execution of Multienterprise Business Processes. - Raffaele Mosca:
The stable set polytope of ($P_6$, triangle)-free graphs and new facet-inducing graphs. - Matthieu Barjon, Arnaud Casteigts, Serge Chaumette, Colette Johnen, Yessin M. Neggaz:
Testing Temporal Connectivity in Sparse Dynamic Graphs. - Srikrishnan Divakaran:
An Optimal Offline Algorithm for List Update. - Amirpasha Shirazinia, Saikat Chatterjee, Mikael Skoglund:
Distributed Quantization for Measurement of Correlated Sparse Sources over Noisy Channels. - Amirpasha Shirazinia, Saikat Chatterjee, Mikael Skoglund:
Performance Bounds for Vector Quantized Compressive Sensing. - Amirpasha Shirazinia, Saikat Chatterjee, Mikael Skoglund:
Channel-Optimized Vector Quantizer Design for Compressed Sensing Measurements. - Amirpasha Shirazinia, Saikat Chatterjee, Mikael Skoglund:
Analysis-by-Synthesis-based Quantization of Compressed Sensing Measurements. - Amirpasha Shirazinia, Saikat Chatterjee, Mikael Skoglund:
Analysis-by-Synthesis Quantization for Compressed Sensing Measurements. - Amirpasha Shirazinia, Saikat Chatterjee, Mikael Skoglund:
Distributed Quantization for Compressed Sensing. - George B. Mertzios, Sotiris E. Nikoletseas, Christoforos L. Raptopoulos, Paul G. Spirakis:
Determining Majority in Networks with Local Interactions and very Small Local Memory. - Matteo Dell'Amico, Maurizio Filippone, Pietro Michiardi, Yves Roudier:
On User Availability Prediction and Network Applications. - Carsten Fuhs, Cynthia Kop:
First-Order Formative Rules. - Michael Elkin, Ofer Neiman, Shay Solomon:
Light Spanners. - Mizar Luca Federici, Lorenza Manenti, Sara Manzoni:
A Checklist for the Evaluation of Pedestrian Simulation Software Functionalities. - Wenzhao Qiao, Nico Roos:
An argumentation system for reasoning with conflict-minimal paraconsistent ALC. - Ringo Baumann, Wolfgang Dvorák, Thomas Linsbichler, Hannes Strass, Stefan Woltran:
Compact Argumentation Frameworks. - Chiara Risi, Daniel Persson, Erik G. Larsson:
Massive MIMO with 1-bit ADC. - Eli Ben-Sasson, Tuvi Etzion, Ariel Gabizon, Netanel Raviv:
Subspace Polynomials and Cyclic Subspace Codes. - Laurent Najman, Jean Cousty:
A graph-based mathematical morphology reader. - Ravi Kumar Poluru, T. Sunil Kumar Reddy, D. Nagaraju:
Updating the Routing Position in Adhoc Networks by using Adaptive Position. - Raphael Poss, Sebastian Altmeyer, Mark Thompson, Rob Jelier:
Aca 2.0: Questions and Answers. - Sigve Hortemo Sæther, Jan Arne Telle:
Between Treewidth and Clique-width. - Wen Zeng, Chunyan Mu, Maciej Koutny, Paul Watson:
A Flow Sensitive Security Model for Cloud Computing Systems. - Chris Kimble:
Building Effective Virtual Teams: How to Overcome the Problems of Trust and Identity in Virtual Teams. - Klaus Becker, Bernhard Schätz, Christian Buckl, Michael Armbruster:
Deployment Calculation and Analysis for a Fail-Operational Automotive Platform. - Atilim Günes Baydin, Ramón López de Mántaras, Santiago Ontañón:
A semantic network-based evolutionary algorithm for modeling memetic evolution and creativity. - Dietmar Berwanger, Anup Basil Mathew:
Games with recurring certainty. 91-96 - Zoe Andrews, Jeremy W. Bryans, Richard John Payne, Klaus E. Kristensen:
Fault Modelling in System-of-Systems Contracts. - Claire Ingram, Steve Riddle, John S. Fitzgerald, Sakina A. H. J. Al-Lawati, Afra Alrbaiyan:
SoS Fault Modelling at the Architectural Level in an Emergency Response Case Study. - Ahuva Mu'alem:
Monotonicity, Revenue Equivalence and Budgets. - Pan Zhang, Cristopher Moore, Lenka Zdeborová:
Phase transitions in semisupervised clustering of sparse networks. - Luís Diogo Couto, Simon Foster, Richard John Payne:
Towards Verification of Constituent Systems through Automated Proof. - Malisa Vucinic, Bernard Tourancheau, Franck Rousseau, Andrzej Duda, Laurent Damon, Roberto Guizzetti:
OSCAR: Object Security Architecture for the Internet of Things. - Malisa Vucinic, Gabriele Romaniello, Laurene Guelorget, Bernard Tourancheau, Franck Rousseau, Olivier Alphand, Andrzej Duda, Laurent Damon:
Topology Construction in RPL Networks over Beacon-Enabled 802.15.4. - Irina Basieva, Andrei Yu. Khrennikov:
Quantum(-like) common knowledge: Binmore-Brandenburger operator approach. - Markus Sortland Dregi, Daniel Lokshtanov:
Parameterized Complexity of Bandwidth on Trees. - Mostafavi Amjad Davoud, Mina Zolfy Lighvan:
A tlm-based platform to specify and verify component-based real-time systems. - Soheyl Gherekhloo, Anas Chaaban, Aydin Sezgin:
Resolving Entanglements in Topological Interference Management with Alternating Connectivity. - Jürgen Schmidhuber:
Deep Learning in Neural Networks: An Overview. - Farhan Farhan:
Study of Timing Synchronization in MIMO-OFDM Systems Using DVB-T. - A. James O'Malley, Jukka-Pekka Onnela:
Topics in social network analysis and network science. - Miklós Bartha:
Quantum Turing automata. 17-31 - Farbod Roosta-Khorasani, Gábor J. Székely, Uri M. Ascher:
Assessing stochastic algorithms for large scale nonlinear least squares problems using extremal probabilities of linear combinations of gamma random variables. - Christian Eder:
Predicting zero reductions in Gröbner basis computations. - Bartosz Walczak:
Triangle-free geometric intersection graphs with no big independent sets. - Alexander M. Petersen, Ioannis T. Pavlidis, Ioanna Semendeferi:
A quantitative perspective on ethics in large team science. - Baptiste Coulmont, Virginie Supervie, Romulus Breban:
The diffusion dynamics of choice: From durable goods markets to fashion first names. - Maxime Lenormand, Miguel Picornell, Oliva G. Cantu-Ros, Antònia Tugores, Thomas Louail, Ricardo Herranz, Marc Barthelemy, Enrique Frías-Martínez, José J. Ramasco:
Cross-checking different sources of mobility information. - Sung G. Lee, Magnus Egerstedt:
Multi-Robot Control Using Time-Varying Density Functions. - Attila Szolnoki, Matjaz Perc, Mauro Mobilia:
Facilitators on networks reveal the optimal interplay between information exchange and reciprocity. - Peter Banda, Christof Teuscher:
Learning Two-input Linear and Nonlinear Analog Functions with a Simple Chemical System. - Christopher Aicher, Abigail Z. Jacobs, Aaron Clauset:
Learning Latent Block Structure in Weighted Networks. - Stefano Schivo, Jetse Scholma, Marcel Karperien, Janine N. Post, Jaco van de Pol, Rom Langerak:
Setting Parameters for Biological Models With ANIMO. 35-47 - Mathias Jacquelin, Lin Lin, Chao Yang:
PSelInv - A Distributed Memory Parallel Algorithm for Selected Inversion : the Symmetric Case. - Igor Pak, Greta Panova:
On the complexity of computing Kronecker coefficients. - Akshay Krishnamurthy, Martin Azizyan, Aarti Singh:
Subspace Learning from Extremely Compressed Measurements. - Varun Shankar, Grady B. Wright, Robert M. Kirby, Aaron L. Fogelson:
A Radial Basis Function (RBF)-Finite Difference (FD) Method for Diffusion and Reaction-Diffusion Equations on Surfaces. - Rob Arthan, Paulo Oliva:
On Pocrims and Hoops. - Antonio Bernini, Stefano Bilotta, Renzo Pinzani, Ahmad Sabri, Vincent Vajnovszki:
Gray code orders for $q$-ary words avoiding a given factor. - László Aszalós, Lajos Hajdu, Attila Pethö:
On a correlational clustering of integers. - Kaiyuan Sun, Andrea Baronchelli, Nicola Perra:
Epidemic Spreading in Non-Markovian Time-Varying Networks. - Zhen Wang, Attila Szolnoki, Matjaz Perc:
Rewarding evolutionary fitness with links between populations promotes cooperation. - Matanya B. Horowitz, Anil Damle, Joel W. Burdick:
Linear Hamilton Jacobi Bellman Equations in High Dimensions. - Siddharth Gaba, Patrick Sheridan, Chao Du, Wei D. Lu:
3D Vertical Dual-Layer Oxide Memristive Devices for Neuromorphic Computing. - YiMing Xia:
A new multiresolution finite element method based on a multiresolution quadrilateral plate element. - Stéphane Mallat, Irène Waldspurger:
Phase retrieval for the Cauchy wavelet transform. - Ulrich Bauer, Axel Munk, Hannes Sieling, Max Wardetzky:
Persistent Homology meets Statistical Inference - A Case Study: Detecting Modes of One-Dimensional Signals. - Maria Axenovich, Torsten Ueckerdt:
Density of range capturing hypergraphs. - Li Li, John C. Snyder, Isabelle M. Pelaschier, Jessica Huang, Uma-Naresh Niranjan, Paul Duncan, Matthias Rupp, Klaus-Robert Müller, Kieron Burke:
Understanding Machine-learned Density Functionals. - Olivier Wintenberger:
Optimal learning with Bernstein Online Aggregation. - Anurag Anshu, Rahul Jain, Priyanka Mukhopadhyay, Ala Shayeghi, Penghui Yao:
A new operational interpretation of relative entropy and trace distance between quantum states. - Trivik Verma, Nuno A. M. Araújo, Hans J. Herrmann:
Revealing the structure of the world airline network. - Amit Einav:
An Improved Entropic Inequality On The Sphere. - Boualem Djehiche, Hamidou Tembine, Raúl Tempone:
A Stochastic Maximum Principle for Risk-Sensitive Mean-Field Type Control. - James Brofos:
Ensemble Committees for Stock Return Classification and Prediction. - Farid M. Ablayev, Marat Ablayev:
Quantum Hashing via Classical ε-universal Hashing Constructions. - Marco Alberto Javarone:
Gaussian Networks Generated by Random Walks. - Longbo Huang, Xin Liu, Xiaohong Hao:
The Power of Online Learning in Stochastic Network Optimization. - Julianne Chung, Matthias Chung:
An Efficient Approach for Computing Optimal Low-Rank Regularized Inverse Matrices. - Christian Eder, Jean-Charles Faugère:
A survey on signature-based Gröbner basis computations. - Ari Arapostathis, Anup Biswas, Guodong Pang:
Ergodic Control of Multi-Class M/M/N+M Queues in the Halfin-Whitt Regime. - Nikolai Matni, Venkat Chandrasekaran:
Regularization for Design. - Borhan Molazem Sanandaji, Eilyan Bitar, Kameshwar Poolla, Tyrone L. Vincent:
An Abrupt Change Detection Heuristic with Applications to Cyber Data Attacks on Power Systems. - Jaehyung Choi, Andrew P. Mullhaupt:
Kählerian information geometry for signal processing. - Anna Gundert, Uli Wagner:
On Topological Minors in Random Simplicial Complexes. - Jan Komenda, Tomás Masopust, Jan H. van Schuppen:
A Note on Relative Observability in Coordination Control. - Flavio Pressacco, Giacomo Plazzotta, Laura Ziani:
Twin relationships in Parsimonious Games: some results. - Cesco Reale:
How much is convenient to defect? A method to estimate the cooperation probability in Prisoner's Dilemma and other games. - Justin Malestein, Louis Theran:
Ultrarigid periodic frameworks. - Ashish Bhan, Animesh Ray:
A signature of power law network dynamics. - Jakub Marecek, Robert Shorten, Jia Yuan Yu:
Congestion Management by Interval Signaling. - Alessandro Chessa, Irene Crimaldi, Massimo Riccaboni, Luca Trapin:
Cluster analysis of weighted bipartite networks: a new copula-based approach. - Keith R. Dienes:
Completing $h$. - David J. Aldous, Tamar Lando:
The Stretch - Length Tradeoff in Geometric Networks: Average Case and Worst Case Study. - Afonso S. Bandeira, Yuehaw Khoo, Amit Singer:
Open problem: Tightness of maximum likelihood semidefinite relaxations. - Brendan Harding, Markus Hegland, Jay Walter Larson, James Southern:
Scalable and Fault Tolerant Computation with the Sparse Grid Combination Technique. - Roman Glebov, Tereza Klimosová, Daniel Král:
Infinite dimensional finitely forcible graphon. - Jibran Rashid, Abuzer Yakaryilmaz:
Implications of quantum automata for contextuality. - Ralf Banisch, Christof Schütte, Natasa Djurdjevac Conrad:
Loop-based Module Detection in Directed Networks. - Anil Aswani, Patrick Bouffard, Xiaojing Zhang, Claire J. Tomlin:
Practical Comparison of Optimization Algorithms for Learning-Based MPC with Linear Models. - Tian-Shun Jiang, Zachary Polizzi, Christopher Yuan:
A Networks and Machine Learning Approach to Determine the Best College Coaches of the 20th-21st Centuries. - Ping Tak Peter Tang, James Kestyn, Eric Polizzi:
A New Highly Parallel Non-Hermitian Eigensolver. - Zhen Wang, Attila Szolnoki, Matjaz Perc:
Self-organization towards optimally interdependent networks by means of coevolution. - Richard Li-Yang Chen, Neng Fan, Ali Pinar, Jean-Paul Watson:
Contingency-Constrained Unit Commitment with Post-Contingency Corrective Recourse. - Flavio Prattico, Mohd Azuwan Mat Dzahir, Shin-ichiroh Yamamoto:
Couple Control Model Implementation on Antagonistic Mono- and Bi-Articular Actuators. - Daniel Karrasch, Florian Huhn, George Haller:
Automated detection of coherent Lagrangian vortices in two-dimensional unsteady flows. - Yanqing Hu, Shlomo Havlin, Hernán A. Makse:
Conditions for viral influence spreading through correlated multiplex networks. - Dario Bauso, Ben Mansour Dia, Boualem Djehiche, Hamidou Tembine, Raúl Tempone:
Mean-Field Games for Marriage. - Divyanshu Vats, Robert D. Nowak, Richard G. Baraniuk:
Active Learning for Undirected Graphical Model Selection. - Ömür Arslan, Daniel E. Koditschek:
Anytime Hierarchical Clustering. - Jun Lai, Sivaram Ambikasaran, Leslie Greengard:
A fast direct solver for high frequency scattering from a large cavity in two dimensions. - Arnaud Joly, Pierre Geurts, Louis Wehenkel:
Random forests with random projections of the output space for high dimensional multi-label classification. - Andreas Argyriou, Marco Signoretto, Johan A. K. Suykens:
Hybrid Conditional Gradient - Smoothing Algorithms with Applications to Sparse and Low Rank Regularization. - Bissan Ghaddar, Jakub Marecek, Martin Mevissen:
Optimal Power Flow as a Polynomial Optimization Problem. - Oleguer Sagarra, Francesc Font-Clos, Conrado J. Pérez Vicente, Albert Díaz-Guilera:
The effect of fixing node strengths on multi-edge networks. - Dave Touchette:
Quantum Information Complexity and Amortized Communication. - Yu Tomita, Krysta M. Svore:
Low-distance Surface Codes under Realistic Quantum Noise. - Ágoston Róth:
Control point based exact description of higher dimensional trigonometric and hyperbolic curves and multivariate surfaces. - Caio de Andrade Mendes, Hugo Luiz Mariano:
Towards a good notion of categories of logics. - Anderson de Araújo:
A quantitative approach to semantic informativity. - Judith Y. Li, Sivaram Ambikasaran, Eric Darve, Peter K. Kitanidis:
A Kalman filter powered by H2-matrices for quasi-continuous data assimilation problems. - Aviv Tamar, Yonatan Glassner, Shie Mannor:
Policy Gradients Beyond Expectations: Conditional Value-at-Risk. - Yohsuke Murase, Takeshi Uchitane, Nobuyasu Ito:
A tool for parameter-space explorations. - Chengdi Xiang, Ian R. Petersen, Daoyi Dong:
Performance Analysis and Coherent Guaranteed Cost Control for Uncertain Quantum Systems. - Holger Rauhut, Reinhold Schneider, Zeljka Stojanac:
Tensor completion in hierarchical tensor representations. - Van Vu:
A simple SVD algorithm for finding hidden partitions. - Chisaki Nakaizumi, Toshie Matsui, Koichi Mori, Shoji Makino, Tomasz M. Rutkowski:
Head-related Impulse Response-based Spatial Auditory Brain-computer Interface. - Lauri Hella, Antti Kuusisto:
One-dimensional fragment of first-order logic. - Guangcan Liu, Ping Li:
Recovery of Coherent Data via Low-Rank Dictionary Pursuit. - Peter Mills:
Multi-borders classification. - Jianing Shi, Yangyang Xu, Richard G. Baraniuk:
Sparse Bilinear Logistic Regression. - Emanuele Olivetti, Seyed Mostafa Kia, Paolo Avesani:
MEG Decoding Across Subjects. - Katsuhiko Hamada, Hiromu Mori, Hiroyuki Shinoda, Tomasz M. Rutkowski:
Airborne Ultrasonic Tactile Display Brain-computer Interface Paradigm. - François Arnault, Zoé Amblard:
A qutrit Quantum Key Distribution protocol with better noise resistance. - Takumi Kodama, Shoji Makino, Tomasz M. Rutkowski:
Spatial Tactile Brain-Computer Interface Paradigm Applying Vibration Stimuli to Large Areas of User's Back. - Karim A. Adiprasito, Bruno Benedetti, Frank H. Lutz:
Extremal examples of collapsible complexes and random discrete Morse theory. - Tao Yang, Prashant G. Mehta:
Probabilistic Data Association-Feedback Particle Filter for Multiple Target Tracking Applications. - Yanling Chang, Alan L. Erera, Chelsea C. White III:
Partially Observed, Multi-objective Markov Games. - Mario Díaz, Víctor Pérez-Abreu:
On the Asymptotic Ergodic Capacity of Correlated Multiantenna Channels using Finite Dimensional Statistics. - Manu Basavaraju, L. Sunil Chandran, Rogers Mathew, Deepak Rajendraprasad:
Separation dimension of sparse graphs. - Manu Basavaraju, L. Sunil Chandran, Martin Charles Golumbic, Rogers Mathew, Deepak Rajendraprasad:
Boxicity and separation dimension. - Jarkko Kari, Ville Salo, Ilkka Törmä:
Trace Complexity of Chaotic Reversible Cellular Automata. - Guilherme Ferraz de Arruda, André Luiz Barbieri, Pablo Martín Rodríguez, Yamir Moreno, Luciano da Fontoura Costa, Francisco Aparecido Rodrigues:
The role of centrality for the identification of influential spreaders in complex networks. - (Withdrawn) Finite Groupoids, Finite Coverings and Symmetries in Finite Structures.
- Anshumali Shrivastava, Ping Li:
A New Space for Comparing Graphs. - Guangcan Liu, Ping Li:
Advancing Matrix Completion by Modeling Extra Structures beyond Low-Rankness. - Morteza Mardani, Gonzalo Mateos, Georgios B. Giannakis:
Subspace Learning and Imputation for Streaming Big Data Matrices and Tensors. - Mathieu Claeys, Jamal Daafouz, Didier Henrion:
Modal occupation measures and LMI relaxations for nonlinear switched systems control. - Saray Shai, Dror Y. Kenett, Yoed N. Kenett, Miriam Faust, Simon Dobson, Shlomo Havlin:
Resilience of modular complex networks. - Victor Magron, Didier Henrion, Jean-Bernard Lasserre:
Approximating Pareto Curves using Semidefinite Relaxations. - Nikolai Matni:
Communication Delay Co-Design in $\mathcal{H}_2$ Distributed Control Using Atomic Norm Minimization. - João Pedro Pedroso, Mikio Kubo, Ana Viana:
Unit commitment with valve-point loading effect. - Jouni Järvinen, Sándor Radeleczki:
Tolerances induced by irredundant coverings. - Zhijian Wang, Bin Xu, Hai-Jun Zhou:
Social cycling and conditional responses in the Rock-Paper-Scissors game. - Chien-Hao Lin, Yew Kam Ho:
Quantification of entanglement entropy in helium by the Schmidt-Slater decomposition method. - Art B. Owen:
A constraint on extensible quadrature rules. - Giulio Cimini, Claudio Castellano, Angel Sánchez:
Dynamics to equilibrium in Network Games: individual behavior and global response. - Claudius Gros, Mathias Linkerhand, Valentin Walther:
Attractor Metadynamics in Adapting Neural Networks. - Klaus Dohmen, Martin Trinks:
An Abstraction of Whitney's Broken Circuit Theorem. - Samuel Vaiter, Charles-Alban Deledalle, Gabriel Peyré, Jalal Fadili, Charles Dossal:
The Degrees of Freedom of Partly Smooth Regularizers. - François Baccelli, Anup Biswas:
On Scaling Limits of Power Law Shot-noise Fields. - Gudmundur F. Adalsteinsson, Nicholas K.-R. Kevlahan:
Compressive sampling for energy spectrum estimation of turbulent flows. - Mehdi Molkaraie:
An Importance Sampling Scheme on Dual Factor Graphs - II. Models with Strong Couplings. - John Edward Gough, Matthew R. James, Hendra I. Nurdin:
Quantum Trajectories for a Class of Continuous Matrix Product Input States. - Ronald Hochreiter:
Modeling multi-stage decision optimization problems. - Vojtech Kaluza:
Density not realizable as the Jacobian determinant of a bilipschitz map. - Ran Zhao, Deanna Needell, Christopher Johansen, Jerry L. Grenard:
A Comparison of Clustering and Missing Data Methods for Health Sciences. - Che-Yu Liu, Sébastien Bubeck:
Most Correlated Arms Identification. - Naresh Sharma:
A strong converse for the quantum state merging protocol. - T. Tony Cai, Xiaodong Li:
Robust and Computationally Feasible Community Detection in the Presence of Arbitrary Outlier Nodes. - Hui Zhang, Tao Sun, Lizhi Cheng:
Proximal linearized iteratively reweighted least squares for a class of nonconvex and nonsmooth problems. - Jin Hua Zhao, Hai-Jun Zhou:
Statistical physics of hard combinatorial optimization: The vertex cover problem. - Simone Righi, Károly Takács:
Degree Variance and Emotional Strategies Catalyze Cooperation in Dynamic Signed Networks. - Ping Li:
CoRE Kernels. - Pierre Deville, Dashun Wang, Roberta Sinatra, Chaoming Song, Vincent D. Blondel, Albert-László Barabási:
Career on the Move: Geography, Stratification, and Scientific Impact. - Joe Neeman, Praneeth Netrapalli:
Non-Reconstructability in the Stochastic Block Model. - Varun Kanade, Elchanan Mossel, Tselil Schramm:
Global and Local Information in Clustering Labeled Block Models. - Yuni Iwamasa, Naoki Masuda:
Networks maximising the consensus time of voter models. - Krasimir Yordzhev:
On some numerical characteristics of a bipartite graph. - Nicolas Delfosse, Zhentao Li, Stéphan Thomassé:
A note on the minimum distance of quantum LDPC codes. - Martin Anthony, Endre Boros, Yves Crama, Aritanan Gruber:
Quadratization of Symmetric Pseudo-Boolean Functions. - Endre Boros, Aritanan Gruber:
On Quadratization of Pseudo-Boolean Functions. - Gugan Thoppe, Vivek S. Borkar, Dinesh Garg:
An Improved Block Coordinate Descent Method for Quadratic Programming in High Dimensions. - Clemens Schiffer, Kristian Bredies:
Sinogram constrained TV-minimization for metal artifact reduction in CT. - Oluwasanmi Koyejo, Cheng H. Lee, Joydeep Ghosh:
A Constrained Matrix-Variate Gaussian Process for Transposable Data. - Victor Y. Pan:
Real Polynomial Root-finding by Means of Matrix and Polynomial Iterations. - Holger Boche, Gisbert Janßen:
Resource Cost Results for Entanglement Distillation and State Merging under Source Uncertainties. - Maria Vlasiou, Jiheng Zhang, Bert Zwart:
Separation of timescales in a two-layered network. - David Abdurachmanov, Peter Elmer, Giulio Eulisse, Paola Grosso, Curtis W. Hillegas, Burt Holzman, Sander Klous, Robert Knight, Shahzad Muzaffar:
Power-aware applications for scientific cluster and distributed computing. - Jeff Alstott, Stuart E. Madnick, Chander K. Velu:
Homophily and the Speed of Social Mobilization: The Effect of Acquired and Ascribed Traits. - Zhen Zhu, Federica Cerina, Alessandro Chessa, Guido Caldarelli, Massimo Riccaboni:
The Rise of China in the International Trade Network: A Community Core Detection Approach. - S. V. Kozyrev:
Cluster networks and Bruhat-Tits buildings. - Nuno Crokidakis, Paulo Murilo Castro de Oliveira:
The first shall be last: selection-driven minority becomes majority. - Gautam Dasarathy, Robert D. Nowak, Sebastien Roch:
Data Requirement for Phylogenetic Inference from Multiple Loci: A New Distance Method. - Laszlo Gyongyosi:
Security Thresholds of Multicarrier Continuous-Variable Quantum Key Distribution. - Giovanni Petri, Paul Expert:
Temporal stability of network partitions. - Zdenek Dvorák:
Sublinear separators, fragility and subexponential expansion. - Grzegorz Gutowski, Jakub Kozik, Piotr Micek, Xuding Zhu:
Lower bounds for on-line graph colorings. - Christian Bräuer-Burchardt, Peter Kühmstedt, Gunther Notni:
Code Minimization for Fringe Projection Based 3D Stereo Sensors by Calibration Improvement. - Bo Qu, Qian Li, Shlomo Havlin, Harry Eugene Stanley, Huijuan Wang:
Non-consensus opinion model on directed networks. - Minghui Ma, Zhe Lin:
Residuated Basic Logic II. Interpolation, Decidability and Embedding. - Tullio Ceccherini-Silberstein, Michel Coornaert, Francesca Fiorenzi, Paul E. Schupp:
Multipass automata and group word problems. - Mihai A. Petrovici, Bernhard Vogginger, Paul Müller, Oliver Breitwieser, Mikael Lundqvist, Lyle Muller, Matthias Ehrlich, Alain Destexhe, Anders Lansner, René Schüffny, Johannes Schemmel, Karlheinz Meier:
Bridging the gap between software simulation and emulation on neuromorphic hardware: An investigation of causes, effects and compensation of network-level anomalies in a mixed-signal waferscale neuromorphic modeling platform. - Felipe Gomes Lacerda, Joseph M. Renes, Renato Renner:
Classical leakage resilience from fault-tolerant quantum computation. - Dean Eckles, Brian Karrer, Johan Ugander:
Design and analysis of experiments in networks: Reducing bias from interference. - Xiao-Shan Gao, Zhang Huang, Chun-Ming Yuan:
Binomial Difference Ideal and Toric Difference Variety. - Yuri G. Gordienko:
Migration-Driven Hierarchical Crystal Defect Aggregation - Symmetry and Scaling Analysis. - Tyler H. Summers, Fabrizio L. Cortesi, John Lygeros:
On Submodularity and Controllability in Complex Dynamical Networks. - Paolo Frasca, Federica Garin, Balázs Gerencsér, Julien M. Hendrickx:
One-dimensional coverage by unreliable sensors. - Emilie Morvant, Amaury Habrard, Stéphane Ayache:
Majority Vote of Diverse Classifiers for Late Fusion. - Richard Jozsa, Graeme Mitchison:
Symmetric polynomials in information theory: entropy and subentropy. - Alaa Saade, Florent Krzakala, Lenka Zdeborová:
Spectral density of the non-backtracking operator. - Nuno Crokidakis:
Phase transition in kinetic exchange opinion models with independence. - Ali Pourmiri, Thomas Sauerwald:
Cutoff Phenomenon for Random Walks on Kneser Graphs. - Alex Bocharov, Martin Roetteler, Krysta M. Svore:
Efficient synthesis of universal Repeat-Until-Success circuits. - Claudio De Persis, Romain Postoyan:
A Lyapunov redesign of coordination algorithms for cyberphysical systems. - Raffi Sevlian, Ram Rajagopal:
Short Term Electricity Load Forecasting on Varying Levels of Aggregation. - Aharon Brodutch, Daniel Nagaj, Or Sattath, Dominique Unruh:
An adaptive attack on Wiesner's quantum money. - Andris Ambainis, Ansis Rosmanis, Dominique Unruh:
Quantum Attacks on Classical Proof Systems - The Hardness of Quantum Rewinding. - André Ranchin:
Depicting qudit quantum mechanics and mutually unbiased qudit theories. 68-91
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-11-07 20:20 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:
