Abstract: A signal processing device is described, with a signal input for receiving an input signal, a first trigger unit generating a trigger signal based upon a first trigger event in the input signal and an acquisition memory for acquiring the input signal at least based upon the trigger signal so as to provide an acquired signal. The signal processing device also comprises a second trigger unit connected to the acquisition memory. The second trigger unit is adapted to process the acquired signal according to a second trigger. The second trigger unit is adapted as a zone trigger unit applying a zone trigger. Further, a method of applying a zone trigger is described.

Abstract: A method can include obtaining a text composition having a first font. The method can further include generating a category identifier that indicates a category of the text composition. The method can further include selecting, in response to generating the category identifier and based on the category identifier, a second font for the text composition. The method can further include initiating, in response to selecting the second font, a display of the text composition in the second font.

Abstract: Systems and methods for formal verification of programs. The systems and methods provide a new game-theoretical, strategy-based compositional semantic model for concurrency, a set of formal linking theorems for composing multithreaded and multicore concurrent layers, and a compiler that supports certified thread-safe compilation and linking. Verification of an overlay interface can include determining an intermediate strategy for a primitive operation running on an underlay interface and refining that intermediate strategy to a strategy running on the overlay interface by applying a vertical and a horizontal composition rule. The refined strategy can then be composed with compatible strategies running on the overlay interface according to a parallel composition rule. Strategies may be compatible when rely conditions imposed by each strategy satisfy guarantees provided by the other strategies. The system and method of formal verification can be applied to formal verification of smart contracts.

Abstract: An immersive video experience can include a path between a plurality of keyframes selected by the filmmaker. A viewer can be given control of the view in the immersive video experience to provide the viewer freedom to look around and explore the scene. To improve user experience, after the user adjusts the perspective of the immersive video to depart from a filmmaker's defined perspective, the perspective can be returned to resume the filmmaker's defined perspective to avoid the viewer missing important parts of the immersive video. Additionally, the user experience can be improved by having the return from the user-adjusted perspective to the filmmaker's defined perspective include a visually pleasing transition that does not require further user input.

Abstract: Embodiments of the present disclosure relates to a display device. According to an embodiment of the disclosure, a display device includes a substrate including a first display region and a second display region surrounding the first display region, a first pixel disposed in the first display region, a second pixel disposed in the second display region, and scan stages which are disposed in the second display region and apply scan signals to the first pixel and the second pixel. The first pixel includes a first pixel driver including a first pixel transistor and a first pixel light-emitting device connected to the first pixel driver. The second pixel includes a second pixel driver including a second pixel transistor and a second pixel light-emitting device connected to the second pixel driver. The second pixel driver is disposed between scan stages adjacent to each other along a first direction.

Abstract: A pressure sensing device includes a pressure signal receiver configured to receive an analog pressure signal from a pressure sensor, a converter configured to convert the analog pressure signal to a digital pressure signal, and a processor configured to convert a pressure value of the digital pressure signal to a bit value corresponding to the pressure value and output the bit value. The processor is configured to convert the pressure value to a first bit value by a first bit resolution in response to the pressure value being included in a first pressure interval, and convert the pressure value to a second bit value by a second bit resolution in response to the pressure value being included in a second pressure interval. The second pressure interval is a pressure interval greater than the first pressure interval, and the first bit resolution is greater than the second bit resolution.

Abstract: A system maps and stores data in digital three-dimensional oscilloscope, wherein an ADC module has four ADC submodules. Four acquired waveform data are sent to an extraction module, and buffered in a FIFO module. When a trigger signal arrives, FIFO module outputs four extracted waveform data to a mapping address calculation module for calculating a mapping address and a RAM serial number for each point data, and the waveform data comparison and control module performs the reading and writing control of the 4×N dual port RAMs. When mapping number reaches a frame number, the RAM array module outputs its waveform probability values to the upper computer module to convert each value into RBG values, and the display module displays the waveforms of input signals of four channels on a screen according the RBG values.

