הטכניון מכון טכנולוגי לישראלהטכניון מכון טכנולוגי לישראל - בית הספר ללימודי מוסמכים
   דף הבית   |   דבר הדיקן   |   הרשמה   |   טפסים   |   תיזות ומחקרים   |   מועדים חשובים   |   תכניות הלימודים   |   מידע אישי   |   מידע כללי 
  מתעניינים בלימודים
  חדשים
  לומדים
  מלגות, מעונות
  השתלמויות,לימודים וכנסים בחו"ל
  מסיימים
  International Students
  בוגרים
  בתר דוקטורנטים [פוסט-דוקטורנטים]
  מידע למנחה

הודעות

בית הספר לתארים מתקדמים מברך את 849 מקבלי תואר מגיסטר במחזור 2017. טקס הענקת התעודות יתקיים ב-5.6.2017 - באמפי ע"ש קלנר בשעה 18:30. הכניסה לבעלי הזמנות.

 

בית הספר לתארים מתקדמים מברך את 243 מקבלי תואר דוקטור (PhD) במחזור 2017. טקס הענקת התעודות יתקיים ב-29.5.2017 - באמפי ע"ש קלנר בשעה 18:30. הכניסה לבעלי הזמנות.

 

מפגש מתעניינים בתכנית  Start up MBA, בפק' לה. תעשיה וניהול, בניין בלומפילד, חדר 527 - 20.6.17

 

ברכות לזוכי פרס וולף לשנת תשע"ז

 

יום פתוח לתארים מתקדמים בהנדסת תעשיה וניהול - 27.03.17


יום פתוח לתארים מתקדמים בהנדסת מכונות 29.03.17

 

יום פתוח לתארים מתקדמים וכנס חוקרים בפקולטה לארכיטקטורה ובינוי ערים - 06.04.17

 

יום פתוח לתארים מתקדמים במתמטיקה - 20.04.17

 

יום פתוח לתארים מתקדמים במדעי המחשב ובהנדסת חשמל - 26.4.17

 





 


M.Sc Theses

Department:Computer Science
Department Web Site: www.cs.technion.ac.il


No. Student's Name Advisors Graduation
Year
Abstracts
Theses Abstract Title
0 Tomer Levy 2017 Abstracts Theses Fajita - a Fluent API for Automatic Generation of Fluent APIs in Java
1 Rina Levy 2017

Fast Distributed Approximation for Max-Cut
2 Gal Cohen 2017 Abstracts Theses On routing schemes that are robust to changes in bandwidth demand
3 Gal Maor 2017 Abstracts Theses Information Theory and Privacy Related Questions in Communication Comlexity
4 Ran Koretzki 2017 Abstracts
Improving SSD-based Caches Lifetime with Write-Once Memory Codes
5 Itay Hazan 2017 Abstracts Theses Two-Party Direct-Sum Questions through the Lens of Multiparty Communication Complexity
6 Evgenya Pergament 2017 Abstracts Theses Algebraic RAM
7 Michael Balber 2017

Constraint-Based Isotope Tracing (CBIT): Inferring Flux Constraints from Isotopic Tracing Data
8 Areej Costa 2017 Abstracts Theses Exact Learning of Juntas from Membership Queries
9 Naama Haramaty Krasne 2017 Abstracts Theses Low-Complexity Cryptographic Hash Functions
10 Ran Bernstein 2017 Abstracts Theses Laban Movement Analysis and LDA Distributed Monitoring
11 Lior Friedman 2017 Abstracts Theses Recursive Feature Generation for Knowledge-Based Induction
12 Rotem Liss 2017 Abstracts Theses Entanglement and Geometrical Distances in Quantum Information and Quantum Cryptography
13 Matan Liram 2017 Abstracts Theses Evaluating Zigzag Code in a Distributed Storage System
14 Gal Sheffi 2017 Abstracts Theses A Scalable Linearizable Multi-Index Table
15 Roni Licher 2017 Abstracts Theses Hardening Cassandra Against Byzantine Failures
16 Tal Regev 2017 Abstracts Theses Multi- Robot Decentralized Belief Space Planning in Unknown Environments
17 Eyal Moscovici 2017 Abstracts Theses Towards Sidecore Management for Virtualized Environments
18 Avi Kaplan 2017 Abstracts Theses Interpreting the Ratio Criterion for Matching SIFT Descriptors
19 Yanir Damti 2017 Abstracts
Adaptive Methods for Computing and Comparing Evolutionary Distances
20 Matan Hamilis 2017 Abstracts Theses Parallel Additive Fast Fourier Transform Algorithms
21 Yi Ren 2017 Abstracts Theses Example-Based Image Synthesis via Randomized Patch-Matching
22 Elad Richardson 2017 Abstracts Theses Learning to Reconstruct Face Geometries
23 Yoni Choukroun 2017 Abstracts Theses On Elliptic Operators and Non-Rigid Shapes
24 Tehila Mayzels 2017 Abstracts Theses Software Management of Hardware Memory Versioning
25 Omer Geiger 2016 Abstracts Theses Algorithmic Exam Generation
26 Shir Yadid 2016 Abstracts Theses Extracting Code from Programming Tutorial Videos
27 Anat Berkman 2016 Abstracts Theses Scenario based programming for Mobile Applications
28 Avi Stiefel 2016 Abstracts Theses Motion Planning in the Presence of Mobile Obstacles
29 Jalil Moraney 2016 Abstracts Theses Efficient Detection of Flow Anomalies with Limited Monitoring Resources
30 Iddo Zmiry 2016 Abstracts Theses Lola - A Programming Language for Augmenting Programming Languages
31 Erez Timnat 2016 Abstracts Theses The List Update Problem
32 Alexandre Djerbetian 2016 Abstracts Theses Tangent Vector Fields on Triangulated Surfaces - An Edge-Based Approach
33 Arie Rond 2016 Abstracts Theses Handling poisson Inverse Problems by the Plug-and-Play Priors Scheme
34 Evgeny Abramovich 2016 Abstracts Theses Static Mining of Common Concurrency Patterns
35 Jonathan Andre Wagner 2016 Abstracts Theses Multiplicative Approximation Algorithms for Generalized Covering and Packing Problems
36 Nitsan Chrizman Cherkassky 2016 Abstracts Theses How to Construct Multilingual Domain Ontologies
37 Noam Segev 2016 Abstracts Theses Transfer Learning using Decision Forests
38 Yael Mordechai 2016 Abstracts Theses Optimization and Reoptimization in Scheduling Problems
39 Aviv Segall 2016 Abstracts
2D Simulation and Mapping using the Cauchy-Green Complex Barycentric Coordinates
40 Irena Grabovitch-Zuyev 2016 Abstracts Theses Entity search in Facebook
41 Karam Abdelkader 2016 Abstracts Theses Automated Circular Assume-Guarantee Reasoning
42 Nir Hershko 2016 Abstracts
3D Augmentations of 2D Maps
43 Ilya Lesokhin 2016 Abstracts Theses I/O Page Faults
44 Ella Bolshinsky 2015 Abstracts Theses Towards an Autonomous Sailing Trainer
45 Nadia Labai 2015 Abstracts Theses Definability and Hankel Matrices
46 Tariq Toukan 2015 Abstracts Theses Fault-Tolerant Information Spreading Algorithms
47 Yossi Kuperman 2015 Abstracts Theses vRio: Efficient Paravirtual Remote I/O
48 Eric Yudin 2015 Abstracts Theses Improving Facial Expression Analysis via Intrinsic Normalization of Surfaces
49 Liat Peterfreund 2015 Abstracts
Closure under Reversal of Languages over Infinite Alphabets: A Case Study
50 Meital Zilberstein 2015 Abstracts Theses Code Similarity via Natural Language Descriptions
51 Eli Sennesh 2015 Abstracts Theses Unstructured Jumps and Compressed Size as Defect-Prediction Metrics
52 Raziel Has Green 2015 Abstracts Theses When a Router Tells Different Stories to Different Neighbors: A New Partition Attack on Link-State Routing Protocols
53 Rami Jioussy 2015 Abstracts Theses Enhancing Energy-Performance for Power Constrained SoC Systems
54 Gil Briskin 2015 Abstracts Theses Estimating Pose and Motion Using Bundle Adjustment and Digital Elevation Model Consraints
55 Noa Elad 2015 Abstracts Theses Online Semidefinite Programming
56 Ido Gonen 2015 Abstracts Theses Defending against Eclipse Attacks in Unstructured Overlays
57 Ran Ben Basat 2015 Abstracts Theses Parameterized Automata Constructions and Their Applications
58 Eldar Aharoni 2015 Abstracts Theses Direct Sum Related Problems in Communication Complexity
59 Omer Peleg 2015 Abstracts
Utilizing the IOMMU Scalably
60 Moshe Malka 2015 Abstracts Theses Rethinking the I/O Memory Management Unit (IOMMU)
61 Alexander Nus 2015 Abstracts Theses Migration Plans with Minimum Overall Migration Time
62 Gregory Borodin 2015 Abstracts
Efficient Query Recommendation
63 Eitan Rosenfeld 2015 Abstracts Theses RAIDP: Replication with Intra-Disk Parity
64 Shmuel Ben-Yehuda 2015 Abstracts
The nom Profit-Maximizing Operating System
65 Denis Rybnikov 2014 Abstracts Theses A Semi-Automatic System for Non-Rigid Matching and Temporally Coherent 3D Shading of Animation Sequences
66 Rouven Strauss 2014 Abstracts Theses Geometric Multi-Covering
67 Ben Lee Volk 2014 Abstracts Theses On the Structure of Boolean Functions with Small Spectral Norm
68 David Wajc 2014 Abstracts Theses Parameterizing P: Proximity to Easy Variants
69 Nitzan Shapira 2014 Abstracts Theses Cross-Collection Map Inference by Intrinsic Alignment Shape Spaces
70 Maor Grinberg 2014 Abstracts Theses Comprehensive Free Handed 3D User Interface for Geometric Design Systems
71 Yehonatan Goldman 2014 Abstracts Theses Robust Epipolar Geometry Estimation Using Noisy Pose Priors
72 Alaa Ghanayim 2014 Abstracts Theses Iterative Referencing for Improving the Interpretation of DNA Sequence Data
73 Eyal Kibar 2014 Abstracts Theses E-Wolf: A Distributed Online Social Network
74 Elior Malul 2014 Abstracts Theses Towards Temporal Correctness of Event Processing
75 Boris Cherevatsky 2014 Abstracts Theses Estimating Epipolar Geometry for Mobile Robots
76 Nir Shmuel Hauser 2014 Abstracts Theses COARA: Code Offloading on Android with RMI and Aspects
77 Dima Elenbogen 2014 Abstracts Theses Proving Mutual Termination of Programs
78 Hasan Abasi 2014 Abstracts Theses On r-Simple k-Path
79 Alexander Zlotnik 2014 Abstracts Theses Efficient Use of Geographically Spread Cloud Resources
80 Yoav Kantor 2014 Abstracts Theses Combining Erasure-Code and Replication Redundancy Schemes for Increased Storage and Repair Efficiency in P2P Storage Systems
81 Kayla Jacobs 2014 Abstracts Theses Hebrew Acronym: Identification; Expansion and Disambiguation
82 Michael Baltaxe 2014

