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.

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 invention relates to a rail vehicle (1) comprising a first passenger car and a powerpack (2) having a longitudinal axis, the powerpack (2) and the passenger car being coupled together. The powerpack (2) comprises at least one fuel cell (20) and at least one fuel tank (21) having a fuel tank valve (33). The powerpack (2) is mounted on at least one bogie. The rail vehicle (1) comprises at least one driven bogie which can be supplied with electrical energy from the fuel cell (20).