Showing papers by "Technion – Israel Institute of Technology published in 2003"

On the achievable throughput of a multiantenna Gaussian broadcast channel

Abstract: A Gaussian broadcast channel (GBC) with r single-antenna receivers and t antennas at the transmitter is considered. Both transmitter and receivers have perfect knowledge of the channel. Despite its apparent simplicity, this model is, in general, a nondegraded broadcast channel (BC), for which the capacity region is not fully known. For the two-user case, we find a special case of Marton's (1979) region that achieves optimal sum-rate (throughput). In brief, the transmitter decomposes the channel into two interference channels, where interference is caused by the other user signal. Users are successively encoded, such that encoding of the second user is based on the noncausal knowledge of the interference caused by the first user. The crosstalk parameters are optimized such that the overall throughput is maximum and, surprisingly, this is shown to be optimal over all possible strategies (not only with respect to Marton's achievable region). For the case of r>2 users, we find a somewhat simpler choice of Marton's region based on ordering and successively encoding the users. For each user i in the given ordering, the interference caused by users j>i is eliminated by zero forcing at the transmitter, while interference caused by users j

Commissioned Paper: Telephone Call Centers: Tutorial, Review, and Research Prospects

Abstract: Telephone call centers are an integral part of many businesses, and their economic role is significant and growing. They are also fascinating sociotechnical systems in which the behavior of customers and employees is closely intertwined with physical performance measures. In these environments traditional operational models are of great value--and at the same time fundamentally limited--in their ability to characterize system performance.We review the state of research on telephone call centers. We begin with a tutorial on how call centers function and proceed to survey academic research devoted to the management of their operations. We then outline important problems that have not been addressed and identify promising directions for future research.

Wetting on Hydrophobic Rough Surfaces: To Be Heterogeneous or Not To Be?

Abstract: Equilibrium wetting on rough surfaces is discussed in terms of the “competition” between complete liquid penetration into the roughness grooves and entrapment of air bubbles inside the grooves underneath the liquid. The former is the homogeneous wetting regime, usually described by the Wenzel equation. The latter is the heterogeneous wetting regime that is described by the Cassie−Baxter equation. Understanding this “competition” is essential for the design of ultrahydrophobic surfaces. The present discussion puts the Wenzel and Cassie−Baxter equations into proper mathematical−thermodynamic perspective and defines the conditions for determining the transition between the homogeneous and heterogeneous wetting regimes. In particular, a new condition that is necessary for the existence of the heterogeneous wetting regime is added. It is demonstrated that when this condition is violated, the homogeneous wetting regime is in effect, even though the Cassie−Baxter equation may be satisfied.

Observation of two-dimensional discrete solitons in optically induced nonlinear photonic lattices

Abstract: Nonlinear periodic lattices occur in a large variety of systems, such as biological molecules, nonlinear optical waveguides, solid-state systems and Bose-Einstein condensates. The underlying dynamics in these systems is dominated by the interplay between tunnelling between adjacent potential wells and nonlinearity. A balance between these two effects can result in a self-localized state: a lattice or 'discrete' soliton. Direct observation of lattice solitons has so far been limited to one-dimensional systems, namely in arrays of nonlinear optical waveguides. However, many fundamental features are expected to occur in higher dimensions, such as vortex lattice solitons, bright lattice solitons that carry angular momentum, and three-dimensional collisions between lattice solitons. Here, we report the experimental observation of two-dimensional (2D) lattice solitons. We use optical induction, the interference of two or more plane waves in a photosensitive material, to create a 2D photonic lattice in which the solitons form. Our results pave the way for the realization of a variety of nonlinear localization phenomena in photonic lattices and crystals. Finally, our observation directly relates to the proposed lattice solitons in Bose-Einstein condensates, which can be observed in optically induced periodic potentials.

Counterexample-guided abstraction refinement for symbolic model checking

