Abstract: Systems and methods are provided for determining an estimated risk of arrhythmia during or after dialysis based on changes in serum potassium concentration of a patient and an amount of fluid removed from the patient during dialysis. The systems and methods allow for a determination of a risk that arrhythmia will occur due to the changes in potassium and fluid volume of a patient during dialysis, and for optimizing a dialysis prescription in order to minimize the risk of arrhythmia.

Abstract: Medical systems and methods for treating kidney disease alone, heart failure alone, chronic kidney disease with concomitant heart failure, or cardiorenal syndrome are described. The systems and methods are based on delivery of a natriuretic peptide such as Vessel Dilator to a subject. Methods for increasing and maintaining peptide levels at a certain concentration include direct peptide delivery via either an external or implantable programmable pump.

Abstract: A method includes initiating a blood fluid removal session of a patient; monitoring an indicator of tissue fluid volume of the patient, or a portion thereof, during the blood fluid removal session; monitoring an indicator of blood fluid volume of the patient during the blood fluid removal session; determining whether a ratio of the indicator of tissue fluid volume to indicator of blood fluid volume is outside of a predetermined range; and altering the rate of fluid removal during the blood fluid removal session if the ratio is determined to be outside of the predetermined range. A blood fluid removal system may be configured to carry out the method.

Abstract: A medical monitoring device for monitoring electrical signals from the body of a subject is described. The medical monitoring device monitors electrical signals originating from a cardiac cycle of the subject and associates each cardiac cycle with a time index. The medical monitoring device applies a forward computational procedure to generate a risk score indicative of hyperkalemia, hypokalemia or arrhythmia of the subject. The medical monitoring device can adjust the forward computational procedure based upon clinical data obtained from the subject.

Abstract: A method and system is provided for automated generation of the functional test cases for testing a software system. In an embodiment, the invention provides an expressive decision table (EDT), a requirement specification notation designed to reduce translation efforts, it implements a novel scalable row-guided random algorithm with fuzzing (RGRaF) (pronounced R-graph) to generate test cases. The invention also implements two new coverage criteria targeted at requirements and requirement interactions. The invention also provides fuzzing at time boundaries to achieve scalability. According to an embodiment, the invention also provides the feature of generating error in case the generated functional test case corresponds to system property violation of the software system. According to another embodiment, the system can also reject the functional test case if there is an improbable condition of the software system.

Abstract: Medical systems and methods for treating kidney disease alone, heart failure alone, kidney disease with concomitant heart failure, or cardiorenal syndrome are described. The systems and methods are based on delivery of a chimeric natriuretic peptide to a patient. Methods for increasing peptide levels include direct peptide delivery via either an external or implantable programmable pump.

Abstract: A medical monitoring device for monitoring electrical signals from the body of a subject is described. The medical monitoring device monitors electrical signals originating from a cardiac cycle of the subject and associates each cardiac cycle with a time index. The medical monitoring device applies a forward computational procedure to generate a risk score indicative of hyperkalemia, hypokalemia or arrhythmia of the subject. The medical monitoring device can adjust the forward computational procedure based upon clinical data obtained from the subject.

Abstract: A quality inspection and analytics system may include a quality inspection module to receive the information for inspection lots and display the information for the inspection lots simultaneously in a scrollable screen via a user interface. The information for the inspection lots may include inspection metrics, expected values for the inspection metrics and measured values for the inspection metrics. The quality inspection module may receive a usage decision and store the usage decision. Also, the system may include a quality analytics module to execute causal analysis of rejected inspection lots based on the inspection lot information.

Abstract: A tactile graphic display for providing a display representation of a graph or image generated by a graphic device for visually impaired users or other users who wish to access tactile information. The display includes one or more frame assemblies including hollow actuator chambers and hollow shaft chambers, the hollow shaft chambers extending perpendicular to the hollow actuator members. Actuators are received within the plurality of hollow actuator chambers and drive shafts are received with the hollow shaft members. Cams operably connect the actuators to the drive shafts. Each actuator rotates each cam about an axis of the actuator in a first direction from a down position to an up position thereby extending each drive shaft upwardly, and each actuator operably rotates each cam about the axis of the actuator in a second direction opposite to the first direction to the down position thereby retracting each drive shaft downwardly.

Abstract: System and method for validating a specification associated with a software application and/or a hardware is disclosed. The specification comprising expected behavior requirements specified in a specification language and the semantics in the tabular notation is received. In order to validate the specification, a string may be identified for the specification. The string may indicate characters conforming to the specification language. Upon identifying the string, a token may be generated using the string. The token may be a binary representation of the string. The token may be arranged into a data structure. The specification is checked to conform to the specification language. Two or more specifications specified in the specification language are merged. A test case is generated from the validated specification. The expected behavior with the actual behavior of the specification is validated.

Abstract: Methods include monitoring indicators of blood pH or blood electrolyte levels during a blood fluid removal session and adjusting concentrations of pH buffers or electrolytes in dialysate or replacement fluid used during the session based on the monitored indicators. Blood fluid removal systems may employ sensors that monitor blood pH or electrolyte levels to adjust the fluid parameters during a blood fluid removal session.

Abstract: A dialysis authentication and management system comprising at least one dialysis component having at least one authentication component affixed thereon. The dialysis component can be any one of a dialyzer, sorbent cartridge, recharger or any other dialysis component. The authentication component can be selected from the group of a radio-frequency identification marker, a bar code, a one-wire security component, and a wireless authentication component. The authentication system can ensure that all components used are in proper usable condition and/or certified. The system can also manage the recharging of rechargeable components, and optionally manage dialysis therapy.

Abstract: Methods include monitoring indicators of blood pH or blood electrolyte levels during a blood fluid removal session and adjusting concentrations of pH buffers or electrolytes in dialysate or replacement fluid used during the session based on the monitored indicators. Blood fluid removal systems may employ sensors that monitor blood pH or electrolyte levels to adjust the fluid parameters during a blood fluid removal session.

Abstract: Loop abstraction includes determining an original loop within the source code. The original loop includes a control statement and a loop body such that the original loop causes the loop body to be repeatedly executed based on the control statement. Further, output variables in the original loop and a number of blocks associated with the original loop are identified. The number of blocks is indicative of a count of unconditionally executed statement sets in which at least one output variable is computed. An abstract loop corresponding to the original loop is generated by adding a modified expression for accelerated assignment for each output variable in a subset of the output variables, and replacing the control statement with a bounded control statement. The original loop is replaced with the abstract loop for generating an abstract source code for the model checking.

Abstract: A tactile graphic display for providing a display representation of a graph or image generated by a graphic device for visually impaired users or other users who wish to access tactile information. The tactile graphic display includes a control and interface module in communication with a dot matrix, which is associated with pin nut assemblies including caps that serve as dots in the dot matrix. The control and interface module provides motor drive signals that raise selected dots above the top surface of a top panel to form the dot matrix display. Proximity sensors in or associated with the top panel sense touching of one or more dots and/or proximate presence of a finger or hand near the top surface of the top panel. The proximity sensors provide dot matrix engagement signals to the control and interface module for processing.

Abstract: A system and method for determining the amount of fluid to be removed from a dialysis patient is disclosed. The system utilizes sensors and a computer. The computer obtains the input parameters from the sensors, along with information added directly by the user, and performs a forward algorithm to determine a recommended change in patient fluid level. As fluid is removed, the effect of the removal on the parameters is detected by the sensors and re-transmitted back to the computer. The computer then performs a backward algorithm to refine the variables used in the forward algorithm and obtain more accurate results. The system and method provide for changing the amount of fluid removed from the patient based on the results of the algorithm and the data received from the sensors.

Abstract: A dialysis authentication system comprising at least one dialysis component having at least one authentication component affixed thereon. The dialysis component can be any one of a dialyzer, sorbent cartridge, or recharger. The authentication component can be selected from the group comprising a radio-frequency identification marker, a bar code, a one-wire security component, and a wireless authentication component.

Abstract: Loop abstraction includes determining an original loop within the source code. The original loop includes a control statement and a loop body such that the original loop causes the loop body to be repeatedly executed based on the control statement. Further, output variables in the original loop and a number of blocks associated with the original loop are identified. The number of blocks is indicative of a count of unconditionally executed statement sets in which at least one output variable is computed. An abstract loop corresponding to the original loop is generated by adding a modified expression for accelerated assignment for each output variable in a subset of the output variables, and replacing the control statement with a bounded control statement. The original loop is replaced with the abstract loop for generating an abstract source code for the model checking.

Abstract: Medical systems and methods for treating kidney disease alone, heart failure alone, chronic kidney disease with concomitant heart failure, or cardiorenal syndrome are described. The systems and methods are based on delivery of a natriuretic peptide such as Vessel Dilator to a subject. Methods for increasing and maintaining peptide levels at a certain concentration include direct peptide delivery via either an external or implantable programmable pump.

Abstract: System and method for validating a specification associated with a software application and/or a hardware is disclosed. The specification comprising expected behaviour requirements specified in a specification language and the semantics in the tabular notation is received. In order to validate the specification, a string may be identified for the specification. The string may indicate characters conforming to the specification language. Upon identifying the string, a token may be generated using the string. The token may be a binary representation of the string. The token may be arranged into a data structure. The specification is checked to conform to the specification language. Two or more specifications specified in the specification language are merged. A test case is generated from the validated specification. The expected behaviour with the actual behaviour of the specification is validated.