Search

Your search keyword '"Haase C"' showing total 704 results
Start Over Author "Haase C"
704 results on '"Haase C"'

5. Prospective study of police officer spouse/partners: A new pathway to secondary trauma and relationship violence?

Author

Neylan, Thomas, Meffert, SM, Henn-Haase, C, Metzler, TJ, Qian, M, Best, S, Hirschfeld, A, McCaslin, S, Inslicht, S, Neylan, TC, and Marmar, CR

Abstract

Introduction: It has been reported that posttraumatic stress disorder (PTSD) is associated with secondary spouse/partner (S/P) emotional distress and relationship violence. Objective: To investigate the relationships between PTSD, S/P emotional distress an

Published
2014

11. Neurological Outcome in Screened Individuals with LCHAD/MTP Deficiency.

Author

Ottenberger, A., Mütze, U., Gleich, F., Maier, E. M., Lindner, M., Husain, R. A., Palm, K., Beblo, S., Freisinger, P., Santer, R., Thimm, E., Dahl, S. vom, Roloff, S., Grohmann-Held, K., Haase, C., Hennermann, J. B., Hörbe-Blindt, A., Kamrath, C., Marquardt, I., and Marquardt, T.

Subjects
NEWBORN screening, MITOCHONDRIAL proteins, SURVIVAL rate, CARDIOMYOPATHIES, MUSCLE diseases
Abstract

This article discusses the long-term outcomes of individuals with long-chain 3-hydroxy-acyl-CoA dehydrogenase (LCHAD) and mitochondrial trifunctional protein (MTP) deficiency, which are disorders included in newborn screening programs. The study found that while neonatal screening and early treatment improved survival rates, they did not reliably prevent long-term complications such as metabolic decompensations, cardiomyopathy, myopathy, hepatopathy, retinopathy, and neuropathy. Hospitalization rates were also high. The authors emphasize the need for better therapeutic strategies and disease-altering treatments for individuals with LCHAD/MTP deficiency. [Extracted from the article]

Published
2023
Full Text
View/download PDF

16. Techniken

Author

Graf-Baumann, T., Gustaysen, R., Haase, C., Pscherer, B., Streeck, R., and Psczolla, M., editor

Published
1997
Full Text
View/download PDF

17. Definitionen

Author

Graf-Baumann, T., Gustaysen, R., Haase, C., Pscherer, B., Streeck, R., and Psczolla, M., editor

Published
1997
Full Text
View/download PDF

18. Gelenkmechanik

Author

Graf-Baumann, T., Gustaysen, R., Haase, C., Pscherer, B., Streeck, R., and Psczolla, M., editor

Published
1997
Full Text
View/download PDF

21. Activation of a hybrid twinning mechanism in a Cr-Ni-Si-V-N medium manganese austenitic steel containing precipitates

Author

Shyamal, S. (S.), Farahani, M. G. (M. Ghiasabadi), Allam, T. (T.), Hamada, A. (A.S.), Haase, C. (C.), Kömi, J. (J.I.), Chakraborti, P. (P.C.), and Sahu, P. (P.)

Subjects
transmission electron microscopy, deformation twinning, precipitates, medium Mn steels, stacking fault energy
Abstract

Twinning nucleation in a medium Mn austenitic steel containing precipitates is studied at low strain ~ 0.02, using transmission electron microscopy. In the near vicinity of the precipitates, unfaulting dislocation reaction is favored, while twinning is activated farther from the precipitates. Twin nucleation follows a hybrid mechanism, involving creation of stacking faults through classical dislocation dissociation, while those stacking faults subsequently overlapped following a non-classical alternated stacking fault pair mechanism to create a three-layer twin nucleus. The observed twinning behavior is interpreted from an energy barrier variation viewpoint within the matrix.

Published
2021

22. Mutation analysis in 54 propionic acidemia patients

Author

