Results for "Saeed Amizadeh"

total 888took 0.12s
Variational Dual-Tree Framework for Large-Scale Transition Matrix ApproximationOct 16 2012In recent years, non-parametric methods utilizing random walks on graphs have been used to solve a wide range of machine learning problems, but in their simplest form they do not scale well due to the quadratic complexity. In this paper, a new dual-tree ... More
PDP: A General Neural Framework for Learning Constraint Satisfaction SolversMar 05 2019There have been recent efforts for incorporating Graph Neural Network models for learning full-stack solvers for constraint satisfaction problems (CSP) and particularly Boolean satisfiability (SAT). Despite the unique representational power of these neural ... More
The Bregman Variational Dual-Tree FrameworkSep 26 2013Graph-based methods provide a powerful tool set for many non-parametric frameworks in Machine Learning. In general, the memory and computational complexity of these methods is quadratic in the number of examples in the data which makes them quickly infeasible ... More
Coded Elastic ComputingDec 16 2018May 26 2019Cloud providers have recently introduced new offerings whereby spare computing resources are accessible at discounts compared to on-demand computing. Exploiting such opportunity is challenging inasmuch as such resources are accessed with low-priority ... More
Coded Elastic ComputingDec 16 2018Feb 05 2019Cloud providers have recently introduced low-priority machines to reduce the cost of computations. Exploiting such opportunity for machine learning tasks is challenging inasmuch as low-priority machines can elastically leave (through preemption) and join ... More
Making Classical Machine Learning Pipelines Differentiable: A Neural Translation ApproachJun 10 2019Classical Machine Learning (ML) pipelines often comprise of multiple ML models where models, within a pipeline, are trained in isolation. Conversely, when training neural network models, layers composing the neural models are simultaneously trained using ... More
Beyond Batch Processing: Towards Real-Time and Streaming Big DataMar 13 2014Aug 01 2014Today, big data is generated from many sources and there is a huge demand for storing, managing, processing, and querying on big data. The MapReduce model and its counterpart open source implementation Hadoop, has proven itself as the de facto solution ... More
Herbrand Consistency of Some Arithmetical TheoriesMay 15 2010Jun 08 2010G\"odel's second incompleteness theorem is proved for Herbrand consistency of some arithmetical theories with bounded induction, by using a technique of logarithmic shrinking the witnesses of bounded formulas, due to Z. Adamowicz [Herbrand consistency ... More
On Rudimentarity, Primitive Recursivity and RepresentabilityJul 01 2019It is quite well-known from Kurt G\"odel's (1931) ground-breaking result on the Incompleteness Theorem that rudimentary relations (i.e., those definable by bounded formulae) are primitive recursive, and that primitive recursive functions are representable ... More
Computation in Logic and Logic in ComputationDec 20 2016The theory of addition in the domains of natural (N), integer (Z), rational (Q), real (R) and complex (C) numbers is decidable, so is the theory of multiplication in all those domains. By Godel's Incompleteness Theorem the theory of addition and multiplication ... More
On the Common Randomness Capacity of a Special Class of Two-way ChannelsJun 26 2019In this paper, we would like to study the common randomness (CR) capacity of intertwined two-way channels, namely those whose marginal channel transition probabilities depends also on the signal they transmit. We bring a few special settings and provide ... More
An Efficient Solution for Model Checking Abstract State Machine Using BogorApr 07 2014Nowadays, publish subscribe and event based architecture are frequently used for developing loosely coupled distributed systems. Hence, it is desirable to find a proper solution to specify different systems through these architectures. Abstract state ... More
New physics in inclusive semileptonic $B$ decays including nonperturbative correctionsNov 18 2018Mar 08 2019In this work we study the effects of New Physics (NP) operators on the inclusive $\bar{B} \to X_c \tau^- \bar{\nu}_\tau$ decay including power $(\mathcal{O}(1/m_b^2))$ corrections in the NP operators. In analogy with $R(D^{(*)})$ observables, we study ... More
Quasicomplemented residuated latticesApr 20 2019In this paper, the class of quasicomplemented residuated lattices is introduced and investigated, as a subclass of residuated lattices in which any prime filter not containing any dense element is a minimal prime filter. The notion of disjunctive residuated ... More
Theorems of Tarski's Undefinability and Godel's Second Incompleteness - ComputationallySep 01 2015We show that the existence of a finitely axiomatized theory which can prove all the true $\Sigma_1$ sentences may imply Godel's Second Incompleteness Theorem, by incorporating some bi-theoretic version of the derivability conditions (first discussed by ... More
Godel's Incompleteness Phenomenon - ComputationallyNov 30 2012Sep 06 2014We argue that Godel's completeness theorem is equivalent to completability of consistent theories, and Godel's incompleteness theorem is equivalent to the fact that this completion is not constructive, in the sense that there are some consistent and recursively ... More
A brief note about the Scott entanglement measureOct 31 2018Scott studied various interesting aspects of multipartite entanglement measures. He has defined a class of related multipartite entanglement measures in the obvious manner. Recently, Jafarpour et al. (Int. J. Quantum Inform. 13, 1550047 2015) have calculated ... More
On Local Antimagic Chromatic Number of GraphsApr 24 2018A {\it local antimagic labeling} of a connected graph $G$ with at least three vertices, is a bijection $f:E(G) \rightarrow \{1,2,\ldots , |E(G)|\}$ such that for any two adjacent vertices $u$ and $v$ of $G$, the condition $\omega _{f}(u) \neq \omega _{f}(v)$ ... More
Approximating Weighted Duo-Preservation in Comparative GenomicsAug 30 2017Motivated by comparative genomics, Chen et al. [9] introduced the Maximum Duo-preservation String Mapping (MDSM) problem in which we are given two strings $s_1$ and $s_2$ from the same alphabet and the goal is to find a mapping $\pi$ between them so as ... More
Learning in anonymous nonatomic games with applications to first-order mean field gamesApr 02 2017We introduce a model of anonymous games with the player dependent action sets. We propose several learning procedures based on the well-known Fictitious Play and Online Mirror Descent and prove their convergence to equilibrium under the classical monotonicity ... More
Reduced products of metric structures: a metric Feferman-Vaught theoremNov 04 2014Apr 05 2016We extend the classical Feferman-Vaught theorem to logic for metric structures. This implies that the reduced powers of elementarily equivalent structures are elementarily equivalent, and therefore they are isomorphic under the Continuum Hypothesis. We ... More
Numerical study of the one-dimensional quantum compass modelAug 12 2010Jul 25 2012The ground state magnetic phase diagram of the one-dimensional quantum compass model (QCM) is studied using the numerical Lanczos method. A detailed numerical analysis of the low energy excitation spectrum is presented. The energy gap and the spin-spin ... More
On critical points of proper holomorphic maps on the unit diskJun 15 1996We prove that a proper holomorphic map on the unit disk in the complex plane is uniquely determined up to post-composition with a Moebius transformation by its critical points.
On b-continuity Of Kneser Graphs of type KG(2k+1,k)Sep 15 2009Sep 27 2010In this paper, we will introduce an special kind of graph homomorphisms namely semi-locally-surjective graph homomorphisms and show some relations between semi-locally-surjective graph homomorphisms and colorful colorings of graphs and then we prove that ... More
Herbrand Consistency of Some Finite Fragments of Bounded Arithmetical TheoriesOct 09 2011Dec 10 2016We formalize the notion of Herbrand Consistency in an appropriate way for bounded arithmetics, and show the existence of a finite fragment of ${\rm I\Delta_0}$ whose Herbrand Consistency is not provable in the thoery ${\rm I\Delta_0}$. We also show the ... More
Sometime a Paradox, Now Proof: Non-First-Order-izability of Yablo's ParadoxAug 05 2019Paradoxes are interesting puzzles in philosophy and mathematics, and they can be even more fascinating when turned into proofs and theorems. For example, Liar's paradox can be translated into a propositional tautology, and Barber's paradox into a first-order ... More
Conformal Fitness and Uniformization of Holomorphically Moving DisksFeb 12 2013Let $\{U_t \}_{t \in {\mathbb D}}$ be a family of topological disks on the Riemann sphere containing the origin 0 whose boundaries undergo a holomorphic motion over the unit disk $\mathbb D$. We study the question of when there exists a family of Riemann ... More
Herbrand Consistency of Some Finite Fragments of Bounded Arithmetical TheoriesOct 09 2011We formalize the notion of Herbrand Consistency in an appropriate way for bounded arithmetics, and show the existence of a finite fragment of ${\rm I\Delta_0}$ whose Herbrand Consistency is not provable in the thoery ${\rm I\Delta_0}$. We also show the ... More
Separating Bounded Arithmetics by Herbrand ConsistencyAug 02 2010Dec 10 2016The problem of $\Pi_1-$separating the hierarchy of bounded arithmetic has been studied in the paper. It is shown that the notion of Herbrand Consistency, in its full generality, cannot $\Pi_1-$separate the theory ${\rm I\Delta_0+\bigwedge_j\Omega_j}$ ... More
Axiomatizing Mathematical Theories: MultiplicationDec 20 2016Axiomatizing mathematical structures is a goal of Mathematical Logic. Axiomatizability of the theories of some structures have turned out to be quite difficult and challenging, and some remain open. However axiomatization of some mathematical structures ... More
Theorems of Tarski's Undefinability and Godel's Second Incompleteness - ComputationallySep 01 2015Jun 10 2017We present a version of Godel's Second Incompleteness Theorem for recursively enumerable consistent extensions of a fixed axiomatizable theory, by incorporating some bi-theoretic version of the derivability conditions (first discussed by M. Detlefsen ... More
Godel's Incompleteness Phenomenon - ComputationallyNov 30 2012Dec 10 2016We argue that Godel's completeness theorem is equivalent to completability of consistent theories, and Godel's incompleteness theorem is equivalent to the fact that this completion is not constructive, in the sense that there are some consistent and recursively ... More
Computational Complexity of Some Quantum Theories in $1+1$ DimensionsDec 31 2015We study the computational complexity of certain integrable quantum theories in 1+1 dimensions. We formalize a model of quantum computation based on these theories. In this model, distinguishable particles start out with known momenta and initial superposition ... More
Separating Bounded Arithmetics by Herbrand ConsistencyAug 02 2010Aug 30 2010The problem of $\Pi_1-$separating the hierarchy of bounded arithmetic has been studied in the paper. It is shown that the notion of Herbrand Consistency, in its full generality, cannot $\Pi_1-$separate the theory ${\rm I\Delta_0+\bigwedge_j\Omega_j}$ ... More
Unique Set Cover on Unit Disks and Unit SquaresJul 25 2016We study the Unique Set Cover problem on unit disks and unit squares. For a given set $P$ of $n$ points and a set $D$ of $m$ geometric objects both in the plane, the objective of the Unique Set Cover problem is to select a subset $D'\subseteq D$ of objects ... More
Bayesian Combinatorial Auctions: Expanding Single Buyer Mechanisms to Many BuyersJun 06 2011Jun 15 2012For Bayesian combinatorial auctions, we present a general framework for approximately reducing the mechanism design problem for multiple buyers to single buyer sub-problems. Our framework can be applied to any setting which roughly satisfies the following ... More
SAW*-algebras are essentially non-factorizableSep 16 2012Sep 28 2013In this paper we solve a question of Simon Wassermann, whether the Calkin algebra can be written as a C*-tensor product of two infinite dimensional C*-algebras. More generally we show that there is no surjective *-homomorphism from a SAW*-algebra onto ... More
Explicit Solution For Klein-Gordon Equation, in Four Dimensions, For any Arbitrary potential. A New ApproachMay 31 2003Klein-Gordon Equation has been solved in four dimension. The potential has been chosen to be any arbitrary field Potential.
A note on fall colorings of Kneser graphsSep 15 2009Nov 09 2018A fall coloring of a graph G is a proper coloring of G with k colors such that each vertex sees all k colors on its closed neighborhood. In this short note, we characterize all fall colorings of Kneser graphs of type KG(n,2).
Resource Allocation and Relay Selection for Collaborative CommunicationsOct 24 2008We investigate the relay selection problem for a decode and forward collaborative network. Users are able to collaborate; decode messages of each other, re-encode and forward along with their own messages. We study the performance obtained from collaboration ... More
On Fall Colorings of Kneser GraphsSep 15 2009A fall k-coloring of a graph G is a proper k-coloring of G such that each vertex of G sees all k colors on its closed neighborhood. In this note, we characterize all fall colorings of Kneser graphs of type KG(n,2) for n\geq2 and study some fall colorings ... More
Conditional gradient type methods for composite nonlinear and stochastic optimizationFeb 02 2016In this paper, we present a conditional gradient type (CGT) method for solving a class of composite optimization problems where the objective function consists of a (weakly) smooth term and a strongly convex term. While including this strongly convex ... More
New physics in inclusive semileptonic $B$ decays including nonperturbative correctionsNov 18 2018Feb 01 2019In this work we study the effects of New Physics (NP) operators on the inclusive $\bar{B} \to X_c \tau^- \bar{\nu}_\tau$ decay including power $(\mathcal{O}(1/m_b^2))$ corrections in the NP operators. In analogy with $R(D^{(*)})$ observables, we study ... More
On The Circular Altitude of GraphsFeb 05 2018Peter Cameron introduced the concept of the circular altitude of graphs; a parameter which was shown by Bamberg et al. that provides a lower bound on the circular chromatic number. In this note, we investigate this parameter and show that the circular ... More
A Note on Approximating Weighted Independence on Intersection Graphs of Paths on a GridAug 30 2017Sep 06 2018A graph $G$ is called $B_k$-VPG, for some constant $k\geq 0$, if it has a string representation on an axis-parallel grid such that each vertex is a path with at most $k$ bends and two vertices are adjacent in $G$ if and only if the corresponding paths ... More
Conditional gradient type methods for composite nonlinear and stochastic optimizationFeb 02 2016Jan 01 2018In this paper, we present a conditional gradient type (CGT) method for solving a class of composite optimization problems where the objective function consists of a (weakly) smooth term and a (strongly) convex regularization term. While including a strongly ... More
Gravitational Waves and Inspiraling Compact Binaries in Alternative Theories of GravityAug 23 2013This dissertation consists of four parts. In Part I, we briefly review fundamental theories of gravity, performed experimental tests, and gravitational waves. The framework and the methods that we use in our calculations are discussed in Part II. This ... More
On Axiomatizability of the Multiplicative Theory of NumbersJul 15 2017Feb 14 2018The multiplicative theory of a set of numbers (which could be natural, integer, rational, real or complex numbers) is the first-order theory of the structure of that set with (solely) the multiplication operation (that set is taken to be multiplicative, ... More
Comment on: Multipartite entanglement in four-qubit graph stateJan 29 2017The following comment is based on an article by M. Jafarpour and L. Assadi [Eur. Phys. J. D 70, 62 (2016), doi:10.1140/epjd/e2016-60555-5] which with an exploitation of Scott measure (or generalized Meyer-Wallach measure) the entanglement quantity of ... More
Sometime a Paradox, Now Proof: Non-First-Order-izability of Yablo's ParadoxAug 05 2019Aug 15 2019Paradoxes are interesting puzzles in philosophy and mathematics, and they can be even more fascinating, when turned into proofs and theorems. For example, Liar's paradox can be translated into a propositional tautology, and Barber's paradox turns into ... More
An extension of compact operators by compact operators with no nontrivial multipliersSep 15 2016We construct an essential extension of $\mathcal K(\ell_2({\mathfrak{c}}))$ by $\mathcal K(\ell_2)$, where ${\mathfrak{c}}$ denotes the cardinality of continuum, i.e., a $C^*$-algebra $\mathcal A\subseteq \mathcal B(\ell_2)$ satisfying the short exact ... More
More on Phase Transition and Renyi EntropyNov 12 2018In this paper we study the scalar field condensation around the hyperbolic black hole solutions in Einstein and Gauss-Bonnet gravities. We investigate Renyi entropy and the inequalities governing on it under this phase transition. Our numerical computations ... More
Geometrically Frustrated Anisotropic Four-Leg Spin-$1/2$ NanotubeOct 17 2018The frustrated anisotropic four-leg spin-1/2 nanotube has been studied using the real space quantum renormalization group (QRG) approach in the thermodynamic limit. We have obtained the phase diagram, fixed points, critical points, the scaling of coupling ... More
An Overview of Multiple Sequence Alignment SystemsJan 18 2009An overview of current multiple alignment systems to date are described.The useful algorithms, the procedures adopted and their limitations are presented.We also present the quality of the alignments obtained and in which cases(kind of alignments, kind ... More
Densely Residual Laplacian Super-ResolutionJun 28 2019Jul 01 2019Super-Resolution convolutional neural networks have recently demonstrated high-quality restoration for single images. However, existing algorithms often require very deep architectures and long training times. Furthermore, current convolutional neural ... More
First-Order Continuous Induction, and a Logical Study of Real Closed FieldsNov 01 2018Apr 11 2019Over the last century, the principle of "induction on the continuum" has been studied by different authors in different formats. All of these different readings are equivalent to one of the three versions that we isolate in this paper. We also formalize ... More
Universal AF-algebrasMar 25 2019We study the approximately finite-dimensional (AF) $C^*$-algebras that appear as inductive limits of sequences of finite-dimensional $C^*$-algebras and left-invertible embeddings. We show that there is such a separable AF-algebra $\mathcal A_\mathfrak{F}$ ... More
On Margulis cusps of hyperbolic 4-manifoldsApr 19 2013Jul 30 2013We study the geometry of the Margulis region associated with an irrational screw translation $g$ acting on the 4-dimensional real hyperbolic space. This is an invariant domain with the parabolic fixed point of $g$ on its boundary which plays the role ... More
Modelling of Walking Humanoid Robot With Capability of Floor Detection and Dynamic Balancing Using Colored Petri NetApr 10 2014Most humanoid robots have highly complicated structure and design of robots that are very similar to human is extremely difficult. In this paper, modelling of a general and comprehensive algorithm for control of humanoid robots is presented using Colored ... More
Independent sets of some graphs associated to commutative ringsJan 08 2013Let $G=(V,E)$ be a simple graph. A set $S\subseteq V$ is independent set of $G$, if no two vertices of $S$ are adjacent. The independence number $\alpha(G)$ is the size of a maximum independent set in the graph. %An independent set with cardinality Let ... More
On biaccessible points in the Julia set of a Cremer quadratic polynomialJan 15 1998We prove that the only possible biaccessible points in the Julia set of a Cremer quadratic polynomial are the Cremer fixed point and its preimages. This gives a partial answer to a question posed by C. McMullen on whether such a Julia set can contain ... More
Diving Deeper into Underwater Image Enhancement: A SurveyJul 17 2019The powerful representation capacity of deep learning has made it inevitable for the underwater image enhancement community to employ its potential. The exploration of deep underwater image enhancement networks is increasing over time, and hence; a comprehensive ... More
Local rings with quasi-decomposable maximal idealApr 03 2017Aug 08 2018Let $(R,\frak m)$ be a commutative noetherian local ring. In this paper, we prove that if $\frak m$ is decomposable, then for any finitely generated $R$-module $M$ of infinite projective dimension $\frak m$ is a direct summand of (a direct sum of) syzygies ... More
On Ext-indices of ring extensionsDec 18 2007In this paper we are concerned with the finiteness property of Ext-indices of several ring extensions. In this direction, we introduce some conjectures and discuss the relationship of them. Also we give affirmative answers to these conjectures in some ... More
On a Certain Fallacy (probably committed by Godel)Jul 14 2016We take an argument of G\"odel's from his groundbreaking 1931 paper, generalize it, and examine its (in)validity. The argument in question is this: "$A$ says of itself that it has property $F$, and $A$ does have property $F$; therefore, $A$ is true."
Kernel-based Detection of Coincidentally Correct Test Cases to Improve Fault Localization EffectivenessMar 25 2018Although empirical studies have confirmed the effectiveness of spectrum-based fault localization (SBFL) techniques, their performance may be degraded due to presence of some undesired circumstances such as the existence of coincidental correctness (CC) ... More
FPA-FL: Incorporating Static Fault-proneness Analysis into Statistical Fault LocalizationDec 09 2017Despite the proven applicability of the statistical methods in automatic fault localization, these approaches are biased by data collected from different executions of the program. This biasness could result in unstable statistical models which may vary ... More
openCoT: The opensource Cloud of Things platformJan 02 2019In order to address the complexity and extensiveness of technology, Cloud Computing is utilized with four main service models. The most recent service model, function-as-a-service, enables developers to develop their application in a function-based structure ... More
Can Adversarially Robust Learning Leverage Computational Hardness?Oct 02 2018Nov 06 2018Making learners robust to adversarial perturbation at test time (i.e., evasion attacks) or training time (i.e., poisoning attacks) has emerged as a challenging task. It is known that for some natural settings, sublinear perturbations in the training phase ... More
$C^1$ Quintic Splines on Domains Enclosed by Piecewise Conics and Numerical Solution of Fully Nonlinear Elliptic EquationsFeb 17 2016We introduce bivariate $C^1$ piecewise quintic finite element spaces for curved domains enclosed by piecewise conics satisfying homogeneous boundary conditions, construct local bases for them using Bernstein-B\'ezier techniques, and demonstrate the effectiveness ... More
A Bennett Inequality for the Missing MassMar 20 2015Dec 01 2015Novel concentration inequalities are obtained for the missing mass, i.e. the total probability mass of the outcomes not observed in the sample. We derive distribution-free deviation bounds with sublinear exponents in deviation size for missing mass and ... More
Probability of Stability of Synchronization in Random Networks of Mismatched OscillatorsJul 27 2014The stability of synchronization state in networks of oscillators are studied under the assumption that oscillators and their couplings have slightly mismatched parameters. A generalized master stability function is provided that takes the mismatches ... More
Accelerated Gradient Methods for Nonconvex Nonlinear and Stochastic ProgrammingOct 14 2013In this paper, we generalize the well-known Nesterov's accelerated gradient (AG) method, originally designed for convex smooth optimization, to solve nonconvex and possibly stochastic optimization problems. We demonstrate that by properly specifying the ... More
The Cognitive Compressive Sensing ProblemJan 17 2014Jan 23 2014In the Cognitive Compressive Sensing (CCS) problem, a Cognitive Receiver (CR) seeks to optimize the reward obtained by sensing an underlying $N$ dimensional random vector, by collecting at most $K$ arbitrary projections of it. The $N$ components of the ... More
Synchronization Probability in Large Random NetworksNov 26 2012In a generalized framework, where multi-state and inter-state linkages are allowed, we derive a sufficient condition for the stability of synchronization in a network of chaotic attractors. This condition explicitly relates the network structure and the ... More
Group analysis for generalized reaction-diffusion convection equationJul 07 2010symmetry, group classification, differential invariants, Lie-classical method,infinitesimal criterion method, RDC equation, KPP equation, similarity solutions.
Robust PI Control Design Using Particle Swarm OptimizationJun 14 2010This paper presents a set of robust PI tuning formulae for a first order plus dead time process using particle swarm optimization. Also, tuning formulae for an integrating process with dead time, which is a special case of a first order plus dead time ... More
Quantum corrections of the biquadratic interaction in the 1D spin-1/2 frustrated ferromagnetic systemsApr 13 2012Quantum corrections of the biquadratic interaction in the 1D spin-1/2 frustrated ferromagnetic Heisenberg model are studied. The biquadratic interaction for spin-1/2 chains is eliminated and transformed to the quadratic interaction. Doing a numerical ... More
Variational problems without having any non-trivial Lie variational symmetriesJul 02 2010In this paper we construct variational problems without Lie non-trivial variational symmetry and solving them using new class of symmetries ($\mu$-symmetry) which introduced by Guiseppe Gaeta and Paola Morando (2004). The central object in this paper ... More
Loading Arbitrary Knowledge Bases in Matrix BrowserJun 30 2009This paper describes the work done on Matrix Browser, which is a recently developed graphical user interface to explore and navigate complex networked information spaces. This approach presents a new way of navigating information nets in windows explorer ... More
On Decidability of the Ordered Structures of NumbersSep 15 2017Feb 14 2018The ordered structures of natural, integer, rational and real numbers are studied here. It is known that the theories of these numbers in the language of order are decidable and finitely axiomatizable. Also, their theories in the language of order and ... More
A Brief Overview of Bipartite and Multipartite Entanglement MeasuresMay 09 2018Oct 06 2018Measuring entanglement is a demanding task in the field of quantum computation and quantum information theory. Recently, some authors experimentally demonstrated an embedding quantum simulator, using it to efficiently measure two-qubit entanglement. Here, ... More
Potential Models for Radiative Rare B DecaysJan 23 2001We compute the branching ratios for the radiative rare decays of B into K-Meson states and compare them to the experimentally determined branching ratio for inclusive decay b -> s gamma using non relativistic quark model, and form factor definitions consistent ... More
Multi-Armed Bandit for Energy-Efficient and Delay-Sensitive Edge Computing in Dynamic Networks with UncertaintyApr 12 2019In the emerging edge-computing paradigm, mobile devices offload the computational tasks to an edge server by routing the required data over the wireless network. The full potential of edge-computing becomes realized only if the devices select the most ... More
On Constructivity and the Rosser Property: a closer look at some Gödelean proofsDec 08 2016Feb 14 2018The proofs of Kleene, Chaitin and Boolos for G\"odel's First Incompleteness Theorem are studied from the perspectives of constructivity and the Rosser property. A proof of the incompleteness theorem has the Rosser property when the independence of the ... More
More on Phase Transition and Renyi EntropyNov 12 2018May 09 2019In this paper, we study the scalar field condensation around the hyperbolic black hole solutions in the Einstein and Gauss-Bonnet gravities. We investigate the Renyi entropy and inequalities governing on it under this phase transition. Our numerical computations ... More
Diagonalizing by Fixed-PointsMar 04 2013Dec 10 2016A universal schema for diagonalization was popularized by N. S. Yanofsky (2003) in which the existence of a (diagonolized-out and contradictory) object implies the existence of a fixed-point for a certain function. It was shown that many self-referential ... More
Noncommutative Cantor-Bendixson derivatives and scattered $C^*$-algebrasNov 01 2016Apr 03 2018We analyze the sequence obtained by consecutive applications of the Cantor-Bendixson derivative for a noncommutative scattered $C^*$-algebra $\mathcal A$, using the ideal $\mathcal I^{At}(\mathcal A)$ generated by the minimal projections of $\mathcal ... More
Kripke Semantics for Fuzzy LogicsJul 14 2016Dec 10 2016Kripke frames (and models) provide a suitable semantics for sub-classical logics, for example Intuitionistic Logic (of Brouwer and Heyting) axiomatizes the reflexive and transitive Kripke frames (with persistent satisfaction relations), and the Basic ... More
Study of the effect of nearest neighbors on ferromagnetic to paramagnetic phase transition in 2d lattices by Monte Carlo algorithmOct 02 2016In this work we try to use the Monte Carlo algorithm, metropolis, and study the behavior of 2D magnetic systems; Honeycomb, Hexagonal and square lattices. In this study we use Heisenberg Model of magnetism, with considering only nearest neighbors in the ... More
Maximizing Sequence-Submodular Functions and its Application to Online AdvertisingSep 21 2010In this paper we study a general class of online maximization problems which are as follows. We are given a time constraint T. We have to choose a sequence of actions from a set of possible actions and also the length of time to run each action subject ... More
Andre-Quillen homology and complete intersection dimensionsJul 02 2013Jul 24 2013We study the relation between the vanishing of Andre-Quillen homology and complete intersection dimensions. As an application, we solve a problem of Avramov and Iyengar related to Quillen's conjecture. We also extend some of the existing results in the ... More
Emergent Space-Time via a Geometric Renormalization MethodJun 26 2016We present a purely geometric renormalization scheme for metric spaces (including uncolored graphs), which consists of a coarse graining and a rescaling operation on such spaces. The coarse graining is based on the concept of quasi-isometry, which yields ... More
Constructibility and Rosserizability of the Proofs of Boolos and Chaitin for Godel's Incompleteness TheoremDec 08 2016The proofs of Chaitin and Boolos for Godel's Incompleteness Theorem are studied from the perspectives of constructibility and Rosserizability. By Rosserization of a proof we mean that the independence of the true but unprovable sentence can be shown by ... More
Noncommutative Cantor-Bendixson derivatives and scattered $C^*$-algebrasNov 01 2016We analyze the sequence obtained by consecutive applications of the Cantor-Bendixson derivative for a noncommutative scattered $C^*$-algebra $\mathcal A$, using the ideal $\mathcal I^{At}(\mathcal A)$ generated by the minimal projections of $\mathcal ... More
Sample-Align-D: A High Performance Multiple Sequence Alignment System using Phylogenetic Sampling and Domain DecompositionJan 18 2009Multiple Sequence Alignment (MSA) is one of the most computationally intensive tasks in Computational Biology. Existing best known solutions for multiple sequence alignment take several hours (in some cases days) of computation time to align, for example, ... More
Constrained Orthogonal Segment StabbingApr 30 2019Let $S$ and $D$ each be a set of orthogonal line segments in the plane. A line segment $s\in S$ \emph{stabs} a line segment $s'\in D$ if $s\cap s'\neq\emptyset$. It is known that the problem of stabbing the line segments in $D$ with the minimum number ... More
Densely Residual Laplacian Super-ResolutionJun 28 2019Super-Resolution convolutional neural networks have recently demonstrated high-quality restoration for single images. However, existing algorithms often require very deep architectures and long training times. Furthermore, current convolutional neural ... More
A Unified Analysis Approach for LMS-based Variable Step-Size AlgorithmsJan 11 2015The least-mean-squares (LMS) algorithm is the most popular algorithm in adaptive filtering. Several variable step-size strategies have been suggested to improve the performance of the LMS algorithm. These strategies enhance the performance of the algorithm ... More
Inforence: Effective Fault Localization Based on Information-Theoretic Analysis and Statistical Causal InferenceDec 09 2017In this paper, a novel approach, Inforence, is proposed to isolate the suspicious codes that likely contain faults. Inforence employs a feature selection method, based on mutual information, to identify those bug-related statements that may cause the ... More