Search

English
- Persian
- English
Login

Ferdowsi University of Mashhad
|
Information Center and Central Library

- Persian
- English

Home
Source Types
- Journal Paper
- Ebook
- Conference Paper
- Standard
- Protocol
- Thesis
Use Help

FUM Digital Library
Search

FUM Digital Library
Search

All Fields
Title
Author
Year
Publisher
Subject
Publication Title
ISSN
DOI
ISBN

Advanced Search

JavaScript is disabled for your browser. Some features of this site may not work without it.

Search

Show Advanced Filters Hide Advanced Filters

Filters

Use filters to refine the search results.

Now showing items 1-4 of 4

Relevance
Title Asc
Title Desc
Year Asc
Year Desc

5
10
20
40
60
80
100

CSV
RIS

Sort Options:
Relevance
Title Asc
Title Desc
Issue Date Asc
Issue Date Desc
Results Per Page:
5
10
20
40
60
80
100

Design considerations of outer-rotor permanent magnet synchronous machines for in-wheel electric drivetrain using particle swarm optimization

Type: Conference Paper

Author : Wu, D. , fei, w. , Luk, P.C.K. , Xia, B.

Publisher: IEEE

Year: 2014

A Fast and Accurate Orthorectification Algorithm of Aerial Imagery Using Integer Arithmetic

Type: Journal Paper

Author : French, Joseph C.; Balster, Eric J.

Publisher: IEEE

Year: 2014

Model Evolution-Based Theorem Proving

Type: Journal Paper

Author : Baumgartner, Philip

Publisher: IEEE

Year: 2014

Symbolic Crosschecking of Data-Parallel Floating-Point Code

Type: Journal Paper

Author : Collingbourne, Peter; Cadar, Cristian; Kelly, Paul H. J.

Publisher: IEEE

Year: 2014

Author

Balster, Eric J. (1)

Baumgartner, Philip (1)

Cadar, Cristian (1)

Collingbourne, Peter (1)

French, Joseph C. (1)

Kelly, Paul H. J. (1)

Wu, D. , fei, w. , Luk, P.C.K. , Xia, B. (1)

Publisher

IEEE (4)

Year

2014 (4)

Keywords

integer arithmetic (3)

floating-point operations (2)

128-bit integer processing (1)

64-bit integer processing (1)

aerial imaging applications (1)

Artificial intelligence (1)

automated reasoning method convergence (1)

automated theorem proving (1)

average pixel position error (1)

best-of-both-worlds motivation (1)

Type

Journal Paper (3)

Conference Paper (1)

Language (ISO)

English (4)

Content Type

Metadata Only (4)

Publication Title

Intelligent Systems, IEEE (1)

ower Electronics, Machines and Drives (PEMD 2014), 7th IET International Conference on (1)

Selected Topics in Applied Earth Observations and Remote Sensing, IEEE Journal of (1)

Software Engineering, IEEE Transactions on (1)

About Us

نرم افزار کتابخانه دیجیتال "دی اسپیس" فارسی شده توسط یابش برای کتابخانه های ایرانی | تماس با یابش

DSpace software copyright © 2019-2022 DuraSpace