981 resultados para Translations into Persian


Relevância:

30.00% 30.00%

Publicador:

Resumo:

This thesis is a study of a rather new logic called dependence logic and its closure under classical negation, team logic. In this thesis, dependence logic is investigated from several aspects. Some rules are presented for quantifier swapping in dependence logic and team logic. Such rules are among the basic tools one must be familiar with in order to gain the required intuition for using the logic for practical purposes. The thesis compares Ehrenfeucht-Fraïssé (EF) games of first order logic and dependence logic and defines a third EF game that characterises a mixed case where first order formulas are measured in the formula rank of dependence logic. The thesis contains detailed proofs of several translations between dependence logic, team logic, second order logic and its existential fragment. Translations are useful for showing relationships between the expressive powers of logics. Also, by inspecting the form of the translated formulas, one can see how an aspect of one logic can be expressed in the other logic. The thesis makes preliminary investigations into proof theory of dependence logic. Attempts focus on finding a complete proof system for a modest yet nontrivial fragment of dependence logic. A key problem is identified and addressed in adapting a known proof system of classical propositional logic to become a proof system for the fragment, namely that the rule of contraction is needed but is unsound in its unrestricted form. A proof system is suggested for the fragment and its completeness conjectured. Finally, the thesis investigates the very foundation of dependence logic. An alternative semantics called 1-semantics is suggested for the syntax of dependence logic. There are several key differences between 1-semantics and other semantics of dependence logic. 1-semantics is derived from first order semantics by a natural type shift. Therefore 1-semantics reflects an established semantics in a coherent manner. Negation in 1-semantics is a semantic operation and satisfies the law of excluded middle. A translation is provided from unrestricted formulas of existential second order logic into 1-semantics. Also game theoretic semantics are considerd in the light of 1-semantics.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Santamaría, José Miguel; Pajares, Eterio; Olsen, Vickie; Merino, Raquel; Eguíluz, Federico (eds.)

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Eterio Pajares, Raquel Merino y José Miguel Santamaría (eds.)

Relevância:

30.00% 30.00%

Publicador:

Resumo:

