Patent application number | Description | Published |
20080206757 | METHODS AND COMPOSITIONS FOR DETECTING RARE CELLS FROM A BIOLOGICAL SAMPLE - The present invention provides methods and compositions for isolating and detecting rare cells from a biological sample containing other types of cells. In particular, the present invention includes a debulking step that uses a microfabricated filters for filtering fluid samples and the enriched rare cells can be used in a downstream process such as identifies, characterizes or even grown in culture or used in other ways. The invention also include a method of determining the aggressiveness of the tumor or of the number or proportion of cancer cells in the enriched sample by detecting the presence or amount of telomerase activity or telomerase nucleic acid or telomerase expression after enrichment of rare cells. This invention further provides an efficient and rapid method to specifically remove red blood cells as well as white blood cells from a biological sample containing at least one of each of red blood cells and white blood cells, resulting in the enrichment of rare target cells including circulating tumor cells (CTC), stromal cells, mesenchymal cells, endothelial cells, fetal cells, stem cells, non-hematopoietic cells etc from a blood sample. The method is based upon combination of immuno-microparticles (antibody coated microparticles) and density-based separation. The final enriched target cells can be subjected to a variety of analysis and manipulations, such as flowcytometry, PCR, immunofluorescence, immunocytochemistry, image analysis, enzymatic assays, gene expression profiling analysis, efficacy tests of therapeutics, culturing of enriched rare cells, and therapeutic use of enriched rare cells. In addition, depleted plasma protein and white blood cells can be optionally recovered, and subjected to other analysis such as inflammation studies, gene expression profiling, etc. | 08-28-2008 |
Patent application number | Description | Published |
20090249267 | CONSTRAINED RANDOM SIMULATION COVERAGE CLOSURE GUIDED BY A COVER PROPERTY - One embodiment of the present invention provides a system which verifies a circuit design by biasing input stimuli for the circuit design to satisfy one or more temporal coverage properties to be verified for the circuit design. This system performs a simulation in which random input stimuli are applied to the circuit design. The system performs the simulation by using a finite state automaton (FSA) instance for a temporal coverage property to observe inputs and outputs of the circuit, and by using soft constraints associated with the FSA instance to bias the input stimuli for the circuit design so that the simulation is likely to progress through a sequence of states which satisfy the temporal coverage property. | 10-01-2009 |
20090319252 | METHOD AND APPARATUS FOR EXTRACTING ASSUME PROPERTIES FROM A CONSTRAINED RANDOM TEST-BENCH - One embodiment of the present invention provides systems and techniques to extract assume properties from a constrained random test-bench. During operation, the system can receive a constrained random test-bench for verifying the design-under-test (DUT), wherein the constrained random test-bench includes a statement which assigns a random value to a random variable according to a constraint. Next, the system can modify the constrained random test-bench by replacing the statement with another statement which assigns a free input variable's value to the random variable. The system can also add a statement to the constrained random test-bench that toggles a marker variable to localize the scope of the statement. The system can then generate an assume property which models the constraint on the free input variable. The assume property can then be used by a formal property verification tool to verify the DUT. | 12-24-2009 |
20150242541 | ASSERTION EXTRACTION FROM DESIGN AND ITS SIGNAL TRACES - Groups of signals in an electronic design for which interesting assertions, such as assert, assume and cover properties, can be generated are identified. A sliding temporal window of fixed depth is used to sample unique present and past value combinations of signals in the signals groups generated by one or more simulations or emulations. The values of signals in the signal groups are organized into truth tables. Minimal functional relations are extracted from the truth tables, using techniques similar to those for synthesis of partial finite memory machines from traces, and used to generate assertions. The assertions are filtered using a cost function and pertinence heuristics, and a formal verification tool used to prune unreachable properties and generate traces for reachable cover properties. Syntactically correct assert, assume and cover property statements for the generated properties are instantiated and packaged into a file suitable for further simulation or emulation or formal verification. | 08-27-2015 |
Patent application number | Description | Published |
20130059087 | Method of strengthening glass using plasma torches and/or arc jets, and articles made according to the same - Certain example embodiments relate to an improved method of strengthening glass substrates (e.g., soda lime silica glass substrates). In certain examples, a glass substrate may be chemically strengthened by creating an electric field within the glass. In certain cases, the chemical tempering may be performed by surrounding the substrate by a plasma including certain ions, such as Li | 03-07-2013 |
20130059160 | Method of strengthening glass by plasma induced ion exchanges, and articles made according to the same - Certain example embodiments relate to an improved method of strengthening glass substrates (e.g., soda lime silica glass substrates). In certain examples, a glass substrate may be chemically strengthened by creating an electric field within the glass. In certain cases, the chemical tempering may be performed by surrounding the substrate by a plasma including certain ions, such as Li | 03-07-2013 |
20130059717 | Method of strengthening glass by plasma induced ion exchanges in connection with tin baths, and articles made according to the same - Certain example embodiments relate to an improved method of strengthening glass substrates (e.g., soda lime silica glass substrates). In certain examples, a glass substrate may be chemically strengthened by creating an electric field within the glass. In certain cases, the chemical tempering may be performed by surrounding the substrate by a plasma including certain ions, such as Li | 03-07-2013 |
20140146382 | THERMOCHROMIC WINDOW AND METHOD OF MANUFACTURING THE SAME - A thermochromic window, including: a first glass substrate, a transparent conductive film applied to the first glass substrate, a silicone resin layer applied to the conductive film, a second glass substrate, and a power source which supplies power to the conductive film, the silicone resin layer including vanadium oxide (e.g., VO | 05-29-2014 |
Patent application number | Description | Published |
20100283783 | Environment Mapping - A system and method for environment mapping determines a computer-generated object's reflective appearance, based upon position and orientation of a camera with respect to the object's location. An embodiment of the present invention is implemented as a real-time environment mapping for polygon rendering, however, the scope of the invention covers other rendering schemes. According to one embodiment of the present invention, a vector processing unit (VPU) uses a modified reflection formula—r=e−(e·(n+e | 11-11-2010 |
20140362081 | USING COMPUTE SHADERS AS FRONT END FOR VERTEX SHADERS - A set of graphics primitive information for a virtual object may be processed with compute shader running on a graphics processing unit (GPU) to generate a modified set of primitive information. The modified set of primitive information may be passed to a vertex shader running on the GPU. The vertex shader may perform vertex shading on the modified set of primitive information. It is emphasized that this abstract is provided to comply with the rules requiring an abstract that will allow a searcher or other reader to quickly ascertain the subject matter of the technical disclosure. It is submitted with the understanding that it will not be used to interpret or limit the scope or meaning of the claims. | 12-11-2014 |
20140362100 | SCHEME FOR COMPRESSING VERTEX SHADER OUTPUT PARAMETERS - A graphics processing may include implementing a vertex shader and a pixel shader with a GPU. Vertex parameter values may be compressed with the vertex shader and compressed vertex parameter values may be written to a cache. The pixel shader may access the compressed vertex parameter values that were written to the cache and decompress the compressed vertex parameter values. It is emphasized that this abstract is provided to comply with the rules requiring an abstract that will allow a searcher or other reader to quickly ascertain the subject matter of the technical disclosure. It is submitted with the understanding that it will not be used to interpret or limit the scope or meaning of the claims. | 12-11-2014 |
20140362101 | FRAGMENT SHADERS PERFORM VERTEX SHADER COMPUTATIONS - Graphics processing may include implementing a vertex shader and a pixel shader with the GPU. Vertex indices output from a vertex shader may be written to a cache. The vertex indices written to the cache may be accessed with the pixel shader and vertex parameter values associated with the vertex indices may be accessed from a memory unit with the pixel shader. It is emphasized that this abstract is provided to comply with the rules requiring an abstract that will allow a searcher or other reader to quickly ascertain the subject matter of the technical disclosure. It is submitted with the understanding that it will not be used to interpret or limit the scope or meaning of the claims. | 12-11-2014 |
20140362102 | GRAPHICS PROCESSING HARDWARE FOR USING COMPUTE SHADERS AS FRONT END FOR VERTEX SHADERS - A GPU is configured to read and process data produced by a compute shader via the one or more ring buffers and pass the resulting processed data to a vertex shader as input. The GPU is further configured to allow the compute shader and vertex shader to write through a cache. Each ring buffer is configured to synchronize the compute shader and the vertex shader to prevent processed data generated by the compute shader that is written to a particular ring buffer from being overwritten before the data is accessed by the vertex shader. It is emphasized that this abstract is provided to comply with the rules requiring an abstract that will allow a searcher or other reader to quickly ascertain the subject matter of the technical disclosure. It is submitted with the understanding that it will not be used to interpret or limit the scope or meaning of the claims. | 12-11-2014 |
20150287158 | METHOD FOR EFFICIENT RE-RENDERING OBJECTS TO VARY VIEWPORTS AND UNDER VARYING RENDERING AND RASTERIZATION PARAMETERS - Graphics processing renders a scene with a plurality of different rendering parameters for different locations on a screen area. A rendering parameter context is set up for each of a plurality of zones and each zone is assigned a zone index. An object covering at least two zones of the screen area is set up in memory. These zones are assigned to corresponding zone indices as part of setting up the object. A draw is issued for the object. Alternatively, graphics depicting one or more objects mapped to a screen area are processed. The screen area includes a plurality of zones, each having a different set of rendering parameters. Primitives belonging to one of the objects that covers at least two of the zones are received. Each primitive is assembled to screen space by iterating each primitive over each zone it covers using the rendering parameters of the respective zone with each iteration. | 10-08-2015 |
20150287166 | VARYING EFFECTIVE RESOLUTION BY SCREEN LOCATION BY ALTERING RASTERIZATION PARAMETERS - In graphics processing data is received representing one or more vertices for a scene in a virtual space. Primitive assembly is performed on the vertices to compute projections of the vertices from virtual space onto a viewport of the scene in a screen space of a display device containing a plurality of pixels, the plurality of pixels being subdivided into a plurality of subsections. Scan conversion determines which pixels of the plurality of pixels are part of each primitive that has been converted to screen space coordinates. Coarse rasterization for each primitive determines which subsection or subsections the primitive overlaps. Metadata associated with the subsection a primitive overlaps determines a pixel resolution for the subsection. The metadata is used in processing pixels for the subsection to generate final pixel values for the viewport of the scene that is displayed on the display device in such a way that parts of the scene in two different subsections have different pixel resolution. | 10-08-2015 |
20150287167 | VARYING EFFECTIVE RESOLUTION BY SCREEN LOCATION IN GRAPHICS PROCESSING BY APPROXIMATING PROJECTION OF VERTICES ONTO CURVED VIEWPORT - In graphics processing data is received representing one or more vertices for a scene in a virtual space. A projection of the vertices onto a screen space of a display device is performed. The projection approximates a projection of the vertices onto a curved viewport. Primitive assembly is performed on the vertices to generate a one or more primitives in screen space from the projection of the vertices onto the screen space. Scan conversion is performed on the one or more primitives to determine which pixel or pixels of the plurality of pixels are part of corresponding primitives of the one or more primitives. A finished frame is then generated by performing pixel processing to assign pixel values to the pixel or pixels that are part of the corresponding primitives. In some implementations, the finished frame can be stored in the memory or displayed on the display device. | 10-08-2015 |
20150287230 | GRADIENT ADJUSTMENT FOR TEXTURE MAPPING FOR MULTIPLE RENDER TARGETS WITH RESOLUTION THAT VARIES BY SCREEN LOCATION - In a computer graphics processing unit (GPU) having a shader and a texture unit the pixel shader is configured to receive or generate one or more sets of texture coordinates per pixel sample location. The pixel shader and texture unit between them are configured to calculate texture space gradient values for one or more primitives and generate and apply per-pixel gradient scale factors configured to modify the gradient values to smoothly transition them between regions of a display device having different pixel resolutions. | 10-08-2015 |
20150287232 | GRADIENT ADJUSTMENT FOR TEXTURE MAPPING TO NON-ORTHONORMAL GRID - In a computer graphics processing unit (GPU) having a texture unit, when pixel sample locations are based on a non-orthonormal grid in scene space, the texture unit receives texture space gradient values directly, e.g., from a shader unit or generates them from texture coordinates supplied, e.g., by a shader unit, and then applies a transformation to the gradient values configured to adjust the gradient values to those which would arise from the use of a orthonormal screen space grid. | 10-08-2015 |
Patent application number | Description | Published |
20110179728 | MODULAR SUB-FLOORING SYSTEM - A modular sub-flooring system for supporting an overlayment above a ground surface includes a plurality of sub-floor tiles situated about a ground surface, with each sub-floor tile having a substantially-flat top surface that is adapted to receive and support an overlayment, and a connection interface with opposing engagement surfaces. The sub-flooring system also includes a plurality of removable bridge connectors, with each of the bridge connectors having a plurality of tile interfaces, and with each tile interface having complimentary engagement surfaces configured to engage with the opposing engagement surfaces of the connection interfaces. The tile interfaces of the bridge connectors couple to the respective connection interfaces of any adjacent sub-floor tiles to restrain the relative vertical movement between the adjacent sub-floor tiles while facilitating controlled relative lateral movement between the sub-floor tiles. | 07-28-2011 |
20110185658 | SYNTHETIC FLOOR TILE HAVING PARTIALLY-COMPLIANT SUPPORT STRUCTURE - A compliant insert for flexibly supporting a synthetic floor tile above a ground surface that includes one or more elongate bodies, with each elongate body having a longitudinal axis oriented parallel to a top surface of the floor tile, a top face having an attachment interface for coupling to a tile support structure extending downward from an underside of the floor tile, and a bottom face of having at least one contact flat for contacting the ground surface and at least one upwardly-directed recess for allowing liquids to flow underneath the insert. Each of the elongate bodies also has a thickness and stiffness sufficient, in an unloaded state, to elevate the support structure a distance above the ground surface. | 08-04-2011 |
20130167458 | MODULAR FLOORING SYSTEM - A modular flooring system includes a plurality of floor tiles situated about a ground surface, with each floor tile having a substantially-flat top surface and a connection interface with opposing engagement surfaces. The flooring system also includes a plurality of removable bridge connectors, with each of the bridge connectors having a plurality of tile interfaces, and with each tile interface having complimentary engagement surfaces configured to engage with the opposing engagement surfaces of the connection interfaces. The tile interfaces of the bridge connectors couple to the respective connection interfaces of any adjacent floor tiles to restrain the relative vertical movement between the adjacent floor tiles while facilitating controlled relative lateral movement between the floor tiles. | 07-04-2013 |
20150252563 | SYNTHETIC FLOORING APPARATUS - A modular floor tile is disclosed having a top surface made of a plurality of rib members defining openings between the rib members. A plurality of edge surfaces defines a perimeter about the top surface and a support system is integrally formed with and disposed at least partially beneath the top surface. The support system is capable of maintaining the top surface elevated above a ground surface when a load is not placed on the top surface. The support system has a primary support member disposed within the openings between the rib members. The primary support member is operably connected to a plurality of arms extending laterally from the structural member to the primary support member and is capable of vertical movement within the opening when a load is applied to the top surface. | 09-10-2015 |
20150361675 | Synthetic Modular Flooring Apparatus - A modular tile is disclosed having a substantially rigid top surface supported above a ground surface by an understructure. The rigid top surface is defined by sidewalls forming an outer perimeter and four corners. Four modular tiles can be disposed adjacent one another at common adjoining corners. A bottom side of each of the four modular tiles has at least first and second cavities disposed about the corner of the tile. One of two bridge connectors is disposed about the common adjoining corners of the plurality of four modular tiles. | 12-17-2015 |