Probabilistic Local Variation Segmentation
83 Dmitry Pidan 2013 Abstracts Theses Selective Prediction with Hidden Markov Models
84 Yoav Haimovitch 2013 Abstracts Theses Large-Scale Semi-Supervised Sentiment Analysis
85 Erez Druk 2013 Abstracts Theses Linear Time Encodable Codes and Cryptography
86 Roman Zeyde 2013 Abstracts Theses Computational Electrokinetics
87 Moshe Gabel 2013 Abstracts Theses Unsupervised Anomaly Detection in Large Datacenters
88 Raeda Naamneh 2013 Abstracts Theses Fair Multi-Label Reconstruction from Cross-Sections
89 Hanna Fadida 2013 Abstracts Theses Automatic Extraction of Subcategorization Frames for Hebrew
90 Michael Beder 2013 Abstracts Theses Approximation Algorithms for Resource Scheduling and Allocation Problems
91 Amir Geva 2013 Abstracts Theses Far Field Surveillance Target Classification
92 Netanel Raviv 2013 Abstracts Theses Truth Table Minimization of Computational Models
93 Ranit Gotsman 2013 Abstracts Theses Generating Map-based Routes from GPS Trajectories and their Compact Representation
94 Alon Mishne 2013 Abstracts Theses Programming with Millions of Examples - Scalable Static Specification Mining
95 Omer Strulovich 2013 Abstracts Theses Lossy Chains and Fractional Secret Sharing
96 Yosi Atia 2013 Abstracts Theses Algorithmic Cooling of Spins by Optimal Control
97 Nadav Shragai 2013 Abstracts Theses Geometric Covering
98 Shaked Flur 2013 Abstracts Theses Weak Omega Automata
99 Karine Even 2013 Abstracts Theses Finding Rate Numerical Stability Errors in Concurrent Computations
100 Pavel Gurevich 2013 Abstracts Theses Experimental Quantum Key Distribution with Classical Alice
101 Avishai Gretz 2013 Abstracts Theses Syntactic Annotation of Hebrew CHILDES Corpora
102 Haggai Toledano 2013 Abstracts Theses Coverage-Driven Refinement of Conceptual Representations
103 Assaf Rappaport 2013 Abstracts Theses Approximation Algorithms for Soft-Capacitated Connected Facility Location Problems
104 Ami Paz 2013 Abstracts Theses Counting-Based Impossibility Proofs for Distributed Tasks
105 Eyal Posener 2013 Abstracts Theses Dynamic Memory Allocation in Cloud Computers Using Progressive Second Price Auction
106 Shay Ben-Elazar 2013 Abstracts Theses Computational Methods for Analyzing Gene Regulation in Model Organisms
107 Mordechai Porat 2013 Abstracts Theses A Semantic Approach to User Interface Design
108 Assaf Israel 2013 Abstracts Theses Cost Aware Fault Recovery in Clouds
109 Sabih Agbaria 2013 Abstracts Theses On Incomplete Bug Fixes and Programmers' Intuition on These
110 Yuval Shimron 2012 Abstracts Theses Smaller Footprint for Java Collections
111 Tomer Koren 2012 Abstracts Theses Learning Linear Support Vector Machines in Sublinear Time
112 Alexandra Faynburd 2012 Abstracts Theses Autoregressive Short-Term Prediction of Turning Points Using Support Vector Regression
113 Pavel Bar 2012 Abstracts Theses Resource Management in Grid Environments
114 Igor Kviatkovsky 2012 Abstracts Theses Color Invariants for Person Re-Identification
115 Haggai Eran 2012 Abstracts Theses A Study of Data Structures with a Deep Heap Shape
116 Amit Portnoy 2012 Abstracts Theses TrustPack: a Decentralized Trust Management Framework
117 Carmi Grushko 2012 Abstracts Theses Continuous Symmetries of Non-rigid Shapes
118 Omer Levy 2012 Abstracts Theses Teaching Machines to Learn by Metaphor
119 Uri Avraham 2012 Abstracts Theses ABC - A New Framework for Symmetric Block Ciphers
120 Vadim Eisenberg 2012 Abstracts Theses Programming Applications over the Semantic-Web
121 Dan Garber 2012 Abstracts Theses Approximating Semidefinite Programs in Sublinear Time
122 Avishay Tal 2012 Abstracts Theses On The Minimal Fourier Degree of Symmetric Boolean Functions
123 Ran Zemach 2012 Abstracts Theses Algebraic Collocation Coarse Approximation (ACCA) in Multigrid
124 Kolman Vornovitsky 2012 Abstracts Theses Abstractions for Devising Compact Controllers for MDPs
125 Eyal Regev 2012 Abstracts Theses Multi Agent Systems in Stochastic Dynamic Environments
126 Naama Kraus 2012 Abstracts Theses Context-Aware Query Suggestion
127 Ariel Raviv 2012 Abstracts Theses Concept-Based Approach to Word-Sense Disambiguation
128 Amir Abboud 2012 Abstracts Theses Monitoring General Functions in Distributed Systems with Minimal Communication
129 Itamar Hartstein 2012 Abstracts Theses On the Complexity of the Regenerator Location Problem - Treewidth and Other Parameters
130 Muhammad Magadla 2012 Abstracts Theses Accelerating CIFS over Satellite Networks
131 Michael Kuperstein 2012 Abstracts Theses Preserving Correctness Under Relaxed Memory Models
132 Elad Gidron 2012 Abstracts Theses Exploiting Locality and NUMA in Scalable Conncurrent Libraries
133 Avihai Mejer 2012 Abstracts Theses Confidence Estimation in Structured Predicition
134 David Ben-David 2012 Abstracts Theses Violation Resolution in Distributed Stream Networks
135 Daniel Hurwitz 2012

