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

External Validation of Model-Based Dosing Guidelines for Vancomycin, Gentamicin, and Tobramycin in Critically Ill Neonates and Children: A Pragmatic Two-Center Study

Background: The Dutch Pediatric Formulary (DPF) increasingly bases its guidelines on model-based dosing simulations from pharmacokinetic studies. This resulted in nationwide dose changes for vancomycin, gentamicin, and tobramycin in 2015. Objective: We aimed to evaluate target attainment of these altered, model-based doses in critically ill neonates and children. Methods: This was a retrospective cohort study in neonatal intensive care unit (NICU) and pediatric ICU (PICU) patients receiving vancomycin, gentamicin, or tobramycin between January 2015 and March 2017 in two university hospitals. The first therapeutic drug monitoring concentration for each patient was collected, as was clinical and dosing information. Vancomycin and tobramycin target trough concentrations were 10–15 and ≤ 1 mg/L, respectively. Target gentamicin trough and peak concentrations were < 1 and 8–12 mg/L, respectively. Results: In total, 482 patients were included (vancomycin [PICU] n = 62, [NICU] n = 102; gentamicin [NICU] n = 97; tobramycin [NICU] n = 221). Overall, median trough concentrations were within the target range for all cohorts but showed large interindividual variability, causing nontarget attainment. Trough concentrations were outside the target range in 66.1%, 60.8%, 14.7%, and 23.1% of patients in these four cohorts, respectively. Gentamicin peak concentrations were outside the range in 69% of NICU patients (term neonates 87.1%, preterm infants 57.1%). Higher creatinine concentrations were associated with higher vancomycin and tobramycin trough concentrations. Conclusion: This study illustrates the need to validate model-based dosing advice in the real-world setting as both sub- and supratherapeutic concentrations of vancomycin, gentamicin, and tobramycin were very prevalent. Our data underline the necessity for further individualization by addressing the high interindividual variability to improve target attainment

Polycrystalline Yttrium Aluminum Garnet Fibers from Colloidal Sols

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/66320/1/j.1151-2916.1995.tb08626.x.pd

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

Cross validation of bi-modal health-related stress assessment

This study explores the feasibility of objective and ubiquitous stress assessment. 25 post-traumatic stress disorder patients participated in a controlled storytelling (ST) study and an ecologically valid reliving (RL) study. The two studies were meant to represent an early and a late therapy session, and each consisted of a "happy" and a "stress triggering" part. Two instruments were chosen to assess the stress level of the patients at various point in time during therapy: (i) speech, used as an objective and ubiquitous stress indicator and (ii) the subjective unit of distress (SUD), a clinically validated Likert scale. In total, 13 statistical parameters were derived from each of five speech features: amplitude, zero-crossings, power, high-frequency power, and pitch. To model the emotional state of the patients, 28 parameters were selected from this set by means of a linear regression model and, subsequently, compressed into 11 principal components. The SUD and speech model were cross-validated, using 3 machine learning algorithms. Between 90% (2 SUD levels) and 39% (10 SUD levels) correct classification was achieved. The two sessions could be discriminated in 89% (for ST) and 77% (for RL) of the cases. This report fills a gap between laboratory and clinical studies, and its results emphasize the usefulness of Computer Aided Diagnostics (CAD) for mental health care

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