Abstract: Generated instruction sequences captured from software interactions may be executed as part of formal verification of a design under test. Software-instructed commands to be performed to configure a design under test formatted according to an interface implemented by the design under test can be obtained. A sequence to perform the software-instructed commands may be generated to configure the design under test in a hardware design and verification language. The sequence may then be executed to perform the software-instructed commands to configure the design under test and then perform formal verification on the configured design under test.

Abstract: Media content may be mastered at a higher quality than is supported on various remote workstations to perform tasks with respect to that content, using transmission channels that do not support data transfer rates for large, high quality media content. A compressed version of this content may be transmitted over a first channel for use with various tasks on a remote workstation. For tasks such as color grading that benefit from this higher quality content, a separate but parallel communication channel is used to transmit a higher-quality version of this content. An uncompressed video stream can be encoded using a lossless codec to retain higher quality data. A high quality video stream can be transmitted over a separate transmission channel, and received to a decoder that can decode this stream to provide a high quality video signal for presentation via a grading monitor or other such high quality presentation device.

Abstract: Enhanced graphical user interfaces for transcription of audio and video messages is disclosed. Audio data may be transcribed, and the transcription may include emphasized words and/or punctuation corresponding to emphasis of user speech. Additionally, the transcription may be translated into a second language. A message spoken by a user depicted in one or more images of video data may also be transcribed and provided to one or more devices.

Abstract: Techniques are described that enable users to configure the mirroring of network traffic sent to or received by computing resources associated with a virtual network of computing resources at a service provider network. The mirrored network traffic can be used for many different purposes including, for example, network traffic content inspection, forensic and threat analysis, network troubleshooting, data loss prevention, and the like. Users can configure such network traffic mirroring without the need to manually install and manage network capture agents or other such processes on each computing resource for which network traffic mirroring is desired. Users can cause mirrored network traffic to be stored at a storage service in the form of packet capture (or “pcap”) files, which can be used by any number of available out-of-band security and monitoring appliances including other user-specific monitoring tools and/or other services of the service provider network.

Abstract: Systems and techniques for validation and generation of localized content for audio and video are described herein. The systems and techniques provide for training of twin neural networks to evaluate performance characteristics, sometimes referred to as content-auxiliary characteristics, of a localized performance. The localized performance may be validated or improved by identifying misalignment in the performance characteristics to ensure that localized content preserves content as well as creative intent and performance ability in the final product. The machine learning models trained using the techniques described herein may be used in connection with auto-localization processes to automatically generate high quality localized audio and video content.

Abstract: Real-time audio enhancement for a target speaker may be performed. An embedding of a sample of speaker audio is created using a trained neural network that performs voice identification. The embedding is then concatenated with the input features of a trained machine learning model for audio enhancement. The audio enhancement model can recognize and enhance a target speaker's speech in a real-time implementation, as the embedding is in the same feature space of the audio enhancement model.

Abstract: Techniques are described herein for generating a semantically related search query that differs by at least one lexical token from document data provided as input. A machine-learning model may be trained using supervised and/or deep learning algorithms and a training data set including historical queries and the document data identified as being semantically related to those queries. The semantically-related search query may be associated with the document and utilized in subsequent searches to match the document to a subsequent query based on identifying a lexical match between the subsequent search query and the semantically-related search query associated with the document. These techniques enable semantically related search queries to be assigned offline but utilized to identify semantically related documents using lexical matching techniques.

Abstract: Systems and methods for processing a DNS query to identify and implement pre-processing information by a DNS server component in anticipation of a corresponding content request from a client computing device are provided. The pre-processing information can correspond to identification of content to be preloaded or other actions to be implemented by one or more computing devices in association with an anticipated client content request. Based on identification of the content or future actions, a DNS server component can provide the pre-processing information to one or more computing devices, such as computing devices of a CDN service provider and/or an original content provider, in advance of a corresponding request for content from the client computing device in order to improve performance associated with responding to the client request.

Abstract: Techniques for cooperative timing alignment using synchronization pulses are described. The techniques can include generating, at an integrated circuit device, a timing signal, controlling a local count value based on the timing signal, monitoring a synchronization signal of a system comprising the integrated circuit device, detecting a synchronization pulse in the synchronization signal, and aligning the local count value with an implied count value associated with the synchronization pulse in order to align the local count value with those of other integrated circuit devices of the system.

Abstract: Systems, devices, and methods are described herein for improving object detection frameworks. Proposed regions can be used to identify similar images from a novel image set. Once identified, a weighted average of the feature representations of the similar images and/or a probability distribution of the classification labels for those images can be generated. The weighted average of the feature representations and/or the probability distribution can be used to steer the predicted classification confidence and/or predicted bounding box coordinates of the object detection framework. The disclosed techniques can be easily integrated with the object detect framework to improve the accuracy of its predictions without adding additional trainable parameters so as to refrain from adding complexity to the learning process.