Morphological and Lexical Decomposition as a Basis for Identifying Multiword Expressions
136 Edward Vitkin 2011 Abstracts Theses Functional Genomics Based Approach for Reconstruction of Genome Scale Metabolic Network Models
137 Daniel Genkin 2011 Abstracts Theses Radical Lexicalization of Mildly Context-Sensitive Languages
138 Dmitry Zinenko 2011 Abstracts Theses Communication-Efficient Self-Stabilization
139 Anna Bendersky 2011 Abstracts Theses On the Limits of Partial Compaction
140 Gleb Polevoy 2011 Abstracts Theses Bandwidth Allocation in Cellular Networks with Multiple Interferences
141 David Yanay 2011 Abstracts Theses Supervised Learning of Semantic Relatedness
142 Amit Bermano 2011 Abstracts Theses Online Reconstruction of 3D Objects from Arbitrary Cross- Section Data
143 Shachar Shem-Tov 2011 Abstracts Theses Topics in Over-Parametrization Variational Methods
144 Viacheslav Chernoy 2011 Abstracts Theses On the Performance of Dijkstra's Third Self-Stabilizing Algorithm for Mutual Exclusion and Related Algorithms
145 Gilad Kutiel 2011 Abstracts Theses Cost-Aware Live Migration of Services in the Cloud
146 Roi Adadi 2011 Abstracts Theses Prediction of Microbial Growth Rate versus Biomass Yield by a Metabolic Network with Kinetic Parameters
147 Ilia Nudelman 2011 Abstracts Theses Dependent UFP On a Shared Channel With Application to a Network Centric Operation
148 Boaz Brickner 2011 Abstracts Theses Methods for Recognition by Graphical Style and Style Synthesis Using Local Analysis
149 Israel Shalom 2011 Abstracts Theses Online Load-Distance Balancing
150 Omer Weissbrod 2011 Abstracts Theses Genetic Linkage Analysis in the Presence of Germline Mosaicism
151 Ariel Kulik 2011 Abstracts Theses Submodular and Linear Maximization with Knapsack Constraints
152 Anat Hashavit 2011 Abstracts Theses Unbiased Rational Decision Making in Multiple-Adversary Environments
153 Anna Shulman 2011 Abstracts Theses A Density Driven Publish Subscribe Service for Mobile Ad-Hoc Networks
154 Jonathan Yaniv 2011 Abstracts Theses Truthful Mechanisms for Value-Based Scheduling in Cloud Computing
155 Katherine Barabash 2011 Abstracts Theses Scalable Garbage Collection on Highly Parallel Platforms
156 Neer Roggel 2011 Abstracts Theses Anonymous Routing for Mobile Ad Hoc Networks
157 Tom Kolan 2011 Abstracts Theses Coding Techiques for Burst Errors
158 Gil Cohen 2010 Abstracts Theses On the Degree of Symmetric Functions on the Boolean Cube
159 David Peles 2010 Abstracts Theses Segmentation by Classification
160 Ofer Egozi 2010 Abstracts Theses Concept-Based Information Retrieval Using Explicit Semantic Analysis
161 Silvina Rybnikov 2010 Abstracts
Building a Non-Euclidean Roadmap from a Small Set of Images
162 Noga Ron-Zewi 2010 Abstracts Theses Vector Representation of Graph Domination
163 Shir Ben-Israel 2010 Abstracts Theses Symmetry Breaking Can Dramatically Reduce the Length of Propositional Refutations
164 Iddo Bentov 2010 Abstracts Theses On Exact Learning from Random Walk
165 Raviv Elazar 2010 Abstracts Theses Algorithms for Two-Tier Scalable Data Upload
166 Daniel Vainsencher 2010 Abstracts Theses 2D Digital Balls
167 Yael Meller 2010 Abstracts Theses Multi Valued Abstraction and Compositional Model Checking
168 Avishay Livne 2010 Abstracts Theses Monitoring Distributed Data Streams
169 Mordechai Nisenson 2010 Abstracts Theses On the Foundations of Adversarial Single-Class Classification
170 Sagi Ben Moshe 2010 Abstracts Theses Using Property Testing for Efficient Detection of Nearly-Sorted relations
171 Sofia Liberman 2010 Abstracts Theses Wikipedia-Based Compact Hierarchical Semantics for Natural Language Processing
172 Nir Kerem 2010 Abstracts Theses Effects of Typicality on the Interpretation of Reciprocal Expressions
173 Dan Albocher 2010 Abstracts Theses Real-Time Haptic Simulation for Surgical Procedures
174 Artyom Sharov 2010 Abstracts Theses Coding Techniques for Multidimensional Constrained Channels
175 Masha Belchich 2010 Abstracts Theses Sketch Based Design of 2D and 3D Freeform Geometry
176 Adam Carmi 2010 Abstracts Theses Adaptive Multi-Pass Parsing
177 Yevgenia Alperin 2010 Abstracts Theses Property Analysis and Automatic Detection of Aspect Categories
178 Artiom Myaskouvskey 2010 Abstracts Theses Using A Contrario Methology for Part-Based Object Detection
179 Evgeny Shaphir 2009 Abstracts Theses Interconnect-Driven Cell-Based Migration of Integrated Circuit Layout
180 Alexandra Skolozub 2009 Abstracts Theses Conditional Integration of Biological Pathways
181 Raja Giryes 2009 Abstracts Theses Automatic Parameter Tuning for Inverse Problems
182 Kfir Karmon 2009 Abstracts Theses Enforcing a Global Resource Quota in a grid Environment
183 Yochay Tzur 2009 Abstracts Theses Photogrammetric Texture Mapping Using Casual Images
184 Noam Mori 2009 Abstracts Theses 3DLS:Density-Driven Data Location Service for Mobile Ad-Hoc Networks
185 Michael Ryabtsev 2009 Abstracts Theses Translation Validation: from Simulink to C
186 Ran Gelles 2009 Abstracts Theses On the Security of Theoretical and Realistic Quantum Key Distribution Schemes
187 Asenath Tal 2009 Abstracts Theses Algorithms for Heilbronn's Triangle Problem
188 Anna Tzemach 2009 Abstracts Theses Preparing SNP Data For Genetic Linkage Analysis
189 Ezer Bar-Aviv 2009 Abstracts Theses Function Based Object Categorization Using Simulation of an Agent
190 Lila Shnaiderman 2009 Abstracts Theses Incermental Reclustering of Augmented XML Trees
191 Nir Shemy 2009 Abstracts Theses QoS Enforcement for Web Services in Dynamic Networks
192 Yohai Devir 2009 Abstracts Theses Intrinsic Regularization of Inverse Problems Involving Non-Rigid Shapes
193 Aezalden Mhameed 2009 Abstracts Theses Locally vs. Globally Optimized Flow-Based Content Distribution to Mobile Nodes
194 Tali Shragai 2009 Abstracts Theses Empiric Evaluation of the Usability of Virtual Function Calls within Constructors
195 Arie Orlovsky 2008 Abstracts Theses Decentralized Enforcement of Security Policies for Distributed Computational Systems
196 Benny Godlin 2008 Abstracts Theses Regression Verification: Theoretical and Implementation Aspects
197 Alex Kogan 2008 Abstracts Theses Efficient and Robust Local Mutual Exclusion in Mobile Ad- Hoc Networks
198 Li-Tal Mashiach 2008 Abstracts Theses Local Approximation of PageRank and Reverse PageRank
199 Einav Itamar 2008 Abstracts Theses Using Movie Subtitles for Creating Statistical Alignment Models
200 Tal Zamir 2008 Abstracts Theses Speculative Lock Acquisition for Fault-Tolerant Distributed Systems
201 Anan Marie 2008 Abstracts Theses Second Line Schema Matchers
202 Adi Mano 2008 Abstracts Theses Building Phylogenetic Trees Based on Biochemical Pathways
203 Mark Ginzburg 2008 Abstracts Theses Holographic Video-Scene Watermarking in the 3D-DFT Domain
204 Dan Raviv 2008 Abstracts Theses Symmetries of Non-rigid Shapes
205 Guy Rosman 2008 Abstracts Theses Efficient Flattening in Manifold Learning and Image Processing
206 Zvi Devir 2008 Abstracts Theses Generalized Blind Sampling of Images
207 Ishay Goldin 2008 Abstracts Theses Vesicles and Amoebae: On Globally Constrained Shape Deformation
208 Rotem Oshman 2008 Abstracts Theses Bounded Model - Checking for Branching-Time Logic
209 Roy Fox 2008 Abstracts Theses Reinforcement Learning in Partially Observable Decision Processes
210 Guy Flysher 2008 Abstracts Theses Approximation Algorithms for Partial Capacitated Covering Problems
211 Ari Shotland 2008 Abstracts Theses Efficient Route Discovery in Hybrid Networks
212 Gil Gattegno 2008 Abstracts Theses Object Recognition Using Geometric Hashing Extensions
213 Yuri Pekelny 2008 Abstracts Theses Articulated Object Reconstruction and Motion Capture from Depth Video
214 Eitan Yaakobi 2008 Abstracts Theses Codes for Correcting Multi-Dimensional Bursts
215 Fady Massarwi 2008 Abstracts Theses Papercrafts from 3D Polygonal Models
216 Amjad Aboud 2008 Abstracts Theses Correlation Clustering with Penalties and Approximating the Recordering Buffer Management Problem
217 Ron Gross 2008 Abstracts Theses Invariance under Stuttering in Branching-Time Temporal Logic
218 Andrey Klinger 2008 Abstracts Theses Stability against Group Deviations in Non-Cooperative Computation
219 Evelina Zarivach 2008 Abstracts Theses Evaluating Datalog Programs over Infinite and Founded Databases
220 Bennyamin Yoshpa 2008 Abstracts Theses Economic Aspects of QoS in Grid Computing
221 Yulia Dubov 2008 Abstracts Theses Infinite Alphabet Pushdown Automata: Various Approaches and Comparison of Their Consequences
222 Saeb Mansour 2008 Abstracts Theses Combining Character and Morpheme Based Models for Part-of- Speech Tagging of Semitic Languages
223 Haim Kermany 2008 Abstracts Theses The Compressor: Concurrent, Incremental, and Parallel Compaction
224 Alik Zamansky 2007 Abstracts Theses A Framework for Surface Reconstruction of Sparsely- Sampled Objects
225 Amir Rubinstein 2007 Abstracts Theses Faithful Modeling of Transient Behavior in Developmental Pathways
226 Hanna Mazzawi 2007 Abstracts Theses Learning Composed Classes with a Small Number of Mistakes
227 Dmitry Datsenko 2007 Abstracts Theses Example-based Regularization in Inverse Problems
228 Eran Eden 2007 Abstracts Theses Discovering Motifs in Ranked Lists of DNA Sequences
229 Gregory Shklover 2007 Abstracts Theses Explicitly-Parallel Code Compilation Methods for Shared- Context Architecture
230 Ido Guy 2007 Abstracts Theses Cluster Ranking with an Application to Mining Mailbox Networks
231 Olga Rozenfeld 2007 Abstracts Theses Strong Equilibrium in Congestion Games
232 Alina Shaikhet 2007 Abstracts Theses The On-Line Heilbronn's Triangle Problem in d Dimensions
233 Michael Pechuk 2007 Abstracts Theses Function-based Object Recognition
234 Eliyahu Osherovich 2007 Abstracts Theses Ant Robotics: Covering Continuous Domains by Multi-A(ge)nt Systems
235 Sela Mador-Haim 2007 Abstracts Theses Natural Language Interface for Geographical Information Systems
236 Yan Tsitrin 2007 Abstracts Theses Master-Slave Dependency Model and its Application to the Hebrew Understanding
237 Yonit Magid 2007 Abstracts Theses BSS Model of Computation over the Reals and Choice Operator
238 Erez Brickner 2007 Abstracts Theses The Populating Problem A Study in Multi-Nano-Robotics
239 Omer Yehezkely 2007 Abstracts Theses Approximation Schemes for Packing with Item Fragmentation
240 Yaron Goren 2007 Abstracts Theses Basing Weak Public-Key Cryptography on Strong One-Way Functions
241 Laurence Bisht 2007 Abstracts Theses On Optimal Learning Algorithms for Multiplicity Automata
242 Shay Ohayon 2007 Abstracts Theses A Computational Analysis of Biological Behavior: Interactions of Gaze Control and Visual Attention
243 Benjamin Grimberg 2007 Abstracts Theses Minimal Model semantics for First-Order Ground Non-Monotonic Modal Logic
244 Roman Gershman 2007 Abstracts Theses Improvements of SAT Solving Techniques
245 Iddit Shalem 2007 Abstracts Theses Multilevel Two-dimensional Phase Unwrapping
246 Gil Ratsaby 2006 Abstracts Theses Quantum Advantage, even without Entanglement
247 Yacov Estrin 2006 Abstracts
Expert System On Translations among Formal Verification Tools in VeriTech
248 Roman Golubchyck 2006 Abstracts
Improving the Saliency Algorithm by Grouping Cues Optimization
249 Ido Feldman 2006 Abstracts
A 2+Epsilon Approximation Algorithm for Convex Recoloring of Trees
250 Oleg Polonsky 2006 Abstracts
What's in an Image? Towards the Computation of Good Views for Three-Dimensional Objects
251 Tal Lerner 2006 Abstracts
Motion Correction in fMRI Images
252 Jonathan Naor 2006 Abstracts
d-Dimensional Variants of Heilbronn's Triangle Problem
253 Rachel Brel 2006 Abstracts
Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation
254 Sharon Krisher 2006 Abstracts
On XML Schema Identity Constraints
255 Alexander Shraer 2006 Abstracts
Timeliness, Failure-Detectors and Consensus Performance
256 Amir Vaxman 2006 Abstracts Theses Nonlinear Interpolation between Slices
257 Daniel Zeitlin 2006 Abstracts
Look-Ahead Finite-Memory Automata
258 Shimon Golan 2006 Abstracts
Efficient Algorithms for Computing Resource Availability in WAA Environments
259 Nela Gurevich 2006 Abstracts
Automatic Generation of Near Misses for Active Learning of Visual Concepts
260 Roman Feldman 2006 Abstracts
Designing Data Warehouse with Object-Process Methodology
261 Liza Fireman 2006 Abstracts
The Complexity of SIMD Alignment
262 Amir Adler 2006 Abstracts
Reducing Memory Requirements for Pattern Databases
263 Max Goldman 2006 Abstracts
Modular Verification of Aspects
264 Ehab Wattad 2006 Abstracts Theses On Exact Learning Halfspaces with Random Consistent Hypothesis Oracle
265 Jacob Subag 2006 Abstracts
Piecewise Developable Surface Approximation of General NURBS Surfaces, with Global Error Bounds
266 Dimitry Kloper 2006 Abstracts
Geometries and Topologies of Triangulations of Point Sets
267 Dolev Dotan 2006 Abstracts
HyperFlow: a Visual, Ontology-Based Query and Data-Flow Language for End-User Information Analysis
268 Bella Dubrov 2006 Abstracts
On the Randomness Complexity of Efficient Sampling
269 Emilia Katz 2006 Abstracts
Verifying Scenario-Based Aspect Specifications
270 Itai Sharon 2006 Abstracts
Similarity Detection for Low Complexity and Remotely Related Proteins
271 Keren Censor Hillel 2006 Abstracts
Constrained Codes for Two-Dimensional Channels
272 Sivan Sabato 2006 Abstracts
The Semantics of Reciprocal Expressions in Natural Language
273 Avishay Sidlesky 2006 Abstracts Theses Polygon Reconstruction from Line Cross-Sections
274 Oren Katzengold 2006 Abstracts
Effective Use of Trace Caches
275 Ofir Avni 2006 Abstracts Theses Biologically Motivated Modeling and Imitating the Chameleon's Vision System
276 Sivan Yogev 2006 Abstracts
Evaluation of Scoring Functions for Protein Multiple Sequence Alignment using Structural Alignments
277 Denis Krivitski 2006 Abstracts
A Local Facility Location Algorithm for Large-Scale Distributed Systems
278 Alexander Lyakas 2006 Abstracts
Specification-Oriented Construction of Web Information Systems
279 Guy Sela 2006 Abstracts
Exploiting the Free-Form Deformation Function as a Geometric Modeling Tool
280 Asaf Henig 2006 Abstracts
The Transcoders' Placement Problem over Multicast Networks
281 Ron Begleiter 2005 Abstracts
Can Theory Meet Practice in Sequence Prediction?
282 Alex Goryachev 2005 Abstracts
Offset-Polygon and Annulus Placement Problems
283 Rotem Bennet 2005 Abstracts
Improved Learning with Corrupt Oracles
284 Roy Bar-Haim 2005 Abstracts
Part-of-Speech Tagging for Hebrew and other Semitic Languages
285 Nili Ifergan 2005 Abstracts
Achieving High Speedups in Distributed Reachability Analysis through Asynchronous Computation
286 Alon Flaisher Missing advisors 2005

