# ORSIS 2015 Program Abstracts - Faculty of Industrial Engineering

## Transcription

ORSIS 2015 Program Abstracts - Faculty of Industrial Engineering

האגודה הישראלית לחקר ביצועים )איל"ב( הכינוס השנתי 10-11במאי 2015 בארגון: הטכניון — מכון טכנולוגי לישראל הפקולטה להנדסה תעשייה וניהול על שם ויליאם דוידסון הפקולטה להנדסת חשמל בתמיכת: הוועדה המארגנת: נחום שימקין )יו"ר( מיכל פן גייל גלבוע-פרידמן ORSIS 2015: PROGRAM-AT-A GLANCE Haifa, 10-11 May 2015 Leonardo Hotel – Almog Building Sunday 09:00-09:30 09:30-09:40 09:40-10:30 10:30-10:50 10:50-11:10 11:10-12:25 פנינה סוויטה אלמוג אקוומרין 12:25-13:45 13:45-14:35 אלמוג 14:35-15:25 פנינה אקוומרין 15:25-15:45 15:45-17:25 פנינה אלמוג אקוומרין סוויטה 17:45-19:45 19:45-21:15 לובי Registration אלמוג Opening Session אלמוג S1 Naor Plenary Lecture: Nimrod Megiddo אלמוג Awards Ceremony Coffee Break S2 Parallel Sessions: a. Queues and their Applications b. Game Theory 1 c. Supply Chain Management 1 d. Combinatorial Optimization 1 אקוואמרין Lunch & Orsis General Assembly (13:25) S3 Plenary Lecture Yishay Mansour S4 Semi-Plenary Tutorials: a. Rami Atar b. Eran Hanany Coffee Break S5 Parallel Sessions: a. Topics in Continuous Optim. b. Supply Chain Management 2 c. OR in practice d. Health Care Management Evening Program: National Maritime Museum Evening Program: Dinner, with Guest Lecture Monday 09:00-09:30 09:30-11:10 אלמוג פנינה אקוומרין סוויטה 11:10-11:30 11:30-12:20 פנינה אקוומרין 12:20-13:20 13:20-14:10 אלמוג 14:15-15:55 אלמוג פנינה סוויטה אקוומרין 15:55-16:10 16:10-17:25 אלמוג פנינה אקוומרין 17:25-17:30 Registration לובי M1 Parallel Sessions: a. Combinatorial Optimization 2 b. Queues and Stochastic Systems 1 c. Game Theory 2 d. Police Applications Coffee Break M2 Semi-plenary Tutorials: a. Assaf Zeevi b. Iddo Eliazar Lunch M3 Plenary Lecture: Aharon Ben-Tal M4 Parallel Sessions: a. Prize Winners Session b. Scheduling c. Optimization d. Queues and Stochastic Systems 2 Coffee Break M5 Parallel Sessions: a. Transportation b. Water Management c. Strategic Behavior in Queues Farewell .10 רח' דוד אלעזר,( הרחב יותר, בניין "אלמוג" )הבניין הצפוני, מלון לאונרדו חיפה:מקום הכנס ." סמוך לתחנת הרכבת "חוף הכרמל,המלון ממוקם על חוף הים בכניסה הדרומית לחיפה כולל יציאה וחזרה,17:45-19:45 נפתח בסיור מודרך במוזיאון הימי הלאומי )בשעות: יום א' בערב:תוכנית חברתית ולאחריו ארוחת ערב מלווה בהרצאתו של ד"ר ג'ק סילברמן בנושא "השלכות סביבתיות של חיפושי גז,(למלון הכנס ."ונפט בים העמוק באזור המים הכלכליים של מדינת ישראל המרחק למלון הוא כקילומטר אחד בהליכה נוחה צפונה לאורך," יש לרדת בתחנת "חוף הכרמל- ברכבת:תחבורה . שרות מוניות זמין ביציאה המערבית מהרכבת, לחילופין.חוף הים ( הכניסה מצפון דרך צומת דרך הים )מסעדת מקסים,( יש להיכנס לרחוב דוד אלעזר )כביש פנימי לאורך החוף- במכונית . הכניסה אליו מצפון לבניין אלמוג, ניתן לחנות בחניון הפנימי של הבניין.(או מדרום דרך צומת מת"ם )מול דרך פרויד Supported by The organizing Committee: Nahum Shimkin (Chair) Michal Penn Gail Gilboa-Friedman 1 Detailed Program ‐ Sunday, 10.5 09:00-09:30 Registration 09:30-09:40 S1 Opening Session 09:40-10:30 Naor Plenary Lecture אלמוג Nimrod Megiddo, IBM Almaden The State-of-the-Art of the Theory of Linear Programming Chair and Opener: Aharon Ben-Tal 10:30-10:50 Awards Ceremony אלמוג אלמוג 10:50-11:10 Coffee Break 11:10-12:25 S2a Queues and Their Applications Chair: Uri Yechiali פנינה S2b Game Theory 1 Chair: Eran Hanani S2 Parallel Sessions: Amir Elalouf, Yael Perlman, Uri Yechiali Who Will Receive the Kidney? A Queueing Model for Live Organ Allocation Gabi Chanukov, T. Avinadav, T. Chernonog, U. Spiegel, U.Yechiali Utilization of Server’s Idle Time for Greater Efficiency in Queueing Systems Nir Perel, Uri Yechiali Noam Goldberg An Unlimited Batch-Service Multi-Queue System with Uniform and with Geometric Group-Joining Policies Nonzero-sum Nonlinear Network Interdiction Gal Cohensius, Ella Segev Sequential First Price Auction Shoshana Anily Total Balancedness of Regular Cooperative Games Reut Noham, Michal Tzur Network Design in Humanitarian Supply Chains: Pre and Post Disaster Decision Making The Two-Phase Stochastic Lotsizing Problem with Optimal Timing of Additional Replenishment סוויטה S2c Supply Chain Management 1 Chair: Michal Tzur Dina Smirnov, Yale T. Herer, Retsef Levi, Assaf Avrahami Ohad Eisenhandler, Michal Tzur The Humanitarian Pickup and Distribution Problem S2d Combinatorial Optimization 1 Niv Buchbinder, Moran Feldman, Seffi Naor, Roy Schwartz Approximation Algorithms for Submodular Maximization Chair: Seffi Naor Michael Dreyfuss, Yahel Giat Fill Rate Window as a Criterion for Spares Allocation Yaarit M. Cohen, Liron Yedidsion The Traveling Repairman Problem on a Single Line with Release Times אלמוג אקוומרין 2 12:25-13:45 Lunch, & Orsis General Assembly (13:25) 13:45-14:35 S3 Plenary Lecture אלמוג Yishay Mansour, Tel Aviv University Robust Inference and Local Algorithms Chair: Nahum Shimkin 14:35-15:25 S4 Semi-Plenary Tutorials Rami Atar, Technion פנינה Moderate Deviations and Heavy Traffic Chair: Haya Kaspi Eran Hanany אקוומרין Dynamic Decisions under Ambiguity Chair: Gail Gilboa Freedman 15:25-15:45 Coffee Break 15:45-17:25 S5a: Topics in Continuous Optimization Chair: Shoham Sabach פנינה S5b Supply Chain Management 2 Chair: Yael Perlman אלמוג S5 Parallel Sessions: Shimrit Shtern, Amir Beck Shoham Sabach, Amir Beck Marc Teboulle Linearly Convergent Conditional Gradient Variants for Non-strongly Convex Functions An Alternating Semi-Proximal Method for Nonconvex Problems Jérôme Bolte, Edouard Pauwels Nonsmooth Optimization with Semi-algebraic Data: Convergence Beyond the Proximal Setting Nir Halman Yigal Gerchak Approximation Schemes for Stochastic Dynamic Programs with Continuous State and Action Spaces Consignment Contract for Mobile Apps Between a Single Retailer and Competitive Developers with Different Risk Attitudes Strategic Inventory with Demand Uncertainty Yale Herer, Avinoam Tzimerman 3rd Party Logistics Coordinator Mechanism for Transshipments in a Decentralized System Tal Avinadav, Tatyana Chernonog, Yael Perlman The Effect of Risk Sensitivity on Supply Chain Management under a Consignment Contract with Revenue Sharing and Quality Investment Tal Avinadav, Tatyana Chernonog, Yael Perlman (S5 continues on the next page) 3 S5c OR in Practice Vladimir Lipetz Chair: Michael Masin Evgeny Shindin, Odellia Boni, Michael Masin אקוומרין S5d Health Care Management Chair: Amir Elalouf סוויטה Closing the Gap between OR Models and Real Applications Robust Optimization of System Design David Amid, Ateret AnabyTavor Watson Tradeoff Analytics - Decision Making Made Accessible for Everyone Zilla Sinuany-Stern OR/MS in the Higher Education Developing an Optimal Appointment Scheduling for Healthcare Systems with Non-flexible Uptake Time Under Pre-determined Service Levels מודל החלטה דינמי לקבלת כליה מן המת – בהתאם מיכאל בנדרסקי,ישראל דויד לפונקציית הכשל והתפלגות החיים של המועמד להשתלה Using a "Floating Patients" Approach for Improving Guy Wachte, Amir Elalouf Patients-Flow in Hospitals and Emergency Departments Challenges in Medical Quality Improvement Eliaz Miller, MD Illana Bendavid, Yariv N. Marmor, Boris Shnits Evening Program (Sunday) 17:45-19:45 National Maritime Museum (bus leaves at 17:45) 19:45-21:15 Dinner, with Guest Lecture: השלכות סביבתיות של חיפושי גז ונפט בים העמוק באזור. המכון הלאומי לאוקיאנוגרפיה,ד"ר ג'ק סילברמן .המים הכלכליים של ישראל 4 Detailed Program ‐ Monday, 11.5 09:00-09:30 Registration 09:30-11:10 M1a Combinatorial Optimization 2: In Memory of Uri Yovel Chair: Rafi Hassin אלמוג M1b: Queues and Stochastic Systems 1 Chair: Galit Yom-Tov פנינה M1c Game Theory 2 Chair: Gail Gilboa Freedman אקוומרין M1d OR Applications in the Israeli Police Chair: Mali Sher סוויטה M1 Parallel Sessions: Rafi Hassin, Uri Yovel Sequential Scheduling on Identical Machines Tal Raviv, Uri Yovel, Tom Cherchy New Integer Programming Formulation of Routing Problems in Dense Networks Dorit S. Hochbaum, Asaf Levin Weighted Matching with Pair Restrictions Enrique Gerstl, Gur Mosheiov Single Machine Scheduling to Minimize Total Earliness-Tardiness with Unavailability Period Nitzan Carmeli, Haya Kaspi, Avishai Mandelbaum Modeling and Analyzing IVR Systems, as a Special Case of Self-services Zhenghua Long, Nahum Shimkin, Jiheng Zhang Optimal Priority Control for Multiclass Many-server Queues with General Patience Distributions Galit B. Yom-Tov, Jing Dong, The Impact of Delay Announcements on Hospital Network Coordination and Waiting Times Elad Yom-Tov Eitan Bachmat Geometric Queueing Theory Shiran Rachmilevitch Egalitarian-Utilitarian Bounds in Nash's Bargaining Problem Payoff Externalities and Social Learning Itai Arieli Gail Gilboa Freedman, Rann Smorodinsky Axiomatization of Privacy Gadi Fibich, Arieh Gavious Revenue Equivalence of Large Asymmetric Auctions , תהילה הירש,חיננית אפרתי מלי שר,אירית נוביק ייעול עבודת הסיירים ביחידת המקומות הקדושים של ישראל-משטרת אורטל,שירלי ארקוסין מלי, איריס פורמה,סעידיאן שר השמת עובדים אופטימאלית , ינון סבתו,אלי אורבך מלי שר,מיכאל דרייפוס ישראל-ייעול פריסת מצלמות האכיפה במשטרת Mali Sher, Nicole Adler, Shalom Hakkert A Traffic Enforcement Camera Operational Model 11:10-11:30 Break 5 11:30-12:20 M2 Semi-Plenary Tutorials Assaf Zeevi, Columbia University פנינה Chasing Bandits: Exploration and Exploitation in a Non-stationary Environment Chair: Michal Penn Iddo Eliazar, Intel אקוומרין From Inequality to Big Data: The Sociogeometry of Sizes Chair: Uri Yechiali 12:20-13:20 Lunch 13:20-14:10 M3 Plenary Lecture אלמוג Aharon Ben-Tal Some Remedies for Some Intractable Optimization Problems Chair: Avishai Mandelbaum 14:15-15:55 M4 Parallel Sessions: M4a: Opimization and Stochastics Amir Beck, Nadav Hallak (Rothblum Award) On the Minimization Over Sparse Symmetric Sets: Projections, Optimality Conditions and Algorithms Josh Reed, Yair Shaki A Fair Policy for the G/GI/N Queue with Multiple Server Pools Prize Winners Session Chair: Moshe Haviv אלמוג (Rothblum Award) Liron Ravner (Mehrza Award) Equilibrium Arrival Times to a Queue with Order Penalties Arik Sadeh An Asymptotically Optimal Online Algorithm to Choosing Binary Factors Affecting Purchasing in eCommerce Public Transportation with Flexible Timetable M4b Scheduling Tal Grinshpoun, Elad Shufan, Hagai Ilani Chair: Dvir Shabtay Enrique Gerstl, Gur Mosheiov Scheduling with Two Competing Agents to Minimize Total Weighted Earliness Baruch Mor, Gur Mosheiov Minimizing Maximum Earliness and Minimizing the Number of Early Jobs on a Proportionate Flowshop An Asymptotically Optimal Online Algorithm to Minimize the Total Completion Time on Two Multipurpose Machines with Unit Processing Times פנינה Dvir Shabtay, Shlomo Karhi (M4 continues on the next page) 6 M4c Optimization Chair: Gideon Weiss סוויטה Saleh Soltan, Mihalis Yannakakis, Gil Zussman Renata Poznanski, Refael Hassin Rafiq Mansour, Yair Censor Evgeny Shindin, Gideon Weiss M4d: Queues and Stochastic Systems 2 Chair: Yoav Kerner Yoav Kerner, Opher Baron Ruth Sagron, Gad Rabinowitz, Israel Tirkel Barron Yonit אקוומרין Tal Avinadav, Tatyana Chernonog, Yael Lahav, Uriel Spiegel Joint Cyber and Physical Attacks on Power Grids: Graph Theoretical Approaches for Information Recovery Optimal Multi-Period Network Flows with Coupling Constraints New Douglas-Rachford Algorithmic Structures and Their Convergence Analyses A simplex-type Algorithm for Continuous Linear Programming Queueing Model for Safety Stock Inventory Model with Perishable Items and General Distribution Hybrid Simulation-Regression Approximation for Tandem Queues with Downtime Events Clearing Control Policies for MAP Inventory Process with Partially Satisfied Demand Dynamic Pricing and Promotion Expenditures in an EOQ Model of Perishable Items 15:55-16:10 Break 16:10-17:25 M5 Parallel Sessions: M5a Transportation Mor Kaspi, Tal Raviv, Michal Tzur Regulating One-Way Vehicle Sharing Systems through Parking Reservation Policies Chair: Tal Raviv Sharon Datner, Tal Raviv, Michal Tzur Setting Inventory Levels in Bike-Sharing Networks Hila Hindi-Ling, Hillel BarGera, Arie Sachish The Effect of a Quayside Cranes Buffer on Ships Unloading Process אלמוג Modeling Combined Technological, Environmental M5b Amos Bick, Ioannis K. Water Management Kalavrouziotis, Gideon Oron and Economic Considerations in Domestic Sludge Chair: Amos Bick פנינה M5c: Strategic Behavior in Queues Chair: Moshe Haviv אקוומרין David Raz, Ariel Daliot Beni Lew, Olga Tarnapolski, Vladimir Yudachev, Amos Bick Moshe Haviv, Binyamin Oz Moshe Haviv, Liron Ravner Nahum Shimkin Reuse via the Analytic Hierarchy Process (AHP) A Generic Modeling Language for Water Supply Systems Optimization Membrane Treatment of Brackish Groundwater for Unrestricted Use for Irrigation and Sustainable Agricultural Production: Decision Analysis via The Hasse Diagram Technique (HDT) Self-Regulation of a Queue via Random Priorities Accumulating Priority Queue with Strategic Customers What to (Truthfully) Tell Customers to Make Them Join a Queue 17:25-17:30 Fairwell 7 ABSTRACTS Plenary Lectures S1: Naor Plenary Lecture. Chair and Opener: Aharon Bental Speaker: Nimrod Megiddo, IBM Almaden Research Center The State-of-the-Art of the Theory of Linear Programming The talk will survey the following topics: (i) interior-point methods, (ii) worst-case, probabilistic and smoothed analysis of the simplex method, (iii) strongly polynomial bounds, and (iv) the diameter of a polytope. S3: Plenary Lecture. Chair: Nahum Shimkin Yishay Mansour, Tel Aviv University Robust Inference and Local Algorithms Robust inference is an extension of probabilistic inference, where some of the observations may be adversarially corrupted. We limit the adversarial corruption to a finite set of modification rules. We model robust inference as a zero-sum game between an adversary, who selects a modification rule, and a predictor, who wants to accurately predict the state of nature. There are two variants of the model, one where the adversary needs to pick the modification rule in advance and one where the adversary can select the modification rule after observing the realized uncorrupted input. For both settings we derive efficient near optimal policy runs in polynomial time. Our efficient algorithms are based on methodologies for developing local computation algorithms. We also consider a learning setting where the predictor receives a set of uncorrupted inputs and their classification. The predictor needs to select a hypothesis, from a known set of hypotheses, and is tested on inputs which the adversary corrupts. We show how to utilize an ERM oracle to derive a near optimal predictor strategy, namely, picking a hypothesis that minimizes the error on the corrupted test inputs. Based on joint works with Uriel Feige, Aviad Rubinstein, Robert Schapira, Moshe Tennenholtz, Shai Vardi. 8 M3: Plenary Lecture. Chair: Avishai Mandelbaum Aharon Ben-Tal, Technion Some Remedies for Some Intractable Optimization Problems The need to solve real-life optimization problems poses frequently a severe challenge, as the underlying mathematical programs threaten to be intractable. The intractability can be attributed to any of the following properties: large dimensionality of the design dimension; lack of convexity; parameters affected by uncertainty. In problems of designing optimal mechanical structures (truss topology design, shape design, free material optimization), the mathematical programs typically has a large dimensional Semi Definite Program. Some Signal Processing and Estimation problems may result in nonconvex formulations. In the wide area of optimization under uncertainty, some classical approaches, such as chance (probabilistic) constraints, give rise to nonconvex NP-hard problems. In all the above applications, we explain how the difficulties were resolved. In some cases this was achieved by mathematical analysis (notoriously duality theory) which converted the problems (or its dual) to a tractable convex program. In the Robust Control example, a reparameterization scheme is developed under which the problem is converted to a tractable deterministic convex program. Semi-Plenary Tutorials Semi-Plenary Session S4 Rami Atar, Technion. Chair: Haya Kaspi Moderate Deviations and Heavy Traffic There is a vast literature on heavy traffic analysis of controlled queueing models at the diffusion scale. We will motivate the study of these models at the moderate deviations scale, and describe recent developments in this direction. Eran Hanany, Tel Aviv University. Chair: Gail Gilboa-Freedman Dynamic Decisions under Ambiguity Preferences that allow for decision makers to care about ambiguity have drawn increasing interest in recent years. Dynamic consistency is the fundamental requirement that contingent plans made at an initial time should remain optimal at later times. This requirement leads to Bayesian updating under ambiguity neutrality, but to different updating rules under ambiguity aversion. I will present recent advances in this field, including a theory of belief polarization as an optimal response to ambiguity, and equilibrium notions for incomplete information games involving players who perceive ambiguity about the types of others. 9 Semi-Plenary Session M2 Assaf Zeevi, Columbia University. Chair: Michal Penn Chasing Bandits: Exploration and Exploitation in a Non-stationary Environment In a stochastic multi-armed bandit (MAB) problem a gambler needs to choose at each round of play one of K arms, each characterized by an unknown reward distribution. Reward realizations are only observed when an arm is selected, and the gambler¹s objective is to maximize his cumulative expected earnings over some given horizon of play T. To do this, the gambler needs to acquire information about arms (exploration) while simultaneously optimizing immediate rewards (exploitation). Bandit problems have been studied extensively since their inception. The bulk of this literature is concerned with settings where the reward distributions are stationary, namely, the statistical properties of the arms do not change over time. In this talk we will consider a formulation that relaxes this restriction, highlight some of the key theoretical findings that characterize this setting, and discuss an emerging application domain in the space of online services that motivates our work. Iddo Eliazar, Intel Corporation. Chair: Uri Yechiali From Inequality to Big Data: The Sociogeometry of Sizes In the era of big data we are inundated with large datasets of sizes – non-negative numerical values representing count, score, length, area, volume, duration, mass, energy, etc. These datasets display numerous types of statistical variability, or intrinsic randomness, commonly quantified either by standard deviation, or by entropy. The standard deviation measures the sizes' Euclidean divergence from their mean, entropy measures the sizes' divergence from the benchmark of pure determinism, and both these gauges are one-dimensional. In this talk we overview a sociogeometric framework of quantifying the randomness of datasets of sizes. The framework follows a socioeconomic approach of measuring the sizes' inequality – their divergence from the benchmark of pure egalitarianism – and yields a rich and multidimensional methodology of gauging the sizes' statistical variability via sociogeometric inequality indices. The aim of this overview is to serve both researchers and practitioners as a crash-intro to the sociogeometry of sizes, and as a crashmanual to the implementation of this methodology. References: I. Eliazar, The sociogeometry of inequality: Part I, Physica A (2015) in press. DOI: 10.1016/j.physa.2014.12.021 I. Eliazar, The sociogeometry of inequality: Part II, Physica A (2015) in press. DOI: 10.1016/j.physa.2015.01.016. 10 Parallel Sessions (in Chronological Order) Sunday, 10.5 S2a: Queues and Their Applications. Chair and Organizer: Uri Yechiali Amir Elalouf, Yael Perlman, Uri Yechiali Who Will Receive the Kidney? A Queueing Model for Live Organ Allocation We consider models of dynamically allocating randomly arriving kidneys to candidates waiting for transplant. Two main models are investigated: (i) a kidney is allocated only to a candidate with the same blood type, and (ii) a kidney with blood type O is allocated to either O or A type of candidate, while type A kidney is allocated only to type A candidate. The allocation is based on the measure Expected Value of Transplantation (EVT) which takes into consideration Human Leukocyte Antigen (HLA) matching. We also study the case where a fraction of the available kidneys is kept for future candidates. Finally, we treat the case of exponential life time of a kidney and an exponential residual life time of candidates. Gabi Chanukov, T. Avinadav, T. Chernonog, U. Spiegel, U.Yechiali Utilization of Server’s Idle Time for Greater Eficiency in Queueing Systems We consider an M/M/1-type queueing system in which the server utilizes his/her idle time to partially prepare future services off-line in order to reduce the on-line service duration. Such a routine is applicable for service systems in which part of the service (termed “start”) can be prepared without the presence of the customer. The “starts” are produced and stored during periods of time when there are no customers in the system. When a customer arrives, the server stops producing new “starts” and completes an inventoried “start” (if any) in a faster processing rate. When all inventoried “starts” are used, the service rate returns to normal until the next time the server is idle and returns producing new “starts” again. The decision variable is the maximal number of inventoried "starts" in order to optimize an economical measure (e.g., minimal total cost rate or average waiting time of customers). Five model variants are formulated and analyzed: (i) The duration of a full service and of each of its two parts is exponentially distributed; (ii) The duration of each service part is exponentially distributed, and the duration of a full service is a simple summation of its two parts; (iii) The customers know when inventoried “starts” are available and increase their arrival rate; (iv) Some of the inventoried “starts” suffer from decay, thus losses, since they cannot be used; and (v) The server faces two types of customers: one that is willing to pay more for a fast service and another that pays less for a normal service rate. Nir Perel, Uri Yechiali An Unlimited Batch-Service Multi-Queue System with Uniform and with Geometric Group-Joining Policies We study a multi-queue single-server system with unlimited-size batch service under either Uniform or Geometric group-joining policy, where the next queue to be served is the one with the most senior customer. We derive a set of performance measures related to sojourn times, group sizes and busy periods, and present a corresponding set of numerical results. The effects of the system's parameters on the performance measures are investigated. 11 S2b: Game Theory 1. Chair: Eran Hanani Noam Goldberg Nonzero-sum Nonlinear Network Interdiction A novel nonzero-sum game is presented for a variant of a classical network interdiction problem. In this model an interdictor (e.g. an enforcement agent) decides how much of an inspection resource to spend along each arc in the network in order to capture the evader (e.g. a smuggler). The evader selects a probability distribution on paths from source nodes to destinations. The evasion probabilities nonlinearly decrease in the inspection resources spent by the interdictor. We show that for logarithmically convex functions, Nash equilibria of this game can be efficiently computed. A special case of exponential functions is further analyzed and presented with examples. Gal Cohensius, Ella Segev Sequential First Price Auction We study asymmetric first price auctions in which bidders place their bids sequentially, one after the other and only once. We show that with a strong bidder and a weak bidder (in terms of first order stochastic dominance of their valuations distribution functions), already with small asymmetry between the bidders, the expected revenue in the sequential bidding first price auction (when the strong bidder bids first) is higher than in the simultaneous bidding first price auction. Moreover it is higher than the expected revenue in the second price auction. The expected payoff of the weak bidder is also higher in the sequential first price auction. Therefore a seller interested in increasing revenue facing asymmetric bidders may find it beneficial to order them and let them bid sequentially instead of simultaneously. In terms of efficiency, both the simultaneous first price auction and the sequential first price auction cannot guarantee full efficiency (as opposed to a second price auction). The sequential bidding auction when the stronger bidder bids first achieves lower efficiency than the simultaneous auction. However, when the order is reversed and the asymmetry is large enough the sequential first price auction achieves higher efficiency than the simultaneous auction. Shoshana Anily Total Balancedness of Regular Cooperative Games The paper "Cooperation in service systems" by Anily and Haviv (Operations Research 2010) attracted the attention of the research community as it proves that the most basic model of cooperation in queueing, where a number of M/M/1 systems cooperate by forming a single M/M/1 system whose arrival (service) rate is the sum of the individual respective rates, is totally balanced. The interest in the paper was also a result of the original proof's technique: the authors define an auxiliary game that is monotone and whose core is contained in the core of the game and proved that the auxiliary game is concave (submodular), implying that its core is totally balanced, and therefore also the original game is totally balanced. The idea of the auxiliary game can easily be applied to any non-monotone game in order to generate a monotone new game whose core is a subset of the core of the primary game. However, the proof that the characteristic function of the auxiliary game is concave is custom-made to the specific given set function. Suchlike proofs are usually tedious. Several researchers have raised the question whether the idea behind the auxiliary game could be further generalized beyond that special game as a tool in proving total balancedness of other cooperative games. In this paper we consider regular games where each player is associated with a real vector, and the characteristic function of a coalition depends only on the collection of the real vectors that are associated with the players. Under a few conditions the characteristic function of regular games, which is a set function, can be replaced by a mapping of real vectors into the real numbers. We prove that if this mapping satisfies the law of diminishing returns then the auxiliary game is concave, and therefore the game itself is totally balanced. We demonstrate the simplicity of the technique on the above described game, as well as on other games. 12 S2c: Supply Chain Management 1 Chair: Michal Tzur Reut Noham, Michal Tzur Network Design in Humanitarian Supply Chains: Pre and Post Disaster Decision Making Humanitarian logistics is an emerging field that addresses the major challenges in providing humanitarian relief operations for both natural and man-made disasters. Strategies to overcome these challenges include disaster preparedness and response, under high uncertainty and limited availability of resources and infrastructure to address needs. Existing models in the academic literature address network design and resource allocation challenges that are relevant to pre- and post-disaster situations, respectively. However, they adopt a global optimization point of view, which may not be attainable, due to the actual decision making process. The latter is based mostly on practitioners' knowledge and experience, simple rules of thumb, and the local population behavior. In our work, we develop new mathematical models that represent practical considerations such as those mentioned above. For small/medium instances of the considered problem we present an efficient optimal solution method while for large instances we use a heuristic algorithm which is based on Tabu search. Our preliminary results demonstrate that the effectiveness of network design decisions (made at the pre-disaster phase) is sensitive to post-disaster decisions, and therefore, to the extent possible, it is critical to accurately model/predict post-disaster decisions during the pre-disaster phase. Dina Smirnov, Yale T. Herer, Retsef Levi, Assaf Avrahami The Two-Phase Stochastic Lotsizing Problem with Optimal Timing of Additional Replenishment Recent advances in Information Technology have provided decision makers in the supply chain with extensive, often real time and accurate, data. Wisely used data can assist in improving the performance of inventory systems. In particular, for single-period systems it has become possible to receive actual and accurate sales data more frequently than once in the sales period. This has enabled decision makers to execute an additional replenishment based on early sales information. We are given a single sales period and a single possibility to review the inventory level after the start of sales and to execute an additional replenishment if necessary. The items from the additional replenishment are intended to be sold during that same sales period. It is desirable to find the optimal quantity to replenish before the start of sales, the optimal moment to perform the additional review, and the optimal quantity to replenish at the moment of additional review. This problem has not been addressed with respect to this set of policy decisions as of yet. In this work we use analytical tools and propose an exact and tractable algorithm for simultaneously determining these policy decisions. Our model is applicable to a wide range of businesses such as bakeries, retail of seasonal, perishable or technology-related goods, and print industry. Ohad Eisenhandler, Michal Tzur The Humanitarian Pickup and Distribution Problem Food rescue, i.e., the collection of perishable products from food suppliers who are willing to make donations and their distribution to welfare agencies that serve individuals in need, has become increasingly widespread in recent years. This is due to economic crises that have increased the demand for nutritional aid, and the benefit to donors who can avoid in this way the costs of destroying excess production while reflecting a social-aware image. The problem we study focuses on the logistic challenges of a food bank coordinating this operation on a daily basis, using vehicles with limited capacity whose travel time cannot exceed an imposed maximal duration (defined by the driver's working hour regulations). We model this problem as a routing–allocation problem, with the aim of maintaining equitable allocations to the different agencies in each period, while delivering as much as possible in total. We discuss an appropriate objective function that promotes effectiveness and equity. We show how these two measures can be combined in a way that satisfies desired properties of the allocation, that is easy to compute and implement within a mathematical formulation, and that balances effectiveness. 13 S2d: Combinatorial Optimization 1 Chair: Seffi Naor Niv Buchbinder, Moran Feldman, Seffi Naor, Roy Schwartz Approximation algorithms for Submodular Maximization The study of combinatorial problems with submodular objective functions has recently attracted much attention, and is motivated by the principle of economy of scale, prevalent in real world applications. Submodular functions are also commonly used as utility functions in economics and algorithmic game theory. In combinatorial optimization submodular functions and submodular maximization play a major role as several well-known examples of submodular functions include cuts in graphs and hypergraphs, rank functions of matroids and covering functions. In this talk I will present several recent results for the problem of maximizing a general submodular function. Michael Dreyfuss, Yahel Giat. Fill Rate Window as a Criterion for Spares Allocation The biggest problem for the successful adoption of electric cars is the frequent need to recharge the battery and the waiting time associated with it. One of the suggestions to overcome this problem is that carmakers retain ownership of batteries and provide service stations in which customers replace their depleted batteries with recharged batteries in lieu of waiting for their battery to recharge. Motivated by this approach, we consider spare allocations in an exchangeable-item multi-location repair system with Poisson arrivals and ample servers with general repair time distribution. Customers expect to be served within a certain time window and penalize the service provider if they have to wait more than that window of time. Accordingly, instead of minimizing average waiting time, we suggest that firms should consider maximizing the fill rate window, i.e. the probability that customers wait less than a predetermined time window. We derive the entire system’s fill rate window for any time window, and characterize its functional form. For each location the fill rate window can be either concave or S-shaped. For a sufficiently large time window, we show that the system’s problem is concave in which case the “biggest bang for the buck” approach can be used to solve the optimal spares allocation. When the window is not large enough, at least some of the locations have an S-shaped fill rate window. In this case we define a concave covering function. Since the covering function is concave we can efficiently derive its optimal solution. To find the optimal solution of the original problem we need to execute a correction procedure, which is provided. We provide a numerical example motivated by the recent unsuccessful attempt to introduce electric cars into Israel. Yaarit M. Cohen, Liron Yedidsion The Traveling Repairman Problem on a Single Line with Release Times The Traveling Repairman problem (TRP) is a well-known NP-hard problem (also referred to in the literature as The Delivery Man Problem and The Minimum Latency Problem). In the classical TRP, a repairman has to visit each of n stationary targets exactly once, in order to minimize the sum of the targets' flow time. Where the flow time of target i (Fi) is the time since the target appears till the time it is intercepted. In this research we consider a special case of TRP where all targets are confined to a single line. However, some targets might not be available at time zero and appear later on. We denote this problem as the Single Line TRP (SL-TRP). Algorithms for SL-TRP have real-life applications that can help civil and military needs. Consider a line of machines each one requires a delivery of raw material delivered by a robotic arm moving along a production line; or a border patrol unit that has to reach numerous check points along the border based on alerts of invasion. Note that the border doesn't have to be strait to be considered a "strait line" as long as the patrol unit travels alongside the border line. In both of these problems the robot or the border patrol unit has to visit each point exactly once and should complete its tour and minimize the sum of the targets' flow time. We proved this problem to be NP-hard by using a reduction from a special case of the partition problem. Next, we suggest several heuristics as well as exact Branch and Bound (B&B) algorithm for solving the SL-TRP. We use computational experiments in order to evaluate and compare their performances as well as the efficiency of the B&B algorithm when using large instances. 14 S5a: Topics in Continuous Optimization Chair: Shoham Sabach, Organizer: Amir Beck Shimrit Shtern, Amir Beck Linearly Convergent Conditional Gradient Variants for Non-strongly Convex Functions The conditional gradient method was presented by Frank and Wolfe in 1956. Its aim is to minimize a smooth function over a compact convex set, where each iteration of the method consists of minimizing a linear function over the feasible set. Generally, the method’s rate of convergence is 1/k, and is linear only in specific cases, where the function optimized is strongly convex and the optimal solution lies in the relative interior of the feasible set, or when the set is uniformly (strongly) convex and the gradient of the objective function is bounded away from zero. Lately, two variants of the conditional gradient algorithm -- the away step conditional gradient and the local conditional gradient -- were proven to converge linearly for minimizing strongly convex functions over polyhedral sets. We extend these results, and prove that these algorithms also admit a linear rate of convergence for well-structured functions, which are not strongly convex. Moreover, for the version that incorporates away steps, we provide a new convergence rate with computable constants that also enables the comparison between the two algorithms. Shoham Sabach, Amir Beck, Marc Teboulle An Alternating Semi-Proximal Method for Nonconvex Problems We consider a broad class of regularized structured total-least squares problems (RSTLS) encompassing many scenarios in image processing. This class of problems results in a nonconvex and often nonsmooth model in large dimension. To tackle this difficult class of problems we introduce a novel algorithm that blends proximal and alternating minimization methods by benefi cially exploiting data information and structures inherently present in RSTLS. The proposed algorithm, which can also be applied to more general problems, is proven to globally converge to critical points, and is amenable to e_fficient and simple computational steps. Jérôme Bolte, Edouard Pauwels Nonsmooth Optimization with Semi-algebraic Data: Convergence Beyond the Proximal Setting We focus on convergence of iterative schemes for non-smooth non-convex optimization in finite dimension. Most of current results are given for "prox-friendly" data: the nonsmooth part can be handled through efficiently computable operators. Many methods and applications do not fit this setting. We focus on Sequential Quadratic Programming ideas for general Nonlinear Programs. Despite their large usage, these methods lack satisfactory convergence analysis. This work constitutes a step toward the obtention of such theoretical guaranties. We combine properties of local tangent majorizing models with results from algebraic geometry to analyse the asymptotic properties of two recent methods for solving general Nonlinear Programming problems. Nir Halman Approximation Schemes for Stochastic Dynamic Programs with Continuous State and Action Spaces Dynamic optimization problems are generally NP-hard to solve, thus approximated solutions are of interest. The main approaches to tackle dynamic optimization problems are optimal control (Pontryagin's minimum principle) and dynamic programming (Bellman's optimality equation). Taking the latter approach, I'll consider a broad subfamily of dynamic programs (DP's) that is still NP-hard. DP's of this class with discrete state and action spaces are known to admit relative-error approximation schemes. I'll show that such DPs with *continuous* state and action spaces are harder to approximate than their discrete counterparts. In particular, they do not necessarily admit constant factor approximations. Despite this discouraging result, I'll be successful at designing for them approximation schemes by using a novel measure of error 15 S5b: Supply Chain Management 2 Chair and Organizer: Yael Perlman Tal Avinadav, Tatyana Chernonog, Yael Perlman Consignment Contract for Mobile Apps Between a Single Retailer and Competitive Developers with Different Risk Attitudes Mobile applications (apps) are software programs designed to run on smartphones and tablets. They are commonly downloaded through application distribution platforms, such as the Apple (iTunes) App Store, Google Play, the Windows Phone Store and BlackBerry App World. As suggested by Apple’s central marketing message—“there’s an app for that”—the market for apps is crowded and diverse (BBC Trust, 2010). At the same time, there is intense competition among companies marketing similar apps. For example, the iTunes App Store offers at least twelve device finder apps, similar to “Find My iPhone”; these apps compete with one another in terms of both price and quality (Myers, 2012). Clearly, the question of how to manage brand competition and channel competition is important both for app developers (the suppliers) and the platform distributor (i.e., the app retailer). Yigal Gerchak Strategic Inventory with Demand Uncertainty We consider a decentralized two-period problem with uncertain demands. The manufacturer determines the second period's wholesale price based on the amount of inventory left at the retailer from the first period. Research with deterministic demands has shown that the retailer will over-order in the first period, so that what is not sold then will cause the manufacturer to set a low wholesale price, hence the name Strategic Inventory. We examine the veracity of this phenomenon in a setting with random demands. We do so in a setting with fixed retail prices, as well as in one with price-sensitive demand. Yale Herer, Avinoam Tzimerman 3rd Party Logistics Coordinator Mechanism for Transshipments in a Decentralized System We investigate a multi-retailer single period stochastic lot sizing problem. The retailers are independent and experience stochastic demand for a single item. Moreover, the retailers act separately, doing what is in their own best interest, i.e., decentralized control. We add to this constellation the option of transshipments. Transshipments have been widely studied with central control, but much less so in a decentralized setting. We introduce transshipments by proposing a mechanism that involves the presence of a third party whom we call 3PLC, 3rd Party Logistics Coordinator. 3PLC incentivizes the retailers to take part in the mechanism by providing each retailer with payments for their holding and shortage costs (the incentive), and in return, 3PLC is allowed to reap the benefits of transshipments. Using 3PLC we are able to implement transshipments and coordinate the supply chain. The 3PLC mechanism answers this challenge without sharing private information such as cost and demand data among the retailers. We also show how the mechanism can be used to split supply chain profits among the players in any way desired. Most importantly, this mechanism both retains the independent nature of the entities and completely exploits the benefits of the centralized system. Tal Avinadav, Tatyana Chernonog, Yael Perlman The Effect of Risk Sensitivity on Supply Chain Management under a Consignment Contract with Revenue Sharing and Quality Investment We analyze pricing and quality investment strategies in a two-echelon supply chain of mobile applications (apps) under a consignment contract with revenue sharing. Specifically, we focus on how risk-sensitive behavior of supply chain members affects chain performance. The platform provider sets the level of revenue sharing, and the app developer determines the investment in quality and the selling price of the app. The demand for an app, which depends on both price and quality investment, is assumed to be uncertain, so the risk attitude of the supply chain members has to be considered. The members′ equilibrium strategies are analyzed under different attitudes toward risk: averse, neutral and seeking. We show that the retailer's utility function has no effect on the equilibrium strategies, and suggest schemes to identify these strategies for any utility function of the developer. We find that (i) the revenue sharing contract circumvents the double marginalization effect associated with vertical competition and therefore yields the best selling 16 price for the customer; (ii) a decentralized supply chain sometimes performs better than a centralized one; and (iii) a risk-seeking developer may obtain a higher expected profit than does a risk-neutral developer. S5c: OR in Practice Chair and Organizer: Michal Massin Vladimir Lipetz Closing the Gap Between OR Models and Real Applications Optimization can help and provide productivity boost in many domains,however, its practical usage is pretty limited. In this presentation we focus on features and tools that help to make optimization usable by end users. The users are typically domain experts, but usually have no optimization and programming background. We focus on performance, usability, and maintainability aspects and how these aspects can change the underlying optimization models. Finally, we demonstrate the process of transferring scheduling models into reusable tools in two real-life examples. The first one is an integrated part of IBM tool (Maximo Asset Manager) for technicians scheduling during maintenance and emergency activities. The second example is a stand-alone enterprise level application for El Al staff scheduling Evgeny Shindin, Odellia Boni, Michael Masin Robust Optimization of System Design The data of real-world optimization problems are usually uncertain, that is especially true for early stages of system design. Data uncertainty can significantly affect the quality of the nominal solution. Robust Optimization (RO) methodology uses chance and robust constraints to generate a robust solution immunized against the effect of data uncertainty. RO methodology can be applied to any generic optimization problem where one can separate uncertain numerical data from the problem's structure. Since 2000, the RO area is witnessing a burst of research activity in both theory and applications. However, RO could lead to over-conservative requirements, resulting in typical-case bad solutions or even empty solution spaces. This drawback of the classical RO methodology can be overcome by distinguishing between real decision variables and so-called /state/ variables. While the first type should satisfy the chance or robust constraints and their value cannot depend on a specific realization of the uncertain data, the state variables are adjustable (i.e., their value can depend on the specific realization of the uncertain data), since most of the constraints defining state variables merely “calculate” their exact value, and hence are always satisfied. In this paper we summarize how adjustable RO approach can be applied to a general uncertain linear optimization problem. Then, using an allocation example we demonstrate how this approach can be integrated in the design optimization process and its impact on the optimal system design. David Amid, Ateret Anaby-Tavor Watson Tradeoff Analytics - Decision Making Made Accessible for Everyone The Watson Tradeoff Analytics service helps people optimize their decisions while striking a balance between multiple, often conflicting, objectives. The service can be used to help make complex decisions like what mortgage to take or which laptop to purchase. Tradeoff Analytics uses Pareto filtering techniques to identify the optimal alternatives across multiple criteria. It then uses various analytical and visual approaches to help the decision maker explore the pros and cons of their alternatives. Zilla Sinuany-Stern OR/MS in the Higher Education Much has been written on Operations Research (OR) and Management Science (MS) in many other areas such as health care and energy. I see the Higher Education (HE) industry/sector as a positive leading catalyst for economic development and change. We are witnessing the rise of tuition and the oversupply of college graduates - a new era of e-learning and new accreditation of online institutions, globalization of HE, and new outlook on learning outputs and proficiencies required for the workplace. The HE sector is changing fast and requires more efficiency, more agile and lean planning, and new strategies, and quality assurance. Namely, there is a need for more applications of OR/MS, and IE methodologies, and business approaches, which are already occurring in the HE sector. 17 The old type leaders of HE are not always equipped to foresee these processes. They need the help of our trade and tools in general and quantitative methods in particular to survive. As many of the OR/MS experts are members of HE institutions. Many of us wish to improve our institutions. Research students in our fields should be more encouraged to apply OR/MS and IE methodologies in HE. Areas in HE where OR can be used include: facility planning and scheduling, faculty outputs and compensation, budgeting, quality assurance, international comparisons, ranking universities, students choice of institution, students admission. OR methodologies used for HE are: optimization models, scheduling, forecasting, simulation, Data Envelopment Analysis, game theory, multi-criteria decision analysis, etc. We will present several examples: 1. Measuring the differentiability of faculty salaries in Israeli universities by rank, by institution, and by faculty outputs, using statistical measures 2. Budget allocation in HE institution using quadratic optimization model, and linear programming. 3. Measuring the efficiency of academic departments using Data Envelopment Analysis (DEA). S5d: Health Care Management Chair and Organizer: Amir Elalouf Illana Bendavid, Yariv N. Marmor, Boris Shnits Developing an Optimal Appointment Scheduling for Healthcare Systems with Non-flexible Uptake Time under Pre-determined Service Levels One of the critical steps in patient care path is diagnosis. The demand for advance imaging tests, such as CT, MRI and PET, increased dramatically in the past 15 years. Since imaging equipment remains relatively expensive, in order to fit the demand, the imaging resources must be managed effectively. In most healthcare systems, where examination length is uncertain (stochastic), the goal of the appointment scheduling need to balance between resource utilization and patient waiting times. In some imaging scans, such as PET, a radiopharmaceutical (radioactive substance) is injected to the patients in order to perform the diagnosis. In these systems, the time between the substance injection and the scan is non-flexible (for example, due to short half-life duration). This constraint makes the patient appointment scheduling more challenging, because, on the one hand, there is a predetermined time required between the injection of the radiopharmaceutical and the scan – the uptake time (time that it takes to the substance injected to be absorbed into the body), while on the other hand, if at the end of the expected uptake time the scanner is not available, the quality of the scan is jeopardized. Of course, the availability of the scanner is a consequence of appointments and durations of prior scans. Therefore, the aim of this work is to develop a method for determining a patient appointment scheduling in a system with non-flexible uptake time in order to minimize the end of day and increase resource utilization while keeping minimal pre-determined service levels. To this end, we consider the following setting: a given sequence of patients is to be scheduled on one scanner machine; the durations of scans are normally distributed with various expectations and variances; a minimal probability for each appointment to start on time is required (service level). In order to solve this stochastic problem, we formulate its equivalent deterministic problem, based on simulated data, as a mixed-integer linear programming. To overcome the dimensionality limitations, we also develop a simulation-based sequential model. We found that a constant slot per scan, as a benchmark, is inferior to our method both in achieving stable service level and reducing the end of day. מיכאל בנדרסקי,ישראל דויד מודל החלטה דינמי לקבלת כליה מן המת – בהתאם לפונקציית הכשל והתפלגות החיים של המועמד להשתלה ידועה בעיית הפער החמור בין ביקוש.ספיקת כליות סופית-השתלת כלייה חיה מהווה את הפיתרון הטוב ביותר למצב של אי . דווקא על רקע זה חשוב לגבש מדיניות הקצאה אופטימלית.להיצע במערכת ההשתלות המנוהלת ע"י מקבל ההחלטות הציבורי שכן מגיעים אליו היצעים,(" עומדת בעיית החלטה גם בפני "המועמד הבודד" )לצורך המחשה – זה שב"ראש התור,למעשה . עם חלוף הזמן חלה הרעה במצבו ועליו להיות פחות בררן.( כתהליך בזמן )מעין בעיית מזכירה,בדרגות התאמה שונות שהיא כמובן קלה יותר לפיתרון אנליטי מבעיית,במאמר זה אנו מסתכלים על הבעייה אכן מנקודת מבטו של המועמד הבודד מנקודת הראות של מקבל ההחלטות הציבורי. אנו אף מציעים בהתאם כלי תומך החלטה מבוסס אקסל.ההקצאה והעיתוי הכללית וכמו כן ככלי מחקרי,יוריסטית לניהול תור ההשתלות המלא-כלי זה הוא בעל חשיבות כ"אבן לגו" בבניין מדיניות אופטימלית התפתחה בשנים האחרונות, במקביל. לגנטיקה של האוכלוסיות המעורבות ועוד, לעוצמת תהליך התרומה:לבדיקות רגישות שונות 18 לפיה החולה נוטל חלק פעיל בהחלטות הנוגעות לו )ולפעמים שוכר לשם כך מומחה,"Patient Choice" פרקטיקה רפואית של . מבוססת נתוני אמת ומודל אנליטי הסתברותי, הכלי הנוכחי תומך בקבלת החלטות מושכלת שכזו.(חיצוני מבוסס תיכנון, ואת מודל ההחלטה המתמטי הבסיסי,נציג את הגורמים הפיסיולוגיים והסטטיסטיים הרלבנטים להצלחת השתלה וכמובן את הפעלת, נסקור את מקורות הנתונים ששימשו אותנו בדוגמאות ואשר מגולמים בחוברת העבודה של האקסל.דינמי מרכיב חדשני מן המאמר האחרון בנושא עוסק במידול ההסתברותי הדינמי של הדטריורציה של.(גיליון האקסל עצמו )המימשק דבר המאפשר גמישות, משפחה זו מאופיינת בשני פרמטרים. באמצעות משפחת התפלגויות החיים גאמה,(החולה )תחת דיאליזה .בהתאמתה לנתונים סטטיסטיים לפי מאפיינים שונים ואוכלוסיות :מבוסס על המאמרים M. Bendersky and I. David, "The Full-Information Best-Choice Problem with Uniform or Gamma Horizons", submitted to Optimization. M. Bendersky and I. David, "Deciding Kidney-Offer Admissibility Dependent on Patients' Lifetime Failure Rate", submitted to The European Journal of Operations Research. Guy Wachtel, Amir Elalouf Using a "Floating Patients" Approach for Improving Patients-Flow in Hospitals and Emergency Departments Overcrowding in hospitals along with long length of stay, high arrival rates, budget constraints, and increasing demand for high service quality create challenges for the workflow and patient flow of hospital emergency departments (EDs). From a managerial perspective, overcrowding can cause substantial profit loss to the ED and the other departments. In order to prevent this profit loss, we assume that the hospital management determines a maximal (fixed or dynamic) value for patients’ length of stay and for crowding levels in the various departments, and that patients who cannot be evaluated in the ED in a timely fashion are redirected for treatment in other hospital departments. The latter approach (referred to as the "floating patient” method) has been practiced, for example, in Israel. This paper proposes two algorithmic approaches that are designed to enable ED decision makers (specifically, in the triage) to optimally schedule evaluations for patients who are waiting for treatment in the ED. The algorithms have been developed gradually and embedded in a simulation model. To build the algorithms, we first solve a problem in which the triage decision maker has full information on patients’ conditions and on how long their evaluations expect to take. We then extend this problem to incorporate uncertainty as in real life scenarios: The triage decision maker (physician) needs to carry out initial examinations to obtain information on the patient's situation and, at each point in time, decides whether to continue to examine patients or to stop the process (halting rule) and ”float” the remaining patients to other departments. Next, the physician determines the optimal schedule for the full ED evaluations of the examined patients. We embed the algorithms into simulation procedures and run simulations using empirical data collected from Bnei-Zion hospital in Israel. We checked the method of "floating patients" when applied for different rates of crowding in the ED and the other departments (i.e. the ED management can decide to use this method only in above 90% crowding in the ED). The simulation took into consideration also the crowding situation in the other departments in order to see the marginal effect of the "floating patients" method of the patients-flow in the hospital as a whole system. Implementation of the "floating patient" method is shown to reduce patients' length of stay, queues for beds in departments and the ED, and cumulative treatment time in the ED. These improvements reflect a better balance of work-rate and crowding between the ED and the other departments. 19 Monday, 11.5 M1a: Combinatorial Optimization 2 Chair and Organizer: Rafi Hassin Rafi Hassin, Uri Yovel Sequential Scheduling on Identical Machines We study a sequential version of the well-known KP-model: Each of $n$ agents has a job that needs to be processed on any of $m$ machines. Agents sequentially select a machine for processing their jobs. The goal of each agent is minimize the finish time of his machine. We study the corresponding sequential price of anarchy for m identical machines under arbitrary and LPT orders, and suggest insights into the case of two unrelated machines. Keywords: sequential price of anarchy, machine scheduling, congestion games, load balancing, subgameperfect equilibrium, makespan minimization. Tal Raviv, Uri Yovel, Tom Cherchy New Integer Programming Formulation of Routing Problems in Dense Networks A typical road network can be represented by a relatively sparse graph. However, in the arc based formulations that are currently in use for many vehicle routing problems the underlining graph is extended into a complete graph. Thus, one binary variable is defined for each pair of nodes. In this study, we introduce a new modeling approach that exploits the sparsity of the networks. In the proposed models the number of integer decision variables can be significantly reduced since the variables correspond only to direct links between nodes. On the other hand the assumptions that each node should be visited exactly once and each arc can be traversed at most once no longer hold. Our solution method thus starts by finding some Eulaerian subsets of the graph that span the required set of nodes and may include an arbitrary number of copies of each arc. The Eulerian circles in these sub-graphs are then reduced into a set of Hamiltonian circles to derive an exact optimal solution. A similar approach can be used to obtain approximated solutions where the accuracy of the solution is controlled by the number of unattractive arcs (respectively, integer decision variables) that are deleted from the network (respectively, the model). The effectiveness of our formulation when solved by a branch and cut algorithm is demonstrated by a numerical experiment. The talk will be concluded with some adaptations of the approach for classic vehicle routing problems. *We started this research project together with Uri short time before he got ill. Dorit S. Hochbaum, Asaf Levin Weighted Matching with Pair Restrictions The weighted matroid parity problems for the matching matroid and gammoids are among the very few cases for which the weighted matroid parity problem is polynomial time solvable. In this work we extend these problems to a general revenue function for each pair, and show that the resulting problem is still solvable in polynomial time via a standard weighted matching algorithm. We show that in many other directions, extending our results further is impossible (unless P=NP). One consequence of the new polynomial time algorithm is that it demonstrates, for the first time, that a prize-collecting assignment problem with ``pair restriction" is solved in polynomial time. The prize collecting assignment problem is a relaxation of the prize-collecting traveling salesman problem which requires, for any prescribed pair of nodes, either both nodes of the pair are both matched or none of them are. 20 Enrique Gerstl, Gur Mosheiov Single Machine Scheduling to Minimize Total Earliness-Tardiness with Unavailability Period We study several versions of a single-machine scheduling problem, where the machine is unavailable for processing for a pre-specified time period. In the basic problem, a common due-date for all the jobs is assumed, and the objective function is minimizing total earliness-tardiness. We consider first the setting that no idle times are allowed. We then extend the problem to general earliness and tardiness cost functions, to the case of job-dependent weights, and to the setting that idle times are allowed. All these problems are known to be NP-hard. We introduce in all cases efficient pseudo-polynomial dynamic programming algorithms. M1b: Queues and Stochastic Systems 1 Chair: Galit Yom-Tov Nitzan Carmeli, Haya Kapi, Avishai Mandelbaum Modeling and Analyzing IVR Systems, as a Special Case of Self-services Call centers play a very important role in today's economy, serving as the main customer contact channel in many different enterprises. Call centers are highly labor intensive. Typically, 60%-70% of the overall operating expenses of call centers are derived from agents’ employment costs. Reducing the number of agents handling calls, without degrading service level, is thus of interest and importance. Enabling customers self-service is one of the basic means for doing so, with Interactive Voice Response (IVR) systems being one of the main self-service channels. The goal of our research is to improve and enhance IVR systems, as a special case of self-service systems. To do so, we model and analyze customer flow within an IVR system. The model features were established and inspired by an Exploratory Data Analysis (EDA) of real IVR transactions in a call center of a large Israeli bank, based on more than one year of data, including millions of calls. An IVR system usually offers several services. Customers enter the IVR and then follow a series of menus in order to reach a desired service or services. We represent the IVR system as a rooted tree and model customer flow within it as a stochastic search. We model the search of group of customers, which is commonly characterized by its perceived rewards and costs, its success probabilities, its service time distribution, and its patience distribution. The goal of our search is to find the optimal path on the IVR tree, which will result in maximal expected discounted revenue for customers within each group. We show that, at each stage, an index can be assigned to each feasible option, and the optimal policy is to choose the option with the highest index at each stage. One of the main observations derived from the EDA was that some customers leave the IVR system without getting any relevant information. These customers may either leave the call center or join the agents queue (opt-out) to receive the desired service. In both cases, we say that these customers abandon the IVR service. When customers are self-served, finding whether their service was successful or not is not an easy task. The subject of identifying abandonments from self-service systems, such as IVR, is thus of interest and we are addressing this issue in our work. We also discovered that there is a learning process, which means that as customers gain more experience within the system, their response time is getting shorter. This fact was incorporated into our model. Our model enables the comparison between alternative IVR designs, both from the customer point of view and from the enterprise point of view, thus supplementing existing research from other fields such as Human-Factor-Engineering and Telecommunication Engineering. Although this research focuses on IVR systems, we believe that both the theoretical model and some of the methods presented in our EDA can be easily implemented to other self-service systems, which now become highly relevant, such as Internet websites. 21 Zhenghua Long, Nahum Shimkin, Jiheng Zhang Optimal Priority Control for Multiclass Many-server Queues with General Patience Distributions We consider the problem of server scheduling in an overloaded multiclass queueing system with multiple homogeneous servers and customer abandonment. In the case of exponential reneging, an indexed priority policy, called the cμ/θ rule, is known to be asymptotically optimal in the many-server heavy traffic regime, where the arrival rates and number of servers increase proportionally. For general patience distributions, we aim to find an asymptotically optimal control policy among the class of fixed priority rules. We first describe a fluid model, which is known to be the limit of the stochastic system under priority rules, and show its convergence to an equilibrium state in the case of exponential service. We then formulate an optimization problem in terms of these equilibrium states, which leads to a nonlinear program of a certain type which we term as the Fractional 0-1 Knapsack Problem. A dynamic programming algorithm is developed to efficiently solve this new type of knapsack-like problem Galit B. Yom-Tov, Jing Dong, Elad Yom-Tov The Impact of Delay Announcements on Hospital Network Coordination and Waiting Times We investigate the impact of delay announcements on the coordination within hospital networks using a combination of empirical observations and numerical experiments. We show that patients take delay information into account when choosing emergency service providers and that such information can help increase coordination in the network, leading to improvements in performance of the network, as measured by Emergency Department wait times. Our numerical results indicate that the level of coordination that can be achieved is limited by the patients’ sensitivity to waiting, the load of the system, the heterogeneity among hospitals, and, importantly, the method hospital use to estimate delays. We show that delay estimators that are based on historical average may cause oscillation in the system and lead to higher average waiting times when patients are sensitive to delay. We provide empirical evidence that suggests that such oscillations occurs in hospital networks in the US. Eitan Bachmat Geometric Queueing Theory Queueing theory and PERT/CPM project management are two of the pillars of OR. In the talk we will present an approximate analogue of the Pollaczek-Khinchine formula from queueing theory in the theory of PERT/CPM, when the precedence relation have a geometric interpretation. This provides a vast generalization of the context to which formulas of the Pollaczek-Khinchine type can be applied and leads to a wealth of interesting new examples and problems. It also shows that PERT/CPM problems with a geometric interpretation have an approximate modular symmetry. Our motivating example for the theory is an analysis of the following airplane boarding policy which was recently implemented by a few airlines: Passengers with no luggage for the overhead bins have boarding priority over passengers who do. We will analyze such policies, show why they are not very efficient and how they can be made more efficient. The key is to "cloak" slow passengers by constructing, thin focal lenses in space-time geometry. M1: Game Theory 2 Chair and Organizer: Gail Gilboa Freedman Shiran Rachmilevitch Egalitarian-Utilitarian Bounds in Nash's Bargaining Problem For every 2-person bargaining problem, the Nash bargaining solution selects a point that is “between” the relative (or normalized) utilitarian point and the relative egalitarian (i.e., Kalai-Smorodinsky) point. Also, it is “between” the (non-normalized) utilitarian and egalitarian points. I improve these bounds. I also derive a new characterization of the Nash solution which combines a bounds-property together with strong individual rationality and an axiom which is new to Nash's bargaining model, the sandwich axiom. The sandwich axiom is a weakening of Nash's IIA. 22 Itai Arieli Payoff Externalities and Social Learning We consider a social learning model with payoff externalities in which one of two stage games is chosen at random and then played repeatedly by a different group of agents in every period. The current ``generation'' of every period is informed of the history of actions chosen by the preceding generations and receives conditionally independent private signals about the realized game. We show that with probability one, the play converges to the set of equilibria of an appropriate convex combination of the two underlying stage games. We identify a range of private signals, as a function of the stage games, for which asymptotic learning holds. We show that in some cases, unlike the classical model with no payoff externalities, asymptotic learning holds for a wide range of bounded private signals. Gail Gilboa Freedman, Rann Smorodinsky Axiomatization of Privacy In many cases, conveying data of the individual agents is useful for achieving a particular objective. For example, the participating of individuals in a clinical data base may be useful for clinical research, while this data is sensitive from the individuals' perspectives. Thus, an inherent trade-off between effectiveness and privacy prevails. How much privacy is lost during a process? Can two systems be rigorously compared on the privacy loss aspect? Can one propose a benchmark for privacy loss, possibly to be adopted as a standard? The absence of unequivocal answers to those questions is conspicuous. Especially, since privacy-enhancing technologies are intensively developed without a rigorous method for approximating their necessity nor their marginal contribution. A remarkable example for a privacy benchmark for handling statistical databases is the notion of differential-privacy. In our study, we formalize the conceptual notion of privacy, and suggest an alternative measure. We view the privacy-preserving problem as a function, form the set of component-level-inputs into the set of possible-outcomes/consequences. The inputs and outputs are often referred to as `secrets’ and `signals’, respectively. By construction, each outcome is correlated with the individuals' inputs. As a result, it jeopardizes privacy to some level. We aim to quantify this level, formally. Our measure is inspired by the f-divergence, which is an information-theoretic quantity, associated with a pair of probability distributions. We study a set of necessary and sufficient behavioral axioms which uniquely define our measure and so we show that it is a natural construction.The applicability of our research is for having a rigorous methodology for prioritizing systems by the levels of preserving their privacy. Gadi Fibich, Arieh Gavious Revenue Equivalence of Large Asymmetric Auctions Using asymptotic analysis, we calculate the seller's expected revenue in large asymmetric firstprice and second-price auctions, as well as in optimal auctions, with risk-neutral players. These calculations show that the revenue difference between asymmetric first-price and second-price auctions scales as ε2/n3, where n is the number of players and ε is the level of asymmetry (heterogeneity) among the cumulative distribution functions of players' valuations. This scaling law explains previous numerical findings that the revenue difference between first-price and second-price auctions is extremely small even with as few as n=6 bidders, and shows that bidders' asymmetry has a negligible effect on revenue ranking of large auctions. Furthermore, our asymptotic calculations show that the revenue differences between asymmetric first- or secondprices auctions and the optimal mechanism also scale as ε2/n3. Hence, asymmetric first-price and second-price are asymptotically optimal. 23 M1: OR Applications in the Israeli Police Chair and Organizer: Mali Sher חיננית אפרתי ,תהילה הירש ,אירית נוביק ,מלי שר. ייעול עבודת הסיירים ביחידת המקומות הקדושים של משטרת-ישראל משטרת ישראל מופקדת על אכיפת החוק ,שמירת הסדר הציבורי וביטחון הפנים במדינת ישראל .פרויקט זה התמקד בייעול עבודת הסיירים ביחידת המקומות הקדושים ,במרחב דוד במחוז ירושלים .יחידת המקומות הקדושים אחראית ,בין היתר ,על אבטחת הר הבית ושמירה על השקט בתחומו .העבודה בהר הבית הינה קשה ,24/7 ,וכוללת זקיפות בשערי הכניסה למתחם ,לבוש הגנה מתאים ונשיאת נשק ארוך לאורך כל שעות המשמרת .העבודה הינה מורכבת ודרוכה ,כהגנה על אזור רגיש ונפיץ .כתוצאה מהעבודה המורכבת והקשה מחד והקושי באיוש תפקידים אלו מאידך הוחלט על תגמול מיוחד לשוטרים המופקדים על משימה זו וכן על הפעלת שיטת משמרות ייחודית .האיוש כיום מתבסס בעיקר על שוטרים המתגוררים בצפון הארץ .עובדה זו מקשה מאוד על שיבוץ המשמרות ביחידה .כך נוצר מצב ייחודי ביחידה בו משמרת רגילה של העובדים הרחוקים )מהצפון( הינה על בסיס 24שעות למשמרת אחת ולאחריה 48שעות מנוחה .יש לציין כי ביחידה משרתים מעט סיירים המתגוררים באזור ירושלים והמרכז ,המועסקים במשמרות רגילות .הפרויקט בחן מספר היבטים (1) :תכנון המשמרות השבועי ושיבוץ השוטרים למשמרות (2) ,בחינת העומס על השוטרים מבחינת סך שעות עבודת השוטרים ביחידה ו (3) -בחינת מאפיינים אישיים של שוטרים .בכך לתת למשטרה מידע מקדים על איכות עבודת השוטר הצפויה לצורך קבלת החלטה מושכלת בנוגע לקבלתו לעבודה .התוצאות שהתקבלו הנן ) (1מודל תכנון לינארי בשלמים המשבץ מיטבית את השוטרים למשמרות עפ"י אילוצי "קו אדום" למשמרת ,מגורי השוטרים ונהלי העבודה במשטרת-ישראל .פתרון המודל הביא לשיפור של 70%מהמצב כיום (2) .שעות עבודת השוטר ביחידה נבחנו מול משטרות אחרות בעולם ונמצא כי שוטרי היחידה עובדים מספר רב של שעות ,בפער של עד כ 20 -שעות שבועיות ממשטרות אחרות .לפיכך ,הומלץ למשטרה לבחון מחדש את שעות עבודת השוטרים ביחידה (3) .נמצא כי הנתונים האישיים המשפיעים על איכות עבודת השוטר הם גיל ,מצב משפחתי וותק במשטרה. שירלי ארקוסין ,אורטל סעידיאן ,איריס פורמה ,מלי שר. השמת עובדים אופטימאלית פרויקט זה מבוצע עבור אגף משאבי אנוש של המשטרה בשיתוף עם אגף התנועה הארצי במטרה לבצע השמה אופטימלית של עובדים .אגף משאבי אנוש של משטרת ישראל פועל להעצמת המשאב האנושי -איכותו ,מקצועיותו ורווחתו ,תוך התאמתו ליעדים ולצרכים של המשטרה .משטרת ישראל שמה לעצמה כמטרה לפעול להעצמת השוטרים והמשרתים בארגון והגברת הזדהותם עם הארגון .כיום תהליך שיבוץ השוטרים במשטרה נעשה ע"י אנשים – שוטרים באגף משאבי אנוש של המשטרה שאמונים על שיבוץ עובדים לתפקידים השונים ע"פ המשרות הפנויות .אופן השיבוץ הינו מלאכת מחשבת אנושית שמתייחסת להתניות ,הכשרות ,נתונים ורצונות ע"פ שיקול דעת בריא .מטרת הפרויקט הינה ייעול ושיפור תהליך שיבוץ השוטרים על ידי מידול הבעיה ומציאת פתרון אופטימלי בהתאם לפרמטרים המוגדרים ותוך התחשבות בצרכי הארגון ,רצון המועמד והתאמתו לתפקיד .במסגרת הפרויקט בוצע ניתוח של התפקידים המוצעים ע"י המשטרה ,תוך זיהוי של התפקידים בעלי אופי דומה שיאפשרו העברה של שוטרים מתפקיד לתפקיד .בהתאם לכך נבנו שני מודלים לשיבוץ אופטימלי של העובדים לתפקידים בין תחנות שונות :האחד -מודל תכנון ליניארי הפועל לשיבוץ השוטר לתפקיד תוך צמצום המרחק בין מקום מגורי העובד לתחנה בה הוא משרת וצמצום הפער בין התקן הארצישל התפקיד )מוגדר ע"י המשטרה( לבין תקן המצבה )מספר השוטרים המשובצים לתפקיד בפועל( ,נכתב בתוכנת IBM ILOG .CPLEXוהשני -מודל שידוך יציב -הפועל לשיבוץ תוך התייחסות לרצון/העדפת העובד )לפי שרירות ליבו( ורצון/העדפת המשטרה )שמיוצגת ע"י לוגיקה לצמצום המרחקים בין תחנת המשטרה למקום מגורי העובד( .המודל מיישם את אלגוריתם גייל- שפלי לשידוך יציב ) ,(Matching Problemנכתב בתוכנת .MATLABעיקרי הפתרון המוצע כוללים ניתוח של הנתונים שהתקבלו ממשטרת ישראל ,שימוש בנתונים אלו לצורך הפעלת המודלים ,וניתוח פלטי המודלים בכדי להעריך יעילות ואפקטיביות השיבוץ החדש בהשוואה לשיבוץ שמתבצע כיום במשטרה מה שתורם להתייעלות הארגון. אלי אורבך ,ינון סבתו ,מיכאל דרייפוס ,מלי שר. ייעול פריסת מצלמות האכיפה במשטרת-ישראל כחלק מהחלטות הממשלה למאבק בתאונות הדרכים ,תוקצב פרויקט א) 3אכיפה אלקטרונית אוטומטית( במשטרת ישראל ,באגף התנועה .פרויקט זה החל לפעול מבצעית בשנת 2012וכולל כיום כ 150 -עמדות לאכיפת מהירות מעל המותר ומעבר צומת באור אדום .העמדות ממוקמות בתחום העירוני והבינעירוני ,בצמתים ובקטעי הדרך .כיום מספר המצלמות קטן ממספר העמדות והמצלמות מנוידות בין העמדות באופן אקראי .מחקר זה מטרתו לפתח מודל לשיבוץ מצלמות האכיפה במיקום ובזמן המיטביים לצמצום מרבי של תאונות הדרכים .המודל מתבסס על נתוני תאונות הדרכים בכל רחבי הארץ בשנים האחרונות .בשלב ראשון של המחקר בוצע ניתוח נתוני כל תאונות הדרכים ב 5שנים האחרונות ומיקומם ביחס למיקום עמדות א .3בשלב השני של המחקר בוצע חיזוי מספר, חומרה ומיקום של תאונות הדרכים לתקופת התכנון .בשלב השלישי ,בהינתן התחזית ונתינת "ציונים" לכל תאונה עפ"י חומרתה, נקבע מיקום המצלמות האופטימלי ,ע"פ המודל תוך התחשבות במספר אילוצים. 24 Mali Sher, Nicole Adler, Shalom Hakkert. A Traffic Enforcement Camera Operational Model. Police enforcement resources impact safety levels by changing driver behavior. The existence of an enforcement camera reduces the number and severity of offences which in turn reduces the number of road accidents and serious injuries. After measuring the impact of a set of cameras over the last year in Israel, we note that traffic parameters were decreased on average. Based on the enforcement camera recordings, tickets are issued for red-light and speed offences. The owner of the vehicle is either (i) sent a fine, (ii) a fine with points or (ii) a court summons, according to the severity of the offence and the available police/court resources. The time halo effect causes a camera’s productivity to be reduced over time, once the tickets issued have been served, and it is therefore worthwhile moving the camera after a period of time. This research investigates the traffic police enforcement policy with respect to the use of semi-fixed cameras on a road network. In the first stage, a public committee choose the location of a set of fixed camera poles. Subsequently, the police force decided on a monthly basis which poles will contain active cameras. In the final stage, the decision is made as to the most appropriate operational policy such that a specific speed threshold determines the issuing of tickets. An integer linear program model was developed to determine the lowest enforcement speed per camera site over the planning period such that ticket issuances are maximized according to an analysis of the most important traffic parameter (average speed, variance etc.) at each site. The constraints are budget constraints as well as limitations on the processing capabilities of the police back office and the judicial system. There are three administrative level restrictions: the police back-office producing the tickets, a separate unit handling requests from the car owners and the courts that are limited by the number of judges. Finally, a municipal limitation restricts the number of tickets issued within a specific geographic region. The results of a year-long study show that the number of offences was reduced by up to 50% wherever cameras operated, highlighting the importance of this tool in the traffic enforcement field. In addition, we found that the time halo effect exists for approximately two months which will impact future decisions and the frequency with which cameras will be relocated. M4a: Optimization and Stochastics, Prize Winners Session Chair:Moshe Haviv Amir Beck, Nadav Hallak: Uriel Rothblum Award for 2015 On the Minimization Over Sparse Symmetric Sets: Projections, Optimality Conditions and Algorithms In this paper we consider the problem of minimizing a general continuously differentiable function over symmetric sets under sparsity constraints. These type of problems are generally hard to solve as the sparsity constraint induces a combinatorial constraint into the problem, rendering the feasible set to be nonconvex. We begin with a study of the properties of the orthogonal projection operator onto sparse symmetric sets. Based on this study, we derive efficient methods for computing sparse projections under various symmetry assumptions. We then introduce and study three types of optimality conditions: basic feasibility, L-stationarity and coordinate-wise optimality. A hierarchy between the optimality conditions is established by using the results derived on the orthogonal projection operator. Methods for generating points satisfying the various optimality conditions are presented, analyzed, and finally tested on specific applications. Yair Shaki (joint work with Josh Reed): Uriel Rothblum Award for 2015 A Fair Policy for the Servers in the G/GI/N Queue We consider the G/GI/N queue with multiple server pools, each possessing a pool-specific service time distribution. We then consider the class of non-idling routing policies referred to as u-greedy policies. These policies route incoming customers to the server pool with the longest weighted cumulative idle time. Our first set of results demonstrate that asymptotically in the Halfin-Whitt regime and under any u-greedy policy, the diffusion scaled cumulative idle time processes of each of the server pools are held in fixed proportion to one another. We next move on to providing a heavy-traffic limit theorem for the process 25 keeping tracking of the total number of customers in the system. Our limit may be characterized as the solution to a stochastic convolution equation. Liron Ravner: Abraham Mehrez Award for 2015 Equilibrium Arrival Times to a Queue with Order Penalties Suppose customers need to choose when to arrive to a congested queue with some desired service at the end, provided by a single server that operates only during a certain time interval. We study a model where the customers incur not only congestion (waiting) costs but also penalties for their index of arrival. Arriving before other customers is desirable when the value of service decreases with every admitted customer. This may be the case for example when arriving at a concert or a bus with unmarked seats or going to lunch in a busy cafeteria. We provide game theoretic analysis of such queueing systems with a given number of customers, specifically we characterize the arrival process which constitutes a symmetric Nash equilibrium. Arik Sadeh Choosing Binary Factors Affecting Purchasing in e-Commerce Purchase intention of potential buyers in e-commerce may be affected by numerous factors. The business and ethical conduct of a given e-store has an important role on purchase intention. In this study, binary factors are used to describe the e-store characteristics. Naturally, not all possible combinations of k factors (2k) can be included in one questionnaire. An algorithm was developed to help choosing relevant combinations of level of factors to be included in questionnaires. In this study, success is defined as a potential consumer intends to purchase a given product. Having results from the survey, a second algorithm is used to determine what values of factors that are included in a combination would lead to better success rate. This suggested mechanism can be applied in various applications in engineering, economics and management. M4: Scheduling Chair and Organizer: Dvir Shabtay Tal Grinshpoun, Elad Shufan, Hagai Ilani Public Transportation with Flexible Timetable In a regular bus service, every bus line has a given route and a published timetable. Passengers who know in advance the stations along the bus's route and the expected schedule plan their ride correspondingly. Another model of public transportation is the DARP (Dial A Ride Problem) model where, in opposition, the passengers' requests for traveling are known in advance and the bus's route and schedule are planned accordingly. We hereby present a transportation model, which is a mix of the two mentioned models. The route of the bus is known in advance but the timetable is set according to the passengers' requests. For a given operation cost, the aim is to maximize user satisfaction, by minimizing the sum of passengers' waiting times. We introduce algorithms for solving two variants of the fixed route DARP -- one for a fleet of infinite capacity vehicles, and one for the more general case of vehicles with heterogeneous capacities. Contrary to general DARP, which is NP-Hard, the presented algorithms are polynomial in the number of ride requests. Enrique Gerstl, Gur Mosheiov Scheduling with Two Competing Agents to Minimize Total Weighted Earliness We study a single machine scheduling problem with two competing agents and earliness measures. Given a common deadline for all the jobs of both agents, the objective function is minimizing the total weighted earliness of the first agent, subject to an upper bound on the maximum earliness of the jobs of the second agent. This problem was recently proved to be NP-hard, leaving the question of the complexity class open. We introduce a pseudo-polynomial dynamic programming algorithm, implying that the problem is NP-hard in the ordinary sense. An extensive numerical study indicates that the dynamic programming is very effective for solving medium size instances. We also propose an efficient heuristic, which is shown numerically to produce very close-to-optimal schedules. The dynamic programming algorithm is extended 26 to any (given) number of agents, proving NP-hardness in the ordinary sense of the general multi-agent setting. Finally, we study the inverse problem of minimizing the maximum earliness of one agent subject to an upper bound on the maximum weighted earliness of the second agent. We introduce a pseudopolynomial dynamic programming algorithm, a simple greedy-type heuristic and a lower bound. Our numerical tests verify that the heuristic produces very small optimality gaps. Baruch Mor, Gur Mosheiov Minimizing Maximum Earliness and Minimizing the Number of Early Jobs on a Proportionate Flowshop A proportionate flowshop is a special case of the classical flowshop, where the job processing times are machine-independent. Most classical scheduling objective functions have been studied in the context of a proportionate flowshop. In most cases, the solution was shown to be identical to that of the single machine version. We introduce two rare cases where the extension to a proportionate flowshop leads to different solutions. Specifically, we study the problems of minimizing maximum earliness and minimizing the number of early jobs. We show that the problems remain polynomially solvable and introduce algorithms that guarantee an optimal solution in O(n ) and O(n ) time, respectively, where n is the number of jobs. Dvir Shabtay, Shlomo Karhi An Asymptotically Optimal Online Algorithm to Minimize the Total Completion Time on Two Multipurpose Machines with Unit Processing Times In the majority of works on online scheduling on multipurpose machines the objective is to minimize the makespan. We, in contrast, consider the objective of minimizing the total completion time. For this purpose, we analyze an online-list scheduling problem of n jobs with unit processing times on a set of two machines working in parallel. Each job belongs to one of two sets of job types. Jobs belonging to the first set can be processed on any of the two machines while jobs belonging to the second set can only be processed on the second machine. We present an online algorithm with a competitive ratio of ρ(LB) + O , where ρ(LB) is a lower bound on the competitive ratio of any online algorithm and is equal to 1 + where α = + 116 − 6√78 asymptotically optimal. / + √ × / √ , / ≈ 1.918. This result implies that our online algorithm is M4: Optimization Chair: Gideon Weiss Saleh Soltan, Mihalis Yannakakis, Gil Zussman. Joint Cyber and Physical Attacks on Power Grids: Graph Theoretical Approaches for Information Recovery Recent events demonstrated the vulnerability of power grids to cyber and physical attacks. Therefore, we focus on joint cyber and physical attacks and develop methods to retrieve the grid state information following such an attack. We consider a model in which an adversary attacks a zone by physically disconnecting some of its power lines and blocking the information flow from the zone to the grids' control center. We use tools from linear algebra and graph theory and leverage the properties of the power flow DC approximation to develop methods for information recovery. Using information observed outside the attacked zone, these methods recover information about the disconnected lines and the phase angles at the buses. We identify sufficient conditions on the zone structure and constraints on the attack characteristics such that these methods can recover the information. We also show that it is NP-hard to find an approximate solution to the problem of partitioning the power grid into the minimum number of attack-resilient zones. However, since power grids can often be represented by planar graphs, we develop a constant approximation partitioning algorithm for these graphs. Finally, we numerically study the relationships between the grid's resilience and its structural properties, and demonstrate the partitioning algorithm on real power grids. The results can provide insights into the design of a secure control network for the smart grid. 27 Renata Poznanski, Refael Hassin. Optimal Multi-Period Network Flows with Coupling Constraints Suppose we have two networks defined on duplicates of the same directed graph, with given source and sink nodes, but with different edge capacities. Our problem is to compute feasible flows such that the sum of flows is maximized subject to coupling constraints that force identical flows on duplicate copies of the same edge for a subset of edges. When the subset consists of a single edge, we prove an existence of an integral optimal solution and provide an efficient algorithm. For multiple edges we prove that there exists an integral solution for all possible capacity functions if and only if the graph is series parallel. We also consider variations to other minimum cost flow problems. Rafiq Mansour, Yair Censor. New Douglas-Rachford Algorithmic Structures and Their Convergence Analyses. We study new algorithmic structures for the Douglas-Rachford (DR) algorithm to solve convex feasibility problems. For a finite family of closed convex sets in a Hilbert space, with nonempty intersection, the convex feasibility problem (CFP) is to find an element in the nonempty intersection of all the sets. There are many algorithms in the literature for solving CFPs, in particular, two algorithmic structures that encompass many specific feasibility-seeking algorithms are the String-Averaging Projections (SAP) method and the Block-Iterative Projection (BIP) method. We do two things: (i) create new algorithmic structures with the 2-sets-DR algorithmic operator, and (ii) define and study an “m -sets-DR operator”. First we employ the two-sets-DR algorithmic operator and embed it in the SAP and BIP algorithmic structures. In doing so we obtain two new families of DR algorithms, of which the two-sets-DR original algorithm and the recent cyclic-DR algorithm are special cases. Finally, we propose and investigate a generalization of the DR algorithmic operator itself. We propose to allow the algorithmic operator to perform a finite number of consecutive reflections into the sets and only then take the midpoint between the current iterate and the end-point of the consecutive reflections as the next iterate. We show how this “m -sets-DR operator” works algorithmically. We study the convergence of all three algorithmic schemes by using properties of strongly quasi-nonexpansive operators and firmly nonexpansive operators. Evgeny Shindin, Gideon Weiss A simplex-type Algorithm for Continuous Linear Programming We consider continuous linear programs over a continuous finite time horizon T, with a constant coefficient matrix, linear right hand side functions and linear cost coefficient functions, where we search for optimal solutions in the space of measures or of functions of bounded variation. These models generalize the separated continuous linear programming models and their various duals, as formulated in the past by Anderson, by Pullan, and by Weiss. In previous papers we have shown that these problems possess optimal strongly dual solutions. We also have presented a detailed escription of optimal solutions and have defined a combinatorial analogue to basic solutions of standard LP. In this paper we present an algorithm which solves this class of problems in a finite bounded number of steps, using an analogue of the simplex method, in the space of measures. M4 Queues and Stochastic Systems 2 Chair and Organizer: Yoav Kerner Yoav Kerner, Opher Baron Queueing Model for Safety Stock Inventory Model with Perishable Items and General Distribution We consider and inventory model in which the supply always regenerates the inventory to a given level. The lead time of the supply is random and hence an order is placed whenever the inventory goes below a predefined level. In addition, the inventory has a perish time, independent on everything else. We analyze the steady state distribution of the inventory, the queue, and the remaining lead time for the case where the perish times and/or the lead times follow a general distribution. 28 Ruth Sagron, Gad Rabinowitz, Israel Tirkel Hybrid Simulation-Regression Approximation for Tandem Queues with Downtime Events In this work, we introduce the Hybrid Simulation-Regression method for approximating the class-departure variability in tandem queues with downtimes. Existing decomposition methods reach partial success, due to the non-renewal process caused by the downtime events. Analytic approximations lack accuracy, and one that combines simulation tools as well, requires very high computation efforts. The proposed hybrid method paves a new approach for both reducing efforts and improving accuracy, by integrating existing decomposition methods with two variability functions. One depends on downstream traffic intensity for the within-class effect, and another on a departure from a single queue and downstream queue's waiting-time for the between-class effect. This method enables modeling different policies of downtimes (e.g. FCFS, Priority). Numerical experiments demonstrate relative errors about four times smaller than existing analytic procedures, and two times smaller than another method that combines analytic and simulation tools. Yonit Barron Clearing Control Policies for MAP Inventory Process with Partially Satisfied Demand We consider a production/clearing process in a random environment where a single machine produces a certain product into a buffer continuously. The demands arrive according to a Markov Additive Process (MAP) governed by a continuous-time Markov chain, and their sizes are independent and have phase-type distributions depending on the type of arrival. Negative inventory is not allowed, thus, the demand is partially satisfied. The production process switches between predetermined rates which depend on the state of the environment. In addition, the system is totally cleared at stationary renewal times and staring anew at level zero immediately. Several clearing policies are considered; clearing at random times, clearing at crossings of a specified level and a combination of the above policies. We assume the total cost includes a fixed clearing cost and variable holding and lost demand costs. By applying the regenerative theory, we use tools from exit-time theorem for fluid process and martingales to obtain cost functionals under both the discounted and average criterion. Finally, illustrative examples and a comparative study are provided. Tal Avinadav, Tatyana Chernonog, Yael Lahav, Uriel Spiegel Dynamic Pricing and Promotion Expenditures in an EOQ Model of Perishable Items This study considers dynamic decisions of a retailer with regard to the selling price and promotion expenditures associated with a perishable item. We propose an EOQ model in which the retailer faces a general demand function that is separable into multiplicative components of selling price, items' age and promotion expenditure. We find analytical expressions for the optimal price and promotion trajectories; and we show that the former increases and the latter decreases in the items' age, and that both are independent of the cycle length. Moreover, we show that the selling price is independent of the promotion expenditure, but not vice versa. It is also proved that under these optimal trajectories, the profit rate is strictly pseudo-concave in the cycle length. A comparison between dynamic and stationary strategies is given. M5a: Transportation Chair and Organizer: Tal Raviv Mor Kaspi, Tal Raviv, Michal Tzur Regulating One-Way Vehicle Sharing Systems through Parking Reservation Policies One-way vehicle sharing systems allow users to rent vehicles in one of many unmanned stations scattered in the city, use them for a short ride and return them at any station. The demand processes for vehicles and parking spaces are typically unbalanced. Consequently, shortages in vehicles or parking spaces may occur in some of the stations along the day. We propose implementing passive regulations as means for redirecting the demand so as to improve the performance of the system. In particular, we focus on parking reservation policies. Under such policies, the users may be required, upon renting a vehicle, to reserve a parking space at their destination and these spaces are kept for them. We measure the performance of the vehicle sharing system in terms of the total excess travel time users spend due to shortages of vehicles or parking spaces. We formulate a Markovian model of the system and use it to compare two extreme policies: a complete 29 parking reservation (CPR) policy under which all users are required to reserve a parking space and a baseline policy entitled no-reservation (NR). Through this model, we prove that under realistic demand rates, the CPR policy outperforms the NR policy. We also devise mathematical programming based bounds on the total excess travel time under any passive regulation and in particular under any parking space reservation policy. These bounds are compared to the performance of: the above policies, several partial parking reservation policies and a utopian parking space overbooking policy. A detailed user behavior model for each policy is presented and a discrete event simulation is used to evaluate the performance of the system under various settings. The analysis of two case studies of real-world systems demonstrates that: (1) a significant improvement of what theoretically can be achieved is obtained by the CPR policy. (2) The performance of the proposed partial reservation policies monotonically improve as more reservations are required. (3) Parking overbooking is not likely to be beneficial. In conclusion, our results demonstrate the effectiveness of the simple CPR policy and suggest that parking space reservations should be used in practice, even if only a small share of the users are required to place reservations Sharon Datner, Tal Raviv, Michal Tzur Setting Inventory Levels in Bike-Sharing Networks Bike-sharing systems allow people to rent a bicycle at one of many automatic rental stations scattered around a city, use them for a short journey, and return them at any other station in that city. A crucial factor in the success of such a system is its ability to meet the fluctuating demand for both bicycles and vacant lockers at each station. Setting the inventory levels of each station is a complicated task, due to the nature of users' behavior. If bicycles are not available at the desired origin of a user's journey, the user may either abandon the system, possibly use other means of transportation, or she may look for available bicycles in a neighboring station. If, on the other hand, a locker is not available at the destination, the user is obliged to find a station with available space in order to return the bicycle to the system. In this study we introduce a method to determine the inventory levels, who considers the interaction described between neighboring stations in the bike sharing network. Using a simulation based guided local search, we set inventory levels that would improve the systems' quality of service. Hila Hindi-Ling, Hillel Bar-Gera, Arie Sachish The effect of a quayside cranes buffer on ships unloading process Container terminals are essential intermodal interfaces in the global transportation network. Efficient container handling at terminals is important for reducing transportation costs and keeping shipping schedules. The temporary storage of the inbound and outbound containers is one of the most important services at the container terminal. The storage area in the terminal is divided into the several blocks of containers. Each block consists of a number of side by side lanes. Each lane is formed by a row of container stacks. Every stack may hold up to 4–5 tiers of containers (one on top of the other). The fast storage and retrieval of containers at the blocks is essential for the economic performance of container terminals and also shipping companies. These issues affect directly the traffic of the handling equipment and consequently the dwell and turnaround time of vessels. In the unloading phase, containers are unloaded and transported from the vessel to the storage yard. The equipment involved generally includes quay cranes (QC) at berths, yard cranes at storage yards, and terminal trucks. The QCs are in charge of lifting and moving containers from the vessels to the trucks. A number of trucks travel in a dedicated closed loop to pick up containers at the berth and drop them at the storage yard. Each truck usually handles one container premises at a time. Once the container arrives at the yard, a yard crane lifts it and stores it inside the yard. Delays can occur if trucks are queued at the berth and/or the yard, depending on the number of available cranes and the arrival rate of the trucks. This presentation will examine the potential of a container buffer between the QC and the terminal trucks. We will present a quantitative analysis of the effect of buffer size, fleet size, and operation rate parameters on queues, delays, overall vessel dwell time, and total operation costs. 30 M5b: Water Management Chair: Amos Bick Amos Bick, Ioannis K. Kalavrouziotis, Gideon Oron Modeling Combined Technological, Environmental and Economic Considerations in Domestic Sludge Reuse via the Analytic Hierarchy Process (AHP) An optional method of using recycling and reuse efficiently of sludge is presented. Sludge can be originated from a number of sources, although the one obtained from wastewater is the most common one. It composes around 30% percent of the wastewater treated by activated sludge or other similar methods. It always creates problems related to the environmental. A multi-objective function is defined. It consists of treating the sludge by four alternatives: (i) disposal of the sludge untreated to the sea; (ii) incineration of sludge for energy generation; (iii) treatment of the sludge via anaerobic digestion, and; (iv) using the treated sludge as a soil amendment, primarily for agriculture. Comparisons of the treatment and disposal methods were made. Comparison is based on the Analytic Hierarchy Process (AHP) model and Total Order Ranking Methods (Absolute Reference, Dominance Functions, and Hasse Average Ranking). The comparison criteria included similarly also five criteria. These criteria included the cleanness of the environment (environmental criteria), the cost of treatment according to the final product, benefit to society in terms of energy generation, benefits to agriculture in terms of food production and public acceptance. There is no doubt that the solutions will be location dependent however, they demonstrate the options in each region. David Raz, Ariel Daliot A Generic Modeling Language for Water Supply Systems Optimization We look at modeling Water Supply Systems (WSS) systems for the purpose of optimizing energy costs. Energy costs are responsible for more than 90% of the operational costs of such systems and as such are the most important factor governing WSS operation. The major constraints for such an optimization are water volume constraints such as water supply and demand, tank minimum and maximum water levels etc. This is in contrast to Water Distribution Systems (WDS) which may also be governed by water pressure constraints. Existing modeling tools, such as the EPAnet software, are focused on WDS and as such are very complex, focusing on the physical properties of the system (pipes, valves etc.) rather than on water flow and electrical power consumption and costs. We propose a simple generic modeling language for WSS. Although simple and generic, in our experience it suffices for describing WSS in enough details for energy cost optimization. The language has the major benefit that it easily translates into an LP model for optimizing energy costs. We describe the language and a graphic tool for building WSS models. We demonstrate how real life constructs translate easily into the modeling language and into an LP model. We discuss how the model may be efficiently solved. We show how the language may be easily expanded to incorporate other constraints such as pressure and other operational constraints. We express our hope that such a modeling language may be used to share network models by interested researchers and enrich the OR community. Beni Lew, Olga Tarnapolski, Vladimir Yudachev, Amos Bick Membrane Treatment of Brackish Groundwater for Unrestricted Use for Irrigation and Sustainable Agricultural Production: Decision Analysis via The Hasse Diagram Technique (HDT) Field experiments are in progress for brackish groundwater upgrading for unrestricted use for irrigation and sustainable agricultural production at the Arava valley (Israel). The treatment system is based on implementing of potable water and two main treatment stages: Nanofiltration and Reverse-Osmosis membrane processes. The feed are subsequently applied for irrigation of pepper crops. The comparison criteria include pepper yield and pepper quality. Data analysis is based on Hasse Diagram Technique (HDT), that is the application of the partial order theory referring to the objects, and characterized by vector based quantities with an easy visualization of the obtained results. This study demonstrates the possibility and appropriateness of providing a systematical decision making framework with several characteristics: 31 (i) different technological performances can be evaluated using multiple attributes - both quantitative and qualitative - rather than profitability alone, (ii) the use of ratings makes it possible to evaluate the applicability of different options for the end user, (iii) the HDT is a useful tool with an easy visualization of the obtained results, and; (iv) the proposed approach forms the basis for a continuous process of planning and managing technology selection, so that the priorities of the technologies can easily be modified and updated. M5c: Strategic Behavior in Queues Chair and Organizer: Moshe Haviv Moshe Haviv, Binyamin Oz Self-Regulation of a Queue via Random Priorities We consider an unobservable M/M/1 queue where customers are homogeneous with respect to their reward (due to service completion) and with respect to their cost per unit of time of waiting. Left to themselves, it is well known that in equilibrium they will join the queue at a rate that is higher than it is socially optimal. Hence, regulation schemes, under which the resulting equilibrium joining rate coincides with the socially optimal one, should be considered. In this talk we suggest a classification of regulation schemes, based on a few desired properties, and use it to classify schemes from existing literature. To the best of our knowledge, there is no existing scheme that possesses all properties, and in this talk we suggest such one. This novel scheme is based on assigning random priority to each customer, prior to the decision whether or not to join. We also introduce variations of this regulation scheme as well as additional schemes based on randomization. Moshe Haviv, Liron Ravner Accumulating Priority Queue with Strategic Customers In an accumulating priority M/G/1 queue each customer is assigned a positive priority coefficient. This assignment can be either class dependent or a choice made by the customers themselves. The actual (accumulated) priority of a waiting customer is a linear function of his time since arrival whose slope coincides with his priority parameter. The service regime is such that upon service completion the next customer to be admitted is the one who has accumulated the most priority. We study a non-cooperative game where customers can purchase their own priorities. For the case of homogeneous customers with respect to their waiting cost parameter, we explicitly compute the unique pure strategy Nash equilibrium. We further show that this model can display both avoid the crowd and follow the crowd behaviour, for different levels of bidding. For a game with heterogeneous customer types that differ in their waiting costs, we characterize the Nash equilibrium as the solution to a set of polynomial equations and suggest using an iterated best response dynamics in order to compute it. We further consider a non-atomic version of this game where each class of customers can coordinate their bids. We construct a unique pure strategy Nash equilibrium for the resulting game. Nahum Shimkin What to (Truthfully) Tell Customers to Make Them Join a Queue We consider a service system, such as a queueing system, to which customers arrive sequentially. Upon arrival, each customer receives from the system manager some information about his or her expected quality of service (for example, the expected waiting time in the queue, based on the current queue size which is unobservable by the arriving customer), and may then decide whether to balk or join the system. The manager is committed to truth telling, but can provide partial information (e.g., a range of possible waiting times, which must include the true one). We ask what information should be provided to arriving customers to maximize the throughput, namely the fraction of customers that choose to join. This question is formulated as an optimization problem, in terms of the service demand curve and the probability distribution of the service quality. Concrete solutions are derived, whose form depends on the convexity or concavity properties of the demand curve. 32 Name List of Participants: Speakers and Chairs* Email Affiliation Amid David Anily Shoshana Arieli Itai Atar Rami Avinadav Tal Bachmat Eitan Barron Yonit Bendavid Illana Ben-Tal Aharon Bick Amos Buchbinder Niv Carmeli Nitzan Chanukov Gabi Chernonog Tatyana Cohen Yaarit.M. Cohensius Gal Datner Sharon David Israel Dreyfuss Michael Eisenhandler Ohad Elalouf Amir Eliazar Iddo Gavious Arieh Gerchak Yigal Gerstl Enrique Gilboa Freedman Gail Goldberg Noam Halman Nir Hanany Eran Hassin Rafi Haviv Moshe Herer Yale Hindi-Ling Hila Ilani Hagai Kaspi Haya Kaspi Mor Kerner Yoav Levin Asaf Lipetz Vladimir Long Zhenghua Mansour Yishay IBM Research [email protected] Tel Aviv Univ. [email protected] Technion [email protected] Technion [email protected] Bar-Ilan Univ. [email protected] Ben Gurion Univ. [email protected] Ariel Univ. [email protected] Ort Braude [email protected] Technion [email protected] Bick & Assoc. [email protected] Tel Aviv Univ. [email protected], Technion Bar-Ilan Univ. [email protected] Bar Ilan Univ. [email protected] Technion [email protected] Ben Gurion Univ. [email protected] Tel Aviv Univ. [email protected] Ben Gurion Univ. [email protected] Jerusalem College of Technology [email protected] Tel Aviv Univ. [email protected] Bar-Ilan Univ. [email protected] Tel Aviv Univ. [email protected] Ben Gurion Univ. [email protected] Tel Aviv Univ [email protected] Hebrew Univ. [email protected] Technion [email protected] Bar-Ilan Univ. [email protected] Hebrew Univ. [email protected] Tel Aviv Univ [email protected] Tel Aviv Univ. [email protected] Hebrew Univ. [email protected] Technion [email protected] Ben Gurion Univ. [email protected] Shamoon College. [email protected] Technion [email protected] Tel Aviv Univ. [email protected] Ben Gurion Univ. [email protected] Technion IBM Research [email protected] Technion [email protected] Tel Aviv Univ. 33 Session S5c S2b M1c S4 M4d M1b M4d S5d M3, S1* M5b, M5b* S2d M1b S2a S5b S2d S2b M5a S5d S2d S2c S2a, S5d* M2 M1c S5b M4b M1c, S4* S2b S5a S4, S2a* M1a, M1a* M5c, M4a* S5d M5a M4b S4* M5a M4d, M4d* M1a S5c M1b S3 Mansour Rafiq Megiddo Nimrod Masin Michael Miller Eliaz Mor Baruch Mosheiov Gur Naor Seffi Noham Reut Oz Binyamin Pauwels Edouard Perel Nir Perlman Yael Poznanski Renata Rachmilevitch Shiran Raviv Tal Ravner Liron Raz David Sabach Shoham Sadeh Arik Sagron Ruth Shabtay Dvir Sher Mali [email protected] Haifa Univ. [email protected]ibm.com IBM Almaden [email protected] IBM Research Shimkin Nahum Shindin Evgeny Shtern Shimrit Sinuany-Stern Zilla Smirnov Dina Tzur Michal Wachtel Guy Weiss Gideon Yechiali Uri Yom-Tov Galit Zeevi Assaf Zussman Gil אורבך אלי אפרתי חיננית ארקוסין שירלי הירש תהילה סבתו ינון סעידיאן אורטל Tel Aviv Medical Ctr Ariel Univ. [email protected] Hebrew Univ. [email protected] Technion [email protected] Tel Aviv Univ. [email protected] Hebrew Univ. [email protected] Technion Shenkar [email protected] Bar-Ilan Univ. [email protected] Tel Aviv Univ. [email protected] Haifa Univ. [email protected] Tel Aviv Univ. [email protected] Hebrew Univ. [email protected] Holon Inst. of Tech. [email protected] Technion [email protected] Holon Inst. of Tech. [email protected] Ben Gurion Univ. [email protected] Ben Gurion Univ. [email protected] Israel Traffic Police [email protected] Technion [email protected] Haifa Univ. & IBM [email protected] Technion [email protected] Ben Gurion Univ. [email protected] Technion [email protected] Tel Aviv Univ. [email protected] Bar-Ilan Univ. [email protected] Haifa Univ. [email protected] Tel Aviv Univ. [email protected] Technion [email protected] Columbia Univ. [email protected] Columbia Univ. מכון לב מכון טל מכללת אפקה מכון טל מכון לב מכללת אפקה 34 M4c S1 S5c, s5c* S5d M4b M1a S2d* S2c M5c S5a S2a S5b, S5b* M4c M1c M1a, M5a* M4a M5b S5a, s5a* M4a M4d M4b, M4b* M1d, M1d* M5c, S3* M4c S5a S5c S2c S2c* S5d M4c* S2a, M2* M1b, M1b* M2 M4c M1d M1d M1d M1d M1d M1d Operations Research Society of Israel (ORSIS) Annual Meeting May 10-11, 2015 Organized by Technion—Israel Institute of Technology The William Davidson Faculty of Industrial Engineering and Management Faculty of Electrical Engineering Sponsored by The Organizing Committee: Nahum Shimkin (Chair) Michal Penn Gail Gilboa-Friedman 35