Abstract: This blood pressure/pulse wave measurement device obtains a pulse wave velocity (baPWV) that is an index representing the arterial stiffness of a subject. A lower limb/upper limb blood pressure ratio (ABI) that is an index representing the clogging of the blood vessels of a subject is obtained. When the lower limb/upper limb blood pressure ratio (ABI) of the subject surpasses a preset first threshold value, a point (Px) representing the pulse wave velocity (baPWV) is displayed on a one-dimensional graph (46). When the lower limb/upper limb blood pressure ratio (ABI) of the subject is equal to or less than the preset first threshold value, a point representing the lower limb/upper limb blood pressure ratio (ABI) is displayed on the one-dimensional graph (46) instead of the point representing the pulse wave velocity (baPWV).

Abstract: A method and apparatus for checking an enclosure for leaks. An ultrasonic signal generator on one side of the enclosure emits ultrasonic signals. An array of ultrasonic transducers on the other side of the enclosure received ultrasonic signals from the signal generator through a leak and produces an acoustic image. An optical camera generates an optical image that may be combined with the acoustic image to display the location of a leak in the enclosure. An estimate of the leak size may be calculated and displayed together with the acoustic image.

Abstract: Implementations provide methods including actions of processing patient data to generate one or more graphical representations of the patient data, at least one graphical representation of the one or more graphical representations including a waveform, displaying at least one waveform segment of the waveform, and displaying calipers associated with the at least one waveform segment, each caliper being associated with an interval, where displaying the calipers includes, for each caliper: receiving a measurement value of the interval associated with the caliper, determining respective positions of a first handle and a second handle of the caliper based on the measurement, and displaying the first handle and the second handle in the respective positions relative to the at least one waveform segment.

Abstract: Provided is a display apparatus that is capable of displaying a relationship between sand properties measured as time series. The display apparatus displays (i) a relationship between pieces of measured first sand property data and pieces of measured second sand property data, obtained in a first predetermined period, together with first and second reference ranges set for the first and second sand properties and (ii) a relationship between pieces of measured third sand property data and pieces of measured fourth sand property data, obtained in a second predetermined period, together with third and fourth reference ranges set for the third and fourth sand properties.

Abstract: An implantable medical device capable of sensing cardiac signals and delivering cardiac electrical stimulation therapies is enabled to detect a short circuit event. A signal is sensed by a sensing module coupled to electrodes. A controller detects a short circuit event in response to a slope of the sensed signal exceeding a short circuit threshold.

Abstract: To provide an observation device, an observation method, and a computer-readable medium developed to allow checking of observation data in entirety. An observation device comprises: a data acquisition unit that acquires observation data together with temporal information, the observation data including at least one of an internal behavior signal about a numerical controller for controlling a machine tool, etc., and feed axis control data and spindle control data detected from a motor of the machine tool, etc.; a setting unit that sets a time scale for the observation data acquired by the data acquisition unit; a print data generation unit that generates print data including the observation data represented on the time scale set by the setting unit; and a print data output unit that outputs the print data generated by the print data generation unit to a printer capable of producing a long printed matter.

Abstract: A programmable display includes a display data generator that generates display data for pages corresponding to their page identifier, a display portion that displays a page corresponding to the page identifier on its display screen based on the display data that is generated by the display data generator, and a touch detector that detects touch operations on the display screen of the display portion. The display portion generates display data for displaying the device wave of the device that is specified by the subject device settings based on the chronological data, which is stored in the PLC, when the touch detector detects a predetermined second touch operation on the display screen. The display portion displays a second page or a device wave on the display screen based on the display data that is generated by the display data generator.

Abstract: An electrical measurement device is described with an acquisition unit that is configured to receive an input signal, a post-processing unit, and a visualization unit. The acquisition unit comprises an acquisition trigger unit and an acquisition memory, the acquisition memory being configured to acquire sampled output data and to store the sampled output data by control of the acquisition trigger unit. The post-processing unit comprises a measurement unit that is configured to process at least parts of the sampled output data and to generate processed sampled output data. The post-processing unit further comprises a measurement trigger unit that is configured to evaluate the processed sampled output data in view of a measurement trigger condition, the measurement trigger unit being configured to output a measurement trigger event if the measurement trigger condition is met. The measurement trigger unit is further configured to control the visualization unit.

