דילוג לניווט ראשי
דילוג לחיפוש
דילוג לתוכן הראשי
אוניברסיטת אריאל בשומרון בית
עזרה ושאלות נפוצות
English
עברית
العربية
בית
פרופילים
יחידות מחקר
פרסומים מחקריים
פרסים
פעילויות
חיפוש לפי מומחיות, שם או שיוך
הצגת פרופיל Scopus
אדוארד הירש
פרופ'
פרופסור מן המניין
,
מדעי המחשב
https://orcid.org/0009-0003-2779-5536
1997 …
2024
פעילות מחקר לפי שנה
סקירה כללית
טביעת אצבע
רשת
פרסומים מחקריים
(54)
פרופילים דומים
(6)
טביעת אצבע
תחומי מחקר אלו נובעים מהפרסומים המדעיים של אדם זה. יחד הם יוצרים טביעת אצבע ייחודית.
מיון לפי
משקל
לפי סדר האלפבית
Keyphrases
Proof System
85%
Tautology
72%
Local Search
57%
Semialgebraic
57%
One-way Function
53%
SAT Algorithms
48%
Polynomial Time
47%
Exponential Lower Bounds
46%
Ksat
43%
Gate Elimination
40%
Circuit Complexity
40%
Boolean Formulas
40%
Average-case
34%
SAT-based
34%
Algebraic Proofs
34%
New Upper Bound
34%
Local Search Algorithm
31%
Satisfiability Problem
30%
Exponential Time Hypothesis
28%
Deterministic Algorithm
28%
Randomized Algorithms
28%
Ideal Proof System
28%
Adversary
28%
Proof Complexity
28%
Cutting Plane Proofs
26%
Algebraic Proof Systems
25%
Satisfiability Algorithms
23%
Function-based
23%
MaxSAT
23%
Structural Complexity
23%
Asymptotic Upper Bound
23%
Transformation Rules
23%
Computable
23%
Dichotomy Theorem
23%
Trapdoor Functions
23%
Propositional Satisfiability Problem
23%
Heuristic Algorithms
23%
Unit Clause
23%
Affine
23%
Natural numbers
23%
Value Principles
22%
Optimal Proof Systems
21%
Cryptography
21%
Covering Codes
20%
3-SAT
19%
Propositional Proof Systems
17%
Satisfiability Checking
17%
Conjunctive Normal Form
17%
Tree Structure
17%
Samplable Distributions
17%
Mathematics
Upper Bound
92%
Polynomial
72%
Polynomial Time
72%
Worst Case
61%
Running Time
59%
One-Way Function
55%
Probability Theory
38%
Tree-Like
34%
Exponential Time
26%
Heuristic Algorithm
26%
Constant Factor
23%
Transformation Rule
23%
Boolean Function
23%
Local Search
23%
Natural Number
23%
Conditionals
23%
Calculus
21%
Open Question
17%
Search Algorithm
15%
Order of a polynomial
11%
Affine Hyperplanes
11%
Positive Probability
11%
Constant Term
11%
Exponential Bound
11%
Covering Codes
11%
Random Assignment
11%
Hyperbolic Automorphism
11%
Integer Coefficient
11%
Square Root
11%
Irreducibles
11%
Asymptotics
9%
Lower and upper bounds
7%
Equation System
7%
Linear Equation
7%
Subset Sum
7%
Sum of Squares
7%
Factorials
7%
Rational Function
7%
Subproblem
5%
Sharp Contrast
5%
Computable Function
5%
Linear Time
5%
Nonuniform
5%
Characteristic Polynomial
5%
Unit Disk
5%
Automorphism
5%
Wide Class
5%
Computer Science
Proof System
100%
Satisfiability Problem
51%
Local Search Algorithm
40%
Boolean Formula
36%
Randomized Algorithm
34%
Polynomial Time
31%
Proof Complexity
26%
Circuit Complexity
23%
Unit Clause
23%
Constant Factor
23%
Conjunctive Normal Form
17%
Public-Key Cryptosystems
17%
Cryptographic Primitive
17%
Knapsack Problem
15%
Technical Effort
11%
Polynomial Hierarchy
11%
Case Study
11%
Randomized Local Search
11%
Initial Assignment
11%
Time Complexity
11%
Cryptography
11%
Complexity Measure
9%
Satisfying Assignment
7%
Optimal Algorithm
6%
Heuristic Algorithm
6%
El-Gamal
5%
System Dynamics
5%
Digital Signature Scheme
5%
Computational Modeling
5%
Boolean Circuit
5%
public key
5%
Computational Experiment
5%
Exact Algorithm
5%
Encryption Scheme
5%
Graph Coloring
5%
