Abstract: Compounds of formula A-I and B-I, compositions comprising the compounds, methods of making the compounds and methods of their uses are disclosed.

Abstract: A computer implemented method for increasing scalability in bounded liveness verification includes receiving, by one or more processors, a counterexample trace showing a bounded liveness failure and a set of parameters associated with the counterexample trace, partitioning the counterexample trace into segments representing bound increments contributing to the bounded liveness failure, selecting, by one or more processors, a time interval during which to repeat input values, wherein the selected time interval correlates to one or more segments, evaluating, by one or more processors, the received counterexample after repeating the selected time interval, determining, by one or more processors, whether the evaluation indicates that the counterexample falsifies a deeper bound with respect to a bound or an unbounded liveness counterexample, and, responsive to determining the evaluation indicates that the counterexample falsifies a deeper bound, providing, by one or more processors, counterexample falsification re

Abstract: The present disclosure discloses methods and systems for selective translation of a language of a multi-function device, wherein the language of the multi-function device is a pre-defined language. The method includes receiving a print job from a user along with one or more job attributes, wherein at least one job attribute indicates a local language of the user. Then, the local language is identified from the at least one job attribute. One or more job specific user interfaces are identified. Based on the identified local language of the user, the identified one or more job specific user interfaces are translated in the local language of the user and stored. After this, an input from the user is received. Based on the input, at least one translated job specific user interface is displayed in the local language of the user.

Abstract: In some examples, a first device of a first buyer may receive a selection of a first item offered by a selected merchant. The first device may determine whether any second devices are within a threshold distance of the first device. Based on a second device being within the threshold distance, the first device may send, to the second device, a communication for creating a combined order. Receipt of the communication may cause the second device to present, to a second buyer, an interface for creating a combined order. The second buyer may use the second device to select a second item to order from the merchant. At least one of the first device or the second device may send combined order information to a service computing device, which may send the combined order to the merchant and schedule a courier to deliver the ordered items to the buyers.

Abstract: Compounds of formula A-I and B-I, compositions comprising the compounds, methods of making the compounds and methods of their uses are disclosed.

Abstract: A print device has a port, a print engine, a processing device and a memory. The print device is configured to detect that a portable memory device has become communicatively connected to the port, retrieve a digital document file to be printed and a print instruction from the portable memory device, determine that a first print job is being performed in the print device, suspend the first print job, determine a second print job derived from the digital document file, and automatically perform the second print job based on the print instruction. The print device further detects that the second print job has been completed or interrupted, and automatically resumes the first print job. If the second print job is directed to the same output tray as the first print job, the print device may also print a separator sheet to the output tray before performing the second print job.

Abstract: A print device that has a port, a print engine, a processing device and a memory. The print device is configured to detect that a portable memory device has become communicatively connected to the port, retrieve a digital document file to be printed and a print instruction from the portable memory device, determine that a first print job is being performed in the print device, determine a priority for the first print job and a priority for a second print job derived from the digital document file, and determine that the priority of the first print job is lower than that of the second print job. The print device is also configured to suspend performance of the first print job, automatically perform the second print job based on the print instruction, detect that the second print job has been completed or interrupted, and automatically resume the first print job.

Abstract: A coded signal (356, 361, 362, 363) is received via a physical link (151) and decoded (322, 323, 324). A link loss of the physical link (151) is detected based on at least one of the coded signal (356, 361, 362, 363) and said decoding (322, 323, 324).

Abstract: A method for performing an action in an electronic device is provided. The method includes detecting a gesture performed on a first edge and a second edge of the electronic device. Further, the method includes computing a length of a movement of the gesture, and performing an action corresponding to an item in the electronic device based on the length of the movement.

Abstract: A method and architecture to write data between a source and destination by memory mapped writes or streaming packets between any of a host, a peripheral or a sub-peripheral device. A stream address is used to write the data to a memory of the destination without the source being aware of physical addresses of destination memory, i.e., memory descriptors or pointers are not used, allowing the destination to manage its own memory. The stream address may enable streaming data packets over interconnects that may not allow packet streaming by dividing a data packet into data chunks and including a stream address for each chunk. The stream address for a given packet includes a repeated first portion indicating the destination and a varied second portion indicating variable information for each data chunk such as start of packet (SoP) and end of packet (EoP) identifiers.