Abstract: The state explosion problem remains a major hurdle in applying symbolic model checking to large hardware designs. State space abstraction, having been essential for verifying designs of industrial complexity, is typically a manual process, requiring considerable creativity and insight.In this article, we present an automatic iterative abstraction-refinement methodology that extends symbolic model checking. In our method, the initial abstract model is generated by an automatic analysis of the control structures in the program to be verified. Abstract models may admit erroneous (or "spurious") counterexamples. We devise new symbolic techniques that analyze such counterexamples and refine the abstract model correspondingly. We describe aSMV, a prototype implementation of our methodology in NuSMV. Practical experiments including a large Fujitsu IP core design with about 500 latches and 10000 lines of SMV code confirm the effectiveness of our approach.

Private Circuits: Securing Hardware against Probing Attacks

Abstract: Can you guarantee secrecy even if an adversary can eavesdrop on your brain? We consider the problem of protecting privacy in circuits, when faced with an adversary that can access a bounded number of wires in the circuit This question is motivated by side channel attacks, which allow an adversary to gain partial access to the inner workings of hardware Recent work has shown that side channel attacks pose a serious threat to cryptosystems implemented in embedded devices In this paper, we develop theoretical foundations for security against side channels In particular, we propose several efficient techniques for building private circuits resisting this type of attacks We initiate a systematic study of the complexity of such private circuits, and in contrast to most prior work in this area provide a formal threat model and give proofs of security for our constructions

Endothelial cells derived from human embryonic stem cells

Abstract: The invention is a population of embryonic endothelial cells produced in vitro from human embryonic stem cells. The cells produce platelet endothelial cell adhesion molecule-1 and are vasculogenic. The cells may be combined with a cell support substrate, seeded on a polymer matrix, or combined with a cell-support substrate that is infused into a polymer matrix. The cells may also be injected directly into a tissue site.

Noise spectrum estimation in adverse environments: improved minima controlled recursive averaging

Abstract: Noise spectrum estimation is a fundamental component of speech enhancement and speech recognition systems. We present an improved minima controlled recursive averaging (IMCRA) approach, for noise estimation in adverse environments involving nonstationary noise, weak speech components, and low input signal-to-noise ratio (SNR). The noise estimate is obtained by averaging past spectral power values, using a time-varying frequency-dependent smoothing parameter that is adjusted by the signal presence probability. The speech presence probability is controlled by the minima values of a smoothed periodogram. The proposed procedure comprises two iterations of smoothing and minimum tracking. The first iteration provides a rough voice activity detection in each frequency band. Then, smoothing in the second iteration excludes relatively strong speech components, which makes the minimum tracking during speech activity robust. We show that in nonstationary noise environments and under low SNR conditions, the IMCRA approach is very effective. In particular, compared to a competitive method, it obtains a lower estimation error, and when integrated into a speech enhancement system achieves improved speech quality and lower residual noise.

DNA-Templated Carbon Nanotube Field-Effect Transistor

Abstract: The combination of their electronic properties and dimensions makes carbon nanotubes ideal building blocks for molecular electronics. However, the advancement of carbon nanotube-based electronics requires assembly strategies that allow their precise localization and interconnection. Using a scheme based on recognition between molecular building blocks, we report the realization of a self-assembled carbon nanotube field-effect transistor operating at room temperature. A DNA scaffold molecule provides the address for precise localization of a semiconducting single-wall carbon nanotube as well as the template for the extended metallic wires contacting it.

Active Packaging Technologies with an Emphasis on Antimicrobial Packaging and its Applications

Abstract: In response to the dynamic changes in current consumer demand and market trends, the area of Active Packaging (AP) is becoming increasingly significant. Principal AP systems include those that involve oxygen scavenging, moisture absorption and control, carbon dioxide and ethanol generation, and antimicrobial (AM) migrating and nonmigrating systems. Of these active packaging systems, the AM version is of great importance. This article reviews: (1) the different categories of AP concepts with particular regard to the activity of AM packaging and its effects on food products, (2) the development of AM and AP materials, and (3) the current and future applications of AM packaging.

