Tuplix Calculus

We introduce a calculus for tuplices, which are expressions that generalize matrices and vectors. Tuplices have an underlying data type for quantities that are taken from a zero-totalized field. We start with the core tuplix calculus CTC for entries and tests, which are combined using conjunctive composition. We define a standard model and prove that CTC is relatively complete with respect to it. The core calculus is extended with operators for choice, information hiding, scalar multiplication, clearing and encapsulation. We provide two examples of applications; one on incremental financial budgeting, and one on modular financial budget design.Comment: 22 page

Mechanistic Behavior of Single-Pass Instruction Sequences

Earlier work on program and thread algebra detailed the functional, observable behavior of programs under execution. In this article we add the modeling of unobservable, mechanistic processing, in particular processing due to jump instructions. We model mechanistic processing preceding some further behavior as a delay of that behavior; we borrow a unary delay operator from discrete time process algebra. We define a mechanistic improvement ordering on threads and observe that some threads do not have an optimal implementation.Comment: 12 page

fMRI protocol optimization for simultaneously studying small subcortical and cortical areas at 7 ​T

Most fundamental cognitive processes rely on brain networks that include both cortical and subcortical structures. Studying such networks using functional magnetic resonance imaging (fMRI) requires a data acquisition protocol that provides blood-oxygenation-level dependent (BOLD) sensitivity across the entire brain. However, when using standard single echo, echo planar imaging protocols, researchers face a tradeoff between BOLD-sensitivity in cortex and in subcortical areas. Multi echo protocols avoid this tradeoff and can be used to optimize BOLD-sensitivity across the entire brain, at the cost of an increased repetition time. Here, we empirically compare the BOLD-sensitivity of a single echo protocol to a multi echo protocol. Both protocols were designed to meet the specific requirements for studying small, iron rich subcortical structures (including a relatively high spatial resolution and short echo times), while retaining coverage and BOLD-sensitivity in cortical areas. The results indicate that both sequences lead to similar BOLD-sensitivity across the brain at 7 ​T

A 7 Tesla fMRI Study of Amygdala Responses to Fearful Faces

The amygdalae are involved in the perception of emotions such as happiness, anger and fear. Because of their proximity to the sinuses, the image signal intensity in T2* weighted fMRI data is often affected by signal loss due to through-slice dephasing, especially at high field strength. In this study, the feasibility of fMRI in the amygdalae at 7 Tesla was investigated. A paradigm based on the presentation of fearful faces was used for stimulation. Previously, opposite effects have been found for presentation of averted and direct gaze fearful faces. Here, we show that (1) sufficiently high temporal SNR values are reached in the amygdalae for detection of small BOLD signal changes and (2) that the BOLD signal in the amygdalae for presentation of a direct or averted gaze in a fearful face depends on stimulus duration

Joubert syndrome: genotyping a Northern European patient cohort

Joubert syndrome (JBS) is a rare neurodevelopmental disorder belonging to the group of ciliary diseases. JBS is genetically heterogeneous, with >20 causative genes identified to date. A molecular diagnosis of JBS is essential for prediction of disease progression and genetic counseling. We developed a targeted next-generation sequencing (NGS) approach for parallel sequencing of 22 known JBS genes plus 599 additional ciliary genes. This method was used to genotype a cohort of 51 well-phenotyped Northern European JBS cases (in some of the cases, Sanger sequencing of individual JBS genes had been performed previously). Altogether, 21 of the 51 cases (41%) harbored biallelic pathogenic mutations in known JBS genes, including 14 mutations not previously described. Mutations in C5orf42 (12%), TMEM67 (10%), and AHI1 (8%) were the most prevalent. C5orf42 mutations result in a purely neurological Joubert phenotype, in one case associated with postaxial polydactyly. Our study represents a population-based cohort of JBS patients not enriched for consanguinity, providing insight into the relative importance of the different JBS genes in a Northern European population. Mutations in C5orf42 are relatively frequent (possibly due to a Dutch founder mutation) and mutations in CEP290 are underrepresented compared with international cohorts. Furthermore, we report a case with heterozygous mutations in CC2D2A and B9D1, a gene associated with the more severe Meckel–Gruber syndrome that was recently published as a potential new JBS gene, and discuss the significance of this finding

Analysis and experimental validation of the figure of merit for piezoelectric energy harvesters

Piezoelectric energy harvesters are at the front of scientific research as enablers of renewable, sustainable energy for autonomous wireless sensor networks. Crucial for this disruptive technology is the achievable output power. Here we show, analytically, that the maximum output energy per unit volume, under a single sinusoidal excitation, is equal to 1/(4 − 2k2) × 1/2dgX2, where k2 is the electromechanical coupling coefficient, d and g are the piezoelectric charge and voltage coefficient, respectively, and X is the applied stress. The expression derived is validated by the experimentally measured output energy for a variety of piezoelectric materials over an unprecedented range of more than five orders of magnitude. As the prefactor 1/(4 − 2k2) varies only between 1/2 and 1/4 the figure of merit for piezoelectric materials for energy harvesters is not k2, as commonly accepted for vibrational harvesters, but dg. The figure of merit does not depend on the compliance, or Young's modulus. Hence we argue that commonly used brittle inorganic piezoelectric ceramics can be replaced by soft, mechanically flexible polymers and composite films, comprising inorganic piezoelectric materials embedded in a polymer matrix

