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

הודעות

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

 

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

 

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

 

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

 

יום מחקר למשתלמים ע"ש ג'ייקובס. בניין צ'רצ'יל - 10.1.2018 בין השעות 12:30-14:30

 

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

 

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

 

 





 


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 Dalia Alperovich 2018 Abstracts
Efficient Search for Optimally Enriched Combination of Ranked Lists
1 Arthur Kiyanovski 2018 Abstracts
The Real Difference Between Emulation and Paravirtualization of High-Throughput I/0 Devices
2 Netanel Kligler 2018 Abstracts
On Visibility and Image Processing
3 Igor Zarivach 2018 Abstracts
The Cruncher: A solver for Large-Scale MIP Problems
4 Anna Trostanetski 2018 Abstracts
Modular Demand-Driven Analysis of Semantic Difference for Program Versions
5 Barak Pat 2018 Abstracts
Geosocial Search: Finding Places based on Geotagged Social-Media Posts
6 Sarai Duek 2018 Abstracts
Automatic Generation of Language-Independent Features for Cross-Lingual Classification
7 Evgeny Moroshko 2018 Abstracts
Sampling-on-Demand in SDN
8 Gal Sheffi 2017 Abstracts Theses A Scalable Linearizable Multi-Index Table
9 Tal Regev 2017 Abstracts Theses Multi- Robot Decentralized Belief Space Planning in Unknown Environments
10 Areej Costa 2017 Abstracts Theses Exact Learning of Juntas from Membership Queries
11 Eyal Moscovici 2017 Abstracts Theses Towards Sidecore Management for Virtualized Environments
12 Rina Levy 2017

Fast Distributed Approximation for Max-Cut
13 Ran Bernstein 2017 Abstracts Theses Laban Movement Analysis and LDA Distributed Monitoring
14 Itay Hazan 2017 Abstracts Theses Two-Party Direct-Sum Questions through the Lens of Multiparty Communication Complexity
15 Matan Liram 2017 Abstracts Theses Evaluating Zigzag Code in a Distributed Storage System
16 Gal Cohen 2017 Abstracts Theses On routing schemes that are robust to changes in bandwidth demand
17 Ran Koretzki 2017 Abstracts
Improving SSD-based Caches Lifetime with Write-Once Memory Codes
18 Gal Maor 2017 Abstracts Theses Information Theory and Privacy Related Questions in Communication Comlexity
19 Yanir Damti 2017 Abstracts
Adaptive Methods for Computing and Comparing Evolutionary Distances
20 Tomer Levy 2017 Abstracts Theses Fajita - a Fluent API for Automatic Generation of Fluent APIs in Java
21 Yi Ren 2017 Abstracts Theses Example-Based Image Synthesis via Randomized Patch-Matching
22 Rotem Liss 2017 Abstracts Theses Entanglement and Geometrical Distances in Quantum Information and Quantum Cryptography
23 Lior Friedman 2017 Abstracts Theses Recursive Feature Generation for Knowledge-Based Induction
24 Roni Licher 2017 Abstracts Theses Hardening Cassandra Against Byzantine Failures
25 Ran Breuer 2017 Abstracts
A Deep Learning Perspective on the Origine of Facial Expressions
26 Yoni Choukroun 2017 Abstracts Theses On Elliptic Operators and Non-Rigid Shapes
27 Naama Haramaty Krasne 2017 Abstracts Theses Low-Complexity Cryptographic Hash Functions
28 Evgenya Pergament 2017 Abstracts Theses Algebraic RAM
29 Michael Balber 2017

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