Abstract: Some embodiments provide a program. The program receives a visualization collection definition specifying a plurality of visualizations. The program further processes a first visualization in the plurality of visualization using a main processing thread. While processing the first visualization, the program also retrieves data for a second visualization in the plurality of visualizations from a computing system using a background processing thread. After the processing of the first visualization is completed, the program further processes the second visualization using the main processing thread.

Abstract: The present invention provides a method for 3D waveform mapping of full-parallel structure, first, a 3D waveform mapping database is created according to the size of a 3D waveform image, the number of bits of probability value and the ADC's resolution of data acquisition module, then the 3D waveform mapping database is divided into Mt×Ma independent mapping storage areas along the time axis and the amplitude axis, and each independent mapping storage area is assigned a RAM, then RAMs are selected and addresses are calculated based on the sampling values and the structure of created 3D waveform mapping database, finally, parallel mappings are performed simultaneously on the time axis and the amplitude axis according to the selected RAMs and calculated addresses. Thus, the mapping time are shorten, especially in vector mapping mode, several RAMs are used for mapping, so the WCR of DSO is improved.

Abstract: Provided are methods, apparatus, and computer-readable medium for processing video data by a video coding system that implements ST 2094-10. Video data can include at least two video signals, which can be displayed at the same time in different display regions of a video frame. In various implementations, various techniques can be used to determine an association between a set of color volume parameters and a video signal, and this association can be encoded into a bitstream. Upon decoding of the bitstream, the set of color volume parameters associated with a particular video signal can be used to compress the color volume of the video signal into a range that can be displayed by a particular display device.

Abstract: A navigational user interface element includes a navigational bar displaying thereon labels associated with a plurality of sections, and a highlight indicating a section of a page that a user is currently viewing. The navigational user interface element is configured to allow a user to click on the highlight and drag it to effect navigation to a section associated with a displayed label. The navigational user interface element is configured to, when the highlight is clicked and dragged and then released, snap the highlight to the section label the highlight is closest to when the highlight is released, and display that same section. The navigational user interface element is configured to, when a label is clicked, effect navigation to the section corresponding to that label.

Abstract: A method for developing visual data using source data, target data, and a hierarchical algorithm. According to a first aspect, there is provided a method for developing visual data from source data, target data and using a hierarchical algorithm, the method comprising the steps of: determining an alignment between the target data and the source data; and producing the visual data by transferring one or more features of the source data onto one or more features of the target data; wherein, the visual data is produced after the step of determining the alignment between the target data and the source data; and wherein the visual data is produced using the hierarchical algorithm.

Abstract: A specification including a description of a first directed graph including a first plurality of components interconnected by a first set of one or more directed links is received. A graph interface is formed for the first plurality of components including: forming a first interface element of the graph interface, the first interface element being associated with a first port of a first component of the first number of components, and configuring one or more properties of the first interface element such that the first port of the first component is consistent with the one or more properties of the first interface element. A first implementation of the graph interface is formed including the first number of components, the forming including forming a first correspondence between the first interface element and the first port of the first component of the first number of components.

Abstract: Methods, apparatus, and computer program products are provided in accordance with an example embodiment in order to allow for user interaction with a graphical representation of a set of data using one or more interface controls, wherein the graphical representation of the data and the interface control(s) are rendered to a display device. In example embodiments, information identifying data to be displayed is received. One or more interesting data points within the data to be displayed are identified. One or more interesting data windows are defined based on the identified interesting data points. A mapping is defined from a set of control position of an interface control to values of a variable of the data. The interface control corresponds to the variable. A graphical representation of the data and the interface control are rendered to a display device for user interaction with the graphical representation of the data.

Abstract: Examples of pinning portions of data visualizations are provided herein. A portion of interest of a data visualization can be selected, and a pinned portion can be generated that includes the portion of interest. A data visualization can be generated that represents data in a dataset. Instructions to select a portion of interest of the data visualization can be received. A pinned portion of the data visualization can then be generated. The pinned portion has pinned visualization content that includes at least some of the portion of interest of the data visualization. The pinned portion can be presented in association with the data visualization.

