Abstract: A modular connector including a pair of energizable contacts that facilitate an electrical path which may be de-energized by a switch component.

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 performing formal verification upon at least a portion of the electronic design. Embodiments may further include identifying one or more violations associated with the formal verification and ranking the one or more violations, based upon, at least in part, one or more user-selectable variables. Embodiments may also include displaying, at a graphical user interface, the one or more violations in a ranked order.

Abstract: The present disclosure relates to an apparatus and method for correcting a duty cycle of at least one signal. The apparatus may comprise at least one set of inverters configured to receive the at least one signal and correct the duty cycle of the at least one signal at a correction location of a plurality of correction locations based upon, at least in part, a transmission rate mode of a plurality of transmission rate modes.

Abstract: An apparatus for coupling to an input connection of an electron gun, the input connection having a heater terminal and a cathode terminal, includes: a connector having a first end and a second end; wherein the first end of the connector is configured to attach to a cable; wherein the second end of the connector is configured to connect to the input connection of the electron gun; and wherein the connector comprises an opening configured to receive the heater terminal of the input connection of the electron gun.

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 automatically identifying one or more code coverage points from a netlist of an original model associated with the electronic design. Embodiments may include receiving a property and one or more elements, each of the one or more elements corresponding to one of the one or more code coverage points. Embodiments may further include performing model checking based upon, at least in part, the property and the one or more elements. Embodiments may also include verifying the property and generating an unsatisfiability core based upon, at least in part, the one or more elements.

Abstract: A method and system for creating a transition between a first scene and a second scene on a computer system display, simulating motion. The method includes determining a transformation that maps the first scene into the second scene. Motion between the scenes is simulated by displaying transitional images that include a transitional scene based on a transitional object in the first scene and in the second scene. The rendering of the transitional object evolves according to specified transitional parameters as the transitional images are displayed. A viewer receives a sense of the connectedness of the scenes from the transitional images. Virtual tours of broad areas, such as cityscapes, can be created using inter-scene transitions among a complex network of pairs of scenes.

Abstract: A system and method for determining a presence of a mobile device located in a predetermined detection zone within a vehicle may include a plurality of transmitters located within the vehicle, in which each of the plurality of transmitters is configured to transmit an acoustic signal into an acoustic environment within the vehicle, and in which each of the acoustic signals comprises at least one ultrasonic pulse, a mobile device configured to periodically record sounds in the acoustic environment, and a processor configured to determine that a periodically recorded sound by the mobile device comprises each of the acoustic signals transmitted by the plurality of transmitters, determine a location of the mobile device within the vehicle based on the acoustic signals recorded by the mobile device, and determine that the location of the mobile device matches the predetermined detection zone.

Abstract: Aspects described herein are directed to the redirection of web content from a virtual desktop session on a remote computing device to a client computing device for rendering. A virtual delivery agent on the remote computing device may remote a web browser instance to a receiver on a client computing device. The virtual delivery agent may receive, from the remoted browser instance on client computing device, a uniform resource locator (URL). Based on the URL, the virtual delivery agent on the remote computing device may terminate loading of page content associated with the URL on the remote computing device. The virtual delivery agent may instruct the client computing device to render the page content in an overlaid position corresponding to the remoted web browser instance on the receiver of the client computing device.

Abstract: A technique for inserting form fields into forms displays a cursor superimposed over a background image of a form and dynamically generates candidate shapes of a form field to be inserted. New candidate shapes are generated automatically, based on pixel content of the form under a cursor, as a user moves the cursor over different regions of the form. In response to the user manually selecting one of the candidate shapes, the technique establishes the position, size, and shape of the form field based on the position, size, and shape of the selected candidate shape. The improved technique thus proceeds semi-automatically, generating candidate shapes automatically but based on manual, user-directed cursor positioning and manual selections.