Probabilistic Local Variation Segmentation
92 Elior Malul 2014 Abstracts Theses Towards Temporal Correctness of Event Processing
93 Assaf Rappaport 2013 Abstracts Theses Approximation Algorithms for Soft-Capacitated Connected Facility Location Problems
94 Assaf Israel 2013 Abstracts Theses Cost Aware Fault Recovery in Clouds
95 Pavel Gurevich 2013 Abstracts Theses Experimental Quantum Key Distribution with Classical Alice
96 Amir Geva 2013 Abstracts Theses Far Field Surveillance Target Classification
97 Haggai Toledano 2013 Abstracts Theses Coverage-Driven Refinement of Conceptual Representations
98 Ami Paz 2013 Abstracts Theses Counting-Based Impossibility Proofs for Distributed Tasks
99 Sabih Agbaria 2013 Abstracts Theses On Incomplete Bug Fixes and Programmers' Intuition on These
100 Erez Druk 2013 Abstracts Theses Linear Time Encodable Codes and Cryptography
101 Eyal Posener 2013 Abstracts Theses Dynamic Memory Allocation in Cloud Computers Using Progressive Second Price Auction
102 Raeda Naamneh 2013 Abstracts Theses Fair Multi-Label Reconstruction from Cross-Sections
103 Avishai Gretz 2013 Abstracts Theses Syntactic Annotation of Hebrew CHILDES Corpora
104 Karine Even 2013 Abstracts Theses Finding Rate Numerical Stability Errors in Concurrent Computations
105 Shaked Flur 2013 Abstracts Theses Weak Omega Automata
106 Nadav Shragai 2013 Abstracts Theses Geometric Covering
107 Dmitry Pidan 2013 Abstracts Theses Selective Prediction with Hidden Markov Models
108 Roman Zeyde 2013 Abstracts Theses Computational Electrokinetics
109 Yosi Atia 2013 Abstracts Theses Algorithmic Cooling of Spins by Optimal Control
110 Omer Strulovich 2013 Abstracts Theses Lossy Chains and Fractional Secret Sharing
111 Ranit Gotsman 2013 Abstracts Theses Generating Map-based Routes from GPS Trajectories and their Compact Representation
112 Mordechai Porat 2013 Abstracts Theses A Semantic Approach to User Interface Design
113 Alon Mishne 2013 Abstracts Theses Programming with Millions of Examples - Scalable Static Specification Mining
114 Yoav Haimovitch 2013 Abstracts Theses Large-Scale Semi-Supervised Sentiment Analysis
115 Hanna Fadida 2013 Abstracts Theses Automatic Extraction of Subcategorization Frames for Hebrew
116 Moshe Gabel 2013 Abstracts Theses Unsupervised Anomaly Detection in Large Datacenters
117 Shay Ben-Elazar 2013 Abstracts Theses Computational Methods for Analyzing Gene Regulation in Model Organisms
118 Netanel Raviv 2013 Abstracts Theses Truth Table Minimization of Computational Models
119 Michael Beder 2013 Abstracts Theses Approximation Algorithms for Resource Scheduling and Allocation Problems
120 Ran Zemach 2012 Abstracts Theses Algebraic Collocation Coarse Approximation (ACCA) in Multigrid
121 Vadim Eisenberg 2012 Abstracts Theses Programming Applications over the Semantic-Web
122 Igor Kviatkovsky 2012 Abstracts Theses Color Invariants for Person Re-Identification
123 Michael Kuperstein 2012 Abstracts Theses Preserving Correctness Under Relaxed Memory Models
124 Ariel Raviv 2012 Abstracts Theses Concept-Based Approach to Word-Sense Disambiguation
125 Amir Abboud 2012 Abstracts Theses Monitoring General Functions in Distributed Systems with Minimal Communication
126 Daniel Hurwitz 2012

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

Gabor Filters Analysis for Texture Segmentation
292 Orly Meir 2005 Abstracts
A Decision Procedure for Equality Logic
293 Alex Goryachev 2005 Abstracts
Offset-Polygon and Annulus Placement Problems
294 Lawrance Khoury 2005 Abstracts
Learning with Errors in Answers to Membership Queries
295 Oren Shnitzer 2005 Abstracts
Self-Consistent Batch Classification
296 Gil Yarom Sasson 2005 Abstracts
D-SEDA Distributed Staged Event-Driven Architecture
297 Orit Eden 2005 Abstracts
Simulation and Visualization of Gravity Currents
298 Nili Ifergan 2005 Abstracts
Achieving High Speedups in Distributed Reachability Analysis through Asynchronous Computation
299 Michael Slavkin 2005 Abstracts
Detecting Data Structures from Traces
300 Rotem Bennet 2005 Abstracts
Improved Learning with Corrupt Oracles
301 Alon Flaisher Missing advisors 2005

Enhanced Vacuity Detection in Linear Temporal Logic
302 Guy Korland 2005 Abstracts
Location Awareness in Wireless Ad-Hoc Networks (or How to RLISE a TIGR?)
303 Eyal Gordon 2005 Abstracts
Competitive Throughput Analysis of Greedy Protocols on Directed Acyclic Networks
304 Michael Bronstein 2005 Abstracts
Three-Dimensional Face Recognition
305 Tamer Salman 2005 Abstracts
Learning Polynomial Generating Rules Using Support Vector Machines
306 Genady Beryozkin 2005 Abstracts
Plural Semantics for Control Sentences in LFG's "Glue" Interface
307 Oleg Izmerly 2005 Abstracts
Modern Cryptography in a Quantum World
308 Vadim Galperin 2005 Abstracts
In-Line Regression by Support Vectors with Application to Head Motion Anticipation from EMG Signals
309 Shadi Saba 2005 Abstracts
Barycentric Spherical Embeddings - Algorithms and Theory
310 Haggai Yedidya 2005

