Abstract: Methods and systems for evaluating the biomechanical properties of a subject's spine for the purpose of optimizing a potential surgical intervention by selecting or designing surgical hardware fora spinal correction procedure. The system uses a simulated dynamic analysis configured to analyze, predict and improve the outcome of the surgical procedure by taking into account physiological, biomechanical, and anatomical factors. Machine learning algorithms use the computed distribution of forces and moments on the subject's spine, and compare the subject's results with those of patients from a reference population.

Abstract: An intervertebral fusion mechanism includes a disc cage having a scaffolding structure to support bone growth and a porous cancellous bone feeder anchor, connected to the disc cage, for providing a biological material transference interface between cancellous bone and the disc cage.

Abstract: According to some embodiments of the invention, an intervertebral disc replacement includes a first layer having a lower surface for contacting a first vertebral bone, a second layer coupled to the first layer, the second layer comprising a plurality of compressible column springs, and a third layer coupled to the second layer, the third layer having an upper surface for contacting a second vertebral bone. Each of the plurality of compressible column springs comprises a plurality of stacked coils, and each of the plurality of stacked coils has a spring constant (K). At least one of the plurality of compressible column springs includes a first coil having a first spring constant and a second coil comprising a second spring constant, wherein the first spring constant is different from the second spring constant.

Abstract: According to some embodiments of the invention, an intervertebral disc replacement includes a first layer having a lower surface for contacting a first vertebral bone, a second layer coupled to the first layer, the second layer comprising a plurality of compressible column springs, and a third layer coupled to the second layer, the third layer having an upper surface for contacting a second vertebral bone. Each of the plurality of compressible column springs comprises a plurality of stacked coils, and each of the plurality of stacked coils has a spring constant (K). At least one of the plurality of compressible column springs includes a first coil having a first spring constant and a second coil comprising a second spring constant, wherein the first spring constant is different from the second spring constant.

Abstract: According to some embodiments of the invention, an intervertebral disc replacement includes a first layer having a lower surface for contacting a first vertebral bone, a second layer coupled to the first layer, the second layer comprising a plurality of compressible column springs, and a third layer coupled to the second layer, the third layer having an upper surface for contacting a second vertebral bone. Each of the plurality of compressible column springs comprises a plurality of stacked coils, and each of the plurality of stacked coils has a spring constant (K). At least one of the plurality of compressible column springs includes a first coil having a first spring constant and a second coil comprising a second spring constant, wherein the first spring constant is different from the second spring constant.

Abstract: A method and apparatus are provided for implementing random content of program loops in random test generation for processor verification. A converged branch instruction stream is used by a test generator to ensure that all random conditional branches converge to a main program loop. A built in exception handling mechanism of the test generator enables program interrupts to converge to the main program loop. Mandatory read only registers applied to the test generator allow all register based storage addresses to use registers that maintain a value and thus stabilize the storage address translations through subsequent iterations of the loop. A global class restriction mechanism defines specific restricted instruction classes applied to the test generator avoids inherently problematic operations for the program loops. Machine state detection and restoration mechanisms in the test generator are provided to preserve storage addressability.

Abstract: A system and method prevents and diagnoses deep vein thrombosis in a body limb by providing a pressure sleeve having a plurality of individually fillable cells, the pressure sleeve being configurable to be placed around a body limb. A source fills each fillable cell individually, and a pressure sensor measures a pressure in a fillable cell. A controller establishes a fill sequence of each individually fillable cell and a fill time for each individually fillable cell. The controller causes a first individually fillable cell of the pressure sleeve to be filled to a predetermined pressure and causes the pressure of first individually fillable cell of the pressure sleeve to be measured while a second individually fillable cell of the pressure sleeve is filled. The controller determines a presence of deep vein thrombosis in a body limb having the pressure sleeve therearound based upon a measured pressure change in the first individually fillable cell of the pressure sleeve.

