搜索页_ Pakistan 8. Computer Science Department

设为首页

收藏本站

网站地图 | English | 公务邮箱

读者指南

学术客户端

NSTL服务站

科技查新

外文资源

SpringerLink电子期刊(21)

在“SpringerLink电子期刊”中，命中：21条，耗时：0.1749166 秒

在所有数据库中总计命中：21条

1. A Sensor-Based Light Signal Controller

作者：Abdul Mateen (7)
Adia Khalid (7)
Faheem Arif (8)

7. Computer Science Department ; Federal Urdu University of Arts ; Science and Technology ; Islamabad ; Pakistan
8. Computer Science Department ; Military College of Signals ; National University of Sciences and Technology ; Islamabad ; Pakistan

关键词：Traffic ; Management ; Autonomous ; Controller

刊名：Lecture Notes in Computer Science

出版年：2015

2. Cataloguing Physicality Values Using Physical Quantitative Evaluation Method

作者：Mahmood Ashraf (16)
Masitah Ghazali (17)

16. Department of Computer Science ; Federal Urdu University of Arts ; Science and Technology ; Islamabad ; Pakistan
17. Software Engineering Department ; Universiti Teknologi Malaysia ; Skudai ; Malaysia

关键词：Physicality ; Embedded systems ; Evaluation ; Intuitive interaction ; Spatial cognition

刊名：Lecture Notes in Computer Science

出版年：2015

3. Cylindrically symmetric solutions in f(R,T) gravity

作者：M. Farasat Shamir (1)
Zahid Raza (1)

1. Department of Sciences and Humanities ; National University of Computer and Emerging Sciences ; Lahore Campus ; Lahore ; Pakistan

关键词：f(R ; T) gravity ; Cylindrically symmetric spacetime

刊名：Astrophysics and Space Science

出版年：2015

4. Testing abstract behavioral specifications

作者：Peter Y. H. Wong (1)
Richard Bubel (2)
Frank S. de Boer (3)
Miguel G贸mez-Zamalloa (4)
Stijn de Gouw (3)
Reiner H盲hnle (2)
Karl Meinke (5)
Muddassar Azam Sindhu (6)

1. SDL ; Amsterdam ; The Netherlands
2. Department of Computer Science ; Technische Universit盲t Darmstadt ; Darmstadt ; The Netherlands
3. CWI ; Amsterdam ; The Netherlands
4. DSIC ; Complutense University of Madrid ; Madrid ; Spain
5. School of Computer Science and Communication ; KTH Royal Institute of Technology ; Stockholm ; Sweden
6. Department of Computer Science ; Quaid-i-Azam University ; Islamabad ; Pakistan

关键词：Automated testing ; Industrial case study ; Black ; box testing ; Glass ; box testing ; Runtime assertion checking

刊名：International Journal on Software Tools for Technology Transfer (STTT)

出版年：2015

5. Robust Stability of Markovian Jump Stochastic Neural Networks with Time Delays in the Leakage Terms

作者：Quanxin Zhu (1)
Jinde Cao (2) (4)
Tasawar Hayat (3) (4)
Fuad Alsaadi (5)

1. School of Mathematical Sciences and Institute of Finance and Statistics ; Nanjing Normal University ; Nanjing聽 ; 210023 ; Jiangsu ; China
2. Department of Mathematics and Research Center for Complex Systems and Network Sciences ; Southeast University ; Nanjing聽 ; 210096 ; Jiangsu ; China
4. Department of Mathematics ; Faculty of Science ; King Abdulaziz University ; Jeddah ; Saudi Arabia
3. Department of Mathematics ; Quaid-I-Azam University ; Islamabad聽 ; 44000 ; Pakistan
5. Department of Electrical and Computer Engineering ; Faculty of Engineering ; King Abdulaziz University ; Jeddah ; Saudi Arabia

关键词：Exponential stability ; Stochastic neural network ; Lyapunov functional ; Linear matrix inequality ; Markovian jump parameter ; Leakage time delay

刊名：Neural Processing Letters

出版年：2015

6. Gravitational Dust Collapse in f (R) Gravity

作者：M. Farasat Shamir (1)
Zahid Ahmad (2)
Zahid Raza (1)

1. Department of Sciences & Humanities ; National University of Computer & Emerging Sciences ; Lahore Campus ; Lahore ; Pakistan
2. Department of Mathematics ; COMSATS ; Institute of Information Technology ; University Road ; Abbottabad ; Pakistan

关键词：Gravitational collapse ; f(R) gravity

刊名：International Journal of Theoretical Physics

出版年：2015

7. Characteristics and classification of outlier detection techniques for wireless sensor networks in harsh environments: a survey

作者：Nauman Shahid (1)
Ijaz Haider Naqvi (1)
Saad Bin Qaisar (2)

1. Department of Electrical Engineering ; School of Science and Engineering ; Lahore University of Management Sciences ; Sector U ; DHA ; Lahore Cantt ; 54792 ; Pakistan
2. NUST School of Electrical Engineering and Computer Science ; Islamabad ; Pakistan

关键词：Wireless sensor networks ; Harsh environments ; Outlier detection ; Event detection

刊名：Artificial Intelligence Review

出版年：2015

8. Global dynamics of SEIRS epidemic model with non-linear generalized incidences and preventive vaccination

作者：Muhammad Altaf Khan (1)
Qaisar Badshah (1)
Saeed Islam (1)
Ilyas Khan (2)
Sharidan Shafie (3)
Sher Afzal Khan (4)

1. Department of Mathematics ; Abdul Wali Khan University ; Mardan ; Khyber Pakhtunkhwa ; Pakistan
2. College of Engineering ; Majmaah University ; Majmah ; Kingdom of Saudi Arabia
3. Department of Mathematical Sciences ; Faculty of Science ; Universiti Teknologi Malaysia ; Skudai ; Johor ; Malaysia
4. Department of Computer Sciences ; Abdul Wali Khan University ; Mardan ; Khyber Pakhtunkhwa ; Pakistan

关键词：SEIRS epidemic model ; generalized non ; linear incidence rate ; basic reproduction number ; global stability ; numerical simulations

刊名：Advances in Difference Equations

出版年：2015

9. Exact Solutions of Bianchi Type V Spacetime in f(R, T) Gravity

作者：M. Farasat Shamir (1)

1. Department of Sciences and Humanities ; National University of Computer and Emerging Sciences ; Lahore Campus ; Pakistan

关键词：f(R ; T) gravity ; Bianchi type V ; Deceleration parameter

刊名：International Journal of Theoretical Physics

出版年：2015

10. A new algorithm for higher order integro-differential equations

作者：Majid Khan (1)

1. Department of Sciences and Humanities ; National University of Computer & Emerging Sciences ; Islamabad ; Pakistan

关键词：Modified Laplace decomposition method ; Fifth order integro ; differential equations ; Linear and nonlinear problems ; 45J05 ; 34K10 ; 34K05

刊名：Afrika Matematika

出版年：2015

按检索点细分(21)

作者(20)

按出版年细分(21)

2015年(13)

2014年(8)

常见问题　|　交通位置　|　联系我们　|　OA远程办公

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700