Performance Evaluation of Data Caches Organizations for SMT Processors
311 Assaf Harel 2005 Abstracts
Estimating the Number of Faults Remaining in Software Code Document Inspected with Iterative Code Reviews
312 Constantine Elster 2005 Abstracts
Efficient Monitoring of QOS Parameters
313 Roy Frank 2005 Abstracts
Revenue-Maximizing Allocations in Constrained Multi-Object and Combinatorial Auctions
314 Mark Matusevich 2005 Abstracts
Off-Line Improvement of Generic Group Trackers
315 Gregory Dardyk 2005 Abstracts
Robust Nonlinear Multigrid Methods
316 Ron Begleiter 2005 Abstracts
Can Theory Meet Practice in Sequence Prediction?
317 Jonathan Laserson 2005 Abstracts
Approximations Algorithms for Sorting Buffers
318 Shimon Landa 2005 Abstracts
Combinatorial Approximation Algorithms for the Fractional Set-Cover Problem
319 Roman Barsky 2005 Abstracts
Electromigration-dependent Parametric Yield Estimation
320 Roy Bar-Haim 2005 Abstracts
Part-of-Speech Tagging for Hebrew and other Semitic Languages
321 Saar Pilosof 2005

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

Estimating the Principal Curvatures and the Darboux Frame from Real 3D Range Data and its Application to the Recovery of Primitives
404 Hilla Atzmon 2002

Replacement Policies for Internet Wide Caching of Distributed Objects
405 Yosef Firstenberg 2002

Selective Caching for Acceleration Purposes of Intermediate Results in Object-Oriented Programs
406 Elena Tulchinsky 2002

Positive Semantics of Projections in Venn-Euler Diagrams
407 Gilad Ben Avi 2002 Abstracts
Monotonicity Properties of Plural Quantifiers in Natural Language
408 Yaniv Hamo 2002

Balanced Packet Discard for Improving TCP Performance in ATM Networks
409 Lior Ron 2002

A Visual Feedback System
410 Assaf Shatil 2002

Speedup Learning for Repair-Based Search by Identifying Redundant Steps
411 Vitaly Feldman 2002

On Using Extended Statistical Queries to Avoid Membership Queries
412 Sally Tadmor 2002 Abstracts
A Framework for Interactive Information Systems
413 Dmitry Gavinsky 2002 Abstracts
Boosting with Polynomially Bounded Distributions
414 Shlomit Koyfman 2002

Semantic Invariance of Algorithms for Nominal Anaphora Resolution
415 Asi Elad 2002 Abstracts
On Surface Flattening via MDS and FMMTD
416 Vladislav Kalinovsky 2002 Abstracts
Symphony: Managing Virtual Servers
417 Ari Frank 2002 Abstracts
A New Branch and Bound Feature Selection Algorithm
418 Keren Bendel 2002

Applications of the Local-Ratio Technique: A Survey
419 Sagi Katz 2002

Techniques for Increasing Coverage of Formal Verification
420 Ronit Reger 2002 Abstracts
Learning and Exploiting Relative Weaknesses of Opponent Agents
421 Ziv Nevo 2002

On Online Learning of Decision Lists
422 Roni Ram 2002 Abstracts
Efficient Distribution of Email Messages
423 Alexandr Kaplan 2002 Abstracts
Finding Epipolar Geometry from Two Color Images
424 Dor Laor 2002

Soft Real-Time Layered Group Communication
425 Tal Cohen 2002

Self-Calibration of Metrics of Java Methods towards the Discovery of the Common Programming Practice
426 Emil Kohn 2002 Abstracts
A Transparent DSM System
427 Ran Yaroshinsky 2002

Smooth Online Learning of Expert Advice
428 Robert Parham 2002

Solving the Dynamic Conflict between N Moving Objects Using Neural Networks
429 Vadim Gleizer 2002 Abstracts
Optimizing Sharing Patterns and Locality via Thread Migration
430 Liav Adi 2002

Fast Computation of Geodesic Distances: Graphic Applications
431 Dan Kenigsberg 2002

Grover's Quantum Search Algorithm and Mixed States
432 Yaroslav Fedorov 2002

Implementing and Extending Natural Logic
433 Irit Katriel 2002

Implicit Data Structures based on Local Reorganizations
434 Julia Chuzhoy 2001

Hardness of Approximation and New Approximability Classes
435 Natalie Eckel 2001

Empirical Study of Object-Layout Strategies and Optimization Techniqes
436 Yuri Tsoglin 2001

JAMOOS - an Object Oriented Language for Grammars
437 Vladimir Furman 2001

Cryptanalysis of Some Modern Blockciphers
438 Alexander Gaysinsky 2001

Caching Integrated with Pipelined Prefetching
439 Zehavit Kehat 2001

