| 1. |
- Abdellah, Tebani, et al.
(författare)
-
Integration of molecular profiles in a longitudinal wellness profiling cohort.
- 2020
-
Ingår i: Nature communications. - : Springer Science and Business Media LLC. - 2041-1723. ; 11:1
-
Tidskriftsartikel (refereegranskat)abstract
- An important aspect of precision medicine is to probe the stability in molecular profiles among healthy individuals over time. Here, we sample a longitudinal wellness cohort with 100 healthy individuals and analyze blood molecular profiles including proteomics, transcriptomics, lipidomics, metabolomics, autoantibodies andimmune cell profiling, complementedwith gut microbiota composition and routine clinical chemistry. Overall, our results show high variation between individuals across different molecular readouts, while the intra-individual baseline variation is low. The analyses show that each individual has a unique and stable plasma protein profile throughout the study period and that many individuals also show distinct profiles with regards to the other omics datasets, with strong underlying connections between the blood proteome and the clinical chemistry parameters. In conclusion, the results support an individual-based definition of health and show that comprehensive omics profiling in a longitudinal manner is a path forward for precision medicine.
|
|
| 2. |
- Abel, Andreas, 1974, et al.
(författare)
-
A Graded Modal Dependent Type Theory with a Universe and Erasure, Formalized
- 2023
-
Ingår i: Proceedings of the ACM on Programming Languages. - 2475-1421. ; 7:ICFP, s. 920-954
-
Tidskriftsartikel (refereegranskat)abstract
- We present a graded modal type theory, a dependent type theory with grades that can be used to enforce various properties of the code. The theory has Pi-types, weak and strong Sigma-types, natural numbers, an empty type, and a universe, and we also extend the theory with a unit type and graded Sigma-types. The theory is parameterized by a modality, a kind of partially ordered semiring, whose elements (grades) are used to track the usage of variables in terms and types. Different modalities are possible. We focus mainly on quantitative properties, in particular erasure: with the erasure modality one can mark function arguments as erasable. The theory is fully formalized in Agda. The formalization, which uses a syntactic Kripke logical relation at its core and is based on earlier work, establishes major meta-theoretic properties such as subject reduction, consistency, normalization, and decidability of definitional equality. We also prove a substitution theorem for grade assignment, and preservation of grades under reduction. Furthermore we study an extraction function that translates terms to an untyped λ-calculus and removes erasable content, in particular function arguments with the "erasable"grade. For a certain class of modalities we prove that extraction is sound, in the sense that programs of natural number type have the same value before and after extraction. Soundness of extraction holds also for open programs, as long as all variables in the context are erasable, the context is consistent, and erased matches are not allowed for weak Sigma-types.
|
|
| 3. |
|
|
| 4. |
|
|
| 5. |
|
|
| 6. |
|
|
| 7. |
|
|
| 8. |
|
|
| 9. |
- Danielsson, Oskar, et al.
(författare)
-
Flux Distribution in Linear Permanent-Magnet Synchronous Machines Including Longitudinal End Effects
- 2007
-
Ingår i: IEEE transactions on magnetics. - 0018-9464 .- 1941-0069. ; 43:7, s. 3197-3201
-
Tidskriftsartikel (refereegranskat)abstract
- We investigated the longitudinal ends' influence on the flux distribution in a permanent-magnet linear synchronous machine with an analytic model and with numeric finite-element methods. We derived a general analytic expression, on closed form, from a linear reluctance model. The model reveals that the flux in a linear machine differs from that in a rotating machine in several aspects. The longitudinal ends introduce a pairwise coupled flux pattern, which will behave differently in circuits with odd or even numbers of magnets. In linear machines with an even number of magnets the pairwise coupled flux will spread throughout the whole machine, whereas in linear machines with an odd number of magnets it will be transformed into an equally distributed flux in the middle. The latter case will give rise to a nonsymmetric air gap flux distribution, where every second pole has larger flux. We confirmed the pairwise coupled flux and the nonsymmetric air gap distribution predicted by the analytic model by finite-element simulations. We noted additional effects when nonlinear behavior of the steel is taken into account. We conclude that saturation counteracts the pairwise coupled flux pattern at the longitudinal ends. Again, a nonsymmetric air gap flux distribution occurs as the pairwise coupled flux is transformed into an equally coupled flux. The pairwise coupling of the flux and the nonsymmetric air gap flux distribution give rise to a number of secondary effects, which we discuss.
|
|
| 10. |
- Danielsson, Oskar, 1991, et al.
(författare)
-
Influence of body stiffness on vehicle dynamics characteristics
- 2016
-
Ingår i: Dynamics of vehicles on roads and tracks. 24th Symposium of the International-Association-for-Vehicle-System-Dynamics (IAVSD), 2015. Graz; Austria, 17-21 August 2015. - : CRC Press. ; , s. 45-56
-
Konferensbidrag (refereegranskat)abstract
- Body stiffness is one of is one of the characteristics of a passenger car affecting the handling, steering and ride comfort characteristics of the vehicle, but so far only limited aspects of mainly steering and handling has been analyzed. In this paper an extensive and detailed analysis of the influence of body stiffness on steering, handling and ride comfort is performed using a combination of laboratory and track testing of a physical prototype as well as sub-system and full vehicle multi-body simulation and finite element analysis. In this study it is found that the on-center, frequency response and primary ride are mostly affected by changes in body stiffness. For example, the torsional stiffness should be increased in order to improve roll balance in ride maneuvers. It is also found that the front and rear lateral stiffness should be raised in order to reduce dead band and steering wheel angle to yaw rate phase lags. Furthermore, maneuvers that combine handling and ride effects are proven to be particularly useful for defining body stiffness targets related to vehicle dynamics effects and one such maneuver is developed and evaluated in this paper. Finally, it is found that the difference between a rigid and flexibly vehicle model can be up to 13% for certain metrics, meaning that assuming a rigid body can be a significant oversimplification.
|
|
