Abstract: The invention relates to compounds of formula I wherein R1, R2 and - - - - - are as defined herein, pharmaceutical compositions comprising the compounds and methods of treating COVID-19 in a patient by administering therapeutically effective amounts of the compounds and methods of inhibiting or preventing replication of SARS-CoV-2 with the compounds.

Abstract: In one embodiment, a network node of a multi-hop wireless network may receive, from a network management system associated with the multi-hop wireless network, a request for identifying information associated with the network node. The network node may then send, responsive to the request for identifying information, to the network management system, registration information associated with the network node, wherein the registration information includes cipher text encoded with a public key, wherein the encoded cipher text is configured to be decoded with a private key, and wherein the encoded cipher text includes a MAC address and an identifier assigned to the network node.

Abstract: In one embodiment, a network node of a multi-hop wireless network may receive, from a network management system associated with the multi-hop wireless network, a request for identifying information associated with the network node. The network node may then send, responsive to the request for identifying information, to the network management system, registration information associated with the network node, wherein the registration information includes cipher text encoded with a public key, wherein the encoded cipher text is configured to be decoded with a private key, and wherein the encoded cipher text includes a MAC address and an identifier assigned to the network node.

Abstract: In one embodiment, a network management system associated with a multi-hop wireless network may receive registration information associated with a network node, wherein the registration information comprises cipher text encoded with a public key, and wherein the cipher text comprises a MAC address and one or more of a firmware hash assigned to the network node or a serial number assigned to the network node. The network management system may decode the cipher text with a private key corresponding to the public key. The network management system may record the registration information in a lookup table on a data store of the network management system. The network management system may register the network node associated with the recorded registration information as an unignited network node on the multi-hop wireless network.

Abstract: In one embodiment, a method includes receiving from a requesting network node identifying information, and accessing registration information of previously registered network nodes of a multi-hop wireless network. The registration information includes a firmware hash or a serial number of the previously registered network node. The registration information may have been extracted from the previously registered network node and communicated to the network-management system as cipher text encoded with a public key and decoded at the network-management system with a private key. The method may further include comparing the identifying information of the requesting network node with the registration information of the previously registered network nodes to determine whether the requesting network node is one of the previously registered network nodes.

Abstract: A process for locating underground markers, including: transmitting signals through the ground between markers in the ground; and determining locations of the markers based on the transmitted signals.

Abstract: In one embodiment, a method includes receiving from a requesting network node identifying information, and accessing registration information of previously registered network nodes of a multi-hop wireless network. The registration information includes a firmware hash or a serial number of the previously registered network node. The registration information may have been extracted from the previously registered network node and communicated to the network-management system as cipher text encoded with a public key and decoded at the network-management system with a private key. The method may further include comparing the identifying information of the requesting network node with the registration information of the previously registered network nodes to determine whether the requesting network node is one of the previously registered network nodes.

Abstract: A process for locating underground markers, including: transmitting signals through the ground between markers in the ground; and determining locations of the markers based on the transmitted signals.

Abstract: The invention concerns a method for forming an electronic device in plastic. The method for forming an electronic device in plastic comprises: (a) placing electronic components (220, 215) in recesses (210, 215) in a thermoplastic substrate (200); (b) depositing (135) an electronic circuit (230) over the electronic components (220, 225), or onto a thermoplastic sheet (240); and (c) bonding (160) the thermoplastic substrate (200) with the thermoplastic sheet (240) in a thermal bonding process to seal the electronic components (220, 215) and the electronic circuit (230) between the thermoplastic substrate (200) and the thermoplastic sheet (240), wherein the method further comprises providing a thermally conductive layer (250) on the thermoplastic sheet (240) and/or substrate (200) such that heat applied during the thermal bonding process is distributed uniformly across the thermoplastic sheet (240) and/or substrate (200) to facilitate bonding of the thermoplastic sheet (240) and substrate (200).

