Abstract: The present disclosure relates to a microfabricated thermal platform. The platform is formed over a substrate, which may for example be a silicon wafer, and which may form part of the platform. The substrate is coated in a thermally-insulating material, which may be an organic polymer such, as polyimide or SU8. The thermally-insulating material may have a predetermined thermal conductivity, which is dependent on thickness, geometry and processing. The surface of the thermally-insulating material may include an arrangement of thermal sites, with each site having a reaction plate (or thermal plate) over which chemical reactions may occur. A heating element may be positioned beneath each reaction plate. The thermal platform may have a plurality of such thermal sites arranged over the upper surface of the thermally-insulating material. However, it will be appreciated that in practice, there could be a single thermal site.

Abstract: This application relates generally to automated systems and methods for identifier propagation across uniform resource locator requests. In an embodiment, a system includes at least one processor operatively coupled with a datastore, the at least one processor configured to receive, from a user device, a current rule identifier appended to a request component uniform resource locator. The at least one processor is further configured to retrieve, from the datastore, a rule definition associated with the current rule identifier, wherein the rule definition comprises a rule condition and a rule consequence. The at least one processor is further configured to execute the rule consequence in response to determining that the rule condition is satisfied.

Abstract: Systems and methods for providing parallel mock rest services are disclosed. A system includes a computing device configured to execute a mock resource server including at least a first session associated with a first set of endpoint values. The mock resource server is configured to receive a session request and provide a set of endpoint values. The first session is associated with a first session identifier. A first resource call including the first session identifier is received and a session request for a first session is generated by the computing device. The resource call is generated by a first application server during execution of a first test case. The first set of endpoint values is transmitted to the first application server. The first set of endpoint values is provided by the first session in response to the session request.

Abstract: Techniques for generating an arbitrary view or perspective of an ensemble scene are disclosed. In some embodiments, in response to a received request for a prescribed perspective of an ensemble scene comprising a plurality of assets, an output image of the ensemble scene for the requested prescribed perspective is generated based at least in part on combining at least a portion of an existing image of each of at least a subset of the plurality of assets.

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 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: This application relates generally to automated systems and methods for identifier propagation across uniform resource locator requests. In an embodiment, a system includes at least one processor operatively coupled with a datastore, the at least one processor configured to receive, from a user device, a request message comprising a request component uniform resource locator. The at least one processor is further configured to produce a redirect uniform resource locator in response to the request message not comprising a session identifier, where the redirect uniform resource locator comprises a current session identifier appended to the request component uniform resource locator. The at least one processor is further configured to send, to the user device, a redirection instruction comprising the redirect uniform resource locator, where the redirection instruction indicates that a resource requested by the request message has been temporarily moved to the redirect uniform resource locator.

Abstract: Embodiments of the disclosure provide various nanogap sensor designs (e.g., horizontal nanogap sensors, vertical nanogap sensors, arrays of multiple nanogap sensors, various arrangements for making electrical connections to the electrodes of nanogap sensors, etc.), as well as various methods which may be used to fabricate at least some of the proposed sensors. The nanogap sensors proposed herein may operate as molecular sensors to help identify chemical species through electrical measurements using at least a pair of electrodes separated by a nanogap.

Abstract: This application relates generally to automated systems and methods for identifier propagation across uniform resource locator requests. In an embodiment, a system includes at least one processor operatively coupled with a datastore, the at least one processor configured to receive, from a user device, a current rule identifier appended to a request component uniform resource locator. The at least one processor is further configured to retrieve, from the datastore, a rule definition associated with the current rule identifier, wherein the rule definition comprises a rule condition and a rule consequence. The at least one processor is further configured to execute the rule consequence in response to determining that the rule condition is satisfied.

Abstract: This application relates generally to automated systems and methods for identifier propagation across uniform resource locator requests. In an embodiment, a system includes at least one processor operatively coupled with a datastore, the at least one processor configured to receive, from a user device, a request message comprising a request component uniform resource locator. The at least one processor is further configured to produce a redirect uniform resource locator in response to the request message not comprising a session identifier, where the redirect uniform resource locator comprises a current session identifier appended to the request component uniform resource locator. The at least one processor is further configured to send, to the user device, a redirection instruction comprising the redirect uniform resource locator, where the redirection instruction indicates that a resource requested by the request message has been temporarily moved to the redirect uniform resource locator.

Abstract: Systems and techniques are described for using runtime information to identify a verification hole and/or compute a verification metric. Runtime information (RI) for a set of proven assertions can be determined, wherein the RI includes a first set of registers, a first set of inputs, and a first set of constraints that were used by a formal verification engine during runtime to prove one or more assertions for a design under verification (DUV). Next, a second set of registers, a second set of inputs, and a second set of constraints that are not present in the RI can be determined. The second set of registers, the second set of inputs, and/or the second set of constraints can then be used to (1) identify a verification hole and/or (2) compute a verification metric.

Abstract: A formal verification tool that verifies multiple sequentially-generated versions of a core circuit design by obtaining search path information from the formal verification solver for each property that is proven or disproven during a first formal verification session involving an earlier-generated circuit design version, and utilizing the search path information to perform search-path verification processes during a subsequent formal verification session to quickly verify the proven/disproven properties in a later-generated circuit design version. Each property's search path information includes counterexample traces or proof artifacts identifying the search operations utilized to achieve a corresponding counterexample or proof object that proves/disproves the property. Search-path verification involves applying the stored search path information to the later-generated circuit design version, and determining if the same counterexample or proof object is achieved.

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: Systems and methods for providing parallel mock rest services are disclosed. A system includes a computing device configured to execute a mock resource server including at least a first session associated with a first set of endpoint values. The mock resource server is configured to receive a session request and provide a set of endpoint values. The first session is associated with a first session identifier. A first resource call including the first session identifier is received and a session request for a first session is generated by the computing device. The resource call is generated by a first application server during execution of a first test case. The first set of endpoint values is transmitted to the first application server. The first set of endpoint values is provided by the first session in response to the session request.

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: 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: Methods and apparatuses are described for sharing inductive invariants while performing formal verification of a circuit design. Specifically, some embodiments assume at least an inductive invariant for a property to be true while proving another property. According to one definition, an inductive invariant of a property is an inductive assertion such that all states that satisfy the inductive assertion also satisfy the property. According to one definition, an inductive assertion describes a set of states that includes all legal initial states of the circuit design and that is closed under a transition relation that models the circuit design.

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: 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: 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.