Differentiation of human embryonic stem cells on three-dimensional polymer scaffolds.

Abstract: Human embryonic stem (hES) cells hold promise as an unlimited source of cells for transplantation therapies. However, control of their proliferation and differentiation into complex, viable 3D tissues is challenging. Here we examine the use of biodegradable polymer scaffolds for promoting hES cell growth and differentiation and formation of 3D structures. We show that complex structures with features of various committed embryonic tissues can be generated, in vitro, by using early differentiating hES cells and further inducing their differentiation in a supportive 3D environment such as poly(lactic-co-glycolic acid)/poly(l-lactic acid) polymer scaffolds. We found that hES cell differentiation and organization can be influenced by the scaffold and directed by growth factors such as retinoic acid, transforming growth factor β, activin-A, or insulin-like growth factor. These growth factors induced differentiation into 3D structures with characteristics of developing neural tissues, cartilage, or liver, respectively. In addition, formation of a 3D vessel-like network was observed. When transplanted into severe combined immunodeficient mice, the constructs continue to express specific human proteins in defined differentiated structures and appear to recruit and anastamose with the host vasculature. This approach provides a unique culture system for addressing questions in cell and developmental biology, and provides a potential mechanism for creating viable human tissue structures for therapeutic applications.

Extending Oblivious Transfers Efficiently

Abstract: We consider the problem of extending oblivious transfers: Given a small number of oblivious transfers “for free,” can one implement a large number of oblivious transfers? Beaver has shown how to extend oblivious transfers given a one-way function. However, this protocol is inefficient in practice, in part due to its non-black-box use of the underlying one-way function.

Hierarchical mesh decomposition using fuzzy clustering and cuts

Abstract: Cutting up a complex object into simpler sub-objects is a fundamental problem in various disciplines. In image processing, images are segmented while in computational geometry, solid polyhedra are decomposed. In recent years, in computer graphics, polygonal meshes are decomposed into sub-meshes. In this paper we propose a novel hierarchical mesh decomposition algorithm. Our algorithm computes a decomposition into the meaningful components of a given mesh, which generally refers to segmentation at regions of deep concavities. The algorithm also avoids over-segmentation and jaggy boundaries between the components. Finally, we demonstrate the utility of the algorithm in control-skeleton extraction.

Small feedback‐based decisions and their limited correspondence to description‐based decisions

Abstract: The present paper explores situations in which the information available to decision makers is limited to feedback concerning the outcomes of their previous decisions. The results reveal that experience in these situations can lead to deviations from maximization in the opposite direction of the deviations observed when the decisions are made based on a description of the choice problem. Experience was found to lead to a reversed common ratio/certainty effect, more risk seeking in the gain than in the loss domain, and to an underweighting of small probabilities. Only one of the examined properties of description-based decisions, loss aversion, seems to emerge robustly in these ‘feedback-based’ decisions. These results are summarized with a simple model that illustrates that all the unique properties of feedback-based decisions can be a product of a tendency to rely on recent outcomes. Copyright # 2003 John Wiley & Sons, Ltd.

A Variational Framework for Retinex

Abstract: Retinex theory addresses the problem of separating the illumination from the reflectance in a given image and thereby compensating for non-uniform lighting. This is in general an ill-posed problem. In this paper we propose a variational model for the Retinex problem that unifies previous methods. Similar to previous algorithms, it assumes spatial smoothness of the illumination field. In addition, knowledge of the limited dynamic range of the reflectance is used as a constraint in the recovery process. A penalty term is also included, exploiting a-priori knowledge of the nature of the reflectance image. The proposed formulation adopts a Bayesian view point of the estimation problem, which leads to an algebraic regularization term, that contributes to better conditioning of the reconstruction problem. Based on the proposed variational model, we show that the illumination estimation problem can be formulated as a Quadratic Programming optimization problem. An efficient multi-resolution algorithm is proposed. It exploits the spatial correlation in the reflectance and illumination images. Applications of the algorithm to various color images yield promising results.

