Dern
Adam Dern, Salt Lake City, UT US
Patent application number | Description | Published |
---|---|---|
20130045273 | METHODS FOR USING NUTRITIONAL SUPPLEMENTS CONTAINING LIPOIC ACIDS AND SULFUR CONTAINING COMPOUNDS - Methods for using nutritional supplements containing lipoic acids and sulfur containing compounds to maintain or increase the levels of cellular GSH in the body are described. In some instances, the nutritional supplements can increase both the levels of GSH, vitamin C, GST activity, and antioxidant protection in the blood. The nutritional supplement contain a first part containing an effective amount of a lipoic acid and a second part containing an effective amount of a sulfur containing compound that increases the level of GSH vitamin C, GST activity, and antioxidant protection in the blood The first part and second part of the nutritional supplement can be partially or completely separated. The increased GSH and vitamin C levels increases the detoxification ability of the body as measured by the GST (Glutathione S-Transferases) activity and the antioxidant protection as measured by SAR (Serum Antioxidant Reserve). Other embodiments are described. | 02-21-2013 |
Christine Dern, Salt Lake City, UT US
Patent application number | Description | Published |
---|---|---|
20130045273 | METHODS FOR USING NUTRITIONAL SUPPLEMENTS CONTAINING LIPOIC ACIDS AND SULFUR CONTAINING COMPOUNDS - Methods for using nutritional supplements containing lipoic acids and sulfur containing compounds to maintain or increase the levels of cellular GSH in the body are described. In some instances, the nutritional supplements can increase both the levels of GSH, vitamin C, GST activity, and antioxidant protection in the blood. The nutritional supplement contain a first part containing an effective amount of a lipoic acid and a second part containing an effective amount of a sulfur containing compound that increases the level of GSH vitamin C, GST activity, and antioxidant protection in the blood The first part and second part of the nutritional supplement can be partially or completely separated. The increased GSH and vitamin C levels increases the detoxification ability of the body as measured by the GST (Glutathione S-Transferases) activity and the antioxidant protection as measured by SAR (Serum Antioxidant Reserve). Other embodiments are described. | 02-21-2013 |
Christopher Dern, Kirkland, WA US
Patent application number | Description | Published |
---|---|---|
20100088702 | CHECKING TRANSACTIONAL MEMORY IMPLEMENTATIONS - A transactional memory implementation is tested using an automatically generated test program and a locking memory model implementation which defines atomicity semantics. Schedules of the test program specify different interleavings of read operations and write operations of the test program threads. Executing the schedules under the locking memory model implementation provides legal final states of the shared variable(s). Executing the schedules under the transactional memory implementation produces candidate final states of the shared variable(s). If the candidate final states are also legal final states, then the transactional memory implementation passes the test. | 04-08-2010 |
Christopher W. Dern, Kirkland, WA US
Patent application number | Description | Published |
---|---|---|
20100180257 | TESTING STM USING NON-STM CODE - A software transactional memory (STM) test generator is provided that converts existing test code into test code that tests the functionality of an STM system. To generate the STM test code, the generator inserts transactional semantics into the existing test code and replaces any methods of the test code that are not supported by an STM system. The STM test code is compiled and executed to generate an STM test output, and the STM test output is compared to the output of the existing test code to produce STM test results. | 07-15-2010 |
20110258490 | Testing Components for Thread Safety - A checking system is described for determining whether a component is thread safe in the course of interacting with two or threads in a client environment. The checking system uses a manual, automatic, or semi-automatic technique to generate a test. The checking system then defines a set of coarse-grained observations for the test, in which the component is assumed to exhibit linearizability when interacting with threads. The set of coarse-grained observations may include both complete and “stuck” histories. The checking system then generates a set of fine-grained observations for the tests; here, the checking system makes no assumptions as to the linearizability of the component. The checking system identifies potential linearizability errors as those entries in the set of fine-grained observations that have no counterpart entries in the set of coarse-grained observations. The checking system may rely on a stateless model checking module to perform its functions. | 10-20-2011 |
Christopher William Dern, Kirkland, WA US
Patent application number | Description | Published |
---|---|---|
20100191930 | TRANSACTIONAL MEMORY COMPATIBILITY MANAGEMENT - Transactional memory compatibility type attributes are associated with intermediate language code to specify, for example, that intermediate language code must be run within a transaction, or must not be run within a transaction, or may be run within a transaction. Attributes are automatically produced while generating intermediate language code from annotated source code. Default rules also generate attributes. Tools use attributes to statically or dynamically check for incompatibility between intermediate language code and a transactional memory implementation. | 07-29-2010 |
20110154121 | CONCURRENCY TEST EFFICTIVENESS VIA MUTATION TESTING AND DYNAMIC LOCK ELISION - One embodiment described herein is directed to a method practiced in a computing environment. The method includes acts for determining test suite effectiveness for testing for concurrency problems and/or product faults. The method includes identifying a plurality of synchronization primitives in a section of implementation source code. One or more of the synchronization primitives are iteratively modified and a same test suite is run for each iteration. For each iteration, a determination is made whether or not the test suite returns an error as a result of modifying one or more synchronization primitives. When the test suite does not return an error, the method includes providing to a user an indication which indicates at least one of a test adequacy hole for the test suite; an implementation source code fault; or an equivalent mutant of the implementation source code. | 06-23-2011 |
Gesa Dern, Duesseldorf DE
Patent application number | Description | Published |
---|---|---|
20110160411 | POLYCARBONATE COMPOSITIONS HAVING IMPROVED MECHANICAL PROPERTIES - The invention relates to compositions containing at least one (co)polycarbonate stable at high temperature and at least one ethylene-alkyl acrylate block copolymer, and to mouldings and injection moulded parts and extrudates obtainable from these compositions. | 06-30-2011 |
20120259055 | POLYCARBONATE COMPOSITIONS HAVING IMPROVED MECHANICAL PROPERTIES - The invention relates to compositions containing at least one (co)polycarbonate stable at high temperature and at least one ethylene-alkyl acrylate block copolymer, and to mouldings and injection moulded parts and extrudates obtainable from these compositions. | 10-11-2012 |
Gesa Dern, Dusseldorf DE
Patent application number | Description | Published |
---|---|---|
20110269896 | MOLDED PARTS HAVING IMPROVED SURFACES - Moldings obtainable from compositions comprising | 11-03-2011 |
20120157586 | COLOUR-STABLE LED SUBSTRATES - The present invention relates to a composition comprising, (a) a transparent or translucent polymer or polymer blend in an amount which together with components b) to g) gives 100 wt. %, (b) optionally 0 ppm to 2500 ppm of one or more stabilisers, (c) 0.001 ppm to 10,000 ppm of at least one dye comprising structure 1a and/or 1b, | 06-21-2012 |
20140243467 | POLYCARBONATE COMPRISING GLASS FIBRES - The present invention relates to a thermoplastic moulding composition composed of polycarbonate and inorganic fillers which comprises from 0.01 to 0.5 part by weight of at least one anhydride-modified alpha-olefin terpolymer and which has a high degree of rigidity and nevertheless exhibits good strength, as well as stress-strain characteristics corresponding to those of an unreinforced polycarbonate. Surprisingly, the moulding composition additionally exhibits an improvement in flame retardancy. The invention relates in particular to flame-retardant, thermoplastic moulding compositions filled with glass fibres, and to the production and use thereof. The property profile is, surprisingly, independent of the degree of interaction of the filler with the polycarbonate matrix. | 08-28-2014 |
Heinz-Jurgen Dern, Menden DE
Patent application number | Description | Published |
---|---|---|
20090000746 | Apparatus for producing jumbo rolls - The invention relates to an apparatus for producing jumbo rolls during the production of coated abrasive products. | 01-01-2009 |
Klaus Dern, Ellijay, GA US
Patent application number | Description | Published |
---|---|---|
20080264229 | Hand-held circular saw with alignment features for perpendicular cuts - An improved hand-held circular saw having increased accuracy, speed and safety for square cuts on workpieces. The saw is equipped with a pair of retractable guide pins; when both pins touch the front edge of the workpiece the Saw's blade is automatically perpendicular to it. The saw is also equipped with at least one torsion spring that temporarily holds the saw's blade above the workpiece. Without moving the saw's base, the user turns on the saw, and pressing downwardly on its handle, lowers the blade into the workpiece, making a square cut with the accuracy of a cut-off saw. The guide pins can also be automatically or manually retracted to convert the improved saw back to a conventional saw. | 10-30-2008 |