Abstract: Coupling components and systems for light fixtures. A device includes a base comprising, wherein the base includes a base platform, and a base sidewall attached to the base platform, wherein the base sidewall is perpendicular to the base platform within a tolerance of ten percent. The base of the device includes a spider rod channel formed in the base sidewall, wherein the spider rod channel defines a negative space configured to receive a spider rod of a spider fitter of a lampshade. The device includes a conduit arm attached to the base, wherein the conduit arm comprises a conduit sidewall defining a hollow interior. The device is such that the hollow interior of the conduit arm is configured to receive an electrical wire of a light fixture.

Abstract: A computer-based neurosymbolic system for deterministic policy compliance verification combines neural language models for flexible natural language understanding with symbolic reasoning for deterministic, auditable rule evaluation. The system operates in two phases: (1) Configuration Time, where policy documents 20 are processed to automatically extract formal rules 10 and generate a minimum viable extraction schema 11, 23 containing only information required by the rules; (2) Inference Time, where input documents 24 are processed to extract only policy-relevant information 12, 17, which is evaluated against the rules 10 using deterministic symbolic reasoning. In an embodiment, information extraction 25 uses automatically generated questions 23 with explicit UNKNOWN handling, and compliance is determined using three-valued logic (compliant/non-compliant/cannot-determine), providing epistemic clarity and thwarting hallucinations.

Abstract: An apparatus includes a first portion of a collapsible door and a second portion of the collapsible door. The second portion of the collapsible door is slidably coupled to the first portion such that the first portion is configured to slide vertically relative to the second portion to move the collapsible door between a collapsed configuration and an expanded configuration. The first portion and the second portion collectively are configured to pivot about a single hinge axis to move the collapsible door between an open position and a closed position in both the collapsed configuration and the expanded configuration.

Abstract: A solver system may employ a cache. A cache component may be configured accept inputs and send outputs in the same manner and/or using the same protocols as a solver component. A central manager component may receive a problem from a requestor, and send the problem to one or more solver components and a cache component. If the cache component identifies a stored result, it may return it to the manager component, and the manager component may send the result to the requestor. If the cache component does not identify a stored result (or otherwise does not respond to the manager component), the solver component(s) may operate normally to determine a result and return it to the manager component. In this architecture, however, the cache component is outside of the critical path, and thus the cache search does not increase the latency of the response.

Abstract: A solver system may employ a cache. A cache component may be configured accept inputs and send outputs in the same manner and/or using the same protocols as a solver component. A central manager component may receive a problem from a requestor, and send the problem to one or more solver components and a cache component. If the cache component identifies a stored result, it may return it to the manager component, and the manager component may send the result to the requestor. If the cache component does not identify a stored result (or otherwise does not respond to the manager component), the solver component(s) may operate normally to determine a result and return it to the manager component. In this architecture, however, the cache component is outside of the critical path, and thus the cache search does not increase the latency of the response.

Abstract: A method of operating an agricultural vehicle includes the steps of: generating active runtime data based on performance of the vehicle, receiving a signal to activate a kill-stall procedure of the vehicle, recording the active runtime data as recorded runtime data prior to kill-stalling the vehicle, and kill-stalling the vehicle.

Abstract: A system and method are disclosed that allows for the standardization of the application of physical force during microfragmentation of adipose tissue with enhanced sterility. A method is also disclosed that enables an accelerated digestion of a portion of the microfragmented adipose tissue that allows for at least an estimation of the viability of the released cells, as well as a particle/cell count. A further method is disclosed to provide for assessing attributes of the microfragmented adipose tissue, including physical, biochemical and metabolic characteristics of particles/cells present in and/or isolated from the microfragmented adipose tissue.

Abstract: A progressive sieve assembly for an agricultural vehicle includes a sieve having a frame, a first subset of louvers that are pivotably connected to the frame, and a second subset of louvers that are also pivotably connected to the frame. The second subset of louvers are positioned downstream of the first subset of louvers as viewed in a direction of travel of grain across the sieve assembly. The first subset of louvers are configured to pivot independently of the second subset of louvers, and the second subset of louvers are configured to pivot independently of the first subset of louvers.

Abstract: An overland trailer is disclosed. In various embodiments, the overland trailer includes a base frame, a trailer body mounted atop the base frame, and a tent assembly mounted atop the trailer body.

Abstract: Apparati and methods for designing and evaluating machine learning (ML) and other computer systems at the metadata level. A unique graphical meta-level formalism for representing these systems is employed, which supports both human and machine evaluation, simulation, and evolution of alternate architectures and designs. Each graph comprises a plurality of nodes and a plurality of edges connecting the nodes. Each node represents an operation that produces at least one outbound feature, while each edge represents a set of features. The graph (or a subgraph within the graph) can be reconfigured by applying a transform operation to the graph or subgraph.

Abstract: A facet joint replacement system includes a facet joint replacement device including an enclosing body and an articulating body. The enclosing body includes an interior surface defining an inner cavity of the enclosing body. The interior surface includes a first articulating surface and a projection extending inwardly relative to a surrounding area of the interior surface. The articulating body is positioned within the inner cavity of the enclosing body and is configured to move within the enclosing body. The articulating body includes a second articulating surface and a recess extending inwardly relative to a surrounding area of the articulating body and aligned with the projection of the interior surface of the enclosing body so as to allow movement of the projection along the recess of the enclosing body while constraining rotational motion of the articulating body within the enclosing body.

