: Determining Relevant Relations for Datalog Queries under Access Limitations is Undecidable.
Yin Tat Lee
: Probabilistic Spectral Sparsification In Sublinear Time.
, Amir Leshem
: Expected time complexity of the auction algorithm and the push relabel algorithm for maximal bipartite matching on random graphs.
: Speeding-Up Convergence via Sequential Subspace Optimization: Current State and Future Directions.
, Jean Roberts
: Mathematical analysis of a discrete fracture model coupling Darcy flow in the matrix with Darcy-Forchheimer flow in the fracture.
: On structural properties of trees with minimal atom-bond connectivity index.
Ahmed El Shafie
: Optimal Random Access and Random Spectrum Sensing for an Energy Harvesting Cognitive Radio with and without Primary Feedback Leveraging.
: Active self-assembly using an insertion primitive and context-free grammars have equal expressive power.
, Yuan Qi
: EigenGP: Gaussian process models with adaptive eigenfunctions.
Trupti M. Kodinariya
: Hybrid Approach to Face Recognition System using Principle component and Independent component with score based fusion process.
, Phuong Huynh
: Student-based Collaborative Network for Delivering Information of Natural Disasters and Climate Adaptation.
, Leila Ribeiro
: Proceedings First Latin American Workshop on Formal Methods, LAFM 2013, Buenos Aires, Argentina, August 26th 2013.
, Jwo-Yuh Wu
: An Improved RIP-Based Performance Guarantee for Sparse Signal Recovery via Orthogonal Matching Pursuit.
: A Study of Successive Over-relaxation Method Parallelization Over Modern HPC Languages.
: A Survey of Techniques For Improving Energy Efficiency in Embedded Computing Systems.
K. I. A. Derouiche
: Interaction entre mathématique et informatique Libre/Open Source par le logiciel mathématique.
: Multimodal Optimization by Sparkling Squid Populations.
, Xuelian Shen
, Zhanfeng Zhu
: Research on the mobile robots intelligent path planning based on ant colony algorithm application in manufacturing logistics.
: A Search Procedure for Cyclic Subsets.
, Nuno C. Martins
: A Class of LTI Distributed Observers for LTI Plants: Necessary and Sufficient Conditions for Stabilizability.
Adeyinka K. Akanbi
: LB2CO: A Semantic Ontology Framework for B2C eCommerce Transaction on the Internet.