Abstract: Certain aspects of the present disclosure provide techniques for generating application programming interface (API) code for an application. The method generally includes receiving information indicating a set of queries invoked within an application. A set of nodes in a graph projection of the API accessed by queries in the set of queries is identified by traversing the graph projection of the API for each query in the set of queries. A subgraph projection of the API including the identified set of nodes is identified, and code implementing operations associated with the identified set of nodes is generated from the generated subgraph projection of the API. The generated code is deployed for use with the application.

Abstract: Devices, systems, and methods are directed to the use of vapor phase change in binder jetting processes for forming three-dimensional objects. In general, a vapor of a first fluid may be directed to a layer of a powder spread across a build volume. The vapor may condense to reduce mobility of the particles of the powder of the layer. For example, the condensing vapor may reduce the likelihood of particle ejection from the layer and, thus, may reduce the likelihood of clogging or otherwise degrading a printhead used to jet a second fluid (e.g., a binder) to the layer. Further, or instead, the condensing vapor may increase the density of the powder in the layer which, when repeated over a plurality of layers forming a three-dimensional object, may reduce the likelihood of slumping of the part during sintering.

Abstract: One embodiment of a method of performing a test on a core sample comprises transferring at least a portion of a core sample from a first core containment vessel to a second core containment vessel. The core sample is maintained at a substantially equivalent pressure or placed under a higher pressure during the transfer of the core sample from the first vessel to the second vessel. The method further comprises performing a test on the core sample in a measurement region of the second vessel.

Abstract: Devices, systems, and methods are directed to the use of vapor phase change in binder jetting processes for forming three-dimensional objects. In general, a vapor of a first fluid may be directed to a layer of a powder spread across a build volume. The vapor may condense to reduce mobility of the particles of the powder of the layer. For example, the condensing vapor may reduce the likelihood of particle ejection from the layer and, thus, may reduce the likelihood of clogging or otherwise degrading a printhead used to jet a second fluid (e.g., a binder) to the layer. Further, or instead, the condensing vapor may increase the density of the powder in the layer which, when repeated over a plurality of layers forming a three-dimensional object, may reduce the likelihood of slumping of the part during sintering.

Abstract: Devices, systems, and methods are directed to the use of vapor phase change in binder jetting processes for forming three-dimensional objects. In general, a vapor of a first fluid may be directed to a layer of a powder spread across a build volume. The vapor may condense to reduce mobility of the particles of the powder of the layer. For example, the condensing vapor may reduce the likelihood of particle ejection from the layer and, thus, may reduce the likelihood of clogging or otherwise degrading a printhead used to jet a second fluid (e.g., a binder) to the layer. Further, or instead, the condensing vapor may increase the density of the powder in the layer which, when repeated over a plurality of layers forming a three-dimensional object, may reduce the likelihood of slumping of the part during sintering.

Abstract: The present invention relates to a modular way to build a rolling chassis using composite materials without custom forming, and yielding appropriate weight distribution (centre of gravity) and torsional and bending rigidity.

Abstract: Devices, systems, and methods are directed to the use of vapor phase change in binder jetting processes for forming three-dimensional objects. In general, a vapor of a first fluid may be directed to a layer of a powder spread across a build volume. The vapor may condense to reduce mobility of the particles of the powder of the layer. For example, the condensing vapor may reduce the likelihood of particle ejection from the layer and, thus, may reduce the likelihood of clogging or otherwise degrading a printhead used to jet a second fluid (e.g., a binder) to the layer. Further, or instead, the condensing vapor may increase the density of the powder in the layer which, when repeated over a plurality of layers forming a three-dimensional object, may reduce the likelihood of slumping of the part during sintering.

Abstract: An automatic sensor excitation voltage adjustment feature, a multi-range concentration feature, a single calibration feature and a barrier circuit feature. The automatic sensor excitation voltage adjustment feature includes a transmitter having a transmitter microprocessor that provides an initial voltage to a sensor having a sensor microprocessor. As the voltage changes a correction signal is relayed from the sensor microprocessor to the transmitter microprocessor. The correction signal is used to adjust the voltage applied to the sensor. The multi-range concentration sensor feature includes an amplifier associated with the senior/micro-processor to create gain settings used to optimize sensor resolution by changing a gain value for the sensor. This enables use of a single sensor for a variety of different concentration ranges.

Abstract: A method of activating inactive hair follicles by administering a composition including an effective amount of zinc thymulin to a subject. The method generates new hair growth and may be used to treat or prevent hair loss or, alternatively, to increase the quantity of hair in a subject that does not suffer from hair loss.

Abstract: A computer-implemented system for generating test cases and/or test procedures to verify software having a nonlinear arithmetic constraint over a Real number range. The system includes a translator that receives, as input, software specification models for the software to be verified. The translator is configured to generate, as output, a plurality of SMT formulas that are semantically equivalent to the software specification models. The system includes an analytical engine pool that receives, as input, the plurality of SMT formulas from the translator and analyzes the plurality of SMT formulas, and generates, as output, test case data for each of the plurality of SMT formulas determined to be satisfiable. The system includes a post-processor that receives, as input, the test case data from the analytical engine pool and generates, as output, the test cases and/or test procedures for the software to be verified based on the test case data.

Abstract: A system, computer-readable medium, and a method including accessing a semantic model, the semantic model having a grammar syntax supporting a comparison of at least one of a semantic model class and an instance of a semantic model class to an incompatible value; specifying an implied property for at least one of a semantic model class and an instance of a semantic model class in the semantic model, the implied property having an associated range; adding the implied property to the semantic model, the implied property to be referenced in a validation and translation of an expression including at least one of the class and the instance of a class having the implied property specified therewith compared to an incompatible value; and generating a record of the semantic model including the implied property added thereto.