Abstract: A first set of information is identified, collected by a first agent during monitoring of a first software component. A second set of information is identified, that was collected by a second agent during monitoring of a second software component. It can be determined that the first and second sets of information each include characteristics of a particular transaction involving the first and second software components. A model is generated of the particular transaction based at least in part on the first and second sets of information. The model includes a representation of the involvement of the first and second software components within the particular transaction. In some aspects, characteristics included in the first and second set of information can include timing information for use, for example, in generating a model representing ordering of software components' involvement in one or more transactions.

Abstract: An implantable medical device capable of sensing cardiac signals and delivering cardiac electrical stimulation therapies is enabled to detect a short circuit event. A signal is sensed by a sensing module coupled to electrodes. A controller detects a short circuit event in response to a slope of the sensed signal exceeding a short circuit threshold.

Abstract: A method and apparatus for enhancing digital video effects (DVE) operates to embed DVE functionality within a graphics modeling system and provides the user with an interface configured to present model elements to a user as controllable parameters. In order to embed DVE functionality, a dynamic data structure is introduced as a scene to allow the addition of user defined model elements. The user interface enables the identification of, and access to the newly introduced model elements.

Abstract: A networked speaker system communicates using Li-Fi. The LEDs implementing the Li-Fi may also have modes in which they are used to map the walls of a room in which the speakers are located, detect the locations of speakers in the room, and detect and classify listeners in the room. Based on this, waveform analysis may be applied to input audio to establish equalization and delays that are optimal for the room geometry, speaker locations, and listener locations.

Abstract: An interactive searching and recommending method and apparatus are provided. The method includes following steps. A search query is received, a plurality of search results associated with the search query are obtained, the plurality of search results are analyzed so as to obtain at least one recommended item and a recommended content corresponding to the recommended item, a search webpage is provided and the plurality of search results and the at least one recommended item are displayed in the search webpage, and a triggering operation on the recommended item is received and the recommended content corresponding to the triggered recommended item is displayed within the search webpage according to the triggering operation.

Abstract: Systems and methods are provided for analyzing unstructured time stamped data. A distribution of time-stamped data is analyzed to identify a plurality of potential time series data hierarchies for structuring the data. An analysis of a potential time series data hierarchy may be performed. The analysis of the potential time series data hierarchies may include determining an optimal time series frequency and a data sufficiency metric for each of the potential time series data hierarchies. One of the potential time series data hierarchies may be selected based on a comparison of the data sufficiency metrics. Multiple time series may be derived in a single-read pass according to the selected time series data hierarchy. A time series forecast corresponding to at least one of the derived time series may be generated.

Abstract: A system for cross-browser testing of one or more web applications may include receiving user selection of web browsers, one or more test fields each corresponding to a specified web element, one or more attributes each corresponding to a specified property of a web element, and a tolerance value for each of the one or more selected attributes. A system for cross-browser testing may be configured to compare a selected attribute of each selected test field within a web page rendered by one selected browser with a corresponding attribute of a corresponding test field within the web page rendered by another selected browser relative to a selected tolerance value, and generate a report of the comparison. A system for cross-browser testing may be configured for comparisons independent of a human language used and may include a language translation module.

Abstract: A logging data about a signal identifier of the I/O signals which changed in on/off state are stored in a ring buffer. A logging screen includes identifier display parts, logic-graph display parts and first and second cursors. The logic-graph display parts display logic graphs associated with signal identifiers, respectively. When any one of the identifier display parts displayed on the logging screen is clicked, the logging screen is changed to an input window. If a desired input identifier is input in the input window, the logging data associated with the signal identifier is read from the ring buffer and the logic graph is displayed in the logic-graph display parts. The logic graph can be modified.

Abstract: A data parallel pipeline may specify multiple parallel data objects that contain multiple elements and multiple parallel operations that operate on the parallel data objects. Based on the data parallel pipeline, a dataflow graph of deferred parallel data objects and deferred parallel operations corresponding to the data parallel pipeline may be generated and one or more graph transformations may be applied to the dataflow graph to generate a revised dataflow graph that includes one or more of the deferred parallel data objects and deferred, combined parallel data operations. The deferred, combined parallel operations may be executed to produce materialized parallel data objects corresponding to the deferred parallel data objects.

Abstract: Method and devices are described for visually detecting anomalies in non-repetitive signals. One device may take the form of an oscilloscope capable of displaying segments of a complete waveform record that includes non-periodic triggering events. The segments may be displayed vertically and horizontally offset from one another to aid in the visual detection of anomalies within the record. Decayed or aged segments of a waveform may also be simultaneously displayed.