Human Feeder Layers for Human Embryonic Stem Cells

Abstract: Human embryonic stem (hES) cells hold great promise for future use in various research areas, such as human developmental biology and cell-based therapies. Traditionally, these cells have been cultured on mouse embryonic fibroblast (MEF) feeder layers, which permit continuous growth in an undifferentiated stage. To use these unique cells in human therapy, an animalfree culture system must be used, which will prevent exposure to mouse retroviruses. Animal-free culture systems for hES cells enjoy three major advantages in the basic culture conditions: 1) the ability to grow these cells under serum-free conditions, 2) maintenance of the cells in an undifferentiated state on Matrigel matrix with 100% MEF-conditioned medium, and 3) the use of either human embryonic fibroblasts or adult fallopian tube epithelial cells as feeder layers. In the present study, we describe an additional animal-free culture system for hES cells, based on a feeder layer derived from foreskin and a serum-free medium. In this culture condition, hES cells maintain all embryonic stem cell features (i.e., pluripotency, immortality, unlimited undifferentiated proliferation capability, and maintenance of normal karyotypes) after prolonged culture of 70 passages (.250 doublings). The major advantage of foreskin feeders is their ability to be continuously cultured for more than 42 passages, thus enabling proper analysis for foreign agents, genetic modification such as antibiotic resistance, and reduction of the enormous workload involved in the continuous preparation of new feeder lines. developmental biology, embryo

Observation of discrete solitons in optically induced real time waveguide arrays.

Abstract: We report the first experimental observation of discrete solitons in an array of optically induced waveguides. The waveguide lattice is induced in real time by illuminating a photorefractive crystal with a pair of interfering plane waves. We demonstrate two types of bright discrete solitons: in-phase self-localized states and the staggered (pi out-of-phase) soliton family. This experiment is the first observation of bright staggered solitons in any physical system. Our scheme paves the way for reconfigurable focusing and defocusing photonic lattices where low-power (mW) discrete solitons can be thoroughly investigated.

On bending invariant signatures for surfaces

Abstract: Isometric surfaces share the same geometric structure, also known as the "first fundamental form." For example, all possible bendings of a given surface that includes all length preserving deformations without tearing or stretching the surface are considered to be isometric. We present a method to construct a bending invariant signature for such surfaces. This invariant representation is an embedding of the geometric structure of the surface in a small dimensional Euclidean space in which geodesic distances are approximated by Euclidean ones. The bending invariant representation is constructed by first measuring the intergeodesic distances between uniformly distributed points on the surface. Next, a multidimensional scaling technique is applied to extract coordinates in a finite dimensional Euclidean space in which geodesic distances are replaced by Euclidean ones. Applying this transform to various surfaces with similar geodesic structures (first fundamental form) maps them into similar signature surfaces. We thereby translate the problem of matching nonrigid objects in various postures into a simpler problem of matching rigid objects. As an example, we show a simple surface classification method that uses our bending invariant signatures.

Carbon Nanotubes Embedded in Oriented Polymer Nanofibers by Electrospinning

Abstract: The electrospinning process was used successfully to fabricate nanofibers of poly(ethylene oxide) (PEO) in which multiwalled carbon nanotubes (MWCNT) are embedded. Initial dispersion of MWCNTs in water was achieved using amphiphiles, either as small molecules (sodium dodecyl sulfate, SDS) or as a high molecular weight, highly branched polymer (Gum Arabic). These dispersions provided separation of the MWCNTs and their individual incorporation into the PEO nanofibers by subsequent electrospinning. The focus of this work is on the development of axial orientations in these multicomponent nanofibers. A theoretical model is presented for the behavior of rodlike particles representing CNTs in electrospinning. Initially the rods are randomly oriented, but due to the sinklike flow in a wedge they are gradually oriented mainly along the stream lines, so that straight CNTs are almost oriented upon entering the electrospun jet. The degrees of orientation of polymer, surfactant, and MWCNT were studied using X-ray dif...

