Abstract: The present disclosure relates to a method for electronic design verification. Embodiments may include receiving, using at least one processor, an electronic design and identifying one or more assumptions associated with the electronic design that are mutually in conflict. Embodiments may further include grouping the one or more assumptions that are mutually in conflict into a conflicting group of assumptions and iteratively disabling at least one of the conflicting group of assumptions. Embodiments may include generating at least one trace pair depicting a scenario where an assumption from a disabled set holds in a first trace but is violated in a second trace. Embodiments may further include identifying at least one signal associated with the first trace and at least one signal associated with the second trace and comparing the at least one signal associated with the first trace and the at least one signal associated with the second trace.

Abstract: A lacrosse head pocket and a related method of manufacture are provided to facilitate consistent, repeatable and/or custom manufacture of lacrosse equipment. The pocket can be constructed from multiple different sections joined with one another, or can be knitted, weaved or otherwise assembled on an automated assembly machine from strands, and/or can be formed as a unitary textile material having regions/sections with different physical and/or mechanical properties. The pocket can be integrally molded within portions of a lacrosse head to eliminate manually constructed connections between the pocket and lacrosse head. The lacrosse head can be integrally molded with a lacrosse handle to provide a one-piece unitary lacrosse stick. Related methods of manufacturing also are provided.

Abstract: Systems and methods for performing cryptographic data processing operations in a manner resistant to external monitoring attacks. An example method may comprise: executing, by a processing device, a first data manipulation instruction, the first data manipulation instruction affecting an internal state of the processing device; executing a second data manipulation instruction, the second data manipulation instruction interacting with said internal state; and breaking a detectable interaction of the first data manipulation instruction and the second data manipulation instruction by executing a third data manipulation instruction utilizing an unpredictable data item.

Abstract: According to some embodiments, a method of treating a joint of a patient comprises creating a recess in a bone located at or near a targeted joint, wherein the recess includes a generally wedge or truncated cone shape. In one embodiment, the recess in a bone comprises a surface opening along an outer surface of the bone and a bottom opening along the distal end of the recess, such that a diameter of the surface opening is generally smaller than a diameter of the bottom opening. The method additionally comprises providing a joint implant having a wedge or truncated cone shape, wherein a diameter of a top end of the joint implant is generally smaller than a diameter of a bottom end of the joint implant, inserting the joint implant within the recess.

Abstract: Breathing assistance apparatus for treating sleep apnoea are described. More specifically, nasal interface for the supply of respiratory gases, but most particularly positive pressure gases are described. The nasal interfaces may include various forms of nasal pillows or nasal plugs. Associated elements such as manifolds or housings to hold or secure the pillows or plugs, or headgear are also disclosed.

Abstract: Described is a system that includes a queue cluster including first network devices that cooperate to communicate with end nodes of a network and to store information from the end nodes in memory, a processing cluster comprising second network devices that cooperate to perform one or more tasks on the information from the queue cluster, and a database cluster including third network devices that cooperate to provide storage for use by the processing cluster, with the queue cluster, the processing cluster, and the database cluster being part of a local network that is connectable to an external network, the local network including a wireless mesh network and for the one or more tasks, a network device among the second network devices is selected as a leader responsible for task execution.

Abstract: A system for sampling sub-slab soil gas having an adaptor body that includes a first barbed portion, a collar portion, a second barbed portion, an internal cavity that axially passes through the length of the adaptor body, and a coupling portion. The system further includes one or more extensions such as a fitting extension, a filter extension, a sieve extension and a length extension, each of which are threadably retainable with the coupling portion of the adaptor body.

Abstract: The invention relates to electrophoretic layers containing at least five different particles, and to driving methods for displaying at least five, and in some embodiments, six different colors at each pixel or sub-pixel. The electrophoretic layers may also contain uncharged neutral buoyancy particles, and the driving methods may include special shaking waveform sequences.

