Abstract: An approach for detecting unplanned changes in the link performance of a delay tolerant network and making automatic and immediate adjustments to the contact plans of the network to provide route revisions that will reallocate traffic load to improve network performance. Physical layer information is used to predict link performance and to adapt route computation to avoid disruption and to optimize contact performance. Prediction is based on advanced software defined radio observable phenomena such as signal to noise ratio, background noise measurements, and forward error correction bit error counts. This approach can enable a delay-tolerant network node to recompute routes and revise bundle forwarding decisions automatically in response to changes in the properties of the communication link.

Abstract: A virtual network verification service for provider networks that leverages a declarative logic programming language to allow clients to pose queries about their virtual networks as constraint problems; the queries may be resolved using a constraint solver engine. Semantics and logic for networking primitives of virtual networks in the provider network environment may be encoded as a set of rules according to the logic programming language; networking security standards and/or client-defined rules may also be encoded in the rules. A description of a virtual network may be obtained and encoded. A constraint problem expressed by a query may then be resolved for the encoded description according to the encoded rules using the constraint solver engine; the results may be provided to the client.

Abstract: A virtual network verification service for provider networks that leverages a declarative logic programming language to allow clients to pose queries about their virtual networks as constraint problems; the queries may be resolved using a constraint solver engine. Semantics and logic for networking primitives of virtual networks in the provider network environment may be encoded as a set of rules according to the logic programming language; networking security standards and/or client-defined rules may also be encoded in the rules. A description of a virtual network may be obtained and encoded. A constraint problem expressed by a query may then be resolved for the encoded description according to the encoded rules using the constraint solver engine; the results may be provided to the client.

Abstract: Systems and methods for extracting lithium metal ions from a lithium containing ore such as spodumene or lithium salts are provided. The lithium ore or salt is suspended in a hydroxide salt or eutectic and heated to produce a molten salt suspension that is used to electroplate lithiated transition metal oxides on an electrode. Lithium metal or lithium ions can be isolated from the deposited lithiated transition metal oxides. A second metal ore may be included in the suspension and processed with the lithium ore.

Abstract: Electrodes for batteries, active stacks for batteries, batteries and methods of fabrication are described where the electrode has an LiCoO2 (LCO) electrode layer with a (110), (101), (104), or (003) crystallographic orientation or combinations thereof.

Abstract: For use in a reciprocating floor slat conveyor system having formed slats made of steel, a gap filler for sealing the gaps between side-by-side steel slats includes a portion that extends upwardly into the gap, and a lower portion that is connected to one of the side-by-side slats. The gap filler is installed by pushing down the gap filler into the gap between slats.

Abstract: A method for changing a set point of a system where period of a dominant resonance of the system is determined, a change profile for the set point change is processed; a time period for the set point change based on the period of the dominant resonance in order to minimize excitation of the dominant resonance is also processed; and the set point change is actioned according to the processed change profile and the time period.

Abstract: The present disclosure generally pertains to a dispensing system comprising a first chamber capable of receiving a bulk material to be dispensed, a first set of finned shafts positioned within the first chamber and capable of feeding bulk material into a second chamber, and a second set of finned shafts positioned within the second chamber and capable of dispensing a controlled dose of bulk material from the second chamber.

Abstract: The appropriate scoping of an access policy can be determined using the observed access and usage of various resources covered under that policy. Information about access requests received over a period of time can be logged, and actions represented in the log data can be mapped to the permissions of the access policy. A new access policy can be generated that includes grant permissions only for those actions that were received and/or granted during the monitored period of time. The new policy can be processed using policy logic to ensure that changes in permission comply with rules or policies for the target resources. The new policy can be at least partially implemented, or can be provided to an authorized user, who can choose to adopt or deny the new policy, or to accept some of the recommendations for modifying the current policy.

Abstract: The appropriate scoping of an access policy can be determined using the observed access and usage of various resources covered under that policy. Information about access requests received over a period of time can be logged, and actions represented in the log data can be mapped to the permissions of the access policy. A new access policy can be generated that includes grant permissions only for those actions that were received and/or granted during the monitored period of time. The new policy can be processed using policy logic to ensure that changes in permission comply with rules or policies for the target resources. The new policy can be at least partially implemented, or can be provided to an authorized user, who can choose to adopt or deny the new policy, or to accept some of the recommendations for modifying the current policy.

