Abstract: Various embodiments provide for determining redundant logic in a circuit design based on one or more enable conditions of clock gates, which can be part of electronic design automation (EDA). In particular, some embodiments use one or more enable conditions (of the clock gates) with a satisfiability solver to determine redundant logic coupled to clock circuit elements gated by the clock gates.

Abstract: Systems, methods, and apparatuses for providing dynamic, prioritized spectrum utilization management. The system includes at least one monitoring sensor, at least one data analysis engine, at least one application, a semantic engine, a programmable rules and policy editor, a tip and cue server, and/or a control panel. The tip and cue server is operable utilize the environmental awareness from the data processed by the at least one data analysis engine in combination with additional information to create actionable data.

Abstract: A method of controlling a wearable tap detection system having a processor and a plurality of sensors for detecting contact by one or more fingers against a surface, including at least one mechanical sensor, includes detecting, as a tap event, a signal from the at least one mechanical sensor that exceeds a predetermined threshold. When the tap event is detected, the processor is switched from a first power mode to a second power mode, the second power mode using more power than the first power mode. Then, using the processor in the second power mode, processing of one or more signals from the plurality of sensors is performed to generate processed signal data. After the processed signal data is generated, the processor is switched from the second power mode to the first power mode.

Abstract: A satellite television antenna system can include a self-pointing satellite antenna and a power inserter coupled to the self-pointing satellite antenna. The power inserter can include an enclosure body and a circuit board disposed inside of the enclosure body. The circuit board includes a microprocessor. The microprocessor can be configured via software code to determine whether a first type of communication protocol is being received from a set top box (STB) coupled to the power inserter, determine a configuration for a first constellation of spacecraft if the first type of communication protocol is being received from the STB, and determine a configuration for a second constellation of spacecraft if the first type of communication protocol is not being received from the STB. The first constellation of spacecraft is different than the second constellation of spacecraft.

Abstract: A computer system is provided. The computer system includes a memory and a processor operably coupled to the memory. The processor is configured to receive a set of rules for generating a workflow that chains one or more tasks associated with one or more applications into the workflow; receive an indication of a task to be completed; generate a task-based workflow for the task to be completed based upon the set of rules, wherein the task-based workflow provides a user with an indication of a task to be completed and which of the one or more applications to use to complete the task; monitor interaction between the user and the task-based workflow; update the task-based workflow to indicate one or more completed tasks based upon the monitored interaction to create an updated workflow; and provide an indication of the updated workflow to the user.

Abstract: Disclosed herein are systems and methods for estimating target ranges, angles of arrival, and speed using optimization procedures. Target ranges are estimated by performing an optimization procedure to obtain a denoised signal, performing a correlation of a transmitted waveform and the denoised signal, and using a result of the correlation to determine an estimate of a distance between the sensor and at least one target. Target angles of arrival are estimated by determining ranges at which targets are located, and, for each range, constructing an array signal from samples of received echo signals, and using the array signal, performing another optimization procedure to estimate a respective angle of arrival for each target of the at least one target. Doppler shifts may also be estimated using another optimization procedure. Certain of the optimization procedures use atomic norm techniques.

Abstract: An apparatus in a radiation therapy system includes: a base configured to support a first quality assurance phantom at a first position and a second quality assurance phantom at a second position; and at least one coupling element. The at least one coupling element is configured to: mate with at least one indexing feature of a first patient treatment couch of the radiation therapy system; and fix a position of the base relative to the first patient treatment couch.

Abstract: A method of providing a convertible packaging having a storage configuration and a display configuration is described herein. The package is made from a package blank having panels adhesively engaged together to form the package. The assembled package having an interior defined by a plurality of walls. The bottom and/or two opposing walls of the package have a pattern of discrete material depositions adhesively deposited thereon. The depositions each have a height as measured from the wall that they are mounted upon. The presence and height of the opposing depositions providing a mechanical engagement surface against which an adjacent product container is biased or held against, to prevent the product container from falling forward or out of the package when the package is in the display configuration, even as individual product containers are removed from the package by customers.

Abstract: Embodiments of the present disclosure relate to an apparatus, a system and a process for regulating a wellhead control mechanism. The apparatus is configured to control actuation of a wellhead control mechanism by moving a moveable body of the apparatus between a first position and a second position. When the apparatus is in the first position a valve actuator is actuatable and when the apparatus is in the second position the valve actuator is physically interfered from actuating. When the apparatus is in the second position, the wellhead control mechanism cannot be actuated and is held in either an open, a partially open or a closed position. Other embodiments of the present disclosure relate to a system that directly controls actuation of a wellhead actuation mechanism.

Abstract: In a gear skiving process method, a tooth-cutting process is performed on a surface to be cut of a workpiece using a first skiving cutter disposed at a first processing position on the surface to be cut and a second skiving cutter disposed at a second processing position set apart by 180° in a circumferential direction from the first processing position. Parts that are to be right tooth flanks of internal teeth to be created in the surface to be cut of the workpiece are cut mainly by the first skiving cutter. Additionally, parts that are to be left tooth flanks are cut mainly by the second skiving cutter. Conditions of the processing performed using the first and second skiving cutters can be controlled individually and teeth having a shape in which the left and right tooth flanks are different can be processed efficiently.

