Subjects: خبرها News / شبکه عصبی Neural Network / یادگیری ماشینی Machine Learning / متن کاوی Text Mining / بازار مالی Financial Market / پیش بینی قیمت طلا Gold Price Prediction

Call Number: ‭31-54299

حل مبتنی بر معناشناسی مساله ی پایبندی Semantics Based Compliance Solving

Author: بشارتی، محمد رضا Besharati, Mohammad Reza

Publisher: صنعتی شریف

Pub. Year: 1403

Subjects: بررسی پایبندی Compliance Checking / شهود گرایی Intuitionism / محک ورزی قانون محور Rule-Based Benchmarking / حل پایبندی Compliance Solving / منطق معانی Semantic Logic / ادغام معانی Semantic Compilation / معناشناسی رسمی Formal Semantics

Call Number: ‭19-58172

یک معناشناسی رسمی برای زبان توصیف واسط کوربا A Formal Semantics for CORBA Interface Definition Language

Author: سجادی، مرجان Sajjadi, Marjan

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

Pub. Year: 1392

Subjects: خودکارافزار بوخی Buchi Outomata / سیستم توزیع شده Distributed System / شبکه های پتری PETRI Networks / معناشناسی Semantics / استاندارد کوربا Common Object Request Broker Architecture (CORBA) Standard / زبان توصیف واسط Interface Definition Language (IDL) / مشخصات رفتاری Behavioral Specification

Call Number: ‭52-44344

یک معناشناسی صوری برای اتصالات احتمالاتی در زبان ریو بر اساس آتوماتای بوخی رکوردی A Formal Semantic for Probabilistic Reo Connectors Using Büchi Automata of Records

Author: عابدی، هاجر Abedi, Hajar

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

Pub. Year: 1392

Subjects: زبان مدل سازی ریو Reo Modeling Language / مدل هماهنگ سازی Coordination Model / خودکارافزار احتمالاتی بوخی رکوردی Probabilistic Buchi Automata / خودکارافزار بوخی Buchi Outomata / سیستم مبتنی بر اجزا Component Based System / هماهنگ کننده Coordinator

Call Number: ‭19-44857

منطقی برای هوشمندی محیطی A Logic For Ambient Intelligence

Author: ترکمن، مریم Torkaman, Maryam

Publisher: صنعتی شریف

Pub. Year: 1394

Subjects: توصیف صوری Formal Specification / مدل سازی Modeling / محیط هوشمند فراگیر Ambient Intelligence Environment / مدل سازی صوری Formal Modeling

Call Number: ‭19-47630

مسایل توافق تقریبی در سیستم های توزیع شده Approximate Agreement Problems in Distributed Systems

Author: حبیبی، کمال Habibi, Kamal

Publisher: صنعتی شریف

Pub. Year: 1392

Subjects: منطق فازی Fuzzy Logic / تحمل پذیری خطا Fault Tolerance / الگوریتم تقریبی Approximate Algorithm / سیستم توزیع شده Distributed System / توافق تقریبی Approximate Agreement / توافق اخلال گرانه Byzantine Agreement

Call Number: ‭52-45700

توافق بیزانتین در شبکه های متحرک موردی Byzantine Agreement on Mobile Ad-Hoc Networks

Author: طاهری، عرفان Taheri, Erfan

Publisher: صنعتی شریف

Pub. Year: 1392

Subjects: سیستم توزیع شده Distributed System / شبکه خودجوش سیار Mobile Ad Hoc Network / توافق اخلال گرانه Byzantine Agreement / اجماع اخلال گرانه Byzantine Consensus / اجماع تحمل پذیری خطا Fault-tolerant Consensus / توافق دقیق Accurate Agreement

Call Number: ‭52-45657

درستی یابی پروتکل های امنیتی مبتنی بر زمان Formal Verification of Timed Security Protocols

Author: گنجی، رضا Ganji, Reza

Publisher: صنعتی شریف

Pub. Year: 1394

Subjects: امنیت Security / خودکارافزار زمانی Timed Automata / قراردادهای امنیتی Security Protocols / سیستم های تعبیه شده مبتنی بر خودکارافزار Automata Based Embedded Systems / درستی یابی Verification / روش های صوری Formal Methods

Call Number: ‭52-48441

به کارگیری استدلال احتمالاتی در گزینش مشارکتی Probabilistic Reasoning in Collaborative Filtering

Author: آیتی، بهروز Ayati, Behrouz

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

Pub. Year: 1393

Subjects: مدل گرافیکی Graphic Model / شبکه بیزی Bayesian Network / سیستم توصیه گر Recommender System / فیلتر همکارانه Collaborative Filtering / استدلال احتمالاتی Probabilistic Reasoning

Call Number: ‭19-46514

وارسی مدل سیستم های هماهنگی بی درنگ Model Checking of Real-time Coordination Systems

Author: کاظمی، محمود Kazemi, Mahmoud

Publisher: صنعتی شریف

Pub. Year: 1392

Subjects: منطق زمانی Temporal Logic / وارسی الگو Model Cheking / سیستم بلادرنگ Real Time System / زبان مدل سازی ریو Reo Modeling Language / خودکارافزار بوخی زمان دار بر رشته های بی پایان از رکوردها Timed Buchi Automata of Records / ابزار وارسی الگوی اوپال UPPAAL Model Checking Tools

