Spin dependent electron transport through a magnetic resonant tunneling diode

Electron transport properties in nanostructures can be modeled, for example, by using the semiclassical Wigner formalism or the quantum mechanical Green's functions formalism. We compare the performance and the results of these methods in the case of magnetic resonant-tunneling diodes. We have implemented the two methods within the self-consistent spin-density-functional theory. Our numerical implementation of the Wigner formalism is based on the finite-difference scheme whereas for the Green's function formalism the finite-element method is used. As a specific application, we consider the device studied by Slobodskyy et all. [Phys. Rev. Lett. 90, 246601 (2003)] and analyze their experimental results. The Wigner and Green's functions formalisms give similar electron densities and potentials but, surprisingly, the former method requires much more computer resources in order to obtain numerically accurate results for currents. Both of the formalisms can successfully be used to model magnetic resonant tunneling diode structures.Comment: 13 pages and 12 figure

How accurately can subject-specific finite element models predict strains and strength of human femora? Investigation using full-field measurements

Subject-specific finite element models have been proposed as a tool to improve fracture risk assessment in individuals. A thorough laboratory validation against experimental data is required before introducing such models in clinical practice. Results from digital image correlation can provide full-field strain distribution over the specimen surface during in vitro test, instead of at a few pre-defined locations as with strain gauges. The aim of this study was to validate finite element models of human femora against experimental data from three cadaver femora, both in terms of femoral strength and of the full-field strain distribution collected with digital image correlation. The results showed a high accuracy between predicted and measured principal strains (R2=0.93, RMSE=10%, 1600 validated data points per specimen). Femoral strength was predicted using a rate dependent material model with specific strain limit values for yield and failure. This provided an accurate prediction (<2% error) for two out of three specimens. In the third specimen, an accidental change in the boundary conditions occurred during the experiment, which compromised the femoral strength validation. The achieved strain accuracy was comparable to that obtained in state-of-the-art studies which validated their prediction accuracy against 10–16 strain gauge measurements. Fracture force was accurately predicted, with the predicted failure location being very close to the experimental fracture rim. Despite the low sample size and the single loading condition tested, the present combined numerical-experimental method showed that finite element models can predict femoral strength by providing a thorough description of the local bone mechanical response

Generation of 3D shape, density, cortical thickness and finite element mesh of proximal femur from a DXA image

Areal bone mineral density (aBMD), as measured by dual-energy X-ray absorptiometry (DXA), predicts hip fracture risk only moderately. Simulation of bone mechanics based on DXA imaging of the proximal femur, may help to improve the prediction accuracy. Therefore, we collected three (1-3) image sets, including CT images and DXA images of 34 proximal cadaver femurs (set1, including 30 males, 4 females), 35 clinical patient CT images of the hip (set 2, including 27 males, 8 females) and both CT and DXA images of clinical patients (set 3, including 12 female patients). All CT images were segmented manually and landmarks were placed on both femurs and pelvises. Two separate statistical appearance models (SAMs) were built using the CT images of the femurs and pelvises in sets 1 and 2, respectively. The 3D shape of the femur was reconstructed from the DXA image by matching the SAMs with the DXA images. The orientation and modes of variation of the SAMs were adjusted to minimize the sum of the absolute differences between the projection of the SAMs and a DXA image. The mesh quality and the location of the SAMs with respect to the manually placed control points on the DXA image were used as additional constraints. Then, finite element (FE) models were built from the reconstructed shapes. Mean point-to-surface distance between the reconstructed shape and CT image was 1.0mm for cadaver femurs in set 1 (leave-one-out test) and 1.4mm for clinical subjects in set 3. The reconstructed volumetric BMD showed a mean absolute difference of 140 and 185mg/cm3 for set 1 and set 3 respectively. The generation of the SAM and the limitation of using only one 2D image were found to be the most significant sources of errors in the shape reconstruction. The noise in the DXA images had only small effect on the accuracy of the shape reconstruction. DXA-based FE simulation was able to explain 85% of the CT-predicted strength of the femur in stance loading. The present method can be used to accurately reconstruct the 3D shape and internal density of the femur from 2D DXA images. This may help to derive new information from clinical DXA images by producing patient-specific FE models for mechanical simulation of femoral bone mechanics

Reasoning about embedded dependencies using inclusion dependencies

The implication problem for the class of embedded dependencies is undecidable. However, this does not imply lackness of a proof procedure as exemplified by the chase algorithm. In this paper we present a complete axiomatization of embedded dependencies that is based on the chase and uses inclusion dependencies and implicit existential quantification in the intermediate steps of deductions

Continuous Team Semantics

We study logics with team semantics in computable metric spaces. We show how to define approximate versions of the usual independence/dependence atoms. For restricted classes of formulae, we show that we can assume w.l.o.g.~that teams are closed sets. This then allows us to import techniques from computable analysis to study the complexity of formula satisfaction and model checking

Continuous Team Semantics

Peer reviewe

Removal of proteinase K resistant alpha Syn species does not correlate with cell survival in a virus vector-based Parkinson's disease mouse model

