| Patent application number | Description | Published |
|---|
| 20080288622 | Managing Server Farms - Manual management of server farms is expensive. Low-level tools and the sheer complexity of the task make it prone to human error. By providing a typed interface using service combinators for managing server farms it is possible to improve automated server farm management. Metadata about a server farm is obtained, for example, from disk images, and this is used to generate a typed environment interface for accessing server farm resources. Scripts are received, from a human operator or automated process, which use the environment interface and optionally also pre-specified service combinators. The scripts are executed to assemble and link together services in the server farm to form and manage a running server farm application. By using typechecking server farm construction errors can be caught before implementation. | 11-20-2008 |
| 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 |
| 20120017263 | Security Authorization Queries - In an example implementation, a bifurcated security scheme has a first level that does not allow usage of negations and a second level that does permit usage of negations. In another example implementation, an authorization query table maps respective resource-specific operations to respective associated authorization queries. In yet another example implementation, authorization queries are permitted to have negations, but individual assertions are not. | 01-19-2012 |
| Patent application number | Description | Published |
|---|
| 20100071443 | Temperature-controlled rheometer - In one general aspect, a rheometer for measuring properties of a sample is disclosed. It can include a first part having a drive portion operatively connected to an actuator and having a contact surface for contacting the sample. The rheometer also includes a second part that has another contact surface for contacting the sample. A first heater is positioned to heat the first part, a second heater is positioned to heat the second part, and a heat pump can heat and cool both the first and second parts. | 03-25-2010 |
| 20100211030 | WOUND TREATMENT APPARATUS WITH A CONTROL SYSTEM CONNECTED TO A FLOW METER AND A PRESSURE SENSOR - Apparatus and a method are described for the provision of topical negative pressure therapy, the apparatus comprising: an aspirant pump for moving aspirated fluid through said apparatus; aspirant conduit means operably connected to a dressing covering a wound being aspirated; a waste container operably connected to the aspirant conduit and for receiving wound exudate therein; the waste container having a fluid exit port for the flow of gaseous aspirated fluid therefrom, the exit port having filter means associated therewith for preventing aspirated liquid from passing therethrough; a fluid flow path on the exit side of said waste container for the flow of aspirated gaseous fluid therethrough; | 08-19-2010 |
| 20100244780 | Battery Recharging - A method and apparatus are disclosed for charging an internal battery of a topical negative pressure (TNP) system. The method includes the steps of determining a value of current required by a TNP system, comparing the required current value with a predetermined current value and setting a resistance provided by a variable resistance element responsive to the comparison to thereby supply unrequired current as battery charging current to an internal battery of the TNP system. | 09-30-2010 |
| 20100278518 | MEASURING PRESSURE - A method and apparatus are disclosed for determining a negative pressure generated by a suction pump of a topical negative pressure (TNP) system. The method includes the steps of disconnecting a drive voltage from a pump of the TNP system, determining an EMF generated by a free-wheeling element of the pump, selecting a new drive voltage for the pump and reconnecting the new drive voltage to the pump. | 11-04-2010 |
| 20110054810 | DETERMINING PRESSURE - A method and apparatus are disclosed for determining a pressure in a topical negative pressure (TNP) system. The method includes the steps of determining a pumping speed associated with a pump element of a TNP system, determining a flow rate in a flow path associated with the pump element and determining pressure in the flow path responsive to the pumping speed and flow rate. | 03-03-2011 |
| 20110071483 | APPARATUS - A method and apparatus for alerting a user of topical negative pressure therapy apparatus to a full waste canister condition are described, the apparatus comprising a device having vacuum pump means and a waste canister connected to the device and the waste canister operably connected to a wound dressing by aspiration conduit means for aspirating fluid from the wound, the aspiration conduit means, the waste canister and the device providing a fluid flow path therethrough and the vacuum pump means providing fluid flow through the apparatus, the apparatus further comprising fluid flow restriction means in the fluid flow path of said vacuum pump and fluid pressure sensing means upstream and downstream of said fluid flow restriction means. | 03-24-2011 |
| 20120001762 | DETERMINING FLOW RATE - A method and apparatus are disclosed for determining a flow rate in a topical negative pressure (TNP) system. The method includes the steps of determining a pumping speed associated with a pump element of a TNP system, determining a pressure associated with a flow path associated with the pump element, and determining flow rate in the flow path responsive to the pumping speed and flow rate. | 01-05-2012 |
