475 research outputs found
Hydraulic simulations to evaluate and predict design and operation of the Chashma Right Bank Canal
No full textIrrigation systems / Irrigation canals / Flow control / Velocity / Canal regulation techniques / Hydraulics / Simulation models / Design / Operations / Crop-based irrigation / Distributary canals / Water delivery / Policy / Protective irrigation / Water allocation / Water requirements / Sedimentation / Water distribution / Equity / Water conveyance / Pakistan / Chashma Right Bank Canal
In vitro and in silico antiproliferative potential of isolated flavonoids constitutes from Pistacia integerrima
No full textCancer is one of the most demanding domains for innovative, effective, safe, and affordable therapeutically active chemicals. The main aim of this study is to research new phytochemicals with anticancer activity. The current experiment identified and analyzed six compounds for anti-cancer potential supported by molecular simulation studies. The defatted methanolic extract underwent column chromatography, resulting in the isolation of six flavonoids. These include 3,5,7,4′-tetrahydroxy-flavanone (1), naringenin (2), 3,5,4′-trihydroxy-7-methoxy-flavanone (3), sakuranetin (4), spinacetin (5), and patuletin (6). The isolated compounds (1-6) were assessed for in vitro anti-cancer activity against various cell lines such as HepG2 (hepatoma G2), A498 (kidney), NCI-H226 (lungs), and MDR2780AD (human ovarian). The maximum antiproliferative effect was against HepG2 and MDR2780AD. When compounds 6, 5, and 1 were compared to a standard anti-cancer medicine (paclitaxel) with an IC50 of 7.32, it was shown that compounds 6, 5, and 1 exhibited significant activity against HepG2 with IC50 values of 14.65, 20.87, and 27.09 μM, respectively. All tested compounds showed an IC50 of less than 1 μM and had notable effects against MDR2780 AD cell lines. Compound 6 exhibited notable potency against the HepG2, A498, and MDR2780AD cell lines, among the six compounds that were evaluated. In contrast, compound 3 demonstrated the most pronounced impact on the NCI-H226 cell line. Docking investigations were performed using tubulin as the specific target concerning PDB ID 4O2B. The six compounds under investigation interact hydrophobically and hydrophilically with tubulin-binding site amino acid residues
Specification and animation of security design models using Z
No full textL'écriture de spécifications pour des logiciels en général et en particulier pour des applications sécurisées demande de développer des techniques qui facilitent la détection et la prévention des erreurs de conception, dès les premières phases du développement. Ce besoin est motivé par les coûts et délais des phases de vérification et validation. De nombreuses méthodes de spécification, tant formelles qu'informelles ont été proposées et, comme nous le verrons dans cette thèse, les approches formelles donnent des spécifications de meilleure qualité.L'ingénierie des systèmes sécurisés propose l'utilisation de modèles de conception de la sécurité pour représenter les applications sécurisées. Dans de nombreux cas, ces modèles se basent sur les notations graphiques d'UML avec des extensions, sous forme de profils comme SecureUML, pour exprimer la sécurité. Néanmoins, les notations d'UML, même étendues avec des assertions OCL, sont insuffisantes pour garantir la correction de ces modèles. Ceci est notamment du aux limites des outils d'animation utilisés pour valider des modèles UML étendus en OCL. Nous proposons de combiner des langages formels comme Z avec UML pour valider des applications en animant leurs spécifications, indépendamment de futurs choix d'implémentation. Le but de cette thèse est de présenter une approche pour analyser par animation des modèles de conception de la sécurité. Nous utilisons un outil pré-existant, RoZ, pour traduire les aspects fonctionnels du modèle UML en Z. Cependant, RoZ ne couvre pas la modélisation des aspects sécuritaires. Dans cette thèse, nous avons complété l'outil RoZ en l'associant à un noyau de sécurité qui spécifie les concepts du modèle RBAC (Role Based Access Control). Nous utilisons l'animation pour explorer dynamiquement et ainsi valider les aspects sécuritaires de l'application.Notre approche et les outils qui la supportent intègrent UML, SecureUML (un langage de modélisation de la sécurité), RBAC, RoZ, Z et Jaza, un animateur pour le langage Z. L'animation des spécifications prend la forme de scénarios définis par l'utilisateur qui permettent de se convaincre que la spécification décrit correctement ses besoins. Notre approche permet une validation dès la phase de spécification, qui prend en considération l'interaction entre les modèles fonctionnel et sécuritaire, et qui fait abstraction des choix de l'implémentation. Les éléments du modèle fonctionnel peuvent être utilisés comme contexte dans la définition des permissions du modèle de sécurité. Notre approche ne met pas de contrainte sur ce modèle fonctionnel ce qui permet de l'utiliser pour une vaste gamme d'applications.Specifying security-critical software urges to develop techniques that allow early bugs detection and prevention. This is aggravated by the fact that massive cost and time are spent during product validation and verification (V&V). There exists a multitude of formal and informal techniques striving to confront the challenge of specifying and validating specifications. Our approach mainly concerns validating the security specifications by animating the formal models, which adds a new dimension to the state-of-the-art.Secure system engineering dedicated to tackle security features offers security-design models to sketch secure applications. Generally for these, Unified Modeling Language (UML) is considered a de facto standard along with a few extensions such as SecureUML and Object Constraint Language (OCL). OCL tends to add precision in design but yet it remains far from obtaining bugs free specifications. One reason to that is the inability of the OCL-based techniques to animate models before proceeding to an implementation.Combining formal languages such as Z with UML allows applying animation techniques enabling early validation of software design. The RoZ tool is capable of translating UML models into the Z specifications which further can be verified or validated. But RoZ is lacking to provide similar features for secure applications. In this thesis, we have upgraded this tool using an underlying security kernel backed up by Role Based Access Control (RBAC). Our approach not only allows validating the specifications but can animate the formal models. The animation also takes into account both the static and the dynamic aspects (i.e., session management) of RBAC-based security policies. Our unified approach and toolset involves a systematic usage and linkage of UML, SecureUML, RBAC, RoZ, Z, and the Just Another Z Animator (Jaza) tool. Using Jaza, the sort of validation we perform allows enumerating user defined scenarios to determine if the specification describes the intended reality. We emphasize on simultaneous consideration of functional and non-functional properties and consider functional models as contextual constraints over the security models. From a user viewpoint, our proposed approach can arbitrarily be composed with any functional model to examine an RBAC-based security policy
Surveillance centric coding
No full textPhDThe research work presented in this thesis focuses on the development of techniques
specific to surveillance videos for efficient video compression with higher processing
speed. The Scalable Video Coding (SVC) techniques are explored to achieve higher
compression efficiency. The framework of SVC is modified to support Surveillance
Centric Coding (SCC). Motion estimation techniques specific to surveillance videos
are proposed in order to speed up the compression process of the SCC.
The main contributions of the research work presented in this thesis are divided into
two groups (i) Efficient Compression and (ii) Efficient Motion Estimation. The
paradigm of Surveillance Centric Coding (SCC) is introduced, in which coding aims
to achieve bit-rate optimisation and adaptation of surveillance videos for storing and
transmission purposes. In the proposed approach the SCC encoder communicates
with the Video Content Analysis (VCA) module that detects events of interest in
video captured by the CCTV. Bit-rate optimisation and adaptation are achieved by
exploiting the scalability properties of the employed codec. Time segments
containing events relevant to surveillance application are encoded using high spatiotemporal
resolution and quality while the irrelevant portions from the surveillance
standpoint are encoded at low spatio-temporal resolution and / or quality. Thanks to
the scalability of the resulting compressed bit-stream, additional bit-rate adaptation is
possible; for instance for the transmission purposes. Experimental evaluation showed
that significant reduction in bit-rate can be achieved by the proposed approach
without loss of information relevant to surveillance applications.
In addition to more optimal compression strategy, novel approaches to performing
efficient motion estimation specific to surveillance videos are proposed and
implemented with experimental results. A real-time background subtractor is used to
detect the presence of any motion activity in the sequence. Different approaches for
selective motion estimation, GOP based, Frame based and Block based, are
implemented. In the former, motion estimation is performed for the whole group of
pictures (GOP) only when a moving object is detected for any frame of the GOP.
iii
While for the Frame based approach; each frame is tested for the motion activity and
consequently for selective motion estimation. The selective motion estimation
approach is further explored at a lower level as Block based selective motion
estimation. Experimental evaluation showed that significant reduction in
computational complexity can be achieved by applying the proposed strategy. In
addition to selective motion estimation, a tracker based motion estimation and fast
full search using multiple reference frames has been proposed for the surveillance
videos.
Extensive testing on different surveillance videos shows benefits of
application of proposed approaches to achieve the goals of the SCC
Crystalline phase, surface morphology and electrical properties of monovalent-doped Nd0.75Na0.25Mn1-yCoyO3 manganites
No full textPerovskite-type manganites Nd0.75Na0.25Mn1-yCoyO3 (y = 0 – 0.05) have been investigated to clarify the influence of Co-doped on crystal phase and morphological study as well as electrical transport properties. The Nd0.75Na0.25Mn1-yCoyO3 samples are prepared via solid state synthesis method. X-ray diffraction analysis revealed all the samples are essentially single phased and the peaks are indexed to an orthorhombic structure with Pnma space. The morphological study from scanning electron microscope shows the improvement of the grains boundaries and sizes as well as the compaction of particles can be seen as cobalt doping increased. On the other hand, the temperature dependence of electrical resistivity measurements using four-point-probe technique indicates all samples maintained an insulator like behaviour down to low temperature. Analysis of the resistivity change with respect to temperature, dlnρ/dT-1 versus T reveals a slope changes of resistivity has been observed and a boarder peak exist for y = 0 sample and the peaks become significantly obvious for y = 0.02 and 0.05 samples. The peaks are observed in the range of charge ordering (CO) transition indicate the existence of CO in the system
al-Misbāh fī al-Nahw By Nāsir al-Dīn al-Mutarrizī al-Nahwī (d. 610/1213) A Critical Edition of the Text with the Life History of the Author
No full textNāsir al-Dīn al-Mutarrizī al-Nahwī (d.610/1213) was one of the most renowned figures in the field of Arabic Grammar. He has left an indelible mark on the world of Arabic language and literature. He is also known as the successor of al-Zamakhsharī.
He wrote a number of books but his al-Misbāh fī al-Nahw gained prominence at a level that no other book in this field could claim to achieve. For this reason, a great number of commentaries have been written in every age, of which the most famous are al-Daw and Khulāsat al-I‘rāb written by Tāj al-Dīn al-Isfrā’īnī and ‘Abd al- Karīm al-Tūsī (better known as Hājjī Bābā) respectively. Moreover, its translation into other languages also demonstrates its value as a useful book.
Although al-Misbāh has been edited on more than one occasion, the published editions do not fulfil the needs and requirements of modern academic research criteria. The basic aim of this thesis is to present this book with a current modern research style so that the students, teachers and ordinary readers of Arabic language and literature may benefit from this work.
This thesis is divided into two parts. The first part deals with the life history of the author and his other works. A brief note of the environment under which he grew up (generally referred to as the ‘Seljuk’ period) is also included in this part.
The second part consists of a text edition that deals with the derivation (Takhrīj) of syntactical issues together with the differing opinions of grammarians on syntactical/grammatical issues. This part also proffers the idiomatic English translation of al-Misbāh
Estimating the Middle Class in Pakistan
No full textThe concept ‘middle class’ is one of the most commonly used terms in the social sciences, including economics, sociology and political science. Despite its frequent use there is, however, no consensus on what the term exactly implies and its meaning remains ambiguous depending primarily on the context in which it is used. It is viewed as the class that is between, and separates, the lower and the upper classes, that is the rich and the poor, but there is no agreement on the exact boundaries that separates them. Most of the definitions and measurements of the middle class continue to be somewhat arbitrary and vague.
Conversion of African Americans to Islam : a sociological analysis of the Nation of Islam and associated groups
No full text'Conversion of African Americans to Islam: A Sociological Analysis of the Nation of
Islam Associated groups' is an empirical study of the religious experience of people
who had/have distinctive features in terms of race, ethnicity and historical experience.
The purpose of this thesis is to demonstrate how African Americans' (AAs) conversion
experience in general, and the Nation of Islam associated groups' conversion in
particular, differ from the studies of recruitment and conversion in the sociology of
religion and New Religion Movements (NRMs). More specifically, their recruitment
and conversion experiences to Islam diverge from those who converted to mainstream
Islam. The study investigates how AAs' historical experience, soci-economic
difficulties and the racism they encountered shaped and influenced their religious
understanding.
Research methods involved participant observations, a survey questionnaire, interviews,
conversations, personal communications and correspondence. To collect ethnographic
data eleven months field research was conducted mainly in the Chicago area and on two
short visits to Detroit, and three years continued communications with Muslim officials
and academics in the area. During the field research and afterwards through personal
communication 181 survey questionnaire responses were received, and 23 Muslim
officials, academics and ordinary Muslims were interviewed through semi-structured,
unstructured interviews, conversation and correspondence.
The thesis begins with a brief history of Islam and Muslims in general and the African
American Muslims (AAMs) in particular. More emphasis is given on the historical
development of the Nation of Islam (NOl). Then in Chapter III, discussions of schisms
in the history of the NOT are examined from sociological perspectives of social and
religious movements. In Chapter IV I aimed to formulate my own perspective to
analyse and study the conversion experiences of AAMs to Islam. I used a multivariate
approach, considering selectively widely held conversion and recruitment theories in the
sociology of the religion. I consider in Chapter V the predisposing conditions for AAMs
that influence their decision-making to join in the NOT, for example, political and
nationalistic sentiments and socio-economic deprivations. In Chapter VI I have applied
different terms to describe their religious experiences, such as conversion, alteration and
reversion. I have analysed further their encounters with the NOT, the methods of
recruitment they used and their major motives for joining the NOT and converting to
Tslam. In the concluding chapters (Chapter VII VTTT) I describe the different responses
of AAMS to Islam following the death of Elijah Muhammad. It is found out that the
Islamic appeal has polarised. While Farakhan's NOT appeared to continue the tradition
and style of the old NOI with the emphasis on nationalistic and socio-economic factors,
Tmam W. D. Mohammed's community turned more to the religious and spiritual aspects
of Tslam. These different approaches led to a polarisation of the appeal of Tslam to
AAMS.
This thesis contributes to knowledge in four key areas; the sociology of religion and
religious movements, the sociology of social and nationalistic movements, religious and
Islamic studies
Annotation of conceptual co-reference and text Mining the Qur'an
No full textThis research contributes to the area of corpus annotation and text mining by developing novel domain specific language resources. Most practical text mining applications restrict their domain. This research restricts the domain to the Qur'anic Text.
In this thesis, a number of pre-processing steps were undertaken and annotation information were added to the Qur'an. The raw Arabic Qur'an was pre-processed into morphological units using the Qur'anic Arabic Corpus (QAC). Qur'anic terms were indexed and converted into a vector space model using techniques in Information Retrieval (IR). In parallel, nearly 24,000 Qur'anic personal pronouns were annotated with information on their referents. These referents are consolidated and organized into a total of over 1,000 ontological concepts. Moreover, a dataset of nearly 8,000 pairs of related Qur'anic verses are compiled from books of scholarly commentary on the Qur'an. This vector space model, the pronoun tagging, the verse relatedness dataset, and the part-of-speech tags available in QAC all together served for a number of Qur'anic text mining applications which were rendered online for public use. Among these applications: lemma concordance, collocation, POS search of the Qur'an, verse similarity measures, concept clouds of a given verse, pronominal anaphora and Qur'anic chapter similarity.
Furthermore, machine learning experiments were conducted on automatic detection of verse similarity/relatedness as well as categorization of Qur'anic chapters based on their chronology of revelation. Domain specific linguistic features were investigated to induct learning algorithms. Results show that deep linguistic and world knowledge is needed to reach the human upper bound in certain computational tasks such as detecting text relatedness, question answering and textual entailment. However, many useful queries can be addressed using text mining techniques and layers of annotations made available through this research. The works presented here can be extended to include other similar texts like Hadith (i.e., saying of Prophet Muhammad), or other scriptures like the Gospels
5-(3,4,5-Trimethoxyphenyl)-1,3,4-oxadiazole-2(3H)-thione
No full textThe two rings in the title compound, C11H12N2O4S, are roughly coplanar [dihedral angle = 6.77 (8)°]. Whereas the two outer methyl groups of the three methoxy groups are almost coplanar with the aromatic ring to which they are attached [C—C—O—C torsion angles = 8.5 (3) and -8.3 (3)°], the methyl group of the central methoxy substituent is not [C—C—C—C = -78.4 (3)°]. The crystal packing is stabilized by N—H ... O hydrogen bonding
- …
