Abstract: A system and method for authorization policy analysis. A policy analyzer answers first-order questions about authorization policies by reducing the policies to Satisfiability modulo theories (SMT). Input to the analyzer includes a policy to be analyzed and a schema for that policy. If the policy passes strict validation against the schema, then the analyzer symbolically evaluates the policy to encode its semantics as an SMT expression. The SMT expression is used for formulate a desired query about policy behavior such as, for example, if there is any input on which two policies both evaluate to true. The reduction to SMT produces a quantifier-free formula in a combination of decidable theories to support large scale deployments. This reduction is achieved by focusing the analysis on policies that pass strict validation, rather than attempting to analyze arbitrary policies.

Abstract: A system and method for authorization policy evaluation. Authorization policies are authored in a general-purpose authorization language. An evaluation engine is used in a provider network by application developers to manage access within their applications based on fine-grained permissions. The policy language combines elements of role-based and attributed-based access control within an intuitive syntax and efficient evaluation strategy. The policy syntax separates role-based expressions of a policy from attribute-based expressions of the policy.

Abstract: The present disclosure relates to fluidic systems and devices for processing, extracting, or purifying one or more analytes. These systems and devices can be used for processing samples and extracting nucleic acids, for example by isotachophoresis. In particular, the systems and related methods can allow for extraction of nucleic acids, including non-crosslinked nucleic acids, from samples such as tissue or cells. The systems and devices can also be used for multiplex parallel sample processing.

Abstract: In one aspect, a method for inspecting features of an image using an image inspection controller that includes a processor communicatively coupled to a memory is described. The method includes receiving, at the processor, an input image, performing, on the input image, one of a semantic segmentation process and an object classification process to generate an output image, and prompting a user to select between approving the displayed output image, and at least one of i) performing an additional semantic segmentation process on the displayed output image, and ii) performing an additional object classification process on the displayed output image.

Abstract: A device may create an optical obstruction such as a haze for a predetermined amount of time in front of one or more eyes of the user and thereby trigger a blink response in the user. The device may include a lens having a plurality of layers and a sensor configured to detect a blink it at least one eye. At least one of the plurality of layers may include an electrodynamic layer in communication with the sensor. The electrodynamic layer may be configured to adjust the lens from a first state to a second state in response to a first signal from the sensor and from the second state back to the first state in response to a second signal from the sensor. The second state may include an at least partial obstruction of vision through the lens.

Abstract: The present invention generally relates to golf bags having a lightweight and durable top frame assembly. The lightweight top frame assembly can have handle and leg sub-assemblies. Three-dimensional printing methods can be used to form the top frame assembly or any portion thereof. The golf bags may include a cord assembly extending across the top frame to form one or more club dividers for organizing golf clubs.

Abstract: An ophthalmic article having a coating system which provides antireflective and easy clean properties to the ophthalmic article. The coating system includes alternating layers of low refractive index metal oxide and high refractive index metal oxynitrides and corresponding high refractive index metal oxides. The coating system provides favorable surface energy to the ophthalmic article when at least one layer of the high refractive index metal oxynitride is encapsulated between two layers of low refractive index metal oxide.

Abstract: A repair prosthetic for repairing a hernia is disclosed. In some embodiments, the repair prosthetic includes a patch body, a frame that assists in spreading the patch body from a reduced configuration to an expanded configuration, and a plurality of tethers attached to the patch body at locations between the frame and a periphery of the patch body. In various embodiments, the tethers can be tensioned to mitigate curling or creasing in the patch body to flatten the patch to facilitate attachment to tissue.

Abstract: Flexible seal assemblies having a relatively low torsional rigidity and high longitudinal flexure to thereby allow the flexible seal assembly to flex between adjacent components and maintain a seal, even when movement between adjacent components occurs, is described. In some embodiments, the flexible seal assembly includes one or more layers of metal matrix material, the metal matrix material being comprised of a plurality of short segments of thin wire arranged randomly and sintered together to form a semi-rigid sheet. The one or more layers of metal matrix material can be sandwiched between an upper casing and a lower casing of a metal alloy casing. In various embodiments, additional features are provided for helping to make sure the seal assembly stays together, such as spot welds formed through the seal assembly, an S-shaped casing, and a recess/protrusion feature provided on adjacent layers of metal matrix material.

Abstract: Described herein is a method and apparatus for an optical system configured to output redundant outputs, where the optical system includes at least one optical device configured to receive an optical signal; at least one optical transducer, wherein each at least one optical transducer is configured to receive the optical signal from the at least one optical device and convert the optical signal to an electrical signal; and at least one electronic device configured to receive each electrical signal and output the redundant outputs.