Parkinson's disease (PD) is characterized by degeneration of nigrostriatal dopaminergic neurons and accumu-lation of alpha-synuclein (alpha Syn) as Lewy bodies. Currently, there is no disease-modifying therapy available for PD. We have shown that a small molecular inhibitor for prolyl oligopeptidase (PREP), KYP-2047, relieves alpha Syn-induced toxicity in various PD models by inducing autophagy and preventing alpha Syn aggregation. In this study, we wanted to study the effects of PREP inhibition on different alpha Syn species by using cell culture and in vivo models.We used Neuro2A cells with transient alpha Syn overexpression and oxidative stress or proteasomal inhibition -induced alpha Syn aggregation to assess the effect of KYP-2047 on soluble alpha Syn oligomers and on cell viability. Here, the levels of soluble alpha Syn were measured by using ELISA, and the impact of KYP-2047 was compared to anle138b, nilotinib and deferiprone. To evaluate the effect of KYP-2047 on alpha Syn fibrillization in vivo, we used unilateral nigral AAV1/2-A53T-alpha Syn mouse model, where the KYP-2047 treatment was initiated two-or four -weeks post injection.KYP-2047 and anle138b protected cells from alpha Syn toxicity but interestingly, KYP-2047 did not reduce soluble alpha Syn oligomers. In AAV-A53T-alpha Syn mouse model, KYP-2047 reduced significantly proteinase K-resistant alpha Syn oligomers and oxidative damage related to alpha Syn aggregation. However, the KYP-2047 treatment that was initiated at the time of symptom onset, failed to protect the nigrostriatal dopaminergic neurons. Our results emphasize the importance of whole alpha Syn aggregation process in the pathology of PD and raise an important question about the forms of alpha Syn that are reasonable targets for PD drug therapy.Peer reviewe

Alendronate-induced disruption of actin cytoskeleton and inhibition of migration/invasion are associated with cofilin downregulation in PC-3 prostate cancer cells

Bisphosphonates are used for prevention of osteoporosis and metastatic bone diseases. Anti-invasive effects on various cancer cells have also been reported, but the mechanisms involved are not well-understood. We investigated the effects of the nitrogen-containing bisphosphonate alendronate (ALN) on the regulation of actin cytoskeleton in PC-3 cells. We analyzed the ALN effect on the organization and the dynamics of actin, and on the cytoskeleton-related regulatory proteins cofilin, p21-associated kinase 2 (PAK2), paxillin and focal adhesion kinase. Immunostainings of cofilin in ALN-treated PC-3 cells and xenografts were performed, and the role of cofilin in ALN-regulated F-actin organization and migration/invasion in PC-3 cells was analyzed using cofilin knockdown and transfection. We demonstrate that disrupted F-actin organization and decreased cell motility in ALN-treated PC-3 cells were associated with decreased levels of total and phosphorylated cofilin. PAK2 levels were also lowered but adhesion-related proteins were not altered. The knockdown of cofilin similarly impaired F-actin organization and decreased invasion of PC-3 cells, whereas in the cells transfected with a cofilin expressing vector, ALN treatment did not decrease cellular cofilin levels and migration as in mock transfected cells. ALN also reduced immunohistochemical staining of cofilin in PC-3 xenografts. Our results suggest that reduction of cofilin has an important role in ALN-induced disruption of the actin cytoskeleton and inhibition of the PC-3 cell motility and invasion. These data also support the idea that the nitrogen-containing bisphosphonates could be efficacious in inhibition of prostate cancer invasion and metastasis, if delivered in a pharmacological formulation accessible to the tumors.</p

Changing a semantics: opportunism or courage?

The generalized models for higher-order logics introduced by Leon Henkin, and their multiple offspring over the years, have become a standard tool in many areas of logic. Even so, discussion has persisted about their technical status, and perhaps even their conceptual legitimacy. This paper gives a systematic view of generalized model techniques, discusses what they mean in mathematical and philosophical terms, and presents a few technical themes and results about their role in algebraic representation, calibrating provability, lowering complexity, understanding fixed-point logics, and achieving set-theoretic absoluteness. We also show how thinking about Henkin's approach to semantics of logical systems in this generality can yield new results, dispelling the impression of adhocness. This paper is dedicated to Leon Henkin, a deep logician who has changed the way we all work, while also being an always open, modest, and encouraging colleague and friend.Comment: 27 pages. To appear in: The life and work of Leon Henkin: Essays on his contributions (Studies in Universal Logic) eds: Manzano, M., Sain, I. and Alonso, E., 201

Undefinability in Inquisitive Logic with Tensor

Logics based on team semantics, such as inquisitive logic and dependence logic, are not closed under uniform substitution. This leads to an interesting separation between expressive power and definability: it may be that an operator O can be added to a language without a gain in expressive power, yet O is not definable in that language. For instance, even though propositional inquisitive logic and propositional dependence logic have the same expressive power, inquisitive disjunction and implication are not definable in propositional dependence logic. A question that has been open for some time in this area is whether the tensor disjunction used in propositional dependence logic is definable in inquisitive logic. We settle this question in the negative. In fact, we show that extending the logical repertoire of inquisitive logic by means of tensor disjunction leads to an independent set of connectives; that is, no connective in the resulting logic is definable in terms of the others.Peer reviewe