Abstract: Embodiments relate to systems, methods, and computer-readable media to enable design and creation of receiver circuitry. One embodiment is a receiver apparatus comprising a plurality of receiver arrangements, each receiver arrangement having a sampling circuit and a multi-stage differential amplifier connected to the sampling circuit. Each receiver arrangement is configurable via switches between an amplifying mode and an autozero mode. Control circuitry may select output data from receiver arrangements that are not in autozero mode using multiplexer circuitry. In various embodiments, settings for individual receiver arrangements may be set based on decision feedback equalization (DFE).

Abstract: A method for parallel processing of ingress packets destined to a plurality of inline tools is provided. An ingress packet is processed to extract a plurality of packet header fields and to generate a packet identifier. A hash index is generated by hashing information associated with the plurality of packet header fields. A copy of the ingress packet and the packet identifier are stored in a hash table entry using the generated hash index. The ingress packet is simultaneously forwarded to each of the plurality of inline tool devices.

Abstract: Multiple simultaneous calls are controlled. At least one processor is used to display an interface including indicators corresponding to at least two audio presentation devices. Each interface includes call contextual controls which change according to the state of a call. A swap control swaps an active call between the audio presentation devices corresponding to the indicators.

Abstract: Disclosed embodiments describe systems and methods for tunneling packets. A tunnel between a first intermediary device and a second intermediary device is established that encapsulates payload packets of transport layer connections between a client and a server. The first intermediary device identifies, from a first packet of a transport layer connection between the client and the server, packet header information. The first intermediary device populates a destination port and a source port of a header of a second packet to be transmitted via the tunnel. The destination port is populated with a predetermined destination port, and the source port includes a first hash of a tuple of the packet header information of the first packet. The second packet includes the first packet as a payload, and is load balanced across paths to the second intermediary device based on a second hash of the header of the second packet.

Abstract: A system of detecting loading and unloading of mobile containers such as grain carts utilizes two low pass filters to determine whether the contents of the container are changing by subtracting one filter signal from the other, and using the sign of the difference. Weighing performance is improved by utilizing accelerometers to compensate for measurement dynamics and non-level orientation. Failure and degradation of weight sensors is detected by testing sensor half bridges. Loading and unloading weights can be tied to specific vehicles by utilizing RF beacons.

Abstract: A database of high risk locations is formed and high risk causal factors for the high risk locations determined. Driver behavior is monitored at the sites in the database using data collection devices such as electronic logging devices or mobile phones to see if the drivers exhibit the same specific behaviors that are considered contributing factors to specific accident types at risk of occurrence at those sites. Warnings are provided to drivers approaching the specific sites to prompt behavioral changes which may further be monitored by the data collection devices.

Abstract: Disclosed are mutant DNA polymerases having increased 3?-mismatch discrimination relative to a corresponding, unmodified polymerase. The mutant polymerases are useful in a variety of disclosed primer extension methods. Also disclosed are related compositions, including recombinant nucleic acids, vectors, and host cells, which are useful, e.g., for production of the mutant DNA polymerases.

Abstract: Medical push connectors and systems are provided. A medical push connector can include an engagement member operatively coupled to a release member. The engagement member may releasably couple a medical device to the medical push connector. Medical push connector systems may include one or more medical devices and a medical push connector coupled to, or coupleable to, the one or more medical devices.

Abstract: An efficiency autonomous driving strategy which accounts for the propulsion system efficiency and energy consumption during vehicle motion planning function required for autonomous driving. Specifically, a control algorithm calculates the required energy and total efficiency for various possible vehicle path/motion plans being considered by the autonomous driving (AD) controller. Given at least one or more desired vehicle motion plans, the propulsion system selects the vehicle motion path with the highest efficiency and least energy consumption. The control algorithm accounts for the current vehicle motion (speed/acceleration, etc.), and future vehicle motion requirements for a given vehicle path plan. The control algorithm calculates the total vehicle energy required (current time up to future time) for the proposed vehicle motion plans, then recommends the most efficient vehicle motion plan to the AD controller such that total energy consumption is reduced.