Sharif Digital Repository

تبدیل توصیف های Z به کد قابل اجرا بر پایه مولفه Component Based Translation of Z Specifications to Executable Code

Author

خلفی نژاد، سعید Khalafinejad, Saeed

Publisher

صنعتی شریف

Pub. Year

1389

Subjects

روش های صوری Formal Methods / پایگاه داده Database / پالایش Refining / نشانه گذاری زد Z-Notation / رابط کاربر User Interface / تولید برنامه Code Generation / زبان توصیف زد Z Specification Language

Call Number

‭52-40623

بهینه سازی پردازش پرس و جوهای XML XML Query Processing Optimization

Author

صدری، مهدی Sadri, Mehdi

Publisher

صنعتی شریف

Pub. Year

1390

Subjects

پرس و جوهای زبان علامت گذاری قابل گسترش Extensible Markup Language (XML)Queries / زبان علامت گذاری قابل گسترش Extensible Markup Language (XML) / پایگاه داده Database / جویبار داده Data Stream / پردازش پرس و جو Query Processing

Call Number

‭19-41983

ارائه ی روشی برای تضمین درستی پاسخ پرس و جوها در پایگاه های داده ی برون سپاری شده Query Correctness Assurance for Outsourced Databases

Author

نوفرستی، مرتضی Noferesti, Morteza

Publisher

صنعتی شریف

Pub. Year

1390

Subjects

برون سپاری Outsourcing / امضای دیجیتالی Digital Signature / پایگاه داده Database / درستی Correctness / تازگی Freshness / برچسب زمانی Time Stamps / درخت چکیده ساز مرکل Merkel Hash Tree (MHT)

Call Number

‭19-42139

روشی مبتنی بر میزان اعتماد به کارپذیر برای درستی یابی پاسخ پرس و جوها در سناریوی برون سپاری داده A Trust-based Approach for Correctness Verification of Query Results in Data Outsourcing Scenario

Author

قاسمی، سیمین Ghasemi, Simin

Publisher

صنعتی شریف

Pub. Year

1391

Subjects

درستی Correctness / اعتماد Trust / امضای دیجیتالی Digital Signature / برون سپاری Outsourcing / پایگاه داده Database / تاپل های جعلی Fake Tuples / روش بلوم فیلتر Bloom Filter Method

Call Number

‭19-43713

جستجو و تعیین موقعیت مشارکتیِ اهداف زمینی متحرک از نوع راداری، به وسیله یک گروه از پهپادها Cooperative Search and Localization of Mobile RF Ground Targets, Using a Group of UAVs

Author

عفتی، میثم Effati, Meysam

Publisher

صنعتی شریف

Pub. Year

1393

Subjects

پایگاه داده Database / فیلتر کالمن بوکی Kalman Bucy Filter / سامانه های بدون سرنشین Unmanned Aerial Vehicles (UAV) / جستجو و موقعیت یابی مشارکتی Cooperative Search and Localization / هدف های راداری Radar Targets / تشخیص هدف های راداری Radar Target Recognition / اهداف زمین متحرک Mobile Ground Targets

Call Number

‭45-46798

یک معماری حافظ محرمانگی و صحت برای برون‌سپاری امن داده A Confidentiality and Integrity Preserving Architecture for Secure Data Outsourcing

Author

شاهرخی، حسام الدین Shahrokhi, Hesamoddin

Publisher

صنعتی شریف

Pub. Year

1394

Subjects

صحت داده ها Data Integrity / بانک اطلاعاتی Database / رمزنگاری Cryptography / داده های برون سپاری شده Data Outsourcing

Call Number

‭19-47730

بهبود خصوصیات کیفی نرم‌افزار بر پایه ویژگی‌های مدل‌های داده رابطه‌ای و غیررابطه‌ای Improvement of Software Quality Attributes based on the Properties of Relational and Non-relational data Models

Author

مقیمی، حامد Moghimi, Hamed

Publisher

صنعتی شریف

Pub. Year

1395

Subjects

معماری نرم افزار Software Architecture / کارایی Efficiency / پایگاه داده Database / مدل داده ای رابطه ای Relational Data Model / مدل داده سند محور Document-Based Data Model

Call Number

‭19-48729

تجزیه و تحلیل هستی شناسی شبکه های متابولیکی جهت تهیه بستر نرم افزاری شناسایی شبکه های متابولیکی Ontological Study of Metabolic Networks to Develop an Identification Software for Metabolic Networks

Author

محمدی پیهانی، هما Mohammadi Peyhani, Homa

Publisher

صنعتی شریف

Pub. Year

1395

Subjects

بانک اطلاعاتی Database / هستی شناسی Ontology / سیستم های زیستی Biological Systems / زیست شناسی Biology / بستر نرم افزاری شیءگرا Object-Oriented Software Framework / شبکه های متابولیکی Metabolic Networks

Call Number

‭06-48872

آشکارسازی بصری خودرو در جاده‌های بین شهری برای کاربردهای سیستم‌های حمل و نقل هوشمند Vision-based Vehicle Detection in Intercity Roads for Intelligent Transportation Systems Applications

Author

رستمی آبندانسری، پیمان Rostami, Peyman

Publisher

صنعتی شریف

Pub. Year

1397

Subjects

بینایی ماشین Machine Vision / یادگیری ماشینی Machine Learning / پایگاه داده Database / تشخیص خودرو Vehicle Detection / سیستم حمل و نقل هوشمند Intelligent Transportation System (ITS) / آشکارسازی شی ویولا - جونز Viola-Jones Object Detection

Call Number

‭05-51742

پایگاه داده معنایی افعال مرکب فارسی با جزء فعلی "شدن" Persian Compound Verb Database with the Verbal Element: “Shodan”

Author

هاشم نژاد، زینب Hashemnejad, Zeinab

Publisher

دانشگاه صنعتی شریف

Pub. Year

1398

Subjects

افعال مرکب Phrasal Verbs / پایگاه داده Database / فعل های زبان فارسی Persian Verbs / تحلیل نحوی Syntax Analysis / تحلیل معنایی Semantic Analysis / فعل سبک Light Verb

Call Number

‭31-53515

حریم خصوصی تفاضلی محلی شخصی‌ شده در پایگاه‌ داده‌های آماری Local Personalized Differential Privacy in Statistical Databases

Author

گل گل نیا، میلاد Golgolnia, Milad

Publisher

صنعتی شریف

Pub. Year

1402

Subjects

شخصی سازی Personalization / حریم خصوصی تفاضلی تقریبی Approximate Differential Privacy / حریم خصوصی تفاضلی محض Pure Differential Privacy / حریم خصوصی تفاضلی محلی Local Differential Privacy / حریم خصوصی تفاضلی مرکزی Central Differential Privacy / پایگاه داده Database / تحلیل داده ها Data Analysis

Call Number

‭19-56920

تحلیل الگوریتم های کور جهت ارزیابی کیفیت تصویر و ویدیو Analysis of Blind Algorithms for Image and Video Quality Assessment

Author

اطرشی شهرضا، هاتف Otroshi Shahreza, Hatef

Publisher

صنعتی شریف

Pub. Year

1397

Subjects

ارزیابی کیفیت Quality Evaluation / کیفیت تصویر Image Quality / کیفیت ویدیو Video Quality / یادگیری عمیق Deep Learning / یادگیری ماشینی Machine Learning / پایگاه داده Database / الگوریتم بدون مرجع No-Reference (Blind)Algorithm

Call Number

‭05-51754