Results 41 to 50 of about 1,624,256 (334)
A Dynamic Look at Subprime Loan Performance [PDF]
Does delinquency have any predictive power for the future performance of a mortgage? Analysis of a sample of subprime mortgages from the Loanperformance database on securitized private-label pool collateral using a two-step estimation procedure to ...
Danis, Michelle A. +1 more
core +2 more sources
The purpose of this article is to assess whether the withdrawal of the United Kingdom (UK) from the European Union (EU) may entail the revival of the early bilateral agreements between the UK and EU member states.
Tomáš Buchta
doaj +1 more source
Coexistence of antiferrodistortive and ferroelectric distortions at the PbTiO$_3$ (001) surface
The c(2$\times$2) reconstruction of (001) PbTiO$_3$ surfaces is studied by means of first principles calculations for paraelectric (non-polar) and ferroelectric ([001] polarized) films.
A. Munkholm +5 more
core +1 more source
Accurate and efficient transcription termination is an important step for cells to generate functional RNA transcripts. In bacteria, two mechanisms are responsible for terminating transcription: intrinsic (Rho-independent) termination and Rho-dependent ...
Jiandong Chen, T. Morita, S. Gottesman
semanticscholar +1 more source
ABSTRACT We sought to identify potential early risk biomarkers for lung disease in children post‐allogeneic HCT. Patients with pulmonary function tests 3 months post‐transplant and plasma samples between days 7 and 14 post‐HCT were included. Six of 27 subjects enrolled had reduced forced expiratory volume 1 (FEV1) z scores.
Isabella S. Small +3 more
wiley +1 more source
ABSTRACT Background The Improving Population Outcomes for Renal Tumours of childhood (IMPORT) is a prospective clinical observational study capturing detailed demographic and outcome data on children and young people diagnosed with renal tumours in the United Kingdom and the Republic of Ireland.
Naomi Ssenyonga +56 more
wiley +1 more source
Son Düzenlemeler Işığında Sermaye Şirketlerinde Tasfiye Sürecinin Analizi
6102 sayılı Türk Ticaret Kanunu uyarınca, kanuni istisnalar saklı olmak üzere, sona eren sermaye şirketleri tasfiyeye girmekte ve bu şirketlerin tasfiyesi anılan Kanun hükümlerine göre yapılmaktadır.
Mustafa Yavuz
doaj
12th International Workshop on Termination (WST 2012) : WST 2012, February 19–23, 2012, Obergurgl, Austria / ed. by Georg Moser [PDF]
This volume contains the proceedings of the 12th International Workshop on Termination (WST 2012), to be held February 19–23, 2012 in Obergurgl, Austria.
Moser, Georg
core
This paper describes the implementation and techniques of the Nagoya Termination Tool, a termination prover for term rewrite systems. The main features of the tool are: the first implementation of the weighted path order which subsumes most of the ...
Kusakari, Keiichirou +2 more
core +1 more source
Termination of rewrite relations on $\lambda$-terms based on Girard's notion of reducibility [PDF]
In this paper, we show how to extend the notion of reducibility introduced by Girard for proving the termination of $\beta$-reduction in the polymorphic $\lambda$-calculus, to prove the termination of various kinds of rewrite relations on $\lambda$-terms,
Blanqui, Frédéric
core +4 more sources