As representatives of the most primitive of recent vertebrate groups, lampreys show fundamental differences in different features of organisation to the species of the remaining classes of vertebrates. The topical distinction between exocrine and endocrine pancreas is also considered among the morphological peculiarities of Petromyzontida. This study aims to contribute to a further explanation of this phenomenon. 50 brook lampreys were histologically examined.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Platycephalus indicus is a large benthic fish that inhabits temperate and tropical coastal waters of the Indo-West Pacific and found on sand or mud bottom in vary shallow area of estuary and near shore to depth of 25m. This species is dominant species of platycephalidae family, in Khuzestan, Bushehr and Hormozgan provinces and mainly is captured by bottom trawl, gillnet and moshta in Hormozgan. This study was designed to evaluate population variation and differentiation of bartail flathead (Platycephalus indicus (Linnaeus, 1785))in the Iranian waters of Persian Gulf using the morphometric and meristic characters and by AFLP marker. . A total 180 fish specimens were collected by gill net from six station(khor mosa, bahrekan, shif, motaf, charak and bandar abbas) that was 30 individual related to every station in Iranian shores of Persian Gulf . 28 morphometric factors and 11meristic specialties were measured and morphometric factors was standardized with Beacham formula. Univariate analysis of variance (One-way ANOVA) revealed significant differences with varying degrees between the means for 21 standardized morphometric measurements and 6 meristic counts that showed high significant differences between the six stations sampling. Discriminate function analysis (DFA) or the overall random assignment of individuals into their original groups was for morphometric and meristic characters was 47.9% and 53.9% respectively. The data were subjected to a principle component analysis (PCA) which grouped in eight and four factors for morphometric and meristic charactersrespectively.. Genetic diversity of six populations of bartail flathead (Platycephalus indicus) was investigated using amplified fragment length polymorphism (AFLP). A total of 118 reproducible bands amplified with ten AFLP primer combinations were obtained from 42 fishes that were collected from six different locations in the northern of Persian Gulf. The percentage of polymorphic bands was 57.06%. Average of Nei’s genetic diversity was 0.200±0.008, and Average of Shannon’s index was 0.300±0.011. The results of AMOVA analysis indicated that 66% of the genetic variation contained within populations and 34% occurred among populations and gene flow was 0.6454.The estimated level of population differentiation asmeasured by average Fst value across all loci was 0.327. Plotting discriminant functions 1 and 2 and UPGMA dendrograms based on Euclidian distance and genetic distance also showed at least five separate populations of bartail flathead in the northern Persian Gulf.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The presence of different water masses in the North Arabian Sea continues to remain of interest to scientists and researchers. Focus on these water masses is due to the unique monsoonal reversal features of the Arabian Sea. The encroachment of Persian Gulf water into the Arabian Sea has been acknowledged and traced. This paper presents the results of an investigation on the spreading patterns of Persian Gulf water in the northwestern Arabian Sea. The study incorporated two different techniques: the core-layer method and the constant sigma-theta surface method on data collected during the North Arabian Sea Environment and Ecosystem Research (NASEER) programme. Horizontal curves of temperature and salinity plotted by both methods show that the Persian Gulf water reduces in concentration as it moves from west to east, whereas the major direction of flow is along the coast of Oman. The results of the study indicate that features of the Persian Gulf water in the northwestern Arabian Sea are so pronounced that either of the method can be used to study and identify the water mass fairly well.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The Moosa Creek extends from its opening into the Persian Gulf, with some sub narrow creeks leading to it. Zangi creek is one of the main branches of Moosa creek. The creek contains numerous sources of organic pollution, including sewage outlet flows and boat waste. After establishing the Petrochemical special Economic Zone (PETZONE) in 1997 near to the Zangi Creek, the pipelines, streets and railway made it distinct from eastern and western parts of this creek. Industrial activities have released sludge and effluents in this creek along these years. A survey of the Zangi creek was performed, assessing water properties, organic pollution, and the population density, distribution and diversity of macrobenthic fauna through bi-monthly sampling from July 2006 to September 2007. Samples were collected from water near the bottom and sediment at 7 stations include 2 stations inside the distinct Zangi creek and 4 stations along a transect with 1 km distances between them in eastern free part and one reference station located at the Persian Gulf entrance to the Moosa creek. The environmental parameters such as temperature, salinity, pH, dissolved oxygen, COD, turbidity, EC and heavy metals include Hg, Cd, Pb, Ni as well as percentage silt-clay and total organic matter of the sediment were measured. The faunal population density and their distribution are discussed in relation to the environmental changes. Results showed spatial heterogeneity in faunal distribution of the Zangi creek. Nine groups of macrofauna were identified out of distinct zangi creek. Polychaets formed the dominant group (48%) followed by bivalves (13%), gastropods (10%), Decapods (2%), Tanaids (5%), and all other groups (22%). The distinct creek was heavily polluted without any macrofauna communities probably as a consequence of the high pH, COD, low salinity and heavy metals contamination specially Cd and Pb. The other stations near to the disposal site were found with macrofauna communities commonly tolerant to organic pollution, At 3 km east of the disposal site, macrofauna is comparable to the surrounded creek, whereas macrofauna still indicate environmental degradation. Farther a way, faunal density decreases and equilibrium taxa gradually replace opportunistic species, while the other stations were far from polluted area contained lower pollution and relatively healthy macrofauna. The mean biomass of macrobenthic fauna were estimated for the whole studied area. The results are considered in Minimum density and biomass in surrounded creek and maximum density and biomass in 3 km of surrounded area. Biodiversity Indices were low in surrounded creek. The Shanon-weaver information index was used to describe the spatially variations in diversity. Macrofauna density, shanon and simpson index were significantly variable between surrounded and free parts of Zangi creek (p<0.05). The numerical abundance of macrobenthose varied from 221. m-2 in polluted area to 4346 m-2 in free part of Zangi creek. The Shanon-weaver information index varied from 0.4 in distinct area to 2.9 in reference station. The physico- chemical changes between distinct and free creeks showed significant variations such as pH, salinity and EC. Salinity and EC were significantly positive correlate to macrofauna density, whereas pH and TOM percentage indicated significantly negative correlation to density. Heavy metals concentrations in sediments were higher than water samples. Concentration pattern of heavy metals in sediments and water samples were Ni>Pb>Cd>Hg. Salinity and pH were significantly correlated to metals in sediments (p<0.01). No significant correlation were found between Macrofauna density and heavy metals (p<0.05).

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Genetic diversity of Saccostrea cucullata in the northern coast lines of the Persian Gulf and the Sea of Oman were determined using DNA extraction and RAPD - PCR. A total of 300 samples were collected from 6 station along the coastline. Two out of six primers showed positive results namely GCG - ATC - CCC - A (Primer 1) and GTC - CAC - ACG - C (Primer 5) which were in accordance with morphometric analysis. The number of bands in the two above - mentioned primers in Khor - Tang and Chabahar station (Province of Sistan and Balouchestan) was significantly different from the number of produced bands in Dayer and Bushehr station (Province of Bushehr) as well as Gheshm and Bandar - Lengeh station (Province of Hormozgan). The cluster analisys was used to confirm the above variations. The results showed that the oyster population can be divided into two separate clusters. The first cluster included Bushehr Dayer Gheshm and Bandar - Lengeh species. The second cluster included Khor - Tang and Chabahar species. The analysis also showed that the first cluster can be divided into two Sub — cluster. Bushehr and Dayer belong to one Sub - cluster whereas Gheshm and Bandar - Lengeh form the other Sub — cluster. The formation of different vluster can be related to Physico - Chemical properties of water and climatic variations in different habitats along the Persion Gulf and the Sea of Oman. Key words: Molecular genetics, Population, RAND, PCR' Saccostrea cucullata

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The pharaoh Cuttlefish (Sepia Pharaonis) is the most abundant species in the persian gulf and oman sea. The stock patterns of this species was studied conserning biological, morphological and electrophoretical aspects. In addition to measuring the biological patterns; 21 quantitative and qualitative factors were measured or counted. There tissues namely muscle, eye and liver were also used for further polyacrylamide electrophoresis analysis (SDS-Page method). The densitograms of protein bands of each tissue were prepared by Gel-Scanner and also the amount of bands' areas were estimated. The results of LSD test showed that tentacle length (TL), Tentacle club length (TCL) and TCL were indicative factors which they showed significant difference between male TL and female specimen of Bushehr and Balouchestan regions. Regarding to length and weight frequencies data the results indicated that males are always bigger than females and also, the cuttlefishes of the gulf of oman are bigger than persian gulf's samples. There were found a significant sample correlation (95%) between different quantitative parameters and the most correlation (0.963) was found to be between TL and TCL; whereas the less correlation (0.384) was observed between GL and LA3. However the gill length factor illustrated the less correlation with the other factors. The results of Cluster analysis for both sexes showed that the cuttlefishes of both studied regions belongs to seperate stocks. The electrophoretic experiments of proteins showed that the protein bands of the sample tissue of muscle and eye from both sampling areas revealed significant differences; whereas the tissue of liver wasn't recognized as an indicative tissue for population studies. Taking into consideration the findings of the present study including: (1) difference in spawning season, (2) results of dendrograms, (3) observed Significant differences in one-way analysis of variance (ANOVA) for morphometric measurements, (4) differences in body length and weight, (5) ecological variations of the persian gulf and oman sea, (6) as well as the results of electrophoresis of proteins have indicatend that: "The Pharaoh cuttlefishes of Bushehr and Balouchestan waters belong to two seperate stocks. Also, it is believed that each region has propably two different populations and more studies are needed to approve this result.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Although Iran borders with many states and has direct access to the Caspian Sea as well as the Indian Ocean, the Persian Gulf region seems to be the most vital area to its security and prosperity. Yet since the 70’s Iran’s relations with the Arab states in the region have been rather strained and complex. The main reason for that had been the success of the Islamic revolution in 1979 which later resulted in a new dimension of Sunni-Shia rivalry. Moreover, post-revolutionary Iranian authorities also intended to maintain the regional hegemony from the Imperial State of Iran period. As a result, successive Iranian governments competed for hegemony in the Persian Gulf with the littoral Arab states which consolidated their regional positions due to close links and intensive cooperation with the West especially with the United States. Despite some political and economic initiatives which were undertaken by President Mahmoud Ahmadinejad, this rivalry was also evident between 2005–2013. The main aim of this article is to find out whether Iranian foreign policy towards the Arab states in the Persian Gulf region has undergone any significant changes since Hassan Rouhani became the President of the Islamic Republic of Iran in August 2013. According to Mohammad Reza Deshiri, the Iranian foreign policy after 1979 can be divided into so-called waves of idealism and realism. During dominance of idealism values and spirituality are more important than pragmatism while during the realistic waves political as well as economic interests prevail over spirituality. Iranian idealism is connected with export of revolutionary ideas, Shia dominance as well as the restoration of unity among all muslims (ummah). On this basis both presidential terms of Mahmoud Ahmadinejad can be classified as ‘waves of idealism’, albeit some of his ideas were very pragmatic. The question is if Hassan Rouhani’s foreign policy represents a continuity or a change. Is the current Iran’s foreign policy towards the Persian Gulf region idealistic or rather realistic? The main assumption is that there will be no Arab-Iranian rapprochement in the Persian Gulf without a prior normalization of political relations between Iran and the West especially the United States.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The present paper is an attempt to account for the emergence of the designation “only begotten” in the English Bible, its widespread use in pre-modern versions, and its gradual and almost complete disappearance from most contemporary translations. A close examination of the origins of this designation, traceable to its Latin cognate unigenitus, first introduced into the biblical tradition by St. Jerome to render selected occurrences of the Greek adjective monogenes, reveals a unique theological inspiration behind it. “Only begotten,” recurring in English translation of the Bible for almost six centuries as an important christological title, has recently been replaced by translational solutions reflecting a more accurate understanding of the underlying Greek word.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

