Comparison of the identification performance of conventional FEM updating and integrated DIC

Full‐field identification methods are increasingly used to adequately identify constitutive parameters to describe the mechanical behavior of materials. This paper investigates the more recently introduced one‐step method of integrated digital image correlation (IDIC) with respect to the most commonly used two‐step method of finite element model updating (FEMU), which uses a subset‐based DIC algorithm. To make the comparison as objective as possible, both methods are implemented in the most equivalent manner and use the same FE model. Various virtual test cases are studied to assess the performance of both methods when subjected to different error sources: (1) systematic errors, (2) poor initial guesses for the constitutive parameters, (3) image noise, (4) constitutive model errors, and (5) experimental errors. Results show that, despite the mathematical similarity of both methods, IDIC produces less erroneous and more reliable results than FEMU, particularly for more challenging test cases exhibiting small displacements, complex kinematics, misalignment of the specimen, and image noise. Copyright © 2015 John Wiley & Sons, Ltd.     

Tuples of Disjoint $\mathsf{NP}$ -Sets

Disjoint -pairs are a well studied complexity-theoretic concept with important applications in cryptography and propositional proof complexity. In this paper we introduce a natural generalization of the notion of disjoint -pairs to disjoint k-tuples of -sets for k≥2. We define subclasses of the class of all disjoint k-tuples of -sets. These subclasses are associated with a propositional proof system and possess complete tuples which are defined from the proof system. In our main result we show that complete disjoint -pairs exist if and only if complete disjoint k-tuples of -sets exist for all k≥2. Further, this is equivalent to the existence of a propositional proof system in which the disjointness of all k-tuples is shortly provable. We also show that a strengthening of this conditions characterizes the existence of optimal proof systems. An extended abstract of this paper appeared in the proceedings of the conference CSR 2006 (Lecture Notes in Computer Science 3967, 80–91, 2006). Supported by DFG grant KO 1053/5-1.     

Gene expression changes in a transgenic mouse model overexpressing human wildtype and mutant torsinA

Primary torsion dystonia is an autosomal-dominantly inherited, neurodevelopmental movement disorder caused by a GAG deletion (ΔGAG) in the DYT1 gene, encoding torsinA. This mutation is responsible for approximately 70% of cases of early-onset primary torsion dystonia. The function of wildtype torsinA is still unknown, and it is unsolved how the deletion in the DYT1 gene contributes to the development of the disease. To better understand the molecular processes involved in torsinA pathology, we used genome-wide oligonucleotide microarrays to characterize gene expression patterns in the striatum of mouse models overexpressing the human wildtype and mutant torsinA. By this approach we were able to detect gene expression changes that seem to be specific for torsinA pathology. We found an impact of torsinA, independent from genotype, on vesicle trafficking, exocytosis, and neurotransmitter release in our mouse model. In addition, we were able to identify several new pathways and processes involved in the development of the nervous system that are affected by wildtype and mutant torsinA. Furthermore, we have striking evidence from our gene expression data that glutamate receptor mediated synaptic plasticity in the striatum is the affected underlying cellular process for impaired motor learning in human ΔGAG torsinA transgenic mice.     

SME Network Characteristics vs. Product Innovativeness: How to Achieve High Innovation Performance

Small‐ and medium‐sized enterprises (SMEs) must on the one hand innovate for company survival with the appropriate degree of product innovativeness, and on the other they need to collaborate and focus on core competences for efficiency matters. This research examines the relation of network characteristics and product innovativeness on innovation performance in SMEs. We tested hypotheses on the relationship between these three variables via data gathered from 60 SMEs, active in the medical devices sector. In this context we aim to offer consensus on the theoretical and empirical question of whether or not network characteristics and product innovativeness have a direct effect on innovation performance of SMEs. Results show no significant direct effect of product innovativeness on innovation performance. A positive interaction effect of multiple network characteristics on innovation performance was found, which confirms the significant importance of network configuration on innovation performance for SMEs. It indicates that, for SMEs in a highly regulated sector like the medical devices sector, the interaction of network characteristics is of crucial importance for high innovation performance. It is the combination of network characteristics that counts.     

Analysis of numerical methods for the simulation of deformable models

