Abstract: A logic verification program, method and system provide an efficient behavior when verifying large logic designs. The logic is partitioned by cut-nodes that dominate two or more RANDOMS and a check is performed for a given cut-node to determine whether any of the dominated RANDOMS can be merged to a constant by performing satisfiability checks with each RANDOM merged to a constant, to determine whether a range of output values for the given cut-node has been reduced by merging the RANDOM. If the range is not reduced, the RANDOM can be added to the set of merge-able RANDOMS along with the corresponding constant value. If the range has been reduced, the opposite constant value is tried for a node and if the range is reduced for both constants, then the cut-node is abandoned for merging that dominated RANDOM and the next dominated RANDOM is tried.

Abstract: A logic verification program, method and system provide an efficient behavior when verifying large logic designs. The logic is partitioned by cut-nodes that dominate two or more RANDOMS and a check is performed for a given cut-node to determine whether any of the dominated RANDOMS can be merged to a constant by performing satisfiability checks with each RANDOM merged to a constant, to determine whether a range of output values for the given cut-node has been reduced by merging the RANDOM. If the range is not reduced, the RANDOM can be added to the set of merge-able RANDOMS along with the corresponding constant value. If the range has been reduced, the opposite constant value is tried for a node and if the range is reduced for both constants, then the cut-node is abandoned for merging that dominated RANDOM and the next dominated RANDOM is tried.

Abstract: A method and apparatus for capturing images with a high degree of movements in a captured scene are provided. The method includes receiving, by an image sensor, a sequence of images including a plurality of RGB image frames and color event data, generating a plurality of pseudo color filter array (CFA) frames based on the color event data, and generating dynamic images by combining the plurality of RGB image frames and the plurality of pseudo CFA frames.

Abstract: This disclosure provides systems, methods, and apparatus, including computer programs encoded on computer-readable media, for analyzing management frames for multiple basic service sets (BSSs). In one aspect, a wireless node may obtain a first management frame from a wireless local area network (WLAN) apparatus, the WLAN apparatus operating multiple virtual access points (VAPs) respectively corresponding to multiple BSSs. The wireless node may determine whether the first management frame includes a BSS profile of a BSS associated with the wireless node based, at least in part, on an arrangement of a plurality of BSS profiles within one or more management frames. The wireless node may determine to further process the first management frame based, at least in part, on a determination that the first management frame includes the BSS profile of the BSS associated with the wireless node.

Abstract: A USB device, and methods of forming same, are disclosed. The USB device includes a semiconductor device such as a SIP module and a housing injection molded around the semiconductor device.

Abstract: In one embodiment, a method includes accessing a notification to be sent to a user, where the notification has a context. The method also includes sending a request to a history service for historical notification data associated with the user with respect to the context of the notification and a ranking of the notification where the ranking indicates a probability of the user interacting with the notification. The method also includes receiving the historical notification data and the ranking from the history service. Moreover, the method also includes determining a delivery policy to apply to the notification based at least in part on the context of the notification, the historical notification data, and the ranking. Furthermore, the method also includes applying the delivery policy to the notification to be sent to the user.

Abstract: In one embodiment, a method includes one or more computing devices accessing a notification to be sent to a user, where the notification has a context. The method also includes one or more computing devices sending a request to a history service for historical notification data associated with the user with respect to the context of the notification and a ranking of the notification where the ranking indicates a probability of the user interacting with the notification. The method also includes one or more computing devices receiving the historical notification data and the ranking from the history service. Moreover, the method also includes one or more computing devices determining a notification policy to apply to the notification based at least in part on the context of the notification, the historical notification data, and the ranking. Furthermore, the method also includes one or more computing devices applying the notification policy to the notification to be sent to the user.

Abstract: A method for compensation network design in a power converter design system is provided that includes computing optimal values for compensation components in a compensation network based on a plurality of loop specifications comprising crossover frequency (Fco), phase margin (PM), Gain Margin (GM), and low frequency gain (LFG), and applying changes to a power converter design comprising the compensation network based on the optimal values.

Abstract: A process for the production of concentrated aqueous solutions of hydrazine hydrate includes preparation of hydrazine hydrate by a ketazine method using 50-70% hydrogen peroxide, recyclable solid acetamide and ammonium acetate activator for ketazine formation, and catalyst-free hydrolysis of ketazine to provide aqueous solutions of hydrazine hydrate in an energy efficient manner.