Abstract: A waveform display device displaying by a waveform a time series of physical quantity data in a machine tool having a servo motor controlled by a numerical control device, the waveform display device including: a time series data acquisition part acquiring the time series of physical quantity data; a search condition setting part setting a search condition of the physical quantity data; a data search part searching for physical quantity data satisfying the search condition set from the acquired physical quantity data; and a search result display part extracting a time series of physical quantity data in a predetermined range including the searched physical quantity data or other physical quantity data corresponding to the searched physical quantity data from the acquired physical quantity data, and displaying the extracted time series of physical quantity data by a waveform.

Abstract: A system may include presentation of a visualization indicating a first plurality of dimension values and a respective function value for each of the first plurality of dimension values, the function values positioned in accordance with an initial scale of a function value axis, and the first plurality of dimension values positioned in accordance with an initial scale of a dimension value axis, detection of an input gesture to change the indicated first plurality of dimension values, and, before completion of the input gesture, determination of a second plurality of dimension values to indicate in the visualization based on the input gesture, determination of an updated scale of the function value axis based on the respective function values for each dimension value of the second plurality of dimension values, and display of the respective function values for each dimension value of the second plurality of dimension values positioned in accordance with the updated scale.

Abstract: Before executing a search for optimal correspondence relationship with a coarse-to-fine DP (dynamic programming) algorithm using time information of peaks appearing in a chromatogram as input data, a simplified linear correction is executed based on detection of start point and end point of the section in which the peaks are present. It is sufficient to correct only nonlinear time deviations in coarse-to-fine DP, and the space to be searched is thus narrowed down. In addition, in coarse stage DP, the number of pieces of data to be processed is reduced by selecting peaks based on peak intensity. Between coarse stage DP and fine stage DP, local inappropriate matching is eliminated by performing filtering processing in accordance with trend of time deviations over the entire chromatogram. The space to be searched in fine stage DP becomes narrow, which reduces the number of candidates to be searched and shortens the calculation time.

Abstract: A first network connection is identified between a first software component and a second software component. First data is received from the first software component identifying an amount of data sent over the first network connection. Second data is also received, from the second software component, that identifies the amount of data sent over the first network connection. Further, a particular transaction fragment involving the first and second software components over the first network connection is determined from the received first and second data. In some aspects, the particular transaction fragment can be used in the analysis of a transaction including the particular transaction fragment.

Abstract: A system and a method are disclosed for visually displaying data points using charts on a display screen with limited display area. A fish-eye distortion region allows presentation of detailed information for some data points compared to other data points that are displayed. The chart can be moved relative to the distortion region thereby changing the data points displayed within the fish-eye that present additional information. The relative movement between the chart and the distortion region is triggered by different kinds of inputs from the user including, tilting of the device, swiping with a pointing device and selecting a particular data point.

Abstract: A method and apparatus for an alternative representation of information that is displayable onto a user interface display screen. The information can be displayed as at least one portion of a data range, such as data representing characteristics of one or more signals over time, while the alternative representation can be displayed in accordance with a set of one or more user selectable magnification attributes associated with the portions of the data range and associated with one or more axis directions relative to a plane of the display screen.

Abstract: A display controlling device, including a setting window displaying unit to control a display device to display a setting window with a plurality of display areas, an input receiving unit to receive input of a setting value for the setting item, and a display controlling unit to display one of the display areas in a distinguishable appearance, in which the one of the display areas is presented to be distinguishable from the remainder of the display areas, is provided. The display controlling unit switches the distinguishable appearance of the display areas in accordance with a predetermined switching manner each time the input of the setting value for the setting item displayed in one of the display areas being displayed in the distinguishable appearance is received.

Abstract: A method and computer program product for generating a data visualization based, at least in part, upon a data set. A first user is allowed to add an annotation to at least a portion of the data visualization. A determination is made concerning whether the annotation is associatable with any portion of the data set.