Abstract: A system and method prevents and diagnoses deep vein thrombosis in a body limb by providing a pressure sleeve having a plurality of individually fillable cells, the pressure sleeve being configurable to be placed around a body limb. A source fills each fillable cell individually, and a pressure sensor measures a pressure in a fillable cell. A controller establishes a fill sequence of each individually fillable cell and a fill time for each individually fillable cell. The controller causes a first individually fillable cell of the pressure sleeve to be filled to a predetermined pressure and causes the pressure of first individually fillable cell of the pressure sleeve to be measured while a second individually fillable cell of the pressure sleeve is filled. The controller determines a presence of deep vein thrombosis in a body limb having the pressure sleeve therearound based upon a measured pressure change in the first individually fillable cell of the pressure sleeve.

Abstract: According to some embodiments of the invention, an intervertebral disc replacement includes a first layer having a lower surface for contacting a first vertebral bone, a second layer coupled to the first layer, the second layer comprising a plurality of compressible column springs, and a third layer coupled to the second layer, the third layer having an upper surface for contacting a second vertebral bone. Each of the plurality of compressible column springs comprises a plurality of stacked coils, and each of the plurality of stacked coils has a spring constant (K). At least one of the plurality of compressible column springs includes a first coil having a first spring constant and a second coil comprising a second spring constant, wherein the first spring constant is different from the second spring constant.

Abstract: A method and apparatus are provided for implementing random content of program loops in random test generation for processor verification. A converged branch instruction stream is used by a test generator to ensure that all random conditional branches converge to a main program loop. A built in exception handling mechanism of the test generator enables program interrupts to converge to the main program loop. Mandatory read only registers applied to the test generator allow all register based storage addresses to use registers that maintain a value and thus stabilize the storage address translations through subsequent iterations of the loop. A global class restriction mechanism defines specific restricted instruction classes applied to the test generator avoids inherently problematic operations for the program loops. Machine state detection and restoration mechanisms in the test generator are provided to preserve storage addressability.

Abstract: A system and method prevents and diagnoses deep vein thrombosis in a body limb by providing a pressure sleeve having a plurality of individually fillable cells, the pressure sleeve being configurable to be placed around a body limb. A source fills each fillable cell individually, and a pressure sensor measures a pressure in a fillable cell. A controller establishes a fill sequence of each individually fillable cell and a fill time for each individually fillable cell. The controller causes a first individually fillable cell of the pressure sleeve to be filled to a predetermined pressure and causes the pressure of first individually fillable cell of the pressure sleeve to be measured while a second individually fillable cell of the pressure sleeve is filled. The controller determines a presence of deep vein thrombosis in a body limb having the pressure sleeve therearound based upon a measured pressure change in the first individually fillable cell of the pressure sleeve.

Abstract: An automatic portable ambulant miniaturized system for applying pneumatic pressure to a body limb including a portable ambulant hand-held fluid source unit, a conduit for delivering fluid generated by the unit, and a pressure sleeve coupled to the conduit and adapted to envelop a body limb. The pressure sleeve contains individually inflatable cells, each cell being subdivided into longitudinally extending confluent intra-cell compartments along the axis of the body limb. The intra-cell compartments are inflated and deflated essentially simultaneously by the portable fluid source unit. To increase the peak venous velocity generated by any kind of external compressive force on a limb with any kind of tempo-spatial regime, the venous phasic flow is monitored to determine so that the venous flow generated by the external compressive force can be synchronized with the in-phasic natural venous flow.

Abstract: An automatic portable ambulant miniaturized system for applying pneumatic pressure to a body limb including a portable ambulant hand-held fluid source unit, a conduit for delivering fluid generated by the unit, and a pressure sleeve coupled to the conduit and adapted to envelop a body limb. The pressure sleeve contains individually inflatable cells, each cell being subdivided into longitudinally extending confluent intra-cell compartments along the axis of the body limb. The intra-cell compartments are inflated and deflated essentially simultaneously by the portable fluid source unit. To increase the pick venous velocity generated by any kind of external compressive force on a limb with any kind of tempo-spatial regime, the venous phasic flow is monitored to determine so that the venous flow generated by the external compressive force can be synchronized with the in-phasic natural venous flow.