Approximating the Dense Set-Cover Problem
440 Svetlana Kronrod 2001

Probablistic Scalable Application Placement in Distributed Systems
441 Dina Tal 2001

Analysis and Use of Subcategorization of Verbs in Validation of Hebrew Sentences
442 Alexander Bogomjakov 2001

Optimized Polygon Traversal of Progressive Meshes for Vertex Caching
443 Noam Rinetskey 2001

Interprocedural Shape Analysis
444 Boris Epelman 2001

Remote Geometrical Modeling
445 Ilya Ekshtein 2001 Abstracts
Texture Mapping Using Constrained Parametrization
446 Lior Leiba 2001

Towards Automatic Electronic Commerce: EContracts Framework Specification and Preliminary Implementation
447 Julia Mosin 2001

Base Dependence of Extensions for Open Default Theories
448 Vita Bortnikov 2001

Adaptive Algorithms for Mutual Exclusion
449 Rafi Tayar 2001

Scanning Directed Eulerian Mazes by a Finite-State Robot
450 Eli Almog 2001

Scheduling Accesses to Shared Memory by a Bus Arbiter: The k-client Problem Revisited
451 Shlomo Livne 2001

Machine Learning for Efficient BDD Variable Ordering in Verification
452 Tzach Levyatan 2001

Anytime Search by Improving Highest-Utility Solution Segments
453 Shirley Halevy 2001

Two-Dimensional Coding for Recording Channels
454 Yosseff Levanoni 2001

On-The-Fly Garbage Collection via Sliding Views
455 Vladimir Yanovski 2001

Simple Agents for Complex Tasks
456 Boris Kronrod 2001

Topics in Compression of 3d Models
457 Yan Sorkin 2001

CD-Edit- A Constraint Diagrams' Editor
458 Irina Shapira 2001

Scheduling Splitting Intervals
459 Shiri Moran 2001

Fast, Minimal, and Oblivious Routing Algorithms on the Mesh with Bounded Queues
460 Oren Zeev Ben Mordejai 2001

Efficient Integration of On-the-fly Data Race Detection in Distributed Shared Memory and Symmetric Multiprocessor Environments
461 Barak Hermesh 2001

Fiducials for Precise Location Estimation
462 Gregory Shakhnarovich 2001

Statistical Data Cloning for Machine Learning
463 Alexander Gorovoy 2001

Applying Data Compression Algorithms to Software Engineering
464 Yoav Katz 2001

Scheduling with Batching and Incompatible Job Families
465 Guy Lebanon 2000

Moire Pattern Synthesis
466 Igor Dozorets 2000

Computer-Based Model for Speaker Recognition by a Human Listener
467 Erel Segal 2000

Hebrew Morphological Analyzer for Hebrew Undotted Texts
468 Guy Froimovich 2000

Object Classification from Range Images
469 Patrick Chouraqui 2000

Surface Reconstruction with Triangular Bezier Patches from Range Measurements
470 Yael Zbar 2000

Open Default Theories
471 Dmitry Kogan Missing advisors 2000

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

First-Order Non-Monotonic Logic
473 Omer Barkol Missing advisors 2000

Tighter Lower Bounds for Nearest Neighbor Search and Related Problems in the Cell Probe Model
474 Ariella Voloshin Missing advisors 2000

A Unified Approach to Computing Domination Sets and Independence Sets for Intervals on a Line
475 Dmitry Rusakov 2000

Selective Sampling for Nearest Neighbor Classifiers
476 Gal Vardi 2000

Analysis and Generation of Hebrew Nouns with Derivational Morphemes
477 Shiri Manor 2000

Scalable Multicast in a Logical Hypercube
478 Dmitry Levinson 2000

Corpus-Based Methods for Word Sense Disambiguation
479 Gil Zigelman 2000

Texture Mapping by Surface Flattening Via Mds
480 Shay Artzi 2000

Lower Bounds on the Complexity of Polynomail Multiplication Over Finite Fields
481 Victoria Skoblikov 2000

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

Dynamic Adaptation of the Sharing Granularity in Dsm Systems
483 Ronny Lempel Missing advisors 1999

Finding Authoritative Sites on the Www (and Other Hyperlinked Media) by Analyzing the Web's Link- Structure
484 Dror Rawitz Missing advisors 1999

Combinatorial and LP-based Methods for Designing Approximation Algorithms
485 Yuri Miroshnik Missing advisors 1999

Skew-Tolerant Clocking Techniques
486 Vitaly Surazhsky 1999

Morphing Planar Triangulations
487 Alla Gorbach Missing advisors 1999

Computing in Anonymous Asynchronous Shared Memory
488 Arie Tal 1999

