Abstract: Aspects of the present disclosure include a system comprising a machine-readable storage medium storing at least one program and computer-implemented methods for detecting anomalies in revisions to a web document. Consistent with some embodiments, a method includes publishing, at a network-based content publication platform, a web document comprising a plurality of distinct elements generated using data received from a computing device of a user. The method further includes accessing an updated web document that was generated based on modifications to the published web document made by the user. The method further includes generating one or more anomaly scores based on a comparison of the updated web document to the published web document, and determining whether to allow publication of the updated web document based on a result of a comparison of the anomaly score to a threshold anomaly score.

Abstract: Semantic checking of multi-device and protocol configurations based on an extensible rules database for a variety of devices and operating systems may be provided. First, a configuration may be received. Then parent-child hierarchical relationships in the configuration may be determined. Next, a set of rules may be applied to the configuration based upon the determined parent-child hierarchical relationships. A report of errors found and corrective suggestions may then be produced in response to applying the set of rules.

Abstract: In one aspect the invention provides a graded refractive index single crystal waveguide having a glass block containing at least one crystal core, the crystal core having a central portion extending along an axis from a first end to a second end; an interface defining a peripheral boundary of the crystal core at a junction of the crystal core and an adjacent portion of the glass block, and a continuous, radially symmetric misorientation transverse to the central portion; wherein the misorientation has a misorientation angle that increases with increasing distance from the central portion towards the interface.

Abstract: A method for growing polarized endometrial cells, said method comprising: (a) disposing endometrial cells on a scaffold, said scaffold comprising a silica-based glass composition, characterized by multi-modal porosity, said scaffold being to define a top side and a bottom side; (b) providing nutrients to said top and bottom sides of said scaffold and an environment to grow polarized endometrial cells on said scaffold.

Abstract: Methods and apparatuses are described for proving equivalence between two or more circuit designs that include one or more division circuits and/or one or more square-root circuits. Some embodiments analyze the circuit designs to determine an input relationship between the inputs of two division (or square-root) circuits. Next, the embodiments determine an output relationship between the outputs of two division (or square-root) circuits based on the input relationship. The embodiments then prove equivalence between the circuit designs by using the input and output relationships.

Abstract: Users using different messaging webservices or social network platforms can participate in an auction managed by a multi-thread auction system. Users on a first platform may bid on the auction through a message thread configured for the first platform, and users on a second platform may bid on the auction through a message thread configured for the second platform. The communications may be ordered for submission, based on the order in which they were generated, by a machine learning engine that generates its own training data. As communications are received, the machine learning engine adjusts their submission times using the learned model.

Abstract: Aspects of the present disclosure include a system comprising a machine-readable storage medium storing at least one program and computer-implemented methods for detecting anomalies in revisions to a web document. Consistent with some embodiments, a method includes publishing, at a network-based content publication platform, a web document comprising a plurality of distinct elements generated using data received from a computing device of a user. The method further includes accessing an updated web document that was generated based on modifications to the published web document made by the user. The method further includes generating one or more anomaly scores based on a comparison of the updated web document to the published web document, and determining whether to allow publication of the updated web document based on a result of a comparison of the anomaly score to a threshold anomaly score.

Abstract: A process of preparing a glass comprising: (a) heating a mixture of precursor chemicals to a melt temperature to form a melt, the melt being characterized in that quenching the melt at or above a threshold temperature results in a spinodal phase separation, and quenching the melt below the threshold temperature results in a droplet phase separation; and (b) quenching the melt at or above the threshold temperature in a preheated mold to form the glass composition having the spinodal phase separation.

Abstract: Provided herein are novel nanoporous glass fibers, and methods of preparing and using such fibers. In some embodiments, articles are made from particular glass starting materials, such as soda-lime phosphosilicate glass fabricated by melt-quench methods. The articles include nanoporous fibers that can be used alone, or sewn, woven, bundled, and otherwise incorporated to form nanoporous articles, including bioactive articles.

Abstract: Provided herein are methods for preparing nano-macroporous glass articles, such as bioscaffolds, from starting materials such as phosphosilicate glasses made by melt-quench methods, mixed with a soluble pore former such as a sugar, followed by steps of dissolving, heating, and leaching to yield a glass composition having a highly interconnected system of both macropores and large scale nanoporosity.

Abstract: The present invention includes methods of promoting single crystal growth via solid-solid transformation of an appropriate glass, while avoiding the gaseous or liquid phase. In certain embodiments, in the all-solid-state glass-to-crystal transformation of the invention, extraneous nucleation is avoided relative to crystal growth via spatially localized laser heating and optional inclusion of a suitable glass former in the composition. The ability to fabricate patterned single-crystal architecture on a glass surface was demonstrated, providing a new class of micro-structured substrate for low cost epitaxial growth and active planar devices, for example.

