default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCoRR, September 2013
September 2013
- Kamran Karimi, Aleks G. Pamir, M. Haris Afzal:
Accelerating a Cloud-Based Software GNSS Receiver. - Deepak Dhungana, Ching Hoo Tang, Christoph Weidenbach, Patrick Wischnewski:
Automated Verification of Interactive Rule-Based Configuration Systems (Additional Material). - Cheng Bo, Lan Zhang, Xiang-Yang Li:
SilentSense: Silent User Identification via Dynamics of Touch and Movement Behavioral Biometrics. - Kameng Nip, Zhenbo Wang, Fabrice Talla Nobibon, Roel Leus:
A Combination of Flow Shop Scheduling and the Shortest Path Problem. - Kameng Nip, Zhenbo Wang, Wenxun Xing:
Combinations of Some Shop Scheduling Problems and the Shortest Path Problem: Complexity and Approximation Algorithms. - Junaid Qadir:
Artificial Intelligence Based Cognitive Routing for Cognitive Radio Networks. - Seyed Pooya Shariatpanahi, Hamed Shah-Mansouri, Babak Hossein Khalaj:
Caching Gain in Wireless Networks with Fading: A Multi-User Diversity Perspective. - Hiroki Miyazako, Yutaka Hori, Shinji Hara:
Turing Instability in Reaction-Diffusion Systems with a Single Diffuser: Characterization Based on Root Locus. - Ryan Wen Liu, Tian Xu:
A Robust Alternating Direction Method for Constrained Hybrid Variational Deblurring Model. - An Zeng, Alexandre Vidmer, Matús Medo, Yi-Cheng Zhang:
Information filtering via hybridization of similarity preferential diffusion processes. - Tobias Breiten, Christopher A. Beattie, Serkan Gugercin:
Near-optimal Frequency-weighted Interpolatory Model Reduction. - Yury Polyanskiy, Sergio Verdú:
Empirical distribution of good channel codes with non-vanishing error probability (extended version). - Ahmed Douik, Sameh Sorour, Mohamed-Slim Alouini, Tareq Y. Al-Naffouri:
Delay Minimization for Instantly Decodable Network Coding in Persistent Channels with Feedback Intermittence. - Gaofei Wu, Matthew Geoffrey Parker:
A complementary construction using mutually unbiased bases. - Tryphon T. Georgiou, Anders Lindquist:
On time-reversibility of linear stochastic models. - S. Sri Gurudatta Yadav, R. V. Krishnaiah:
Haptic Science and Technology. - K. V. Rashmi, Nihar B. Shah, Dikang Gu, Hairong Kuang, Dhruba Borthakur, Kannan Ramchandran:
A Solution to the Network Challenges of Data Recovery in Erasure-coded Distributed Storage Systems: A Study on the Facebook Warehouse Cluster. - Oyelami Julius Olusegun, Norafida Binti Ithnin:
People Are the Answer to Security: Establishing a Sustainable Information Security Awareness Training (ISAT) Program in Organization. - Oyelami Julius Olusegun, Norafida Binti Ithnin:
Enhancing the Conventional Information Security Management Maturity Model (ISM3) in Resolving Human Factors in Organization Information Sharing. - Kamen Lozev:
Reconstruction and Uniqueness of Moving Obstacles. - Ram Chandra Singh Chauhan, Yatindra Nath Singh, Rachna Asthana:
Design of Minimum Correlated, Maximal Clique Sets of One-Dimensional Uni-polar (Optical) Orthogonal Codes. - George B. Mertzios, Mordechai Shalom, Prudence W. H. Wong, Shmuel Zaks:
Online Regenerator Placement. - Baofeng Wu, Dongdai Lin:
New constructions of quaternary bent functions. - Fei Gao, Dacheng Tao, Xinbo Gao, Xuelong Li:
Learning to Rank for Blind Image Quality Assessment. - Mian Lu, Lei Zhang, Huynh Phung Huynh, Zhongliang Ong, Yun Liang, Bingsheng He, Rick Siow Mong Goh, Richard Huynh:
Optimizing the MapReduce Framework on Intel Xeon Phi Coprocessor. - Lars Buitinck, Gilles Louppe, Mathieu Blondel, Fabian Pedregosa, Andreas Mueller, Olivier Grisel, Vlad Niculae, Peter Prettenhofer, Alexandre Gramfort, Jaques Grobler, Robert Layton, Jake VanderPlas, Arnaud Joly, Brian Holt, Gaël Varoquaux:
API design for machine learning software: experiences from the scikit-learn project. - Paolo Castiglione, Gerald Matz:
Energy-Neutral Source-Channel Coding with Battery and Memory Size Constraints. - Dragan Vidakovic, Dusko Parezanovic:
Generating Keys in Elliptic Curve Cryptosystems. - Igor C. Oliveira:
Algorithms versus Circuit Lower Bounds. - Yossi Azar, Adi Vardi:
Colored Packets with Deadlines and Metric Space Transition Cost. - Dan C. Ciresan, Jürgen Schmidhuber:
Multi-Column Deep Neural Networks for Offline Handwritten Chinese Character Classification. - Mihaela van der Schaar, Yuanzhang Xiao, William R. Zame:
Designing Efficient Resource Sharing For Impatient Players Using Limited Monitoring. - Kamran Riaz Khan, Affan A. Syed, Syed Ali Khayam:
Traffic analyzer for differentiating BitTorrent handshake failures from port-scans. - Antonis Sidiropoulos, Dimitrios Katsaros, Yannis Manolopoulos:
Categorizing Influential Authors Using Penalty Areas. - Rade Vuckovac:
A new kind of complexity. - (Withdrawn) Fundamental Limits of HRR Profiling and Velocity Compensation For Stepped-Frequency Waveforms.
- Xiaojiang Peng, Qiang Peng, Yu Qiao, Junzhou Chen, Mehtab Afzal
:
A Study on Unsupervised Dictionary Learning and Feature Encoding for Action Classification. - Attilio Fiandrotti, Valerio Bioglio, Marco Grangetto, Rossano Gaeta, Enrico Magli:
Band Codes for Energy-Efficient Network Coding with Application to P2P Mobile Streaming. - Michal Lopuszynski, Lukasz Bolikowski:
Tagging Scientific Publications using Wikipedia and Natural Language Processing Tools. Comparison on the ArXiv Dataset. - Taisuke Sato, Philipp J. Meyer:
Infinite probability computation by cyclic explanation graphs. - Indaco Biazzo, Alfredo Braunstein, Riccardo Zecchina:
On the performance of a cavity method based algorithm for the Prize-Collecting Steiner Tree Problem on graphs. - Florian Meyer, Ondrej Hlinka, Franz Hlawatsch:
Sigma Point Belief Propagation. - Manolis Ploumidis, Nikolaos Pappas, Apostolos Traganitis:
Throughput Optimal Flow Allocation on Multiple Paths for Random Access Wireless Multi-hop Networks. - Yi Cheng, Valery A. Ugrinovskii, Guanghui Wen:
Guaranteed Cost Tracking for Uncertain Coupled Multi-agent Systems Using Consensus over a Directed Graph. - Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Case study: Class diagram restructuring. 8-15 - Sebastiaan J. van Schaik, Dan Olteanu, Robert Fink:
ENFrame: A Platform for Processing Probabilistic Data. - Konrad Kulakowski:
Heuristic Rating Estimation approach to the pairwise comparisons method. - Philipp Hupp:
Hierarchization for the Sparse Grid Combination Technique. - Joachim Rosenthal, Natalia Silberstein, Anna-Lena Trautmann:
On the Geometry of Balls in the Grassmannian and List Decoding of Lifted Gabidulin Codes. - Aurélie Lagoutte, Sébastien Tavenas:
The complexity of Shortest Common Supersequence for inputs with no identical consecutive letters. - Frédéric Maffray, Nicolas Trotignon:
Algorithms for perfectly contractile graphs. - Saddek Bensalem, Lavindra de Silva, Félix Ingrand, Rongjie Yan:
A Verifiable and Correct-by-Construction Controller for Robot Functional Levels. - Ayse Ünsal, Raymond Knopp:
Distributed Sensing and Transmission of Sporadic Random Samples in a Multiple-Access Channel. - Jean-Rémy Falleri, Cédric Teyton, Matthieu Foucault, Marc Palyart, Floréal Morandat, Xavier Blanc:
The Harmony Platform. - Mahdi Cheraghchi, Venkatesan Guruswami:
Capacity of Non-Malleable Codes. - Eric Heim, Hamed Valizadegan, Milos Hauskrecht:
Relative Comparison Kernel Learning with Auxiliary Kernels. - William Bradley Glisson, Tim Storer:
Investigating Information Security Risks of Mobile Device Use within Organizations. - Louis-François Pau:
Botnet economics and devising defence schemes from attackers own reward processes. - Raphael 'kena' Poss:
Machines are benchmarked by code, not algorithms. - Daniel Zelazo, Antonio Franchi, Heinrich H. Bülthoff, Paolo Robuffo Giordano:
Decentralized Rigidity Maintenance Control with Range-only Measurements for Multi-Robot Systems. - Karim Habak, Khaled A. Harras, Moustafa Youssef:
Bandwidth Aggregation Techniques in Heterogeneous Multi-homed Devices: A Survey. - Shyam Srinivasan:
Optimizing the performance of Lattice Gauge Theory simulations with Streaming SIMD extensions. - Siu On Chan, James R. Lee, Prasad Raghavendra, David Steurer:
Approximate Constraint Satisfaction Requires Large LP Relaxations. - Jiadong Wang, Kasra Vakilinia, Tsung-Yi Chen, Thomas A. Courtade, Guiqiang Dong, Tong Zhang, Hari Shankar, Richard D. Wesel:
Enhanced Precision Through Multiple Reads for LDPC Decoding in Flash Memories. - K. P. Shaji, I. Alsheba, Y. A. Syed Khadar, S. Kannan:
Multiparameter Monitoring and Fault Indication Using Inductive Power Transfer System. - Vijay Borges, Wilson Jeberson:
Survey of Context Information Fusion for Sensor Networks based Ubiquitous Systems. - Eitan Altman, Konstantin Avrachenkov, Jasper Goseling:
Coding for Caches in the Plane. - Mingchao Yu, Parastoo Sadeghi, Neda Aboutorab:
On Throughput and Decoding Delay Performance of Instantly Decodable Network Coding. - Massimo Rimondini, Claudio Squarcella, Giuseppe Di Battista:
From BGP to RTT and Beyond: Matching BGP Routing Changes and Network Delay Variations with an Eye on Traceroute Paths. - Sándor Vágvölgyi:
Threefold Post Correspondence System. - Georgios Koutsoumpakis, Iakovos Koutsoumpakis, Anastasios Gounaris:
Skew Handling in Aggregate Streaming Queries on GPUs. - Nathanaël François, Frédéric Magniez:
Input/Output Streaming Complexity of Reversal and Sorting. - Yi Zhou:
Majority Rule for Belief Evolution in Social Networks. - Ruben Martinez-Cantin:
BayesOpt: A Library for Bayesian optimization with Robotics Applications. - Patrizio Angelini, Giordano Da Lozzo, Giuseppe Di Battista, Fabrizio Frati:
Strip Planarity Testing of Embedded Planar Graphs. - Chu-Xu Zhang, Zi-Ke Zhang, Lu Yu, Chuang Liu, Hao Liu, Xiao-Yong Yan:
Information Filtering via Collaborative User Clustering Modeling. - Frédéric Maffray, Nicolas Trotignon, Kristina Vuskovic:
Algorithms for square-$3PC(\cdot, \cdot)$-free Berge graphs. - Mohammad Tofighi, Kivanç Köse, Ahmet Enis Çetin:
Denoising Using Projection Onto Convex Sets (POCS) Based Framework. - Tsung-Yi Chen, Adam R. Williamson, Nambi Seshadri, Richard D. Wesel:
Feedback Communication Systems with Limitations on Incremental Redundancy. - Ashish Sureka, Monika Gupta, Dipto Sarkar, Vidushi Chaudhary:
A Case-Study on Teaching Undergraduate-Level Software Engineering Course Using Inverted-Classroom, Large-Group, Real-Client and Studio-Based Instruction Model. - Victor Khomenko, Roland Meyer, Reiner Hüchting:
A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets. - Giuseppe Bianchi, Nicola Blefari-Melazzi, Alberto Caponi, Andrea Detti:
A General, Tractable and Accurate Model for a Cascade of Caches. - David M. Bryson, Charles Ofria:
Understanding Evolutionary Potential in Virtual CPU Instruction Set Architectures. - Mohammad Noshad, Maïté Brandt-Pearce:
Application of Expurgated PPM to Indoor Visible Light Communications - Part I: Single-User Systems. - Nadeem Javaid, Obaid Ur Rehman, Nabil Ali Alrajeh, Zahoor Ali Khan, Basit Manzoor, S. Ahmed:
AID: An Energy Efficient Decoding Scheme for LDPC Codes in Wireless Body Area Sensor Networks. - Frank Havlak, Mark E. Campbell:
Discrete and Continuous, Probabilistic Anticipation for Autonomous Robots in Urban Environments. - Mohammad Noshad, Maïté Brandt-Pearce:
Application of Expurgated PPM to Indoor Visible Light Communications - Part II: Access Networks. - Nick Williams:
An Exploratory Data Survey of Drug Name Incidence and Prevalence From the FDA's Adverse Event Reporting System, 2004 to 2012Q2. - Furong Huang, U. N. Niranjan, Mohammad Umar Hakeem, Prateek Verma, Animashree Anandkumar:
Fast Detection of Overlapping Communities via Online Tensor Methods on GPUs. - Sina Lashgari, Amir Salman Avestimehr, Changho Suh:
Linear Degrees of Freedom of the X-Channel with Delayed CSIT. - H. Lookman Sithic, T. Balasubramanian:
Survey of Insurance Fraud Detection Using Data Mining Techniques. - Abla Kammoun, Karim Abed-Meraim:
Performance Analysis and Optimal Power Allocation for Linear Receivers Based on Superimposed Training. - Bart Jacobs:
Bases as Coalgebras. - Zhao Tan, Peng Yang, Arye Nehorai:
Joint Sparse Recovery Method for Compressed Sensing with Structured Dictionary Mismatch. - Muhammad Nazmul Islam, Narayan B. Mandayam, Sastry Kompella, Ivan Seskar:
Optimal Spectrum Fragmentation in NC-OFDMA based Multi-hop Networks. - Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Guido Sanguinetti:
On the Robustness of Temporal Properties for Stochastic Models. 3-19 - Lubos Brim, Tomas Vejpustek, David Safránek, Jana Fabriková:
Robustness Analysis for Value-Freezing Signal Temporal Logic. 20-36 - Ye Chen, Christopher Short, Ádám M. Halász, Jeremy S. Edwards:
The impact of high density receptor clusters on VEGF signaling. 37-52 - Thao Dang, Tommaso Dreossi:
Falsifying Oscillation Properties of Parametric Biological Models. 53-67 - Vincent Noël, Sergey Vakulenko, Ovidiu Radulescu:
A hybrid mammalian cell cycle model. 68-83 - Oded Maler, Ádám M. Halász, Olivier Lebeltel, Ouri Maler:
Exploring the Dynamics of Mass Action Systems. 84-91 - Nicolas Mobilia, Alexandre Donzé, Jean Marc Moulis, Eric Fanchon:
Producing a Set of Models for the Iron Homeostasis Network. 92-98 - Qin Shu, Diana Catalina Ardila, Ricardo G. Sanfelice, Jonathan P. Vande Geest:
A Hybrid Model of a Genetic Regulatory Network in Mammalian Sclera. 99-105 - Rachit Agarwal, Matthew Caesar, Brighten Godfrey, Ben Y. Zhao:
Shortest Paths in Microseconds. - Stefano Berardi, Ugo de'Liguoro:
Non-monotonic Pre-fixed Points and Learning. 1-10 - Corina Cîrstea:
From Branching to Linear Time, Coalgebraically. 11-27 - José Espírito Santo, Ralph Matthes, Luís Pinto:
A Coinductive Approach to Proof Search. 28-43 - Niels Bjørn Bugge Grathwohl, Fritz Henglein, Dexter Kozen:
Infinitary Axiomatization of the Equational Theory of Context-Free Languages. 44-55 - Eleftherios Matsikoudis, Edward A. Lee:
The Fixed-Point Theory of Strictly Contracting Functions on Generalized Ultrametric Semilattices. 56-71 - Stefan Milius, Tadeusz Litak:
Guard Your Daggers and Traces: On The Equational Properties of Guarded (Co-)recursion. 72-86 - Matteo Mio, Alex Simpson:
Łukasiewicz mu-Calculus. 87-104 - Yutao Ma, Yang Wu, Youwei Xu:
Dynamics of Open-Source Software Developer's Commit Behavior: An Empirical Investigation of Subversion. - Ibrahim Issa, Silas L. Fong, Amir Salman Avestimehr:
Two-Hop Interference Channels: Impact of Linear Schemes. - Ugo de'Liguoro, Alexis Saurin:
Proceedings First Workshop on Control Operators and their Semantics, COS 2013, Eindhoven, The Netherlands, June 24-25, 2013. EPTCS 127, 2013 [contents] - Henry Corrigan-Gibbs, Bryan Ford:
Conscript Your Friends into Larger Anonymity Sets with JavaScript. - Benjamin Lévêque, David Y. Lin, Frédéric Maffray, Nicolas Trotignon:
Detecting induced subgraphs. - Nicolas Derhy, Christophe Picouleau, Nicolas Trotignon:
The four-in-a-tree problem in triangle-free graphs. - Ayan Seal, Mita Nasipuri, Debotosh Bhattacharjee, Dipak Kumar Basu:
Minutiae Based Thermal Face Recognition using Blood Perfusion Data. - Ayan Seal, Suranjan Ganguly, Debotosh Bhattacharjee, Mita Nasipuri, Dipak Kr. Basu:
Automated Thermal Face recognition based on Minutiae Extraction. - Ayan Seal, Suranjan Ganguly, Debotosh Bhattacharjee, Mita Nasipuri, Dipak Kumar Basu:
A Comparative Study of Human thermal face recognition based on Haar wavelet transform (HWT) and Local Binary Pattern (LBP). - Bruno Mery, Christian Retoré:
Advances in the Logical Representation of Lexical Semantics. - Bin Li, Hui Shen, David Tse:
Parallel Decoders of Polar Codes. - Maximilian Ranneberg:
Sensor Setups for State and Wind Estimation for Airborne Wind Energy Converters. - Turlough Neary, Matthew Cook:
Proceedings Machines, Computations and Universality 2013, MCU 2013, Zürich, Switzerland, September 9-11, 2013. EPTCS 128, 2013 [contents] - Luis M. Vaquero, Félix Cuadrado, Dionysios Logothetis, Claudio Martella:
xDGP: A Dynamic Graph Processing System with Adaptive Partitioning. - Elisângela Silva Dias, Diane Castonguay, Humberto J. Longo, Walid Abdala Rfaei Jradi:
Efficient Enumeration of All Chordless Cycles in Graphs. - Mathieu Andro, Gaëtan Tröger:
Statistiques et visibilité des bibliothèques numériques : quelles stratégies de diffusion ? - Damian Eads, David P. Helmbold, Edward Rosten:
Boosting in Location Space. - Zeyu Guo:
Randomness-efficient Curve Samplers. - Jeremy Cohen, Chris D. Cantwell, Neil P. Chue Hong, David Moxey, Malcolm Illingworth, Andrew Turner, John Darlington, Spencer J. Sherwin:
Simplifying the Development, Use and Sustainability of HPC Software. - Ana Cristina Mendes, Luísa Coheur, Sérgio Curto:
Learning to answer questions. - Rashmi Gupta, Nisheeth Joshi, Iti Mathur:
Analysing Quality of English-Hindi Machine Translation Engine Outputs Using Bayesian Classification. - Mahdi Cheraghchi, Venkatesan Guruswami:
Non-Malleable Coding Against Bit-wise and Split-State Tampering. - Ayan Seal, Suranjan Ganguly, Debotosh Bhattacharjee, Mita Nasipuri, Dipak Kumar Basu:
Minutiae Based Thermal Human Face Recognition using Label Connected Component Algorithm. - Ayan Seal, Suranjan Ganguly, Debotosh Bhattacharjee, Mita Nasipuri, Dipak Kr. Basu:
Thermal Human face recognition based on Haar wavelet transform and series matching technique. - Puneet Kumar Mongia, B. J. Singh:
Planning and Optimization of Wireless LANs through Field Measurements. - Eric M. Heien, Todd L. Miller, Becky Gietzel, Louise H. Kellogg:
Experiences with Automated Build and Test for Geodynamics Simulation Codes. - Mahmoud Ashour, Amr A. El-Sherif, Tamer A. ElBatt, Amr Mohamed:
Cooperative Access in Cognitive Radio Networks: Stable Throughput and Delay Tradeoffs. - Matthew G. Knepley, Jed Brown, Karl Rupp, Barry F. Smith:
Achieving High Performance with Unified Residual Evaluation. - Mohamed Abu Sharkh, Manar Jammal, Abdallah Shami, Abdelkader H. Ouda:
Resource Allocation in a Network-Based Cloud Computing Environment: Design Challenges. - Nian Li, Chunlei Li, Tor Helleseth, Cunsheng Ding, Xiaohu Tang:
Optimal Ternary Cyclic Codes with Minimum Distance Four and Five. - Mayank Manjrekar, Vinod Ramaswamy, Srinivas Shakkottai:
A Mean Field Game Approach to Scheduling in Cellular Systems. - Joseph Y. Halpern, Christopher Hitchcock:
Graded Causation and Defaults. - Joseph Y. Halpern, Christopher Hitchcock:
Compact Representations of Extended Causal Models. - Joseph Y. Halpern:
Weighted regret-based likelihood: a new approach to describing uncertainty. - Kerry A. Seitz Jr., Alex Kennedy, Owen Ransom, Bassam A. Younis, John D. Owens:
A GPU Implementation for Two-Dimensional Shallow Water Modeling. - A. S. Syed Fiaz, N. Devi, S. Aarthi:
Bug Tracking and Reporting System. - Martin Balko, Pavel Klavík, Yota Otachi:
Bounded Representations of Interval and Proper Interval Graphs. - Keehang Kwon:
Pattern Matching via Choice Existential Quantifications in Imperative Languages. - Federico Aschieri:
Strong Normalization for HA + EM1 by Non-Deterministic Choice. 1-14 - Giovanni Birolo:
Interpreting a Classical Geometric Proof with Interactive Realizability. 30-44 - Harley Eades III, Aaron Stump:
Hereditary Substitution for the λΔ-Calculus. 45-65 - Bram Geron, Herman Geuvers:
Continuation calculus. 66-85 - Yoshihiko Kakutani, Daisuke Kimura:
Induction by Coinduction and Control Operators in Call-by-Name. 101-112 - James Laird:
Combining and Relating Control Effects and their Semantics. 113-129 - Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Marek Materzok:
Proving termination of evaluation for System F with control operators. 15-29 - Kenichi Morita:
Reversible Logic Elements with Memory and Their Universality. 3-14 - Damien Woods:
Intrinsic universality and the computational power of self-assembly. 16-22 - Nathalie Aubrun, Jarkko Kari:
Tiling Problems on Baumslag-Solitar groups. 35-46 - Rudolf Freund, Gheorghe Paun:
How to Obtain Computational Completeness in P Systems with One Catalyst. 47-61 - Rudolf Freund, Sergiu Ivanov, Marion Oswald, K. G. Subramanian:
One-dimensional Array Grammars and P Systems with Array Insertion and Deletion Rules. 62-75 - Anthony Gasperin:
Topology and Non-Deterministic Polynomial Time Computation : Avoidance of The Misbehaviour of Hub-Free Diagrams and Consequences. 76-84 - Christian Herrmann, Johanna Sokoli, Martin Ziegler:
Satisfiability of cross product terms is complete for real nondeterministic polytime Blum-Shub-Smale machines. 85-92 - Maurice Margenstern, K. G. Subramanian:
Hyperbolic tilings and formal language theory. 126-136 - Simon Martiel, Bruno Martin:
Intrinsic Universality of Causal Graph Dynamics. 137-149 - Jacob Hendricks, Matthew J. Patitz:
On the Equivalence of Cellular Automata and the Tile Assembly Model. 167-189 - Dmitry A. Zaitsev:
A Small Universal Petri Net. 190-202 - Wei Liu, Nicolas Trotignon:
The $k$-in-a-tree problem for graphs of girth at least~$k$. - Marco Baldi, Federico Bambozzi, Franco Chiaraluce:
On a Family of Circulant Matrices for Quasi-Cyclic Low-Density Generator Matrix Codes. - Volker Diekert, Jonathan Kausch:
Logspace computations in graph products. - Kyatsandra G. Nagananda:
Electrical Structure-Based PMU Placement in Electric Power Systems. - Piotr Beling:
C++11 - idea r-wartości i przenoszenia. - Amparo Fúster-Sabater:
Characterization of the Least Periods of the Generalized Self-Shrinking Sequences. - Mingchao Yu, Neda Aboutorab, Parastoo Sadeghi:
From Instantly Decodable to Random Linear Network Coding. - Nikolaos Pappas, Marios Kountouris, Anthony Ephremides:
The Stability Region of the Two-User Interference Channel. - Todd J. Green, Alan Schmitt:
Proceedings of the 14th International Symposium on Database Programming Languages (DBPL 2013), August 30, 2013, Riva del Garda, Trento, Italy. 2013 [contents] - Nikolaos Pappas, Marios Kountouris, Anthony Ephremides, Apostolos Traganitis:
On the Stability Region of a Relay-Assisted Multiple Access Scheme. - Chiara Ravazzi, Paolo Frasca, Roberto Tempo, Hideaki Ishii:
Ergodic Randomized Algorithms and Dynamics over Networks. - Veeraruna Kavitha, Richard Combes:
Mixed Polling with Rerouting and Applications. - Raul Gonzalez, Eric Yawei Chen, Collin Jackson:
Automated Password Extraction Attack on Modern Password Managers. - Hector Zenil:
Turing, Randomness and Economics. - Zahra Sasanian, Robert Wille, D. Michael Miller:
Clarification on the Mapping of Reversible Circuits to the NCV-v1 Library. - Charles R. Ferenbaugh:
Experiments in Sustainable Software Practices for Future Architectures. - Zhengjun Cao, Lihua Liu:
Ordered Probability Mass Function. - Alireza Esna Ashari, Eric Feron:
Formally expressing the semantics of observer-based fault detection software. - Tara N. Sainath, Brian Kingsbury, Abdel-rahman Mohamed, George E. Dahl, George Saon, Hagen Soltau, Tomás Beran, Aleksandr Y. Aravkin, Bhuvana Ramabhadran:
Improvements to deep convolutional neural networks for LVCSR. - Laurent Jacques:
A Quantized Johnson Lindenstrauss Lemma: The Finding of Buffon's Needle. - Tara N. Sainath, Lior Horesh, Brian Kingsbury, Aleksandr Y. Aravkin, Bhuvana Ramabhadran:
Improving training time of Hessian-free optimization for deep neural networks using preconditioning and sampling. - Charith Perera, Arkady B. Zaslavsky, Michael Compton, Peter Christen, Dimitrios Georgakopoulos:
Semantic-driven Configuration of Internet of Things Middleware. - Shih-Chun Lin, Cheng-Liang Lin:
On Secrecy Capacity of Fast Fading MIMOME Wiretap Channels With Statistical CSIT. - Satyajit Thakor, Terence Chan, Alex J. Grant:
On the Capacity of Networks with Correlated Sources. - Xingqin Lin, Rapeepat Ratasuk, Amitava Ghosh, Jeffrey G. Andrews:
Modeling, Analysis and Optimization of Multicast Device-to-Device Transmission. - Oliver Obst, Adrian Trinchi, Simon G. Hardin, Matthew Chadwick, Ivan Cole, Tim H. Muster, Nigel Hoschke, Diet Ostry, Don Price, Khoa N. Pham, Tim Wark:
Nano-scale reservoir computing. - Oliver Obst, Joschka Boedecker:
Guided Self-Organization of Input-Driven Recurrent Neural Networks. - Weibing Deng, Armen E. Allahverdyan, B. Li, Qiuping A. Wang:
Rank-frequency relation for Chinese characters. - Yu-Xiang Wang, Choon Meng Lee, Loong-Fah Cheong, Kim-Chuan Toh:
Practical Matrix Completion and Corruption Recovery using Proximal Alternating Robust Subspace Minimization. - Weiran Wang, Miguel Á. Carreira-Perpiñán:
Projection onto the probability simplex: An efficient algorithm with a simple proof, and an application. - O. O. Ogunduyile, Keneilwe Zuva, O. A. Randle, Tranos Zuva:
Ubiquitous healthcare monitoring system using integrated triaxial accelerometer, spo2 and location sensors. - O. A. Randle, O. O. Ogunduyile, Tranos Zuva, N. A. Fashola:
A Comparism of the Performance of Supervised and Unsupervised Machine Learning Techniques in evolving Awale/Mancala/Ayo Game Player. - Nicolas Trotignon, Kristina Vuskovic:
Combinatorial optimization with 2-joins. - Joël Ouaknine, James Worrell:
Effective Positivity Problems for Simple Linear Recurrence Sequences. - Jørgen Bang-Jensen, Frédéric Havet, Nicolas Trotignon:
Finding an induced subdivision of a digraph. - Siyun Tang, Xiao Ma:
A New Chase-type Soft-decision Decoding Algorithm for Reed-Solomon Codes. - Yu Cao, Xiaoyan Guo, Stephen Todd:
Hyper-Graph Based Database Partitioning for Transactional Workloads. - Fedor V. Fomin, Ioan Todinca, Yngve Villanger:
Large induced subgraphs via triangulations and CMSO. - Lorenzo Fagiano, Carlo Novara:
Identification of nonlinear controllers from data: theory and computation. - Nikolaos Pappas, Marios Kountouris, Jeongho Jeon, Anthony Ephremides, Apostolos Traganitis:
Network-Level Cooperation in Energy Harvesting Wireless Networks. - David J. Wilson, James H. Davenport, Matthew England, Russell J. Bradford:
A "Piano Movers" Problem Reformulated. - Masahito Hayashi:
Security analysis of epsilon-almost dual universal2 hash functions. - Alireza Pourranjbar, Jane Hillston:
An Aggregation Technique For Large-Scale PEPA Models With Non-Uniform Populations. - Jian Gao, Linzhi Shen, Fang-Wei Fu:
Skew Generalized Quasi-Cyclic Codes over Finite Fields. - Jian Gao, Linzhi Shen, Fang-Wei Fu:
Quasi-Cyclic Codes Over Finite Chain Rings. - Hai Xiong, Longjiang Qu, Chao Li:
A New Method to Compute the 2-adic Complexity of Binary Sequences. - Pawel Dlotko, Ruben Specogna:
Topology preserving thinning for cell complexes. - Henri Casanova, Arnaud Giersch, Arnaud Legrand, Martin Quinson, Frédéric Suter:
SimGrid: a Sustained Effort for the Versatile Simulation of Large Scale Distributed Systems. - Coral Calero, María Ángeles Moraga, Manuel F. Bertoa:
Towards a Software Product Sustainability Model. - Derrick Wing Kwan Ng, Robert Schober, Hussein M. Alnuweiri:
Power Efficient MISO Beamforming for Secure Layered Transmission. - Dohy Hong:
Fast ranking algorithm for very large data. - Jinho D. Choi:
Preparing Korean Data for the Shared Task on Parsing Morphologically Rich Languages. - Randy W. Heiland, Betsy Thomas, Von Welch, Craig Jackson:
Toward a Research Software Security Maturity Model. - Yang Liu:
Towards a Unified Belief Structure in Games with indeterminate probabilities. - Pierre Olivier, Jalil Boukhobza, Eric Senn:
Flashmon V2: Monitoring Raw NAND Flash Memory I/O Requests on Embedded Linux. - Eric Angel, Evripidis Bampis, Vincent Chau:
Throughput Maximization in the Speed-Scaling Setting. - Garrett Bernstein, Kyle O'Brien:
Stochastic Agent-Based Simulations of Social Networks. - Shaun N. Joseph, Seif Omar Abu Bakr, Gabriel Lugo:
Convergence of Nearest Neighbor Pattern Classification with Selective Sampling. - Joshua A. Grochow, Youming Qiao:
Algorithms for group isomorphism via group extensions and cohomology. - Joost J. Joosten, Fernando Soler-Toscano, Hector Zenil:
Fractal dimension versus computational complexity. - Anshu Dubey, Steven R. Brandt, Richard C. Brower, M. Giles, Paul D. Hovland, Don Q. Lamb, Frank Löffler, Boyana Norris, Brian W. O'Shea, Claudio Rebbi, Marc Snir, Rajeev Thakur:
Software Abstractions and Methodologies for HPC Simulation Codes on Future Architectures. - Anshu Dubey, Brian van Straalen:
Experiences from Software Engineering of Large Scale AMR Multiphysics Code Frameworks. - Markus Blatt:
DUNE as an Example of Sustainable Open Source Scientific Software Development. - David Koop, Juliana Freire, Cláudio T. Silva:
Enabling Reproducible Science with VisTrails. - Eduardo Graells-Garrido, Barbara Poblete:
#Santiago is not #Chile, or is it? A Model to Normalize Social Media Impact. - Sekou L. Remy:
Web Standards as Standard Pieces in Robotics. - Troy A. Johnson, Patrick Seeling:
Desktop and Mobile Web Page Comparison: Characteristics, Trends, and Implications. - Mariano Beguerisse-Díaz, Borislav Vangelov, Mauricio Barahona:
Finding role communities in directed networks using Role-Based Similarity, Markov Stability and the Relaxed Minimum Spanning Tree. - Sean Ahern, Eric Brugger, Brad Whitlock, Jeremy S. Meredith, Kathleen Biagas, Mark C. Miller, Hank Childs:
VisIt: Experiences with Sustainable Software. - Lynn K. Zentner, Michael G. Zentner, Victoria Farnsworth, Michael McLennan, Krishna P. C. Madhavan, Gerhard Klimeck:
nanoHUB.org: Experiences and Challenges in Software Sustainability for a Large Scientific Community. - Daisie Huang, Hilmar Lapp:
Software Engineering as Instrumentation for the Long Tail of Scientific Software. - Haitao Wang:
Aggregate-Max Nearest Neighbor Searching in the Plane. - Nicholas M. Weber, Andrea K. Thomer, Michael B. Twidale:
Niche Modeling: Ecological Metaphors for Sustainable Software in Science. - Charith Perera, Arkady B. Zaslavsky, Michael Compton, Peter Christen, Dimitrios Georgakopoulos:
Context Aware Sensor Configuration Model for Internet of Things. - Frank Löffler, Steven R. Brandt, Gabrielle Allen, Erik Schnetter:
Cactus: Issues for Sustainable Simulation Software. - Ketan Maheshwari, David Kelly, Scott J. Krieder, Justin M. Wozniak, Daniel S. Katz, Mei Zhi-Gang, Mainak Mookherjee:
Reusability in Science: From Initial User Engagement to Dissemination of Results. - Jie Xu, Yangbo Song, Mihaela van der Schaar:
Information Sharing in Networks of Strategic Agents. - Craig A. Stewart, Julie Wernert, Eric A. Wernert, William K. Barnett, Von Welch:
Initial Findings from a Study of Best Practices and Models for Cyberinfrastructure Software Sustainability. - Haider Mehdi, Safeeullah Soomro, W. R. Khan, Abdul Ghafoor Memon, Abdul Hafeez:
Error-Rate Performance Analysis of Wireless Sensor Networks over Fading Channels. - Moustapha Diaby, Mark H. Karwan:
On Limits to the Scope of the Extended Formulations "Barriers". - Fatemeh Anari, Asefeh Asemi, Adeleh Asemi, Munir Abu Bakar:
Social Interactive Media Tools and Knowledge Sharing: A Case Study. - Shel Swenson, Yogesh Simmhan, Viktor K. Prasanna, Manish Parashar, E. Jason Riedy, David A. Bader, Richard W. Vuduc:
Sustainable Software Development for Next-Gen Sequencing (NGS) Bioinformatics on Emerging Platforms. - Jianqin Zhou, Wanquan Liu:
On the $k$-error linear complexity for $2^n$-periodic binary sequences via Cube Theory. - V. B. Surya Prasath, O. Haddad:
Radar shadow detection in SAR images using DEM and projections. - Prashanth B. U. V:
Design and Implementation of Wireless Energy Meter System for Monitoring the Single Phase Supply. - Pierre Aboulker, Marko Radovanovic, Nicolas Trotignon, Kristina Vuskovic:
Graphs that do not contain a cycle with a node that has at least two neighbors on it. - Raphael C. S. Machado, Celina M. H. de Figueiredo, Nicolas Trotignon:
Edge-colouring and total-colouring chordless graphs. - (Withdrawn) Approximation Algorithms for a Balanced Capacity and Distance Constrained Vehicle Routing Problem.
- Guosheng Lin, Chunhua Shen, David Suter, Anton van den Hengel:
A General Two-Step Approach to Learning-Based Hashing. - Jan Egger, Junichi Tokuda, Laurent Chauvin, Bernd Freisleben, Christopher Nimsky, Tina Kapur, William M. Wells III:
Integration of the OpenIGTLink Network Protocol for Image-Guided Therapy with the Medical Platform MeVisLab. - John-Olof Nilsson, Peter Händel:
Timing estimation in distributed sensor and control systems with central processing. - Leopoldo E. Bertossi, Jaffer Gardezi:
Tractable vs. Intractable Cases of Matching Dependencies for Query Answering under Entity Resolution. - Jana Pazúriková, Ludek Matyska:
Parallel methods for calculation of long-range electrostatic interactions. - Eduardo Graells-Garrido, Ricardo Baeza-Yates:
Evolution of the Chilean Web: A Larger Study. - Azamat Mametjanov, Boyana Norris:
Software Autotuning for Sustainable Performance Portability. - Joël Ouaknine, James Worrell:
Ultimate Positivity is Decidable for Simple Linear Recurrence Sequences. - Eduardo Graells-Garrido, María Cecilia Rivara:
Zahir: a Object-Oriented Framework for Computer Graphics. - Gopalakrishna Palem:
Condition-Based Maintenance using Sensor Arrays and Telematics. - Nigam Chandra Parida, Soumyendu Raha, Anand Ramani:
Rollover Preventive Force Synthesis at Active Suspensions in a Vehicle Performing a Severe Maneuver with Wheels Lifted off. - Ramon Ferrer-i-Cancho:
The placement of the head that minimizes online memory: a complex systems approach. - Maria Chudnovsky, Paul D. Seymour, Nicolas Trotignon:
Detecting an induced net subdivision. - Feng Wu, Nicholas R. Jennings:
Regret-Based Multi-Agent Coordination with Uncertain Task Rewards. - Uri Mendlovic, Meir Feder:
Source Broadcasting to the Masses: Separation has a Bounded Loss. - Pritom Ahmed, Costas S. Iliopoulos, A. S. M. Sohidull Islam, M. Sohel Rahman:
The Swap Matching Problem Revisited. - Mark Mawson, Alistair J. Revell:
Memory transfer optimization for a lattice Boltzmann solver on Kepler architecture nVidia GPUs. - Stefano Riverso, Marcello Farina, Riccardo Scattolini, Giancarlo Ferrari-Trecate:
Plug-and-play distributed state estimation for linear systems. - Andrew Dodson, Roy McCann:
A Direct Power Controlled and Series Compensated EHV Transmission Line. - Obaid Ur Rehman, Ian R. Petersen:
A Robust Continuous Time Fixed Lag Smoother for Nonlinear Uncertain Systems. - Mohammad Reza Gholami, Luba Tetruashvili, Erik G. Ström, Yair Censor:
Cooperative Wireless Sensor Network Positioning via Implicit Convex Feasibility. - Amit Chakrabarti, Sagar Kale:
Submodular Maximization Meets Streaming: Matchings, Matroids, and More. - (Withdrawn) On the Strategic Allocation of Social Gratification.
- Sapan Naik, Nikunj Patel:
Single image super resolution in spatial and wavelet domain. - Luc Segoufin, Balder ten Cate:
Unary negation. - Qiang Qiu, Guillermo Sapiro:
Learning Transformations for Clustering and Classification. - Nuno Mendes, Pedro Neto, J. Norberto Pires, Altino Loureiro:
An optimal fuzzy-PI force/motion controller to increase industrial robot autonomy. - Pedro Neto, Nuno Mendes:
Direct off-line robot programming via a common CAD package. - Pedro Neto, Nuno Mendes, J. Norberto Pires, António Paulo Moreira:
CAD-based robot programming: The role of Fuzzy-PI force control in unstructured environments. - Elena Bellodi, Fabrizio Riguzzi:
Structure Learning of Probabilistic Logic Programs by Searching the Clause Space. - Nuno Mendes, Pedro Neto, J. Norberto Pires, Altino Loureiro:
Discretization and fitting of nominal data for autonomous robots. - Pedro Neto, Dário Pereira, J. Norberto Pires, António Paulo Moreira:
Real-Time and Continuous Hand Gesture Spotting: an Approach Based on Artificial Neural Networks. - Pedro Neto, Nuno Mendes, Ricardo Araújo, J. Norberto Pires, António Paulo Moreira:
High-level robot programming based on CAD: dealing with unpredictable environments. - Marcos Ferreira, António Paulo Moreira, Pedro Neto:
A low-cost laser scanning solution for flexible robotic cells: spray coating. - Pedro Neto, J. Norberto Pires, António Paulo Moreira:
Accelerometer-based control of an industrial robotic arm. - Pedro Neto, J. Norberto Pires, António Paulo Moreira:
High-level programming and control for industrial robotics: using a hand-held accelerometer-based input device for gesture and posture recognition. - Gregory Alvarez, Charles Berenguer:
Puzzle Encryption Algorithm. - Nathan J. Bowler, Sergey Goncharov, Paul Blain Levy, Lutz Schröder:
Exploring the Boundaries of Monad Tensorability on Set. - Nicolas Dugué, Vincent Labatut, Anthony Perez:
Rôle communautaire des capitalistes sociaux dans Twitter. - Tero Harju, Mike Müller:
Square-Free Shuffles of Words. - Pierre-Jean Spaenlehauer:
Complexity Bounds for Computing Critical Points with Gröbner Bases Algorithms: the Mixed Case. - Yongxin Wang, Kumbesan Sandrasegaran, Xinning Zhu, Jingjing Fei, Xiaoying Kong, Cheng-Chung Lin:
Frequency and time domain packet scheduling based on channel prediction with imperfect CQI in LTE. - Derrick Wing Kwan Ng, Robert Schober, Hussein M. Alnuweiri:
Secure Layered Transmission in Multicast Systems with Wireless Information and Power Transfer. - K. S. Kuppusamy, Leena Mary Francis, Gnanasekaran Aghila:
COSMOS A Context Sensitive Model For Dynamic Configuration Of Smartphones Using Multifactor Analysis. - Nicolas de Rugy-Altherre:
Determinant versus Permanent: salvation via generalization? The algebraic complexity of the Fermionant and the Immanant. - Yessica Saez, Laszlo B. Kish, Robert Mingesz, Zoltan Gingl, Claes-Goran Granqvist:
Current and voltage based bit errors and their combined mitigation for the Kirchhoff-law-Johnson-noise secure key exchange. - Seyyed Reza Khaze, Mohammad Masdari, Sohrab Hojjatkhah:
Application of Artificial Neural Networks in Estimating Participation in Elections. - Przemyslaw A. Grabowicz, Luca Maria Aiello, Víctor M. Eguíluz, Alejandro Jaimes:
Distinguishing Topical and Social Groups Based on Common Identity and Bond Theory. - Mohammad Amir Khusru Akhtar, Gadadhar Sahoo:
A Novel Methodology to Overcome Routing Misbehavior in MANET using Retaliation Model. - Didem Gözüpek, Fatih Alagöz:
A Fair Scheduling Model for Centralized Cognitive Radio Networks. - Subhonmesh Bose, Elizabeth Bodine-Baron, Babak Hassibi, Adam Wierman:
The Cost of an Epidemic over a Complex Network: A Random Matrix Approach. - Ram Chandra Singh Chauhan, Yatindra Nath Singh, Rachna Asthana:
A Search Algorithm to Find Multiple Sets of One Dimensional Unipolar (Optical) Orthogonal Codes with Same Code-length and Low Weight. - Ram Chandra Singh Chauhan, Yatindra Nath Singh, Rachna Asthana:
Design of Two Dimensional Unipolar (Optical) Orthogonal Codes Through One Dimensional Unipolar (Optical) Orthogonal Codes. - Olivier Serres, Abdullah Kayi, Ahmad Anbar, Tarek A. El-Ghazawi:
Hardware Support for Address Mapping in PGAS Languages; a UPC Case Study. - Saleh Almowuena:
An Efficient Key Agreement Scheme for Wireless Sensor Networks Using Third Parties. - Néstor Cataño, Camilo Rueda, Tim Wahls:
A Machine-Checked Proof for a Translation of Event-B Machines to JML. - Ebrahim MolavianJazi, J. Nicholas Laneman:
A Finite-Blocklength Perspective on Gaussian Multi-Access Channels. - Moez A. AbdelGawad:
An Overview of Nominal-Typing versus Structural-Typing in Object-Oriented Programming. - Shahin Shahrampour, Ali Jadbabaie:
Exponentially Fast Parameter Estimation in Networks Using Distributed Dual Averaging. - Rodrigo Lopez-Pablos:
Elementos de ingeniería de explotación de la información aplicados a la investigación tributaria fiscal. - Kirsch N. Mackey, Roy A. McCann:
An Optimal Load-Frequency Control Method for Inverter-Based Renewable Energy Transmission. - Anne C. Elster:
Software for Science: Some Personal Reflections. - Bolimera Ravi, T. Kishore Kumar:
Speech Enhancement using Kernel and Normalized Kernel Affine Projection Algorithm. - Arpna Shrivastava, R. C. Jain:
Performance analysis of modified algorithm for finding multilevel association rules. - Yahia Benmoussa, Jalil Boukhobza, Eric Senn, Djamel Benazzouz, Yassine Hadjadj Aoul:
DyPS: Dynamic Processor Switching for Energy-Aware Video Decoding on Multi-core SoCs. - Martin Avanzini, Georg Moser:
Polynomial Path Orders. - Steven Chaplick, Radoslav Fulek, Pavel Klavík:
Extending Partial Representations of Circle Graphs. - Rui Fan, Jichang Zhao, Yan Chen, Ke Xu:
Anger is More Influential Than Joy: Sentiment Correlation in Weibo. - Dian Pratiwi:
Implementation of Function Point Analysis in Measuring The Volume Estimation of Software System in Object Oriented and Structural Model of Academic System. - Nicolás Robinson-García, Daniel Torres-Salinas, Juan Miguel Campanario, Emilio Delgado López-Cózar:
Letter to the editor: Against the Resilience of Rejected Manuscripts. - Emilio Delgado López-Cózar, Nicolás Robinson-García, Daniel Torres-Salinas:
The Google Scholar Experiment: how to index false papers and manipulate bibliometric indicators. - (Withdrawn) Robust watermarking based on DWT SVD.
- Rashmi Rai, G. Sahoo, Shabana Mehfuz:
Securing Software as a Service Model of Cloud Computing: Issues and Solutions. - Max Kemman, Martijn Kleppe, Stef Scagliola:
Just Google It - Digital Research Practices of Humanities Scholars. - Marco Guazzone, Cosimo Anglano, Roberto Aringhieri, Matteo Sereno:
Distributed Coalition Formation in Energy-Aware Cloud Federations: A Game-Theoretic Approach (Extended Version). - Karthik Reddy G:
Low power-area designs of 1bit full adder in cadence virtuoso platform. - Harinder Singh, Parteek Kumar:
Implementation of nlization framework for verbs, pronouns and determiners with eugene. - Abhinav Ganesan, B. Sundar Rajan:
Interference Alignment with Diversity for the 2 × 2 X-Network with three antennas. - Rakesh Mohanty, Sangita Patel, Shiba Prasad Dash, Burle Sharma:
TRANS outperforms MTF for two special types of request sequences without locality of reference. - Fabrice Kordon, Alban Linard, Marco Beccuti, Didier Buchs, Lukasz Fronc, Lom-Messan Hillah, Francis Hulin-Hubard, Fabrice Legond-Aubry, Niels Lohmann, Alexis Marechal, Emmanuel Paviot-Adet, Franck Pommereau, César Rodríguez, Christian Rohr, Yann Thierry-Mieg, Harro Wimmel, Karsten Wolf:
Model Checking Contest @ Petri Nets, Report on the 2013 edition. - Ying Ding, Min Song, Jia Han, Qi Yu, Erjia Yan, Lili Lin, Tamy Chambers:
Entitymetrics: Measuring the Impact of Entities. - Bob Diertens:
The Refined Function-Behaviour-Structure Framework. - Andrea Simonetto, Geert Leus:
On Distributed Optimization, Convex Relaxations, and Sensor Network Localization Problems. - Ahlam Maqqor, Akram Halli, Khalid Satori:
A multi-stream hmm approach to offline handwritten arabic word recognition. - Eva Darulova, Viktor Kuncak:
On Sound Compilation of Reals. - Giorgio Audrito, Alexandru I. Tomescu:
Enumeration of the adjunctive hierarchy of hereditarily finite sets. - R. H. Vishwanath, S. Leena, K. C. Srikantaiah, K. Shreekrishna Kumar, P. Deepa Shenoy, K. R. Venugopal, S. S. Iyengar, Lalit M. Patnaik:
Forecasting Stock Time-Series using Data Approximation and Pattern Sequence Similarity. - (Withdrawn) Max-Flows on Sparse and Dense Networks.
- Michal Feldman, Brendan Lucier, Vasilis Syrgkanis:
Limits of Efficiency in Sequential Auctions. - Yahia Benmoussa, Jalil Boukhobza, Eric Senn, Djamel Benazzouz:
Evaluation of the Performance/Energy Overhead in DSP Video Decoding and its Implications. - Supratim Deb, Pantelis Monogioudis:
Learning Based Uplink Interference Management in 4G LTE Cellular Systems. - Erjia Yan:
Finding knowledge paths among scientific disciplines. - Fulvio Forni, Rodolphe Sepulchre, Arjan van der Schaft:
On differential passivity of physical systems. - Guodong Shi, Alexandre Proutière, Mikael Johansson, Karl Henrik Johansson:
Randomized Consensus with Attractive and Repulsive Links. - K. S. Sesh Kumar, Francis R. Bach:
Maximizing submodular functions using probabilistic graphical models. - Bondu Venkateswarlu, G. S. V. Prasad Raju:
Mine Blood Donors Information through Improved K-Means Clustering. - Hany SalahEldeen, Michael L. Nelson:
Resurrecting My Revolution: Using Social Link Neighborhood in Bringing Context to the Disappearing Web. - Sven Köhler, Bertram Ludäscher, Daniel Zinn:
First-Order Provenance Games. - Jeannette Bohg, Antonio Morales, Tamim Asfour, Danica Kragic:
Data-Driven Grasp Synthesis - A Survey. - Robert McColl, David Ediger, Jason Poovey, Dan Campbell, David A. Bader:
A Brief Study of Open Source Graph Databases. - Eduardo Graells-Garrido, Ricardo Baeza-Yates:
Caracterizando la Web Chilena. - Francesco Marigo:
Complete Valuations on Finite Distributive Lattices. - Han Su:
CrowdPlanner: A Crowd-Based Route Recommendation System. - Eleazar Chukwuka, Kamran Arshad:
Energt Efficient MAC Protocols for Wireless Sensor Network: A Survey. - Victor Pillac, Pascal Van Hentenryck, Caroline Even:
A Conflict-Based Path-Generation Heuristic for Evacuation Planning. - Son Hoang Dau, Wentu Song, Chau Yuen:
On Block Security of Regenerating Codes at the MBR Point for Distributed Storage Systems. - (Withdrawn) Asymptotically Optimal Beamforming for Video Streaming in Multi-Antenna Interference Networks.
- Ankit Sharma, Jan Vondrák:
Multiway Cut, the Golden Ratio, and Descending Thresholds. - Pengkai Zhao, Babak Daneshrad:
Adaptive Switching Between Single/Concurrent Link Scheme in Single Hop MIMO Networks. - Junping Zhou, Weihua Su, Minghao Yin:
Approximate Counting CSP Solutions Using Partition Function. - Raphael C. S. Machado, Celina M. H. de Figueiredo, Nicolas Trotignon:
Complexity of colouring problems restricted to unichord-free and \{square, unichord\}-free graphs. - Juan Carlos Moreno, V. B. Surya Prasath, Gil Melfe Mateus Santos, Hugo Proença:
Robust Periocular Recognition By Fusing Sparse Representations of Color and Geometry Information. - Patoomsiri Songsiri, Thimaporn Phetkaew, Boonserm Kijsirikul:
Enhancements of Multi-class Support Vector Machine Construction from Binary Learners using Generalization Performance. - Pierre Sutra, Etienne Rivière, Pascal Felber:
An Efficient Distributed Obstruction-Free Compare-And-Swap Primitive. - Hyde Zhang, Stian Soiland-Reyes, Carole A. Goble:
Taverna Mobile: Taverna workflows on Android. - Ingrid Dillo, René van Horik, Andrea Scharnhorst:
Training in Data Curation as Service in a Federated Data Infrastructure - the FrontOffice-BackOffice Model. - Oladunni Femijemilohun, Stuart D. Walker:
Empirical Performance Evaluation of Enhanced Throughput Schemes of IEEE802.11 Technology in Wireless Area Networks. - Ferdinando Cicalese, Eduardo Sany Laber, Aline Medeiros Saettler:
Decision Trees for the efficient evaluation of discrete functions: worst case and expected case analysis. - Stéphane Le Roux:
Lazy beats crazy: a spurious yet mathematical justification for laissez-faire. - Krishnendu Chatterjee, Martin Chmelik, Mathieu Tracol:
What is Decidable about Partially Observable Markov Decision Processes with ω-Regular Objectives. - Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Amélie Stainer:
Emptiness and Universality Problems in Timed Automata with Positive Frequency. - Alexandre Denis, Samuel Cruz-Lara, Nadia Bellalem:
General Purpose Textual Sentiment Analysis and Emotion Detection Tools. - Muhammad Rizwan Asghar, Giovanni Russello:
ACTORS: A Goal-driven Approach for Capturing and Managing Consent in e-Health Systems. - Qingchuan Wang, Chen He, Lingge Jiang:
Analytical Framework of LDGM-based Iterative Quantization with Decimation. - Fredrik Johansson:
Rigorous high-precision computation of the Hurwitz zeta function and its derivatives. - Arman Boyaci, Tínaz Ekim, Mordechai Shalom, Shmuel Zaks:
Graphs of Edge-Intersecting Non-Splitting Paths in a Tree: Towards Hole Representations-Part I. - Joseph Hannigan, Guillermo Hernandez, Richard M. Medina, Patrick Roos, Paulo Shakarian:
Mining for Spatially-Near Communities in Geo-Located Social Networks. - Jonathan Ponniah, Yih-Chun Hu, P. R. Kumar:
A System-Theoretic Clean Slate Approach to Provably Secure Ad Hoc Wireless Networking. - Naci Saldi, Tamás Linder, Serdar Yüksel:
Randomized Quantization and Source Coding with Constrained Output Distribution. - Chunxiao Jiang, Yan Chen, K. J. Ray Liu:
Evolutionary Information Diffusion over Social Networks. - Chunxiao Jiang, Yan Chen, Yang Gao, K. J. Ray Liu:
Indian Buffet Game with Negative Network Externality and Non-Bayesian Social Learning. - Paulo Shakarian, Sean Eyre, Damon Paulo:
A Scalable Heuristic for Viral Marketing Under the Tipping Model. - Marcus D. Hanwell, Amitha Perera, Wes Turner, Patrick O'Leary, Katie Osterdahl, Bill Hoffman, William J. Schroeder:
Sustainable Software Ecosystems for Open Science. - Francisco Chicano, Andrew M. Sutton, L. Darrell Whitley, Enrique Alba:
Fitness Probability Distribution of Bit-Flip Mutation. - Daniel M. Kane:
The Average Sensitivity of an Intersection of Half Spaces. - (Withdrawn) The Classification Accuracy of Multiple-Metric Learning Algorithm on Multi-Sensor Fusion.
- Frank Nielsen, Richard Nock:
On the Chi square and higher-order Chi distances for approximating f-divergences. - Azlan Iqbal:
How Relevant Are Chess Composition Conventions? - Ping Cao, Zhao Dong, Ke Liu, Kai-Yuan Cai:
Robust Dynamic Selection of Tested Modules in Software Testing for Maximizing Delivered Reliability. - Matthew Gwynne, Oliver Kullmann:
On SAT representations of XOR constraints. - Neetu Goel, R. B. Garg:
Simulation of an Optimum Multilevel Dynamic Round Robin Scheduling Algorithm. - Francis R. Bach:
Convex relaxations of structured matrix factorizations. - Johannes Kotremba, Stefan Raß, Robert Singer:
Distributed Business Processes - A Framework for Modeling and Execution. - Ton Chanh Le:
Preliminary Notes on Termination and Non-Termination Reasoning. - Xiao-Bo Jin, Guanggang Geng, Dexian Zhang:
Combination of Multiple Bipartite Ranking for Web Content Quality Evaluation. - Steffen Limmer, Slawomir Stanczak, Mario Goldenbaum, Renato L. G. Cavalcante:
Exploiting Interference for Efficient Distributed Computation in Cluster-based Wireless Sensor Networks. - Mahmood S. Saadeh, Roy McCann:
Improved Stability Design of Interconnected Distributed Generation Resources. - Michael Borokhovich, Stefan Schmid:
How (Not) to Shoot in Your Foot with SDN Local Fast Failover: A Load-Connectivity Tradeoff. - Congzhe Cao, Zesong Fei, Jinhong Yuan, Jingming Kuang:
Low Complexity List Successive Cancellation Decoding of Polar Codes. - Roberto Asín, Juan Olate, Leo Ferres:
Cache Performance Study of Portfolio-Based Parallel CDCL SAT Solvers. - Chen Avin, Asaf Cohen, Yoram Haddad, Erez Kantor, Zvi Lotker, Merav Parter, David Peleg:
SINR Diagram with Interference Cancellation. - Zesong Fei, Congzhe Cao, Ming Xiao, Iqbal Hussain, Jingming Kuang:
Improved LT Codes in Low Overhead Regions for Binary Erasure Channels. - Arthur Carvalho, Stanko Dimitrov, Kate Larson:
Proper Scoring Rules for Unobservable Outcomes: An Application to the Peer-Review Process. - Paolo Di Lorenzo, Sergio Barbarossa:
Distributed Estimation and Control of Algebraic Connectivity over Random Graphs. - Jürgen Bokowski, Vincent Pilaud:
On topological and geometric $(19_4)$ configurations. - Kalle Rutanen, Germán Gómez-Herrero, Sirkka-Liisa Eriksson, Karen O. Egiazarian:
A general definition of the big-oh notation for algorithm analysis. - Li Wang, Jie Shao, Yaqin Zhong, Weisong Zhao, Reza Malekian:
Modeling Based on Elman Wavelet Neural Network for Class-D Power Amplifiers. - Shayan Oveis Gharan, Luca Trevisan:
Partitioning into Expanders. - Akram Ajouli, Julien Cohen, Jean-Claude Royer:
Transformations between Composite and Visitor implementations in Java. - Iman Esmaili Paeen Afrakoti, Saeed Bagheri Shouraki, Farnood Merrikh-Bayat:
Using memristor crossbar structure to implement a novel adaptive real time fuzzy modeling algorithm. - Xiaoyu Chu, Harish Sethu:
Cooperative Topology Control with Adaptation for Improved Lifetime in Wireless Sensor Networks. - Xiaoyu Chu, Harish Sethu:
An Energy Balanced Dynamic Topology Control Algorithm for Improved Network Lifetime. - Salman Hooshmand, Mehdi Behshameh, Omid Hamidi:
A tabu search algorithm with efficient diversification strategy for high school timetabling problem. - Fatemeh Hamidi-Sepehr, Henry D. Pfister, Jean-François Chamberland:
Delay-Sensitive Communication over Fading Channel: Queueing Behavior and Code Parameter Selection. - Zeineb Abderrahim, Elhem Techini, Mohamed Salim Bouhlel:
Progressive Compression of 3D Objects with an Adaptive Quantization. - Chen Avin, Michael Borokhovich, Stefan Schmid:
OBST: A Self-Adjusting Peer-to-Peer Overlay Based on Multiple BSTs. - C. Seshadhri, Ali Pinar, Tamara G. Kolda:
Wedge Sampling for Computing Clustering Coefficients and Triangle Counts on Large Graphs. - Ted Underwood, Michael L. Black, Loretta Auvil, Boris Capitanu:
Mapping Mutable Genres in Structurally Complex Volumes. - Peter Alvaro, Neil Conway, Joseph M. Hellerstein, David Maier:
Blazes: Coordination Analysis for Distributed Programs. - Aditya Vempaty, Lav R. Varshney, Pramod K. Varshney:
Reliable Crowdsourcing for Multi-Class Labeling using Coding Theory. - Parama Bagchi, Debotosh Bhattacharjee, Mita Nasipuri, Dipak Kumar Basu:
A Novel Approach in detecting pose orientation of a 3D face required for face. - Yanshan Wang, In-Chan Choi, Jae-Sung Lee:
Indexing by Latent Dirichlet Allocation. - Parama Bagchi, Debotosh Bhattacharjee, Mita Nasipuri, Dipak Kr. Basu:
A method for nose-tip based 3D face registration using maximum intensity algorithm. - Zhong-qin Wang, Ning Ye, Reza Malekian, Tingting Zhao, Ruchuan Wang:
Measuring the similarity of PML documents with RFID-based sensors. - Benjamin Bond, Lionel Levine:
Abelian networks: foundations and examples. - Daniel Frank, Karlheinz Ochs, Aydin Sezgin:
A Systematic Approach for Interference Alignment in CSIT-less Relay-Aided X-Networks. - Moreno Marzolla, Gabriele D'Angelo, Marco Mandrioli:
A Parallel Data Distribution Management Algorithm. - Vijayvaradharaj T. Muralidharan, B. Sundar Rajan:
Wireless Bidirectional Relaying, Latin Squares and Graph Vertex Coloring. - Sabyasachi Mukhopadhyay, Paritosh Bhattacharya, Bankim Bihari Ghosh:
Application of Vertex coloring in a particular triangular closed path structure and in Krafts inequality. - Joshua W. S. Brown, Olga Ohrimenko, Roberto Tamassia:
Haze: Privacy-Preserving Real-Time Traffic Statistics. - Gary L. Miller, Richard Peng, Shen Chen Xu:
Parallel Algorithms for Approximate Undirected Shortest Paths in $m\log^{3+α}n$ Work. - Qi Cheng, Jiyou Li, Jincheng Zhuang:
On Determining Deep Holes of Generalized Reed-Solomon Codes. - Don J. Torrieri, Salvatore Talarico, Matthew C. Valenti:
Multihop Routing in Ad Hoc Networks. - Feng Jiang, Jie Chen, A. Lee Swindlehurst:
Optimal Power Allocation for Parameter Tracking in a Distributed Amplify-and-Forward Sensor Network. - Abdelrahman M. Ibrahim, Tamer A. ElBatt, Amr El-Keyi:
Coverage Probability Analysis for Wireless Networks Using Repulsive Point Processes. - Fionn Murtagh:
Ultrametric Component Analysis with Application to Analysis of Text and of Emotion. - Charith Perera, Arkady B. Zaslavsky, Chi Harold Liu, Michael Compton, Peter Christen, Dimitrios Georgakopoulos:
Sensor Search Techniques for Sensing as a Service Architecture for The Internet of Things. - Hyunjun Kim, Cihan Tepedelenlioglu:
Unified Sum-BER Performance Analysis of AF MIMO Beamforming in Two-Way Relay Networks. - Ashutosh Singh, Yatindra Nath Singh:
Multipath Approach for Reliability in Query Network based Overlaid Multicasting. - (Withdrawn) An Alternate method to find the chromatic number of a Finite, Connected Graph.
- Frederik Armknecht, Manuel Hauptmann, Stefanie Roos, Thorsten Strufe:
Protecting Public OSN Posts from Unintended Access. - (Withdrawn) Dead Zone Penetration Protocol for Cognitive Radio Networks.
- Steffen Eger:
(Failure of the) Wisdom of the crowds in an endogenous opinion dynamics model with multiply biased agents. - Mohammad Fanaei, Matthew C. Valenti, Natalia A. Schmid:
Power Allocation for Distributed BLUE Estimation with Full and Limited Feedback of CSI. - Sungjin Im, Maxim Sviridenko:
Optimizing Maximum Flow Time and Maximum Throughput in Broadcast Scheduling. - Nicolae Cleju:
Optimized projections for compressed sensing via rank-constrained nearest correlation matrix. - Pece Mitrevski, Marjan Gusev:
On the Performance Potential of Speculative Execution based on Branch and Value Prediction. - Olivera Kostoska, Pece Mitrevski, Ilija Hristoski:
ICT and Competitiveness of the Macedonian Economy. - Ilija Hristoski, Pece Mitrevski:
Simulating e-Commerce Client-Server Interaction for Capacity Planning. - Paul Beame, Raphaël Clifford, Widad Machmouchi:
Element Distinctness, Frequency Moments, and Sliding Windows. - Yang Liu, Mingyan Liu, Sahand Haji Ali Ahmad:
Sufficient Conditions on the Optimality of Myopic Sensing in Opportunistic Channel Access: A Unifying Framework. - Luis Evaristo Caraballo, Carlos Ochoa, Pablo Pérez-Lantero:
Matching colored points with rectangles. - Yang Liu, Mingyan Liu:
Group Learning and Opinion Diffusion in a Broadcast Network. - Ágnes Cseh:
Stable flows with restricted edges. - Yang Liu, Mingyan Liu:
To Stay Or To Switch: Multiuser Dynamic Channel Access. - Yang Liu, Mingyan Liu, Jing Deng:
Revisiting Optimal Power Control: its Dual Effect on SNR and Contention. - Osvaldo Skliar, Ricardo E. Monge, Guillermo Oviedo, Sherry Gapper:
A New Method for the Analysis of Signals: The Square Wave Transform (SWT). - Alexander Fish, Shamgar Gurevich:
The Incidence and Cross Methods for Efficient Radar Detection. - Matias Martinez, Laurence Duchien, Martin Monperrus:
Automatically Extracting Instances of Code Change Patterns with AST Analysis. - Jixue Liu, Selasi Kwashie, Jiuyong Li, Feiyue Ye, Millist W. Vincent:
Discovery of Approximate Differential Dependencies. - Sian-Jheng Lin, Wei-Ho Chung:
Novel Repair-by-Transfer Codes and Systematic Exact-MBR Codes with Lower Complexities and Smaller Field Sizes. - Sparsh Mittal:
Energy Saving Techniques for Phase Change Memory (PCM). - Rahul Singh, I-Hong Hou, P. R. Kumar:
Pathwise Performance of Debt Based Policies for Wireless Networks with Hard Delay Constraints. - Keke Zu, Rodrigo Caiado de Lamare, Martin Haardt:
Low-Complexity Design of Generalized Block Diagonalization Precoding Algorithms for Multiuser MIMO Systems. - Ishani Chakraborty, Ahmed M. Elgammal:
Visual-Semantic Scene Understanding by Sharing Labels in a Context Network. - Tobias Friedrich, Frank Neumann, Christian Thyssen:
Multiplicative Approximations, Optimal Hypervolume Distributions, and the Choice of the Reference Point. - Haiyang Qian, Fu Li, Ravishankar Ravindran, Deep Medhi:
Energy-Aware Aggregation of Dynamic Temporal Workload in Data Centers. - Arpita Chakraborty, Srinjoy Ganguly, Mrinal Kanti Naskar, Anupam Karmakar:
A Trust Based Fuzzy Algorithm for Congestion Control in Wireless Multimedia Sensor Networks (TFCC). - Michael Van den Bergh, Xavier Boix, Gemma Roig, Luc Van Gool:
SEEDS: Superpixels Extracted via Energy-Driven Sampling. - Tong-Wook Shinn, Tadao Takaoka:
Efficient Graph Algorithms for Network Analysis. - Oswin Aichholzer, Thomas Hackl, Matias Korman, Alexander Pilz, Birgit Vogtenhuber:
Geodesic-Preserving Polygon Simplification. - Kechao Huang, Chulong Liang, Xiao Ma, Baoming Bai:
Unequal Error Protection by Partial Superposition Transmission Using LDPC Codes. - Wuqiong Luo, Wee-Peng Tay:
Finding an infection source under the SIS model. - Huyen Do, Alexandros Kalousis:
A Metric-learning based framework for Support Vector Machines and Multiple Kernel Learning. - Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann:
On Characterising Distributability. - Folke Mitzlaff, Martin Atzmueller, Dominik Benz, Andreas Hotho, Gerd Stumme:
User-Relatedness and Community Structure in Social Interaction Networks. - Laura Luzzi, Roope Vehkalahti:
A new design criterion for spherically-shaped division algebra-based space-time codes. - Marco Guerini, Jacopo Staiano, Davide Albanese:
Exploring Image Virality in Google Plus. - Eric Goubault, Sylvie Putot:
Robustness analysis of finite precision implementations. - Damien Cassou, Stéphane Ducasse, Nicolas Petton:
SafeJS: Hermetic Sandboxing for JavaScript. - Gaétan Marceau, Pierre Savéant, Marc Schoenauer:
Strategic Planning in Air Traffic Control as a Multi-objective Stochastic Optimization Problem. - Dariusz Biernacki, Sergueï Lenglet:
Environmental Bisimulations for Delimited-Control Operators. - Gaétan Marceau, Pierre Savéant, Marc Schoenauer:
Computational Methods for Probabilistic Inference of Sector Congestion in Air Traffic Management. - Anuj Sharma, Prabin Kumar Panigrahi:
A Review of Financial Accounting Fraud Detection based on Data Mining Techniques. - Anuj Sharma, Prabin Kumar Panigrahi:
A Neural Network based Approach for Predicting Customer Churn in Cellular Network Services. - Anuj Sharma, Shubhamoy Dey:
Using Self-Organizing Maps for Sentiment Analysis. - Anuj Sharma, Shubhamoy Dey:
Performance Investigation of Feature Selection Methods. - Kato Mivule, Claude Turner:
A Review of Privacy Essentials for Confidential Mobile Data Transactions. - Kato Mivule:
Utilizing Noise Addition for Data Privacy, an Overview. - Kush R. Varshney:
Bounded Confidence Opinion Dynamics in a Social Network of Bayesian Decision Makers. - Andreas Gemsa, Benjamin Niedermann, Martin Nöllenburg:
Trajectory-Based Dynamic Map Labeling. - Kato Mivule, Claude Turner:
An Investigation of Data Privacy and Utility Preservation using KNN Classification as a Gauge. - Pan Feng, Zhang Heng-liang, Qi Jie:
Problem Complexity Research from Energy Perspective. - Fabrizio Altarelli, Alfredo Braunstein, Carla-Fabiana Chiasserini, Luca Dall'Asta, Paolo Giaccone, Emilio Leonardi, Riccardo Zecchina:
Stochastic Optimization of Service Provision with Selfish Users. - Debesh K. Das, Debabani Chowdhury, Bhargab B. Bhattacharya, Tsutomu Sasao:
Inadmissible Class of Boolean Functions under Stuck-at Faults. - Hani Mehrpouyan, Mohammad Reza Khanzadi, Michail Matthaiou, Akbar M. Sayeed, Robert Schober, Yingbo Hua:
Improving Bandwidth Efficiency in E-band Communication Systems. - Ahmed Alsum, Michele C. Weigle, Michael L. Nelson, Herbert Van de Sompel:
Profiling Web Archive Coverage for Top-Level Domain and Content Language. - Yasmin AlNoamany, Michele C. Weigle, Michael L. Nelson:
Access Patterns for Robots and Humans in Web Archives. - Yasmin AlNoamany, Ahmed Alsum, Michele C. Weigle, Michael L. Nelson:
Who and What Links to the Internet Archive. - Pål Grønås Drange, Fedor V. Fomin, Michal Pilipczuk, Yngve Villanger:
Exploring Subexponential Parameterized Complexity of Completion Problems. - Patrick C. McGuire, A. Bonnici, K. R. Bruner, Christoph Gross, Jens Ormö, R. A. Smosna, Sebastian Walter, Lorenz Wendt:
The Cyborg Astrobiologist: Matching of Prior Textures by Image Compression for Geological Mapping and Novelty Detection. - Abdellatif Zaidi, Zohaib Hassan Awan, Shlomo Shamai, Luc Vandendorpe:
Secure Degrees of Freedom of MIMO X-Channels with Output Feedback and Delayed CSIT. - John D. Faben, Mark Jerrum:
The complexity of parity graph homomorphism: an initial investigation. - Lijun Chen, Seungil You:
The Weighted Sum Rate Maximization in MIMO Interference Networks: The Minimax Lagrangian Duality and Algorithm. - Peter D. Turney:
Domain and Function: A Dual-Space Model of Semantic Relations and Compositions. - Bernard Parisse:
A probabilistic and deterministic modular algorithm for computing Groebner basis over $\Q$. - Roman Kolpakov, Mikhail Podolskiy, Mikhail Posypkin, Nickolay Khrapov:
Searching of gapped repeats and subrepetitions in a word. - Ramon Ferrer-i-Cancho:
Why SOV might be initially preferred and then lost or recovered? A theoretical framework. - Andreas Christian Müller, Sven Behnke:
Learning a Loopy Model For Semantic Segmentation Exactly. - Qiaoyang Ye, Mazin Al-Shalash, Constantine Caramanis, Jeffrey G. Andrews:
Resource Optimization in Device-to-Device Cellular Systems Using Time-Frequency Hopping. - Dima Kagan, Michael Fire, Aviad Elyashar, Yuval Elovici:
Facebook Applications' Installation and Removal: A Temporal Analysis. - Gaétan Marceau, Pierre Savéant, Marc Schoenauer:
Multiobjective Tactical Planning under Uncertainty for Air Traffic Flow and Capacity Management. - Li Chen:
Algorithms for Computing Topological Invariants in 2D and 3D Digital Spaces. - Laszlo B. Kish, Claes-Goran Granqvist:
On the security of the Kirchhoff-law-Johnson-noise (KLJN) communicator. - Elaine Angelino, Varun Kanade:
Attribute-Efficient Evolvability of Linear Functions. - Benyuan Liu, Zhilin Zhang, Hongqi Fan, Qiang Fu:
Compression via Compressive Sensing : A Low-Power Framework for the Telemonitoring of Multi-Channel Physiological Signals. - Wei-Cheng Liao, Mingyi Hong, Ya-Feng Liu, Zhi-Quan Luo:
Base Station Activation and Linear Transceiver Design for Optimal Resource Management in Heterogeneous Networks. - Navin Goyal, Neil Olver, F. Bruce Shepherd:
Dynamic vs Oblivious Routing in Network Design. - Tianyang Bai, Rahul Vaze, Robert W. Heath Jr.:
Analysis of Blockage Effects on Urban Cellular Networks. - Rui Li, Kevin Chen-Chuan Chang:
EgoNet-UIUC: A Dataset For Ego Network Research. - Wuqiong Luo, Wee-Peng Tay, Mei Leng:
How to Identify an Infection Source with Limited Observations. - Lawrence Ong:
A New Class of Index Coding Instances Where Linear Coding is Optimal. - Tomás Mikolov, Quoc V. Le, Ilya Sutskever:
Exploiting Similarities among Languages for Machine Translation. - Mirza Golam Kibria, Hidekazu Murata:
An efficient algorithm for weighted sum-rate maximization in multicell downlink beamforming. - Hamid Reza Feyzmahdavian, Assad Al Alam, Ather Gattami:
Optimal Distributed Controller Design with Communication Delays: Application to Vehicle Formations. - Eric Järpe, Mattias Weckstén:
Detecting Encrypted code. - Raja Giryes, Michael Elad:
Sparsity Based Poisson Denoising with Dictionary Learning. - Ferran Hurtado, Maarten Löffler, Inês Matos, Vera Sacristán Adinolfi, Maria Saumell, Rodrigo I. Silveira, Frank Staals:
Terrain visibility with multiple viewpoints. - Martin Dias, Damien Cassou, Stéphane Ducasse:
Representing Code History with Development Environment Events. - M. Brzezinski-Spiczak, Krzysztof Dobosz, Mateusz Lis, M. Pintal:
Music Files Search System. - M. Lis, L. Pintal:
Report: GPU Based Massive Parallel Kawasaki Kinetics In Monte Carlo Modelling of Lipid Microdomains. - Cristian Lameiro, Óscar González, José Antonio García-Naya, Ignacio Santamaría, Luis Castedo:
Experimental Evaluation of Interference Alignment for Broadband WLAN Systems. - Basit Manzoor, Nadeem Javaid, Obaid Ur Rehman, Safdar Hussain Bouk, Syed Hassan Ahmed, Dongkyun Kim:
Energy Aware Error Control in Cooperative Communication in Wireless Sensor Networks. - Sadek Bouroubi, Fella Charchali, Nesrine Benyahia Tani:
The Set Partitions: Solution for the sharing secret keys. - Takashi Tanaka, Farhad Farokhi, Cédric Langbort:
Faithful Implementations of Distributed Algorithms and Control Laws. - Muhammad Aslam, Muhammad Babar Rasheed, Tauseef Shah, Azizur Rahim, Zahoor Ali Khan, U. Qasim, M. W. Qasim, Ahmad Hassan, Abid Khan, Nadeem Javaid:
Energy optimization and Performance Analysis of Cluster Based Routing Protocols Extended from LEACH for WSNs. - Obaid Ur Rehman, Nadeem Javaid, Arsalan Haider, N. Amjad, A. A. Awan, M. Qamar, Zahoor Ali Khan, U. Qasim:
An Energy Efficient Decoding Scheme for Wireless Body Area Sensor Networks. - S. Ahmed, Muhammad Moid Sandhu, N. Amjad, Arsalan Haider, Mariam Akbar, Ashfaq Ahmad, Zahoor Ali Khan, U. Qasim, Nadeem Javaid:
iMOD LEACH: improved MODified LEACH Protocol for Wireless Sensor Networks. - Danish Mahmood, Nadeem Javaid, Zahoor Ali Khan, U. Qasim, Abid Khan, S. Qurashi, A. M. Memon:
Modeling and Evaluating Performance of Routing Operations in Reactive Routing Protocols. - Danish Mahmood, Nadeem Javaid, U. Qasim, Zahoor Ali Khan, Abid Khan, S. Qurashi, A. M. Memon:
Modeling and Evaluating Performance of Routing Operations in Proactive Routing Protocols. - Dimitris Sacharidis, Panagiotis Bouros:
Routing Directions: Keeping it Fast and Simple. - Piotr Skowron, Piotr Faliszewski:
Approximating the MaxCover Problem with Bounded Frequencies in FPT Time. - Percy Liang:
Lambda Dependency-Based Compositional Semantics. - Zhanpeng Huang, Pan Hui, Christoph Peylo, Dimitris Chatzopoulos:
Mobile augmented reality survey: a bottom-up approach. - John Christopher McCabe-Dansted, Tim French, Mark Reynolds, Sophie Pinchinat:
Specifying Robustness. - Christian Widmer, Philipp Drewe, Xinghua Lou, Shefali Umrania, Stephanie Heinrich, Gunnar Rätsch:
GRED: Graph-Regularized 3D Shape Reconstruction from Highly Anisotropic and Noisy Images. - A. T. Vermeltfoort, A. W. M. van Schijndel:
Comsol Simulations of Cracking in Point Loaded Masonry with Randomly Distributed Material Properties. - Thoralf Gutierrez, Gautier Krings, Vincent D. Blondel:
Evaluating socio-economic state of a country analyzing airtime credit and mobile phone datasets. - Abdul Razaque, Khaled M. Elleithy:
Restoring the privacy and confidentiality of users over Mobile collaborative learning (MCL) environment. - M. Ganesalingam, W. T. Gowers:
A fully automatic problem solver with human-style output. - Abdul Razaque, Khaled M. Elleithy:
Automatic energy saving (AES) modelto boost ubiquitous wireless sensor networks (WSNs). - Vlad Popov, Oleg Mazonka:
Faster Fair Solution for the Reader-Writer Problem. - Nyembo Salama, Christian Bach:
Introduction of 6th Generation Smart Phone combining the features of both Apple and Android smart phone. - Muhammad Shoaib Khan, Khaled M. Elleithy:
Robust Heterogeneous Network to Support Multitasking. - Yuan Shen, Wenhan Dai, Moe Z. Win:
Power Optimization for Network Localization. - Yuanxin Wu:
Further results on "Velocity-position integration formula, part I-Application to in-flight alignment". - Julien Alexandre Dit Sandretto, Cyprien Nicolas:
Cable-Driven Robots with Wireless Control Capability for Pedagogical Illustration in Science. - Anindya Banerjee, Olivier Danvy, Kyung-Goo Doh, John Hatcliff:
Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday, Manhattan, Kansas, USA, 19-20th September 2013. EPTCS 129, 2013 [contents] - Parama Bagchi, Debotosh Bhattacharjee, Mita Nasipuri, Dipak Kumar Basu:
A novel approach for nose tip detection using smoothing by weighted median filtering applied to 3D face images in variant poses. - Parama Bagchi, Debotosh Bhattacharjee, Mita Nasipuri, Dipak Kumar Basu:
Detection of pose orientation across single and multiple axes in case of 3D face images. - Parama Bagchi, Debotosh Bhattacharjee, Mita Nasipuri, Dipak Kumar Basu:
A novel approach to nose-tip and eye corners detection using H-K Curvature Analysis in case of 3D images. - Sayan Bhattacharya, Parinya Chalermsook, Kurt Mehlhorn, Adrian Neumann:
New Approximability Results for the Robust k-Median Problem. - Lukas Einkemmer, Alexander Ostermann:
Exponential Integrators on Graphic Processing Units. - Grzegorz Chrupala:
Text segmentation with character-level text embeddings. - Shlomi Vituri:
Dispersion Analysis of Infinite Constellations in Ergodic Fading Channels. - Pekka Abrahamsson:
Measuring the Success of Software Process Improvement: The Dimensions. - Kaveh Mahdaviani, Raman Yazdani, Masoud Ardakani:
Overhead-Optimized Gamma Network Codes. - (Withdrawn) Security Enhancement of Biometric Authentication Scheme for Telecare Medicine Information Systems with Nonce.
- Andrea Cerone, Matthew Hennessy:
Modelling Probabilistic Wireless Networks. - Patrizio Angelini, William S. Evans, Fabrizio Frati, Joachim Gudmundsson:
SEFE with No Mapping via Large Induced Outerplane Graphs in Plane Graphs. - Ann L. Edwards, Alexandra Kearney, Michael Rory Dawson, Richard S. Sutton, Patrick M. Pilarski:
Temporal-Difference Learning to Assist Human Decision Making during the Control of an Artificial Limb. - Edouard Bonnet, Vangelis Th. Paschos, Florian Sikora:
Multiparameterizations for max $k$-set cover and related satisfiability problems. - Abuzer Yakaryilmaz:
Log-space counter is useful for unary languages by help of a constant-size quantum register. - Andriyan Bayu Suksmono:
A Simple Solution To The Uncertain Delay Problem in USRP Based SDR-Radar Systems. - Kai Zhu, Lei Ying:
A Robust Information Source Estimator with Sparse Observations. - Cenk M. Yetis, Yong Zeng, Kushal Anand, Yong Liang Guan, Erry Gunawan:
Sub-Stream Fairness and Numerical Correctness in MIMO Interference Channels. - Sushant Sachdeva, Nisheeth K. Vishnoi:
Approximation Theory and the Design of Fast Algorithms. - Nils Meyer, Manfred Ries, Stefan Solbrig, Tilo Wettig:
iDataCool: HPC with Hot-Water Cooling and Energy Reuse. - Mazen Alamir:
On Adaptive Measurement Inclusion Rate In Real-Time Moving-Horizon Observers. - Jun Kawahara, Koji M. Kobayashi, Shuichi Miyazaki:
Better Bounds for Online $k$-Frame Throughput Maximization in Network Switches. - Christoph Bunte, Amos Lapidoth, Alex Samorodnitsky:
The Zero-Undetected-Error Capacity Approaches the Sperner Capacity. - Angela Dappert, Andrew N. Jackson, Akiko Kimura:
Developing a Robust Migration Workflow for Preserving and Curating Hand-held Media. - Dipasree Pal, Mandar Mitra, Kalyankumar Datta:
Improving Query Expansion Using WordNet. - Marios Kountouris, Nikolaos Pappas:
HetNets and Massive MIMO: Modeling, Potential Gains, and Performance Analysis. - (Withdrawn) Cryptanalysis and Improvement of Yan et al.'s Biometric-based authentication scheme for Telecare Medicine Information Systems.
- Deepak Puthal:
A Near Optimal Approximation Algorithm for Vertex-Cover Problem. - Artur Jez, Markus Lohrey:
Approximation of smallest linear tree grammar. - Gábor Hegedüs, Josef Schicho, Hans-Peter Schröcker:
Four-Pose Synthesis of Angle-Symmetric 6R Linkages. - (Withdrawn) 3-extra connectivity of k-ary n-cube networks.
- Cezary Kaliszyk, Josef Urban:
HOL(y)Hammer: Online ATP Service for HOL Light. - Spyros C. Kontogiannis, Christos D. Zaroliagis:
Distance Oracles for Time-Dependent Networks. - Matthias Wilhelm, Vincent Lenders, Jens B. Schmitt:
An Analytical Model of Packet Collisions in IEEE 802.15.4 Wireless Networks. - Federico Cerutti, Alice Toniolo, Nir Oren, Timothy J. Norman:
Context-dependent Trust Decisions with Subjective Logic. - Cyril Voyant, C. Darras, Marc Muselli, Christophe Paoli, Marie-Laure Nivet, Philippe Poggi:
Bayesian rules and stochastic models for high accuracy prediction of solar radiation. - Deborah Pereg, Doron Benzvi:
Blind Deconvolution via Maximum Kurtosis Adaptive Filtering. - Nadia Creignou, Raïda Ktari, Arne Meier, Julian-Steffen Müller, Frédéric Olive, Heribert Vollmer:
Parameterized Enumeration with Ordering. - Ben Zamanzadeh, Naveen Ashish, Cartic Ramakrishnan, John Zimmerman:
Semantic Advertising. - Sean Whalen, Gaurav Pandey:
A Comparative Analysis of Ensemble Classifiers: Case Studies in Genomics. - Ruizhi Liao, Boris Bellalta, Trang Cao Minh, Jaume Barceló, Miquel Oliver:
Uni-MUMAC: A Unified Down/Up-link MU-MIMO MAC Protocol for IEEE 802.11ac WLANs. - Abdoulaye Tall, Richard Combes, Zwi Altman, Eitan Altman:
Distributed coordination of self-organizing mechanisms in communication networks. - Samuel Erskine, Ziengpieng Wu:
Securing the IEEE 802.16 OFDM WiMAX PHYSICAL AND MAC Layer Using STBC Coding and Encryption. - Svetoslav Nakov, Tihomir Ivanov:
A Calibration Algorithm for Microelectromechanical Systems Accelerometers in Inertial Navigation Sensors. - Mei-Mei Gu, Rong-Xia Hao:
3-extra connectivity of 3-ary n-cube networks. - Aleksandar Haber, Michel Verhaegen:
Subspace identification of large-scale interconnected systems. - Edson Flórez, Wilfredo Gómez, Lola Bautista:
An ant colony optimization algorithm for job shop scheduling problem. - Brandon Oselio, Alex Kulesza, Alfred O. Hero III:
Multi-layer graph analytics for dynamic social networks. - Yucel Altug, Aaron B. Wagner:
The third-order term in the normal approximation for singular channels. - Neil D. Jones:
A Swiss Pocket Knife for Computability. 1-17 - Colin Stirling:
A Proof System with Names for Modal Mu-calculus. 18-29 - Torben Æ. Mogensen:
A Comparison of Well-Quasi Orders on Trees. 30-40 - Isabella Mastroeni:
Abstract interpretation-based approaches to Security - A Survey on Abstract Non-Interference and its Challenging Applications. 41-65 - Philip S. Mulry:
Notions of Monad Strength. 67-83 - Mads Rosendahl:
Abstract Interpretation as a Programming Language. 84-104 - Jeffrey T. Denniston, Austin Melton, Stephen Ernest Rodabaugh:
Formal Contexts, Formal Concept Analysis, and Galois Connections. 105-120 - John Launchbury, Sava Krstic, T. E. Sauerwein:
Coroutining Folds with Hyperfunctions. 121-135 - Peter Sestoft:
Online partial evaluation of sheet-defined functions. 136-160 - Bor-Yuh Evan Chang, Xavier Rival:
Modular Construction of Shape-Numeric Analyzers. 161-185 - Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Verification of Imperative Programs by Constraint Logic Program Transformation. 186-210 - Dimitra Giannakopoulou, Corina S. Pasareanu:
Abstraction and Learning for Infinite-State Compositional Verification. 211-228 - Julien Mercadal, Zoé Drey, Charles Consel:
Denotational Semantics of A User-Oriented, Domain-Specific Language. 229-249 - Robert Glück:
Simulation of Two-Way Pushdown Automata Revisited. 250-258 - Johannes Neubauer, Bernhard Steffen, Tiziana Margaria:
Higher-Order Process Modeling: Product-Lining, Variability Modeling and Beyond. 259-283 - Anindya Banerjee, David A. Naumann:
A Simple Semantics and Static Analysis for Stack Inspection. 284-308 - Carolyn L. Talcott:
The Immune System: the ultimate fractionated cyber-physical system. 309-324 - Agostino Cortesi, Giulia Costantini, Pietro Ferrara:
A Survey on Product Operators in Abstract Interpretation. 325-336 - Chris Hankin:
A short note on Simulation and Abstraction. 337-340 - Francesco Logozzo, Matthieu Martel:
Automatic Repair of Overflowing Expressions with Abstract Interpretation. 341-357 - Martin Bodin, Thomas P. Jensen, Alan Schmitt:
Pretty-big-step-semantics-based Certified Abstract Interpretation (Preliminary version). 360-383 - Benedikt Nordhoff, Markus Müller-Olm, Peter Lammich:
Iterable Forward Reachability Analysis of Monitor-DPNs. 384-403 - Kedar S. Namjoshi:
Model Checking in Bits and Pieces. 404-416 - Jooyong Yi:
A Case for Dynamic Reverse-code Generation to Debug Non-deterministic Programs. 419-428 - Fabrizio Frati, Serge Gaspers, Joachim Gudmundsson, Luke Mathieson:
Augmenting graphs to minimize the diameter. - Andrei Barbu, Siddharth Narayanaswamy, Jeffrey Mark Siskind:
Saying What You're Looking For: Linguistics Meets Video Search. - Antonis Achilleos, Michael Lampis:
Closing a Gap in the Complexity of Refinement Modal Logic. - Adam Noel, Karen C. Cheung, Robert Schober:
Diffusive Molecular Communication with Disruptive Flows. - Alex Davydow:
New Algorithms for Solving Tropical Linear Systems. - James Roberts, Nada Sbihi:
Exploring the Memory-Bandwidth Tradeoff in an Information-Centric Network. - Ralf Steinberger, Mohamed Ebrahim, Marco Turchi:
JRC EuroVoc Indexer JEX - A freely available multi-label categorisation tool. - Ralf Steinberger, Andreas Eisele, Szymon Klocek, Spyridon Pilos, Patrick Schlüter:
DGT-TM: A freely Available Translation Memory in 22 Languages. - David A. Karpuk, Camilla Hollanti:
Rotating Non-Uniform and High-Dimensional Constellations Using Geodesic Flow on Lie Groups. - Dheerendra Mishra, Sourav Mukhopadhyay:
Cryptanalysis of Wu and Xu's authentication scheme for Telecare Medicine Information Systems. - Andreas Strotmann, Arnim Bleier:
Author Name Co-Mention Analysis: Testing a Poor Man's Author Co-Citation Analysis Method. - Angela I. Barbero, Eirik Rosnes, Guang Yang, Øyvind Ytrehus:
Near-Field Passive RFID Communication: Channel Model and Code Design. - Dan Stowell, Mark D. Plumbley:
An open dataset for research on audio field recording archives: freefield1010. - Ralf Steinberger, Bruno Pouliquen, Erik Van der Goot:
An introduction to the Europe Media Monitor family of applications. - Peter Horák, Zsolt Tuza:
Speeding up Deciphering by Hypergraph Ordering. - Maurice Herlihy, Zhiyu Liu:
Well-Structured Futures and Cache Locality. - Marko Tanaskovic, Lorenzo Fagiano, Roy S. Smith, Manfred Morari:
Adaptive model predictive control with exploring property for constrained linear systems that uses basis function model parametrization. - Volker Diekert, Alexei Miasnikov, Armin Weiß:
Conjugacy in Baumslag's group, generic case complexity, and division in power circuits. - Aurélie Thébaut, Thibault Scholash, Brigitte Charnomordic, Nadine Hilgert:
A modeling approach to design a software sensor and analyze agronomical features - Application to sap flow and grape quality relationship. - Clément Moulin-Frier, Michael A. Arbib:
Recognizing Speech in a Novel Accent: The Motor Theory of Speech Perception Reframed. - Hao Zhuang, Shih-Hung Weng, Chung-Kuan Cheng:
Power Grid Simulation using Matrix Exponential Method with Rational Krylov Subspaces. - Emiliano De Cristofaro, Honglu Du, Julien Freudiger, Gregory Norcie:
Two-Factor or not Two-Factor? A Comparative Usability Study of Two-Factor Authentication. - A. S. Syed Navaz, A. S. Syed Fiaz, C. Prabhadevi, V. Sangeetha, S. Gopalakrishnan:
Human Resource Management System. - Vikas J. Dongre, Vijay H. Mankar:
Development of Comprehensive Devnagari Numeral and Character Database for Offline Handwritten Character Recognition. - Reagan W. Moore:
Extensible Generic Data Management Software. - Ivan Girotto, Axel Kohlmeyer, David Grellscheid, Shawn T. Brown:
Advanced Techniques for Scientific Programming and Collaborative Development of Open Source Software Packages at the International Centre for Theoretical Physics (ICTP). - Nikolay Atanasov, Jerome Le Ny, Kostas Daniilidis, George J. Pappas:
Information Acquisition with Sensing Robots: Algorithms and Error Bounds. - Saif M. Mohammad:
Even the Abstract have Colour: Consensus in Word-Colour Associations. - Umakant Mishra:
How to Implement Access Rights in an MIS Project. - Jun Geng, Erhan Bayraktar, Lifeng Lai:
Bayesian Quickest Change Point Detection with Sampling Right Constraints. - Nikolay Atanasov, Bharath Sankaran, Jerome Le Ny, George J. Pappas, Kostas Daniilidis:
Nonmyopic View Planning for Active Object Detection. - Laurent Lessard, Sanjay Lall:
An Algebraic Approach to the Control of Decentralized Systems. - Sina Y. Caliskan, Paulo Tabuada:
Compositional Transient Stability Analysis of Multi-Machine Power Networks. - Gang Chen:
Latent Fisher Discriminant Analysis. - Véronique Bruyère, Emmanuel Filiot, Mickael Randour, Jean-François Raskin:
Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games. - Haim H. Permuter, Himanshu Asnani, Tsachy Weissman:
Capacity of a POST Channel with and without Feedback. - Josef Spillner, Andrii Chaichenko, Andrey Brito, Francisco Vilar Brasileiro, Alexander Schill:
Operating the Cloud from Inside Out. - Shweta Gajbhiye, S. P. Karmore:
Cable Fault Monitoring and Indication: A Review. - Muhammad Irfan Uddin:
Advances in computer architecture. - Arijit Bishnu, Arijit Ghosh, Subhabrata Paul:
Parameterized complexity of k-tuple and liar's domination. - Paul Hunter, Guillermo A. Pérez, Jean-François Raskin:
Mean-payoff Games with Incomplete Information. - Anna Huber, Vladimir Kolmogorov:
Towards Minimizing k-Submodular Functions. - Ivan Komarov, Ali Dashti, Roshan D'Souza:
Fast k-NNG construction with GPU-based quick multi-select. - Robert Mansel Gower, Artur L. Gower:
Higher-order Reverse Automatic Differentiation with emphasis on the third-order. - Guodong Shi, Alexandre Proutière, Mikael Johansson, John S. Baras, Karl Henrik Johansson:
Emergent Behaviors over Signed Random Networks in Dynamical Environments. - Martin Dräxler, Johannes Blobel, Philipp Dreimann, Stefan Valentin, Holger Karl:
Anticipatory Buffer Control and Quality Selection for Wireless Video Streaming. - Foster Morrison:
High Precision Arithmetic for Scientific Applications. - Judith Bishop, Nikolai Tillmann, Arno Puder, Vinayak Naik:
PRoMoTo 2013 proceedings. - Washington A. Oliveira, Margarida P. Mello, Antônio Carlos Moretti, Ednei F. Reis:
The multi-vehicle covering tour problem: building routes for urban patrolling. - Scott Ainsworth, Michael L. Nelson:
Evaluating Sliding and Sticky Target Policies by Measuring Temporal Drift in Acyclic Walks Through a Web Archive. - Muhammad Irfan Uddin:
Microgrid - The microthreaded many-core architecture. - Manuel de la Sen, Asier Ibeas, Santiago Alonso-Quesada:
On the asymptotic hyperstability of switched systems. - Wojciech M. Golab, Jeremy Hurwitz, Xiaozhou Li:
On the k-Atomicity-Verification Problem. - (Withdrawn) Detection and Isolation of Failures in Linear Multi-Agent Networks.
- Daniel Leivant:
Alternating Turing machines for inductive languages. - Yang-Seok Choi, Hooman Shirani-Mehr:
Simultaneous Transmission and Reception: Algorithm, Design and System Level Performance. - Muhammad Irfan Uddin:
Design space exploration in the microthreaded many-core architecture. - Martin A. Coleman:
Integrating Communications and Merging Messaging via the eXtensible Messaging and Presence Protocol. - Jan Egger:
Image-guided therapy system for interstitial gynecologic brachytherapy in a multimodality operating suite. - John P. Steinberger:
Counting solutions to additive equations in random sets. - Fumin Shen, Chunhua Shen:
Generic Image Classification Approaches Excel on Face Recognition. - Lata B. T, Jansi P. K. R, Shaila K, D. N. Sujatha, K. R. Venugopal, Lalit M. Patnaik:
Multiple Domain Secure Routing for Wireless Sensor Networks. - Anna Choromanska, Tony Jebara:
Stochastic Bound Majorization. - Maxim A. Babenko, Pawel Gawrychowski, Tomasz Kociumaka, Tatiana Starikovskaya:
Substring Suffix Selection. - Sparsh Mittal:
A Cache-Coloring Based Technique for Saving Leakage Energy In Multitasking Systems. - Mona T. Diab, Nizar Habash, Owen Rambow, Ryan Roth:
LDC Arabic Treebanks and Associated Corpora: Data Divisions Manual. - Vladimir Kolmogorov:
Reweighted message passing revisited. - T. El-Shishtawy:
A Hybrid Algorithm for Matching Arabic Names. - Derek Harter:
Spike Synchronization Dynamics of Small-World Networks. - Michael A. Forbes, Ramprasad Saptharishi, Amir Shpilka:
Pseudorandomness for Multilinear Read-Once Algebraic Branching Programs, in any Order. - Robbert van Renesse, Nicolas Schiper, Fred B. Schneider:
Vive la Différence: Paxos vs. Viewstamped Replication vs. Zab. - Xiaogang Liu, Yuan Luo:
A particular case of the conjectures of Johansen and Helleseth and zeta functions. - Ioan Valeriu Grossu, C. I. Ciuluvica:
On the Importance of Communication and Errors in Supervised Learning of Artificial Neural Networks. - Jun-ichi Koga, Jiro Koga, Shunji Homma:
Checkerboard Problem to Topology Optimization of Continuum Structures. - Vineeth Bala Sukumaran, Utpal Mukherji:
On the tradeoff of average delay and average power for fading point-to-point links with monotone policies. - Tong-Wook Shinn, Tadao Takaoka:
Combining All Pairs Shortest Paths and All Pairs Bottleneck Paths Problems. - Andi Wahju Rahardjo Emanuel, Daniel Jahja Surjawan:
Revised Modularity Index to Measure Modularity of OSS Projects with Case Study of Freemind. - Andi Wahju Rahardjo Emanuel, Retantyo Wardoyo, Jazi Eko Istiyanto, Khabib Mustofa:
Modularity Index Metrics for Java-Based Open Source Software Projects. - Mong-Jen Kao, Jian-Jia Chen, Ignaz Rutter, Dorothea Wagner:
Competitive Design and Analysis for Machine-Minimizing Job Scheduling Problem. - Takeshi Hatanaka, Riku Funada, Masayuki Fujita:
3-D Visual Coverage Based on Gradient Descent Techniques on Matrix Manifold and Its Application to Moving Objects Monitoring. - Loet Leydesdorff, Lutz Bornmann, Werner Marx, Stasa Milojevic:
The historical roots of iMetrics: Referenced Publication Years Spectroscopy (RPYS) routinized and applied to Scientometrics, Journal of Informetrics, and (a subset of) JASIST. - John Tengviel, Kwesi Diawuo:
Comparing the impact of mobile nodes arrival patterns in mobile ad hoc networks using poisson and pareto models. - Petteri Alahuhta, Pekka Abrahamsson, Antti Nummiaho:
On Exploring Consumers' Technology Foresight Capabilities - An Analysis of 4000 Mobile Service Ideas. - Tom Melham, Raphael Cohn, Ian Childs:
On the Semantics of ReFLect as a Basis for a Reflective Theorem Prover. - Ljubisa Stankovic, Milos Dakovic, Stefan Vujovic:
Adaptive Variable Step Algorithm for Missing Samples Recovery in Sparse Signals. - Hindol Adhya, Shyamal Kejriwal, Talasila Sai Deepak, Bhanuteja Gullapalli, Saswata Shannigrahi:
A Comparison of Structural and Behavioral Community Detection Algorithms. - Hugo Herbelin, Arnaud Spiwack:
The Rooster and the Syntactic Bracket. - Gerard Briscoe, Joseph Lockwood:
Creative Gardens. - Hendrik Fichtenberger, Melanie Schmidt:
PROBI: A Heuristic for the probabilistic k-median problem. - Anne Berry, Andreas Brandstädt, Konrad Engel:
The Dilworth Number of Auto-Chordal-Bipartite Graphs. - Georges Kaddoum, François Gagnon:
Lower Bound on the BER of a Decode-and-Forward Relay Network Under Chaos Shift Keying Communication System. - Henrik Ohlsson, Tianshi Chen, Sina Khoshfetrat Pakazad, Lennart Ljung, S. Shankar Sastry:
Scalable Anomaly Detection in Large Homogenous Populations. - Jonathan Stuart Ward, Adam Barker:
Undefined By Data: A Survey of Big Data Definitions. - Vince Bárány, Georg Gottlob, Martin Otto:
Querying the Guarded Fragment. - Faqiang Wang, Wangmeng Zuo, Lei Zhang, Deyu Meng, David Zhang:
A Kernel Classification Framework for Metric Learning. - Chen Avin, Omer Dunay, Stefan Schmid:
Simple Destination-Swap Strategies for Adaptive Intra- and Inter-Tenant VM Migration. - Serdar Ozyurt, Murat Torlak:
Exact Joint Distribution Analysis of Zero-Forcing V-BLAST Gains with Greedy Ordering. - Marco Guerini, Lorenzo Gatti, Marco Turchi:
Sentiment Analysis: How to Derive Prior Polarities from SentiWordNet. - Seyed Hossein Hosseini, Mahrokh G. Shayesteh, Mehdi Chehel Amirani:
Demodulation of Sparse PPM Signals with Low Samples Using Trained RIP Matrix. - Armin Hemmerling:
On Regular Sets of Bounds and Determinism versus Nondeterminism. - Xing Shi Cai, Luc Devroye:
A Probabilistic Analysis of Kademlia Networks. - Olivier Fercoq, Peter Richtárik:
Smooth minimization of nonsmooth functions with parallel coordinate descent methods. - Gabriel Kronberger, Stephan M. Winkler, Michael Affenzeller, Andreas Beham, Stefan Wagner:
On the Success Rate of Crossover Operators for Genetic Programming with Offspring Selection. - Suman Kalyan Bera, Anamitra R. Choudhury, Syamantak Das, Sambuddha Roy, Jayram S. Thatchachar:
Fenchel Duals for Drifting Adversaries. - Saif M. Mohammad:
From Once Upon a Time to Happily Ever After: Tracking Emotions in Novels and Fairy Tales. - Mireille Bousquet-Mélou, Markus Lohrey, Sebastian Maneth, Eric Noeth:
XML Compression via DAGs. - Michael Kommenda, Gabriel Kronberger, Christoph Feilmayr, Michael Affenzeller:
Data Mining using Unguided Symbolic Regression on a Blast Furnace Dataset. - Saif M. Mohammad:
Colourful Language: Measuring Word-Colour Associations. - John Tengviel, Koffi A. Dotche, Kwesi Diawuo:
The impact of mobile nodes arrival patterns in mobile ad hoc networks using poisson models. - Piotr Beling:
A Complexity of double dummy bridge. - Phillip Lord:
An evolutionary approach to Function. - Michael A. Burr:
Applications of Continuous Amortization to Bisection-based Root Isolation. - Ying Long, Jean-Claude Thill:
Combining smart card data and household travel survey to analyze jobs-housing relationships in Beijing. - Daniel Kharitonov, Oscar Ibatullin:
Extended Security Risks in IP Networks. - Dame Diongue, Ousmane Thiare:
A New Sentinel Approach for Energy Efficient and Hole Aware Wireless Sensor Networks. - Demetres Antoniades, Constantine Dovrolis:
Co-evolutionary dynamics in social networks: A case study of Twitter. - Xiaoming Chen, Xiumin Wang, Xianfu Chen:
Energy-Efficient Optimization for Wireless Information and Power Transfer in Large-Scale MIMO Systems Employing Energy Beamforming. - Alexander Fish, Shamgar Gurevich:
Almost Linear Complexity Methods for Delay-Doppler Channel Estimation. - Jingjin Yu, Sertac Karaman, Daniela Rus:
Persistent Monitoring of Events with Stochastic Arrivals at Multiple Stations. - Nikolay Lubimov, Mikhail Kotov:
Non-negative Matrix Factorization with Linear Constraints for Single-Channel Speech Enhancement. - Md. Shafiqul Islam, Afroza Shirin:
Numerical solutions of a class of second order boundary value problems on using Bernoulli Polynomials. - Michal Farnik, Lukasz Kowalik, Arkadiusz Socala:
Beyond the Shannon's Bound. - Chao-Bing Song, Shu-Tao Xia, Xin-Ji Liu:
Improved Analyses for SP and CoSaMP Algorithms in Terms of Restricted Isometry Constants. - V. F. Romanov:
Discordant Compact Logic-Arithmetic Structures in Discrete Optimization Problems. - Álvaro López García, Enol Fernández-del-Castillo:
Analysis of Scientific Cloud Computing requirement. - Chengyu Lin, Jingcheng Liu, Pinyan Lu:
A Simple FPTAS for Counting Edge Covers. - Joonas Pääkkönen, Camilla Hollanti, Olav Tirkkonen:
Device-to-Device Data Storage for Mobile Cellular Systems. - Mikolaj Bojanczyk:
Transducers with origin information. - Vincent D. Blondel, Kyomin Jung, Pushmeet Kohli, Devavrat Shah:
Partition-Merge: Distributed Inference and Modularity Optimization. - Mahmuda Ahmed, Kyle S. Hickmann, Carola Wenk:
Path-Based Distance for Street Map Comparison. - Naftaly H. Minsky:
An Approach to Modularization of Distributed Systems. - Nicolas Bourgeois, Konrad K. Dabrowski, Marc Demange, Vangelis Th. Paschos:
Playing with Parameters: Cross-parameterization in Graphs. - José Andre de Moura Brito, Gustavo Silva Semaan, Pedro Luis do Nascimento Silva, Nelson Maculan:
An Integer Programming Formulation Applied to Optimum Allocation in Multivariate Stratified Sampling. - Mohammed Ennahbaoui, Said El Hajji:
Mutation Analysis for Security. - Sergio Callegari, Federico Bizzarri:
Noise Weighting in the Design of ΔΣ Modulators (with a Psychoacoustic Coder as an Example). - Ralf Steinberger, Bruno Pouliquen, Mijail A. Kabadjov, Erik Van der Goot:
JRC-Names: A freely available, highly multilingual named entity resource. - Xin Zheng, Zhiyong Wu, Helen M. Meng, Weifeng Li, Lianhong Cai:
Feature Learning with Gaussian Restricted Boltzmann Machine for Robust Speech Recognition. - Maud Ehrmann, Leonida Della Rocca, Ralf Steinberger, Hristo Tanev:
Acronym recognition and processing in 22 languages. - Benyuan Liu, Hongqi Fan, Zaiqi Lu, Qiang Fu:
Scan-based Compressed Terahertz Imaging and Real-Time Reconstruction via the Complex-valued Fast Block Sparse Bayesian Learning Algorithm. - Jonathan Scarlett:
Second-Order Rate of Constant-Composition Codes for the Gel'fand-Pinsker Channel. - Alexandra Balahur, Ralf Steinberger, Mijail A. Kabadjov, Vanni Zavarella, Erik Van der Goot, Matina Halkia, Bruno Pouliquen, Jenya Belyaeva:
Sentiment Analysis in the News. - (Withdrawn) A Friendship Privacy Attack on Friends and 2-Distant Neighbors in Social Networks.
- J Strother Moore, Claus-Peter Wirth:
Automation of Mathematical Induction as part of the History of Logic. - Peter Franek, Stefan Ratschan, Piotr Zgliczynski:
Quasi-decidability of a Fragment of the First-order Theory of Real Numbers. - Aravindh Krishnamoorthy:
On Coefficient Matrices Computation of Structured Vector Autoregressive Model. - Esra Erdem, Umut Öztok:
Generating Explanations for Biomedical Queries. - Xiangrong Zeng, Mário A. T. Figueiredo:
Solving OSCAR regularization problems by proximal splitting algorithms. - Ari Arapostathis:
On the Non-Uniqueness of Solutions to the Average Cost HJB for Controlled Diffusions with Near-Monotone Costs. - Afroza Shirin, Md. Shafiqul Islam:
Numerical Solutions of Fredholm Integral Equations Using Bernstein Polynomials. - Saif M. Mohammad, Tony Yang:
Tracking Sentiment in Mail: How Genders Differ on Emotional Axes. - Saif M. Mohammad, Svetlana Kiritchenko:
Using Nuances of Emotion to Identify Personality. - Xiao Fang, Paul Jen-Hwa Hu, Zhepeng (Lionel) Li, Weiyu Tsai:
Predicting Adoption Probabilities in Social Networks. - Jia Du, Ameer Pasha Hosseinbor, Moo K. Chung, Barbara B. Bendlin, Gaurav Suryawanshi, Andrew L. Alexander, Anqi Qiu:
Diffeomorphic Metric Mapping and Probabilistic Atlas Generation of Hybrid Diffusion Imaging based on BFOR Signal Basis. - Ognjen Arandjelovic:
Contextually learnt detection of unusual motion-based behaviour in crowded public spaces. - Rhys Martin, Ognjen Arandjelovic:
Multiple-object tracking in cluttered and crowded public spaces. - Ahmed El Shafie, Ahmed K. Sultan:
Optimal Selection of Spectrum Sensing Duration for an Energy Harvesting Cognitive Radio. - Hong Xu, Baochun Li:
Spot Transit: Cheaper Internet Transit for Elastic Traffic. - Mohammad Bazmara, Shahram Jafari, Fatemeh Pasand:
A Fuzzy expert system for goalkeeper quality recognition. - Germán Terrazas, Hector Zenil, Natalio Krasnogor:
Exploring Programmable Self-Assembly in Non-DNA based Molecular Computing. - Paulo Shakarian, Jana Shakarian, Andrew Ruef:
The Dragon and the Computer: Why Intellectual Property Theft is Compatible with Chinese Cyber-Warfare Doctrine. - Michael Luckeneder, Adam Barker:
Location, Location, Location: Data-Intensive Distributed Computing in the Cloud. - Pawel Gawrychowski, Przemyslaw Uznanski:
Order-preserving pattern matching with k mismatches. - Gwen Spencer, Richard Howarth:
Maximizing the Spread of Stable Influence: Leveraging Norm-driven Moral-Motivation for Green Behavior Change in Networks. - Mickaël Dardaillon, Kevin Marquet, Tanguy Risset, Antoine Scherrer:
Software Defined Radio Architecture Survey for Cognitive Testbeds. - Mickaël Dardaillon, Cédric Lauradoux, Tanguy Risset:
Hardware Implementation of the GPS authentication. - Arman Boyaci, Tínaz Ekim, Mordechai Shalom, Shmuel Zaks:
Graphs of Edge-Intersecting Non-Splitting Paths in a Tree: Representations of Holes-Part II. - Josep Díaz, Ioannis Giotis, Lefteris M. Kirousis, Evangelos Markakis, Maria J. Serna:
On the Stability of Generalized Second Price Auctions with Budgets. - Marie G. Christ, Lene M. Favrholdt, Kim S. Larsen:
Online Bin Covering: Expectations vs. Guarantees. - Jean Gregoire, Emilio Frazzoli, Arnaud de La Fortelle, Tichakorn Wongpiromsarn:
Capacity-aware back-pressure traffic signal control. - Xi Peng, Lei Zhang, Zhang Yi:
An Out-of-sample Extension of Sparse Subspace Clustering and Low Rank Representation for Clustering Large Scale Data Sets. - Michael Lampis, Valia Mitsou:
The Computational Complexity of the Game of Set and its Theoretical Applications. - Yordan Kalmukov:
Describing Papers and Reviewers' Competences by Taxonomy of Keywords. - Chris Milling, Constantine Caramanis, Shie Mannor, Sanjay Shakkottai:
Distinguishing Infections on Different Graph Topologies. - Ryuhei Mori:
Loop Calculus for Non-Binary Alphabets using Concepts of Information Geometry. - Kato Mivule:
SIED, a Data Privacy Engineering Framework. - Liane Gabora:
Should I Stay or Should I Go: Coordinating Biological Needs with Continuously-updated Assessments of the Environment. - Quentin Bramas, Sébastien Tixeuil:
The Random Bit Complexity of Mobile Robots Scattering. - Sukhjit Singh Sehra, Jaiteg Singh, Hardeep Singh Rai:
Assessment of OpenStreetMap Data - A Review. - Lakshmi Anantharamu, Bogdan S. Chlebus, Mariusz A. Rokicki:
Adversarial Multiple Access Channels with Individual Injection Rates. - Greg Droge, Hiroaki Kawashima, Magnus Egerstedt:
Proportional-Integral Distributed Optimization for Networked Systems. - Andrew J. Blumberg, Michael A. Mandell:
Quantitative Homotopy Theory in Topological Data Analysis. - Haytham Tawfeek al Feel, Ralph Schäfermeier, Adrian Paschke:
An Inter-lingual Reference Approach For Multi-Lingual Ontology Matching. - Pu Gao, Michael Molloy:
Inside the clustering threshold for random linear equations. - Weiguang Mao:
Introduction to the Symbolic Integration System. - José R. Correa, Laurent Feuilloley, José A. Soto:
Independent and Hitting Sets of Rectangles Intersecting a Diagonal Line. - Brian Baingana, Gonzalo Mateos, Georgios B. Giannakis:
Dynamic Structural Equation Models for Social Network Topology Inference. - Maziyar Hamdi, Vikram Krishnamurthy:
Removal of Data Incest in Multi-agent Social Learning in Social Networks. - Qi Duan, Jinhui Xu:
On the Connectivity Preserving Minimum Cut Problem. - Ali Arshad Nasir, Hani Mehrpouyan, Salman Durrani, Steven D. Blostein, Rodney A. Kennedy:
Timing and Carrier Synchronization with Channel Estimation in AF Two-Way Relaying Networks. - Yao Li, Wenjing Jia, Chunhua Shen, Anton van den Hengel:
Characterness: An Indicator of Text in the Wild. - Masazumi Kurihara, Hidenori Kuwakado:
Generalization of Rashmi-Shah-Kumar Minimum-Storage-Regenerating Codes. - Cem Tekin, Simpson Zhang, Mihaela van der Schaar:
Distributed Online Learning in Social Recommender Systems. - Duyu Tang, Bing Qin, Lanjun Zhou, Kam-Fai Wong, Yanyan Zhao, Ting Liu:
Domain-Specific Sentiment Word Extraction by Seed Expansion and Pattern Generation. - Sheida Dayyani, Mohammad Reza Khayyambashi:
A Comparative Study of Replication Techniques in Grid Computing Systems. - Tingting Liu, Chenyang Yang:
Genie Chain and Degrees of Freedom of Symmetric MIMO Interference Broadcast Channels. - Laurent Boyer, Martin Delacourt, Victor Poupet, Mathieu Sablik, Guillaume Theyssier:
μ-Limit Sets of Cellular Automata from a Computational Complexity Perspective. - Tharaka Samarasinghe, Hazer Inaltekin, Jamie S. Evans:
Outage Capacity of Opportunistic Beamforming with Random User Locations. - Nikolaos Fountoulakis, Megha Khosla, Konstantinos Panagiotou:
The Multiple-orientability Thresholds for Random Hypergraphs. - Matthias Wildemeersch, Tony Q. S. Quek, Marios Kountouris, Alberto Rabbachin, Cornelis H. Slump:
Successive Interference Cancellation in Heterogeneous Cellular Networks. - Fedor V. Fomin, Petr A. Golovach, Jesper Nederlof, Michal Pilipczuk:
Minimizing Rosenthal Potential in Multicast Games. - Ralf R. Müller, Laura Cottatellucci, Mikko Vehkaperä:
Blind pilot decontamination. - Tameem Adel, Benn Smith, Ruth Urner, Daniel W. Stashuk, Daniel J. Lizotte:
Generative Multiple-Instance Learning Models For Quantitative Electromyography. - Saeed Amizadeh, Bo Thiesson, Milos Hauskrecht:
The Bregman Variational Dual-Tree Framework. - Stephen H. Bach, Bert Huang, Ben London, Lise Getoor:
Hinge-loss Markov Random Fields: Convex Inference for Structured Prediction. - Krishnakumar Balasubramanian, Kai Yu, Tong Zhang:
High-dimensional Joint Sparsity Random Effects Model for Multi-task Learning. - Paul Beame, Jerry Li, Sudeepa Roy, Dan Suciu:
Lower Bounds for Exact Model Counting and Applications in Probabilistic Databases. - Vaishak Belle, Hector J. Levesque:
Reasoning about Probabilities in Dynamic Systems using Goal Regression. - Damien Bigot, Bruno Zanuttini, Hélène Fargier, Jérôme Mengin:
Probabilistic Conditional Preference Networks. - Jakramate Bootkrajang, Ata Kabán:
Boosting in the presence of label noise. - Byron Boots, Geoffrey J. Gordon, Arthur Gretton:
Hilbert Space Embeddings of Predictive State Representations. - Eliot Brenner, David A. Sontag:
SparsityBoost: A New Scoring Function for Learning Bayesian Network Structure. - Emma Brunskill, Lihong Li:
Sample Complexity of Multi-task Reinforcement Learning. - Hung Bui, Tuyen N. Huynh, Sebastian Riedel:
Automorphism Groups of Graphical Models and Lifted Variational Inference. - Hao Cheng, Xinhua Zhang, Dale Schuurmans:
Convex Relaxations of Bregman Divergence Clustering. - Tom Claassen, Joris M. Mooij, Tom Heskes:
Learning Sparse Causal Models is not NP-hard. - James Cussens, Mark Bartlett:
Advances in Bayesian Network Learning using Integer Programming. - Nicolas Drougard, Florent Teichteil-Königsbuch, Jean-Loup Farges, Didier Dubois:
Qualitative Possibilistic Mixed-Observable MDPs. - Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman:
Optimization With Parity Constraints: From Binary Codes to Discrete Integration. - Zohar Feldman, Carmel Domshlak:
Monte-Carlo Planning: Theoretically Fast Convergence Meets Practical Efficiency. - Qiang Fu, Huahua Wang, Arindam Banerjee:
Bethe-ADMM for Tree Decomposition based Parallel MAP Inference. - Ravi Ganti, Alexander G. Gray:
Building Bridges: Viewing Active Learning from the Multi-Armed Bandit Lens. - Alborz Geramifard, Thomas J. Walsh, Nicholas Roy, Jonathan P. How:
Batch-iFDD for Representation Expansion in Large MDPs. - Vibhav Gogate, Pedro M. Domingos:
Structured Message Passing. - Hossein Hajimirsadeghi, Jinling Li, Greg Mori, Mohamed H. Zaki, Tarek Sayed:
Multiple Instance Learning by Discriminative Training of Markov Networks. - Yonatan Halpern, David A. Sontag:
Unsupervised Learning of Noisy-Or Bayesian Networks. - James Hensman, Nicoló Fusi, Neil D. Lawrence:
Gaussian Processes for Big Data. - Antti Hyttinen, Patrik O. Hoyer, Frederick Eberhardt, Matti Järvisalo:
Discovering Cyclic Causal Models with Latent Variables: A General SAT-Based Procedure. - Jean Honorio, Tommi S. Jaakkola:
Inverse Covariance Estimation for High-Dimensional Data in Linear Time and Space: Spectral Methods for Riccati and Sparse Models. - Arindam Khaled, Eric A. Hansen, Changhe Yuan:
Solving Limited-Memory Influence Diagrams Using Branch-and-Bound Search. - Oluwasanmi Koyejo, Joydeep Ghosh:
Constrained Bayesian Inference for Low Rank Multitask Learning. - Akshat Kumar, Daniel Sheldon, Biplav Srivastava:
Collective Diffusion Over Networks: Models and Inference. - Sanghack Lee, Vasant G. Honavar:
Causal Transportability of Experiments on Controllable Subsets of Variables: z-Transportability. - Marc E. Maier, Katerina Marazopoulou, David T. Arbour, David D. Jensen:
A Sound and Complete Algorithm for Learning Causal Models from Relational Data. - Brandon M. Malone, Changhe Yuan:
Evaluating Anytime Algorithms for Learning Optimal Bayesian Networks. - Denis Deratani Mauá, Cassio Polpo de Campos, Alessio Benavoli, Alessandro Antonucci:
On the Complexity of Strong and Epistemic Credal Networks. - James McInerney, Alex Rogers, Nicholas R. Jennings:
Learning Periodic Human Behaviour Models from Sparse Data for Crowdsourcing Aid Delivery in Developing Countries. - Ofer Meshi, Elad Eban, Gal Elidan, Amir Globerson:
Learning Max-Margin Tree Predictors. - Elad Mezuman, Daniel Tarlow, Amir Globerson, Yair Weiss:
Tighter Linear Program Relaxations for High Order Graphical Models. - Joris M. Mooij, Tom Heskes:
Cyclic Causal Discovery from Continuous Equilibrium Data. - Kiyohito Nagano, Yoshinobu Kawahara:
Structured Convex Optimization under Submodular Constraints. - Teppo Niinimaki, Mikko Koivisto:
Treedy: A Heuristic for Counting and Sampling Subsets. - Shuzi Niu, Yanyan Lan, Jiafeng Guo, Xueqi Cheng:
Stochastic Rank Aggregation. - Sigal Oren, Michael Schapira, Moshe Tennenholtz:
Pay or Play. - Michael Pacer, Joseph Jay Williams, Xi Chen, Tania Lombrozo, Thomas L. Griffiths:
Evaluating computational models of explanation using human judgments. - Patrice Perny, Paul Weng, Judy Goldsmith, Josiah Hanna:
Approximation of Lorenz-Optimal Solutions in Multiobjective Markov Decision Processes. - Marek Petrik, Dharmashankar Subramanian, Janusz Marecki:
Solution Methods for Constrained Markov Decision Process with Continuous Probability Modulation. - Novi Quadrianto, Viktoriia Sharmanska, David A. Knowles, Zoubin Ghahramani:
The Supervised IBP: Neighbourhood Preserving Infinite Latent Feature Models. - Nicholas Ruozzi:
Beyond Log-Supermodularity: Lower Bounds and the Bethe Partition Function. - Eleni Sgouritsa, Dominik Janzing, Jonas Peters, Bernhard Schölkopf:
Identifying Finite Mixtures of Nonparametric Product Distributions and Causal Inference of Confounders. - Amar Shah, Zoubin Ghahramani:
Determinantal Clustering Processes - A Nonparametric Bayesian Approach to Kernel Based Semi-Supervised Clustering. - Ilya Shpitser, Robin J. Evans, Thomas S. Richardson, James M. Robins:
Sparse Nested Markov models with Log-linear Parameters. - Hossein Azari Soufiani, David C. Parkes, Lirong Xia:
Preference Elicitation For General Random Utility Models. - Nitish Srivastava, Ruslan Salakhutdinov, Geoffrey E. Hinton:
Modeling Documents with Deep Boltzmann Machines. - Yaniv Tenzer, Gal Elidan:
Speedy Model Selection (SMS) for Copula Models. - Charles Tripp, Ross D. Shachter:
Approximate Kalman Filter Q-Learning for Continuous State-Space MDPs. - Michal Valko, Nathaniel Korda, Rémi Munos, Ilias N. Flaounas, Nello Cristianini:
Finite-Time Analysis of Kernelised Contextual Bandits. - Deepak Venugopal, Vibhav Gogate:
Dynamic Blocking and Collapsing for Gibbs Sampling. - Luis Gustavo Vianna, Scott Sanner, Leliane Nunes de Barros:
Bounded Approximate Symbolic Dynamic Programming for Hybrid MDPs. - Adrian Weller, Tony Jebara:
On MAP Inference by MWSS on Perfect Graphs. - Pengtao Xie, Eric P. Xing:
Integrating Document Clustering and Topic Modeling. - Peilin Zhao, Steven C. H. Hoi, Jinfeng Zhuang:
Active Learning with Expert Advice. - Maurice Bruynooghe, Hendrik Blockeel, Bart Bogaerts, Broes De Cat, Stef De Pooter, Joachim Jansen, Anthony Labarre, Jan Ramon, Marc Denecker, Sicco Verwer:
Predicate Logic as a Modeling Language: Modeling and Solving some Machine Learning and Data Mining Problems with IDP3. - Sanjog Ray, Anuj Sharma:
A Collaborative Filtering Based Approach for Recommending Elective Courses. - Marius Buliga:
Chemical concrete machine. - Or Zuk, Amnon Amir, Amit Zeisel, Ohad Shamir, Noam Shental:
Accurate Profiling of Microbial Communities from Massively Parallel Sequencing using Convex Optimization. - Marcel Wild:
Inclusion-exclusion meets exclusion. - Frédéric Lang, Radu Mateescu:
Partial Model Checking using Networks of Labelled Transition Systems and Boole an Equation Systems. - Ryan Kennedy, Laura Balzano, Stephen J. Wright, Camillo J. Taylor:
Online Algorithms for Factorization-Based Structure from Motion. - Othon Michail, Paul G. Spirakis:
Simple and Efficient Local Codes for Distributed Stable Network Construction. - Keyan Zahedi, Georg Martius, Nihat Ay:
Linear combination of one-step predictive information with an external reward in an episodic policy gradient setting: a critical analysis. - Noreen Jamil, Deanna Needell, Johannes Müller, Christof Lutteroth, Gerald Weber:
Kaczmarz Algorithm with Soft Constraints for User Interface Layout. - Peter Spirtes:
Calculation of Entailed Rank Constraints in Partially Non-Linear and Cyclic Models. - S. Alireza Banani, Raviraj Adve:
Analyzing the Reduced Required BS Density due to CoMP in Cellular Networks. - Jitendra Maan:
Social Business Transformation through Gamification. - Ankit Singla, Brighten Godfrey, Alexandra Kolla:
High Throughput Data Center Topology Design. - Farzad Ghafari Jouneghani, Mohamad Babazadeh, Rogayeh Bayramzadeh:
A review of Quantum Graphical Models. - Sparsh Mittal:
A Cache Reconfiguration Approach for Saving Leakage and Refresh Energy in Embedded DRAM Caches. - Constantinos Daskalakis, Ilias Diakonikolas, Mihalis Yannakakis:
How good is the Chord algorithm? - Domingo Docampo, Lawrence Cram:
On the Internal Dynamics of the Shanghai Ranking. - Md. Noor-A-Rahim, Khoa D. Nguyen, Gottfried Lechner:
Finite Length Analysis of LDPC Codes. - Frank Nielsen, Richard Nock:
Total Jensen divergences: Definition, Properties and k-Means++ Clustering. - Yanshan Wang, In-Chan Choi:
Market Index and Stock Price Direction Prediction using Machine Learning Techniques: An empirical study on the KOSPI and HSI. - Alex Graudenzi, Giulio Caravagna, Giancarlo Mauri, Marco Antoniotti:
Proceedings Wivace 2013 - Italian Workshop on Artificial Life and Evolutionary Computation, Milan, Italy, July 1-2, 2013. - Luca Felicetti, Mauro Femminella, Gianluca Reali:
Establishing digital molecular communications in blood vessels. - Ismael Belghiti, Michel Habib:
A general method for common intervals. - Nicolas Beldiceanu, Pierre Flener, Justin Pearson, Pascal Van Hentenryck:
Propagating Regular Counting Constraints. - Dipankar Saha, Subhramita Basak, Sagar Mukherjee, Chandan Kumar Sarkar:
A Low-Voltage, Low-Power 4-bit BCD Adder, designed using the Clock Gated Power Gating, and the DVT Scheme. - Kiana Hajebi, Hong Zhang:
An Efficient Index for Visual Search in Appearance-based SLAM. - Priyanka Manchanda:
Quantum Artificial Intelligence : A Survey of Application of Quantum Physics in Artificial Intelligence. - Alberto Lumbreras, James Lanagan, Julien Velcin, Bertrand Jouve:
Analyse des rôles dans les communautés virtuelles : définitions et premières expérimentations sur IMDb. - Rolf Fagerberg, Christoph Flamm, Daniel Merkle, Philipp Peters, Peter F. Stadler:
On the Complexity of Reconstructing Chemical Reaction Networks. - Yogesh Anbalagan, Sergey Norin, Rahul Savani, Adrian Vetta:
Polylogarithmic Supports are required for Approximate Well-Supported Nash Equilibria below 2/3. - Ahmed Abbasi, Hsinchun Chen:
Detecting Fake Escrow Websites using Rich Fraud Cues and Kernel Based Methods. - F. Mariam Zahedi, Ahmed Abbasi, Yan Chen:
Design Elements that Promote the use of Fake Website Detection Tools. - Ahmed Abbasi, Siddharth Kaza, F. Mariam Zahedi:
Evaluating Link-Based Techniques for Detecting Fake Pharmacy Websites. - Tianjun Fu, Ahmed Abbasi, Daniel Zeng, Hsinchun Chen:
Evaluating the Usefulness of Sentiment Information for Focused Crawlers. - Bijeesh T. V, Nimmi I. P:
Adopting level set theory based algorithms to segment human ear. - Dmitry Anatoly Zaitsev:
Small Polynomial Time Universal Petri Nets. - Hamidreza Sotoodeh, Farshad Safaei, Arghavan Sanei, Elahe Daei:
A General Stochastic Information Diffusion Model in Social Networks based on Epidemic Diseases. - Himangshu Sarma, Navanath Saharia, Utpal Sharma, Smriti Kumar Sinha, Mancha Jyoti Malakar:
Development and Transcription of Assamese Speech Corpus. - Jiwei Li, Claire Cardie:
Timeline Generation: Tracking individuals on Twitter. - Henrik Ohlsson, Michel Verhaegen, S. Shankar Sastry:
Nonlinear Compressive Particle Filtering. - Ralph Nathan, Bryan Anthonio, Shih-Lien Lu, Helia Naeimi, Daniel J. Sorin, Xiaobai Sun:
Recycled Error Bits: Energy-Efficient Architectural Support for Higher Precision Floating Point. - Ankit R. Chadha, Neha S. Satam, Beena Ballal:
Orthogonal Frequency Division Multiplexing and its Applications. - Jiwei Li, Claire Cardie:
Early Stage Influenza Detection from Twitter. - Adrian Paschke:
OntoMaven: Maven-based Ontology Development and Management of Distributed Ontology Repositories. - Henry Corrigan-Gibbs, Wendy Mu, Dan Boneh, Bryan Ford:
Ensuring High-Quality Randomness in Cryptographic Key Generation. - Zhenhua Zou, Alexandre Proutière, Mikael Johansson:
Online Shortest Path Routing: The Value of Information. - Chris Johnson:
Madeup: A Mobile Development Environment for Programming 3-D Models. - Chuan Shi, Xiangnan Kong, Yue Huang, Philip S. Yu, Bin Wu:
HeteSim: A General Framework for Relevance Measure in Heterogeneous Networks. - Longjiang Qu, Yin Tan, Chao Li, Guang Gong:
More Constructions of Differentially 4-uniform Permutations on $\gf_{2^{2k}}$. - Mit Sheth, Krishna Gopal Benerjee, Manish K. Gupta:
Quorum Sensing for Regenerating Codes in Distributed Storage. - Song Noh, Michael D. Zoltowski, Youngchul Sung, David J. Love:
Pilot Beam Pattern Design for Channel Estimation in Massive MIMO Systems. - Dong Zhang, Omar Oreifej, Mubarak Shah:
Face Verification Using Boosted Cross-Image Features. - Hyeji Kim, Yeow-Khiang Chia, Abbas El Gamal:
A Note on Broadcast Channels with Stale State Information at the Transmitter. - K. Viswanadh, Garimella Rama Murthy:
Optimal Hybrid Channel Allocation: Based On Machine Learning Algorithms. - Rishi Gupta, Tim Roughgarden, C. Seshadhri:
Decompositions of Triangle-Dense Graphs. - Jung Hoon Lee, Wan Choi:
Multiuser Diversity for Secrecy Communications Using Opportunistic Jammer Selection - Secure DoF and Jammer Scaling Law. - Armin Hemmerling:
On the Tape-Number Problem for Deterministic Time Classes. - Rama Murthy Garimella, Deepti Singhal:
Grid-based Network Architecture for Distributed Computation in Wireless Sensor Networks. - Anirban Mukhopadhyay, Suchendra M. Bhandarkar, Fatih Porikli:
Detection and Characterization of Intrinsic Symmetry. - Michael B. McCoy, Joel A. Tropp:
The achievable performance of convex demixing. - Junzhou Chen, Qing Li, Qiang Peng, Kin Hong Wong:
CSIFT Based Locality-constrained Linear Coding for Image Classification. - Franc Brglez:
On Self-Avoiding Walks across n-Dimensional Dice and Combinatorial Optimization: An Introduction. - Alexander Fix, Thorsten Joachims, Sam Park, Ramin Zabih:
Structured learning of sum-of-submodular higher order energy functions. - Modou Gueye, Talel Abdessalem, Hubert Naacke:
Improving tag recommendation by folding in more consistency. - Michael Carosino, Yiming Chen, Benjamin Belzer, Krishnamoorthy Sivakumar, Jacob Murray, Paul Wettin:
Iterative Detection and Decoding for the Four-Rectangular-Grain TDMR Model. - Dian Pratiwi, Diaz D. Santika, Bens Pardamean:
An Application of Backpropagation Artificial Neural Network Method for Measuring The Severity of Osteoarthritis. - Liane Gabora:
Meme and Variations: A Computer Model of Cultural Evolution. - Wei Bao, Ben Liang:
Structured Spectrum Allocation and User Association in Heterogeneous Cellular Networks. - Masahito Hayashi, Shun Watanabe:
Non-Asymptotic and Asymptotic Analyses on Markov Chains in Several Problems. - An Liu, Vincent K. N. Lau:
Joint Power and Antenna Selection Optimization in Large Cloud Radio Access Networks. - Santhosh Kumar, Andrew J. Young, Nicolas Macris, Henry D. Pfister:
Threshold Saturation for Spatially-Coupled LDPC and LDGM Codes on BMS Channels. - Rui Wang, Hani Mehrpouyan, Meixia Tao, Yingbo Hua:
Channel Estimation, Carrier Recovery, and Data Detection in the Presence of Phase Noise in OFDM Relay Systems. - Frédéric Magniez, Ashwin Nayak, Miklos Santha, Jonah Sherman, Gábor Tardos, David Xiao:
Improved bounds for the randomized decision tree complexity of recursive majority. - Ahmad Alsharoa, Hakim Ghazzai, Mohamed-Slim Alouini:
Optimal Transmit Power Allocation for MIMO Two-Way Cognitive Relay Networks with Multiple Relays. - Christian Häger, Alexandre Graell i Amat, Alex Alvarado, Fredrik Brännström, Erik Agrell:
Optimized Bit Mappings for Spatially Coupled LDPC Codes over Parallel Binary Erasure Channels. - Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti:
Parsing methods streamlined. - Tamir Hazan, Subhransu Maji, Tommi S. Jaakkola:
On Sampling from the Gibbs Distribution with Random Maximum A-Posteriori Perturbations. - Kevin Rojas Laura, Christhian Cardenas Alvarez:
Identificación y Registro Catastral de Cuerpos de Agua mediante Técnicas de Procesamiento Digital de Imagenes. - Balázs Hidasi, Domonkos Tikk:
Context-aware recommendations from implicit data via scalable tensor factorization. - Firas A. Jassim:
Correcting Multi-focus Images via Simple Standard Deviation for Image Fusion. - Mohamed El-Hadedy, Georgios Pitsilis, Svein J. Knapskog:
An Efficient Authorship Protection Scheme for Shared Multimedia Content. - Christopher M. Brislawn:
Group-theoretic structure of linear phase multirate filter banks. - Sara Gholipour P., Heydar Toosian Sh:
Dynamic Sliding Mode Control based on Fractional calculus subject to uncertain delay based chaotic pneumatic robot. - Eric Christiansen:
An upper bound on prototype set size for condensed nearest neighbor. - Saravana Perumal P., Amey Karkare:
Retargeting GCC: Do We Reinvent the Wheel Every Time? - Chiara Damiani, Alessandro Filisetti, Alex Graudenzi, Marco Villani, Roberto Serra:
Recent developments in research on catalytic reaction networks. 3-13 - Giordano Rampioni, Luisa Damiano, Marco Messina, Francesca D'Angelo, Livia Leoni, Pasquale Stano:
Chemical communication between synthetic and natural cells: a possible experimental design. 14-26 - Alessandro Fontana, Borys Wróbel:
Evolution and development of complex computational systems using the paradigm of metabolic computing in Epigenetic Tracking. 27-34 - Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini:
Application of a Semi-automatic Algorithm for Identification of Molecular Components in SBML Models. 43-52 - Andrea G. Citrolo, Giancarlo Mauri:
A Hybrid Monte Carlo Ant Colony Optimization Approach for Protein Structure Prediction in the HP Model. 61-69 - Roberto Serra, Alessandro Filisetti, Alex Graudenzi, Chiara Damiani, Marco Villani:
A model of protocell based on the introduction of a semi-permeable membrane in a stochastic model of catalytic reaction networks. 70-73 - Daniele Ramazzotti, Carlo Maj, Marco Antoniotti:
A Model of Colonic Crypts using SBML Spatial. 74-78 - Giulio Caravagna, Alex Graudenzi, Marco Antoniotti, Giovanni De Matteis:
Analysis of the spatial and dynamical properties of a multiscale model of intestinal crypts. 79-82 - Domenico Fraccalvieri, Laura Bonati, Fabio Stella:
Self Organizing Maps to efficiently cluster and functionally interpret protein conformational ensembles. 83-86 - Daniela Besozzi, Giulio Caravagna, Paolo Cazzaniga, Marco S. Nobile, Dario Pescini, Alessandro Re:
GPU-powered Simulation Methodologies for Biological Systems. 87-91 - Chiara Damiani, Riccardo Colombo, Sara Molinari, Dario Pescini, Daniela Gaglio, Marco Vanoni, Lilia Alberghina, Giancarlo Mauri:
An ensemble approach to the study of the emergence of metabolic and proliferative disorders via Flux Balance Analysis. 92-97 - Gianluca Colombo, Ettore Colombo, Andrea Bonomi, Alessandro Mosca, Simone Bassis:
Semi-structured data extraction and modelling: the WIA Project. 98-103 - Simone Righi, Károly Takács:
Signed Networks, Triadic Interactions and the Evolution of Cooperation. 104-107 - Emanuele Massaro, Henrik Olsson, Andrea Guazzini, Franco Bagnoli:
Impact of local information in growing networks. 53-60 - Junil Choi, David J. Love, Patrick Bidigare:
Downlink Training Techniques for FDD Massive MIMO Systems: Open-Loop and Closed-Loop Training with Memory. - Ken-ichiro Ishikawa:
ASURA: Scalable and Uniform Data Distribution Algorithm for Storage Clusters. - Adrien Ickowicz, Jean-Pierre Le Cadre:
On the Effect of Data Contamination on Track Purity. - Alex Chen, Timothy Chu, Nathan Pinsker:
Computing the Longest Increasing Subsequence of a Sequence Subject to Dynamic Insertion. - Krishnamurthy Dvijotham, Emanuel Todorov, Maryam Fazel:
Convex Structured Controller Design. - Tao Zhang, Shuxing Li, Tao Feng, Gennian Ge:
Some New Results on the Cross Correlation of $m$-sequences. - (Withdrawn) Maximizing Infinite-horizon Based Profits for Crowd Sensing in Mobile Social Networks.
- Jozef Gruska, Daowen Qiu, Shenggen Zheng:
Communication complexity of promise problems and their applications to finite automata. - Lutz Bornmann:
Research misconduct: definitions, manifestations and extent. - Stefanos Ougiaroglou, Georgios Evangelidis, Dimitrios Dervos:
An Extensive Experimental Study on the Cluster-based Reference Set Reduction for speeding-up the k-NN Classifier. - Florian Caullery:
A new large class of functions not APN infinitely often. - Mojtaba Nouri Bygi, Mohammad Ghodsi:
Near Optimal Line Segment Weak Visibility Queries in Simple Polygons. - Yeon-Geun Lim, Chan-Byoung Chae, Giuseppe Caire:
Performance Analysis of Massive MIMO for Cell-Boundary Users. - Guillaume Berhault, Camille Leroux, Christophe Jégo, Dominique Dallet:
Partial Sums Generation Architecture for Successive Cancellation Decoding of Polar Codes. - Stratis Ioannidis, Patrick Loiseau:
Linear Regression as a Non-Cooperative Game. - Saeed Asaeedi, Farzad Didehvar, Ali Mohades:
Alpha Convex Hull, a Generalization of Convex Hull. - Vivek S. Borkar, Rahul Makhijani, Rajesh Sundaresan:
How to gossip if you must. - Benyuan Liu, Zhilin Zhang, Gary Xu, Hongqi Fan, Qiang Fu:
Energy Efficient Telemonitoring of Physiological Signals via Compressed Sensing: A Fast Algorithm and Power Consumption Evaluation. - Manolis Ploumidis, Nikolaos Pappas, Vasilios A. Siris, Apostolos Traganitis:
On the Performance of Network Coding and Forwarding Schemes with Different Degrees of Redundancy for Wireless Mesh Networks. - Archontia C. Giannopoulou, Daniel Lokshtanov, Saket Saurabh, Ondrej Suchý:
Tree Deletion Set has a Polynomial Kernel (but no OPT^O(1) approximation). - Christian Senger:
Prefactor Reduction of the Guruswami-Sudan Interpolation Step. - Arvind Yedla, Yung-Yih Jian, Phong S. Nguyen, Henry D. Pfister:
A Simple Proof of Maxwell Saturation for Coupled Scalar Recursions. - Mauro de Amorim, Ricardo Fabbri, Lucia Maria dos Santos Pinto, Francisco Duarte Moura Neto:
An Image-Based Fluid Surface Pattern Model. - Ashwin Pananjady, Vivek Kumar Bagaria, Rahul Vaze:
Maximizing Utility Among Selfish Users in Social Groups. - Matthew J. Bellman, Teng-Hu Cheng, Ryan Downey, Warren E. Dixon:
Stationary Cycling Induced by Switched Functional Electrical Stimulation Control. - Philipp Mayr, Peter Mutschke:
Bibliometric-enhanced Retrieval Models for Big Scholarly Information Systems. - Hani Abdeen, Osama Shata, Abdelkarim Erradi:
Software Interfaces: On The Impact of Interface Design Anomalies. - Cristina G. Fernandes, Rafael Crivellari Saliba Schouery:
Approximation Algorithms for the Max-Buying Problem with Limited Supply. - Ahmed Abbasi, Zhu Zhang, Hsinchun Chen:
A Statistical Learning Based System for Fake Website Detection. - Laurens Bliek:
Exploration and Exploitation in Visuomotor Prediction of Autonomous Agents. - Anelia Somekh-Baruch:
A General Formula for the Mismatch Capacity. - Ann E. Nicholson, Padhraic Smyth:
Proceedings of the Twenty-Ninth Conference on Uncertainty in Artificial Intelligence (2013). - Clare Horsman, Susan Stepney, Robert Christian Wagner, Viv Kendon:
When does a physical system compute? - Zhung-Xun Liao, Shou-Chung Li, Wen-Chih Peng, Philip S. Yu:
On the Feature Discovery for App Usage Prediction in Smartphones. - Sidnie Feit:
A Canonical Partition of the Primes of Logic Functions. - Jan Goedgebeur, Stanislaw P. Radziszowski:
The Ramsey Number $R(3, K_{10}-e)$ and Computational Bounds for $R(3, G)$. - Cláudio L. N. Oliveira, Pablo A. Morais, André A. Moreira, José S. Andrade Jr.:
Enhanced Flow in Small-World Networks. - Onuttom Narayan, Iraj Saniee, Vladimir Marbukh:
Congestion Due to Random Walk Routing. - Anthony Man-Cho So:
Non-Asymptotic Convergence Analysis of Inexact Gradient Methods for Machine Learning Without Strong Convexity. - Giacomo Como, Fabio Fagnani:
Robustness of large-scale stochastic matrices to localized perturbations. - Tao Cui, Jinchao Xu, Chen-Song Zhang:
An Error-Resilient Redundant Subspace Correction Method. - Jonathan A. Noel:
Choosability of Graphs with Bounded Order: Ohba's Conjecture and Beyond. - Johan Dahlin, Pontus Svenson:
Ensemble approaches for improving community detection methods. - Mahdi S. Hosseini, Konstantinos N. Plataniotis:
High-Accuracy Total Variation for Compressed Video Sensing. - Tianyi Zhou, Dacheng Tao:
Unmixing Incoherent Structures of Big Data by Randomized or Greedy Decomposition. - Fatimah Abdul Razak, Henrik Jeldtoft Jensen:
Transfer Entropy in the Ising model. - Neil Houlsby, Massimiliano Ciaramita:
Scalable Probabilistic Entity-Topic Modeling. - Peter Hines:
Girard's $!()$ as a reversible fixed-point operator. - Andrew Suk, Bartosz Walczak:
New bounds on the maximum number of edges in k-quasi-planar graphs. - Tomoyuki Yamakami:
Constant-Space Quantum Interactive Proofs Against Multiple Provers. - Tomoyuki Yamakami:
A Non-Interactive Quantum Bit Commitment Scheme that Exploits the Computational Hardness of Quantum State Distinction. - T. Tony Cai, Tengyuan Liang, Harrison H. Zhou:
Law of Log Determinant of Sample Covariance Matrix and Optimal Estimation of Differential Entropy for High-Dimensional Gaussian Distributions. - Pascal Koiran, Natacha Portier, J. Maurice Rojas:
Counting Tropically Degenerate Valuations and p-adic Approaches to the Hardness of the Permanent. - Wanyang Dai:
Product-form solutions for integrated services packet networks and cloud computing systems. - Ian R. Petersen:
Robust Stability of Quantum Systems with Nonlinear Dynamic Uncertainties. - Ian R. Petersen:
Coherent-Classical Estimation for Quantum Linear Systems. - Chi Ho Yeung, David Saad, K. Y. Michael Wong:
From the Physics of Interacting Polymers to Optimizing Routes on the London Underground. - Philip Graff, Farhan Feroz, Michael P. Hobson, Anthony N. Lasenby:
SKYNET: an efficient and robust neural network training tool for machine learning in astronomy. - Bojan Marinkovic, Zoran Ognjanovic, Dragan Doder, Aleksandar Perovic:
A Propositional Linear Time Logic with Time Flow Isomorphic to ω^2. - Linjun Zhang, Michael Small, Kevin Judd:
Exactly scale-free scale-free networks. - Ehtibar N. Dzhafarov, Janne V. Kujala:
Random Variables Recorded under Mutually Exclusive Conditions: Contextuality-by-Default. - Stéphane Roux, Hugo Leclerc, François Hild:
Efficient binary tomographic reconstruction. - Aryeh Kontorovich:
Concentration in unbounded metric spaces and algorithmic stability. - Longbo Huang, Shaoquan Zhang, Minghua Chen, Xin Liu:
When Backpressure Meets Predictive Scheduling. - Marzia Rivi, Claudio Gheller, Mel Krokos, Klaus Dolag, Martin Reinecke:
GPU Accelerated Particle Visualization with Splotch. - Juan Fernández-Gracia, Krzysztof Suchecki, José J. Ramasco, Maxi San Miguel, Víctor M. Eguíluz:
Is the Voter Model a model for voters? - Evgenia Chunikhina, Raviv Raich, Thinh P. Nguyen:
Confidence-constrained joint sparsity recovery under the Poisson noise model. - Simon Kramer:
Logic of Intuitionistic Interactive Proofs (Formal Theory of Perfect Knowledge Transfer). - Ashwin Arulselvan, Daniel Karch:
A proof for Padberg's conjecture on rank of matching polytope. - Aleksandr Y. Aravkin, Anna Choromanska, Dimitri Kanevsky, Tony Jebara:
Semistochastic Quadratic Bound Methods for Convex and Nonconvex Learning Problems. - Elchanan Mossel, Joe Neeman, Allan Sly:
Belief Propagation, Robust Reconstruction, and Optimal Recovery of Block Models. - Christopher C. Strelioff, James P. Crutchfield:
Bayesian Structural Inference for Hidden Processes. - Benjamin Graham:
A binary deletion channel with a fixed number of deletions. - Peng Guo, Wenming Cheng, Yi Wang:
Parallel machine scheduling with step deteriorating jobs and setup times by a hybrid discrete cuckoo search algorithm. - Gregory Ely, Shuchin Aeron:
Methods for Large Scale Hydraulic Fracture Monitoring. - Andrés Hoyos Idrobo, Pierre Weiss, Aurélien Massire, Alexis Amadon, Nicolas Boulant:
On Variant Strategies To Solve The Magnitude Least Squares Optimization Problem In Parallel Transmission Pulse Design And Under Strict SAR And Power Constraints. - Christian B. Mendl:
Matrix-valued Quantum Lattice Boltzmann Method. - Gene Katsevich, Alexander Katsevich, Amit Singer:
Covariance Matrix Estimation for the Cryo-EM Heterogeneity Problem. - Sayed Yusef Shafi, Murat Arcak:
An Adaptive Algorithm for Synchronization in Diffusively Coupled Systems. - Adrien Nguyen Huu:
Investment under uncertainty, competition and regulation. - Ayan Mahalanobis:
The MOR cryptosystem and finite $p$-groups. - Takehisa Hasegawa, Taro Takaguchi, Naoki Masuda:
Observability transitions in correlated networks. - Tero Harju, Mari Huova, Luca Q. Zamboni:
On Generating Binary Words Palindromically. - Charalambos D. Charalambous, Nasir Uddin Ahmed:
Dynamic Team Theory of Stochastic Differential Decision Systems with Decentralized Noisy Information Structures via Girsanov's Measure Transformation. - Kojiro Higuchi, Takayuki Kihara:
Inside the Muchnik Degrees II: The Degree Structures induced by the Arithmetical Hierarchy of Countably Continuous Functions. - Alekh Agarwal, Animashree Anandkumar, Praneeth Netrapalli:
Exact Recovery of Sparsely Used Overcomplete Dictionaries. - Tomasz M. Rutkowski:
Beyond visual P300 based brain-computer interfacing paradigms. - Dirk A. Lorenz, Frank Schöpfer, Stephan Wenger:
The Linearized Bregman Method via Split Feasibility Problems: Analysis and Generalizations. - Jacek Gondzio, Pablo González-Brevis, Pedro Augusto Munari:
Large-scale optimization with the primal-dual column generation method. - Wilbert Samuel Rossi, Paolo Frasca, Fabio Fagnani:
Effective resistance of toroidal graphs; some sharper results and applications. - Andrea Asztalos, Sameet Sreenivasan, Boleslaw K. Szymanski, György Korniss:
Cascading failures in spatially-embedded random networks. - Subhash C. Kak:
Probability and the Classical/Quantum Divide. - Bernhard Schmitzer, Christoph Schnörr:
Contour Manifolds and Optimal Transport. - James S. Wolper:
Information Theory and Moduli of Riemann Surfaces. - Shai Shalev-Shwartz, Tong Zhang:
Accelerated Proximal Stochastic Dual Coordinate Ascent for Regularized Loss Minimization. - Mark Schmidt, Nicolas Le Roux, Francis R. Bach:
Minimizing Finite Sums with the Stochastic Average Gradient. - Mai Gehrke:
Stone duality, topological algebra, and recognition. - Christian Kruschel, Dirk A. Lorenz:
Computing and Analyzing Recoverable Supports for Sparse Reconstruction. - Shahzad Gishkori, Geert Leus:
Compressed Sensing for Block-Sparse Smooth Signals. - Gilles Brassard, Alain Tapp, Dave Touchette:
Noisy Interactive Quantum Communication. - Raja Giryes, Deanna Needell:
Greedy Signal Space Methods for incoherence and beyond. - Cristina-Maria Pop, Erwin Frey:
Language change in a multiple group society. - Koki Murano, Tomoyoshi Shimobaba, Atsushi Sugiyama, Naoki Takada, Takashi Kakue, Minoru Oikawa, Tomoyoshi Ito:
Fast computation of computer-generated hologram using Xeon Phi coprocessor. - Hiroyasu Inoue, Yang-Yu Liu:
Revealing the intricate effect of collaboration on innovation. - Fabrizio Altarelli, Alfredo Braunstein, Luca Dall'Asta, Joseph R. Wakeling, Riccardo Zecchina:
Containing epidemic outbreaks by message-passing techniques. - Vladimir V. Bytev, Bernd A. Kniehl:
HYPERgeometric functions DIfferential REduction: MATHEMATICA based packages for differential reduction of generalized hypergeometric functions: Horn hypergeometric functions of two variables. - Roberto Imbuzeiro Oliveira:
Stochastic processes with random contexts: a characterization, and adaptive estimators for the transition probabilities. - Anastasiia Anishchenko, Alexander Blumen, Oliver Mülken:
Geometrical aspects of quantum walks on random two-dimensional structures. - Shabnam N. Kadir, Dan F. M. Goodman, Kenneth D. Harris:
High-dimensional cluster analysis with the Masked EM Algorithm. - Pradeep Sen:
On the Relationship Between Dual Photography and Classical Ghost Imaging. - Yury Polyanskiy:
Hypercontractivity of spherical averages in Hamming space. - Chris Häusler, Alex K. Susemihl, Martin P. Nawrot, Manfred Opper:
Temporal Autoencoding Improves Generative Models of Time Series. - Federica Garin, Ye Yuan:
Distributed privacy-preserving network size computation: A system-identification based method. - Milán Mosonyi, Tomohiro Ogawa:
Quantum hypothesis testing and the operational interpretation of the quantum Renyi relative entropies. - Franz J. Király:
Efficient Orthogonal Tensor Decomposition, with an Application to Latent Variable Model Learning. - Abhinav Nellore, Rachel A. Ward:
Recovery guarantees for exemplar-based clustering. - Marcus Greferath, Thomas Honold, Cathy Mc Fadden, Jay A. Wood, Jens Zumbrägel:
MacWilliams' Extension Theorem for Bi-Invariant Weights over Finite Principal Ideal Rings. - Henning Bruhn, Oliver Schaudt:
The journey of the union-closed sets conjecture. - Mrigank Sharad, Deliang Fan, Kaushik Roy:
Spin Neurons: A Possible Path to Energy-Efficient Neuromorphic Computers. - Hannah Vogel:
On the shape of subword complexity sequences of finite words. - Yasser Shoukry, Paulo Tabuada:
Event-Triggered State Observers for Sparse Sensor Noise/Attacks. - Sjoerd Dirksen:
Tail bounds via generic chaining. - Emily B. Fox, Michael I. Jordan:
Mixed Membership Models for Time Series. - Jean-Luc Vay, Cameron G. R. Geddes, Alice Koniges, Alex Friedman, David P. Grote, David L. Bruhwiler:
White Paper on DOE-HEP Accelerator Modeling Science Activities. - Andrew Adamatzky:
Physarum wires: Self-growing self-repairing smart wires made from slime mould. - Bernardo M. Ábrego, Oswin Aichholzer, Silvia Fernández-Merchant, Pedro Ramos, Gelasio Salazar:
Shellable drawings and the cylindrical crossing number of $K_n$. - Nicolas Bedaride, Thomas Fernique:
When periodicities enforce aperiodicity. - Ankur A. Kulkarni, Todd P. Coleman:
An Optimizer's Approach to Stochastic Control Problems with Nonclassical Information Structures. - J. Acácio de Barros:
Beyond the quantum formalism: consequences of a neural-oscillator model to quantum cognition. - Pedro Gonnet, Matthieu Schaller, Tom Theuns, Aidan B. G. Chalk:
SWIFT: Fast algorithms for multi-resolution SPH on multi-core architectures. - James P. Crutchfield, Christopher J. Ellison, Paul M. Riechers:
Exact Complexity: The Spectral Decomposition of Intrinsic Computation. - Louis M. Shekhtman, James P. Bagrow, Dirk Brockmann:
Robustness of skeletons and salient features in networks. - Anne Marie Svane:
Estimation of intrinsic volumes from digital grey-scale images. - Klas Markström:
Improved bounds for the shortness coefficient of cyclically 4-edge connected cubic graphs and snarks. - Alex Ciurana, Jesús Martínez-Mateo, Momtchil Peev, Andreas Poppe, Nino Walenta, Hugo Zbinden, Vicente Martín:
Quantum Metropolitan Optical Network based on Wavelength Division Multiplexing. - Abhishek Deshpande, Manoj Gopalkrishnan:
Autocatalysis in Reaction Networks. - Thomas Wolf, Heiko Panzer:
The ADI iteration for Lyapunov equations implicitly performs H2 pseudo-optimal model order reduction. - Pavel Krejcí, Harbir Lamba, Sergey Melnik, Dmitrii I. Rachinskii:
Analytical solution for a class of network dynamics with mechanical and financial applications. - Tai Qin, Karl Rohe:
Regularized Spectral Clustering under the Degree-Corrected Stochastic Blockmodel. - Qiyu Jin, Ion Grama, Quansheng Liu:
A Non-Local Means Filter for Removing the Poisson Noise. - Gautier Krings, Jean-François Carpantier, Jean-Charles Delvenne:
Trade integration and trade imbalances in the European Union: a network perspective. - Peng-Fei Wang, Jian-She Cao, Qiang Ye:
The Development of ADS Virtual Accelerator Based on XAL. - Diego Garlaschelli, Sebastian E. Ahnert, Thomas M. A. Fink, Guido Caldarelli:
Optimal scales in weighted networks. - David Hartman, Jan Hubicka, Jaroslav Nesetril:
Complexities of relational structures. - Edmund J. Collins:
Skip-free Markov decision processes. - Gregory A. Howland, Daniel J. Lum, Matthew R. Ware, John C. Howell:
Photon counting compressive depth mapping. - Arda Halu, Satyam Mukherjee, Ginestra Bianconi:
Emergence of overlap in ensembles of spatial multiplexes and statistical mechanics of spatial interacting networks ensembles. - Bhavya Kailkhura, Swastik Brahma, Yunghsiang S. Han, Pramod K. Varshney:
Distributed Detection in Tree Topologies with Byzantines. - Maggie E. Habeeb, Delaram Kahrobaei:
On the Dimension of Matrix Representations of Finitely Generated Torsion Free Nilpotent Groups. - Michael Anshel, Delaram Kahrobaei:
Decision and Search in Non-abelian Cramer Shoup Public Key Cryptosystem. - Atieh Mirshahvalad, Alcides Viamontes Esquivel, Ludvig Lizana, Martin Rosvall:
Dynamics of interacting information waves in networks. - Joanna A. Ellis-Monaghan, Andrew McDowell, Iain Moffatt, Greta Pangborn:
DNA origami and the complexity of Eulerian circuits with turning costs. - John Platig, Edward Ott, Michelle Girvan:
Robustness of Network Measures to Link Errors. - Victoria Horan:
Overlap Cycles for Permutations: Necessary and Sufficient Conditions. - Murad A. Mithani, Tomas Veloz, Liane Gabora:
Modeling the Role of Context Dependency in the Recognition and Manifestation of Entrepreneurial Opportunity. - Ágoston Róth, Imre Juhász, Alexandru Kristály:
A constructive approach to triangular trigonometric patches. - Lijun Peng, Luis Carvalho:
Bayesian Degree-Corrected Stochastic Block Models for Community Detection. - Jing Wang, Daniel Rossell, Christos G. Cassandras, Ioannis Ch. Paschalidis:
Network Anomaly Detection: A Survey and Comparative Analysis of Stochastic and Deterministic Methods. - Yanguang Chen, Feng Xu:
Modeling complex spatial dynamics of two-population interaction in urbanization process. - Tohru Tashiro:
Hierarchical Bass model. - Giuseppe Di Molfetta, Marc Brachet, Fabrice Debbasch:
Quantum Walks in artificial electric and gravitational Fields. - Miika Hannula, Juha Kontinen:
A finite axiomatization of conditional independence and inclusion dependencies. - Javier Borondo, Alfredo Jose Morales, Juan Carlos Losada, Rosa M. Benito:
Characterizing and modeling an electoral campaign in the context of Twitter: 2011 Spanish Presidential Election as a case study. - Ashton M. Verdery, Ted Mouw, Shawn Bauldry, Peter J. Mucha:
Network Structure and Biased Variance Estimation in Respondent Driven Sampling. - Waheed U. Bajwa, Marco F. Duarte, A. Robert Calderbank:
Conditioning of Random Block Subdictionaries with Applications to Block-Sparse Recovery and Regression. - Robin Thomas, Peter Whalen:
Odd K_3, 3 subdivisions in bipartite graphs. - William B. Kinnersley:
Cops and Robbers is EXPTIME-complete. - Coralia Cartis, Andrew Thompson:
A new and improved quantitative recovery analysis for iterative hard thresholding algorithms in compressed sensing. - Mark Huber:
An unbiased estimate for the mean of a {0, 1} random variable with relative error distribution independent of the mean. - Stephan Bialonski, Klaus Lehnertz:
Assortative mixing in functional brain networks during epileptic seizures. - Ryan G. James, Korana Burke, James P. Crutchfield:
Chaos Forgets and Remembers: Measuring Information Creation, Destruction, and Storage. - Jin-Li Guo:
The co-evolution of brand effect and competitiveness in evolving networks. - Yuichiro Fujiwara, Alexander Gruner, Peter Vandendriessche:
High-rate quantum low-density parity-check codes assisted by reliable qubits. - Yun-Jiang Wang, Bei Zeng, Markus Grassl, Barry C. Sanders:
Stabilizer formalism for generalized concatenated quantum codes. - Veronika Cheplygina, David M. J. Tax, Marco Loog:
Multiple Instance Learning with Bag Dissimilarities. - Zheng Yao, Xiao-Long Peng, Li-Jie Zhang, Xin-Jian Xu:
Modeling nonuniversal citation distributions: the role of scientific journals. - Marie Albenque, Kolja B. Knauer:
Convexity in partial cubes: the hull number. - Sérgio Daniel Pequito, Soummya Kar, A. Pedro Aguiar:
A Framework for Structural Input/Output and Control Configuration Selection in Large-Scale Systems. - Saugata Basu:
A complexity theory of constructible functions and sheaves. - Zongming Ma, Yihong Wu:
Computational Barriers in Minimax Submatrix Detection. - Ali Mousavi, Arian Maleki, Richard G. Baraniuk:
Asymptotic Analysis of LASSOs Solution Path with Implications for Approximate Message Passing. - Stacey Jeffery, Frédéric Magniez, Ronald de Wolf:
Optimal parallel quantum query algorithms. - Pádraig Mac Carron, Ralph Kenna:
Network analysis of the Íslendinga sögur - the Sagas of Icelanders. - Ewan R. Colman, Geoff J. Rodgers:
Kinetics of node splitting in evolving complex networks. - Guangye Chen, Luis Chacón, Christopher A. Leibs, Dana A. Knoll, William T. Taitano:
Fluid preconditioning for Newton-Krylov-based, fully implicit, electrostatic particle-in-cell simulations. - Victor M. Preciado, Michael Zargham, Chinwendu Enyioha, Ali Jadbabaie, George J. Pappas:
Optimal Resource Allocation for Network Protection: A Geometric Programming Approach. - Alexis Ballier, Emmanuel Jeandel:
Structuring multi-dimensional subshifts. - Nicola Bezzo, Patricio J. Cruz Davalos, Francesco Sorrentino, Rafael Fierro:
Decentralized identification and control of networks of coupled mobile platforms through adaptive synchronization of chaos. - Sze Zheng Yong, Minghui Zhu, Emilio Frazzoli:
A Unified Framework for Simultaneous Input and State Estimation of Linear Discrete-time Stochastic Systems. - Chuan-Wen Loe, Henrik Jeldtoft Jensen:
Stability of the Centrality of Unions of Networks on the Same Vertex Set. - Tansel Yucelen, Gerardo De La Torre, Eric N. Johnson:
Improving Transient Performance of Adaptive Control Architectures using Frequency-Limited System Error Dynamics. - Qiang Zhang, Keqiang Li, Zengru Di, Jinshan Wu:
Games on graphs: A minor modification of payoff scheme makes a big difference. - Bernat Corominas-Murtra, Benedikt Fuchs, Stefan Thurner:
Detection of the elite structure in a virtual multiplex social system by means of a generalized $K$-core. - Ulrich Paquet, Noam Koenigstein:
One-class Collaborative Filtering with Random Graphs: Annotated Version. - Chao Zhang:
Bennett-type Generalization Bounds: Large-deviation Case and Faster Rate of Convergence. - Satoshi Takabe, Koji Hukushima:
Typical behavior of the linear programming method for combinatorial optimization problems: From a statistical-mechanical perspective. - Peter Csermely, András London, Ling-Yun Wu, Brian Uzzi:
Structure and dynamics of core-periphery networks. - Larry A. Wasserman, Mladen Kolar, Alessandro Rinaldo:
Estimating Undirected Graphs Under Weak Assumptions. - Suyu Liu, Nicola Perra, Márton Karsai, Alessandro Vespignani:
Controlling Contagion Processes in Time-Varying Networks. - Mikko Kivelä, Alexandre Arenas, Marc Barthelemy, James P. Gleeson, Yamir Moreno, Mason A. Porter:
Multilayer Networks. - Philipp Kant:
Finding Linear Dependencies in Integration-By-Parts Equations: A Monte Carlo Approach. - Raja Giryes:
Greedy Algorithm for the Analysis Transform Domain. - Peter Orchard, Felix V. Agakov, Amos J. Storkey:
Bayesian Inference in Sparse Gaussian Graphical Models. - Liane Gabora, Patrick Colgan:
A Model of the Mechanisms Underlying Exploratory Behaviour. - Liane Gabora, Kirsty Kitto:
Concept Combination and the Origins of Complex Cognition. - Menghui Li, Shuguang Guan, Xiaofeng Gong, Kun Li, Jinshan Wu, Zengru Di, Choy Heng Lai:
From sparse to dense and from assortative to disassortative in online social networks. - Scott Aaronson, Alex Arkhipov:
BosonSampling Is Far From Uniform. - Peng Zhang, Menghui Li, Liang Gao, Ying Fan, Zengru Di:
Characterizing and Modeling the Dynamics of Activity and Popularity. - Dorit Aharonov, Itai Arad, Thomas Vidick:
The Quantum PCP Conjecture. - Misha Stepanov, Aditya Sundarrajan:
Most probable failure scenario in a model power grid with random power demand. - Peter Bastian:
A fully-coupled discontinuous Galerkin method for two-phase flow in porous media with discontinuous capillary pressure. - Zhizhen Zhao, Amit Singer:
Rotationally Invariant Image Representation for Viewing Direction Classification in Cryo-EM. - Vladislav Voroninski:
Quantum Tomography From Few Full-Rank Observables. - Guoming Wang:
Span-program-based quantum algorithm for tree detection. - Michael I. Jordan:
On statistics, computation and scalability. - Petr Lánský, Federico Polito, Laura Sacerdote:
The role of detachment of links in scale-free networks. - Shin Harase, Ryuichi Ohori:
A search for extensible low-WAFOM point sets. - Alexander Pott, Qi Wang:
Difference Balanced Functions and Their Generalized Difference Sets. - Jesse Berwald, Marian Gidea:
Critical Transitions In a Model of a Genetic Regulatory System. - Subhrajit Bhattacharya, Mihail Pivtoraiko:
A Continuous Inverse Kinematics Problem for a Planar Robot Arm. - Debbie Hernández, Fernando Castaños, Leonid M. Fridman:
Pole-placement in higher-order sliding-mode control. - Xinjia Chen:
Concentration Inequalities for Bounded Random Vectors. - Ondrej Turek:
Abelian complexity function of the Tribonacci word. - Saeed Ghadimi, Guanghui Lan:
Stochastic First- and Zeroth-order Methods for Nonconvex Stochastic Programming. - Ravi Ganti, Alexander G. Gray:
Local Support Vector Machines: Formulation and Analysis.
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-09-22 23:38 CEST 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:
