Abstract: A method for acquiring a magnetic resonance data set of an object under examination by a magnetic resonance system using a scan sequence is provided. The scan sequence includes a succession of sequence blocks, and in each sequence block, there is at least one sub-block including an excitation section and/or a detection section. An excitation section includes at least one excitation pulse, and in a detection section, an echo signal or an echo train is acquired as a scan signal. At least one item of motion information is provided for each sub-block. The motion information contains information about a movement of the object under examination within a duration of the sub-block. Some of the sub-blocks are automatically repeated. At least the sub-blocks having motion information that exceeds a threshold value are repeated. The threshold value defines a motion amplitude.

Abstract: A method is used to carry out a magnetic resonance measurement with at least one echo train with n spin echoes and prospective movement correction. Movement correction data for each echo train is updated at the start of the echo train and is then updated again at most partially for the spin echoes.

Abstract: A method of analyzing code is provided. The method includes generating an abstract representation of the code, identifying conditional statements in the abstract representation, populating a truth table for each conditional statement that has been identified with all possible outcomes of the conditional statement and assessing the truth table for each conditional statement to identify issues.

Abstract: Techniques are disclosed related to the compensation of phase offsets introduced into k-space lines as a result of encoding of blip gradients due when motion is present, which may be used for parallel magnetic resonance imaging (MRI) techniques such as blipped SMS or blipped CAIPIRINHA. The compensation of these additional phase offsets may prevent artifacts that would otherwise be present in the reconstructed images as a result of motion during the MRI scanning procedure. The additional phase offsets may be accounted for during the image acquisition phase of the MRI scan or, alternatively, during the image reconstruction phase.

Abstract: Techniques are disclosed related to the compensation of phase offsets introduced into k-space lines as a result of encoding of blip gradients due when motion is present, which may be used for parallel magnetic resonance imaging (MRI) techniques such as blipped SMS or blipped CAIPIRINHA. The compensation of these additional phase offsets may prevent artifacts that would otherwise be present in the reconstructed images as a result of motion during the MRI scanning procedure. The additional phase offsets may be accounted for during the image acquisition phase of the MRI scan or, alternatively, during the image reconstruction phase.

Abstract: A method of analyzing code is provided. The method includes generating an abstract representation of the code, identifying conditional statements in the abstract representation, populating a truth table for each conditional statement that has been identified with all possible outcomes of the conditional statement and assessing the truth table for each conditional statement to identify issues.

Abstract: Inputs to a system under test (SUT) are modeled as a collection of attribute-value pairs. A set of testcases is executed using an initial set of test vectors that provides complete n-wise coverage of the attribute-value pairs. For each execution of the testcases, for each attribute-value pair, a non-binary success rate (SAV) is computed based on the binary execution results. in response to a success rate of an attribute-value pair being below a predetermined threshold, a subset of testcases that use the attribute-value pair is identified. Further, sets of code paths for the subset of testcases are identified, each set of code path respectively corresponding to a testcase from the subset of testcases. Further, an intersection of the sets of code paths is determined. Code paths of the SUT that are in the intersection, are highlighted to represent a soft failure with the SUT.

Abstract: A system and related method comprise using a processor for executing a plurality of tests associated with a covering array of a test framework of the software test system on a first version of a system under test (SUT). For each of the plurality of tests, on a current test, the method comprises determining a current success rate value (SRV) for the current test that represents a success rate of the current test for the first version of the SUT. The method further comprises combining the current SRV of the first version of the SUT and current SRVs of the current test for prior versions of the SUT into a current test eigenvector associated with the current test. The method further comprises converting the current test eigenvector into a first eigenvalue that represents a health, accuracy, and quality of the first version of the SUT.

Abstract: The disclosure relates to a computer implemented method for magnetic resonance imaging. The method includes: receiving at least a first and a second subset of k-space data as radio frequency signals emitted from excited hydrogen atoms of a subject; sampling the first and second subset of k-space data; choosing the first subset of k-space data as a base subset of k-space data; estimating motion parameters of the second subset of k-space data against the base subset of k-space data; and correcting the second subset of k-space data based on the estimated motion parameters of the second subset of k-space data. The motion parameters of the second subset of k-space data are parameters of a non-linear motion estimating function representing a motion of the subject between receiving the first subset of k-space data and receiving the second subset of k-space data.

Abstract: The disclosure relates to a method for correcting a movement of an object occurring during an MR image acquisition. The method includes: determining a motion model describing possible movements of the object based on a defined number of degrees of freedom; detecting a motion of a marker provided on the object with a motion sensor; determining a description of the motion model in a common coordinate system; determining the motion of the marker in the common coordinate system; determining a first motion of the object in the common coordinate system using the description of the motion model, the first motion being the motion that best matches the determined motion of the marker in the common coordinate system using the defined number of degrees of freedom; and correcting the movement of the object based on the determined first motion in order to determine at least one motion corrected MR image.

Abstract: A method of analyzing code is provided. The method includes generating an abstract representation of the code, identifying conditional statements in the abstract representation, populating a truth table for each conditional statement that has been identified with all possible outcomes of the conditional statement and assessing the truth table for each conditional statement to identify issues.

Abstract: Inputs to a system under test (SUT) are modeled as a collection of attribute-value pairs. A set of testcases is executed using an initial set of test vectors that provides complete n-wise coverage of the attribute-value pairs. For each execution of the testcases, for each attribute-value pair, a non-binary success rate (SAV) is computed based on the binary execution results. An attribute is selected in response to a set of success rates corresponding to a set of attribute-value pairs that includes said attribute are all below a predetermined threshold. The set of testcases is executed using another set of test vectors using additional values for the selected attribute. For each execution of the set of testcases, for each attribute-value pair, a second non-binary success rate (SAV?) is recorded. If the predetermined threshold is now satisfied, a user is notified of the additional values for the attribute that were detected.

Abstract: Inputs to a system under test (SUT) are modeled as a collection of attribute-value pairs. A set of testcases is executed using a set of test vectors that provides complete n-wise coverage of the attribute-value pairs. For each execution of the testcases, updating, for each execution of the set of testcases, for each testcase, a non-binary success rate (ST) based on the binary execution results. In response to a first success rate corresponding to a particular testcase being below a predetermined threshold, a second set of testcases is generated based on the test vectors. For each testcase, a second success rate (ST?) is computed based on a second set of execution results of a second set of testcases. In response to the second success rate corresponding to the particular testcase being substantially same as the first success rate, a user is notified of a defect in modeling the SUT inputs.

Abstract: A method for acquiring a magnetic resonance data set of an object under examination by a magnetic resonance system using a scan sequence is provided. The scan sequence includes a succession of sequence blocks, and in each sequence block, there is at least one sub-block including an excitation section and/or a detection section. An excitation section includes at least one excitation pulse, and in a detection section, an echo signal or an echo train is acquired as a scan signal. At least one item of motion information is provided for each sub-block. The motion information contains information about a movement of the object under examination within a duration of the sub-block. Some of the sub-blocks are automatically repeated. At least the sub-blocks having motion information that exceeds a threshold value are repeated. The threshold value defines a motion amplitude.

Abstract: A method is used to carry out a magnetic resonance measurement with at least one echo train with n spin echoes and prospective movement correction. Movement correction data for each echo train is updated at the start of the echo train and is then updated again at most partially for the spin echoes.

Abstract: The disclosure relates to a computer implemented method for magnetic resonance imaging. The method includes: receiving at least a first and a second subset of k-space data as radio frequency signals emitted from excited hydrogen atoms of a subject; sampling the first and second subset of k-space data; choosing the first subset of k-space data as a base subset of k-space data; estimating motion parameters of the second subset of k-space data against the base subset of k-space data; and correcting the second subset of k-space data based on the estimated motion parameters of the second subset of k-space data. The motion parameters of the second subset of k-space data are parameters of a non-linear motion estimating function representing a motion of the subject between receiving the first subset of k-space data and receiving the second subset of k-space data.

Abstract: A method for operating a medical diagnostic system that is configured to use a system component of the diagnostic system to generate examination data of a person under examination during an examination procedure is provided. The examination procedure with control of the system component is controlled by a piece of control software, and a component driver exchanges control commands of the control software with the system component in order to control the system component. The method includes providing an event driver that communicates with the control software via an interface of the control software. Via the event driver, a first event is detected in the examination procedure and reported to the event driver. When the first event is detected in the examination procedure, the use of the system component in the examination procedure is modified to a first type defined by the event driver.

Abstract: A method for facilitating utilization of processing resources of a plurality of user electronic devices for mining of cryptocurrency. A user application on each user device includes code for a cryptocurrency mining module and code for functionality different from cryptocurrency mining. Various mining activity data indicative of an extent to which each of the plurality of user electronic devices is utilized by a cryptocurrency mining pool to perform cryptocurrency mining operations is received. The method further includes receiving, from at least one of the cryptocurrency mining pool and a cryptocurrency server separate from the cryptocurrency mining pool, an aggregate amount of cryptocurrency. The aggregate amount cryptocurrency may be exchanged, by communicating with a cryptocurrency exchange server, for an aggregate amount of currency other than cryptocurrency.

Abstract: The invention relates to a support providing a complete connection between a degassing pipe (3) and a turbine shaft (2), said support including a plurality of outer contact spans (41a) intended to bear on the inner walls of the turbine shaft to secure the degassing pipe with respect thereto, characterized in that the different spans are each bordered by at least one elastomer insert (41g) which contributes to the protection of the turbine shaft during insertion of the support therein.

Abstract: The invention relates to a support providing a complete connection between a degassing pipe (3) and a turbine shaft (2), said support including a plurality of outer contact spans (41a) intended to bear on the inner walls of the turbine shaft to secure the degassing pipe with respect thereto, characterized in that the different spans are each bordered by at least one elastomer insert (41g) which contributes to the protection of the turbine shaft during insertion of the support therein.