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