Loading...
Search for:
baniasadi--kasra
0.107 seconds
Random Polytopes
, M.Sc. Thesis Sharif University of Technology ; Alishahi, Kasra (Supervisor)
Abstract
Random Polytopes, the first occurrence of which dates back to the famous Sylvester’s four points problem in the 1860s, is a branch of geometric probability, typically concerning the convex hull of some random points chosen from a convex subset of Rd. In this thesis we have studied some special kind of random polytopes; the one that is the convex hull of some independent random points chosen from a convex body (a convex, compact set with interior point) according to the uniform distribution. It was a new approach from A. Rényi and R. Sulanke in 1963 to consider this type when the number of random points tends to infinity.This thesis consists of three main parts: The first part is devoted to...
Generating Random Points in a Convex Body in High Dimensions
, M.Sc. Thesis Sharif University of Technology ; Alishahi, Kasra (Supervisor)
Abstract
“How can we generate a random point with uniform distribution over a convex body ?” According to it’s applications, it’s important for a solution to this problem to be applicable in high dimensions. Here, we are interested in algorithms with polynomial order with respect to the dimension. All existing methods for dealing with this problem are based on the Markov chain Monte Carlo method, i.e. a random walk is constructed in such that its stationary distribution is the uniform distribution over. Then, after simulating “enough” steps of this random walk, the distribution of the resulting point is “approximately” uniform. The real problem in Monte Carlo method is analyzing its “mixing time”,...
Simultaneous Hypothesis Testing and False Discovery Rate
, M.Sc. Thesis Sharif University of Technology ; Alishahi, Kasra (Supervisor)
Abstract
The purpose of this thesis is to introduce and review a recent methods in simultaneous hypothesis testing. False discovery rates, Benjamini and Hochberg’s FDR Control Algorithm, is the great success story of the new methodology. Much of what follows is an attempt to explain that success in empirical Bayes terms.The later chapters are at pains to show the limitations of current largescale statistical practice: Which cases should be combined in a single analysis? How do we account for notions of relevance between cases? What is the correct null hypothesis? How do we handle correlations? Some helpful theory is provided in answer, but much of the argumentation is by example, with graphs and...
Determinantal Processes
, M.Sc. Thesis Sharif University of Technology ; Alishahi, Kasra (Supervisor)
Abstract
Determinantal processes are a special family of stochastic processes that arise in physics (fermions), random matrices (eigenvalues), and in combinatorics (random spanning trees and non-intersecting paths). These processes have repelling property (points close to each other are chosen with low probability). Because of this repelling property, determinantal processes are approporiat for modeling some physical quantities (e.g. the position of electrons). Their probabilistic structure is described by operators on complex vector spaces and their eigenvalues. Determinantal processes have interesting properties, e.g. number of points in a region is a sum of independent Bernoulli random variables....
Cramér’s Model for Random Primes
, M.Sc. Thesis Sharif University of Technology ; Alishahi, Kasra (Supervisor)
Abstract
With Cramer’s model we have a probability measure on the power set of N. This probability measure is concentrated on the set that its elements are that subsets of N which number of their elements up to a certain natural number is asymptotically equal with the number of primes up to the same number. Let Pc be a sample obtained from this probability measure and consider 8n 2 N, an counts the number of ways that ncan be represented as a multiplication of some elements of Pc, such that changing the arrangement of factors in a representation does not introduce a new one. In this thesis, we prove that limn!1 a1++an n almost surely exists and is positive
Investigating the Relationship between Limit Theorems in Probability Theory and Ergodic Theory
, M.Sc. Thesis Sharif University of Technology ; Alishahi, Kasra (Supervisor)
Abstract
Birkhoff's ergodic theorem in dynamical systems and ergodic theory, and the strong law of large numbers in probability theory are among the fundamental theorems of the two fields, which are closely related. Thus Birkhoff's ergodic theorem directly yields the strong law of large numbers. Attempts were then made to express some limit theorems in probability theory in the form of dynamic systems, such as the central limit theorem, which was expressed in the form of dynamic systems, and even generalizations of It was also obtained. In this paper, we will investigate the above and similar connections between probability limit theorems and well-known theorems in ergodic theory
Statistical Methodes for Urban Travel Time Estimation
, M.Sc. Thesis Sharif University of Technology ; Alishahi, Kasra (Supervisor)
Abstract
Travel time estimation is a central issue in the urban transportation industry and is the basis of many analyses and services in businesses related to this area. In the past few years, various statistical approaches have been devised to solve this problem. The purpose of this dissertation is to review existing methods by focusing on segment-based approaches for urban travel time estimation. A big challenge is the small amount of data in hand compared to the size of the urban network. Exploring historical data and extracting correlation between urban network segments leads to modeling the urban traffic condition and travel time estimation in one specific time interval of the day
Microstructure Investigation of Low Temperature Carburized Precipitation Hardenable 17-4 And 13-8 Mo Stainless Steels
, M.Sc. Thesis Sharif University of Technology ; Asgari, Sirous (Supervisor)
Abstract
Recently, low temperature carburizing of stainless steels, especially austenitic stainless steels, have been considered by so many researchers. The improvement of tribological properties of which is so impressive so much so that such properties like hardness and wear resistance increase to manifold. In this research, low temperature carburizing was done on two kinds of precipitation hardenable stainless steels 17-4 and 13-8 Mo. After that, microstructural investigations were done on the carburized surfaces and in 5, 10, 20, 80, and 150 micrometer depths. Moreover, in each depth, in order to phase structure and tribological properties investigation, XRD and microhardness tests were done,...
Simultaneously Evaluate the Safety And Productivity of Construction Operations Using Computer Simulation
, M.Sc. Thesis Sharif University of Technology ; Alvanchi, Amin (Supervisor)
Abstract
In order to respond to the concerns of safety and productivity of construction operations, in this research, the model based on discrete event simulation has been proposed. In this model, with simulation of different scenarios of construction operation in planning and designing phases, before starting construction operation, the level of safety and productivity of each scenario evaluates concurrently. The Scenario that best meets the safety and productivity concerns concurrently has been selected for operation. In order to evaluate the feasibility of the model in construction operation, the model has been implemented in a fabrical example. The operation of installing tiles on the sloping...
Portfolio Selection Considering Market Regime
, M.Sc. Thesis Sharif University of Technology ; Khedmati, Majid (Supervisor)
Abstract
Since investing in the stock market is always known as one of the ways to increase capital, many researches have been done in the field of portfolio selection in order to provide methods to earn more profit and control investment risk. One of the influential factors in increasing the profit from the portfolio is the proper prediction of future of shares. Therefore, in many research, various methods and tools have been used to predict the future of shares more accurately. One of these tools is forecasting the market regime. In this research, harmonic patterns have been used to predict the market regime. Also, based on the harmonic patterns, the scope of entry into the transaction, the...
Coherent Risk Measures on General Probability Spaces
, M.Sc. Thesis Sharif University of Technology ; Alishahi, Kasra (Supervisor)
Abstract
This thesis is devoted to introduce coherent risk measures on general probability spaces. After studying their properties, we also will characterize them using functional analysis tools. First we describe some related economic concepts such as risk concept, risk management and risk measures. Then we will study Value at Risk (VaR) as an applicable risk measure and determine its advantages and disadvantages. The motivation for studying risk measures in an axiomatic point of view and also introducing coherent risk measures was that VaR doesn’t have the diversification property. In chapter 2 and 3, we introduced coherent risk measures comprehensively. We began the second chapter by the...
General Reinforcement Learning
, M.Sc. Thesis Sharif University of Technology ; Alishahi, Kasra (Supervisor)
Abstract
Reinforcement learning (RL) is a subfield of machine learning that expresses how to learn optimal actions in a wide range of unknown environments. Reinforcement learning problems are often phrased in terms of Markov decision processes (MDPs). However, being restricted to Markov environments to solve problems with limited state space is not an unreasonable assumption, but the main challenge is to consider these problems in as large a class of environments as possible, which includes any challenges that an agent may face in real world. Such agents are able to learn to play chess, wash dishes, invest in financial markets, and do many tasks that an intelligent human being can learn and do. In...
Markov Decision Process with Timeconsuming Transition
, M.Sc. Thesis Sharif University of Technology ; Alishahi, Kasra (Supervisor)
Abstract
Mankind according to his authority (or delusion of authority) always finds himself in a situation which need decision-¬making. Usually, he seeks to make the best possible decision. The basis for measuring the goodness of choices is different in different occasions. This measure could be level of enjoyment, economic profit, probability of reaching a goal, etc. These decisions have consequences such that the situations before and after the decisions are not the same. Most challenging decision¬-making situations are those which the decision¬maker has not the complete authority over the situation and the results of decisions are influenced by out of control factors. A significant part of...
Heterogeneous interconnect for low-power snoop-based chip multiprocessors
, Article Journal of Low Power Electronics ; Volume 8, Issue 5 , 2012 , Pages 624-635 ; 15461998 (ISSN) ; Shafiee, A ; Baniasadi, A ; Sharif University of Technology
2012
Abstract
In this work we propose using heterogeneous interconnects in power-aware chip multiprocessors (also referred to as Helia). Helia improves energy efficiency in snoop-based chip multiprocessors as it eliminates unnecessary activities in both interconnect and cache. This is achieved by using innovative snoop filtering mechanisms coupled with wire management techniques. Our optimizations rely on the observation that a high percentage of cache mismatches could be detected by utilizing a small subset but highly informative portion of the tag bits. Helia comes in two variations: source-based (S-Helia) and destination-based (D-Helia). S-Helia relies on a global snapshot of remote caches collected in...
Using partial tag comparison in low-power snoop-based chip multiprocessors
, Article Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 19 June 2010 through 23 June 2010 ; Volume 6161 LNCS , June , 2012 , Pages 211-221 ; 03029743 (ISSN) ; 9783642243219 (ISBN) ; Shahidi, N ; Baniasadi, A ; Sharif University of Technology
2012
Abstract
In this work we introduce power optimizations relying on partial tag comparison (PTC) in snoop-based chip multiprocessors. Our optimizations rely on the observation that detecting tag mismatches in a snoop-based chip multiprocessor does not require aggressively processing the entire tag. In fact, a high percentage of cache mismatches could be detected by utilizing a small subset but highly informative portion of the tag bits. Based on this, we introduce a source-based snoop filtering mechanism referred to as S-PTC. In S-PTC possible remote tag mismatches are detected prior to sending the request. We reduce power as S-PTC prevents sending unnecessary snoops and avoids unessential tag lookups...
Using input-to-output masking for system-level vulnerability estimation in high-performance processors
, Article Proceedings - 15th CSI International Symposium on Computer Architecture and Digital Systems, CADS 2010, 23 September 2010 through 24 September 2010 ; September , 2010 , Pages 91-98 ; 9781424462698 (ISBN) ; Asadi, H ; Baniasadi, A ; Sharif University of Technology
2010
Abstract
In this paper, we enhance previously suggested vulnerability estimation techniques by presenting a detailed modeling technique based on Input-to-Output Masking (IOM). Moreover we use our model to compute the System-level Vulnerability Factor (SVF) for data-path components in a highperformance processor. As we show, recent suggested estimation techniques overlook the issue of error masking, mainly focusing on time periods in which an error could potentially propagate in the system. In this work we show that this is incomplete as it ignores the masking impact. Our results show that including the IOM factor can significantly affect the system-level vulnerability for data-path components. As a...
System-level vulnerability estimation for data caches
, Article 16th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2010, Tokyo, 13 December 2010 through 15 December 2010 ; 2010 , Pages 157-164 ; 9780769542898 (ISBN) ; Asadi, H ; Baniasadi, A ; Sharif University of Technology
2010
Abstract
Over the past few years, radiation-induced transient errors, also referred to as soft errors, have been a severe threat to the data integrity of high-end and mainstream processors. Recent studies show that cache memories are among the most vulnerable components to soft errors within high-performance processors. Accurate modeling of the Vulnerability Factor (VF) is an essential step towards developing cost-effective protection techniques for cache memory. Although Fault Injection (FI) techniques can provide relatively accurate VF estimations they are often very time consuming. To overcome the limitation, recent analytical models were proposed to compute the cache VF in a timely fashion. In...
Advanced Electromagnetics and Scattering Theory
, Book ; Khorasani, Sina
Springer
2015
Abstract
This book present the lecture notes used in two courses that the late Professor Kasra Barkeshli had offered at Sharif University of Technology, namely, . The prerequisite for the sequence is vector calculus and electromagnetic fields and waves. Some familiarity with Green's functions and integral equations is desirable but not necessary.
The book provides a brief but concise introduction to classical topics in the field. It is divided into three parts including annexes. Part I covers principle of electromagnetic theory. The discussion starts with a review of the Maxwell's equations in differential and integral forms and basic boundary conditions. The solution of inhomogeneous wave...
The book provides a brief but concise introduction to classical topics in the field. It is divided into three parts including annexes. Part I covers principle of electromagnetic theory. The discussion starts with a review of the Maxwell's equations in differential and integral forms and basic boundary conditions. The solution of inhomogeneous wave...
On Mixing Time for Some Markov Chain Monte Carlo
, M.Sc. Thesis Sharif University of Technology ; Alishahi, Kasra (Supervisor)
Abstract
Markov chains are memoryless stochastic processes that undergoes transitions from one state to another state on a state space having the property that, given the present,the future is conditionally independent of the past. Under general conditions, the markov chain has a stationary distribution and the probability distribution of the markov chain, independent of the staring state, converges to it’s stationary distribution.
We use this fact to construct markov chain monte carlo, which are a class of algorithms for sampling from probability distributions based on constructing a markov chain that has the desired distribution as its stationary distribution. The state of a chain after a large...
We use this fact to construct markov chain monte carlo, which are a class of algorithms for sampling from probability distributions based on constructing a markov chain that has the desired distribution as its stationary distribution. The state of a chain after a large...
False Discovery Rate for Large Scale Hypothesis Testing
, M.Sc. Thesis Sharif University of Technology ; Alishahi, Kasra (Supervisor)
Abstract
The chapter 1 begins the discussion of a theory of large-scale simultaneous hypothesis testing now under development in the statistics literature. Furthermore,this chapter introduces the False Discovery Rate (FDR) and Empirical Bayes approach. In chapter 2, the frequentist viewpoints to the simultaneous hypothesis testing is mentioned. apter 3 describes the break through paper of the Benjamini and Hochberg published in 1995. Chapter 4 provides new criteria for error and represents an outstanding method of controlling FDR by J.D. Storey. The first part of chapter 5 discusses a paper related to control of FDR for variable selection in linear model setting by E.Candes and R. Barber. In the rest...