Decidability of Inclusion for Unification Based Automata
489 Sharon Or Missing advisors 1999

Encapsulating Real-Time in Failure Detectors
490 Lior Arzi 1999

Probabilistic Model for Predicting the Efficiency of a Fault Detection Process in a Software Requirement Document
491 Costa Touma 1999

Triangle Mesh Compression
492 Alon Ravid Missing advisors 1999

A Method for Extracting and Stating Software Requirements That a User Interface Prototype Contains
493 Yohai Makbily 1999

Message Filtering for Geometric Distributed Virtual Environments
494 Michael Gertelman 1999

Automatic User Interface Generation from a Given Domain Model
495 Oleg Frenkel Missing advisors 1999

Multicast Group Synchronization in Atm
496 Alon Raviv 1999

Three Dimensional Freeform Sculpting Via Zero Sets Of Scalar Trivariate Functions
497 Octavian Soldea Missing advisors 1999

Algorithms on Continued Fractions
498 Shai Rubin Missing advisors 1999

Using Virtual Cache Lines for Higher Data Cache Performance
499 Lea Shalev Missing advisors 1999

Load Sharing in Distributed Shared Memory Systems
500 Amit Cohen Missing advisors 1999

A Dynamic Approach for Efficient Tcp Buffer Allocation
501 Ilia Gretskin Missing advisors 1999

Java Interface for Irit Solid Modeler
502 Dan Rosenstein Missing advisors 1999

Feature Generation Using General Constructor Functions
503 Arkady Estrin Missing advisors 1999

A Comparison Between First-Order Temporal Logic and Temporal Logic of Actions
504 Avigail Orni Missing advisors 1999

Measuring the Locality of Space-Filling Curves
505 Michael Plavnik Missing advisors 1999

Surface Design Using Global Second Order Differential Constraints
506 Anatoly Koyfman Missing advisors 1999

Facilitating Generation of Help Systems
507 Ronit Nossenson Missing advisors 1999

Dynamic Maintenance of Connectivity Classes of a Graph Using Decomposition Into 3-Components
508 Arnon Netzer 1999

Mosaicing Video Sequences
509 Marina Biberstein Missing advisors 1999

Constructions and Bounds for Blot-Correcting Codes
510 Mira Yaniv 1998

Dynamic Schemes for Specualtive Code Execution
511 Tali Yatzkar 1998

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

A Simple and Efficient Method for Network Decomposition And Synchronization
513 Boris Rabinovich 1998

Visualization of Large Terrains in Resource-Limited Computing Environments
514 Eyal Dagan 1998

Universal Operations: Unary Versus Binary
515 Harry Hornreich 1998

A Case Study of Software Reengineering
516 Vitaly Skachek 1998

Coding for Spectral-Null Constraints
517 Ari Freund 1998

On-Line Assignment with Load Balancing
518 Amit Reisman 1998

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

Increasing the Performance of Tcp Over a Unidirectional Geostationary Satellite Channel
520 Jacob Eckel 1998

A Framework for Static Checking of Design Level Traits
521 Anna Gringauze 1998

The Complexity of Propositional Proofs
522 Fanny Faina Shpilberg 1997

Wd-Pic, a Wysiwyg Direct-Manipulation Pic
523 Ziv Mador 1997

The Probed Partial Digest Problem - Algorithms and Number Of Solutions
524 Kirill Shoikhet 1997

Optimal Triangulations Via Mininal Separators
525 Ehud Aharoni 1997

Restricted Dynamic Steiner Trees for Scalable Multicast in Datagram Networks
526 Leonid Voldman 1997

Using Smart Terminals to Effectively Enhance Commuication Throughput
527 Boris Zemlyak 1997

Direct Depth from Axial Camera Motion
528 Roman Talyansky 1997

Coding for Two-Dimensional Constraints
529 Roman Kazinnik 1997

Free-Form Surface Editing Using Multiresolution Decomposition
530 Tal Drory 1997

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

Characterizing Perfect Privacy
532 Beery Holstein 1997

T++ : Test Case Generator Using Code Abstraction
533 Nadav Eiron 1996

Variants of Mistake Bound Learning Algorithms
534 Ishai Rabinovitz 1996

Random and Deterministic Approximation Algorithms for Covering Problems.
535 Galia Givaty 1996

Learning Subclasses of Dnf Formulas and Disjunctions Of Threshold Functions Using Queries
536 Michael Kliot 1996

Local Multivalued Invariant Signatures and Their Usage in Pictorial Databases
537 David Barta 1996

A System for Document Reuse
538 Hillel Miller 1996

Saving Space by Fully Exploiting Invisible Transitions
539 Anna Moss 1996

Quantifying the Reliability of Feature-Based Object Recognition
540 Ilan Evron 1996

