This is a short note describing the software I wrote for my dissertation research. The software is partitioned into two layers, the infrastructure layer and the modeling layer. Ongoing efforts will focus on (a) rendering obsolete as much of the infrastructure layer as possible, either by replacing generic functionality with code provided by tools maintained by others or contributing code to suc...

A metric semantics of the parallel object-based programming language Procol is introduced. It is divided into three layers 2], a global layer, an object layer, and a statement layer. At the global level, the sequence in the interactions between the objects (represented in the object layer) is described. The object level expresses the abstract behavior of one object, i.e., only those aspects tha...

In this paper, we describe our method for classification of brain magnetic resonance (MR) images into different abnormalities and healthy classes based on deep neural network. We propose our method to detect high and low grade glioma, multiple sclerosis, and Alzheimer diseases as well as healthy cases. Our network architecture has ten learning layers that include seven convolutional layers and ...

green space, as a social development indicator has environmental, social, cultural, economical, and skeletal aspects and to be able to play its role effectively, the first and most important step is to select an appropriate site for it. site selection necessitates stability analysis of urban green space. the main three steps are identifying stability factors, ahp-based weighting factors and lay...

Among its multiple functions, p53 is a critical regulator of TGF-beta responses. Sasai et al. (2008) now identify a new p53 inhibitory protein, XFDL156. During embryonic development, this factor is expressed in the ectoderm germ layer and maintains the pluripotency of ectodermal cells by inhibiting TGF-beta target genes that promote mesoderm specification.

The optical properties of InGaN/GaN laser diode based on quaternary alloys stopper and superlattice layers are numerically studied using ISE TCAD (Integrated System Engineering) simulation program. Improvements in laser optical performance have been achieved using quaternary alloy as superlattice layers in InGaN/GaN laser diodes. Lower threshold current of 18 mA and higher output power and slop...

Micro-Electro-Mechanical Systems (MEMS) are devices that display the most intense development in modern microelectronics (Kostsov, 2009). The main challenge of microelectromechanics is the design of unique micromechanical structures for various purposes. This research direction is based on achievements of advanced microelectronic technologies and inherits the basic advantages of electronic micr...

The optical properties of rare-earth-ion (RE) doped KY(WO4)2 (KYW) form an excellent basis for the realization of optically active devices such as lasers and amplifiers. External-cavity laser experiments on KYW:Yb planar waveguides confirmed these predictions by high slope efficiencies up to 80%. In-house equipment enables the epitaxial growth of KYW:RE layers and their optical characterization...

the high hillsides of the tehran metropolis are prone to landslides due to the climatic conditions and the geological, geomorphologicalcharacteristics of the region. therefore, it is vitally important that a landslide susceptibility map of the region be prepared. for thispurpose, thematic layers including landslide inventory, lithology, slope, aspect, curvature, distance to stream, distance to ...