Abstract: A computing device detects a trigger or context associated with exchanging, using a body area network (BAN), body area network services with another device. The BAN services can include a discovery service to allow the computing device to connect to a network. Responsive to detecting the trigger or context, one or more body area networks are discovered and the other device is discovered. If the computing device and the other device are new to each other, the computing device is authenticated to the body area network one or more body area network services can be exchanged. If the devices are not new to each other, body area network services can be exchanged using the other device.

Abstract: An automatic sensor excitation voltage adjustment feature, a multi-range concentration feature, a single calibration feature and a barrier circuit feature. The automatic sensor excitation voltage adjustment feature includes a transmitter having a transmitter microprocessor that provides an initial voltage to a sensor having a sensor microprocessor. As the voltage changes a correction signal is relayed from the sensor microprocessor to the transmitter microprocessor. The correction signal is used to adjust the voltage applied to the sensor. The multi-range concentration sensor feature includes an amplifier associated with the sensor/microprocessor to create gain settings used to optimize sensor resolution by changing a gain value for the sensor. This enables use of a single sensor for a variety of different concentration ranges.

Abstract: An automatic sensor excitation voltage adjustment feature, a multi-range concentration feature, a single calibration feature and a barrier circuit feature. The automatic sensor excitation voltage adjustment feature includes a transmitter having a transmitter microprocessor that provides an initial voltage to a sensor having a sensor microprocessor. As the voltage changes a correction signal is relayed from the sensor microprocessor to the transmitter microprocessor. The correction signal is used to adjust the voltage applied to the sensor. The multi-range concentration sensor feature includes an amplifier associated with the sensor/microprocessor to create gain settings used to optimize sensor resolution by changing a gain value for the sensor. This enables use of a single sensor for a variety of different concentration ranges.

Abstract: Edible compositions are provided and comprise a soluble mineral component and/or a phosphate component in amounts effective for use as an oral medicament. The soluble mineral component comprises one or more minerals selected from the group consisting of zinc, manganese, tin, copper, and mixtures thereof. The edible compositions are advantageously companion animal chews, treats or supplements. Further disclosed are methods of making the chews, treats or supplements as are methods of treating conditions of the oral cavity.

Abstract: Disclosed herein are a variety of embodiments of compositions and methods which are each adapted for use by a companion animal. In one embodiment, an edible composition comprising an amount of a soluble mineral component is disclosed, wherein the soluble mineral component comprises one or more minerals selected from the group consisting of zinc, manganese, tin, copper, and mixtures thereof, wherein the amount is an effective amount for use as an oral medicament. In further embodiments, a phosphate component is included. The edible compositions are advantageously companion animal foods or supplements. Further disclosed are methods selected from treating oral cavity tartar, oral cavity plaque, periodontal disease, gingivitis, breath odor and combinations thereof comprising orally administering a described composition to a companion animal.

Abstract: A computer-implemented system for generating test cases and/or test procedures to verify software having a nonlinear arithmetic constraint over a Real number range. The system includes a translator that receives, as input, software specification models for the software to be verified. The translator is configured to generate, as output, a plurality of SMT formulas that are semantically equivalent to the software specification models. The system includes an analytical engine pool that receives, as input, the plurality of SMT formulas from the translator and analyzes the plurality of SMT formulas, and generates, as output, test case data for each of the plurality of SMT formulas determined to be satisfiable. The system includes a post-processor that receives, as input, the test case data from the analytical engine pool and generates, as output, the test cases and/or test procedures for the software to be verified based on the test case data.

Abstract: An apparatus for carrying objects includes a bag and at least one cord. The bag has a top portion and a bottom portion. The top portion of the bag includes an adjustable mouth and a channel. The cord includes a first end portion coupled to the bottom portion of the bag, a second end portion coupled to the bottom portion of the bag, and a middle portion positioned between the first end portion and the second end portion. The middle portion of the cord includes a first length of cord which extends slidably through the channel and a second length of cord which is positioned outside of the channel. The second length of cord has a substantially larger diameter than the first length of cord.

Abstract: A system and method are disclosed including an automatic sensor excitation voltage adjustment feature, a multi-range concentration feature, and a single calibration feature. The automatic sensor excitation voltage adjustment feature may include a transmitter having an associated microprocessor that provides an initial voltage to an associated sensor. The sensor may include a microprocessor, and as the voltage changes a correction signal may be relayed from the sensor microprocessor to the transmitter microprocessor. The correction signal may be used by the transmitter microprocessor to adjust the voltage applied to the sensor. The multi-range concentration sensor feature may include an amplifier associated with the sensor/microprocessor to create gain settings used to optimize sensor resolution by changing a gain value associated with the sensor. This, in turn, enables a single sensor to be used for a variety of different concentration ranges, as desired by a user.

Abstract: RF attenuator circuitry includes an RF attenuator and a control system. The RF attenuator is configured to provide an attenuation response between an input node and an output node. The control system is coupled to the RF attenuator and configured to adjust one or more control signals provided to the RF attenuator based on either the temperature of the circuitry or an externally applied test signal provided to the control system. The control signals are provided such that the attenuation response of the RF attenuator is substantially linear-in-dB with respect to either the temperature or the test signal provided to the control system. Because the control system is configured to adjust the control signals based either on a temperature of the circuitry or the test signal, the response of the RF attenuator can be easily and quickly tested to ensure linear-in-dB operation thereof.