Abstract: An example method for displaying longitudinal data includes receiving longitudinal data comprising a plurality of measurements of a variable occurring over a period of time and identifying a first point of interest and a second point of interest in the longitudinal data. The example method includes displaying, in a graph, the first point of interest and the second point of interest in a first time scale. The example method also includes displaying, in the graph, a portion of the longitudinal data occurring between the first point of interest and the second point of interest in a second time scale, which is different than the first time scale.

Abstract: An exemplary method includes at least one physical computing device 1) determining a first strength of communication metric representative of a strength of communications initiated by a first user towards a second user during a time period and a second strength of communication metric representative of a strength of communications initiated by the second user towards the first user during the time period, 2) generating a strength of communication graphic that graphically represents the strength of the communications initiated by the first user towards the second user relative to the strength of the communications initiated by the second user towards first user, and 3) providing the graphic for display by an access device associated with the first user. Corresponding methods and systems are also disclosed.

Abstract: A video signal waveform monitor is shown, which receives an input video signal composed of video lines. A video signal digitizer samples the input video signal at video sample points to generate a sequence of video pixel data, which is written into an acquisition framestore is organized into a video pixel array so as to represent a raster of the input video signal. A level analyzer reads the video pixel data row-by-row from segments of the video pixel array and increments video level data at addresses in cache memory in response to the serially-read video pixel data. This generates a sequence of video level data, which is written into an output framestore and which represents the level of the waveform of the input video signal. The segments of the video pixel array comprise at least one and less than all of the columns in the video pixel array.

Abstract: The method of the invention comprises the steps of: receiving waveform data (100); generating one main signal Y0; saving main data related to main signal Y0; defining an input signal to fold, Yin, that is said main signal Y0 or a folded signal that has been generated just before; generating a new folded signal, Yf, that is a global reproduction of lower resolution of input signal to fold, Yin, and that has less samples than the latter by performing the steps of: applying to whole input signal to fold, Yin, a folding algorithm such that: its samples satisfying folding rules are selected; its samples not satisfying said folding rules are deleted; thereafter grouping the selected samples for forming said new folded signal Yf; saving sub data related to said folded signal Yf.

Abstract: A system for defining a radio scene to be emulated includes a display device configured to display a graphical user interface having a grid and at least one waveform block, representing at least a portion of a waveform, included in the grid in response to selection of a type of the waveform, at least one specification of the waveform, and a time pattern of the waveform. The grid has a frequency axis and a time axis, and the at least one waveform block extends along the time axis of the grid according to the time pattern of the waveform.

Abstract: Provenance techniques are disclosed for managing a history of a meeting. For example, a method for managing a history associated with a meeting comprises the following steps. Data associated with the meeting is collected. Provenance data is generated based on at least a portion of the collected data, wherein the provenance data is indicative of a lineage of one or more data items. A provenance graph is generated that defines a visual representation of the generated provenance data, wherein graph elements comprise one or more nodes and one or more edges between nodes, wherein nodes of the graph represent records associated with the collected data and edges of the graph represent relations between the records. One or more applications are associated with at least one graph element and are selectable to invoke functionality. The generated provenance graph is stored in a repository for use in analyzing the meeting.

Abstract: A method for controlling and optimizing the treatment of wastewater in a batch reactor using the calculation and manipulation of ORP readings.

Abstract: A machine-implemented process for determining, scaling, providing, and presenting comparative information in an accurate, scaled, useful, easily recognized, and understandable manner, including: reading the data sets; setting first and second boundaries of a first reference axis using first coordinates of data points of one data set having maximum and minimum values, respectively; setting first and second boundaries of each of the other reference axes by adjusting either the first coordinate of one data point of the selected data set having a maximum value or the first coordinate of one data point of the selected data set having a minimum value, wherein every E-value calculated based on the thus-obtained final first and second boundaries of the each of the other reference axes is substantially equal to an E-value of the first data set; and plotting the data points of the data sets. An electronic device capable of presenting a multiple-axis graph is also disclosed.

Abstract: A graph creation method includes setting on a plane a coordinate system in which three axis extend from an origin in a radial fashion, setting three evaluation results of three evaluation item for an evaluation object on each the three axis; determining a balance being one of center, circumcenter, incenter, orthocenter, and excenter of a polygon the vertices of which correspond to the three evaluation results set on the three axis; and creating on the coordinate system a graph in which the balance is set.