Comparative anatomical dimensions of the complete human and porcine spine

New spinal implants and surgical procedures are often tested pre-clinically on human cadaver spines. However, the availability of fresh frozen human cadaver material is very limited and alternative animal spines are more easily available in all desired age groups, and have more uniform geometrical and biomechanical properties. The porcine spine is said to be the most representative model for the human spine but a complete anatomical comparison is lacking. The goal of this descriptive study was to compare the anatomical dimensions of the cervical, thoracic, and lumbar vertebrae of the human and porcine spine in order to determine whether the porcine spine can be a representative model for the human spine. CT scans were made of 6 human and 6 porcine spines, and 16 anatomical dimensions were measured per individual vertebrae. Comparisons were made for the absolute values of the dimensions, for the patterns of the dimensions within four spinal regions, and normalised values of the dimensions within each individual vertebra. Similarities were found in vertebral body height, shape of the end-plates, shape of the spinal canal, and pedicle size. Furthermore, regional trends were comparable for all dimensions, except for spinal canal depth and spinous processus angle. The size of the end-plates increased more caudally in the human spine. Relating the dimensions to the size of the vertebral body, similarities were found in the size of the spinal canal, the transverse processus length, and size of the pedicles. Taking scaling differences into account, it is believed that the porcine spine can be a representative anatomical model for the human spine in specific research questions

Mightyl: A compositional translation from mitl to timed automata

Metric Interval Temporal Logic (MITL) was first proposed in the early 1990s as a specification formalism for real-time systems. Apart from its appealing intuitive syntax, there are also theoretical evidences that make MITL a prime real-time counterpart of Linear Temporal Logic (LTL). Unfortunately, the tool support for MITL verification is still lacking to this day. In this paper, we propose a new construction from MITL to timed automata via very-weak one-clock alternating timed automata. Our construction subsumes the well-known construction from LTL to Büchi automata by Gastin and Oddoux and yet has the additional benefits of being compositional and integrating easily with existing tools. We implement the construction in our new tool MightyL and report on experiments using Uppaal and LTSmin as back-ends

Attainment rate as a surrogate indicator of the intervertebral neutral zone length in lateral bending: An in vitro proof of concept study

Background Lumbar segmental instability is often considered to be a cause of chronic low back pain. However, defining its measurement has been largely limited to laboratory studies. These have characterised segmental stability as the intrinsic resistance of spine specimens to initial bending moments by quantifying the dynamic neutral zone. However these measurements have been impossible to obtain in vivo without invasive procedures, preventing the assessment of intervertebral stability in patients. Quantitative fluoroscopy (QF), measures the initial velocity of the attainment of intervertebral rotational motion in patients, which may to some extent be representative of the dynamic neutral zone. This study sought to explore the possible relationship between the dynamic neutral zone and intervertebral rotational attainment rate as measured with (QF) in an in vitro preparation. The purpose was to find out if further work into this concept is worth pursuing. Method This study used passive recumbent QF in a multi-segmental porcine model. This assessed the intrinsic intervertebral responses to a minimal coronal plane bending moment as measured with a digital force guage. Bending moments about each intervertebral joint were calculated and correlated with the rate at which global motion was attained at each intervertebral segment in the first 10° of global motion where the intervertebral joint was rotating. Results Unlike previous studies of single segment specimens, a neutral zone was found to exist during lateral bending. The initial attainment rates for left and right lateral flexion were comparable to previously published in vivo values for healthy controls. Substantial and highly significant levels of correlation between initial attainment rate and neutral zone were found for left (Rho = 0.75, P = 0.0002) and combined left-right bending (Rho = 0.72, P = 0.0001) and moderate ones for right alone (Rho = 0.55, P = 0.0012). Conclusions This study found good correlation between the initial intervertebral attainment rate and the dynamic neutral zone, thereby opening the possibility to detect segmental instability from clinical studies. However the results must be treated with caution. Further studies with multiple specimens and adding sagittal plane motion are warranted

A Uniform Genomic Minor Histocompatibility Antigen Typing Methodology and Database Designed to Facilitate Clinical Applications