Abstract: Domain-specific computer languages (DSL's) 22, such as DSAIL (Domain-Specific Artificial Intelligence Language) are used as bridges for combining the best attributes of generative AI models 21 such as Large Language Models (LLM's) with formal reasoning systems such as logical solvers 25, to combat hallucinations that can be introduced by the LLM's 21 and to automate the process of discovering alternative solutions to problems posed by human users 2. The creativity of the LLM's 21 and the rigorous validation provided by the logical solver(s) 25 are thus both present in the solutions produced by the generative AI. The DSL 22 and a Model of Computation module 24 function as the primary means of communication between the AI model 21 and the solver(s) 25.

Abstract: Generative pre-trained large language models (LLMs) can create domain-specific text answers in various formats like JSON, XML, HTML, SQL, or programming languages. However, LLMs may “hallucinate,” generating incorrect or nonsensical answers that diverge from reality, thus eroding trust in their outputs or worse. Disclosed techniques use a sampling-based approach and an equivalence checker. Multiple answers (samples) to a prompt are generated by the LLM; if they are equivalent, the LLM is likely answering correctly. If the samples disagree or contradict, it's more likely that the LLM is hallucinating, or the prompt is ambiguous. An automated reasoning equivalence checker is utilized to verify the samples' functional equivalency, providing a method to detect and possibly rectify hallucination issues in LLM-generated answers.

Abstract: Methods for reducing an amount of calcium carbonate deposited on a surface of an offline condenser in a cooling system of a nuclear power plant, which include filling the offline condenser with a mixture comprising water and acetic acid and pumping the mixture through the offline condenser so as to contact the deposited calcium carbonate with the acetic acid. An amount of the acetic acid in the mixture is 1 to 25 wt %, and a temperature of the mixture is in a range of 10 to 50° C.

Abstract: A facet joint replacement system includes a facet joint replacement device including an enclosing body and an articulating body. The enclosing body includes an interior surface defining an inner cavity of the enclosing body. The interior surface includes a first articulating surface and a projection extending inwardly relative to a surrounding area of the interior surface. The articulating body is positioned within the inner cavity of the enclosing body and is configured to move within the enclosing body. The articulating body includes a second articulating surface and a recess extending inwardly relative to a surrounding area of the articulating body and aligned with the projection of the interior surface of the enclosing body so as to allow movement of the projection along the recess of the enclosing body while constraining rotational motion of the articulating body within the enclosing body.

Abstract: Techniques for encoding quantum circuit mapping problems as SAT solver optimization problems are disclosed. Quantum circuit mapping often requires the use of SWAP gates in order to configure logical quantum computations to be executed using fixed quantum hardware device layouts. A quantum compilation service takes a logical quantum circuit, a physical qubit connectivity graph, and a requested number of SWAP gates to solve the mapping using and encodes the information into a Conjunctive Normal Form (CNF) equation using a layout-transition-based encoding scheme. The CNF equation is then provided to a SAT solver which attempts to determine an assignment for the mapping using the set number of SWAP gates requested. Multiple CNF equations corresponding to different requested numbers of SWAP gates may be solved for in parallel using multiple SAT solving instances.

Abstract: An insert device for receiving an artistic medium thereon for use with a lampshade. The device may include an insert configured to be used in association with a lampshade. The insert may include a first side and a second side. A design may be located on the first side of the insert, where the insert with the design is configured to be drawn on using an artistic implement. The insert may be made from a translucent material that is capable of receiving and retaining an artistic medium thereon. The artistic medium can be erased or otherwise removed from the translucent material. The design on the insert may be used in association with a lampshade such that it is exposed for viewing in association with the lampshade when the insert is in a three-dimensional shape.

Abstract: The present disclosure provides a set of primers and optional probes for identifying the presence of MPOX virus, Clade II, which can be included with (e.g., in at kit) or in a cartridge for automated detection of these pathogens by nucleic acid amplification. This disclosure also provides related detection methods, as well as cartridges, systems, and kits useful in such methods.

Abstract: Techniques are described for providing a SAT-based solver for a quantifier-free theory of strings and bit vectors. The solver can be used by an automated reasoning service of a cloud provider network to analyze policies and the consequences of policies. The solver reduces an input formula to a Boolean satisfiability problem by encoding the input formula into an equisatisfiable propositional formula, where the satisfiability of the equisatisfiable propositional formula is determined by a SAT solver. Rather than using a traditional DPLL(T) style algorithm, the solver described herein bounds the length of variables in an input formula and reduces the problem to a single formula, which can then be solved using incremental SAT solving. The solver can be used independently or as part of a portfolio of solvers used to determine the satisfiability or unsatisfiability of certain formula corresponding, e.g., to questions about users' policies within a cloud provider network.

Abstract: Systems and methods for detecting low impact collisions for a vehicle (100). The system includes at least one sensor (99, 110, 111, 115, 120-123, 125-136, 140, 141) and an electronic controller (150). The electronic controller (150) is configured to receive sensor data from the sensor (99, 110, 111, 115, 120-123, 125-136, 140, 141) and determine one or more features of the sensor data received from the at least one sensor. The electronic controller (150) is further configured to determine if a collision has occurred based upon the one or more features of the sensor data, and take at least one action in response to determining that the collision has occurred.