Loading...
Search for: hakem-zadeh--farimah
0.123 seconds

    Finding maximum disjoint set of boundary rectangles with application to PCB routing

    , Article IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ; Volume 36, Issue 3 , 2017 , Pages 412-420 ; 02780070 (ISSN) Ahmadinejad, A ; Zarrabi Zadeh, H ; Sharif University of Technology
    2017
    Abstract
    Motivated by the bus escape routing problem in printed circuit boards (PCBs), we study the following optimization problem: given a set of rectangles attached to the boundary of a rectangular region, find a subset of nonoverlapping rectangles with maximum total weight. We present an efficient algorithm that solves this problem optimally in O(n4) time, where n is the number of rectangles in the input instance. This improves over the best previous O(n6) -time algorithm available for the problem. We also present two efficient approximation algorithms for the problem that find near-optimal solutions with guaranteed approximation factors. The first algorithm finds a 2-approximate solution in O(n2)... 

    A streaming algorithm for 2-center with outliers in high dimensions

    , Article Computational Geometry: Theory and Applications ; Volume 60 , 2017 , Pages 26-36 ; 09257721 (ISSN) Hatami, B ; Zarrabi Zadeh, H ; Sharif University of Technology
    2017
    Abstract
    We study the 2-center problem with outliers in high-dimensional data streams. Given a stream of points in arbitrary d dimensions, the goal is to find two congruent balls of minimum radius covering all but at most z points. We present a (1.8+ε)-approximation streaming algorithm, improving over the previous (4+ε)-approximation algorithm available for the problem. The space complexity and update time of our algorithm are poly(d,z,1/ε), independent of the size of the stream. © 2016 Elsevier B.V  

    Large scale index of multi-partitioned manifolds

    , Article Journal of Noncommutative Geometry ; Volume 12, Issue 2 , July , 2018 , Pages 439-456 ; 16616952 (ISSN) Schick, T ; Esfahani Zadeh, M ; Sharif University of Technology
    European Mathematical Society Publishing House  2018
    Abstract
    Let M be a complete n-dimensional Riemannian spin manifold, partitioned by q two-sided hypersurfaces which have a compact transverse intersection N and which in addition satisfy a certain coarse transversality condition. Let E be a Hermitean bundle on M with connection. We define a coarse multi-partitioned index of the spin Dirac operator on M twisted by E. Our main result is the computation of this multi-partitioned index as the Fredholm index of the Dirac operator on the compact manifold N, twisted by the restriction of E to N. We establish the following main application: if the scalar curvature of M is bounded below by a positive constant everywhere (or even if this happens only on one of... 

    Approximation Algorithms for Finding Minimum Power Dominating Sets

    , M.Sc. Thesis Sharif University of Technology Ramezani, Mahdi (Author) ; Zarrabi-Zadeh, Hamid (Supervisor)
    Abstract
    Power dominating set is a concept in graph theory that was first defined as a result of studying the controllability of electric power systems. Assume that a graph G and a subset S of vertices of G are given. First, we color all vertices in S black, and all other vertices of G white. Then we color all vertices that have a neighbor in S black (Domination step). After that, for each black vertex v, if all neighbors of v except one (the vertex u) are black, then we also color the vertex u black (Propagation step). If after a number of Propagation steps all vertices of G are black, then we call S a power dominating set of G. The minimum cardinality of a power dominating set of G is called the... 

    Compressive detection of sparse signals in additive white Gaussian noise without signal reconstruction

    , Article Signal Processing ; Volume 131 , 2017 , Pages 376-385 ; 01651684 (ISSN) Hariri, A ; Babaie Zadeh, M ; Sharif University of Technology
    Elsevier B.V  2017
    Abstract
    The main motivation behind compressive sensing is to reduce the sampling rate at the input of a digital signal processing system. However, if for processing the sensed signal one requires to reconstruct the corresponding Nyquist samples, then the data rate will be again high in the processing stages of the overall system. Therefore, it is preferred that the desired processing task is done directly on the compressive measurements, without the need for the reconstruction of the Nyquist samples. This paper addresses the case in which the processing task is “detection” (the existence) of a sparse signal in additive white Gaussian noise, with applications e.g. in radar systems. Moreover, we will... 

    A simple randomized algorithm for all nearest neighbors

    , Article 31st Canadian Conference on Computational Geometry, CCCG 2019, 8 August 2019 through 10 August 2019 ; 2019 , Pages 94-98 Ebadian, S ; Zarrabi Zadeh, H ; Sharif University of Technology
    Canadian Conference on Computational Geometry  2019
    Abstract
    Given a set P of n points in the plane, the all nearest neighbors problem asks for finding the closest point in P for each point in the set. The following folklore algorithm is used for the problem in practice: Pick a line in a random direction, project all points onto the line, and then search for the nearest neighbor of each point in a small vicinity of that point on the line. It is widely believed that the expected number of points needed to be checked by the algorithm in the vicinity of each point is O(pn) on average. We confirm this conjecture in affirmative by providing a careful analysis on the expected number of comparisons made by the algorithm. We also present a matching lower... 

    A simple randomized algorithm for all nearest neighbors

    , Article 31st Canadian Conference on Computational Geometry, CCCG 2019, 8 August 2019 through 10 August 2019 ; 2019 , Pages 94-98 Ebadian, S ; Zarrabi Zadeh, H ; Sharif University of Technology
    Canadian Conference on Computational Geometry  2019
    Abstract
    Given a set P of n points in the plane, the all nearest neighbors problem asks for finding the closest point in P for each point in the set. The following folklore algorithm is used for the problem in practice: Pick a line in a random direction, project all points onto the line, and then search for the nearest neighbor of each point in a small vicinity of that point on the line. It is widely believed that the expected number of points needed to be checked by the algorithm in the vicinity of each point is O(pn) on average. We confirm this conjecture in affirmative by providing a careful analysis on the expected number of comparisons made by the algorithm. We also present a matching lower... 

    Dictionary learning with low mutual coherence constraint

    , Article Neurocomputing ; Volume 407 , 2020 , Pages 163-174 Sadeghi, M ; Babaie Zadeh, M ; Sharif University of Technology
    Elsevier B.V  2020
    Abstract
    This paper presents efficient algorithms for learning low-coherence dictionaries. First, a new algorithm based on proximal methods is proposed to solve the dictionary learning (DL) problem regularized with the mutual coherence of dictionary. This is unlike the previous approaches that solve a regularized problem where an approximate incoherence promoting term, instead of the mutual coherence, is used to encourage low-coherency. Then, a new solver is proposed for constrained low-coherence DL problem, i.e., a DL problem with an explicit constraint on the mutual coherence of the dictionary. As opposed to current methods, which follow a suboptimal two-step approach, the new algorithm directly... 

    Effect of annealing-induced tensions on the mechanical failure of copper/copper interface in wafer-to-wafer hybrid bonding

    , Article ECS Journal of Solid State Science and Technology ; Volume 10, Issue 2 , 2021 ; 21628769 (ISSN) Ghaemi, M ; Jafary Zadeh, M ; Sharif University of Technology
    IOP Publishing Ltd  2021
    Abstract
    The copper/copper (Cu/Cu) interface has an important role in wafer-to-wafer hybrid bonding for 3D integration applications. Reports indicate the possibility of the formation of post-bonding interfacial voids and cracks which must be avoided. Here, we use molecular dynamics simulations to investigate the effect of annealing-induced tensions on the strength and deformation mechanisms of Cu/Cu interfaces. We perform tensile tests on the pristine and defective Cu/Cu interfaces including a prototypical interfacial grain boundary in two defective limits: the presence of a single (isolated) void, and an array of multiple voids. The latter resembles interfacial nanoscale roughness as a result of... 

    Semi-blind approaches for source separation and independent component analysis

    , Article 14th European Symposium on Artificial Neural Networks, ESANN 2006, 26 April 2006 through 28 April 2006 ; 2006 , Pages 301-312 ; 2930307064 (ISBN); 9782930307060 (ISBN) Babaie Zadeh, M ; Jutten, C ; Sharif University of Technology
    d-side publication  2006
    Abstract
    This paper is a survey of semi-blind source separation approaches. Since Gaussian iid signals are not separable, simplest priors suggest to assume non Gaussian iid signals, or Gaussian non iid signals. Other priors can also been used, for instance discrete or bounded sources, positivity, etc. Although providing a generic framework for semi-blind source separation, Sparse Component Analysis and Bayesian ICA will just sketched in this paper, since two other survey papers develop in depth these approaches. © 2006 i6doc.com publication. All rights reserved  

    A general approach for mutual information minimization and its application to blind source separation

    , Article Signal Processing ; Volume 85, Issue 5 SPEC. ISS , 2005 , Pages 975-995 ; 01651684 (ISSN) Babaie Zadeh, M ; Jutten, C ; Sharif University of Technology
    Elsevier  2005
    Abstract
    In this paper, a nonparametric "gradient" of the mutual information is first introduced. It is used for showing that mutual information has no local minima. Using the introduced "gradient", two general gradient based approaches for minimizing mutual information in a parametric model are then presented. These approaches are quite general, and principally they can be used in any mutual information minimization problem. In blind source separation, these approaches provide powerful tools for separating any complicated (yet separable) mixing model. In this paper, they are used to develop algorithms for separating four separable mixing models: linear instantaneous, linear convolutive, post... 

    Sparse Decomposition of two Dimensional Signals and Its Application to Image Enhancement

    , M.Sc. Thesis Sharif University of Technology Ghaffari, Aboozar (Author) ; Babaie Zadeh, Massoud (Supervisor)

    Achievable Secrecy Rate Regions for Relay Networks

    , M.Sc. Thesis Sharif University of Technology Sonee, Amir (Author) ; Salmasi zadeh, Mahmoud (Supervisor)
    Abstract
    In this thesis with the title “Achievable Secrecy Rate Regions for the Relay Networks”, an overall insight about the information theoretical security especially for the multiple-access relay channel in which the relay and the transmitters cooperate to provide a secure communication is introduced. Firstly, a general review of the researches in different aspects of information theoretic security with the advantages and restrictions of each one is presented. In continue the basic wiretap channel which is the first channel with security constraints is described and the results for this scenario are discussed. Secondly, the relay channel as one of the basic structures in wireless networks is... 

    Investigation on Improving Direct Discrete Method and its Application in Adjoint Diffusion Equation Numerical Solvers

    , M.Sc. Thesis Sharif University of Technology Ayyoub Zadeh, Mohsen (Author) ; Vosoughi, Naser (Supervisor)
    Abstract
    Numerical analysis method improvement is a topic of interest among all engineering disciplines. Regarding the fact that our ability to predict the behavior of a physical system is often limited by our computational resources, the efficiency of the employed numerical method is an important factor in the degree of approximation used in modeling. One of the recent numerical methods is the Cell Method (CM), which is also known as the Direct Discrete Method (DDM). This method combines some features of a variety of methods, especially finite volume and finite element, and gains some insight from the graph theory used in network analysis. The result is a method in which the set of equations which... 

    A Counting Formula for the Kervaire Semi-Characteristic

    , M.Sc. Thesis Sharif University of Technology Ismayli, Behnam (Author) ; Esfahani Zadeh, Mustafa (Supervisor)
    Abstract
    Similar to the classical Poincare-Hopf index formula for the Euler characteristic, Zhang gave a counting formula for the Kervaire semi-characteristic of a 4q+1 manifold. We first study Witten deformation techniques in the proof of the Poincare-Hopf formula. Then we will represent Zhang’s formula which uses similar analysis. Both these formulas establish a connection between topological and geometrical data on a manifold. Both proofs will be analytical. Index theory will play the ’bridge’ between the topology and analysis. We begin with an analytic interpretation of the topologically defined quantities as indices of differential operators. We deform the operators with respect to appropriate... 

    Sparse Channel Estimation and Its Application in Channel Equalization

    , M.Sc. Thesis Sharif University of Technology Niazadeh, Rad (Author) ; Babaie Zadeh, Massoud (Supervisor)
    Abstract
    Recently, sparse channel estimation, i.e. recovering a channel which has much less non zerotaps than its length using a known training sequence, has been a major area of research in the field of sparse signal processing. It can be shown that on the one hand, the underlying unique structure of such channels will make the possibility of estimating the channel taps with the extreme performance, i.e. achieving the Cram´er-Rao bound of the estimation. On the other hand, with an appropriate use of this structure, computational complexity of the receiver (both channel estimator and equalizer) can be reduced by an order. For achieving these goals in this thesis, firstly we have proposed an... 

    Magnetic Resonance Imaging by Compressed Sensing

    , M.Sc. Thesis Sharif University of Technology Oliaee, Ashkan (Author) ; Fatemi-Zadeh, Emadodden (Supervisor)
    Abstract
    Magnetic Resonance Imaging (MRI) is a non-invasive imaging modality which can represents the structure, metabolism and the function of inner tissues and organs. Unlike other imaging modalities MRI does not use ionizing radiation.Reducing the imaging time will result in cost reduction and patient comfort. Therefore since the invention of MRI, increasing the speed of imaging has drawn a lot of attention. This was mainly done by improving and upgrading the data collecting hardware of the imaging module.With the advances in technology, a point has been nearly reached, that due to the physical and physiological constraints, such as nerve stimulation, quickening the hardware is impractical.... 

    Using Game Theory to Model Covering and Packing Problems

    , M.Sc. Thesis Sharif University of Technology Gheibi, Omid (Author) ; Zarrabi-Zadeh, Hamid (Supervisor)
    Abstract
    Game theory is widely used to model diverse phenomena in the real world such as people’s behavior in elections and auctions. It also has natural applications to some other areas such as computer networks, cryptography, and security. In this thesis, we present a general approach to model two important classes of optimization problems, namely, covering and packing problems, using game theory concepts. This model provides an integrated language to explain the problems, and enables us to use game-theoretic tools to further explore and analyze the problems. In our proposed model, the optimum solutions of the modeled problem are always one of the equilibria of the game. Therefore, one can find... 

    Sparse Representation and its Application in Image Denoising

    , M.Sc. Thesis Sharif University of Technology Sadeghi, Mostafa (Author) ; Babaie Zadeh, Massoud (Supervisor)
    Abstract
    Sparse signal processing (SSP), as a powerful tool and an efficient alternative to traditional complete transforms, has become a focus of attention during the last decade. In this ap-proach, we want to approximate a given signal as a linear combination of as few as possible basis signals. Each basis signal is called an atom and their collection is called a dictionary. This problem is generally difficult and belongs to the NP-hard problems; since it requires a combinatorial search. In recent years however, it has been shown both theoretically and experimentally that the sparset possible representation of a signal in an overcomplete dictio-nary is unique under some conditions and can be found in... 

    Applications of Sparse Representation in Image Processing

    , M.Sc. Thesis Sharif University of Technology Nayyer, Sara (Author) ; Babaie Zadeh, Massoud (Supervisor)
    Abstract
    The sparse decomposition problem or nding sparse solutions of underdetermined linear systems of equations is one of the fundamental issues in signal processing and statistics. In recent years, this issue has been of great interest to researches in various elds of signal processing and accordingly found to be greatly benecial in those elds. This thesis aims at the investigation of the applications of the sparse decomposition problem in image processing. Among dierent applications such as compression, reconstruction, separation and image denoising, this thesis mainly focuses on the last one. One of the methods of image denoising which is closely tied to the sparse decomposition, is the method...