Abstract: Multi functional sensors are described. A silicon based sensor utilizes metal layers arranged as resistors around a central pair if resistors separated by a humidity sensitive polymer with one of the central resistors being a heater. This enables temperature humidity wind speed and direction to be measured. In another embodiment an array of resistors is printed onto a flexible substrate to form the basis of an array of sensors. A soil moisture sensor, which is also useful as a leaf wetness sensor, incorporates a novel self calibrating capacitive sensor structure. The flexible substrate is rolled into a stake that can be inserted in the soil so that below ground sensors measure soil moisture and above ground sensors measure temperature, light, humidity, wind speed and direction.

Abstract: A user interface for facilitating a decision making process, such as planning a trip. A unified view of various types of information related to an event may be provided. The unified view may be presented in a simulated three-dimensional environment having different types of information depicted on different windows. Different types of information related to a common event may be visually linked. A window showing a articular type of information may be brought into a focus view for closer inspection by a user. Alternative decisions may be depicted to permit vagueness or uncertainty, particularly at early iterations in the decision making process.

Abstract: The present invention provides a method for copying data through a virtualized storage system using distributed table driven (I/O) mapping. In a system having a virtual disk (the “original disk”), a persistent mapping table for this virtual disk exists on a controller, and volatile copies of some or all entries in this mapping table are distributed to one or more more mapping agents. The method of the present invention creates a new virtual disk mapping table that has the exact same entries as the mapping table as the original virtual disk. The new snapshot disk then shares the same storage as the original disk, so it is space efficient. Furthermore, creating new snapshot disk involves only copying the contents of the mapping table, not moving data, so the creation is fast. In order to allow multiple virtual disks to share storage segments, writes to either the original virtual disk or the snapshot copy cannot be seen by the other.

Abstract: A dual addressing arrangement comprises a complex address pointer within entries of a communication queue used by a port driver and an port adapter when exchanging information in a host computer. The complex address pointer comprises a virtual address portion and a physical address portion. The port driver uses the virtual address portion to ascertain the location of entry structures, while the port adapter uses the physical address portion to locate the structures in a host memory. The arrangement and interpretation of the address portions of the complex pointers within an entry depend upon the direction of information flow, i.e., the passing of messages from the port driver to the port adapter using a driver-to adapter queue or the passing of responses from the adapter to the driver using an adapter-to-driver queue.

Abstract: A fault-tolerant computer system has primary and backup computers. Primary and backup virtual machines running on the computers are controlled by corresponding virtual machine monitors. The virtual machines execute only user-mode instructions, while all kernel-mode instructions are trapped and handled by the virtual machine monitors. Each computer has a recovery register that generates a hardware interrupt each time that a specified number of instructions, called an epoch, are executed. Prior to failure of the primary computer, the backup computer's virtual machine monitor converts all I/O instructions into no-ops and the primary computer sends copies of all I/O interrupts to the backup computer.

Abstract: A memory mapping system for use by a port adapter in a computer facilitates access to named data buffers in host memory. The system generally comprises a mechanism that enables the adapter to efficiently translate the data buffer name to physical address locations in host memory without knowledge of the memory management policies of the computer. Specifically, the system includes various data structures and pointers that allow the port adapter to view host memory in "port pages" when accessing memory locations of a named data buffer. The data locations are virtually, but not physically, contiguous and the invention provides efficient identification of the physical addresses of the locations.

Abstract: A communication interface between a port driver and an port adapter of a host computer includes a singly-linked queue resident in a host memory of the computer. The queue includes a header element and a stopper element with message entries linked therebetween. The message entries contain information to be exchanged between the port driver and port adapter. Each message entry includes at least a carrier that contains a forward link pointer to the next entry in the queue and message/response specific control information. The stopper element identifies the end of the queue and is distinguishable from a message entry by a valid indicator, e.g., the state of at least one bit of the forward link pointer. Functionally, the stopper entry allows the port driver and port adapter to concurrently insert and remove message entries of the singly-linked queue in a reliable manner without the use of any external synchronization mechanism.