Abstract: The present disclosure generally pertains to a dispensing system comprising an upper chamber capable of receiving a bulk material to be dispensed, a first set of finned shafts positioned within the upper chamber and capable of feeding bulk material into a lower chamber, and a second set of finned shafts positioned within the lower chamber and capable of dispensing a controlled dose of bulk material from the lower chamber.

Abstract: An apparatus, system and redox membrane for efficient lithium-ion extraction from natural salt waters or geothermal brines or manmade sources such as from lithium battery recycling are provided. The redox membrane is selective for lithium ions over other spectator ions making the system capable of selectively extracting lithium-ions from multiple-ion source solutions. The system uses the redox membrane as an electrochemically active material acting as a Li-selective membrane for direct lithium extraction from a lithium-ion source. The redox membrane is also not porous to solvents and is stable in caustic and high temperature environments. The features of the redox membrane and system allow the recovery of lithium from low purity sources and the production of higher purity products at reduced costs and process steps over conventional processes.

Abstract: This disclosure describes techniques for automating a system-level security review of a network-based service. The techniques may include generating and utilizing a machine-readable threat model to identify system-level security threats to the network-based service. The network-based service may be scanned upon being provisioned in a service-provider network, and the machine-readable threat model may be generated based on results of the scan. The machine-readable threat model may represent components of the network-based service, system-level security constraints configured to identify system-level security threats to the service, and mitigations to remedy violations to the system-level security constraints. The network-based service may be continuously, or periodically, scanned to identify changes in the network-based service.

Abstract: A screen stand to retrofit onto a stationary exercise machine using existing bolts on the stationary exercise machine. The screen stand has a hollow top mast slidably received within a hollow bottom mast. The bottom mast has a first anchor to attach to the pop pin of the stationary bicycle. There is a second anchor that attaches to the front stabilizer bar of the stationary bicycle.

Abstract: Methods and systems relating to a file distribution scheme in a computer network are disclosed that distributes files in an efficient manner that reduces, among other things, network traffic. In an embodiment of the invention, a method for updating a file is disclosed. In such a method, unique chunks in a first version of a digital file are identified. For a second version of the digital file, chunks that are the same as in the first version are identified. Recompilation information is generated and stored for these identified chunks. Also, for the second version of the digital file, chunks in the second version that are different from chunks in the first version are identified. Recompilation information is generated and stored for these identified chunks. With this information, the second version of the digital file is completely defined and can be efficiently stored.

Abstract: Security policies may be utilized to grant or deny permissions related to the access of computing resources. Two or more security policies may be compared to determine whether the policies are equivalent, whether one security is more permissive than another, and more. In some cases, it may be possible to identify whether there exists a security permission that is sufficient to determine two security policies lack equivalency. Propositional logics may be utilized in the evaluation of security policies.

Abstract: For use in a reciprocating floor slat conveyor system having formed slats made of steel, a gap filler for sealing the gaps between side-by-side steel slats includes a portion that extends upwardly into the gap, and a lower portion that is connected to one of the side-by-side slats. The gap filler is installed by pushing down the gap filler into the gap between slats.

Abstract: This disclosure describes techniques for automating a system-level security review of a network-based service. The techniques may include generating and utilizing a machine-readable threat model to identify system-level security threats to the network-based service. The network-based service may be scanned upon being provisioned in a service-provider network, and the machine-readable threat model may be generated based on results of the scan. The machine-readable threat model may represent components of the network-based service, system-level security constraints configured to identify system-level security threats to the service, and mitigations to remedy violations to the system-level security constraints. The network-based service may be continuously, or periodically, scanned to identify changes in the network-based service.

Abstract: For use in a reciprocating floor slat conveyor system having formed slats made of steel, a gap filler for sealing the gaps between side-by-side steel slats includes a portion that extends upwardly into the gap, and a lower portion that is connected to one of the side-by-side slats. The gap filler is installed by pushing down the gap filler into the gap between slats.

Abstract: A docking system for electrosurgical equipment where a first docking interface is a recess in the housing of a smoke evacuator and a second docking interface is a raised portion of an electrosurgical unit. The first and second docking interfaces have corresponding ground, power, and communication contacts, so that the two devices can be physically and electrically interconnected by mating the first docking interface with the second docking interface. The first docking interface is on the top of the smoke evacuator and the second docking interface is on the bottom of the electrosurgical unit so that the devices may be stacked and interconnected using a minimum amount of space without the need for cabling.