Abstract: The present invention discloses a process for the dissociation of natural gas hydrates comprises injecting additives or hydrate dissociation promoters into the system at the hydrate dissociation temperatures ranging from 283-293 K in conjunction with or without first depressurizing the system to pressures (50%-75%) below the hydrate equilibrium pressure and such leading to the recovery of methane or natural gases.

Abstract: A print device has a port, a print engine, a processing device and a memory. The print device is configured to detect that a portable memory device has become communicatively connected to the port, retrieve a digital document file to be printed and a print instruction from the portable memory device, determine that a first print job is being performed in the print device, suspend the first print job, determine a second print job derived from the digital document file, and automatically perform the second print job based on the print instruction. The print device further detects that the second print job has been completed or interrupted, and automatically resumes the first print job. If the second print job is directed to the same output tray as the first print job, the print device may also print a separator sheet to the output tray before performing the second print job.

Abstract: A print device that has a port, a print engine, a processing device and a memory. The print device is configured to detect that a portable memory device has become communicatively connected to the port, retrieve a digital document file to be printed and a print instruction from the portable memory device, determine that a first print job is being performed in the print device, determine a priority for the first print job and a priority for a second print job derived from the digital document file, and determine that the priority of the first print job is lower than that of the second print job. The print device is also configured to suspend performance of the first print job, automatically perform the second print job based on the print instruction, detect that the second print job has been completed or interrupted, and automatically resume the first print job.

Abstract: A scanning device for automatically scanning and processing a document includes a port for communicating with a portable memory device, an image sensor, a processing device, and a non-transitory computer-readable storage medium. The processing device is configured to detect a trigger event by detecting that the portable memory device is communicatively coupled to the port, automatically determine a scan instruction having at least one scan setting, determine whether the portable memory device includes one or more security instructions, determine whether biometric information associated with an authenticated user is available, identify the biometric information as a secure access token, automatically cause the image sensor to scan a physical document to generate a digital document file corresponding to the physical document based on the scan instruction, and save the digital document file to the portable memory device with the secure access token.

Abstract: Approaches provide for using voice information to influence the importance of search result categories for a search query. For example, various embodiments may provide search results for a search query based on a most relevant search result category to the search query. Voice information associated with a subsequent user interaction may be analyzed to identify whether the search result category is correct or if search results from a different category should be provided. Additionally, the voice information may be used to update the relevance score of the search result category to the search query to improve the category matching of future queries.

Abstract: A scanning device for automatically scanning and processing a document includes at least a port for communicating with a portable memory device, an image sensor and a processing device. The scanning device may detect a trigger event by detecting that the portable memory device is communicatively coupled to the port. The scanning device may automatically determine a scan instruction, automatically cause the image sensor to scan a physical document based on the scan instruction, determine a secure access token, and save the digital document file to the portable memory device with the secure access token. The secure access token may be an encryption key that is associated with a log-in password of an authenticated user of the scanning device. The scanning device may obtain the encryption key from a storage medium of the scanning device or from a network.

Abstract: The disclosure discloses methods and systems for localizing a user interface based on a personal device of a user. The method includes receiving a personal device by a multi-function device, the personal device stores one or more documents, the personal device is associated with a name and each document is associated with a name, wherein the name of the personal device and the name of each document indicate a local language of the user. Upon receiving, the personal device is detected by the multi-function device. Then, the name of the personal device and the name of each document are extracted and compared with one or more pre-stored language patterns to detect the local language of the user. Upon detection, the pre-defined language of the user interface is automatically changed to the local language of the user.

Abstract: The present disclosure discloses methods and systems for localizing a user interface of a multi-function device, based on a personal storage device of a user connected to the multi-function device, wherein the multi-function device presents a user interface in a pre-defined language. The method includes receiving the personal storage device by the multi-function device, the personal storage device includes a pre-defined setting, the pre-defined setting indicates a local language of the user. Upon receiving, the personal storage device is detected by the multi-function device. The local language of the user is detected based on the pre-defined setting stored in the personal storage device of the user. Upon detection, the pre-defined language of the user interface is automatically changed to the local language of the user.

Abstract: Item-level information of a particular item may be processed to categorize the particular item. In some instances, the particular item may be ranked across multiple merchants that are offering the particular item for acquisition. The ranking may be based on the item-level information that relates to an attribute of the particular item for the individual merchants. For example, the item-level information may include a cost of the particular item at a merchant, a rating of the particular item for a merchant, a number of calories of the particular item for a merchant, and so on. Information regarding the ranking may be displayed or otherwise output to enable the user to identify and order the particular item from a merchant that satisfies the user's needs.