Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Article
|
![]() |
Building performance standards into data envelopment analysis structures1 COOK, WADE D. ; 2 ZHU, JOEIIE transactions, 2005-03, Vol.37 (3), p.267-275Norcross: Taylor & Francis GroupFull text available |
2 |
Material Type: Article
|
![]() |
Clustering algorithm for internet of vehicles (IoV) based on dragonfly optimizer (CAVDO)Aadil, Farhan ; Ahsan, Waleed ; Rehman, Zahoor Ur ; Shah, Peer Azmat ; Rho, Seungmin ; Mehmood, IrfanThe Journal of supercomputing, 2018-09, Vol.74 (9), p.4542-4567 [Peer Reviewed Journal]New York: Springer USFull text available |
3 |
Material Type: Conference Proceeding
|
![]() |
A formally verified system for logic synthesisAagaard, M. ; Leeser, M.[1991 Proceedings] IEEE International Conference on Computer Design: VLSI in Computers and Processors, 1991, p.346-350IEEE Comput. Soc. PressFull text available |
4 |
Material Type: Article
|
![]() |
Verifying a logic-synthesis algorithm and implementation: a case study in software verificationAagaard, M. ; Leeser, M.IEEE transactions on software engineering, 1995-10, Vol.21 (10), p.822-833 [Peer Reviewed Journal]New York, NY: IEEEFull text available |
5 |
Material Type: Conference Proceeding
|
![]() |
The formal verification of a pipelined double-precision IEEE floating-point multiplierAagaard, Mark D. ; Seger, Carl-Johan H.International Conference on Computer Aided Design: Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design; 05-09 Nov. 1995, 1995, p.7-10Washington, DC, USA: IEEE Computer SocietyFull text available |
6 |
Material Type: Article
|
![]() |
Parallel framework for topology optimization using the method of moving asymptotesAage, Niels ; Lazarov, Boyan S.Structural and multidisciplinary optimization, 2013-04, Vol.47 (4), p.493-505 [Peer Reviewed Journal]Berlin/Heidelberg: Springer-VerlagFull text available |
7 |
Material Type: Article
|
![]() |
Elastodynamic full waveform inversion on GPUs with time-space tiling and wavefield reconstructionAaker, Ole Edvard ; Raknes, Espen Birger ; Arntsen, BørgeThe Journal of supercomputing, 2021-03, Vol.77 (3), p.2416-2457 [Peer Reviewed Journal]New York: Springer USFull text available |
8 |
Material Type: Article
|
![]() |
A competitive learning-based Grey wolf Optimizer for engineering problems and its application to multi-layer perceptron trainingAala Kalananda, Vamsi Krishna Reddy ; Komanapalli, Venkata Lakshmi NarayanaMultimedia tools and applications, 2023-11, Vol.82 (26), p.40209-40267 [Peer Reviewed Journal]New York: Springer USFull text available |
9 |
Material Type: Article
|
![]() |
Fairness and efficiency in pedestrian emergency evacuation: Modeling and simulationAalami, Soheila ; Kattan, LinaSafety science, 2020-01, Vol.121, p.373-384 [Peer Reviewed Journal]Amsterdam: Elsevier LtdFull text available |
10 |
Material Type: Article
|
![]() |
Framework for Analysis of Power System Operation in Smart CitiesAamir, Muhammad ; Uqaili, Muhammad Aslam ; Amir, Samreen ; Chowdhry, B. S. ; Rafique, Faisal ; Poncela, JavierWireless personal communications, 2014-06, Vol.76 (3), p.399-408 [Peer Reviewed Journal]Boston: Springer USFull text available |