Abstract: Kits for retrofitting an all-terrain vehicle with a compact, collapsible awning system include a collapsible canopy having a plurality of securing elements, an attachment mechanism having a first end coupled to a first side of the canopy and a detachable second end, a pole configured to associate with any of the plurality of securing elements and to support the canopy, and a tie-down configured to associate with any of the plurality of securing elements and to extend the canopy such that when combined with at least the pole, the canopy forms an overhead structure. The second detachable end of the attachment mechanism can be associated with a connection point on the all-terrain vehicle, and when extended the awning can form an overhead shelter adjacent to the all-terrain vehicle, providing shade and/or temporary protection from the elements.

Abstract: The techniques may provide a hierarchical scheduler for dynamically computing rate credits when a plurality of queues share an intermediate node. For example, the hierarchical scheduler may group respective sets of queues with respective virtual subscribers to be associated with a shared intermediate node. The weight used by the shared intermediate node may be computed as a function of the number of virtual subscriber child members of the shared intermediate node and their respective weights to correctly proportion the services to the queues. The techniques may also provide a hierarchical scheduler for dynamically computing rate credits allocated to queues associated with a shared intermediate node. For example, the number of rate credits allocated to a queue for a virtual subscriber is based on the product of the virtual subscriber weight and a queue weighted fraction of the queues for the virtual subscriber.

Abstract: An apparatus 2 for performing serial data communication with a target device 4, such as an integrated circuit, utilizes serial transfer circuitry 16 to perform a serial transfer of data to a communication register 26 in the target device 4 and serial retrieval circuitry 18 to retrieve an acknowledge signal 32 indicating whether or not the target device is ready to perform further processing following such a transfer. Delay control circuitry 20 serves to apply a predetermined delay period following the transfer of the serial data via the serial transfer circuitry before initiating the retrieval of the acknowledge signal. This predetermined delay period is controlled in dependence upon the ready status indicated by the acknowledge signals retrieved such that the proportion of acknowledge signals retrieved which indicate an unready status meets a predetermined condition, such as being less than a non-zero predetermined value.

Abstract: Systems and methods for ranking search results according to a knowledge level of a user. A computer-implemented method includes: receiving, by a computing device, a search query from a user via a user computer device; determining, by the computing device, a plurality of results based on the search query; determining, by the computing device, a respective expertise level for each of the plurality of results; ranking, by the computing device, the plurality of results based on a knowledge level of the user and the respective expertise level for each of the plurality of results; and outputting, by the computing device, the ranked plurality of results to the user computer device.

Abstract: An integrated gasket that provides both wildlife protection and ingress protection in a light fixture. The integrated gasket comprises a body that extends from a top annular edge to a bottom annular edge and defines a through cavity. The body includes a bottom flanged portion and a top pipe receiving portion. The top pipe receiving portion includes a first pipe portion and a second pipe portion that are detachably coupled. Further, the body includes a wiper flange that extends radially inward from the bottom annular edge towards the internal through cavity.

Abstract: An agricultural vehicle including a chassis and a sectional header system carried by the chassis. The sectional header system includes a center section connected to the chassis and having a pair of lateral ends, at least one additional section, and at least one coupling assembly. The at least one coupling assembly includes at least one actuator and at least one connector. The at least one coupling assembly removably connects the center section to the at least one additional section. The at least one additional section is coupled to the center section in harvesting of a crop material and the at least one additional section is decoupled from the center section in transportation of the sectional header system.

Abstract: A device may include one or more processors to receive a file that may be analyzed for malware; open the received file in a secure environment; determine that a secondary file in the secure environment may have been accessed based on the received file being opened; analyze the secondary file in the secure environment to identify malware; and/or perform an action associated with the received file based on the secondary file being analyzed.

Abstract: This invention relates to pyridone derivatives, processes for their preparation, phamaceutical compositions, and their use in therapy.

Abstract: A system for extending the range of a wireless signal is disclosed. A typical or near typical IP packet may be used to establish a connection between a server and a sending device. A server receives the payload of a packet for which delivery information has been removed. The server may package the data into a full IP packet and then communicate with a smart device, such as a door lock.