Enhanced Vacuity Detection in Linear Temporal Logic
287 Oren Shnitzer 2005 Abstracts
Self-Consistent Batch Classification
288 Genady Beryozkin 2005 Abstracts
Plural Semantics for Control Sentences in LFG's "Glue" Interface
289 Eyal Gordon 2005 Abstracts
Competitive Throughput Analysis of Greedy Protocols on Directed Acyclic Networks
290 Roy Frank 2005 Abstracts
Revenue-Maximizing Allocations in Constrained Multi-Object and Combinatorial Auctions
291 Roman Sandler Missing advisors 2005

Gabor Filters Analysis for Texture Segmentation
292 Shimon Landa 2005 Abstracts
Combinatorial Approximation Algorithms for the Fractional Set-Cover Problem
293 Jonathan Laserson 2005 Abstracts
Approximations Algorithms for Sorting Buffers
294 Michael Bronstein 2005 Abstracts
Three-Dimensional Face Recognition
295 Lawrance Khoury 2005 Abstracts
Learning with Errors in Answers to Membership Queries
296 Orit Eden 2005 Abstracts
Simulation and Visualization of Gravity Currents
297 Gregory Dardyk 2005 Abstracts
Robust Nonlinear Multigrid Methods
298 Tamer Salman 2005 Abstracts
Learning Polynomial Generating Rules Using Support Vector Machines
299 Haggai Yedidya 2005

Performance Evaluation of Data Caches Organizations for SMT Processors
300 Constantine Elster 2005 Abstracts
Efficient Monitoring of QOS Parameters
301 Guy Korland 2005 Abstracts
Location Awareness in Wireless Ad-Hoc Networks (or How to RLISE a TIGR?)
302 Orly Meir 2005 Abstracts
A Decision Procedure for Equality Logic
303 Roman Barsky 2005 Abstracts
Electromigration-dependent Parametric Yield Estimation
304 Mark Matusevich 2005 Abstracts
Off-Line Improvement of Generic Group Trackers
305 Michael Slavkin 2005 Abstracts
Detecting Data Structures from Traces
306 Amnon Shochot 2005 Abstracts
Extending BGP to Support the Concept of "Global AS"
307 Gil Yarom Sasson 2005 Abstracts
D-SEDA Distributed Staged Event-Driven Architecture
308 Shadi Saba 2005 Abstracts
Barycentric Spherical Embeddings - Algorithms and Theory
309 Vadim Galperin 2005 Abstracts
In-Line Regression by Support Vectors with Application to Head Motion Anticipation from EMG Signals
310 Oleg Izmerly 2005 Abstracts
Modern Cryptography in a Quantum World
311 Saar Pilosof 2005

