Sharif Digital Repository

Objective(s): Multiple sclerosis (MS) is considered as a chronic type of an inflammatory disease characterized by loss of myelin of CNS. Recent evidence indicates that Interleukin 17 (IL-17)-producing T helper cells (Th17 cells) population are increased and regulatory T cells (Treg cells) are decreased in MS. Despite extensive research in understanding the mechanism of Th17 and Treg differentiation, the role of microRNAs in MS is not completely understood. Thereby, as a step closer, we analyzed the expression profile of miR-9-5p and miR-106a-5p, and protein level of retinoic acid receptor (RAR)-related orphan receptor C (RORC; Th17 master transcription factor) as direct target of miR-106a-5p... 

Existence of crosscutting concerns in software requirements often intensifies complexity of software development process. Modeling and analyzing of these concerns in the software architecture decrease possibility of finding tangled and complex components in the ultimate design. Aspect oriented ADLs have emerged to overcome this problem; however, imposing radical changes to existing architectural modeling methods is not easily acceptable by architects. In this paper, we present a method to enhance conventional software architecture description languages through utilization of aspect features with special focuses on non-functional requirements (NFRs). © 2007 IEEE  

There are several key challenges in performing cache-based attacks on ARM-based devices. Lipp et al. introduced various techniques to tackle these challenges and applied successfully different cache-based attacks on ARM-based mobile devices. In the cache-based attacks proposed by Lipp et al. it is assumed that the attacker has access to the mapping of virtual addresses to physical addresses through/proc/self/pagemap which is an important limiting factor in Linux and newer versions of Android operating systems. To access this mapping, the attacker must know the root of the operating system. In this paper, we introduce an Evict+Reload attack on the T-table-based implementation of AES which... 

CPU caches are powerful sources of information leakage. To develop practical cache-based attacks, the need for automation of the process of finding exploitable cachebased side-channels in computer systems is felt more than ever. Cache template attack is a generic technique that utilizes Flush+Reload attack in order to automatically exploit cache vulnerability of Intel platforms. Cache template attack on the T-table-based AES implementation consists of two phases including the profiling phase and key exploitation phase. Profiling is a preprocessing phase to monitor dependencies between the secret key and behavior of the cache memory. In addition, the addresses of T-tables can be obtained... 

There are various cases in physics and engineering sciences (especially communications) where one requires the envelope probability density function (pdf) of the sum of several random sinusoidal signals. According to the correspondence between a random sinusoidal signal and a random vector, the sum of random vectors can be considered as an abstract mathematical model for the above sum. Now it is desired to obtain the pdf of the length of the resulting vector. Considering the common and reasonable assumption of uniform distributions for the angles of vectors, many researchers have obtained the pdf of the length of the resulting vector only for special cases. However in this paper, the pdf is... 

We proposed a Primal-Dual Interior Point Method (PDIPM) to solve a combined Environmental and Economic Power Dispatch (EEPD) problem. The EEPD problem is a multiobjective problem with competing and non-commensurable objectives. The PDIPM produces a set of nondominated Pareto optimal solutions for the problem. Fuzzy set theory is employed to extract a compromise nondominated solution. The proposed algorithm is applied to the standard IEEE 30 bus six-generator test system. Comparison of our PDIPM results with the various algorithms reported in the literature shows that the solutions of the proposed algorithm are very accurate for the EEPD problem  

Following Gorokhovsky and Lott and using an extension of the b-pseudodifferential calculus of Melrose, we give a formula for the Chern character of the Dirac index class of a longitudinal Dirac type operators on a foliated manifold with boundary. For this purpose we use the Bismut local index formula in the context of noncommutative geometry. This paper uses heavily the methods and technical results developed by E. Leichtnam and P. Piazza  

In this short note we apply methods introduced by B. Hanke and T. Schick to prove the vanishing of (low degree) higher Â-genera for spin manifolds admitting a positive scalar curvature metric. Our aim is to provide a short proof for this beautiful result  

Rank aggregation, that is merging multiple ranked lists, is a pivotal challenge in many information retrieval (IR) systems, especially in distributed IR and multilingual IR. From the evaluation point of view, being able to calculate the upper-bound of performance of the final aggregated list lays the ground for evaluating different aggregation strategies, independently. In this paper, we propose an algorithm based on dynamic programming which, using relevancy information, obtains the aggregated list with the maximum performance that could be possibly achieved by any aggregation strategy. We also provide a detailed proof for the optimality of the result of the algorithm. Furthermore, we... 

Three newly synthesized room temperature ionic liquids containing molybdate anion, [DMIm][MoO 2(NCS) 4], [RPy][MoO 2(NCS) 4] (R = butyl or decyl), and previously reported [BMIm][MoO 2(NCS) 4] were used as catalysts for the reduction of sulfoxides. For facilitating the recyclability of the catalysts, the ionic liquids [RMIm][PF 6] and [RPy][PF 6] (RMIm = 1-n-alkyl-3-methylimidazolium, RPy = 1-n-alkylpyridinium) were applied as ionic solvents and toluene is used as solvent for the organic phase. Molybdenum salts immobilized in RTILs constituted a reusable and efficient heterogeneous catalyst system. A maximum conversion (>99%) was achieved for reduction of diphenyl sulfoxide to diphenyl... 

Two room temperature liquid salts containing molybdenum(VI), [BMIM] 2[MoO2(NCS)4] (1) and [DMIM] 2[MoO2(NCS)4] (2), were immobilized on ionic liquid-modified silica leading to materials which showed notable catalytic activity for the reduction of sulfoxides into sulfides with triphenylphosphine (PPh3). The molybdenum liquid salts immobilized on the supported ionic liquid phase could be reused at least for three catalytic cycles without significant loss of activity  

Some cis-dioxomolybdenum (VI) complexes with tridentate Schiff base ligands derived from salicylaldehyde and aminophenols, aminoalcohol or o-aminobenzenethiol were examined as catalysts for epoxidation of different aliphatic and aromatic olefins, with tert-butyl hydroperoxide as oxidant. All complexes exhibited high activity and selectivity for epoxidation of aliphatic substrates during a short time period (95% conversion of cyclooctene after 30 min). The epoxide yield increased with the nucleophilic character of olefin. The catalysts activation strongly depends on the reaction temperature and nature of the solvent. Epoxidation of olefins by these catalysts is inhibited by ligands or...