Reliable Signaling in Atm Networks Over Parallel Signaling Vc Connections
541 Guy Bashkansky 1996

Monolingual Translator Workstation
542 Boris Farizon 1996

Dynamic Data Management in Parallel Ray Tracing
543 Juliana Sheinerman 1996

Consequence Relations for Default Reasoning Without the 'and' Rule
544 David Konopnicki 1996

Information Gathering in the World-Wide Web: the W3ql Query Language and the W3qs System
545 Gitit Ruckenstein 1996

Encoding for Input-Constrained Channels
546 Maxim Goldin 1996

Weak Consistency Distributed Shared Memory System Design
547 Shmuel Cohen 1996

Matching of Curves in Computer Aided Geometric Design and Computer Graphics
548 Ofra Hod 1996

Constructions for Error-Correcting Codes and Covering Codes
549 Ohad Ben-Shahar 1996

To Push Or Not to Push: on the Rearrangement of Movable Objects by a Mobile Robot
550 Eli Stein 1996

An Efficient Approach for Emulating a Token-Ring Lan Over An Atm Network
551 Olga Tebelev 1996

Volumetric Computer Graphics in Surgery Process Planning
552 Alexander Dubrovsky 1996

Load Balancing in Distributed Shared Memory System
553 Artur Zavalkovsky 1995

Mys - An Object Oriented Database Management System in the Mach Operating System Environment
554 Segev Wasserkrug 1995

Neural Network Design for Classification
555 Irina Notkin 1995

Parallel Adaptive Ray Tracing
556 Elena Ravve 1995

Model Cheking for Various Notions of Product
557 Karen Holtz 1995

Semrel - a Semantic Relationship Model for Object Oriented Databases
558 Tamar Tamir 1995

Local Labeling and Resource Allocation Using Preprocessing
559 Rinat Rappoport 1995

The Level of Handshake Required for Establishing Connection
560 Polina Golland 1995

Use of Color for Optical Flow Estimation
561 Ann Becker 1995

Optimization of Bayesian Inference and Approximation Algorithms for the Weighted Vertex Feedback Set Problem
562 Amir Eliaz 1995

Handwriting Recognition Via Short Line Segments
563 Nira Shavitt 1995

Mapping Dynamic Parallel Programs Into Parallel Systems
564 Asaf Shirazi 1995

Efficient Wait-Free Implementations of Atomic Snapshot Memories
565 Yigal Bejerano 1995

Setup and Maintenance of a Multi-Point Conversation
566 Boaz Tamir 1995

K-Connected Graphp Partitions and Approximation Algorithms For Covering Problems
567 Noam Paz 1995

Ursus: An Advanced Neural Network Environment
568 Ahron Kupershtok 1995

The Hypercube - Features Generalizations and Embedding Sets Of Numbers in It
569 Ronen Hod 1995

Coding Methods for Imput Constraind Channels
570 Michael Kariv 1995

Model-Based Compression of Synthetic Animation Sequences
571 Gilad Granot 1994

Planar Geid Drawings of Graphs with Few Bends in Eahe Edge
572 Oren Brezner 1994

Expectation Semantucs for Modal Logic
573 Offer Zimerman 1994

Using "Write"Only Cache" for Improring "Cacne Based" Systems
574 Leonid Zosin 1994

Privacy of Symmetric Functions
575 Evgeny Roytman 1994

Dynamic Color Quantization of Animation Sequences
576 Yael Abarbanel 1994

Algorithms for Dynamic Graphs
577 Oded Lempel 1994

Dual Round Retiming
578 Irit Rosdeutscher 1994

Systematic Experimentation with Macro-Learning
579 Benjamin Gershon 1994

Synthesis of Concurrent Systems
580 Allon Adir 1994

Compiling Programs with Multiparty-Interactions and Teams
581 Hagit Brit 1994

Public Data Structures and Public Counters as a Special Case
582 Shoham Ben-David 1994

Using Graphs to Represent Equivalence Classes of Parallel
583 Baruch Katz 1994

Minimzing the Performance Degradation Due to Conditional
584 Michal Jacovi 1994

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

Upper & Lower Bounds in Reconfigurable Networks
586 David Lorenz 1994

Learning in Games Using Symbolic Classification
587 Arie Ben Ephraim 1994

Pattern Recognition Using Similarity Networks
588 Ishai Ben-Aroya 1994

Bounds and Algorithms for Deflection Routing
589 Zvi Berkovich 1994

Sematic Debugging of Black Boxes
590 David Carmel 1994

Learning Models of Strategy's Strategy in Game Playing
591 Amnon Shaham 1994

Implementation of Multi-Writer Multi-Reader Atomic Register
592 Amir Ben-Dor 1994

