Results 161 to 170 of about 12,228 (202)
Some of the next articles are maybe not open access.
Proceedings of the third workshop on Formal methods in software practice, 2000
XML (eXtensible Markup Language) is a linear syntax for trees, which has gathered a remarkable amount of interest in industry. The acceptance of XML opens new venues for the application of formal methods such as specification of abstract syntax tree sets and tree transformations.A notation for defining a set of XML trees is called a schema language ...
Klarlund, Nils +2 more
openaire +2 more sources
XML (eXtensible Markup Language) is a linear syntax for trees, which has gathered a remarkable amount of interest in industry. The acceptance of XML opens new venues for the application of formal methods such as specification of abstract syntax tree sets and tree transformations.A notation for defining a set of XML trees is called a schema language ...
Klarlund, Nils +2 more
openaire +2 more sources
Challenges Waiting for an Adult with DSD
Hormone Research in Paediatrics, 2022Background: Disorders/differences of sex development (DSD) comprise a heterogeneous group of inborn conditions where the individual’s sex chromosomes, gonads, and/or anatomical sex are discordant. Since the Chicago Consensus Conference in 2005, multidisciplinary care has been implemented in specialised paediatric tertiary care centres and clinical ...
Hanna Franziska Nowotny, Nicole Reisch
openaire +2 more sources
2020
Embryological variations leading to DSD can be classified into problems relating to sex determination, testicular development or hormonal signalling in the placenta, hypothalamic axis or in defects in the testicular hormones themselves. Atypical development secondary to hormonal anomalies needs to be separated from primary dysmorphogenesis of the ...
John M. Hutson, Aurore Bouty
openaire +1 more source
Embryological variations leading to DSD can be classified into problems relating to sex determination, testicular development or hormonal signalling in the placenta, hypothalamic axis or in defects in the testicular hormones themselves. Atypical development secondary to hormonal anomalies needs to be separated from primary dysmorphogenesis of the ...
John M. Hutson, Aurore Bouty
openaire +1 more source
Female fertility preservation in DSD
Best Practice & Research Clinical Endocrinology & Metabolism, 2019Disorders of sex development (DSD) are a group of complex conditions that can affect chromosomal, gonadal, and/or phenotypical sex with a highly variable fertility potential amongst affected individuals. In this review we discuss fertility issues facing patients affected by DSD and Turner syndrome and summarise the literature on fertility and ...
Rashi, Kalra +2 more
openaire +2 more sources
ACM Transactions on Software Engineering and Methodology, 2008
DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis: D. Capture the program's intended execution behavior with dynamic invariant detection. The derived invariants exclude many unwanted values from the program's input domain. S.
Christoph Csallner +2 more
openaire +2 more sources
DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis: D. Capture the program's intended execution behavior with dynamic invariant detection. The derived invariants exclude many unwanted values from the program's input domain. S.
Christoph Csallner +2 more
openaire +2 more sources
2011
This chapter describes the indications for laparoscopy in DSD as well as the common situations that arise in DSD patients. We also present a detailed account of the technical procedure as it is currently performed, although the speed with which advances are being made in this area means that it may be quickly outdated.
John M. Hutson, Chris Kimber
openaire +1 more source
This chapter describes the indications for laparoscopy in DSD as well as the common situations that arise in DSD patients. We also present a detailed account of the technical procedure as it is currently performed, although the speed with which advances are being made in this area means that it may be quickly outdated.
John M. Hutson, Chris Kimber
openaire +1 more source
Proceedings of the 2006 international symposium on Software testing and analysis, 2006
DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis: D. Capture the program's intended execution behavior with dynamic invariant detection. The derived invariants exclude many unwanted values from the program's input domain.S. Statically analyze the program within the restricted input domain to explore many paths.D.
Christoph Csallner, Yannis Smaragdakis
openaire +1 more source
DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis: D. Capture the program's intended execution behavior with dynamic invariant detection. The derived invariants exclude many unwanted values from the program's input domain.S. Statically analyze the program within the restricted input domain to explore many paths.D.
Christoph Csallner, Yannis Smaragdakis
openaire +1 more source
2011
This chapter describes the current imaging modalities available for DSD patients. The genitogram has been used for many years and is still required in many cases, but has now been augmented by ultrasonography and MRI, all of which are illustrated in detail.
openaire +1 more source
This chapter describes the current imaging modalities available for DSD patients. The genitogram has been used for many years and is still required in many cases, but has now been augmented by ultrasonography and MRI, all of which are illustrated in detail.
openaire +1 more source