skip to main content
Results 1 2 3 4 5 next page
Refined by: subject: Engineering remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Building performance standards into data envelopment analysis structures
Material Type:
Article
Add to e-Shelf

Building performance standards into data envelopment analysis structures

1 COOK, WADE D. ; 2 ZHU, JOE

IIE transactions, 2005-03, Vol.37 (3), p.267-275

Norcross: Taylor & Francis Group

Full text available

2
Clustering algorithm for internet of vehicles (IoV) based on dragonfly optimizer (CAVDO)
Material Type:
Article
Add to e-Shelf

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, Irfan

The Journal of supercomputing, 2018-09, Vol.74 (9), p.4542-4567 [Peer Reviewed Journal]

New York: Springer US

Full text available

3
A formally verified system for logic synthesis
Material Type:
Conference Proceeding
Add to e-Shelf

A formally verified system for logic synthesis

Aagaard, M. ; Leeser, M.

[1991 Proceedings] IEEE International Conference on Computer Design: VLSI in Computers and Processors, 1991, p.346-350

IEEE Comput. Soc. Press

Full text available

4
Verifying a logic-synthesis algorithm and implementation: a case study in software verification
Material Type:
Article
Add to e-Shelf

Verifying a logic-synthesis algorithm and implementation: a case study in software verification

Aagaard, M. ; Leeser, M.

IEEE transactions on software engineering, 1995-10, Vol.21 (10), p.822-833 [Peer Reviewed Journal]

New York, NY: IEEE

Full text available

5
The formal verification of a pipelined double-precision IEEE floating-point multiplier
Material Type:
Conference Proceeding
Add to e-Shelf

The formal verification of a pipelined double-precision IEEE floating-point multiplier

Aagaard, 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-10

Washington, DC, USA: IEEE Computer Society

Full text available

6
Parallel framework for topology optimization using the method of moving asymptotes
Material Type:
Article
Add to e-Shelf

Parallel framework for topology optimization using the method of moving asymptotes

Aage, Niels ; Lazarov, Boyan S.

Structural and multidisciplinary optimization, 2013-04, Vol.47 (4), p.493-505 [Peer Reviewed Journal]

Berlin/Heidelberg: Springer-Verlag

Full text available

7
Elastodynamic full waveform inversion on GPUs with time-space tiling and wavefield reconstruction
Material Type:
Article
Add to e-Shelf

Elastodynamic full waveform inversion on GPUs with time-space tiling and wavefield reconstruction

Aaker, Ole Edvard ; Raknes, Espen Birger ; Arntsen, Børge

The Journal of supercomputing, 2021-03, Vol.77 (3), p.2416-2457 [Peer Reviewed Journal]

New York: Springer US

Full text available

8
A competitive learning-based Grey wolf Optimizer for engineering problems and its application to multi-layer perceptron training
Material Type:
Article
Add to e-Shelf

A competitive learning-based Grey wolf Optimizer for engineering problems and its application to multi-layer perceptron training

Aala Kalananda, Vamsi Krishna Reddy ; Komanapalli, Venkata Lakshmi Narayana

Multimedia tools and applications, 2023-11, Vol.82 (26), p.40209-40267 [Peer Reviewed Journal]

New York: Springer US

Full text available

9
Fairness and efficiency in pedestrian emergency evacuation: Modeling and simulation
Material Type:
Article
Add to e-Shelf

Fairness and efficiency in pedestrian emergency evacuation: Modeling and simulation

Aalami, Soheila ; Kattan, Lina

Safety science, 2020-01, Vol.121, p.373-384 [Peer Reviewed Journal]

Amsterdam: Elsevier Ltd

Full text available

10
Framework for Analysis of Power System Operation in Smart Cities
Material Type:
Article
Add to e-Shelf

Framework for Analysis of Power System Operation in Smart Cities

Aamir, Muhammad ; Uqaili, Muhammad Aslam ; Amir, Samreen ; Chowdhry, B. S. ; Rafique, Faisal ; Poncela, Javier

Wireless personal communications, 2014-06, Vol.76 (3), p.399-408 [Peer Reviewed Journal]

Boston: Springer US

Full text available

Results 1 2 3 4 5 next page

Personalize your results

  1. Edit

Refine Search Results

Expand My Results

  1.   

Refine My Results

Resource Type 

  1. Articles  (57,958)
  2. Conference Proceedings  (8,206)
  3. magazinearticle  (1,687)
  4. Books  (1,077)
  5. Book Chapters  (548)
  6. Newsletter Articles  (124)
  7. Reports  (123)
  8. Reviews  (36)
  9. Reference Entries  (22)
  10. Newspaper Articles  (10)
  11. Datasets  (6)
  12. Dissertations  (3)
  13. Images  (3)
  14. Text Resources  (2)
  15. More options open sub menu

Author/Creator 

  1. Billo, E  (1)
  2. Davies, P  (1)
  3. More options open sub menu

Creation Date 

From To
  1. Before1971  (77)
  2. 1971To1983  (634)
  3. 1984To1996  (4,336)
  4. 1997To2010  (13,243)
  5. After 2010  (52,387)
  6. More options open sub menu

Language 

  1. English  (69,784)
  2. Japanese  (2,223)
  3. Portuguese  (183)
  4. French  (81)
  5. German  (80)
  6. Spanish  (65)
  7. Russian  (37)
  8. Chinese  (36)
  9. Polish  (13)
  10. Croatian  (11)
  11. Norwegian  (9)
  12. Turkish  (8)
  13. Ukrainian  (5)
  14. Slovak  (4)
  15. Catalan  (3)
  16. Korean  (3)
  17. Lithuanian  (2)
  18. Serbian  (1)
  19. Czech  (1)
  20. Bulgarian  (1)
  21. More options open sub menu

Suggested New Searches

Ignore my query and look for everything

by this author/creator:

  1. Billo, E
  2. Davies, P

Searching Remote Databases, Please Wait

  • Searching for
  • inscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Show me what you have so far