TCP Fairness over Wireless LAN
312 Assaf Harel 2005 Abstracts
Estimating the Number of Faults Remaining in Software Code Document Inspected with Iterative Code Reviews
313 Dorit Balter 2004 Abstracts
Medical Records Confidentiality Problem
314 Anna Bekkerman 2004 Abstracts
Conflict Resolution and Operator Priorities in Extended BNF
315 Micha Moffie 2004 Abstracts
Counting Polyominoes in Two and Three Dimensions
316 Wisam Kadry 2004 Abstracts
Simulation of Metabolic Pathways
317 Zvi Avidor 2004 Abstracts
n-Set Consensus when Inputs are Restricted
318 Sharon Shoham Buchbinder 2004 Abstracts
A Game-Based Framework for CTL Counterexamples and Abstraction-Refinement
319 Oren Souroujon 2004 Abstracts
Iterative Double Clustering: An Information-Theoretic Algorithm for Clustering Textual Data
320 Tatyana Veksler 2004 Abstracts
Automata and Type-Logical Grammars
321 Michal Aharon 2004 Abstracts
Representation Analysis and Synthesis of Lip Images Using Dimensionality Reduction
322 Dan Guez 2004 Abstracts
Scheduling Time-Constrained Communication in Input Queued Switches
323 Avraham Yadgar 2004 Abstracts
Solving All-SAT Problem for Reachability Analysis
324 Asaf Amit 2004 Abstracts
Learning to Cooperete with Application to Bridge Bidding
325 Yael Merksamer 2004 Abstracts
Two Dimensional Cluster Error-Correcting Codes
326 Kobi Luz 2004 Abstracts
Online Choice of Active Learning Algorithms
327 Vladimir Getselevich 2004 Abstracts
Enabling Efficient Fast Track Services in Active Networks
328 Alon Altman 2004 Abstracts
Computation and Specification of Scope Dominance with Monotone Quantifiers in Natural Language
329 Tali Sapir 2004 Abstracts
Parallel Raytracing Using the XMT Paradigm
330 Michael Tsirkin 2004 Abstracts
Delivery Times in Packet Networks under Full Load
331 Roy Schwartz 2004 Abstracts
Circular Arrangements
332 Simon Polak 2004 Abstracts
Head Motion Anticipation for Virtual-Environment Applications Using Kinematics and EMG Energy
333 Erez Louidor 2004 Abstracts
Lowest-Density MDS Codes over Super-Alphabets
334 Niv Buchbinder 2004 Abstracts
Lower and Upper Bounds on Obtaining History Independence
335 Evgeny Yakersberg 2004 Abstracts
Morphing between Geometric Shapes using a Straight-Skeleton- Based Interpolation
336 Vadim Iosevich 2004 Abstracts
Distributed Shared Memory: To Relax or not to Relax?
337 Galina Tcharny 2004 Abstracts
Fuzzy Group Communication in Mobile Ad Hoc Networks
338 Philip Derbeko 2004 Abstracts
Explicit Learning Curves for Transduction and Application to Clustering and Compression Algorithms
339 Zvi Gutterman 2004 Abstracts
Symbolic Pre-Computation for Numerical Applications
340 Moran Gavish 2004 Abstracts
A Sequential Algorithm for Face Recognition
341 Baruch Gilburd 2004 Abstracts
A Privacy Model and Privacy-Preserving Algorithms for Data Mining in Large-Scale Distributed Systems
342 Yaniv Kaplan 2004 Abstracts
Lower Bounds for Adaptive Collect and Related Objects
343 Amir Sasson 2004 Abstracts
Understanding and Mitigating the Effects of Denail-of- Service Attacks on Secure Gossip-Based Multicast
344 Carmen Rotstein 2004 Abstracts
A Semantic Framework for Total and Partial Adjectives
345 Oleg Rokhlenko 2004 Abstracts
Tree-Based Comparison of Metabolic Pathways
346 Anna Zamansky )Lifshits( 2004 Abstracts
A 'Natural Logic' Inference System Based on the Lambek Calculus
347 Yoram Talmor 2004 Abstracts
Higher Performance DSM by Peaking Network Utilization
348 Michael Lifshits 2004 Abstracts
Vision-Based Navigation on Microscopic Images
349 Alexander Glikson 2004 Abstracts
Verification of Generally Intractable Graph Properties on Graphs Generated by Graph Grammars
350 Rami Cohen 2004 Abstracts
Time Dependent Multi Scheduling of Multicast
351 Amir Bar-Or 2004 Abstracts
Hierarchical Decision Tree Induction for Highly Dimensional Data in Large-Scale Distributed Systems
352 Alina Skarbovsky 2004 Abstracts
Performance Evaluation and Modeling of TCP over Cellular Wireless Links
353 Maxim Mogilnitsky 2004 Abstracts
Efficient, Low Distortion, Conformal Parameterization of Large Meshes
354 Yuval Scharf 2004 Abstracts
Covering Points with a Polygon
355 Idan Zach 2004 Abstracts
Fully Adaptive Shared Memory Algorithms
356 Alexander Dvorkin 2004 Abstracts
Ensuring End-to-End Delay in the DiffServ Model
357 Israel Gutter 2004 Abstracts
Sentence Parsing in Hebrew by Semantic Features
358 Igor Katsman 2003 Abstracts
Biologically Motivated Modeling and Simulation of Animals Vision Activities
359 Avraham Owshanko 2003 Abstracts
Learning Finite Automata, Using Incomplete Membership Queries
360 Ron Bekkerman 2003 Abstracts
Distributional Clustering of Words for Text Categorization
361 Sharon Keidar 2003 Abstracts
Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking
362 Oren Sifri 2003 Abstracts
Surface Meshing Using Geodesic Distances
363 Mirela Ben-Chen 2003 Abstracts
On the Optimality of Spectreal Mesh Compression
364 Ya'akov Broom 2003 Abstracts
Bayesian Classification and Clustering via DAG Hierarchies
365 Tzafrir Cohen 2003 Abstracts
Responsive Round Complexity and Concurrent Zero-Knowledge
366 Vladislav Kraevoy 2003 Abstracts
Matchmaker: Constructing Constrained Texture Maps
367 Efrat Jaeger 2003 Abstracts
Unification Grammars and Off-Line Parsability
368 Ydo Wexler 2003 Abstracts
Finding Approximate Tandem Repeats in Genomic Sequences
369 Adi Bar-Lev 2003 Abstracts
virtual marionettes: a system for real-time animation in 3D
370 Doron Lipson 2003 Abstracts
Optimization Problems in Design of Oligonucleotides for Hybridization Based Methods
371 Dmitry Livshitz 2003 Abstracts
Robotic Self Location Using Three Dimensional Fiducials and Omnidirectional Cameras
372 Uri Dekel 2003 Abstracts
Revealing JAVA Class Structure with Concept Lattices
373 Uriel Cohen 2003 Abstracts
Object Relations and Syntactic Mechanisms in Design Patterns
374 Boris Veytsal 2003 Abstracts
Model Driven Help Systems Generation
375 Leonid Beliak 2003 Abstracts
Adaptive Calculation of Variable Coefficients Elliptic Differential Equations via Wavelets
376 Evgeny Panman 2003 Abstracts
Efficient Data Collection Algorithm
377 Dmitry Davidov 2003 Abstracts
Multiple-Goal Heuristic Search Algorithms
378 Yael Gavish 2003 Abstracts
Cache-Conscious Garbage Collection for Servers
379 Eliyahu Pozniansky 2003 Abstracts
Efficient On-the-Fly Data Race Detection in Multithreaded C++ Programs
380 Roni Raab 2003 Abstracts
Virtual Woodwork: Making Toys from Geometric Models
381 Alon Kama 2003 Abstracts
Transparent Fault-Tolerant Java Virtual Machine
382 Alexander Goldin 2003 Abstracts
Geometric Message-Filtering Protocols for Distributed Multi- Agent Environments
383 Constantine Shapiro 2003 Abstracts
Object-Oriented Implementation of Reconciliations
384 Dafna Szarfman 2003 Abstracts
Reducing Cache Conflicts via Garbage Collection
385 Hezi Azatchi 2003 Abstracts
Integrating Generations with Advanced Reference Counting Collectors
386 Gabriel Scalosub 2003 Abstracts
Bicriteria Approximation Tradeoff for the Node-Cost Budget Problem
387 Nadav Golbandi 2003 Abstracts
Characterization and Classification of Butterfly Like Networks
388 Ido Tal 2003 Abstracts
List Decoding of Lee Metric Codes
389 Amnon Heiman 2003 Abstracts
Protein Identification via Mass Spectrometry
390 Mirit Berg 2003 Abstracts
Property Transformations for Translations
391 Daniel Brunstein 2003 Abstracts
Animating a Camera for Viewing a Planar Polygon
392 Avraham Kenigsberg 2003 Abstracts
A Multigraid Approach for Fast Geodesic Activ Contour
393 Gilad Ben Avi 2002 Abstracts
Monotonicity Properties of Plural Quantifiers in Natural Language
394 Ronit Reger 2002 Abstracts
Learning and Exploiting Relative Weaknesses of Opponent Agents
395 Dmitry Gavinsky 2002 Abstracts
Boosting with Polynomially Bounded Distributions
396 Yaniv Hamo 2002

Balanced Packet Discard for Improving TCP Performance in ATM Networks
397 Liav Adi 2002

Fast Computation of Geodesic Distances: Graphic Applications
398 Eyal Hameiri 2002

Estimating the Principal Curvatures and the Darboux Frame from Real 3D Range Data and its Application to the Recovery of Primitives
399 Roni Ram 2002 Abstracts
Efficient Distribution of Email Messages
400 Vadim Gleizer 2002 Abstracts
Optimizing Sharing Patterns and Locality via Thread Migration
401 Tal Cohen 2002

Self-Calibration of Metrics of Java Methods towards the Discovery of the Common Programming Practice
402 Lior Ron 2002

A Visual Feedback System
403 Yaroslav Fedorov 2002

Implementing and Extending Natural Logic
404 Yosef Firstenberg 2002

Selective Caching for Acceleration Purposes of Intermediate Results in Object-Oriented Programs
405 Sally Tadmor 2002 Abstracts
A Framework for Interactive Information Systems
406 Vitaly Feldman 2002

On Using Extended Statistical Queries to Avoid Membership Queries
407 Ari Frank 2002 Abstracts
A New Branch and Bound Feature Selection Algorithm
408 Shlomit Koyfman 2002

Semantic Invariance of Algorithms for Nominal Anaphora Resolution
409 Ran Yaroshinsky 2002

Smooth Online Learning of Expert Advice
410 Assaf Shatil 2002

Speedup Learning for Repair-Based Search by Identifying Redundant Steps
411 Ziv Nevo 2002

On Online Learning of Decision Lists
412 Dan Kenigsberg 2002

Grover's Quantum Search Algorithm and Mixed States
413 Sagi Katz 2002

Techniques for Increasing Coverage of Formal Verification
414 Vladislav Kalinovsky 2002 Abstracts
Symphony: Managing Virtual Servers
415 Keren Bendel 2002

Applications of the Local-Ratio Technique: A Survey
416 Irit Katriel 2002

Implicit Data Structures based on Local Reorganizations
417 Alexandr Kaplan 2002 Abstracts
Finding Epipolar Geometry from Two Color Images
418 Robert Parham 2002

Solving the Dynamic Conflict between N Moving Objects Using Neural Networks
419 Hilla Atzmon 2002

Replacement Policies for Internet Wide Caching of Distributed Objects
420 Emil Kohn 2002 Abstracts
A Transparent DSM System
421 Elena Tulchinsky 2002

Positive Semantics of Projections in Venn-Euler Diagrams
422 Asi Elad 2002 Abstracts
On Surface Flattening via MDS and FMMTD
423 Dor Laor 2002

Soft Real-Time Layered Group Communication
424 Yoav Katz 2001

Scheduling with Batching and Incompatible Job Families
425 Yuri Tsoglin 2001

JAMOOS - an Object Oriented Language for Grammars
426 Eli Almog 2001

Scheduling Accesses to Shared Memory by a Bus Arbiter: The k-client Problem Revisited
427 Tzach Levyatan 2001

Anytime Search by Improving Highest-Utility Solution Segments
428 Barak Hermesh 2001

Fiducials for Precise Location Estimation
429 Ilya Ekshtein 2001 Abstracts
Texture Mapping Using Constrained Parametrization
430 Boris Epelman 2001

Remote Geometrical Modeling
431 Yosseff Levanoni 2001

On-The-Fly Garbage Collection via Sliding Views
432 Svetlana Kronrod 2001

Probablistic Scalable Application Placement in Distributed Systems
433 Julia Mosin 2001

Base Dependence of Extensions for Open Default Theories
434 Gregory Shakhnarovich 2001

Statistical Data Cloning for Machine Learning
435 Alexander Bogomjakov 2001

Optimized Polygon Traversal of Progressive Meshes for Vertex Caching
436 Irina Shapira 2001

Scheduling Splitting Intervals
437 Shlomo Livne 2001

Machine Learning for Efficient BDD Variable Ordering in Verification
438 Yan Sorkin 2001

CD-Edit- A Constraint Diagrams' Editor
439 Vladimir Yanovski 2001

Simple Agents for Complex Tasks
440 Alexander Gaysinsky 2001

Caching Integrated with Pipelined Prefetching
441 Vladimir Furman 2001

Cryptanalysis of Some Modern Blockciphers
442 Noam Rinetskey 2001

Interprocedural Shape Analysis
443 Rafi Tayar 2001

Scanning Directed Eulerian Mazes by a Finite-State Robot
444 Natalie Eckel 2001

Empirical Study of Object-Layout Strategies and Optimization Techniqes
445 Vita Bortnikov 2001

Adaptive Algorithms for Mutual Exclusion
446 Shirley Halevy 2001

Two-Dimensional Coding for Recording Channels
447 Dina Tal 2001

Analysis and Use of Subcategorization of Verbs in Validation of Hebrew Sentences
448 Lior Leiba 2001

Towards Automatic Electronic Commerce: EContracts Framework Specification and Preliminary Implementation
449 Julia Chuzhoy 2001

Hardness of Approximation and New Approximability Classes
450 Alexander Gorovoy 2001

Applying Data Compression Algorithms to Software Engineering
451 Zehavit Kehat 2001

Approximating the Dense Set-Cover Problem
452 Oren Zeev Ben Mordejai 2001

Efficient Integration of On-the-fly Data Race Detection in Distributed Shared Memory and Symmetric Multiprocessor Environments
453 Shiri Moran 2001

Fast, Minimal, and Oblivious Routing Algorithms on the Mesh with Bounded Queues
454 Boris Kronrod 2001

Topics in Compression of 3d Models
455 Omer Barkol Missing advisors 2000

Tighter Lower Bounds for Nearest Neighbor Search and Related Problems in the Cell Probe Model
456 Erel Segal 2000

Hebrew Morphological Analyzer for Hebrew Undotted Texts
457 Guy Froimovich 2000

Object Classification from Range Images
458 Gil Zigelman 2000

Texture Mapping by Surface Flattening Via Mds
459 Igor Dozorets 2000

Computer-Based Model for Speaker Recognition by a Human Listener
460 Patrick Chouraqui 2000

Surface Reconstruction with Triangular Bezier Patches from Range Measurements
461 Dmitry Kogan Missing advisors 2000

Remote Reference Counting: Distributed Garbage Collection With Low Communication and Computation Overhead
462 Guy Rey 2000

First-Order Non-Monotonic Logic
463 Victoria Skoblikov 2000

Feature-Based Computational Lexicon of Hebrew Vrebs
464 Nitzan Niv 2000

Dynamic Adaptation of the Sharing Granularity in Dsm Systems
465 Yael Zbar 2000

Open Default Theories
466 Gal Vardi 2000

Analysis and Generation of Hebrew Nouns with Derivational Morphemes
467 Shay Artzi 2000

Lower Bounds on the Complexity of Polynomail Multiplication Over Finite Fields
468 Ariella Voloshin Missing advisors 2000

A Unified Approach to Computing Domination Sets and Independence Sets for Intervals on a Line
469 Shiri Manor 2000

Scalable Multicast in a Logical Hypercube
470 Guy Lebanon 2000

Moire Pattern Synthesis
471 Dmitry Rusakov 2000

Selective Sampling for Nearest Neighbor Classifiers
472 Dmitry Levinson 2000

Corpus-Based Methods for Word Sense Disambiguation
473 Vitaly Surazhsky 1999

Morphing Planar Triangulations
474 Amit Cohen Missing advisors 1999

A Dynamic Approach for Efficient Tcp Buffer Allocation
475 Michael Plavnik Missing advisors 1999

Surface Design Using Global Second Order Differential Constraints
476 Arie Tal 1999

Decidability of Inclusion for Unification Based Automata
477 Michael Gertelman 1999

Automatic User Interface Generation from a Given Domain Model
478 Octavian Soldea Missing advisors 1999

Algorithms on Continued Fractions
479 Marina Biberstein Missing advisors 1999

Constructions and Bounds for Blot-Correcting Codes
480 Dan Rosenstein Missing advisors 1999

Feature Generation Using General Constructor Functions
481 Lior Arzi 1999

Probabilistic Model for Predicting the Efficiency of a Fault Detection Process in a Software Requirement Document
482 Ronit Nossenson Missing advisors 1999

Dynamic Maintenance of Connectivity Classes of a Graph Using Decomposition Into 3-Components
483 Lea Shalev Missing advisors 1999

Load Sharing in Distributed Shared Memory Systems
484 Alon Raviv 1999

Three Dimensional Freeform Sculpting Via Zero Sets Of Scalar Trivariate Functions
485 Sharon Or Missing advisors 1999

Encapsulating Real-Time in Failure Detectors
486 Yohai Makbily 1999

Message Filtering for Geometric Distributed Virtual Environments
487 Alon Ravid Missing advisors 1999

A Method for Extracting and Stating Software Requirements That a User Interface Prototype Contains
488 Arkady Estrin Missing advisors 1999

A Comparison Between First-Order Temporal Logic and Temporal Logic of Actions
489 Ronny Lempel Missing advisors 1999

Finding Authoritative Sites on the Www (and Other Hyperlinked Media) by Analyzing the Web's Link- Structure
490 Yuri Miroshnik Missing advisors 1999

Skew-Tolerant Clocking Techniques
491 Alla Gorbach Missing advisors 1999

Computing in Anonymous Asynchronous Shared Memory
492 Oleg Frenkel Missing advisors 1999

Multicast Group Synchronization in Atm
493 Arnon Netzer 1999

Mosaicing Video Sequences
494 Costa Touma 1999

Triangle Mesh Compression
495 Shai Rubin Missing advisors 1999

Using Virtual Cache Lines for Higher Data Cache Performance
496 Dror Rawitz Missing advisors 1999

Combinatorial and LP-based Methods for Designing Approximation Algorithms
497 Avigail Orni Missing advisors 1999

Measuring the Locality of Space-Filling Curves
498 Anatoly Koyfman Missing advisors 1999

Facilitating Generation of Help Systems
499 Ilia Gretskin Missing advisors 1999

Java Interface for Irit Solid Modeler
500 Tali Yatzkar 1998

Lower Bound on the Bisection Width of the Butterfly Network
501 Sagi Snir 1998

A Simple and Efficient Method for Network Decomposition And Synchronization
502 Jacob Eckel 1998

A Framework for Static Checking of Design Level Traits
503 Eyal Dagan 1998

Universal Operations: Unary Versus Binary
504 Boris Rabinovich 1998

Visualization of Large Terrains in Resource-Limited Computing Environments
505 Vitaly Skachek 1998

Coding for Spectral-Null Constraints
506 Amit Reisman 1998

Animation Using Parallel Progressive Ray-Tracing
507 Inna Bianu-Minei 1998

Increasing the Performance of Tcp Over a Unidirectional Geostationary Satellite Channel
508 Anna Gringauze 1998

The Complexity of Propositional Proofs
509 Ari Freund 1998

On-Line Assignment with Load Balancing
510 Harry Hornreich 1998

A Case Study of Software Reengineering
511 Mira Yaniv 1998

Dynamic Schemes for Specualtive Code Execution
512 Boris Zemlyak 1997

Direct Depth from Axial Camera Motion
513 Roman Kazinnik 1997

Free-Form Surface Editing Using Multiresolution Decomposition
514 Roman Talyansky 1997

Coding for Two-Dimensional Constraints
515 Ziv Mador 1997

The Probed Partial Digest Problem - Algorithms and Number Of Solutions
516 Beery Holstein 1997

T++ : Test Case Generator Using Code Abstraction
517 Kirill Shoikhet 1997

Optimal Triangulations Via Mininal Separators
518 Leonid Voldman 1997

Using Smart Terminals to Effectively Enhance Commuication Throughput
519 Tal Drory 1997

Consistency Maintenance by Self Stabilization in Active Temporal Databases
520 Yuval Ishai 1997

Characterizing Perfect Privacy
521 Ehud Aharoni 1997

Restricted Dynamic Steiner Trees for Scalable Multicast in Datagram Networks
522 Fanny Faina Shpilberg 1997

Wd-Pic, a Wysiwyg Direct-Manipulation Pic
523 Boris Farizon 1996

Dynamic Data Management in Parallel Ray Tracing
524 Michael Kliot 1996

Local Multivalued Invariant Signatures and Their Usage in Pictorial Databases
525 Guy Bashkansky 1996

Monolingual Translator Workstation
526 Nadav Eiron 1996

Variants of Mistake Bound Learning Algorithms
527 David Konopnicki 1996

Information Gathering in the World-Wide Web: the W3ql Query Language and the W3qs System
528 Anna Moss 1996

Quantifying the Reliability of Feature-Based Object Recognition
529 Juliana Sheinerman 1996

Consequence Relations for Default Reasoning Without the 'and' Rule
530 Ishai Rabinovitz 1996

Random and Deterministic Approximation Algorithms for Covering Problems.
531 Olga Tebelev 1996

Volumetric Computer Graphics in Surgery Process Planning
532 Alexander Dubrovsky 1996

Load Balancing in Distributed Shared Memory System
533 Maxim Goldin 1996

Weak Consistency Distributed Shared Memory System Design
534 Ofra Hod 1996

Constructions for Error-Correcting Codes and Covering Codes
535 Ilan Evron 1996

Reliable Signaling in Atm Networks Over Parallel Signaling Vc Connections
536 Shmuel Cohen 1996

Matching of Curves in Computer Aided Geometric Design and Computer Graphics
537 Galia Givaty 1996

Learning Subclasses of Dnf Formulas and Disjunctions Of Threshold Functions Using Queries
538 Hillel Miller 1996

Saving Space by Fully Exploiting Invisible Transitions
539 Eli Stein 1996

An Efficient Approach for Emulating a Token-Ring Lan Over An Atm Network
540 David Barta 1996

A System for Document Reuse
541 Ohad Ben-Shahar 1996

To Push Or Not to Push: on the Rearrangement of Movable Objects by a Mobile Robot
542 Gitit Ruckenstein 1996

Encoding for Input-Constrained Channels
543 Artur Zavalkovsky 1995

Mys - An Object Oriented Database Management System in the Mach Operating System Environment
544 Tamar Tamir 1995

Local Labeling and Resource Allocation Using Preprocessing
545 Ronen Hod 1995

Coding Methods for Imput Constraind Channels
546 Karen Holtz 1995

Semrel - a Semantic Relationship Model for Object Oriented Databases
547 Segev Wasserkrug 1995

Neural Network Design for Classification
548 Asaf Shirazi 1995

Efficient Wait-Free Implementations of Atomic Snapshot Memories
549 Rinat Rappoport 1995

The Level of Handshake Required for Establishing Connection
550 Boaz Tamir 1995

K-Connected Graphp Partitions and Approximation Algorithms For Covering Problems
551 Ann Becker 1995

Optimization of Bayesian Inference and Approximation Algorithms for the Weighted Vertex Feedback Set Problem
552 Irina Notkin 1995

Parallel Adaptive Ray Tracing
553 Elena Ravve 1995

Model Cheking for Various Notions of Product
554 Michael Kariv 1995

Model-Based Compression of Synthetic Animation Sequences
555 Polina Golland 1995

Use of Color for Optical Flow Estimation
556 Nira Shavitt 1995

Mapping Dynamic Parallel Programs Into Parallel Systems
557 Ahron Kupershtok 1995

The Hypercube - Features Generalizations and Embedding Sets Of Numbers in It
558 Noam Paz 1995

Ursus: An Advanced Neural Network Environment
559 Yigal Bejerano 1995

Setup and Maintenance of a Multi-Point Conversation
560 Amir Eliaz 1995

Handwriting Recognition Via Short Line Segments
561 Michal Jacovi 1994

Learmnning in the Limit and Non-Uniform
562 Galit Shemesh 1994

Upper & Lower Bounds in Reconfigurable Networks
563 Oren Brezner 1994

Expectation Semantucs for Modal Logic
564 Hagit Brit 1994

Public Data Structures and Public Counters as a Special Case
565 Gilad Granot 1994

Planar Geid Drawings of Graphs with Few Bends in Eahe Edge
566 Amnon Shaham 1994

Implementation of Multi-Writer Multi-Reader Atomic Register
567 Baruch Katz 1994

Minimzing the Performance Degradation Due to Conditional
568 Arie Ben Ephraim 1994

Pattern Recognition Using Similarity Networks
569 Oded Lempel 1994

Dual Round Retiming
570 Offer Zimerman 1994

Using "Write"Only Cache" for Improring "Cacne Based" Systems
571 Benjamin Gershon 1994

Synthesis of Concurrent Systems
572 Allon Adir 1994

Compiling Programs with Multiparty-Interactions and Teams
573 Evgeny Roytman 1994

Dynamic Color Quantization of Animation Sequences
574 Shoham Ben-David 1994

Using Graphs to Represent Equivalence Classes of Parallel
575 Leonid Zosin 1994

Privacy of Symmetric Functions
576 Mordechai Frances 1994

Measuers of Complexity of Classes of Sets and Their
577 Irit Rosdeutscher 1994

Systematic Experimentation with Macro-Learning
578 Ishai Ben-Aroya 1994

Bounds and Algorithms for Deflection Routing
579 Yael Abarbanel 1994

Algorithms for Dynamic Graphs
580 Amir Ben-Dor 1994

On the Complexity of Computing the Permanent
581 Zvi Berkovich 1994

Sematic Debugging of Black Boxes
582 David Carmel 1994

Learning Models of Strategy's Strategy in Game Playing
583 Tal Djerassi-Shintel 1994

Lower Bounds for Decision Problems in Semi-Sjnchronous
584 David Lorenz 1994

Learning in Games Using Symbolic Classification
585 Yaron Sella 1993

Learning of Resource Allocation Strategies for Game Playing
586 Noam Shintel 1993

Synthesis of Modular Delay-Insensitive Netwerks from Petri
587 Mircea Namolaru 1993

Compilation Techniques for Distributed Constraint Languages
588 Arnon Amir 1993

Depth from Structured Lisht and Axial Motion
589 Ronit Lubitch 1993

Closed Schedvlers: Motivation Construction and Application
590 Ophir Munk 1993

A New Parallel Factorization A= Ddtbc for Band Symmetric
591 Nechama Navony 1993

A Verge and Randomized Complexity of Distributed Problems
592 Ronit Fraiman 1993

Complexity of Learning by Distances
593 Alon Efrat 1993

Dynamically Maintainhg the Ceter of a
594 Tatiana Orenstein 1993

Using Partial Scan for Testing of Digital Sequential Circoir
595 Lev Finkelstein 1993

Learning to Play by Acquiring Move-Patterns
596 Ariel Kahan 1993

Zero Knowledge Proofs with Constant Number of Iterations
597 Moshe Levinger 1993

Morphological Disambiguation in Hebrew
598 Shaul Silvian Marcus 1993

Estimation of Lexical Relations Using Word Similarities
599 Abraham Sharell 1993

On the Average Gomplexity of Sat for Fiat Distributions
600 Ilan Ronel 1993

Topolgy Design Capacity Allocation and Route Assignment
601 Yishay Brown 1993

Common Sense Maps Generator
602 Netta Aizenbud 1993

Self-Stabilization of Fault-Tolerant Distributed Algorithms
603 Shai Halevi 1993

Greedy Hot-Potato Routing
604 Amos Beimel 1992

Ideal Secret Sharing Schemes
605 Yardena Peres 1992

Implementation of the Grid File System
606 Dror Sneh 1992

The Complexity of Global Computation in the Presence of
607 Ophir Rachman 1992

Wait Free Randomized Consensus
608 Ruben Hasson 1992

A Comparison of Data Models Forcomplex Objects
609 Isaac Nativ 1992

Consistent Database with Non-Serialized Queries
610 Lee-Bath Nelson 1992

Characterization of Distributed Interactive Tasks
611 Nir Dvir 1992

Freezing - Interaction Between Concurrent Distributed Algs.
612 Ran Canetti 1992

A Tradeoff Between Randomness and Commonication Complexity
613 Michal Dvir 1992

Incompleteness and the Theory of Computer Science
614 Yoram Singer 1992

Non Parametric Methods for Speech Consonants Recognition
615 Eran Aharonson 1992

The Structure of Counting Networks
616 Irit Yadin 1992

The Distributet Counter Problem
617 Elana Zamir 1992

Semantic Parser for Context Free Sentences in Hebrew
618 Yaniv Barguri 1992

The Hierarchy of Transitive Closure
619 Erez Petrank 1992

The Knowledge Complexity of Interactive Proofs
620 Merav Michaeli-Aaroni 1992

A Generalization of Group Testing
621 Avigdor Pollak 1992

From Neural Networks to Production Rvles and Back
622 Ze'ev Collin 1992

A Self Stabilizing Distributed Solution
623 Rami Marelly 1991

Automatic Verifier of Distributed Algorithms
624 Ron Resnik 1991

Nuerical Analysis of Two-Phase Rotating Flow
625 Michel Adar 1991

An Interactive Graphical Development System for Orject
626 Raanan Grinwald 1991

Merging Polygons with Holes
627 Miriam Sharon 1991

Learning Automata
628 Guy Even 1991

Construction of Small Probability Spaces
629 Hana De-Lion 1991

Real Time Temporal Logics
630 Yael Rinoenau 1991

An Efficient Algorithm for Maximum Dyramis Flow Problem
631 Yair Amir 1991

Customer Scheguling Under Qveueing and Delay Constraints
632 Johny Srouji 1991

Adaptaticn of the Unix Ditroff for Formatting Arabic Text
633 Eli Dichterman 1991

Derandomizing Online Algorithms
634 Shalom Wintner 1991

Syntactic Analysis of Hebrew Sentences
635 Meir Pinhasov 1991

A Linear-Time Bounded Concurrent Time-Stamp Scheme
636 Anat Helman 1991

Parallel Solution of An Elliptic Eguation in Twd Dimentidns
637 Nir Solel 1991

Efficient Algorithms for Disjoint Paths Steiner Tree
638 Gil Shurek 1991

Modular Computer Aided Verification of Concurrent Systems
639 Lyor Goldstein 1990

Generation and Analysis of the Possession Inflexion of
640 Ariel Calo 1990

The Expressive Power of the Transitive Closure
641 Marc Elie Jalfon 1990

Self Stabilizing Random Algorithms on Distributed Uniform Sy
642 Oran Sharon 1990

Session Management and Organization in Broadcast Networks
643 Sergio Fogel 1990

Ray Shooting: Searching and Counting Queries
644 Robert Geva 1990

Representation of Irrelevance Relations by Graphs
645 Ady Tal 1990

Vertex Disjoint Paths in Series Paraller Graphs
646 Dan Kimmel 1990

Simulation Project on Ibm/pc for Electronic Wallet
647 Shmuel Ur 1990

Graphoids: Graph Representation and Membership Problems
648 Ruthi Erez 1990

An Interactive Iaterpretes Withgraphic Display of Program
649 Sara Bittan 1990

Linear Broadcast Routing
650 Moshe Molcho 1990

Distributed Algorithms with a Fault Detection Ring
651 Osnat Meir 1990

Analysis of the Performance of the Exponential Pxramid
652 Lior Moscovici 1990

Implementing Distributed Tasks in Presence of Failures
653 Mordkhai Lempel 1990

Modular Lattices - An Algorithmic Approach
654 Erela Amit 1990

Machine Learning Algorithm for Diagnosing Misconceptions
655 Iris Bezalel 1990

Structured Design of Delay-Insensitive Controllers
656 Doron Cohen 1990

Combinatorical Designs Derived from Constant Weight Godes
657 Netta Shani 1990

On the Privocy Gdp in Dense Symmetric Functions
658 Shimon Yanai 1990

Environment for Translating "Metafont"to"Postscrcpt"
659 Michal Shany-Klein 1990

Generating & Analyzing Segolatenoun Inflection in Hebrew
660 Eyal Ben-Chanoch 1990

Covering Polygons with Squares
661 Zeiev Shtapler 1990

Automatic Verification of Distributed Algorithms
662 Shlomo Dolev 1990

Self Stabilization of Dynamic Systems Assuming Only Read/
663 Gidon Yona 1990

Verification of Protocols Fur Sharfd Registers Systems by G
664 Yuval Neeman 1990

Domain Archetype - a Eeasiblit Y Study
665 Elan Neeman 1990

Route Setmp and Takedown in a Funnel Network
666 Rivka Licht 1990

Realization of Permutations in a Shuffle-Exchange Network
667 Moises Sananes 1989

Dros a Distributed Replicated Data Systam
668 Alon Lavie 1989

Two Level Morphology for Hebrew
669 Laurent Fournier 1989

Performance Evalualion of Priorilized Token Sing Local
670 Simona Cohen-Rabinovici 1989

Parallelization Strategies in Knowledge Bases
671 Amir Rahat 1989

Logic Programming in a Distributed Euvironment
672 Zvi Ostfeld 1989

Des Trees Construction:characterizations and Sequential and
673 Yael Gafni 1989

Semantics for a "Knowing at Most" Operator
674 Ofrit Lesser 1989

Routing by Controlled Flooding
675 Gil Sideman 1989

Evaluation of Hop by Hop Vs End to End Go Back-N Protocol
676 Gil Allon 1989

Towauosabi Divectional Operating System
677 Abraham Nathan 1989

Compilation of Fcp to Carmel and Its Performance Analysis
678 Eyal Kushilevitz 1989

Perfect Zero-Knowledge Proofs
679 Tony Wolfman 1989

""Flo" a Language for Typesetting Flowcharts
680 Yael Shemesh 1989

Relation Recognizing Automatta
681 Raz Rafaeli 1989

Global Time in Distributed Systems
682 David Goldfeld 1989

Eguivalence of Interconnection Netnorus
683 Ehud Hausman 1989

Erd Raseb Natural Qvery Langvage
684 Tziporet Koren 1989

On the Construction of Pseudo Random Block Ciphers
685 Oren Hurvitz 1989

Janus Automata as a Model for the Intelligent Scan Problem
686 Itay Kariv 1989

Hierarchical Symbolic Indices in General Purpose
687 Gabriel Matsliach 1989

Fitting Traditional Search Structures to New Architectures.
688 Esther Leyzerovitch 1989

Impiementing Superimpositions for Occam
689 Uri Habusha 1989

Vi Iv a Ri-Directional Version of the Vi Full-Screen Edito
690 Iris Reicher 1988

Verification and Synthesis of Asynchronous Circuits
691 Ameen Abu-Hanna 1988

An Integrated Deep-Shallow Expert System for Multi-Leuel
692 Zeev Becker 1988

An Adaptation of the Unix Ditroff for Rormatting Tri-Directi
693 Daniel Fischer 1988

Maintenance of Unreliable Distributed Systems


694 abstract theses title found in the Department Computer Science
Last updated on: Friday ,November 17, 2017