Inventors list |
Assignees list |
Classification tree browser |
Top 100 Inventors |
Top 100 Assignees |
Bierman
Bryon Bierman, Primos, PA US
Chad D. Bierman, Holmen, WI US
| Patent application number | Description | Published |
|---|---|---|
| 20100184040 | COMPOSITIONS AND METHODS FOR DETERMINING LIKELIHOOD OF TWINNING - Collections of polynucleotides useful for estimating breeding value or detecting likelihood of twinning are disclosed. The polynucleotides are used to detect genomic sequences quantitatively associated with the twinning trait. Also disclosed are methods and kits for using the collections to estimate breeding value or predict likelihood of twinning. | 07-22-2010 |
Christopher George Bierman, Thatcher, AZ US
| Patent application number | Description | Published |
|---|---|---|
| 20110218933 | Method and Apparatus for Managing Mobile Storage - A computer system for managing and operating a mobile storage business includes a centralized database that stores route information for a plurality of drivers and routes. A mobile computer device can be used by a driver or mobile storage representative to communicate with the database. The device can be used to display route information relating to the delivery or pickup of a portable storage container and to transmit to the database the signature of the customer, comments relating to the task, images relating to the task and location associated with the container identifier. The mobile computer device includes a scanner for capturing the container identification and a global positioning system capability for capturing the location associated with the container and the location of the mobile computer device. | 09-08-2011 |
Gavin Bierman, Cambrige GB
| Patent application number | Description | Published |
|---|---|---|
| 20080262992 | TYPE INFERENCE FOR OBJECT-ORIENTED LANGUAGES - Systems and methods facilitate type inference in a computer-programming environment. Type inference can be applied to generic method or function invocation in object-oriented languages to determine a type argument list left implicit by a programmer. One or more type arguments can be identified as a parameter type to which all other types in a set of associated parameter types can be converted. | 10-23-2008 |
Gavin Bierman, Cambridge GB
| Patent application number | Description | Published |
|---|---|---|
| 20100088661 | TYPE SYSTEM FOR DECLARATIVE DATA SCRIPTING LANGUAGE - An efficient, logical and expressive type system is provided for flexibly defining types of a declarative programming language so that efficient and structurally compact data intensive applications can be generated. The type system supports the combination of refinement types and type membership expressions, as well as a top type that encompasses all valid values as members. With the type system, types can be expressed as intersections and/or unions of other types. Thus, types can be efficiently represented for a full range of types of data as may be found in real world data stores. | 04-08-2010 |
| 20100088679 | BIDIRECTIONAL TYPE CHECKING FOR DECLARATIVE DATA SCRIPTING LANGUAGE - An efficient, logical and expressive type system supports the combination of refinement types and type membership expressions, as well as a top type that encompasses all valid values as members. A bidirectional type checking algorithm is provided for the type system including synthesis and checking steps to statically verify types of code based on the type system. | 04-08-2010 |
| 20100192129 | SEMANTIC SUBTYPING FOR DECLARATIVE DATA SCRIPTING LANGUAGE BY CALLING A PROVER - An efficient, logical and expressive type system supports the combination of refinement types and type membership expressions, as well as a top type that encompasses all valid values as members. Various embodiments verify the validity of subtyping relationships by translating to first-order logic, and invoking a general-purpose theorem prover with the first-order logic as input. In contrast to treating formulas as types, types are translated into formulas of standard first-order logic. Moreover, to represent data structures of the programming language as first-order logic, universal and existential quantifiers of first-order logic, and function symbols in terms, are exploited. Data intensive applications can be generated, verified, and deployed with greater speed and scale. | 07-29-2010 |
Glenn Bierman, Westport, CT US
| Patent application number | Description | Published |
|---|---|---|
| 20110314651 | OPEN-WEAVE SURFACE PATTERNING TO ENABLE TOUCHSCREEN ACCESSIBILITY IN WEARABLE APPARATUS - A wearable apparatus for an electronic device permits accessibility of the device's touchscreen while it is being worn on the human body. The wearable apparatus has a front portion that may be embellished with decorative patterns and a back portion that is made of open-weave material to permit direct tactile response of an electronic device's touchscreen through the open-weave material. The apparatus includes an inner sleeve and an inner cavity to securely hold the electronic device while it is being worn on the human body. | 12-29-2011 |
Guus Bierman, Breukelen NL
| Patent application number | Description | Published |
|---|---|---|
| 20090114135 | Asymmetrical Sail Fabric - A sailcloth in roll good form permits efficient and cost effective construction of cross cut and vertical cut, laminate sails based on “off-angle,” (assymetrical) load bearing fibers. The sailcloth also may include a conventional warp and fill thread or fiber layout. Such sailcloth illustratively is significantly less susceptible to load force stretch, creep elongation, and airfoil shape deformation because, among other things, it is not dependent on the load bearing limitations of symmetrical, woven or knitted roll good sailcloth. | 05-07-2009 |
John C. Bierman, Austin, TX US
| Patent application number | Description | Published |
|---|---|---|
| 20090322222 | Robust activation method for negative electron affinity photocathodes - A method by which photocathodes ( | 12-31-2009 |
| 20110201244 | Method for resurrecting negative electron affinity photocathodes after exposure to an oxidizing gas - A method by which negative electron affinity photocathodes ( | 08-18-2011 |
Steve Bierman, Marcus, IA US
| Patent application number | Description | Published |
|---|---|---|
| 20090315353 | WHEEL LIFTING DEVICE - A wheel lifting device comprising a first portion and a second portion is disclosed. Each of the first portion and the second portion comprise a vertical member, a horizontal member, and a plurality of rotatatable devices coupled to and spaced apart laterally on the horizontal member. The horizontal member of the first portion is generally parallel to the horizontal member of the second portion and both horizontal members are generally perpendicular to a plane defined by the two vertical members. | 12-24-2009 |
Steve F. Bierman, Del Mar, CA US
| Patent application number | Description | Published |
|---|---|---|
| 20110313362 | INSERTION SITE PROTECTION DEVICE - A securement device holds a medical article such as a catheter hub or a connector fitting in position upon the body of a patient and at least inhibits distal, longitudinal movement of the medical article. The securement device includes a retainer and at least one anchor pad. The retainer includes an abutment wall and a slot. The slot has a labyrinth shape leading to a cradle part of the slot. At least a portion of the medical article is inserted into the cradle part through the slot. The abutment wall includes at least one abutment that abuts against a contact point or surface on the medical article to inhibit distal, longitudinal movement of the medical article. | 12-22-2011 |
Steven Bierman, Del Mar, CA US
| Patent application number | Description | Published |
|---|---|---|
| 20090076457 | MEDICAL ANCHORING SYSTEM - An anchoring system for an elongated medical article comprises an anchor pad and a retainer mounted upon the anchor pad. The retainer includes a base, a cover, and a compressible member including a receptacle into which the medical article to be retained is placed. When the cover is closed, the medical article is secured within the receptacle by the pressure of the compressible member and the cover upon the medical article. One or more biasing members act upon the compressible member to increase the frictional forces acting on the retained section of the medical article. The receptacle may form a channel that follows a curved path through the retainer. The retainer may also include guide extensions to support the medical article along a transverse bend toward the skin of the patient. | 03-19-2009 |
| 20100179481 | SECUREMENT DEVICE FOR A NEONATE - A securement device ( | 07-15-2010 |
| 20100324491 | SECUREMENT DEVICE - A securement device holds a medical article such as a catheter hub in position upon the body of a patient and at least inhibits longitudinal movement of the medical article. The securement device includes a retainer and at least one anchor pad. The retainer includes a metallic insert having barbs or teeth extending into a central channel. The metallic barbs or teeth dig into the retained catheter hub. The metal insert springs open as the hub is inserted in to the device and retains the hub by virtue of its metallic barbs. | 12-23-2010 |