Simulating deformable objects based on physical laws has become the most popular technique for modeling textiles, skin, or volumetric soft objects like human tissue. The physical model leads to an ordinary differential equation. Recently, several approaches to fast algorithms have been proposed.In this work, more profound numerical background about numerical stiffness is provided. Stiff equations impose stability restrictions on a numerical integrator. Some one-step and multistep methods with adequate stability properties are presented. For an efficient implementation, the inexact Newton method is discussed. Applications to 2D and 3D elasticity problems show that the discussed methods are faster and give higher-quality solutions than the commonly used linearized Euler method.     

Classifying and Formally Verifying Integer Constant Folding

Constant folding is a well-known optimization of compilers which evaluates constant expressions already at compile time. Constant folding is valid only if the results computed by the compiler are exactly the same as the results which would be computed at run-time by the target machine arithmetic. We classify different arithmetics by deriving a general condition under which a target-machine arithmetic can be replaced by a compiler arithmetic. Furthermore, we consider integer arithmetics as a special case. They can be described by residue class arithmetics. We show that these arithmetics form a lattice. Using the order relation in this lattice, we establish a necessary and sufficient criterion under which constant folding can be done in a residue class arithmetic that is different from the one of the target machine. Concerning formal verification, we have formalized our proofs in the Isabelle/HOL system. As examples, we discuss the Java and C integer arithmetics and show which compiler arithmetics are valid for constant folding. This discussion reveals also potential sources of incorrect behavior of C compilers.     

Development of Nd (III)-Based Terahertz Absorbers Revealing Temperature Dependent Near-Infrared Luminescence

Molecular vibrations in the solid-state, detectable in the terahertz (THz) region, are the subject of research to further develop THz technologies. To observe such vibrations in terahertz time-domain spectroscopy (THz-TDS) and low-frequency (LF) Raman spectroscopy, two supramolecular assemblies with the formula [Nd^III (phen)₃ (NCX)₃] 0.3EtOH (X = S, 1-S; Se, 1-Se) were designed and prepared. Both compounds show several THz-TDS and LF-Raman peaks in the sub-THz range, with the lowest frequencies of 0.65 and 0.59 THz for 1-S and 1-Se, and 0.75 and 0.61 THz for 1-S and 1-Se, respectively. The peak redshift was observed due to the substitution of SCN⁻ by SeCN⁻. Additionally, temperature-dependent TDS-THz studies showed a thermal blueshift phenomenon, as the peak position shifted to 0.68 THz for 1-S and 0.62 THz for 1-Se at 10 K. Based on ab initio calculations, sub-THz vibrations were ascribed to the swaying of the three thiocyanate/selenocyanate. Moreover, both samples exhibited near-infrared (NIR) emission from Nd (III), and very good thermometric properties in the 300–150 K range, comparable to neodymium (III) oxide-based thermometers and higher than previously reported complexes. Moreover, the temperature dependence of fluorescence and THz spectroscopy analysis showed that the reduction in anharmonic thermal vibrations leads to a significant increase in the intensity and a reduction in the width of the emission and LF absorption peaks. These studies provide the basis for developing new routes to adjust the LF vibrational absorption.     

Mitochondrial Dysfunction in Spinocerebellar Ataxia Type 3 Is Linked to VDAC1 Deubiquitination

Dysfunctional mitochondria are linked to several neurodegenerative diseases. Metabolic defects, a symptom which can result from dysfunctional mitochondria, are also present in spinocerebellar ataxia type 3 (SCA3), also known as Machado–Joseph disease, the most frequent, dominantly inherited neurodegenerative ataxia worldwide. Mitochondrial dysfunction has been reported for several neurodegenerative disorders and ataxin-3 is known to deubiquitinylate parkin, a key protein required for canonical mitophagy. In this study, we analyzed mitochondrial function and mitophagy in a patient-derived SCA3 cell model. Human fibroblast lines isolated from SCA3 patients were immortalized and characterized. SCA3 patient fibroblasts revealed circular, ring-shaped mitochondria and featured reduced OXPHOS complexes, ATP production and cell viability. We show that wildtype ataxin-3 deubiquitinates VDAC1 (voltage-dependent anion channel 1), a member of the mitochondrial permeability transition pore and a parkin substrate. In SCA3 patients, VDAC1 deubiquitination and parkin recruitment to the depolarized mitochondria is inhibited. Increased p62-linked mitophagy, autophagosome formation and autophagy is observed under disease conditions, which is in line with mitochondrial fission. SCA3 fibroblast lines demonstrated a mitochondrial phenotype and dysregulation of parkin-VDAC1-mediated mitophagy, thereby promoting mitochondrial quality control via alternative pathways.