Abstract: During text-to-speech processing, a speech model creates output audio data, including speech, that corresponds to input text data that includes a representation of the speech. A spectrogram estimator estimates a frequency spectrogram of the speech; the corresponding frequency-spectrogram data is used to condition the speech model. A plurality of acoustic features corresponding to different segments of the input text data, such as phonemes, syllable-level features, and/or word-level features, may be separately encoded into context vectors; the spectrogram estimator uses these separate context vectors to create the frequency spectrogram.

Abstract: A fault tolerant quantum computer is implemented using hybrid acoustic-electric qubits or electromagnetic qubits, as a few examples. A control circuit includes symmetrically arranged asymmetrically threaded superconducting quantum interference devices (ATSs) that excite phonons in a resonator by driving a storage mode of the resonator and dissipate phonons from the resonator via an open transmission line coupled to the control circuit, wherein the open transmission line is configured to absorb photons from a dump mode of the control circuit. The symmetric ATSs are arranged such that undesirable terms in respective Hamiltonians for the ATSs individually, cancel each other out when combined in the symmetric configuration.

Abstract: Maintaining the security of biometric data is an utmost priority. Biometric data is secured using one or more techniques. With one technique, biometric input such as images of a user's palm is used to generate first primary data (PD). The original biometric input is deleted from temporary secure storage while the first PD is securely stored. The first PD may then be processed later to determine a second PD. The first PD may then be deleted, and the second PD subsequently used. With another technique, biometric input or a PD may be processed by a first model to determine first secondary data (SD) that is representative of features of a particular user within a first embedding space. Later the PD may be processed by a second model to determine a second SD in a second embedding space. The first SD is deleted, and the second SD subsequently used.

Abstract: An object data store may generate metadata responsive to a request that causes a scan of a data object for subsequent use in performing queries to the data object. A request may be received that causes a scan operation of the data object. As part of performing the scan one or multiple types of metadata describing the data object may be generated. The generated metadata may be applied to access the data object and perform a subsequently received query to the data object at the object data store.

Abstract: Devices and techniques are generally described for key-value store having improved support for indexing and querying. The proposed system can expand query functionality by adding compound indexing. In some implementations, compound index may allow multiple simple key-value store queries (e.g., for multiple event types) to be replaced with a single query. In some implementations, compound index may allow for query filtering otherwise unavailable for the key-value store. The system may return results from the compound query in timestamp order and with appropriate pagination. Indexing may be updated dynamically; for example, manually via a self-service portal and/or automatically in response to frequent query combinations. The expanded query functionality can improve the efficiency and usability of, for example, an event timeline system.

Abstract: This disclosure describes a system for fulfilling items at a materials handling facility. In some instances, a predicted items list that identifies items that are likely to be picked by a user are determined and, when the user arrives at the materials handling facility, those predicted items are presented to the user for selection. For example, predicted items may be determined and an inventory holder that holds one or more of those predicted items may be retrieved by a mobile drive unit (such as a Kiva mobile drive unit) and presented to the user at a retrieval area. The user may pick the items they desire from the presented inventory holder.

Abstract: Technologies directed to a hybrid-feed network of a parallel feed network and series-fed sub-arrays are described. The hybrid-feed network includes a parallel feed network and multiple groups of series-fed tiles, each tile including a beamforming integrated circuit (IC) and a set of antenna elements.

Abstract: The present disclosure generally relates to a first network device in a primary region that can failover network traffic into a second network device in a failover region. The first network device can receive routing criteria identifying how traffic originating in the primary region should be routed. The first network device can transmit this routing criteria to the second network device in the failover region. Based on determining the occurrence of a failover event, the first network device may transmit network traffic originating in the primary region to the second network device in the failover region. The second network device can determine how to route the network traffic based on the routing criteria of the primary region. In some embodiments, the second network device can determine how to route the network traffic based on the routing criteria of the failover region.

Abstract: Systems and methods are disclosed for containers having mechanical secured door indicators. In one embodiment, an example container may include a first container wall, a second container wall, a third container wall, and a fourth container wall configured to move from an open position to a closed positon. The fourth container wall may include a first portion coupled to the second container wall, and a second portion coupled to the third container wall, where the first portion and the second portion are coplanar when the fourth container wall is in the closed position. The foldable container may include a bottom container platform having a machine-readable code, and a pivotable arm configured to cover the machine-readable code when the fourth container wall is in the closed position, and to uncover the machine-readable code when the fourth container wall is not in the closed position.