Abstract: A light detection and ranging (LiDAR) system includes light sources configured to generate separate beams of light, a lens array configured to receive the separate beams of light from the light sources and to collimate the separate beams of light into collimated outgoing light that is directed toward an examined area of interest, a light sensitive detector configured to sense reflection of at least part of the collimated outgoing light, and one or more processors configured to determine a distance to one or more objects off which the at least part of the collimated outgoing light was reflected toward the light sensitive detector. The one or more processors are configured to determine the distance based on the reflection of the at least part of the collimated outgoing light.

Abstract: The invention relates to systems and methods of revealing portions of outcomes of real-world wagers through interactive media by storing reserve wagers, receiving an indication a first token has been acquired by a user, determining a tracking wager associated with the first token, matching a stored reserve wager with the tracking wager, associating the matched reserve wager with the first token, and revealing at least a portion of the outcome of the matched reserve wager to the user by the user's interaction with the interactive media. By integrating real-world wager outcomes with user interactions, the system may provide an engaging user experience with interactive media. For example, a game may reveal an outcome of a real-world wager (which has already occurred), in response to in-game actions such as user actions in the game, other players' actions, game events, and/or other events.

Abstract: The invention relates to systems and methods of revealing portions of outcomes of real-world wagers through interactive media by storing reserve wagers, receiving an indication a first token has been acquired by a user, determining a tracking wager associated with the first token, matching a stored reserve wager with the tracking wager, associating the matched reserve wager with the first token, and revealing at least a portion of the outcome of the matched reserve wager to the user by the user's interaction with the interactive media. By integrating real-world wager outcomes with user interactions, the system may provide an engaging user experience with interactive media. For example, a game may reveal an outcome of a real-world wager (which has already occurred), in response to in-game actions such as user actions in the game, other players' actions, game events, and/or other events.

Abstract: An ophthalmic lens incorporating an array of microlenses.

Abstract: An apparatus and method for continuous operation for the production of conductors that include twisted or stranded wires or filaments includes supply payoff for providing a plurality of strands that have been work hardened. The wires or strands are annealed in line with the payoff and subsequently cooled by a chiller in line with the annealer for cooling the annealed strands output from the annealer to a predetermined temperature. A strander in line with the annealer and cooler or chiller is provided for imparting at least one twist to the annealed and cooled strands. Speed control, for example a dancer, is provided in line between the cooler and the strander for adjusting and controlling the speed or velocity of the strands moving along the line to maintain a speed compatible with the take up speed of the strander. The predetermined temperature is selected to be the ambient operating temperature of the strander for copper or aluminum cable.

Abstract: Methods for operating an edge computing unit in a network for data aggregation and status communication with respect to microservices includes extracting data from data sources and converting the extracted data into a pre-defined data set. Data of the pre-defined data set is aggregated into one or more classes based on a prediction performed through a machine learning inferencing or a work flow engine. An irregularity of operation pertaining to the microservices within the aggregated data is identified based on a predetermined-criteria. An alert pertaining to the detected irregularity is generated and communicated to a client device.

Abstract: This disclosure provides a novel framework that enables cost-effective, accurate and scalable detection, prediction, and mitigation of component failure or non-nominal operation in a power system. According to an embodiment, a computing device may implement a power system model that reflects the behavior, performance characteristics, and/or operational state of components in a power system. The computing device may create the power system model using historical and real-time data. The computing device may include a sensing module designed to determine at least one performance characteristic of a component of a power system; a processing module configured to apply a power system model to the at least one characteristic to determine at least one operational state of the component; and a control module configured to effect a change in a component of the power system in response to the at least one operational state.

Abstract: An ophthalmic lens incorporating an array of microlenses.

Abstract: An apparatus and method for continuous operation for the production of conductors that include twisted or stranded wires or filaments includes supply payoff for providing a plurality of strands that have been work hardened. The wires or strands are annealed in line with the payoff and subsequently cooled by a chiller in line with the annealer for cooling the annealed strands output from the annealer to a predetermined temperature. A strander in line with the annealer and cooler or chiller is provided for imparting at least one twist to the annealed and cooled strands. Speed control, for example a dancer, is provided in line between the cooler and the strander for adjusting and controlling the speed or velocity of the strands moving along the line to maintain a speed compatible with the take up speed of the strander. The predetermined temperature is selected to be the ambient operating temperature of the strander for copper or aluminum cable.

Abstract: The invention relates to systems and methods of revealing portions of outcomes of real-world wagers through interactive media by storing reserve wagers, receiving an indication a first token has been acquired by a user, determining a tracking wager associated with the first token, matching a stored reserve wager with the tracking wager, associating the matched reserve wager with the first token, and revealing at least a portion of the outcome of the matched reserve wager to the user by the user's interaction with the interactive media. By integrating real-world wager outcomes with user interactions, the system may provide an engaging user experience with interactive media. For example, a game may reveal an outcome of a real-world wager (which has already occurred), in response to in-game actions such as user actions in the game, other players' actions, game events, and/or other events.