Kraus, J. P., Spector, E., Venezia, S., Estes, P., Chiang, P. W., Creadon-Swindell, G., Müllerleile, S., de Silva, L., Barth, M., Walter, M., Walter, K., Meissner, T., Lindner, M., Ensenauer, R., Santer, R., Bodamer, O. A., Baumgartner, M. R., Brunner-Krainz, M., Karall, D., Haase, C., Knerr, I., Marquardt, T., Hennermann, J. B., Steinfeld, R., Beblo, S., Koch, H. G., Konstantopoulou, V., Scholl-Bürgi, S., van Teeffelen-Heithoff, A., Suormala, T., Ugarte, M., Sperl, W., Superti-Furga, A., Schwab, K. O., Grünert, S. C., and Sass, J. O.

Published
2012
Full Text
View/download PDF

23. Propionic acidemia: neonatal versus selective metabolic screening

Author

Grünert, S. C., Müllerleile, S., de Silva, L., Barth, M., Walter, M., Walter, K., Meissner, T., Lindner, M., Ensenauer, R., Santer, R., Bodamer, O. A., Baumgartner, M. R., Brunner-Krainz, M., Karall, D., Haase, C., Knerr, I., Marquardt, T., Hennermann, J. B., Steinfeld, R., Beblo, S., Koch, H. G., Konstantopoulou, V., Scholl-Bürgi, S., van Teeffelen-Heithoff, A., Suormala, T., Sperl, W., Kraus, J. P., Superti-Furga, A., Schwab, K. O., and Sass, J. O.

Published
2012
Full Text
View/download PDF

27. Conference paper

Author

Bumpus, G, Haase, C, Kiefer, S, Stoienescu, P-I, and Tanner, J

Abstract

Let n be a positive integer and M a set of rational n × n-matrices such that M generates a finite multiplicative semigroup. We show that any matrix in the semigroup is a product of matrices in M whose length is at most 2^{n (2 n + 3)} g(n)^{n+1} ∈ 2^{O(n² log n)}, where g(n) is the maximum order of finite groups over rational n × n-matrices. This result implies algorithms with an elementary running time for deciding finiteness of weighted automata over the rationals and for deciding reachability in affine integer vector addition systems with states with the finite monoid property.

Published
2020

40. Checklisten

Author

Graf-Baumann, T., Gustaysen, R., Haase, C., Pscherer, B., Streeck, R., and Psczolla, M., editor

Published
1997
Full Text
View/download PDF

50. On the complexity of model checking counter automata

Author

Haase, C and Ouaknine, J

Subjects
Computer science (mathematics)
Abstract

Theoretical and practical aspects of the verification of infinite-state systems have attracted a lot of interest in the verification community throughout the last 30 years. One goal is to identify classes of infinite-state systems that admit decidable decision problems on the one hand, and which are sufficiently general to model systems, programs or protocols with unbounded data or recursion depth on the other hand. The first part of this thesis is concerned with the computational complexity of verifying counter automata, which are a fundamental and widely studied class of infinite-state systems. Counter automata consist of a finite-state controller manipulating a finite number of counters ranging over the naturals. A classic result by Minsky states that reachability in counter automata is undecidable already for two counters. One restriction that makes reachability decidable and that this thesis primarily focuses on is the restriction to one counter. A main result of this thesis is to show that reachability in one-counter automata with counter updates encoded in binary is NP-complete, which solves a problem left open by Rosier and Yen in 1986. We also consider parametric one-counter automata, in which counter updates can be parameters ranging over the naturals. Reachability for this class asks whether there are values of the parameters such that a target configuration can be reached from an initial configuration. This problem is also shown to be NP-complete. Subsequently, we establish decidability and complexity results of model checking problems for one-counter automata with and without parameters for specifications written in EF, CTL and LTL. The second part of this thesis is about the verification of programs with pointers and linked lists in the framework of separation logic. We consider the fragment of separation logic introduced by Berdine, Calcagno and O'Hearn in 2004 and the problem of deciding entailment between formulae of this fragment. We improve the known coNP upper bound and show that this problem can actually be solved in polynomial time. This result is based on a novel approach in which we represent separation logic formulae as graphs and decide entailment between them by checking for the existence of a graph homomorphism. We complement this result by considering various natural extensions of this fragment which make entailment coNP-hard.

Published
2017

Catalog

Books, media, physical & digital resources
See catalog results