דילוג לניווט ראשי
דילוג לחיפוש
דילוג לתוכן הראשי
האוניברסיטה הפתוחה בית
עזרה ושאלות נפוצות
English
עברית
العربية
בית
פרופילים
יחידות מחקר
פרסומים מחקריים
פרסים
פעילויות
חיפוש לפי מומחיות, שם או שיוך
הצגת פרופיל Scopus
דרור פריד
ד"ר
Senior_Lecturer
,
מדעי המחשב
https://orcid.org/0000-0002-2108-1167
דוא"ל
dfried
openu.ac
il
2011
2024
פעילות מחקר לפי שנה
סקירה כללית
טביעת אצבע
רשת
פרסומים מחקריים
(21)
טביעת אצבע
תחומי מחקר אלו נובעים מהפרסומים המדעיים של אדם זה. יחד הם יוצרים טביעת אצבע ייחודית.
מיון לפי
משקל
לפי סדר האלפבית
Computer Science
Computer Science
100%
Input/Output
75%
Synthesis Algorithm
75%
Boolean Circuit
62%
Computational Problem
62%
Formalization
54%
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%
Combinational Circuit
50%
Polynomial Time
37%
Case Study
37%
Conjunctive Normal Form
37%
Fundamental Problem
37%
Artificial Intelligence
37%
Motion Planning
37%
Office Environment
37%
Boolean Function
33%
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%
Experimental Result
25%
Timing Analysis
25%
Universal Hashing
25%
Neural Network
25%
Mapping Specification
25%
Intelligent Agent
25%
Multiple Agents
25%
Generalized Solution
25%
Open Source Tool
25%
Probabilistic Graphical Model
25%
binary decision diagram
25%
Design Pattern
25%
Linear Temporal Logic
18%
Boolean Formula
16%
Synthesis Technique
16%
Keyphrases
Boolean
81%
Functional Synthesis
79%
Canadian Traveler Problem
75%
Synthesis Algorithm
64%
Partial Satisfaction
50%
Decomposition Problem
50%
Reactive Synthesis
50%
Input-output
50%
AllSAT
50%
Computer Science
47%
Boolean Functions
47%
Model Counting
37%
Planners
33%
Combinational Circuits
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%
Computational Properties
25%
SAT Solving
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%
CT Algorithm
18%
