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 |
20140101090 | MODELING DATA GENERATING PROCESS - There is provided a method and system for modeling a data generating process. The method includes generating a dyadic Bayesian model including a pair of probabilistic functions representing a prior distribution and a sampling distribution, and modeling a data generating process based on the dyadic Bayesian model using observed data. | 04-10-2014 |
20140165139 | Security Language Translations with Logic Resolution - Security language constructs may be translated into logic language constructs and vice versa. Logic resolution may be effected using, for example, the logic language constructs. In an example implementation, translation of a security language assertion into at least one logic language rule is described. In another example implementation, translation of a proof graph reflecting a logic language into a proof graph reflecting a security language is described. In yet another example implementation, evaluation of a logic language program using a deterministic algorithm is described. | 06-12-2014 |
Patent application number | Description | Published |
20130346844 | CHECKING AND/OR COMPLETION FOR DATA GRIDS - Checking and/or completing for data grids is described such as for grids having rows and columns of cells at least some of which contain data values such as numbers or categories. In various embodiments predictive probability distributions are obtained from an inference engine for one or more of the cells and the predictive probability distributions are used for various tasks such as to suggest values to complete blank cells, highlight cells having outlying values, identify potential errors, suggest corrections to potential errors, identify similarities between cells, identify differences between cells, cluster rows of the data grid, and other tasks. In various embodiments a graphical user interface displays a data grid and provides facilities for completing, error checking/correcting, and analyzing data in the data grid. | 12-26-2013 |
20140188928 | RELATIONAL DATABASE MANAGEMENT - New methods of relational database management are described, for example, to enable completion and checking of data in relational databases, including completion of missing foreign key values, to facilitate understanding of data in relational databases, to highlight data that it would be useful to add to a relational database and for other applications. In various embodiments, the schema of a relational database is used to automatically create a probabilistic graphical model that has a structure related to the schema. For example, nodes representing individual rows are linked to rows of other tables according to the database schema. In examples, data in the relational database is used to carry out inference using inference algorithms derived from the probabilistic graphical model. In various examples, inference results, comprising probability distributions each for an individual table cell, are used to fill missing data, highlight errors, and for other purposes. | 07-03-2014 |
20150058337 | DATABASE ACCESS - Database access is described, for example, where data in a database is accessed by an inference engine. In various examples, the inference engine executes inference algorithms to access data from the database and carry out inference using the data. In examples the inference algorithms are compiled from a schema of the database which is annotated with expressions of probability distributions over data in the database. In various examples the schema of the database is modified by adding one or more latent columns or latent tables to the schema for storing data to be inferred by the inference engine. In examples the expressions are compositional so, for example, an expression annotating a column of a database table may be used as part of an expression annotating another column of the database. | 02-26-2015 |
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 |
20140352407 | CANISTER STATUS DETERMINATION - A method and apparatus are disclosed for determining status of a canister of a topical negative pressure (TNP) system. The method includes the steps of monitoring pressure provided by a pump element of the TNP system, determining at least one characteristic associated with the monitored pressure and determining status of at least one parameter associated with a canister of the TNP system responsive to the determined characteristics. | 12-04-2014 |
Patent application number | Description | Published |
20120111963 | SYSTEMS AND METHODS FOR DRIVING SEALED NEBULIZERS - Various methods, devices, and systems are described for aerosolizing a liquid. Embodiments may include sealing the liquid within a reservoir. An output waveform signal may be generated. A nebulizer element may be vibrated to aerosolize the liquid. A negative pressure may be produced within the reservoir as the liquid is aerosolized. The output waveform signal may cause the nebulizer element to vibrate. Embodiments may involve determining a phase shift between a current of the output waveform signal and a voltage of the output waveform signal. Also, embodiments may involve adjusting a frequency of the output waveform signal at least partially based on the phase shift. Further, embodiments may involve adjusting the voltage of the output waveform signal at least partially based on the frequency of the output waveform signal. | 05-10-2012 |
20120291777 | IDENTIFYING DRY NEBULIZER ELEMENTS - Various arrangements for determining whether a liquid is in contact with a nebulizer element are disclosed. A nebulizer element may be energized with an electrical signal at a measurement frequency. An impedance of the nebulizer element may be measured, thereby obtaining a measured impedance value. The impedance value may be compared to a stored impedance value. Based on the comparison, it may be determined whether the liquid contacts the nebulizer element. | 11-22-2012 |
20140007864 | SYSTEMS AND METHODS FOR DRIVING NEBULIZERS - In various arrangements, a nebulizer element of a nebulizer may be energized with a drive signal. A phase offset of the drive signal may be measured. A phase delta may be determined. The phase delta may indicate a difference between a target phase offset and the measured phase offset. The target phase offset may indicate a non-zero target phase difference between the voltage of the drive signal and the current of the drive signal. A frequency of the drive signal may be changed to decrease the phase delta. | 01-09-2014 |