Abstract: A method of identifying substantially similar data fields may include accessing a first/second text strings, performing an approximate string-matching algorithm that generates a first score, and comparing the first score to a first threshold. The method also includes performing an exact string-matching algorithm that generates a second score and comparing the second score to a second threshold. The method further includes generating a third score by combining a weighted first score with a weighted second score and comparing the third score to a third threshold. The method also includes determining whether the first text string is substantially similar to the second text string based on the three score comparisons.

Abstract: The present invention relates to synergistic antimicrobial compositions comprising quaternary ammonium compound and antimicrobial active, process of preparing the same and their use. The compositions of the present invention possess activity at lower concentration of the actives and are environmentally benign.

Abstract: This invention relates to biodegradable implants comprising a hydrogel carrier matrix having dispersed therein a multitude of particles, wherein each of the multitude of particles and/or the hydrogel carrier matrix includes an active pharmaceutical ingredient (API) for the treatment of transected peripheral nerve injuries. Each of the multitude of particles and/or the hydrogel carrier matrix includes pristine polymer particles, preferably the pristine polymer particles may be polymethylmethacrylate polymers and derivatives thereof, preferably poly(methacrylic-co-methyl methacrylate) (PMMA). The spheroidal particles may each be formed from an outer shell including a chitosan (CHT) poly(methacrylic-co-methyl methacrylate) (PMMA) polyelectrolyte complex (CHT-PMMA-PEC) and an inner core including crosslinked chitosan having dispersed therein PMMA nanoparticles.

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 invention provides a universal semiconductor switch. The universal semiconductor switch includes a switching arrangement having an input and an output, at least one trigger circuit operably coupled to the switching arrangement and a noise immunity circuit coupled to the trigger circuit.

Abstract: A semiconductor device for a USB Type-C cable includes a first terminal to couple to a first VCONN line from a first end of the cable, a second terminal to couple to a second VCONN line from the second end of the cable, a charge pump, and a switch circuit coupled to the first terminal and the second terminal. The switch circuit includes a first drain-extended n-type field effect transistor (DENFET) coupled between the first terminal and an internal power supply of the semiconductor device; a first pump switch coupled between the charge pump and a gate of the first DENFET; a second DENFET coupled between the second terminal and the internal power supply; and a second pump switch coupled between the charge pump and a gate of the second DENFET.

Abstract: Certain aspects relate to methods, apparatuses, computer readable mediums and access terminals that effectively (1) detect leaky or rogue access points and (2) take one or more actions based on such detection.

Abstract: Certain aspects relate to methods, apparatuses, computer readable mediums and access terminals that effectively (1) detect leaky or rogue access points and (2) take one or more actions based on such detection.

Abstract: In one embodiment, a method includes one or more computing devices accessing a notification to be sent to a user, where the notification has a context. The method also includes one or more computing devices sending a request to a history service for historical notification data associated with the user with respect to the context of the notification and a ranking of the notification where the ranking indicates a probability of the user interacting with the notification. The method also includes one or more computing devices receiving the historical notification data and the ranking from the history service. Moreover, the method also includes one or more computing devices determining a delivery policy to apply to the notification based at least in part on the context of the notification, the historical notification data, and the ranking. Furthermore, the method also includes one or more computing devices applying the delivery policy to the notification to be sent to the user.

Abstract: In a particular aspect, a method includes performing a first communication operation associated with a first frequency band using an antenna of a wireless device. The first communication operation is initiated by first communication circuitry of the wireless device. The first communication circuitry is associated with a first communication protocol. The method further includes, based on a duration of a second communication operation, performing the second communication operation associated with a second frequency band using the antenna of the wireless device. The second communication operation is initiated by second communication circuitry of the wireless device. The second communication circuitry is associated with a second communication protocol that is different than the first communication protocol. The first frequency band at least partially overlaps the second frequency band.

Abstract: A user interface control format of one or more user interface controls of a user interface area can be adapted to fit a current contextual user interface activity state in a computer system. The adapting of the format can produce a user interface adaptation instruction that indicates the adapted format. The adapting of the format can use data representing the current contextual user interface activity state in the computer system. Also, the current contextual user interface activity state can be a state other than a state of a displaying computer application. The user interface adaptation instruction can be used in generating the user interface area with the adapted format indicated in the user interface adaptation instruction. The user interface area can be presented with the adapted format on the computer display for the displaying computer application in the computer system.