Fayyaz Ahmad 1,2,3,*, Toseef Akhter Bhutta 4, Umar Sohaib 4, Malik Zaka Ullah 1,5, Ali Saleh Alshomrani 5, Shamshad Ahmad 6 and Shahid Ahmad 7 1 Dipartimento di Scienza e Alta Tecnologia, Universita dell’Insubria, Via Valleggio 11, Como 22100, Italy; [email protected] 2 Departament de Física i Enginyeria Nuclear, Universitat Politècnica de Catalunya, Eduard Maristanu 10, Barcelona 0...

Abbas M, Arsad M, Azam A (2013), Fixed points of asymptotically regular mappings in complex-valued metric spaces, Georgian Math. J. , 20 (2), 213-221. Abbas M. Fisher B, Nazir T (2012), Well-posedness and periodic point property of mappings satisfying a rational inequality in an ordered complex valued metric space, Sci. Stud. Res. , Ser. Math. Inform. , 22 (1), 5-24. Ahmad J, Klin-Eam C, Azam A...

The verification of a bit-slice ALU has been accomplished using a mechanical theorem prover. This ALU has an n-bit design specification, which has been verified to implement its top-level specification. The ALU and top-level specifications were written in the Boyer-Moore logic. The verification was carried out with the aid of Boyer-Moore theorem prover in a hierarchical fashion.

Abbas M, Arsad M, Azam A (2013), Fixed points of asymptotically regular mappings in complex-valued metric spaces, Georgian Math. J. , 20 (2), 213-221. Abbas M. Fisher B, Nazir T (2012), Well-posedness and periodic point property of mappings satisfying a rational inequality in an ordered complex valued metric space, Sci. Stud. Res. , Ser. Math. Inform. , 22 (1), 5-24. Ahmad J, Klin-Eam C, Azam A...

Fayyaz Ahmad 1,2,3,*, Toseef Akhter Bhutta 4, Umar Shoaib 4, Malik Zaka Ullah 1,5, Ali Saleh Alshomrani 5, Shamshad Ahmad 6 and Shahid Ahmad 7 1 Dipartimento di Scienza e Alta Tecnologia, Universita dell’Insubria, Via Valleggio 11, Como 22100, Italy; [email protected] 2 Departament de Física i Enginyeria Nuclear, Universitat Politècnica de Catalunya, Eduard Maristanu 10, Barcelona 0...

Abbas M, Arsad M, Azam A (2013), Fixed points of asymptotically regular mappings in complex-valued metric spaces, Georgian Math. J. , 20 (2), 213-221. Abbas M. Fisher B, Nazir T (2012), Well-posedness and periodic point property of mappings satisfying a rational inequality in an ordered complex valued metric space, Sci. Stud. Res. , Ser. Math. Inform. , 22 (1), 5-24. Ahmad J, Klin-Eam C, Azam A...

Abbas M, Arsad M, Azam A (2013), Fixed points of asymptotically regular mappings in complex-valued metric spaces, Georgian Math. J. , 20 (2), 213-221. Abbas M. Fisher B, Nazir T (2012), Well-posedness and periodic point property of mappings satisfying a rational inequality in an ordered complex valued metric space, Sci. Stud. Res. , Ser. Math. Inform. , 22 (1), 5-24. Ahmad J, Klin-Eam C, Azam A...

streamflow recession indicates the river network balance between revenue and losses of river. recession curve expreses the storage- output relationship for the catchment. the aim of this study was trend anaylysis, modeling of streamflow recession and uncertainty estimation in shahmokhtar station on the bashar river in kohgiluyeh and boyer ahmad province. based on the results of the mann-kendall...

Background & Aim: Lamiaceae is one of the most important families of plants with global transmittal. The family is divided to two major groups: Lamioideae and Nepetoideae. Mentha L. genus has high genetic variation because of different ploidy levels and interspecific interspecific hybridization thus that is possible to select genotypes with excelsior traits as essence content. The genu...