Higher Order Thinking Skills and Low-Achieving Students: Are They Mutually Exclusive?

Abstract: Fostering students' higher order thinking skills is considered an important educational goal. Although learning theories see the development of students' thinking as an important goal for all students, teachers often believe that stimulating higher order thinking is appropriate only for high-achieving students. According to this view, low-achieving students are, by and large, unable to deal with tasks that require higher order thinking skills and should thus be spared the frustration generated by such tasks. Because this view may cause teachers to treat students in a nonegalitarian way, it is important to find out whether or not it is supported by empirical evidence. The goal of this study is to examine this issue in light of four different studies, by asking the following question: Do low-achieving students gain from teaching and learning processes that are designed to foster higher order thinking skills? Each of the4 studies addressed a different project whose goal was to teach higher order thinking in ...

An introduction to boosting and leveraging

Abstract: We provide an introduction to theoretical and practical aspects of Boosting and Ensemble learning, providing a useful reference for researchers in the field of Boosting as well as for those seeking to enter this fascinating area of research. We begin with a short background concerning the necessary learning theoretical foundations of weak learners and their linear combinations. We then point out the useful connection between Boosting and the Theory of Optimization, which facilitates the understanding of Boosting and later on enables us to move on to new Boosting algorithms, applicable to a broad spectrum of problems. In order to increase the relevance of the paper to practitioners, we have added remarks, pseudo code, "tricks of the trade", and algorithmic considerations where appropriate. Finally, we illustrate the usefulness of Boosting algorithms by giving an overview of some existing applications. The main ideas are illustrated on the problem of binary classification, although several extensions are discussed.

A Laser Surface Textured Parallel Thrust Bearing

Abstract: The potential use of a new technology of laser surface texturing (LST) in parallel thrust bearings is theoretically investigated. The surface texture has the form of micro-dimples with pre-selected diameter, depth, and area density. It can be applied to only a portion of the bearing area (partial LST) or the full bearing area (full LST). Optimum parameters of the dimples, and best LST mode, are found in order to obtain maximum load carrying capacity for a thrust bearing having parallel mating surfaces. A comparison is made with optimum linear and stepped sliders showing that parallel LST sliders can provide similar load carrying capacity. Scheduled for Presentation at the 58th Annual Meeting in New York City April 28–May 1, 2003

Exploiting Task Relatedness for Multiple Task Learning

Abstract: The approach of learning of multiple “related” tasks simultaneously has proven quite successful in practice; however, theoretical justification for this success has remained elusive. The starting point for previous work on multiple task learning has been that the tasks to be learned jointly are somehow “algorithmically related”, in the sense that the results of applying a specific learning algorithm to these tasks are assumed to be similar. We offer an alternative approach, defining relatedness of tasks on the basis of similarity between the example generating distributions that underline these task.

Mean shift based clustering in high dimensions: a texture classification example

Abstract: Feature space analysis is the main module in many computer vision tasks. The most popular technique, k-means clustering, however, has two inherent limitations: the clusters are constrained to be spherically symmetric and their number has to be known a priori. In nonparametric clustering methods, like the one based on mean shift, these limitations are eliminated but the amount of computation becomes prohibitively large as the dimension of the space increases. We exploit a recently proposed approximation technique, locality-sensitive hashing (LSH), to reduce the computational complexity of adaptive mean shift. In our implementation of LSH the optimal parameters of the data structure are determined by a pilot learning procedure, and the partitions are data driven. As an application, the performance of mode and k-means based textons are compared in a texture classification study.