تخطي إلى التنقل الرئيسي
تخطي إلى البحث
تخطي إلى المحتوى الرئيسي
الجامعة المفتوحة الصفحة الرئيسية
المساعدة والأسئلة الشائعة
English
עברית
العربية
الصفحة الرئيسية
الملفات الشخصية
الوحدات البحثية
نتاج البحث
الجوائز
أنشطة
البحث حسب الخبرة أو الاسم أو الانتماء
عرض الملف الشخصي الخاص بـ Scopus
דרור פריד
ד"ר
מרצה בכיר
,
מדעי המחשב
https://orcid.org/0000-0002-2108-1167
البريد الإلكتروني
dfried
openu.ac
il
2011
2024
نتاج الأبحاث سنويًا
معاينة
بصمة
الشبكة
نتاج البحث
(21)
ملفات شخصية مماثلة
(6)
بصمة
تأتي تسميات الموضوعات هذه من أعمال هذا الشخص. فهما يشكلان معًا بصمة فريدة.
فرز حسب
الوزن
أبجديًا
Computer Science
Computer Science
100%
Input/Output
75%
Synthesis Algorithm
75%
Boolean Circuit
62%
Polynomial Time
62%
Computational Problem
62%
Formalization
54%
Robot
50%
Temporal Logic
50%
Computational Thinking
50%
Hardware Design
50%
Software Construction
50%
Intuitive Idea
50%
Output Relation
50%
Fundamental Component
50%
Optimal Algorithm
50%
Computation Cost
50%
Case Study
37%
Conjunctive Normal Form
37%
Probabilistic Reasoning
37%
Artificial Intelligence
37%
Fundamental Problem
37%
Boolean Function
33%
Motion Planning
31%
Office Environment
31%
Dependent Variable
25%
Network Control
25%
Industrial Control System
25%
Hard Constraint
25%
Replanning
25%
Soft Constraint
25%
multi agent
25%
Application Area
25%
Conventional Wisdom
25%
Emerging Application
25%
Quantitative Approach
25%
binary decision diagram
25%
Experimental Result
25%
Timing Analysis
25%
Combinational Circuit
25%
Universal Hashing
25%
Graphical Model
25%
Neural Network
25%
Mapping Specification
25%
Intelligent Agent
25%
Multiple Agents
25%
Design Patterns
25%
Generalized Solution
25%
Open Source Tool
25%
Boolean Formula
16%
Keyphrases
Functional Synthesis
79%
Canadian Traveler Problem
75%
Boolean
72%
Synthesis Algorithm
64%
Partial Satisfaction
50%
Decomposition Problem
50%
Reactive Synthesis
50%
Input-output
50%
Computer Science
47%
Boolean Functions
47%
Model Counting
37%
Planners
33%
Model Complexity
25%
Automatic Configuration
25%
Temporal Logic Planning
25%
Industrial Control Network
25%
Uncertain Environment
25%
Wireless
25%
Temporal Planning
25%
Human Genes
25%
Connectome
25%
Allele Discovery
25%
Discrete-time Integration
25%
Solution Space
25%
Combinational Circuits
25%
Computational Properties
25%
SAT Solving
25%
AllSAT
25%
Adapter
25%
Constrained Sampling
25%
Adapter Pattern
25%
Universal Hashing
25%
Finite Traces
25%
Mapping Properties
25%
Intelligent Agents
25%
Algorithmic Properties
25%
Trace Properties
25%
Unweighting
25%
Behavior Traces
25%
Mimicking Behavior
25%
Dynamic Domains
25%
Binary Decision Diagram
25%
Computational Problems
24%
State-of-the-art Techniques
23%
Output Variable
22%
Sequential Decomposition
22%
Disjoint Paths
21%
Path Graph
21%
Boolean Formulas
18%
Boolean Circuits
18%
