Abstract: A system and method involves detecting operational social disruptive events on a global scale, assigning disease or non-disease event staging and warnings to express data in more simplistic terms, modeling data in conjunction with linguistics analysis to establish responsive actions, generating visualization and modeling capabilities for communicating information, and modeling disease or non-disease propagation for containment and forecasting purposes.

Abstract: A system and method involves detecting operational social disruptive events on a global scale, assigning disease or non-disease event staging and warnings to express data in more simplistic terms, modeling data in conjunction with linguistics analysis to establish responsive actions, generating visualization and modeling capabilities for communicating information, and modeling disease or non-disease propagation for containment and forecasting purposes.

Abstract: A system and method involves detecting operational social disruptive events on a global scale, assigning disease or non-disease event staging and warnings to express data in more simplistic terms, modeling data in conjunction with linguistics analysis to establish responsive actions, generating visualization and modeling capabilities for communicating information, and modeling disease or non-disease propagation for containment and forecasting purposes.

Abstract: A multirotor mobile buoy combining MR-VTOL capability with environmentally hardened electronics, exchangeable sensor suites, and a solar recharge system and providing sensing in aquatic environments. The multirotor mobile buoy provides for the detection, classification and location of underwater objects using self-contained electronics, and repositions with aerial means using a plurality of rotors. The multirotor mobile buoy additionally incorporates solar panels for recharging of on-board batteries enabling the flight and other functions, and comprises a buoyant assembly and extended tether in order to promote stability in dynamic, open ocean environments. The multirotor mobile buoy may be employed singly or as a swarm of underwater detection platforms, and may utilize its positioning ability to optimize the effectiveness of sonobuoy systems arrayed as a distributed sensor field.

Abstract: A hybrid buoy system capable of aerial operation, that in some embodiments includes a wireless communication technology to allow communication with other buoys and/or an external system. In some embodiments, a swarm of buoys may be capable of surface and/or air operation. These buoys may work together to perform collective tasks that individual buoys are not capable of. Buoy swarms may be programmed for cooperative and swarm behaviors for use in a broad spectrum of missions. At least some of the buoys may be configured for specialized sensing, increasing the collective sensing capabilities of the swarm. A mixed, swappable sensor suite may be used to accommodate an array of marine exploration applications, including both military and civilian applications.

Abstract: A vertebrae support device and method. An embodiment of a method of using the vertebrae support device by a person includes disposing a resting surface of a vertebrae support device on a substantially flat horizontal surface, and lying on the vertebrae support device such that muscles on the left side of a vertebrae column of the person are supported on a first rail of the vertebrae support device, the muscles on the right side of the vertebrae column of the person are supported on a second rail of the vertebrae support device, and the thoracic and lumbar portions of the vertebrae column of the person lying on the vertebrae support device are disposed unsupported in a trough between the first rail and the second rail.

Abstract: A vertebrae support device. The vertebrae support device includes a base made of a yielding material and having resting surface, a rail side, a first lateral side a second lateral side, a head end, and a foot end. A first rail extends from the rail side of the base from the resting surface of the base and adjacent the first lateral side and having a rounded surface opposite the base. A second rail extends from the rail side of the base from the resting surface of the base and adjacent the second lateral side and having a rounded surface opposite the base, a trough depending between the first and second rails and toward the base at least one inch. A headrest is formed on the head end of the base.

Abstract: Embodiments in the present disclosure pertain to domain translators. A domain translator converts a variable from one domain to a different domain. Domains include, but are not limited to, voltage, current, frequency, phase, delay, and duty-cycle. In particular, domain translators enable conversion between standard voltage and current domains commonly used by circuit simulators to other domains such as frequency, phase, delay, duty-cycle, etc., so that linear analysis can be performed on a wide range of circuits that exhibit linear behavior in domains other than voltage and current.

Abstract: A vertebrae support device. The vertebrae support device includes a base made of a yielding material and having resting surface, a rail side, a first lateral side a second lateral side, a head end, and a foot end. A first rail extends from the rail side of the base from the resting surface of the base and adjacent the first lateral side and having a rounded surface opposite the base. A second rail extends from the rail side of the base from the resting surface of the base and adjacent the second lateral side and having a rounded surface opposite the base, a trough depending between the first and second rails and toward the base at least one inch. A headrest is formed on the head end of the base.