A computed tomography based study on rotational alignment accuracy of the femoral component in total knee arthroplasty using computer-assisted orthopaedic surgery

Rotation of the femoral component in total knee arthroplasty (TKA) is of high importance in respect of the balancing of the knee and the patellofemoral joint. Though it is shown that computer assisted surgery (CAOS) improves the anteroposterior (AP) alignment in TKA, it is still unknown whether navigation helps in finding the accurate rotation or even improving rotation. Therefore the aim of our study was to evaluate the postoperative femoral component rotation on computed tomography (CT) with the intraoperative data of the navigation system. In 20 navigated TKAs the difference between the intraoperative stored rotation data of the femoral component and the postoperative rotation on CT was measured using the condylar twist angle (CTA). This is the angle between the epicondylar axis and the posterior condylar axis. Statistical analysis consisted of the intraclass correlation coefficient (ICC) and Bland-Altman plot. The mean intraoperative rotation CTA based on CAOS was 3.5° (range 2.4–8.6°). The postoperative CT scan showed a mean CTA of 4.0° (1.7–7.2). The ICC between the two observers was 0.81, and within observers this was 0.84 and 0.82, respectively. However, the ICC of the CAOS CTA versus the postoperative CT CTA was only 0.38. Though CAOS is being used for optimising the position of a TKA, this study shows that the (virtual) individual rotational position of the femoral component using a CAOS system is significantly different from the position on a postoperative CT scan

Large area and flexible micro-porous piezoelectric materials for soft robotic skin

The need for flexible, highly sensitive tactile sensors that can fit onto curved surfaces is driving the conformable sensor materials research in the field of human–machine interactions. Here we report a new type of compliant piezoelectric active composite, a micro-porous polyurethane-PZT material, capable of generating a voltage output upon touch. The composites are synthesized with the aim of maximizing the piezoelectric sensitivity of particulate composite sensor materials. The goal is to reduce the dielectric constant of the polymer matrix and improve flexibility of conventional bulk piezo-composites, consisting of ceramic particles in a dense polymeric matrix, by adding a third (gaseous) phase to the system in the form of uniformly sized pores. The presence of the gaseous component in the polymer matrix in the form of well-distributed spherical inclusions effectively decreases the polymer dielectric permittivity, which increases the piezoelectric voltage sensitivity (g33) of the composite sensors significantly. The unique combination of dielectrophoretic structuring of PZT particles and the addition of a gaseous phase to the polymer resin results in the highest performance of the particulate composite sensors reported in the literature so far. The newly developed micro-porous composites show g33 value of 165 mV m/N that is twice that of the structured PZT-bulk PU composites (80 mV m/N) and more than five times the g33 value of bulk PZT ceramics (24–28 mV m/N). The capability of the flexible freestanding sensors for application in touch sensing devices for soft robotics is demonstrated

Exercise does not influence development of phenotype in PLN p.(Arg14del) cardiomyopathy

BACKGROUND: Endurance and frequent exercise are associated with earlier onset of arrhythmogenic right ventricular cardiomyopathy (ARVC) and ventricular arrhythmias (VA) in desmosomal gene variant carriers. Individuals with the pathogenic c.40_42del; p.(Arg14del) variant in the PLN gene are frequently diagnosed with ARVC or dilated cardiomyopathy (DCM). The aim of this study was to evaluate the effect of exercise in PLN p.(Arg14del) carriers. METHODS: In total, 207 adult PLN p.(Arg14del) carriers (39.1% male; mean age 53 ± 15 years) were interviewed on their regular physical activity since the age of 10 years. The association of exercise with diagnosis of ARVC, DCM, sustained VA and hospitalisation for heart failure (HF) was studied. RESULTS: Individuals participated in regular physical activities with a median of 1661 metabolic equivalent of task (MET) hours per year (31.9 MET-hours per week) until clinical presentation. The 50% most and least active individuals had a similar frequency of sustained VA (18.3% vs 18.4%; p = 0.974) and hospitalisation for HF (9.6% vs 8.7%; p = 0.827). There was no relationship between exercise and survival free from (incident) sustained VA (p = 0.65), hospitalisation for HF (p = 0.81), diagnosis of ARVC (p = 0.67) or DCM (p = 0.39) during follow-up. In multivariate analyses, exercise was not associated with sustained VA or HF hospitalisation during follow-up in this relatively not-active cohort. CONCLUSION: There was no association between the amount of exercise and the susceptibility to develop ARVC, DCM, VA or HF in PLN p.(Arg14del) carriers. This suggested unaffected PLN p.(Arg14del) carriers can safely perform mild-moderate exercise, in contrast to desmosomal variant carriers and ARVC patients