نتایج جستجو برای: isolated
تعداد نتایج: 329004 فیلتر نتایج به سال:
For a set M of graphs the category CatM of all M-complete categories and all strictly M-continuous functors is known to be monadic over Cat. The question of monadicity of CatM over the category of graphs is known to have an affirmative answer when M specifies either (i) all finite limits, or (ii) all finite products, or (iii) equalizers and terminal objects, or (iv) just terminal objects. We pr...
I Pedersen KV,(,arlsson P. Varenhorst E, LofmanO, Berglund K. Screeniitg io carctinoma of the prostate by digital rectal examination in a randomly selected population. Br Med J 199U0;300:1041-4. (21 April.) 2 Love RR, Camilli AL. 'I'he value of screening. Cancer 1981;48: 489--95. 3 Chodak GW. Earls detection of prostate cancer. Hoirm Res 1989;32 (suppl I:X35-7. 4 'T'hompson IM, Ernst JJ, Gangai...
Acknowledgments First of all I would like to thank Prof. Dr. Michael Hortmann for supervising this thesis. I am very grateful for him introducing me to cryptography and supporting me to attend Eurocrypt 2011 and Asiacrypt 2011. I am also very thankful for Prof. Dr. Gregor Leander who took the part of being my second supervisor. I am indebted to my fellow students for their camaraderie and encou...
The paper deals with Alternative Risk Transfer (ART) through securitization of longevity and mortality risks in pension plans and commercial life insurance. Various types of such mortality-linked securities are described including methods of their pricing and real examples (e.g. CATM bonds, longevity bonds, mortality forwards and futures, mortality swaps, and others). Hypothetical calculations ...
LAMA is a propositional planning system based on heuristic search with landmarks. This paper describes two versions of LAMA that were entered into the 2011 International Planning Competition: the original LAMA as developed for the 2008 competition and a new re-implementation of LAMA that uses the latest version of the Fast Downward Planning Framework. Landmarks are propositions that must be tru...
establishment probability and founding population size Richard P. Duncan*, TimM. Blackburn, Silvia Rossinelli andSvenBacher Institute for Applied Ecology, University of Canberra, Canberra, ACT 2601, Australia; Institute of Zoology, ZSL, Regent’s Park, LondonNW14RY, UK; Distinguished Scientist Fellowship Program, King SaudUniversity, P.O. Box 2455, Riyadh 1145, Saudi Arabia; Department of Geneti...
BACKGROUND Response to growth hormone (GH) therapy may vary between individual patients. Therefore the use of GH in children should be closely monitored to avoid over, under, or ineffective treatment regimens. The treatment response can be evaluated using growth prediction models. In an effort to improve the accuracy of these prediction models, Ranke et al. (J Clin Endocrinol Metab 95(3):1229-3...
13 Emission leakage could potentially undermine the effectiveness of unilateral 14 climate policies. Significant emission transfers from developing to developed 15 countries in the form of emissions embodied in trade have been interpreted as an 16 indication of such leakage. In order to reduce leakage and provide an appropriate 17 picture of countries’ responsibility for global emissions, it ha...
Giulia Benevolo,1 Alessandra Stacchini,2 Michele Spina,3 Andrés J. M. Ferreri,4 Marcella Arras,5 Laura Bellio,6 Barbara Botto,1 Pietro Bulian,3 Maria Cantonetti,7 Lorella Depaoli,8 Nicola Di Renzo,9 Alice Di Rocco,10 Andrea Evangelista,11 Silvia Franceschetti,12 Laura Godio,2 Francesco Mannelli,13 Vincenzo Pavone,14 Pietro Pioltelli,15 Umberto Vitolo,1 and Enrico M. Pogliani,15 on behalf of the...
Citation for the published paper: Ilan Goldenberg, Samuel Horr, Arthur J. Moss, Coeli M. Lopes, Alon Barsheshet, Scott McNitt, Wojciech Zareba, Mark L. Andrews, Jennifer L. Robinson, Emanuela H. Locati, Michael J. Ackerman, Jesaia Benhorin, Elizabeth S. Kaufman, Carlo Napolitano, Pyotr Platonov, Silvia G. Priori, Ming Qi, Peter J. Schwartz, Wataru Shimizu, Jeffrey A. Towbin, G. Michael Vincent,...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید