Abstract: According to one embodiment, a system receives an intermediate result generated by a compiler based on source code, where the intermediate result includes one or more vulnerability indicators indicating one or more lines of the source code being potentially vulnerable. The system performs a grey box fuzzing on a first executable code generated from the intermediate result to generate a first set of seed inputs. The system calculates a vulnerability score for each of the seed inputs of the first set based on the vulnerability indicators for the lines of the source code reachable but has not been explored by the grey box fuzzing. The system selects one of the seed inputs in the first set having a highest vulnerability score. The system performs a concolic execution using the selected seed input as priority, the concolic execution being performed on a second executable code generated from the intermediate result.

Abstract: This document describes techniques and systems that enable a radar system facilitating ease and accuracy of user interactions with a user interface. The techniques and systems can be implemented in an electronic device, such as a smartphone, and use a radar field to accurately determine three-dimensional (3D) gestures that can be used in combination with other inputs, such as touch or voice inputs, to interact with the user interface. These techniques allow the user to make 3D gestures from a distance and enable seamless integration of touch and voice commands with 3D gestures to improve functionality and user enjoyment.

Abstract: An on-vehicle radar system is described, and includes a phased array antenna including a plurality of transmit antennas, and a corresponding plurality of transmitters, wherein each of the transmitters is in communication with a respective one of the transmit antennas. A controller is operatively connected to each of the plurality of transmitters. The controller includes an instruction set that is executable to generate a plurality of Non-Linear Frequency Modulated (NLFM) radar signals corresponding to individual ones of the plurality of transmitters. Each of the NLFM radar signals that is generated for a respective one of the transmitters is determined based upon a desired beam steering angle and a position of the respective one of the transmit antennas of the phased array antenna.

Abstract: The present disclosure describes grommets formed of a polymeric material and adapted for holding a plurality of discrete cables. The grommet comprises a main body having a generally c-shaped outer profile surrounding an interior cavity, the main body further having a length, thickness, and a longitudinal axis extending between two ends, a plurality of cable holding members integrally coupled to the main body and extending radially inward from the main body, the cable holding members defining a plurality of receptacles located within the interior cavity of the main body, and a plurality of flex retention sections coupled to the cable holding members and located within each receptacle, wherein the flex retention sections are adapted for gripping a cable.

Abstract: A lumber culling system may include a carriage with a distal wall and a proximal wall spaced apart from one another to form an interior of the carriage. An aperture may extend through the distal wall and the proximal wall. The aperture is sized and shaped to allow a board of wood to pass through the distal wall and the proximal wall. Further, the interior of the carriage is visible within the aperture. Imaging equipment may be disposed within the interior of the carriage and arranged to scan a portion of each side of the board of wood that is positioned within the aperture. The carriage may be moved along a length of the board of wood while the board of wood is at rest on static datum supports.

Abstract: The disclosed embodiments provide a system for processing data. During operation, the system obtains a first assessment result related to a first qualification of a candidate. Next, the system filters a set of opportunities based on a first comparison of the first assessment result with qualifications for the opportunities to produce a first subset of opportunities. The system then selects a second qualification associated with some or all of the first subset of opportunities to assess for the candidate. The system also filters the first subset of opportunities based on a second comparison of a second assessment result related to the second qualification of the candidate with additional qualifications for the first subset of opportunities to produce a second subset of opportunities. Finally, the system outputs recommendations related to applying to the second subset of opportunities by the candidate.

Abstract: A mobile radiation oncology coach system is disclosed. The mobile radiation oncology coach system comprise a trailer having a control console area and a treatment area, the treatment area is equipped with a medical treatment facility. The mobile radiation oncology coach system further comprise an internal shielding provided between the control console area and the treatment area. The mobile radiation oncology coach system further comprise an external shielding provided at the outside of the trailer.

Abstract: A formulation dispensing device can include a cartridge receptacle to accommodate and/or secure a beverage ingredient cartridge and permit contents within the cartridge to flow into a bottle or beverage container. Additionally, a formulation dispensing device can include a drink through valve that can permit mixed contents from a beverage container to flow through the drink through valve and be consumed. For example, the formulation dispensing device can include ingredients that can be added to a range of different drinks, including sports drinks, dietary drinks, and as a critical life supporting drinks in humanitarian situations. The formulation dispensing device can also include a lid configured to pivot between open and closed positions and can seal the dispensing device which allows the beverage container to be inverted during consumption without leakage through the first aperture.

Abstract: A video coding system in which video images of a video bitstream are rescaled prior to encoding, and again at the decoder upon reception. When encoding a given video frame, the video encoder deduces a level of resampling to apply to a reference frame in order to properly predict blocks in the given video frame or the full given video frame, and carries out one or more predictions by first applying a resampling process on the reference frame data at the deduced level. To decode the given video frame of the bitstream, a video decoder compares a size of the given video frame to sizes of a reference frame to determine a level of resampling for the reference frame data, and carries out predictions to generate predicted data by first applying the determined level of resampling to the reference frame data.

Abstract: Systems and methods related to the computerized synthesis of simulated health data are provided. A computing device can receive a respective data model constructed from protected health information (PHI) hosted by a respective health data provider. The computing device can create a state transition machine from the received data model, where a state of the state transition machine represents a health related event of a synthetic life. The computing device can generate a synthetic health data set for each synthetic person in a synthetic population by calculating one or more health related events for each time step in the synthetic life. The computing device can calculate a similarity score by comparing the generated synthetic health data set to an actual health data set. The computing device can adjust the received data model based on the score falling below a threshold similarity, thereby creating an adjusted data model.