Abstract: A process of preparing a glass comprising: (a) heating a mixture of precursor chemicals to a melt temperature to form a melt, the melt being characterized in that quenching the melt at or above a threshold temperature results in a spinodal phase separation, and quenching the melt below the threshold temperature results in a droplet phase separation; and (b) quenching the melt at or above the threshold temperature in a preheated mold to form the glass composition having the spinodal phase separation.

Abstract: Various systems and methods for presenting contents on a persistent display are described herein. A system for controlling an electronic display comprises a persistent display; a trigger module to detect a triggering event; a configuration module to access a dead screen configuration in response to the triggering event, the dead screen configuration specifying content to display on the persistent display of the system after the system is powered down; and an output module to write the specified content to the persistent display as an image.

Abstract: A method for equivalence checking includes obtaining a first and a second representation for a semiconductor design and applying a set of inputs to both representations. The outputs of the first representation are compared to the outputs of the second representation. If a mismatch is found, the starting states for the first and second representations are evaluated using a model checker to see if they are reachable from a known legal state such as reset state for that representation. If both of the starting states are reachable, the mismatch is a real mismatch providing a counter-example of the equivalence of the two representations. If one or both of the starting states are unreachable, the mismatch is a spurious mismatch and the model checker can be used to generate an invariant to preclude those starting states in future iterations of the equivalence checker.

Abstract: Provided herein are conductive glass-metal compositions, as well as methods of making and using such compositions. In one example, the compositions include gold (Au) doped lithium-borate glasses shown to exhibit a transition from ionic to electronic conduction within the same sample. This is achieved via appropriate heat treatment, and particularly by heat treatment after annealing, wherein the post-annealing heat treatment is performed at temperatures below the glass transition temperature (Tg). The methods described herein are believed to introducing polarons formed from the trapping of electrons at partially ionized gold atoms. This unique electrical response provides new functionality to this class of nanocomposites. Additionally, increased thermal conductivity can be provided to an otherwise low conductive glass composition using the inventive methods and other subject matter provided herein.

Abstract: Provided herein are biocompatible scaffolds and methods of preparing such bioscaffolds. The methods provide a superior high surface area, interconnected nanomacroporous bioactive glass scaffold, by combining a sol-gel process and polymer sponge replication methods. The formation of a uniformly nanoporous and interconnected macroporous bioscaffold is demonstrated using a starting material comprising a 70 mol % SiO2—30 mol % CaO glass composition as an example. The bioscaffold includes a series of open, interconnected macropores with size from 300 to 600 ?m, as desired for tissue ingrowth and vascularization. At the same time, coexisting nanopores provide high-specific surface area (>150 m2/g), which is needed for enhancing the structure's degradation rate. These bioscaffolds hold promise for applications in hard tissue engineering.

Abstract: A method for equivalence checking includes obtaining a first and a second representation for a semiconductor design and applying a set of inputs to both representations. The outputs of the first representation are compared to the outputs of the second representation. If a mismatch is found, the starting states for the first and second representations are evaluated using a model checker to see if they are reachable from a known legal state such as reset state for that representation. If both of the starting states are reachable, the mismatch is a real mismatch providing a counter-example of the equivalence of the two representations. If one or both of the starting states are unreachable, the mismatch is a spurious mismatch and the model checker can be used to generate an invariant to preclude those starting states in future iterations of the equivalence checker.

Abstract: Methods and apparatuses are described for proving equivalence between two or more circuit designs that include one or more division circuits and/or one or more square-root circuits. Some embodiments analyze the circuit designs to determine an input relationship between the inputs of two division (or square-root) circuits. Next, the embodiments determine an output relationship between the outputs of two division (or square-root) circuits based on the input relationship. The embodiments then prove equivalence between the circuit designs by using the input and output relationships.

Abstract: Provided herein are conductive glass-metal compositions, as well as methods of making and using such compositions. In one example, the compositions include gold (Au) doped lithium-borate glasses shown to exhibit a transition from ionic to electronic conduction within the same sample. This is achieved via appropriate heat treatment, and particularly by heat treatment after annealing, wherein the post-annealing heat treatment is performed at temperatures below the glass transition temperature (Tg). The methods described herein are believed to introducing polarons formed from the trapping of electrons at partially ionized gold atoms. This unique electrical response provides new functionality to this class of nanocomposites. Additionally, increased thermal conductivity can be provided to an otherwise low conductive glass composition using the inventive methods and other subject matter provided herein.

Abstract: Methods and apparatuses are described for proving equivalence between two or more circuit designs that include one or more division circuits and/or one or more square-root circuits. Some embodiments analyze the circuit designs to determine an input relationship between the inputs of two division (or square-root) circuits. Next, the embodiments determine an output relationship between the outputs of two division (or square-root) circuits based on the input relationship. The embodiments then prove equivalence between the circuit designs by using the input and output relationships.