Inventors list |
Assignees list |
Classification tree browser |
Top 100 Inventors |
Top 100 Assignees |
Roessler, US
Andreas Roessler, Keller, TX US
| Patent application number | Description | Published |
|---|---|---|
| 20120250556 | APPARATUS AND METHOD FOR MEASURING CHANNEL QUALITY FEEDBACK OF MOBILE STATIONS - A measuring device for determining the channel-quality feedback quality of mobile stations contains a base station, a mobile station and a measuring unit. The measuring unit contains at least two antennas and a processing device. The measuring unit and the mobile station receive signals in each case by means of at least two antennas from the same at least two antennas of the base station. The mobile station determines a channel-quality feedback value from the signals it has received. The processing device determines the orthogonality of the signals received by the measuring unit. The processing device determines a channel-quality feedback value from the orthogonality. From this and from the channel-quality feedback value of the mobile station, the processing device determines the quality of the latter. | 10-04-2012 |
| 20120302159 | MEASURING INSTRUMENT AND A MEASURING METHOD FOR STATIONARY TESTING OF MOBILE-RADIO RELAY STATIONS - A measuring instrument for testing mobile-radio relay stations provides at least one first measuring device and a receiver device. The first measuring device generates a first signal and transmits it either directly or via at least one further device to a relay station under test. The receiver device receives from the relay station under test a second signal derived from the first signal. The first measuring device compares the first signal and at least one signal derived from the second signal. | 11-29-2012 |
Blake J. Roessler, Ann Arbor, MI US
| Patent application number | Description | Published |
|---|---|---|
| 20100234740 | Method and Apparatus for Evaluating Ocular Tissue Conditions - Methods and apparatus are provided for evaluating an ocular tissue condition of a patient (e.g., a disease, a risk of developing a disease, etc.). For example, an indicator associated with the ocular tissue condition may be generated. A portion of ocular tissue of the patient is irradiated using a light source. Light from the portion of the ocular tissue is received. Raman spectra information associated with the received light is determined. An indicator of an ocular tissue condition is generated based at least on the Raman spectra information. The indicator may, for example, assist a physician in diagnosing or ruling out the ocular tissue condition. | 09-16-2010 |
Charles J. Roessler, St. Louis, MO US
| Patent application number | Description | Published |
|---|---|---|
| 20120025646 | Cooling Tower Motor Having Improved Moisture Protection - An electrical motor has been developed having an epoxy, which encapsulates a stator winding to protect the stator winding from the humid and damp atmosphere associated with a cooling tower. The electrical motor includes a stator core, a stator winding configured about the stator core, and an epoxy encapsulating at least an end portion of the stator winding, the epoxy enabling the stator winding to be isolated from an atmosphere surrounding a fan within in a cooling tower operated by the electrical motor in which the stator core and the stator winding are positioned. | 02-02-2012 |
Dennis Roessler, Fort Worth, TX US
| Patent application number | Description | Published |
|---|---|---|
| 20110108721 | Filter Wheel Assembly for Downhole Spectroscopy - A downhole fluid analysis tool has a tool housing and a fluid analysis device. The tool housing is deployable downhole and has at least one flow passage for a fluid sample. The fluid analysis device is disposed in the tool housing relative to the flow passage. Inside the device, one or more sources generate a combined input electromagnetic signal across a spectrum of wavelengths, and a routing assembly routes generated signals into the reference and measurement signals. At least one wheel having a plurality of filters is rotated to selectively interpose one or more of the filters in the paths of the reference and measurement signals. | 05-12-2011 |
| 20120081698 | Refractive Index Sensor for Fluid Analysis - A refractive index sensor having one or more sources, an adaptive optical element or scanner, imaging optics, a sensing optic, and one or more detectors. The scanner impinges a signal from the source into the sensing optic and onto a sensor-sample interface at sequential angles of incidence. The detector response increases dramatically to signals reflected from the interface at corresponding sequential angles of reflection equal to or greater than a critical angle. The refractive index sensor also uses an input lens between the scanner and the sensing optic and uses an output lens between the sensing optic and the detector. A processor controls the sensor and can determine index of refraction of the fluid sample based on the detector response and scan rate. The sensor can be used in several operational environments from a laboratory to a downhole tool, such as a formation tester to determine properties in a borehole environment. | 04-05-2012 |
Dennis Eugene Roessler, Fort Worth, TX US
| Patent application number | Description | Published |
|---|---|---|
| 20120234088 | Cylindrical Shaped Snorkel Interface on Evaluation Probe - A snorkel and pad for use with a formation testing tool is formed with a cylindrical geometry at the interface where the snorkel and pad contacts the inner surface of a borehole. The cylindrical geometry reduces or eliminates gaps that a flat interface surface would leave between the snorkel and the inner surface of the borehole, reducing the possibility that a surrounding pad could extrude through the gap. The snorkel is prevented from rotating during operation, ensuring the correct orientation of the cylindrical geometry interface surface relative to the inner surface of the borehole. The snorkel may be used as part of a formation testing system. | 09-20-2012 |
Dennis Eugene Roessler, Houston, TX US
| Patent application number | Description | Published |
|---|---|---|
| 20090071240 | APPARATUS AND METHODS FOR MEASURING PRESSURE USING A FORMATION TESTER - A system for measuring pressure in a well borehole using two pressure sensing gauges that are exposed to an area of common pressure. Pressure measurements are made with preferably two pressure gauge assemblies each containing a single pressure sensing gauge. The two pressure gauge assemblies are removably disposed within a receptacle or “pocket” in the outer surface of a wall of a formation tester tool section. When disposed or “side loaded” in the pocket, the gauges within the pair of assemblies are axially aligned and positioned in a plane that is normal to the radius of the formation tester tool section. Both pressure sensing gauges can be connected to respond to the same fluid pressure originating from a probe or port section of a formation tester tool. By disposing the pressure gauge assemblies in a receptacle or “pocket” in the outer surface or wall of a formation tester tool section, the pressure sensing gauges are exposed to wellbore fluids. Pressure sensing gauges are selected to have low mass. The low mass of the gauges and a cooperating heater assembly allow the pressure gauges to rapidly thermally stabilize with changing temperatures in the wellbore. | 03-19-2009 |
| 20090152456 | BOREHOLE TESTER APPARATUS AND METHODS FOR USING NUCLEAR ELECTROMAGNETIC RADIATION TO DETERMINE FLUID PROPERTIES - Apparatus and methods for determining one or more fluid parameters of interest by irradiating fluid with a source of nuclear electromagnetic radiation and subsequently measuring attenuation and absorption properties of the fluid from which parameters of interest are determined. Measurements are made with a formation tester tool comprising preferably two functionally configured flow lines. The source simultaneously irradiates fluid contained in opposing irradiation sections that can be integral sections of each of the two flow lines. A radiation detector is dedicated to each irradiation section and measures radiation attenuation and absorption properties fluid contained within each flow line section. Absolute and relative fluid parameters of interest are determined from the responses of the two radiation detectors. | 06-18-2009 |
Donald Eugene Roessler, Bishopville, MD US
| Patent application number | Description | Published |
|---|---|---|
| 20080213304 | Methods of Treating and Preventing Neurological Symptons Caused by Avian Reovirus and Novel Associated Characteristics - Embodiments of the present invention generally relate to novel methods for the treatment and/or prevention of neurological symptoms caused by an avian reovirus, enteric reovirus strain (ERS), and associated characteristics. Other embodiments generally comprise and immunogenic composition or vaccine comprising an ERS for the treatment and/or prevention of neurological symptoms. | 09-04-2008 |
| 20100233208 | Methods of Treating and Preventing Neurological Symptoms Caused by Avian Reovirus and Novel Associated Characteristics - Embodiments of the present invention generally relate to novel methods for the treatment and/or prevention of neurological symptoms caused by an avian reovirus, enteric reovirus strain (ERS), and associated characteristics. Other embodiments generally comprise and immunogenic composition or vaccine comprising an ERS for the treatment and/or prevention of neurological symptoms. | 09-16-2010 |
Frank Roessler, Baking Ridge, NJ US
| Patent application number | Description | Published |
|---|---|---|
| 20110296312 | USER INTERFACE FOR MANAGING COMMUNICATION SESSIONS - Disclosed herein are systems, methods, and non-transitory computer-readable storage media for displaying a user interface for managing communication sessions on a communication device. A system configured to practice the method displays, on a first side portion of the user interface, a first set of user-configurable communication information. The system displays, a second side portion of the user interface, a second set of user-configurable communication information. The system displays, on a center portion of the user interface, a communication work space for managing communication sessions. In one embodiment including a touch sensitive display, this interface is used with a tablet device such that a natural position of user's thumbs are in an optimal position to interact efficiently with the user interface. The side portions can be user-configurable to display, for example, contacts, calendar events, tasks, memos, and so forth. | 12-01-2011 |
Frank M. Roessler, Warren, NJ US
| Patent application number | Description | Published |
|---|---|---|
| 20120128140 | Providing a Roster and Other Information Before Joining a Participant Into an Existing Call - A communication manager establishes a call between two or more participants on two or more communication devices. The call can be an audio or video call. A call request is sent from one of the communication devices to conference an additional communication device to the call. For example, a participant in the call decides to conference an additional person to further discuss an idea. | 05-24-2012 |
Frank M. Roessler, Basking Ridge, NJ US
| Patent application number | Description | Published |
|---|---|---|
| 20090086951 | Telecommunications endpoint for managing multi-conferencing - An apparatus or endpoint device is disclosed for providing the capability to simultaneously manage multiple conference calls, move participants in the conference calls from one conference call to another and subdivide or join multiple conference calls together, and the like, wherein the apparatus or endpoint device provides a multi-conferencing capability that enables one or more teleconferencing participants to manage multiple teleconferences simultaneously. Each participant in the teleconference call manages their respective teleconference through their apparatus or endpoint device at their specific location by using it to adjust the teleconferencing topology, i.e., who should form what part of each specific teleconference call. | 04-02-2009 |
| 20090086952 | Multi-conferencing capability - A system and method for providing the capability to simultaneously manage multiple conference calls, move participants in the conference calls from one conference call to another and subdivide or join multiple conference calls together, and the like, wherein a participant seeking to initiate conference calls does so at his or her endpoint by selecting conference call identifiers, where the identifiers identify conference calls to be created. The initiating participant then selects the participants to be associated with the particular calls and confirms the selection. Upon confirmation of the selection, the conference calls among the selected participants are established. | 04-02-2009 |
| 20110305332 | Multi-Conferencing Capability - A system and method for providing the capability to simultaneously manage multiple conference calls, move participants in the conference calls from one conference call to another and subdivide or join multiple conference calls together, and the like, wherein a participant seeking to initiate conference calls does so at his or her endpoint by selecting conference call identifiers, where the identifiers identify conference calls to be created. The initiating participant then selects the participants to be associated with the particular calls and confirms the selection. Upon confirmation of the selection, the conference calls among the selected participants are established. | 12-15-2011 |
Frank Michael Roessler, Basking Ridge, NJ US
| Patent application number | Description | Published |
|---|---|---|
| 20100049627 | Audio Communication Web Site Integration - The present invention provides a method of communication between customers of a retail Web site. In particular, the illustrative embodiment provides a computer implemented method comprises authenticating a first customer and a second customer to enable the first and second customers to access a retail Web site via the Internet, displaying a representation of the first customer viewing a Web page of the retail Web site and a representation of the second customer viewing the Web page of the retail Web site, and enabling audio communication between the first customer and the second customer. | 02-25-2010 |
| 20100241577 | Method for Routing Users to Contact Center Agents - A method is provided in which a user selects the characteristics of an agent with which the user wants to talk. The user is allowed to add a selection of agent characteristics to an online “shopping cart” and transmit the content of the shopping cart to the contact center. The contact center uses the transmitted information to find an appropriate agent for the user. The method can be provided as part of a preferential treatment of users. In accordance with some embodiments of the present invention, preferential treatment is provided on the basis of one of: (1) a characteristic of a user, (2) a characteristic of a transaction in which the user participated, (3) the availability of a selection of agent characteristics which was made by the user in a prior session with the contact center. | 09-23-2010 |
| 20100290614 | Method for Indicating Call-Center Agent Availability - A method for informing a caller of the availability of a call-center agent who can assist the caller without some of the disadvantages of the prior art is disclosed. In accordance with the illustrative embodiment of the present invention, when a caller accesses the address book in the memory of his or her telecommunications terminal (such as a telephone) the caller will see both the contact information for the call center and the availability of a call-center agent. | 11-18-2010 |
| 20110075824 | Consumer Contact Portal - A method is provided for the sharing of information in which a request for information is transmitted along with an indication of a reason for which the information is sought and, in response to the request, a subset of the information available is provided on the basis of a characteristic of the event. | 03-31-2011 |
Joanne Roessler, San Rafael, CA US
| Patent application number | Description | Published |
|---|---|---|
| 20110146345 | JEWELRY AND METHOD FOR ITS USE - A jewelry piece comprising a ring shank, at least one first connector, at least one second connector, at least one first linkage, at least one second linkage, and at least one charm. | 06-23-2011 |
Kenneth G. Roessler, Boca Raton, FL US
| Patent application number | Description | Published |
|---|---|---|
| 20120231397 | Wafer Fabrication Process - A wafer fabrication process with removal of haze formation from a pellicalized photomask surface is provided. The wafer fabrication process includes pre-print wafer processing, wafer print processing using at least one photomask having a pellicle, photomask clean processing, wafer print processing using the photomask, and post-print wafer processing. The photomask clean processing step includes directing a laser through the pellicle towards an inorganic particle disposed on the photomask to remove the particle from the photomask by thermal decomposition. | 09-13-2012 |
Kenneth Gilbert Roessler, Boca Ranton, FL US
| Patent application number | Description | Published |
|---|---|---|
| 20090071506 | Debris removal in high aspect structures - A method of debris removal is provided. The method includes positioning a nanometer-scaled tip adjacent to a piece of debris on a substrate. The method also includes adhering the piece of debris to the tip. In addition, the method also includes removing the piece of debris from the substrate by moving the tip away from the substrate. | 03-19-2009 |
Kenneth Gilbert Roessler, Boca Raton, FL US
| Patent application number | Description | Published |
|---|---|---|
| 20090038637 | APPARATUS AND METHOD FOR INDIRECT SURFACE CLEANING - A method for laser surface cleaning of a target surface that has limited or no access to the environment directly above the surface to be cleaned. The method includes the ability to clean the surface with a reduced risk of substrate damage. The method includes direct laser excitation of a contaminated substrate surface and thermal transfer from the substrate to the contaminating particulate or contamination layer. The method also includes producing a thermally based removal and reducing a risk of substrate damage by keeping the temperature required to produce surface cleaning below the thermal damage level of the substrate material. In addition, the method includes reducing the risk of substrate damage by utilizing relatively long pulse-widths, providing for improved removal of small contaminants/particles, and directing the beam through a material disposed relative to the surface that is part of the substrates environmental enclosure. | 02-12-2009 |
| 20090065024 | Apparatus and Method for Indirect Surface Cleaning - Methods for cleaning a surface of a substrate and for increasing the useable lifetime of a photomask substrate are provided. In one method, a substrate has at least one radiation-produced particle disposed thereon, and a laser that has a wavelength that substantially coincides with a high absorption coefficient of the substrate is directed towards the substrate. A thermal increase is generated in the substrate, and the radiation-produced particle is removed from the substrate by transferring thermal energy from the substrate to the radiation-produced particle until the radiation-produced particle decomposes. | 03-12-2009 |
| 20090070979 | Vertical indent production repair - A method of nanomachining is provided. The method includes plunging a nanometer-scaled tip into a surface of a substrate at a first location in a first direction that is substantially perpendicular to the surface, thereby displacing a first portion of the substrate with the tip. The method also includes withdrawing the tip from the substrate in a second direction that is substantially opposite to the first direction. The method further includes moving at least one of the tip and the substrate laterally relative to each other. In addition, the method also includes plunging the tip into the substrate at a second location in a third direction that is substantially parallel to the first direction, thereby displacing a second portion of the substrate with the tip and withdrawing the tip from the substrate in a fourth direction that is substantially opposite to the third direction. | 03-19-2009 |
Kent Roessler, Anoka, MN US
| Patent application number | Description | Published |
|---|---|---|
| 20110036601 | Rock Picker and Tumbler - A front end loader attachment for picking and sorting objects, including picking rocks and sorting them from soil. An embodiment of the attachment is a device comprising a rotatable drum having a longitudinal axis, a mount for reversibly mounting the attachment to the front end loader, and a rotator assembly, with the drum comprising a base and an opposing opening defined by sidewalls connected to the base, wherein the sidewalls comprises a plurality of openings and the rotator assembly is operable to rotate the drum about the longitudinal axis. | 02-17-2011 |
Paul Roessler, San Diego, CA US
| Patent application number | Description | Published |
|---|---|---|
| 20110160501 | Dimethyloctane as an Advanced Biofuel - This invention describes genes, metabolic pathways, microbial strains and methods to produce 2,6-dimethyloctane as an advanced biofuel from renewable feedstocks. | 06-30-2011 |
Paul Roessler, Austin, TX US
| Patent application number | Description | Published |
|---|---|---|
| 20100218150 | Logic Design Verification Techniques for Liveness Checking - A technique for verification of a logic design (embodied in a netlist) using a liveness-to-safety conversion includes assigning liveness gates for liveness properties of the netlist and assigning a single loop gate to provide a loop signal for the liveness gates. Assertion of the single loop gate is prevented when none of the liveness gates are asserted. A first state of the netlist is sampled and the sampled first state provides an initial state for a first behavioral loop for at least one of the liveness gates following the assertion of the single loop gate. The sampled first state of the first behavioral loop is compared with a later state of the first behavioral loop to determine if the sampled first state is repeated. A liveness violation is returned when the sampled first state is repeated and an associated one of the liveness gates remains asserted for a duration of the first behavioral loop. | 08-26-2010 |
| 20120216159 | VERIFICATION TECHNIQUES FOR LIVENESS CHECKING OF LOGIC DESIGNS - A technique for verification of a logic design using a liveness-to-safety conversion includes assigning liveness gates for liveness properties of a netlist and assigning a single loop gate to provide a loop signal for the liveness gates. Assertion of the single loop gate is prevented when none of the liveness gates are asserted. A first state of the netlist is sampled and the sampled first state provides an initial state for a first behavioral loop for at least one of the liveness gates following the assertion of the single loop gate. The sampled first state of the first behavioral loop is compared with a later state of the first behavioral loop to determine if the sampled first state is repeated. A liveness violation is returned when the sampled first state is repeated and an associated one of the liveness gates remains asserted for a duration of the first behavioral loop. | 08-23-2012 |
Paul G. Roessler, Bonita Springs, FL US
| Patent application number | Description | Published |
|---|---|---|
| 20130023035 | REGULATION OF TOXIN AND ANTITOXIN GENES FOR BIOLOGICAL CONTAINMENT - The present invention relates to the regulation of a toxin and/or antitoxin genes in a genetically engineered microorganism, such as cyanobacterial or eukaryotic algal strains, in particular for preventing unintentional and/or uncontrolled spread of the microorganisms. The present invention also includes methods of controlling the growth and/or survival of the engineered microorganism | 01-24-2013 |
Paul G. Roessler, San Diego, CA US
| Patent application number | Description | Published |
|---|---|---|
| 20090158473 | SEED-PREFERRED GENE PROMOTERS FROM THE CASTOR PLANT - A nucleotide sequence comprising a nucleotide sequence having at least about 90% homology to the sequence of SEQ ID NO:9 or SEQ ID NO:10. Nucleotide sequences interest operatively linked to nucleotide sequence having at least about 90% homology to the sequence of SEQ ID NO:9 or SEQ ID NO:10 are disclosed. Vectors, methods of regulating target expression, methods of providing a cells, plants, and seeds comprising the nucleotide sequence are also disclosed. | 06-18-2009 |
| 20110086390 | Product and Process for Transformation of Thraustochytriales Microorganisms - Disclosed are nucleic acid and amino acid sequences for acetolactate synthase, acetolactate synthase regulatory regions, α-tubulin promoter, a promoter from a Thraustochytriales polyketide synthase (PKS) system, and fatty acid desaturase promoter, each from a Thraustochytriales microorganism. Also disclosed are recombinant vectors useful for transformation of Thraustochytriales microorganisms, as well as a method of transformation of Thraustochytriales microorganisms. The recombinant nucleic acid molecules of the present invention can be used for the expression of foreign nucleic acids in a Thraustochytriales microorganism as well as for the deletion, mutation, or inactivation of genes in Thraustochytriales microorganisms. | 04-14-2011 |
| 20110195469 | MICROBIAL PRODUCTION OF FATTY ALCOHOLS - Genes and strains of recombinant microorganisms are provided that are engineered to produce fatty alcohols and fatty alcohol derivatives. The organisms can include one, two, three or more transgenes that direct the biosynthesis of one or more fatty alcohols or derivatives. Methods of producing fatty alcohols using transgenic microorganisms are also provided. | 08-11-2011 |
Paul Gordon Roessler, San Diego, CA US
| Patent application number | Description | Published |
|---|---|---|
| 20090298143 | SECRETION OF FATTY ACIDS BY PHOTOSYNTHETIC MICROORGANISMS - Recombinant photosynthetic microorganisms that convert inorganic carbon to secreted fatty acids are described. Methods to recover the secreted fatty acids from the culture medium without the need for cell harvesting are also described. | 12-03-2009 |
| 20100151545 | PRODUCTION OF BRANCHED-CHAIN ALCOHOLS BY PHOTOSYNTHETIC MICROORGANISMS - The present invention provides genes, polypeptides and expression constructs therefor, recombinant photosynthetic microorganisms, and method of use thereof, such as for the production of branched-chain alcohols (including 2-methyl-1-butanol, 3-methyl-1-butanol, and isobutanol) and derivatives thereof for a variety of uses. | 06-17-2010 |
| 20110020883 | ACYL-ACP THIOESTERASE GENES AND USES THEREFOR - The present invention provides novel genes encoding Class II acyl-ACP thioesterases and variants thereof that are active on C8, C10, C12, C14, C16, and C18 acyl-ACP substrates. The thioesterases can be introduced into transgenic organisms, including microorganisms and photosynthetic organisms, for producing fatty acids and fatty acid products. | 01-27-2011 |
| 20120094362 | Production of Branched-Chain Alcohols by Photosynthetic Microorganisms - The present invention provides genes, polypeptides and expression constructs therefor, recombinant photosynthetic microorganisms, and method of use thereof, such as for the production of branched-chain alcohols (including 2-methyl-1-butanol, 3-methyl-1-butanol, and isobutanol) and derivatives thereof for a variety of uses. | 04-19-2012 |
Paul J. Roessler, Austin, TX US
| Patent application number | Description | Published |
|---|---|---|
| 20110016441 | METHOD AND SYSTEM FOR DYNAMIC AUTOMATED HINT GENERATION FOR ENHANCED REACHABILITY ANALYSIS - Methods and systems are provided for dynamically generating a hint set for enhanced reachability analysis in a sequential circuitry design that is represented by a Binary Decision Diagram (BDD). After determining a ranking of the BDD variables, they are sorted in the order of the ranking. The ranking is used to select some of the variables for use in creating hints for more efficiently performing the reachability analysis in a creating an equivalent sequential circuitry design. | 01-20-2011 |
| 20110271243 | Enhanced Analysis of Array-Based Netlists Via Phase Abstraction - A mechanism is provided for increasing the scalability of transformation-based formal verification solutions through enabling the use of phase abstraction on logic models that include memory arrays. The mechanism manipulates the array to create a plurality of copies of its read and write ports, representing the different modulo time frames. The mechanism converts all write-before-read arrays to read-before-write and adds a bypass path around the array from write ports to read ports to capture any necessary concurrent read and write forwarding. The mechanism uses an additional set of bypass paths to ensure that the proper write data that becomes effectively concurrent through the unfolding inherent in phase abstraction is forwarded to the proper read port. If a given read port is disabled or fetches out-of-bounds data, the mechanism applies randomized data to the read port data output. | 11-03-2011 |
Paul Joseph Roessler, Austin, TX US
| Patent application number | Description | Published |
|---|---|---|
| 20100223584 | Logic Design Verification Techniques for Liveness Checking With Retiming - A technique for verification of a retimed logic design using liveness checking includes assigning a liveness gate to a liveness property for an original netlist and assigning a fairness gate to a fairness constraint for the original netlist. In this case, the fairness gate is associated with the liveness gate and is asserted for at least one time-step during any valid behavioral loop associated with the liveness gate. The original netlist is retimed, using a retiming engine, to provide a retimed netlist. The liveness and fairness gates of the retimed netlist are retimed such that a lag of the fairness gate is no greater than a lag of the liveness gate. Verification analysis is then performed on the retimed netlist. Finally, when the verification analysis yields a valid counter-example trace for the retimed netlist, a liveness violation for the original netlist is returned. | 09-02-2010 |
| 20110022373 | MODEL CHECKING OF LIVENESS PROPERTY IN A PHASE ABSTRACTED MODEL - Phase abstraction may be utilized to increase efficiency of model checking techniques. A liveness property may be checked in respect to a phase abstracted model by modifying the liveness property in accordance with the phase abstracted model. A fairness property may be modified to ensure that the fairness property is held by the model checker. A counter-example produced by a model checker is modified to be in accordance to an original model. The counter-example comprises a repetitive behavior. The counter-example may be modified to shorten the repetitive behavior or to apply the repetitive behavior in an earlier cycle of the counter-example. | 01-27-2011 |
| 20120192133 | LOGIC DESIGN VERIFICATION TECHNIQUES FOR LIVENESS CHECKING WITH RETIMING - A technique for verification of a retimed logic design using liveness checking includes assigning a liveness gate to a liveness property for an original netlist and assigning a fairness gate to a fairness constraint for the original netlist. In this case, the fairness gate is associated with the liveness gate and is asserted for at least one time-step during any valid behavioral loop associated with the liveness gate. The original netlist is retimed, using a retiming engine, to provide a retimed netlist. The liveness and fairness gates of the retimed netlist are retimed such that a lag of the fairness gate is no greater than a lag of the liveness gate. Verification analysis is then performed on the retimed netlist. Finally, when the verification analysis yields a valid counter-example trace for the retimed netlist, a liveness violation for the original netlist is returned. | 07-26-2012 |
Paul S. Roessler, San Diego, CA US
| Patent application number | Description | Published |
|---|---|---|
| 20090192304 | Product and Process for Transformation of Thraustochytriales Microorganisms - Disclosed are nucleic acid and amino acid sequences for acetolactate synthase, acetolactate synthase regulatory regions, α-tubulin promoter, a promoter from a Thraustochytriales polyketide synthase (PKS) system, and fatty acid desaturase promoter, each from a Thraustochytriales microorganism. Also disclosed are recombinant vectors useful for transformation of Thraustochytriales microorganisms, as well as a method of transformation of Thraustochytriales microorganisms. The recombinant nucleic acid molecules of the present invention can be used for the expression of foreign nucleic acids in a Thraustochytriales microorganism as well as for the deletion, mutation, or inactivation of genes in Thraustochytriales microorganisms. | 07-30-2009 |
Stephanie K. Roessler, Reston, VA US
| Patent application number | Description | Published |
|---|---|---|
| 20110206703 | GENE SIGNATURE FOR PREDICTING PROGNOSIS OF PATIENTS WITH SOLID TUMORS - Disclosed herein is a driver gene signature for predicting survival in patients with solid tumors, such as hepatocellular carcinoma (HCC) and breast cancer. The gene signature includes ten tumor-associated genes, SH2D4A, CCDC25, ELP3, DLC1, PROSC, SORBS3, HNRPD, PAQR3, PHF17 and DCK. A decrease in DNA copy number or mRNA expression of SH2D4A, CCDC25, ELP3, DLC1, PROSC and SORBS3 in solid tumors is associated with a poor prognosis, while a decrease in DNA copy number or mRNA expression of HNRPD, PAQR3, PHF17 and DCK in solid tumors is associated with a good prognosis. Thus, provided herein is a method of predicting the prognosis of a patient diagnosed with HCC or breast cancer by detecting expression of one of more tumor-associated genes in a tumor sample and comparing expression of the one or more tumor-associated genes in the tumor sample to a control. Also provided is a method of treating a patient diagnosed with HCC or breast cancer by administering a therapeutically effective amount of an agent that alters expression or activity of one or more of the disclosed tumor-associated genes. Further provided are arrays comprising probes or antibodies specific for a plurality of tumor-associated genes or proteins. | 08-25-2011 |
Thomas Harold Roessler, Appleton, WI US
| Patent application number | Description | Published |
|---|---|---|
| 20090182296 | Body Adhering Article - A personal care article comprises an absorbent structure configured for disposition adjacent a wearer's vulva region to absorb bodily fluids discharged by the wearer, and a shell for supporting the absorbent structure at the vulva region. The shell has a first side and a second side, the first side having a first area and a second area. The first area surrounds and bounds at least a portion of the second area. In addition, at least a portion of the first area comprises a body adhesive. Furthermore, the absorbent structure is present in the second area of the shell. In addition, the first area of the shell contacts to the wearer's skin and/or hair surrounding the vulva region and the second area does not contact the vulva when in use. | 07-16-2009 |
| 20100152694 | Absorbent article with waist relief feature - An absorbent article includes a liquid pervious bodyside liner; a liquid impervious outer cover; and an absorbent core positioned between the bodyside liner and the outer cover. The absorbent article defining a crotch portion connected between a front portion and a back portion; the front portion includes a front waist region, a front waist edge, and a front waist relief area. The front waist relief area is defined in part by a first material cut edge and a second material cut edge wherein the second material cut edge extends beyond the first material cut edge to define a fringe. | 06-17-2010 |
| 20100152695 | Method for making a waist relief feature - A method of making an absorbent article with a waist relief area includes providing a web of outer cover material moving in a machine direction; cutting a plurality of first relief holes in the web of outer cover material; at least partially covering the plurality of first relief holes with an overlay material to define a fringe; and cutting the web of outer cover material in a cross-machine direction to define a plurality of discrete absorbent articles wherein each cut extends through each first relief hole. The fringe may be made from the waist elastic material, liner material, fastening material, or facing material. The fringe may also be cut with a plurality of second relief holes having an area smaller than the area of the first relief holes. | 06-17-2010 |