Call Number: ‭19-45868

الگوریتمی کارا برای پیدا کردن موتیف در شبکه Efficient Algorithm for Network Motifs Discovery

Author: حضرتی، ستار Hazrati, Sattar

Publisher: صنعتی شریف

Pub. Year: 1394

Subjects: شبکه Network / نقشینه Motif / کارایی الگوریتمی Algorithmic Efficiency / کشف موتیف Motif Discovery

Call Number: ‭19-47535

معناشناسی کاربرد محور Pragmatic Semantics

Author: سروی، علی Sarvi, Ali

Publisher: صنعتی شریف

Pub. Year: 1387

Subjects: معناشناسی Semantics / عمل گرایی Pragmatism / صدق رسانی Truth-Conductivity / زمینه Context

Call Number: ‭42-39189

ﺍﺻﻼگر ﭘﺮﺱ ﻭ ﺟﻮﻫﺎﯼ ﻓﺎﺭسی به ﻭﺳﯿﻠﻪ ﺷﺒکە ﻫﺎﯼ ﻳﺎﺩﮔﯿﺮﯼ ﻋﻤﯿﻖ (ﺑﺎ ﺗﺎﻛﯿﺪ ﺑﺮ ﭘﺮﺱ ﻭ ﺟﻮﻫﺎﯼ مکانی) Persian Query Corrector Based on Deep Learning Networks (with Emphasis on Spatial Queries)

Author: شهریوری، وحید Shahrivari, Vahid

Publisher: صنعتی شریف

Pub. Year: 1400

Subjects: پردازش زبان طبیعی Natural Language Processing / یادگیری عمیق Deep Learning / تصحیح املا Spell Correction / پیش پردازش پرس‌ و جو Query Preprocessing / اصلاح گر پرس‌ و جو Query Spell Correction

Call Number: ‭19-54192

مدیریت منابع و زمان بندی در زیرساخت های مبتنی بر لبه Resource Management and Scheduling in Edge-Based Infrastructures

Author: سیر، هاجر Siar, Hajar

Publisher: صنعتی شریف

Pub. Year: 1401

Subjects: هم ترازی منابع Resource Management / زمان بندی Scheduling / رایانش ابری Cloud Computing / نظریه بازی Game Theory / زیرساخت‌ های مبتنی بر لبه Edge-Based Infrastructures / اینترنت اشیا Internet of Things

Call Number: ‭19-56069

شناسایی بازگویی‌های زبان فارسی با استفاده از استخراج بازنمایی معنایی Persian Paraphrases Recognition Using Meaning Representation

Author: جوانمردی، کامیار Javanmardi, Kamyar

Publisher: صنعتی شریف

Pub. Year: 1396

Subjects: بازگویی Paraphrase / شناسایی بازگویی فارسی Persian Paraphrase Recognition / بازنمایی معنایی Meaning Representation / تحلیل معنایی Semantic Analysis / معناشناسی رویداد محور Event Semantic

Call Number: ‭31-50745

به کارگیری اتوماتای رکوردی به عنوان ‌معنا‌شناسی مدل هماهنگی بیپ Using Automata of Records as the Semantics of BIP Coordination Model

Author: میراحمدی، میترا Mirahmadi, Mitra

Publisher: صنعتی شریف

Pub. Year: 1396

Subjects: زبان مدل سازی ریو Reo Modeling Language / معناشناسی Semantics / خودکارافزار احتمالاتی بوخی رکوردی Probabilistic Buchi Automata / طراحی مولفه گرا Component Besed Design / زبان هماهنگی بیپ BIP Coordination Language

Call Number: ‭19-50967

بررسی پایبندی فرایند تکامل معماری نرم‌افزار به قوانین آن Checking the Compliance of Software Architecture Evolution with its Rules

Author: لیاقت، زینب Liaghat, Zainab

Publisher: صنعتی شریف

Pub. Year: 1395

Subjects: معماری نرم افزار Software Architecture / ارزیابی سبک های معماری Architecture Style Evaluation / زبان مدل سازی ریو Reo Modeling Language / وارسی الگو Model Cheking / بررسی پایبندی Compliance Checking

Call Number: ‭19-50895

مثلث‌بندی با تأخیر کمینه در صفحه Minimum Dilation Triangulation in the Plane

Author: ستاری، ستار Sattari, Sattar

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

Pub. Year: 1397

Subjects: هندسه محاسباتی Computational Geometry / مثلث بندی (کامپیوتر) Triangulation (Computer) / روش حد بالایی Upper Bound Method / تأخیر Delay / صفحه Plane / الگوریتم دقیق Exact Algorithm

Call Number: ‭19-51292

استخراج خودکار گراف دانش موجودیت‌های نامدار فارسی از منابع وب Automatic Extraction of Persian Named Entities’ Knowledge Graph from Web Sources

Author: اعظمی، حمید Azami, Hamid

Publisher: صنعتی شریف

Pub. Year: 1397

Subjects: گراف دانش Knowledge Graph / داده های ساختاریافته Structured Data / داده های نیمه ساختاریافته Semi-Structured Data / دسته بند لجستیکی Logistic Classifier

Call Number: ‭19-52416

Total 6635 records