Abstract: A computer-implemented method of performing an equivalence check on a mixed-signal circuit is performed on a server system, and includes responding to a verification request. In the method, the following operations are performed. A static analysis is performed on a first netlist, and a synthesizable section and non-synthesizable section of the first netlist are identified. A functional equivalence is determined between the non-synthesizable section of the first netlist and a corresponding non-synthesizable section of a second netlist, and a logical equivalence is determined between the synthesizable section of the first netlist and a corresponding synthesizable section of a second netlist. An equivalence result is provided based on the determined functional equivalence and the determined logical equivalence.

Abstract: The present invention provides a lateral flow format and materials and methods for using the format in a variety of applications. More particularly, the present invention provides single-layer lateral flow formats, materials and methods for detecting the presence of an analyte using a test strip comprising a dry porous medium comprising a single hydrophilic matrix. Devices are also provided as well as methods of making and using the format. The format is particularly useful for diagnosis of physiological and genetic conditions. In addition, the present invention provides methods and materials for concentrating a reagent in a porous medium.

Abstract: Embodiments in the present disclosure pertain to domain translators. A domain translator converts a variable from one domain to a different domain. Domains include, but are not limited to, voltage, current, frequency, phase, delay, and duty-cycle. In particular, domain translators enable conversion between standard voltage and current domains commonly used by circuit simulators to other domains such as frequency, phase, delay, duty-cycle, etc., so that linear analysis can be performed on a wide range of circuits that exhibit linear behavior in domains other than voltage and current.

Abstract: A method of simulating device mismatch effects on transient circuit behaviors utilizes a circuit model corresponding to an electronic circuit. The circuit model includes a plurality of circuit elements and one or more noise sources. The noise sources have noise characteristics that correspond to device mismatch effects associated with the circuit elements. A noise analysis is performed on the circuit model to generate a noisy steady-state waveform of a selected output of the electronic circuit. Then, the noisy steady-state waveform is translated into a prediction of the variation of a respective circuit parameter associated with the electronic circuit.

Abstract: Data structures and algorithms are provided to automatically generate an analog stimulus to apply to a simulation of the analog DUT. A constraint solver is provided to determine suitable values to use in the stimulus generation. The suitable values are random values within a range of allowed values. For example, a number of different stimuli are generated for successive application to the analog DUT, each with a different magnitude within a range of allowed magnitudes. Data structures and algorithms are provided to monitor analog electrical properties at nodes of the analog DUT. Data structures and algorithms are provided to define constraints on the analog electrical properties and determine whether the constraints were violated. Data structures and algorithms are provided to define simulation coverage conditions in the analog domain and determine whether the defined analog domain coverage conditions have been satisfied.

Abstract: A computer-implemented method of performing an equivalence check on a mixed-signal circuit is performed on a server system, and includes responding to a verification request. In the method, the following operations are performed. A static analysis is performed on a first netlist, and a synthesizable section and non-synthesizable section of the first netlist are identified. A functional equivalence is determined between the non-synthesizable section of the first netlist and a corresponding non-synthesizable section of a second netlist, and a logical equivalence is determined between the synthesizable section of the first netlist and a corresponding synthesizable section of a second netlist. An equivalence result is provided based on the determined functional equivalence and the determined logical equivalence.

Abstract: A method and system for performing consistency checking of one or more design representations having different design types. A translator for each design type obtains information from each design needed to evaluate rules that are design type-neutral. The described examples also allow a user to add rules using predefined rule terms. In addition, certain examples allow the user to add terms to the rule set and to make new rules with the added terms. Each new term added to a rule set has a corresponding abstraction function in a translator for each design type. Thus, the abstraction functions are not design type-neutral.

Abstract: A method and system for performing consistency checking of one or more design representations having different design types. A translator for each design type obtains information from each design needed to evaluate rules that are design type-neutral. The described examples also allow a user to add rules using predefined rule terms. In addition, certain examples allow the user to add terms to the rule set and to make new rules with the added terms. Each new term added to a rule set has a corresponding abstraction function in a translator for each design type. Thus, the abstraction functions are not design type-neutral.

Abstract: A method and system for formally verifying designs having elements from more than a single design domain is described. An example system allows formal verification of a design containing mixed analog and digital subparts. The system may use different proof engines to solve an appropriate sub-partition of the entire design, and may provide a framework for translating between the different domains to create a unified result. For example, a digital proof engine may be used for a digital only subpart, while an analog proof engine may be used for an analog only subpart. The system may use the partitioning results to determine translators between the various domains, and an order in which the proof engines are applied.

Abstract: Antibodies to maternal status factors are produced and isolated. They are used in a diagnostic assay to determine maternal status in cattle. The maternal status is evaluated using a test device which contains immobilized antibody to the bovine factor. In addition, a liquid sampling device which allows only a predetermined amount of biological liquid sample to contact the test device is provided.