کتابخانه مرکزی  
فرمول جستجو:
جستجو در تمام مداخل جستجو :
انواع مدارک:
پایان نامه لاتین
پايگاه هاي اطلاعاتي:
جستجو در بانک اصلي
 
موضوع:
data mining
educational video games
Cardiac MRI segmentation
Sometimes (perhaps this is even the modal case) at least one VC is not proved because it is not valid. It is clear that the ways we present errors and debug code must be rethought in a verified software paradigm. This area of research has received little attention to date, so we lay out criteria for how to approach debugging, along with potential methods of doing so.
Angular Similarity
Compilers. Multi-cores
matrix partitioning
trimodal
Spatio-Temporal
Current-mode control
High-performance I/O
Unit response
Android
DC motor controller
power amplifier
Sensor Networks
Loop Tiling
Data Collection
Fault tolerance
artificial societies
 
پدیدآور:
Bai, Xiaole
Welton, Sean P.
Kotecha, Ramchandra M.
Welchko, Brian A.
Sitaram,Asur
Agrawal, Artika.
Gershenson, Carlos
Nawab,Ali
Garre, Kalyan
Bernard Selvaraj, Anand Joseph
Agarwal, Abhijat
Bicer, Tekin
Syed Farooq,Ali
Zoya,Ali
Apaydin, Tan
Bruce, Bilyeu
Adcock, Bruce M.
Muthu Manikandan,Baskaran
Erdeniz Ozgun,Bas
Kandil, Nahi A.
 
ناشر:
 
پالایش جستجو جستجو جديد    
    
  1     2     3     4     5     6     7     8     9      
1  
پایان نامه لاتین
 
 
Artificial Societies of Intelligent Agents (electronic resource)
Gershenson, Carlos ؛  2001
منابع دیجیتال   افزودن به ليست    مشاهده کامل مدرک
 

2  
پایان نامه لاتین
 
 
Fabrication and Characterization of Novel Nanoscale Field Emission Arrays (electronic resource)
Garre, Kalyan ؛  University of Cincinnati 2008
منابع دیجیتال   افزودن به ليست    مشاهده کامل مدرک
 

3  
پایان نامه لاتین
 
 
Unit Response Modeling and Forecasting for a Large Electric Power System (electronic resource)
Kandil, Nahi A. ؛  Ohio University 1989
منابع دیجیتال   افزودن به ليست    مشاهده کامل مدرک
 

4  
پایان نامه لاتین
 
 
Analysis and Comparison of Popular Models for Current-Mode Control of Switch Mode Power Supplies (electronic resource)
Kotecha, Ramchandra M. ؛  Wright State University 2010
منابع دیجیتال   افزودن به ليست    مشاهده کامل مدرک
 

5  
پایان نامه لاتین
 
 
A High Power DC Motor Controller for an Electric Race Car Using Power Mosfets Welchko, Brian A. (electronic resource)
Welchko, Brian A. ؛  Electrical Engineering 1996
منابع دیجیتال   افزودن به ليست    مشاهده کامل مدرک
 

6  
پایان نامه لاتین
 
 
Load Modulation Through Varactor Tunable Matching Networks. (electronic resource)
Welton, Sean P. ؛  Electrical and Computer Engineering 2011
منابع دیجیتال   افزودن به ليست    مشاهده کامل مدرک
 

7  
پایان نامه لاتین
 
 
Working Towards the Verified Software Process. (electronic resource)
Adcock, Bruce M. ؛  Computer Science and Engineering 2010
منابع دیجیتال   افزودن به ليست    مشاهده کامل مدرک
 

8  
پایان نامه لاتین
 
 
A New Approach to Spatio-Temporal Kriging and Its Applications. (electronic resource)
Agarwal, Abhijat ؛  Computer Science and Engineering 2011
منابع دیجیتال   افزودن به ليست    مشاهده کامل مدرک
 

9  
پایان نامه لاتین
 
 
Intelligent Techniques for Data- Information- Knowledge Evolution. (electronic resource)
Agrawal, Artika. ؛  Computer Science and Engineering 2011
منابع دیجیتال   افزودن به ليست    مشاهده کامل مدرک
 

10  
پایان نامه لاتین
 
 
Rethinking I/O in High-Performance Computing Environments. (electronic resource)
Nawab,Ali ؛  Computer Science and Engineering 2009
منابع دیجیتال   افزودن به ليست    مشاهده کامل مدرک
 

11  
پایان نامه لاتین
 
 
Comparative Studies of Contouring Algorithms for Cardiac Image Segmentation. (electronic resource)
Syed Farooq,Ali ؛  Computer Science and Engineering 2011
منابع دیجیتال   افزودن به ليست    مشاهده کامل مدرک
 

12  
پایان نامه لاتین
 
 
Designing Object Oriented Software Applications within the Context of Software Frameworks (electronic resource)
Zoya,Ali ؛  Computer Science and Engineering 2011
افزودن به ليست    مشاهده کامل مدرک
 

13  
پایان نامه لاتین
 
 
A Framework for the Static and Dynamic Analysis of Interaction Graphs (electronic resource)
Sitaram,Asur ؛  Computer Science and Engineering 2009
منابع دیجیتال   افزودن به ليست    مشاهده کامل مدرک
 

14  
پایان نامه لاتین
 
 
Load-Balancing Spatially Located Computations using Rectangular Partitions (electronic resource)
Erdeniz Ozgun,Bas ؛  Computer Science and Engineering 2011
منابع دیجیتال   افزودن به ليست    مشاهده کامل مدرک
 

15  
پایان نامه لاتین
 
 
Query Support for Multi-Dimensional and Dynamic Databases (electronic resource)
Apaydin, Tan ؛  Computer Science and Engineering 2008
منابع دیجیتال   افزودن به ليست    مشاهده کامل مدرک
 

16  
پایان نامه لاتین
 
 
Optimal Connected Coverage for Wireless Sensor Networks (electronic resource)
Bai, Xiaole ؛  Computer Science and Engineering 2009
منابع دیجیتال   افزودن به ليست    مشاهده کامل مدرک
 

17  
پایان نامه لاتین
 
 
Compile-time and Run-time Optimizations for Enhancing Locality and Parallelism on Multi-core and Many-core Systems(electronic resource)
Muthu Manikandan,Baskaran ؛  Computer Science and Engineering 2009
منابع دیجیتال   افزودن به ليست    مشاهده کامل مدرک
 

18  
پایان نامه لاتین
 
 
Effects of Loop Tiling using Primetile and Dyntile (electronic resource)
Bernard Selvaraj, Anand Joseph ؛  Computer Science and Engineering 2010
منابع دیجیتال   افزودن به ليست    مشاهده کامل مدرک
 

19  
پایان نامه لاتین
 
 
Supporting Fault Tolerance and Dynamic Load Balancing in FREERIDE-G (electronic resource)
Bicer, Tekin ؛  Computer Science and Engineering 2010
منابع دیجیتال   افزودن به ليست    مشاهده کامل مدرک
 

20  
پایان نامه لاتین
 
 
Design, Development, and Evaluation of Learning Games and an Interactive Science Lab in a 3-D Online Virtual World to Support Middle School Science Education(electronic resource)
Bruce, Bilyeu ؛  Computer Science Engineering and Technology 2010
منابع دیجیتال   افزودن به ليست    مشاهده کامل مدرک
 

  1     2     3     4     5     6     7     8     9