Loading...
Search for:
salimi--s
0.156 seconds
Total 11081 records
Reducing the entropic uncertainty lower bound in the presence of quantum memory via LOCC
, Article EPL ; Volume 115, Issue 6 , 2016 ; 02955075 (ISSN) ; Haseli, S ; Salimi, S ; Sharif University of Technology
Institute of Physics Publishing
2016
Abstract
The uncertainty principle sets a lower bound on the uncertainties of two incompatible observables measured on a particle. The uncertainty lower bound can be reduced by considering a particle as a quantum memory entangled with the measured particle. In this paper, we consider a tripartite scenario in which a quantum state has been shared among Alice, Bob, and Charlie. The aim of Bob and Charlie is to minimize Charlie's lower bound about Alice's measurement outcomes. To this aim, they concentrate their correlation with Alice in Charlie's side via a cooperative strategy based on local operations and classical communication. We obtain a lower bound for Charlie's uncertainty about Alice's...
The olfactory bulb modulates entorhinal cortex oscillations during spatial working memory
, Article Journal of Physiological Sciences ; Volume 71, Issue 1 , 2021 ; 18806546 (ISSN) ; Tabasi, F ; Nazari, M ; Ghazvineh, S ; Salimi, A ; Jamaati, H ; Raoufy, M. R ; Sharif University of Technology
BioMed Central Ltd
2021
Abstract
Cognitive functions such as working memory require integrated activity among different brain regions. Notably, entorhinal cortex (EC) activity is associated with the successful working memory task. Olfactory bulb (OB) oscillations are known as rhythms that modulate rhythmic activity in widespread brain regions during cognitive tasks. Since the OB is structurally connected to the EC, we hypothesized that OB could modulate EC activity during working memory performance. Herein, we explored OB–EC functional connectivity during spatial working memory performance by simultaneous recording local field potentials when rats performed a Y-maze task. Our results showed that the coherence of delta,...
Investigation of continuous-time quantum walk by using Krylov subspace-Lanczos algorithm
, Article European Physical Journal B ; Volume 59, Issue 2 , 2007 , Pages 199-216 ; 14346028 (ISSN) ; Sufiani, R ; Salimi, S ; Jafarizadeh, S ; Sharif University of Technology
2007
Abstract
In papers [Jafarizadehn and Salimi, Ann. Phys. 322, 1005 (2007) and J. Phys. A: Math. Gen. 39, 13295 (2006)], the amplitudes of continuous-time quantum walk (CTQW) on graphs possessing quantum decomposition (QD graphs) have been calculated by a new method based on spectral distribution associated with their adjacency matrix. Here in this paper, it is shown that the CTQW on any arbitrary graph can be investigated by spectral analysis method, simply by using Krylov subspace-Lanczos algorithm to generate orthonormal bases of Hilbert space of quantum walk isomorphic to orthogonal polynomials. Also new type of graphs possessing generalized quantum decomposition (GQD) have been introduced, where...
Blue-Pill oxpecker: A VMI platform for transactional modification
, Article IEEE Transactions on Cloud Computing ; 2021 ; 21687161 (ISSN) ; Momeni, B ; Salimi, S ; Kharrazi, M ; Sharif University of Technology
Institute of Electrical and Electronics Engineers Inc
2021
Abstract
Although multiple techniques have been proposed with the goal of minimizing the semantic gap in virtual machine introspection, most concentrate on passive observation of the internal state, while there are also a number of proposals with which active modification of the VM's internal state is made possible. However there are issues when modifications are applied, such as keeping a consistent kernel state and avoiding a crash. In this paper we propose Oxpecker, a VMI platform for transactional modification. The out-of-VM read access allows an introspector to detect malware in the guest OS (e.g., rootkit) and the transactional write access allows Oxpecker to reliably neutralize the detected...
Blue-Pill oxpecker: a VMI platform for transactional modification
, Article IEEE Transactions on Cloud Computing ; 2021 ; 21687161 (ISSN) ; Momeni, B ; Salimi, S ; Kharrazi, M ; Sharif University of Technology
Institute of Electrical and Electronics Engineers Inc
2021
Abstract
Although multiple techniques have been proposed with the goal of minimizing the semantic gap in virtual machine introspection, most concentrate on passive observation of the internal state, while there are also a number of proposals with which active modification of the VM's internal state is made possible. However there are issues when modifications are applied, such as keeping a consistent kernel state and avoiding a crash. In this paper we propose Oxpecker, a VMI platform for transactional modification. The out-of-VM read access allows an introspector to detect malware in the guest OS (e.g., rootkit) and the transactional write access allows Oxpecker to reliably neutralize the detected...
Influence of process variables on biooxidation of ferrous sulfate by an indigenous Acidithiobacillus ferrooxidans. Part I: Flask experiments
, Article Fuel ; Volume 85, Issue 17-18 , 2006 , Pages 2555-2560 ; 00162361 (ISSN) ; Yaghmaei, S ; Salimi, F ; Jafari, A ; Sharif University of Technology
2006
Abstract
Biological oxidation of ferrous sulfate by Acidithiobacillus ferrooxidans has proved to be a significant step in the bioleaching of sulfide minerals and the treatment of acid mine drainage. The same bioreaction also has beneficial applications in the desulphurization of coal and removal of hydrogen sulfide from gaseous effluents. In this research, the effects of some process variables such as pH, temperature, elemental sulfur, amount of initial ferrous and magnesium ions on oxidation of ferrous sulfate by a native A. ferrooxidans, which was isolated from a chalcopyrite concentrate, were investigated. All experiments carried out in shake flasks at 33 °C that was obtained as optimum...
Prediction of asphaltene deposition during turbulent flow using heat transfer approach
, Article Petroleum Science and Technology ; Volume 36, Issue 9-10 , February , 2018 , Pages 632-639 ; 10916466 (ISSN) ; Ayatollahi, S ; Vafaie Seftie, M ; Sharif University of Technology
Taylor and Francis Inc
2018
Abstract
In this study, asphaltene deposition from crude oil has been studied experimentally using a test loop and prediction using theoretical study under turbulent flow (Reynolds numbers below 5000). The effects of many parameters such as oil velocity, surface temperature and concentration of flocculated asphaltene on the asphaltene deposition were investigated. The results showed that asphaltene deposition thickness increases with increasing both surface temperature and concentration of flocculated asphaltene and decreasing oil velocity. Thermal approach was used to describe the mechanisms involved in this process and the results of data fitting showed that there are good agreements between the...
InterOpt: improved gene expression quantification in qPCR experiments using weighted aggregation of reference genes
, Article iScience ; Volume 26, Issue 10 , 2023 ; 25890042 (ISSN) ; Rahmani, S ; Sharifi Zarchi, A ; Sharif University of Technology
Elsevier Inc
2023
Abstract
qPCR is still the gold standard for gene expression quantification. However, its accuracy is highly dependent on the normalization procedure. The conventional method involves using the geometric mean of multiple study-specific reference genes (RGs) expression for cross-sample normalization. While research on selecting stably expressed RGs is extensive, scant literature exists regarding the optimal approach for aggregating multiple RGs into a unified RG. In this paper, we introduce a family of scale-invariant functions as an alternative to the geometric mean aggregation. Our candidate method (weighted geometric mean minimizing standard deviation) demonstrated significantly better results...
LBM simulation of electro-osmotic flow (EOF) in nano/micro scales porous media with an inclusive parameters study
, Article ASME International Mechanical Engineering Congress and Exposition, Proceedings (IMECE) ; Vol. 7 , November , 2014 ; ISBN: 9780791849545 ; Lee, E. S ; Salimi, M. R ; Sharif University of Technology
2014
Abstract
In this paper, we present our results about simulation of 2D-EOF in Nano/Micro scales porous media using lattice Boltzmann method (LBM) in micro-channel for EOF. The high efficient numerical code use strongly high nonlinear Poisson Boltzmann equation to predicate behavior of EOF in complex geometry. The results are developed with precisely investigation of several effective parameters on permeability of EOF, such as geometry (channel height and number and location of charge), external electric field, thickness of Debye length (ionic concentration), and zeta potential. Our results are in excellent agreement with available analytical results. Our results show that for certain external electric...
Blue-Pill Oxpecker: A VMI Platform for Transactional Modification
, Article IEEE Transactions on Cloud Computing ; Volume 11, Issue 1 , 2023 , Pages 1-12 ; 21687161 (ISSN) ; Momeni, B ; Salimi, S ; Kharrazi, M ; Sharif University of Technology
Institute of Electrical and Electronics Engineers Inc
2023
Abstract
Although multiple techniques have been proposed with the goal of minimizing the semantic gap in virtual machine introspection, most concentrate on passive observation of the internal state, while there are also a number of proposals with which active modification of the VM's internal state is made possible. However there are issues when modifications are applied, such as keeping a consistent kernel state and avoiding a crash. In this article we propose Oxpecker, a VMI platform for transactional modification. The out-of-VM read access allows an introspector to detect malware in the guest OS (e.g., rootkit) and the transactional write access allows Oxpecker to reliably neutralize the detected...
Enhanced thermal stability and biocompatibility of gold nanorods by graphene oxide
, Article Plasmonics ; 2017 , Pages 1-10 ; 15571955 (ISSN) ; Hatamie, S ; Tabatabaei, S. N ; Salimi, M ; Saber, R ; Sharif University of Technology
2017
Abstract
In the present study, the effect of nanosized graphene oxide layer on thermal stability and biocompatibility of gold nanorods has been examined. The graphene oxide-wrapped gold nanorods were prepared by electrostatic interaction between negatively charged graphene oxide and positively charged nanorods. The resulting nanohybrids were then heated at different time intervals to 95 °C in a water bath to assess the effect of heat on the rods morphology. The structural changes in gold nanorods were monitored via UV-Vis spectroscopy measurements and transmission electron microscopy images. In similar experiments, the graphene oxide used to wrap gold nanorods was reduced by ascorbic acid in a 95 °C...
Enhanced thermal stability and biocompatibility of gold nanorods by graphene oxide
, Article Plasmonics ; Volume 13, Issue 5 , 2018 , Pages 1585-1594 ; 15571955 (ISSN) ; Hatamie, S ; Tabatabaei, S. N ; Salimi, M ; Saber, R ; Sharif University of Technology
2018
Abstract
In the present study, the effect of nanosized graphene oxide layer on thermal stability and biocompatibility of gold nanorods has been examined. The graphene oxide-wrapped gold nanorods were prepared by electrostatic interaction between negatively charged graphene oxide and positively charged nanorods. The resulting nanohybrids were then heated at different time intervals to 95 °C in a water bath to assess the effect of heat on the rods morphology. The structural changes in gold nanorods were monitored via UV-Vis spectroscopy measurements and transmission electron microscopy images. In similar experiments, the graphene oxide used to wrap gold nanorods was reduced by ascorbic acid in a 95 °C...
Preparation of acrylated agarose-based hydrogels and investigation of their application as fertilizing systems
, Article Journal of Applied Polymer Science ; Volume 122, Issue 4 , November , 2011 , Pages 2424-2432 ; 00218995 (ISSN) ; Sadat Afjeh, S ; Seidi, F ; Salimi, H ; Sharif University of Technology
2011
Abstract
In this study, we attempt to synthesize novel acrylated agarose (ACAG)-based hydrogels with three different crosslinking densities. Acrylate groups were inserted onto agarose (AG) backbone through homogeneous reaction of acrylic monomers with AG backbone. Hydrogels were synthesized through radical copolymerization of a mixture of acrylic acid and 2-hydroxyethyl acrylate with ACAG in aqueous solution using ammonium persulfate as an initiator. Infrared spectroscopy (FTIR) was carried out to confirm the chemical structure of the hydrogel. Moreover, morphology of the samples was assessed by scanning electron microscopy. The equilibrium swelling capacities of synthesized hydrogels were evaluated...
Synthesis of soluble N-functionalized polysaccharide derivatives using phenyl carbonate precursor and their application as catalysts
, Article Starch/Staerke ; Volume 63, Issue 12 , 2011 , Pages 780-791 ; 00389056 (ISSN) ; Seidi, F ; Afjeh, S. S ; Nikoseresht, N ; Salimi, H ; Nemati, N ; Sharif University of Technology
2011
Abstract
Soluble N-functionalized basic and cationic polysaccharides have been synthesized using polysaccharide phenyl carbonate as a precursor. The products and intermediates were thoroughly characterized by conventional methods. The quaternization of amino intermediates in various conditions was studied. Moreover, the potential of basic polymers as green and selective catalysts in Knoevenagel reaction was investigated. In all cases, only one isomer was obtained
VulSlicer: Vulnerability detection through code slicing
, Article Journal of Systems and Software ; Volume 193 , 2022 ; 01641212 (ISSN) ; Kharrazi, M ; Sharif University of Technology
Elsevier Inc
2022
Abstract
There has been a multitude of techniques proposed for identifying vulnerabilities in software. Forcing a program into a vulnerable state has become increasingly unscalable, given the size of the programs and the number of possible execution states. At the same time, techniques that are looking for vulnerability signatures are marred with weak and incomplete signatures. This is not to say that such techniques have failed to identify previously unknown vulnerabilities in the code. However, they have inherent weaknesses, which result in identifying vulnerabilities that are limited in type and complexity. We propose a novel technique to extract succinct vulnerability-relevant statements...
Synthesis of Novel Biodegradable Collagen-Based Superabsorbent Hydrogels and Investigation of their Swelling Behavior in Various Media
, Ph.D. Dissertation Sharif University of Technology ; Pourjavadi, Ali (Supervisor)
Abstract
The use of super-swelling polymers is steadily increasing and the applications in industry are continuing to grow. With the authorization of the superabsorbents in food packaging by the Food and Drug Administration recently, demand may soon take off in the market. The worldwide production of SAPs is more than one million tons per year, representing a multibillion-dollar market. However, the increase in prices of petroleum products in recent years may be a drawback for these acrylic-based materials. Thus, there is now a need to develop natural-based super-swelling hydrogels which are more economical and environment friendly. In addition, the super-swelling gels are promising novel functions...
Incorporating Degree of Belief, Desire and Capability into Propositional Belief Desire and Intention Logic
, M.Sc. Thesis Sharif University of Technology ; Ardeshir, Mohammad (Supervisor)
Abstract
Nowadays, BDI architecture is of the most well known agent’s architectures. BDI architecture or the architecture in which the system is viewed as rational agents based on the attitudes of belief, desire and intention represents an abstraction of human deliberation based on a theory of rational action in the human cognition process. BDI logic introduced by Rao and Georgeff have been widely used as the theoretical basis of specification and implementation of rational agents. BDI logic is limited to deal with crisp assertion, while the assertions encountered in real world are not precise and thus cannot be treated simply by using yes or no. Moreover, In order to obtain more human like agents we...
Activity-based Travel Demand Modeling in Rural Areas; Case Study of Villages Far-from-city in Fars Province
, M.Sc. Thesis Sharif University of Technology ; Vaziri, Manouchehr (Supervisor)
Abstract
Although rural inhabitants constitute a large portion of developing countries’ population, they have always been neglected in many ways. Expansion of equity, calls for a new concern in adequacy of rural development. The problem could be considered in two aspects: Firstly, there is a great tendency for immigration to nearby cities, hoping for a better life. This would result in more crowded cities, extended poverty and an increasing rate of crime mainly in suburban areas. On the other hand, the evacuation of farms and fertilized lands imposes great economical loss to the country. Therefore, development of rural facilities should be integrated into national policies to assure a homogeneous and...
Vulnerability Extraction in Large Codebases Through Template Generalization
, Ph.D. Dissertation Sharif University of Technology ; Kharrazi, Mehdi (Supervisor)
Abstract
As the size and complexity of software increase, the number of software vulnerabilities also increases. An examination of vulnerability reports shows that in addition to the fact that a large number of unknown vulnerabilities still exist in software, there is still no proper solution for identifying vulnerabilities that have been observed one sample of them exit in real-world software. The main reason for such an event is the lack of a suitable template for recognized vulnerabilities, which ultimately makes searching for them in other software a problem of scalability and high search cost. This thesis, recognizing the importance of the issue, presents a framework for extracting robust and...
Development of Airport Capacity Management Model Based on Decision Support System
, M.Sc. Thesis Sharif University of Technology ; Pourtakdoust, Hossein (Supervisor)
Abstract
Airports are one of the most important elements of the aviation system that provide the ground infrastructure that is required for enabling or flight across the globe. Master Planning is currently the dominant approach to airport strategic planning. However, history shows that this approach can often result in costly mistakes. Because there are many stakeholders with conflicting objectives, deep uncertainty about the future, and many potential strategies, planners often narrow their scope by using a single forecast for the future, leaving out alternative strategies, and excluding stakeholders, resulting in a Master Plan that quickly becomes obsolete and may be opposed by some stakeholders....