On the Complexity of Computing the Permanent
593 Tal Djerassi-Shintel 1994

Lower Bounds for Decision Problems in Semi-Sjnchronous
594 Mordechai Frances 1994

Measuers of Complexity of Classes of Sets and Their
595 Mircea Namolaru 1993

Compilation Techniques for Distributed Constraint Languages
596 Nechama Navony 1993

A Verge and Randomized Complexity of Distributed Problems
597 Alon Efrat 1993

Dynamically Maintainhg the Ceter of a
598 Shai Halevi 1993

Greedy Hot-Potato Routing
599 Tatiana Orenstein 1993

Using Partial Scan for Testing of Digital Sequential Circoir
600 Ophir Munk 1993

A New Parallel Factorization A= Ddtbc for Band Symmetric
601 Arnon Amir 1993

Depth from Structured Lisht and Axial Motion
602 Ilan Ronel 1993

Topolgy Design Capacity Allocation and Route Assignment
603 Shaul Silvian Marcus 1993

Estimation of Lexical Relations Using Word Similarities
604 Lev Finkelstein 1993

Learning to Play by Acquiring Move-Patterns
605 Abraham Sharell 1993

On the Average Gomplexity of Sat for Fiat Distributions
606 Moshe Levinger 1993

Morphological Disambiguation in Hebrew
607 Ronit Fraiman 1993

Complexity of Learning by Distances
608 Ariel Kahan 1993

Zero Knowledge Proofs with Constant Number of Iterations
609 Netta Aizenbud 1993

Self-Stabilization of Fault-Tolerant Distributed Algorithms
610 Yishay Brown 1993

Common Sense Maps Generator
611 Yaron Sella 1993

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

Synthesis of Modular Delay-Insensitive Netwerks from Petri
613 Ronit Lubitch 1993

Closed Schedvlers: Motivation Construction and Application
614 Yardena Peres 1992

Implementation of the Grid File System
615 Michal Dvir 1992

Incompleteness and the Theory of Computer Science
616 Ophir Rachman 1992

Wait Free Randomized Consensus
617 Ruben Hasson 1992

A Comparison of Data Models Forcomplex Objects
618 Isaac Nativ 1992

Consistent Database with Non-Serialized Queries
619 Amos Beimel 1992

Ideal Secret Sharing Schemes
620 Lee-Bath Nelson 1992

Characterization of Distributed Interactive Tasks
621 Erez Petrank 1992

The Knowledge Complexity of Interactive Proofs
622 Yoram Singer 1992

Non Parametric Methods for Speech Consonants Recognition
623 Eran Aharonson 1992

The Structure of Counting Networks
624 Irit Yadin 1992

The Distributet Counter Problem
625 Avigdor Pollak 1992

From Neural Networks to Production Rvles and Back
626 Ran Canetti 1992

A Tradeoff Between Randomness and Commonication Complexity
627 Ze'ev Collin 1992

A Self Stabilizing Distributed Solution
628 Elana Zamir 1992

Semantic Parser for Context Free Sentences in Hebrew
629 Dror Sneh 1992

The Complexity of Global Computation in the Presence of
630 Nir Dvir 1992

Freezing - Interaction Between Concurrent Distributed Algs.
631 Merav Michaeli-Aaroni 1992

A Generalization of Group Testing
632 Yaniv Barguri 1992

The Hierarchy of Transitive Closure
633 Rami Marelly 1991

Automatic Verifier of Distributed Algorithms
634 Yael Rinoenau 1991

An Efficient Algorithm for Maximum Dyramis Flow Problem
635 Ron Resnik 1991

Nuerical Analysis of Two-Phase Rotating Flow
636 Miriam Sharon 1991

Learning Automata
637 Guy Even 1991

Construction of Small Probability Spaces
638 Johny Srouji 1991

Adaptaticn of the Unix Ditroff for Formatting Arabic Text
639 Anat Helman 1991

Parallel Solution of An Elliptic Eguation in Twd Dimentidns
640 Hana De-Lion 1991

Real Time Temporal Logics
641 Nir Solel 1991

Efficient Algorithms for Disjoint Paths Steiner Tree
642 Yair Amir 1991

Customer Scheguling Under Qveueing and Delay Constraints
643 Raanan Grinwald 1991

Merging Polygons with Holes
644 Gil Shurek 1991

Modular Computer Aided Verification of Concurrent Systems
645 Michel Adar 1991

An Interactive Graphical Development System for Orject
646 Meir Pinhasov 1991

A Linear-Time Bounded Concurrent Time-Stamp Scheme
647 Eli Dichterman 1991

Derandomizing Online Algorithms
648 Shalom Wintner 1991

Syntactic Analysis of Hebrew Sentences
649 Ariel Calo 1990