Abstract: A system and method are provided herein for determining a characteristic of a guided wave traveling in a structure. The method includes comparing theoretical dispersion curves for the structure and a wavelet transform image of the guided wave to identify a match, which in an embodiment is a cross-correlation. In an exemplary embodiment, the wavelet transform image is a three-dimensional image, and the theoretical dispersion curves are calculated using Lamb mode theory or finite element analysis.

Abstract: In some aspects, a ground detection system may measure a difference from a tie point of the ungrounded electrical system and a ground point to determine if a grounded condition exists. The ground detection system may measure a plurality of signals at a plurality of distributed overload protection devices. The ground detection system may compare the plurality of signals from each of the plurality of distributed overload protection devices to stored threshold values. The ground detection system may determine a location of the grounded condition based at least in part on the comparing the plurality of signals from each of the plurality of distributed overload protection devices to the stored threshold values. In various embodiments, the location can be based on a length and an impedance of electrical circuit wiring. The ground detection system may display the location of the grounded condition on a display. Numerous other aspects are described.

Abstract: A data processing system is presented that is configured as a server in a client-server configuration for executing applications that a client in the client-server configuration can offload as execution tasks for execution on the server. The data processing system includes a reconfigurable processor, a storage device that stores configuration files for the applications, and a host processor that is coupled to the storage device and to the reconfigurable processor. The host processor is configured to receive an execution task of the execution tasks with an identifier of an application from the client, retrieve a configuration file that is associated with the application from the storage device using the identifier of the application, configure the reconfigurable processor with the configuration file, and start execution of the application on the reconfigurable processor, whereby the reconfigurable processor provides output data of the execution of the application to the client.

Abstract: Systems, methods, and non-transitory computer-readable media can obtain a stream of audio waveform data that represents speech involving a plurality of speakers. As the stream of audio waveform data is obtained, a plurality of audio chunks can be determined. An audio chunk can be associated with one or more identity embeddings. The stream of audio waveform data can be segmented into a plurality of segments based on the plurality of audio chunks and respective identity embeddings associated with the plurality of audio chunks. A segment can be associated with a speaker included in the plurality of speakers. Information describing the plurality of segments associated with the stream of audio waveform data can be provided.

Abstract: A compressed gas storage system that includes a pressure vessel. The pressure vessel includes a first vessel portion and a second vessel portion in fluid communication with the first vessel portion. The pressure vessel includes a third vessel portion in fluid communication with the second vessel portion. The compressed gas storage system includes a first valve positioned between the first vessel portion and the second vessel portion and a second valve positioned between the second vessel portion and the third vessel portion. The first valve allows and impedes fluid flow between the first and the second vessel portions. The second valve allows and impedes fluid flow between the second and the third vessel portions.

Abstract: Systems and methods for enhancing or affecting neural stimulation efficiency and/or efficacy are disclosed. In one embodiment, a system and/or method may apply electromagnetic stimulation to a patient's nervous system over a first time domain according to a first set of stimulation parameters, and over a second time domain according to a second set of stimulation parameters. The first and second time domains may be sequential, simultaneous, or nested. Stimulation parameters may vary in accordance with one or more types of duty cycle, amplitude, pulse repetition frequency, pulse width, spatiotemporal, and/or polarity variations. Stimulation may be applied at subthreshold, threshold, and/or suprathreshold levels in one or more periodic, aperiodic (e.g., chaotic), and/or pseudo-random manners. In some embodiments stimulation may comprise a burst pattern having an interburst frequency corresponding to an intrinsic brainwave frequency, and regular and/or varying intraburst stimulation parameters.

Abstract: Provided herein are compositions and methods for reducing bacterial contamination during cell culture. Such compositions and methods utilize engineered peptides or recombinant cells capable of secreting such peptides into culture medium. Also provided are methods of using the engineered peptides for inhibiting bacterial growth during culturing of cells.

Abstract: Apparatus and methods for identifying a wireless signal-emitting device are disclosed. The apparatus is configured to sense and measure wireless communication signals from signal-emitting devices in a spectrum. The apparatus is operable to automatically detect a signal of interest from the wireless signal-emitting device and create a signal profile of the signal of interest; compare the signal profile with stored device signal profiles for identification of the wireless signal-emitting device; and calculate signal degradation data for the signal of interest based on information associated with the signal of interest in a static database including noise figure parameters of a wireless signal-emitting device outputting the signal of interest. The signal profile of the signal of interest, profile comparison result, and signal degradation data are stored in the apparatus.

Abstract: Disclosed herein are radiotherapy methods and systems that can display a workflow-oriented graphical user interface(s). In an embodiment, a method comprises presenting, by a server, a graphical user interface for display on a screen positioned on a gantry of a radiotherapy machine, wherein the graphical user interface comprises a page corresponding to a radiotherapy treatment of a patient, wherein the page comprises a first graphical element indicating at least one attribute of alignment data corresponding to the radiotherapy treatment of the patient.

Abstract: Systems described herein may dynamically add one or more proxy data protection agents to a cloud data storage system to process a data protection job. Upon completion of the job or at some other appropriate interval, the system can power down and decommission the proxy data protection agents and/or the virtual machines on which the data protection proxies reside according to a cleanup schedule (e.g., at hourly or minute intervals). In order to improve the allocation of computing resources, the system takes into account currently existing proxies or virtual machines when processing a backup request to determine the need for new proxies to service the backup request. In this manner the system can save costs and computing resources through efficient virtual machine deployment and retirement.