A methodology for translating text from English into the Dravidian language, Malayalam using statistical models is discussed in this paper. The translator utilizes a monolingual Malayalam corpus and a bilingual English/Malayalam corpus in the training phase and generates automatically the Malayalam translation of an unseen English sentence. Various techniques to improve the alignment model by incorporating the morphological inputs into the bilingual corpus are discussed. Removing the insignificant alignments from the sentence pairs by this approach has ensured better training results. Pre-processing techniques like suffix separation from the Malayalam corpus and stop word elimination from the bilingual corpus also proved to be effective in producing better alignments. Difficulties in translation process that arise due to the structural difference between the English Malayalam pair is resolved in the decoding phase by applying the order conversion rules. The handcrafted rules designed for the suffix separation process which can be used as a guideline in implementing suffix separation in Malayalam language are also presented in this paper. Experiments conducted on a sample corpus have generated reasonably good Malayalam translations and the results are verified with F measure, BLEU and WER evaluation metrics

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Strong vertical gradients at the top of the atmospheric boundary layer affect the propagation of electromagnetic waves and can produce radar ducts. A three-dimensional, time-dependent, nonhydrostatic numerical model was used to simulate the propagation environment in the atmosphere over the Persian Gulf when aircraft observations of ducting had been made. A division of the observations into high- and low-wind cases was used as a framework for the simulations. Three sets of simulations were conducted with initial conditions of varying degrees of idealization and were compared with the observations taken in the Ship Antisubmarine Warfare Readiness/Effectiveness Measuring (SHAREM-115) program. The best results occurred with the initialization based on a sounding taken over the coast modified by the inclusion of data on low-level atmospheric conditions over the Gulf waters. The development of moist, cool, stable marine internal boundary layers (MIBL) in air flowing from land over the waters of the Gulf was simulated. The MIBLs were capped by temperature inversions and associated lapses of humidity and refractivity. The low-wind MIBL was shallower and the gradients at its top were sharper than in the high-wind case, in agreement with the observations. Because it is also forced by land–sea contrasts, a sea-breeze circulation frequently occurs in association with the MIBL. The size, location, and internal structure of the sea-breeze circulation were realistically simulated. The gradients of temperature and humidity that bound the MIBL cause perturbations in the refractivity distribution that, in turn, lead to trapping layers and ducts. The existence, location, and surface character of the ducts were well captured. Horizontal variations in duct characteristics due to the sea-breeze circulation were also evident. The simulations successfully distinguished between high- and low-wind occasions, a notable feature of the SHAREM-115 observations. The modeled magnitudes of duct depth and strength, although leaving scope for improvement, were most encouraging.