The Expressive Power of the Transitive Closure
650 Lior Moscovici 1990

Implementing Distributed Tasks in Presence of Failures
651 Gidon Yona 1990

Verification of Protocols Fur Sharfd Registers Systems by G
652 Lyor Goldstein 1990

Generation and Analysis of the Possession Inflexion of
653 Marc Elie Jalfon 1990

Self Stabilizing Random Algorithms on Distributed Uniform Sy
654 Ady Tal 1990

Vertex Disjoint Paths in Series Paraller Graphs
655 Rivka Licht 1990

Realization of Permutations in a Shuffle-Exchange Network
656 Mordkhai Lempel 1990

Modular Lattices - An Algorithmic Approach
657 Osnat Meir 1990

Analysis of the Performance of the Exponential Pxramid
658 Moshe Molcho 1990

Distributed Algorithms with a Fault Detection Ring
659 Sara Bittan 1990

Linear Broadcast Routing
660 Iris Bezalel 1990

Structured Design of Delay-Insensitive Controllers
661 Ruthi Erez 1990

An Interactive Iaterpretes Withgraphic Display of Program
662 Shmuel Ur 1990

Graphoids: Graph Representation and Membership Problems
663 Dan Kimmel 1990

Simulation Project on Ibm/pc for Electronic Wallet
664 Doron Cohen 1990

Combinatorical Designs Derived from Constant Weight Godes
665 Shimon Yanai 1990

Environment for Translating "Metafont"to"Postscrcpt"
666 Oran Sharon 1990

Session Management and Organization in Broadcast Networks
667 Zeiev Shtapler 1990

Automatic Verification of Distributed Algorithms
668 Erela Amit 1990

Machine Learning Algorithm for Diagnosing Misconceptions
669 Elan Neeman 1990

Route Setmp and Takedown in a Funnel Network
670 Sergio Fogel 1990

Ray Shooting: Searching and Counting Queries
671 Yuval Neeman 1990

Domain Archetype - a Eeasiblit Y Study
672 Shlomo Dolev 1990

Self Stabilization of Dynamic Systems Assuming Only Read/
673 Michal Shany-Klein 1990

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

Covering Polygons with Squares
675 Robert Geva 1990

Representation of Irrelevance Relations by Graphs
676 Netta Shani 1990

On the Privocy Gdp in Dense Symmetric Functions
677 Simona Cohen-Rabinovici 1989

Parallelization Strategies in Knowledge Bases
678 Amir Rahat 1989

Logic Programming in a Distributed Euvironment
679 Yael Gafni 1989

Semantics for a "Knowing at Most" Operator
680 Laurent Fournier 1989

Performance Evalualion of Priorilized Token Sing Local
681 Zvi Ostfeld 1989

Des Trees Construction:characterizations and Sequential and
682 Ofrit Lesser 1989

Routing by Controlled Flooding
683 Moises Sananes 1989

Dros a Distributed Replicated Data Systam
684 Tony Wolfman 1989

""Flo" a Language for Typesetting Flowcharts
685 Esther Leyzerovitch 1989

Impiementing Superimpositions for Occam
686 Abraham Nathan 1989

Compilation of Fcp to Carmel and Its Performance Analysis
687 Oren Hurvitz 1989

Janus Automata as a Model for the Intelligent Scan Problem
688 Tziporet Koren 1989

On the Construction of Pseudo Random Block Ciphers
689 Ehud Hausman 1989

Erd Raseb Natural Qvery Langvage
690 Uri Habusha 1989

Vi Iv a Ri-Directional Version of the Vi Full-Screen Edito
691 David Goldfeld 1989

Eguivalence of Interconnection Netnorus
692 Gil Sideman 1989

Evaluation of Hop by Hop Vs End to End Go Back-N Protocol
693 Raz Rafaeli 1989

Global Time in Distributed Systems
694 Yael Shemesh 1989

Relation Recognizing Automatta
695 Alon Lavie 1989

Two Level Morphology for Hebrew
696 Gabriel Matsliach 1989

Fitting Traditional Search Structures to New Architectures.
697 Eyal Kushilevitz 1989

Perfect Zero-Knowledge Proofs
698 Itay Kariv 1989

Hierarchical Symbolic Indices in General Purpose
699 Gil Allon 1989

Towauosabi Divectional Operating System
700 Ameen Abu-Hanna 1988

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

An Adaptation of the Unix Ditroff for Rormatting Tri-Directi
702 Iris Reicher 1988

Verification and Synthesis of Asynchronous Circuits
703 Daniel Fischer 1988

Maintenance of Unreliable Distributed Systems


704 abstract theses title found in the Department Computer Science
Last updated on: Friday ,February 23, 2018