Loading...
Search for:
izadi--mohammad-reza
0.132 seconds
List View
Gallery View
| # | Type | Title | Author | Publisher | Pub. Year | Subjects | Call Number |
|---|---|---|---|---|---|---|---|
| 1 | پایان نامه |
مدل سازی اتساع استنت قلبی به منظور انتخاب استنت بهینه
Expansion Modeling of Coronary Stent for Selection of Optimized Stent |
ایزدی رامینی، الهه Izadi Ramini, Elaheh | صنعتی شریف | 1387 | بیماری های قلب Heart Diseases / اتساع Dilatancy / استنت Stent / بالن Balloon |
08-39157
|
| 2 | پایان نامه | متنکاویِ خبر برای پیشبینیِ قیمتِ طلا News Text Mining for Gold Price Prediction | فرزام، محمد سینا Farzam, Mohammad Sina | صنعتی شریف | 1399 | خبرها News / شبکه عصبی Neural Network / یادگیری ماشینی Machine Learning / متن کاوی Text Mining / بازار مالی Financial Market / پیش بینی قیمت طلا Gold Price Prediction |
31-54299
|
| 3 | پایان نامه | حل مبتنی بر معناشناسی مساله ی پایبندی Semantics Based Compliance Solving | بشارتی، محمد رضا Besharati, Mohammad Reza | صنعتی شریف | 1403 | بررسی پایبندی Compliance Checking / شهود گرایی Intuitionism / محک ورزی قانون محور Rule-Based Benchmarking / حل پایبندی Compliance Solving / منطق معانی Semantic Logic / ادغام معانی Semantic Compilation / معناشناسی رسمی Formal Semantics |
19-58172
|
| 4 | پایان نامه | یک معناشناسی رسمی برای زبان توصیف واسط کوربا A Formal Semantics for CORBA Interface Definition Language | سجادی، مرجان Sajjadi, Marjan | دانشگاه صنعتی شریف | 1392 | خودکارافزار بوخی Buchi Outomata / سیستم توزیع شده Distributed System / شبکه های پتری PETRI Networks / معناشناسی Semantics / استاندارد کوربا Common Object Request Broker Architecture (CORBA) Standard / زبان توصیف واسط Interface Definition Language (IDL) / مشخصات رفتاری Behavioral Specification |
52-44344
|
| 5 | پایان نامه | یک معناشناسی صوری برای اتصالات احتمالاتی در زبان ریو بر اساس آتوماتای بوخی رکوردی A Formal Semantic for Probabilistic Reo Connectors Using Büchi Automata of Records | عابدی، هاجر Abedi, Hajar | دانشگاه صنعتی شریف | 1392 | زبان مدل سازی ریو Reo Modeling Language / مدل هماهنگ سازی Coordination Model / خودکارافزار احتمالاتی بوخی رکوردی Probabilistic Buchi Automata / خودکارافزار بوخی Buchi Outomata / سیستم مبتنی بر اجزا Component Based System / هماهنگ کننده Coordinator |
19-44857
|
| 6 | پایان نامه | منطقی برای هوشمندی محیطی A Logic For Ambient Intelligence | ترکمن، مریم Torkaman, Maryam | صنعتی شریف | 1394 | توصیف صوری Formal Specification / مدل سازی Modeling / محیط هوشمند فراگیر Ambient Intelligence Environment / مدل سازی صوری Formal Modeling |
19-47630
|
| 7 | پایان نامه | مسایل توافق تقریبی در سیستم های توزیع شده Approximate Agreement Problems in Distributed Systems | حبیبی، کمال Habibi, Kamal | صنعتی شریف | 1392 | منطق فازی Fuzzy Logic / تحمل پذیری خطا Fault Tolerance / الگوریتم تقریبی Approximate Algorithm / سیستم توزیع شده Distributed System / توافق تقریبی Approximate Agreement / توافق اخلال گرانه Byzantine Agreement |
52-45700
|
| 8 | پایان نامه | توافق بیزانتین در شبکه های متحرک موردی Byzantine Agreement on Mobile Ad-Hoc Networks | طاهری، عرفان Taheri, Erfan | صنعتی شریف | 1392 | سیستم توزیع شده Distributed System / شبکه خودجوش سیار Mobile Ad Hoc Network / توافق اخلال گرانه Byzantine Agreement / اجماع اخلال گرانه Byzantine Consensus / اجماع تحمل پذیری خطا Fault-tolerant Consensus / توافق دقیق Accurate Agreement |
52-45657
|
| 9 | پایان نامه | درستی یابی پروتکل های امنیتی مبتنی بر زمان Formal Verification of Timed Security Protocols | گنجی، رضا Ganji, Reza | صنعتی شریف | 1394 | امنیت Security / خودکارافزار زمانی Timed Automata / قراردادهای امنیتی Security Protocols / سیستم های تعبیه شده مبتنی بر خودکارافزار Automata Based Embedded Systems / درستی یابی Verification / روش های صوری Formal Methods |
52-48441
|
| 10 | پایان نامه | به کارگیری استدلال احتمالاتی در گزینش مشارکتی Probabilistic Reasoning in Collaborative Filtering | آیتی، بهروز Ayati, Behrouz | دانشگاه صنعتی شریف | 1393 | مدل گرافیکی Graphic Model / شبکه بیزی Bayesian Network / سیستم توصیه گر Recommender System / فیلتر همکارانه Collaborative Filtering / استدلال احتمالاتی Probabilistic Reasoning |
19-46514
|
| 11 | پایان نامه | وارسی مدل سیستم های هماهنگی بی درنگ Model Checking of Real-time Coordination Systems | کاظمی، محمود Kazemi, Mahmoud | صنعتی شریف | 1392 | منطق زمانی Temporal Logic / وارسی الگو Model Cheking / سیستم بلادرنگ Real Time System / زبان مدل سازی ریو Reo Modeling Language / خودکارافزار بوخی زمان دار بر رشته های بی پایان از رکوردها Timed Buchi Automata of Records / ابزار وارسی الگوی اوپال UPPAAL Model Checking Tools |
19-45868
|
| 12 | پایان نامه | الگوریتمی کارا برای پیدا کردن موتیف در شبکه Efficient Algorithm for Network Motifs Discovery | حضرتی، ستار Hazrati, Sattar | صنعتی شریف | 1394 | شبکه Network / نقشینه Motif / کارایی الگوریتمی Algorithmic Efficiency / کشف موتیف Motif Discovery |
19-47535
|
| 13 | پایان نامه | معناشناسی کاربرد محور Pragmatic Semantics | سروی، علی Sarvi, Ali | صنعتی شریف | 1387 | معناشناسی Semantics / عمل گرایی Pragmatism / صدق رسانی Truth-Conductivity / زمینه Context |
42-39189
|
| 14 | پایان نامه | ﺍﺻﻼگر ﭘﺮﺱ ﻭ ﺟﻮﻫﺎﯼ ﻓﺎﺭسی به ﻭﺳﯿﻠﻪ ﺷﺒکە ﻫﺎﯼ ﻳﺎﺩﮔﯿﺮﯼ ﻋﻤﯿﻖ (ﺑﺎ ﺗﺎﻛﯿﺪ ﺑﺮ ﭘﺮﺱ ﻭ ﺟﻮﻫﺎﯼ مکانی) Persian Query Corrector Based on Deep Learning Networks (with Emphasis on Spatial Queries) | شهریوری، وحید Shahrivari, Vahid | صنعتی شریف | 1400 | پردازش زبان طبیعی Natural Language Processing / یادگیری عمیق Deep Learning / تصحیح املا Spell Correction / پیش پردازش پرس و جو Query Preprocessing / اصلاح گر پرس و جو Query Spell Correction |
19-54192
|
| 15 | پایان نامه |
مدیریت منابع و زمان بندی در زیرساخت های مبتنی بر لبه
Resource Management and Scheduling in Edge-Based Infrastructures |
سیر، هاجر Siar, Hajar | صنعتی شریف | 1401 | هم ترازی منابع Resource Management / زمان بندی Scheduling / رایانش ابری Cloud Computing / نظریه بازی Game Theory / زیرساخت های مبتنی بر لبه Edge-Based Infrastructures / اینترنت اشیا Internet of Things |
19-56069
|
| 16 | پایان نامه | شناسایی بازگوییهای زبان فارسی با استفاده از استخراج بازنمایی معنایی Persian Paraphrases Recognition Using Meaning Representation | جوانمردی، کامیار Javanmardi, Kamyar | صنعتی شریف | 1396 | بازگویی Paraphrase / شناسایی بازگویی فارسی Persian Paraphrase Recognition / بازنمایی معنایی Meaning Representation / تحلیل معنایی Semantic Analysis / معناشناسی رویداد محور Event Semantic |
31-50745
|
| 17 | پایان نامه | به کارگیری اتوماتای رکوردی به عنوان معناشناسی مدل هماهنگی بیپ Using Automata of Records as the Semantics of BIP Coordination Model | میراحمدی، میترا Mirahmadi, Mitra | صنعتی شریف | 1396 | زبان مدل سازی ریو Reo Modeling Language / معناشناسی Semantics / خودکارافزار احتمالاتی بوخی رکوردی Probabilistic Buchi Automata / طراحی مولفه گرا Component Besed Design / زبان هماهنگی بیپ BIP Coordination Language |
19-50967
|
| 18 | پایان نامه | بررسی پایبندی فرایند تکامل معماری نرمافزار به قوانین آن Checking the Compliance of Software Architecture Evolution with its Rules | لیاقت، زینب Liaghat, Zainab | صنعتی شریف | 1395 | معماری نرم افزار Software Architecture / ارزیابی سبک های معماری Architecture Style Evaluation / زبان مدل سازی ریو Reo Modeling Language / وارسی الگو Model Cheking / بررسی پایبندی Compliance Checking |
19-50895
|
| 19 | پایان نامه | مثلثبندی با تأخیر کمینه در صفحه Minimum Dilation Triangulation in the Plane | ستاری، ستار Sattari, Sattar | دانشگاه صنعتی شریف | 1397 | هندسه محاسباتی Computational Geometry / مثلث بندی (کامپیوتر) Triangulation (Computer) / روش حد بالایی Upper Bound Method / تأخیر Delay / صفحه Plane / الگوریتم دقیق Exact Algorithm |
19-51292
|
| 20 | پایان نامه | استخراج خودکار گراف دانش موجودیتهای نامدار فارسی از منابع وب Automatic Extraction of Persian Named Entities’ Knowledge Graph from Web Sources | اعظمی، حمید Azami, Hamid | صنعتی شریف | 1397 | گراف دانش Knowledge Graph / داده های ساختاریافته Structured Data / داده های نیمه ساختاریافته Semi-Structured Data / دسته بند لجستیکی Logistic Classifier |
19-52416
|