Abstract: An augmented reality device receives beacon signals within a geographical area from beacons that facilitate determining a distance between the device and a respective beacon. The device sends beacon-related signals indicative of the beacon signals to a server, which determines the area of the device. The server determines markers within the area of the device, and sends marker signals and augmented reality content associated with the markers to the device. The device scans the area and outputs content associated with a marker it identifies based on the marker signals. As the device enters subsequent areas, it receives additional beacon signals from additional beacons, sends additional beacon-related signals, and receives additional marker signals and content. If there is insufficient storage space on the device to store the additional marker signals and content, the device deletes previous marker signals and associated content. The device stores the additional marker signals and content.

Abstract: A method and system are provided to support a decentralized distributed ledger in which transactions are recorded by parties to the transactions without the use of a blockchain. A distributed ledger system provides a protocol framework that supports the development of protocol flows. A protocol flow is computer code that controls the performance of a transaction by the party or parties to the transaction. Protocol flows can be developed for different types of transactions. The distributed ledger system allows transactions to be proposed, accepted, and notarized by a notary and stored without the use of a blockchain ledger. The distributed ledger system can avoid the expense of the computational and storage resources needed to redundantly verify a transaction and store evidence on the many nodes of a blockchain distributed ledger.

Abstract: Methods, systems, and apparatuses are provided for measuring a display latency. A video capturing device is configured to capture a video of a reference light flash of a light emitter of a computing device. In the same video, the video capturing device is configured to capture a flash of a predetermined image displayed in a reference frame on a display screen coupled to the computing device. The video is analyzed to determine a time difference between the reference light flash of the light emitter and the flash of the predetermined image on the display screen. The determined time difference is compared with a reference time difference to determine a display latency, and the display latency may be provided to a user. In this manner, a display latency may be determined accurately and with readily available hardware, thus reducing the need to rely on expensive and specialized measuring equipment.

Abstract: A wireless device determines a change in a signal quality measurement of a wireless network. In response to the determining, a first message for changing one or more media for a video call in the wireless network is transmitted from the wireless device to a video application function (AF). A policy and charging rules function (PCRF) receives from the video AF, a DIAMETER AA-request (AAR) command for modifying a quality of service (QoS) of the video call. The PCRF transmits to a policy and charging enforcement function (PCEF), a second message comprising an updated QoS, wherein the updated QoS comprises QoS data bearer modification information based on the change in the signal quality measurement of the wireless network. The PCEF implements the updated QoS for the video call.

Abstract: A method of forming lead halide perovskite crystals in a solvent. The perovskite is form by solution processing of an organic and inorganic precursor in a polar protic solvent.

Abstract: An assembly for a vehicle includes an airbag inflatable to an inflated position. The airbag includes a first panel, a second panel, and an inflation chamber between the first panel and the second panel. The assembly includes an inflation restraint exterior to the inflation chamber. The inflation restraint includes a first end fixed to the first panel and a second end fixed to the second panel. The inflation restraint includes a releasable extension between the first end and the second end. The releasable extension is movable from an unreleased position to a released position as the airbag inflates to the inflated position.

Abstract: Methods and systems for operating an engine that is coupled to a transmission that includes a power take off output are presented. In one non-limiting example, the engine may be operated in a speed control mode and a user may request smoother engine operation or more efficient engine operation via a human/machine interface. The more efficient engine operation may include operating the engine with fewer activated cylinders as compared to operating the engine for smoother engine operation.

Abstract: A computing device includes a processor and memory storing instructions that are executable to determine a median of a first mixture distribution. The instructions are also executable to determine a parent mean, a parent standard deviation, and boundaries for each of multiple segments in the first mixture distribution. The instructions are also executable to determine a segment mean and a segment second moment for each segment based on the parent mean, the parent standard deviation, and the boundaries for the respective segment. The instructions are also executable to determine a scaled probability for each segment. The instructions are also executable to determine a mixture mean and a mixture standard deviation for the first mixture distribution based on the segment mean, the segment second moment, and the scaled probability for each segment in the first mixture distribution.

Abstract: Embodiments of a store label booklet include a plurality of sheets stacked one on top of the other and connected to a binding that spans an entire thickness of the booklet, each sheet including a planar array of store labels. No release coating is used. When each store label or row is removed from the book, a liner strip remains connected to the binder and a portion of the adhesive lying opposite the liner strip is exposed for application of the label to a retail shelf edge. Each store label may differ in orientation, size, or style and may contain different product information. Location information may be located on a binding of the booklet, on the label, or on both the binding and the label. The store labels may be printed in a predetermined order.

Abstract: Techniques for scavenging blocks may include: determining, in accordance with a selected option, a set of candidate upper deck file systems, wherein at least a first of the candidate upper deck file systems has storage allocated from at least one block of a lower deck file system; and performing, in accordance with the selected option, scavenging of the set of candidate upper deck file systems to attempt to free blocks of the lower deck file system. Scavenging may include issuing a request to perform hole punching of a backed free block of the first candidate upper deck file system, wherein the backed free block has first provisioned storage that is associated with a block of the lower deck file system. The selected option may be one of multiple options each specifying a different candidate set of upper deck file systems upon which hole punching is performed when selected.