BACKGROUND: Minor Histocompatibility (H) antigen mismatches significantly influence the outcome of HLA-matched allogeneic stem cell transplantation. The molecular identification of human H antigens is increasing rapidly. In parallel, clinical application of minor H antigen typing has gained interest. So far, relevant and simple tools to analyze the minor H antigens in a quick and reliable way are lacking. METHODOLOGY AND FINDINGS: We developed a uniform PCR with sequence-specific primers (PCR-SSP) for 10 different autosomal minor H antigens and H-Y. This genomic minor H antigen typing methodology allows easy incorporation in the routine HLA typing procedures. DNA from previously typed EBV-LCL was used to validate the methodology. To facilitate easy interpretation for clinical purposes, a minor H database named dbMinor (http://www.lumc.nl/dbminor) was developed. Input of the minor H antigen typing results subsequently provides all relevant information for a given patient/donor pair and additional information on the putative graft-versus-host, graft-versus-tumor and host-versus-graft reactivities. SIGNIFICANCE: A simple, uniform and rapid methodology was developed enabling determination of minor H antigen genotypes of all currently identified minor H antigens. A dbMinor database was developed to interpret the genomic typing for its potential clinical relevance. The combination of the minor H antigen genomic typing methodology with the online dbMinor database and applications facilitates the clinical application of minor H antigens anti-tumor targets after stem cell transplantation

Critical mutation rate has an exponential dependence on population size for eukaryotic-length genomes with crossover

The critical mutation rate (CMR) determines the shift between survival-of-the-fittest and survival of individuals with greater mutational robustness (“flattest”). We identify an inverse relationship between CMR and sequence length in an in silico system with a two-peak fitness landscape; CMR decreases to no more than five orders of magnitude above estimates of eukaryotic per base mutation rate. We confirm the CMR reduces exponentially at low population sizes, irrespective of peak radius and distance, and increases with the number of genetic crossovers. We also identify an inverse relationship between CMR and the number of genes, confirming that, for a similar number of genes to that for the plant Arabidopsis thaliana (25,000), the CMR is close to its known wild-type mutation rate; mutation rates for additional organisms were also found to be within one order of magnitude of the CMR. This is the first time such a simulation model has been assigned input and produced output within range for a given biological organism. The decrease in CMR with population size previously observed is maintained; there is potential for the model to influence understanding of populations undergoing bottleneck, stress, and conservation strategy for populations near extinction

Goldberg-Shprintzen syndrome is determined by the absence, or reduced expression levels, of KIFBP.

Goldberg-Shprintzen syndrome (GOSHS) is caused by loss of function variants in the kinesin binding protein gene (KIFBP). However, the phenotypic range of this syndrome is wide, indicating that other factors may play a role. To date, 37 patients with GOSHS have been reported. Here, we document nine new patients with variants in KIFBP: seven with nonsense variants and two with missense variants. To our knowledge, this is the first time that missense variants have been reported in GOSHS. We functionally investigated the effect of the variants identified, in an attempt to find a genotype-phenotype correlation. We also determined whether common Hirschsprung disease (HSCR)-associated single nucleotide polymorphisms (SNPs), could explain the presence of HSCR in GOSHS. Our results showed that the missense variants led to reduced expression of KIFBP, while the truncating variants resulted in lack of protein. However, no correlation was found between the severity of GOSHS and the location of the variants. We were also unable to find a correlation between common HSCR-associated SNPs, and HSCR development in GOSHS. In conclusion, we show that reduced, as well as lack of KIFBP expression can lead to GOSHS, and our results suggest that a threshold expression of KIFBP may modulate phenotypic variability of the disease

Vertebral body stenting: a new method for vertebral augmentation versus kyphoplasty

Vertebroplasty and kyphoplasty are well-established minimally invasive treatment options for compression fractures of osteoporotic vertebral bodies. Possible procedural disadvantages, however, include incomplete fracture reduction or a significant loss of reduction after balloon tamp deflation, prior to cement injection. A new procedure called “vertebral body stenting” (VBS) was tested in vitro and compared to kyphoplasty. VBS uses a specially designed catheter-mounted stent which can be implanted and expanded inside the vertebral body. As much as 24 fresh frozen human cadaveric vertebral bodies (T11-L5) were utilized. After creating typical compression fractures, the vertebral bodies were reduced by kyphoplasty (n = 12) or by VBS (n = 12) and then stabilized with PMMA bone cement. Each step of the procedure was performed under fluoroscopic control and analysed quantitatively. Finally, static and dynamic biomechanical tests were performed. A complete initial reduction of the fractured vertebral body height was achieved by both systems. There was a significant loss of reduction after balloon deflation in kyphoplasty compared to VBS, and a significant total height gain by VBS (mean ± SD in %, p < 0.05, demonstrated by: anterior height loss after deflation in relation to preoperative height [kyphoplasty: 11.7 ± 6.2; VBS: 3.7 ± 3.8], and total anterior height gain [kyphoplasty: 8.0 ± 9.4; VBS: 13.3 ± 7.6]). Biomechanical tests showed no significant stiffness and failure load differences between systems. VBS is an innovative technique which allows for the possibly complete reduction of vertebral compression fractures and helps maintain the restored height by means of a stent. The height loss after balloon deflation is significantly decreased by using VBS compared to kyphoplasty, thus offering a new promising option for vertebral augmentation

Neurofilaments in spinocerebellar ataxia type 3: blood biomarkers at the preataxic and ataxic stage in humans and mice

With molecular treatments coming into reach for spinocerebellar ataxia type 3 (SCA3), easily accessible, cross-species validated biomarkers for human and preclinical trials are warranted, particularly for the preataxic disease stage. We assessed serum levels of neurofilament light (NfL) and phosphorylated neurofilament heavy (pNfH) in ataxic and preataxic subjects of two independent multicentric SCA3 cohorts and in a SCA3 knock-in mouse model. Ataxic SCA3 subjects showed increased levels of both NfL and pNfH. In preataxic subjects, NfL levels increased with proximity to the individual expected onset of ataxia, with significant NfL elevations already 7.5 years before onset. Cross-sectional NfL levels correlated with both disease severity and longitudinal disease progression. Blood NfL and pNfH increases in human SCA3 were each paralleled by similar changes in SCA3 knock-in mice, here also starting already at the presymptomatic stage, closely following ataxin-3 aggregation and preceding Purkinje cell loss in the brain. Blood neurofilaments, particularly NfL, might thus provide easily accessible, cross-species validated biomarkers in both ataxic and preataxic SCA3, associated with earliest neuropathological changes, and serve as progression, proximity-to-onset and, potentially, treatment-response markers in both human and preclinical SCA3 trials

LNCS

Imprecision in timing can sometimes be beneficial: Metric interval temporal logic (MITL), disabling the expression of punctuality constraints, was shown to translate to timed automata, yielding an elementary decision procedure. We show how this principle extends to other forms of dense-time specification using regular expressions. By providing a clean, automaton-based formal framework for non-punctual languages, we are able to recover and extend several results in timed systems. Metric interval regular expressions (MIRE) are introduced, providing regular expressions with non-singular duration constraints. We obtain that MIRE are expressively complete relative to a class of one-clock timed automata, which can be determinized using additional clocks. Metric interval dynamic logic (MIDL) is then defined using MIRE as temporal modalities. We show that MIDL generalizes known extensions of MITL, while translating to timed automata at comparable cost