Abstract: A cucumber plant comprising a genome being homozygous for a loss of function mutation in an eIF4E gene is provided. Also provided are methods of producing such plants.

Abstract: Method and apparatus for performing static analysis optimization in a design verification system is described. In one example, a description of a verification environment having constrained objects is obtained. The constrained objects are analyzed incrementally to create a data structure of nodes. Each node includes a description of variables transitively connected by constraints. At least one of the nodes reuses a description from at least one other node. The data structure is then used during logic design verification.

Abstract: The present invention provides a system and method for resolving a test generation problem involving constraint resolution problems where a verification environment includes constraints that are suitable for resolution using one type of solver for a first domain and other constraints that are suitable for resolution using a different solver in a second domain. The invention further comprises variables and, in instances where at least one variable is in each of the first and second domains, using these solvers to restrict the set of permissible values of variables to be consistent in multiple domains, preferably in all relevant domains. A constraint resolution problem is divided into clusters of constraints connected within a domain, and connected clusters of clusters that are connected through shared variables that are subject to constraints in more than one cluster.

Abstract: Method and apparatus for performing static analysis optimization in a design verification system is described. In one example, a description of a verification environment having constrained objects is obtained. The constrained objects are analyzed incrementally to create a data structure of nodes. Each node includes a description of variables transitively connected by constraints. At least one of the nodes reuses a description from at least one other node. The data structure is then used during logic design verification.

Abstract: The present invention relates to engrafted plants comprising a transgenic rootstock resistant to a viral disease and a susceptible scion, wherein the resistance to the disease is conferred to the scion from the transgenic viral-resistant rootstock, such that the entire engrafted plant is resistant to the viral disease. The invention also relates to methods of producing the engrafted viral-resistant plants and the plants produced thereof.

Abstract: A nucleic acid vector for concurrently imparting herbicide resistance to a plant and cross protecting the plant. The vector includes sufficient potyvirus nucleic acid sequence to permit viral replication and spread. The vector further includes mutations which attenuate symptoms of viral infection in the plant and which abolish transmission of the virus by an insect vector. The vector further includes an additional nucleic acid sequence encoding a protein which imparts resistance to an herbicide when expressed in the infected plant. Further disclosed is a method of concurrently imparting herbicide resistance to a plant and cross protecting the plant against at least one potyvirus comprising inoculating at least a portion of the plant with the vector. Further disclosed are plant cells treated according to the method and virions derived from the vector.

Abstract: Systems and methods for providing supplemental interferon to a subject. One disclosed system includes a viral vector capable of infecting a plant and expressing interferon therein and the plant, which is edible. Another disclosed system includes a DNA capable of expressing an interferon gene in a plant and the plant, which is edible and susceptible to transformation by the DNA sequence. Further disclosed is a method including causing a plant to express at least a portion of an interferon gene and feeding at least a portion of the plant to the subject.

Abstract: A recombinant vector for expressing a heterologous peptide at the amino-terminus of a potyvirus coat protein. The vector includes sufficient potyvirus nucleic acid sequence to permit viral replication and spread within a plant infected by the vector. The vector further includes a heterologous nucleic acid sequence inserted at the amino-terminus of the potyvirus coat protein. Further disclosed are methods for transiently expressing the heterologous protein in a plant using the vector and plants transiently expressing the vector. Additionally, methods for vaccination which employ the vector to express an antigenic determinant in a plant are disclosed.

Abstract: A method for analyzing a plurality of sets of elements, and determining which sets from among the plurality of sets have elements in common with a trial set, including arranging a stored plurality of sets according to a directed graph data structure, the directed graph including nodes that correspond to sets and including directed edges that correspond to a relationship of set-wise inclusion, for a given trial set, denoted T, finding, within the directed graph, a smallest set, denoted S, that contains T, and determining whether T has a non-empty intersection with sets of the directed graph that are contained within S. A system is also described and claimed.